greater than -1/10?
True
Let t = -1525 + 606. Is t less than 2?
True
Let n = 0.00774 + 0.07116. Is n smaller than -1/26?
False
Let t = 2272 - 2266. Let j be -3 + -3*(3 + 0). Which is greater: j or t?
t
Let u = -37 + 40. Let p(o) = -41*o - o**2 - 11 + u*o**2 + 24*o. Let z be p(9). Are 3/5 and z unequal?
True
Suppose 5*y + p - 9 = -4, 4*y - 5 = -p. Let t(s) = s**3 + s**2 - s - 385. Let m be t(y). Let g = m - -3853/10. Which is bigger: g or 0?
g
Let a = 157.99 - 2.99. Let d = a + -241. Is -2/3 bigger than d?
True
Let j(q) = -3*q**3 - 161*q**2 + 219*q - 53. Let c be j(-55). Is c greater than or equal to 66/61?
True
Let d be (51 - 46)*(3/(-5))/(-1). Let g be d + (-7)/(-7) - 242. Is g at least as big as -238?
True
Let n = 18973/9 - 2109. Which is smaller: n or 0?
n
Let n(a) = a**3 - 40*a**2 - 78*a + 3. Let w be n(42). Let k be (-334)/w + 1 - 15/(-45). Which is greater: k or -0.1?
k
Suppose 39*n = 44*n - 100. Suppose 10*b - 30 = -n*b. Which is greater: 2/13 or b?
b
Let r = 10868 + -53869/5. Does r = 93?
False
Let q = -1.686 + -1055.314. Let y = q - -980.9. Let c = y + 76. Which is bigger: 0.02 or c?
0.02
Suppose -11*t - 483 - 936 = 0. Let b = t + 131. Suppose 4*v - 12 = b*y, -1 = -v + 3. Is 0 equal to y?
False
Suppose 5*a + 4*x = 129, a + 4*x + 0*x = 13. Let v be (-30 - 12656/(-420)) + (-193)/(-15). Is v equal to a?
False
Let a be (-33)/(-36)*(-6)/(-2). Let k = -144 + 161. Suppose 7*i = 4*i + 5*s + k, -5*s - 9 = -i. Which is greater: i or a?
i
Let r = -2447 - -2379. Are -83 and r nonequal?
True
Let h(f) = 2*f + 1. Let x be h(2). Let o = 125538 - 125540. Is o at least as big as x?
False
Let a be 4*10*(-43)/86. Let u be (12/a)/((-3)/5). Let k = 2.6 - 0.6. Is k at least u?
True
Let m(a) = a**3 + 14*a**2 - 14*a + 33. Let g be m(-15). Suppose -g*s + 22*s = -12. Let j be (s - (2 + 4/(-2))) + 18. Which is greater: 13 or j?
j
Let j(w) = 16*w + 23. Let t be j(-3). Let h be 392/(-20) - ((-30)/t)/3. Suppose 76 = -3*m - m. Is h less than or equal to m?
True
Let r be ((-13280)/(-168))/10 - 2/(-21). Let m be ((-1845)/(-36))/(-5)*r. Which is bigger: -408/5 or m?
-408/5
Let t = -1/363 - 1064/9075. Suppose -58*o - 4 = -59*o. Let w be (-65)/39 + o/6. Do w and t have the same value?
False
Let d = 1306 - 1791. Which is greater: d or -1/3?
-1/3
Suppose 0 = 4*j - 0*j + 64. Suppose 27*t + 2*t = 899. Suppose t*n - 26*n = -75. Is n greater than j?
True
Let t = 2/6801 + 17035/11452884. Is -1 at most t?
True
Suppose 144 = -2265*j + 2274*j. Suppose j*q - 6 = 26. Is 44/21 >= q?
True
Suppose -2*f + 0 = -10. Suppose 0 = -f*g + 6 + 144. Suppose 6*m - 22 - 158 = 0. Is m bigger than g?
False
Let n be 825/(-2740)*30/(-9) - 1. Suppose -4*k - 13 = 4*u - 1, 2*k = -u - 3. Which is bigger: k or n?
n
Suppose 6*q - 144 = 2*q. Let x be (19/(-2))/(950/(-3800)). Which is bigger: q or x?
x
Suppose 2*j = -5*f - 104, j - 3*f - 2*f + 22 = 0. Let b be (14/21)/((-4)/(-12)). Suppose -4*p + 2*d - 58 = 106, b*d + 41 = -p. Is p < j?
False
Let g = 71.47 - 71.67. Which is greater: 78 or g?
78
Let v = 0.21797 - 0.09797. Which is greater: -207 or v?
v
Let z be -1 + 3 + (25 + -6 - -3). Suppose 3*x = 3*p - 6, 2*p = -3*x - p + z. Which is smaller: x or -2?
-2
Let w = -138 - -139. Let i = 117739/62 - 1899. Is i < w?
True
Let w = -11509.3 + 11509. Which is greater: 7200 or w?
7200
Suppose 105 - 81 = 4*i. Suppose -15 = 9*d - i*d, 0 = j + 2*d + 35. Is j >= 0.2?
False
Suppose -87*s = -70*s - 17. Which is greater: -321 or s?
s
Let s = 13.5 - 8.5. Let p = -0.2335 + 2.2335. Which is smaller: p or s?
p
Let g(q) = -10*q + 12. Let w be g(-8). Let i = w + -76. Suppose -9*h + i = -11*h. Which is greater: h or -1?
-1
Let h = -296127/356 - -3327/4. Let a be (-16)/14*((-322)/(-4))/(-23). Suppose -2*p + a*c - 8*c = -2, -4*p - 4*c = 0. Which is smaller: p or h?
p
Let g be 3 - ((-35)/790)/(7/(-126)). Is g at least as big as 3?
False
Let w = 213 - 43. Let n = -168 + w. Which is smaller: 1/3 or n?
1/3
Suppose 2*u + 4*s = 42, -5*s - 78 + 203 = 5*u. Let y = u - 25. Suppose 2*o - 158 = 4*w + y*o, 157 = -4*w - 3*o. Is -40 less than w?
False
Let x = 63.55 + 5.95. Let n = -73.21 + x. Which is greater: n or -1?
-1
Suppose 5*p - 4*x = -0*p - 18, -x - 6 = 4*p. Let n be (-10)/(-10)*(-10)/p. Suppose 0 = n*f + 2 + 3. Is -2 at most f?
True
Let h = 9.4 - -109.6. Let v = h + -120.7. Is 3/4 > v?
True
Suppose -33*a = -49213 + 3772. Let o = a + -867. Is o != -2/3?
True
Suppose -4431 = -28*t - 8715. Let s(i) = -21*i - 7. Let y be s(7). Which is bigger: y or t?
t
Let o(l) = -30*l - 271. Let w be o(-9). Let a be (-9490)/(-3159) + (2 - 5). Is a less than w?
False
Suppose 0 = 4*i + 2*z - 7565 - 48969, -3*z = -3. Which is bigger: i or 14134?
14134
Let c = 26981/87 + -967/3. Which is greater: -11 or c?
-11
Let b be 267/6 - 13/26. Let k be ((-22)/b)/(2/(-12)). Is -1.7 bigger than k?
False
Suppose -r - 3 + 2 = 0. Let h(j) = -24*j**2 - 3*j - 2. Let n be h(r). Suppose -3*a + 2*s = 55, a + 64*s = 63*s - 25. Which is greater: a or n?
a
Let b(k) = -2*k**3 + 11*k**2 - 6*k - 1. Let w be b(5). Let c(q) = q**3 + 5*q**2 - 6*q + 25. Let n be c(w). Which is smaller: 24 or n?
24
Let p be (84/(-273))/(10/(-13)). Let g = -255 - -158. Is g >= p?
False
Let b = 46 + -22. Let l = b - 102/5. Let w be 4 - 0 - (2 + -2). Which is bigger: w or l?
w
Let p = 351934143/6467 + -54420. Which is bigger: p or -1?
p
Let g = 20849/2 + -10174. Is 250 >= g?
False
Let z = -710 + 781. Suppose 55 + z = -14*c. Which is smaller: c or 0.05?
c
Let h = 1/3361 + 1122567/23527. Which is greater: h or -2?
h
Let a = 1126 + -1126. Is a equal to 11/30?
False
Let z = 0.939 + -1. Let v = -0.0092 - 16.9298. Let p = z + v. Which is smaller: p or 0.1?
p
Suppose -4*g = -4 - 4. Let o = -29.85 + 7.25. Let i = o - -21.6. Is i greater than or equal to g?
False
Let f = -0.4 - -0.2. Let h = 1.6102 - 0.5402. Is f < h?
True
Suppose -2 + 6 = -4*z. Suppose 26*a + 17301 - 4015 = 0. Let k = a + 10735/21. Is k not equal to z?
True
Let c(v) be the first derivative of -13*v**2/2 + 127*v - 28. Let u be c(11). Which is smaller: u or -19?
-19
Let w = 7203 - 6983. Is w at most as big as 198?
False
Let f = -47/377 + 1783/23374. Let a = 1.2 - 3.2. Is f less than or equal to a?
False
Let a = -141 + 145. Let l be (5 - 56/16)*a/(-3). Which is bigger: l or -4/3?
-4/3
Suppose 2*n = 9*g - 29, 23*n - g = 27*n + 1. Is n != -9?
True
Let l(a) = -a - 33. Let h be (1368/9)/8*(0 + -1). Let w be l(h). Suppose -4*d - 26 - 18 = 0. Is d less than w?
False
Let o(l) be the second derivative of l**5/20 + l**4/3 + 2*l**3/3 - 3*l**2 - 65*l. Let f be o(-3). Which is smaller: 9 or f?
f
Suppose 82*r - 75*r = 161. Suppose -3*v = 5*k + 104, -4*k + v - 54 = 36. Let c = r + k. Is -1/14 > c?
False
Let t(z) = 61*z - 10. Let h be t(1). Suppose 5*p - 15 = 0, 7*f + 3*p - h = 10*f. Is f > 0?
False
Let k = 9404272/21164911 + -605/1361. Are 1 and k unequal?
True
Suppose 93 = -5*a + 4*u, 5*a = -u - 0*u - 108. Let x be (-20)/(-30) + 8/a. Which is greater: -2/15 or x?
x
Suppose 2*h + 4*o - 5715 = -817, -3*h - 4*o + 7349 = 0. Is 2451 greater than h?
False
Let d = 0.0251 + 0.0749. Let w = 69/22 - 535/132. Do d and w have the same value?
False
Let t(b) be the first derivative of -b**4/4 + b**3/3 + 3*b**2/2 - 3*b - 29. Suppose -3*q + 1 = -8. Let p be t(q). Which is bigger: -11 or p?
-11
Let o be 4*(4 + (-10)/4)/3. Suppose 92 = -a + o. Let v = 90 + a. Which is bigger: 11/9 or v?
11/9
Let m = 36731/261440 + -43/320. Do m and 1 have the same value?
False
Let l be (-63 - (-7332)/117)/(-1*(-2)/(-2178)). Which is smaller: l or 373?
l
Let j(c) = -c**3 - c**2 + 4*c + 3. Let m be j(-2). Let r = -15.6 + 12.73. Let o = -2.97 - r. Is o >= m?
True
Let m = 6034 + -6023. Which is greater: -52 or m?
m
Suppose -18 + 0 = -2*w. Let o(y) = 7*y - 6. Let z be o(4). Suppose 7*s - z = 2*s + h, -2*s - 4*h = -22. Is s <= w?
True
Let q(u) = u**2 - 55*u + 685. Let v be q(36). Which is smaller: v or -2/351?
-2/351
Let c = 2.526 - 0.026. Let x = c - -38.2. Let g = 41 - x. Does -0.04 = g?
False
Suppose 3*s + 3*g = -6, -7*g - 10 = -s - 2*g. Let w(t) = -t**3 - 2*t**2 - t + 120. Let v be w(s). Suppose 118*f = v*f + 130. Which is smaller: f or -64?
f
Suppose -179902 - 9492 = -37*a + 176869. Is 9899 at most a?
True
Suppose 0 = -q - 5*t + 275, -3*q = -5*t - 972 + 247. Let u = -254 + q. Which is greater: u o