 Is w smaller than -1?
False
Let f be 36*((-679)/231 + 3). Which is greater: f or 2?
f
Let z = 12 - 20. Let w = z + 7. Let y = w + 2. Which is bigger: y or -4?
y
Let b be 18/(-8) - (-18)/72. Let w(a) = a**2 - 6*a - 1. Let j be w(5). Let g(v) = -v**3 - 5*v**2 + 7*v + 1. Let q be g(j). Do b and q have the same value?
False
Let f(v) = -10*v**3 - v**2 + 1. Let p be f(1). Let g be (-4)/p - 0/1. Let q = 2 + -3. Which is bigger: q or g?
g
Suppose 76 = -3*v + 3*q + 238, 0 = 3*v + 3*q - 180. Let o = v + -46. Let l(w) = 3*w**3 - 4*w**2 + 3*w - 2. Let n be l(2). Which is greater: n or o?
n
Let r = -3/91 + 593/12467. Are 0 and r non-equal?
True
Let n be 6 + (3 - (-497)/(-49)). Is n > 0?
False
Let r(m) = 14*m + 71. Let n be r(-13). Which is smaller: n or -110?
n
Let f = 0.5 + -6.3. Let x = f + 6. Is x at least 16?
False
Suppose 2*n = 3 - 1. Let s = 79 + -86. Let h be 6/s*1*(-8 - -7). Is h at most as big as n?
True
Let p = -1.12 - -36.12. Let a = p - 32. Suppose 5*d + 20 = 5*z, -z + 2*z = 5*d. Which is smaller: d or a?
d
Let p = 246.8 + -246.9. Which is smaller: p or -946?
-946
Let w = 77 + -78. Let b be 0 + 1 - (0 - 2). Suppose 3*o = b + 24. Is o equal to w?
False
Let b(q) = q**2 + 29*q + 65. Let g be b(-30). Is 95 < g?
False
Let t be (10/4)/(15/72). Let u = t + -71. Which is bigger: u or -58?
-58
Let y(m) = -4*m**3 - 9*m**2 - 5*m. Let l(v) = -v**3 - v**2. Let b(p) = -3*l(p) + y(p). Let w be b(-5). Is w less than or equal to -1/8?
False
Let d be (-4 + 0)/(-3 + -19). Let w be 4/(-6) + 6/9. Suppose -2*v - v - 3 = w. Which is greater: v or d?
d
Let h(k) = k**2 - 8*k - 4. Let v be h(10). Suppose -3*g = v - 7. Let y be g + ((-10)/(-4) - 0). Which is smaller: y or 0.2?
y
Let n = 93 - 79.1. Let i = n - 14. Which is bigger: i or 1/4?
1/4
Let d(o) = 2*o + 6. Let z be d(5). Suppose v = 1 - z. Let g = -22 - v. Which is smaller: g or -6?
g
Suppose -2*i + 5*i + 3 = 0. Let f be 4/(-20) - 29/5. Is i greater than f?
True
Let q be 1*(1/(-8) - (-11)/24). Which is smaller: q or -59?
-59
Let i be (3 - -1)/(4 + -6). Let y be -9 + 5 - 301/152*i. Is y bigger than 0?
False
Let z = -49.67 - -50. Let i = z - 0.53. Which is bigger: i or 1/9?
1/9
Let k = -13.92 - -14. Let n = -0.2 + k. Let r = -4.12 - n. Which is smaller: r or 3?
r
Suppose 0 = 3*h + 6*z - 2*z - 72, -37 = -h + 3*z. Let v(t) = -5*t - 8. Let y be v(-7). Is y at most as big as h?
True
Let k(y) = 7 - 56*y + 12 + 57*y. Let m be k(-18). Which is smaller: 1/2 or m?
1/2
Let k(n) = 2*n**2 + 9*n + 13. Let x be (20/(-12) + 2)*12/(-2). Let h be k(x). Do h and 3 have the same value?
True
Suppose 3 + 2 = a. Suppose a*x = -0*t - 5*t + 10, 0 = 5*x + 15. Let m = -25 - -25. Is m smaller than t?
True
Let q(v) = 4*v - 20. Let s(z) = -7*z + 41. Let x(w) = -5*q(w) - 3*s(w). Let u be x(-4). Is -28 < u?
True
Suppose h - 3*x + 165 = 0, 14*h - 10*h = -5*x - 626. Is 2/3 at least h?
True
Let a = -44/85 + 2/17. Let z = a + 31/40. Let q = -116 + 116.3. Which is smaller: z or q?
q
Let a be (8/(-30))/((-578)/102). Which is smaller: a or -0.1?
-0.1
Let o = -38 - -63. Let u = -21 + o. Is 0.2 greater than or equal to u?
False
Let a = 79/183 + -6/61. Let x(s) be the first derivative of s**4/4 - 3. Let o be x(0). Which is greater: o or a?
a
Let m be -14*(-1 - (-4)/6). Let p = -210 - -210. Which is smaller: p or m?
p
Let u be (1 - (1 + -2)) + -2. Let m(k) = k**2 - 6*k + 8. Let s be m(6). Suppose -s*n + 9*n + 5 = 0. Which is greater: n or u?
u
Suppose -2*w = 10*w + 492. Let g = w - -42. Is 1/5 < g?
True
Let o be 4 + 2 + 0 + 1. Suppose 732 = 5*f + o*f. Is 61 equal to f?
True
Let p be (407/33)/(-4 - 20/(-3)). Is 5 less than p?
False
Let n be (-3)/(-21)*3773/(-588). Which is smaller: n or -1?
-1
Let g(q) = q**3 - 7*q**2 - q + 1. Let i be g(7). Let c be 7/((-15)/i - 3). Do c and -14 have different values?
False
Suppose -3*c - 33 = -5*k, 3*k - 4*c + 8 = 5*k. Suppose -u = k*u - 406. Is u smaller than 57?
False
Let a be ((-12)/(-10))/((-4880)/(-100)). Which is smaller: 1 or a?
a
Let r be (10*(-4 - -3))/(-2). Suppose 2*h - 7*h = r. Let g = -1 - h. Are g and 2 non-equal?
True
Let y be (0 + 0 - -1) + -17. Let f = -21 + -22. Let k = f - -27. Do k and y have the same value?
True
Let l be (5 + (-18)/4)*6/4. Are l and -78 non-equal?
True
Let t be 60/(-15) + 4 + -1. Let v be 46/(-92)*272/(t/(-1)). Is v at least -135?
False
Let j = 92 + -91.83. Let n = 405 - 402.83. Let h = j - n. Which is greater: 1/2 or h?
1/2
Suppose -3*m = 15, 3*m = -p - p - 11. Suppose c + p = 15. Which is smaller: c or 49/4?
49/4
Let u = -3 + 8. Suppose 2*x - 175 = -u*t + 6*x, -3*x = 0. Let q be (-8)/t*(-10)/4. Is 0 at most q?
True
Let n = 7/39 - -271/663. Are 0 and n nonequal?
True
Let s(h) = -h. Let i(r) = -r**3 - 4*r**2 + 3. Let c be i(-3). Let y = c + 9. Let o be s(y). Which is bigger: -2 or o?
-2
Let w = 2285 + -2284.9. Which is smaller: 98/3 or w?
w
Let x = -337/2 + 168. Which is smaller: x or -94?
-94
Let b = -20148 - -141546/7. Is 74 smaller than b?
False
Suppose 18*y + 47 = 11. Which is smaller: y or -17/7?
-17/7
Let i(q) = 3*q**2 + 26*q - 12. Let t be i(-9). Let f(u) be the third derivative of u**5/60 + 7*u**4/24 + u**3/3 - 5*u**2. Let h be f(-6). Are h and t equal?
False
Let n be (-2 - -5)*((-24)/3)/96. Is -288 greater than n?
False
Let g be (-2)/(-8) - ((-27)/4 - -3). Which is smaller: 1 or g?
1
Let d = 2.33 - 0.33. Let y be (12/95)/((-18)/60). Let z = -2/95 - y. Are d and z equal?
False
Let c(u) = u**3 + 10*u**2 + 13*u + 2. Let p be c(-9). Let j = -20 - p. Let b = 13 - j. Which is bigger: b or -2/37?
-2/37
Let w be (12/14)/((-1)/(-7)). Let j(h) = -h**2 + 6*h + 2. Let a be j(w). Suppose -a*n + 1 + 3 = 0. Which is smaller: n or 3?
n
Let w = 190/29 - 1681/261. Is 53 greater than w?
True
Let b = 146 + -143. Suppose b*u + u - 36 = 0. Let c(d) = -d**3 + 4*d**2 + 7*d. Let o be c(5). Which is smaller: u or o?
u
Let h be (-35)/(-63)*(-9)/15. Let i be (6/(-10))/(603/6). Let f = i + 353/3015. Is f at most as big as h?
False
Let k(s) = 2*s + 22. Let a be k(-20). Let w be (-4)/a + 170/45. Suppose w = -h + 3. Which is greater: -8 or h?
h
Suppose 4*q = -5*n - 22, n + q - 6*q = -16. Let m be (2/n)/(5/135). Does -12 = m?
False
Let z = 101 + -99. Is z less than or equal to 1/3?
False
Let h be (-146)/(-6)*108/136. Let s = 20/17 + h. Let t = s - 21. Do -1 and t have the same value?
False
Let i be (-1)/8 - 44/(-224). Which is greater: -0.2 or i?
i
Let s(j) = -2*j + 13. Let p be s(4). Suppose -4*c = -p*c. Which is greater: c or 2?
2
Suppose 5*v = 4*v + 1. Suppose 4*d - 3*d = v. Let t = 77/4 + -697/36. Is t equal to d?
False
Let a be (-6)/4*41/123. Is -14.4 equal to a?
False
Suppose -87 = 5*k - 3*n, 5*k + 5*n = 7*n - 83. Which is greater: k or -16?
k
Let w(g) = 9*g - 20. Let k be w(7). Let f = 26 - -16. Which is bigger: f or k?
k
Suppose -k - 4*o + 2 = 0, 5*k - 10 = -3*o + 6*o. Suppose -y + 5*j = -2*y - 6, 0 = k*y - 4*j + 26. Which is bigger: y or 0.2?
0.2
Let d = -100 - -50. Let p = -64 - d. Which is smaller: p or 0.2?
p
Let l = -39 + 42. Suppose 20 = 2*v - l*v. Are v and -20 equal?
True
Let a = -0.0397 + 0.0397. Is a at least 2/19?
False
Let b = 15 + -54. Let m = -38 - b. Which is smaller: m or 29?
m
Suppose 9 = -3*n + 5*s - 3*s, 5*s = -3*n - 9. Let j = -21 - n. Is j <= -18?
True
Let r(f) = f**2 - 48*f + 51. Let o be r(21). Is -515 < o?
False
Let j = 38.2199 + 0.0801. Are j and 0.1 unequal?
True
Let w = 1197 - 1070. Which is smaller: w or 124?
124
Let p(v) = 2*v + 97. Let k be p(-38). Are 22 and k equal?
False
Let x = -180 + 260. Let t = -561/7 + x. Are t and -1 equal?
False
Suppose -28 = 2*s + 2*s. Let l be (-11)/22 + (-1)/(-2) + 20. Suppose -l = 6*i + 28. Which is bigger: i or s?
s
Let n = -681 - -618. Which is greater: -62 or n?
-62
Suppose 2*w + 5*w - 7 = 0. Let q be 0 - (w - -5 - -1). Which is smaller: q or -9?
-9
Let j = -2.92 + -0.08. Let m = j + 2. Let r = -6.4 - -5.9. Which is smaller: r or m?
m
Let v(d) = -d - 11. Let p be v(8). Which is smaller: p or -0.3?
p
Let x(a) = 2*a + 3. Let w be x(9). Let v be 51/w + (-20)/(-35). Which is bigger: v or 2?
v
Let f be (-4)/(-8)*(1 + -1). Let k be ((-133)/(-42))/(-19)*(-80)/24. Is f <= k?
True
Suppose -3*s = -5*d - s + 28, -8 = -d + s. Suppose -a = -0*q + 3*q - d, -3*a = 5*q. Is q bigger than 2?
True
Let q(h) = -h**2 - 21*h - 269. Let a be q(-19). Is 5 g