
True
Let g(x) = x**3 - 2*x**2 - 2*x - 4. Let m be g(-2). Let n be (-12)/m - 381/504. Is n bigger than -1?
True
Let i = -55 - -54.9. Let v = -30.987 - -31. Which is smaller: i or v?
i
Let q = 21.54 + -21.94. Is -134 != q?
True
Let n be (-232)/30*((0 - 0) + 3). Let x = n - -1007/35. Which is bigger: 6 or x?
6
Suppose -15*c + 0*c + 1440 = 0. Suppose -11*d = -5*d - c. Which is smaller: d or 15?
15
Let t = 54.5 + -55.5. Which is bigger: t or -98?
t
Let o = 5 - 5. Let g(q) = -2*q + 2. Let n be g(o). Suppose -70 = 5*z + n*x + 13, -3*x + 88 = -5*z. Is z <= -17?
True
Let v = 0.036 + -0.236. Let w = -5 + -24. Is w < v?
True
Let q be ((-1)/5)/(10/(-100)). Let z be 4/1 - (4 - q). Suppose 14 - z = -n. Is -12 equal to n?
True
Let g(m) = m + 1. Let w(f) = f**2 - f + 10. Let z(t) = 5*g(t) - w(t). Let d be z(4). Is d < 3/2?
False
Let f = 6593 - 903237/137. Let s be (-1709)/(-2466) + 2/(-4). Let r = f + s. Is -1/4 bigger than r?
False
Let p = 169 + -847/5. Is p less than 124?
True
Suppose 3*r + 2*h + 31 + 4 = 0, 4*r = 5*h - 85. Let z = r + 18. Let j be z/(1 + 15/(-24)). Do j and 8 have different values?
False
Suppose -a = -325 + 335. Do -3 and a have the same value?
False
Let i = -9 - -6. Let r be (i/(-4))/(19/8). Is r at most -1?
False
Let h = 1577 + -1578. Which is greater: 2.25 or h?
2.25
Let x = 158 + -158. Which is smaller: x or -6/5?
-6/5
Let r = -3172 + 3220. Let b = -62 + 111. Is b at most r?
False
Let l be (-30)/9*(-12)/10. Let o be (l/(-1))/((-8)/4). Let t be (o/(-4))/((-3)/(-6)). Is t <= -1?
True
Let a = -4298/11 - -390. Let h(s) = -s**3 + 3*s**2 + 14*s + 96. Let w be h(7). Do a and w have the same value?
False
Suppose 12 = 7*w - 16. Suppose -5*j + u = 4, 0 = -j - 3*u - w. Is -2/105 greater than j?
True
Suppose 5*l = 5*y + 31 + 9, 0 = -y + 5*l - 28. Let z be (-5)/(-195)*(y + 1). Is z >= 1?
False
Let q be -10*((-2)/(-4) + 0). Let n = -117 + 124.5. Let o = n + -7.6. Which is smaller: q or o?
q
Let r = 93.86 - -0.14. Which is bigger: -1/2 or r?
r
Let h = -132 - -922/7. Let l(k) = 2*k - 24. Let f be l(12). Suppose f = 5*q + a - 4 + 11, -4*a - 13 = 5*q. Is h at least as big as q?
True
Let l(q) be the first derivative of q**2 + 27*q + 1. Let s be l(-14). Which is bigger: s or -1/48?
-1/48
Let k(g) = 5*g + 5. Let d be k(9). Suppose -u - 9*u = d. Does u = -2?
False
Let c = -206/9 - -23. Let h(y) = -y + 6. Let i be h(5). Which is bigger: i or c?
i
Let r = 0.07 - 0.37. Which is smaller: r or 1.8?
r
Let f = 5709/10 + -569. Which is greater: 2 or f?
2
Let q = 885 - 23899/27. Let r be 1/(20/(-60)*(-3)/(-1)). Which is smaller: q or r?
r
Let j(n) = -n**3 + n**2 + 3*n + 3. Let c be j(3). Suppose 0 = 9*k - 167 + 140. Let f be 3 - (c + k + 14). Is -9 smaller than f?
True
Suppose -5*p = -2*p - 3*f - 12, 10 = -5*f. Suppose c = -p*i + 2, 10 = 5*i + 2*c + 3*c. Suppose -o + k + 0 = -4, i = -4*o + 2*k + 6. Is 1/9 at least as big as o?
True
Let y = 0.037 - 2.937. Let k = -3 - y. Let x be 86/(-21) - (-5 + (-4 - -5)). Does x = k?
False
Suppose 0 = -4*j - z - 2*z + 11, z + 5 = 3*j. Suppose 4*l = -3*w + 4, -2*w - j*w - 4 = -4*l. Let f be (l/(-5))/((-12)/(-105)). Is -3 < f?
True
Let x be (3 + -1)*(-25)/10. Suppose -6*y - 36 = 3*y. Which is bigger: x or y?
y
Suppose -c + 3 = -15. Suppose -4*m + 2 = -c. Suppose 8*g - 5*g - 9 = 0. Which is smaller: m or g?
g
Let a be (1/(-2)*0)/(-1). Suppose a = -2*u - 3*u + 55. Is 12 at least u?
True
Let p(l) = l**3 + 7*l**2 - 10*l - 13. Let q be p(-8). Suppose -3*v + 2*g - q = 0, -5*v - g = 2*g + 24. Is -5/3 at least as big as v?
True
Let y(b) = b + 11. Suppose 5*q - 5*m + 3*m + 50 = 0, 0 = 3*q + 3*m + 9. Let p be y(q). Is 8/3 at least as big as p?
False
Let l be 0 + 2 + -6 - -24. Let i be 3/9 - l/69. Do i and 1 have the same value?
False
Let t be (-43)/(-5) + (-54)/90. Let u be -6*2/t*-14. Let w = u + -64/3. Is w != 1?
True
Let j(q) = -3*q**2 + 69*q - 30. Let b be j(22). Which is bigger: b or 38?
38
Let k be (-14)/(-35)*(-15)/(-6). Let m = 26275/58 + -453. Which is smaller: k or m?
m
Let x = 0.129 - 0.129. Let a = 11/2 - 95/18. Is a greater than x?
True
Let d = -3.6 + 4.39. Let t = d + -1.79. Which is smaller: -6/13 or t?
t
Let m be (-7*14/(-49))/((-24)/375). Which is smaller: -30 or m?
m
Let y(w) = -w**2 + 4*w + 4. Let t be y(-4). Let c be (-6)/8*16/t. Is -1/3 at least c?
False
Let h = -47613 + 1475733/31. Is h at least -9?
True
Let i(a) be the third derivative of -1/3*a**4 + 1/6*a**3 + 1/60*a**5 + 0*a - 6*a**2 + 0. Let r be i(8). Which is smaller: 1/7 or r?
1/7
Suppose -6*h - 4*h = -30. Suppose 0 = -h*y + 2*v - 4, -3*y + 2*y + 8 = 4*v. Which is smaller: y or 3?
y
Suppose 12*d = 13*d - 9. Let a = d - 6. Suppose -a*m + 3 = -r - 12, 25 = r + 5*m. Is r greater than 2/21?
False
Suppose -5*n + 20 = -5. Suppose n*s = 5*j + 7 + 3, s - 2 = -5*j. Which is smaller: -1/16 or j?
-1/16
Let k(f) = -1664*f**2 + 16*f - 17. Let v be k(1). Is -1665 at least as big as v?
True
Suppose -u - 3*n - n = -37, 5*u + 3*n - 219 = 0. Suppose -49*k - 90 = -51*k. Is u greater than k?
False
Suppose 16 = 3*n - 56. Let j = n - 24. Is j < 1?
True
Let x = -0.7 + -6.3. Are 13/5 and x equal?
False
Let m be 4*((-7)/1384)/(-7). Is m less than or equal to 0?
False
Let f(b) = b**2 + 8*b + 9. Let u be f(-7). Let m = u + -3. Let q be 1 - 6*4/36. Are m and q unequal?
True
Let b = -104 - -102. Let i be (7/b - -3)*8/6. Does -20 = i?
False
Suppose 0 = -2*y + 6*y - 16. Let f be (-18)/(-45) - y/5. Which is bigger: f or -5/4?
f
Let r be (-11076)/648 + ((-8)/(-27))/(-4). Is r < -17?
True
Let d = -0.381 - -0.581. Which is bigger: d or 6.8?
6.8
Let g(h) = -78*h**2 - 39*h + 79. Let t be g(2). Which is bigger: -310 or t?
-310
Let i(w) = w**2 - 6*w - 8. Let n be i(8). Let k(q) = q**3 - 8*q**2 + q - 8. Let g be k(n). Do 4/9 and g have the same value?
False
Let q be 0 - (0 - 33/(-5)). Suppose 2 = 121*w - 122*w + 2*g, -3*w = -2*g + 18. Is w bigger than q?
False
Let l = -1/30 - -17/210. Which is bigger: l or -1?
l
Let x(p) be the second derivative of p**4/12 - 4*p**3/3 + 5*p**2/2 - 23*p. Let l be x(11). Which is smaller: l or 39?
l
Let g = 60 - 56. Do g and -1/3 have different values?
True
Let r = -1988 + 145122/73. Which is bigger: r or 1?
1
Let k be -14 + 14 - (-1 - (-2)/6). Is k > -314?
True
Let t = -7.29 - -7.3. Let o = t - 0.41. Is 7 less than o?
False
Let n = -221 + 223. Which is smaller: -5/6 or n?
-5/6
Suppose 4*c = -0 - 4. Let h = 1244 + -19901/16. Is h greater than c?
True
Let g = 1040 + -951. Is -4 >= g?
False
Suppose -2*l + 29 = -7. Let r = l + -23. Is r <= -24/5?
True
Let z be 4/(-14) - (-90)/21. Suppose -i = z*i + 15. Suppose -4*c = c + 10. Which is greater: c or i?
c
Let l(w) be the third derivative of -w**4/24 - w**3/2 + 11*w**2. Let m be l(-2). Is m != 1/18?
True
Let b = 482 + 60. Is b <= 542?
True
Suppose 0 = j - 6 + 2, -y - 16 = -j. Suppose -l = -3*l - 56. Let r = l + 15. Is y != r?
True
Let i = 317 - 560. Let x be i/72*(-8)/(-6). Which is greater: 0 or x?
0
Let z be 96/(-36)*(-6)/(-4). Let q = -5 + -10. Let d be z/q - 10/(-25). Do -0.7 and d have the same value?
False
Let h = 22 - 15. Suppose h*z = 8*z. Does 3 = z?
False
Let m(f) = -57*f**2 - 7*f + 4. Let h be m(-4). Is h less than -879?
True
Let z be -1 + 3330/415 - 7. Which is smaller: 1 or z?
z
Let p be (-3)/(-1) - (-1 + 41). Which is greater: p or -41?
p
Let d = 2 - 4. Let f be (0 - d)*2*3/426. Is 0 smaller than f?
True
Let k = -43 - -47. Suppose 10 = k*p + 3*m, 2 = 8*p - 4*p - m. Is p < -2/15?
False
Let w = 37 - 37. Suppose -11 + 1 = -2*d. Let n be ((-16)/220)/(2/d). Is w greater than n?
True
Let p = -3.15 - -0.25. Let a = p + 9.9. Let g = 1.2 - 0.2. Is g less than a?
True
Let w be (1/4)/(1004/737). Let l = 2321 + -582570/251. Let y = l + w. Are y and 1 equal?
False
Suppose 0*v + 1 = -2*v + 3*o, -23 = -2*v - 5*o. Suppose 0 = -4*f + 8*f + v. Which is smaller: f or -0.3?
f
Let d be (-26)/(-8) + 6/8. Suppose d*h + 0*h = 56. Is 14 greater than or equal to h?
True
Suppose -a + 2778 = -2*v - 2*v, -12 = 4*v. Let s = a + -19330/7. Which is smaller: s or 5?
s
Let p be 3*2/6*(7 + -3). Suppose 2*w - 30 = p*w. Is -14 bigger than w?
True
Let w(y) be the first derivative of -y**4/4 + 11*y**3/3 + 6*y**2 - y + 8. Let b be w(12). Which is greater: b or 1/20?
1/20
Let z = -12.47 + 2.47. Let u = 1.1 - 0.1. Which is smaller: u or z?
z
Let n be 