h is bigger: i or -2?
i
Suppose 3*d = 2*d. Let b(k) be the third derivative of -k**6/120 + k**5/15 + k**3/6 - 2*k**2. Let p be b(4). Are d and p equal?
False
Let o be (63/(-16) + 4)/((-3)/42). Which is greater: -1 or o?
o
Suppose -5*x + 0*x = -3*o + 273, o = 4*x + 217. Let y be (x/(-15) - 3)*5. Which is bigger: 7/2 or y?
7/2
Let z = -43 - -42.8. Which is smaller: z or 13/4?
z
Let v = 26 + -27. Let y(k) = 5*k**3 + 13*k**2 - k + 4. Let l(u) = 9*u**3 + 25*u**2 - 3*u + 8. Let x(s) = 6*l(s) - 11*y(s). Let a be x(6). Is v smaller than a?
False
Let b(g) = -g**3 + 3*g**2 + 9*g - 6. Let o be b(6). Let a = 239/4 + o. Let v be (3/(-18))/(6/8). Which is greater: a or v?
v
Suppose 5*w + 18 = -22. Which is greater: -9 or w?
w
Let x be (-10)/(-25) + (-4)/10. Is x > -2?
True
Let f = -0.4 + 1. Let m = 2.4 + f. Let s = 1 - 1.2. Is s at least as big as m?
False
Let x(y) = -13*y - 1. Let a = 3 - 4. Let n be x(a). Suppose 0*v + 2*v + 4*q = -n, 5*v = q - 19. Are -4 and v nonequal?
False
Suppose -q - 2 = -3*j + 7*j, 6 = -3*q + 5*j. Suppose 0 = 7*p - 2*p. Which is bigger: q or p?
p
Let p be (4/5)/((-2)/10). Let a = 0 - p. Let l(m) = -m**2 - 7*m + 4. Let u be l(-7). Is a greater than u?
False
Let r(x) = -x**3 - 3*x**2 + x + 1. Let j be r(-3). Let n = -3 - j. Let v be (n/20)/(1/(-6)). Which is smaller: -1 or v?
-1
Let f = -20 - -19. Let s be f + 1 + 0/(-15). Is 0 >= s?
True
Let y(d) = -d**2 - 8*d - 7. Suppose 0 = -3*w + 2*j - 8, 0 = 5*w + j + 4*j + 55. Let s be y(w). Which is bigger: 6 or s?
6
Let c = 3.59 - 3.3. Let m = c - 0.18. Is -0.1 <= m?
True
Suppose 2*o + j - 336 = 0, 0 = 4*o - 7*o + 3*j + 486. Let r be o/(-4) - (-3)/(-6). Let b be 8/r*3/(-2). Is b != -1?
True
Let h = 83 + -72. Which is smaller: h or 12?
h
Let k = -10 + 25. Let a = k + -14. Are a and -3/2 unequal?
True
Let c = -1/202800 - 272563183/3447600. Let u = -79 - c. Which is bigger: 1 or u?
1
Let m(n) = n**2 - 13*n - 19. Let u be m(14). Let s be u/4 - 4/(-16). Which is smaller: s or 0.1?
s
Let j(h) = -h**2 - 8*h + 22. Let x be j(-10). Let k = -247.94 + 250. Let v = -0.06 + k. Do v and x have different values?
False
Let v be -1*6/2*(10 - 11). Suppose 2*b - 12 = -b. Which is smaller: v or b?
v
Let b(v) = 3*v - 10. Let f be b(5). Is f <= 5?
True
Let c be -2 - (-2 - (-2 - 0)). Let f(r) = -r - 10. Let y be f(-7). Is c < y?
False
Suppose j = 4*f - 2*j - 21, -2*j = -3*f + 17. Let o = f + -5. Are 5 and o equal?
False
Let w be 17/35 - (-2)/(-7). Is w less than or equal to 2/5?
True
Let a be 12/7*3*(-6)/(-24). Which is bigger: 0 or a?
a
Let j be -3*4/(0 - 4). Is 8/3 bigger than j?
False
Let n = -58 - -59. Do 8/13 and n have the same value?
False
Let r = 944 + -8546/9. Which is smaller: r or -6?
-6
Let q be (-40)/108*438/(-1). Let s = -162 + q. Let y(b) = -b - 9. Let d be y(-9). Which is bigger: s or d?
s
Suppose -5 = -3*d + 4*f, 2*f + 7 = 2*d + 3*f. Are d and 1 non-equal?
True
Let z = -64 + 46. Which is greater: -35/2 or z?
-35/2
Let j(h) = 7*h**2 - 2. Let k be j(-3). Let i = 306/5 - k. Which is bigger: i or 2?
2
Suppose 5*v + 0*v - 11 = -2*p, -3*v + 5*p = 12. Let y be 60/27 - 1 - v. Which is smaller: y or 1?
y
Let y be (-9)/6*10/3. Which is smaller: -1 or y?
y
Let x = 7 - 16. Let d be x/9 + 22/14. Is 2 >= d?
True
Let n be (-2)/(-7) + (-4)/63. Suppose z + 2*a = 2*z - 4, 5*a - 80 = -5*z. Let u be 1/4 + 9/z. Which is smaller: n or u?
n
Let p = -32.8 + 36. Let g = -3 + p. Let z = -16/3 + 6. Which is bigger: z or g?
z
Let v be (1/3)/(4/48). Suppose -l + 35 = 5*b, 2*b + 3*l + 0*l = 27. Let s be b/v*4/(-10). Are s and -2 equal?
False
Let p = 5 + -3. Let m be 0*p/6*-1. Let c = 3 + -3. Is m smaller than c?
False
Let u = 2/3 - 11/12. Is u not equal to 2/3?
True
Let j(m) = -m**3 - 7*m**2 + 8*m. Let t be j(-8). Let i = 5 - 21. Let d be 0 - (-2 - i/9). Which is smaller: d or t?
t
Let t be 4/14 - 131/(-7). Suppose -2*a = 2*x - 8, x + 4*x - t = -4*a. Let r be (-2)/(-3) + (a - 2). Which is smaller: 1 or r?
r
Let s = 14 - 13. Is s at most 2/11?
False
Let l = 0 - -1. Let s = 297/244 - -2/61. Is s > l?
True
Let a = -3 + 5. Let d = 2.1 - a. Let l = -0.1 - d. Which is greater: l or 1?
1
Let w be ((-51)/(-17))/((-6)/32). Which is greater: w or -15?
-15
Suppose -3*n = -n - 18. Let a(x) = -x. Let c be a(-8). Is c at most n?
True
Let g be 2 - (-1)/2*4. Let i be (4/14)/(g/28). Suppose 0 = -a + 3, 2*y + 2*a = -i*y + 6. Does 2/11 = y?
False
Let n = 0.03 + -1.03. Let t = 127/476 - 2/119. Is n less than t?
True
Let q = -0.7 - -4.7. Let d = 4 - q. Let a = 6 + -6. Is d bigger than a?
False
Let i(s) = 4*s - 4. Let g be i(2). Let p = g - 5. Is p greater than or equal to -2?
True
Let r = 61/3 + -20. Let f(g) = 5*g - 2. Let y(k) = 9*k - 5. Let u(a) = -11*f(a) + 6*y(a). Let l be u(-8). Which is smaller: r or l?
l
Let s(v) be the third derivative of v**5/60 - v**4/6 - 2*v**3/3 + v**2. Let y be s(5). Let f be (-2)/4 + (-65)/(-90). Which is smaller: y or f?
f
Let x be ((-2)/(-4))/(1/6). Let r = -6 + 11. Let z be r/21 + 1/x. Which is smaller: 1 or z?
z
Suppose -v - 2*v - 2 = 5*z, -5*v = -4*z + 28. Let b = -4 - -5. Is b greater than z?
False
Let b = 76 - 122. Do -44 and b have the same value?
False
Let f be -1 + 0 - (1 - 3). Suppose -2*c - 4 = -b, b + 4*b = -4*c - 8. Which is bigger: f or b?
f
Let j be -3*(0/1 - 1). Let f be 0*-2*j/(-18). Is f less than or equal to 0?
True
Let u be (-2)/((-6)/(-57))*-1. Suppose u = 2*o - 4*o + 5*i, 2*o - 2*i + 4 = 0. Let q be o/3*(-3)/1. Is q <= -3?
True
Let o = -169 + 164.1. Which is greater: 2 or o?
2
Let k be 0 - -2*(2 - 1). Let p = 4 - 3.94. Let t = 0.16 - p. Is t at least as big as k?
False
Suppose 5*d - 16 = 3*d. Let f = d - 0. Let p be 3/8*f/12. Is p bigger than -0.1?
True
Suppose -2*f + 0*u = 4*u + 18, 11 = f - 3*u. Do 1/11 and f have the same value?
False
Let d = 85 + -7736/91. Let r = d + 207/2275. Is r less than 1?
True
Let y = -376 - -1295/4. Let i = 52 + y. Which is bigger: -0.4 or i?
i
Let v = 3.2 - 3. Let g(u) = u**3 + 9*u**2 - 10*u - 2. Let t be g(-10). Let x = t - -2. Is v > x?
True
Let r = 67 - 203/3. Let z = 3.2 + -0.2. Is r != z?
True
Let t = 36 + -40. Which is smaller: t or 2?
t
Let t(v) = -2*v**3 - 5*v**2 - 7*v - 4. Let j be t(-2). Which is greater: 1 or j?
j
Let y = 108 + -754/7. Suppose 2*u + 11 = 9. Which is smaller: y or u?
u
Let a = -10/23 + 96/115. Are a and -1 unequal?
True
Suppose k + 24 = 3*k. Suppose 0 = -6*b + 2 + 22. Suppose b*d - d = -5*n - 21, 0 = 4*n + k. Which is bigger: d or -3/4?
-3/4
Let v be (-36)/(-90) + (-8)/(-5). Which is smaller: v or 1?
1
Let f = -15 + 12. Let a be f + (2 - -1) + -2. Which is smaller: -16/7 or a?
-16/7
Let m(g) = -g**2 + 5*g - 3. Suppose -2*a - 6 = -d, -2 = -2*a - 4. Let u be m(d). Is u >= -4/9?
True
Let b(f) = -2*f**2 + f + 1. Let i be b(-1). Are i and -5/8 nonequal?
True
Let j = -13/3 + 4. Which is bigger: j or -0.2?
-0.2
Suppose 0 = -2*x - 3*j + 48, -2*x = -2*j - 0*j - 48. Suppose x = -2*h - 2*h. Which is greater: -7 or h?
h
Let o = 19 + -29. Which is smaller: -8 or o?
o
Suppose 5*k + 9 + 26 = 0. Let s = -13 - k. Suppose 18 = -2*m - m. Is m at least as big as s?
True
Suppose 3*j = -4*f - 38, -4*j - 4 = -2*f - 12. Which is greater: f or -1?
-1
Let o = 0.063 - 0.463. Let u = -1.8 - -2. Which is smaller: o or u?
o
Let n be 0 + -4 - (-1 + 2). Let y be (12/(-8) + 2)*1*0. Is n not equal to y?
True
Let s be (-4)/14 + 54/(-7). Let q be 9/(-2) - (-4)/s. Which is smaller: -6 or q?
-6
Let o(t) = t**3 + 4*t**2 + 3*t. Let y be o(-3). Let g = 11/4 + -3. Which is bigger: g or y?
y
Suppose -2*g + 3*j = -5 + 16, 4*g + 1 = -j. Suppose p - 4*p - 18 = -3*o, -3*p + 7 = 2*o. Is g greater than p?
False
Let y = 0.61 - 3.61. Which is bigger: 12 or y?
12
Let r be (-2)/78 - (-10)/30. Is -4 less than r?
True
Let u = -0.6 - 0.4. Let j = 20 - 11. Let x = -10 + j. Is u bigger than x?
False
Let i = 2.6 + -2. Let q = -0.8 + i. Which is smaller: 0.2 or q?
q
Let d = 5 - 8. Is -2 at most as big as d?
False
Let j(a) = -9*a + 6. Let f(q) = -4*q + 3. Let n(m) = -7*f(m) + 3*j(m). Let u be n(6). Suppose -2*l - u*l = 0. Which is greater: l or 1?
1
Let y be (-2)/(-11) - 42/(-11). Suppose v + y = 2. Let s = 2 - 3. Are s and v equal?
False
Suppose 56 = 4*v - 4. Suppose -3*m - 3*r - 3 = 0, -9*r - v = -4*r. Suppose m*h + 0*h = 10. Which is smaller: 4 or h?
4
Suppose 5 = -5*w + 4*a, 0*w + a + 1 =