 < x?
True
Suppose 8*z - 606 = -334. Suppose 0*n + 175 = 5*n. Is z less than n?
True
Let t = 561/8 + -9705/136. Let a(o) = o**3 - 20*o**2 + 21*o - 38. Let w be a(19). Which is smaller: t or w?
t
Suppose -3*h = 3*o + 15 - 0, 2*h - 2*o = 10. Let u be (18/(-225))/((-16)/5). Is h greater than u?
False
Let m(k) = -k**3 - 2*k**2 + 2*k - 2. Let l be m(-4). Suppose -q - l = -11. Which is smaller: q or -12?
-12
Let w(a) = 5*a**3 - 4*a**2 + 1. Let u(r) = 11*r**3 - 9*r**2 + 2. Suppose v = -3 - 1. Let g(z) = v*u(z) + 9*w(z). Let q be g(-1). Which is bigger: q or -1/25?
q
Suppose -2*t = -3*t + 2. Let a be 21/(-9) + 6/t. Is a at most 0.06?
False
Suppose -3*y - 22 = -5*j, -j + y = 5*y + 14. Let n be (3 + -18)*(-3)/(-5). Let r be (60/n)/(-5) + (-2)/(-3). Are r and j nonequal?
False
Let v be (2 - (-5 + 12)) + 7. Let d be ((-6)/18)/(-3*v/(-558)). Which is smaller: d or -30?
d
Let k(s) = s**3 + 6*s**2. Suppose 3*n = -n - 24. Let r be k(n). Suppose -4*l + r*l = 0. Is -1/42 at most as big as l?
True
Let r = -3 + -2. Let v = 31499/3 - 10501. Is r at least v?
False
Let s = -715 + 715. Let b be 1/((134*1)/(-2)). Do b and s have the same value?
False
Suppose 11 = 3*v + 5. Let u(x) = 0*x**2 + x**v + 1 + 0*x**2. Let h be u(0). Are 1/4 and h nonequal?
True
Let j = -29 - -38. Let l be -5 + j + (-19 - 1). Let u be (-14)/(-18) - l/72. Which is smaller: 4 or u?
u
Let a = 121 - 121.9. Let s = 0.91 + a. Which is bigger: -2 or s?
s
Suppose 5*s + 152 = 1212. Let k be (-5 - -2)*s/(-1296). Let x = k + -5/108. Do x and 1 have different values?
True
Let v(i) = 3*i**3 + 18*i**2 + 3. Let j be v(-6). Let w be ((-9)/(-6))/j*6. Suppose 0 = 3*h - 15, -h - 4 + 5 = -q. Which is smaller: w or q?
w
Let f be (-6)/8 - 119/(-84). Let q = 0 + f. Is 3/16 smaller than q?
True
Let b be (-5)/(-10) - (-183)/2. Let w be (176/b - -1) + -3. Let u = 2 - 2. Is u at least as big as w?
True
Suppose j - 27 = -2*j. Suppose -4*m - 101 = -j. Which is greater: -22 or m?
-22
Let n = -2782 + 8474/3. Let f = n + -45. Do -1 and f have different values?
True
Let r = 211/3 + -73. Let h = 8 - 11. Which is smaller: r or h?
h
Let j(r) = -r - 3. Let c be j(-6). Suppose 2*h - 4 = 2*f - 0, c*h + 10 = -f. Let q = 63/5 + -461/35. Is h bigger than q?
False
Let x = 26 - 16. Let i(d) = -18*d + 66. Let k be i(3). Is k bigger than x?
True
Let w(h) = h + 1. Let m be w(2). Let j be m + -1*141/39. Which is greater: -2 or j?
j
Let l = 839 - 317. Suppose i - l = 7*i. Which is smaller: -88 or i?
-88
Suppose 0 = 3*u - 0*u - 15. Let o(m) = -2*m + 9. Let r be o(u). Which is bigger: r or -2/11?
-2/11
Let o(w) = w**2 + 4*w - 2. Let u be o(-6). Suppose u*n = 19*n. Let c = -29/3 + 11. Which is smaller: n or c?
n
Suppose -4*i - 8*v = -4*v - 12, 5*i - v = 27. Let m be 41/41*(0 - 4). Let p be m/(-8)*2 - i. Which is smaller: 0 or p?
p
Let q be 20*(0 + 1/2). Let t = q - 3. Which is bigger: 8 or t?
8
Let p be ((-283977)/56781 + 5)*6/8. Which is smaller: 0 or p?
p
Let v = 0.03 + -1.03. Let w = -0.9 - v. Let t = w - 0.2. Is t at most as big as 3/4?
True
Let n be (-4 - (-3486)/116) + 2 + 0. Let r = n + -45/29. Is r greater than 26?
True
Let g = 17 + -13. Suppose -5*y - 8 = -4*z + 38, -z = -g*y - 28. Let a be (-18)/4 - y/(-4). Which is smaller: -3 or a?
a
Suppose -w + 407 = 36*z - 40*z, z - 2*w + 93 = 0. Are z and -100 nonequal?
True
Suppose -1018 = 9*g + 1520. Which is greater: -281 or g?
-281
Let s = 268 - 275. Is s greater than or equal to -14?
True
Suppose -7*p + 2*p = -10. Suppose 4*m + 2*q + 32 = 0, -4*m + 4*q = 22 - p. Is m at least -4?
False
Let l be (-18)/(-1485)*438 + -5. Which is smaller: l or -1?
-1
Let h be (2*2/(-6))/((-8)/84). Let k = h - -42. Which is bigger: k or 48?
k
Suppose -1416*z + 1410*z - 300 = 0. Which is smaller: -5 or z?
z
Suppose 49 = 3*v - 92. Let f = v + -27. Suppose 0 = -3*q - 2*b - 14 - 0, 4*q + 4*b + f = 0. Which is smaller: q or -5?
-5
Let r(j) = j + 13. Suppose 7 = -2*w - 11. Let t be r(w). Let c be 1/(20/2)*t. Is -1 smaller than c?
True
Suppose 5*s - 38 + 13 = 0. Suppose 0 = 2*l + 5*d - 9, 4*l - s = 3*d + 26. Let v(p) = 10*p - 2. Let f be v(1). Is f <= l?
False
Let m = -23.3 - -22.9. Is 74 less than m?
False
Let c = 155 - 223. Let p = c - -68. Is p less than or equal to 6?
True
Let c = -65 - -41. Let d be (-2)/(-8) - (-30)/c. Let y be 1/4*4/(-5). Do y and d have the same value?
False
Suppose 2*w - 2 = 5*u, -2*w - 6 = -0*u - u. Which is bigger: w or -21/5?
w
Let r be (-2)/(-6)*4/(-4). Suppose 34*g - 29*g = 5. Which is smaller: r or g?
r
Let u = -6958 - -111325/16. Let k(t) = t - 2. Let p be k(3). Suppose c + 2 = p. Which is bigger: u or c?
u
Let t = -13/2 + 35/6. Let y(s) = s**2 + 10*s + 7. Suppose -4*l + 0*l = 36. Let c be y(l). Which is bigger: c or t?
t
Suppose w + 3*o + o + 16 = 0, o = -4*w + 11. Is 4 greater than or equal to w?
True
Suppose 3*g + 18 = -3*i, -2*g + i = 4*i + 17. Let k be 7 - ((-132)/(-27) - -3). Do k and g have the same value?
False
Let t = 2.084 + -2.31. Let p = 0.026 + t. Which is greater: -4 or p?
p
Let l = -197/66 + 16/33. Is l greater than -2?
False
Let j be (-2 + 5)*((-8)/(-3))/2. Suppose 0 = x - j*x + 3. Are x and -1 non-equal?
True
Let a = 1.44 + -5.44. Does 0.077 = a?
False
Let b(c) = -9*c + 67. Let a be b(-21). Is a > 256?
False
Let t = 248 - 247. Is t less than 30/23?
True
Suppose -249 = 4*a - h, -5*h = a - 3*a - 147. Let d = -19 - a. Let g be ((-9)/d)/((-3)/6). Is g at least as big as 0?
True
Let l be 12/(-378)*-61 + -2. Are l and 0 equal?
False
Let a = 0.4 + -0.37. Let o = a - -0.01. Let l = o + 0.96. Which is smaller: 0.8 or l?
0.8
Let y be (28/32 - -1) + 0. Suppose -4*v = -895 + 883. Which is smaller: v or y?
y
Suppose 3*v = -3*a + 111, 5*a - 5*v = 253 - 58. Let n = -16 + a. Is 21 <= n?
True
Let c be -3 - (2/(-7) + (-61)/7). Suppose -5 = g - 3. Let h be g/c*-6 + -2. Which is smaller: h or 1?
h
Let a(o) = o**3 - 5*o**2 - 4*o - 4. Let l be a(6). Let i be (1 - -1)/(4 + -3 + 1). Let m = i + 7. Is l less than m?
False
Let o(s) be the first derivative of s**3/3 + 9*s**2/2 - 6*s + 8. Let v be o(-11). Which is greater: 17 or v?
17
Suppose -3*q - q = 16. Let u be q + 2 + 12/9. Suppose -2*d = 3*o - 4 - 9, 5*d = o - 10. Which is smaller: u or d?
d
Let w = -2.937 + 2.948. Are 18 and w non-equal?
True
Let l(b) = -b**2 + 22*b - 24. Let s be l(19). Let r = 30 - s. Which is smaller: 0.06 or r?
r
Suppose -1011 = 5*c - 2*g - 297, -c = 5*g + 132. Let l be c/(-33) + 6 + -10. Let v = -15/11 - l. Are -2 and v equal?
False
Let o = -4 - -6. Let l be 1/3 - (-12)/(-36). Suppose -6*m = -l*m - 24. Which is bigger: m or o?
m
Let c = 120 - 61. Suppose 13*h + c = -58. Which is greater: h or -7?
-7
Let l(r) = r**2 - 4*r + 8. Let k be l(7). Suppose 0 = -2*t - k + 3. Let q = t - -27. Which is greater: q or 15?
15
Let u = 2030 + -2030. Is -3/170 greater than or equal to u?
False
Let n = -881 - -880. Is 5/406 at most as big as n?
False
Let m = 94 + -92. Let b be (-14)/(-28)*m/(-123). Is -1 less than b?
True
Let d be -1 - -6 - (-6)/(-1). Is 5/109 not equal to d?
True
Let f = 1162/2601 + -2/867. Suppose 1 = 2*o - 3*o. Let u(b) = b**3 - b - 1. Let j be u(o). Which is smaller: j or f?
j
Let s = -25 - -24.87. Let m = s + 0.03. Which is bigger: m or 6?
6
Let u be -13*7/(-182)*4/382. Which is smaller: u or 0?
0
Let m = 50 - 54. Let b be (-1)/(10/m) + (-918)/(-30). Is 30 != b?
True
Suppose -7*g = -2*g + 15. Let l = -8/3 - g. Suppose 3*y + 8 = 2. Is y >= l?
False
Let n be (-1)/(-4)*0*(-12)/132. Is n <= -3/8?
False
Suppose 0 = -781*t + 777*t. Is -2/257 bigger than t?
False
Let z = 0.391 + 1.609. Which is greater: z or 1.1?
z
Suppose 0 = c + 2*q + 9, 3*c - 2*q = 2*q + 3. Let p be (1/(-13))/(1/47) - c. Do p and 0 have different values?
True
Let l = 517/6 + -129079/1498. Is 1 != l?
True
Let m = 79333/188 - 422. Let r = m + -1787/5828. Is r bigger than 0?
False
Let s = -7810 - -429538/55. Do s and -1/2 have different values?
True
Suppose -3*x + 4*u + 29 = -4*x, 3*x + u = -54. Let l = x + 13. Do -4 and l have different values?
False
Let m(h) = h**2 - 7*h - 10. Let f be m(6). Let a = f - -16. Is a < 2/3?
True
Let f(p) = p**2 - 4*p. Let o(h) = h - 2. Let k be o(-1). Let n be f(k). Which is greater: 22 or n?
22
Let s = 154 - 157. Which is smaller: -7 or s?
-7
Let i(p) = 3*p - 16. Let z be i(-9). Let y = z + 44. Which is smaller: -2/