 4 = r. Let z = -7/3 - -5/3. Which is greater: z or r?
z
Let v = -0.17 + -19.83. Let i = v + 21. Which is bigger: i or 0?
i
Let v = 3.96 - -0.04. Let k = v + -6. Let f = k - -1. Is -3 smaller than f?
True
Let q(k) = 4*k - 1. Let r be q(1). Let i(v) = v**3 - 2*v**2 - 3*v - 1. Let l be i(r). Is l equal to -1/2?
False
Let b = 90 + -130. Is -40 less than or equal to b?
True
Suppose -2*u + 13 - 1 = 0. Suppose 0 = 3*m - 4*g - u + 19, 3*g = -m. Is m bigger than -1?
False
Suppose -5*p - 35 = 3*w + 2*w, -w - 2 = 2*p. Is w at least -11?
False
Let y be 3 + -3 + 0/1. Let z = y + 1. Let q be 1*z*(-1 - -1). Which is smaller: 3 or q?
q
Let z be 22/56 + (-2)/8. Let y(f) be the first derivative of -f**3/3 + 9*f**2/2 + 5. Let i be y(9). Is z less than i?
False
Let y be 3 - 1 - (5 + -2). Let l = -15770733083/1544 - -10214205. Let m = -2/193 + l. Is m greater than y?
True
Let k = -0.02 - -0.18. Let b = k - -8.84. Which is smaller: b or -1?
-1
Let v = 48 - -11. Is v equal to 58?
False
Let o be 11/(-40) + (-10)/(-25). Is o equal to -1?
False
Let j(x) be the third derivative of -x**5/10 + x**4/8 - 5*x**3/6 - x**2. Let p be j(8). Let o = -4009/11 - p. Which is greater: o or 1?
1
Let x(j) = j**2 + 9*j + 3. Let p be x(-9). Let a = 5 - p. Which is bigger: a or 0?
a
Let a = 1.8 + -1.9. Is a <= -3/44?
True
Let h = -15.8 + 19. Let o = 0.8 + h. Which is smaller: o or 2/7?
2/7
Suppose 0 = -4*h - 25 + 9. Let y(p) = p - 1. Let c be y(1). Suppose c = -3*q + 4*l - 20, l = 5*q + 4*l + 14. Is h less than q?
False
Let d(u) = 2*u + 11. Let o be d(-7). Is o smaller than -5?
False
Let b(j) = j**2 + 15*j - 19. Let x be b(-15). Which is smaller: x or -18?
x
Let u be 33/(-5) - (14/5)/7. Which is bigger: -11 or u?
u
Let l = 64 - 128. Let o = 319/5 + l. Which is greater: o or 0?
0
Suppose -4*s + 14 = -2*f, -5*f + 11 = 3*s - 6. Suppose 3*r - 8 = -4*h, -r - r = 0. Let k = h - f. Is k less than or equal to 1/6?
False
Suppose -2*v = 5*k - 20, 0*v = -k + v + 4. Suppose -2*a + 32 = 3*f, -2*f + f + k = 4*a. Is 12 > f?
False
Suppose -5 = -2*t + d, -4*d = 3*t + t + 20. Let h(n) = n**3 - 3*n**2 + n + 2. Let a be h(2). Is a bigger than t?
False
Let i be (6/(-4))/(3/(-4)). Let j(v) = 3*v + v - 3*v - 7*v**2 - v**3 + 8. Let q be j(-7). Is i <= q?
False
Let p = 0.2 - 0. Is 2 at least p?
True
Let c be 45/(-24)*18/(-5). Let t = -85/12 + c. Which is greater: t or 5?
5
Let d = -8 + 17. Suppose d = -3*p, -2*r + 3*r - 2*p = 8. Which is greater: r or 3?
3
Let k = 30 - 31. Which is greater: k or -0.02?
-0.02
Suppose 2 = -3*b - 1. Which is smaller: -3.2 or b?
-3.2
Let j = -10 + 12. Let u be 76/8 + (-1)/j. Is u at least 9?
True
Let g = 58610/13431 + -2/13431. Which is greater: 3 or g?
g
Suppose -4*h + 0*h - 4 = 0. Which is smaller: h or -2/47?
h
Let k(c) = c**2 + 3*c - 7. Let l be k(-5). Let a = 2 - 0. Which is smaller: a or l?
a
Let j = -25586/9 + 2846. Do 4 and j have different values?
True
Let m(a) = 2*a - 11. Let y be m(5). Suppose 3*s + 13 = -2*g + 3, 0 = 4*g + s. Which is greater: g or y?
g
Let f = -6 + 33. Let k = 109/4 - f. Let m(b) = b**3 - b**2 - b - 1. Let u be m(0). Which is greater: k or u?
k
Let d be 78/315 + (16/(-12) - -1). Is -1 less than or equal to d?
True
Let m = -2072/11275 - -2/1025. Is 1/2 != m?
True
Let d = 18 + -25. Let c be ((-3)/6)/(2/24). Which is smaller: d or c?
d
Let j(z) = -z**3 - 5*z**2 + 7*z + 5. Let x be j(-6). Suppose 0 = 3*t + 2*t - 4*f - 11, 8 = 4*t - 4*f. Let q = 1 - t. Are q and x unequal?
True
Suppose -5*x + 63 = -4*h, -3*x + 11 + 14 = 4*h. Suppose 4*s = 5*z - 24, -6*z = -3*s - x*z - 18. Does s = -6?
True
Let y = -1 + 9. Let f be (3 + -1)/4*2. Let x be f + 10 + 6/(-2). Is y at least as big as x?
True
Let p be 4/(-3)*(-4)/16. Which is greater: 1 or p?
1
Suppose -2*d = 0, -5*q - 5*d + 92 = -q. Let o = 22 - q. Is -1/3 < o?
False
Let q(i) = i**3 + 4*i**2 - 12*i - 1. Let a be q(-6). Which is smaller: 1/9 or a?
a
Let a = -1 + 3. Suppose 2*p + 18 = 2*k - k, 5*p = 3*k - 45. Let m be (-18)/(-4)*(-3)/p. Which is smaller: m or a?
m
Let z = 0.02 - 0.32. Suppose 4*m = 2*q + q + 8, 5*m + q + 9 = 0. Let r be 1 - (32/14 + m). Which is bigger: r or z?
r
Let v be 0 - (0 - (2 - 1)). Which is bigger: 9/7 or v?
9/7
Let f be 1/13*-31*29. Let r = f + 69. Is r >= -1?
True
Let w be (16/36)/((-34)/3). Let p be (5 + -8 + 3)*(2 + -3). Is p > w?
True
Let i be ((-55)/(-20))/(2/(-24)). Let z be (i/8 + 4)*-6. Is z at most 1?
True
Let l be 6/(-21) + 12/35. Let s = 8/35 + l. Which is smaller: -2/5 or s?
-2/5
Let l be (2/(-4) + 0)/(6/(-14)). Which is greater: l or 1/3?
l
Suppose -40*w - 108 = -36*w. Is w smaller than -28?
False
Let x = 46/35 + -17/14. Do x and -1 have different values?
True
Let j be -3 - (-2 + (3 - 3)). Is 7 > j?
True
Let c be (-6)/(-760)*(-2)/9. Let l = c + -1097/24510. Let q = l - -133/86. Do q and 3 have the same value?
False
Suppose -m + 5*m - 8 = 0. Suppose -b + m = -0*b. Are 3 and b non-equal?
True
Let t = -3 + 2. Let a be (t/(-6))/(3/(-3)). Let z = -3 - -3. Which is smaller: a or z?
a
Let w(v) = v + 5. Let a = -14 + 9. Let f be w(a). Is f bigger than -1/4?
True
Let k(x) = -x**3 + x**2 - 10. Let b be k(0). Let h be 1/(-1) - 8/b. Let i be (-2 - -2) + -4 + 3. Which is greater: i or h?
h
Let g = -5 - -1. Let f(s) = s**3 + 4*s**2 + 2. Let i be f(g). Let q be 1/(-2 - -3)*3. Which is smaller: q or i?
i
Suppose -4*n + 76 = -0*n. Let v be n/(-10) + (-6)/(-15). Let p be (-8)/6 + 2/6. Are v and p equal?
False
Let y = -2 + 3. Let m be (-2 - 9/(-2))*2. Suppose -12 = -2*b - 2*v, m*b - v + 2*v = 14. Is y equal to b?
False
Let n = -0.37 + -15.63. Let d = 11 + n. Let b = -17 - -53/3. Which is bigger: b or d?
b
Let a = 59 + -23. Let r be (a/(-390))/((-1)/(-3750)). Let h = r + 346. Do 1 and h have different values?
True
Suppose -6*z - 124 = -10*z. Is z bigger than 31?
False
Let a(x) = -x**2 + 9*x - 10. Let m be a(8). Let q = -4 - m. Is -1 greater than or equal to q?
True
Let w = 5/8 + -17/8. Which is greater: w or 3/2?
3/2
Let d(k) = 5 - 2*k + 8 + 0*k. Let w be d(12). Let l = w - -9. Which is greater: -3/5 or l?
-3/5
Let y(j) = j**2 - 6*j + 4. Let c be y(5). Suppose -179 = 5*m + 481. Let b = m - -1982/15. Is b <= c?
False
Let x be (-18)/8 + 1/2. Let n = x + 27/20. Suppose -j + 4*j = 3. Which is smaller: n or j?
n
Let s = -2 - -5. Which is bigger: 6 or s?
6
Let y be (-1)/3*(-3)/1. Let i(m) = 2*m**3 - 12*m**2 - 4*m + 20. Let x be i(6). Do x and y have the same value?
False
Let a = -319/7 - -48176/1057. Let l be (-1)/(-906)*(-145 + 0). Let b = a - l. Are b and -1 equal?
False
Let c be 1/(-2)*(2 + -2). Let p = 6 - c. Is 6 at most as big as p?
True
Let j = -15 - -27. Let r = -13 + j. Suppose 2*w + 3 = 9. Which is smaller: r or w?
r
Let z(d) = d**2 - 19*d + 37. Let q be z(17). Which is smaller: -2/17 or q?
-2/17
Let o be ((0 - 1) + -3)*-2. Let h be (-2)/o + 10/(-24). Let i = -57 - -56. Which is greater: i or h?
h
Suppose -1 - 1 = 2*h. Let z = h - -2. Let u = 2.02 + -0.02. Does u = z?
False
Suppose -4*z + 6*z - 23 = -5*b, -2*b + 6 = 4*z. Let d = -4 - -6. Suppose 3 + d = i. Is i at least b?
True
Let j be (2 - 6)/((-3)/(-6)). Let z be 39/4 + 6/j. Let a = 10 - z. Is a < -2/7?
False
Let c = 7 + -1. Suppose m + c = 3. Let u be m + 45/12 + -1. Is u less than 3/2?
True
Let a(k) = k**3 + 4*k**2 - 4*k + 7. Let c be a(-5). Let g = c - 11. Is g greater than or equal to -9?
True
Let l = 13.97 - -0.03. Let a = -0.71 + 1.71. Which is smaller: a or l?
a
Let c be ((-3)/(-22))/((-6)/8). Let j = 0.04 - 0. Let w = 0.96 + j. Which is smaller: c or w?
c
Let c(b) = -b**2 - 5*b + 3. Let a be c(-5). Let y = 52 - 49. Is a less than y?
False
Suppose -5*q = -q - 24. Suppose -2*z = -3*d + 1, -4*d = -9 - 11. Is z greater than or equal to q?
True
Let v = 8 - 8. Let z = -0.3 - v. Let c = 0.24 + 0.06. Which is bigger: z or c?
c
Suppose -5*h - 2*t = 45 - 13, 0 = -5*h - 5*t - 35. Which is greater: h or -2?
-2
Let f = 0 + 5. Suppose -4*x + 4*t - 8 = 0, -2 = f*x + 2*t - 6. Let d be (-4 + 1)*2/(-16). Is d less than or equal to x?
False
Let v = -38 - -56. Which is bigger: v or 19?
19
Suppose -j = 3*p - 0*p + 12, -j - 5*p - 22 = 0. Which is smaller: 9/4 or j?
9/4
Let k = -0.7 - -0.55. Let t = 0.05 + k. Is 2 less than or equal to t?
False
Let v = -31 - -27. Do -10 and v have different values?
True
Let i = 7 - 4. Let p = i + -6. Let q = -248/3 -