 -7 < z?
True
Suppose 0 = 83*v - 64*v - 133. Is v at most as big as 168/29?
False
Let k = -183.05 - -173. Let y = k + 0.05. Which is smaller: -1 or y?
y
Let a = 80.7 - 89.7. Is a greater than or equal to -4?
False
Let x = -15.1 - -0.1. Let v = x - -44. Is 0.1 less than v?
True
Let m = 885 + -922.9. Let i = m + 38. Which is greater: i or 21?
21
Suppose -20 = -2*i - 36. Do i and -7 have different values?
True
Let s = -68981/4 - -16809. Do s and -435 have the same value?
False
Let j = -37 + 38. Suppose 52 - 178 = -3*c. Let u be (-74)/(-14) - 12/c. Do u and j have the same value?
False
Let o = 7 - 22. Let x = -7 - o. Let m = -7 - x. Do -16 and m have the same value?
False
Suppose 5*z + 4*n = -923, 323 = -5*z + n - 590. Is -184 greater than z?
False
Let s(v) = -28*v + 134. Let c be s(7). Which is greater: -63 or c?
c
Let g(t) = -t**2 + 14*t - 11. Let z be g(11). Let a = -18 + z. Suppose -5 - 3 = -a*x. Is -8 equal to x?
False
Let m(g) = -4*g**2 - 24*g + 5. Let h be m(-6). Let i be ((-7)/10)/(h/30). Is i at most as big as -3?
True
Let f = 63/4 - 307/20. Let k = -0.1093 - -0.3093. Which is smaller: k or f?
k
Let s(q) = -q - 15. Suppose 41*v - 38*v + 12 = 0. Let h be s(v). Is h > -11?
False
Let m be (-80)/(-108)*(-1 - 1/2). Which is smaller: -2 or m?
-2
Let o = -0.041 - 2.259. Let m = -2.43 - o. Let i = 0.03 + m. Is -1 greater than i?
False
Suppose 3*l - 5 + 2 = 0. Let k = -2 + l. Let s = 1080 - 3241/3. Is s smaller than k?
False
Let y be 40/83 - (-9)/(-18). Is y at most 0?
True
Let v(u) = -u**2 + 23*u - 22. Suppose 2*k + 61 = 3*c - 3*k, 0 = -3*c - 4*k + 70. Let j be v(c). Let n = 369/7 - 53. Is j at most as big as n?
False
Suppose 2*z = 4*f - 30, 3*f - 16 = 4*z + 29. Let x = z + 9. Suppose v - 2*v = x. Which is smaller: -2 or v?
-2
Let i = -1070 + 1131. Which is smaller: 2 or i?
2
Suppose 21*s + 16*s = 5439. Which is smaller: 145 or s?
145
Let j be (-4)/(-9) + (-4)/(540/(-3855)). Is -2 greater than or equal to j?
False
Let n = 771 + -777. Which is bigger: n or -7?
n
Let h be 0/((-1)/((-2)/(4 + 0))). Suppose h = -12*j + 5*j - 21. Which is smaller: -13/6 or j?
j
Let t(s) = -65*s**3 + 2*s**2 - 1. Let i be t(1). Let h = 61 + i. Which is greater: h or -5/3?
-5/3
Let t(n) = -n**3 + 2*n**2 + 3*n. Let j be t(3). Let y = -836/7 - -318530/2667. Is j at most y?
True
Let a = -1922 - -1912. Are -73 and a nonequal?
True
Let g be (-1)/1 + (3 - 7). Suppose 5*j + b = -28, -16*b - 20 = 3*j - 17*b. Which is smaller: j or g?
j
Let p be 4/(-6) + (-11)/33. Let l be (p - 1)*25/(-2). Suppose l = s + 10. Is s at most 15?
True
Suppose c + c + 3*j = -8, -4*c + 12 = -j. Suppose -2*q - c*q = q. Is q equal to -2?
False
Let u = -167.8 - -168. Which is greater: 1 or u?
1
Suppose 22 = -6*p + 4*p. Suppose 2*n - 20 = d, 1 = 4*d - 3*n + 56. Is d >= p?
True
Let i be 0/((2 - 1)*-2). Suppose -5 = -3*z + 4*o, -2*z + 4*o = -7 - 3. Let f be z - (i/1 + -1). Which is bigger: f or -2?
-2
Suppose 2*o - 7*z = -2*z + 24, -3*o = z - 53. Suppose 13*m = o*m. Which is smaller: -1 or m?
-1
Let u be -8 + 8 + 0 - (-1)/7. Is -1/3 > u?
False
Suppose -3*m + 4*o = -5, -4*m = -0*o - 2*o. Let b = 578 + -2319/4. Is m >= b?
True
Let w(o) = o**3 + 16*o**2 + 17*o + 37. Suppose 6*x - 255 = 23*x. Let h be w(x). Are h and -3 unequal?
True
Suppose -5 = 3*k - 8*k. Let v = -18 - -37. Let x = 19.03 - v. Which is greater: k or x?
k
Suppose 12*a + 1039 - 859 = 0. Let w(p) = -p**3 + 7*p**2 - 9*p + 1. Suppose q - 5 = 1. Let u be w(q). Which is smaller: u or a?
u
Let m = -3 - -3. Let o be 4/(62/12 + (-80)/48). Which is smaller: m or o?
m
Let f = 499 + -644. Is f not equal to -140?
True
Let a(c) = 2*c**3 + 21*c**2 - 15*c + 2. Let z be a(-11). Let y = z - 44. Do y and 2 have different values?
False
Let u(k) = 12*k + 165. Let a be u(-18). Is -47 less than a?
False
Let p = -0.0113 - 0.5127. Which is bigger: 0 or p?
0
Suppose -32 - 76 = -6*m. Let j be (-24)/108 - ((-814)/m - 2). Which is smaller: 45 or j?
45
Suppose c - 4 - 1 = 0. Let q = -71 - -249. Let g = -172 + q. Is g at least as big as c?
True
Suppose 55 = -7*x - 4*x. Let r be 0*((-36)/(-6) + x). Suppose -2*o + 2*n = 2, 0*o = 3*o - n + 3. Is r less than or equal to o?
False
Suppose 9*y + 1444 = -1031. Which is smaller: -273 or y?
y
Let s be -2 + (-2 + -2)/1. Suppose 4*y + 5*a + 29 = 0, 5*a - 7 = -2*y + 4*y. Let k = -12 - y. Is s at most as big as k?
True
Let g = 278 + 98. Let l = 1497/4 - g. Which is bigger: l or -3?
l
Let m(n) = -n**2 + 27*n + 58. Let c be m(-2). Which is smaller: 2 or c?
c
Let r be 40/(-224) - 27/(-63). Which is greater: -516 or r?
r
Let w = 150 - 146. Is 0.02 at least w?
False
Suppose -2*r = 3*o - 85, 5*r = -4*o + 16 + 88. Suppose -1 = 4*x + o. Let w be (-1)/(-2)*x/10. Is w equal to 0.12?
False
Let u = 388 + -306.4. Let d = -95.63 + u. Let z = d - -14. Is z less than or equal to -0.2?
False
Let f = -15 + 12. Let t be 0 + (f - 76/(-25)). Which is bigger: 1 or t?
1
Let k(a) = 36*a - 67. Let z be k(2). Suppose 0 = 2*l - 4*l - r + 13, 0 = -l + 2*r + 4. Suppose 3*h = -5*b - 12 + 1, -4*b + l = -z*h. Are -6/11 and h equal?
False
Let w = 0.2 + -1.2. Let o = -1.416 - -0.316. Let q = w - o. Which is smaller: 11 or q?
q
Let o = -6 + 7. Suppose -f + o = -0. Let p = 697 - 714. Is f not equal to p?
True
Suppose -216 = -99*z + 103*z - 4*x, 0 = z + 3*x + 74. Which is greater: -64 or z?
z
Let x = 56 - 26. Suppose 2*d - 6 = -4*s, d + d = 5*s - x. Suppose 2*j + 2*y = -3*j + 17, 0 = 5*j - s*y - 11. Is 3 not equal to j?
False
Let y be 6/(-2 - (-16)/6). Let t(j) = 3*j - 1. Let r be t(-1). Let z = r + y. Is z equal to -2?
False
Let z = 4 - 5. Let c = 0 + z. Let b be (-6)/8*(-10 + (-1474)/(-165)). Which is smaller: c or b?
c
Suppose 0 = -3*a - 2*a - 5. Let u be -414 - 1*(a + -2). Let o = u + 1635/4. Is o at least as big as -2?
False
Suppose u - 2 + 3 = 0. Let l be ((-6)/(-4))/((-6)/16). Let w be (-1)/l - 25/140. Is u > w?
False
Let a(d) = d**2 - 7*d - 6. Let t be a(8). Let j(g) = -4*g**2 + 3*g - 4*g**t + 5*g + 1 - 10 - g**3. Let f be j(-9). Which is smaller: f or -6?
-6
Let x be 3*-2*(-1)/30. Let o = -0.117 - -41.117. Let c = 40 - o. Which is greater: c or x?
x
Let q(j) = -j**2 + j - 176. Let m be q(0). Let k be (-13)/11 - 32/m. Let o = -560/2483 - 1/191. Which is greater: k or o?
o
Let z = 4378 - 4376. Suppose 0 = 3*o - 5*o. Suppose o = -r - 0 + 3. Is z less than or equal to r?
True
Suppose 24*a - 22*a - 2 = 0. Let w be a - (-4)/(-32)*-14. Is 4 at least as big as w?
True
Let s be 1 + (-1)/(-8)*-6. Let p = 8.03 + -8. Let m = -0.97 - p. Is s > m?
True
Let k be 20 - (3 - 6)*(-3)/9. Let w = 5 - k. Which is bigger: w or 2/3?
2/3
Let l be 1*(9/(-6) + 1)*-10. Suppose -3*n = l*n + 8. Which is smaller: 6/23 or n?
n
Let j = -49 - -48. Which is bigger: j or -0.23?
-0.23
Let h = -1112 + 7769/7. Let d be (84/10)/((-12)/(-30)). Let a = -22 + d. Is h less than or equal to a?
True
Let s = -1017 - -1016. Which is smaller: -256 or s?
-256
Let n(a) = -a**2 - 12*a - 13. Let f be n(-11). Let c be (3/(-4))/(f/(360/5)). Which is smaller: -1 or c?
-1
Let k be (2/2)/(1 - 0). Let x = 31768739 - 112524877373/3542. Let n = x - -51/46. Which is greater: k or n?
k
Let d = -1900 + 1900. Let u = 25 + -38. Is u bigger than d?
False
Let y be 360/27*-2*261/(-24). Is 291 <= y?
False
Let m(r) = r**3 - 73*r**2 - 149*r - 73. Let a be m(75). Is 56/31 greater than or equal to a?
False
Let n(m) = m**3 - 16*m**2 - 36*m - 1. Let g be n(18). Which is smaller: 2/1333 or g?
g
Let g be -2*(10/(-5))/2. Suppose 3*w - s = 2*s, -s + 1 = -g*w. Is w bigger than 0?
False
Let n = 0.16 - -19.84. Let b = n + -20. Which is smaller: 2 or b?
b
Suppose -l = 3*d - 28, -3*d - 5*l = -d - 36. Are 78/11 and d nonequal?
True
Suppose -16 = 2*c - 2. Suppose 108 = -3*f + 3*o, -2*f - 4*o = -0*o + 96. Let u = f + 33. Is c less than u?
False
Suppose -32*m + 287 = -25*m. Is 40 at least m?
False
Let g = 427.4 + -428. Which is smaller: g or 0.1?
g
Let f = 583 - 4089/7. Is f at most 0?
True
Suppose d - 60 = -4*d. Let k be d/8*4/(-201). Is k at least 1?
False
Let u = -2871 - -37281/13. Let m = 74/39 + u. Which is smaller: 0 or m?
m
Let i = -862 + 830. Is 9 equal to i?
False
Let a be ((8 - 42)/1)/(-3 + 97). Are a and -1 equal?
False
Suppose -3*r + i = -63, -4*r = -4*i - 0*i - 76. Suppose -5*p - 2*l - 3*l = -35, 0 = -3*p - 2*l + r. Which is smaller: 9 o