- a = 2. Suppose y + g = -21. Are y and -22 unequal?
False
Suppose -2*u - 2*u - 20 = -4*i, -2*i = -10. Let m = 1 + u. Let n = -133/11 - -12. Is n at most as big as m?
True
Suppose 0 = 7*u - 77 - 42. Let x = -17 + u. Is x less than -4?
False
Suppose 10*w - 2 = -12. Is -2/23 at most w?
False
Let b be (-19518)/(-1053) + 2/(-27). Which is bigger: 19 or b?
19
Let r be 12/(-2) + 6468/630. Which is smaller: 4 or r?
4
Suppose -2*b = 3*s + 35, -3*s + b - 2*b = 34. Let f = s + 12. Let d be (-8)/3*(-4 + f). Is 6 greater than d?
False
Let z(d) = 4*d + 11. Let j be z(8). Let q = j + -31. Suppose 0 = -3*o - 0 - q. Which is greater: o or -5?
o
Let u = 477.36 + -477. Which is greater: -15 or u?
u
Let r = 131 - 131. Let t = -551 - -12671/23. Which is greater: r or t?
r
Let t(c) = 4*c**2 + c + 1. Let j(f) = -7*f**2 - 3*f - 1. Let q(w) = 6*j(w) + 11*t(w). Let b be q(2). Let h be (-300)/(-148) + 2*-1. Which is bigger: b or h?
h
Let m be 318/1855*(-14)/(-382). Is 0 > m?
False
Let k = -180.5 + 178.398. Which is smaller: k or -1/3?
k
Let q be (-5 - (-312)/42) + 1. Is q greater than or equal to 4?
False
Let h = -152 + 157. Suppose -j - 18 = -h*a, 5*a - 8*a = 4*j + 3. Is 4 not equal to a?
True
Let t = -10 + 9. Let y = -566 - -14146/25. Which is smaller: y or t?
t
Let o(j) = j**3 + 2*j**2 - j - 1. Suppose -13 = -2*g + 1. Suppose -c - 2*k + g*k = 27, 4*c + 3*k - 7 = 0. Let a be o(c). Which is greater: 0 or a?
a
Let x = 2/179 + 171/716. Which is bigger: -77 or x?
x
Let b = 18 - 37. Let z = 17 - 4. Suppose -15 + z = 2*v. Is b at least v?
False
Let p = -30 - -32. Let l be (-2 - (-6)/p) + 53/(-47). Which is smaller: -1 or l?
-1
Suppose 24 = 4*b - 4*v, b + 4*v = -0*v - 4. Suppose 151 = -3*y - b*l, 0 = -3*y + 2*l - 228 + 47. Is y < -57?
False
Let n = 4 + -9. Let b be (-4)/16 - n/4. Let t be ((-6)/(-3) - 2)*b. Is 0 at most t?
True
Suppose 0 = 3*v - 2*u - 58, 0*v = 3*v - 5*u - 55. Let l be (v/8 - 3)*4. Which is smaller: l or -15/8?
l
Let n be (-273)/(-126)*(40/18)/(-5). Which is smaller: -0.2 or n?
n
Let s = 59 + -106. Let u = -28 - s. Let p = u - 19.1. Which is smaller: p or 18?
p
Let c be ((9/(-2))/(-3))/((-18)/(-24)). Let m be (6/12)/((-2)/8*c). Let v be (-232)/(-530) + (-4)/10. Is m <= v?
True
Suppose 0 = -15*y + 7*y + 40. Let p be y - (1 - -5) - 5. Suppose -2*k + j + 12 = -5*k, 3*k + 2*j + 15 = 0. Is k greater than or equal to p?
True
Let z be 5 + 8 + 7 - 22/(-121). Which is bigger: z or 19?
z
Let i be 1/(-2)*12/1086. Which is greater: i or -1?
i
Let r(z) = -5*z**2 + 2*z + 19. Let f be r(-4). Let u be f/(-46)*1/3*16. Which is bigger: 7 or u?
u
Let q = 292 - 292. Is 0.26 at most q?
False
Let h(d) = -d - 6. Let v be h(-9). Suppose 0 = -18*m + 15*m - v. Let k be 0 + -9*2/14. Which is bigger: k or m?
m
Let l(c) = c**3 - 7*c**2 + 3*c + 7. Let y be l(6). Let t be 8/6*(y - -14). Which is greater: 30/11 or t?
t
Let m be 0 + 1 + (2 - 5). Let a be (-27)/360 - m/10. Let v(y) = -y - 3. Let h be v(-3). Is h at least as big as a?
False
Let s = 440/7 + -4798/77. Let f be 11 + 1 + 2 + 0. Suppose -5*h - 2*x = -f, 2*h = -0*h - 2*x + 8. Which is greater: h or s?
h
Let h = 1.61 - -0.29. Let q = h + 0.1. Which is greater: q or -5?
q
Let q be 10*((-8)/(-10) + 0). Suppose 6*s - 4 = q. Let x be 28/(-12) + s + 1. Is x equal to -6?
False
Let b = -147 - -387. Let w = -153 + b. Let u = 517/6 - w. Which is smaller: -1 or u?
-1
Suppose -2*f - 2*f + 4 = 0. Suppose 0 = -5*a - 10, i + 2*a - f = 3*a. Let o be 1/1 + i - 1. Which is greater: -2/7 or o?
-2/7
Let i be 208/728*714/4. Which is bigger: 0.13 or i?
i
Let z(l) = 4*l**2 - l - 5. Let s be z(6). Let b = s - 6119/46. Which is smaller: 1 or b?
b
Let s be ((-8)/20)/(16/(-40)) + -715. Is -715 >= s?
False
Let h be 2/(-13) - (-4)/26. Let c = 23 + -23. Is c at most h?
True
Let r = -74 + 667/9. Let m = 1109 - 1109. Which is greater: r or m?
r
Let a = 381 - 430. Which is bigger: -243/5 or a?
-243/5
Let j = -76 + 60. Which is smaller: -19 or j?
-19
Suppose g + v - 15 = 0, -6*g + 4*v + 76 = -2*g. Let y = 67 - 50. Do g and y have the same value?
True
Let r = -0.7 + 0.4. Let k = r - 2.7. Let d be (3/12)/(5/(-4)). Is d equal to k?
False
Let d = 198 + -217. Is d at least as big as -20?
True
Let o be (7 - 184/28) + 5481/(-784). Are -7 and o equal?
False
Let k = -3.14 + 2.94. Which is smaller: k or 7.2?
k
Let z = -6/6413 + -43541/1442925. Is z > -1?
True
Let g = -6567221057182/188700476962305 + -2/2678312071. Let z = 5606 - 7181288/1281. Let i = z + g. Does 1 = i?
False
Let v = 1.7 - 2. Let s be (21/(-12) + 9/12)*15. Let z(g) = -g - 17. Let n be z(s). Which is smaller: n or v?
n
Suppose 8*v - 7*v + 2 = 5*z, -z - 4*v + 13 = 0. Is z > 25/29?
True
Let z = 4814 + -4848.63. Let w = 0.37 - z. Which is greater: w or -1?
w
Let h = 175 - 217. Is h less than or equal to -1?
True
Let r = -288.342 - -288. Let s = r - -0.042. Is 0 at least as big as s?
True
Let p = 35.77 - 0.77. Let g = -21 + p. Which is smaller: g or 0?
0
Let d = 43/28 + -9/7. Which is smaller: -128 or d?
-128
Let u = -1259 - -1178. Which is smaller: u or -244/3?
-244/3
Let l = -0.11 - -0.16. Let r = -13.05 + l. Let j = 12.9 + r. Which is bigger: 1/2 or j?
1/2
Let t = -0.8 + -7.2. Let k = t + -15. Let g = -22.9 - k. Which is greater: 0.4 or g?
0.4
Let y = -339 + 576. Is y equal to -1?
False
Let r(o) = o**3 + 8*o**2 + 7*o + 2. Let j be r(-7). Let l be 1 + -6 - (-6)/2. Let w = 4 + l. Is j less than w?
False
Let a be (-4)/12 + 50/15. Suppose 4*q = -4*x - 24, a*q + 23 = x + x. Is -7 at least q?
True
Let o = -1282/33291 - -20/243. Is 1 equal to o?
False
Let p = -123/22 + 19/2. Which is smaller: 4 or p?
p
Let z be 77/1089 + 3/27. Do z and -4/41 have the same value?
False
Let x = -2/2409 - 4013/2409. Which is smaller: x or 0.51?
x
Let q = 9 + 4. Let r = -25.1 + 12.4. Let i = r + q. Are -2/11 and i equal?
False
Let t(y) = y**2 - 6*y + 9. Let f be t(6). Suppose -108 = 8*v - 180. Is f at least v?
True
Let o be 10/55 + (-2 - (-62)/22). Let t = 36 + -72. Let u be 24/t + 82/114. Which is bigger: u or o?
o
Let k(n) = 3 - 3 + 4*n. Let f be k(-2). Suppose 0 = -4*w + w - b - 20, 5*b = 6*w + 47. Is f less than or equal to w?
True
Let j be 5*(-1 - 3/5). Let u(c) = c**2 + 20*c + 20. Let g be u(-19). Suppose g = h + 8. Which is greater: h or j?
h
Suppose 0 = -5*f - 3*b + 31, 4*f = b - 4*b + 26. Suppose -4*j + 14 = 5*g, -f*g + 0*j = j - 26. Is g < 7?
True
Let h be (-1)/2 + (-28)/(-8). Suppose -z + 6 = h. Suppose 2*n - 10 = 3*m + 2*m, -z*m - 3*n - 27 = 0. Which is smaller: -3 or m?
m
Suppose 0 = -4*x - 2*b - 12, x = b + 2*b + 11. Let f be 0/x*(2 + 3/(-2)). Which is greater: f or -3/20?
f
Let j = 1 - -1. Suppose 18 = -j*z - z. Let h be (-2)/z + 2/6. Are 1 and h equal?
False
Let u be 2*((-282)/(-142) - 2). Let l(g) = -g - 5. Let w be l(-5). Is u > w?
False
Suppose 10 = -4*h - j, -247 = 3*j - 253. Which is bigger: h or -79/26?
h
Let n be 5 + -2 + -2 + 0. Let x = 1825 + -129577/71. Is x smaller than n?
True
Let f be (-45 + 47)*(-45)/(-2). Which is greater: 43 or f?
f
Suppose 4*n - 10 - 2 = 0. Suppose -3*t - n = 21. Let v be 2/t + 135/(-36). Is v >= -4?
True
Let c = -1799 - -1804. Let l = -3.7 - -4. Is l <= c?
True
Let b = 2.36 - -5.24. Is 1 > b?
False
Let s = -3/83 + 1586/249. Is 7 != s?
True
Suppose -4*v = 18 + 70. Let h be v/(-8) - (-3)/12. Suppose 0 = -4*x - o + 17, 3*x + 4*o - 14 = 15. Is x bigger than h?
False
Let a(j) = 6*j**2 + 38*j + 159. Let z be a(-5). Which is bigger: z or 123?
123
Suppose -2*s + 12 = 3*h + s, 5*h = 5*s - 10. Let i = -157 - -6125/39. Is h less than i?
False
Let j(y) = -y**2 - 3*y + 10. Let h be j(7). Let g be 35/h + (-1)/4. Is -1 greater than g?
False
Let h = 851 - 537. Which is smaller: 627/2 or h?
627/2
Suppose -5 = -2*y - 3. Suppose -a + 4 = 3*a. Let f be 3/1*5/3 - a. Is y <= f?
True
Let o(p) = -p**2 + 7*p - 5. Let n be o(0). Are n and -43/7 non-equal?
True
Let t = 94 + -56. Let b = t + -37.9. Which is smaller: b or -0.7?
-0.7
Let o = -206 - -205. Are o and -72/5 nonequal?
True
Let w = -889 + 977. Is w greater than -3?
True
Let r = 25 - 29. Let l be r + (-5)/((-4)/4). Which is bigger: l or -1/16?
l
Let h = -3 - -57. Suppose a - h = -2*a. Which is greater: a or 56/3?
56/3
Suppose x + 10 = 2*s - 2*x, -17 = 5*s + 3*x. Let h(z) = -2*z**2 + 1. Let q be h(s). Let c be (14/63)/(11/(-3)*-1). Is q >= c?
False
Let 