ual to q?
True
Let w be (-45)/84 + 2/8. Let q = 5 + 31. Let t = q - 36. Which is smaller: w or t?
w
Suppose 5*t - 6*t = 31*t. Suppose 2*f = -h + 17, -h + 34 = h + f. Let l be (-1)/(-4) + h/(-36). Is t bigger than l?
True
Let c = 778 + -3881/5. Which is smaller: c or -10?
-10
Let x be 1/(-3 + 5/2). Suppose -2*t - 3*t + t = 0. Let j be (t + x)*9/18. Is 0 greater than j?
True
Let w(d) = 3*d**2 - 7*d + 9. Let t be w(6). Which is smaller: 76 or t?
t
Suppose -2 = 27*b - 29. Which is bigger: b or -4/1567?
b
Let l(d) = -6*d**2 - d + 2. Let u be l(1). Let w be ((-8)/(-70))/(-2*u/50). Does 0 = w?
False
Let p = 978 + -579. Is p < 399?
False
Let r = 104 - -32. Is 135 greater than r?
False
Let z be 2 - -1 - 2 - 15. Let u be z*(-4)/48 - 2. Let a = u - -43/66. Is a >= 2/3?
False
Let f = -1695/11 - -1548/11. Is -0.1 at most f?
False
Let v(s) = 28*s - 9. Let i be v(-8). Which is bigger: -232 or i?
-232
Suppose -d = -4*d + 69. Suppose 4*y + d - 19 = 0. Are -2 and y nonequal?
True
Let z(n) = -6*n**2 + 17*n - 59. Let w be z(4). Which is bigger: -88 or w?
w
Let z(b) = -6*b**2 - 10*b - 2. Let s be z(-5). Let p be 4/s*2*45/10. Which is smaller: 1 or p?
p
Let v be 21 + -22 - (-3196)/16. Which is bigger: v or 199?
199
Let n = -22 + 19. Is 46 at most as big as n?
False
Suppose 2*a - 5*y + 13 = 0, 5*a = -0*a + 2*y + 20. Suppose 3*b = -0*o + 5*o + 15, 2*o = 4*b - 20. Suppose 18 = b*m + 13. Is m not equal to a?
True
Suppose 82*j + 279 = 79*j. Which is bigger: -91 or j?
-91
Let r(b) = 44*b**3 + 2*b**2 - 4*b - 4. Let l be r(2). Does 348 = l?
True
Let c = -0.1852 - 0.0148. Which is smaller: -245 or c?
-245
Let t(w) = w**2 + 7*w + 11. Suppose 3*p - 3*s = -0*p - 30, 0 = -2*p + 4*s - 28. Let f be t(p). Suppose -u + f - 9 = 0. Is u greater than -2?
False
Let p be -208 + ((-24)/10 - (-46)/115). Which is bigger: p or -2?
-2
Suppose -3*n - h - 10 = -7*n, -5*n - h + 8 = 0. Suppose 12*a = n*a - 40. Is a at least as big as -17?
True
Let f(t) = -67*t**3 - 12*t**2 - 19*t - 2. Let u be f(-2). Is u < 523?
False
Let w = -0.99 - -8.59. Which is smaller: 1 or w?
1
Suppose -6*g + 6 = -3*g. Suppose u = -g*v - 0 + 8, -18 = -v + 3*u. Is v equal to 5?
False
Let y = 247 - 985/4. Which is greater: 40 or y?
40
Let y = 40 - 40. Suppose y = r + x, 3*r + x - 6 = -r. Which is bigger: -1 or r?
r
Let q = -2 - -21. Let f = -226 + 244. Which is smaller: q or f?
f
Suppose 3*v + y = -659, 3*v + 2*y + 662 = 7. Which is greater: -219 or v?
-219
Suppose 0 = -x - x, 23 = d + 2*x. Suppose 0 = -d*s + 26*s. Which is smaller: -10/9 or s?
-10/9
Let a = 515617/93309 - -2/4911. Which is bigger: 6 or a?
6
Let d = 57.96 + 0.04. Let l = d - 58.1. Is -0.3 bigger than l?
False
Let s = 40 + -73. Let o = s - -32. Which is bigger: o or 0?
0
Suppose -2*u + 5*u + 76 = -2*l, 3*u + 86 = -4*l. Let z be 4/36 - u/126. Suppose -2*n = -n. Which is greater: n or z?
z
Let q be 4/(-5) + 4/5. Are 10/93 and q nonequal?
True
Let p(x) = -x + 4. Let o be p(-3). Suppose d = -q - d - o, -3*d - 23 = 4*q. Let i be q/(-6) - (-2)/(-4). Which is smaller: -0.1 or i?
-0.1
Let a(d) = -d**2 + 3*d + 3. Let f be a(-1). Is -1/21 less than f?
False
Let q be 1153/2*(18/9 + -4). Is q != -1154?
True
Let q be (-4)/6*(-126)/672. Which is bigger: q or 8?
8
Suppose 3*b + 3*l + 33 = 0, 15*l = -3*b + 20*l - 9. Suppose -x + 2 = -o - 6*x, 0 = -2*x - 6. Suppose -2*w - o = 3. Is b < w?
False
Let p(u) = -u**2 + 10*u - 28. Let l be p(6). Which is greater: l or -22?
l
Suppose 2*p = 5*q - 2, -5*p + p - 4*q - 4 = 0. Is p < -2/31?
True
Suppose 0 = q + y + y + 5, -3*q - 10 = y. Suppose -3*o - 2*c + 4 - 20 = 0, -4*o + 5*c = -17. Is o at most q?
False
Let q = 98 + -62. Let f be (-189)/q*(2 - 6). Is f >= 22?
False
Let r(v) = 2*v**2 - 3*v + 29. Let f be r(14). Which is smaller: -1/4 or f?
-1/4
Let h = -0.779 - -0.8. Let b = h - 0.121. Is -8/9 at most as big as b?
True
Suppose q - 4 = 0, z - 59 = -q + 2*q. Suppose 7 + z = 5*i. Does i = 14?
True
Suppose 7*y - 20 = -6. Suppose -5*z + 99 = -y*z. Is 33 smaller than z?
False
Suppose -2*x = -4*l - 146, l + 67 = -5*x + 3. Which is smaller: l or -36?
l
Let o = 32.8 - 39.8. Let a = -14.5 + 7. Let k = a - o. Which is bigger: k or 1?
1
Let w = 0 - -25. Let d = 0 - 0.1. Which is greater: w or d?
w
Let s = -5.76 - -7.76. Let z = 1811/68 - 107/4. Is s != z?
True
Let w be (-1 + 1)*(-14 + 15). Let i = 73.92 - 72. Let f = 2 - i. Which is smaller: f or w?
w
Let x = -2345 + 2698. Are x and 1764/5 unequal?
True
Let a = -9 - -6. Suppose -2*i + 64 = -6*i. Let g be (-3)/(-4) + 76/i. Is g at least as big as a?
False
Let l = 7 - -34. Let z = l + -41.1. Which is smaller: -7 or z?
-7
Suppose -16 = -13*v + 15*v. Let l(j) = j**2 - 2*j + 3. Let o be l(4). Let q = o + v. Which is smaller: 4 or q?
q
Let c = 40837922642485619995403/35253288 - 1158414575187586. Let q = 2/489629 - c. Let o = 2/63 + q. Is o != -1?
True
Let s = 97.1 + -105. Let h = -9 - s. Let u = h + 4.1. Is u at least 2/3?
True
Let c = 80 - 82. Let k(v) = v - 2. Let t be k(4). Let j be c*(-17)/t + -2. Is 14 less than or equal to j?
True
Let y(t) = -t**2 - 17*t + 13. Let z(j) = 4*j - 3. Let o(q) = 2*y(q) + 9*z(q). Let g be o(1). Is g bigger than -3/4?
False
Let y(l) = 2*l**3 - 8*l**2 - 12*l + 11. Let c be y(5). Is 9/49 bigger than c?
False
Let p(c) = 2*c**2 - 12*c + 10. Let a be p(5). Let y = 7/15 + -16/15. Are y and a non-equal?
True
Let w(x) = -3*x - 24. Let z be w(5). Let b = z - -28. Is -10 >= b?
True
Let r be (-21)/(-7) - (0 + 3). Let p = 28 + -23. Suppose 0 = -p*g - 0*g - 5. Is g < r?
True
Let a = 43/8 - 1919/360. Let h(o) = -o + 3*o - o**3 - 2*o. Let d be h(1). Is d bigger than a?
False
Let z(g) = -g**2 + 2*g + 81. Let o be z(-8). Is o less than -12/71?
False
Let b be 0 + 2 - 21/7. Let u be (b/3)/((-3)/63). Let o = -4 + u. Are 4 and o equal?
False
Let p(f) be the third derivative of -f**4/6 + 7*f**3/2 + 8*f**2. Let n be p(5). Which is greater: 2/3 or n?
n
Suppose -24 = 4*g - 7*g. Suppose 0 = -2*s - 12 + 50. Let q = s - 12. Are g and q non-equal?
True
Let u(t) = -2*t**3 - 7*t**2 + 6*t - 14. Let m be u(-4). Which is smaller: m or -116/5?
-116/5
Let m(w) = -5*w - 49. Let j be m(-11). Let u be (-1)/j*(-2)/1. Is 88 at most u?
False
Suppose 8*t - 7*t - 3*g + 8 = 0, -3*t - g = -26. Which is smaller: t or 8?
t
Let h = -25 - 8. Let o = h + 29. Which is smaller: -7 or o?
-7
Let z = -5622.81 + 5623. Let b = 2 + -1. Are z and b non-equal?
True
Let d be 9/4*(-8)/(-108)*9. Which is bigger: d or -8/11?
d
Let f be 28/45 - 22/99. Let p = 4 + 6. Let j = p + -11. Which is smaller: f or j?
j
Let a = 25 - -26. Let v be ((-4)/18)/(a/9 - 4). Which is bigger: v or -1/4?
v
Let o = 4422 + -340500/77. Let r(l) = -13*l + 221. Let a be r(17). Which is bigger: a or o?
a
Let u be (20/(-15))/((-4)/(-12) + -1). Suppose -3*t - u*q = 23, -2*t - 2*q + q = 16. Which is smaller: t or -6?
t
Suppose -4*r + 11 = q, -2*r + 2*q = 3*q - 7. Suppose h = -h + r. Suppose 0 = 2*k + 3*f - 3, 4*k - 10 = -f + h. Which is bigger: 8/5 or k?
k
Let j(d) = d**3 - 11*d**2 - 13*d + 16. Let f be j(12). Let l be (-144)/168 - 88/(-70). Which is bigger: f or l?
f
Let n = 4 - 4. Suppose -4*c - c = n. Let p be 10/15*(-3 + 0). Is c less than p?
False
Let o(x) = x**3 + 10*x**2 + 9*x. Let c be o(-9). Let y be (-6 + -4)*(-2)/8. Which is greater: y or c?
y
Let x(g) be the second derivative of -g**4/12 + 21*g**2/2 + 6*g. Let k be x(-8). Which is smaller: 0.1 or k?
k
Let l be ((-39)/(-2))/((-1)/(-2)). Suppose 4*p - l = -3*j + 2*p, 5*j + 3*p - 66 = 0. Let b = j - 15. Is b < 2?
True
Let t = -34.8 + 34.9. Is -128 bigger than t?
False
Let f(k) = 211*k**2 - 3*k + 1. Let p be f(1). Are 209 and p unequal?
False
Suppose l = -3*m + 9, -3*l - 2*m + 10 + 52 = 0. Let d = l + -23. Which is smaller: -17 or d?
-17
Suppose 0 = -11*k + 4*k - 14. Let c be -2 + ((-2)/k)/((-2)/(-164)). Is c at most as big as 81?
True
Let d be 0 + 2*-1 - 2. Let c(n) = n - 13. Let v be c(8). Which is smaller: v or d?
v
Let m = 0.02 - 3.14. Let g = -0.12 - m. Let z = g + -3. Is 4 <= z?
False
Let z be 3/12 + (-61)/4. Let m = 64 - 84. Let f be (30/(-16))/(z/m). Is 1 smaller than f?
False
Let w = -510 - -512. Let s = 0.137 - -5.963. Let m = 6 - s. Which is smaller: w or m?
m
Let p(r) = -r**3 - 5*r**2 + 21*r - 11. Let l be p(-8). Which is smaller: 10 or l?
10
Let s = 184 + -187. Let n(d) be the first der