 greater than z?
False
Let p(t) = -t**3 - t**2 - t. Let z be p(0). Suppose -f + 4*f - 3*d - 15 = z, 2*d + 10 = -4*f. Are f and 8/15 equal?
False
Let h(d) = -d + 15. Let l(q) = -15. Let k(t) = 2*h(t) + 3*l(t). Let y be k(-10). Suppose -4*s - 10 = y*v + 7, -3*s + 5*v = 39. Which is smaller: -7 or s?
s
Let g be (16/72 - 1)*3. Do g and 0.1 have different values?
True
Let v be (-4)/2 - (-29)/13. Let i be ((-8)/48)/(52/708). Let c = v - i. Is c smaller than 3?
True
Let s be 1/3 - (-8)/12. Let d = 3790 - 204653/54. Let j = 43/918 + d. Which is bigger: s or j?
s
Let u = 2280 + -2365. Which is smaller: u or -1?
u
Let z be 3*(-1653)/18 + 3/(-6). Which is smaller: z or -551/2?
z
Let f = -69.2 - -63. Which is bigger: f or -1/2?
-1/2
Suppose -d + 6*d = 70. Let p(y) = y**2 - 15*y + 14. Let a be p(d). Let g(h) = h**3 + 5*h**2 - h - 5. Let f be g(-5). Are a and f equal?
True
Let q = 19520531/6930 - 25351/9. Let u = q + -4/77. Is 0 > u?
True
Let b = -5 - -35. Let z = b - 18. Let d = 0 - -13. Which is smaller: z or d?
z
Let n(k) = -k + 6. Let h be n(10). Let o be (-13)/h - 3/3*3. Which is smaller: 42 or o?
o
Suppose -2*z = -3*m + 4, 2*z + 8 = -m - 2*z. Which is greater: m or 2/219?
2/219
Let l = -89.62 - -88. Let y = l - -1.22. Which is bigger: y or 3/4?
3/4
Suppose -3*t + 2172 = 402. Is t less than or equal to 590?
True
Let o(t) = -t + 8. Let x be o(8). Suppose x*b + 2*b = 0. Let z be (b/((-12)/(-3)))/2. Which is smaller: -1/3 or z?
-1/3
Let y = 30 - 33.1. Let w = y - -4. Let f = -0.96 + -0.04. Is w less than or equal to f?
False
Let u be 15/3 - 3 - (-330)/(-130). Let y = 19 - 21. Which is greater: y or u?
u
Suppose -s + 4*g = -24, s - 2*g = 4*s - 100. Which is smaller: s or 0.04?
0.04
Let s = 116 + -96. Suppose -7 = -g + s. Is 30 bigger than g?
True
Suppose 4*d = 17*d - 26. Which is smaller: 46/45 or d?
46/45
Suppose 5*a + 5*p - 15 = 0, -2*a + 5 = -p + 4*p. Suppose 3*s - 6*r = -4*r - 9, a*s - 8 = -4*r. Which is greater: 0 or s?
0
Let z = 4 + 0. Suppose -9*u + 8*x = 6*x - 40, -2*u = -3*x + 9. Which is smaller: z or u?
z
Let v(s) = 70*s**2 + 17*s + 1. Let j be v(-2). Is 247 greater than or equal to j?
True
Let l(f) = -4*f - 1. Let t be l(-7). Let m be ((-6)/9)/(2/(-78)). Which is smaller: m or t?
m
Suppose 5*f - 3*f - 44 = 0. Suppose 2*v - 9 = n, -2*n = 5*v - 10*v + f. Is n not equal to -4?
True
Let h = 0.025 + -0.115. Let r = 0.19 + h. Is -6/5 at most r?
True
Suppose 2*a = 15 - 5. Let d(o) = 30*o + 244. Let m be d(-8). Suppose -a*h + m = -11. Is h at least as big as 3?
True
Let d(f) = f - 3. Let o be d(2). Let j = o + 2. Let u = 277 + -276. Is j < u?
False
Let p(w) = -18*w - 25. Let z be p(-2). Let c be 3 + -4 + 13 + -1. Is z bigger than c?
False
Let b be (-2 - (-104)/51)/(26/1059). Let i = b + -18/17. Is 1 at least i?
True
Let z = 63.59 - -0.41. Let v = z - 66. Which is bigger: 3 or v?
3
Let o(v) = 5*v + 1. Let q be o(3). Suppose -6*m - 2 - q = 0. Does -8 = m?
False
Let a = -1709.1 - -1709. Which is smaller: 3/7 or a?
a
Suppose 11 - 11 = -17*f. Suppose 0 = -2*x - 2*w + 66, -32 - 85 = -4*x - w. Is x less than f?
False
Let b = -1.1 - -2.5. Let i = b + -0.3. Let k = -4 + 3. Which is greater: i or k?
i
Let t(l) = -l. Let m(f) = f + 2*f**2 - 5*f**2 + f**2. Let u be m(1). Let z be t(u). Which is greater: 2/27 or z?
z
Let f = 282 + -252. Which is smaller: f or 27?
27
Suppose 5*u + 17 = 2*i, -4*i + 9*i + 4*u - 125 = 0. Let x be 4/(-6) - i/9. Which is bigger: x or -21/5?
x
Let l = 22 + -46. Let h = l + 10. Is h greater than or equal to -3?
False
Let u = -1075 - -1076. Which is smaller: 290 or u?
u
Let s(q) = 10*q - 17. Let b be s(2). Suppose 3*y + 5*a = b*a + 13, y + 3*a - 2 = 0. Does y = 6?
False
Let u be 4/(6 + 104/(-8)). Is -3 bigger than u?
False
Let n be (-2)/(-160) + 80/(-400). Is -0.7 equal to n?
False
Let q = 54 + 64. Which is smaller: 117 or q?
117
Let l(d) = -d + 9. Suppose 4*t - 5 = -9*c + 4*c, -30 = 5*c - 3*t. Let m be l(c). Which is greater: 11 or m?
m
Let h = -226/23 + 15/46. Suppose 0 = 47*b - 16*b + 341. Which is smaller: h or b?
b
Suppose -107 = -22*l + 47. Is -25 greater than l?
False
Suppose 0 = -b - 4, -z - 2*b - 13 = -6. Let g be 2/(-4)*(-496)/330. Let o = 14/15 - g. Which is greater: z or o?
z
Let p(m) = -23*m**2 + 21*m + 20. Let j(v) = -8*v**2 + 7*v + 7. Let z(i) = 17*j(i) - 6*p(i). Let o be z(-8). Let s = o - 2195/12. Which is bigger: 1 or s?
1
Let t be (-14)/(-20)*-4 - 1. Let q = -3058 + 3053. Which is bigger: t or q?
t
Let p be ((-195)/(-26))/(1/10). Is p greater than or equal to 72?
True
Let u be (5/(-10))/((-4)/40). Suppose -2*r = -3*a + 14, -5*r - 30 = -r - u*a. Let p(n) = -2*n**2 - 19*n + 7. Let z be p(r). Does z = -5?
False
Suppose 33 = 4*w + 3*y - 39, 3*w - 4*y = 79. Is 328/15 at most w?
False
Suppose -4*b - 2 = -3*b + 2*o, 2*b - 2*o - 2 = 0. Let l(n) = -4*n**2 - n**2 - n + 7 + b*n**3 + n**3. Let k be l(5). Are k and 4/3 equal?
False
Suppose 2*m + 4 = 4*g, -g - 1 = 3*m - 4*m. Let r be (-3)/(-7)*(g + 4). Is r equal to 3?
True
Suppose -5*w + 14*c - 11*c + 11 = 0, -c - 4 = -2*w. Is -2/497 equal to w?
False
Let v = -231 - -230. Let t = -5 + 1. Let u = t - -4. Which is greater: v or u?
u
Let q(t) = t**3 + 8*t**2 + 21*t + 10. Let f be q(-8). Which is smaller: 1/3 or f?
f
Let x(n) = 5*n**3 - 3*n - 1. Let i(f) = -f. Let o(b) = 4*i(b) - x(b). Let g be o(1). Is g >= -1/3?
False
Suppose -4*n + 18 = 5*f, f - 12 = 27*n - 29*n. Is n at most as big as 39/7?
False
Let k(w) = -44*w - 36. Let x be k(-1). Which is smaller: 19 or x?
x
Let k(g) = -5*g + 7. Let m be k(5). Let a be 8/(-18)*m/(-12). Which is smaller: -0.05 or a?
a
Let i = -16/143 + -3924/715. Let j = -323/55 - i. Is j bigger than 0?
False
Suppose -3*g - 8 + 38 = 0. Let m be g/4*6/3. Suppose 6*u - 10 = -m*x + u, -9 = 3*u. Is 4 at least as big as x?
False
Let v = -3992491/558 + 7155. Which is smaller: v or 1?
v
Let c be 81375/372 - (-2)/8. Is 220 < c?
False
Suppose -2*y + 39 = -3*g + y, 0 = -4*y + 8. Let h = -37/5 - -79/10. Is h at most as big as g?
False
Suppose 0 = 13*w + 22 - 22. Is 1/39 at most as big as w?
False
Suppose 4*g = -7*p + 4*p - 7, 0 = -4*p + 4*g. Is p at most as big as -2/115?
True
Suppose 2*g = -g. Let l be 4/4 + g + 2. Let s be -9 - -7 - (-10)/l. Is 0 >= s?
False
Let t be (-6*52/6)/(3/6). Let d = t - -1455/14. Is 1 equal to d?
False
Let d be (-52)/13*((-7)/5 - -1). Let w = 7/5 - d. Suppose -4*n + 2 = -2*s - 0, -2*n - 3*s - 11 = 0. Is n equal to w?
False
Let s be (-2)/(-597)*((-186)/(-24) + -10). Is s at most 0?
True
Let x = 27 - 12. Let u = x + -14.95. Let n = 0.15 - u. Which is bigger: -0.6 or n?
n
Let v = 2055 - 2045. Is 10 greater than or equal to v?
True
Let o = 21.668 + -0.668. Is -0.07 greater than or equal to o?
False
Let d(a) = a**3 + 5*a**2 - 12*a - 8. Let t be d(-9). Let k be t/(-240)*8/14. Is k bigger than -1?
True
Let w = -2371/50 + 95/2. Is -1 greater than w?
False
Let n be (-23188)/(-465) + (-2)/(-15). Which is smaller: 44 or n?
44
Let d = 20.12 + -20. Let y = 1.52 - d. Do y and 1 have the same value?
False
Let a(t) = t**2 + 2. Let u be a(0). Suppose 0 = 2*s + 11 + 1. Let r be (1/2)/(s - -7). Is r less than or equal to u?
True
Let b be (1 - 1) + 11 + -13. Let g be (-12)/(-4) + -1 - b. Which is smaller: -2 or g?
-2
Let y be 22/(-33) - (-22)/6. Let s = 1 - y. Which is bigger: -17/5 or s?
s
Let f(z) = -2*z**3 + 10*z**2 - 6*z - 7. Let j be f(4). Let r be 5*3/12*j/5. Let c = 3 - 3.1. Which is smaller: c or r?
c
Let p = 269 - -89. Let s = p + -6088/17. Let d(g) = g**2 + 4*g - 5. Let n be d(-5). Which is bigger: s or n?
n
Let u = 21 - 17. Let g = 0.105 - -4.595. Let t = -5 + g. Which is bigger: u or t?
u
Let c(r) = r**2 + 5*r + 3. Suppose 2*n - 5 - 11 = -5*t, -4*t = 2*n - 20. Suppose 0 = 4*f - 5*h + 21, n = -3*f - 2*f - 2*h. Let q be c(f). Does -2/85 = q?
False
Let n(k) = -k - 1. Let m(o) = -16*o - 20. Let d(c) = -m(c) + 5*n(c). Let w be d(-7). Which is smaller: -63 or w?
-63
Let s = 9.54 + -8.54. Which is bigger: s or 262?
262
Let b(m) = m - 1. Let o(r) = -r**2 + 16*r. Let g(x) = -6*b(x) + o(x). Let j be g(5). Is j > 32?
False
Let j(o) = 4*o + 1. Let q be j(2). Let n be (-164)/36 - q/(-3). Let c be 4*(-3)/(-18)*-3. Is c less than n?
True
Let j be 2/1 - (-3 + 15). Let k = -17 - j. Is -7 greater than or equal to k?
True
Let g = 8 - 7. Does g = 683?
False
Suppose j = 