= 4*a + 2. Which is greater: z or a?
a
Let r be (20/(-8) - -3)*2. Let f = -6 + 10. Let b be (-16)/(-6)*f/16. Is b at least r?
False
Let l be -2 - (-8)/2 - -5. Is 9 at most as big as l?
False
Let b(w) = w**2 - 4. Let f be b(5). Suppose 3*t + 11 + 17 = -g, 0 = t - 2*g + f. Let n be 2/8 + t/(-4). Which is smaller: 1 or n?
1
Let g be (-33)/36 + 1/4. Let s = 0.76 + -0.76. Is s != g?
True
Let q(y) = y**2 + 5*y + 1. Let b be q(-4). Which is smaller: -15/4 or b?
-15/4
Let g = -40 + 159/4. Let i(u) = 4*u - 29. Let s be i(7). Is g < s?
False
Suppose 2*p - 4 = -0. Let j(c) = c**3 + 10*c**2 - 1. Let v be j(-10). Let f = p + v. Which is greater: 2/7 or f?
f
Let a be ((-9)/(-15))/(3/(60/(-104))). Which is smaller: a or 0?
a
Suppose d = 2*u - d - 316, -3*u - 4*d = -446. Let f be (1/u)/((-2)/(-3704)). Let c = 126/11 - f. Which is smaller: 1 or c?
c
Let a(v) = v**2 + 7*v - 6. Let l be a(-8). Suppose 0 = -l*d - 2. Is 2/7 less than d?
False
Let k = 7 + -2. Suppose 0*l - 35 = -k*l. Suppose 3*b - 2*w = l, b - 4*w = 6*b + 25. Which is smaller: 0 or b?
b
Let x be (21/(-7))/(6/(-4)). Let o be 5*((-9)/(-5))/3. Suppose -4 + 1 = o*h. Which is bigger: h or x?
x
Let q = -1 + 25. Is q equal to 23?
False
Let s = 0.06 - 0.01. Let l = s - -0.09. Let f = l + -0.04. Is f smaller than 4?
True
Let z = 5 + -2. Let o be 15/(-25)*2/z. Let g = -1 - -0.9. Which is smaller: o or g?
o
Let u = -132/35 - -18/7. Is u <= 0?
True
Let i = 349/2 - 33857/194. Is i at least 0?
False
Suppose 2*r = 4*b - 106, -r + 35 = 2*b + 4*r. Suppose 0 = -4*o + 5 - 25, 3*j + b = -5*o. Which is bigger: j or -1?
j
Let w be -9*1*(-8 - -7). Is 1/3 at least w?
False
Let c = -27 - -12. Let g be ((-4)/(-10))/(4/c). Suppose k = -1 - 1. Which is smaller: g or k?
k
Suppose 5*r = -3*o + 4*o + 4, -3*r + 20 = -5*o. Is r >= 1/2?
False
Let d = -236 - -2126/9. Is d greater than or equal to 14?
False
Let o = -0.08 - -0.28. Let c = -0.2 - -0.6. Let t = c - o. Is 1 less than t?
False
Let g be (6 + 1)/(3/(-3)). Suppose 33 = -5*k - 2. Is g > k?
False
Let b = -11.7 + -2.3. Let t = b + 14. Is t bigger than 0?
False
Suppose 3*q + 4 - 19 = 0. Suppose -w = -4*b + 18, 30 = q*w + 4*b - 0*b. Which is greater: w or 3/5?
w
Suppose 0 = 11*q - 6 + 17. Let i(d) = 2*d - 3. Let f be i(2). Let a be -1*f - 13/(-15). Is a greater than q?
True
Let b be (-2)/((-16)/(-564)) + 3. Let x = b + 1219/18. Which is smaller: x or -1?
-1
Let s = -12 - -17. Suppose -24 + 84 = -s*x. Let z be (-2)/(-2) - (-4)/x. Which is smaller: z or 2?
z
Let y = -5.5 - -4.5. Let g = 3/8 - 17/24. Which is bigger: g or y?
g
Suppose 0 = 7*g - 2*g + 20. Let r(l) = -l**3 - 5*l**2 - 3*l + 5. Let p be r(g). Is p smaller than -1/3?
False
Suppose -4*p = 227 + 93. Let x be (-2)/10 + (-36)/p. Is 0 <= x?
True
Suppose -2*a - 4*j = 2*a - 60, 0 = -a + j + 15. Let s = -11 + a. Which is bigger: 3 or s?
s
Let k(l) = -l**3 - 8*l**2 - 4*l + 11. Let i be k(-7). Which is smaller: -11 or i?
-11
Let k = 185 + -185. Let n = 6 + -10. Let h be 2/8 + 1/n. Do k and h have the same value?
True
Let v(y) = -8*y - 7*y + 12*y. Let b be v(1). Let k be (16/(-10) + 2)*-5. Which is smaller: b or k?
b
Suppose -d = -3*d. Let b be d/2 - 1/(-5). Are 1 and b non-equal?
True
Let x = 18.5 + -17. Let u = 7.5 - x. Are 2/5 and u equal?
False
Let d be (2/5)/(6/(-40)). Which is bigger: -4 or d?
d
Let z be (-2)/36*(-8 + 4). Let p(d) = d**2 - d + 2. Let j be p(0). Suppose 5*v = j*v. Which is smaller: z or v?
v
Let j = 1 + 3. Suppose j*m - 2*u = -20, 5*m - 2*u + 17 = 2*m. Let t be m/2*10/(-9). Which is smaller: t or 3?
t
Let v = 28 - 40. Is -18 less than v?
True
Let f = -7 + 7. Which is greater: f or -3/5?
f
Let d(r) = -r**2 + r - 1. Let o be d(1). Let y be (-4)/(-12) - (-88)/(-3). Let n = -88/3 - y. Which is greater: n or o?
n
Let n be 0 + 0/(-3 - 0). Suppose n = -3*y + 8*y - 45. Let x be (y/(-6))/((-114)/8). Which is greater: x or -1?
x
Let y = -62/5 + 13. Let a = 135/86 - 3/43. Which is greater: a or y?
a
Let l be 28/16 - 2/(-8). Suppose -g = -f + 7, l*g + 9 = -f + 2*f. Suppose f = 5*d - 10. Are d and 3 equal?
True
Let b be 5/(-4) - (-1)/4. Let i be 1/(-1) - (b - 0). Let m = -117/5 - -24. Which is smaller: i or m?
i
Suppose -4*s = 20, 2*m + 0*m = 5*s + 25. Is m bigger than -1/25?
True
Let c be 2/3 + 7/3. Let b be (4 - 4)/(c/1). Let g be (0 - -1) + ((-25)/(-5) - 5). Is b less than g?
True
Suppose -45 = -11*q + 8*q. Is q >= 16?
False
Let i = 35 + -57. Let q be -4 - ((-68)/i)/(-1). Is -1 at least as big as q?
False
Let l(p) be the first derivative of p**3/3 - p**2/2 - p - 3. Let q be l(-1). Let z be q*(-3)/(-27)*3. Is z bigger than -0.3?
True
Let i be (-2)/4 + 30/4. Let m = -9 + i. Which is smaller: -3 or m?
-3
Let c(d) = d**2 - 5*d + 2. Let j be c(5). Suppose z = o - 1, -7 = -z - 5*o - j. Which is greater: 3/5 or z?
3/5
Let n be 9/15*(-4)/6. Which is greater: n or 2/5?
2/5
Let x = 3.9 - -0.1. Let z = x + -2. Which is smaller: 1/5 or z?
1/5
Let w = -0.4 - -2.4. Let g(f) = f**2 - 5*f + 1. Let v be g(5). Is w at most as big as v?
False
Suppose -3*b - 12 = -3*p, 2*b + 2*p - 5 = b. Let v(r) = -2*r. Let g be v(b). Let f = 60/11 - 207/44. Is f at most as big as g?
True
Let g = -0.8 - -0.8. Let f = 5 - 3. Which is greater: g or f?
f
Let w(i) = i**2 - 4*i + 3. Let p = -8 - -10. Let m be w(p). Let g be m*0/((-3)/3). Which is greater: 4/5 or g?
4/5
Let c = -3.2 + 3. Let i be (48/108)/(1 + (-10)/6). Which is smaller: c or i?
i
Suppose 0*f = 3*f - 2*d + 1, -5*d = 5*f - 15. Is f at most 3/8?
False
Suppose 2*r + 25 = -3*r. Are -6 and r unequal?
True
Let u(a) = -a**2 + a + 2. Let f be 3/2 + (-6)/4. Let k be u(f). Which is greater: 4/5 or k?
k
Let j be ((0/(-1))/(-1))/(-2). Suppose -v - 2*v = 0. Is j at most v?
True
Let i(h) = h**3 - 4 + 2*h + 7*h**2 + h + 2*h. Let d be i(-6). Suppose 4*k - d*z = -4*z + 26, 0 = 5*k - 3*z - 5. Is 4 greater than or equal to k?
True
Let w be 0/(9/3) + -25. Let q be 70/w + (-1)/5. Is -1 less than or equal to q?
False
Let a(k) = k + 7. Let v be a(0). Let m = v - 5. Suppose -m*t - 2*t = 0. Is t at most 1?
True
Let c = -0.99 + 5.09. Let z = c - 4. Which is greater: z or -4?
z
Let u(l) = -7*l + 1. Suppose 2*s = s - 1. Let j be u(s). Let w be j/28 + 9/42. Is -0.4 <= w?
True
Let a = 2 + 0. Let j = -2 + a. Which is greater: j or 3/10?
3/10
Suppose 0 = 2*w - 2*a + 8, 0 = 5*w + a - 0*a - 4. Let s be 1 + 2 + (1 - 2). Let v be s/5 + (-8)/20. Is w at least as big as v?
True
Suppose -3*w - 10 = 2*w. Which is smaller: w or 0?
w
Let a(p) = -4*p**3 - p + 1. Let g be a(1). Suppose 2*m + 2*m = 28. Let d = g + m. Is d greater than 3?
False
Let q be 2/(-6) - (-30)/9. Suppose -c + q = -0. Which is bigger: -0.2 or c?
c
Let j = 30/19 + 1031/57. Let x be 24 - (3/1 + 1). Let c = j - x. Which is smaller: c or 0?
c
Let p(s) = 2*s**2 + 35*s - 6. Let z be p(-16). Does 1 = z?
False
Let b = 513 + -3597/7. Which is greater: -2 or b?
b
Let s = 134.51 + -135. Is -1 not equal to s?
True
Let g = 1.017 + -0.017. Which is smaller: g or -3?
-3
Suppose 0 = 2*t - 0 - 2. Let g = 2 - t. Let c be (g/10)/((-4)/(-16)). Do -1 and c have the same value?
False
Suppose 0 = -2*t + 3*t + 1. Suppose 2*z = -0*o + 3*o + 44, 3*o = -4*z - 20. Let k be 10/o - 1/(-2). Is t != k?
True
Let b be (-1)/((3 + (-15)/6)*204). Are 0 and b unequal?
True
Let a be ((-28)/(-22) + -2)*-1. Which is bigger: 1/2 or a?
a
Let v = 2.05 + -2. Let j = v - 0.35. Which is greater: j or -1?
j
Suppose a - 14 = -3*f, -f - 22 = -2*a - 3*a. Suppose 0*h = -f*h + 6. Let n = 2 - h. Is n greater than or equal to 0?
True
Let f = 168 + -1178/7. Let n(u) = -2*u + u + 1 - 6. Let s be n(-6). Is s > f?
True
Let a(d) = d**3 + 7*d**2 + 5*d + 7. Let u be (-5)/((-10)/(-12)) + 0. Let o be a(u). Which is greater: 14 or o?
14
Suppose w - 3*w + 12 = 0. Let m(x) = x - 4. Let b be m(w). Suppose -8 = b*o + 2*k, o = -o - 5*k - 5. Is -6 smaller than o?
True
Let f = 34 - 34.05. Does f = 0.1?
False
Let g be (9 - (2 + -2))*-1. Let d be (3*1)/(g/12). Which is greater: -7/2 or d?
-7/2
Suppose -5*u = -2*u - 18. Let o(l) = 2*l - 1. Let p be o(2). Let j be p/2*u/(-9). Is 0 bigger than j?
True
Let f = 225/812 - -1/116. Which is bigger: f or 2/9?
f
Let l = -0.47 - -0.37. Is 9 at least l?
True
Let b(n) = -n**3 + 8*n**2 - 6*n - 5. Let s be b(7). Suppose 0 = -5*y + s*i + 5, 2*y - 1 = 4*i + 1. Which is smaller: 10/11 or y?
10/11
Let 