-0.2852. Which is smaller: 0.2 or a?
0.2
Let d = 24 - 22. Suppose -5*u = b + 4*b - 25, -d*b = -3*u - 5. Let c be u/(-6) - (-213)/(-18). Which is bigger: c or -10?
-10
Let l be (180/315)/((-1478)/(-7)). Which is smaller: 0 or l?
0
Let u(g) = g**2 + 12*g - 7. Let f be u(-12). Let x = f + -3. Do -10 and x have the same value?
True
Let y(v) = 12*v - 3*v + 15 - 8*v. Let s be y(-13). Let z be ((-1)/s)/((-3)/(-12)). Is z at most as big as -1?
True
Suppose 4*r = 4*m - 584, 2*r - 3*r - 578 = -4*m. Let a = -155 + m. Is -69/7 bigger than a?
True
Let g = -5/4 + 3/2. Suppose i = 4*i. Suppose i = 8*d - 7*d. Which is bigger: d or g?
g
Let v be 1/(1/6) + -470 + 459. Which is bigger: -81/20 or v?
-81/20
Let r = 0.13 + 3.27. Let j = r - 4.4. Which is greater: j or 8?
8
Let c(m) = -3*m - 20. Let k be c(-6). Let s be (-27 - -1)*(k - -1). Which is bigger: s or -0.2?
s
Let v be (12/30)/(7/(35/3272)). Does v = -1?
False
Let h(p) = -p**3 + 3*p**2 + 6*p - 4. Suppose -5*r - 5*m = -15, 5*r + m - 8 = 3*r. Let l be h(r). Let t be 6/l - 2/4. Do -1 and t have the same value?
False
Suppose -2*z - i = -19, 16*i = 3*z + 14*i - 32. Suppose 0 = -3*p + 31 - 7. Is z at most as big as p?
False
Let m be (0/1*-1)/3. Let v be m - ((-26)/(-12))/13. Which is greater: v or 2?
2
Let f = -74 - -94. Let l = f - 10. Is l <= 8?
False
Suppose -5*s - 30 = 5*j, 5*j - 4*s = 7 - 55. Suppose -3*m = -4*m - 1. Are m and j equal?
False
Let t = 289 + -288.9. Let l = 0.05 - -0.12. Is t greater than or equal to l?
False
Let v = -4 + 4.4. Let r = 2.352 + 0.008. Let s = r - 0.36. Is v >= s?
False
Suppose 6*l + 36 = 10*l. Suppose 22 = -2*u + h - 2*h, -6 = 2*u - 3*h. Let n = u - -20. Which is greater: n or l?
n
Suppose 2*i = 4*i + 6. Let u be (-3 - -1) + i - -5. Which is smaller: u or -4/57?
-4/57
Suppose 14 = 4*f + 3*d, -2*f = 3*f - 5*d - 35. Suppose -f*v = -4 - 1. Let x be 5 - (0 - v)*2. Which is smaller: x or 6?
6
Let w(c) = 18*c - 75. Let a be w(7). Which is smaller: a or 201/4?
201/4
Suppose -1230 = -42*m + m. Which is smaller: m or 29?
29
Let k be (-9)/90 + 1404/40. Which is smaller: 173/5 or k?
173/5
Let x be 15/1*(-91)/(-65). Is 21 at least as big as x?
True
Suppose 0 = 5*i + 35 - 20. Let s be (-105)/(((-44)/454)/2). Let v = s + -2169. Are i and v non-equal?
True
Suppose 221 = -5*g + 61. Let y = 12 + g. Let x = y - -12. Is -6 < x?
False
Let b(l) = 2*l**3 - 12*l**2 + l - 5. Let d be b(6). Let f be 15/4 - (-30)/(-40). Is f equal to d?
False
Suppose 2*n = 2*o - 4, 2*n - 2 + 8 = 0. Let r = -274431705/49 - -5599430. Let k = r - -1217. Is o at most k?
True
Suppose -5 = k - 3*k + q, 5*q + 11 = -4*k. Which is smaller: k or 68?
k
Let f be 161/(-966)*(-2 + 418/(-34)). Does f = 3?
False
Let b = 8 + -6. Let r be ((-4)/(-12))/((-1)/(-3)). Let x = r - b. Which is smaller: x or 1/8?
x
Let j = -25 - -21. Let m be -1 + j/(-1) + -2. Is m at least as big as -2/45?
True
Let d = 88/3 + -30. Is d at most -41?
False
Let y = -525 + 3678/7. Which is smaller: y or 0.053?
0.053
Let f(d) = -d**2 + 10. Let s be f(3). Suppose 0*y - 2 = 2*y. Let z be y - ((-28)/24)/s. Which is greater: z or -1?
z
Let k(u) = -u**2 + 17*u + 2. Let s be k(17). Let p be (57/(-6))/(s/(-4)). Let m(r) = r**3 - 20*r**2 + 18*r + 27. Let o be m(p). Which is greater: o or 7?
o
Let m be (2/(-1111))/(-2)*(0 + -2). Is 1 != m?
True
Let f be 2/39 - (-10)/(-15). Are f and 2 equal?
False
Suppose 13*d - 200 = 18*d. Let b = 37 + d. Is -11 <= b?
True
Suppose 2*m + 0*m - 222 = 0. Suppose m = -3*g + 12. Which is smaller: -32 or g?
g
Let b be 13 + 18/(-3) - (2 + 4). Let r be (-2)/5 + 64/110. Is b greater than r?
True
Let q = -2.76 - -3.2. Let v = q - -2.66. Which is bigger: v or 0.1?
v
Suppose 210 = -5*r + 205. Which is smaller: -29 or r?
-29
Suppose -42 = -3*m - 3*w, 0*m + 3*w = 5*m - 54. Let a be m/8*6/(-9). Let f = -1 - a. Which is smaller: f or 4/5?
f
Let y be (51/(-21) - 15/(-35)) + -10. Let a = y - -12. Is -3/25 > a?
False
Let p be (-46 - -21)*2*2. Which is smaller: p or -101?
-101
Let a(y) = -y + 4. Let b be a(7). Let p be ((-16)/140)/(b/75). Is 3 > p?
True
Let j be (1 + 0)*(-1 - 25). Let o(n) = -n**3 - 8*n**2 - 241*n - 1663. Let s be o(-7). Which is smaller: s or j?
j
Let j be (-2)/((-3 - 1) + 2). Let q be (7/2)/(3/(-6)). Let v be (-4)/q*35/30. Which is greater: j or v?
j
Let c = 161 + -162. Which is smaller: -6/31 or c?
c
Let n = 861 + -861. Is n less than or equal to 359?
True
Let m be 1 + (16 - 1) + 3. Suppose m*y - 16*y - 18 = 0. Is 5 <= y?
True
Let b = 233 - 230.42. Let z = b + -0.58. Is -29 != z?
True
Suppose -34 = -5*a + 36. Let x be (-50)/(-8) - 4/16. Suppose 5*k = -5*y + 85, x*y + k - 77 = y. Is y greater than or equal to a?
True
Suppose 4*k - 5*g - 11 = 33, -5*g = k - 11. Suppose 35 = 3*o + 5. Does o = k?
False
Let z be (0 + 7)*(-2)/(-7). Let a = -4 + z. Let i = -0.1 + -0.1. Is i less than a?
False
Let c be 1216/(-1463) + 18/33. Which is smaller: c or -1.47?
-1.47
Let b = 15/319 - 5179/1595. Is -3 at least b?
True
Let d be 4/18 + 6/(-27). Suppose 5*o - 6 - 4 = d. Let i be o/6*(-12)/32. Is -1 > i?
False
Let b be 314/(-36) - (-6)/(-4). Which is bigger: b or -11?
b
Let x = 4/209 + -430/627. Is x smaller than 36?
True
Let v = -88 + 88.4. Let m = 0.02 + 0.02. Let i = 0.06 + m. Does v = i?
False
Let d = -99 + 97.2. Let g = -0.06 - 1.94. Let z = g - d. Is z bigger than -0.2?
False
Let t be ((-8)/(-3))/(2/(-6)). Suppose 1547*r - 1503*r = -264. Which is smaller: t or r?
t
Suppose -5*z = 5*h - 0*h - 70, -2*h + 4 = -4*z. Suppose 31 = -r + h. Let j = r + 18. Is -1 at least as big as j?
True
Suppose 4*r = -3*v + 50, -5*r + 20 = -5. Suppose 0 = -i + 3 + v. Let d = 7 - i. Does -6 = d?
True
Suppose -9*i + 10*i = 4. Suppose -5*j + 2*k = k - 21, -3*k = -i*j + 8. Suppose -5*a - j = -0. Does -1/27 = a?
False
Let m = 8 - 7. Let o be (8/10)/(m/5). Suppose -w = 2*g - 10, 4*w + g - o*g + 15 = 0. Are w and -1/2 non-equal?
True
Let a = -311 + 311. Is a at least as big as 38?
False
Suppose 23*c + 12 = 27*c. Suppose -9 + 12 = c*s. Which is bigger: 16/13 or s?
16/13
Let t = -41/1620 - -7/324. Is t <= -1?
False
Suppose f = 5*b - 3*f - 43, 0 = -4*b + 5*f + 38. Do b and 40/7 have different values?
True
Let t(i) = i + 11. Let u be t(-11). Let l be (57/21 - 3) + 110/287. Let a = 213/1763 - l. Is a greater than or equal to u?
True
Let a = 169 - 168.6. Let d = -9.4 + 8. Let p = d + a. Is p equal to -12?
False
Suppose -4*b - 46 = 2*a, 5*a - 2*b = -7*b - 95. Which is smaller: -13 or a?
a
Let x(k) = 3*k**2 - 2*k + 2. Let c be x(2). Suppose -2*a - 5*i = -0*i - 40, -5*i + c = -a. Let l(s) = s**2 + 10. Let m be l(0). Is m at most a?
True
Suppose -k = 6 - 7. Let p be k + (46/38 - 2). Suppose 5*c - 9*c = 0. Are c and p nonequal?
True
Let m(x) = -x**3 + 9*x**2. Let c be m(9). Suppose -2*n - 1 = a, -4*n - 5 = -c*a + 3*a. Which is smaller: 2/31 or n?
2/31
Suppose -46 + 24 = 11*p. Let x = -12 + 12.09. Is x bigger than p?
True
Let g = -224855/26072 + -2/3259. Which is smaller: g or -8?
g
Let v = 36 + -57. Let u = 29 + -18. Let m = u + v. Is 0 bigger than m?
True
Suppose 3*m - 3*d = 18, 5*m + 1 = -3*d + 23. Let f be (-8)/12 + (-58)/(-12). Which is greater: f or m?
m
Let t be 0 + -3 - (-3386)/28. Let s = -118 + t. Let z be 1*(0 + 0) - -1. Which is bigger: z or s?
z
Let n be 12/16 - 777/12. Let f = n + 447/7. Let k be (-1)/(-5) - (-5)/(-25). Which is smaller: f or k?
f
Let z(s) = -5*s**3 + 2*s**2 - 2*s + 3. Let w be z(2). Let v be w/(-39) - (0 - -1). Which is smaller: v or -0.2?
-0.2
Let q be (-18)/(-6) + (-2 - -3). Suppose q*m = x + 28, 2*x = 2*m - 12 - 8. Which is greater: m or 27/5?
m
Let x = -1072 + 1067. Is x at least as big as -8?
True
Let i be 19/(-4) - (-4)/(-16). Let b be i + (-3)/6*-2. Let w be 1/(-3) + 3 + b. Which is smaller: -1 or w?
w
Let m be ((-16)/24)/(3/(-108)). Suppose -3*z = -m + 99. Which is smaller: -26 or z?
-26
Let j = -296/17 - -2848/187. Let x(n) = n - 1. Let f be x(-1). Is f >= j?
True
Suppose 0 = 15*s - 2291 + 401. Which is smaller: s or 127?
s
Let g = -1 - -2. Let u = -333 + 323.32. Let c = 0.32 - u. Which is bigger: g or c?
c
Let q = 2 - -1. Let w(x) = -x**3 + 5*x**2 - 5*x + 8. Let v be w(4). Suppose v*p - 24 = j - p, -17 = -2*j - q*p. Is j < 0?
False
Let t = -2.13 - 0.11. Let x = t - -3.21. Let p = x + 0.03. Which is greater: p or -3?
p
Suppose 0 = -3*v + 14 + 7. Let l