 = 97/21 + -30/7. Which is smaller: l or w?
l
Suppose -2 + 0 = 2*y. Let f(j) = 5*j + 1. Let c be f(y). Which is greater: -5 or c?
c
Let s(h) = 5*h + 57. Let m be s(-5). Which is greater: 34 or m?
34
Let y = -5 + 19/4. Which is smaller: y or 1?
y
Let d be 8/(-15)*3/(-2). Is 2/3 smaller than d?
True
Let q = -1 + 0. Let b = q - 1. Let s(l) = -l**2 + 9*l + 7. Let a be s(10). Is a >= b?
False
Suppose -5*y = -6*y - 6. Let c(k) = -k**2 - 5*k - 8. Let x be c(y). Which is bigger: x or -12?
-12
Suppose -2*f = -0*f + 2. Let o = 560591/8 - 69964. Let r = -110 + o. Is r less than or equal to f?
False
Let x = 1126443/10 + -338818/3. Let c = 295 + x. Which is smaller: -1 or c?
-1
Suppose -3 = 4*m + 13. Are m and -5 non-equal?
True
Suppose 1 = -w + 3. Suppose -o + 1 = 4*h, 2*o + h = -3*o + 5. Suppose -w*d = -3*d + o. Which is smaller: -1/4 or d?
-1/4
Let f be 3/(-2)*(-6)/9. Let b be (3 + -1)*f/7. Is 0.4 != b?
True
Suppose -10 = -k - 2*q, 3*k + 5*q - 5 = 22. Let l be 4/1 - (-1)/(-1). Which is smaller: l or k?
l
Let k(x) = -140*x - 1. Let i be k(-1). Let t be (-15314)/(-110) - 4/10. Let o = t - i. Which is greater: 0 or o?
0
Let r = -23/28 + 631/700. Which is bigger: 1 or r?
1
Suppose 3 - 1 = a. Do a and 1/2 have the same value?
False
Let f(j) = -j**3 + 7*j**2 + j - 6. Let u be (0 + -1 + 3)*1. Let p be 10 + u/4*-6. Let r be f(p). Is 1 at least as big as r?
True
Suppose 3*y - 87 = -285. Is -65 equal to y?
False
Suppose 0 = -c, -6*r + 472 = -2*r - 2*c. Let t = -592/5 + r. Suppose -4*v - v = 0. Which is smaller: t or v?
t
Let p = 1.7 + -3. Let n = -1.56 - p. Let y = n + -0.04. Are 0.1 and y nonequal?
True
Let u = 30 + -17. Suppose -4*p + 2 = 4*c - 6, -c = -2*p + u. Is -2 at most as big as c?
False
Let q = -10 + 17. Let v be 1/q - (-10)/(-35). Which is bigger: 0 or v?
0
Let j be (-6)/(-4)*(-8)/(-3). Suppose 0 = -2*d - 2*d + 2*h + 24, 5*h = -d - 16. Is d not equal to j?
False
Let a = 56/3 + -58/3. Is -14 equal to a?
False
Suppose 24 = 4*z - 8*z. Suppose -5*g + 4 = -1. Let f be g/3 - (-2)/z. Which is bigger: -1/4 or f?
f
Let h(x) = -x**2 - 13*x. Let f be h(-10). Let p be (1 - f/27)/1. Is 0 < p?
False
Let o = 1 - 2. Let p be (o/2)/(6/48). Which is smaller: -3 or p?
p
Let w = 363/2 + -10513/58. Which is smaller: -1 or w?
-1
Let u(q) = q + 9. Let z(s) = 2*s**2 + s + 1. Let m be z(-1). Let b = m + -9. Let x be u(b). Is x bigger than 0?
True
Let y = -1 - 3. Let w = y + 5. Which is smaller: 2/7 or w?
2/7
Let c = -0.04 - 1.96. Let p = 42 + -634/15. Let m = p - -14/15. Which is greater: m or c?
m
Let h = -3475/19 - -183. Suppose 0 = 2*p - 9 + 7. Which is greater: h or p?
p
Let r be 4/(8/(-18))*-1. Are 9 and r non-equal?
False
Let j = -1 + 17. Is -1 smaller than j?
True
Let z(c) = -2*c**2 + 12*c - 6. Let j be z(6). Are 2 and j equal?
False
Let v = -29 + 16. Which is smaller: -14 or v?
-14
Let x = -982/783 + 32/27. Are -1 and x equal?
False
Let x = -2.6 + 7. Let w = x + -4. Let b = w - 0.3. Is 0.1 less than or equal to b?
True
Let d = 1.2 + -0.2. Let n = -35 - -35. Is n at least d?
False
Suppose 4*m + 2 - 10 = 0. Let c = m + -2. Are -5/4 and c equal?
False
Let p = -20 - -25. Is p > 5?
False
Let o = -0.16 + 6.16. Let v = -6.5 + o. Is 0.1 not equal to v?
True
Let c = -7 + 7.3. Let g = c - 0.8. Let u = 0.5 - g. Which is smaller: -0.3 or u?
-0.3
Suppose -6*k - 10 = -k. Which is bigger: 3 or k?
3
Let x be (6 - 2)*7/2. Suppose 0 = 2*j - 0*j + h - x, 9 = 5*j - 4*h. Let b = 13 - 12.9. Is b not equal to j?
True
Suppose 0 = -4*c - a - 2, 5*c - 4*a - 14 = -6. Suppose 8*m - 3*m - l = 3, 0 = -2*m + 4*l + 12. Let q = -1 + m. Is q <= c?
True
Suppose 3*m = m - 10, 2*m = 2*q - 10. Suppose q = -n + 5*o - 22, -4*n + 5*o - 8 = o. Is 0 at least as big as n?
False
Let k be -10*(0 - (-2)/15). Suppose -6*i + 36 = 4*z - 2*i, -z = -2*i - 18. Suppose -3*l + z = -5*b - 10, -3*b = -4*l + 11. Which is bigger: k or l?
l
Let k = 11 - 12.4. Let o = 0.4 + k. Is -1/2 greater than o?
True
Suppose -w = -3*w + 4. Let z be w + -1 - (-6)/(-8). Let s = 251/10 - 51/2. Is s at most z?
True
Let j be (-5)/(30/4) + (-553)/(-798). Which is smaller: j or -1?
-1
Suppose -138 = -5*l + 2*c, 4*c + 21 - 83 = -3*l. Let h be l/3 + (-2)/(-6). Let r be 14/24 - 3/h. Is r equal to 0.1?
False
Let v be (2/5)/(-7 - 154/(-35)). Suppose 7*w = 2*w - 5. Which is smaller: w or v?
w
Let r(q) = -3*q**2 - 2*q. Suppose 2*s - 4*s + 5*x = -14, 0 = s - 2*x - 6. Let t be r(s). Is t smaller than -15?
True
Suppose 1 = 5*m - 4*m. Let w be (m/((-2)/(-2)))/(-5). Which is greater: 1/3 or w?
1/3
Let p be (-7)/(7/30) - 0. Let g be (-1)/(-3) + (-2)/p. Suppose -4 - 4 = -3*a + 5*c, 5*a + c - 4 = 0. Which is bigger: g or a?
a
Let h be 8*(4 + (-58)/16). Which is greater: 2 or h?
h
Suppose 0*f = -3*f + 12. Are f and -2 non-equal?
True
Let k(v) be the first derivative of -v**4/4 + v**2/2 - v - 2. Let x be k(-2). Suppose 5*s - 10 = -5*p, -4*s + 0*s - 5*p + 4 = 0. Which is smaller: s or x?
x
Suppose -3*j = -7*j + 48. Let c be (-6)/(-22)*8/j. Let x be 2/(-4)*(-4)/(-10). Is x greater than or equal to c?
False
Let i(p) = -p**3 - p - 4*p**2 + p + 2 + p. Let z be 15/(-5) - (-2 - -3). Let x be i(z). Are -2 and x non-equal?
False
Let q = -1 - 2. Is q < -4?
False
Let t = -652 - -8478/13. Suppose 0*h + 18 = 3*h. Suppose -m - 2 = -h, -2*m + 8 = 4*c. Which is smaller: t or c?
c
Let w = 0.1 + -0.03. Let l = 0.03 + w. Let a be (-2)/(-5) + (-8)/20. Which is bigger: a or l?
l
Let p = 4386 - 30756/7. Let x = p - -8. Which is bigger: -2 or x?
x
Let d = -24 - -62. Let l = -151/4 + d. Let v = 49 + -49.1. Is l less than v?
False
Let k = -33/5 + 289/40. Is k at least as big as 2?
False
Let v(l) = l - 2. Let w be v(4). Suppose 0 = -c - 5*d + 18, -4*d - 2 = w*c - 20. Let s be (-6)/10 - c/(-5). Which is smaller: -4/7 or s?
-4/7
Suppose j + 3 = 4*j. Is j >= 4/27?
True
Suppose -5*f + 0*f = 0. Suppose w - 3 + 2 = f. Let i = 8 - 6. Which is smaller: i or w?
w
Let r be 36 + (5 - 4) + (-3 - 0). Which is greater: 35 or r?
35
Let o(v) = -v**2 - v + 5. Let r(a) = a + 6. Let b be r(-10). Let z be o(b). Let q be z/(-7)*(1 + 3). Is q at least as big as 3?
True
Let c = -1 - -2. Let d be ((6/(-9))/2)/(9/9). Is d greater than or equal to c?
False
Let a = -5 + 8. Let b be -3 + ((-114)/(-14))/a. Is b not equal to -0.1?
True
Suppose 3*i = -3 + 12. Which is greater: 4 or i?
4
Let x = -25 - -25. Let b be (31/34)/(21/(-6)). Let f = -2/17 - b. Does x = f?
False
Let m = -0.8 + 0.9. Do -0.12 and m have the same value?
False
Suppose 0 = b - 3*b - 2*k - 4, 3*b - 3*k = 0. Suppose 0 = 2*i - 6 - 0. Let l be (-3)/(-117)*i*-2. Which is smaller: b or l?
b
Let f = -33 + 32. Are f and -11/8 equal?
False
Let m(k) = k + 2. Suppose 2*a = -3*y + 32, -37 = -6*y + 2*y + 3*a. Suppose -p + 10 = -3*u, u - 5*p = -2*u + y. Let n be m(u). Which is greater: -3/2 or n?
-3/2
Let d be -3 - (-2 - 60/68). Which is greater: d or -1?
d
Let d be -2 + 1 + -10 + 37. Is d smaller than 27?
True
Let a(q) = -q**2 + 4*q + 3. Let g be a(4). Suppose -2*l - g = -1. Let t be (2/(-8))/(-2 - -1). Which is smaller: l or t?
l
Let z = -282 + 272. Let t(r) = -r**2 + 3*r + 8. Let u be t(6). Is z > u?
False
Let h = 30 - 16. Suppose 3*z = 2*g - 14 - 13, g + 4*z + h = 0. Let c be (-3)/g + 2/6. Which is smaller: c or -1/2?
-1/2
Let n = -0.109 - -0.209. Are 9/5 and n non-equal?
True
Suppose -4*q + 11 = 5*g, q + 0 = -1. Let w be 2476/(-3540) - (-1)/g. Let f = 2/59 - w. Is f < 3/5?
True
Let w = 88 - 442/5. Is w greater than 0?
False
Let i = 17 - 15. Suppose -i*g = -4*u - u - 26, -4*u = -5*g + 31. Let y = -0.4 + 0.3. Which is smaller: u or y?
u
Let z be 1/(-3) - 38/(-24). Suppose c = -3*r + 11, 3*c = -c - 4. Suppose 7 + 11 = r*d + 2*o, -2*d = 3*o - 19. Is d > z?
True
Suppose -24 = -f + 5*q, 0 = -4*f + 2*q + q + 181. Do 49 and f have different values?
False
Let i = 114013/7392 + 5/1056. Which is bigger: 16 or i?
16
Suppose 7 = 3*z - p, -3*z + 3 = -4*p + p. Suppose 0*b - 9 = -z*b. Let t be -3*(1 + b/(-9)). Is -1/2 bigger than t?
True
Let z be ((-10)/(-15))/(4/6). Is z < -3/10?
False
Let m = 1.4 + -2.1. Let x = m - -0.8. Is x at most 0.3?
True
Let c = -244 - -244. Let y = -2/1267 + 6351/10136. Is c less than y?
True
Let a(b) = -b + 1. Let o be a(-1). Let z = o + -2. Let g = 3 - z. Are g and 3 equal?
True
Suppose -5*d + 14 = 4*k, 2*k + 1 = -3*k + 3*d. Let i be 2 - (39/