= 5*s + 4*m. Which is bigger: s or u?
s
Let i = -75 - -99. Which is smaller: i or 1?
1
Let u(g) = -2*g - 11. Let l be u(-10). Is 11 greater than l?
True
Let c = -9 - -3. Suppose -h + 2*b = -0*b - 10, 3*h + b = 2. Let k be (-16)/c - h/1. Which is greater: 1 or k?
1
Let a = 1430/4181 + -12/37. Are -1 and a nonequal?
True
Let d(y) = -15*y**2 + 2*y - 1. Let j be d(2). Let a = 14252 - 71543/5. Let x = a - j. Which is smaller: x or 7?
x
Suppose -8*w - 2775 = -3*w. Let m be 4*(w/(-186) - 3). Do m and -1 have different values?
True
Let y = -0.091 - -0.271. Which is greater: y or -1/2?
y
Let a = -6 - -5. Which is smaller: a or -1/8?
a
Let y = 15499/52 - 298. Are y and 1 unequal?
True
Let u = -7 - -5. Let k be (-9)/(-6) + u/(-4). Suppose k + 0 = 2*x. Is x at most 0?
False
Suppose q + 35 = 5*l, 5*q - 5 = -4*l + 52. Let t be (8/(-70))/(l/20). Which is greater: -3 or t?
t
Let v be (-4)/((-8)/(-2)*-1). Is -4/13 greater than v?
False
Let p = 97/30 + -10/3. Which is smaller: 0 or p?
p
Let s = 5.8 - 6.8. Let g = -0.2 + 0.3. Which is smaller: g or s?
s
Suppose -l - 2*g = 1, 0 = 2*l + g - 2 - 2. Suppose 3*j + 4*w = -0*j - l, -3*j = w + 3. Which is smaller: j or 0?
j
Let s = 10219/35 + -292. Is 0 greater than s?
True
Let v = 17 - 17. Does v = -1/4?
False
Let p = -11 + -11. Is 4 at most p?
False
Let k(c) = -c - 3. Suppose -h = -3 + 6. Let m be k(h). Let y(i) = i**3 + 6*i**2 + 5*i - 1. Let t be y(-5). Which is smaller: t or m?
t
Let k(c) = 8*c**3 - 2*c**2 + 2*c. Let z be k(1). Let r = -0.4 + 0.5. Is z equal to r?
False
Let q = 1104/7 + -158. Let i = 0.118 - 1.148. Let d = i - -0.03. Are q and d nonequal?
True
Let w(x) = -x**2 - 4*x. Let v be w(-2). Suppose -5*l + v = -3*p, 0*p = 2*l + 2*p - 8. Let n = 1 - l. Which is smaller: n or -2/13?
n
Let u = 2100/17 + -13306/119. Is u >= 12?
False
Let j = 0.09 + -0.1. Let m = j + 0.01. Which is smaller: -2/7 or m?
-2/7
Let q = 0.1 - -12.1. Which is greater: -1/3 or q?
q
Suppose 4 = -2*u + 2, -2*q - 2*u - 4 = 0. Let c be 21/18*11/154. Which is bigger: c or q?
c
Let y = 11 - 9. Suppose 0 = -y*q + 3*q. Is 2/5 at most q?
False
Let f = -0.35 - -0.05. Let q = -3.7 - -4. Let g = f + q. Is g < -4?
False
Suppose 4*y - 35 = -3*k - 6, 3*k - 14 = -y. Suppose -19 = 4*u + 5*w, 2*w = k*u - 5*u - 10. Is -5 bigger than u?
True
Let d(t) = -t**2 - 8*t - 11. Let l be d(-2). Does 4/17 = l?
False
Let f(d) be the third derivative of -d**6/120 + d**5/15 + d**4/4 + d**3/6 + d**2. Let h be f(5). Let q = 0 + 7. Which is smaller: h or q?
h
Let s = -0.8 - -0.4. Let a = -1.6 + s. Are 1/5 and a equal?
False
Let w = 20 - 22. Let u = -1449/2596 - -3/236. Is w > u?
False
Let j = -0.0715 + 0.0315. Let b = 0.4 - 0.3. Let t = b + 0.9. Which is greater: j or t?
t
Let a = 167/2 + -85. Which is bigger: -1 or a?
-1
Let b be (-2)/4*(-536)/(-14). Let a = b - -19. Which is smaller: 1 or a?
a
Let d(z) = 14*z + 21. Let s be d(-15). Let a be 144/s - (-1)/3. Which is smaller: -1 or a?
-1
Suppose -4*k + 2*k = -16. Suppose 2*a = 4*f - 2*f + k, -4*a = f + 4. Is -4 > f?
False
Let c be 0 - 2/(-11) - 72/(-88). Is -2/115 less than c?
True
Suppose -33 - 7 = -4*t. Let m = 4 - t. Is -7 greater than m?
False
Suppose 2*b + 27 = -b. Are -11 and b equal?
False
Suppose -k - 18 = 2*k. Let v = k + 6. Which is smaller: -2/7 or v?
-2/7
Let x be 0 + 0 - (-8 - 7). Let d be 24/10 + (-6)/x. Which is bigger: d or 4?
4
Suppose -211*z = -205*z - 180. Is z at least 30?
True
Suppose c = 4*d - 188, 2*d = 6*d - 5*c - 188. Let h be 4/d*(-2)/(-4). Which is bigger: h or -1?
h
Let l = -26 + 24. Suppose 4 = -r + 2. Do l and r have the same value?
True
Let b = 34 - 24. Which is greater: b or 0?
b
Suppose 0 = 6*y - 10*y + 464. Which is smaller: 117 or y?
y
Let d = 11.1 + 2.9. Which is smaller: d or 0?
0
Let s = -10 + 12. Let a = -0.8 + 1. Let t = 0 + a. Which is smaller: s or t?
t
Suppose l = -5*w - 23, -5*l - 4*w = 48 - 17. Let x be (1 - 1/1)/3. Which is bigger: x or l?
x
Let s = -263 - -5785/22. Is s less than 1?
True
Suppose 0 = 3*r - r + 14. Let k(l) = -l**3 - 7*l**2 - l - 5. Let a be k(r). Is 3 smaller than a?
False
Suppose 2*c + 5*n - 41 = 0, 4*n - 6*n = -6. Let t be c/24 - (-12)/(-32). Is t equal to -0.1?
False
Let l = 9/25 - 2/75. Are -1/3 and l equal?
False
Let j = -27 - -27.2. Let p = -40664/29 - -1402. Let a = p + 76/87. Which is greater: j or a?
a
Let l = -22 + 26. Does l = 4?
True
Let a = -36 - -71. Is 34 at most as big as a?
True
Suppose 10 = -4*h + 6. Let p be 0 - 1 - (4 - -1). Let g be 3*((-10)/p - 2). Is h at most as big as g?
True
Let a(o) = 3*o**3 + 4*o**2 + 2*o - 2. Let n(q) = -5*q**3 - 8*q**2 - 3*q + 4. Let r(t) = -7*a(t) - 4*n(t). Let u be r(2). Let m be 1/2 - (1 + -1). Is m < u?
True
Let a be (3 - (-147)/(-51))/(-2). Which is smaller: -1 or a?
-1
Let k be 4/6*9/6. Let t be 24/(-14)*1 - -2. Are t and k non-equal?
True
Let y = 2.99 - -0.01. Let f be 2 - (10 - (7 - 4)). Let x = 4 + f. Is x > y?
False
Let v = -3 + 8. Which is smaller: v or 0.1?
0.1
Let q = -0.18 - -2.18. Is 0.3 equal to q?
False
Let r = -11 - -22. Is 10 < r?
True
Suppose 4*x + 4*i = 12, 4*x = -2*i + 7 + 11. Which is smaller: -2/7 or x?
-2/7
Let r(x) = -x**3 - 6*x**2 + 3*x + 9. Suppose 3*b + 28 = 2*j - 4*j, 1 = 4*b - 5*j. Let o be r(b). Is -9 greater than o?
False
Suppose 5 = -4*c + 1. Which is smaller: -6 or c?
-6
Suppose g = -3*g + 40. Let n be (-6)/(-33) - g/(-66). Let o = -1 - 0. Which is greater: n or o?
n
Let z be (-14)/(-14) - (-12)/10. Which is greater: 3 or z?
3
Let k(c) be the third derivative of c**5/60 + c**4/3 - 4*c**3/3 - 2*c**2. Let b be k(-9). Let s be 3/6 - b/2. Which is greater: s or 2/9?
2/9
Let s = 0.08 + -0.18. Let b = 0.9 + -1. Is b less than s?
False
Let o = 81 - 78. Is 8 equal to o?
False
Let x = 7/2 + -3. Let c be -2 + 1 - (-5 - -5). Let m(u) = 2*u**2 + u. Let a be m(c). Is a <= x?
False
Let m = 74 + -144. Let t = -349/5 - m. Is t less than or equal to 1/2?
True
Let n(x) = x**2 - x - 1. Let g be n(0). Which is smaller: -1/7 or g?
g
Let o = 1441 - 96544/67. Is 0 != o?
True
Suppose 0 = 3*t - 2 - 16. Let g = -6 + t. Is g bigger than -1/2?
True
Let y = 2 - 2. Let h be (1/(-5))/(((-8)/5)/(-4)). Which is smaller: h or y?
h
Let y(m) be the first derivative of m**2/2 - 4*m - 1. Let d be y(5). Let c be 5/(-10) - 1/(-4). Which is smaller: c or d?
c
Let j = 0.16 - 0.1. Which is smaller: 0.2 or j?
j
Let t be ((-2)/4)/(4/8). Let d = -0.21 + 0.02. Which is smaller: d or t?
t
Suppose -2*q = 4*n - 7*q - 7, 0 = n - 2*q - 1. Is 7/2 less than n?
False
Let r = -139/4 + 35. Which is bigger: -17 or r?
r
Let v = -6 - -25/4. Is 0.1 at most v?
True
Suppose 0 = -3*v - 3*u + 30, 3*u - 6 = -3. Suppose 0*l = -3*l - 36. Let z be ((-2)/l)/(v/(-6)). Do 0 and z have the same value?
False
Suppose 0 = j - 5 + 3, 0 = -2*g + j - 10. Let t be 1/g - 17/(-20). Suppose 0 = -2*p - 0*p. Is p bigger than t?
False
Let u = 959/5 - 192. Is 0.31 greater than or equal to u?
True
Let o be 5/25 - 14/(-5). Let x be (-9)/o - (-1 - 0). Let r = 0 + -1. Is r at most x?
False
Suppose 4 = 3*k + 1. Let a = k + 2. Let c(u) = -u**2 + 4*u - 1. Let h be c(3). Which is smaller: h or a?
h
Let h be (25/(-68) + 2/17)*-4. Which is smaller: 3/23 or h?
3/23
Let n = 4 + -5. Suppose 0*h + 5*h - 3*g = 7, 0 = -4*h - 3*g - 16. Is h at least as big as n?
True
Let p = -3 - -1. Is -2 less than or equal to p?
True
Suppose 31*q - 34*q = 84. Which is smaller: -27 or q?
q
Let i be 5/(-4) + (-2)/(-8). Let b(w) be the third derivative of w**4/24 - 4*w**3/3 + w**2. Let d be b(6). Which is smaller: i or d?
d
Let q = -18 + 22. Suppose -2*a + 2*b - 10 = 0, 6*b - q = -a + 4*b. Which is smaller: a or 0.8?
a
Let y be ((-15)/20)/((-63)/24). Which is smaller: y or 35?
y
Let v = -8450 + 75947/9. Let l = v - -12. Which is smaller: l or 0?
0
Suppose 5*r + 20 = 5*d, 0*r - 2*r - 3 = -d. Let n = d - 6. Which is smaller: -2/7 or n?
n
Let b = -77/30 + 12/5. Which is smaller: -2/3 or b?
-2/3
Suppose 0 = j + 2*j - 27. Let a = 14 - j. Suppose a*y = 3*l - 27, 7*l - 2*l + 3*y - 11 = 0. Is 3 greater than or equal to l?
False
Let w = 0.1 - -4.9. Let o = -3 + w. Let c(s) = s**2 + 3*s - 2. Let p be c(-3). Is p bigger than o?
False
Let w(r) = -3*r - 14. Let m be w(-14). Let q = -82/3 + m. Which is smaller: 1/7 or q?
1/7
Let k(v) = 4*v - 4*v**2 + 0*v + 0*v**2 - 2. Let i be k(4). Let g be 15/i*2/(-3). Whic