z
Let g = -5.644 - -6.024. Which is smaller: 56 or g?
g
Suppose 5*s - 2*z + 1426 = 0, -12*s + 16*s + 1139 = z. Let u = -1987/7 - s. Which is smaller: 2/67 or u?
2/67
Let j = -12630 + 12630. Do j and 69.6 have the same value?
False
Suppose -t + 8 = 14*o - 11*o, -2*t = 8. Let w(i) = -i + 9. Let p be w(7). Suppose o = p*y - 0. Is y != 5/3?
True
Let r = 0.161 + 0.039. Let b(a) = -250*a**2 + 1. Let i be b(-1). Let y = i - -1747/7. Which is smaller: r or y?
r
Let k(q) = q**3 + 6*q**2 - 5*q + 10. Let y be k(-7). Let u(x) = 24*x**3 - x**2. Let d be u(-1). Let c be y + 3*(-40)/d. Which is greater: 0.6 or c?
c
Suppose 0 = -32*t - 100*t + 229096 + 388268. Is t smaller than 4676?
False
Let b be 206/1442 - 13564/(-14). Which is smaller: 970 or b?
b
Suppose -274*y - 363 = -263*y. Is -33 at least y?
True
Let v = -131 + 131. Let j be ((-9556)/(-38) - 2) + v. Let p = j - 250. Which is greater: -2 or p?
p
Let n be (42 - 39)*802/(-6). Which is smaller: n or -398?
n
Let i be 2/(-4) + (-85)/(-30). Let q = 106 - 952/9. Does i = q?
False
Let m be (1 - 0)/(1/12 - (-255)/(-900)). Which is greater: 38 or m?
38
Let r = -1022 + 445. Let o = r + 566. Are -21 and o non-equal?
True
Let c = 6.545 + 0.425. Is c smaller than 0.3?
False
Let s = 445 - 296. Let o = 149 - s. Let t be (-7)/(231/18) + 2. Which is smaller: o or t?
o
Let b = -1 - 3. Let f be 12/15*(-10)/b. Let d be (-9 + 3)/((3828/(-56))/29). Is d less than f?
False
Let i = 188 + -196. Which is bigger: -208/23 or i?
i
Let q = 345/58 + -3796377/638290. Is q smaller than -1?
False
Let o = -285.5 - -124.7. Which is greater: o or 0.1?
0.1
Let c(a) = a**3 - 5*a**2 - 2*a + 5. Let b be c(5). Suppose 3*q - 40 - 224 = 2*o, 2*q - 176 = -5*o. Suppose -q = 669*l - 647*l. Are l and b nonequal?
True
Let k = -1.45 - -1.75. Is -2.1 smaller than k?
True
Let n be 46325/(-571596) - (-3)/36. Is n smaller than -2?
False
Suppose 22*a + 53 = 19*a + 5*o, 5*o = -3*a - 43. Let p(s) = -2*s**2 - 39*s - 20. Let z be p(a). Does 92 = z?
True
Let u be 21/(-56) + 13/(-8). Let t be -12*-3*u/(-18). Suppose 7 = t*n - 17. Which is smaller: n or 7?
n
Let x = 6432 - 6271. Is x != 20?
True
Let y be 20005 + (502/46 - 6/(-69)). Is y <= 20015?
False
Let a be (-57478)/7185 + 190/10 + -11. Which is bigger: 1 or a?
1
Let l be (4/(-6))/(6/18). Let a = 95.6 + -93. Let x = 0.6 - a. Are l and x non-equal?
False
Suppose -6*h + 5*j = -4*h + 13129, 3 = -3*j. Is h greater than -6567?
False
Let c = 10 - 5. Let f = 1/1124 - 3655/2248. Let n = f + 7/8. Which is greater: n or c?
c
Suppose -3*i = -437 - 207 - 157. Is 267 at least i?
True
Let u = -4548/13 - -350. Is 11/3 != u?
True
Let u = 0.2 + -0.1. Let j be (10/30)/((-2)/(-3654)). Let n = -633 + j. Which is bigger: u or n?
u
Let u(m) = 4*m**2 - 4*m + 25. Let i(c) = -9*c**2 + 8*c - 53. Let j(w) = 6*i(w) + 13*u(w). Let n be j(-3). Which is smaller: n or -2/27?
-2/27
Let w be (166 - 1/1)/((-78)/(-52)). Suppose 9*t - 6*t - 2*o - 337 = 0, -t - 5*o = -84. Is w not equal to t?
True
Suppose -4*w + 15 = -w. Let d be (-230)/(-40) + 1*2/8. Let z be d + 2 + 60/(-25). Is z smaller than w?
False
Let a = -18166827/19 + 956487. Which is smaller: 337 or a?
337
Let r = 2210 + -55178/25. Is r less than or equal to 4?
True
Let c = -10541 - -10589. Is c bigger than 111?
False
Let j(k) = -687 - 17*k + 16*k + 578. Let d be j(-26). Is -84 greater than d?
False
Let i be -3 + 6445/235 - (20 + -8 + -8). Is 20 bigger than i?
False
Let q = -12/547 - 1399713/2735. Is -511 greater than q?
True
Let k = -1891673570/1033241 + 1110702/2291. Let g = -1346 - k. Which is bigger: g or -1?
g
Let w = -7767 + 132035/17. Let b(x) = x**2 + 6*x + 1. Let h be b(-7). Let g = -7 + h. Is g less than or equal to w?
False
Let g = 9.76635 - 0.04635. Let v = -0.04 - 0.24. Let n = v - g. Which is smaller: n or -1?
n
Let k = 107 - 67. Let a = 40.02 - k. Is 0.8 smaller than a?
False
Let t(y) = 224*y + 1342. Let c be t(-6). Which is smaller: c or 1628?
c
Let o(k) = k**2 - 15*k + 58. Let j be o(8). Suppose -4 = 3*b - j*l + l, 2*b - 5*l + 20 = 0. Is -2/473 equal to b?
False
Let w = 4714 - 4741. Which is smaller: w or -4/37?
w
Let i be 2/11*-1 + 10148/(-1298). Let r = 8024 - 136528/17. Is r less than i?
False
Let h = -116 - -105. Let y be (-222)/h - (30/33)/5. Is 20 < y?
False
Let s be ((-351174)/(-87795) - 4)/(2/10). Let w = 2626/72187 + s. Which is greater: -1 or w?
w
Let q be 21264/60 + 32/20 + -2. Let d = q + -270. Are d and 84 equal?
True
Let v(g) = g**2 + 6*g - 4. Let f be v(-7). Suppose -f*n + 2*n + 5*i = -35, -5*i = 15. Is n at least as big as 21?
False
Let y = 13306 + -13262. Is 8 at least y?
False
Let x be (694 - 698) + (1 + 0)*4. Which is greater: 5/183 or x?
5/183
Let d = 0.0032 + -0.0032. Is d != -3266?
True
Let m be ((-216)/144)/(6/(-16)) - 3. Suppose -245 = -4*x + 43. Suppose -68 = 5*c - 2*d, -x = 5*c + 4*d - 2*d. Which is smaller: c or m?
c
Let r = -61.1091 - 1.8909. Which is smaller: 2.2 or r?
r
Let h = 16.64 + -16.9. Let f = 0.74 - h. Which is smaller: f or 1.3?
f
Let q = -17329 - -17327. Let y = -709.14 - -716. Let r = 7 - y. Are q and r unequal?
True
Let w(m) = m**2 - 81*m + 582. Let y be w(73). Which is greater: 687/10 or y?
687/10
Let w = -0.229 + -95.771. Let b = w - -97. Which is smaller: b or 10?
b
Let d = -0.05114 + -85.93886. Let c = d - -86. Which is bigger: 0.04 or c?
0.04
Let d = 131 - 133. Let s be ((-32)/400)/(d/10). Which is greater: 3 or s?
3
Let q(a) = a + 10. Let t be q(0). Let w be (18/45)/(2/t). Suppose 4*p - w*p = -p. Is p at most as big as -2/57?
False
Let f be (1 - (-5)/(-9))*(-222696)/(-48). Is f < -5?
False
Let b be (1/638)/((-124)/14880). Do b and 1 have different values?
True
Let r = 10198 - 10200. Is -4.31 less than or equal to r?
True
Let f = -17.1 - -105.1. Let p = -106 + f. Which is greater: -0.5 or p?
-0.5
Let d(o) = o**2 + 11*o + 32. Let m be d(-4). Let f be 2/m*46/161. Is f equal to -0.4?
False
Suppose 4*u = 2*v - 106, u = -6*v + 3*v - 16. Let i be (7/(420/u))/(1/(-2)). Let f = -1/3 + i. Which is smaller: f or -9/4?
-9/4
Let b = 198.45 - 138.44. Which is greater: 2/5 or b?
b
Let f = -7 - -7. Suppose 4*m - 1520 = -356. Let z = -273 + m. Which is smaller: f or z?
f
Suppose 0 = -4*l + l - 3. Let u be 0 + -3 + -1 + 8. Suppose 0 = u*o + 11*p - 13*p - 12, 3*p = 2*o + 2. Is l greater than o?
False
Suppose -3*v + 4*u = -40, 3*u + 3 = -0. Suppose v*i - 69552 = -4*i. Let l = 2134379/491 - i. Which is smaller: l or 1?
l
Suppose -4*s + 116 - 4 = 0. Suppose -s = 3*p - 43. Suppose 0 = 4*l - 16, -2*w - 2 = p*l - 8. Is -10 not equal to w?
True
Let a = 13225.2 - 13225. Which is greater: a or -2775?
a
Suppose -y + 7 + 20 = 0. Let c = 26 - y. Let a = -2.2 + 1.6. Is a < c?
False
Let q = 32.5 - 32.27. Let v = -22.77 - q. Let y = 1 + -1. Is v > y?
False
Suppose 5*k + 8*o - 9*o - 597 = 0, -132 = -k - 4*o. Suppose 2*n - k = 44. Do 80 and n have different values?
True
Suppose 3 = -2*u - 7. Let c = 19 - 7. Let p be (-3)/(c/16*2). Which is bigger: u or p?
p
Let n(l) = -2*l**3 + 39*l**2 + 25*l - 51. Let d be n(20). Is d greater than or equal to 49?
True
Let g be (26/(-4))/13*2. Let c be g/(3 + 5/75 + -3). Which is bigger: -20 or c?
c
Suppose 0 = z - 2*a - 155, z + 5*a = 185 - 37. Let o = -154 + z. Which is greater: o or -2/505?
-2/505
Suppose 2519 = 2*r + 4*s + 897, -r + 803 = 4*s. Which is greater: r or 4?
r
Let a = -85.65 + -58.82. Let v = 144 + a. Which is bigger: -4 or v?
v
Let j be ((-1)/(-2))/(3/(-294)). Let a be ((-51669)/122)/9 + (-9)/21. Let b = a + -6/427. Which is bigger: j or b?
b
Let b be 56/(-16)*-1*1*-2. Let p(a) = -3*a**2 + 13*a - 12. Let g(o) = -4*o**2 + 13*o - 11. Let x(u) = 5*g(u) - 6*p(u). Let w be x(b). Is w bigger than 1?
True
Let b be -1*(7 - 3) - -3. Let m be 2 - ((-18)/27 + b/(-6)). Which is smaller: 3/4 or m?
3/4
Let j(y) = y**2 - 12*y + 16. Let c be j(10). Let z be 133/57*c/14. Are 52 and z nonequal?
True
Let u be 0/(-45)*(-5 + 6). Which is smaller: 2/16419 or u?
u
Let o = 0.645 - 0.572. Is -2/5 at most as big as o?
True
Suppose -13*n - 5*d + 287 = -11*n, -n + 4*d = -124. Let x = n + -139. Which is greater: -19 or x?
x
Let y be 2 - 18/15 - (-34680)/(-42500). Which is smaller: -23 or y?
-23
Let q(d) = 586*d**2 + 12*d - 36. Let j be q(4). Which is smaller: 9389 or j?
j
Let h(w) = -3*w**2 - 4*w + 3. Let m be h(1). Let r be m/14 + 