t
Suppose 0 = -2*k - 5*m - 27, 5*k = -4*m + 12 - 54. Let r(o) = -2*o**3 - 10*o**2 + 15*o + 19. Let x be r(k). Which is smaller: x or -2/745?
-2/745
Let m be (1 - -1)*(4 - 0). Suppose m*f - 7*f = 0. Let d = 76/17 + -73/17. Is f at most as big as d?
True
Suppose -29 = 11*f - 84. Let y(n) = -n**3 - 7*n**2 + 1. Let b be y(-7). Let o be ((30/(-9))/f)/b. Which is greater: o or -9?
o
Suppose 4*y + 3*p = -1186 - 315, -3*y + p - 1142 = 0. Let m = 85277/225 + y. Which is smaller: m or 1?
m
Suppose -4*k - 32 = 0, 0 = 148*o - 138*o + 2*k - 23304. Is 4663/2 > o?
False
Suppose 17*w - 1057 = 19*w - v, -5*w - v - 2646 = 0. Let c = w - -530. Which is bigger: 18 or c?
18
Let a = 0.3778 + 1573.6222. Let d = -1574.1 + a. Let i be (-2)/(-6) - 46/(-12). Which is greater: i or d?
i
Let b(h) = -50234*h**3 + 5*h**2 - 10*h - 32. Let c be b(-12). Let k = 195919241776/2257 - c. Let g = k + 70/37. Is 0 bigger than g?
True
Let c be (469081/(-238) + 3/7 + -1)*2. Is c bigger than -3943?
False
Let t = -289 - -168. Suppose -2*g = -5*y - 0*y - 602, 1 = g. Is t >= y?
False
Let k = 3509 + -3006. Which is smaller: 502 or k?
502
Suppose -n - 49 = -4*y, 0*y = -3*y - 2*n + 45. Let k(g) = 9*g - 50. Let w be k(19). Let m = -108 + w. Is m not equal to y?
False
Let k be 4/(-35)*9/6. Suppose 0*i + 2*i - 20 = 4*n, -i + 5*n + 19 = 0. Let y be 90/27 + -5 - i/(-6). Which is bigger: y or k?
k
Let v be (-2)/(-10 + 195811/19579). Is -1866 greater than v?
False
Let r be (0 + -1)/1*-2. Let g(m) = -3*m - 7. Let b(z) = 6*z**2 - 47*z - 11. Let x be b(8). Let s be g(x). Is r != s?
False
Let s = 2384.3 + -2842. Let d = 458 + s. Which is bigger: d or 121?
121
Let z = 0.142 - 0.732. Let l = z - -0.49. Which is bigger: l or -3/13?
l
Let c(k) = -k**2 - 451*k + 1820. Let o be c(4). Is 91/355 >= o?
True
Suppose 620*q - 567*q + 53 = 0. Which is bigger: -1/507 or q?
-1/507
Let q = 37 + -37.125. Let w = 0.125 + q. Let u = -36 + 73. Which is smaller: u or w?
w
Let n = -130 - -89. Suppose -7*d + 0 = -42. Suppose 5*f - 3*q = -204, -d*f - 134 = -3*f + 4*q. Is f not equal to n?
True
Let z(f) = -1193*f + 4417. Let u be z(4). Which is smaller: -353 or u?
u
Let o(w) = 8*w**2 + 3*w + 3. Let z be o(-2). Let g = 3229 + -3205. Which is greater: z or g?
z
Let v = -5417 + 5768. Is v less than or equal to 4?
False
Let c(i) = 34*i + 103. Let k be c(-3). Which is bigger: 1/5165 or k?
k
Let a = -6030848471/702180 - 1/175545. Let k = -8636 - a. Is -47 bigger than k?
True
Let v = -0.113 - -0.043. Is -5.6 < v?
True
Let b be (14/(-28))/((-1)/76*(-4)/146). Is b smaller than -1388?
False
Let t = -159 + 240. Do t and 11 have the same value?
False
Let f = -450078.918 - -449480. Let q = f - -599. Which is smaller: 0.2 or q?
q
Let c = 0.165 - -13.135. Let x = c - 12.71. Is -2 bigger than x?
False
Let d be 3 + (-52 - 4)/8 + 5. Which is greater: 33/271 or d?
d
Let p be 11 - 21/6*-2. Suppose -306 + 1962 = -p*d. Which is greater: -90 or d?
-90
Let b = -5.55 + -278.45. Let f = b + 284.3. Let v = 0.1 - -0.9. Which is greater: f or v?
v
Let g = 135 - 134. Let v be (5 + 0)/(218/(-9026)). Let b = 207 + v. Which is smaller: b or g?
b
Let x = -68 + 69. Let h = 280 - 280. Which is greater: h or x?
x
Let r(n) = 2*n + 5. Let u(d) = -6*d - 15. Let o(a) = -11*r(a) - 4*u(a). Let h be o(-2). Let x be 2 + (1 - h) + 0. Is -2 equal to x?
False
Let x = -128 - -152. Let r be (-2*(-3)/(-114))/(24/x). Is -1 < r?
True
Let f(j) = -j**3 + 6*j**2 + 6*j + 10. Let w be f(7). Let m(b) = b**3 + 4*b**2 - 35*b + 1. Let r be m(4). Which is smaller: r or w?
r
Let w = 2477.99 + -2478. Which is bigger: w or 329?
329
Let n be (-11 + -1)*(-1)/4. Suppose -2*a = -4*r + 4, -2 = -a - n*a - 2*r. Is a equal to -1?
False
Let j(v) = -141*v**2 - 7*v - 3. Let g(x) = x**2 - 17*x + 65. Let a be g(6). Let w be j(a). Which is greater: -134 or w?
-134
Suppose 4*g + g + z = 774, -636 = -4*g - 5*z. Let p = g - 65. Is p <= 89?
True
Let p = -189 - -191. Let h be (-16857)/135 + p/(-15). Is h >= -125?
True
Let y = 22/586599 - -13834897/476318388. Let g = 1/52 - y. Which is smaller: 0 or g?
g
Let t be (7 - 0)/(-11*(-3)/33). Suppose u = m - 257, 11*u - t*u - 8 = 0. Which is smaller: m or 258?
258
Let v = -1087.402 + 1072. Which is smaller: v or -1?
v
Let m = 6.06 + -3.63. Let w = 20.6 - 20.03. Let k = m + w. Is k > -0.1?
True
Let q be 11/((-55)/60) - -12. Let n be ((-30)/21)/(19/14). Which is bigger: n or q?
q
Let k = -0.269 - -0.073. Let v = 2.804 - k. Let c be ((-1)/4)/(5/12). Is v greater than c?
True
Let a(k) = -26*k + 922. Let q be a(36). Let g(i) = -4*i. Let f be g(4). Which is greater: q or f?
q
Let z = 7160.848 + -7161. Which is smaller: z or -7?
-7
Suppose 5*y - u - 475 = -2*u, 0 = 3*y + 3*u - 273. Let g = y - 24. Do 70 and g have different values?
True
Let u = 3189 - 3069. Are u and 1/8 equal?
False
Let o = -113269/15 + 7551. Which is greater: -0.77 or o?
o
Let k be 4/(-10) - 36/(-90). Suppose -2*r + k = 3*a - 10, -2*a = -r - 2. Suppose 2*s = -a - 26. Are s and -14 non-equal?
False
Let w = 58 - 58. Suppose 3*o + 4*v + 8 = w, v + 0*v = 4*o - 2. Suppose o*i = -2*i - 2*i. Is 2/13 greater than i?
True
Suppose -23*w + 4*w + 38 = 0. Suppose 5*g = w*b + 30, 4*b + 5*g = 3*g - 36. Which is bigger: b or -2?
-2
Let l = -135 - -135.091. Let w = l + 10.009. Which is smaller: 2/7 or w?
2/7
Let s = 265 + -1999. Let h = s + 12116/7. Is h not equal to 6?
True
Suppose 268*m = 272*m + 28. Let y be 40/(-6)*36/30 - 2. Let t be 145/14*(5 + 58/y). Which is greater: t or m?
m
Let d = -183 - -86. Let h = 75 + d. Suppose 8*p = 7*p - 22. Is p < h?
False
Let j(p) = 4*p**2 - 90*p + 130. Let m be j(21). Let y = 11 + -4. Suppose y = m*k - g, -4*g = 2*k + 3*k - 14. Is 0 bigger than k?
False
Let h be ((-110)/15)/(((-2)/3)/(52/24)). Which is smaller: -2/11 or h?
-2/11
Let m(z) be the third derivative of z**6/120 - z**5/20 + z**3/3 + 7*z**2. Let q be m(4). Let w = q - 18. Is w < -2/39?
False
Let g = 22688.0046 - 22702. Let a = -0.0046 + g. Is a <= -9?
True
Let k = 71.6007 + -0.0007. Let b = k + -21.4. Let m = b + -50. Is -0.2 > m?
False
Let m = 0 + 1/4. Let f = -17 + 75. Let v = f + -58.8. Which is greater: v or m?
m
Let m = -15073/2 - -7352. Are 1/2 and m nonequal?
True
Let x = 4104 - 4104. Is -1/3188 >= x?
False
Suppose -5*f + 3*x + 2 = 0, -5*f - 4*x - 2 = -11. Let h be f*(20/4 - -2). Let d = 25 + -19. Is d < h?
True
Suppose 15*l - 5*l = 14*l + 32. Suppose -b - 3 = -7. Let s = 1 + b. Is s less than or equal to l?
False
Let f = 1.93 + -1.9. Let m = 78 + -52. Let c = m + -76/3. Is f > c?
False
Suppose -6 = 3*p, 4*p = -14*h + 10*h - 556. Which is smaller: -11 or h?
h
Let r = 102 - 28. Let f = r - 71. Suppose -z = t - 1, -2*z + f*t = -6 + 4. Is z at most as big as 40?
True
Let a be 1530278/1232 - 200/175. Let y = 1241 - a. Is y < 3?
True
Suppose -5*z + 5 = 2*s + 3*s, 0 = -4*s - z + 19. Suppose s*m + 146 = 140. Which is bigger: m or -4/33?
-4/33
Let z be -4*(-1)/6 + (-2132)/(-246). Which is smaller: z or 6?
6
Suppose -4*n = -0*n + 40. Let w = n - -11. Let x be (-1)/((-4)/(-8))*5/255. Is w at most as big as x?
False
Let p = -4350 + 4350. Let i be 940/(-3339) - 4/(-14). Which is greater: p or i?
i
Suppose -2 - 17 = -6*j - 25. Are 2/17 and j nonequal?
True
Suppose 8*n = -69 - 11. Let f be ((-8)/n)/(21/35). Suppose -4*i = -i. Is i >= f?
False
Suppose 4*s + 3*q = -1, -4*s + 2 = 7*q - 5*q. Let r(j) = 25*j - 13. Let w be r(s). Does w = 38?
False
Let r = 100 - -106. Let u = -209.5 + r. Is 3 at most as big as u?
False
Let z be 8/14 + 35916/(-97006). Which is greater: -1 or z?
z
Let q = -42.23 + -0.77. Let y = q + 62. Let s = 17.6 - y. Which is smaller: -1 or s?
s
Let h be 0/4 - 38/5. Suppose 2840 - 6917 = 27*z. Let q = z - -143. Which is greater: q or h?
h
Let d be 986/4 + (-110)/44. Let g = -10733/44 + d. Let h be -1 - (-1 + (1 - 0)). Which is smaller: g or h?
h
Let x = -307945/19 + 16207. Let a(w) = -w - 2. Let s be a(-2). Is x at most as big as s?
True
Let x = 5.8 - -70.7. Let y = 78.19 - 1.19. Let u = x - y. Is u equal to -4?
False
Let d be -3 - 5*(-3)/5. Suppose -10*w - 24 = -4. Which is greater: d or w?
d
Let d = 100.24 - 113.238. Let x = d + -0.002. Let u = x - -13.1. Which is smaller: u or 18?
u
Let z = 75 - 37. Let q be 4/z - (-6)/(-57). Suppose 3 + q = 3*s. Is s at least as big as -1/73?
True
Let m be 2*((-2)/(-9) + 2238/(