1 or u?
0.1
Let b(m) = -m**3 + 4*m**2 - m - 1. Let z be b(4). Let c = 13 - 12. Let q be (c + -6)*(4 - 3). Is z at most q?
True
Let o = 1110381/40 + -27762. Let g = o - -18/5. Which is bigger: 2 or g?
2
Let o = -48 + 46.02. Let w = 0.02 - o. Let u = 0.2 - 0.1. Which is smaller: u or w?
u
Suppose -w + 4 = 3. Suppose -138 = -3*p - 3*n, 0 = -p - 4*n - w + 53. Let u be (12/15)/(p/10). Is -2/7 > u?
False
Suppose 5*k + 5*x + 3 = 6*x, 3*k - 5*x - 7 = 0. Let q be 6/4*(-8)/(-42). Is q at most as big as k?
False
Suppose -3*t + 39 = 3*b, -4*b - 8 = -2*t + t. Is 0 equal to t?
False
Suppose -j = o - 14, o + 5*j - 48 = -2*o. Let s be (-212)/(-18) + (-44)/(-198). Which is smaller: s or o?
o
Let k = -180 - -179. Let l = -2 + 27/14. Is l less than or equal to k?
False
Suppose -b - 5*a - 29 = -0*b, 5*b - 3*a + 5 = 0. Which is smaller: -8 or b?
-8
Let j(n) = 4*n**3 - 1. Let i be j(1). Let p = 5 - i. Which is smaller: p or 0.4?
0.4
Let h = -0.23 + 14.23. Let y = h + -18. Is 2/7 at most as big as y?
False
Let c be 808/8*4/16. Which is smaller: c or 24?
24
Let u be (-11)/(-11)*(-2 + 1). Let w = 0 - 1. Let q = 1.1 + w. Which is bigger: u or q?
q
Let g(w) = -w**3 + 5*w**2 - 2*w - 3. Let t be g(4). Let y = t + -1. Let o = y - 4. Is 0 smaller than o?
False
Let b be 4/(-10)*9/6. Is -1 less than b?
True
Let c be ((-1)/18)/((-6)/1071). Let f = -37/4 + c. Let t = -13/6 + f. Are -2 and t nonequal?
True
Let r(y) be the second derivative of -y**3/6 + 13*y**2/2 + 2*y. Let f be r(14). Let n be 0 + 2/(-1 + 3). Is f at least as big as n?
False
Let g be 74/(-140) - 10/(-20). Are g and -1 unequal?
True
Suppose 3*a = 1 + 2. Let i be a*(0 + 0 + 1). Let f = 2/5 + 11/10. Do i and f have different values?
True
Let t = 26 - 16. Let m = t - 8. Is 3/4 greater than m?
False
Suppose 28 = 5*n + 28. Which is smaller: 6/31 or n?
n
Suppose -4*n = v + n + 11, -3*v = 3*n + 9. Is v smaller than 4?
True
Let a(d) = d**2 - d + 3. Let y(h) = -h + 1. Let m(x) = -a(x) + 5*y(x). Let g be m(-4). Which is greater: 2/3 or g?
g
Let t be ((-104)/(-60))/((-4)/(-6)). Let f = t + -64/15. Is -3 greater than or equal to f?
False
Let t be 3 + 28/21*(-9)/(-4). Is 0.4 not equal to t?
True
Let j = 0.1 + -0.1. Let b = 25 + -16.4. Let d = b + -9. Is d bigger than j?
False
Let f(l) = l**2 - 9*l + 6. Suppose 0*y - 10 = -2*y. Let q be f(y). Let b = -10 - q. Which is smaller: b or 3?
3
Suppose -11*h = 7*h - 6*h. Is h greater than or equal to -3/5?
True
Let u = -7/4174 + 1676908/2087. Let a = -827 + u. Let b = 24 + a. Is b > 1?
False
Let f be 2*(-1)/(-2)*7. Suppose -3*q + 20 = -4*i + q, -4*i + f = 5*q. Let h = i - -3. Which is bigger: h or 2/7?
h
Let d = 138527/15 - 3580681/345. Let h = 1144 + d. Let s = -26/207 + h. Which is smaller: 0 or s?
0
Let l = -23.013 + 0.013. Is l >= 0.1?
False
Let q = -0.02 + 2.02. Let m = -49 - -47. Which is greater: q or m?
q
Let k = 8 - 5. Suppose k*w = 5*w. Which is smaller: w or -3/13?
-3/13
Suppose 4*u - 1 = 7. Suppose 2 = -f + u*d, -2*f + f + 5*d - 17 = 0. Is f smaller than 8?
False
Let h be 1/2*(-5 - -15). Let r = h + -6. Let g = -435/7 - -62. Does r = g?
False
Suppose -9*d = d. Is d at most as big as 3/32?
True
Let f = -88 - -262/3. Let z = -0.02 - -0.42. Which is smaller: z or f?
f
Let u(l) = l**2 + 5*l - 5. Let p be u(-6). Is p less than -0.6?
False
Suppose 9 + 7 = -4*q. Let j = q + 3. Let d be 16/90 - (-2)/(-5). Which is smaller: d or j?
j
Let n = 88 + -50. Is n <= 38?
True
Let z(v) = 44*v - 221. Let y be z(5). Let p be (0 - 2 - -2) + -44. Let f be (-1)/(-4) + 3/p. Are f and y equal?
False
Let k be ((-72)/20 - -4)*30. Which is bigger: 11 or k?
k
Let m(z) = -5*z**2 - 8*z + 3. Let s(q) = 6*q**2 + 9*q - 4. Let h(w) = -4*m(w) - 3*s(w). Let p be h(-4). Which is smaller: p or 1?
1
Suppose 0 = 2*i - 4*t + 18, -5*i + t = -0*t + 36. Let c be (-6)/18 + i/6. Is c equal to -2?
False
Let h be ((-9)/(-6))/((-123)/(-4)). Which is bigger: h or 0?
h
Let u = -0.02 + 0.52. Let f = u + -0.6. Is f <= 5?
True
Let u = -7 + 3. Is u bigger than 2?
False
Let h = 12 + -12. Which is greater: h or 0.6?
0.6
Let v(i) = -2*i - 57. Let a be v(-25). Suppose -2 + 9 = -o. Is a <= o?
True
Let l(k) = k**2 - 2*k - 1. Let w be l(-1). Suppose -p + 3*m - 3 = -1, 0 = -p - 5*m + 6. Suppose r - p = -w. Which is greater: r or -3/5?
-3/5
Suppose 4 = 3*s + 1. Let r be s/(4 + -3) - 1. Is -1/2 not equal to r?
True
Let b = 2.78 + -3. Let p = b + -2.58. Let y = p - -0.8. Is y less than 2/9?
True
Let r be 26/10 - (-4)/10. Let j be ((-4)/30)/((-4)/r). Is 1 greater than j?
True
Let r = 0.02 + -0.02. Does 1 = r?
False
Let i be (-1 + 6/1)/(-1). Let m = i - -4. Let o = 56/145 + 2/145. Which is smaller: o or m?
m
Suppose 5*j - 13 = b, 5*b - 5*j = -10*j - 125. Let v = 91/4 + b. Let i(p) = p - 2. Let h be i(3). Is h at most as big as v?
False
Let p(u) = -u**3 - 7*u**2 + 9*u + 5. Let f be p(-8). Let x = -5 - -9. Suppose 5*t + x*r = -15, -4*r - 5 + 2 = t. Is t > f?
False
Suppose 0 = -n + 3 - 6. Let y be (-1)/(n - (-15)/6). Are y and 0.2 equal?
False
Let p(c) = 2*c + 2. Let k be p(-2). Let g be (2 + k)/1 - 3. Let m be g + 2 + 6/4. Is m != -2/7?
True
Let r = 10 + -10. Which is greater: r or -4?
r
Let y(f) = 2*f + 4. Let n be y(-4). Is -37/8 < n?
True
Let y be (-7)/14 - (-1)/4. Are y and 2/11 equal?
False
Let o = 2 - -6. Suppose -4*p = -g + 1, o + 8 = -4*p + 4*g. Which is bigger: 4/7 or p?
p
Let x = 64.045 + -64. Which is greater: x or 0.1?
0.1
Let y = -5 + 8. Which is smaller: 2/3 or y?
2/3
Suppose x = 7 + 15. Let a = x - 45/2. Is -2 at least as big as a?
False
Let k be (4/(-5))/(6/(-15)). Suppose 2 = -k*n + 3*n. Is n greater than 0?
True
Let v = 3 + -2.9. Suppose 0*f = -3*f - 75. Let o = f - -151/6. Is o equal to v?
False
Let a be ((-4)/27)/((-2)/(-2) - 7). Is 0 at most a?
True
Suppose 2*d + 1 - 9 = 0. Suppose d*f - 3 - 5 = 0. Is f less than or equal to 5/2?
True
Let v = -0.48 - 0.02. Let m = v + 0.5. Is m bigger than -0.5?
True
Let g(j) = -j**2 + 4*j - 4. Let n be g(3). Is -8/11 less than n?
False
Let w be (-15 - -5)*2/(-4). Let j be (28/(-8))/((-2)/4). Suppose -j + 1 = -t. Which is bigger: t or w?
t
Suppose 0 = 2*s + 10, 0*g + 10 = 3*g + s. Suppose -6 = 4*i - g*v + 1, -i = 5*v + 33. Are i and -9 equal?
False
Let b = -143.8 - -130. Let p = -14 - b. Do p and 3 have different values?
True
Let j = -35.3 - -31. Is j less than or equal to -0.1?
True
Let k be (-1086)/2565 - (-6)/15. Let f = k + -2/95. Is f at least as big as 0?
False
Let s(y) = 1. Let v(h) be the third derivative of -h**4/24 - 3*h**3/2 + 2*h**2. Let l(o) = 2*s(o) + v(o). Let a be l(-6). Which is smaller: a or -2/7?
a
Let l be (-9)/(-3)*10/2. Let y = -29 + 14. Let j be (-2)/y - (-13)/l. Is j at most as big as 3?
True
Let o(m) = m**2 - 8*m + 12. Let d be o(4). Are 2 and d equal?
False
Let h = 0 - -0.1. Let q be (-2)/11 + (-68)/(-11). Let i be (-26)/12 - q/(-4). Which is smaller: i or h?
i
Let u(p) = 8*p + 4*p**2 + 3*p - 4 - 5*p. Let b be u(-5). Let t be (-2)/(-11) + (-1)/b. Which is smaller: t or -1?
-1
Let o(r) = r**3 - 5*r**2 - 7*r + 3. Let i be o(6). Let d = i + -2. Which is bigger: d or -6?
d
Suppose -3*a = -5*y - 20, -3*a = 5*y + 1 - 11. Is y at most -2?
False
Suppose -j + 20 = 4*j. Let i be (-64)/(-28) + (-8)/28. Suppose -z - i = -4*r, j = -z - 3*r + 9. Is 2 bigger than z?
False
Let k(l) = l**2 + l - 1. Let y be k(1). Let x be ((-1)/y)/(1/(-2)). Is x >= 1?
True
Let a(g) = -g**2 + 24. Let t be a(5). Is t at least as big as 1/3?
False
Let o be 2786/63 + 2/(-9). Let z be 4 + o/(-36) + -3. Which is smaller: z or 0.2?
z
Let k be 3/2 + 2/4. Let g(m) = m**3 - 3*m**2 + 2*m + 2. Let q be g(2). Suppose 0 = -0*w - k*w - q. Which is greater: 0 or w?
0
Let f = -16 - -20. Which is bigger: f or 21/5?
21/5
Let u = -15 - -13. Is u <= -5?
False
Let a = 1114 + -5362/5. Let x = a + -42. Is x not equal to -4?
True
Let h(x) = x**3 - 2*x**2 + 1. Let w(b) = -b - 4. Let l be w(-6). Let u be h(l). Let y = 1661/65 + -127/5. Is y bigger than u?
False
Suppose -3*j + 2*d = 3, 3 = 6*j - 2*j - 5*d. Let i be 4/(-12)*-4*j. Which is bigger: -2 or i?
-2
Let a = 75 + -86. Do -37/3 and a have the same value?
False
Let i = 339/4 + -84. Let q(o) = o**2 - 5*o - 3. Let s be q(6). Let f = s + -1. Is f != i?
True
Let p = 4.4 + -2.4. Are p and 2/7 equal?
False
Let x be (-4 - -2) + (-2187)/23. Let t = x - -97. Is 1 bigger th