t a = -65 - -65. Are a and -91 equal?
False
Let f = 27.2 - 28. Which is bigger: f or 2/7?
2/7
Let i(q) = q**3 - 6*q**2 + 5*q - 2. Let x be i(4). Let h be (-4)/(-6)*7/x. Which is smaller: h or 2?
h
Let u(o) = o**3 - 3*o**2 + 3. Let f be 3/((-1 - -2) + 0). Let h be u(f). Suppose h*z - 5*z = 0. Is z < 1?
True
Let c = 3.9 - 3.9. Which is smaller: c or -7?
-7
Let f be ((-9)/6)/((-6)/8). Let k be 823/(-11) - 16/88. Let d be f/(-9) + k/27. Is -4 at least as big as d?
False
Let r(z) = -4*z**3 + z**2 + z. Let l be r(-1). Let y = l - 0. Suppose y = -0*p + 2*p. Which is greater: p or -0.2?
p
Let j be (-48)/30*(-10)/4. Let t be (-2)/j + 24/16. Which is smaller: 1/8 or t?
1/8
Suppose -u = 3*s + 6, 16 = 5*u + 3*s + 46. Are -5 and u nonequal?
True
Let x(h) = -h**3 + 7*h**2 - 5*h - 7. Let f be x(6). Let n = 7 + -5. Suppose -4*a + n*a = 0. Is f less than a?
True
Suppose b - 14 = -4*m, b - 6 - 2 = -2*m. Suppose -b*g + 14 = 6. Suppose -g*k = -2*k. Is k not equal to 0?
False
Let q be 0 + ((-3)/(-4) - 1). Let g = -18 - -11. Let n = g - -5. Is q at most n?
False
Suppose -4*g = 3*w + 18, g = 4*w - g + 2. Which is greater: -4 or w?
w
Suppose -4*h + 3 = -1. Let q = -20/13 - -87/65. Do q and h have the same value?
False
Suppose 2*n = 3*h - 0*n + 10, 3*h - n + 8 = 0. Let o be -1 - 3*2/h. Is 1/2 != o?
True
Suppose 2*j = 5*j + 4*t + 7, 4*j + 7 = -3*t. Let u = -108412 + 10733057/99. Let i = 25/11 - u. Which is smaller: j or i?
j
Let r = -6.17 - -1.17. Does r = -0.4?
False
Suppose 3*h - h = 0. Suppose g = p - 1, -3*p + 2*g = -h*g. Let s be (-2 - -7)/(p - -3). Do s and 3 have the same value?
False
Let r = 0.5 - 0.7. Let u = r + 0.3. Which is smaller: -4 or u?
-4
Let a(w) = -3*w**2 - 20*w - 4. Let t be a(-5). Which is smaller: t or -2?
-2
Let z be 8*(-4 - 0)/(-2). Suppose 2*l + 0*f = -4*f + z, 4*f - 20 = -4*l. Suppose 2*k + i - 16 = -l*k, 0 = -3*i. Is 4 > k?
False
Let z be -2 - -1 - 10*-1. Does z = 8?
False
Let q be (6 - 6) + (-1)/(-2). Is q at least -4/7?
True
Let a be 3/(288/(-195)) - (-4 + 2). Are a and 0 nonequal?
True
Suppose 4*y + 4 = -3*z + z, -2*z = 0. Let l(q) = -8*q**2 - q. Let f be l(y). Is f smaller than -6?
True
Suppose 2*z - 24 = 4*x, -2*z - 12 = 5*x - 0*z. Let g(u) = -u**2 - 5*u - 4. Let c be g(x). Let q = -2 - -3. Is q not equal to c?
True
Let z(n) = -6 - 4 + 2*n + 1. Let d be z(5). Are 7/4 and d nonequal?
True
Let t = 5.9 + -6. Let f = 0.8 + -1. Let c = 0.4 + f. Which is greater: t or c?
c
Let n = 15 - 12. Let s be ((-4)/n)/(4/(-12)). Is 10/3 equal to s?
False
Let s(y) = y**3 - 12*y**2 + 5*y. Let l be s(12). Let a = 421/7 - l. Is a > 0?
True
Let z = -1.1 + 1. Let d = 2.7 - 2.7. Which is greater: d or z?
d
Let l(c) = -4*c - 12. Let h be l(-3). Suppose -f - 1 = 5*y - 6, -4*y - 17 = 5*f. Let z = -1 + y. Is h at most as big as z?
True
Let b be 4/(-6)*63/14. Let z = -21/2 + 9. Which is smaller: b or z?
b
Let m be -3*(-3)/((-135)/5). Is m at most as big as 25?
True
Let b = -2.8 - -2.7. Let h = 1 - 2. Let k = 1 + h. Are b and k nonequal?
True
Let n(l) = -l**2 + 0*l**3 - 7*l**2 + l**3 + 7*l. Let o be n(7). Suppose 0*r + 2*r + 2 = o. Which is greater: -3 or r?
r
Let b be 3/(-1) - (0 - 1). Let y = b + 2. Which is bigger: y or 2?
2
Let k = 5 - 3. Suppose -c = c + 3*p + 11, 5*p + 17 = -k*c. Suppose -2*l = 2*l. Which is smaller: l or c?
c
Let g = 230 - 11501/50. Which is bigger: g or -1?
g
Suppose -38 = -5*d - 3. Are 8 and d equal?
False
Let m = -382/7 + 2369/42. Which is bigger: m or 1?
m
Suppose -5*k + 123 = -52. Is k > 0?
True
Let s = 13 + -11. Let m = 3.06 + -0.06. Let j = 4 - m. Which is bigger: s or j?
s
Suppose -5*z - 10 = 2*p, 5 - 1 = 3*p - 2*z. Which is greater: 4/7 or p?
4/7
Let f = -14 - -18. Suppose f*k - 2*k - 10 = 0. Which is smaller: k or 16/3?
k
Let b be ((-4)/(-924))/(3/9). Is -1 at most b?
True
Suppose 0*y + 40 = -4*y. Which is bigger: -1/4 or y?
-1/4
Let r be -1*2 + (1 - -7). Is 5 < r?
True
Let o = -6.9 - -7. Let m be (-2)/11*(-2)/(-12). Let h = m - -7/33. Which is bigger: o or h?
h
Let k(u) = -u**3 - 5*u**2 + 6*u + 4. Let a be k(-6). Let o be 64/a*(-2)/(-4). Let j be (-4)/9*3/o. Are j and 0 nonequal?
True
Let t = -1 + 1. Let g(z) = -z + 2. Let i be g(t). Let r(j) = -j + 6. Let f be r(4). Is f != i?
False
Let j = 0.83 + -0.93. Let v = -1 - -2. Is j at most v?
True
Let b(y) = 2*y**2 + 3*y - 12. Let a be b(-5). Is a at most 22?
False
Suppose -h - 2*m - 6 = 0, 8*h - m = 3*h - 52. Is -41/4 less than h?
True
Let p(m) be the third derivative of -m**5/20 - 7*m**4/24 - m**3 - m**2. Let a be p(-4). Let l = -183/7 - a. Which is greater: 1 or l?
1
Let f = 119 + -120. Let o(w) = 2*w + 2. Let n be o(-3). Which is smaller: f or n?
n
Let l(n) = n**3 + 5*n**2 - 4*n - 4. Let d be l(-5). Let w = 17 - d. Which is smaller: 8 or w?
w
Let u = 28 - 20. Which is smaller: 9 or u?
u
Let d = -0.2 - 0. Let r = 185/3 + -61. Which is smaller: d or r?
d
Let c = 3517 - 376325/107. Which is smaller: c or 0?
c
Let x = 4 + 9. Is x <= 13?
True
Let t = -15 + 12. Do t and -2 have different values?
True
Let i = -41 + 41.1. Which is smaller: 15 or i?
i
Suppose -3*y = -9*y. Let c(k) = -k**3 + 4*k**2 + k. Let v be c(4). Let i be (-26)/40 - (-1)/v. Which is smaller: y or i?
i
Let x = -0.1 + 0.3. Let i = -0.5 - 3.5. Let l = i - -3. Is x >= l?
True
Let d be (-18)/8*1/6*4. Let p = -3 + 2.7. Let b = p + 0.2. Which is greater: b or d?
b
Suppose o = 3*o - 10. Let f(v) = -v**3 + 5*v**2 + v - 6. Let s be f(o). Let j = 5.4 + 1.6. Is j != s?
True
Let n = 0.21 - -11.65. Let r = n - -0.14. Are r and -1 non-equal?
True
Let u(y) = 28*y. Let s be u(-2). Let h be (-16)/s + (-26)/(-56). Is h greater than 0?
True
Suppose -o - 22 = 2*y - 3*o, 5*y + 35 = o. Let l = 32 - 37. Which is bigger: l or y?
l
Suppose 4*i - 3 = 4*j - 15, 0 = -j - 4*i - 12. Suppose -4*u - 4 + j = 0. Is u smaller than -2/11?
True
Suppose -z + 4*z = 21. Is 7 at least z?
True
Suppose 5*c + 9*v = 4*v + 625, 4*c + 3*v - 500 = 0. Let b be c/(-31) + (8 - 4). Is b bigger than 0?
False
Suppose 2*g = -3*k + 3, g - 5*k = -6*k + 2. Which is smaller: g or 0?
0
Let d = 0 - -0.1. Let r = -0.8 - -1. Let w = -0.2 + r. Is d at most as big as w?
False
Let k = -5 - -6. Let v be 1/(k - 2)*2. Suppose 5*q + 20 = 0, 0 = -w - 2*q + 7*q + 19. Which is bigger: v or w?
w
Let x = 0.02 + -5.02. Let q = x - -6. Which is greater: 4 or q?
4
Let o = -13 + 11. Suppose -2 = 2*z - 0. Which is greater: o or z?
z
Let g = 361/35 + -53/5. Suppose -2*r - 2 = h - 2*h, 0 = 4*r - 3*h + 4. Which is smaller: g or r?
r
Let g = 6 + -9. Let o be 2 + -2 + g/9. Let b = 2.9 + -3. Does o = b?
False
Let p = -90 + 54. Let z = 182/5 + p. Which is greater: 0 or z?
z
Suppose -16 = 4*y + 4. Let m(w) = w - 1. Let j be m(y). Are j and -5 equal?
False
Suppose t + 5 = 5*q - 4*t, 3*q - t - 1 = 0. Suppose -1 = -s - 0. Suppose -l - s = -2. Is l at least as big as q?
True
Suppose 5*n = -0*n + 105. Let g be (-6)/n - 46/(-14). Suppose -g*v = 3 - 6. Which is smaller: v or -2/11?
-2/11
Let o be (0 - -3)/((-51)/(-442)). Is 74/3 < o?
True
Let m = -11 - -5. Let f = m + 6. Let c = 0 + 0. Is f at least c?
True
Let u = -12.93 - -13. Let g = -59.07 - -59. Let v = u + g. Is v bigger than -4/5?
True
Suppose 0 = -11*x + 7*x + 28. Which is greater: x or 9?
9
Suppose -z + 18 = z. Let x = -7 + z. Is 0.08 != x?
True
Let q be 3 + 0/((-12)/(-4)). Let k(r) = r**3 + 2*r**2 - 3*r - 2. Let g be k(-2). Is q greater than g?
False
Let f(s) = -s**3 - 2*s**2 + 1. Let d be f(1). Let v = -1 - -1. Let p = -2 - v. Is p at most as big as d?
True
Let l(u) = u - 14. Let b be l(8). Which is smaller: -7 or b?
-7
Suppose n + 2*n = 3. Let y = -176/7 + 25. Is y < n?
True
Let a = 0 + 1. Suppose -5*n + 3 = -12. Suppose -11 = -p - n*m, -2*m + 12 + 4 = 5*p. Which is bigger: a or p?
p
Let o = -11 - -15. Suppose -2*a - 6 - 6 = 0. Let v = a + o. Which is bigger: -1 or v?
-1
Let p = 1 - 3. Let m = p + 2.1. Which is smaller: 2/7 or m?
m
Let x = -94 + 656/7. Let u = 0.07 + -0.01. Is u less than or equal to x?
False
Let h be (-4 - 1452/(-210)) + -3. Is -1/2 less than h?
True
Let q be 3 - -2*3/(-1). Let x = q - 3. Does -7 = x?
False
Let i = -10 + 9. Let w be i/(-2) + (-2)/12. Which is bigger: w or 3?
3
Let w be ((-1)/(-3))/(3/9). Let z = 1 + 1. Suppose 0 = -2*m - 2*t - 2, 3 = -2*m - 5*t + z*t. Which is bigger: m or w?
w
Suppose -r = -64 + 58. Suppose 2*v =