d y have the same value?
False
Let q = -101 - -59. Which is greater: q or -41?
-41
Let r be ((-1)/(-3))/((-14)/(-12)). Let x = -2.945 - 0.055. Is x at least as big as r?
False
Suppose 2*f - 3 - 1 = 0. Let u be (-36)/4*f/(-6). Suppose j = 0, u*v + 2*j - 3*j = 0. Which is greater: v or -1?
v
Let d(p) = p**3 - 6*p**2 + 3*p + 10. Let i be d(5). Suppose i*k = 4*k - 8. Let w be -1*(6/8 + -2). Is k at most w?
False
Let s(p) = p**3 + 5*p**2 + 3*p - 5. Let o be s(-4). Let d = -4 + o. Let a be (12/220)/((-1)/d). Are a and 1 equal?
False
Suppose 0 = 5*s - 4*l + 5 - 33, -14 = -4*s - l. Suppose 2*u + 3*u = -4*q + 15, 0 = 4*u + s*q - 8. Is 7 not equal to u?
False
Suppose -5*h - 4 = -9. Is h != -1/22?
True
Suppose -3*w + 390 = 2*w. Let f be (-40)/w - (-2)/3. Are -1 and f equal?
False
Let j be 10/4 - (7 - 5). Let m = -2/125 - -27/125. Is m less than or equal to j?
True
Let v = -197 - -181. Is v bigger than -16?
False
Let v = -59 + 63.05. Let d = v - 0.05. Let c = 76 - 74. Which is smaller: d or c?
c
Let l = 4 + -3. Let i(p) = -p**2 - 3*p. Let a be i(-3). Which is smaller: l or a?
a
Suppose h + h = 2*n + 44, 4*n = 2*h - 54. Suppose -3*s - 53 = 5*t, -2*s - 2*t - h = 21. Let j = 83/4 + s. Which is bigger: -1 or j?
j
Suppose -5*u - 11 - 9 = 0. Let y = u + 2. Is -2/3 at most y?
False
Let k = -91 - -91. Which is bigger: k or 6/5?
6/5
Let h = -7.893 - 0.007. Let c = -0.1 + h. Is c < 1?
True
Suppose -5*u + b = -20, -u - 4*u = 4*b - 45. Let g be 1/u - 1/5. Is g smaller than 2/23?
True
Suppose 0 = -9*r - 413 + 116. Is r at most -31?
True
Let u = -28 + 28. Is -7/6 smaller than u?
True
Let b = 5 - -1. Let h = -5.8 + b. Which is smaller: 5 or h?
h
Let p(k) = 4*k**2 - k. Let h be p(1). Suppose 3*x = -w + 5, -w - h + 2 = 0. Suppose -u - 4 - x = r, -2*u - 10 = 0. Do r and 0 have different values?
True
Suppose 0 = 5*k - 7 + 2. Let q be (-6)/2 + -16 + k. Is q smaller than -18?
False
Suppose -5*d - 3*t - 6 = -7*t, 2*d - 2*t = -2. Let o = 0 + 0.1. Is d >= o?
False
Suppose 2*w = -5*d - 3 + 1, 0 = -5*w + 5*d - 5. Is w at least as big as 4?
False
Suppose -p - 5*b = 4*p + 5, 4*b = 2*p - 4. Suppose p = -6*q + q. Let r be (1 - (-3)/(-1))/3. Which is greater: r or q?
q
Suppose 0 = 5*a - 5. Suppose -4*q - 14 = -11*q. Which is greater: q or a?
q
Let k(w) = -w**3 - w**2 + 25. Let l be k(0). Let z = l + -74/3. Let v = 0 - -1. Is v not equal to z?
True
Suppose -3*d - d + 24 = -2*y, 0 = d + y - 3. Which is smaller: 23/6 or d?
23/6
Suppose 3*r - 11 = k, 3*k + r + 9 = -4. Let g(t) = t**2 - 8*t + 3. Let p be g(7). Is k greater than p?
False
Let q = 58606/435 + -2894/29. Let w = q - 6731/60. Let d = 78 + w. Which is smaller: 1 or d?
d
Let b = 9 - 9.3. Let m = b + -3.7. Which is greater: m or 1/3?
1/3
Suppose -22*x = -20*x - 10. Suppose -3*y = -x + 11. Which is greater: 0 or y?
0
Suppose 5*p + t - 24 = 0, 2*p = -3*p + 2*t + 12. Suppose -5*y + p*n = 2*n + 7, -2*n = 4*y + 20. Let l = y + 4. Which is greater: l or 3?
3
Let i be (-2)/(-8) - (-24)/32. Is i less than or equal to 4?
True
Let n(r) be the second derivative of -r**5/20 + 5*r**4/6 + 13*r**3/6 - 8*r**2 + r. Let y be n(11). Suppose 0 = 4*j + 2*z + 2, 3 + y = 3*z. Is j at least -2?
True
Let r = 5.7 + -6. Let l = -6 + 5.7. Let j = r - l. Which is smaller: j or -2?
-2
Let v = -3.31 - -0.21. Let z = v + 3. Let u = z + 2.1. Are -1 and u non-equal?
True
Let a = -2 - -2. Let w = 1 + 3. Suppose p - w + 3 = a. Is p at most as big as -2/5?
False
Let q = -1 - 5. Let g = -8 - q. Is g bigger than 2/3?
False
Let m = 341/342 - 21/38. Which is greater: m or 1?
1
Let u be (-10)/55 + (-75)/11. Which is smaller: u or -13/2?
u
Let i = 553/180 - 17/36. Do i and 3 have the same value?
False
Suppose 0 = -2*o - 1 + 5, -4*c + 2*o = 0. Suppose w + 3 - c = 0. Which is bigger: w or -6/7?
-6/7
Suppose 24 = 2*b + 14. Suppose 3*a = 3 + 6. Which is bigger: a or b?
b
Let a = -3.5 + 2.5. Is a greater than -9?
True
Suppose 7 + 8 = -5*r. Let m be 2/r - (-2)/30. Let q(c) = c**3 - 8*c**2 + 6*c + 7. Let v be q(7). Are v and m equal?
False
Let r(v) be the third derivative of -v**5/60 - v**4/24 + 5*v**2. Let o be r(0). Which is smaller: -2 or o?
-2
Let n(l) = l**2 - 6. Let u be n(0). Let d be ((-27)/630)/(u/(-8)). Which is bigger: 0 or d?
0
Let k = -65 - -65. Let w be 2/(-2) + (-11)/(-9). Which is greater: w or k?
w
Let a(i) = i**3 + 9*i**2 - 11*i - 9. Let x be (16/(-12))/(4/(-6)). Suppose 20 = -4*j + x*j. Let m be a(j). Is 3/2 greater than or equal to m?
True
Let c = -0.5 - -0.5. Let z = 0.1 + c. Which is smaller: z or 1/5?
z
Let n(z) = -2*z**2 + 2*z. Let t be n(1). Is -1 at least t?
False
Let n = 0 + 2. Suppose -3*x - 2 = -n*x. Let z = 2 - 4. Is z greater than x?
False
Let p = -17 - -16. Is p greater than or equal to 4?
False
Let p be (-34)/(-9) - 6/(-27). Suppose 3*j = 0, -4*j = p*c + c - 25. Suppose 4*a - c*a = -5*k + 5, -3*k - 25 = 5*a. Which is bigger: -1 or k?
k
Suppose 0 = -2*w - w, 3*w = 2*x. Which is smaller: -2/19 or x?
-2/19
Suppose 2*m + 1 = 3*m. Is 1 less than m?
False
Suppose -4*l + 3*j = j - 10, -5*l - j + 9 = 0. Let z = 10 + -14. Let t be (6/z - -1)*-8. Does l = t?
False
Suppose 0*s + 5 = -2*b + 5*s, 5*b - 4 = -4*s. Suppose -3*o - 2*o = 15, b = 2*l - 5*o - 25. Suppose -4*x + 21 = 5*v, 13 = l*x + 4*v - 2. Is -2 smaller than x?
True
Let o = 1.1 - 0.1. Let l = 39 + -41. Is l < o?
True
Let a(u) = u**3 + 10*u**2 - 24*u - 4. Let s be a(-12). Which is smaller: -3 or s?
s
Let r be (2/(-28))/(4/(-3792)). Let q = 68 - r. Let m = 1 - 1. Which is smaller: m or q?
m
Let b be (-18)/8 + (3 - 5). Is b smaller than -5?
False
Let w = 2.38 + 0.62. Let n(v) = -v**3 + v**2 - 2. Let g be n(0). Let f be g + (-16)/(-7) + 0. Is f greater than or equal to w?
False
Suppose 3*s = -0*s. Suppose s = -3*m - 2*w + 5, -m + 5*w + 0*w = 4. Do m and 3/8 have different values?
True
Let a = 0.9 + -1. Let n = -263/6 + 44. Is a >= n?
False
Suppose 0 = 5*i - 2*z - 6, 5*i - z = -5*z + 18. Let j be (i/3)/((-55)/(-15)). Which is greater: j or 1?
1
Let s(a) = -4*a - 3. Let x be s(-2). Let k = 6 - x. Is k > 0?
True
Let z = -89/6 + 29/2. Is z > -1/2?
True
Let q = -10 - -37. Suppose -5*w - q = -2*w. Let s(i) = 5*i + 1. Let a be s(-2). Is w smaller than a?
False
Let y = -0.3 + -0.2. Let j be ((-2)/6)/((-1)/9). Suppose t + 2*t = j. Which is smaller: y or t?
y
Let g be -1 + ((-12)/4)/3. Let i be 2/g*(-2 + 2). Is 1/12 < i?
False
Let f be (-2)/4 + 231/438. Let x = -140/219 - f. Is -2/3 < x?
False
Suppose 4*n - 17 = -m, 26 = 4*n - 4*m - 6. Suppose 3*g = 2*g + n. Suppose 0 = 6*t - t - 30. Which is greater: g or t?
t
Suppose 11*i - 8*i = 0. Does -1/5 = i?
False
Let d = 12 + -11. Which is smaller: d or 2?
d
Let d be (3 + 3402/(-1128))/(3/(-2)). Which is smaller: 1/4 or d?
d
Suppose -6*h = 5*q - h + 10, h = 4*q - 7. Is q > 4/15?
True
Let c be 4 + -3 + -4 + -7. Is c less than -9?
True
Let x(q) = q**3 + 4*q**2 + 2*q + 3. Let i be x(-4). Which is bigger: i or 4?
4
Let h be (-2)/(-14) - (4 - (-148)/(-42)). Which is smaller: 23/5 or h?
h
Let q = 7 - 4. Let u = -3.1 + q. Let z = 0.2 - 0.1. Which is greater: u or z?
z
Let f be (21/14)/(9/(-168)). Which is smaller: f or -29?
-29
Let p = -19 - -19. Which is bigger: p or -1/2?
p
Suppose 0*i - 8 = 4*i. Let b be 5*(i/(-15) + 0). Which is greater: b or 0.7?
0.7
Let g be 4/(-18) + 784/(-36). Let y be 2/(g*(-1)/2). Let d be -1*(3 - 2) + 1. Which is smaller: y or d?
d
Let q = 921/13 + -12387/182. Let d = -16/7 + q. Which is bigger: -3 or d?
d
Let k = 7.4 + -6.8. Which is greater: -2/17 or k?
k
Let q(h) = h**2 + 3*h - 1. Let l be q(-4). Suppose -a = l*n - 0*n - 32, -2*n = 5*a - 30. Let u be (-8)/(-20) - (-16)/n. Which is bigger: u or -2?
u
Let f be -1 - 2*1/(-2). Are -6 and f unequal?
True
Let r be (-1)/(-2) + (-9)/(-2). Let h = -3 + r. Is h equal to 1?
False
Suppose -a + 37 = -4*k + 11, 5*k = -2*a. Let r = a + 0. Is r at least as big as 10?
True
Suppose -7*f - 3 = -6*f. Which is smaller: f or -5/3?
f
Let q be -2 + ((-8)/6)/(-2). Let d be 3 + 2 + (1 - 1). Suppose 5*l + 4*o + d = 0, l = 5*l - 4*o + 4. Are q and l unequal?
True
Let h = -2/221 - -229/884. Are -4 and h unequal?
True
Suppose -5*j - y - 80 = 0, 0 = 3*y + 2*y. Which is greater: j or -15?
-15
Let h be 85/3 + (-5)/15. Let c = 21 - h. Is -4 <= c?
False
Let r be 42/8 - (-2)/(-8). Let w be (-2)/(-8) + 110/40 + 1. Is w less than o