ost as big as q?
True
Let j = 638 - 637. Which is smaller: j or 4/1385?
4/1385
Let y(t) = 7*t**3 + 31*t**2 + 44*t - 9. Let v(b) = -4*b**3 - 16*b**2 - 22*b + 4. Let w(j) = -5*v(j) - 3*y(j). Let x be w(-11). Is x greater than or equal to 3?
True
Let n(j) = j - 14. Let q be n(8). Let c be q/4*(-6)/(-9). Which is bigger: c or 2/7?
2/7
Let x = 0.69 + -0.6. Let i be (-6)/24*(-6 + 2). Are i and x non-equal?
True
Let f(r) = 3*r - 13. Let p be f(4). Let i(v) = -v**2 - 7*v - 8. Let z be i(-5). Let w be z/4 - 24/32. Which is smaller: p or w?
p
Let h(j) = 3*j + 34. Let s be h(-10). Let t be ((-102)/85)/(42/s). Is 0 greater than t?
True
Let w = 904 - 903. Is -1/134 at least as big as w?
False
Let i = 696 + -741. Which is greater: i or -227/5?
i
Let m(s) = -3*s - 10. Let y be m(-5). Let o be y/2*(-240)/175. Which is bigger: o or -4?
o
Let a = -7 - -11. Let v = -5 - a. Is v at least as big as -9?
True
Let n(u) = -2*u**2 + 27*u - 17. Let x be n(13). Is -5 <= x?
True
Let n = -482.1 + 482. Is n equal to 516?
False
Suppose -7*a + 170 = -2*a. Let i = -32 + a. Let w be (2/(-16))/((-2)/52). Which is bigger: i or w?
w
Let p be ((-20)/(-30) + (-7)/6)*12. Let b = -13 + 7. Do b and p have the same value?
True
Suppose 0 = 5*o - 20, -40 = -6*z + z - 5*o. Let y = 20 - -5. Suppose -v = -6*v + y. Which is smaller: v or z?
z
Let d be 14*3*8725/850. Let q = d - 431. Is q less than -0.2?
False
Let c be 4*(-20)/(-16)*8/316. Is c >= 1?
False
Suppose 59*i - 585 = 14*i. Which is smaller: 3 or i?
3
Suppose -17*a + 13 = 30. Which is bigger: -74 or a?
a
Suppose 0 = -3*q - 2*q - 5. Let v = 1 + q. Which is bigger: -1 or v?
v
Let l = 597/17 + -35. Is l <= 8?
True
Let o(b) be the third derivative of b**4/4 + 14*b**3/3 - 13*b**2. Let f be o(0). Which is bigger: 26 or f?
f
Let c(i) be the first derivative of -i**2 - 6*i + 7. Let j(n) = -n**3 - n - 3. Let g be j(0). Let o be c(g). Is o greater than 1?
False
Let y be 2/3*3/(-2). Let w = -40 - -47. Let o be (-13)/91*w/(-10)*1. Are y and o non-equal?
True
Let p = 5 + 12. Suppose -536 + 428 = -6*j. Which is smaller: j or p?
p
Let d(q) = -q + 2 + 1 + 2. Let l be d(7). Let r be (l + (-6)/(-3))/(-2). Is -1 <= r?
True
Let v be ((-14)/(-4) - 2)/3. Let t = -34.005 + 34. Let s = t - -0.505. Is s greater than or equal to v?
True
Let y = 44 + -62. Let z = -29 - y. Let j = z - -10. Is j at least -1/7?
False
Let t = -140.9683 - 0.0317. Which is bigger: -1/2 or t?
-1/2
Let z(a) = -a**3 - 2*a**2 + 3*a. Let i be z(-3). Let y(s) = -12*s - 44. Let r be y(-9). Let p = 64 - r. Is i < p?
False
Suppose 5*l - q = 1, 0*q + q - 4 = 0. Let w = -4/711 - -257/3555. Which is smaller: l or w?
w
Let b = -336 + 276. Is -60 not equal to b?
False
Let v(m) = 2*m + 1. Let w be v(-1). Let c = 10 + w. Suppose 5*t - 3*z - c = 0, -5*t + z + 3 = -t. Is 7/6 greater than or equal to t?
True
Let c = 78 - 77.9. Are 1/186 and c nonequal?
True
Let b = 1905.91 + -1832. Let v = -74 + b. Which is greater: v or -1/2?
v
Suppose -4*a - 55 = -b, -5*b + 80 = -0*a - 5*a. Which is bigger: a or -12?
-12
Let b be 10/298*(42/5)/(-7). Which is greater: -1 or b?
b
Let w(p) = -2*p**2 - 24*p - 13. Let c be w(-16). Which is smaller: c or -1/3?
c
Let f = 61.32 - 60. Let y = 0.08 + f. Let p = y - 1.2. Which is smaller: p or 0?
0
Suppose -14*r + 13*r = -3. Suppose -3*f - 4*z + 70 = -0*z, 0 = -f - r*z + 25. Which is greater: f or 20?
f
Let h be (-2)/(-3) + 61/3. Let g = -969 - -990. Is g < h?
False
Let v be 66/231 - 2/7. Is v bigger than -1/2054?
True
Let h(o) = -5*o + 9. Let c be h(0). Suppose 0 = -3*a - 13 + 67. Let p = -10 + a. Which is smaller: c or p?
p
Let h be 22/12 - (-2)/((-12)/9). Let s = -0.046 + -0.224. Let a = s + 0.07. Is h less than a?
False
Let t be (4/(-4) + 4)*5. Let d be 3720/280 + 2/7*-1. Is t bigger than d?
True
Let d be (9/3)/(6/8). Suppose 3*c - 1 = -c + 5*n, -4 = d*n. Let j be -3*(c + (3 - 3)). Which is smaller: j or 2?
2
Let i = 42 + -45. Let v = -14 + 13. Which is bigger: v or i?
v
Suppose 10 = -2*y + 26. Let j = -1.74 + 1.84. Do y and j have different values?
True
Let m = -580/11 + 5437/110. Let b be (1/3)/((-10)/28)*3. Let l = b - m. Do l and -0.1 have the same value?
False
Let h(o) = -o**2 + 12*o + 115. Let n be h(-10). Which is smaller: -107 or n?
-107
Let s = -2 + 3. Let l = 6/287 + 7982/2583. Let g = -103/36 + l. Which is smaller: g or s?
g
Let g = -83 - -90. Is 39 >= g?
True
Let s = -1859/373270 - -1/229. Is s smaller than -1?
False
Let i = -2806 + 2804. Let t be (-22)/6 + (-2)/6. Do i and t have the same value?
False
Let n = 7985/49 - 163. Is 0 less than n?
False
Let o = -1 + 62. Let a = 61 - o. Which is smaller: -11 or a?
-11
Let i(o) = 2*o**2 + 5*o + 4. Let s be i(-4). Suppose s = 5*w - 19. Let h be ((-12)/8)/(6/(-20)). Which is greater: h or w?
w
Suppose -24 = -4*a - 2*a. Suppose -2*b + a*b = 10. Is 4 at least as big as b?
False
Let p = -7 - -3. Let o = -67 - -65. Let i be 1*-1 - p/o. Is -2 less than i?
False
Let n be 11/((-440)/(-224))*22/(-24). Which is smaller: n or -6?
-6
Suppose -4*p + 9 = -3. Let v be 21/(p + 9/12). Let r = v - 257/45. Is -1/4 greater than r?
False
Let a = 584 + -583. Is a less than or equal to -249?
False
Suppose 37*x - 43*x + 36 = 0. Suppose -16 = 4*h - 0. Let g be x/h - (-30)/20. Which is bigger: g or 1/8?
1/8
Suppose 0 = -2*v + 2*c + 8, 9*v - 6*v - 5*c - 22 = 0. Which is smaller: 5/22 or v?
v
Let c = 51 + -63. Let l be c/8 + (-1)/(-2). Which is smaller: l or -5/17?
l
Let o = 25.2 - 23. Let n = o - 2.1. Let w = 0.2 - n. Is w > -1.2?
True
Let s = 36 + -37. Suppose -3*z + 1 - 4 = 0. Is z bigger than s?
False
Suppose -5*z + 890 = -560. Let b = -15948/55 + z. Which is smaller: b or 0?
0
Suppose z + 54 = -z. Let k be 4/18 - (-17394)/z. Let m = -27690/43 - k. Which is smaller: m or 0?
0
Let y = -176.424 + 176.5. Is y at most -5?
False
Let k = 1.909 - -1.091. Let j = 0.1 - 0. Does k = j?
False
Let i = -915/13 - -352/5. Is -1 greater than i?
False
Let w be (-2 - (-8)/(-4)) + 1. Let h = -5 + w. Which is smaller: -13/2 or h?
h
Suppose 1594 = 80*y + 9034. Which is greater: y or -96?
y
Suppose -a + 4 - 13 = 0. Let k(n) = 2*n**2 + 7*n + 10. Let z(d) = -d**2 - 4*d - 5. Let w(i) = a*z(i) - 4*k(i). Let v be w(-7). Which is bigger: 0 or v?
0
Let b = 4731/4 + -4660043/3940. Let k = b + 11866/22655. Is 0 greater than k?
False
Let c(g) = -g**3 - 10*g**2 + g + 19. Let v be c(-10). Let n be -5*(1 - v/(-6)). Which is greater: -14 or n?
n
Let p = -0.15 - -13.55. Let n = p - 13.6. Let o = 3.07 - 0.07. Is o != n?
True
Let w(p) = -31*p - 153. Let n be w(-5). Is 10/11 greater than or equal to n?
False
Let x = 14.2 - 15. Let v = 0.4 - x. Let j = v - 1.2. Which is greater: -2 or j?
j
Let y be (1 - -3)*38/(-76). Is 12 greater than y?
True
Let k = 46 - 9. Let d = 36.9 - k. Which is smaller: 1.6 or d?
d
Let q(h) = -h**3 - 6*h**2 + 7*h - 6. Let l be q(-7). Let o be 21/(-12572)*4/l. Let i = -9427/1796 - o. Which is smaller: i or -5?
i
Suppose 3*h - 5*j + 26 = 0, 0*j - 13 = 2*h + j. Let s(f) = -f**2 - 7*f + 2. Let a be s(h). Suppose -6*w = -a*w. Which is smaller: -1/9 or w?
-1/9
Let f(s) = -s**3 - 4*s**2 - 5*s + 1. Let v be f(-2). Let z be 470/175 + (-2)/7. Is z bigger than v?
False
Let g(q) = 2*q + 11. Suppose -3*d - 2*r + 27 = 3*r, -4*d + 4*r = -4. Suppose 4*s - 3 = -j - d, 5*s + 20 = -5*j. Let a be g(j). Which is greater: a or 7/4?
7/4
Suppose 486*m - 864 = 478*m. Which is smaller: m or 106?
106
Let u be 348729/(-7101)*(-5 - -11). Let m = u + 884/3. Is 1 <= m?
False
Let q be (-31)/(42/(-4) - -2). Let t = q - 704/221. Which is bigger: 1 or t?
1
Let s = 149 - 150. Which is smaller: s or 3/133?
s
Suppose 9*l + 26 = 8*l + 5*u, 3*l - 2*u = -13. Is l != 3/52?
True
Let j = -458/4475 + 4/179. Let l(v) = -3 - 14*v - 5*v**3 - 14*v**2 - 11 + 4*v**3. Let b be l(-13). Which is greater: b or j?
j
Suppose -87*h - 9 + 96 = 0. Let f be (-2)/5 + 159/385. Which is bigger: h or f?
h
Let h = 8.4 - -25.6. Let o = 34.16 - h. Which is bigger: o or 1/4?
1/4
Let o(f) = -f**3 - f**2 - f + 13. Let z be o(0). Suppose 15 = 10*y - 5*y. Which is smaller: z or y?
y
Let t = 0.1 + 0. Let l = 25.82 + -26. Let y = l - -5.18. Which is bigger: y or t?
y
Suppose -32*o + 867 = 19*o. Is o not equal to 5?
True
Suppose 0 = -4*m - 5*o - 24, 3*m + 0*o = -o - 7. Let b be -4 - (0 + m) - (-126)/46. Is b less than or equal t