 Are t and -2 non-equal?
True
Let f be (-6 - 6741/(-1124))*-1499 + -4. Is f <= 0?
False
Let r be 2/5 + (-36)/(-10). Suppose 5*l + r*n - 4 = 19, -l - 7 = -5*n. Suppose 27*b + 12*b = 23*b - 32. Are b and l non-equal?
True
Let h = -14 - -10. Let f be ((-16)/(-32))/(14/h). Let k(g) = g**2 - g + 1. Let r be k(0). Which is smaller: r or f?
f
Let q = -9/152 + 1619/1672. Is q greater than or equal to -1?
True
Let n(o) be the third derivative of -o**5/60 + o**4/24 + 5*o**3/6 - 49*o**2. Let s be n(-3). Which is smaller: -5 or s?
s
Let t(v) = -v**3 - 16*v**2 + 194*v + 51. Let k be t(-24). Which is greater: -6 or k?
k
Let d(w) = -3*w - 40. Let g be d(-10). Let p be 166*(-1)/(-340) - (-5)/g. Is 0 < p?
False
Let a = 2720 - 57125/21. Which is bigger: -1/3 or a?
a
Let w be 2 + (146/(-30) - -3). Suppose -h = -n + 3*h + 2, -5*h + 29 = 4*n. Suppose s + n - 18 = -4*p, s = 4*p - 12. Which is smaller: s or w?
s
Let y = 1.8 - 0.5. Let i = -22.1 - -21. Let v = y + i. Which is smaller: v or 2?
v
Let r = 22/4523 - -2383071/113075. Let c = r + -21. Let y = 23 + -22. Which is smaller: c or y?
c
Let j be (-17 - -12)*(12/(-40) + 3/5). Suppose 0*p = -5*p + 10. Suppose p*s + s = -6. Is s <= j?
True
Suppose 3*a - 3*g = -2*a - 91, a + 3*g + 29 = 0. Let r be (0 + (-6)/15)*a. Is 22/3 greater than r?
False
Let b(s) = -s**3 + 2*s**2 + 3*s + 2. Let h be b(3). Let c be (h - (-20)/(-5)) + 3. Is c != 1/36?
True
Suppose -4*o = -5*i + 11, -i + o + 1 + 1 = 0. Let u be -8*(-5)/60 + 2/(-3). Suppose u*w - 4 = i*w + j, 2*j = 10. Do w and 0.2 have the same value?
False
Let k = -19 + 22. Suppose k + 9 = z. Suppose -4*c + 20 = -20. Which is smaller: z or c?
c
Suppose -2*w - 4*v = 41 + 81, -5*w - 272 = -v. Let r = w + 40. Which is smaller: -18 or r?
-18
Let r(g) = -g**3 - g**2 + 14*g + 5. Let t be r(0). Suppose -4 = 3*j - 1. Are j and t non-equal?
True
Let h be (1 - 2) + 2/2. Let y = 52 + 42. Let b = 471/5 - y. Which is smaller: b or h?
h
Suppose 2*l = -5 + 17. Suppose 0 = -r - 3*d + 3, r + l*d - 2*d - 4 = 0. Suppose -6*o = -10*o - 4. Is r less than or equal to o?
False
Let t = 1525 - 2546. Is t at least -1022?
True
Let u = 411777/13 - 31582. Let x = -75 + 168. Let h = u - x. Do h and 0 have the same value?
False
Let w(g) = 2*g**2 - 20*g + 24. Let x be w(9). Are 21 and x non-equal?
True
Suppose 18 = 3*h + 6. Suppose -4 = h*b - 0. Does -12/7 = b?
False
Suppose -5*d - a = -3*d - 20, -3*d = 3*a - 36. Let j(q) = q**3 - 9*q**2 - 6*q - 4. Let g be j(10). Suppose 3*z = 7*z - g. Which is smaller: z or d?
d
Suppose 2*d - d + 5*x = -2, 0 = -3*x + 9. Let y(f) = -f**3 - 17*f**2 + 2*f + 40. Let o be y(d). Is o less than or equal to 6?
True
Let f = 10.78 - 1.38. Let o = 10.7 - f. Let g = 2 - 2.1. Is g != o?
True
Let m = 0.31 - 0.51. Let c(a) = -a**2 + 5*a. Let f be c(9). Let g be 14/63 - 1/f. Which is bigger: m or g?
g
Let k be ((-2)/(-5))/(6/60). Suppose -k*f = 4*j - 52, f = 5*j - 2*f - 33. Is j != 11?
True
Let h = -5/43 - 157/129. Let f = -1/6 + h. Suppose 7 = 92*z - 99*z. Is f equal to z?
False
Let f be -106*8/136 + 8. Is f less than 3?
True
Let u be 5/(-190)*8*3. Which is smaller: u or -3?
-3
Suppose -328 = 23*q - 995. Is 29 at most as big as q?
True
Let y(z) = -2*z**2 + 43*z + 211. Let s be y(24). Is s < 102?
True
Let h(c) = -5*c + 20. Let v be h(2). Suppose 4 - 14 = -5*d. Which is bigger: v or d?
v
Let v be 36/(-2) + -6 + 8. Let l(b) = -b**3 - 16*b**2 - b - 16. Let m be l(v). Let c be 2/9 + 93/(-540). Which is smaller: m or c?
m
Let l be 2 + 110/8 + 2. Let c = 0.9077 + 0.0923. Is c > l?
False
Let b(u) = 2*u + 22. Let x be b(-7). Suppose z = 3, 5*a - 3*z + 2*z = -x. Let o = -2 + 2. Which is smaller: o or a?
a
Let f = 0.05 - -3.05. Let a = -0.0105 - 2.9895. Let q = a + f. Is 3 less than q?
False
Let b = -30 + -2. Let d be b/(-18) + (-16)/8. Is d < 1?
True
Let s(i) = i**3 - 8*i**2 - 8*i + 2. Let n be s(9). Suppose 0*d + n*d - 11 = 0. Which is smaller: d or 2/9?
2/9
Let m(c) = c**3 + 23*c**2 + c + 15. Let w be m(-23). Which is greater: w or -6?
-6
Suppose 0 = 2*v - 3*k - 10, -4*v - 2*k = 4 - 24. Suppose -2*n - 3*p = 1, -3 = 2*n - 4*p + v. Is n at least as big as -3?
True
Let l(d) = d**3 - d**2 - d - 1. Let p be l(2). Let r = -2/869 - 785/36498. Are p and r nonequal?
True
Let m be (-5)/20 - 207/4. Let z be m/(-36) - 1/(-3). Which is greater: z or 3?
3
Suppose 0 = 3*q - 4*q. Let w = 6 - -9. Let m be 39/w - (-9)/(-15). Which is smaller: m or q?
q
Suppose -5*n - 5 = -d, -n - 30 = -5*d - 5. Let w(j) = 15*j - 716. Let m be w(48). Which is bigger: m or n?
m
Let d be (-4)/(-10) - 1696/(-160). Is d <= 12?
True
Let q = 20.9 + -20.6. Is q less than or equal to 7?
True
Suppose 2*s = 4*p - 6, 2*s + 4*p = 3*s + 7. Suppose 0 = 2*h + 2*h - 24. Let q = h + -7. Is s > q?
True
Let f be 6/(-7) - 310/(-280). Which is smaller: f or 34?
f
Let w be (5/(105/(-28)))/((-4)/(-1038)). Which is smaller: -347 or w?
-347
Let d be (2 + -4)/(-2)*-1. Let i be (-891)/4 - (-2 - 0). Let f = -223 - i. Which is smaller: d or f?
f
Let d be (-4023)/(-72) - (-7)/56. Which is smaller: 60 or d?
d
Let y(w) = -2*w + 4. Let r be y(5). Suppose -31 = 3*a + 4*s, 2*a = 6*a + 3*s + 32. Let u be 20/a + (-1 - 2). Which is bigger: u or r?
r
Let n be 134 - -13 - (-2 + 0 - -1). Which is smaller: n or 149?
n
Suppose -2*s = 4*c + 22, -2*c = -0*s - 2*s + 8. Let o(h) = h**3 + 13*h**2 + 14*h + 14. Let k be o(-12). Let m be (-6)/k + (-27)/45. Which is greater: s or m?
m
Let c = -18.2 - -29. Let t = -10.7 + c. Which is smaller: t or -67?
-67
Let a = 7 + -3.7. Let w = a - 3.4. Is -7 greater than w?
False
Let t = 14 - -25. Let j = 38.9 - t. Is j bigger than 6?
False
Suppose 3*i = -2*i - 5. Let k be 5 + (9/3)/i. Is k <= 2?
True
Let n = 0.06 + 0.01. Let s = 1.134 + 0.866. Is n > s?
False
Let b be 10/(-4) + 2 - (-28)/56. Is -1/64 > b?
False
Let b = -7/40 + 2/15. Let u = 1591 - 1591. Are u and b equal?
False
Let k(h) = -h**3 - 15*h**2 + 17*h + 16. Let j be k(-16). Suppose j*w + 5*w - 5 = 0. Suppose 0*c + w = -c. Which is greater: c or 2/63?
2/63
Let d = -9 - -19. Let v be (-3)/18 + 25/d. Is v at most -1?
False
Let g = -446 - -338. Is g >= 2?
False
Let d = 3 - 2. Let m(g) = g**2 + 25*g + 50. Let n be m(-23). Which is greater: d or n?
n
Let j(b) = -14*b**2 - b - 2. Let v be j(-1). Let k be (-2)/12 - 10/v. Which is greater: k or 1?
1
Suppose 5*t = -5*f + 40, -4 = t - 0*f - 3*f. Which is bigger: 66 or t?
66
Let l = -49 + 49.148. Let m = 71.852 + l. Does m = -1?
False
Let n be 0 - (1 + -1 - -1). Let p = -3 - n. Let r be (-1)/p*(-4)/(-6). Which is bigger: -0.4 or r?
r
Let o = 355 + -369.9. Let y = 49 + -34. Let v = o + y. Which is greater: 0.05 or v?
v
Let p be (2 - 4)*(2 + 50/(-20)). Let w be -3 - 0 - (-2052)/703. Is p greater than or equal to w?
True
Let j(s) = 2*s**2 - 13*s + 20. Let g be j(3). Are g and 8/55 equal?
False
Let l = 25 + -14.3. Let h = l - 10.92. Is h <= -1?
False
Suppose 2*o + 0*o = -582. Let d be ((-215)/(-45))/((-1)/61). Let m = d - o. Which is smaller: -1 or m?
-1
Suppose 0*g - 5*g + 2*x + 7 = 0, -23 = -g - 5*x. Suppose -o - g*n - 24 = 6, -2*o = 3*n + 48. Let p be (-1*4)/((-9)/o). Is -6 less than p?
False
Let o be 80/4 + (4*-3)/4. Which is bigger: 14 or o?
o
Let l = 6 + -7. Let p be (2 - -6 - l)/1. Let r = -4 + 12. Which is greater: p or r?
p
Let q = -176 + 176.159. Which is greater: q or -1/2?
q
Let r = 0.095 - -0.925. Let p = 0.02 - r. Which is greater: p or -0.6?
-0.6
Let v(y) = 3*y**3 + 6*y**2 + y + 5. Let h be v(-3). Which is smaller: h or -33?
-33
Let m(d) = -d**2 - 21*d - 38. Let k be m(-19). Are 8/105 and k equal?
False
Suppose -5*b - 3*z = 2*z + 25, -b + 13 = -5*z. Let u be (5/(-30))/(b/(-6)). Let p(j) = -j**2 + 21*j + 22. Let h be p(22). Which is smaller: u or h?
u
Suppose -2*n = -0*n. Suppose -80 - 1 = -4*w + 3*p, n = -4*w - 5*p + 57. Let m be (-18)/(-81) - (-14)/w. Are m and 1/4 nonequal?
True
Let m(b) = -6*b. Let t be m(-1). Suppose p = 0, -5*s - 3*p = -t - 34. Which is bigger: s or 26/3?
26/3
Suppose 3*r - 5 - 7 = 0. Suppose -5*n + 22 + 13 = -5*j, -n - 2*j = -r. Let o = n + -6. Is -8/9 > o?
False
Let h be (10 - 8)*(1 + -2 - 0). Let o be (-214)/6 + h*6/(-18). Is o equal to -34?
False
Let h = -26.1 - -25. Which is smaller: -2 or h?
-2
Suppose 1091 = 16*l + 3539. Is -154 >= l?
False
Let f = -81/8 + 1721/72. Which is smaller: 13 or f?
13
Suppose 2