
Suppose 5 = -5*r + 10*r. Which is bigger: -3/8 or r?
r
Suppose -4 - 20 = 4*k. Let s be (-2)/k + 29/3. Suppose s - 6 = 2*g. Is 2 not equal to g?
False
Let y(d) = -3*d - 41. Let c be y(-14). Which is smaller: 2/177 or c?
2/177
Suppose 3*v = 5*f - 130, -3*f + 3*v + 128 = 44. Let i = -1865 + 5663/3. Let q = i - f. Does 1 = q?
False
Suppose 3*f + 3*d - 15 = 0, d + 2 + 1 = 3*f. Is f bigger than 2?
False
Let t = 154681/2 - 5101735/66. Let j = 1169 + -3632/3. Let n = j + t. Which is greater: n or 1?
1
Let p = -50 + 36. Is p < -94/7?
True
Suppose 2*y - 25 = 11. Which is smaller: y or 73/4?
y
Let i(y) = 10*y - 13 - 8*y - 4*y. Let c be i(-9). Suppose c = 5*h + 4*s - 5, -4*h - 4*s = -8. Which is bigger: 0.2 or h?
h
Suppose -2*l + 3*l - 36 = -2*f, 75 = 5*f - 5*l. Suppose 11 - f = x. Does x = -6?
True
Let s = -0.1 + -0.9. Let n = 19 - 33. Let r = -13.9 - n. Is r > s?
True
Let y = -11 - -11. Is y less than 2/7?
True
Let t be 10*1/((-5)/18). Let j be ((-6)/(-4))/((-6)/t). Is j >= 8?
True
Suppose 5*q + r + 4*r + 25 = 0, 3*q + 5*r = -21. Let p be q + 1*(-1)/(-1). Let x = 62 - 311/5. Which is greater: x or p?
x
Let a = 4 - 3. Let r = 0.9 - a. Let h = 1/63 + 41/63. Which is smaller: h or r?
r
Let n be -5*(-3 + (-33)/(-5)). Are -18 and n non-equal?
False
Let s = -4513 - -149008/33. Let v = -30/11 + s. Which is smaller: -2 or v?
-2
Let w(a) = -a**3 - 3*a**2 + 2*a + 4. Let k be w(-4). Suppose 0 = -2*v - 3*r - k, -2*v + v = 4*r + 16. Which is smaller: 1/16 or v?
v
Let f = -3/4 + 15/28. Which is greater: 1 or f?
1
Let a(n) = -87*n**2 - n. Let q be a(-1). Let u = q + 2492/29. Do 1 and u have the same value?
False
Suppose 5*q - 6 - 14 = 0. Suppose -q*f = -2*b - 16, -6*b = -2*b - 2*f + 8. Which is bigger: 3/4 or b?
3/4
Let a = -1 - -1. Let k(b) = b**3 + 6*b**2 - 9*b - 6. Let z be k(-7). Suppose 0 = -z*t + 7*t - 6. Is a equal to t?
False
Let b(k) = k + 5. Let d be b(-4). Suppose -2*n + d = -3*n. Which is bigger: n or -2/21?
-2/21
Let t = -27 - -37. Is t at most 0.3?
False
Let j = -0.13 + 2.13. Let v = j - 2. Which is smaller: 10 or v?
v
Suppose -4*v - 6 = -3*d, -4*v + v + 1 = -5*d. Let w be (4 - 0)*d/100. Are w and 0 equal?
False
Suppose -55 = 10*i - 15*i. Is i <= 12?
True
Suppose g = 4*g. Is 2/45 equal to g?
False
Let a(o) = -2*o**2 + 2*o - 1. Let b be a(1). Let g be 2/(-4)*(-126)/9. Let z be 2/g - (-220)/(-231). Which is smaller: b or z?
b
Let u = -2.35 - -0.15. Let w = u - -2. Let h = -0.24 + 0.04. Is h > w?
False
Suppose -2*k = -3*k - 9. Let x = -11 - k. Is -2 less than x?
False
Let g = 1.2 - 0.2. Let b = g - 0.9. Let q = -2.3 + 2.7. Is q less than b?
False
Let b be 4/(-16) - 260/(-16). Suppose -20 = 6*t + b. Are -6 and t non-equal?
False
Let x be 20/(-3)*3/2. Let t(g) = -g**2 - 9*g + 3. Let q be t(-10). Let u = x - q. Is -4 >= u?
False
Let a be ((-3)/(-14))/(6/(-8)). Is 0 < a?
False
Suppose 2*p = -7 + 21. Suppose -2*w - 2 = 3*l - 4*w, 3*w + p = 2*l. Let i be (l/(-3))/((-6)/9). Is -3 at most as big as i?
True
Let m = -1.81 - 0.19. Let n = 1.6 + m. Is n < -0.1?
True
Suppose 4*f - 44 = l, -2*f + 133 = -3*l + 21. Let x = l + 17. Is -18 smaller than x?
False
Suppose -5*v = -3*q + 86, 3*v = -2*v - 4*q - 107. Is -18 greater than or equal to v?
True
Let a = 87/10 - 9. Let v = 2 + -3. Which is smaller: v or a?
v
Let n be (1*(-1)/1)/(-2). Let i(h) = h + 10. Let c be i(-7). Suppose 3*m - 12 = c*l, l + 2*m - 8 - 3 = 0. Is l greater than or equal to n?
True
Let q be ((-18)/108)/((-1)/80). Does q = 14?
False
Let q(n) be the third derivative of n**6/120 - n**5/60 + 2*n**2. Let a be q(0). Is a <= 0?
True
Suppose -3*g = -2*z - 6*g + 66, -2*z + 3*g = -54. Let c be (-6)/(-9) - (-16)/z. Which is bigger: c or 0?
c
Let q be 11/6*45/6. Let m = q - 14. Is m at least as big as 1?
False
Let i = -2.9 - -2.8. Is -2/3 < i?
True
Suppose -2*r - 10 = -7*r. Is r smaller than 3?
True
Let l = -0.1 + -0.3. Let u = l - -0.4. Let f = u + -1. Which is greater: f or 1/3?
1/3
Let d(k) = 5*k + 4. Let s be d(-1). Let b = -15.1 + -1.9. Which is smaller: s or b?
b
Let k(q) = -q**3 - q**2 - 2*q - 2. Let u be k(-3). Let o be 4*(2 + u/(-8)). Let d be 95/(-30) - (0 - (-1)/(-6)). Does o = d?
True
Let j(d) be the first derivative of -d**3/3 - 3*d**2/2 - 3*d - 1. Let v be j(-3). Let b be -2 - 2*v/(-6). Is b at most -0.1?
True
Let j = 595/9 - 67. Is j bigger than 0?
False
Suppose 2 = -3*a + 8. Suppose -5*b = a + 3. Which is greater: 3 or b?
3
Let s be (-6)/(-5)*(-30)/(-9). Let k(u) = -u + 6. Let w be k(s). Let o be 5*(-3)/9 + w. Which is smaller: 1 or o?
o
Let o = -175 - -495. Let u be (-10)/(-45) - o/(-18). Let d be ((-3)/5)/(u/(-12)). Which is bigger: d or -1?
d
Let p = -0.155 + -3.845. Are p and -4 nonequal?
False
Let g(d) = -d + 8. Let o be g(6). Is 5 != o?
True
Let l = 0.155 - -0.045. Which is greater: -0.1 or l?
l
Let t(n) = -n**3 + 5*n**2 - 4*n + 5. Let o be t(7). Let b be o/(-10) + 4/10. Let v = -11 + b. Which is smaller: 2 or v?
v
Let k = 42 - 296/7. Let y(f) = f**3 + 4*f**2 - f - 2. Let w be y(-4). Suppose 0 = 4*p + 20, 4*p + 10 = 3*c + w*p. Which is bigger: c or k?
c
Let c be (-33)/18 + (-57)/18 + 3. Which is smaller: -5/4 or c?
c
Let i(c) be the third derivative of -1/120*c**6 - 2/3*c**3 - 1/4*c**4 + c**2 + 0 - 1/10*c**5 + 0*c. Let j be i(-5). Do 1 and j have the same value?
True
Suppose -2*t = -0*t. Suppose -v - 3*a + 12 = 0, 5*a - 22 = -t*v - v. Let r be v/(-12) + 42/(-104). Which is greater: -1 or r?
r
Suppose -3*h = -2*m - 10, m - 4*m + 36 = 4*h. Suppose -40 = -4*i - i. Let v = 13 - i. Is h greater than v?
True
Suppose -x = 2 + 1. Let o = 1 - 5. Which is smaller: o or x?
o
Let v = 18 + -12. Is 4 at least v?
False
Suppose -5*s + 35 = 5. Let u = 25 + -15. Let p be u/s - 16/24. Which is bigger: 1/7 or p?
p
Suppose 0 = 5*l + 10, 0*g + 3*g + l = -17. Which is smaller: g or -6?
-6
Suppose 2*v - 18 = -2*o - 2, 5*o = -4*v + 42. Let j = -2 + 11. Are o and j non-equal?
True
Suppose 0 = 3*v - 12 - 9. Which is bigger: 1 or v?
v
Let b(k) = 2*k**2. Let h be b(-1). Let q be 3*(-3 - (-4 + h)). Suppose -10 = 5*l - 0. Is q <= l?
True
Suppose 14 = -6*x - 4. Is x smaller than 1?
True
Suppose 0 = -4*q - 48 + 84. Which is greater: q or 11?
11
Let x(n) = n**2 - n - 13. Let c be x(4). Is c at least -4/17?
False
Let p = 20/17 - -45/34. Which is smaller: p or 2/7?
2/7
Suppose -7*s = -3*s. Suppose 6 = -m - 4. Let x be 10/4*(-2)/m. Is s greater than x?
False
Let s be 4/(-12) - (-13)/3. Let m be 5 + -5 - s/(-18). Let a be (-12)/9 - 2/(-6). Is a at least m?
False
Let r = 5.03 - 0.03. Let i = -4 + r. Let b = 89/56 - 15/8. Which is bigger: i or b?
i
Let j = -3.035 + 0.035. Which is smaller: j or -2/19?
j
Let q(w) = -w**3 + 2*w**2 + 2. Let u be q(2). Let m = u + -4. Let r = 2.9 + -3. Which is smaller: r or m?
m
Let v = 0.45 - 24.45. Let y = v + 23.9. Is y greater than 1?
False
Let g be (-1 + 3 - -1) + 30/(-12). Which is bigger: g or 0?
g
Let d be (-64)/(-10) + (-4)/10. Suppose 4*y = d*y - 10. Suppose -y*k = 3*f - 2*f, -11 = 4*k + 3*f. Is k greater than or equal to 0?
True
Suppose -p = -3*m - 2 - 0, 0 = -m + 5*p - 10. Let i be ((-1 - m)/1)/(-2). Let r be 2/(-3)*-3 + -2. Which is smaller: i or r?
r
Let z = -55021/924 + 1208/21. Let x be 189/(-154)*16/(-6). Let m = x + z. Is 1 <= m?
True
Let w be (-15)/20 + 1/(-4). Let s = -1263/14 + 90. Does w = s?
False
Suppose -2*o + 6*o - 3*x + 9 = 0, -x = -3*o - 3. Are -0.38 and o equal?
False
Suppose 0*o = 5*o + 4*v + 65, 7 = 2*o - 5*v. Is o >= -5?
False
Let u = 2/99 - 13/99. Let n = 10 + -8. Suppose 0 = 2*m - 5*h - 15, 9 = n*m - 5*m - 3*h. Which is greater: u or m?
m
Let h = -73 + 73. Which is smaller: h or -7/24?
-7/24
Let a = -158.8 + 146. Do a and 0 have different values?
True
Let l = 49 - 62. Is -13 at most as big as l?
True
Let g = 77 + -71. Is 27/4 > g?
True
Let g = -18 - -18. Does g = -2/7?
False
Let m be (-4 - -5)*(-3)/(-1). Let i = -1 + 5. Suppose -i*o = -3*p + p - 12, -5*p - 17 = m*o. Are -3 and p unequal?
True
Let n(j) = -11*j + 2. Suppose -5*v + 6 = -2*v. Let u be n(v). Let q = 39/2 + u. Is -1 greater than or equal to q?
False
Let m = 17 + -24. Suppose -4*c = -p - 2*p + 24, -3*c - 18 = p. Is m less than or equal to c?
True
Let o(p) = -2*p - 6. Let t be o(-7). Suppose -5*r - 5 = 2*g, 3*g = -5*r - 2*g - 5. Is t smaller than r?
False
Let i(f) be the first derivative of -f**3/3 + 5*f*