e (1040/(-208))/(1 + (-6)/17). Which is smaller: z or -7?
z
Let n = 22.24 - 0.24. Let i = 22.09 - n. Let k = i + -0.06. Are k and -1 nonequal?
True
Let i = -2722526/39 + 69820. Let t = 28/3 - i. Which is bigger: -1 or t?
-1
Suppose -v + g + 8 = 0, -3*v - 5*g + 2*g = 0. Suppose -4*i = -2*i + v. Let m be 1*(-2 + 5 + i). Which is greater: -1 or m?
m
Let u = -41232/53 - -778. Is 4 less than or equal to u?
False
Let m = 1.533 + -1.46. Let s = -5.927 - m. Does 0.2 = s?
False
Let t(d) be the second derivative of -d**4/12 - 5*d**3/3 - 10*d**2 - 4*d. Let s be t(-11). Is s bigger than -30?
False
Suppose 2*h = -3*c - 6 + 24, 0 = -2*h + 2*c - 2. Suppose 4*d + 2*f = 0, h*d - 2*f + 5 = -2. Which is greater: 6/29 or d?
6/29
Let v be (-4)/(-10) + (5 - 342/30). Let s be 4/v - 2/4. Are s and -2 non-equal?
True
Let l be ((-8)/2 + 4)/2. Let h be 111/(-27) + 6/2. Let z = h - -31/36. Which is smaller: l or z?
z
Let b = -261 + 262. Which is greater: b or 2/67?
b
Let u = -0.1 - -0.06. Let x = -0.26 + u. Let m = -5 + 4.7. Is m less than or equal to x?
True
Let h = -45 + 113. Let q = h + -68.2. Which is smaller: 40 or q?
q
Let k = -2646 + 2579. Is k smaller than -70?
False
Let i = 30.1 - 30.1. Do -1/9 and i have the same value?
False
Let f = -24 + 25.3. Let q = f + -1.7. Let c = 0.3 + q. Are -3 and c equal?
False
Let s = -580 - -845. Let l be 2*(4 - s/70). Is -1 < l?
True
Let s be 90/(-25) + (-21)/(-35). Let l = 6 + -4. Is l less than or equal to s?
False
Let o be (-98)/4*4/(-28). Let y = -0.03 - -0.43. Let j = y - 0.5. Which is bigger: j or o?
o
Let k = 164 + -164.55. Let n = k - -3.55. Is n equal to -1/2?
False
Let z = 309 + -309. Is 3/7 < z?
False
Let x = -25084984/13 + 1931519. Let d = -1903 + x. Which is bigger: d or 2?
2
Suppose -o + 5*o = -304. Let c = 79 + o. Which is smaller: c or 4?
c
Suppose -4*p + 8 = 5*o, -p + 5*o + 4 = 2. Suppose -13 = -v + p*v. Let j = v + 12. Which is smaller: j or 4/11?
j
Let r(f) = -f**3 + f**2 - f. Let m(b) = 61*b**3 - 5*b**2 - 2*b - 1. Let l(c) = m(c) + r(c). Let n be l(-2). Let g = 3427/7 + n. Which is bigger: g or -2?
g
Let k(o) = o**3 - 7*o**2 + 5*o + 2. Let u be k(6). Let j be (((-4)/(-6))/(u/(-6)))/7. Is 1 > j?
True
Let g be -64 + 11/((-66)/24). Which is bigger: -203/3 or g?
-203/3
Let u(w) = -w**3 + 51*w**2 - 49*w + 167. Let y be u(50). Are y and 219 nonequal?
True
Suppose -2*m + 3*a = 14, -4*m - 3*a + 10 = -2*m. Let h = m + 4. Suppose -5*r - 3*u - 6 = 0, -6 = -h*r + 2*u + u. Which is smaller: r or -2/33?
-2/33
Let c = -0.147 - 0.853. Is 1/75 less than or equal to c?
False
Let u be -81*35/(-12012) - 4/16. Which is bigger: -6 or u?
u
Let v(h) = -7 + 38*h**2 + h - 37*h**2 + 6 - 9. Let d be v(-6). Is 20 greater than or equal to d?
True
Suppose -3*y = y - 48. Let i be y/(-54) - (-58)/18. Suppose -k - 2*g = -3*g - 3, -g = i. Is k smaller than 6/11?
True
Suppose 10*t = 21 - 11. Which is smaller: -5 or t?
-5
Let k(l) = 5*l - 3. Let s be k(-1). Let v = s + 13. Let u = 0 + 6. Is v greater than u?
False
Let m = 79/2 - 45. Let y = 43/8 + m. Is -1 smaller than y?
True
Suppose -3*t - 9*y + 12*y - 12 = 0, 4*y = 5*t + 17. Which is smaller: t or -28/29?
t
Suppose 2*f - 5*y - 312054688 = 0, -2*f + 4*y = -3*f + 156027318. Let k = f + -63034925683/404. Let r = k + -1161/4. Are 0 and r nonequal?
True
Let p be 96/176 + (-166)/22. Is p at least as big as -23/3?
True
Let h = -0.3 - -0.45. Let f = h + -0.11. Let s be (48/480)/((8/10)/(-2)). Which is smaller: s or f?
s
Let s(w) = w**2 - 10*w - 6. Let g be s(12). Let b be g - 62 - (-1 - 0). Let c = b + 303/7. Which is greater: c or 0?
c
Let p = 292 + -249.2. Let s = p - 43. Is s less than -7?
False
Let z = 275.964 + -276. Is z >= 2/7?
False
Suppose j - 34 - 5 = 0. Suppose -14 + j = 5*s. Suppose 8*i = s*i + 36. Which is bigger: i or 13?
13
Suppose -69 - 6 = -y. Suppose -s + o - 2 = 18, -5*o - y = 2*s. Is s greater than or equal to -25?
True
Let y = -4848 - -4888. Let c = 98 - 58. Is c less than y?
False
Suppose 0 = 3*i + f - 427, -700 = -i - 4*i - 4*f. Suppose i = 7*w - 3*w. Let n be 2/(-3) + 141/w. Which is smaller: n or 3?
3
Let z(m) = -m**2 - 3*m - 6. Let n be z(-4). Let d = -17 - -53. Suppose -21*y - d = -17*y. Is n less than y?
True
Let g = 34 - -32. Is g at most as big as 200/3?
True
Let h be ((-36)/(-8) - 4)*-14. Are h and -6 unequal?
True
Let u = 29 + 4. Let m = 46 - u. Is 1 >= m?
False
Suppose 9*n = 6*n. Suppose n*x + x = 34. Which is smaller: x or 33?
33
Let q(y) = -12*y**3 + 4*y**2 + 7*y + 11. Let j be q(-2). Is 109 bigger than j?
False
Let d = 19 + -38. Let z = -18 - d. Is z equal to -2.2?
False
Let s(t) = -t**2 - 11*t + 4. Let h be s(-11). Suppose 6 = -3*m + 2*g - h*g, 0 = -m - 4*g + 8. Suppose -8*v = -v + 28. Is m greater than v?
False
Let i be 3/48*2 + (-8023)/56. Which is bigger: i or -142?
-142
Suppose 0 = -3*q + 2*d - 251, -2*d = -q - 36 - 53. Which is greater: -80 or q?
-80
Suppose c - 23 = -20. Suppose -b - 3 = 3*a, -5*b - a - 4 = -c. Which is smaller: b or 3/13?
b
Let a(j) = j**2 + 6*j - 1. Let z be a(-5). Let w(i) = -i - 3. Let u be w(z). Which is smaller: 4 or u?
u
Suppose -2*y + 5 = -7. Let u be 4/y - 14/(-6). Let s(l) = l**2 - l - 2. Let b be s(-2). Is b > u?
True
Let h = 57 - 49. Suppose -p - 4*c = -38, 3*c = 2*p + h*c - 61. Which is smaller: 17 or p?
17
Suppose o + 5*b = 28, -4*o + o - 4*b = -29. Suppose 0*l - l - 4 = 0, o*l + 13 = -c. Is c at least as big as 4/15?
False
Let x = -7 + -8. Suppose -2*q = -4 - 24. Let b = q + x. Which is smaller: 1/16 or b?
b
Let u = 6.83 - 6.5. Let a = 19.33 - u. Let s = a - 21. Is s at least as big as -3/2?
False
Suppose 14*b - 67 = 3. Which is bigger: 0 or b?
b
Let w = -0.2 - -0.3. Let l = -6458 + 6441. Is l smaller than w?
True
Suppose 7*w - 814 = -191. Let d = w + -63. Which is smaller: d or 27?
d
Suppose 72 + 32 = -8*l. Let t be (-2 + 5)*26/(-6). Is t equal to l?
True
Suppose 18 = 4*i - 7*i. Let b be ((-20)/i)/((-2)/(-3)). Suppose -b*g - n = -6*n - 85, -2*n = 5*g - 85. Is 17 at least g?
True
Suppose -3*y + f = 50, -2*y - f = -6*y - 65. Let a = 17 + y. Suppose 2*m = a, -24 = 5*u + 2*m + 14. Is -9 greater than u?
False
Let g be (4536/192 - (30/(-16))/5)*-1. Suppose -3*n + 3*x = 81, 3*n + 3*x + 10 = -41. Does g = n?
False
Let b = 5.67 + 0.33. Let a(r) = 10*r + 1. Let i be a(2). Let j = 65/3 - i. Are b and j unequal?
True
Let c(o) = o**3 + 7*o**2 + 3*o + 3. Let m(z) = z**3 - 5*z**2 - 7. Let f be m(5). Let j be c(f). Let g be ((-18)/7)/(j/84). Is g at least 11?
True
Let w = 293 - 239965/819. Is -1 at most w?
True
Suppose -2*n - 7 - 10 = c, 3*n + c = -25. Which is greater: -57 or n?
n
Let r = -0.3 - -1.3. Let w be (-4*1/(-28))/(3/(-825)). Let y = w + 39. Is r at least as big as y?
True
Let y be (-80)/20 - -40*24/(-27). Which is bigger: y or -39?
-39
Let c = 101.85 - -0.15. Is 0.1 at least as big as c?
False
Let f = 1973 + -1972.4. Are f and 0.39 nonequal?
True
Let m be (8601/940)/(3/4). Is m at most as big as 12?
False
Let p = -10 - -3. Let m = 10 + p. Suppose 0 = 3*v - 0*v + q - m, -v + 4*q = -14. Which is bigger: 1 or v?
v
Suppose 15 = -l - 2*l, 0 = -u - 4*l - 20. Let o be (-7)/(-3) + (-4)/1. Which is smaller: u or o?
o
Let r = 1.74 + 0.26. Let m = r + -1.9. Is m bigger than -0.04?
True
Let j(u) = 3*u**2 - 11*u + 1. Let n(q) = q**2 - 6*q + 1. Let i(t) = -2*j(t) + 5*n(t). Let y be i(-7). Suppose -8*b = -5*b - 27. Is y > b?
True
Let x = -3045 - -4192. Is x at most 1147?
True
Let f = -16 + 0. Let l = 16 + f. Suppose l*y = -5*y - 15. Which is smaller: 1 or y?
y
Let p be 0 - -1 - (-18)/(-16). Let n be -1 + (-2)/(-10) - 1436/(-1795). Which is smaller: n or p?
p
Let q = 15593/46 + -339. Is q less than 1?
True
Let p(n) = -n**2 + 14*n + 17. Let b be 2 - (2 - 2) - 12. Let k be (0 - -6)/(b/(-25)). Let a be p(k). Is a at most as big as 2?
True
Let z = 0.87 - -51.13. Let l = z + -43. Is 0.1 at most l?
True
Suppose -7*t + 24 - 10 = 0. Let b = 20076/19057 - -6/1121. Is b equal to t?
False
Let x(z) = 19*z + 152. Let r be x(19). Which is smaller: 1535/3 or r?
1535/3
Let m = 232/345 + -94/345. Let z = -0.034 - -23.034. Which is greater: z or m?
z
Let b(a) = -a - 10. Let r be b(-9). Let v be (1*(-8)/(-220))/(32/40). Which is smaller: r or v?
r
Let u = 10 + 35. Let x(g) = -g**3 + 3*g**2 - 2*g - 2. Let s be x(2). Let t be (s/7)/(u/(-21)). Is t <= 0?
False
Let 