t l = 133 - 135. Which is greater: -58 or l?
l
Let r = -5 + -2. Which is smaller: -0.06 or r?
r
Suppose -10 = -4*z + 6. Suppose -2*l + 12 = -5*l + 4*s, -4*l + z*s = 16. Let m(t) = -t**3 + 6*t**2 - 2*t + 9. Let o be m(6). Which is bigger: l or o?
o
Let g(l) = -l**3 - 9*l**2 - 11*l - 25. Let s be g(-8). Is 357 at least as big as s?
True
Let n = 1 - -8. Let u = 69 - 80. Let s = n + u. Which is smaller: 1 or s?
s
Let t = 4972793/2910 + -1308/485. Let i = t - 1701. Is 4 at most i?
True
Let n = -17 + 17. Suppose 0 = 3*z + 2*z - 35. Let x(d) = -d**3 + 7*d**2 - d + 6. Let g be x(z). Which is bigger: g or n?
n
Let z = -1 + 1. Let t(v) = -3*v**2 + 4*v**2 - 7*v + v**3 + 4*v - 3 + 0*v**2. Let f be t(-2). Which is smaller: z or f?
f
Let q = 1663/9 - 185. Let g = -5.5 + -1.5. Is g < q?
True
Let q be (-4*2/24)/((-32)/6). Is q bigger than -2/3?
True
Let h = -11.29 + 136.29. Are 3 and h non-equal?
True
Let o be 4/9 - (-1)/((-72)/(-11560)). Do o and 161 have the same value?
True
Let k be 3 - ((3 - 1) + (-24)/(-48)). Is k less than 50?
True
Let l = 52.917 + 0.083. Let u = 1570 + -1568. Is u less than l?
True
Let h be (2/6)/(17/(-4947)). Let t = h - -116. Is t greater than or equal to 61/3?
False
Let c be (15/(-3))/((-3)/3). Suppose -13 = -2*p - c. Suppose 0 = -g + 1, -5*g + 1 + 0 = p*q. Which is greater: -4/11 or q?
-4/11
Let w = -48 + 30. Let y be 2/w*-2 + (-10)/45. Do y and 2 have different values?
True
Let c = -12 - -13. Let t = -11.5 + 24.5. Which is greater: c or t?
t
Let d = -89 - -507/7. Let z be ((23031/(-2))/(-3))/231. Let o = d + z. Is o smaller than 0?
False
Let y be (-2)/(16/(-18))*-4. Let l be y/6*8/(-30). Suppose m - 11 = -2*k, -4*m - 3*k + 8 + 11 = 0. Which is bigger: l or m?
m
Let z(u) = 5*u**3 - 2*u**2 + 6*u - 8. Let c be z(3). Which is bigger: c or 126?
c
Let f = -12.78 - 54.12. Let o = f - -67. Which is smaller: 0.046 or o?
0.046
Let q = 1 - 3/2. Suppose 65 = -4*j + 49, 4*j + 12 = 2*g. Is q >= g?
True
Let q be -1 + (24/18)/((-6)/(-9)). Do -167 and q have different values?
True
Let u = 1.4 - 1.3. Let t be (-20)/(-14) + 5*(-2)/5. Which is smaller: t or u?
t
Suppose 4*n - 28 = -3*u, -3*n + n = 3*u - 20. Suppose 5*m - 4*m - 3*z = 38, -n*z - 82 = -2*m. Is m not equal to 46?
True
Let x = -361 + 132. Let d = x - -435/2. Is d at most -11?
True
Suppose 2*c = -23*c - 400. Which is greater: -10 or c?
-10
Suppose 0*n + 2 = -n. Let t(f) = f**3 + 2*f**2 - 1. Let q be t(n). Suppose -a - 2 = -0. Is a at least q?
False
Suppose -3*m + 8 = 2. Let k be 1/6*(-8)/m. Let x = -0.1 + 0.1. Is x > k?
True
Let w be (-23 + 25)*(-3)/26. Is 1 at most w?
False
Let b = 0.581 + -0.503. Which is greater: b or 2/5?
2/5
Suppose 4*r + 3*f - 59 = 26, -2*r = -2*f - 60. Let v = r - 15. Which is bigger: 9 or v?
v
Let q = -158 + 624. Is q > 467?
False
Let n(o) = -2*o**2 - 20*o - 12. Let x be 12*(0 - (-2)/(-2)). Let c be n(x). Which is greater: -59 or c?
-59
Let m be (-900)/70 + 12 - 0/(-2). Let n(t) be the first derivative of t**3/3 - t + 3. Let v be n(0). Which is greater: m or v?
m
Let u be ((-2)/(-36))/((-3)/183081). Let r = -3393 - u. Let a = r - -1/9. Which is smaller: a or -2?
a
Let l be (-5)/24*33/(-110). Are 1 and l equal?
False
Let m = 0.1423 - 2.3423. Which is smaller: 15 or m?
m
Let w = 168 - 173. Let n = -10 + 10.2. Which is greater: w or n?
n
Let r = 1233 - 1157. Which is greater: -2 or r?
r
Let p = -1266 - -1267. Is p less than 0.0182?
False
Let d = -0.2 + -0.1. Let z = -11.538 + -0.062. Let g = 11.5 + z. Is d at most as big as g?
True
Let d = -41 - 138. Let w = d + 520/3. Is -5 != w?
True
Let m = -31 - -76. Let i be 8/(-20) + 3/(m/6). Is 0.29 > i?
True
Let k = -74 - -142.9. Let v = -69 + k. Suppose 3*a + 1 = 3*l - 38, 0 = -3*l - 5*a + 7. Which is bigger: l or v?
l
Let d(f) = 48*f + 490. Let m be d(-11). Which is smaller: -42 or m?
-42
Let l = -557 - -695. Is 1/4 >= l?
False
Let i be (-17)/(952/1952) - -4. Is i at most as big as -30?
True
Suppose -5 - 1 = -3*j, 186 = 4*p + 3*j. Let a = 42 - p. Which is smaller: a or -2?
a
Suppose -5*g + 2*g = 6. Let k be 2/g - -1 - -3. Let f = -135 - -134. Which is greater: f or k?
k
Suppose 33*h - 1606 = 20669. Is 675 at least as big as h?
True
Let v = -185 + 186. Is v greater than -313?
True
Let x = -0.218 + 0.018. Which is smaller: x or 3/5?
x
Let s = 9 - 5. Suppose 4*c - 4*h - 16 = 0, -s*c + h - 3*h = -4. Let r = -712 + 2853/4. Which is bigger: r or c?
c
Let u = -21.3 + 0.3. Let v = 21.1 + u. Which is greater: 2.4 or v?
2.4
Let t = 128/3 + -43. Let b = 379.5 + -380. Which is bigger: t or b?
t
Let t = 20 - 33. Let c = 10 + t. Let b be -3 + (-54)/(-8) + c. Which is greater: 0 or b?
b
Let w = 1792 + -1792. Which is greater: w or 6/281?
6/281
Let t = -578 - -578. Which is smaller: t or 3/193?
t
Let h = 48 + -49. Let j be 2/(-6)*h/(-13). Which is smaller: 0 or j?
j
Suppose 9 = -2*c + 5*c. Suppose c*f - 2*f = 1. Let h be (-3 - f) + (-52)/(-14). Is 4 != h?
True
Let r = -353/3096 - -1/344. Which is bigger: r or 1?
1
Let q = 589396/129 - 4569. Which is smaller: q or 0?
q
Let y = -176/3 - -60. Which is greater: 3 or y?
3
Let q = -4759240/31 - -153498. Let t = 26 + q. Does t = 1?
False
Let n(m) = -m**2 + m. Let q(b) = b**3 - b**2 + b - 2. Let a(t) = 4*n(t) - q(t). Let r be a(-4). Are r and 16/3 unequal?
True
Let z = -51 - -51. Let d = 0.07 + -7.07. Let p = d - -3. Which is smaller: p or z?
p
Suppose j + y = -145, 0 = 5*j - j + y + 565. Which is bigger: j or 0.1?
0.1
Suppose 4*v = 5*x - 485, 308 = -5*v + 5*x - 302. Which is greater: -124 or v?
-124
Let b = 83387/4859613 + 236/2827. Let o = b + 2/191. Which is bigger: o or 5?
5
Suppose -2*i + 3*x = 8*x + 45, x + 48 = -3*i. Is -14 != i?
True
Let r(f) = f + 4. Let a be r(3). Let u(y) = -2*y + 12. Let x be u(a). Which is bigger: 1 or x?
1
Let a = 3 - 7. Let m = 6 + a. Let y = -2.2 + m. Which is greater: y or 1/4?
1/4
Let z = -53 - -57. Suppose -3 - 1 = -j, -3*a + 50 = -z*j. Is 23 greater than a?
True
Let l(m) = 6*m**3 + 41*m**2 - 5*m + 16. Let a be l(-7). Is -14 greater than a?
False
Let j = 4 + 0. Suppose -3*d - j*d = 0. Let c = 2 - 2. Do c and d have the same value?
True
Suppose -5*s + 6 = -4*d + 2*d, -s + 6 = 2*d. Suppose 0 = s*f - 16 - 4. Suppose -5*n + f + 20 = 0. Is 7 less than n?
False
Let x(m) = 12*m + 261. Let w be x(-21). Which is bigger: 8 or w?
w
Let u = 3 + 3. Let h = -0.041 - 29.959. Let f = h + 30.1. Which is bigger: u or f?
u
Let g(s) = 2 + 3 + 3*s - 1 - 2. Let m be g(-2). Let r = 3 + m. Which is greater: r or 0.1?
0.1
Suppose -3*o + 6*o = 9. Suppose -5*q - o*f + 36 - 6 = 0, f = q - 6. Suppose -q*y = -5*y. Is y > 1/3?
False
Let c = -5.39 + -20.13. Let p = c - -21.6. Let h = 0.08 - p. Is -2/7 at least as big as h?
False
Let d be (-15*(-4)/10)/11. Let s(j) = j**2 - 6*j + 5. Let p be s(5). Suppose n + p*n = 0. Is n smaller than d?
True
Suppose -12*g = 43 + 5. Which is smaller: -10 or g?
-10
Let a be 790/5688*(-1 + -1). Which is smaller: 0 or a?
a
Let x = -1.14 + 1.6. Let t = x - 0.56. Which is smaller: t or -5?
-5
Suppose -4*t - 22 = 18*t. Which is smaller: -2/627 or t?
t
Let w = -12.54 + 13.54. Which is greater: w or -560?
w
Let f be 2/3*6 + (-162)/45. Which is bigger: -272 or f?
f
Let l(r) = -2*r**2 - 5*r - 2. Let v be l(-3). Let t be ((-28)/(-35))/(1/v). Let m(c) = -c**3 - 10*c**2 + 8*c - 37. Let z be m(-11). Is z >= t?
True
Let y(s) = -s**3 + 16*s**2 - 43*s + 51. Let u be y(13). Which is bigger: u or -3/10?
-3/10
Suppose 0 = 2*b + 2*b + 84. Let l = b - -23. Suppose 5*a + 4*n - 12 = 0, l*a + n = -a + 3. Is 4/7 smaller than a?
False
Suppose 80 = f - o + 4*o, f - 75 = -2*o. Suppose 0*c = 3*r - 2*c + 39, -c = -5*r - f. Is r at least as big as -13?
True
Let w = 4.2 + 0.3. Let u = -4.7 + w. Which is greater: u or 6?
6
Let h = 49 - 48.71. Let t = -0.14 - -0.13. Let f = h - t. Do f and -2/11 have different values?
True
Let w = -41 + 37. Let c = w - -6. Is -0.3 at most as big as c?
True
Let o be 3 - -1*(-8)/(-4). Suppose 0 = o*m - m + 2*j - 32, 5*m = -2*j + 39. Let d = m + -7. Is d at most as big as -2/39?
False
Let p be (-23)/4 + 5/(-40)*2. Let m be 6/(3*p/81). Which is smaller: m or -28?
-28
Let b = 106 + -2432/23. Which is smaller: 1 or b?
b
Suppose 4*f + 5*u = 6, 5*f + 2*u - 14 = -u. Suppose -25 = -5*l, 4*l - 37 = f*t - l. Which is smaller: 4 or t?
t
Let c(i) = i**3 + 15*i**2 + 21*i 