b. Which is smaller: y or 3?
y
Suppose -19*o - 22 = -18*o + 5*i, 2*o + 2*i = -20. Which is bigger: -41/6 or o?
-41/6
Let i(l) = l**3 + 68*l**2 + 196*l + 69. Let h be i(-65). Let u be (-2)/1 - 32/(-22). Is h bigger than u?
True
Let m(i) = -i + 13. Let n be m(7). Suppose 0 = -r, -2*f - 2*r = 3*r - n. Suppose f*j + 4*v + 0*v = 20, j - 2*v = 20. Which is greater: j or 13?
13
Let j = -124321/96 - -1295. Do -1 and j have different values?
True
Let h(t) = t**2 - 7*t + 28. Let j be h(9). Is j smaller than 46?
False
Suppose 2*r + 3 = 9. Suppose r*c - 3*t = 30, 10 = 5*c + t + 2*t. Suppose 24 = 4*d - 0*d. Which is bigger: d or c?
d
Let s = -22 + 30. Suppose 198 = -4*z + s*z + 3*g, -z + 4*g = -59. Suppose -20 = -4*w - 4*a + 40, 5*w - z = a. Which is smaller: w or -0.1?
-0.1
Let p be (-2)/12*6160/100. Which is greater: p or -10?
-10
Let b = 0.32 + -2.92. Let x = b + -1.4. Let h = 3.3 + x. Is h > 0.1?
False
Let m = -111 + 23. Which is greater: m or -87?
-87
Suppose 2*h + 13*t - 11*t + 6 = 0, -4*h + t - 12 = 0. Let k = 12 - 17. Let p = k - h. Do 0.1 and p have different values?
True
Suppose -21*u = 25*u - 6900. Is 148 greater than u?
False
Let i(f) = -f + 3. Let q be i(-6). Let a be ((-28)/(-21))/(2/q). Which is smaller: a or 11?
a
Let v = -113840/3 + 38727. Let p = v - 787. Is -7 at most p?
True
Let r be 1462/(-42) + 2*5/(-30). Which is greater: -34 or r?
-34
Let u = -35 + 36. Let l be 2 - 5/11*223. Let k = l + 99. Is k greater than u?
False
Let v be ((-42)/(-70))/((-1)/(-10)). Suppose -o = -3*o - v. Let h(j) = j + 4. Let m be h(o). Which is smaller: m or 9/7?
m
Let q = 1 - 1. Let p = -79 - -85. Let k(o) = -o**3 + 8*o**2 - 16*o + 16. Let l be k(p). Is q < l?
False
Let w be (20/(-8) + 3)*0. Suppose 6*a - 5*a + 5*p = 27, w = a - p - 3. Which is bigger: a or 9?
9
Let p(b) = -b**3 + 7*b**2 - 7*b - 23. Let g be p(6). Which is greater: g or -32?
g
Let u = -0.08 + 0.18. Let l = u - 0.1. Suppose 5*q = -m + 11, 7*m - 11 = -3*q + 2*m. Is q > l?
True
Let p = 7 + -6.99. Let i = 0.21 - 0.2. Let s = i - p. Which is greater: s or 4?
4
Suppose -4*b + 0*b - 300 = 4*f, 2*f - b = -147. Let q = -51 - f. Let a = q - 25. Which is smaller: a or -3?
-3
Let r = -4.333 - 0.227. Does r = 2/7?
False
Let n(g) = -7*g**2 - 2*g + 2. Let x(i) = i**2 - 7. Let l be x(3). Let r be n(l). Let q be r/26 + (-1 - -2). Which is greater: q or -1?
q
Suppose -5*j = 30 + 5. Which is greater: -5 or j?
-5
Let b(g) = g. Let a be b(3). Suppose 0*w - 2*w + a*d + 8 = 0, 3*w - 34 = -d. Suppose 0*v - w = -v. Do 9 and v have the same value?
False
Suppose 5*w = 6*w - 33. Suppose 4*p + w - 173 = 0. Let b = -35 + p. Are b and -0.14 equal?
False
Let l = 3.705 - 3.8. Let c = l - 1.565. Let n = c + 1.7. Is 2/3 less than or equal to n?
False
Let v(q) = -2*q**2 - 2*q + 191. Let d be v(10). Let s(y) = -2*y**2 - 8*y - 3. Let i be s(-6). Is i > d?
True
Suppose -3*y + q = 1, 2*y = 3*y - q - 1. Let h = -20051 + 159921/8. Let x = 61 + h. Which is bigger: y or x?
x
Let r be 6/9*(-922)/(-20). Let l be 6/5*(-81)/3. Let z = l + r. Which is bigger: -1 or z?
-1
Let c = 31.11 + -5.21. Let u = 139 + -113. Let q = c - u. Is q at most 0.3?
True
Let h = 11 - 14. Let x = -49 - -47. Is h >= x?
False
Let p(q) be the second derivative of -q**4/12 - q**3/3 + 3*q**2/2 - q. Let r be p(-5). Let z = r - -11. Is -1 < z?
False
Let k be (-2)/(-3) + 36/27. Suppose -k*a - 647 = 3*m - 8*m, 3*a = 4*m - 988. Let t = a + 3028/9. Is t not equal to -1?
True
Let y be (106/371)/(-1 - 0). Do y and 1489 have different values?
True
Let c(x) = x**2 + 12*x - 8. Let t be c(-13). Suppose 12 = -t*d + 2. Does -3 = d?
False
Let n = -1.21 - -2.21. Are 1.3 and n non-equal?
True
Suppose -2 = -5*a + 13. Let d = a + -43. Does -39 = d?
False
Suppose 0 = -49*j + 20*j - 58. Suppose -s + 2 = -0. Which is bigger: j or s?
s
Let r(o) = -16*o - 21. Let v(s) = -3*s - 4. Let t(y) = 2*r(y) - 11*v(y). Let m be t(-7). Is m bigger than -3?
False
Suppose 0 = 81*h + 29*h - 127490. Is 1160 bigger than h?
True
Let n(i) = i**3 + 4*i**2 - 2*i - 1. Let k be n(-5). Let v = k + 22. Let b(g) = -g**3 - 8*g**2 + 4. Let u be b(-8). Is u equal to v?
False
Let o = -1 - 0. Let g(t) = 6*t + 3. Let u be g(-3). Let b be o/(-2)*u/6. Is 0 less than or equal to b?
False
Let b = 979 + -982. Is 12 less than b?
False
Let q = 0 + 4. Suppose 3*g - 17 = 5*r, -g + 0*g + q = 0. Let y be (r/16)/(2/(-4)). Which is smaller: y or 1?
y
Suppose -8*x - 19 = -83. Which is greater: 1.5 or x?
x
Suppose -q = -3*l + 9, -3*l + 12*q + 12 = 10*q. Is l at least 2?
True
Let p = 1036 - 1056. Which is smaller: -25 or p?
-25
Let k(w) = -42*w - 339. Let m be k(-8). Is -5 greater than m?
False
Let m = -12.5 - 50.5. Let s = m - -62. Let a = -138 - -968/7. Which is bigger: s or a?
a
Let n = 0.043 - 0.043. Let z(u) = u**2 + u - 3. Let m be z(-3). Let f be m/(-9) + 32/42. Which is greater: f or n?
f
Suppose 3*k + o + 3*o - 34 = 0, o + 14 = 3*k. Let u be k/(-7)*2/(-6). Suppose -3*q + 3*n + 5 - 2 = 0, -5*q + 13 = -3*n. Which is greater: u or q?
q
Let g = 404/3 - 134. Are -0.032 and g nonequal?
True
Let a(p) = p**3 + 9*p**2 - 10*p + 6. Let z be a(-10). Suppose 0 = -4*j + 2*j - z. Suppose -9*k - 21 + 3 = 0. Is j bigger than k?
False
Let j = 8 - 8. Let x(f) be the third derivative of -f**4/24 + 4*f**2. Let b be x(j). Which is bigger: b or 1/7?
1/7
Suppose 0*g + 5*g - 95 = 0. Let x = g - 134/7. Let t be 106/(-583)*(60/(-8) + 2). Is t greater than x?
True
Let g = -614 + 650. Suppose 4*f - 37 = 3*f. Which is smaller: f or g?
g
Suppose -4*m + s - 5*s = 0, -2*m - 3*s = 2. Let x be 2 - (m + 3/(-3)). Is -3/10 > x?
False
Let u(o) = -o**3 - 3*o**2 + 3. Let p be u(-3). Suppose -18*t = -15*t - p. Let n = -121 - -969/8. Which is greater: t or n?
t
Let z(m) = -m**3 + 13*m**2 + 15*m - 10. Let x be z(14). Suppose k - 3*i + 8 = 6*k, -2*i - 24 = -x*k. Let g be 30/40*-2*k. Are g and -4 equal?
False
Suppose -3*o + 18 = -9. Suppose -4*i - o = 7. Let w be (i/(-6))/((-4)/3). Is -3/4 > w?
False
Let g(d) = -1 + d**2 + d - 4*d - 1 + 2*d. Let t be g(-1). Suppose 23*i - 20*i + 18 = t. Is i greater than -0.1?
False
Let w = 44 + -10. Let j = 54 - w. Let d be ((-8)/j)/(12/15). Is -0.02 greater than or equal to d?
True
Let s be ((-4)/(-10))/((-32)/(-40)). Let m = -17 - -30. Let w = m + -13. Which is smaller: w or s?
w
Let c = 557 - 557. Let k = -0.28 + 24.28. Which is bigger: k or c?
k
Let d = -148.5 - -109. Let a = d + 40. Is a >= -0.17?
True
Let a(l) = -l**2 + 2*l + 3. Let q(i) = -2*i - 3. Let v be q(-3). Let o be a(v). Which is greater: 2/31 or o?
2/31
Let w = -4 - -3.96. Let t = 1.94 - 1.8. Let y = w + t. Is -1/8 less than y?
True
Let b = 142.0515 + -142. Let j = b + -3.1215. Let s = 3 + j. Do s and -2/9 have the same value?
False
Let m = 17 + 33. Which is smaller: m or 0.1?
0.1
Suppose 106*l - 107*l + 41 = 0. Is 37 > l?
False
Let a(r) = r - 2. Let g be a(-5). Let t = g - -10. Which is smaller: -1 or t?
-1
Let p = 0.37 + 16.73. Let b = 23 + -40. Let a = b + p. Is a at most as big as -3?
False
Suppose 26 = 2*m - 12. Let r = m + -22. Which is smaller: -4 or r?
-4
Let l(u) = -6*u + 5. Let b be l(-1). Suppose -7*x - 136 = -b*x. Which is smaller: 33 or x?
33
Let h = 10 - 7. Let o be 6/h + -1 + -1. Suppose 3*m + 3 = 2*p, o = 6*p - p + m + 18. Is -3 > p?
False
Let o = -41 - -45. Let l be (4/(-18))/(o/(-48)). Which is greater: 2 or l?
l
Let l = -78 - -56.25. Let b = l + -2.25. Let r = 0 - 0.1. Are r and b equal?
False
Let p = 263 - 296. Which is bigger: p or -129/4?
-129/4
Let x be (-4 - 2 - -1) + 0. Suppose 3*f = -3*k + 18, -4*f = -f - 9. Is k at least x?
True
Let x be (3/(-4))/(9/2)*-1250. Which is greater: 209 or x?
209
Let o be 1/(-5)*(6 - 10). Let z be (-9)/(-24) - (-567)/216. Which is bigger: o or z?
z
Let s(z) = 3*z**2 + 9*z - 24. Let h be s(5). Which is smaller: h or 97?
h
Let l = -70 + 128. Suppose -1234 = -6*v - 880. Which is greater: l or v?
v
Let l be (-1 - (-248)/243)*9/30. Which is greater: l or 1?
1
Suppose 0 = -9*x + 2743 - 2734. Is x >= 17/18?
True
Let i = -2718 + 2734. Do 17 and i have different values?
True
Let t(h) = h**3 - 8*h**2 + 9*h + 1. Suppose -4*b = -2*p - 16, 5 - 1 = 2*p. Suppose -2*g + 13 = 3*i, -b*i + g = -g - 43. Let m be t(i). Is 15 smaller than m?
False
Suppose -89 = 2*c - 83. Which is bigger: c or -11/6?
-11/6
Suppose -3*f + 5*j + 16 - 13 = 