e 185/(-111)*33/(-5). Which is smaller: t or s?
t
Let p(h) = -2*h + 13. Let i be p(5). Suppose i*t + 2*t + 95 = 0. Does 2 = t?
False
Suppose -30 = 2*u - 5*u. Let n(q) = -q**3 + 10*q**2 + q - 6. Let b be n(u). Suppose 0 = -2*c - 2*c - b. Is -4/5 < c?
False
Let z be (-1)/(-3)*(1 + -13 + 3). Let q be 0 + z + 95/25. Is -3 equal to q?
False
Let h(q) = 30*q - 90. Let a be h(4). Is 88/3 bigger than a?
False
Suppose 3*m - 541 = h, -2*h - 644 = -5*m + 433. Is -527 < h?
True
Let z = -27 + 48. Let o be ((-28)/z)/((-4)/(-30)). Do o and -10 have different values?
False
Let l = 15.1 - 17. Let m = 2.1 - l. Which is bigger: m or -1?
m
Let i = -29 + 37. Let y = 22 - 14. Is i smaller than y?
False
Suppose 5*w - 9*w + 48 = 0. Let c be -1*0*4/w. Is 6/7 > c?
True
Let j = 837.6 + -832. Which is smaller: j or -1/6?
-1/6
Let c(s) = -s**3 + 11*s**2 + 13*s - 11. Suppose -4*t + 44 = 2*m, -5*m = 5*t + 22 - 72. Let u be c(t). Suppose -2*f = -2 - 2. Are f and u equal?
False
Let b(s) = s**2 - 10*s - 24. Let a be b(-10). Suppose -4*o + a = -4*z, -3*o - 15 = 3*z + 111. Are z and -43 equal?
True
Let t = 27/2 - 13. Is t smaller than 1?
True
Let f = 49.88 - 49. Let j = f + -1. Let k = j + 0.22. Which is smaller: k or 1?
k
Suppose -2*h + 20 = 3*h. Suppose 5*y + 3*c + 6 = -h, -2 = y + 5*c. Suppose 3 = -4*r - 5. Is r not equal to y?
False
Let j(n) = n**3 + n**2 + 2. Let t be j(-2). Let r be 2/(3/t*-6). Let c be (-6)/(-9) - 8/21. Which is greater: c or r?
c
Suppose 2*f - 10 = 5*h + 3, 0 = 5*f + h - 73. Is f at most 40/3?
False
Let y = -63 + 25. Let z = -38 - y. Let n be (-11)/(-12) - 2/3. Is z < n?
True
Let m(g) = 2*g**2 - 5*g - 8. Let q be m(6). Suppose o + 29 + q = 0. Let f be 16/7 - (-18)/o. Are 8/5 and f equal?
False
Let h(r) = -r**3 + 18*r**2 - 47*r + 37. Let b be h(15). Is b < -1/3?
False
Let f = 108 - -15. Let t = 169 - f. Is t at least as big as 46?
True
Let q = -358 + 341. Which is smaller: -21 or q?
-21
Let p be ((-8)/10)/(-2) - 624/910. Which is smaller: 0.138 or p?
p
Suppose -12*t = -15*t - 12. Let q be 1 + -2 + -3 - t. Which is smaller: q or 2/55?
q
Suppose -8 = 2*m, -3*o - 5*m = -89 - 59. Let z = o - 514/9. Let s = -23/45 - z. Is -1 smaller than s?
True
Let v = -81 - -84. Suppose n = -v*n + 52. Is 13 bigger than n?
False
Let w be 2/3*150/20. Let g be (-2)/(1 - w/10). Let k = -6 + 3. Which is smaller: g or k?
g
Suppose -4*j - 719 + 2579 = 0. Let i be (20/j)/(4/(-36)). Which is smaller: i or 0?
i
Let f(p) = p**3 - 28*p**2 + 22*p + 128. Let v be f(27). Which is smaller: -9 or v?
-9
Let g = -92 + 91. Let a(p) = -p**3 + 4*p**2 - 2*p. Let r be a(4). Let z be (r/20)/(4/(-10)). Which is smaller: g or z?
g
Suppose d - 9 = -2*d. Let c(g) = g**2 - 3*g - 6. Let a be c(5). Suppose 0 = -w - d*w + a. Which is smaller: 3/8 or w?
3/8
Let y be (-1 - 1)*56/16. Let h = 3 - y. Do 10 and h have different values?
False
Let g be ((-45)/(-111))/(-3)*1. Let o = g - -109/259. Let p = -11/80 + 1/80. Which is smaller: o or p?
p
Let g = -282 + 283. Is g less than or equal to -1/234?
False
Suppose 3*x + 91 = 4*m + 23, -2*m - 5*x + 8 = 0. Let r be (m/4 + -3)*-10. Which is greater: r or 5?
5
Let z = 2.63 + 237.34. Let w = z - 251. Let o = w - -0.03. Which is smaller: o or 0?
o
Suppose 0 = -26*x - 2*x + 140. Which is bigger: -15 or x?
x
Suppose -10*p - 552 = -12*p. Let r = -7451/27 + p. Is 1 < r?
False
Let i be -3 + 0 + 14982/44. Which is smaller: i or 338?
i
Let r(a) = -8*a**2 + 5*a - 4. Let h be r(2). Let c = h - -51/2. Which is greater: -2/9 or c?
-2/9
Let f = -1.9 + 3.3. Let i = f - 1.4. Which is greater: i or -0.02?
i
Let q(m) = m - 15. Let b be q(7). Let u = -8 - b. Let w be 44/105 - 10/75. Which is bigger: w or u?
w
Suppose -20 = 4*j - 0*j. Let m be (-52)/(-13)*j/7. Is m greater than or equal to -3?
True
Let f be (-42)/(-7) + -16 - -6. Is -2 < f?
False
Suppose -y + 48 = y. Suppose 47 = m + 65. Let x = m + y. Are x and 4 unequal?
True
Let i = 1135 + -1145. Are -14 and i unequal?
True
Let h = 313 + -313. Are -70 and h equal?
False
Let k = -896 - -892. Let x = -0.03 + -1.97. Let i = x + 1. Which is smaller: i or k?
k
Let q(x) = x**2 + x - 7. Let j be q(-3). Let g(k) = 2*k**3 - 2*k**2 - 3*k. Let i be g(j). Which is smaller: -1/36 or i?
i
Suppose 3*r + 3*d = 6, 5*d - 4*d = -3*r. Let w be 0/(4/((-2)/r)). Is w greater than or equal to 1/61?
False
Suppose 3*o + 1024 - 1951 = 0. Is 310 less than o?
False
Let r = 1305/2 + -2671/4. Is -1 equal to r?
False
Let x = 66 - 61. Suppose 2*c + 3*w = 25, 0*w + x = c + 4*w. Do 17 and c have different values?
False
Let f = -48 - -45.3. Let u be 3 + -3 + -3 + 1 + 3. Which is bigger: f or u?
u
Suppose -f - b + 4 = 0, 3*b = -4*f + 4*b + 16. Suppose -1 + 21 = f*k. Which is greater: k or 2?
k
Suppose -3*w + 3 = -3*b, 0*b = 2*w - b - 3. Let n(q) = -5*q + 8. Let m be n(w). Is -0.1 <= m?
False
Let m be ((-24)/118)/(-1) + 0/(-34). Which is greater: m or 0?
m
Let f = 7.2 - -12.5. Let u = f - 20. Let t = u + 0.3. Is 0 at least t?
True
Let y = -230.2 + 230. Which is smaller: 151 or y?
y
Let s(b) = -b**3 + 8*b**2 - b + 12. Let g be s(8). Suppose 2*y - 37 = w + 18, w + 3 = 0. Let q = y + -24. Which is greater: q or g?
g
Let n = 15.7 - 16. Let o = -1.7 + n. Let b = -25/4 + 71/12. Is o at most b?
True
Let r = 0.1325 + -0.0325. Is 256 bigger than r?
True
Let b be (-4)/((-4)/3) - (-55)/11. Suppose b*v + 5 = 5*f + 4*v, 3*v = 0. Which is smaller: f or -3/5?
-3/5
Let u be (-210)/63*(-6)/8*10. Is 95/4 < u?
True
Let o = 25 - 19. Suppose -r = -o*r + 55. Suppose -3*v + 2 = r. Do -2 and v have the same value?
False
Let h = 38 - -15. Let u = -213/4 + h. Which is smaller: u or -20?
-20
Let l = -246 + 269. Which is smaller: 156/7 or l?
156/7
Let b = 3.9841 - -0.0159. Which is smaller: b or 0.5?
0.5
Let q = 59 - 61. Is q equal to -33/13?
False
Let r = 3329 - 3327. Let m be 4/(-6) + (-7)/(-2). Is m less than r?
False
Let s = -0.46 - -1.18. Let i = s + -0.72. Which is greater: -49 or i?
i
Let c(w) = -w**2 - 3*w - 1. Let f be c(-2). Let a = f - 0. Let v be (-2 + a)/((-10)/4). Which is greater: -10 or v?
v
Suppose -5*b = -4*s + 41, 2*s - 13 = 5*s + 5*b. Are -1 and s nonequal?
True
Let w(o) = 2*o**2 + 3*o - 17. Let p be w(3). Suppose 0 = 4*b - k - 9 + 56, 2*k - p = b. Do -6 and b have the same value?
False
Let u be 15*(66/(-15) + 4). Let b be 2/(-8) - 9/(-4). Suppose 0 = -3*p - b - 13. Are u and p unequal?
True
Let d(i) = -i**3 + 28*i**2 + 52*i - 75. Let q be d(28). Is 1381 greater than or equal to q?
True
Let i = -2156.7 + 2157. Is i <= 42.7?
True
Let r = -10.24 - -11. Let t = r + 0.24. Are t and -4 equal?
False
Let i = 47 + -47.15. Let u = -15.35 - -15. Let y = u - i. Which is bigger: 1 or y?
1
Suppose 2*q = k - 48, -2*q - 96 = 2*q - 3*k. Let d be q + 5/(-1 + 0). Which is smaller: d or -27?
d
Suppose -8 = -3*p + 7. Suppose -4*l + 24 = 4*g, 4*l - p*g = l - 6. Let m(y) = y**3 - 3*y**2 + 4*y - 1. Let i be m(l). Are i and 10 equal?
False
Let t be ((-185)/15)/((-21)/18 - -2). Let m = t - -691/45. Suppose -3*l - 3*p = 3, 5*l + 4*p + 3 = -1. Is m at least l?
True
Let g be (-760)/16*(-4)/25. Suppose -41*f + 231 + 138 = 0. Which is bigger: f or g?
f
Let k = -724 - -13039/18. Which is bigger: 2 or k?
2
Let q be (-380)/(-50) - (-2)/5. Suppose 3*u + q - 5 = 0. Which is smaller: 5 or u?
u
Suppose -2*b = -3*b - 2*n - 97, -3*b = 4*n + 295. Let k = 133 + b. Is 30 at most as big as k?
True
Let j = -0.1345 + -133.5655. Let f = j + 134. Which is greater: f or 27?
27
Let k be ((-24)/10)/(-6) + (-52)/(-20). Are 2 and k non-equal?
True
Let t(c) = 3*c**2 + 5*c + 6. Let k be t(-6). Let m = 21 - k. Let q be 2/8 + m/348. Which is bigger: q or 0?
q
Let v be 146/(-522) - 12/(-16). Let u = v + -3/116. Suppose 5*s = -r + 1, 3*s - 1 = r - 2. Which is greater: s or u?
u
Suppose -5156 = -23*y - 23533. Which is smaller: y or -797?
y
Let f = 25.28 + -25.28. Let b = 4.23 + -0.43. Is b bigger than f?
True
Let j = -283/66 + 60/11. Let f(q) = 5*q + 19. Let d be f(-4). Let w be -1*d*(-2 + 3). Is w smaller than j?
True
Suppose a = -0*l - l + 19, -2*a = 0. Suppose -v - 13 = -3*b + 3*v, -3*b - 4*v - l = 0. Let s be 230/150 + b/5. Do s and 1 have the same value?
False
Let w = -21 - -37. Let u = -22 - -22. Suppose -4*i - 5*p + 66 = -i, u = -i + 3*p + 8. Is i at least w?
True
Suppose -2*p + 0*p + 2 = d, -38 = -3*d + 2*p. Let x be 290/(-22)