*f - 24, -a + 6*a = -5*f - 30. Let t = 0.25 - 0.2. Let m = 3.05 - t. Which is greater: a or m?
m
Let q = -67 - -68.7. Let r = q - 1.9. Which is smaller: r or 1.2?
r
Let s(g) = -g - 1. Let z be (10/(-10))/((-1)/(-4)). Let h(j) = 3*j + 4. Let d(t) = z*s(t) - h(t). Let a be d(-5). Is -5 at most a?
True
Let c(t) = -2*t + 10. Let y be c(5). Let f be 1/(1 + 0 + y). Are f and 2/5 unequal?
True
Let n = 37 - 47. Let g(x) = x**2 + 10*x. Let b be g(n). Which is greater: 4/3 or b?
4/3
Let w = 26.029 - 0.029. Let f = 34.1 - 60.2. Let a = f + w. Which is smaller: a or -2/11?
-2/11
Let l be 0 + 2 + 5 + -5. Let h be (-4 + 5)/(5/1819). Let a = 365 - h. Which is smaller: l or a?
a
Let t = -6 - -8. Suppose 0*i = -i - 4, 5*i = 3*y + 31. Let q = -15 - y. Is q at least as big as t?
True
Suppose 3 = -3*b - 0*m + 2*m, 0 = -2*m. Let p = 7/107032 - 33916559/107032. Let z = p - -317. Is b greater than z?
False
Let i = 66 + -48. Suppose 0 = -4*x + i - 50. Which is greater: -5 or x?
-5
Let n = 14789 - 14763. Let s(m) = -5*m + 21. Let r(h) = 14*h - 64. Let d(q) = -4*r(q) - 11*s(q). Let p be d(0). Which is smaller: n or p?
p
Let t be 2/4 - (-1 - 0). Suppose 3*y = -2*k + 25, -y + 3 + 3 = 3*k. Suppose 2*p + 4*v + y = p, 5*p - 24 = 3*v. Which is smaller: t or p?
t
Let o = -1.41 + -0.09. Let v = o - -5.5. Is v less than or equal to 2?
False
Let q = -2225 + 1165901/524. Is q less than -1?
False
Let k = 10 + -5. Suppose -k*a = -0*a + 5. Which is bigger: -2 or a?
a
Let g = 49/3 - 17. Let i = 24 - 13. Which is bigger: g or i?
i
Let n be 2/(3/(-3) - -2). Suppose 0 = -5*p - 8 - n. Let q be (3/6)/(20/(-96)). Which is smaller: q or p?
q
Let z(b) = -b + 21. Let g be z(16). Suppose -g*m = 35 - 135. Which is bigger: m or 21?
21
Let s(i) = i**3 - 3*i**2 - 3*i - 3. Let p = -22 - -24. Let g = p + -4. Let q be s(g). Is -18 less than or equal to q?
True
Let z = -80 + 81. Suppose 2*v = z - 7. Are -3 and v equal?
True
Let d = 2630/399 + -118/19. Let h(g) = g**3 - g**2 + 2*g. Let i be h(0). Is i smaller than d?
True
Let i = -18 + 42. Suppose 25*v + 2 = i*v. Let p = -1/59 - 293/118. Is p < v?
True
Suppose 3*r - 4 = 20. Let z be 51/6 - (-10)/15. Is z greater than r?
True
Suppose -2*t - 10 = 3*t. Let q = 89 + -90. Let z be q*(-15)/(-20) + 2/8. Which is smaller: t or z?
t
Let o(q) = -q**2 + 9*q - 5. Let i be o(11). Let k = -24 - i. Let p be 0 - 0/(5 - k). Is -0.02 greater than p?
False
Let f be 12/15 - 16/(-5). Let v be (-34)/(-255)*5806/f. Let x = v - 193. Is x less than 1?
True
Let v be ((-18)/(-8))/((-3)/(-8)). Suppose c = 3*a - 22, a - 3*c = -4*c + 6. Suppose a = -m + 13. Is m != v?
False
Let v = 22 + -38. Let f = -19 - v. Which is greater: 1/10 or f?
1/10
Suppose -3*y + 167 = p, y = 5*y + 2*p - 222. Let l be 3/y + 24/42. Is 0 > l?
False
Let v(n) = 108*n + 9. Let q be v(10). Let p = q + -29393/27. Is 0 equal to p?
False
Let n = 571.169 - 571. Which is smaller: 0 or n?
0
Let s be ((-9)/(-12))/((-4)/(-96)). Let k be 2 - 2/s*(15 - 0). Is k at most as big as 1/3?
True
Suppose 2*g + 68 = 3*b, -4*b + 5*g - g + 96 = 0. Suppose -3*r - 5*w = b, -5*r - 3*w - w - 16 = 0. Let n be (3/2)/((-5)/(-4)). Which is smaller: n or r?
r
Let j = -3/25 + 98/25. Which is bigger: j or 0?
j
Let a = 0.055 + -0.043. Let f = a + 0.008. Which is smaller: f or -1/6?
-1/6
Suppose 0 = -2*d + 5*l - 9*l - 96, -3*d - 123 = -l. Which is greater: d or -43?
d
Let n(m) = 15*m**2 - 80*m + 2. Let v(g) = -2*g**2 + g. Let i(y) = -n(y) - 5*v(y). Let w be i(15). Is -5 smaller than w?
True
Let i = -2.8 - 15.2. Let h = 144 - 142. Is i bigger than h?
False
Let u = 4231/1540 + 1/385. Let c = u + -43/20. Let m = 1195 - 1194.8. Which is bigger: m or c?
c
Let n = 5161 + -5186.69. Let j = n - -17.7. Let q = -0.01 + j. Is 1 less than q?
False
Let p(v) be the second derivative of 2*v**2 + 1/12*v**4 + 3/2*v**3 + 0 - 4*v. Let r be p(-8). Is -0.1 at most as big as r?
False
Let c(x) = -3*x + 17. Let b be c(9). Let r = -31 - b. Which is smaller: r or -1?
r
Suppose -4*z + 10 = -2, 5*b = 4*z - 97. Which is bigger: b or -18?
b
Let q be (-6 + 122/24)*-12. Which is smaller: q or 27?
q
Let j = 2/601 - -1192/3005. Let f = -719/9 - -80. Is f at most j?
True
Let b = -93 + 85. Let u be (0 - b/180)/(1/(-24)). Which is bigger: -1 or u?
-1
Let w(m) = 151*m**3 + 3*m + 2 + 7*m - 150*m**3 - 7*m**2. Let x be w(5). Let k = -2 - -5. Is x at least as big as k?
False
Suppose -7 - 10 = 17*t. Is t at most -10/41?
True
Suppose 6*d = 28*d - 44. Let h(f) = -f**3 - f**2 - 3*f - 2. Let w be h(0). Is w greater than d?
False
Let p = -41 + 30.3. Let h = 11 + p. Let l = 1.7 + h. Is l less than or equal to -0.9?
False
Let b = 212 + -225. Is 2 equal to b?
False
Let a be (7/2)/1 - (-2)/(-4). Suppose -a*v = 4 - 13. Which is smaller: 2 or v?
2
Let g(j) = -4*j - 13. Suppose 6*p + 11 = 3*p + i, 4*i - 5 = -p. Let n be g(p). Let o be (-2)/33 + -1 + 1. Is o at most as big as n?
False
Let a be 3046/(-8) - 9/(-12). Let d be 20445/a - (-3)/4. Let s = d - -53. Which is smaller: 0 or s?
s
Let w(t) = t + 9. Let p be w(-4). Suppose -3 = -2*q - p. Which is smaller: q or -1/20?
q
Let a be (-2)/(-11) - (-2610)/(-12540). Let h(c) = c - 10. Let d be h(9). Which is smaller: d or a?
d
Let i = -8 + 5. Let u be ((-1)/(-4))/(i/(-12)). Suppose 0 = -0*a + 2*a + 2, 4*b = -a - u. Is 1 bigger than b?
True
Let z = -29/6 + 11/2. Let h = 3.2 + -3.3. Is h greater than z?
False
Let u be 0/(3 + -3 + -2). Suppose 5*x + 7 - 37 = u. Suppose -1 + x = -w. Is w at least as big as -5?
True
Suppose 14*q - 3*q - 11 = 0. Which is smaller: 4/27 or q?
4/27
Let s be (-13 - -9 - -3)*3/(-183). Which is smaller: s or 1?
s
Let w = -149 - -214. Which is greater: 67 or w?
67
Suppose -44 = -2*b + 2532. Let q = b - 122358/95. Which is smaller: 1 or q?
q
Let y be 2 - -2 - (-3 + 7). Let s(z) = 3*z**2 - 4*z + 3. Let k be s(1). Suppose -k = 2*u - y. Which is smaller: u or -3/7?
u
Suppose -5*w = -2*c + 205, -6*w - 435 = -4*c - w. Let v = c + -66. Suppose -d + 5*a = 2*d + v, -3*d = 2*a + 77. Do -23 and d have different values?
False
Let r = 4 + -2. Suppose r*a - 15 = -1. Suppose a*n - 2*n = -4*h - 13, 0 = n + 4*h + 9. Do n and -1/15 have the same value?
False
Let g be (6/12)/((-35726)/(-8)). Let f = 10950009/89315 + g. Let j = 122 - f. Which is greater: j or 0?
0
Let v be 408/544*108/14. Which is greater: 5 or v?
v
Let c = 2.9 + -2.8. Let o = 12.5 - 0.5. Let j = o + -9. Is j < c?
False
Let m(s) = s**3 + 16*s**2 - 12*s + 45. Let p(n) = n**3 + 15*n**2 - 11*n + 45. Let z(v) = 3*m(v) - 2*p(v). Let r be z(-19). Is r greater than -50?
False
Let i = 54 + -112. Let o be (i/30 - -2)/(6/36). Is 61 >= o?
True
Suppose -4*q + 3 = -29. Let t be (-3 - 1)*(2 - 0)/4. Let p be (-2*(-4)/q)/t. Which is bigger: -2 or p?
p
Let f(n) = n + 5. Let a = -4 + 8. Suppose 0*m - 5*t = -3*m + 5, -2 = -a*m + 2*t. Let d be f(m). Do d and 5 have different values?
False
Suppose -16 = r - 3*r - m, 18 = 4*r - 5*m. Let g be 186*(2 + (105/(-9))/r). Which is greater: 61 or g?
g
Let k = -213.05 - -213. Are k and 0.4 equal?
False
Let n(u) = -u - 10*u + 0*u. Let v be n(0). Which is greater: v or -6/31?
v
Suppose -3*x + 0 = 4*m + 45, 2*m - 2*x + 40 = 0. Let y be (-5)/m - (-86)/3. Is 28 greater than y?
False
Let s be (-3)/((-9)/6) + 1. Suppose -s*o - 5 + 8 = 0. Is o at least -2/89?
True
Let f be -248 + (18/3 - 4). Let c be f/15 - (-12)/30. Let i be (-7)/(14/(-8)) + -19. Are c and i equal?
False
Let p = 200 - 190.6. Which is greater: p or -2/5?
p
Let s = 27 + -27.08. Let m = -127/40 + 27/8. Which is greater: m or s?
m
Suppose 2*w = -2*x + 4, 2*x = -w + 6*w - 17. Let j = 1/6056 - -423879/248296. Let b = j + 2/287. Which is smaller: b or w?
b
Let s(u) = -u + 13. Let v be s(14). Which is smaller: 3/88 or v?
v
Suppose -w - 4*w = -325. Suppose -5*p = -5*x - w, 2*x + 1 = x - 2*p. Is x bigger than -9?
False
Suppose 4*h + 2 + 2 = 0. Let c be (-119)/(-68) + 10/(-8). Which is smaller: h or c?
h
Let t = -935 + 935.59. Is t at most as big as -3/2?
False
Let i = 654 + -624. Let k = 1 + -1. Which is smaller: k or i?
k
Let o = 1 + 11. Let n(m) = 4*m + 19. Let v(b) = -9*b - 39. Let j(d) = 5*n(d) + 3*v(d). Let z be j(-5). Which is smaller: o or z?
o
Suppose 2*h + 47 = 3*f, 0*f - 3*h + 27 = 3*f. Suppose 4*j - m + 4*m = 33, -50 = -5*j - 2*m. Which is greater: f or j?
f
Let z be -3 + 6 + 0 + -4 + 13. Let f = -6 +