v = -b*z + 4*v - 23. Which is bigger: -1 or z?
-1
Let n = -20 + -8. Let d be n/8 - 2/(-2). Is -4 less than or equal to d?
True
Let k be 100/(-12)*2/(-5). Let g be (6/(-8))/(1/(-4)). Which is smaller: g or k?
g
Let b = 159/2 - 82. Suppose -f = i - 6*i - 8, 3*i + f = -8. Which is greater: b or i?
i
Let o = 0.1 - 0.1. Let y = -23.6 - -29. Let c = -5 + y. Is o smaller than c?
True
Let k be 2/5 + 4/(-10). Suppose -3*b + 3*h - 3 = k, -2*b - 7 = -5*h + 2*h. Suppose 0 = -0*w - 2*w - b. Is 0 at least as big as w?
True
Suppose -2*f = -2*j - 6*f - 78, 4*f = -8. Which is smaller: -69/2 or j?
j
Let v = -0.3 - -0.4. Is -0.04 greater than v?
False
Suppose 2*b - 9 = 2*q - 21, -4*q - b - 1 = 0. Suppose -5*c = -2*c - 15. Suppose -c = -10*t + 5*t. Is q > t?
False
Let t be (0 - 1)*(0 + 0). Suppose 2*i - 9 = -2*i - 3*o, 2*i - o + 3 = t. Let b = 17/4 + -5. Is i < b?
False
Let b(w) = w + 10. Let z be b(-8). Suppose -z*q = -8*q. Do q and 0 have the same value?
True
Let q be 73/5 + (-6)/2. Let g = q + -11. Which is smaller: g or 0?
0
Let x = 0.21 + 0.12. Let w = x + 0.07. Let t = -0.5 + w. Is -0.1 smaller than t?
False
Let z(t) = -2*t**2 + t - 1. Let j be z(1). Let x = -27 + 15. Let b be 6/4*16/x. Is b not equal to j?
False
Let a be (0 - 2)*4/(1 + 1). Is -3 != a?
True
Let w = -4.599 - 0.101. Let h = -5.5 - -0.5. Let b = h - w. Which is smaller: b or 0?
b
Let m be ((-2)/(-3))/((-4)/(-5)). Which is bigger: 1 or m?
1
Suppose 0 = 4*g - w - 28, 0 = -5*g + 5*w + 20. Which is smaller: g or 31/4?
31/4
Suppose 11*m = 7*m + 12. Let h be (0/2)/(m + -4). Which is smaller: h or -2/5?
-2/5
Let o be (-65)/7 - 10/(-35). Let r be o*-2*2/4. Let j = 8 - r. Is j smaller than -2?
False
Let v = 2.02 + -0.02. Let r = v + -1. Which is smaller: -0.4 or r?
-0.4
Let b = -27 + 26. Which is smaller: -2 or b?
-2
Let q(p) be the second derivative of -p**4/12 - 2*p**3/3 + 2*p**2 + 2*p. Let a be q(-4). Let y be 1/(-3) + a/(-6). Is 0 bigger than y?
True
Let y = -36 - -34.7. Which is smaller: -2 or y?
-2
Let c be (-8)/(-6)*1/4. Which is smaller: c or -4?
-4
Let z(f) = f**2 + 18*f - 21. Let p be z(-19). Is -4 > p?
False
Let h(b) = b**2 + 5. Let m be h(5). Let k be (-1)/2 + m/52. Suppose 4*q = -24 + 24. Which is bigger: q or k?
k
Let i be 3/(5/10*-3). Suppose 3*t + 2*t = 0. Is t at most i?
False
Let f = 3.4 - 0.4. Let s = f + -6. Let q = -2.9 - s. Which is greater: 3 or q?
3
Let f = -57 - -54. Is -13/5 greater than or equal to f?
True
Let l be (3 + 2)*(-18)/15. Are -21/4 and l nonequal?
True
Let u be 3/2*1/60. Which is greater: u or 1?
1
Let r be 2 + 1 + 210/(-66). Are r and -1 equal?
False
Let z be (21/6)/(3/6). Let s = 6 - z. Is s smaller than 0?
True
Let l be -2 + 106/22 + -3. Which is bigger: 1 or l?
1
Suppose 0 = 5*d - g + 4, 9*d - 5*g = 4*d. Let a = -7 + 23. Let t be a/(-8)*(-1)/12. Are t and d nonequal?
True
Let x = 85/3 - 29. Let m = 13 + -13.3. Is m at most x?
False
Let n = 41/196 - -2/49. Let s = n - 1/2. Suppose 3*o = -3*t + 4*o + 20, -4*o - 40 = -4*t. Is t greater than s?
True
Let b be ((-2)/3)/(1/(-3)). Suppose -4*z = 5 - 1. Let l be 0 - 0*z/3. Which is greater: l or b?
b
Let h(l) = -2*l + 1. Let c be h(-3). Are 7 and c equal?
True
Let w = -21.34 + 21. Let r = -0.04 - w. Let g = 0.12 - 0.02. Which is smaller: g or r?
g
Let c = 13 - 9. Are 4 and c nonequal?
False
Let n(d) = d**2 - 11*d + 11. Let q be n(9). Let g be (-704)/(-14) - (-2)/q. Let r be 3/2 - g/28. Is 3 less than r?
False
Suppose -31 = -4*b + 21. Let d = b - 3. Is 19/2 less than or equal to d?
True
Let c(t) be the first derivative of -t**5/60 + t**4/4 + 4*t**3/3 - 3*t**2/2 + 3. Let g(u) be the second derivative of c(u). Let z be g(7). Is 2/19 != z?
True
Let h(r) = -r**2 - 17*r + 1. Let f be h(-17). Which is greater: f or 11/5?
11/5
Let y = 0.7 - 0.66. Let c = 6 + -6. Is c greater than y?
False
Let m(y) be the second derivative of y**3/3 - 3*y**2/2 - y. Let t be m(3). Suppose 3*x + 0*x - g - 10 = 0, 10 = x - 2*g. Is x smaller than t?
True
Let n(x) = 3*x - 1. Suppose -2*d + 2 = 4*g, 0 = 3*d - g + 5*g - 3. Let k be n(d). Suppose 0 = 2*b + k*b - 16. Is b at least 4?
True
Let t = -17/3 - -116/21. Which is smaller: t or -1?
-1
Let i = 564 - 564.1. Let g = -20.037 + 0.037. Do g and i have different values?
True
Let q be (2 + (-24)/10)/((-2)/(-10)). Is q >= -4?
True
Let z = 7 + -4. Suppose z*q + 17 = 5*c, 0 = 3*q - q - 4*c + 14. Suppose -3*u + u - 2 = 4*b, -4*u = b + 18. Is b equal to q?
False
Suppose 2*h = -2*h - 4. Suppose 5*b = -0 + 10. Do h and b have different values?
True
Let m = 26 + -61. Which is smaller: -36 or m?
-36
Let t(b) = b**3 + b + 1. Let c be t(0). Let g be ((-7)/c)/(3 - 4). Is 6 smaller than g?
True
Let k(w) = -w**3 - 16*w**2 - 24*w - 37. Let q be k(-15). Which is greater: 99 or q?
99
Let g be (-2 - -1*3)*-82. Let s = 62707 - 1130201/18. Let q = s - g. Is q > 1?
False
Let t = -5 - -4.8. Let a be (-1)/(-4) + (-3)/12. Is a >= t?
True
Let q = -1.2 + 1.2. Let x = 1 + -3. Let b be 60/27 + 0 + x. Does b = q?
False
Suppose 19 = 5*l + 24. Let r = -2 + 1. Is r greater than or equal to l?
True
Let g(f) = 3 - f**2 + 4 - 9*f - 6 + 2*f**2. Let q be g(9). Is q smaller than 1/3?
False
Let b = -10 - -10. Let m = 1 + b. Which is greater: m or -1?
m
Suppose -3*p = -g - p + 1, -4*p = -4*g. Does g = -3/2?
False
Suppose -2*j - 8 = 4*y, 3*j + 4*y - 24 = 7*y. Suppose -j*r - 2*c + 8 = -0*r, 0 = -2*r - 4*c + 4. Are 1 and r unequal?
True
Suppose 3*r - 6 = 9. Suppose -r*c = -8*c. Which is greater: c or 3/7?
3/7
Let k = 4.9 - -0.1. Let f = k - 2. Let l = 2 - f. Is -6 < l?
True
Suppose 4 = i, -6 = 2*y - 4*y - i. Suppose 0 = 3*r - 15, 5*a + 4*r + r + 80 = 0. Let c be 6/a + (-8)/(-14). Which is bigger: c or y?
y
Suppose n = -5*t + 5, 0 = -t + 2*t + 5*n - 25. Let j = -24/805 - 2/35. Is j < t?
True
Suppose -2*c = -8 - 6. Which is smaller: c or 6?
6
Let g be (-4)/3*-3 + -6. Is g at most as big as -20/7?
False
Let p = 0 - 18. Which is smaller: -21 or p?
-21
Let k be 2/5 - (-48)/(-95). Let p = k + -91/38. Which is smaller: p or -3?
-3
Let a = -6 + 8. Suppose -a*v + 14 = 3*x - 5*x, -3*x = -5*v + 31. Is 3 at most as big as v?
True
Let w = -6 + 6. Suppose 3*v + w*y - 26 = -4*y, 0 = 3*v + 5*y - 31. Is v at least as big as 2?
True
Let n(f) = -2*f**2 - 2*f. Let c be n(-2). Let p = -56/9 + 6. Which is smaller: p or c?
c
Let k = 1 + -1. Let j(i) = i**2 - 9*i - 6. Let w be j(13). Let a be w/(-102) + (-3)/(-9). Does k = a?
False
Let k = -50/39 - -5/3. Which is greater: 0 or k?
k
Let z = -26 + 22. Let m be z/1 - (-770)/190. Which is smaller: m or -1?
-1
Let q(a) = -4*a**2 - 9*a. Let c be q(-2). Is c >= -9?
True
Let p be 5/(5/4) - -2. Let s be (-1)/(-2)*(-3)/p. Let k = 1 + -1. Which is greater: k or s?
k
Let p = -25 - -25.8. Is 2/5 less than p?
True
Let s = -106 + 103.7. Is s at most 1?
True
Suppose -5*w = -2*w. Let i = w - -4. Which is bigger: 3 or i?
i
Let b(p) = p**2 + 7*p + 9. Let r = -2 + 5. Let j be (r/(-4))/(2/16). Let f be b(j). Is 1 less than f?
True
Let c = -171 - -167.06. Let f = -0.06 + c. Which is smaller: f or -0.1?
f
Let s(c) = c**3 - 6*c**2 + 2*c + 9. Let a be s(5). Is a equal to -6?
True
Let i be ((-6)/4 + -1)/(-1). Let s be 28/10 - (-48)/(-60). Suppose 3*c - s - 10 = 0. Which is bigger: i or c?
c
Suppose -5*q + 52 = -l + 3*l, -5*q = -5*l - 45. Suppose -3*c = -4*n - 8*c + q, -4*n + 16 = 2*c. Let a be (-23)/(-5) - 18/30. Are a and n equal?
False
Suppose -3*m + 12 = -3*z, -3*m + 4*z = -5*m - 22. Is m greater than -2/25?
False
Let q = -0.1 + -2.9. Let p = 6.21 + -0.21. Let v = -6.1 + p. Which is bigger: q or v?
v
Let k(v) = v**2 - 7*v + 3. Let n be k(6). Let l(p) = p - 3. Let o be l(0). Let f = o - 1. Which is smaller: f or n?
f
Let m(p) = -6*p**2 + p. Let t be m(-1). Let q be 1 - (t + 5 + -3). Which is smaller: 5 or q?
5
Suppose m = -5*x - 18, -4*m + 6*m = -4*x - 6. Let y be -8 + m + (-1 - 1). Are y and -2 equal?
False
Let d = 6.5 - 1.5. Which is bigger: 1 or d?
d
Let w be ((-1)/14*-7)/((-2)/268). Is -68 > w?
False
Let c = 8 - 6. Suppose -8 = -2*f + 2*a, f + 5*a + 1 = -1. Suppose f*d + d = 20. Is d greater than c?
True
Suppose 2*z + u + 3*u = 2, -5 = 5*u. Suppose z*d + 4*n = 4*d - 10, -2*d + 5*n = -20. Let x be 0/1 - 2/d. Which is bigger: x or 1?
1
Let c = 8 + 4. Suppose -4*j + 3*i = -i + 16, 3*i = -2*j + c. Does 0 = j?
True
Suppose 5*a = -u + 4 - 0