hich is greater: w or a?
w
Suppose -32 = -i - b, -3*b = -5*b + 8. Is 53/2 less than i?
True
Suppose -3*c - 16*o + 13 = -15*o, o = 5*c - 11. Is -15 equal to c?
False
Suppose 4*f = -2*x, 2 + 6 = x - 2*f. Suppose 0 = n - x*m + 5 - 23, 5*n = 5*m + 15. Which is smaller: n or 0?
n
Let o(n) = 14*n**2 + 26*n + 52. Let z be o(-2). Which is greater: z or 273/5?
z
Suppose 4*c = 21*w - 22*w - 407, 0 = 4*w - c + 1543. Are w and -388 equal?
False
Let l = -31 + 30.96. Let i = 0.26 - l. Let t = -124/195 - 2/65. Is i < t?
False
Suppose -3*x - 29 = -41. Let r be (-3)/4 - (-179)/x. Let d be (-6)/r*(-28)/21. Do 1 and d have different values?
True
Let v(h) = -h**2 + 81. Let o be v(9). Let n = -3/89 - -279/356. Which is smaller: o or n?
o
Let n be (-11)/(-77)*0*(-2)/6. Which is smaller: 15/49 or n?
n
Let z be (-6 - (-62)/10) + (-2)/10. Is 14 at most z?
False
Suppose -2*b - 3 = -3*b. Suppose 3*g = b, -3*z - 2*z - 10 = 5*g. Is -2 greater than or equal to z?
True
Let j(c) = 14*c + 224. Let a be j(-16). Let h be 6/57*(0 + 1). Which is bigger: h or a?
h
Let t = 0 + 0.1. Let u = 0.1717 + -9.1717. Which is smaller: t or u?
u
Let o be 10/14*(24/10 + -2). Is o < 122?
True
Let h(x) = x - 1. Let n be h(5). Suppose n*m = 86 + 50. Suppose 0 = -3*i + 10 - m. Which is smaller: i or -9?
-9
Let m = -134 - -1472/11. Let v = 1.5 - -0.5. Let y = v - 1. Is m at most as big as y?
True
Suppose -2*h = 3*h - 3*w - 48, 0 = 5*h + 4*w - 76. Suppose j + 152 = 5*j. Suppose -1 = 2*g - 5, 4*r = 3*g + j. Are r and h equal?
False
Suppose 3*o - 2598 + 2604 = 0. Which is smaller: o or -13/6?
-13/6
Let m = -3 - -7. Suppose -3*u - i = -4*u, -i - 9 = -m*u. Suppose 2*c = -5*z + z - 14, u*z - 5*c = 22. Which is smaller: z or -2/9?
z
Suppose 2*y - 5*p + 1207 = 0, -708 = 2*y - 4*p + 500. Is y less than or equal to -605?
True
Let b = 498874/255 - 33246/17. Let n = b + -10/17. Which is smaller: n or 0?
0
Let u be ((-11)/(-2))/(2/(-4)). Which is smaller: 0.1 or u?
u
Let l = -6 - -13. Let q(s) = s - 15. Let y be q(l). Suppose 4*c + 28 = -0*c. Is c greater than or equal to y?
True
Let n be 260/(-525) + (-2)/(-5). Suppose 2*l + 8 = -2*o, 20*l - 17*l - 8*o = 32. Is l at most n?
False
Suppose -217 = -26*d + 7037. Which is bigger: 277 or d?
d
Let o = -25 - -25. Let c = -38/17 + 688/323. Is c less than o?
True
Let m be 3*(16/3)/((-28)/(-126)). Let p be (-2)/3*m/16. Which is smaller: 0.3 or p?
p
Let w = 164.99 + -165. Which is greater: 0.2 or w?
0.2
Let l = -54/5 + 11. Let z = -2 + 1.9. Let d = 0 + z. Which is bigger: d or l?
l
Let x(k) = k**2 - 6*k - 13. Let f be x(8). Suppose 3*w + 5*c = -154, -35 = f*w - 3*c + 103. Which is greater: w or -49?
w
Suppose -2*d - 3 = -d. Let w be 220/(-52) - 12/d. Let q = w - 1/52. Is q <= -2?
False
Let v(c) = -c**3 + 6*c**2 + 6*c + 8. Let w be v(7). Is 20/11 at most as big as w?
False
Let y(w) = -4*w - 1. Let m be y(-7). Let a = 14 + -14. Suppose a = -24*h + m*h - 30. Is 7 bigger than h?
False
Let h = -85 - -85. Let p be ((-155)/(-10) + h)*(-4)/2. Is p not equal to -31?
False
Let n be 1 + 0 + 0 + -9. Let u(w) = -2*w. Let c(i) = -4*i + 16. Let t be c(3). Let o be u(t). Is o < n?
False
Let x = 383 + -337. Is x at least as big as 224/5?
True
Let a be -16 - -2*(1 + -2). Let x be (2576/805)/((-2)/10). Which is greater: a or x?
x
Let c = -1140 + 1145. Which is smaller: c or 140/27?
c
Let s = 1074.53 + -1075. Are s and -5 non-equal?
True
Let p(a) = a**3 - 2*a + 93. Let g be p(0). Which is smaller: 92 or g?
92
Suppose -38 = -5*g + 2. Suppose 3*l = 4*q - 133, 5*l - g = -23. Do q and 31 have the same value?
True
Let d be ((-9)/30)/1*(-12)/(-117). Which is bigger: 0 or d?
0
Let k(a) = -a**3 + 11*a**2 + 10*a + 27. Let p be k(12). Suppose 0 = -p*f - m, 5*f + 12 = 2*f - 5*m. Are 2/15 and f non-equal?
True
Suppose o - d + 21 = 0, 5*o + 5*d + 99 = -16. Which is smaller: o or -18?
o
Suppose c - 718 = 4*o + o, 0 = -3*o + c - 430. Is -145 at least as big as o?
False
Let y(n) = -n**2 - 6*n - 2. Let q be y(-4). Let l(p) = -p + 2. Let h be l(q). Let m be (h + 8)*(-3)/(-12). Is -3/11 equal to m?
False
Let w = 4/205 - -941/4305. Let v = -68/7 + 10. Does v = w?
False
Let c(k) = -11*k + 7*k + 72 + 12*k + k**2 + 14*k. Let p be c(-16). Do p and -22 have the same value?
False
Suppose -5*n = -2*n - r - 12, -5*n - 4*r = -20. Let u(f) = f + 4 - 6 - 2. Let q be u(6). Which is smaller: q or n?
q
Let l = 208.96 - 209. Which is smaller: 16 or l?
l
Let s = 101.87 + -107. Let t = 0.13 + s. Which is greater: t or -7?
t
Let w = -177 - -178. Is 6/23 smaller than w?
True
Let z(u) = 2*u**3 - 6*u**2 + 9*u + 5. Let r(d) = -d**3 + 3*d**2 - 4*d - 2. Let h(t) = -13*r(t) - 6*z(t). Let i be h(4). Suppose -y = -i*y. Is -1/8 <= y?
True
Let k = 7.34 - 7. Let g = -0.1269 + 0.2269. Is g smaller than k?
True
Let g = -71/42 + -9/14. Suppose -s + 3*s + 2*m = -6, 2*m + 5 = -3*s. Let d be 3/(-4) - s/4. Is d at least g?
True
Let v be (-6)/(5 - 26/6). Is v greater than -3/5?
False
Let r = 0.06 - -11.94. Let i = 12.6 - r. Let f = -1.4 - i. Is f greater than -4/9?
False
Let h(i) = 63*i**2 - 8*i + 11. Let z be h(-7). Let n = 627648/199 - z. Which is smaller: -1 or n?
-1
Suppose -5*z - 5*r - 30 = 0, -r + 11 = -2*z - 4*r. Let b = -1/269 - 535/807. Which is smaller: z or b?
z
Let q(h) = h**3 + 3*h**2 - 6*h - 6. Let v be q(-4). Let o be 214/10 + v/(-5). Let u = o - 22. Is u at most as big as -2/45?
True
Let v = 12 - 13. Let p be (-1)/(-4) - 58/104. Which is smaller: v or p?
v
Let h(l) = 4*l**2 + l - 5 + 3 - l**3 - 8*l**2 + 2*l**3. Let a be h(4). Is 0 > a?
False
Let y(s) = -19*s**3 - 8*s**2 - 19*s - 7. Let q be y(-2). Which is smaller: q or 2/7?
2/7
Let c = 18 - 13. Let w = 13 - c. Suppose 2*t + 3*o - 16 = 0, 7*o + w = t + 3*o. Which is smaller: t or 9?
t
Let q(j) = -2*j**2 - 15*j - 5. Let d be q(-8). Let i be d/39 - 10/(-27). Is -1 at least as big as i?
False
Let t be -7 - (6 - 8) - (-147 + -1). Which is smaller: 142 or t?
142
Let i be (-5 + (-1)/5*0)/29. Is 0 <= i?
False
Let o(u) = -2*u - 5. Suppose 12*v = 8*v - 4. Let i be o(v). Which is bigger: -21/8 or i?
-21/8
Let k = 2.2 + -2.2. Let s = 2711 - 2731.49. Let g = 0.49 + s. Is k greater than g?
True
Suppose -38 = -4*k - 214. Let z = k + 42. Is -2 less than or equal to z?
True
Suppose -9 = -l + 2*r, -2*l = 7*r - 9*r - 10. Which is smaller: l or 2/195?
2/195
Let k be 1/(-6)*26119732/(-10). Let t = k + -435694. Let v = t - -365. Is 0 at most as big as v?
False
Let t(r) = -r**3 + 38*r**2 + 39*r + 10. Let v be t(39). Suppose -6*f + 2*f - 8 = 0. Let a be ((-6)/v)/(f/5). Is 2 greater than a?
True
Let y = 827 - 27307/33. Let b = y + 9/11. Is b smaller than 3.4?
True
Let c = 1 - 1. Let d = 66 - 83. Let g be d/(-26) - 2/4. Which is smaller: c or g?
c
Suppose 23*n = -91 - 254. Let y = -28 - -48. Let i = n + y. Which is smaller: 6 or i?
i
Let w be (-1428)/90 + -1 + 26/30. Let r = w + 23. Which is smaller: 6 or r?
6
Let w(f) = f**3 - 6*f**2 + 3*f - 4. Let n be 5*1 - (6 - 6). Let r be w(n). Let i be r/9*9/12. Which is greater: i or 0?
0
Let l be 160/9 + 4/18. Let y = 26 - l. Let x be (-1)/2 + (-4)/y. Which is greater: -4/3 or x?
x
Let l be (-15)/18*(-312)/80. Let z(g) = g**3 - 3*g**2 + 2*g + 6. Let r(i) = -i**2 + i + 1. Let w(f) = -3*r(f) + z(f). Let v be w(0). Which is smaller: l or v?
v
Suppose -5*y - 5*m + 20 = 0, 3*y - 28 = -2*y - m. Let d be (-5)/15 - 2 - (-2)/y. Which is smaller: d or -2/17?
d
Let m = -2.8476 + -0.4134. Let p = m - 0.809. Let u = -0.07 - p. Do u and -3 have the same value?
False
Let o be 76/(-2622)*(0 + 3). Which is bigger: o or 0?
0
Let d(b) = b - 1. Let p be d(-5). Let z be (8/p*9/10)/16. Which is bigger: 1 or z?
1
Let n be ((-1)/6)/((-48)/288). Do 4/79 and n have different values?
True
Let f be (-20)/(-130) - 2696/(-52). Is f at least as big as 51?
True
Let w be -2*4/(5 - (4 + 3)). Let y be (-2)/(-1) + (-5)/(w - -1). Let j be 1 - ((-48)/(-23) + -1). Which is greater: y or j?
y
Let n = -83 + 76. Is -11/2 equal to n?
False
Let o be 2610/208 - 144/(-384). Which is bigger: o or 12?
o
Let g(v) = v**3 - 7*v**2 + 8*v + 4. Let n be g(6). Suppose -a + 2*l - 11 = -0*a, n = -4*a + l. Is a at most as big as -9/4?
True
Let j = 76/9 + -398/45. Let g = 68 + -48. Let q be 5/g*0*1. Does j = q?
False
Let h = 110 - 110.004. Let i = -0.104 - h. Which is smaller: -6/17 or i?
-6/17
Let t be (-4)/((-16)/10