. Let p = 1.97 - -0.03. Let l = 1 - p. Which is bigger: l or a?
a
Let h(v) = -v**2 + 1. Let n be h(1). Suppose n*m + 1 = m. Suppose -3*a = -7 + m. Which is smaller: a or 1?
1
Let g = -0.37 - -0.17. Which is greater: g or -5?
g
Let t(i) = -8*i - 1. Let u be t(-2). Suppose 2*b = 5*m - 15, -5*m + u = -2*b - b. Suppose 0 = 3*h + 5*q + 6, -2*q - 24 = -5*h + q. Is m smaller than h?
False
Let p be (-93)/(-66) - (3/(-6) + 0). Is p >= 3?
False
Suppose 0 = t - 3*t - 52. Is 0.1 <= t?
False
Suppose u - 1 - 2 = 0. Let c(b) = b**3 + 4*b**2 - 3*b + 3. Let h be c(-5). Let q = 9 + h. Is u <= q?
False
Suppose 0 = 5*f - 5*j + 45, -5*j = 3 + 2. Which is smaller: f or -8?
f
Let j = 17 + -9. Let x = j + -8. Is x bigger than 0?
False
Let h(b) = b**3 - 4*b**2 + 4*b. Let n be h(3). Let k(p) = p + 5. Let a be k(-9). Let m = a - -5. Is m greater than n?
False
Let b be 5*((-872)/36 - 4/(-18)). Are b and -120 equal?
True
Suppose j - 4 = -1. Is j > -13?
True
Let c = 4.97 - -0.03. Let d = c + -5. Which is smaller: 1 or d?
d
Let v = -2.3 + 0.3. Let t = v + 2.2. Let s = t + -0.1. Which is bigger: -1/2 or s?
s
Suppose 4*w - 34 = 2*x, -w = 3*x - 4*x - 13. Is -13 < x?
True
Suppose 2*t - 2 = 2. Suppose 2*l - x - 4 = 7, 4*l + t*x = 2. Let m(j) = -j**3 + 3*j**2 - 2*j + 1. Let r be m(1). Is l bigger than r?
True
Let o(r) = -3*r**2 - 2*r - 1. Let i be o(-1). Which is smaller: -4/3 or i?
i
Suppose -h = -a - 6*h + 20, 3*a - h + 4 = 0. Which is smaller: a or -17?
-17
Let v = -0.3 - -0.4. Is v less than or equal to 9?
True
Let m = -3.116 - -0.016. Which is smaller: m or 0?
m
Let x be (0 - 4/4)*37. Is x < -38?
False
Let h be (0 - (-1 - 1))*6/(-12). Let x = -2 - 1. Are h and x nonequal?
True
Let k be (-1)/(0 + 195/6). Let j = k - -341/520. Which is smaller: 2 or j?
j
Let o = 3 + -4. Do o and -2/15 have different values?
True
Let t(j) = -j - 7. Let y be 1/(-3) - (-14)/(-3). Let b be t(y). Let p be b - (-1 + (-1 - 0)). Is 0 equal to p?
True
Suppose 36*s - 16*s = -240. Which is bigger: s or -11?
-11
Let k(w) = -w**3 - 7*w**2 - 4*w + 13. Let h be k(-6). Let u be ((-3)/(-3))/((-1)/(-2)). Which is greater: u or h?
u
Let p = 3 + -12. Let n = -8 - p. Which is smaller: n or 7?
n
Suppose 0 = 10*s - 13*s - 9. Is -4 less than s?
True
Suppose -5*k - 3 = 2. Let n = -370 + 12952/35. Let t = -39/70 + n. Is k equal to t?
False
Let a(c) = 10 + c - c - 3*c. Let o be a(3). Is 0 < o?
True
Let n = -15 + 10. Let v be 27/(-42) - n/35. Are -2 and v nonequal?
True
Let i = 4.335 - 52.315. Let c = -47 - i. Let o = c + 0.02. Are o and 1 nonequal?
False
Let v = 7407 + -37319/5. Let n = 57 + v. Which is smaller: n or -1?
-1
Let r = -8.2 + 8. Is -0.047 > r?
True
Suppose 0 = 4*d - 34 + 14. Suppose 1 = -3*i - d. Suppose -3*o + 5*y = 8, -o - 3*y + 0*y = -2. Is o less than or equal to i?
False
Let h = -0.016 + -0.084. Are -28 and h non-equal?
True
Let j(q) be the first derivative of q**2/2 - 10*q + 3. Let o be j(7). Is -5 not equal to o?
True
Let q be (1 - 4)*6/9. Let j be -1 + (q/(-3) - -2). Is 3 bigger than j?
True
Suppose -m - 5 = 2*q, -12 = 5*m - m. Let y be (q - 0) + (-7)/(-5). Suppose -b + 4*b = 0. Is b equal to y?
False
Let g be 16/(-42) - 10/(-35). Let u(z) = z + 8. Let q be u(-6). Let f = -1 + q. Which is smaller: g or f?
g
Let v = 99 - 43361/438. Let l = v - 332/1533. Which is smaller: l or 1?
l
Let o be (-6)/(-33) + 29/(-220). Let q be (-36)/(-54)*(-6)/4. Which is greater: q or o?
o
Suppose -m + 6*p - p = -30, 5*m - 2*p - 35 = 0. Suppose -a - 2*x - 11 = 3*x, 2*x = 4*a - 66. Let o = 20 - a. Is m smaller than o?
True
Let p = -0.02 + 0.22. Do -2 and p have the same value?
False
Let x be (-116)/(-16) + -2 + -1. Is x greater than or equal to 5?
False
Let j(s) = -3*s - 3. Let v be j(-2). Which is greater: v or 5?
5
Let v = -2 + 3. Let a = -1 - -2.1. Let d = -0.1 + a. Do d and v have different values?
False
Suppose -6*d - 1 = 149. Which is smaller: -26 or d?
-26
Let o(w) = 2*w**2 + 7*w + 5. Let n be o(-4). Suppose -4*k + 3*z + 28 = -n*k, -z - 36 = 5*k. Is k smaller than -8?
False
Let a = -12 + -3. Let c = a + 16. Is c at least -0.2?
True
Let b(g) = -g**3 - 5*g**2 + g + 4. Let h(y) = y**3 - y**2 + 2*y - 5. Let f be h(0). Let t be b(f). Is t at least as big as 0?
False
Suppose 2*j = 6*j - 12. Suppose 7 = 5*v + 2*n, -v + 5*v - n = j. Which is smaller: v or 0?
0
Suppose -29 = -l - 28. Is -1/35 not equal to l?
True
Let j be ((-76)/(-24))/((-1)/2). Which is greater: -7 or j?
j
Let n = 2.1 - 2.1. Which is smaller: 0.03 or n?
n
Let x = -214 - -215. Let a be 0/(-1)*(-1 - -2). Let b be (1/(-1))/(-2)*a. Are b and x non-equal?
True
Suppose -5*c + 14 = -3*l, -c - 2*l - 2 = -10. Suppose 5*f - c*f = 0. Which is smaller: 2 or f?
f
Suppose 5*i - 167 = 3*f, i - 5*f - 113 = -2*i. Suppose -5*y + 6 = i. Is y less than or equal to -5?
True
Suppose -5*u = -5*w + 56 + 4, -u - 60 = -5*w. Let g = w + -20. Do -6 and g have the same value?
False
Suppose -37 - 3 = u. Let h be (2196/u)/(4/10). Let o = h + 138. Is o not equal to 0?
True
Let d = -265/7 + 38. Let v(w) = 2*w**3 + w**2 - w + 1. Let c be v(1). Suppose 1 + 2 = c*q. Which is smaller: q or d?
d
Suppose p + 13 = -10. Let v = p - -45/2. Is v >= -4?
True
Let g(t) = t + 5. Let v be g(7). Let z be -6 + v/4 + -1. Is z greater than -4?
False
Let g = -5 + 8. Suppose 5*m = g + 27. Suppose 12 = 2*k + 2*k - 4*y, 2*k + 2*y - 22 = 0. Does m = k?
False
Suppose -2 = -3*t + 2*t. Let g(f) = f**2 - 4*f. Let o be g(3). Let y = 4 + o. Is y < t?
True
Suppose -y = -2*h + 4*y - 1, y + 9 = 5*h. Is h < 9/7?
False
Let m be 3/(-14)*(0 + -2). Let c = m - 13/14. Which is smaller: 1/3 or c?
c
Let i(g) = 6*g**2 + 2*g + 1. Let u be i(-1). Suppose y = u*c - 2*y - 34, -20 = -3*c + 2*y. Is c bigger than 2/7?
True
Let x(g) = g - 3. Let d be x(3). Let q be 4/8 - (1 + d). Let y = 210 + -1468/7. Which is bigger: q or y?
y
Let u be ((-81)/36)/((-1)/(-28)). Let p be ((-1)/(-3))/((-7)/u). Is p at most 4?
True
Let z(d) = d**3 + 9*d**2 + 9*d + 12. Let w be z(-8). Suppose 2*g - w*c - 12 = 0, -4*c = 3*g + c + 15. Let a = -1.9 + 2.9. Which is bigger: a or g?
a
Let l(i) = -i - 6. Let k be l(-9). Suppose d + 12 = -k*d. Which is smaller: -2 or d?
d
Let x = 16 - 17. Let h(k) = k - 3. Let i be h(3). Are x and i equal?
False
Suppose -1 = x + l - 7, -4 = 4*l. Are x and 8 non-equal?
True
Let m = -0.05 - -7.05. Which is bigger: m or 1/3?
m
Let m = -8 - -6. Let g = m - -4. Let z = g + -2. Is 2/3 at least z?
True
Let z be 1/20 - (1 + 0). Let q = 6/5 + z. Let m = -58 + 404/7. Do q and m have the same value?
False
Suppose 3 = -3*b - 3. Is b >= -5/6?
False
Let o = -24 + 23. Which is smaller: -2/41 or o?
o
Let o be -2 + 0/(-1) + 0. Let h = o - -9. Is h equal to 7?
True
Suppose 2*p + 4 = -d, -6*d - 2*p - 4 = -4*d. Suppose 4*h + 2*t + 3 = -7, d = -3*t - 15. Which is smaller: h or -5/4?
-5/4
Let y(d) = -d**3 - 7*d**2 - 6*d + 2. Let s be y(-6). Is s >= 1/2?
True
Let q be (-15)/(-3)*(-1 + 2). Suppose q*j - j - 16 = 0. Suppose j = -m - 3*m. Is 4/9 less than or equal to m?
False
Let c(w) = -w**2 + 4*w - 8. Let y be c(5). Is y not equal to -14?
True
Let d be 2/(-7) - (-60)/14. Which is smaller: 15/4 or d?
15/4
Let z(g) = -g**3 - 7*g**2 - 7*g - 6. Suppose -3*r - 4*p + 0*p - 34 = 0, 3*r - 2*p + 10 = 0. Let l be z(r). Let u be (l - 1)*2/(-4). Which is bigger: u or 2/3?
2/3
Let b(c) be the second derivative of -c**3/2 + c**2 + 2*c. Let w be b(-2). Suppose w*y = 4*y + 20. Which is bigger: 4 or y?
y
Let c(r) = -2*r**2 + 1. Let y be c(2). Let o be (-8)/28 - 2/y. Which is greater: -2/57 or o?
o
Let q = 2 - 9. Is -7 greater than q?
False
Let q = -3.02 + 2.8. Let v = 0.02 + q. Which is smaller: v or -1/2?
-1/2
Suppose -2*l - l = 0. Is l > 3/7?
False
Suppose -10 = -3*w - m + 6*m, -2*w - 2 = m. Is 7/5 smaller than w?
False
Let n = -61 + 75. Which is smaller: n or 12?
12
Let b(s) = -s - 2. Let h be b(-5). Suppose h = -4*v + v. Let n be (-4 - v)*2/(-15). Which is smaller: -1 or n?
-1
Let v = 4 - 5. Let o be (v/8)/(1 - 0). Let b = -7 - -7. Which is greater: o or b?
b
Let h = 29 - 26. Which is bigger: 7 or h?
7
Let m be 2/4*(-412)/(-10). Let j = -20 + m. Which is smaller: 0 or j?
0
Let z be (-6)/(-6)*(-1 - -1). Suppose 2*l = 3*n - 0*n - 15, -4*n + 3*l + 21 = z. Suppose -n*x + 3*p = -p - 1, -4*p - 4 = 0. Does -2 = x?
False
Let n be (-4)/((-48)/(-6)) + 1/6. Which is smaller