
b
Let y = 579 + -2462. Let i = -15087/8 - y. Is i at least -4?
True
Suppose 49*n - 170 = 44*n. Which is bigger: 33 or n?
n
Suppose 4*q - 12 = 0, 5*k - 2*q - 15 = 3*q. Which is greater: k or 5?
k
Let z be (-6)/10 + 37262/70. Let j = z - 533. Let x(a) = a**3 + 10*a**2 + a + 10. Let o be x(-10). Which is smaller: j or o?
j
Let g(v) = -v**2 + 1. Let l = -60 + 59. Let p be g(l). Which is smaller: p or 2/33?
p
Let n = 7.7 + -1.7. Let w = 6 + n. Let c = 12 - w. Which is greater: c or -1?
c
Let q be (-1)/(-4) + 3/(-6). Let y(w) = -21*w + 281. Let k be y(12). Which is smaller: q or k?
q
Let w be (-6)/1*124/186. Which is smaller: -29 or w?
-29
Suppose -l = 18*l + 2109. Is l less than -111?
False
Let p(f) = -20*f**2 - 1. Suppose 0 = 3*w + 3 - 6. Let g be p(w). Let o be 28/g*6/(-4). Which is greater: -1 or o?
o
Let p = -1515 - -4550/3. Are p and 29.7 equal?
False
Let n = 31.8 - 31. Let h = n + -0.7. Is h greater than or equal to -24?
True
Let b be (112/(-1656))/7*4. Which is smaller: b or -1?
-1
Let m(z) = -z**3 + 12*z**2 - 47*z + 60. Let j be m(7). Which is greater: -122/5 or j?
j
Let a be 14 + (2/8)/((-4)/(-64)). Let u be (-8)/(-6)*a/60. Which is bigger: 24 or u?
24
Let d(m) = 2*m**2 + 23*m + 63. Let x be d(-7). Is x <= 6/239?
True
Let w = 0.732 - 0.82. Let l = w + -0.012. Which is bigger: l or -0.018?
-0.018
Let v(j) = -j**3 - 5*j**2 + 4*j - 13. Let b be v(-6). Which is smaller: 14/281 or b?
b
Suppose -445 - 365 = 27*k. Is k at most -31?
False
Let t = -145 + 593/4. Let u = -135 - -133. Let f = u + t. Which is greater: 2 or f?
2
Let y be ((-6)/7332)/((-3)/720). Let h = y - 2/47. Is h bigger than 2/3?
False
Let k(w) = -w**2 + w + 1. Let v be k(-1). Let u = 82/3 - 2876/105. Let t = -179/70 - u. Which is smaller: v or t?
t
Let s(b) = b**3 + 40*b**2 + 47*b + 301. Let t be s(-39). Let j(h) = -5*h + 9. Let u be j(4). Is t at most as big as u?
True
Suppose -41*d - 53*d = -59*d - 2100. Let g = -31 + 90. Is g <= d?
True
Let u(t) = 3*t - 12. Let x be u(5). Suppose -4*p = f - 8, 4 = -x*f + 2*p - 0*p. Suppose 36 = -4*h - f*h. Is h greater than -7?
False
Let p = 15151/808 - 1/808. Which is greater: p or 20?
20
Let g = 895/4 - 224. Let k = 131/42 + -10/3. Which is bigger: g or k?
k
Suppose -g + 13 = 7. Let d be g/2*10/3. Is 12 less than d?
False
Suppose 0 = -268*l + 274*l - 102. Are 17 and l equal?
True
Suppose -151 + 39 = -28*t. Which is smaller: t or -0.4?
-0.4
Let c(q) = -7*q**2 - q**3 - 538 - 3*q - 3*q + 544. Let b be c(-5). Is -16 at least b?
False
Let u = 17 - 14. Suppose z + 4*t = -1, 3*z + u*t - 6*t = 12. Suppose 2*m = z*m. Is -2/11 bigger than m?
False
Let z = -108/13 - -1544/117. Is z >= 1/4?
True
Let z = 64241 + -711870/11. Let h = 898 + -423. Let k = h + z. Which is smaller: 0 or k?
0
Let g(u) be the first derivative of -u**3/3 + 3*u**2/2 + 5*u + 15. Let q be g(4). Is -29 > q?
False
Suppose 0*b + 7*b = -7. Let y be 0/(b/(-1)) + (-4 - 11). Which is smaller: y or -14?
y
Let g(t) = -16*t + 421. Let o be g(26). Are 84/23 and o non-equal?
True
Let n = 0 - -0.1. Let a be (3 - 2)*-10 - -4. Let x(b) = -4*b + 6. Let g be x(a). Is n bigger than g?
False
Let g(h) = 7 + 0*h - h - 23 + 0*h. Let u be g(20). Is -36 bigger than u?
False
Let t(p) = -p**3 - 24*p**2 + 23*p - 54. Let n be t(-25). Is -25 equal to n?
False
Suppose 0 = 5*b - 0 + 5. Is -2/185 equal to b?
False
Let v be 1/(-4) - 58/(-8). Suppose -2*t + 3*w + v = -6, 2*w - 6 = 0. Suppose s - 2 = -5*d, -3*s + d = 6*d - 26. Is t less than or equal to s?
True
Let y = 0.0455 + -400.0455. Is -0.1 less than or equal to y?
False
Let c = 2156 + -1019. Let f = -21609/19 + c. Let v be 18/14 - (-4)/(-14). Which is greater: f or v?
v
Suppose 0 = 5*o - 4*x + 92, 0 = 2*o + 4*x + x + 17. Let h = 16 + o. Let y(u) = -u + 1. Let n be y(1). Is n at most as big as h?
True
Suppose 96*c - 75*c = -2919. Is c at least -138?
False
Suppose 139*s - 136*s = 33. Let p(t) = -t**2 + 14*t - 16. Let j be p(s). Is j < 16?
False
Suppose -29*n = 3 - 3. Which is smaller: n or -8?
-8
Let c = 9 + -16. Let d = c + 7.2. Let l = 0.2 - d. Which is smaller: -0.3 or l?
-0.3
Suppose -5*j + 2*j + 2*w = -962, -4*j = w - 1301. Which is smaller: j or 323?
323
Suppose 2*c = c + 5*y - 10, 4*y - 8 = 0. Let x be c + 12 - -2 - (5 + -4). Which is smaller: x or 15?
x
Let v = 0.3 + 0.7. Let i = -0.029 + -1.321. Let k = i - -0.25. Which is greater: v or k?
v
Suppose 0 = 3*a - 3*j + 594, 3*a - 6*a - j = 578. Is -195 != a?
True
Let w = 0.026 + 20.974. Let l = -19 + w. Suppose b = -3*q - 2*b + 6, -2*b + 9 = -3*q. Which is smaller: l or q?
q
Let x be (6/15*5)/(-122). Is x at most -1?
False
Let l = -408 - -2081/5. Is l at most -0.2?
False
Let g(s) = s**3 + 31*s**2 - 34*s - 63. Let d be g(-32). Are d and -52 nonequal?
True
Let l(p) = 3*p - 41. Let k be l(11). Which is smaller: k or -9?
-9
Let m = 318/29 - 28851/2639. Which is greater: m or 0?
m
Suppose -4*s = 2 + 2. Let r = s + 11. Let l be (r/75)/((-4)/(-3)). Which is smaller: l or 1?
l
Let k = 1/2130 + 68149/23430. Is 2 at most k?
True
Let h(x) = -13*x**3 - x**2 - x - 1. Let t be h(-1). Suppose -3*w + 0*w - t = -2*k, -5*w = 3*k + 1. Suppose k*f - 6*f = 0. Is 0 at least f?
True
Let f be -1*(0 - -1) + 1. Let q = 212 + -160. Let m be ((-1)/3 + 20/q)*-27. Is m bigger than f?
False
Suppose 0*i + 2*k = -i + 2, 9 = 3*i + 3*k. Which is smaller: i or 6?
i
Let f be 2/(-9) + 1510/396 + -3. Is f > 0?
True
Let x(f) = 4 - 5*f - 3 - 6 - f**2. Let d be x(-3). Do 1 and d have the same value?
True
Let j = -19 + 30. Let s(h) = -23*h - 81. Let r be s(-3). Let a = j + r. Which is bigger: -4 or a?
a
Let y(z) = 3*z + 5. Let p be y(-6). Let j(l) = -l**3 + 7*l**2 - 2*l + 12. Let w be j(7). Is w at most p?
False
Let x be ((-24)/4 - -5) + -3. Suppose -3*o + 2*l - 22 = 0, o - 5 + 3 = 3*l. Which is greater: o or x?
x
Let r = -25.2 - -1.2. Let z = -768.1 - -792. Let h = r + z. Which is bigger: -2.1 or h?
h
Let k = 145 - 144. Let m be (-32)/8 + 1/k. Which is smaller: m or -6?
-6
Let z(b) = -b**2 - 5*b + 4. Let k be z(-5). Let p = 6 - 4. Is k greater than or equal to p?
True
Suppose 5*u = -4*s + 30, s + 2*u - 9 = -0*u. Suppose -4*i - 139 = 5*p, -5*p + s = -0. Let z be i/81*6/4. Is z less than or equal to -2?
False
Let n = -0.288 + -0.012. Which is smaller: n or -2/107?
n
Let j = 17.75 - -0.25. Let f = j - 17. Is f < 0?
False
Suppose -2*y + 16*k + 9 = 21*k, -5*y + 5*k = 65. Let a be 1*-3 - 60/(-2). Let l be (a/(-6))/((-3)/(-6)). Which is smaller: l or y?
l
Let v(j) = 84*j**3 + 2*j**2 + 4*j + 2. Let b be v(-1). Let a = -85 - b. Is a bigger than -2/5?
False
Let f be (-106)/12 + (-30)/180. Let o be 0 + (-2)/6 - 3/f. Which is smaller: o or -1/107?
-1/107
Let w be ((-12)/(-2))/(-3) - 1 - -2. Let b be -2 + -1 + 775/(-35). Let r = 25 + b. Which is smaller: w or r?
w
Let f be (-2)/(-11) + (-4)/22. Let o be (-36 + 36)/(1 - 0). Is o greater than f?
False
Suppose u - 4 = -m, 3*m + 1 = -2. Suppose 4*c + 1 = 2*v + 13, 0 = u*v + 5*c + 90. Is v at least as big as -16?
True
Suppose -21 = -4*g - 3*g. Suppose 26 - 26 = g*b. Which is greater: -2/15 or b?
b
Let z(p) = p**3 + 19*p**2 + 18*p - 8. Let c(m) = m**3 - 2*m**2 + m. Let f be c(-2). Let v be z(f). Is v at least as big as -7?
False
Let p = 2 + -1. Let z = p - 0. Let t = 648 + -663. Does z = t?
False
Let f = -787 + 705. Which is greater: -84 or f?
f
Let x(w) = -w**3 - 4*w**2 + 78*w + 12. Let o be x(-11). Let i be 2 + 3618/170 + -1. Let f = i + -112/5. Which is smaller: f or o?
f
Let z(p) = -p + 18. Let u be z(0). Let j = -21 + u. Let h be 3*(-9 + 2) - j. Is -18 > h?
False
Suppose -19*p = -24*p + 760. Is 154 at most p?
False
Let i be 27/(-45) - (-33)/5. Let w be ((-7)/(-3))/((-2)/6). Let n be (-29)/27 - (i + w). Which is bigger: n or 1?
1
Suppose o - 45 = -4*y, -5*o - 2*y = -126 - 99. Suppose -3*z + o = 5*g, 4*g - z - z - 14 = 0. Which is greater: 5 or g?
g
Suppose 3*k = 17*k - 252. Suppose -k*f + 19*f = -44. Which is greater: -45 or f?
f
Let n = -121 - -49. Let x be (-43)/(-9) + (-16)/n. Suppose -x*p - 136 = -36. Which is smaller: p or -19?
p
Suppose -16*v + 26 = -3*v. Let c be 1*(45/21 + 0). Is c bigger than v?
True
Suppose 5*y - c = -11 - 35, 46 = -3*y - 4*c. Suppose -5*d + 4*l = 35 + 11, d + l + 11 = 0. Let u = y - d. Which is bigger: 2/3 or u?
2/3
Suppose 2*r + 2*r + 196 = 0. Let z be (-9)/3 - 376/8. Is r smaller