o k?
True
Let y(o) = -6*o**2 + 6. Let r(h) = 5*h**2 - h - 6. Let g(c) = 5*r(c) + 4*y(c). Let k be g(6). Which is greater: k or -3/8?
k
Let y be (-8)/(-14) - (-22)/(-14). Let w be (-4)/(-5)*1/(-2). Is y at least w?
False
Let k = 11048/21 + -526. Suppose 0*v + v = 4*f - 13, 5*v = -2*f + 23. Suppose 0*m + v*u = 5*m - 1, -4 = -4*m + 4*u. Does m = k?
False
Let i = -17 + 7. Let d = -9 - i. Which is bigger: d or -2/7?
d
Let f = 4 - 3. Let g be -1 + (f - 1) + 7. Let o be 0/((-2)/g*-3). Is 1 at most as big as o?
False
Suppose -4*c - s = 4, 20 = -5*s - 0*s. Let q be c*((-9)/(-6))/3. Suppose -2*w + q = 2. Is w != 2/7?
True
Let k be (2 - 3/324) + -2. Which is greater: k or -1?
k
Suppose 0 = 5*t + 31 - 1. Let x = -6 - t. Which is greater: x or -2/105?
x
Let z = 0.4 - 0.4. Let i = z + 0.2. Let s = 0.2 - i. Which is smaller: s or 2/5?
s
Let q be (4/(-6))/((-22)/6). Let g be (1/((-2)/20))/(-2). Suppose -g*z = -1 - 4. Is q greater than or equal to z?
False
Suppose 6*w - 10*w = 12. Which is bigger: -2 or w?
-2
Suppose -2 = -c - 13. Is c greater than or equal to -11?
True
Let u = 13 + -8. Suppose 4*s + 1 = -u*p - 4, -4*s = -3*p - 35. Let y = -254 + 250. Is y bigger than p?
True
Let b be 3 + 1/(1/(-3)). Suppose 0 = -5*k + 3*p + 8, b = p - 0 + 1. Is -1/4 >= k?
False
Let a(v) = -3*v + 17. Let s be a(7). Let q be (s/10)/((-2)/10). Which is greater: q or 2/3?
q
Let u = -0.2 + 0.73. Let l = u - 4.63. Let f = -4 - l. Which is smaller: -1 or f?
-1
Suppose -1 + 3 = -2*v. Are v and -1 equal?
True
Let i(h) = h**2. Let f be i(-2). Suppose 3*z + 1 = -f*u, 8 = -2*z + 3*u - 2*u. Does z = -1/2?
False
Let x = -0.01 - -0.61. Let l be 4/16 - (-3)/(-12). Which is bigger: x or l?
x
Suppose -13 = 5*f - 53. Let q = f + -8. Let i = -568/85 - -34/5. Is q at most i?
True
Let d = 1/318 + -85/1749. Let q = d - 5/11. Suppose -2*o - 2*i + 3*i = 5, 5*o = 2*i - 11. Is q at most as big as o?
False
Let c(w) be the second derivative of w**3/6 - 7*w**2/2 - 4*w. Let s be c(4). Which is greater: -4 or s?
s
Suppose 14 - 39 = -3*v - 2*a, -4*v + 2*a + 10 = 0. Suppose 16 = 2*r + 2*r. Let i = v - r. Is i >= -1?
True
Let m = -8.79 + -0.21. Let g = m - -8.8. Which is smaller: g or 3?
g
Let h = 27/91 - -1/91. Which is smaller: h or 0?
0
Let n = -2 - 8. Let s = -6 - n. Let z be (-16)/(-15) + s/(-10). Is z less than or equal to 1?
True
Let k(g) be the first derivative of -g**2/2 + 8*g - 5. Let u be k(7). Let l be (176/(-21))/4 + 2. Is l >= u?
False
Suppose 4*j = 4 + 4, -4*j - 2 = 5*q. Let z = 11 - 17. Let f be ((-3)/q)/((-3)/z). Which is greater: 3/2 or f?
f
Let x = 244/231 + -26/21. Which is smaller: x or -1?
-1
Suppose 4*u - 2*l = 10, 5*l = 3*u + 2 + 1. Suppose 0*z + 16 = -u*z. Let s(h) = -2*h**2 - 2*h - 1. Let i be s(-2). Is i greater than or equal to z?
False
Let x be 6/(-6) + (-5352)/(-26). Let b = -205 + x. Which is smaller: -1 or b?
-1
Let x be (4/10)/(((-9)/5)/1). Which is bigger: x or 0?
0
Let d be ((-6)/28)/(18/264). Are d and -4 unequal?
True
Suppose -r = -2*r + 4. Suppose -2*b + 29 = 3*b - 3*p, -4*p = r*b - 36. Which is bigger: b or 8?
8
Let c = 9.88 - 10. Which is bigger: 0.1 or c?
0.1
Let y = 151/22927 + 3/227. Let l = -188/707 - y. Let h = 0 - 1. Which is smaller: h or l?
h
Let a = 149/10 + -29/2. Let w = -0.5 - -0.1. Let o = 0.6 - w. Do a and o have the same value?
False
Let i = -7 + 12. Let z(c) = c - 7. Let x be z(i). Suppose 0*j - 4*j + 12 = 0, 0 = -5*f + 3*j - 19. Is f less than or equal to x?
True
Suppose -2*n - 5 = -5*s, -3*s + 0*s - n = 8. Let v be -1 + s + 6/8. Is v at most -1?
True
Let b = 49 + -49. Which is greater: -31 or b?
b
Let h be (-198)/(-156)*(-2)/12. Let r = -6/13 - h. Which is smaller: 1 or r?
r
Let q(j) = -2*j - 2. Let a be q(-2). Is 1 at most a?
True
Let b = -2 + -1. Let d = -2 - b. Is d bigger than -1?
True
Let w be -2*43/(-6) - (-2)/(-6). Which is greater: 2 or w?
w
Suppose 3*s - 2*s = -2*b - 13, -4*b = 4*s + 28. Let g(y) = -y - 7. Let k be g(b). Which is greater: 1/6 or k?
1/6
Let d = -8 - -5. Which is smaller: 2/3 or d?
d
Suppose 5*j + 4 = 2*a + 9, 5*j - 10 = 3*a. Let p be (1 + -20)*(7 + -4). Let s be p/27 - 10/(-5). Which is smaller: j or s?
j
Let f(y) = -y - 7. Suppose 0 = -j + 4, u - 4*j = -12 - 13. Let c be f(u). Let d be -5 + (1 + c)/3. Is -3 less than d?
False
Let b be 319 + (1 - (-2 + 1)). Let f = 7385/23 - b. Do f and 0 have the same value?
False
Let s be 2/5 + 104/(-10). Is s at least -9?
False
Let w be (1*-2)/(-4)*0. Let j be w/2 + 0/(-1). Suppose -m + 3*m = j. Which is bigger: m or -2/9?
m
Let v = 0.51 + -0.5. Let b = -0.99 - v. Is -0.2 < b?
False
Let g = 219 - 881/4. Is g bigger than -1?
False
Suppose 7*a = 8*a - 5. Which is smaller: 40/7 or a?
a
Let z(m) = -m + 76. Let t be z(-11). Is t < -1?
False
Let v(d) = -d**3 - 8*d**2 - 2*d - 12. Let t be v(-8). Suppose -2*h = -2*l, -t*h - 7 + 2 = l. Is 2/15 smaller than l?
False
Let m = -0.23 + 0.16. Let p = -0.03 + m. Which is greater: p or -8?
p
Let m(b) = b**3 + 4*b**2 - 4*b + 6. Let q be m(-5). Let s be q - (-4 + 2 + 3). Is s at least 1/2?
False
Suppose 3*y + w + 8 = 0, 2*y = 3*y - w. Let x be 2/(-8)*y/5. Suppose 0 = -2*q + 14*b - 11*b + 17, 3 = -2*q - b. Which is greater: x or q?
q
Suppose 2*i = -3*t + 25, 2*t = 2*i - 3*i + 15. Is t greater than or equal to 4?
True
Let g(d) = -d - 14. Let j be g(-17). Suppose 2*p + 14 = 4*n, -3*n + j*p = -p - 8. Let b(i) = -2*i**2 + 3*i. Let c be b(2). Is n bigger than c?
True
Let i(u) = 5*u**2 + u + 1. Let x be i(-1). Suppose -4*l = -8, 2*g + x*l - l = 16. Suppose -y - 3*y = g. Which is smaller: -5/3 or y?
-5/3
Let l(f) = f - 13. Let k be l(9). Let u be (24/(-16))/((-1)/(-2)). Which is bigger: u or k?
u
Let s = 0.023 - 0.123. Which is bigger: s or -109?
s
Let i be 2 - 3 - (-4)/2. Let t be 1/i - (-3 + 1). Is t greater than -2/9?
True
Let x be (-10)/6*-1*3. Let o be x/(-2)*1/5. Is o greater than 0?
False
Suppose y - 3*y = -32. Let t be y/(-6)*(-6)/4. Let p be ((-3)/(-15))/(t/(-10)). Which is smaller: p or 0?
p
Let a = -0.15 - -0.03. Which is bigger: a or 2/3?
2/3
Let i be (-913 + 2)*(-2)/(-16). Let v = -114 - i. Which is bigger: v or -0.1?
-0.1
Let f be 2/(-5) - (-3)/(-5). Suppose 0 = -2*w - 5*b + 26, 4*w + 4*b = 10 + 18. Let j be -3 + f + w + -2. Which is smaller: -2 or j?
j
Suppose 5*m + 0 - 10 = 0. Let g = 4 - m. Let a be 1/(g/(2 + -4)). Which is bigger: -1/3 or a?
-1/3
Let z be 1*2*(-45)/(-10). Suppose 0 = 5*c - d + 16, 3*c + 2*d + z + 11 = 0. Let r be 6/c*(-1)/(-3). Does -2 = r?
False
Suppose 2 = 2*s - 2*v, -3*s - 5 + 4 = -5*v. Suppose -25 + 1 = -s*q. Suppose 2*y = -k + 2, 3*k + 0*y - y + q = 0. Which is smaller: k or 0?
k
Let g be 2 + 9/15 + 9/(-15). Which is greater: g or 0.015?
g
Suppose 2*n - 4*b = 270, 0*n - 5*n + b = -675. Are n and 135 nonequal?
False
Let t(f) = f**2 + 6*f + 1. Let m be t(-6). Let n = -5 - -9. Let g = n - m. Is g greater than 2?
True
Let a be 26/(-12) - 1*-2. Let g be (-27)/18*2*-1. Suppose 4*h + 8 = o + 2*o, -g = h - o. Does a = h?
False
Suppose 0 = j - 6*j + 15, -5*j = f - 37. Is 25 <= f?
False
Let n = 49 + -50. Do 2/61 and n have the same value?
False
Let m be 0 + 9 + (0 - 1). Suppose u + m = -u. Which is smaller: -7 or u?
-7
Let y be ((-18)/21)/(3/(-21)). Let o be 1/(-1 - (-9)/y). Suppose 0 = 2*v + 5*i - 26, -2*v - 4*i + o*i + 14 = 0. Which is smaller: 4 or v?
v
Let z = 1/3 + 0. Are z and -2/23 unequal?
True
Suppose -3*y + 3 = -12. Suppose 5*c = -0 + y. Is 5/3 less than or equal to c?
False
Let m = -0.44 + 0.5. Let s = m + 2.94. Which is smaller: s or 2?
2
Let q = -155 - -160. Do q and 9/2 have the same value?
False
Suppose 3*b + 13 = 91. Let u = b + -18. Does 1 = u?
False
Suppose 0 = 4*c - 3*g - 11, 0 = -8*c + 3*c - g + 9. Suppose -c*l = v, v = 4*v + 2*l. Which is bigger: v or -1?
v
Let r(o) = -o - 1. Let k be r(-1). Let g(y) = y**3 + y**2 - y. Let p be g(0). Let x be -2 - ((k - p) + -3). Is 1 greater than or equal to x?
True
Let k = -3 - -2.72. Is k greater than or equal to 1?
False
Let u(s) = -s. Let k be u(0). Let r(f) = -f**3 - 8*f**2 + f + 10. Let j be r(-8). Suppose -j*o + 2*p + 7 = -5, p - 18 = -5*o. Do k and o have the same value?
False
Let c(m) be the first derivative of -8*m + 1/3*m**3 - 5/2*m**2 + 3. Let r be c(6). Which is smaller: r or -0.1?
r
Suppose 0 = 3*d - 5*o - 34, -d = 2*d - 4*o - 29. Is d less than 7/4?
False
Let t = 3