88 - -2844. Is t less than or equal to 1?
True
Suppose -2*f + 21 = 3. Let d be 11/f - (7 + -6). Which is smaller: 0 or d?
0
Let j be ((-34)/(-19))/2 + -1. Suppose 0 = -2*h - 3*n + 78, -4*n + 78 = 2*h - 0*n. Let y = h - 40. Which is smaller: y or j?
y
Suppose -10*f = 10969 + 7271. Is f greater than or equal to -1825?
True
Let w = -0.0112 + 129.0112. Is -1 not equal to w?
True
Suppose 10 = -m - 3*u, 4*u + 26 = -m + 13. Which is smaller: -5/24 or m?
m
Suppose 2*i = -3 + 11. Let y(m) = m**3 - 7*m**2 + 11*m - 1. Let t be y(5). Is i less than t?
False
Let w be -6 + (135/25)/(9/60). Which is bigger: 16 or w?
w
Let q = 74912/61 - 1228. Which is smaller: q or 0?
0
Let i(l) = -2*l + 10. Suppose 0 = -5*q - 3*d + 40, q + 19 = 4*d + 4. Let n be i(q). Which is smaller: n or -3?
-3
Let i be 4/(-3 - -39)*2. Let t(p) = -p**3 + 2*p**2 - 1. Let w(h) = h**2 - 4*h + 1. Let a be w(4). Let c be t(a). Which is bigger: c or i?
i
Let a = 643/225 - 25/9. Let r be (1*-1)/((-8)/288). Let p be (-4)/(-22) + r/44. Which is bigger: p or a?
p
Let h = 793.73 + -793.7. Let q = 4 - 7. Which is smaller: h or q?
q
Let z = 44/67 + 1865/1139. Let x = z + 9/85. Which is smaller: 3 or x?
x
Let s(z) be the first derivative of z**3/3 - z**2/2 - 7*z - 21. Let u be s(3). Which is smaller: u or 2/7?
u
Suppose 4*b = -142 - 2. Let y = b + 249/7. Suppose -o = -6*x + 9*x + 8, 4 = x - o. Which is smaller: x or y?
x
Suppose 2*y + 4*x = 40, 3*x - 35 - 3 = -2*y. Suppose 5*n - 81 = -4*c, -52 = -3*c - 2*n - 0*n. Is y at least c?
True
Let r = 11247 - 67243/6. Is r greater than or equal to 39?
True
Suppose -47*q + 45*q + 14 = 0. Are 29/5 and q unequal?
True
Let c be (-1)/((20/8)/5). Let v be (11/c)/(5/(-10)). Let x = -11 + v. Is -4/7 <= x?
True
Let h = -475.8 - -432. Let i = 49 + h. Let z = -5 + i. Are 0.8 and z equal?
False
Suppose 3 = 4*m + 2*d - 5, 2*m + 8 = 2*d. Suppose 0 = 4*a + 3*z + 131, -2*z - 192 = 5*a - 23. Let l be (2/9)/(a/21). Are l and m non-equal?
True
Suppose 2 = -h - 5*m, m + 6 = -m. Suppose -2*n = 2*d - 7 - 25, 3*d - n - 36 = 0. Does d = h?
True
Let p = 1 - 1. Suppose p*g = -2*g + 6. Let o(r) = r**3 + 9*r**2 + 10*r - 22. Let n be o(-3). Which is smaller: n or g?
n
Suppose 0*t + 30 = -5*t - 2*p, 5*p = -2*t - 12. Let i(m) = -7*m + 11. Let g be i(t). Is 52 bigger than g?
False
Suppose 5*p + 17 = -j - 17, 0 = 3*j - p + 70. Let u be (j - -1) + (-6)/12*2. Which is bigger: u or -23?
-23
Suppose 3*f - 255 = 5*o, -2*f = o - 0*f + 51. Are -48 and o equal?
False
Suppose -b + h - 5 = 0, -5*b - 21*h + 18*h = -15. Is b less than 7/179?
True
Suppose 4*a + 2 + 14 = 0, 2*v = 4*a + 34. Is 91/9 at least as big as v?
True
Let x(r) = -6*r + 3. Let c be ((-3)/6)/(1/(-2)). Let d(p) = -p + 1. Let a(w) = c*x(w) - 3*d(w). Let q be a(-2). Which is smaller: -1 or q?
-1
Let s = 0.9 - 1.11. Let x = -0.83 + 0.83. Is s bigger than x?
False
Let s = 560 + -578. Is -18 < s?
False
Let d = -9/5411 - -41257/173152. Let y = d - 3/32. Suppose -r = -6*r. Which is bigger: y or r?
y
Suppose 2*f = -2 - 38. Which is greater: f or -21?
f
Let d be 21/(-3) - (2 + 64/(-8)). Do -764 and d have the same value?
False
Suppose 1 = 5*s - 4, 5*n = 2*s + 18. Is n <= 4?
True
Let z(f) = -3*f - 11. Let x be z(-13). Suppose 29*h - x*h = 3. Suppose -5*t - 2 = 5*g + 18, -h*t = -3*g + 12. Which is smaller: -5 or t?
-5
Let t(g) = g**2 - 7*g + 11. Let v be t(6). Let q be 22/8 + (5/v - 3). Let m = -1 + -1. Are m and q non-equal?
True
Let d = -90 + 86. Let u be (4 + 243/(-60))/(5/d). Does 2 = u?
False
Let n = -316 + 47714/151. Suppose y + 5*s - 25 = 0, -6 = 5*y + 5*s - 31. Which is greater: y or n?
y
Let z = 16 - 10. Let v be z + 0 - (-2 - 1). Which is greater: 10 or v?
10
Suppose -2*r - 3*r = 3*g - 72, 0 = -4*r - 5*g + 68. Let j(x) = 4*x - 48. Let b be j(r). Let o = 2.5 - 3.8. Which is smaller: b or o?
o
Let d = -0.044 + 0.144. Do 38 and d have different values?
True
Suppose -t - 1376 = 42*t. Which is smaller: -4 or t?
t
Let y = 12 - 11. Let v be (52/(-16))/(y/(-4)). Suppose -5*a = 7 + v. Which is greater: a or 1?
1
Let v be (0 - -2) + (-1 - 8 - -94). Is v <= 88?
True
Let p(q) = q**3 - 6*q**2 + 4*q + 6. Let u be p(5). Let g be (1/(-8)*2)/u. Let z be 18/135 - (-169)/195. Which is bigger: g or z?
z
Let p = -465 - -465.2. Is -22 <= p?
True
Suppose 7*x - 2 = 19. Suppose 0 = x*m + 131 - 53. Is m > -77/3?
False
Let j be 4/(-16) - (-308)/16. Let y = j + -30. Do y and -2 have the same value?
False
Let d be (40 - -32)*((-1)/(-3) - -1). Is d less than 98?
True
Suppose 0 = 3*s - 0 - 9. Let j(b) = b**2 - 18*b + 59. Let z be j(14). Is s < z?
False
Let z = 164 + -164. Let m be (54/(-39))/(2/2). Is z smaller than m?
False
Let w = 36 + -27. Suppose 0 = f + 1, -14 = -5*p + 3*p - 4*f. Are w and p equal?
True
Suppose -3*y + 15 = 5*m - 2*m, y - 13 = -5*m. Suppose -y*q + 0*q + 5 = -4*s, 0 = 3*q - 9. Which is greater: s or 44?
44
Let d be -113 - (18/4 - 3/6). Which is greater: d or -118?
d
Suppose 2*t - 2 = 0, l + 8*t - 10 = 4*t. Let o be -2*(l - 5)*1/2. Is -1/31 <= o?
False
Let g be (10/28)/(78/(-117)). Let j = g - -585/308. Is 2 at least j?
True
Suppose -20 = 4*v, 3*i = -i + v - 235. Let x = i + 55. Suppose 3*j - 2*j = -6. Which is smaller: j or x?
j
Let i = 10 - 10. Let q be 3*(1 - (-2)/(-3)). Let f(o) = -o**3 + 2*o**2 + o - 1. Let t be f(q). Is i < t?
True
Let l = -151 + 183. Are l and 8 equal?
False
Let i be (-4)/3*1*(170 - 176). Which is smaller: 70/9 or i?
70/9
Let u = 4.88 + 0.12. Let d = 5 + u. Let b = d + -12. Is b < -2?
False
Let m(a) = 38*a - 195. Let n be m(8). Which is bigger: n or 111?
111
Suppose 4*m = -2*w + 2, 5*w + m + 14 = -8. Let k = -65 - -110. Let o be ((-20)/k)/((-4)/(-6)*1). Which is smaller: w or o?
w
Let t(w) = 2*w**2 - 26*w + 2. Let l be t(13). Which is bigger: l or -86?
l
Let p be ((-4)/4)/((-24)/(-36)). Which is smaller: 12 or p?
p
Let l(y) = 2*y**3 + y**2 - 7*y - 9. Let a be l(-2). Is a <= -13/2?
True
Let c(t) = t**3 + 3*t**2 - 8*t - 7. Let x be c(-4). Suppose -2*o - 2*o = 0. Suppose o = 2*r - 12 - 8. Which is smaller: x or r?
x
Let o = 340279/49623 + -1/7089. Let c be (-1)/(1 - 7/6). Is o greater than c?
True
Let c be 448/2486 + (-36)/198. Which is smaller: c or 0?
c
Let c = -48 - -33. Let i = c - -15.24. Let f = -0.14 + i. Which is greater: -4 or f?
f
Let m = 3357.02 - 3389. Let y = -0.079 - 31.921. Let j = m - y. Which is smaller: -2/9 or j?
-2/9
Suppose 0 = t - 3*t - 8. Let r(a) = -a - 5. Let h be r(t). Let l be -16 - -12 - (-82)/20. Is h not equal to l?
True
Let z be ((-6)/18)/(1/(-12)). Suppose o - 2*o = -z. Suppose 0 = 4*g - o*a + 16, a + 12 = 4*g + 4*a. Do g and -2/27 have the same value?
False
Let r = -1218.9 - -1170. Let x = -41 - r. Let m = 8 - x. Is m bigger than -1/14?
True
Let g = 63 + -61. Suppose g*b = 4*o + 18, -o - 9 = 3*b - 8*b. Is 2/201 at most b?
True
Let r be (1/(-1))/(25725/50). Does r = 0?
False
Let h be -1 + -5 + (-26)/(-6). Let g = 5 - 1. Suppose -g*m = 4*x + 12, m - 5*x + 7 = 16. Which is bigger: h or m?
m
Let x(u) = -u**3 + 11*u**2 + 29*u - 31. Let i be x(13). Is -4 at least as big as i?
False
Suppose 2*z - 6*z + 23 = 3*k, 17 = 2*k + 3*z. Which is smaller: k or 2/1993?
2/1993
Suppose o - 216 = -4*n, 31*n = -4*o + 29*n + 878. Which is bigger: 226 or o?
226
Let y = 22370036 - 113259491580/5063. Let h = y - 14/83. Which is smaller: h or 0?
h
Let d = 33 + -33. Is 16 >= d?
True
Suppose 4*l - 5*l - 4 = 0. Let y(s) = -s**2 + 10*s + 11. Let m be y(11). Is l not equal to m?
True
Suppose -5*b - 7 - 5 = -u, 5*b = 2*u - 9. Let v be (-2)/10*(-5)/9*u. Let c = 1.4 + 0.6. Is c >= v?
True
Let d(c) = c**2 - 4*c - 2. Let g be d(4). Let h be (6/4*-4)/g. Suppose 8*t - 12*t = -9*t + 10. Which is greater: t or h?
h
Let y be (-10 + 8)*(-3 - 1). Suppose 6*z - 2 = y*z. Are -2/85 and z equal?
False
Let t = 1770 + -1669. Is -0.5 greater than t?
False
Let r = 742/153 + -22/17. Which is smaller: 4 or r?
r
Let l = 1101 - 1115. Let q be 1 + (0/(-2) - 0). Let i = q + -2. Is i equal to l?
False
Suppose 3*v = 7*v. Suppose 0 = -v*q - 4*q - 100. Which is smaller: q or -26?
-26
Let r(l) = l**2 - 7*l. Let w be r(0). Suppose -3*k + 2*k = 36. Let g be (-4)/k*(-4)/6. Is w bigger than g?
True
Suppose 2*b + 0*b = -10. Let u be 3*4/10*(-30)/12. Which is greater: u or b?
u
Let r = -6.206 + 0.006. Let z = -5.93 - r. Let m = z + -0.33. Which is greater: m 