*y = -3 + 23. Suppose 0*s - 2*s = g. Which is greater: s or 0?
0
Let i = 227 - 220. Which is smaller: i or 36?
i
Suppose -108 = -28*t + 37*t. Is t bigger than -86/7?
True
Let f(i) = i**3 - 7*i**2 + 5*i + 7. Let u be f(6). Let y be u + -3 + 0 + 6. Suppose 0 = y*l - 5*l + 10. Is 10 at most l?
True
Let t = 158 + -159. Is t at most 70?
True
Let n be 7 - (-6)/9*-3. Let w be (1/n)/((-4)/(-28)). Let i = 497 - 497. Which is greater: w or i?
w
Let j = 697 + -669. Is j >= 0?
True
Suppose -5*d = -9*d + 40. Which is smaller: 9 or d?
9
Let d be (-5 - 57/(-9))*6. Is 49/6 < d?
False
Suppose 11*n + 1541 = -263. Is n != -164?
False
Suppose -g + 2*g = -102. Let u = 100 + g. Which is greater: u or -20/11?
-20/11
Suppose y + y = -40. Let l be -4*y/(-8) + 1. Is -12 less than or equal to l?
True
Let h be (-7)/(-22)*300/(-175). Let m be (-1)/(-2) + (-10)/4. Is h greater than m?
True
Let s be ((-26)/468)/((-1)/86). Do s and 4 have the same value?
False
Suppose 2*i - y = y + 4, 0 = 4*i - 5*y - 4. Let t = 26 - i. Is t > 20?
False
Suppose 11*p - 3*u = 10*p + 22, 2*u + 4 = 0. Is 3 at least p?
False
Let l = -625 + 3119/5. Let i = -3/22 + -35/66. Which is bigger: l or i?
i
Suppose 3 = -s + 6. Let l be (8 - -6)/7 + -9 + 12. Is l at most as big as s?
False
Let o = -0.43 + 3.63. Let r = o - 3.4. Is r bigger than -5?
True
Let y = 3/80 - -3377/80. Let l = -42 + y. Let j(g) = 4*g + 5. Let p be j(-5). Which is smaller: p or l?
p
Let a = 0.03 - 0.38. Let t = 7.65 - a. Which is greater: t or -5/3?
t
Suppose -144 = -g + 5*g. Let m be (g/450)/((-1)/30). Is 0.1 at most m?
True
Suppose -x + 23*m - 6 = 18*m, 5*x + 108 = -m. Let t = -0.3 - -1.3. Which is smaller: x or t?
x
Let k = -32/43 + 1063/215. Which is smaller: -1 or k?
-1
Suppose -7*a = -10*a + 24. Let t be (791/(-126) - -6)*a/(-10). Is t greater than or equal to 4?
False
Let i(r) = r**3 + 15*r**2 + r + 18. Let m = -53 - -38. Let n be i(m). Is 26/9 at most n?
True
Let m = 242247/16 + -98098339/6480. Let l = -2/405 + m. Let h = 135 + -134. Which is greater: l or h?
l
Let r = -96 + 106. Let o be (r/2 - 3)/((-2)/(-11)). Which is bigger: o or 12?
12
Suppose 3*q + 4 = -3*y - 41, 0 = -3*q + 5*y - 21. Let z be 6/(q/6) - (-2 - -2). Which is bigger: -7 or z?
z
Suppose -3*w = 6, -7*g - 5*w - 166 = -3*g. Is g < -40?
False
Let b(o) = 4*o**2 + 3*o - 4. Let a be b(-3). Let l be 15/20 - a/4. Let c(d) = -d**2 - 4*d + 4. Let i be c(l). Which is smaller: -1/7 or i?
i
Let o be (2/2)/(2/((-4)/1)). Let d be (-2 - (-1 + 1))/1. Is o > d?
False
Let t = 340 + -321. Is 17 not equal to t?
True
Let j = -40 - -46.7. Let b = -6.6 + j. Let h = -0.7 + 6.7. Is h smaller than b?
False
Let a = -2 - -2. Let z = -80 - -83. Let t be -2*(z/6 + a). Is 1/16 at least as big as t?
True
Let i = -2169 + 2168. Which is smaller: -7.37 or i?
-7.37
Let l = 19.8 + -1.8. Let i = 17 - l. Is i at most 0.08?
True
Let m = 0.28 - -0.12. Let d = -3.4 + m. Let k = 1 + d. Is k less than -1/3?
True
Let d be 4/(-12)*1*(-150)/(-4). Are d and 2/7 unequal?
True
Let j(p) = p**2 + 24*p - 20. Let x be j(-9). Is x bigger than 1?
False
Let n(y) = -y**3 + 18*y**2 - 18*y + 18. Let r be n(17). Suppose 6 = 2*p - 2*z + 5*z, r = p + z. Is 5 <= p?
False
Let g(q) = 2*q**2 + 34*q + 3. Let f be g(-17). Suppose -f*b + 5*j + 0*j - 84 = 0, 32 = -b + 3*j. Is b bigger than -21?
False
Let s = 23 - 28. Let v = 156.2 - 156. Which is smaller: s or v?
s
Suppose -5*u - 281 = h, 2*h = -3*u + 4*h - 166. Let v = u + 38. Is v at least as big as -18?
True
Suppose -26*c = 333 + 317. Is c greater than or equal to -25?
True
Let m = -748 + 747. Which is smaller: 549 or m?
m
Suppose i = a - 661, -3*a - 3*i + 1105 + 896 = 0. Is a not equal to 664?
False
Let a = -17.4 + 1.4. Let v = a - -16. Are v and 0.3 unequal?
True
Let i be ((-4)/((-20)/(-3)))/(4/(-5)). Are i and -3.5 equal?
False
Let u be 46/14 - (-26)/(-91). Let i = 4/5 - -64/45. Which is smaller: u or i?
i
Let t be 379/(-379) - (1*2 + 0). Suppose 2*u = 17 + 1. Suppose -k - u = 2*k. Are k and t non-equal?
False
Let v be 526/(-182) + (7 - 4). Let m = v - 1779/455. Let c = 11 + -12. Which is bigger: c or m?
c
Let w = -0.274 - -0.028. Let t = w - -0.046. Suppose -6 + 30 = -4*h. Which is greater: t or h?
t
Let h be ((-6)/17)/(144/432). Which is greater: -1/2 or h?
-1/2
Suppose -4*n + t = -2119, 0 = -3*n - t + 1156 + 435. Does 531 = n?
False
Let j be (-18)/(-2)*(-40)/6. Let f be j*((-4)/(-4) - 2). Let v be ((-1)/2)/((-10)/f). Which is smaller: v or 2?
2
Let m = -388 - -389. Which is greater: m or -10/99?
m
Let f(b) = -b**2 + 8. Let h be f(7). Which is smaller: -0.16 or h?
h
Let w = -18 - -18. Suppose 3*j + 26 + 25 = w. Let f = 2 + -18. Are f and j nonequal?
True
Let t(l) = -48*l - 141. Let x be t(-5). Is 98 at least as big as x?
False
Suppose 37*q + 9 = 38*q. Let c = -1.9 - -2. Which is bigger: c or q?
q
Let i(u) = -u**3 + 9*u**2 - 9*u + 15. Let t be i(8). Which is greater: 8 or t?
8
Let i(y) = -y**3 + 14*y**2 - 10*y - 21. Let h be i(14). Are -161 and h non-equal?
False
Suppose 2 = v, -f + 12 = 5*v + 4. Let b = -758041/154 + 9843/2. Let h = b + 3/11. Which is smaller: f or h?
f
Let a = -66 + 99. Let u = -33 + a. Which is greater: 2 or u?
2
Let u = 18.903 + -0.103. Let b = u + -19. Do b and -9 have different values?
True
Let w = 17 - 7. Suppose -w*x + 2*x = 0. Which is smaller: -2/39 or x?
-2/39
Let l = 0.077 + -0.007. Let a = l + -0.106. Which is smaller: 0 or a?
a
Suppose -2*q = q + 3*i + 12, -3*q = -i + 4. Let y be 1 + -4 + q/2. Are y and -2 nonequal?
True
Suppose 5*c = -9*m + 4*m + 40, -20 = -2*m - 3*c. Suppose 0 = -5*b - m*n + 9, -3*b + 7*b - 4*n = 36. Are b and 2 unequal?
True
Let u be (-2)/((-16828)/(-105))*(-8)/40. Which is greater: u or 1?
1
Let a be (3/10)/((-10)/60). Let x(v) = -3*v - 1. Let i be x(-3). Let w be 2 - 4/(i/6). Which is greater: a or w?
w
Let r(h) = -h. Let i be r(-4). Suppose -x + i = -4. Let d = 54 + -53.9. Is d < x?
True
Let p(z) = 5*z + 47. Let c be p(-4). Is c <= 134/5?
False
Suppose 2*z - 5 = -q, -6*z + z = -q - 16. Let g be (-339)/(-4)*5/(-15). Let a = -28 - g. Which is smaller: q or a?
q
Let i be ((-1435462)/63)/(76/6). Let l = 1799 + i. Let d = -3/19 - l. Is d at most -1?
False
Let x(p) = -p**3 - 16*p**2 - 2*p + 10. Let c be x(-16). Which is greater: c or 0?
c
Let x = 796982/33 + -24149. Let t = -2404 + 26426/11. Let o = t + x. Which is bigger: o or 1?
1
Let k = -6 - 7. Let i = k + 10. Let z = -2 + 3. Is z > i?
True
Let y(r) = -r**3 + 9*r**2 - 7*r - 2. Let k be y(8). Which is smaller: k or -15?
-15
Suppose 1368 = -72*r + 69*r. Is -456 <= r?
True
Let k = -3536/19 - -186. Let i = -54 + 60. Is i < k?
False
Let j = 7 - -2. Let s = -2092 + 2102. Which is bigger: s or j?
s
Let p(a) = -a**3 + 13*a**2 - 13*a + 17. Let x be p(12). Let q = -8 + x. Let o(m) = m**3 + 2*m**2 - 3*m. Let j be o(q). Is 1/4 greater than j?
True
Let l be (0 - (5 + -4)) + 4. Suppose d = -l*d. Which is greater: 1/3 or d?
1/3
Let w(v) = 3*v + 10. Let g be w(-7). Is -11 <= g?
True
Let j(f) = f + 11. Suppose 0 = -8*t + 4*t + 2*l - 38, 0 = 2*t - 2*l + 24. Let d be j(t). Let s = 8.8 + -9. Which is bigger: d or s?
d
Let d = -21 - -22. Let r be (-462)/115 - (15 + -19). Which is greater: r or d?
d
Suppose 4*o = 3*j - 3 - 3, o + 4 = 2*j. Which is smaller: o or -3/172?
-3/172
Let a(b) = -b**2 - 4*b + 2. Let t be a(-5). Let r = t - -4. Suppose 18 = -2*o - 5*h, -3*o - 4*h + 2*h - 5 = 0. Is o at least as big as r?
True
Let a be -2 + 0 + (15 + -21)*208. Is a less than -1250?
False
Let z = -0.0865 + 2.7865. Which is smaller: 1 or z?
1
Let p = 0 - 1/3. Let c = -0.11 - -56.11. Let y = 57 - c. Is p greater than or equal to y?
False
Suppose 71 + 435 = d. Let j = d + -24792/49. Which is bigger: j or 1?
1
Suppose 17*g - 21*g - 2256 = -4*b, 5*b = g + 2832. Which is smaller: b or -1/2?
-1/2
Let z(d) = -d**3 + 63*d**2 - 289*d - 57. Let v be z(58). Let g = -943/117 - -125/13. Is g at least as big as v?
True
Let g = -1953.5 + 1952. Which is smaller: g or -2/5?
g
Let g be 1/3 - 7/455*25. Is 2/15 smaller than g?
False
Let l(k) = 25*k**2 - 40*k**2 - 14*k + 16*k**2. Let g be l(14). Which is smaller: -1 or g?
-1
Let c = 32 - 30. Suppose -c*w + 7*w - d - 7 = 0, -w - 5 = 3*d. Let s be 1 + -1*17/15. Which is bigger: w or s?
w
Suppose 77*i + 46 = 31*i. Which is smaller: 9/125 or i?
i
Let u be 2/(-1) + 5 + 862/(-2