. Which is smaller: 2 or a?
a
Suppose 4*a + 6 = 2*i, -2*i - 8 = 5*a - 5*i. Let m be (a/1)/(1/4 - 0). Which is bigger: m or -10/3?
-10/3
Let p = -6.26 + 6.56. Let c = -1.91 + -0.09. Is p less than c?
False
Let g be (14/(-227 - 11))/((-1)/(-9)). Which is bigger: g or -1?
g
Let b = 181 - 185. Is b at most as big as -45/16?
True
Let y be (5 - 800/55 - -3) + -4. Is -12 bigger than y?
False
Let y = 0.04 + 0.155. Let j = 0.005 + y. Do j and -15 have the same value?
False
Suppose -5*q + 15 = -0, 2*w - 5*q + 39 = 0. Let i be (-6)/(-44) + 6/w. Let z = 1 + -1. Which is greater: i or z?
z
Let h(a) = -6*a - 40. Let f(g) = 5*g + 38. Let u(c) = 3*f(c) + 2*h(c). Let l be u(-11). Which is greater: l or -4/21?
l
Suppose -r - 585 = x, 16*r - 12*r = x - 2335. Are -584 and r equal?
True
Let t be 2/(-12)*(-9)/6. Let p = 27249 - 1416865/52. Let s = p + -7/4. Is t != s?
True
Suppose -1027*r = -1073*r - 92. Let j = -23.953 + -0.047. Is j at least as big as r?
False
Let m = 753 - 752. Is 1/633 at least m?
False
Let f be (((-378)/(-21))/1368)/((-3)/32). Is 1/5 smaller than f?
False
Let q(d) = d**2 + 8*d + 1. Let w be q(-7). Let c = w + 12. Let l be (-23)/(-4) - (-25)/100. Does l = c?
True
Let y(n) = -7*n**2 + 133*n + 32. Let t be y(19). Is 37 < t?
False
Let s be (18/12*-1)/(1/62). Is -0.03 at least as big as s?
True
Let m be (-20)/290 - 168/87. Let q be (2/4)/((-2)/4). Which is smaller: q or m?
m
Let n(l) = -l + 5. Let c be n(-9). Suppose y + c = 4*d - 3*d, -y = d - 14. Let b be 2/d*(4 + -3). Is 0 != b?
True
Suppose -3*s + 69 = n, 0 = -8*n + 3*n + 2*s + 311. Let u be (-18)/n - 296/(-1134). Which is smaller: 1 or u?
u
Let z be (-144)/(-429) + 4/(-26)*1. Which is bigger: z or 5?
5
Let f be (2/40)/(5/(-2)). Suppose 100*z = 81*z. Which is smaller: f or z?
f
Let u = 3 + -24. Let w be 1/3 - (-112)/u. Is -3 >= w?
True
Let z be 6/(-33) + (-865)/(-5665). Is -1/7 > z?
False
Let j(u) = -u**3 - 8*u**2 - 7*u - 9. Let l be j(-3). Do -35 and l have the same value?
False
Suppose w = -2*w - 12, 4*q + w = -100. Let m = 12 + -21. Let p be 87/(-24) - m/q. Is -3 smaller than p?
False
Let r = 19.5159 + 0.4841. Let y = 0.4 - 0.2. Let s = y + -0.3. Is s < r?
True
Let h be 44/36*579 + (-4)/6. Let t = h + -2086/3. Which is smaller: t or 12?
t
Let p = 0 - -6. Let h = 42332/15 - 2828. Let q = p + h. Which is smaller: -1 or q?
-1
Let k = -725 + 22477/31. Let p be 27/6*(-4)/(-1). Let a = p + -19. Which is bigger: a or k?
k
Let j(r) = -137*r**3 + 4*r**2 + r + 5. Let a be j(-4). Let u = -44502/5 + a. Let y = u - -68. Which is bigger: y or 0?
y
Suppose 354*m = 379*m - 200. Let n be (-94)/(-18) + (-4)/18. Which is bigger: n or m?
m
Let o(b) be the third derivative of -b**6/12 - b**5/60 + b**3/6 - 7*b**2. Let f be o(1). Let m(d) = -d**3 - 10*d**2 + d + 10. Let h be m(f). Is h != -2/83?
True
Let f be 196/(-2) + -3 - -1. Let a be (-5)/f*1263/(-1). Let g = 63 + a. Do -1 and g have the same value?
False
Let w be (-1)/(-14) + (-90801)/(-2394). Is w <= 15?
False
Suppose -3*o - 5*d + 249 = -9*d, d = -2*o + 155. Are 79 and o unequal?
False
Suppose 3*g - 16 = -5*z, -z - g + 10 = 3*z. Suppose h - z = -0. Let w = h + -5. Which is smaller: w or -1?
w
Let c = -408/637 + 54/49. Do c and -2.1 have the same value?
False
Let c(w) = w**3 - 7*w**2 + w + 15. Let s be c(11). Suppose -8*i - s = -10*i. Let v be i/132 + 12/(-66). Is 3 smaller than v?
False
Let b(x) = -x**2 - 3*x + 3. Let o be b(-3). Suppose -l + 10 = -5*q, -4*l + 19 = -5*q + 6*q. Which is bigger: l or o?
l
Let c(h) = h**3 - 3*h**2 - 2*h + 3. Let s be c(-4). Let a(b) = -b - 30. Let t be a(-29). Which is greater: s or t?
t
Let k(p) = -5*p - 157. Let t be k(-9). Is t <= -114?
False
Suppose -19*k + 23*k = 20. Suppose -2*t - 55 = k*y, 0*t - 85 = 5*y - 4*t. Is y > -14?
True
Let c be (9 + -6)/(3/11). Let y = c + -16. Let m be (-1 - 7) + 1 + -1. Which is smaller: y or m?
m
Suppose 0*r - r = 0. Let f = -53.7 + 56. Let d = 2.22 - f. Which is greater: d or r?
r
Let v = 244 - 103. Is v at least as big as 140?
True
Let n = 39 - 38.88. Let b = n - 0.02. Does b = -3?
False
Let t = 5 - 6.05. Let u = t - -0.14. Let c = 0.09 - u. Is c >= 4?
False
Let j(b) = -11*b**2. Let o be j(-1). Let z(h) = h + 12. Let w be z(o). Let x(g) = -2*g**2 + 2*g. Let q be x(w). Is 9 equal to q?
False
Let w(b) = b**3 + 8*b**2 + 9*b + 87. Let y be w(-8). Which is smaller: y or -12?
-12
Suppose 62*t = 73*t - 847. Which is bigger: 73 or t?
t
Let h be (-9 - (-119)/14)*14/1. Let o = 1.8 - 2. Is o at most as big as h?
False
Let w(n) = -n**2 + n + 17. Let k be w(4). Let q be (-2)/(k + -7)*-1. Is q smaller than 4/13?
True
Suppose 6*w = 4*a + 2*w - 92, -3*a + 4*w + 64 = 0. Suppose -a = -5*k + 17. Let y be ((-18)/(-15))/(k/60). Which is greater: y or 1?
y
Let d = 0.8 + -0.8. Suppose -3*m + 140 = -5*r, -185 - 3 = -5*m - 3*r. Let z be 1/(-4) - 38/m. Which is smaller: z or d?
z
Let w be 2/7 - (-15)/21. Let z = -162 + 651/4. Is w > z?
True
Let d = -4 + 6. Let l = 4489/2121 - -8/303. Does d = l?
False
Let q = -116 - -110.1. Let c = -14.2 - q. Which is smaller: -0.1 or c?
c
Suppose 2*g = w, 3*w = -4*g - 0*w - 10. Let j be (g + -4 - -4) + 0. Which is smaller: j or 20?
j
Let j = 8113277/551841 - 20/19029. Let q = j - 44/3. Which is smaller: q or 0?
0
Let f(c) = c - 6. Let a be f(5). Suppose -91 = -3*y - 4*y. Let d = 13 - y. Which is bigger: d or a?
d
Let f = -4.22 + 4.593. Let s = -0.073 + f. Which is smaller: s or 11?
s
Let c = 2844/5 - 572. Let w = 11339.9 - 11340. Which is smaller: c or w?
c
Let b = 57 + -58. Let s = 17/2 - b. Which is greater: 11 or s?
11
Let t = -6 + -5. Let d be 2/((21/(-42))/((-2)/4)). Suppose 5*g - n = g - 33, 22 = -3*g - d*n. Are t and g equal?
False
Let d be (0 - 2/4)*12. Let t = d - -9. Suppose 3*s + 3*h = 12, 411*s + 4*h - 10 = 409*s. Is s at most as big as t?
True
Suppose 625 = -13*a - 207. Does a = -62?
False
Let k = 296 - 296.13. Let z = -19 - -98/5. Let g = 17/20 - z. Which is smaller: k or g?
k
Suppose 0 = -4*x - 4*t + 36, 5*x + 6 = 7*x - t. Let s = -32 + 30. Which is smaller: x or s?
s
Let a(p) = -p + 12. Let j be a(9). Let m = 5 - 8. Which is bigger: j or m?
j
Let v be (2/(-10))/((-16)/(-30)). Is v <= -1?
False
Let m be -2 + -1 + (-95)/(-32). Suppose 0 = -3*d - 4*g + 229, -75 = -3*d + 4*g + 194. Let j = d + -83. Which is smaller: m or j?
m
Let p(g) = -g + 11. Let h be p(5). Let w be ((-2)/h)/(4/(-60)). Let y be -3 - ((-3)/w + -3). Which is bigger: 0 or y?
y
Let f = 1/186 + 361/2046. Let c = 0.28 - 0.34. Let v = c + 0.06. Do v and f have the same value?
False
Suppose 614*y - 617*y - 3 = 0. Let v = -3.4 + -0.6. Is y != v?
True
Let i = -99.32 + 1.32. Let g = 94 + i. Which is smaller: g or -1/2?
g
Let g(m) = 2*m - 28. Let p be g(30). Is p > 30?
True
Let n be 74/21 + (-2)/3. Suppose 96 = -7475*g + 7507*g. Is n less than or equal to g?
True
Suppose -s + 11 = 5*d, 3*s + 2*d = -s + 8. Which is greater: s or 2/1941?
s
Let a = -73 - -129. Let v = -25 + a. Does -1 = v?
False
Suppose 4*b - 5*b + 54 = 0. Let j = b - -48. Let v be (-8)/j*27/(-18). Is 1/4 greater than v?
True
Let m be -5 + -1 - 1/((10 + -4)/(-30)). Let c be ((-6)/99)/((-7)/(-3)). Which is greater: m or c?
c
Let g = 13.55 + -15.55. Are g and 0.425 unequal?
True
Suppose -12*d + 131 - 143 = 0. Which is greater: -2/1097 or d?
-2/1097
Let a = -10.954 - 0.046. Let d = a - -10.9. Which is bigger: 0.1 or d?
0.1
Let t = 19 + -13. Suppose -3*g + 31*j + 18 = 29*j, 4*g - 2*j - 22 = 0. Is g at least t?
False
Let i(h) = -5*h**3 - 4*h**2 - 2*h + 1. Let b(w) = w**3 + w**2 - 1. Let p(t) = 4*b(t) + i(t). Let o be p(-1). Is 3/55 greater than o?
True
Let i(w) = w**2 + 5*w. Let l be i(-5). Which is bigger: l or -11/46?
l
Let b = 2 - -13. Let t = 8 - b. Is t < -5?
True
Let l(j) = -2*j**2 + 39*j - 9. Let d be l(18). Which is greater: 46 or d?
46
Let s = 22253/15 - 1482. Let k be 3/15*(-6)/(-9). Let v = k + s. Which is greater: v or 3?
3
Let j = -16.58 - -23.28. Is 0.02 equal to j?
False
Let h = 284 + -300. Is h greater than or equal to -18?
True
Suppose -7 - 3 = -5*l. Suppose l*q - k - 1 = -2, 2*k = 2*q. Is q less than 1?
True
Let j = 41 - -26. Let k = j + -45. Let y = -21.9 + k. Which is bigger: y or -2/3?
y
Let q = 654 + -653. Which is greater: -1/814 or q?
q
Let b be (-8)/(-3)*(-3)/(-2). Suppose -5*z = 10, 7*z - b*z = 5*x - 16. Suppose -f = f - x