have the same value?
False
Suppose 4*m - 2*b = -5 + 9, 2*m - 3*b = -2. Suppose -4*r - 20 = -5*p, p - r = -0*r + 4. Suppose p = 4*t - 2*t. Is m smaller than t?
False
Let i be (21/(-12))/(-7) - 381/228. Is -0.1 smaller than i?
False
Suppose -i - 3*k + 100 = 0, -5*i - 3*k + 533 = k. Let m = i - 61. Do -1/2 and m have the same value?
False
Suppose 1 = -5*f + a + 10, -4*f = -4*a - 20. Suppose -6*j - 3*q + 4 = -5*j, 0 = 4*j - q - 3. Let g be (14 - 14) + j*2. Which is smaller: g or f?
f
Let y(n) = -n**2 - 37*n - 18. Let p be y(-37). Is -9 equal to p?
False
Let u be ((-4)/5)/((-110)/(-100)). Is u greater than -0.8?
True
Let p(d) = d**3 + 11*d**2 + 17*d - 10. Let m(x) = -x**3 - 4*x**2. Let o be m(-3). Let r be p(o). Which is smaller: 0 or r?
r
Let u = -5/173 + 397/19722. Which is greater: u or 0?
0
Suppose 4*w = -6*w + 20. Let l be (w + 0)*(-6)/26. Which is bigger: -1 or l?
l
Let q = -1607 - -1232. Is -377 greater than q?
False
Let v be 1 + ((-24)/(-9))/2. Let t(k) be the second derivative of k**3/6 + 9*k**2/2 - 3*k. Let o be t(-8). Which is smaller: o or v?
o
Suppose 6*i = 2*i + 4*w + 32, -2*i - 3*w + 11 = 0. Suppose i*o - 4*o = 6, -2*m = -3*o + 4. Is m at least as big as -2/71?
True
Suppose 4*i + 5 = 25. Suppose 2*k + i + 57 = 0. Which is bigger: -32 or k?
k
Suppose -5*h + 14 = -3*h. Suppose 5*a = 10, h = -j + 8*a - 6*a. Is j at most as big as -25/9?
True
Let s = 2.82 - -34.28. Let i = s - 37. Let z be (48/(-26))/1 - -2. Is z greater than or equal to i?
True
Let c = -0.1 - 4.9. Suppose 0 = -5*g - 57 - 433. Let f be 2/(-8) + g/(-168). Which is greater: c or f?
f
Let y = 15 + -12. Suppose a = -y + 5. Suppose 0*t + 3*t = 3*o - 12, -5*o - t + a = 0. Which is bigger: o or -1/3?
o
Suppose 2*g + 13 - 17 = 0. Let z be -7 - -6*(1 - g/4). Is z bigger than -2/35?
False
Let l(y) = y**3 + 5*y**2 + 2*y - 5. Let t be l(-5). Let i(v) = 6*v**3 + v**2 - 4*v - 2. Let w be i(-2). Let x = w + 24. Is x greater than t?
True
Let c = 215 - 217. Suppose f + 970 = -3*t, 5*f + 1983 = -5*t + 353. Let v be (t/(-21))/(c/3). Is v equal to -23?
True
Suppose 0 = -106*q + 41*q. Let a = 8.5 + -6. Are q and a equal?
False
Let q = -3049 + 1147. Is -1902 greater than or equal to q?
True
Suppose 0*u + 36 = -6*u. Is -2 at most u?
False
Let o(z) = z**2 - 7*z + 6. Let q be o(5). Suppose 0*k - 71 = -5*k - b, 2*k - 22 = -2*b. Suppose -3 = -3*s - k. Is q at most s?
True
Let c(v) = -v**3 - v**2 + v - 1. Let t be c(1). Let i be (-456)/(-376) + (t - -1). Let y = -561/235 - i. Are y and -2 non-equal?
True
Suppose 4*l = -64 - 32. Let u be l/(-10) + 1 - 4. Which is bigger: u or 0.3?
0.3
Let c be (13/6 - 2)*4. Let f = 1/3 - c. Let r = 30.8 + -31. Which is bigger: f or r?
r
Let r be (-2)/(-4)*(-8)/4. Let c be r/(2/(-68)*-2). Is c smaller than -16?
True
Let y be 1918/2055 + ((-6)/(-5))/(-2). Suppose -q + 3*z - 4 = 4, 21 = -5*q - 4*z. Let b(c) = -c**2 - 5*c + 1. Let k be b(q). Do k and y have the same value?
False
Let a = 21.16 - 19.3. Let n = -2.83 + a. Let q = -0.03 + n. Is 1 <= q?
False
Let i = -119 + -42. Is 0.2 equal to i?
False
Let u be 5/3*24/20. Let r be (4 - 7)/(3/u). Which is smaller: -9/5 or r?
r
Let n = 52 - 6. Let m = n + -33. Is m at least as big as 13?
True
Let g = -20 + 32. Let m be (-19)/4 - 3/g. Is -7/6 smaller than m?
False
Suppose -94*v = -80*v - 3542. Does v = 1/4?
False
Let k be (-9)/(-6)*-2 - -209. Suppose -389 - k = -5*o. Let s = 953/8 - o. Are 1/3 and s unequal?
True
Let i = 1894 - 1894. Suppose -s - 142 = -3*s. Let j be -2 - ((-286)/s - -2). Is i equal to j?
False
Suppose -15*s = 4*s - 19. Is -1/1649 bigger than s?
False
Let r = 20 - 18. Suppose -2*b = -b - r*b. Is -6 smaller than b?
True
Let g be 5/(-28) - 2/(-8). Suppose -3*o - 9 = b - 8, -b - 3 = o. Which is bigger: o or g?
o
Let m be 2*813*(-2)/(-24). Which is bigger: m or 137?
137
Suppose 0*n - 4*n = 0, -2*r + 3*n = -22. Suppose -4*f - 2*o + 3 = -r, f + 5*o - 26 = 0. Which is smaller: f or -2/5?
-2/5
Suppose -3*s + 2*s + 3 = 0. Suppose -s*u + g = 12, 5*g - g = -u + 9. Is -4 greater than u?
False
Let w = 217 + -137. Which is smaller: 79 or w?
79
Suppose -7*g - 310 = -44. Let h = g + 24. Which is bigger: h or -15?
h
Suppose -4*r - 5 = -h - 0*h, 1 = -r. Let d be 0 - ((-121)/28 + 4). Let l = 4/7 - d. Are h and l non-equal?
True
Let s(i) = 2*i - 10. Suppose -m + 2*h = -4*m + 39, -4*h = -4*m + 52. Let a be s(m). Is a bigger than 16?
False
Let d be (-4)/(16/(-20)) - (11 - 6). Let m = 662 - 1103. Let w = m + 3964/9. Which is smaller: d or w?
w
Let u = -49883/10 - -4982. Let j = 79/30 + u. Is -5 equal to j?
False
Let v = -137 - -547/4. Let f be (38/8)/(1/(-4)). Is f less than or equal to v?
True
Suppose -60*l - 354 = -54*l. Which is bigger: l or -57?
-57
Let k(i) = i**2 - 12*i - 7. Let n be k(9). Which is smaller: n or -35?
-35
Let o = -846 + 847. Let p be (-964)/2380 + 3/7. Is p <= o?
True
Suppose -5 = -3*o + 49. Suppose 2*s = -3*v + 51, 3*s - 4*v + 13 = 47. Are o and s unequal?
False
Let q(c) = c**3 - 7*c**2 - 6*c - 8. Let o be q(8). Suppose 0 = 4*g - 12 - o. Let s be 1/g - 12/(-120). Which is greater: s or 1?
1
Suppose 0 = -27*x + 157 - 130. Which is smaller: -6/401 or x?
-6/401
Let s = 108761/1148 + -379/4. Is s less than -1?
False
Suppose -5 + 1 = -4*a. Let i be (-5 + -1)/(20/35). Let t = i + 11. Which is greater: a or t?
a
Let x be (6/(-7))/(5/(-35)). Suppose 2*q = x*q - 12. Is q > 3?
False
Let d(m) be the first derivative of m**3/3 - 11*m**2/2 - 9*m + 11. Let w be d(12). Let s be (1 - 1) + -3 - -5. Is s != w?
True
Suppose -j - 12 = 5*r, -3*r + 6 + 0 = 5*j. Suppose -2*t - j*d = 1 - 16, -2*t - 5*d + 17 = 0. Suppose l = 7 - t. Which is greater: 4/17 or l?
l
Let g = 118.6 + -119. Is g < 29?
True
Let f be (-1)/5*-1*388/(-4). Which is bigger: -18 or f?
-18
Suppose -4*d = 7*d - 693. Let h be 32/(-72) - (-1)/d. Which is greater: 0.1 or h?
0.1
Let q be 4/(-1)*27/(-6). Suppose -2*a + q = -0*a. Suppose -a*b + 7*b + 38 = 0. Is b greater than or equal to 18?
True
Let i = -811 - -799. Let b = -9 - -17. Let w be 3/(i/b)*-4. Which is smaller: 9 or w?
w
Let j = -6 - -17/3. Let l(g) = 7*g - 22. Let i be l(4). Let r = -7 + i. Do r and j have the same value?
False
Let u = -7 + 11. Suppose 3*r + 1 = 2*t - u, 0 = 4*r - 3*t + 6. Suppose -2*a - 3*w = -0 + 4, 0 = 4*a - 5*w + 8. Is a smaller than r?
False
Let s(f) = -f**3 + 7*f**2 - 23*f + 16. Let q be s(5). Are -40 and q equal?
False
Let m be 19 - 8/(-1) - (-4 - 1). Which is smaller: 36 or m?
m
Suppose 5*p - w = -295, -2*p - 2*w - w = 135. Let q be 705/p + 2/(-8). Let a be q/8*10/(-33). Is a < -1?
False
Let u = 232.06 + -232. Is u greater than or equal to 6?
False
Let o be 39/(-637)*(-6)/(-9). Which is smaller: o or 1?
o
Let x = 12993/1048 + -99/8. Is x < 1?
True
Let j(b) = -b**3 - 9*b**2 + 12*b + 8. Let n be j(-10). Suppose -10 - 20 = 3*p. Is p not equal to n?
True
Let m = -656.2 - -664. Which is smaller: m or -3?
-3
Let k be 5/15*3/1*1. Which is bigger: k or 3/167?
k
Let s(t) = t - 3. Suppose -b + 3 = -2. Let g be s(b). Which is bigger: 0.17 or g?
g
Suppose -g + 0*b - 5*b - 21 = 0, 0 = 5*g + b + 81. Let q = 432 + -448. Is q at most as big as g?
True
Let v = 0.2 + 3.8. Let s = -75 - -183. Let n = s + -110. Is n smaller than v?
True
Suppose 0 = 2*t - 0 - 10. Let x be -1 - (-4 - t - -3). Suppose 2*f + 12 = x*f. Is -0.2 at least as big as f?
False
Let l = 0.045 + -0.009. Let q = -8.964 - l. Are 0.1 and q unequal?
True
Let t(j) = 3*j**3 - 8*j**2 - 2*j - 3. Let o be t(3). Is o bigger than -5/11?
True
Suppose 5*g - 7*g - 466 = -3*c, 2*c = -g + 299. Is -3 != c?
True
Let g = -23 - -6. Let n = g - -17.1. Which is smaller: n or -12?
-12
Let a = -80/989 + 2012/989. Which is greater: a or 1?
a
Let n be 12/28 - 66/154. Which is bigger: 3/488 or n?
3/488
Let y(q) = 29*q + 2. Let m be y(1). Let s = -26 - -57. Does m = s?
True
Suppose 1 + 20 = -21*m. Let r(i) = -i**3 - 5*i**2 + 1. Let a be r(-4). Which is bigger: a or m?
m
Let q = 20716/595 - 174/5. Which is smaller: -1 or q?
-1
Let s = -213.89 - -213. Let i = s - -0.49. Which is smaller: i or -0.1?
i
Let o = 48.3 - 51. Let i = 2.57 + o. Let p = -0.07 + i. Is p > 4?
False
Let m = -3335/9 - -11194/45. Which is greater: m or -121?
-121
Suppose -3*i + 6 + 3 = 0, -l - 5*i - 206 = 0. Is -218 equal to l?
False
Let p be 420/(-24)*(-8)/10. Let w be 4/p - 120/(-70). Is 