ich is greater: -4 or o?
o
Let c = -21446/15 + 1429. Which is smaller: -2 or c?
-2
Suppose a = -3 - 3. Let k = -1 - 6. Is k equal to a?
False
Let y = 271/6 - 799/18. Let s = 4/9 - y. Let i(x) = -x. Let g be i(0). Which is smaller: s or g?
s
Let p = 17.4 + -15. Let k = p + -0.4. Is -1 less than or equal to k?
True
Let k be -6 - (-3 - (-3 - 0)). Let h be -3 + (-2 + 1 - k). Let c = 5 + -9. Which is smaller: c or h?
c
Let f = -37.7 - -34. Let p = -0.3 + f. Are p and -1 nonequal?
True
Let y = -2 - -3. Let z = -16 - -16.9. Let k = y - z. Do k and 1 have the same value?
False
Let n be (-1)/3 + 16/3. Suppose -10 - n = -i. Let c be -7*3/i - -1. Which is smaller: c or -1?
-1
Let y = -22 + 7. Let j be ((-10)/y)/((-14)/6). Suppose 4*a - 3*a = -1. Which is greater: a or j?
j
Let j = 1 - -1. Are 4/7 and j non-equal?
True
Let q be ((-8)/(-10))/(2/150). Suppose 7*m - 3*m = -q. Let l be 3*(-5)/(m/(-4)). Is l smaller than -4?
False
Let o(k) = -k**2 + 14*k + 8. Let l be o(15). Which is greater: -2 or l?
-2
Suppose a + 10 = -2*j, 0 = 3*j - 0*j - 3*a + 15. Which is bigger: j or -18/5?
-18/5
Let y(q) = -q**2 + 9*q - 8. Let z be y(6). Suppose -z*i = -14*i - 12. Which is smaller: -4 or i?
-4
Let b(a) = -2*a + 4. Let v(n) = 3*n - 3. Let l(f) = 4*b(f) + 3*v(f). Let j be l(-5). Is 2 less than j?
False
Let j be 1/3 - (-10)/24. Let f = 0.26 - 0.06. Is j < f?
False
Suppose 0 = 2*c + a - 52, 0 = -2*c + 4*c + 5*a - 36. Is 27 bigger than c?
False
Let l(w) be the second derivative of w**4/12 - 4*w**3/3 - 3*w. Let v be l(8). Let u = -89/4 - -23. Is v > u?
False
Suppose 4*m - 8 = -j - 3, -j - m + 2 = 0. Which is smaller: 6/5 or j?
j
Let q = -10.03 + 0.03. Let n = -10.03 - q. Is n at most as big as 1?
True
Suppose -3*i + 3*b = 186, 0 = 2*b + b - 9. Is -59 < i?
False
Let b(p) be the second derivative of -p**3/6 - 9*p**2/2 - 8*p. Let o be b(-10). Is o smaller than 4/9?
False
Let a be (-20)/(-15) - (-2)/3. Is 6/5 at least as big as a?
False
Let n = 0.3 + -1.5. Let d = n - 7.8. Is d greater than 2?
False
Let z = -5 - 0. Let m be z/(-7)*(-9)/(-15). Which is greater: 0 or m?
m
Let v = -7/33 + 109/99. Which is smaller: v or 1?
v
Let d = -4 + 4. Let l = d - 0.5. Let h = 0.4 + l. Which is smaller: h or 0?
h
Let o be ((4/2)/2)/1. Let j = -2/95 + 299/665. Which is greater: j or o?
o
Let d = -56 + 51. Let g = -12 - -6. Which is smaller: g or d?
g
Suppose 3*w - w = 4. Let s(b) = -5*b + 43. Let q be s(8). Is q > w?
True
Let n = -155687/1704 + 731/8. Which is bigger: 1 or n?
1
Let x = 0.04 + 0.38. Let t = x + 0.08. Which is smaller: -1/2 or t?
-1/2
Let t = -1 + 0.6. Let i = -0.3 - t. Let o = -10 - -9.8. Are i and o nonequal?
True
Suppose -35 = -6*u + u. Let o be 4/(-8) - u/(-2). Which is greater: o or 0?
o
Let z = -25 + 74/3. Let t = -2 + 5. Let m be 2 + t/(-6)*2. Which is smaller: z or m?
z
Let v = 1 - 1. Suppose 18 = -2*p - 4*o, -4*p - 20 - 6 = -2*o. Let s be p/9 - (-2)/(-9). Are v and s equal?
False
Let f = -23 + 32. Let t be (-1)/((-6)/f - -1). Let y be (-2)/t*6/(-26). Which is smaller: -1 or y?
-1
Let u(l) = -2*l**2 + 2*l - 1. Suppose -k - 2*k = a - 19, -a + 29 = 5*k. Let f = k - 3. Let s be u(f). Which is smaller: s or -6?
-6
Let u be ((-22)/(-4))/((-4)/(-30)). Let j = -41 + u. Let a = 2 + -1. Is j > a?
False
Let p be 4/(-2)*(-1)/(-2). Let l be 1*18/10 + p. Suppose -4*d + 20 = 5*v, -4*v - 5*d + 2 = -23. Is l at most v?
False
Let f = 1774/10117 + -40/151. Let v = -238/335 + f. Is 0 less than or equal to v?
False
Let r(w) = -w**3 + 3*w**2 - w - 2. Let b be r(2). Suppose b = -k - 6 - 0. Is k equal to -5?
False
Let k be (-1)/(-2)*4/(-22). Suppose 0 = -6*w + 3*w - v - 7, v + 2 = 2*w. Is k less than or equal to w?
False
Suppose -2*g - 1 = m, 5*g + 0*m = 5*m + 35. Let a = 0 + -1. Let i be (2 - (-2)/(-2))*a. Which is bigger: g or i?
g
Let v = 0.06 + 0.06. Which is smaller: v or -0.1?
-0.1
Let a = -34 - -55. Let z = a + -20. Which is bigger: 12 or z?
12
Suppose -8*p = -3*p + 25. Which is greater: 2 or p?
2
Let q(c) = 0*c**3 - c**3 - 7*c**2 - 2*c - 7*c - c**2 - 9. Let d be q(-7). Which is smaller: d or 4?
4
Let n(g) = 0*g**2 - g**3 + 2 - 5*g - 6*g**2 - 3. Let a be 1/4 - 21/4. Let u be n(a). Which is bigger: u or -2/5?
-2/5
Let f be 2/(-37) - (1 + -1). Let h be (714/(-296))/3 - -1. Let q = f - h. Is q > 0?
False
Suppose 2*b + 2*i = -2*b + 34, -3*b - 4*i + 23 = 0. Is 10 less than or equal to b?
False
Let w be (-11)/(-198)*6/26. Which is greater: 1 or w?
1
Let u = 59.9 + -60. Is u at most -13?
False
Let m = 3 + -4. Let o be (-2 + 4 + m)/(-3). Which is greater: -2/5 or o?
o
Let j(h) = 5*h + 3. Let g be j(-1). Is -16/13 >= g?
True
Let w(s) = -s**3 - 9*s**2 - 6*s + 2. Let l be w(-8). Let v = -16 - l. Let z = 3 - 5. Is z bigger than v?
False
Suppose 0 = h - 3*m - 1, 5*h = h - m + 4. Let y = 4 - h. Suppose 2*g + 3*s = 7, y*g + 0*s = -s. Is 0 <= g?
False
Let n(m) = -2*m + 9. Let t be n(9). Let p be (-3)/t - 4/(-6). Let i be p/2 - 35/30. Which is smaller: -1 or i?
-1
Suppose -4*g = -0*g - 12. Suppose -x - g*h - 11 = -6*x, 0 = 2*x - 4*h + 4. Which is greater: 0 or x?
x
Let v(p) = 8*p**3 + 2*p**2 - 1. Let f be v(-1). Let x = f + 10. Let d be (-5)/(-10) + (-3)/(-2). Which is smaller: d or x?
d
Let y be (-1)/(-1) - 100/85. Which is smaller: -1 or y?
-1
Suppose -4*s = 8 - 0. Let c be 4 + -8 - (s + 1). Suppose 2*n - 5*k - 4 = 9, 3*n = k. Which is smaller: c or n?
c
Suppose 2*c + b - 29 - 37 = 0, 4*c = 4*b + 108. Suppose p + c = -11. Let q be (2/p)/(6/(-36)). Which is smaller: q or 0?
0
Let a = 6 - 2. Suppose 1 = -3*z - t, -z + 0*t + 17 = -a*t. Which is smaller: -3/10 or z?
-3/10
Let r(o) = o + 14. Let d be r(-11). Let k be ((-2)/1)/((-2)/19). Suppose d*h = -4*n - 17, -4*h = -3*n - 0*n - k. Which is smaller: -1 or h?
-1
Let n = 278 + -3616/13. Suppose -9*x - 10 + 10 = 0. Is n greater than x?
False
Suppose -2*l - 27 + 15 = 0. Is -4 smaller than l?
False
Let m be 1/(-2) - 775/(-1500). Is 2/3 smaller than m?
False
Let l be (-75)/135 + (-4)/(-18). Is -1/3 != l?
False
Let o be (12/(-18))/(4/6). Let i be (-3*(-40)/(-15))/(5*1). Is i at least o?
False
Let w = -14.9 - -8. Let h = 7 + w. Is 2 at most h?
False
Let z be -2*(-2 + 3/6). Which is greater: -4 or z?
z
Let d be ((-71)/39 - -2) + 2/(-6). Which is smaller: d or 0?
d
Let u = 21 - 25. Let a = 3 + -1. Are u and a equal?
False
Let m(z) = -z - 2. Let g be m(4). Are -6 and g non-equal?
False
Suppose -28*k + 655 = 95. Suppose 16 + 25 = w + 5*t, -5*t - 85 = -5*w. Which is smaller: w or k?
k
Let q be -1 - -3 - (-1 + 3). Suppose q = -5*y - 5 + 50. Let x be y/28 - (-1)/4. Do 0 and x have the same value?
False
Let r(s) = -2*s**2 - 2*s - 6. Let q be r(-4). Let n be (24/q)/(2/10). Which is bigger: n or -3?
-3
Let b = 14 - 14. Is b at most as big as 3/14?
True
Let i(l) = l**2 - 15*l - 4. Let a be i(15). Let n be a/10 - 6/(-15). Let p be 4*2*2/(-8). Which is greater: p or n?
n
Suppose -19 = -3*p - 1. Suppose 4*m - 2*u = 22, -u - 3 = 3*m - 7. Suppose -12 = -2*w - 0*w - 4*k, -4*w + 24 = -m*k. Is w > p?
False
Suppose 32 = 5*m + 217. Let h = 184/5 + m. Let r = h + -7/15. Is -1 greater than or equal to r?
False
Let f(p) = -p**3 + 6*p**2 + 8*p - 5. Let b be f(7). Let t be -13*1*(b - 3). Let j = t - 53/4. Is -1 greater than j?
False
Suppose 3*l + 44 - 11 = 0. Are l and -11 unequal?
False
Let z be ((-22)/33)/((-22)/(-6)). Let w = 2 + -3. Does z = w?
False
Let v = 12 + -7. Suppose -1 = 3*t + v, 0 = 4*a + t + 2. Suppose -2*n - n = a. Is 0 > n?
False
Let z(l) = 2*l**3 - 4*l**2 + 2*l. Let m be z(2). Suppose -16 + m = 4*r. Do 1 and r have the same value?
False
Let x = -5 - -6. Let h = 5 - 3. Are x and h non-equal?
True
Let g = 36 + -14. Suppose 3*c - 49 = -5*d, 2*d + 4*c = 2*c + g. Suppose -b + d = 2*q, 6*q - 2*q = 16. Is 1/7 >= b?
True
Let d(w) = w. Let g be d(-6). Let a be (2/20)/(g/(-15)). Is a < -8?
False
Let n = -2 - -6. Suppose -n*m = 2*j - 2, -14 = -3*j + 6*m - m. Let d = -1 - -3. Is d at least as big as j?
False
Suppose 10 = -5*v - 2*r, 5*v - 2*r + 3*r + 15 = 0. Let z(s) = -s + 7. Let a be z(4). Suppose -w + a = 4*g - 1, 5*w + g + 18 = 0. Is w at least v?
True
Let d = 15 - 11. Let b = -5 + d. Let z be 2/(-6)*(-3)/5. Which is smaller: b or z?
b
Let h(o) be the first derivative of o**2/2 - 6. Let b be h(-4). Let a(f) = -f**2 + 4*f. Let y be a(5). Which is smaller: y or b?
y
Let h be 1