s bigger: o or 0.1?
o
Let c be (-3 + 4 - 1)/(-2). Suppose 5*l - q = 5 + 5, -4*l - 8 = -4*q. Suppose -l*h = h. Do c and h have different values?
False
Let g(w) = -w**2 - 27*w - 24. Let i be g(-26). Which is greater: i or 3?
3
Let k(l) = l**3 + 1. Let h(u) = -6*u**2 - 4*u + 3. Let g(s) = -h(s) - k(s). Let i be g(6). Suppose -d - i = 3*d. Which is greater: d or -4?
-4
Let w = 105 + -110. Which is bigger: w or -23/6?
-23/6
Let v = 1512/65 + -114/5. Let x be -1 + (0/2 - -1). Which is smaller: x or v?
x
Let q = 101 - 98. Is q greater than or equal to 16?
False
Let l be ((-8)/24)/((-2)/(-15)). Which is bigger: l or -2?
-2
Let g be 6/(4*4/8). Is g at most 16/5?
True
Suppose -7*q = -3*q - 12. Which is smaller: q or 5?
q
Let o = 0.33 - 0.13. Which is smaller: o or -0.4?
-0.4
Let b(a) = -a**2 - 2*a + 4. Let h be b(-3). Let s(i) = i**2 - 1 + 10*i + h - 4. Let n be s(-10). Is -4 at least n?
True
Let d be 471/12 + (-3)/12. Let p be 5/15 - 7/d. Which is smaller: p or 1?
p
Let f = -17 - -17. Is 2 <= f?
False
Let f(n) = -n**3 - 3*n**2 - 4*n - 2. Let b be f(-1). Let h = 3.9 + 0.1. Which is smaller: h or b?
b
Let t = 24 + -28. Which is smaller: t or -9/2?
-9/2
Let n be (-62)/(-4) + 7/14. Is n <= 13?
False
Let v be (1 - 9/10)/(19/38). Which is greater: 4 or v?
4
Let j be 0 + 4/12*6. Suppose 3*a - 2 = 4*a, 2*v - j*a = 0. Is v < -2?
False
Suppose 2*f = 3 - 1. Let a(t) = -t**3 - 4*t**2 - t - 4. Let l be a(-4). Let b be f*6/39 + l. Do -1 and b have the same value?
False
Let i(a) = -a**3 + 8*a**2 + 1. Let c be i(8). Let t be (3 + -2 + -1)/c. Let o = t - 0. Is o bigger than 2?
False
Let i = 2/37 + 29/148. Is i bigger than -3?
True
Let q = -239/430 + 11/43. Is -1 less than q?
True
Suppose 5*l - 6 = 2*l. Let d(q) = q**2 - 6*q - 2. Let w be d(7). Suppose w*m = 2 + 13. Is l bigger than m?
False
Suppose 2*d = -3*d. Suppose d = 3*a - 5*a. Let v be (a + -2 - -2)/3. Are -4/7 and v unequal?
True
Suppose 0*r = 2*r - q - 12, 2*q + 6 = r. Are r and 5 equal?
False
Let x be 12/2 + (-3 - 0). Let u = 2 - 2. Suppose u*f + f - 3 = 0. Is x < f?
False
Let u = 6.86 + 0.14. Suppose -2*w - 1 = 7. Let i be w*1 - (-18)/5. Which is smaller: i or u?
i
Suppose -l + 3*j - 3 + 4 = 0, -l - 4*j = -8. Suppose 0 = 2*y - l*y. Is y at most as big as 4/19?
True
Let x(k) be the first derivative of -k**4/4 - 2*k**3/3 + k**2 - 2. Let g be x(-3). Let j be (-7)/g + 2 + -1. Is -2 less than or equal to j?
True
Let k = -0.18 + 0.38. Is k smaller than 3/4?
True
Let g = -4 - -3. Let j = -0.9 + 1.2. Let d = j - 2.3. Which is bigger: d or g?
g
Let a be 9/(-12) + (-99)/12. Do a and -9 have the same value?
True
Suppose -1 - 5 = 3*s. Let t be s/7 + (-36)/21. Is -2 > t?
False
Let j = -8 - -7. Is -3/10 smaller than j?
False
Let s(j) = j - 2. Let h be s(12). Suppose 3*u - u = -h. Is u smaller than -5?
False
Let d(b) = b + 45. Let l be d(-17). Which is bigger: 26 or l?
l
Let c be (1 - 1) + 1 + -2. Let o be -3*(-2)/3 - c. Is 4 bigger than o?
True
Let a = -83/2 + 41. Which is smaller: -36 or a?
-36
Let k = -63 - -57.8. Let m = 5 + k. Which is bigger: m or -1?
m
Let m(b) = b**3 + 4*b**2 + b + 4. Let h be m(-4). Suppose h*x = -3*x - 3. Let l be 0*(-3 - (-8)/4). Are l and x equal?
False
Let b be (-19 - -22)/(4/6). Is 6 != b?
True
Let j be -10*(4/(-16) + 0). Let f be 0*2/4 - 0. Suppose t - 7 + f = -2*h, 0 = -2*h + 5*t + 13. Which is greater: j or h?
h
Let l = 0.4 - 0.4. Let a = l - -0.1. Let o = 0.3 + -0.2. Is o bigger than a?
False
Let u = -9 - -7. Let n be (2/3)/((-2)/(-15)). Let c be (u - -1)/(n/5). Which is smaller: c or -3?
-3
Suppose 2*w + 2*i = 30, -i = -4*w - 11 + 56. Suppose 2*k + 3*y = 2*y + 19, -w = -k - y. Is 8 greater than k?
True
Let u be 7/3 - (-16)/(-48). Let a(s) be the second derivative of s**5/20 - 5*s**4/12 - 7*s**3/6 + 7*s**2/2 + s. Let q be a(6). Which is greater: u or q?
u
Let r(z) = -52*z**2 - z. Let d be r(1). Let q = -30 - d. Which is smaller: 1 or q?
1
Let t(b) = -b**3 - 9*b**2 - 8*b - 2. Let w be ((-4)/5)/(2/20). Let r be t(w). Which is smaller: r or -1?
r
Suppose 5*t = 3*t - w - 82, -4*t = 3*w + 166. Which is greater: t or -42?
t
Let u = 806 - 7246/9. Is 0 <= u?
True
Suppose 24 = -4*d + d. Let y = 6 - 10. Let l = d - y. Is -4 smaller than l?
False
Suppose -4*h = -4*w - 28, h - 9 - 3 = 2*w. Let p be 2 - h*(-18)/(-17). Let o = 1 + -2. Which is smaller: o or p?
o
Let b = -59 - -22. Which is smaller: b or -1?
b
Let k be (-2)/(-14) - (-324)/(-63). Which is smaller: k or 1?
k
Let l be (66/(-55))/(3/(-25)). Let d = l + -11. Let s = -21/50 + -2/25. Is s < d?
False
Suppose -5*w + 49 = k - 6*w, -146 = -3*k + 2*w. Is k not equal to 48?
False
Let o be 4/(-18) + 141/27. Let p = o + -3. Suppose 0 = -4*x - 3*y + 4, -p*x + 5*y - 1 + 3 = 0. Which is smaller: x or 0?
0
Let t = 18 - 17. Which is smaller: t or 7?
t
Let w = -5.9 + 6. Let n = 0.2 + -0.1. Let q = 2.1 - n. Is q > w?
True
Let y = 0.8 - 1.1. Suppose 0 = -2*a + 3*a. Is y at least a?
False
Let t be -3*((-16)/6)/4. Is t < -1?
False
Suppose 5*o - 2*s - 8 - 17 = 0, 0 = 5*o - 4*s - 25. Is o less than 0?
False
Let m = -11 + 3. Let v = m - -11. Suppose v*o = 5*o. Is 0 <= o?
True
Let i = 0.3 + -0.32. Let m = i - 0.88. Let s = -34 - -103/3. Which is smaller: s or m?
m
Let w = 0.2 - 0.3. Let n(q) = q**2 + q - 15. Let p be n(-4). Is p greater than w?
False
Suppose -5*s - 39 = -3*j + j, -126 = -5*j + 3*s. Let b = -157/5 + 39/10. Let k = b + j. Which is greater: k or -1?
k
Let t = 4307/16 - 269. Which is smaller: t or -1?
-1
Let b(x) = -4*x - 15. Let l(s) = s + 4. Let z(f) = 6*b(f) + 22*l(f). Let j be z(-3). Let k be j - (0 - -2) - -1. Is k at least 0.1?
True
Let v(y) = -y + 5. Let w be v(0). Suppose -15 = -w*i + 3*j, -5*i + 3*i + 25 = -5*j. Suppose -2 = -3*m - k, -5*m - 4*k + 1 + 7 = i. Which is smaller: -2/3 or m?
-2/3
Suppose 2*n + 9 = 1, 5*r - 25 = 5*n. Which is greater: 2/53 or r?
r
Let h = -287496/7427 + -5/1061. Let d = 39 + h. Let n = 0.3 - 0.4. Is d at least as big as n?
True
Let r = 37 - 37. Which is greater: 2.4 or r?
2.4
Let f be ((-2)/348)/((-2)/8). Is f bigger than -1?
True
Let z = -78 + 76. Which is bigger: z or -6?
z
Let t = 0.05 - 0.04. Let k = 0.05 + t. Let f = k - -0.44. Which is smaller: -1 or f?
-1
Let f = 51/230 - 12/23. Let w(h) = -h + 8. Let t be (-5)/15 - (-22)/3. Let u be w(t). Is u less than or equal to f?
False
Let u = 6 - 4. Let q(b) = -b**3 + 4*b**2 - 4*b + 2. Let j be q(u). Suppose -2*l = -s + j, 4*s - 3 = l + 5. Which is smaller: 3 or s?
s
Let o = -1 + 4. Suppose -3*v - 5 + 2 = o*d, -5*d - 3*v = 3. Suppose -3*q + 7*q - 16 = d. Is q bigger than 5?
False
Let r = 154 + -154.1. Which is smaller: -1 or r?
-1
Let d be (-6 - -4)*1/(-5). Let g = 3 + -4. Which is bigger: g or d?
d
Let s be -1 - (-1 - 2) - (38 - 0). Is s at least as big as -36?
True
Suppose 2*d - 9 = -1. Let m be -5*3*(1 + -2). Let v = m - 10. Is d at least as big as v?
False
Suppose -z - 3*g = 4*z - 162, 0 = 4*z + 2*g - 128. Suppose -5*r + 33 = -w + 6, -4*r = -5*w - z. Let x be w/(-6) - (-5)/(-15). Which is bigger: x or -2/5?
x
Let h(t) = -2*t**2 - 27*t + 13. Let g be h(-14). Let d = -6/5 + 52/35. Which is smaller: g or d?
g
Let g be 1*(-12 + 1)/(-1). Do g and 29/3 have the same value?
False
Suppose -3*y + p - 3 = -5*y, -33 = -2*y + 5*p. Is y at least as big as -4?
True
Let o be (-2)/4*104/(-4). Let n be (-2)/o - 120/234. Which is smaller: n or 0?
n
Let d = -9.93 + 10. Suppose -1 = 2*p - p - 2*o, 4*o = -4*p + 8. Let f be (-1)/3*p + 1. Is d smaller than f?
True
Suppose 3*b - 2*b = 10. Let p be (b/2)/(-3 + 2). Let c be (p/(-8) + -1)/(-3). Is c > 0?
True
Let d = -680 - -3447/5. Suppose -4*w + 3*w = 9. Let u = d + w. Is u greater than 1?
False
Suppose -r + 0*r = -x - 3, -x = -2. Suppose 4*y - 9 = -5*p, -p = 3*p + r*y - 9. Which is smaller: p or -3?
-3
Suppose 3*f = -5*w + 7*f - 4, -2*f = -2*w - 2. Does -10/7 = w?
False
Let m be ((-2)/3)/((-8)/(-12)). Let y be (2 + m + -1)/1. Let k be y*(-1)/2 + -4. Which is greater: -5 or k?
k
Suppose 2*h = -6, w - 3*h = 2*h + 18. Let a(y) = 4*y**2 - 6*y - 5. Let q(n) = 9*n**2 - 13*n - 11. Let c(z) = -7*a(z) + 3*q(z). Let t be c(w). Is t less than 2?
False
Let f = -54 + 48. Is f at least -5?
False
Suppose 0 = -2*y - 0 - 2. Let o be 2/4 - (-25)/(-30). Is o equal to y?
False
Let m be (-3)/(-1)*(-2)/6. Let x(b) = 4*b. Let c be x(1). Let p be (-20)/16 - 