ast as big as 0?
True
Suppose 0 = 68*z - 67 + 203. Does -2 = z?
True
Let a be 3*((-14)/(-4) + -4)*-14. Let q be ((14/8)/7)/(a/(-12)). Is -0.5 less than or equal to q?
True
Let x be ((-30)/(-9) - 2)/((-6)/9). Let s be 2 + (x - (-3)/2) + -1. Is s < 6?
True
Let j be ((-2)/8 + 3)/(13/52). Which is smaller: 13 or j?
j
Let n = -319 + 315. Which is bigger: n or -54/19?
-54/19
Let o be (-12)/(-4)*(-565)/(-15). Suppose -o*q + 112*q = -7. Is q less than or equal to 7?
True
Let d = -4.11 + 0.11. Let y = -1072 + 1075. Are d and y nonequal?
True
Suppose -y + 32 = -n - 2*y, -n - 38 = -2*y. Suppose -k = -4*k + 4*j - 82, -3*k - j = 107. Is n at most as big as k?
True
Let k(i) = 4*i**2 - 13*i + 13. Let q(b) = -7*b**2 + 26*b - 25. Let p(d) = -11*k(d) - 6*q(d). Let a be p(-10). Let r be 2/(-7) - 396/a. Is r <= 5?
False
Suppose -j - 2*k + 84 = 70, -2*k = -2*j + 16. Which is smaller: 29 or j?
j
Let i be 15/21*36/15 - (9 - 12). Suppose 4*b = 3*b + 4. Is i greater than or equal to b?
True
Let y be 1*(-2 + 5) - 6. Let j be 15/70*y/(-6). Is j at least as big as -1?
True
Suppose 2*a - 1614 = 2*o, 4*o + 3*a + 3346 = 104. Do -810 and o have the same value?
False
Let g be (-2)/(-16) - (-5301)/1368. Which is bigger: g or 65?
65
Let g = 14 + -29. Let w = g + 23. Is 1 >= w?
False
Suppose 0 = 5*v + s - 5, -2*v - 2 = -2*s + 8. Let t = -1633/69417 + -1/857. Is v not equal to t?
True
Let r(i) = 2*i**2 + 7*i - 14. Let k be r(-5). Which is bigger: k or -349?
k
Suppose -20*i - 85 = 75. Which is smaller: i or -73/10?
i
Let z(l) = 23*l**2 - l - 18. Let g be z(3). Is g bigger than 186?
False
Suppose -2*j - 5 - 47 = 0. Suppose 3*s - 4 = 11. Suppose -67 = s*f + 68. Is j at most as big as f?
False
Let l = 190 + -193. Is -30/11 greater than l?
True
Let x = -1124 - -1420. Does x = 293?
False
Let o = -0.053 - -30.053. Let g = o + -29. Which is bigger: g or 5/7?
g
Let w = 1415/2 + -707. Which is smaller: w or -2/497?
-2/497
Suppose -4*w + 5*t = -7*w + 2, 2 = 2*t. Let s be (-1 + 3)*(-2)/70. Is w less than or equal to s?
True
Suppose -14 = 5*j - 12*j. Is j != -76?
True
Let g = -717 + 548. Which is greater: g or -168?
-168
Let a = 141.5 - 140.74. Which is greater: 3 or a?
3
Let a = 1.02 - 6.02. Let q = a - 21. Which is bigger: -1 or q?
-1
Let k = 89 - 103. Let c = -11 - k. Which is smaller: -0.7 or c?
-0.7
Let v = -922 + 921. Is v less than -8/227?
True
Let c = 1828 + -191942/105. Do 0 and c have different values?
True
Let f = -17 - -13. Let m = f - -4. Suppose 2*p = -m*p - 6. Is p equal to -1?
False
Let v(n) = -n**3 - n**2 + 1. Let q(d) = 6*d**3 + 14*d**2 + 9*d. Let t(l) = -q(l) - 5*v(l). Let g be t(-8). Suppose g*s - 3 = 3. Are 0 and s equal?
False
Suppose 3*x = 5*x. Suppose -c - 64 = 3*k - x*c, -3*c = 4*k + 77. Which is smaller: k or -22?
k
Suppose -3191 - 661 = 9*l. Which is smaller: -427 or l?
l
Let z(o) = 7*o**2 + 7*o - 16. Let n(j) = -3*j**2 - 4*j + 8. Let s(b) = 5*n(b) + 2*z(b). Let g be s(2). Which is smaller: g or -7?
g
Let i = -1/1292 - 2531/68476. Let n = 31 - 32. Which is greater: n or i?
i
Let d(m) be the first derivative of -m**4/24 - 7*m**3/6 + 7*m**2/2 + 6. Let p(v) be the second derivative of d(v). Let c be p(-5). Which is smaller: 2 or c?
c
Suppose -4*w - 904 - 268 = 0. Which is greater: -292 or w?
-292
Let g = -230 + 230. Which is smaller: g or 141?
g
Let d = 358.9 + -359. Which is smaller: -111 or d?
-111
Let t = -1 - 1. Let g(b) = 4*b + 14. Let x(o) = -1. Let y(u) = -g(u) - 3*x(u). Let j be y(-3). Which is bigger: j or t?
j
Let t = 0.2 - 0.22. Let n = 0.21 + -0.26. Let d = n - 0.15. Is t greater than or equal to d?
True
Let m be -2*2/(-12) + (-98)/294. Which is greater: m or 4/21?
4/21
Let a(n) = 44*n - 3. Let z be a(-1). Let f = -3/91 - -13022/273. Let i = f + z. Which is smaller: i or 5?
i
Let g(h) = -26*h - 4. Let j(a) = -78*a - 11. Let b(f) = -8*g(f) + 3*j(f). Let n be b(-1). Let r = -8950 - -8974. Are n and r non-equal?
True
Let o(x) = x**2 + 5*x - 12. Let f be o(-7). Suppose 0 = -3*m - 4*c - 2, 6 = f*m - c - 0*c. Is m < 6?
True
Let v(p) = 42*p**2 + 5*p - 8. Let n be v(2). Suppose 150 = 5*y + n. Are y and -27/8 non-equal?
True
Suppose -10 = -2*t + 14. Suppose 5*n - t = n. Let w be 0 + (n/(-1))/21. Which is smaller: -1/2 or w?
-1/2
Suppose -408*r + 413*r - 5 = 0. Are r and -4/71 non-equal?
True
Let m = 71 - 46. Suppose 47 - m = -2*r. Let k = -8 + -2. Are k and r unequal?
True
Let v(z) = -5 - 6*z + 6*z - 5*z. Let w be v(-1). Suppose -j + 10 = 3*s - 7*s, 5*s + 21 = -3*j. Which is smaller: s or w?
s
Suppose 5*a - 12 + 4 = n, 4*n - 2*a + 14 = 0. Let s be ((-2)/(-1))/((-1)/(-8)). Suppose 4*h + h + s = -3*o, -3*o = -3*h. Which is bigger: h or n?
h
Let r be (84/70)/(30/16). Which is smaller: r or 1?
r
Let r = 1 - -1. Suppose 3*c - c - r = 0, 4*c = m + 7. Let o = 0.01 + -0.51. Which is greater: o or m?
o
Let a = 0.1712 - 0.2712. Let c = 197 + -138. Is c > a?
True
Let p = -76 - 70. Which is bigger: -147 or p?
p
Suppose 0 = -j - 1 - 0. Let w be (1/(-9))/(134/6). Let h = -793/2211 + w. Which is bigger: j or h?
h
Let i be -3 + 2/(20/325). Is i at most 31?
True
Let r = 98 + -97.923. Let w = 1012/1527 + 2/509. Do w and r have different values?
True
Let o = 530.56 + -538. Which is bigger: -1 or o?
-1
Let z = -33 + 38. Suppose -120 = -0*o + z*o. Are -23 and o unequal?
True
Let j be ((-191)/(-8))/(1/(-2)). Let c = 48 + j. Suppose 5*v + 0*v = 5. Which is smaller: c or v?
c
Let c be (-2)/9 + 100/(-36). Let a = -30 - -33. Suppose -6 = -a*h - 12. Which is smaller: c or h?
c
Suppose 4*d = -5*b + 3*b - 14, -2*b + 4*d + 18 = 0. Which is bigger: b or -2/3991?
b
Let o(m) = -m**2 + 4*m + 10. Let v be o(7). Let r(n) = -n**2 - 10*n + 24. Let h be r(v). Is 105/8 bigger than h?
True
Let d = -2.73 - -1.53. Is d <= 2/9?
True
Suppose -109*i + 58*i = 1173. Which is smaller: -3 or i?
i
Let o = -50 - -55. Let y = o + -6.8. Which is smaller: y or 1?
y
Let b(u) = -u**2 + 5*u - 4. Let n be b(3). Let g = 1 - n. Let w be 38/(-12)*(-4)/10 - 1. Which is smaller: w or g?
g
Let g be ((-258)/45 + 6)*20/(-2). Is -21 less than g?
True
Let d(o) = 2*o**3 - 10*o**2 + 10*o - 8. Let g be d(4). Which is greater: 6/25 or g?
6/25
Let r = 44 - 28. Let b = r - 26. Which is smaller: b or -2/7?
b
Let r = 1180 - 1178.906. Let j = r - 0.094. Let v be 4/(-2)*2/6. Are j and v non-equal?
True
Let g = 9.28 - 8.28. Which is bigger: 561 or g?
561
Let c(x) = -x**3 - 3*x**2 + x + 6. Let t be c(-4). Is t smaller than 9?
False
Let l(q) be the first derivative of -q**2 + 45*q + 12. Let m be l(14). Is 18 equal to m?
False
Suppose -3*p + 4 = p. Let u = -415430/7 - -59210. Let q = -137 - u. Is q > p?
False
Let m = 13 - 16. Let t(q) = q**2 + 2*q. Let o be t(m). Suppose -4*d - 4 = -3*a, -3*d - d = o*a + 4. Which is bigger: 1/6 or a?
1/6
Suppose -105 = -3*v + 2*d, -2*v + 3*d - 40 = -115. Let p be v/(-6) + (-1)/2 + 1. Which is smaller: -2 or p?
p
Let h(b) = 51*b - 9. Let f be h(5). Let a = -1481/6 + f. Is a equal to -4?
False
Suppose -5*o = 5, 0 = w + o - 10 + 9. Which is bigger: 2.3 or w?
2.3
Let s = -0.14 - -1.04. Let m = -0.84 + s. Let t = -1.9 - -0.9. Is m at most t?
False
Let k = 40129/57 - 704. Is k != 0?
True
Suppose y - 2*c = -651, -11*c = 2*y - 14*c + 1305. Do y and -658 have the same value?
False
Let x = 862.25 + -862. Are x and 0.04 nonequal?
True
Let y(q) = 5*q**3 - 11*q**2 + 5*q + 1. Let o(j) = j**3 - j**2 + j + 1. Let u(b) = 6*o(b) - y(b). Let r = 6 + -11. Let k be u(r). Which is bigger: k or -1?
k
Let n = 9 - -1. Let g be -4 + (-24)/n + 4. Which is bigger: -3 or g?
g
Let i = -48 - -15. Let p = i + 32. Suppose a - 2*l = 4*a + 6, 3*a + l = -6. Is a <= p?
True
Let z be (-17852)/11880 + 6/4. Let l = z + -4922/10395. Let b = -1/42 + l. Which is greater: 0.2 or b?
0.2
Suppose -4*x + 9*x - 165 = 0. Let l = x - 203/6. Suppose t + 3*b = 5, 4*t - 2 = -3*b - 0. Is l > t?
True
Suppose 0 = -4*c + 20, 0*c + 24 = 2*o + 4*c. Let m = 10 - 5. Let w be m/(-2)*8/(-22). Is o < w?
False
Let b(k) = 0*k**3 + k**2 + 3*k**3 - 2*k - 2*k**3. Let i be b(-2). Are -2/13 and i nonequal?
True
Suppose 5*u + s = -5, 0 = 2*u + 5*s - 4 + 29. Is -6/11 greater than u?
False
Suppose 4*p - 3*p = 1. Let h be (0 - -3) + ((-2)/p - -15). Which is smaller: h or -0.1?
-0.1
Let h = -237 + 236. Suppose -2*z = 2*z + 5*f, -z + f = 0. Is h <= z?
True
Let r be (1 + -1)*4/(-8). Sup