True
Let r = 245 - 246. Is 23 greater than or equal to r?
True
Let u(y) = y**3 - 7*y**2 + 11*y - 43. Let b be u(7). Which is smaller: b or 17?
17
Let l be (-4)/(-9)*(-72)/(-48). Is l > -0.78?
True
Let w be ((-98)/(-21))/(-109*(-4)/(-12)). Is w > 0?
False
Let g be 100/(-86)*(-5734)/4. Let d = g + -1667. Are d and -1 unequal?
True
Let c = 40 + -37. Suppose 4*f - 4 = c*f. Suppose 4*o = u - 1, -f*u + 18 = -2*o - 0*o. Which is smaller: o or 1/6?
1/6
Let s = -6892 - -4646. Is -2246 smaller than s?
False
Let h be (24/120)/(41/(-7)). Which is greater: -1 or h?
h
Let p = 30 + -114. Let l = 84.2 + p. Is l smaller than -1.2?
False
Let b(d) = d**2 - 17*d + 20. Let x be b(9). Let m = 781/15 + x. Which is greater: 1 or m?
1
Let w(o) be the first derivative of -o**4/4 - o**3/3 - o + 14. Let x be w(0). Which is bigger: -12/7 or x?
x
Let h(l) be the first derivative of -7*l**2/2 - 26*l - 6. Let t be h(-6). Is -0.1 smaller than t?
True
Let i = 80 + -80. Is -3/40 > i?
False
Let i = -14 - -38. Suppose i = 3*y + 3*c, 4*y - 5*c = y + 8. Let d be -1 - -3 - (-3 - 2). Is d greater than y?
True
Let i = -109 - -104. Which is greater: i or 1/2?
1/2
Let t = -29 + 32. Let o be (-2)/t - (-165)/45. Suppose 11 = -m + o. Are m and -9 unequal?
True
Let l(z) = z - 4. Let f be l(7). Let k be ((-2)/7)/((-1)/21). Suppose -k = -3*h - 2*c, -5 = -2*h - c - 0*c. Is f >= h?
False
Let q be ((-4)/(-90))/(1/(-6)). Let t = -59/4 - -15. Is t greater than q?
True
Suppose 2*a = 4 + 4. Suppose 3*p = -n + 4, a*n - 4 = 4*p + 12. Let g be (-1)/(6*n/(-16)). Which is smaller: g or 1.4?
g
Suppose 0 = 2*u + u. Let n = u + -1. Let g = 47/3 + -1357/87. Which is smaller: n or g?
n
Suppose l + 52 = 2*l. Let n be (-4)/26 - (-56220)/l. Let p = n - 7579/7. Which is greater: p or -3?
p
Suppose -1089 = -72*o + 67*o + s, -4*s + 201 = o. Which is smaller: 215 or o?
215
Let s = 10 - 10. Suppose s*i = -4*m + i + 10, -3*i + 18 = 4*m. Suppose t = -m*t + 4, 2*l - 4*t = -12. Which is greater: -5 or l?
l
Suppose 0 = -w + 3*w - 4*f - 24, 3*w - 36 = -5*f. Suppose -7*z + 3*z = w. Does z = -6?
False
Let k = 3.06 + -0.06. Let a(v) = -v**3 - 4*v**2 - 5*v + 1. Let q be a(-3). Let h be 0 - -3 - q - -4. Do k and h have the same value?
False
Suppose -5*s = 3*p - 233, -16 = 3*s - 1. Which is greater: 79 or p?
p
Let v be -3*5 - (8 + -14 + 9). Is v greater than or equal to -19?
True
Let z be (-2 + 0)/(2/(-5)). Let d(w) = -7*w - 5 + w - 4*w - 6 + w**2. Let b be d(11). Which is smaller: z or b?
b
Let i be 9*(-14)/(-170793)*3/6. Is -1 less than i?
True
Suppose -4*m = -5*i - 2*m + 12, 5*i - 9 = -m. Suppose -2 = -4*j + 18, 5*p - i*j = 0. Let s be 11/((-715)/(-150)) - p. Are -1 and s nonequal?
True
Let u be ((-2)/(-6))/((-4)/(-48)*26). Which is smaller: u or 1?
u
Suppose -x + 33 = k + 3*k, 2*x + 3*k = 66. Let f = 132 - 100. Which is greater: x or f?
x
Let l be (-62)/(-10) - (5 - 24/5). Suppose 5*j + 3 = 3*c, l*c - c - 5 = -3*j. Let i = 47/2 - 118/5. Which is bigger: j or i?
j
Suppose -148*l = -125*l + 529. Is -23 less than or equal to l?
True
Let s be (2 - 15/20)*8. Suppose 5 = -5*a + s. Do 1 and a have different values?
False
Let z(k) = -5*k + 24. Let q(d) = -2*d + 8. Let l(t) = -8*q(t) + 3*z(t). Let m be l(-4). Let c be 3/(m/8 + 1). Is c greater than 5?
False
Let b(v) = 23*v - 4. Let s be b(-3). Suppose 0 = -37*u - 1735 - 966. Are u and s equal?
True
Let q = 333839/282 - 7105/6. Is q at least 0?
False
Suppose -d = -4*h - 8, -3*d = -2*d + 2*h + 4. Suppose d*b = -5*b - 15. Suppose 8 = 4*t + 20. Are b and t non-equal?
False
Let h(c) = -c**3 + 6*c + 2. Let z be h(3). Let a(k) = k**3 + 6*k**2 - 6*k + 8. Let j be a(z). Is j bigger than 2/3?
True
Let m = -706 + 665. Is m <= -42?
False
Let h = -12.59 - -11.59. Is h at least as big as 9?
False
Let f = -19048/13 - -1464. Let m = -3 + 2. Is m >= f?
True
Let v(r) be the second derivative of 0 + 5/2*r**2 + 12*r + 1/20*r**5 - 1/6*r**3 + 5/12*r**4. Let k be v(-6). Is k equal to -25?
True
Let a = -74947/356700 + 2/17835. Is a at least 1?
False
Let r be ((-36)/(-30))/(3/20). Suppose 8 = -r*u - 24. Which is bigger: u or -7?
u
Suppose -9*x = -86 + 14. Which is smaller: x or -10?
-10
Suppose 0 = -3*u - 0 - 3. Let n be (-4)/(-6) - (-5)/150*-11. Is u less than n?
True
Let m = 1017 - 1350. Which is bigger: 0.1 or m?
0.1
Let b = 129.2 - 129. Which is smaller: -2/9 or b?
-2/9
Let j = 0.141 - -94.859. Let x = -69 + j. Which is bigger: -1/4 or x?
x
Let i = -32 - -32. Suppose 15*j - 10*j - 5 = i. Is j less than or equal to -2/65?
False
Let h = -365.8 - -366. Which is bigger: -37 or h?
h
Let b = 0.1 - -0.9. Let l(i) = 0*i + 2*i - 9 - 7*i - i**2 - 4*i. Let n be l(-7). Which is greater: n or b?
n
Suppose -759 = 16*k + 489. Which is bigger: -5 or k?
-5
Let t be 20/(-110) - (-62)/(-22). Let q be 26 - 3 - t/(-1). Suppose -121 = -6*a - 1. Is q at most a?
True
Let g = -61 - -54. Let y = 10 + -16. Let i = g - y. Which is smaller: -2/7 or i?
i
Let l = 14 + -20. Let z = l - -6.2. Which is bigger: 2 or z?
2
Let b(g) = 4*g**2 - 10*g + 6. Let v(a) = -3*a**2 + 10*a - 7. Let x(c) = 2*b(c) + 3*v(c). Let k be x(10). Is k <= -8?
True
Suppose 0*g = g - 4. Suppose -q - g*c + 3 = 1, 5*q - 2*c - 10 = 0. Suppose -20 = 4*d, q*d + 23 = v - d. Which is greater: v or 9?
9
Let n = -10.48 + -22.52. Which is greater: -2/53 or n?
-2/53
Let x(d) = d**3 - 4*d**2 + 4*d + 1. Let v be x(3). Let n(l) = -l**3 + 6*l**2 - 6*l - 1. Let o be n(5). Let f be (1 - 0) + -3 - o. Is v equal to f?
True
Suppose 0 = -5*f - 7 + 2. Which is bigger: f or 1/153?
1/153
Let z be (-6)/27 + 276/27 + -4. Let i be (-42)/(-8) - 4/16. Which is bigger: z or i?
z
Suppose z + 3*z = 20. Suppose z = -5*d, d + 6 = -4*t + 3*d. Let p be 2/8*(10 - 12). Which is smaller: p or t?
t
Suppose -11*f = -6*f - 380. Let x = f + -76. Which is greater: -12/11 or x?
x
Let s(a) = -11*a + 1. Let m(j) = -j**2 - 3*j + 3. Let y be m(-4). Let x be s(y). Suppose 0 = -5*z + 38 + x. Which is greater: 9 or z?
z
Suppose o - 3*o - 168 = 0. Let n be 1*(6 + -9) - (-5 + 1). Let m be n + 176/o + 1. Is m less than or equal to -0.1?
False
Let g be (4/6)/(4/42). Suppose 0 = -6*k + g*k. Suppose -6 = -3*h - k. Is h less than 13/4?
True
Let f = -101 - -61. Let w = 41 + f. Let u be (-12)/(-33)*(-6)/(-8). Which is bigger: w or u?
w
Suppose 0 = 17*u - 4*u - 26. Do u and 73 have different values?
True
Let m(d) = -2*d**2 + 6*d - 9. Let f be m(4). Let v = 14 + f. Which is smaller: -4 or v?
-4
Let i be ((-74)/(-16))/(33/(-12) + 2). Is -7 bigger than i?
False
Let w(v) = -v**2 - 10*v + 1. Let p be w(-10). Let z = -1.2 + 2.5. Let u = z - 1.27. Which is smaller: p or u?
u
Suppose 7*t - 25 = 2*t - 5*k, -2*t + 4*k = -4. Suppose 5*m = 3*v - 14, 5*m - v + t*v - 4 = 0. Which is bigger: -4/31 or m?
-4/31
Suppose -4*t + 7*t = 12. Suppose -3*s + t*r + 35 = -0*r, 30 = 5*s - r. Suppose 0 = 9397*w - 9392*w - 25. Is w greater than or equal to s?
True
Suppose -p + 3 = 1. Suppose -5*d + 2*d = 5*r + 56, -p*d + r - 20 = 0. Suppose 2*x = 6 - 28. Is x greater than d?
True
Let k = 356.2 + -427. Let o = k + 71. Is 0.08 at most o?
True
Let x(r) = -r**2 + r - 7. Let h be 21/(9/3) - -1. Suppose 3*g - 20 = -2*d, -5*d = -0*g - 3*g - h. Let f be x(g). Is f < -19?
False
Let p be 2/(-4) + 50/4. Suppose 5 = -p*c + 17*c. Which is smaller: c or -5?
-5
Let w = 162 - 170.9. Let s = -38 - -29. Let b = w - s. Is -2 at least as big as b?
False
Let v be 2/(-12)*-2 + (-4)/(-6). Let k = -274/693 - -2/63. Is v bigger than k?
True
Suppose 2*y = 5*u - 21, -y + 2 = 2*u - 10. Suppose -2*k + 0*k = 0. Which is greater: k or y?
y
Let x = 43/75 - 6/25. Suppose 6*f - 14 = -302. Let n be 0 + (f/(-20) - 2). Is n bigger than x?
True
Suppose -2*j - 5*m = 4, 6*j = j - m + 13. Let g be (4/8)/(3/j). Which is greater: 0 or g?
g
Let s = -8 + 11. Suppose 18 = -3*k - 4*v, 0 = 5*k + s*v - v + 44. Which is bigger: k or -13?
k
Let n = 1945 - 1941. Let q = -8/33 + 601/165. Is q < n?
True
Let h be (-1)/(6 - 30/6). Is -5/73 at least h?
True
Let a be (125/78 - 1) + 108/(-216). Which is greater: a or 0?
a
Let y = 34.84 + -0.84. Let d = y - 39. Is d equal to 0.09?
False
Suppose 0 = 3*z - 11 - 7. Let t = 15 - -5. Suppose -6*m = -t - 28. Are m and z unequal?
True
Suppose 0 = -4*o - 795 - 477. Which is bigger: o or -317?
-317
Let c be ((-9)/(-6))/(0 - 6). Let l(u) = -u**2 + 5*u - 2. Let p be l(