 + 626985 + 417654 = 0. Do d and -7009 have the same value?
False
Suppose s = 2*c + 80, 4*s - c - 307 - 6 = 0. Let v = s - 1797/23. Suppose 5*o - 5*l + 40 = 0, 5*l + 64 = 99. Which is bigger: o or v?
v
Suppose 4*r - 3*r = -6265. Let q be 1000/r - (-3)/(21 + 0). Let o = q + 1632/1253. Which is greater: o or 1?
o
Let k = -4975 - -5030. Which is smaller: 24 or k?
24
Let m = 15469 - 12887. Is 2582 less than or equal to m?
True
Let w = 2791 - 2945. Is -7 < w?
False
Let m(x) = -11*x**3 - 11*x**2 - 29*x - 5. Let w be m(-4). Is w at least as big as 640?
False
Let f = -3/20 + 67/180. Let z = 470 + -476.01. Let a = z - -5.61. Is f bigger than a?
True
Let v = -2892 - -2862. Suppose r + 45 = -3*h, -h - 72 = 3*r + 39. Let n = r - v. Which is greater: n or -8?
n
Let t(o) = -2*o**3 - 27*o**2 + 281*o + 111. Let n be t(-31). Is n not equal to 25035?
False
Let c = -281/816 - -3/272. Suppose 5*d = -v - 20 - 5, -5*v + d = -5. Let n = v + c. Which is smaller: -1/5 or n?
n
Suppose -397 - 87 = -4*b. Suppose -5*w = -i + 103, -2*w + 340 = 5*i - b. Let n = i + -467/5. Which is greater: n or 6/13?
6/13
Let b(l) = -15*l**3 + 14*l**2 - 30*l + 5. Let z(v) = 7*v**3 - 7*v**2 + 14*v - 2. Let g(f) = 6*b(f) + 13*z(f). Let k be g(7). Is k smaller than 15?
False
Let i be (10 - 5)*(-6 - -3). Let p be (11/4)/(i/12). Suppose 5*w + 4*h = -18, 10 = -4*w - 4*h - 6. Which is bigger: w or p?
w
Let t(f) = f**3 + 8*f**2 + 3*f - 25. Let q be t(-7). Let k be 5 - (-3 - (-2 + 0)). Suppose -k + 6 = q*a. Is 2/53 less than a?
False
Suppose 647*f - 643*f + 154 = u, 0 = f + 4. Is -6 <= u?
True
Let s = 15638 - 15842. Are -189 and s non-equal?
True
Let r be (-24)/3 - 484/(6 - -5). Which is bigger: r or 0.2?
0.2
Suppose 20 = 4*j, -2*j + 17 = 3*n - j. Let c be (-3)/(-4 - 5) - (-88)/6. Let f be (-36)/(-15) + (-51)/c + 3. Which is greater: f or n?
n
Let l = -289 - -20. Let n = l + 269. Is 0.41 bigger than n?
True
Let r = 18.43 - 1.44. Let c = -17 + r. Let q = -15.01 - c. Is q bigger than -1?
False
Let w = 22.042 + -0.042. Let a = w + -20. Let y = -0.57 + -0.23. Is y < a?
True
Let z = -0.819 - -0.756. Let x = 403.063 + z. Is -1/3 less than or equal to x?
True
Let p be ((-6090)/(-29))/(-35) + 2 + (-4)/(-1). Is 16/19 at least p?
True
Let l(c) = -36*c - 31. Let o be l(-6). Let w = -185 + o. Does w = 3/103?
False
Let z = 315.1 + -508.1. Does 20 = z?
False
Suppose 5*c + 297 = 252. Let d be (5000/(-45))/(-5) - (-2)/c. Suppose -3*p - 3*w + 2*w = -66, -p + d = -w. Is p <= 22?
True
Let c = 7216 + -4978. Let z = -194261/2 - -1391213/14. Let s = z - c. Is 5 equal to s?
False
Let t(q) = q**3 + 20*q**2 - 2*q - 37. Let v be t(-20). Let m = v + 0. Let b be 75/11 + m/(66/4). Is 8 != b?
True
Let a = 3211/1104 - 77/48. Is a != 2?
True
Let a(z) = -6*z**2 + 11*z + 23. Let w be 83/17 + 4/34. Let t be a(w). Is 1 smaller than t?
False
Let p(n) = -n**2 + 4*n - 5. Let g be p(5). Let m be g + 5 + -1 + 4. Let b(l) = 53*l + 374. Let j be b(-7). Which is greater: m or j?
j
Suppose 594 = 113*a + 481. Is a less than or equal to 2/22551?
False
Let q = 3.33 + -2.2. Let c = q - -17.61. Let m = c - -0.26. Is 1 less than or equal to m?
True
Let b be 2/(-4)*-14 + -3. Let c(f) = 2*f - 3. Let x be c(5). Is x > b?
True
Let n be -9 + 0 + 141685/(-215). Which is greater: n or -670?
n
Let i = -18.98 + 19.98. Suppose 3*t = 2*n - 1042, 4*t - 3*n - 594 = -1982. Is i != t?
True
Suppose 2*i = 2*b + 2, b = 2*b + 5*i - 5. Let a(j) = j - 6. Let z be a(b). Let f be 208/(-64) - z/(-8). Which is smaller: f or -24/7?
f
Suppose -2*g = 134 + 44. Let y(x) = 12041*x + 300931. Let n be y(-25). Which is greater: n or g?
g
Let k be (-777)/49 + -1 - 1. Let r = k - -1613/77. Which is bigger: 3 or r?
r
Let q be (-4)/(-14) + 648/(-14). Let b(r) be the third derivative of r**5/30 - 31*r**4/12 - 47*r**3/6 - 5*r**2 + 4*r. Let h be b(31). Is q > h?
True
Let f = 5 + -3. Let j = -36.27 - 2.23. Let s = 36.5 + j. Which is greater: f or s?
f
Let w(o) = 3*o**2 + 58*o - 280. Let p be w(-24). Let k be 9/(1*3/18). Which is bigger: k or p?
p
Let p = 2262831/572 + -3956. Does p = 1?
False
Let o(m) = -m - 22. Let g(v) = -3*v - 21. Let x(n) = -2*g(n) + 3*o(n). Let c be x(8). Which is greater: 1/26 or c?
1/26
Let b = -463.3 - -472.4. Let w = 0.26 + 1.64. Let j = -0.9 + w. Which is smaller: b or j?
j
Let n(s) = 8*s - 27. Let r be n(6). Let l be -3 - (7/r)/(2/(-12)). Let u = 6.16 - 0.16. Which is smaller: l or u?
l
Let k = 836 - 916. Let b be 1 + -66 + 1 + 1. Let p = b - 16. Which is smaller: p or k?
k
Let n(d) = -9*d - 3. Let f(y) = -2*y**2 + 2*y - 1. Let x be f(5). Let l = x + 39. Let u be n(l). Is 15 smaller than u?
False
Suppose -z + 5*z + 3*p = 660, 2*p = 3*z - 478. Let j = -104 + z. Which is greater: 59 or j?
59
Let y = -11 + -5. Let q be (-15)/7*(-8)/y. Let t(v) = v**3 - 2*v**2 - v + 2. Let g be t(1). Which is smaller: g or q?
q
Let b = -6113 + 18337/3. Which is smaller: b or 2577?
b
Suppose 473 = -r - 2*z - 451, 4*z + 3680 = -4*r. Do r and -914 have the same value?
False
Let z be (-2*(-5)/(-10))/(-1). Let r be -5 + (-6)/z + 4. Is -0.17 at most r?
False
Let q = 28 + -36.4. Let a = -16.6 + q. Let j = a - -24.9. Which is greater: -1.6 or j?
j
Let z(m) = -m**2 - 3*m + 28. Let p be z(7). Suppose 0 = -5*c + 4*i - 12, -2*c + c = 3*i - 9. Are p and c equal?
False
Let y be -420 - 600/(3 + 22). Is y < -1/5?
True
Let g(m) = 60*m - 250. Let y be g(38). Let n be (-6)/(-33) - y/154. Which is smaller: n or -17?
-17
Let p = 73 + -69. Let i be (4 - (9 - (-4 + p)))*-25. Let s be i/6 - 9/(-54). Are 22 and s equal?
False
Suppose -45*j + 43*j + 15032 = -2*h, 0 = -j + 3*h + 7524. Which is smaller: j or 7514?
j
Let b = -164623/16810875 + 2/134487. Which is smaller: b or -1?
-1
Let x = 167 + -1026. Let s = -18725 - -53620/3. Let q = x - s. Is q < -1?
True
Let n = 69 + -69.047. Let a = 9119.953 + -9125. Let g = a - n. Which is greater: g or -3?
-3
Let l = 5 - 5. Let a = -115.5107 - 0.4893. Is a != l?
True
Let s(f) = -4*f. Let t be s(4). Let c be (t/(-64))/(1/12). Suppose -c*p + 4*d = 18, -2*p + 0*p = d + 1. Is p at least -14/13?
False
Let m = -1.5 + 0.5. Let q = 59 - 58.23. Let b = -12.23 - q. Are m and b nonequal?
True
Let b(z) = z**3 - 7*z**2 + 5*z + 1. Let d be b(6). Let w(i) = 3*i. Let x be w(d). Let o be (-108)/10*(-1175)/(-705). Is o at least as big as x?
False
Let b be -110*(-226)/(-26724) - -1. Let x = 4/131 - b. Let h = 0.12 - 2.12. Which is smaller: x or h?
h
Let k = 32985/4 + -313449/38. Let f = k - -3/19. Which is smaller: f or -0.4?
f
Suppose 475*d = 470*d - 4980. Let z = -40845/41 - d. Is z equal to 1?
False
Let w = -754 + 250. Let k = w - -478.2. Which is bigger: 2/5 or k?
2/5
Let x(p) = -3*p**2 - 2*p - 1. Let f = -48 - -47. Let r be x(f). Let c be 2/(r - -1) + (-31)/(-8). Which is smaller: 1 or c?
1
Let f = -375 - -624. Suppose -5*x + 2*q - f = 0, -5*x + 3*q - 6*q = 264. Do x and -51 have different values?
False
Let k = 175242053/4604 - 38063. Does k = 2?
False
Let l = -54 - -305. Let k = l - 255. Does k = 0?
False
Let w(a) = 8*a**2 + 2*a - 3. Let t be w(-3). Let q = -280143/4 + 140197/2. Which is smaller: q or t?
q
Let n(z) = 477 + 3*z - 477 + 2*z**2. Let k be n(-2). Let p be (-258)/(-33) + k/11. Is p greater than 8?
False
Let g be 0/(((-32)/12)/(6/9)). Let c = -1387/14 + 99. Which is smaller: g or c?
c
Let q be -7*(-120 + 0) - 0/3. Let r be 1 - -3 - q/208. Suppose -h + 1 = -2*h. Is h <= r?
True
Let j be 1 + -4 + 0/1. Let w be j - 1 - (77/(-26) - 1). Which is smaller: -1 or w?
-1
Let q be (-4)/(-8)*(-1 + -141). Let c = q - -640/9. Suppose 7*f - 7*f = 3*f. Which is bigger: f or c?
c
Let y be (15/(-9))/(1110/369 - 3). Let g be (-82)/y*(-10)/12. Which is smaller: 23/5 or g?
g
Let y be ((-6)/(-24))/(29/8). Let d(i) = i**3 - 18*i**2 + 33*i - 16. Let q be d(16). Are q and y nonequal?
True
Let d be (2/4)/((-20)/(-40)). Let y = 50 + -62. Let a be (0 + (-1 - -1))/(14 + y). Which is bigger: a or d?
d
Let l = 1.99 - 2. Let m be 2 - (-3)/2*10/(-20). Is l smaller than m?
True
Suppose 2*b - 9 = -5*a, -a = a - 2. Suppose 2*l + 9991 = 5*k, 4*k - b*l + 6*l - 8004 = 0. Let u = 18019/9 - k. Which is smaller: u or 2?
2
Let c = 43 + -120.2. Let t = c + 78. Let k = t - 0.9. Is k at most as big as 13?
True
Let t(o) = -10*o + 72. Let d be t(7). Let m be (1389/(-708) + d)/((-21)/14). Which is smaller: -1 or m