alse
Let k(q) = 2*q**3 - 4*q**2 + 11*q - 16. Let z be k(2). Is z less than -19?
False
Let i = 12 + -12. Suppose -3*s - 3*z + 9 = 0, 3*s + 0*z - 2*z - 9 = i. Let d be ((-18)/(-8))/(-3)*(-40)/15. Which is smaller: d or s?
d
Let j(i) = i**2 + 22*i + 35. Let y be j(-21). Suppose -4 + y = 5*v. Suppose 0 = -3*s + 7*s, 0 = f - 5*s - 3. Is f greater than v?
True
Let j(m) = -48*m + 384. Let i be j(6). Let c be (-18)/12 + (-17)/(-14). Are i and c nonequal?
True
Suppose -2*a - 12 = -3*a. Suppose -a = -3*y + 9. Let g be 8/28 + 47/y. Are g and 8 equal?
False
Let i = 0.038 - -30.962. Let q = -22.071 - -1.071. Let r = i + q. Which is bigger: r or -0.1?
r
Let p(o) = 2*o + 107. Let n be p(-16). Which is bigger: n or 72?
n
Let n be (-10 - (-2 - -2))/(-2). Suppose n*s - 2*s + 16 = -4*h, 2*s = -2*h - 8. Is s <= 1/48?
True
Suppose 0 = q + 4, -5*v - 4*q = -2*q + 98. Let m = v - -18. Let a be 1/(-3) + 4/48. Is a >= m?
False
Suppose 90 = 9*h - 4*h. Let p = h - 24. Let k = -15 - p. Which is greater: k or -8?
-8
Let b be ((0/4)/2)/(-1). Suppose b = 5*v - 3*v. Suppose v = 3*o - 14 - 25. Which is greater: o or -0.1?
o
Let z = -3 + -1. Let t = 0 - 0. Which is bigger: t or z?
t
Let m = 1.67 + -3.24. Let l = -0.03 + m. Let x = -1.6 - l. Which is smaller: -0.11 or x?
-0.11
Let j be 347/(-18) - 2/9. Is 3 at most as big as j?
False
Let s = 158 - 171.9. Let c = s - -14. Let q = -17 + 16. Is c less than q?
False
Let r = -0.19 + 1.03. Let m = 0.04 - r. Let x = 0.9 + m. Are -17 and x equal?
False
Suppose -6*b + q = -4*b + 65, -2*q - 149 = 5*b. Are -37 and b non-equal?
True
Let j be (3/(-4) - 0)*-1. Let s = -461.2 + 503. Let y = s - 42. Do j and y have the same value?
False
Let q = -45/2 + 22. Let d = 0.7 + -2.2. Let w = -2.5 - d. Is q != w?
True
Let p(o) = o**3 - 8*o**2 - 10*o + 6. Let z = 9 - 11. Let j(q) = -4*q + 1. Let h be j(z). Let t be p(h). Is t greater than -3?
False
Let x = -6/65 - -148/195. Which is smaller: 1 or x?
x
Let x = 51 - 51.08. Let a = 0.13 + x. Which is smaller: 3 or a?
a
Let p(q) = -q**2 + 6*q + 59. Let g be p(11). Which is smaller: g or 48/11?
g
Let q = 6 + -11. Let p = q - -31. Let s = p - 28. Which is smaller: -1 or s?
s
Let u be (-2 - 3) + 61857/12375. Is 0 smaller than u?
False
Let h = 7 - 6. Suppose -4 = 53*m - 55*m. Is h smaller than m?
True
Let n = 2 - 2. Let m(d) = -d**3 + 16*d**2 + 12*d - 17. Let l be m(18). Let z = -3149/7 - l. Which is smaller: z or n?
z
Let t = 1106 - 1106.869. Let p = 0.069 + t. Let y = 1.8 + -2. Is y less than p?
False
Let i = -96.5 - -263.5. Is -4/5 != i?
True
Let l = 0.16 + 0.04. Let o = l + -13.2. Let j = 13.01 + o. Which is smaller: j or 0.1?
j
Let p = -4.1936 + -0.0264. Let x = -4.1 - p. Which is smaller: x or 4/5?
x
Suppose 30 = o + 2*o. Suppose 0 = -9*q - 1549 + 82. Let y = q - -170. Is y equal to o?
False
Let v be 3 + 44/2 + 1. Suppose -2*o - 4 = v. Let f be (o/(-20))/(1/4). Which is smaller: f or 2?
2
Suppose -2*i + 278 = -124. Is 202 != i?
True
Let p = 30 + -40. Let s be (3 + p/3)/(-19). Which is greater: s or 0?
s
Let t(v) = -3*v**2 + 3*v**2 - 3*v**2 + 2*v**2 - 2 - 7*v. Let a be t(-6). Let c(s) = s - 4. Let k be c(a). Which is bigger: 1 or k?
1
Let i(l) be the second derivative of -l**4/24 + 11*l**3/6 + 2*l**2 - 11*l. Let o(b) be the first derivative of i(b). Let h be o(15). Which is greater: h or -5?
h
Let a(f) = -f**3 + 6*f**2 - 4*f + 3. Let g be a(5). Suppose 5*i - 38 = -5*q + q, 0 = i + q - g. Suppose -m = -i*m + 10. Is m greater than 3?
False
Let o(g) = g**3 - g**2 + 2*g - 5. Let t be o(2). Suppose -t*h = -h + 4*c - 68, -c = 4*h - 157. Which is greater: h or 39?
h
Let v(i) = 3*i + 41. Let m be v(-15). Let c be (m/(-18))/((-4)/(-6)). Which is smaller: -4 or c?
-4
Let r = -25 - -28. Let b = -8 + 6. Which is smaller: r or b?
b
Let h be (1/4)/((-3)/(-96)). Suppose -a = -5*a + 32. Is h greater than a?
False
Suppose 0 = -5*d + 4 + 11. Let c(k) = k**3 + 11*k**2 - k - 8. Let l be c(-11). Suppose 0 = 2*i + m + l, 0*i + m + d = -i. Which is smaller: i or -4/5?
-4/5
Let s(y) = 11*y**3 - 5*y**2 + 3*y + 3. Let g be s(4). Suppose -g = 5*m - 19. Let d be (-1)/(-4)*(-16)/m. Which is smaller: d or 0?
0
Suppose 149*v - 3336 = 143*v. Do -1 and v have different values?
True
Let d be ((-5)/1)/((-1)/38*2). Is 94 > d?
False
Suppose -21 = -o - 3. Let j be 6/o - (-22)/(-48). Let p(x) = x**3 - 3*x**2. Let t be p(3). Which is bigger: j or t?
t
Let a be -1*(-7 + 15 + -7). Is a > 2/91?
False
Let k = -1072 - -1066.79. Let v = 0.21 + k. Which is bigger: 0.4 or v?
0.4
Let c = -52 + 57. Suppose -3*y - 1 = 5*v + 2, 4*v = -c*y - 5. Suppose 0*z = 4*z - 4. Which is greater: z or v?
z
Let j be (-2)/5 - 1001/(-65). Let h be (-9)/6 + j/6. Let a be h/(-3) - 56/(-24). Which is greater: -8 or a?
a
Let t = -1.3 - -6. Let h = t + -4.6. Which is greater: h or -19?
h
Let r = -64 - -89. Let s = 19 - r. Let x = 12 + s. Are 0.2 and x equal?
False
Let h = 1.66 + -0.16. Let q = h + -1.6. Is q less than or equal to 1/11?
True
Let h = -28/57 - -3/19. Suppose -c = 3*c - 4. Which is greater: h or c?
c
Suppose -5*f + 3*l = -34, 5*f - 19 = -2*l - 0. Let h(t) = 3*t**2 + 7*t + 8. Let p(m) = m**2 + 1. Let k(v) = h(v) - 4*p(v). Let a be k(7). Does a = f?
False
Suppose -3*i - 2*m + 25 + 3 = 0, 4*m + 14 = i. Let r be (4/(-6))/(i/435). Does r = -30?
False
Let r(h) = -h**3 + 2*h**2 - 2. Let p = -99 + 100. Let y be r(p). Which is smaller: 1 or y?
y
Let m be (-1)/(-4*1/272). Is 66 < m?
True
Suppose -3*h + 130 + 134 = 0. Let r be (4/h)/((-1)/10). Let f = r - 7/33. Is f not equal to 2/23?
True
Let r = -69.4 + 63. Let f = 107.6 - r. Does f = 0?
False
Suppose -o = 3*m, 4*m - 4*o - 17 = -m. Is m > 34?
False
Suppose 5632 = -2*g + f, -g + 3*f = f + 2813. Let r = g - -7993/3. Let m = r + 151. Is m less than -1?
True
Suppose -3*h - 3*y = 30, 3*y + 4 = 2*y. Let c(k) = k**3 + 5*k**2 - 5*k + 2. Let l be c(h). Let a be (-4)/(-3)*(-12)/8. Which is bigger: l or a?
a
Let g = 6.521 - 1.521. Is -5 <= g?
True
Let z = 577 + -575. Is z smaller than 298?
True
Let w be (-3867)/(-1015) + (-36)/9. Let m = -2/203 + w. Which is smaller: m or 1?
m
Let k be 4/14 - (-353731267)/(-4095). Let n = -86381 - k. Let a = -8/45 - n. Which is smaller: a or -2?
-2
Let a(s) = s**2 - 36. Let y be a(6). Which is bigger: y or -2/739?
y
Let o = 16 - 16.1. Let r be (-6)/2*42/36 + 1. Is o at least as big as r?
True
Let l = 737 - 752. Which is bigger: l or -17?
l
Let u = 1 + -1. Let f = 495 + -151967/307. Let d = f + -600/2149. Is d bigger than u?
False
Let c be (44/(-110))/(1/5). Let p be 9/c - (-8 + 4). Is 14 greater than p?
True
Suppose -l = 3*z + 168, 12*z + 5*l = 16*z + 243. Which is smaller: z or -51?
z
Suppose -s + 4*v = 1024, 5*s + v = 2*v - 5139. Is -1028 at most as big as s?
True
Let z be (-32)/6*120/176. Is -5 smaller than z?
True
Let a = -1115/2 + 7809/14. Are -2/29 and a nonequal?
True
Let q(h) = h + 55. Let k be q(-30). Which is bigger: 26 or k?
26
Let z be -12 + (-4620)/24 + 3/2. Is -203 equal to z?
True
Suppose 0 = 5*g - h + 327, g + 5*h + 31 + 24 = 0. Let u = 62 + g. Is 19 at least u?
True
Suppose 0 = 5*g + 3*k + 51 - 8, 8 = 2*k. Is g != -11?
False
Suppose a = -3*a + 12. Let j be (a/10)/(-1)*-786. Let x = -235 + j. Which is smaller: 0 or x?
0
Let a = -2.24 - -3.24. Which is greater: a or -8.4?
a
Let u be 4/(-3)*(-9)/(-6). Let o be (-15036)/(-14805)*10/(-4). Let d = o + -6/47. Which is bigger: u or d?
u
Let c = 2 + 2. Suppose -2*u + 6*u - 5*x = -69, 19 = -c*u - 5*x. Let f be 8/12*(-6)/u. Is 1 at most as big as f?
False
Let x(c) = -12*c**3 + 2*c**2 - 2*c - 2. Let o be x(-2). Let l = o - 955/9. Which is bigger: l or 0?
0
Let w = 0.1 - 0.9. Let s = w - -0.91. Suppose k = b + 2, -5*b + 4*k - 10 = -3*b. Is b at most as big as s?
False
Let f(o) = 12*o**3 + o**2 - o - 1. Let d be f(-1). Let a = -39 + 25. Let c = a + 4. Which is bigger: d or c?
c
Suppose 12*d - 51 = 11*d. Suppose -5*t - d + 19 = 3*q, -4*t + 2*q = 30. Is t less than -6?
True
Let o(j) = -j**3 + 13*j**2 - 31*j + 19. Let m be o(13). Is m less than or equal to -383?
True
Let r(q) = -q**3 + 10*q**2 - 6*q + 14. Let m be r(10). Let g = 24 + m. Let d = g + 85/4. Is -1 greater than or equal to d?
False
Suppose 3 + 3 = 3*v. Let z = 21 + -28. Is v greater than z?
True
Let p = 2 + 61. Suppose s = 4*s - p. Which is smaller: s or 20?
20
Suppose -6*a + 2*a = 0. 