h = 0.017 - v. Let w = -39 - -38.8. Is h less than or equal to w?
False
Let j = 362.639 + -362.3. Is 1 at most j?
False
Let a = 4027 - 4032. Is -170/41 greater than a?
True
Let g be 69/6*8/20*5. Suppose -5*q + 3*d + 87 = 0, 2*q - 5*d = 3*q - g. Let a be 2/q*3*3. Which is greater: 1.3 or a?
1.3
Let t = -1552 + 150563/97. Is 1 bigger than t?
True
Let o = -0.015651 + 10.015651. Let v = -128/201 + -2/67. Which is smaller: v or o?
v
Let l(t) = -t**3 - 113*t**2 + 325*t - 1354. Let g be l(-116). Which is smaller: 1316 or g?
g
Let a be 597*1*(-144)/432. Which is bigger: a or -799/4?
a
Let t = -98 - -119. Suppose -g + t*d - 8 = 16*d, 4*d = 5*g - 23. Suppose -q - 5 = -2*q. Is q smaller than g?
True
Let n = -981 + 991. Suppose 5*c = 2*p + 16, -5*p + c + 18 = 3*c. Which is smaller: n or p?
p
Let t(c) = c**3 - 16*c**2 + 14*c + 19. Let s be t(15). Let a be (6 + -6)*(-2)/s*-1. Suppose -9*r - 5 - 4 = a. Which is greater: -2/153 or r?
-2/153
Suppose -52*y - 36*y = -80*y - 24. Let b be (1 + 0)*(-30)/(-14). Is y bigger than b?
True
Suppose -4*r + 25 = -3*i, 4*i = -r - 4*r + 8. Suppose 4*p - r*d - 4 = 0, 4*p = -3*d - 22 - 9. Is -10 not equal to p?
True
Let z be 6 + 210/(-40) - (-19)/(-36). Which is smaller: -1/1384 or z?
-1/1384
Let y be 48*57/304 + (-758)/(-2). Is 381 at least as big as y?
False
Let a = 439/1560 - -27/520. Let l = -3 + 6. Let o = l + -4. Is a < o?
False
Let y = -110 - -384. Let w = -500 + y. Does w = 2/5?
False
Let v = 0.4 - 0.44. Let m = v + -0.96. Let w = -84 - -75. Are m and w unequal?
True
Let s(i) = -6*i**3 - 31*i**2 + 22*i + 28. Let h(f) = 17*f**3 + 93*f**2 - 65*f - 86. Let z(m) = -4*h(m) - 11*s(m). Let v be z(-16). Which is smaller: 7 or v?
v
Let l = 1056 + -567. Let s = -481 + l. Is s greater than or equal to -13?
True
Let r = 0 - 0. Let k be (468/45)/(-1 - 252/(-260)). Let b = 9799/29 + k. Is r != b?
True
Let z be ((-2)/18)/((-84)/378). Which is smaller: z or 1036?
z
Let h = 17119 - 17200. Which is smaller: h or 24?
h
Let o be -4 - (-2 + -3) - 8. Let m be ((-2)/14)/(20/o). Let b(a) = -a + 6. Let p be b(6). Which is smaller: p or m?
p
Let a(s) = -225*s**3 - s**2 - s. Let z be a(-1). Suppose z = 26*m - 21*m. Suppose 0 = 4*q + m - 105. Is 15 less than q?
False
Suppose -3*u + 2*p = 68 - 466, -4*u + 524 = 4*p. Let i = u + -527/4. Are i and 8 nonequal?
True
Let x = -533 + 534. Let w(d) = -5*d + 3. Let t be w(x). Which is smaller: -17/5 or t?
-17/5
Let c = -527/145 - -1/29. Let g(u) = -5*u - 4. Let w be g(-7). Suppose 3*m = 5*z - 25, 3*z + 5 - w = 4*m. Which is smaller: m or c?
m
Let i = 5253 + -2484. Which is greater: 2768 or i?
i
Suppose 3444 = -7*n - 2968. Let w = 951 + n. Which is smaller: w or 46?
w
Let f = -4105 - -4087. Is f less than 155?
True
Let y = -321.71 - -322. Let d = 0.97 - 1.17. Which is smaller: y or d?
d
Let q = 16 - 21. Let f be (4/q)/(20/(-1550)). Let g = 61 - f. Is g greater than 3?
False
Suppose 150 = -5*d - 255. Let k(r) = r**3 - 24*r**2 + 119*r + 80. Let g be k(17). Let l = g + d. Does l = -18?
False
Let o = -6 + 13. Let q = o - 10. Let t = -58.89 - -67.89. Which is smaller: q or t?
q
Let l(g) = -2*g + 2. Let n be l(-3). Let s be (n - (-5)/(-1))*(-31)/(-70). Let o = 1/210 + s. Which is greater: o or -1/2?
o
Suppose -2*h + 6 = q - 7*h, -q + 2*h + 6 = 0. Suppose 514*r + 360 = 518*r. Let i be (-49)/r + q/12. Which is smaller: i or -0.2?
-0.2
Suppose 107 = -22*o + 19. Which is bigger: o or -59?
o
Let j = 1275 - 1274.8. Is 1436 less than j?
False
Suppose -9*j - 157 = -4. Let i(y) = -y**3 - 20*y**2 - 50*y + 3. Let h be i(j). Which is smaller: h or 6?
h
Let v = -1144 + 1125. Suppose 0*x + x - 63 = 4*g, 5*g + 60 = 5*x. Is v not equal to g?
True
Let m = 10 - 23. Let n = -8.3 + 29.4. Let l = -21 + n. Is l != m?
True
Suppose 0 = -2*f - f + 30. Let m = -149.49 + 149.56. Do m and f have the same value?
False
Let n = 0 + -2. Let j be n*(-4)/(37 - -3)*5. Suppose -j = -8*v + 9*v. Is v <= 0.2?
True
Let a(z) = z**3 + 21*z**2 + 17*z - 112. Let s be a(-16). Let p be 308/(-9) - (s/(-144) + 6). Let n = -111/5 + 1009/45. Are n and p equal?
False
Let b be (-864)/((-384)/(-24))*(1 + -3). Let t be (530/5)/(0 + 1). Which is smaller: t or b?
t
Let x = 293 - 491. Let q = -198 - x. Is -1/236 less than or equal to q?
True
Let d be 0/((-5)/((-15)/(-6))). Let p be 1 + -3 + (d - -1). Let v = -84/17 - -169/34. Which is smaller: v or p?
p
Suppose -2*f - 26 = 4*a, 5*f - 2*a + 87 = -a. Let m be (0/(-4 + 1))/(-2). Suppose -5*d - 17 + 2 = m, -2*v - 3*d - 45 = 0. Is v >= f?
False
Let i(g) = -23*g + 2065. Let o be i(-12). Which is greater: 2340 or o?
o
Let j = -668339/5 - -134520. Which is bigger: j or 851?
j
Let m(t) = -t**3 + 8*t**2 + t - 3. Suppose 2*v - 16 = -0. Let g be m(v). Let n = 29/2 - 175/12. Is n >= g?
False
Let k(t) = 11*t**3 + 4808*t**2 + 441*t + 1734. Let d be k(-437). Let j(h) = -2*h**2 + 2. Let w be j(-2). Let a be (-80)/6 + (-2)/w. Which is smaller: d or a?
d
Let a(j) = -j**3 - 67*j**2 - 64*j + 131. Let w be a(-66). Is w equal to -2/1093?
False
Let z(y) = y**2 + y + 2. Let s be z(0). Let m = -17196 - -17204. Which is greater: s or m?
m
Let c be -124*(21/(-14) - (4 - 6)). Let w = -43 - -42.97. Which is smaller: c or w?
c
Let i = -0.6369 + 0.8169. Which is smaller: -1.69 or i?
-1.69
Suppose 2*y + 3*w - 6 = y, y + 2*w - 4 = 0. Suppose -2*s = k + 29, y = s - 2*s - k - 15. Is s smaller than -88/7?
True
Suppose 0 = -68*y + 75884 - 41204. Let s(k) = 20*k**2 - 2*k + 1. Let u be s(-5). Which is bigger: u or y?
u
Let u = 626 - 384. Let i = 159 - u. Which is bigger: 1 or i?
1
Let x = 13142 + -13347. Is 10 at least as big as x?
True
Let s = -1232 - -476. Let y be (-12)/(-2) - s/(-112). Which is bigger: y or 0?
0
Let b(o) = -o**2 - o - 865. Let a be b(0). Let g be (a/(-15))/(2/6). Suppose -5*u = 7 + g. Is u at least -36?
True
Let b = -648 + 683. Let k = -42 + b. Which is smaller: k or -0.05?
k
Let t be 1984/(9*(-3)/108). Which is smaller: t or -7938?
-7938
Let q = -6215 - -6214.3. Which is smaller: q or 182?
q
Let o be (-86)/1505*(-7 - 0) - (-134)/(-10). Is o <= -26?
False
Let i = 16/1145 + -11003/541585. Which is bigger: -1 or i?
i
Let h be (2/7 + 76/28)*1. Suppose 107*u = 104*u + h. Which is greater: u or -1/79?
u
Suppose -5*y + 11*w = 7*w - 53, 3*y = w + 29. Let c(z) = -2*z**3 - 12*z**2 + 15*z + 17. Let m be c(-7). Are y and m non-equal?
True
Suppose 0 = 4*c - 4*h + 5212, 0*c - 6499 = 5*c + 3*h. Is -1301 less than c?
False
Let a = 13503 - 13504.5. Is -0.0442 bigger than a?
True
Suppose 0 = -6*m + 204 + 3420. Let k be -10*(4 - m/150). Suppose 4*j - 7*a + 6*a = 0, 5*j - 5*a = -15. Are k and j unequal?
True
Suppose -3550 = -4*h + 5*r + 3594, 4*h + 5*r = 7224. Is h equal to 1796?
True
Let d = 7188 - 5075. Is 2114 less than d?
False
Suppose -5*t + 5*w + 655 = 0, -t - 29*w = -31*w - 134. Is t smaller than 128?
False
Let h(j) = -j**2 - 11*j + 12. Let m(o) = -1. Let u(w) = h(w) - 5*m(w). Let t(n) be the first derivative of u(n). Let b be t(-5). Which is smaller: b or -3/4?
b
Let q be (-252742)/462 - (-18)/297. Is -547 != q?
False
Let u(d) = 19. Let s(m) = -m + 19. Let n(r) = -3*s(r) + 4*u(r). Let x be n(5). Let q be 657/(-918) - 4/x. Is q >= -2?
True
Let o be (-40)/(-5) + 168/36*6/(-4). Which is greater: o or -1/4599?
o
Let l = 21 - -17. Suppose -2*o + l = 10. Suppose 12*h + 56 = o*h. Is h less than 29?
True
Let u = 5.73 - -232.27. Let n = u - 237. Are n and 0.7 unequal?
True
Let u(d) = -89*d + 881. Let s be u(20). Is -8078/9 at least as big as s?
True
Let b = 627 + -289. Let c = b + -473. Does -1 = c?
False
Let y = -1118 - -320. Let w = y + 804. Is w bigger than 15?
False
Let j = 119 - -37. Let m = j + -787/5. Is -1 greater than or equal to m?
True
Let b = -4389317/433 - -10137. Which is greater: 2/9 or b?
2/9
Let l(u) = -421*u + 2582. Let x be l(6). Which is smaller: 44 or x?
44
Suppose 76 = c + 3*c. Let h = c + -14. Suppose 0 = h*v - 4*k + 8, -4*v + 5 - 3 = k. Is -3 >= v?
False
Let k be -1 - (1 + 4 + 6696/(-48)). Is k greater than 0.3?
True
Let l(o) = 559*o - 598. Let w be l(-18). Is -10660 less than w?
False
Let f = -9 + 12. Let i = -543 - -853. Let n be 0 - f - i/(-100). Which is smaller: n or -1?
-1
Let g be 637/245 - -4*4/40. Which is smaller: g or -309?
-309
Suppose k - 114 = 5*c - 344, 5*c = 4*k + 875. Let v = -204543 - -204327. Which is smaller: