Let m = 182 - g. Let u = -132 - -131. Which is smaller: m or u?
u
Let d = 0 - 0.1. Let k = -0.3 - d. Let z = k - -0.3. Which is bigger: -1 or z?
z
Let g = -20 + 9. Let l = -1 - g. Which is bigger: l or 9?
l
Let m = 1.3 + -0.3. Let p = 58 - 56. Which is bigger: m or p?
p
Let i be ((-1)/(-1))/((-1)/(-3)). Let u = 6 - i. Suppose -2*z + u = z. Is 1 > z?
False
Suppose 2*b - t = 4, -3*b + 6*b - 19 = -5*t. Do b and 13/3 have the same value?
False
Let f = 1062 + -33987/32. Let c = f + 85/224. Suppose 5*j + 0 = 5. Which is bigger: j or c?
j
Let p(r) = r**2 - 10*r + 9. Let g be p(9). Let s be 15*((-4)/(-10) - g). Let u be 1/(-3) + 8/s. Is 2 greater than or equal to u?
True
Let w = -44 + 44. Is -7 < w?
True
Let n(c) be the first derivative of 1/2*c**2 + 3*c + 3. Let w be n(-4). Which is greater: w or -2/7?
-2/7
Let u = 6 + -6. Suppose u*w = w + 3. Is w greater than -2?
False
Suppose 0 = l - 5*m + 28, 0*l - 4*m = -l - 28. Let o be ((-4)/l)/((-5)/(-2)). Is -1 bigger than o?
False
Let r = 64.7 - 65. Which is greater: r or 9?
9
Let w = -8 - -20. Let y = -18 + w. Which is smaller: y or -0.1?
y
Let s be ((-2)/8)/(3/4). Let i be (-15)/(-12)*1*4. Let f be i/(-15)*(0 + 3). Which is smaller: f or s?
f
Suppose 0 = -4*q - q + 50. Let d = 7 - q. Let y = d - -4. Which is bigger: y or 0?
y
Suppose 4*r - 51 = -2*g + 31, 0 = r + 3*g - 28. Suppose 4*b - r = b + 2*t, 5*b - 4*t = 33. Suppose -11 - 4 = b*a. Which is bigger: a or -2?
-2
Let z(q) be the second derivative of q**3/2 + 5*q**2/2 - 8*q. Let p be z(-2). Which is smaller: 2/7 or p?
p
Let z = -15 + 22. Suppose 0 = -4*p - z - 9. Which is smaller: p or -5?
-5
Suppose 5*a - 8 = 9*a. Suppose z - 4*n + 3*n + 3 = 0, 17 = -4*z - n. Let m = z + 2. Is a < m?
False
Suppose -53*u = -54*u + 6. Is u at most as big as 8?
True
Let q = -0.1 + 0. Let d(x) = 6*x**2 - 24*x + 5. Let v be d(4). Which is smaller: q or v?
q
Let z(p) = -p**3 + 10*p**2 - 9*p. Let u(c) = c**3 - 4*c**2 + 4*c - 7. Let a be u(4). Let b be z(a). Is 1 > b?
True
Suppose 3*h - 4*x + 7 = 25, -5*x + 24 = 4*h. Let n be -30*(-1)/2*13. Let f be (h/(-2))/(n/10). Which is smaller: f or 0?
f
Let l = 21.8 + -22. Is l not equal to 6/13?
True
Let n = 37 - 33. Is 2 less than n?
True
Let z = 467/7 - 59. Is z smaller than 9?
True
Let z = -4 - -6. Suppose -w + 3*t - 15 = 0, -25 = z*w + 2*t - 7*t. Suppose i + w*i = -1. Which is smaller: -2 or i?
-2
Suppose 2*l = u - 9, 0*l - 7 = u + 2*l. Let g be (-11)/(-44) + 5/12. Which is bigger: g or u?
u
Let h = 0.44 + -0.04. Is h greater than 2/15?
True
Let g = -4 + 7. Suppose -g - 6 = -3*z. Suppose -43*p + 48 = -31*p. Is p >= z?
True
Let s be (0 + 1 + -1)/(-2). Let n = 8655 - 86687/10. Let i = n - -29/2. Is i > s?
True
Let v be (-17 - -21)*(-7)/(-4). Does v = 8?
False
Suppose 4*g + 0*c - 3*c = 0, -c = -g. Is 2/3 at most as big as g?
False
Let c(s) = 7*s**2 + 12*s + 16. Let f be c(-3). Which is smaller: 42 or f?
42
Let t(h) = -6*h**2 - 8*h - 1. Let x(p) = p**2 - 1. Let s(i) = t(i) + 5*x(i). Let j be s(-7). Is j equal to 1?
True
Suppose -4*l + 134 = -5*r, 3*r = 2*l - 7*l - 73. Does -27 = r?
False
Let v be (-3)/(-8)*60/27 + 1. Do 3 and v have the same value?
False
Let n = 9827/78 + -126. Which is smaller: -1 or n?
-1
Let q = 0.2 + -0.3. Let b = q + -0.9. Let p = -7/10 + 8/15. Which is greater: b or p?
p
Let i = 970 + -45588/47. Suppose -3*f + 11*f = 2*f. Do i and f have the same value?
False
Let b(t) = t - 10. Let z(a) = -a + 11. Let j(h) = -4*b(h) - 3*z(h). Let f be j(5). Suppose -5*q - 9 = -n, f = -n - 2*q - 3. Which is smaller: -6/5 or n?
-6/5
Suppose 0*w = -2*o + 5*w + 5, -o = -5*w + 5. Let d(z) = -z**2 + 9. Let y be d(-4). Let c = o + y. Is c at least as big as 4?
False
Let k = -4 + 5. Let f = -5 + 8. Let y be k*(f/(-3) - -2). Which is smaller: -1/4 or y?
-1/4
Suppose 0 = 5*u + 10 + 5. Let o be u + (0 - 33/(-12)). Is 1 equal to o?
False
Suppose 0 = 2*q + 4*a, 4*q + 9 + 11 = -3*a. Let c(o) = o**2 + 12*o + 12. Let z be c(-10). Is q greater than z?
False
Let k be 4/10 + 8/30. Let b be 0 - -3 - (1 - -1). Is k at most b?
True
Suppose -4*c + r = 9, 2*c + 2*c + 2*r + 6 = 0. Is c equal to 0.13?
False
Suppose -w - b = -6*w + 3, -w + 3 = -b. Is 2/7 > w?
True
Let n(i) = i**3 + 7*i**2 + 5*i - 7. Let b(u) = -2*u**2 + 5*u - 3. Let z be b(3). Let s be n(z). Let v be (s - 2) + 2/(-1). Is v at most -4?
True
Let y be (-46)/(-91) + 12/(-28). Which is smaller: 0 or y?
0
Let g(m) = 5*m**2 + m + 1. Let y be g(-1). Let d be ((-16)/(-20))/((-3)/y). Which is smaller: -2 or d?
-2
Let c = 1019/9 + -113. Suppose -2*i - 5 = 1. Let q(r) = -r**3 - 4*r**2 - 3*r + 1. Let f be q(i). Which is greater: c or f?
f
Let c = 9.1 + -8. Let i = 1 + 0. Let n = i - c. Is n less than 0.1?
True
Let r = -520 - -12994/25. Is -1 less than r?
True
Let k be 23/((-345)/252)*1/3. Which is smaller: k or -0.2?
k
Let r = 0.3 + 4.7. Let j = r + -4. Are -4 and j equal?
False
Let q(k) = -k**3 - 14*k**2 + 16*k + 19. Let a be q(-15). Suppose -4*d + 2 = -3*d. Let j be d/3 + 14/6. Which is bigger: j or a?
a
Suppose -2*a + 10 = -a. Let v be (-2)/a*(-65)/26. Which is bigger: 2/13 or v?
v
Let t = 137/66 + -13/6. Does t = -1?
False
Let f(j) be the first derivative of -j**3/3 - 3*j**2 + 9*j + 6. Let r be f(-7). Is r at least -0.2?
True
Let l = -102 + 98. Let c = 7/22 - -2/11. Is c at most as big as l?
False
Let s be (-2)/4*44/605. Which is bigger: s or 0?
0
Let c be (3/(-6))/(-1*(-1)/(-2)). Do c and 88 have different values?
True
Suppose w + 2*w - 18 = 0. Suppose w*l = l. Suppose a = 2*b - 3, b = -3*a - 0 - 9. Is b less than l?
False
Let t be (4*-7)/((-2)/4). Let j = t + -115/2. Which is smaller: -2 or j?
-2
Let l be 1002/(-636)*(-1)/(-2). Let y = l + 2/53. Is 0 > y?
True
Suppose -2*u - 2 = -0*u. Which is smaller: -2 or u?
-2
Suppose 0 = 8*l - 3*l - 5. Which is smaller: 1/13 or l?
1/13
Let u = -0.99 - 0.01. Let d = u + -2. Is d at most as big as -1?
True
Let x = -0.23 + 2.23. Which is smaller: x or -1/3?
-1/3
Let d = 17 + -7. Suppose -2*j - 32 = 4*t, -5*j + t - 15 = d. Let i be 4/j + 5/10. Which is bigger: i or -1?
i
Suppose 3*r = 3*f + 15, -3*f - 14 = -r + f. Is r <= 5?
True
Let v be ((-7)/(-2) + -1)*-2. Let t = v + 3. Let y be ((-1 - 0)*0)/2. Is t less than y?
True
Let u(i) = -i**3 - 12*i**2 + 13*i - 3. Let c be u(-13). Which is smaller: c or -1?
c
Let v = -5.03 + 0.03. Suppose 5*s = -q + 4 + 11, -2*s + 6 = 5*q. Is v at most q?
True
Suppose -5*l = -8 - 42. Let b = 16 - l. Is 7 > b?
True
Let g(d) = -d + 11. Let a be g(7). Suppose a*c = -5*t - 40, 0*c = 5*t - 5*c + 40. Let q be ((-28)/(-21))/(3/(-18)). Is t smaller than q?
False
Let u be 0/(2 + 0 + 0). Let z be -1 + 1 + (-1)/(-5). Is u < z?
True
Let h be 0 + (10/(-6) - -1). Let f = -18 + 24. Is h < f?
True
Let s = -7379/5274 - -3/293. Let f = s - -3/2. Is 0 >= f?
False
Suppose 0*m = 4*m. Suppose m*a + 20 = 4*a. Suppose 30 - a = 5*w. Which is smaller: w or 4?
4
Let z = -14 + 9. Let h be (-24)/(-4) + -3 - 1. Suppose -13 = 3*f - m, -h*f - m = f + 5. Is z <= f?
True
Let q = 0.02 - 0.12. Let b = -0.07 - q. Which is bigger: 0 or b?
b
Suppose s - 5*s - 4 = 0. Let n = 145/42 - 19/6. Which is greater: n or s?
n
Let v = 63/236 + -1/59. Which is bigger: v or -6.3?
v
Let y = 18 + -13. Let d = y + -4. Is d > -0.1?
True
Let g = -0.5 + 0.8. Let j = -1.3 + 2. Let h = j + g. Is 1 bigger than h?
False
Let f = 0.05 + 6.95. Let h = -7 + f. Which is smaller: h or -2/5?
-2/5
Suppose -2*c + 7*c = -p + 21, 4*p + 2*c = 12. Let u be (-1)/(8/6 - 1). Do p and u have the same value?
False
Let r(d) = 4*d + 1. Let z be r(-1). Let v be (-2 + z/(-1))*0. Are 2/3 and v nonequal?
True
Suppose -3*c = c. Let k = c - -3. Suppose k*j - 2 = 1, 4*y + 4*j = 0. Are y and 0 unequal?
True
Let m = -0.6 + 0.64. Let n = m + -2.04. Is n >= -2?
True
Suppose -33*s = -29*s. Which is smaller: s or -1/11?
-1/11
Let i = 25 - 44. Is -17 at least i?
True
Let r = -14 - -8. Let l(d) = -d**2 - 7*d - 1. Let i be l(r). Is 7 at most as big as i?
False
Let b = 467/6 - 21961/282. Which is smaller: -1 or b?
-1
Let m be ((-2)/(-4)*(-8)/(-20))/(-1). Does -1 = m?
False
Let z = 11 - 10. Is z <= 3/11?
False
Let j be 5/(-20)*-2*-2. Is j >= -1?
True
Let x be ((-25)/15)/(3/(-9)). Suppose -c = x - 3. Which is smaller: 2/15 or c?
c
Let z = -5.4 + -2.1. Let o = z - -8. Let w = o - 0. Which is bigger: -2/5 or w?
w
Suppose 0 = 2*n 