.15 or d?
-0.15
Let o = 294 + -311. Which is smaller: o or -79/5?
o
Let z(p) = 5*p**3 + 7*p**2 - 13*p + 1. Let f(r) = -6*r**3 - 8*r**2 + 12*r. Let t(v) = -4*f(v) - 5*z(v). Let m be t(-6). Is -2 less than or equal to m?
True
Let f = -35 - -29. Let x be (1/28)/(f/(-4)). Which is smaller: x or -1?
-1
Let w(t) = -2*t**3 - 2*t**2 + 4*t - 1. Let g be w(1). Let n be (g/(-3) + 0)*13/(-1). Is -5 <= n?
True
Let f(b) = b**2 + 29*b + 20. Let h be f(-24). Is h less than -100?
False
Suppose -73*r - 84 = -71*r. Is r less than or equal to -0.2?
True
Let p = -896 - -963. Is p equal to 71?
False
Let z = -8.5 - -7.79. Let o = -19.29 + z. Which is smaller: o or -0.4?
o
Let x = 330 - 280. Is x less than or equal to 50?
True
Let l(r) = -r**2 - 31*r - 61. Let f be l(-27). Which is smaller: f or 45?
45
Let q = 352.2 + -321. Let f = 29 - q. Let w = -2.1 - f. Which is greater: w or -1?
w
Let l = 198 + 58. Is l > 256?
False
Let q be (16/1)/(87/27 + -3). Which is greater: q or 71?
q
Let q(g) be the first derivative of g**2/2 - 45*g - 6. Let r be q(15). Do r and -31 have the same value?
False
Let g = -105 + 77. Let j = 29 + g. Which is smaller: -0.2 or j?
-0.2
Suppose s + 20 = -5*q - 4*s, q - 5*s + 4 = 0. Let n be 10/25 - q/(-10). Which is smaller: n or 2/155?
n
Suppose 0 + 7 = a + 3*w, -5*a - 4*w + 2 = 0. Suppose -5*n - g - g + 18 = 0, g + 13 = 3*n. Suppose -9 = -3*q - 5*k, -4*q - q - n = 2*k. Is q smaller than a?
False
Let g = -0.7 + 0.7. Let t = -1 - g. Are t and -9 equal?
False
Let k(c) = c**3 - 2*c**2 + 3*c. Let u be k(2). Suppose -2*j - u = 4*l, -3*l + 2*j = -2*j + 10. Let y = 16 - 20. Is y greater than l?
False
Let q = 163.819 - -0.781. Is q smaller than 0?
False
Suppose 2*j = -b + 10, 2*j = -3*b + 5*j + 57. Let a be b/12 + 236/12. Is a at least as big as 22?
False
Let l = -15 - -18.8. Let c = -3.7 + l. Is c > 0.04?
True
Let o be 49/567*(-2)/7. Let u = 0 + 1. Is u at least as big as o?
True
Let c be (4/12)/(-4*(-12732)/(-288)). Which is greater: -1 or c?
c
Let f = 45484/13694123 + 2/23329. Which is bigger: 1 or f?
1
Suppose -f - 4*k + 16 = -35, 2*f + 4*k - 90 = 0. Is f greater than 3?
True
Let v(x) = -85*x + 349. Let t be v(10). Is -501 bigger than t?
False
Let j = -103597/81 - -1279. Let c = 85/162 - j. Which is smaller: c or 0?
0
Let d(s) = -2*s + 10. Let t be d(7). Let v be ((-12)/(-3))/(t/(-10)). Let x = 7 - v. Which is smaller: x or -2?
x
Suppose 8 = -0*u + 4*u. Let l(h) be the third derivative of -h**4/12 + 31*h**3/6 - 5*h**2. Let k be l(15). Is u smaller than k?
False
Let j be (240/28)/5 - 6/(-21). Suppose 1 = -j*k - h, 4 + 0 = 4*h. Let y(u) = -u + 3. Let t be y(5). Is k smaller than t?
False
Let h = -1841 - -3769/2. Let t = h + -45. Let r be (-76)/57 - (-1)/3. Is t <= r?
True
Let k be 10 + (-3 - (2 - 1)). Suppose 2*r + k*r + 40 = 0. Is r smaller than 1?
True
Let x = -66.003 + 0.003. Which is smaller: x or -1/8?
x
Let b = -2.901 - -2.9245. Is b greater than -0.2?
True
Let y be ((-2)/(-19) + (-1068)/38)*29. Is -811 smaller than y?
False
Suppose 2*v = -3*s + 99, -4*v + 2*s - 220 = -9*v. Suppose -v*c = -39*c - 18. Is 7 greater than c?
True
Let k(l) = l - 12. Let j be 693/45 - 3/(-5). Let n be k(j). Is 4 at most as big as n?
True
Let v = -47/18 - -1/9. Suppose -u = c + 8, 0*u - 2*u = 4*c + 22. Which is greater: v or c?
v
Let w be 5030/((-2 - -4) + -11). Let k = 558 + w. Is k greater than -2?
True
Let q = 8 + -7.61. Let n = 0.09 - q. Is n smaller than 0.4?
True
Suppose 2*i + 21 = 3*i - 5*s, 5*s + 17 = 2*i. Let k be i/(-88)*(1 + 2). Let g be 1*-2*((-10)/(-4) + -2). Which is smaller: g or k?
g
Let d = -28 + 25. Let c = 5 + d. Suppose 4*i + 15 = -5*y, 4*y + c = -i + 1. Is y smaller than 2/27?
False
Suppose -2*s + 22 = 9*s. Suppose -s*q + 15 = w, 5*q - 30 = w - 10. Which is smaller: 30/7 or w?
30/7
Let f be (3/42*1)/(6/24). Let u = -988/11 + 90. Which is greater: u or f?
f
Suppose 0*u + 2*u - 24 = -4*z, 0 = 4*z - 3*u - 14. Let l = -13 + z. Let h be 10/(-32) - 2/l. Which is smaller: 0 or h?
h
Let j(r) = r + 11. Let v be j(-11). Let n be -4 + 8/(-124) + 4. Are n and v equal?
False
Suppose m = -3*z + 7, -5*z + 10 = m + 1. Which is smaller: 37.1 or m?
m
Let m be 366/(-120) - (-14 - -11). Which is smaller: m or 11?
m
Let g(f) = f**3 - f + 31. Let k be g(0). Let n = 32 - k. Are n and -1/38 non-equal?
True
Let f be 10*(8 - (-2135)/(-266)). Let z be (10/(-20))/((-2)/4). Is z > f?
True
Let w = 2.025 - 0.025. Let j(k) = -8*k + 6*k**3 + 17*k**2 - 7*k**3 - 7*k**2 - 11. Let t be j(9). Is w >= t?
True
Let l = 1136 - 1106. Is l bigger than 35?
False
Let a(s) = s**2 + 8*s + 6. Let b be a(-7). Let w be 0/(3/(-3)*1). Suppose -l - l = w. Are l and b nonequal?
True
Let u be ((-8)/10)/(4/40). Let h(j) = j**2 + 6*j - 13. Let g be h(u). Let n(x) = x - 11. Let y be n(8). Which is greater: g or y?
g
Suppose 2*f + f = 0. Let n(h) = -h**3 - 5*h**2 + 18*h + 8. Let t be n(-7). Let p be ((-32)/t + f)*5. Do p and 8 have the same value?
True
Let y = -48 + 47.22. Let o = y - -0.88. Is -0.21 > o?
False
Suppose 2*x = -2, 0 = d - 0*x - 2*x - 45. Suppose 24 = -46*l + d*l. Is -2 >= l?
True
Let r = 0 + 0.5. Suppose -2*h = -4*u + 18, 2*h + 2*u = u + 2. Are h and r equal?
False
Let b(a) = 3*a - 7. Let z be b(2). Is z less than or equal to 1/15?
True
Let s = -156 + 79. Is 1 < s?
False
Let v = -2.8 - -0.5. Let o = v - -0.3. Which is smaller: o or 13?
o
Let w = -2 - -2.4. Let a = 0.4 - w. Let z = 91/2 - 44. Is a < z?
True
Let k(u) = -u**3 + 7*u**2 + 7*u + 5. Let n be k(8). Let y = n - -5. Suppose -y*f + 14 = -0. Which is smaller: 9 or f?
f
Let a = 6.66 + 1.34. Is 18 less than a?
False
Let u = 104211/32452 - 196/61. Let y = -803/2660 - u. Suppose 3*m - h + 5 = h, -5*m + 4*h - 9 = 0. Which is bigger: y or m?
y
Let s = -1682500/277 + 6074. Let m = s + 2230/1939. Is -1 less than or equal to m?
True
Let s be (2/14)/((-23)/(-161)). Is s greater than or equal to 1/105?
True
Let f be (2/(-6))/(0 - (-1)/(-6)). Suppose 3*x - 6 = -3*b, -5*b + f*x = 1 - 4. Let y = 3 + -2. Is b < y?
False
Let h = -31 - -32. Let b be (-3)/((-2)/(-2)) - h. Let j be (750/38)/5 + b. Which is bigger: j or 0?
0
Let o = 129 + -80. Let d = o + -48.8. Is d at least -0.23?
True
Let s(r) = 2*r + 2. Let h be s(-3). Let j be -14 + -1 + (h - -2). Is j > -17?
False
Suppose 8*y = 5*y. Is y bigger than -13?
True
Let i(q) = q**3 - 5*q**2 + 17*q - 97. Let d be i(5). Which is smaller: d or -2/3?
d
Let z(u) = u**2 - 10*u + 2. Let o be z(8). Is -12 at least as big as o?
True
Let r = 62 - 44. Let t be ((-6)/(-9) + -1)/((-11)/r). Is 0.1 at most t?
True
Let b = -79 + 82.3. Let z = 2.7 + b. Let t = -2 - -4. Is z not equal to t?
True
Let g = -1255/19 + 66. Let s = -15 + 19. Which is bigger: s or g?
s
Suppose 5*i = 5*u - 20, -3*i + 3*u - u = 12. Let d be 8*(-2 + 4)/i. Let f(p) = p**3 + 5*p**2 + 3*p - 2. Let n be f(d). Which is bigger: n or 8?
8
Let x = -2.74 + 2.64. Which is smaller: x or 489?
x
Suppose 3*d - 2*w + 2 = 0, -2*d + 0*w + 2 = 2*w. Suppose d = -0*h - h - 34. Is -1 < h?
False
Let x = -11.99 + -1.01. Which is greater: x or -1/10?
-1/10
Suppose b - 4*b - w = 3, -3*b = 3*w + 3. Which is smaller: -5/22 or b?
b
Let t = 0 + 0.2. Let s = 87.76 + -1.76. Let i = s - 90. Which is bigger: t or i?
t
Let w = 87 - 63. Which is smaller: 25 or w?
w
Let k = 215 - 222. Let v be (16/(-25))/((-2)/(-20)). Does k = v?
False
Suppose -4*v + 363 = -15*v. Which is bigger: -34 or v?
v
Let a be (-6)/5*-61*2/(-18). Is -9 greater than a?
False
Let y(q) = -q**2 - 4*q + 3. Let u be y(-4). Let z be (-2)/u - ((-2)/6)/(-1). Which is bigger: -2 or z?
z
Let o = -0.933 + -0.067. Let q = -252 + 1013/4. Which is bigger: q or o?
q
Suppose 128 = 98*a + 30. Is a at most 7.37?
True
Let m = -17 + 30. Let u = m + 11. Suppose 6*i + 60 = -u. Is i < 0?
True
Let f = -21 + -51. Let b = f + 72.6. Is 1/3 equal to b?
False
Let n = 3321659/580 - 5727. Let l = n + -483/56260. Is l bigger than 1?
False
Let b = 2339 - 1057. Is 0 < b?
True
Let p(t) be the second derivative of t**5/20 + 7*t**4/12 - 5*t**3/3 - 3*t**2 + 7*t. Let h be p(-8). Let l be 7/(-35) + 6/h. Is l at least -3/4?
True
Let b = 377/51 + -35/17. Is -0.2 >= b?
False
Let a be (11 - 3) + -5 + (2 - -80). Is 88 at most a?
False
Let d = -13/33 + 2/33. Let v = 2.08 + -1.18. Which is smaller: d or v?
d
Let d = -536 + 537. Which is smaller: 2/17 or d?
2