et j = 0.1 + -31.1. Let b = j + 30.8. Is b at least as big as 0.2?
False
Let l(r) = -12*r**2 + 3*r + 2. Let y = 10 + -12. Let b be l(y). Are -53 and b non-equal?
True
Let h = 73 - 164. Let w = -729/8 - h. Do w and 1/3 have different values?
True
Let w = -1087 - -1095. Is -11 smaller than w?
True
Suppose -2 - 23 = -5*w, 3*p = -3*w + 384. Which is smaller: p or 122?
122
Let i be ((-3)/(-18))/((-36)/16). Suppose -3*x = 2*k + 1, 9*k = 8*k + 4*x + 5. Which is smaller: k or i?
i
Let r be (1740/(-40))/(1/(-2)). Is 87 >= r?
True
Let f = -1.3 + 2.3. Let r = 42 - 79. Do r and f have the same value?
False
Let o = 34/7 + -191/35. Suppose -10*r + 13 + 7 = 0. Suppose -3*f + r - 8 = 0. Which is smaller: o or f?
f
Let z = 1.54 + -1.6. Let l = -1.94 + z. Let c = -0.32 + 0.72. Is c not equal to l?
True
Let o be (8 - (-6 - -13)) + -79. Is -232/3 less than o?
False
Let n(g) = 10*g**3 + 2*g - 2. Let x be n(1). Let p be (-15)/x + -3 - -4. Is 0 < p?
False
Let n(x) = 3*x**2 + 8*x - 2*x - x**2 + 6 - x. Let v be n(-2). Which is smaller: v or -0.1?
-0.1
Suppose 0 = 84*g - 85*g - 1. Are -3/4 and g unequal?
True
Suppose -4*u + 3*u - 5 = 0. Let l be 6/4 - 1236/(-24). Suppose -4*r = -5*a + l, -a + 2*a - 40 = 5*r. Which is greater: u or r?
u
Let f = -24.5 + 58. Let w = f + 4.5. Which is smaller: 0 or w?
0
Let w = -428 + 244. Let d = 1286/7 + w. Which is greater: d or -0.1?
-0.1
Let g be -3 + 2 - 1 - 0. Let o = -137 + g. Which is smaller: o or -140?
-140
Let y(t) = 18*t + 137. Let p be y(-10). Is p smaller than -43?
False
Suppose -22*l = 5*l - 54. Let a = -3.05 + 0.05. Let d = a + 9. Which is bigger: d or l?
d
Let d = -2870 + 4222. Which is greater: d or 1351?
d
Let c = 4.8 + -4.9. Let q = c - -0.3. Let m be (-2)/(-1 + 3)*-1. Which is smaller: q or m?
q
Let b(a) be the second derivative of -31*a**3/6 - a**2/2 - 9*a. Let w be b(1). Let s be 8/w - 6/8. Is s less than -1/14?
True
Suppose -2*c - 14 = -c. Suppose -5*t = -12*t - 63. Let h = t - c. Which is greater: 6 or h?
6
Let r = -55 - -75. Let m be (-68)/(-85)*r/7. Is 3 greater than m?
True
Let d = 87 - 134. Let f = d - -48. Which is greater: f or 35?
35
Let n be -3*(5079/(-5067) - -1). Let r = 18028/1689 - n. Which is smaller: 10 or r?
10
Let h = -72721 + 655969/9. Which is greater: h or 165?
165
Suppose -2*b - 5*z = -32, -3*b - 4*z + 6 = -7*z. Let d(g) = b*g + 7*g - 12*g - 2 + 3. Let m be d(1). Which is smaller: 1 or m?
1
Suppose -4*i = 5*r - 20 - 494, 2*r - 2*i = 220. Let d = 108 - r. Which is smaller: d or 3?
d
Let x be ((-69)/2)/(-4 - (-770)/200). Which is smaller: -1 or x?
-1
Let a = 932/3 + -318. Suppose 11*v + 31*v + 294 = 0. Which is greater: v or a?
v
Let y = 0.2 - 0.7. Let o = 418651/230 - 9096/5. Let c = o + -12/23. Is y at most c?
True
Let a be 2/6*-1*(-75)/50. Which is smaller: -0.08 or a?
-0.08
Suppose -4*v - 3*p + 111 = -4*p, 115 = 4*v + 3*p. Let n be -1 + 0 - (-20)/v. Suppose -38*l + 462 = 500. Which is bigger: l or n?
n
Suppose 41*v + 40*v - 532 = -52*v. Suppose 0 = -3*u - 5*c + 18, u + 6*c - c - 6 = 0. Let b be u + (-2 - -2) - 1. Which is greater: v or b?
b
Let p be -1 + -2 + (-410)/10. Let z be -2 + 140/77 - (-3)/p. Is z at least as big as 1/87?
False
Suppose 9*i = 1271 + 169. Which is greater: 0 or i?
i
Let q be (35/21)/(1 - (-26)/(-36)). Let c(l) be the first derivative of l**2 - 11*l - 2. Let t be c(q). Is -2/57 at least t?
False
Let n be 6/(-16)*40/(-18). Suppose 25*s = 4*h + 22*s + 21, 2*h - 9 = -5*s. Is n less than h?
False
Let p = 1094 + -1094. Is p equal to -32/45?
False
Suppose -a + 5*f = 408 + 491, 2*a + 1780 = f. Which is smaller: -890 or a?
-890
Let o = -1535 + 16850/11. Which is smaller: o or -2?
o
Let w = 7/80 - 121/240. Which is bigger: w or -1?
w
Let t = 59.4 + -59.3. Let j = 0.93 + 1.03. Let g = j - 2. Which is smaller: g or t?
g
Let i(f) = -f**3 + 23*f**2 + 51*f - 26. Let x be i(25). Which is bigger: x or -1/74?
-1/74
Let a = -158 + 158. Which is smaller: a or 1/566?
a
Let g = -253 + 262. Which is smaller: -0.2 or g?
-0.2
Let z = -153 + 157. Suppose 0 = x - 5*x - z. Which is smaller: 2/49 or x?
x
Suppose h = -15 + 44. Suppose -o + h = 4*b, -4*o + 19 = -5*b - 34. Suppose q + 3*q = w - o, 0 = w - 5*q - 21. Do -3/7 and w have the same value?
False
Let b = 72746/5 + -14607. Let j = 38427/665 + b. Let a = -153/1330 - j. Is a bigger than 1?
False
Suppose 5*g = -3*n - 24 - 35, 0 = -3*n - 2*g - 56. Let a be (-15)/(-6)*(-2)/(-1). Suppose -a*b = 55 + 35. Is b greater than n?
False
Let r = 600 - 605.22. Let a = r + 1.22. Is a at most as big as -10?
False
Let d = -8 - -4. Let o = 8 + d. Let h(x) = x**2 + 2*x - 1. Let u be h(-1). Is u less than or equal to o?
True
Suppose 2*r = -x, 3*r - x = 7*r + 2. Let u be -8*1/(-2) + -1. Let p be (u/18)/(r/4). Which is smaller: -2 or p?
-2
Let z = 384 + -384.3. Let c = -51.9 + 54. Are c and z nonequal?
True
Let k(h) = -h - 2. Let c be k(-2). Let t be (-2)/2*((2 - 2) + -1). Is c at least t?
False
Let u = -8318485343/585 + 14219625. Let r = -73/9 - u. Which is bigger: r or -1?
r
Let q = -364 - -364.09. Which is smaller: q or 1/22?
1/22
Let l(t) = t**2 + 5*t - 3. Let f be l(-6). Suppose -4*g - 78 = 30. Let d be g/18*(-8)/3. Is f greater than or equal to d?
False
Let a = 12 - 29. Let o be (-4)/(-6)*(-36)/(-24). Let j be -14 + (-2 - o) + (-2 - -3). Which is smaller: a or j?
a
Let h be 1 - (0 + 0 + 2). Let x(z) = -z**3 - 5*z**2 + 3*z + 12. Let u(v) = -4*v - 1. Let j be u(1). Let r be x(j). Which is smaller: r or h?
r
Let l = -262/9 - -1039/36. Suppose 2*b - r = -2*r, -2*r = -4*b + 16. Suppose -4*c = -b*c. Is c less than l?
False
Let i be 40/1936*-386 - -8. Which is smaller: 1 or i?
i
Let p = -27716/17 - -1630. Let f(t) = -t - 1. Let a = -1 + 1. Let s be f(a). Which is bigger: p or s?
p
Suppose -3*l - 2*j - 117 = 0, -l - 23 - 16 = 3*j. Let o be (-7)/3 + 26/l. Is 2 != o?
True
Let q(d) = d**2 + 7*d - 4. Let i be q(-7). Let f(s) = s**3 - s - 5. Let y be f(0). Is y >= i?
False
Suppose -4*v + 4*c = -v, 0 = 2*c - 6. Suppose 4*q = -3*i - 5, -5*i + 0*q + 11 = -3*q. Suppose -v = -r - i. Is 5 greater than r?
True
Suppose -27*w - 54 = -33*w. Let i be 3*(-8)/36*w/2. Is i > -20/13?
False
Let h be 1/2*(-9 - -5). Let u be 92/84 - (h - 8/(-3)). Suppose -2*d - 4 + 2 = 0. Which is smaller: d or u?
d
Let x be 379/(-12) + 1/3. Let u = x + 31. Let y = -7.54288 + 0.54288. Is y less than u?
True
Let h = 388/21 + -1588/91. Is 2 bigger than h?
True
Let p be 15/(-20) + (-22)/(-8). Let m be p*((-6)/(-4 - -7))/4. Which is greater: m or -0.11?
-0.11
Let k(z) = 2*z**3 - 2*z**2. Let d be k(3). Let r = 37 - d. Which is bigger: r or 4/65?
r
Let j(u) = -4*u - 4. Let z be j(-7). Let x be (-2)/6 + (-76)/z. Let y be (-2 - -8)*1/(3/(-2)). Which is bigger: x or y?
x
Suppose 166 = -158*k + 156*k. Let p = k + 61. Which is smaller: -23 or p?
-23
Suppose 0 = 3*i + 8 + 31. Let d be i/11 - (-2)/11. Let t be 35/30 - d/(-6). Which is smaller: -4/21 or t?
-4/21
Let p be 12/(-9) - -2*1. Let j = 3 + -1. Suppose -4*n = -z + 8, 8 = -3*z - 2*n - j*n. Is z < p?
True
Suppose i - 5*h = 26, i - 5 = -3*h - 19. Suppose 7*w - 11 = 3. Does i = w?
False
Let m be -3 - ((-52)/8 - -6). Let a = 6 + -3. Let q = -2.9 + a. Which is smaller: m or q?
m
Suppose -217 = 4*c + 5*w, 0 = -9*w + 6*w + 9. Is -57 >= c?
True
Let r = -17.8 - 412.2. Let k = r - -456.9. Let m = k + -2.9. Which is greater: 0.1 or m?
m
Let j be (-4)/16 - (-191)/(-4). Is -60 not equal to j?
True
Suppose 0 = -4*s + 4*w + 136, 0 = -5*s - w + 86 + 66. Let f = -11 - -16. Suppose 5*y = -f*n + 5, -4*n + 0*y + s = -5*y. Which is greater: n or 5?
5
Suppose -53*s - 9269 + 2538 = 0. Is -128 < s?
True
Let y be 4/(28/(-1)) - 680/(-4564). Which is bigger: y or -1?
y
Let f be 133/49 - 4/(-14). Let g = 3 + -7. Let h be g/60 + (-1)/f. Is 0.4 greater than h?
True
Let c(n) = -2*n**2 - n + 3. Let j be c(-3). Let x = 28 + j. Suppose -o - 5 + 0 = 0, -3*o - x = d. Are -2/9 and d equal?
False
Let j = -0.4 - 22.6. Let p = -26 - j. Which is smaller: -1 or p?
p
Let n be 28/21*(-1 + 4). Suppose -10 - 3 = -3*i + o, -n*i - 3*o = -26. Suppose -2*h + i*h = 0. Which is bigger: -2/25 or h?
h
Suppose 639*l = 628*l + 319. Which is smaller: l or 14?
14
Let n be ((-952)/(-52))/2 + 8/(-52). Let h be (-90)/(-3)*128/440. Which is smaller: n or h?
h
Let h(s) = -8*s**3 + s**2 - 3*s + 3. Let f be h(3). Which is 