 d = w - -6. Is 1 bigger than d?
False
Let r be 4/(-3)*(-9)/(-138). Let s = 1.6 - 1.3. Which is smaller: s or r?
r
Let t be 336/6 + (-3 - -1). Suppose 4*f - t = f. Suppose -3*m + f = 63. Are -13 and m nonequal?
True
Suppose -4*x + 2*x = 38. Let n = x - -18. Let m = 26 + -28. Is m greater than n?
False
Suppose 0 = -2*a + 6*a - 16. Suppose -5*l = 2*y + 5, 0*l - 1 = -4*y + l. Let g be -7 - (y - a - -1). Is g smaller than -6?
False
Let t be 1964/(-14)*(-1)/2. Let i = -70 + t. Suppose 0 = -0*o + 2*o - 2. Which is bigger: o or i?
o
Let p = 4912083/545 - 9013. Which is greater: p or 1?
1
Let v(a) = -a**3 + 9*a**2 + 4*a - 12. Let p be v(9). Suppose 3*c = 5*o + p, 0*o + 3*c - 18 = 4*o. Let h(y) = -y - 12. Let u be h(o). Which is greater: u or 1?
1
Let c = 7601 + -68524/9. Which is smaller: c or -13?
-13
Let g(u) = u**2 + 2*u - 12. Let v be g(-5). Suppose v*d = -3*i - 7 + 1, 2*d - 3*i = -14. Is d at least as big as -6?
True
Let k be 633/(-2373) + (-3)/(-21). Is 0.1 at least k?
True
Let d(s) = s**2 - s. Let j be d(3). Let b(c) = -c + 13. Let w be b(j). Let y(x) = -x**2 - 5*x + 28. Let n be y(-8). Which is smaller: n or w?
n
Let i = 192871/1562 - -18/781. Which is smaller: i or 124?
i
Suppose -21*s + 13*s + 24 = 0. Suppose 12 = 4*b - s*d, -4*b - 20 = d + 4*d. Which is greater: 1 or b?
1
Let q be 35/(-14)*(-16)/10. Let k = q - 7. Let n be k*10/(-6) + -3. Is n greater than or equal to -0.1?
True
Let n = 0.307 + 19.593. Let c = 20 - n. Let h = 0.4 - c. Are h and -0.1 nonequal?
True
Let k(x) = -x**2 - 3*x + 4. Let o be k(-7). Let s = 17 + o. Let z(c) = c**2 - 4*c - 6. Let f be z(0). Which is smaller: f or s?
s
Suppose 4*b = 2*b + 32. Let o(f) = -4*f + 3. Let g be o(4). Let v = b + g. Which is greater: v or 3/2?
v
Suppose 22*a = 10*a - 348. Let y(n) = -5*n. Let h be y(6). Is a < h?
False
Let y be (-1)/3 - (-2 - 10/(-6)). Suppose 4*l + y = -4*k - 4, -5*l = -5*k - 5. Let m = 7 - 13. Are k and m non-equal?
True
Suppose -103*a + 52*a + 2142 = 0. Is a not equal to 32?
True
Let r = 48.6 - 48.4. Let n = 10 - 7. Which is bigger: r or n?
n
Let z(t) = -4*t**3 - 10*t**2 - 8*t + 10. Let o be z(-6). Let j = 7301/13 - o. Which is smaller: j or -1?
-1
Let d = -421/250 - 2/125. Is d at least as big as -3?
True
Let a = 2/237 - -691/2370. Does -1 = a?
False
Suppose 7*a - 34 + 195 = 0. Let i = 22 + a. Is 2/47 less than i?
False
Suppose -7*d = 7 - 1204. Are d and 170 unequal?
True
Let h be -2 - 1*(-28)/9. Suppose 0 = 4*g - 2*g + 8. Let u be g*(6/4 + -2). Which is greater: u or h?
u
Let o = 31 - 33. Let l be (2 - -6) + -1 + o. Suppose -3*a + 6*a + 60 = 5*q, q - l*a - 34 = 0. Is q smaller than 7?
False
Suppose 0 = -v + 5, 5*r - 6*v = -5*v. Which is smaller: r or -2/587?
-2/587
Let p = -22 - -23. Let a be (p*(2 - 2))/(-2). Suppose a = 2*f + f. Which is smaller: f or 2/19?
f
Let z = -1016 + 1019. Let w be (2/3)/(4/6). Let v be 2 + -2 - (0 - w). Which is greater: z or v?
z
Let w = -0.91 + 1.78. Let m = w + -7.17. Let a = -6 - m. Is 1/3 < a?
False
Suppose -53*k + 54*k + 3*v = -6, 2*k + 4*v = -8. Which is greater: k or 2/609?
2/609
Let w be (-45)/30 + 6/(-4). Let p be (4 + (w - 2))*4. Let f be (-660)/(-325) - (-2 - p). Is -1 at most as big as f?
True
Suppose -216*f + 224*f - 4392 = 0. Are 550 and f non-equal?
True
Let t(k) = 2*k**2 + 3*k - 4. Let n be t(-3). Suppose 0 = n*y + l, 0*l - l = y. Suppose 0 = -4*c + v - 4 + 13, -5*c = 5*v + 20. Is y greater than or equal to c?
False
Let g be (8/3)/4 + (-398)/3. Let i = g + 190. Is 59 > i?
True
Let f = 0.0164 - -1.9836. Which is greater: f or -9.9?
f
Let p = -412 - -422. Are p and 16 unequal?
True
Let r = 43 + -35. Suppose -4*z - r = -z + l, 4*z = 3*l + 11. Which is smaller: -2 or z?
-2
Let k = -14.7 - -1.7. Let a = k + 33. Let y = 20.3 - a. Is y bigger than 2?
False
Let l = 3 - -1. Let p be (-18)/l*1/6. Let f(n) = -n**3 + 17*n**2 + n - 19. Let h be f(17). Which is greater: p or h?
p
Let s = -9 + 37. Let d = 2.946 + -1.946. Is d bigger than s?
False
Suppose a - 10 = 6*a. Let n be -1 + -1 - 112/(-80). Is n > a?
True
Let x = -1479 - -2957/2. Let c = -0.4 - 0. Let n = c - -0.2. Which is greater: n or x?
n
Let j be (-7 + 2)*1 + 16044/84. Is j equal to 3?
False
Let i be (1*(-10)/(-55) - 0)*41. Which is smaller: i or 7?
7
Let k be (-58)/(-6) + (-24)/36. Let p be (-6)/(-10) + k/(-15). Suppose f + 2*f = p. Is 3/7 >= f?
True
Suppose -3*k = -5*g + 25, -4*g + 25 - 7 = -2*k. Suppose 2*c = g*o - 118, -5*c - 60 = -o - 3*c. Let v be o/42 + (-6)/(-21). Is v at least 2?
False
Let k be (-4 + -2 - 1) + 3. Let j = -0.97 - -0.17. Let b = -0.9 - j. Is k >= b?
False
Let n = 6598755416/511 - 12913302. Let h = -796/7 + n. Is h < -1?
False
Suppose 4*y - 2*f = 4, 3*y + 4*f - 7*f = 0. Suppose y*n - 3*r = 13 - 5, 4*r = 5*n - 13. Let b be (3/(-30))/(297/(-1350)). Which is smaller: b or n?
b
Let f be ((-1 - 4/(-12))*18)/(-2). Let w be f - 5 - 2/(4/(-18)). Is 10 less than w?
False
Let w = 24.62 - 0.32. Let l = w + -4.3. Let g = l + -19.9. Is g < 0.06?
False
Suppose -5*q - 5*n - 63 = -2*n, -3*n = -5*q - 87. Are -1 and q nonequal?
True
Let s = -888 + 888. Suppose -2*v + 2*k + 6 = 0, -4*v - 5*k = 15 - 0. Is v > s?
False
Let f be ((-236)/(-118))/((-1)/(-10)). Is -4 smaller than f?
True
Suppose -5*v + 0*v + 590 = 0. Suppose -4*u + v + 30 = 0. Do u and 38 have different values?
True
Let f = -2.52 + 0.12. Let i = 10.3 - 8. Let z = f + i. Is 0.33 < z?
False
Let l(g) = -g**3 + 10*g**2 + 11*g + 2. Let k be l(9). Which is smaller: k or 0.1?
0.1
Let z(k) = k**3 - 10*k + 9. Let q be z(6). Is q > 165?
False
Suppose -4*x + 3*x = 18. Let i = 7398 - 7415. Are x and i equal?
False
Let k(x) = -x + 14. Let v be k(8). Suppose g - v = -3*t, t + g = -3*g + 13. Which is smaller: t or 8/9?
8/9
Suppose 0 = -26*q + 9 - 9. Let i be 61/52 + 1/(-4). Which is bigger: i or q?
i
Let x be (1 - -3) + -7 - 3. Let z = -8 - x. Let k be 1/z - (-12)/8. Is -1/18 at most as big as k?
True
Let a(t) = 5*t + 5. Let f(g) = -g - 1. Let m(q) = -a(q) - 6*f(q). Let w be m(-1). Suppose 0 = 5*z + 1 - 6. Which is smaller: z or w?
w
Suppose -4*q - 5*d = -7*q - 4, 0 = -5*d + 10. Suppose 4 = -q*m + 14. Suppose 7*a - 2*a = m. Which is smaller: a or -1/21?
-1/21
Suppose 5*g = 5*s + 2670, 2810 = 5*g + 5*s + 130. Which is greater: g or 537?
537
Let v = -119.2 - -117.2. Is -5 bigger than v?
False
Suppose -21*z - 3*q = -22*z - 33, 5*z - 5*q + 185 = 0. Let d(g) = -8*g + 8. Let o be d(6). Are o and z nonequal?
True
Let k be ((-1)/(-11))/((-276)/(-506)). Is k at least -14/9?
True
Let h = 61 - 56. Suppose 5*l - 10 = h*p, 2 = -p - 0. Let u be (-4)/(-2) - 74/38. Is u smaller than l?
False
Suppose w + 0*w = 0. Let s = 10 + -7. Suppose 3*n = -2*n + s*o + 40, -5*o = -4*n + 45. Is w < n?
True
Let h(c) = c**3 - 4*c**2 + 4*c - 1. Let o be h(1). Which is smaller: -1/289 or o?
-1/289
Let u(g) = -g**3 - 4*g**2 + 5*g. Let d(f) = -3*f + 7. Let z be d(4). Let n be u(z). Suppose -3*r - 3 + 15 = n. Is 9/2 at most as big as r?
False
Let d = 10082 + -50874/5. Is -93 greater than or equal to d?
False
Suppose 2*c = 2*u - 888, -4*u + 2*c + 275 = -1507. Is u smaller than 447?
False
Let s(v) = -v**2 + 10*v - 9. Let t be s(9). Suppose 8*z - 4*z = t. Which is greater: z or 0.2?
0.2
Let d = -8 - -11. Let v(q) = -3 + 2*q**2 - 3*q + 2*q**d - q**3 + 0*q**3 + 4. Let w be v(-3). Which is bigger: w or 2?
2
Suppose -2*c + 5*z = z - 76, -4*z + 144 = 3*c. Let o = 1529 - 1485. Is o at least c?
True
Let p(n) = -n**2 + n. Let g be p(1). Suppose 2*r = 2*b - b - 6, -4*r = 2*b + 12. Let l be (-1)/r*(9 + -3). Which is smaller: l or g?
g
Let q(y) = -3*y**3 + 6*y**2 + 6*y + 9. Let j(i) = 7*i**3 - 12*i**2 - 12*i - 19. Let x(v) = -2*j(v) - 5*q(v). Let r be x(7). Which is greater: r or -2/19?
r
Let i = -1837/2 - -921. Which is smaller: i or -15?
-15
Let m be (8/4)/(8/(-44)). Is m smaller than -65?
False
Suppose 12*f - 14*f = 58. Let p = f + 29. Is p <= 2/127?
True
Suppose -w + 2*w = -2*w. Let f = -47 - -48. Is w not equal to f?
True
Let n be -9 - ((-18)/(-6) - 0). Which is bigger: -1 or n?
-1
Let t be (-84)/(-15)*(-60)/8. Let r = -43 - t. Which is greater: r or -2/97?
-2/97
Let n(j) = 3*j**2 + j + 2. Let z(k) = -k**3 + 10*k + 5 - 9*k**2 - 17*k + 1. Let o be z(-8). Let p be n(o). Is 13 at least p?
True
Suppose -7 = -3*c + 2*c + 3*d, -4*c = 5*d - 28. Suppose -4*y = -3 + c. Let j = -