ual to 0?
True
Let m = -6779 + 88085/13. Which is bigger: -3 or m?
-3
Let h be (3/(-20))/((-15)/60). Which is bigger: 2 or h?
2
Let a = 2/1163 + -25596/5815. Which is smaller: a or -4?
a
Let j(a) be the third derivative of -a**6/120 + a**3/3 + 3*a**2. Let o be j(0). Is o less than or equal to 3?
True
Let h = -0.062 - 0.978. Let c = h - -0.04. Which is greater: c or 1/10?
1/10
Let i = -31 + 17. Is i > -2/3?
False
Suppose -k - k = -24. Suppose -80 = 6*o - 11*o + 3*f, 3*o - 64 = 5*f. Is o smaller than k?
False
Let z = 0 - 0. Let n be 112/(-20) + -1 + 6. Is z at least as big as n?
True
Let l = 6 - 2. Let s = 18 - 9. Suppose -l*n + 1 = s. Does n = -2?
True
Let h = -188867/135 + 1399. Is h at most -2/3?
False
Let z = -11/105 + -2/21. Suppose -a - 3*v - 16 = -0*a, a - 24 = 5*v. Which is greater: a or z?
z
Suppose -3*m = m + 16. Let i = -3 - m. Is i not equal to 1?
False
Let d(c) be the second derivative of -c**4/12 + 5*c**3/6 + 7*c**2/2 + 5*c. Let k be d(6). Which is smaller: k or -2/7?
-2/7
Let g(h) = h**2 + 2*h - 5. Let k be g(9). Let i = -142 + k. Let d = i + 142/3. Does -1/3 = d?
False
Let x(n) = -29*n**3 - 2*n**2 + 1. Let s be x(1). Let p be s/56 + 4/14. Which is smaller: p or 0?
p
Let b = 1.2 - 0.2. Let y = -0.9 + b. Let c = 8 - 12. Is c equal to y?
False
Let g = -102 + 82. Is g equal to -20?
True
Let u = 3.2 - 3. Let y = 6.2 - u. Which is smaller: -1/4 or y?
-1/4
Let t = -35.1 + 35. Is t less than or equal to -0.23?
False
Let l = -3 + 3.2. Let y = 5 - 4.9. Let p = l + y. Is 1 less than p?
False
Let l = -6 + 8. Suppose -5*o - 26 + 6 = -l*q, 12 = -3*o + 2*q. Let s = o - -2. Is s smaller than -1?
True
Let b = -17 + 14. Let j = 5.2 - 8. Let l = b - j. Which is bigger: -3 or l?
l
Let b = 134 + -90. Let j = -26 + b. Which is smaller: j or -1/4?
-1/4
Suppose -4*w - 2*r = 16, w - 5 = 4*r - 0. Let n(f) = -f**3 - 2*f**2 + 2*f - 2. Let k be n(w). Is 3/8 bigger than k?
False
Let p = 5 - 3. Suppose 5*i = 4*y - 28, -3*i = 5*y - p + 4. Suppose 2*b - 8 + y = 0. Is 3 smaller than b?
False
Let c = -6.42 - -0.42. Which is smaller: c or -0.3?
c
Let l = 1 - 0.2. Let a = l + -1. Let q = -1.8 + a. Is q smaller than -0.1?
True
Let y = 21 - 18. Suppose 3*z = -5*g - 20, 0 = y*z - z + 10. Which is smaller: g or -1/9?
g
Let k = -5 + 10. Suppose k*t - t = 0. Which is smaller: t or -2/23?
-2/23
Let l be ((-2)/6)/(66/54). Suppose 0*y - 5 = 5*y. Which is bigger: y or l?
l
Suppose 0*v - 9 = -5*l - v, -5*l - 3*v + 7 = 0. Let h be 2/(-8) + 26/8. Suppose -h*q - 9 = -3*p, 15 = -3*p - l*q - 3*q. Is p greater than or equal to -2/5?
True
Suppose 0 = -r + 48 + 77. Which is smaller: 126 or r?
r
Let l = 6 + -2. Suppose -3*q = 4*b - 14, -2*b + l*b = 5*q - 6. Suppose -q*s + 4*y + 3 = -5, -s + 3*y = -8. Do -5 and s have the same value?
False
Suppose -3*q = 2*v + 37, -4*q - 12 = -q - 3*v. Is q bigger than -9?
False
Let j = 0.28 + -1.28. Let k = 0.1 - 0.3. Which is smaller: k or j?
j
Let b = 6 + -17. Let k = -19 - b. Which is greater: -1/2 or k?
-1/2
Suppose 0 = -4*k - 4*v + 3 + 17, -2*k + 3*v = 15. Suppose -2*d - 2 = -0. Is d at least k?
False
Let l = 355175/4 - 89322. Let k = 525 + l. Which is smaller: -2 or k?
k
Let n = -1 - -1. Let s = -17/4 - -33/8. Is s equal to n?
False
Let v be 105/20 - (-1)/(-4). Let t = 3 - v. Let h be (-3)/((-6)/8) + t. Do h and 3 have different values?
True
Let s = 8.6 + -1.6. Let x = s + -3. Let l = x - -4. Which is smaller: l or 0?
0
Let q = 35/62 + -2/31. Suppose 0 = 3*a + x - 11, -2*a + 5*x - 19 = -5*a. Which is bigger: a or q?
a
Let s be 2 - 4 - (-18)/6. Is s at most as big as 1/29?
False
Let h be (-14)/(-10) - (3 + -1). Let x be (-4)/6 - 50/15. Let v = 3 + x. Is h greater than v?
True
Let q = 34 + -29. Let n = -5.1 + q. Which is smaller: 2/19 or n?
n
Let g be (-37)/328*(-2)/1. Let r = g + 1/41. Is -1/4 less than r?
True
Suppose 3*t - 4 = -1. Let b(u) = -u**2 + 11*u - 1. Let d be b(11). Which is bigger: d or t?
t
Let a = 1 - -3. Suppose 4*q + 20 = -a*l + 2*q, 2*l - 2*q = -4. Let h = -1 + 0. Is l smaller than h?
True
Let u = 55 - 54. Suppose 5*d + 14 = -36. Let x be 6/d*4/6. Which is smaller: u or x?
x
Let i = 0.2 - 0.2. Is i greater than or equal to 1?
False
Let n(a) = -a**2 + 4*a + 7. Let t be n(7). Which is greater: -15 or t?
t
Suppose -4 = -2*v - 2. Let j(d) = -4*d - 3. Let s be j(-2). Suppose s + v = -2*k. Is -4 at least k?
False
Let m be (-3 - (-36)/15)/(-1). Is m greater than -0.3?
True
Suppose 4*z - 2 = -t - 7, -3*t - 3*z = -21. Is t greater than 11?
False
Let b = -35 - -35.8. Which is bigger: b or 0.2?
b
Let d be 4/(2 - 48/22). Let c be d/40 + (-4)/20. Are -2 and c unequal?
True
Suppose 3*m = 5*c + 13, c + 4*c + 29 = -m. Let v = -10/7 - -13/14. Is v >= m?
True
Suppose -3*x - 2 = 1. Is 1/98 at most as big as x?
False
Let x be (-1 - 9) + (1 - 0). Let o = -10 - x. Is 0 smaller than o?
False
Suppose -j + 4 = -4. Suppose 2*f - 15 = -1. Do f and j have the same value?
False
Let g(t) = -t**2 + 6*t - 6. Let f be g(3). Let j = 382/155 - 2/31. Which is greater: f or j?
f
Let o be 69/4 - (-4)/(-16). Let u = o - 20. Which is greater: -2 or u?
-2
Suppose -4 = -2*u + 4. Suppose 2*a = u*n + 10, -2*n - a = 3*n + 9. Is -1 less than n?
False
Let l be 4 - ((-360)/35)/(-6). Is 2 <= l?
True
Let x = -5.17 + -1.53. Let f = 7 + x. Let n = 0.4 - f. Which is smaller: n or 0.3?
n
Let r be -1*(-4)/4 + -1. Which is greater: -5/8 or r?
r
Let c = 607/70 - 60/7. Let r = 79 - 79. Does r = c?
False
Let n(t) = -t**2 - 7*t + 7. Let k be n(-8). Which is bigger: -2/23 or k?
-2/23
Let n(r) = r**3 + 13*r**2. Let i be n(-13). Is -3/13 greater than i?
False
Let j = -13 + 12.91. Let q = -0.01 + j. Are q and -1 non-equal?
True
Let q be 2/5*14/(-8). Let i = q + 1/10. Suppose b - 2 = 3*b. Is b > i?
False
Let n be 1*(-16)/6*3. Let i(k) = -k. Let o be i(-2). Let p be (o - n/(-6))/(-2). Which is smaller: 2 or p?
p
Let o = -5 - -7. Let r be 9/7 - (-6)/(-21). Let d be o/3*(r + 2). Which is greater: 4/5 or d?
d
Let p = -14 - -24. Suppose a + 17 = -s + 6*s, 5*s - p = 0. Let o be (-2)/((-3)/((-42)/4)). Is a greater than o?
False
Suppose -3*z + 3 = -6*z. Let g = 5639/13 + -434. Which is smaller: g or z?
z
Suppose -m = -0*m - n - 8, -2*n + 4 = 3*m. Let w = -4 + m. Do w and 0 have different values?
False
Let r be ((-5)/((-390)/(-9)))/(3/4). Is 0 bigger than r?
True
Let t be 0/(-4) + 4/7 + -1. Is 1 equal to t?
False
Let m = -10 + 14. Suppose 4*j + 12 = m*l, -5*l = 3*j + 2*j - 25. Are 1 and j equal?
True
Suppose -4*f + 3 = -1, -r - 2*f = 10. Is -12 at most as big as r?
True
Let q be 41/58 - (-8)/(-20). Let m = q + -6/29. Is m <= 0?
False
Suppose -5*m = -2*b + 6 - 1, -4*m = -5*b - 13. Let q be ((-12)/(-45))/(2/m). Which is smaller: q or 3?
q
Let n(i) = 6*i + 39. Let f be n(-9). Does f = -15?
True
Let i = 107 + -112. Is -5 at least as big as i?
True
Let x = 0 + -0.1. Let a = 29 + -26.8. Let c = a - 1.7. Which is smaller: x or c?
x
Let p = -9 + 9. Which is smaller: -9 or p?
-9
Let f(l) = -l**3 + 4*l**2 + 3*l - 3. Let z be f(4). Let s be 19/15 + (-6)/z. Which is smaller: 1 or s?
s
Let x be -2 - (-2*3 + -3). Suppose -q - 14 = -5*y, x*q + 1 = 2*q + 2*y. Is 3/11 not equal to q?
True
Suppose 4*c + q = 30, -1 = -2*q - 5. Do c and 10 have different values?
True
Suppose 39 = -4*u + 27. Let f be 0/(4/2) - 2. Which is smaller: f or u?
u
Let l be 108/10 - 4/(-20). Which is bigger: 9 or l?
l
Suppose 2*u + 45 - 303 = -2*v, 3*v = u - 133. Let b = 60537322/464877 + -2/154959. Let q = b - u. Which is greater: q or 1?
1
Let r = -123.1 - -142. Let v = r - 19. Which is greater: -9 or v?
v
Let b = -0.17 + 0.27. Which is smaller: b or -2/7?
-2/7
Let u be (-1)/3 - (-70)/3. Suppose -4*o + 17 = -u. Let m = 9 - o. Which is greater: -7 or m?
m
Let i(q) = 12*q + 7*q - 21*q + 5. Let x be i(-6). Is x != 16?
True
Let x = -8.62 - -0.22. Are 1/2 and x non-equal?
True
Let z(v) = v**2 + 3*v + 1. Let j be z(-4). Suppose 4*q - 24 = 4*y, 0 - 13 = -2*q + y. Let x = j - q. Are -2 and x equal?
True
Let n(k) = -k**3 + k**2 + 2. Let o be n(0). Suppose 5*d - 2*w + 0*w - 9 = 0, -o*d = w. Let h be -3 + 10/3 + d. Which is bigger: 1 or h?
h
Let n be (-16)/(-78)*(-9)/36. Is n at least -1?
True
Suppose 2*w - 5*u - 32 = -u, 35 = 5*w + 5*u. Which is smaller: w or 80/7?
w
Suppose 11*f = 7*f + 228. Is 59 >= f?
True
Let b = -2/41 - -1111/82. Let d = 77/6 - b