x?
False
Let d(c) = 7*c - 8. Let x(k) = -k**3 + 3*k**2 - k + 7. Let i = -89 - -92. Let v be x(i). Let l be d(v). Is l less than 21?
True
Suppose -291 = -16*j + 19*j. Let m = 97 + j. Suppose m = 5*s + 11 + 29. Which is smaller: s or -7?
s
Let d = 92.2139 - 0.0139. Let v = 86 - d. Let o = -5.2 - v. Which is smaller: 25 or o?
o
Let p = -0.017 - 0.043. Let y be 12/8*(-2 - -4). Let i be y/6*(-12)/9. Is i smaller than p?
True
Suppose -1 = 3*o - 2*p, -2*o - 7 = 4*p - 17. Let j be 76/(-104) - (-1)/2. Is j >= o?
False
Suppose -7*u + 367 = 1018. Let q = u - -87. Suppose v + 7 = -2*r, -4*r + 9*r + 4*v + 22 = 0. Which is bigger: q or r?
r
Let n be (-35062)/(-11328) + 1*6/(-2). Let j = n + -1/708. Is 1 greater than j?
True
Let i = -538985/21 - -25666. Let x(w) be the first derivative of w**3/3 + 2*w**2 + 2*w + 1. Let p be x(-3). Is p < i?
True
Let l(u) = -u**2 + 74*u + 6029. Let c be l(123). Are c and 83/56 unequal?
True
Let q be 32/7*(-1)/2. Let x = 495615 - 495618. Is x at least q?
False
Suppose t = -5*l + 571, 579 = 5*l + 2*t - 3*t. Let x = 65 - l. Is x < -50?
False
Let r = 512 - 1579/3. Let i = -314 - -331. Let q = i + r. Which is smaller: q or 4?
q
Let s = -41117 - -239259825/5819. Which is smaller: -1 or s?
-1
Let m(w) = -2*w**3 - 9*w**2 - 10*w - 56. Let n be m(-5). Let r be n*(-1)/6*(-30)/35. Let d(j) = -2*j - 3. Let c be d(-3). Are r and c unequal?
True
Let u(a) = 35*a + 292. Let f be u(-9). Let l = -24 - f. Is 3/380 < l?
False
Let j = -12012 + 900902/75. Suppose 4 = 4*l - 8. Suppose -l*x = -0*x. Are j and x nonequal?
True
Let g be 11700/13965 + 3/(-3). Let b = g + -1/931. Which is bigger: 0 or b?
0
Let i = 5/1652 + -2465/34692. Is i equal to 0.3?
False
Let k(i) = -5*i + 351. Let r be k(0). Suppose 8*s + s - r = 0. Suppose -2*v - 29 = -s. Is v not equal to 21/4?
True
Suppose 4*u = -22 + 58. Suppose -4*x + u + 0 = 3*l, 5*x + 4*l - 12 = 0. Let a = -5433/4 - -1359. Is a >= x?
True
Let t = -3183 + 3183. Are -2/1691 and t equal?
False
Let f = -190 - -235. Suppose p - 4 = 0, -x + 0*p + 2*p + 38 = 0. Is x greater than or equal to f?
True
Let d be 60016/38115 - (-2 - (-32)/14). Which is bigger: 0 or d?
d
Let c = 154932309290383 + -64049946254429360509/413406. Let d = 78/22967 + c. Let l = 171 - d. Which is smaller: l or -1?
-1
Let r(y) be the third derivative of y**4/12 + 2*y**2 - 7*y. Let v be r(-19). Is v greater than -34?
False
Let b = -5415 - -37907/7. Is -615 smaller than b?
True
Let x be (4/(-182))/(-22 + 474/21). Suppose 5*s - i - 104 = -0*i, 4*s = -2*i + 86. Let u be (4/6)/(14/s). Are x and u equal?
False
Let m(k) = k**2 + 58*k - 187. Let q be m(3). Suppose -5 - 15 = 4*a. Is a greater than q?
False
Let y(d) = d**2 - 32*d - 141. Let r be y(36). Suppose -4*c = -6*q + 4*q - 4, 3*c + 2*q - r = 0. Is -7/26 at least c?
False
Suppose g = 2*p - 3, -34*p + 39*p + 5*g = -30. Does -7/24 = p?
False
Let a be 790200/395200 + (1 + 1 - 4). Which is bigger: a or 1?
1
Let s = 27804.2719 - 27807. Let r = -0.1719 + s. Let h = -0.2 - -0.2. Is r greater than h?
False
Let c = -17705 - -17131. Is -576 at most as big as c?
True
Let c(b) = -b**2 + 12*b - 23. Let d be c(7). Let s be (-650)/d - (-11)/66. Let m = 57 + s. Which is smaller: -4 or m?
-4
Suppose 3*m + 4 = 4*p + 14, 14 = 4*m - 5*p. Let x be 0 + 30/m + -18. Suppose 0 = s - 0*s + 15. Which is smaller: x or s?
s
Suppose 5*j - 31 = 384. Let k = -34 + j. Suppose 0 = 6*g + g + k. Which is bigger: -8 or g?
g
Let s be (-242)/6 - -6*(-6)/54. Let r = -68 - s. Is 5 not equal to r?
True
Let g(q) = -18*q**3 + 473*q**2 + 46*q + 15. Let v be g(26). Is v at most 4592?
True
Suppose -44*n = -24*n - 3780. Suppose 4*f + n = a, 4*f - 340 = 4*a - 1036. Is a less than 169?
False
Let f be (28 - (-24)/3) + 8. Suppose 6*r - f = -38. Are 1/225 and r unequal?
True
Let f be 1/(33/15663) - 0 - 20/20. Which is smaller: f or 475?
f
Suppose 55*n = 19*n - 15*n. Let f = -303401/148 - -2050. Is n less than or equal to f?
False
Let d be (-60)/(-110) + 28/(-11). Let m be (-2 + 6)*d/4. Is m >= -40/43?
False
Let n be (-18)/(8/(-4)) + ((-24650)/35 - 17). Which is bigger: -711 or n?
-711
Suppose 7*i = 5*p + 6*i - 73, -4*i + 38 = 2*p. Let k(f) = 3*f**2 - 17*f + 6. Let h be k(8). Let g = h - 59. Is p not equal to g?
True
Let t be 4186/(-88) - (-189)/(-126). Let n = 197/4 + t. Is -0.01 bigger than n?
False
Let o = 834 - 838. Let a = -255/11 - -1389/77. Which is smaller: a or o?
a
Let v = -3066 - -2712. Which is bigger: v or 0.2?
0.2
Let b be (-28)/60*(-11616)/(-168) + 4/1. Which is smaller: -29 or b?
-29
Suppose 0 = j - 0*f + 2*f - 938, 1916 = 2*j - 4*f. Let g = j + -989. Which is bigger: g or -42?
g
Let h(k) = 2*k - 19. Let t be -7 + 0 - (-19 + 2). Let f be h(t). Is -5/149 greater than f?
False
Let h be (32 + -28)*5/((-10)/16). Let x(a) = a - 71. Let y be x(h). Which is bigger: y or 1/5?
1/5
Suppose -n = 2*x - 4*n + 39, n = 2*x + 33. Let j(d) = -141 + 43 + 35 - 4*d + d + 25. Let k be j(x). Which is smaller: k or 3?
3
Let j = -22/435 - -67579/3045. Are -9 and j nonequal?
True
Let x = 187 + -1495/8. Let q = -40.6 + 31.6. Is q <= x?
True
Let z(v) = v**2 - 3*v**2 + 0*v**2 + v**2. Let q be z(1). Let b be -2 - q/((-3)/(-6)). Which is smaller: -33 or b?
-33
Suppose -2 = 143*c - 144*c. Suppose c*h - z - 413 = -4*z, 0 = 3*z - 9. Is 201 equal to h?
False
Let m = 21539 - 21555. Which is smaller: m or -24?
-24
Let m(y) = y**2 + 4*y. Let n be m(-5). Suppose -n*s = 3*s + 552. Let l = s + 205/3. Are l and 0 equal?
False
Let q(o) = o - 22. Suppose -27 = -7*h + 4*h. Let l be q(h). Let b = 13 + l. Are 2 and b equal?
False
Let l(g) = 1028*g + 18504. Let s be l(-18). Is 21/43 greater than s?
True
Let v = 94241/3000 - 757/24. Does 1 = v?
False
Let r = 649385/306 - 276532663/172278. Let j = -25421611/119919 - r. Let n = j - -729. Is -1 <= n?
True
Suppose 0 = 29*s - 17*s + 180. Is 113 <= s?
False
Let y be ((-27)/2)/(3/(-6)). Let t = y - 27. Let m be (-4)/(-9*2 + t). Which is bigger: m or -24?
m
Suppose -40*l + 228 = -332. Which is greater: l or -25.6?
l
Let z = -1702 - -1702.463. Is -0.1 greater than z?
False
Suppose 5*l - 26*l = 105. Let h = -60/11 + 43/22. Is h greater than or equal to l?
True
Let w = 5 - -35. Let o = w + -25. Let x = -56 + o. Which is greater: x or 0.1?
0.1
Suppose 4*z - 18 = -o + 10, -o + 4 = 0. Let s be 3 - ((-911)/303 + z). Is s equal to -1?
False
Let f = 7945 + -7944. Let a = -533/2 - -10199/38. Is a less than f?
False
Let c be (1*(-2 + 1))/(5/(-25)). Let j be (0 + 1)/((c/(-4))/5). Let l be ((-3)/(-15))/(8*j/(-40)). Which is smaller: 0 or l?
0
Let c = 135 + -232. Let l = 1259/13 + c. Is l less than -42?
False
Let a = -67 + 60. Let t be 0*((-7)/2)/a. Let f = 2/1055 - 8466/13715. Which is bigger: t or f?
t
Let j = -3004.461 + 3006. Let p = 0.269 - j. Let h = 0.63 - p. Which is bigger: 0 or h?
h
Suppose -222 = t + 87. Let n = -331 - t. Which is smaller: n or -24?
-24
Let d = 132 + -132.57. Let x = -33.57 - d. Let t = -32.8 - x. Is t at least -18?
True
Suppose 40*l - 1933 - 9547 = 0. Let f = 288 - l. Which is smaller: 10/57 or f?
10/57
Suppose -y - 4*u - 5 = 0, 4*y + 504*u + 8 = 500*u. Which is greater: -3/3046 or y?
-3/3046
Let v = 24.7142 - 0.0142. Let j = v - 25.3. Which is smaller: 6 or j?
j
Suppose -4*h + 4*x + 784 = 0, 2*x + 3*x - 820 = -4*h. Suppose 10*y - h = 5*y. Let r = y - 37. Is 5 < r?
False
Let n = 39.89 + -40. Let a = -0.09 + n. Let j = 29 - 27. Does a = j?
False
Let h = -435718 - -435719. Let k = -8477 + 4348703/513. Which is smaller: k or h?
k
Let f be ((-4)/(-524))/(4/(-8)). Let n = 119 + -120. Which is smaller: n or f?
n
Suppose 161 = -57*l - 10. Let o be (152/l)/(-8) + -6. Which is greater: o or -279?
o
Suppose 0 = 28*y - 8966 - 162. Does y = 2924/9?
False
Let t(w) = -5*w**2 - 52*w - 13. Let p be t(-10). Is -2103 at least as big as p?
False
Let f(t) = t**2 - 37*t - 46. Let h be f(39). Suppose 0 = 5*z - 5*g - 150, -18*z - 2*g = -15*z - 105. Which is greater: h or z?
z
Let p be (2 - 1)/(2/8*2). Suppose 0 = 2*s + g - 0*g - 3, 2*s - 3*g = 7. Suppose 4*k = s*b - 14, b + p*b + 9 = k. Which is bigger: -22/3 or k?
k
Let k be 16/(-392)*-2947 + 2/(-7). Let f = 29 + -22. Suppose k = 5*q - 5*y, f*q - 102 = 3*q + y. Is 26 bigger than q?
False
Let x = -3374 + 482480/143. Let u = -2878 + 2879. Is x greater than or equal to u?
False
Let c be (34/6)/(45/