-2)/(-110)). Is 57 less than w?
False
Let c be (-30)/(-5)*2/4. Suppose c*r = -0 + 9. Let y be 14/(r - (4 - 12)). Which is smaller: 2 or y?
y
Let z(m) be the second derivative of -m**4/12 - 10*m**3/3 + 19*m**2/2 - 16*m. Let o be z(-21). Does -3 = o?
False
Let u = -21/202 + 2945/24442. Which is greater: u or 1?
1
Let i = 166 + -166. Suppose 10*w - 54 - 16 = i. Is w at most as big as 44/7?
False
Let n = -29/10 - -363/70. Is n greater than or equal to 1?
True
Let l be (-164)/3*1/(-2)*51. Let n = l - 18131/13. Which is greater: n or -1?
n
Let s be (8 - (-10 + 18))/(8/(-2)). Is s < -26/57?
False
Let q = 378/5 + -76. Which is bigger: -1 or q?
q
Let u(v) = -v**3 - 3*v**2 + 6*v - 46. Let r be u(-6). Which is smaller: 24 or r?
24
Let c = 9 - -13. Let z = 12 - c. Are 1 and z equal?
False
Let p(n) = -3*n**2 + 3*n + 5. Let z(g) = -5*g**2 + 5*g + 9. Let j(c) = 7*p(c) - 4*z(c). Let d be j(1). Let m = 1/211 + 199/2532. Is d at least m?
False
Let h(l) = 3 + 1 + 3 - 2*l. Let k be h(3). Let w = 23/9 + -469/180. Which is smaller: k or w?
w
Suppose -8 = -2*b, 2*a = -3*a - 5*b + 40. Let o be (-1)/a + (-1206)/(-24). Let f = o + -252/5. Which is smaller: -11 or f?
-11
Suppose -56 = -2*o - 5*o. Which is smaller: 3 or o?
3
Let r be 3/25*192/(-36). Which is greater: -2 or r?
r
Let b = 0.422 - 0.222. Do b and 189 have the same value?
False
Let g be (4 + (-66)/18)/((-4)/(-12)). Is g at most -8/31?
False
Let k be ((-4 + 3)/3)/(24/(-292)). Do 4 and k have the same value?
False
Let f = -20048.79 - -19948. Let n = f + 101. Is -0.2 > n?
False
Let o = -4382/548057 + 4/773. Which is smaller: o or -1?
-1
Suppose -2*l + 181 = -5*l + t, -5*l = 5*t + 315. Which is smaller: l or -4?
l
Let z(d) = -d**3 + 10*d**2 + 11*d + 14. Let c be z(11). Suppose 9*r + c = 7*r. Let t be 1 + (-2)/(4/18). Which is smaller: t or r?
t
Let o(m) = -4*m - 221. Let c be o(14). Are c and -277 nonequal?
False
Let z = 0.37 - 1.17. Let p = z - -0.3. Let q = -0.02 + -3.98. Which is smaller: q or p?
q
Let u(t) = -3 + 2*t**2 - t**2 + 2 + 5*t - 1. Let b(z) = -z**3 - 2*z**2 + 5*z + 3. Let l be b(-3). Let v be u(l). Which is bigger: v or -9?
v
Suppose -4*l + 21 + 23 = 0. Suppose -4*f + 49 = -l*f. Are -2 and f unequal?
True
Let m = -194 - -194. Let p = -86 - -93.6. Let v = -1.6 + p. Which is bigger: m or v?
v
Suppose 3*b = -4*r - 3, -5*b + r - 6*r - 5 = 0. Let f(k) be the first derivative of -2*k**3/3 + k + 3. Let x be f(-1). Do x and b have the same value?
True
Let y = -13 - -10. Let k = 0 + y. Is k bigger than 1?
False
Let s(o) = -o - 18. Let u be s(-13). Let j be -2 - -5 - 1/(-1). Suppose -5*m = -4*x + 4, j*m - 3*x + x + 8 = 0. Which is greater: u or m?
m
Suppose -3*q + 4*c - 4 = -15, 0 = 3*q - c + 4. Let b be (-26)/(3/(0 - q)). Is b < -27?
False
Let y = -2451 + 2452. Let n = 1/279 - 866/8091. Which is smaller: n or y?
n
Let c be (-38992)/18*(-2)/(-8). Let u = 540 + c. Let k(j) = j**2 - j - 1. Let m be k(0). Which is smaller: m or u?
u
Let i be (-3 + -2)*(4 + -5). Suppose y - 4 = 3*t, i*y + 4*t - 26 + 6 = 0. Suppose b - y*r - 16 = -3*b, r + 1 = 0. Is 4 smaller than b?
False
Suppose -48*z = 3*z - 204. Are 2 and z equal?
False
Suppose 0*o + 3*o = l - 21, -4*l + 49 = -5*o. Suppose -5*m + 13 = 4*h, 6 = 4*m + 2*h - 8. Which is smaller: m or l?
m
Let r = -33/5 + 109/15. Let g(p) = -p**3 + 3*p**2 - 3. Let f be g(-2). Let b = f - 17. Is b equal to r?
False
Let q be (14 - 2) + -9 + 624/(-244). Is -1 less than q?
True
Suppose 234*j = 244*j - 240. Are j and 26 equal?
False
Suppose -28*a - 277 = 479. Suppose -2*s - 37 = -3*d, 5*d - 53 = 4*s - s. Which is bigger: s or a?
s
Let w = -35.8673 - -0.1673. Which is smaller: -0.2 or w?
w
Let k be 68/(-12) + 1/(-3). Let u = 6 + -13. Is k <= u?
False
Let u = 5/966 + -3109/9660. Let x = u - 1/12. Does 0 = x?
False
Let u = 51 + -49. Suppose -u*j + 8 - 2 = 0, -17 = 5*g - 4*j. Which is greater: g or -1/127?
-1/127
Suppose -4*g - d - 1 = 0, 5*g - 51*d + 5 = -53*d. Which is smaller: 41/21 or g?
g
Let z = -53/4 + 14. Suppose 5*i = -4*v + v + 19, 5*i - 22 = -4*v. Let a be (4 - (i + 4)) + 3. Which is smaller: z or a?
z
Let q = 0.24 - 0.04. Let g = 1.6 + -2. Let k = g + 0.6. Is k bigger than q?
False
Let d be ((-74)/(-42)*268)/1. Let s = d + -472. Let h = s + -1/3. Are h and -0.1 equal?
False
Let i = 0.24 - 36.24. Let f = i - -38. Suppose -2*s - 16 = 2*t, 2*s + 23 + 1 = -3*t. Which is bigger: t or f?
f
Let b = -439 + 244. Is b less than -1/2?
True
Let x = -187137/172 + 1088. Is x at most 0?
True
Suppose 4*b = 5*a + 96, 2*b - 30 = -8*a + 6*a. Let m = b + -13. Which is greater: 5 or m?
m
Let i be (-3)/7 - (3 + -3). Let s be (-10)/4*(-1)/(-35). Let m = i + s. Is m bigger than -5?
True
Let t = -23 - -26. Let m be t*(1 - (-3)/(-9)). Is m != -2?
True
Let m = -6/71 + -129/994. Is 1 less than or equal to m?
False
Let x = -5749/4 + 1437. Which is greater: x or -0.0819?
-0.0819
Let f be 126*9/279 - (3 + 1). Is f >= 0.2?
False
Let a be (-3 - -3)/(1 - 0). Suppose z + 1 = -a. Is -1/25 greater than or equal to z?
True
Suppose -120 = 2*j - 12*j. Suppose j + 9 = 7*x. Which is smaller: x or 1?
1
Suppose -5*t - 217 = 3*v - 36, -v - 60 = 2*t. Is -66 <= v?
True
Let p = 25 + -18. Let g = -5.4 + 1.4. Let t = g - -3.9. Which is smaller: p or t?
t
Let n be 10/(-8) - 15/20. Let k be 6/n + 3 - -4. Suppose 2*a + 1 - 9 = 0. Is a less than k?
False
Suppose -n + 24 = 6. Suppose 4*f + 3*z = 75 + 4, 0 = -5*z + 5. Are f and n non-equal?
True
Let p(n) = n**2 + 4*n + 5. Let z be p(-2). Are z and 0.084 non-equal?
True
Let b be 3*(-14)/(-72)*-1. Let r = -11/12 + b. Suppose -f + 3*g + 2 = 7, 3*f + 4*g + 2 = 0. Is r greater than or equal to f?
True
Let l(i) = i**2 - 49*i + 489. Let d be l(35). Suppose -3*n - 69 - 24 = 0. Is d less than or equal to n?
False
Let h = -6040 + 4499802/745. Which is smaller: h or 0?
0
Suppose -m - 2*v = 8, -3 = m - 2*v - 11. Is -3/119 less than or equal to m?
True
Let f = 847 + -752. Which is smaller: f or 100?
f
Let s = 841 - 841.12. Is 6 < s?
False
Let l = 300 + -299.965. Which is smaller: l or 0.3?
l
Suppose -g - 7 = 8. Which is greater: -17 or g?
g
Let d(n) = n**3 - 12*n**2 + 10*n + 10. Let g be 4/(-6) - 210/(-18). Let v be d(g). Let s be 3*((-8)/52)/2. Is s != v?
True
Let l = 106 + -421/4. Suppose -2*q - 14 = 4*v, 6*q - 4*q = 2*v - 8. Let h be v/(-2) + (-1)/(-2). Is h equal to l?
False
Let o be ((0 - 1) + 4)*-1. Let u be 1/6*o*-2. Which is bigger: u or 4/5?
u
Let n = -127.1 + 127. Which is smaller: n or 4/45?
n
Let g(t) = -t**2 + 3. Let u(k) = -k**3 - 6*k**2 + 6*k - 7. Suppose 40 = -3*f - 2*f - b, -4*f = -2*b + 18. Let v be u(f). Let s be g(v). Is 0 > s?
False
Let f be 7 + 9/(-12)*4. Which is smaller: -4 or f?
-4
Let k = -242 + 283. Which is greater: 44 or k?
44
Let w = -54.29 - -54. Let c = -367.21 - -367. Let q = c - w. Which is greater: 2/3 or q?
2/3
Let z be 2713/150*(2 - (-696)/(-351)). Let g = -1/675 + z. Which is smaller: 0 or g?
0
Let o be (5/400*4)/(3/12). Let v = 51 + -46.02. Let z = 0.02 + v. Does o = z?
False
Let h(j) = -j**3 + 17*j**2 + 7*j - 6. Let t be h(17). Which is smaller: 107 or t?
107
Suppose 3*a - 1 = 5. Let r be (-321)/6 + a + (-5)/2. Is r < -54?
False
Let q = 37.87 + 0.13. Let l = q + -40. Which is greater: -0.4 or l?
-0.4
Let a be (-3 - -9291)/4 + -2. Let t be (a/(-396))/(-5) - 0. Let j = t - 10/9. Is j at least 1?
False
Let f = -383 - -765/2. Which is smaller: -2.6 or f?
-2.6
Let a(t) = 2*t**2 + 9*t + 3. Suppose -4*c + 9 = -j + 23, c = -5*j - 35. Let m be a(j). Let k be 6/m*12/8. Which is smaller: -1 or k?
-1
Let v = 389 - 394. Let u = -4 - 2. Is v != u?
True
Let w = 18534/13 + -1425. Let r = -14/39 + w. Which is greater: -78 or r?
r
Suppose -3*v - d = 6, -4*v + 0*d + 11 = -5*d. Let z(x) = -x**3 - 7*x**2 - 5*x + 3. Let h be z(-6). Let j be (v/h)/(6/18). Is j at least as big as -1?
True
Suppose -149*z - 127 - 1622 - 39 = 0. Let x be 10/(-1)*(0 + 1). Which is smaller: z or x?
z
Suppose -2*c - 47 = d + 2*d, 3*c - 74 = 4*d. Let l(o) = o + 19. Let t be l(d). Are t and 16/7 non-equal?
True
Let k be 1 - 4/(8/(-82)). Is k at least 42?
True
Let j = -7 - -11. Let y be (-20)/(-70) - 4/(-35). Which is greater: j or y?
j
Let z = 223/2 - 112. Which is smaller: z or 2/53?
z
Let c = 23 - 23. Let q = -2.97 - 0.03. Let r = 2 + q. Is r greater than or equal to c?
False
Let v(c) = -3*c**2 + 