. Let o be 1/2*24/(-18). Which is bigger: o or p?
o
Suppose -2*w - 7 - 1 = 0. Let i = w + 4. Is i != 1?
True
Let c(i) = -10*i**3 - 19*i**2 - 10*i - 10. Let t(k) = -7*k**3 - 13*k**2 - 7*k - 7. Let z(x) = -5*c(x) + 7*t(x). Let y be z(-4). Does y = -2?
False
Suppose 0 = p - 0 - 3. Let j = p - 1. Suppose -1 - 1 = j*i. Is -3/4 smaller than i?
False
Suppose 0 = -3*b - 4*b - 357. Is -51 < b?
False
Let p be (-2)/7 - (-4)/14. Let m = -59/66 + 8/11. Which is bigger: p or m?
p
Let u(z) = 2*z**3 - 9*z**2 + 14*z - 13. Let p be u(3). Let x be (-1 - -5)*(-7)/(-4). Suppose -x*k + 2*k = 0. Is k greater than p?
False
Let b = 2.67 - 2.9. Let x = 0.13 + b. Which is greater: -5 or x?
x
Let c be -2*((-27)/(-18))/(6/(-26)). Which is greater: c or -2/7?
c
Let n = -79 + 239/3. Which is smaller: -22 or n?
-22
Let p(d) = d**3 - 3*d**2 + 3*d - 1. Let q be p(2). Let i = 48/19 + -1258/513. Which is greater: q or i?
q
Suppose 5*p - 2*c + 10 = -4*c, -3*p - 4*c = 20. Suppose p*g = g. Let b = -43/133 - -3/7. Which is bigger: g or b?
b
Let y(h) = -h**3 - 12*h**2 + h + 13. Let a be y(-12). Suppose -5*b = 3*g - b - 9, 5*g + 2*b = a. Which is greater: -2 or g?
g
Let g = 7772 + -7781.271. Let f = g + 0.071. Let r = f + 9. Which is bigger: r or 2?
2
Let q(j) = j + 15. Let o be q(0). Suppose -5*a + 0*a = o. Let f = a + 0. Are -3 and f nonequal?
False
Let a = 7 - 3. Let f = -4552 - -100121/22. Let t = f - -6/11. Is a bigger than t?
True
Let s(i) = i + 2. Let a be s(-6). Let r = 9 - 11. Are a and r equal?
False
Let n = -3959 + 83159/21. Let x = n + -2/7. Let a(u) = -u**2 + 5*u - 2. Let g be a(4). Which is smaller: g or x?
x
Let n = 36 + -38. Is n <= -11/7?
True
Let l(v) = v**3 + 2*v**2 + 3*v + 1. Let k(c) = c**2 - 6*c - 2. Let g be k(6). Let x be l(g). Let o = x + 6. Is o <= 0?
False
Let h be 1/(-2) - (-7)/6. Let v = -23.4 + 43.2. Let y = v + -20. Which is smaller: h or y?
y
Suppose 2*x = 7*x. Are -2/3 and x unequal?
True
Let a = 1 + 1. Suppose a*j + 4 = -0*j. Is j <= -3?
False
Let s = 9/67 + 48/1139. Is s <= 0?
False
Let s = -19102/195 + 1192/13. Let a = 28/5 + s. Which is bigger: -2 or a?
a
Let k = -3.97 + 26.87. Let w = 23 - k. Which is smaller: w or -20?
-20
Let o = -28 + 29. Which is greater: o or 1/3?
o
Let g(k) = -k**2 - 6*k + 7. Let y be g(-7). Suppose 3*l - 8 = -2*j, 3*l = 4*j - 1 + 3. Which is smaller: y or l?
y
Suppose 4*j - 2*w - 2 = 0, 2*j + w + w = 10. Let l = -3 + j. Which is smaller: l or 2/17?
l
Suppose -2*n + 3*k = -12, 0*k + 4 = 4*n - k. Which is greater: n or -2/13?
n
Let h = 4 + 1. Suppose 0 = 5*k - h*p - 45, -p + 26 = 4*k - 3*p. Let i be (-2)/(-4) + (-27)/(-6). Is i != k?
True
Let p = -31 - -30. Are p and 5/11 unequal?
True
Let o(r) = r**3 + 2*r**2 + 4*r + 2. Let f be o(-3). Is f at least as big as -20?
True
Suppose 2*b - b - 4*m = 35, -3*m = 3*b - 75. Suppose 23*p - 20*p - b = 0. Is p at most as big as 11?
True
Let m(x) = 2*x**2 - 2*x - 1. Let q be m(-1). Let g = -3 + -1. Let z = q + g. Are z and -2/5 equal?
False
Suppose k - 9 = 2*k. Let y be (-29)/k + 1*-3. Which is bigger: y or 6?
6
Let f = 8.25 - 8. Let d = f - 0.19. Is 0 != d?
True
Suppose 0 = 2*d + d. Let l(v) = -v + 4. Let s be l(0). Let o = s - d. Which is bigger: 3 or o?
o
Let f = -103 + 99. Is f smaller than -34/11?
True
Let n be ((-2)/19)/((-8)/20). Which is smaller: n or 1?
n
Let q = 2 + 2. Let b be (q/(-12))/(2/(-18)). Suppose b = -k - r, k - 6*k = -r + 27. Are -2 and k equal?
False
Let k = 363/3161 + -5/109. Let v = k - -40/261. Are v and 4 unequal?
True
Let i = -8 - -6. Let f(t) = t - 5. Let u be f(9). Suppose -2 = z + 4*v - 11, 0 = -4*z - u*v. Are i and z unequal?
True
Suppose -4*p + 232 = 6*n - 2*n, -188 = -3*p + 4*n. Let u be (-53)/p - (-3)/4. Does u = 0?
False
Let g = 2 + -3. Let s be 0 + (6/(-9))/g. Is s at most 1?
True
Let k = -0.0481 + 0.0481. Let a be (-2)/6 + 0/(-1). Which is greater: k or a?
k
Let a be 2 - 3 - (-4 + 9). Let q = -10 - a. Is q greater than or equal to -6?
True
Suppose s = 3*z - 2, -2*z + 6 = z + 3*s. Suppose -w = 2*w. Suppose w = 5*h - 5*a - 15, -2*h - a + 6*a + 15 = 0. Which is greater: h or z?
z
Suppose 0 = 3*m + m + 5*n + 6, 0 = m + n + 1. Let k be (0 - -1) + (0 - m). Suppose 24 = 4*x + 3*j + 2*j, -2*j = 4*x - 12. Is x not equal to k?
True
Let r = -11 + 13. Let n be (1/(-2))/(1/(-8)). Is n at most r?
False
Let k = -35 + 35.1. Which is smaller: k or -4/17?
-4/17
Suppose r - 4*r = -3. Let l be (1 - (-20)/(-14))*r. Which is smaller: l or 0?
l
Let f be 2/(-7) + 96/42. Let a be (6/54)/((-1)/f). Which is bigger: a or 0?
0
Suppose 3*h = 8*h - 15. Let w = 219 - 652/3. Do w and h have the same value?
False
Suppose 2*z - 16 = 2*s - 2, 29 = -3*s + 5*z. Is -16/5 > s?
False
Let b be (2 - 0)*2 - 0. Suppose -3*o + a + 11 = 0, -17 + 4 = -o + 5*a. Is b bigger than o?
True
Let n = -50/9 + 223/45. Let a = 0.6 + 1.4. Is a >= n?
True
Suppose 54*h - 51*h + 9 = 0. Which is bigger: h or -16/9?
-16/9
Let c = -9 - -12. Suppose 3*r - 3*t - 3 = 0, c*t + 6 = 4*r - 2*t. Is r less than 0?
True
Suppose 2*q - 15 = -35. Let v be ((-2)/802)/(q/3188). Let k = v + 2/401. Which is smaller: k or 0?
0
Suppose -2*z + 40 = 2*z. Is 0 > z?
False
Suppose 0 = -5*v + v - 56. Is -2/7 at most v?
False
Let z(r) = -r**2 - 4*r. Let x be z(-5). Let b = x + 2. Is -4 < b?
True
Suppose 24 = 2*f - 4*f. Let h be (99/(-22))/(f/(-2)). Does h = 1/3?
False
Let x = 8 - -97. Is 105 >= x?
True
Let w = 21 + -20. Which is smaller: -0.03 or w?
-0.03
Let k(n) be the second derivative of -4*n + 11/2*n**2 + 0 + 1/12*n**4 - 3/2*n**3. Let h be k(8). Is 3 not equal to h?
False
Suppose 3 = -3*s + 6. Which is greater: 2/13 or s?
s
Let l = 0.11 + -0.11. Which is greater: l or 2/7?
2/7
Let a be (-63)/(-12) - (-1)/(-4). Suppose a = -s + 1. Which is smaller: -3 or s?
s
Let t(d) = -d**2 + 4*d + 3. Let g be t(3). Suppose 12 - 47 = -5*x. Are x and g nonequal?
True
Let x = 3 - 2. Let p = 0.92 - 1.22. Which is bigger: x or p?
x
Let o(z) = -z**3 + z**2 - z - 8. Let r be o(0). Suppose 5*l - 2*u = -49, -5*l - 41 - 12 = -4*u. Which is smaller: l or r?
l
Let q = -9 - -8. Let u = q - -0.9. Let f be (-6)/(-30) + 4/(-10). Which is smaller: f or u?
f
Let b = -1307/9 - -145. Let n(o) = o**3 - 4*o**2 + o - 2. Let y be n(4). Suppose y*m + 0*m = 2. Is m bigger than b?
True
Suppose -99 + 24 = -5*n. Let f = 12 + 4. Which is smaller: n or f?
n
Let v = 4.3 + -2.4. Let l = -4 + 2. Let n = l + v. Is n equal to 0.1?
False
Let x be (4/(-2))/4 - 0. Let t = 6.1 + -1.1. Let b = t + -5.2. Is b bigger than x?
True
Let k(j) = j**3 + 1. Let t be k(1). Which is greater: 1 or t?
t
Let l be 1*(-3)/((-3)/4). Suppose -f = -4*b - 0*f - 10, -l*f = -8. Which is smaller: 0 or b?
b
Let d(h) = h**3 + h + 1. Let v be d(-1). Suppose 8*j = 4*j - 8. Which is smaller: v or j?
j
Let a(o) = o + 2. Let j be a(-3). Let q be (2 - -1)/((-6)/32). Let m = q + 159/10. Is j <= m?
True
Suppose -3*q + 6*q = 0. Let u = 60/23 - 974/391. Is u not equal to q?
True
Let y be (-2)/10 - (-158)/(-10). Which is greater: 0.5 or y?
0.5
Let n(k) = 4*k**3 + k - 1. Let j be n(1). Is 2 at most as big as j?
True
Suppose 11 = -3*s + 2. Let w be -4*(-2 + s/(-2)). Which is bigger: 0 or w?
w
Let n(r) = -2*r - 5*r**2 - 4 + r**2 + 3*r**2. Let z be n(-3). Which is smaller: z or -6?
z
Let r be 206/10 - -4*(-5)/(-50). Which is greater: 24 or r?
24
Suppose s - 404 = 4*k, 0*k - 3*k + 4*s = 290. Let d be k/4*282/(-54). Let a = d + -134. Which is smaller: -1 or a?
-1
Let w be (-2 + 0 + 3)*3. Suppose -l + 2*a = -w*l - 8, 4*l + 3*a = -14. Which is greater: l or 0.5?
0.5
Suppose 6*h - 12 = 3*h. Suppose -4*y = -2*y - h. Suppose -y*u - 3*o = 3*u - 17, -2*u - 4*o = -18. Do u and 0 have the same value?
False
Suppose 0 = -4*z + 7*t - 2*t + 4, -4*z + 3*t = -4. Which is smaller: 2/107 or z?
2/107
Let u(o) = -o + 4. Let x be u(7). Suppose 0*s = s. Is s <= x?
False
Let n = 81 - 77. Is n < 24/5?
True
Let w = -41/15 + 258/95. Is w != -1?
True
Let h = -6 + 6.4. Let c = 0.3 - h. Let j = -0.1 + c. Which is greater: -1/4 or j?
j
Let r(y) = y + 10. Let k be r(-10). Which is bigger: k or -2/83?
k
Let y(c) = 2*c - 11. Let a be y(6). Is 1/15 bigger than a?
False
Let c(j) = 2*j - 17. Let y(h) = -h + 9. Let f(u) = -6*c(u) - 11*y(u). Let i be f(3). Suppose q - 5*q + 12 = i. Is q not equal to 0.2?
True
Suppose 7*p = 4*p + 12. Suppose 1150 = -3*w + p*f, -f = -