ig as r?
True
Let y(s) = 4*s - s**2 - s + 3*s + 1. Let x be y(6). Suppose 0*n = -3*n - v + x, n - 4*v + 4 = 0. Which is greater: n or 1?
1
Suppose -j = -2*h + 4*j + 18, j - 6 = -2*h. Let y = 0 - h. Let a be (y + 0)/(6/(-9)). Which is smaller: a or 5?
5
Let m be (2/8)/((-22)/(-88)). Which is smaller: m or -1/16?
-1/16
Suppose -5*x - 4*s + 45 = -0*x, -x + 9 = -s. Let k = 4 - x. Let c(f) = f**3 + 6*f**2 + 5*f. Let j be c(k). Which is smaller: -1/8 or j?
-1/8
Let z(j) be the second derivative of j**5/20 + 7*j**4/12 + 5*j**3/6 - 3*j**2/2 - j. Let w be z(-6). Let r be 3*(-2 + (-16)/(-6)). Which is smaller: w or r?
r
Let w be 2/(-7) + 69/21. Suppose w = x - 0*x + 3*d, 2*x + 4 = 4*d. Do 2/3 and x have different values?
True
Let d = 5 - 0. Suppose 3*i + 9 = -4*c + 2*i, 0 = -3*c - d*i + 6. Let b = -1.9 - -2. Is b smaller than c?
False
Let j be 1 + 3 - (-1 - -2). Let v be 227/j + (-4)/(-6). Let i = -77 + v. Is i <= 0?
True
Let i = 54.4 + -4.4. Which is greater: i or 0.1?
i
Let u(n) = n - 3. Let q be u(7). Let x(g) = -g**3 + 7*g**2 - 4*g - 7. Let b be x(6). Suppose -q*h - h = b. Which is greater: 2 or h?
2
Let y be 14/18 + 0 + -1. Let a = 3.6 - 0.6. Let t = -3 + a. Which is greater: y or t?
t
Let j(g) = -4*g + 37. Let o be j(9). Let f = 71/148 + 10/37. Is o < f?
False
Suppose 6 = 2*s - 40. Is s less than 22?
False
Let p = 1.7 + -1.8. Is p bigger than -1.5?
True
Let r = -1/105 - 61/210. Suppose -7*p + 4*p = 0. Which is smaller: r or p?
r
Suppose 0 = -5*i + 4*a + 605, 0 = 2*a + 9 + 1. Let o be 2/13 - 57/i. Are -0.3 and o equal?
False
Let h = -19 - -17. Is -20 at least h?
False
Suppose u - 4*r + 8 = r, 3*u = -2*r + 10. Let p = -7 + 12. Which is smaller: p or u?
u
Let l = -2 + 1.9. Let i = -0.6 + -0.2. Let t = -0.2 + i. Is l < t?
False
Let u be 1/(-3) - 4/(-33). Let c = 5/11 - u. Is 2/3 smaller than c?
False
Let o be ((-1)/(-1) - 1) + 2. Which is bigger: -2 or o?
o
Let y be 19/57 + 2/102. Which is greater: y or 1?
1
Let j = -39 - -32. Are -5 and j unequal?
True
Let c = 35 + -29. Which is greater: 3 or c?
c
Suppose 0 = 4*k - 16, 4*b + 0*k + 3*k = -168. Is -45 smaller than b?
False
Let b = 26 + -25. Which is smaller: b or -9?
-9
Let d = -0.02 + -20.98. Let j = -18.94 - d. Let y = -0.06 + j. Is 0.4 at least as big as y?
False
Let u = 0.3 + 2.3. Let a = u + -0.6. Which is greater: -1 or a?
a
Suppose -4*f = -11*f. Does 2/3 = f?
False
Suppose -4*b - 2*h + h = -23, 0 = -b - h + 8. Suppose 3*o - b*o = 0. Let i be 3 + o + -2*1. Is 2/7 != i?
True
Let w = 21922 - 7190441/328. Let l = -2/41 + w. Let b(z) = z**3 + 4*z**2 - 5*z - 1. Let s be b(-5). Which is greater: s or l?
l
Suppose 2*d = -2*d. Is 2/91 not equal to d?
True
Suppose 1 - 7 = 2*j. Is -3 > j?
False
Let x be 35/(-21) - (-1)/(-3). Are 0.06 and x non-equal?
True
Let t(a) = 35*a**3 + 2*a + 1. Let m be t(-1). Let b = 6 + -9. Let q be b/m*-2*2. Is q > -4?
True
Let f(w) = w**2 + w - 3. Let m be f(-2). Is 1/22 <= m?
False
Suppose -2*g + l + 17 = 0, -7*l = -2*g - 3*l + 8. Suppose 3*v - 50 = -2*v. Do g and v have the same value?
True
Let c = -8 + 19. Suppose -3*d + c = -4*m, 2*m - 4*d - 5 = -13. Do m and -3 have the same value?
False
Let p = 11 + -9. Let z = p - 9. Let o = 3 + -2.9. Is o at least as big as z?
True
Let r be -25 - -26 - 106/(-4). Is 0.1 > r?
False
Let t = 15 + -16. Which is greater: 1/51 or t?
1/51
Suppose -5*i = -67 - 338. Let h = i + -566/7. Suppose -1 = 2*m + o, -2*o = 5*m + o + 2. Which is smaller: h or m?
m
Let f = -2413 + 9837/4. Let s be (-139)/(-3) + 2/(-6). Let r = f - s. Is -1 less than or equal to r?
True
Let o = 551.31 - 646.3. Let d = 97 + o. Let f = 0.01 - d. Is f <= 0.1?
True
Let u = -45 - -44. Which is smaller: u or -5/11?
u
Let f(y) = y**2 + 4*y + 5. Let r be f(-3). Suppose 16 = 2*p + r. Is p >= 7?
True
Let k be (2/(-2))/((-5)/20). Suppose -k*p - d = -35, -p - 2*d - 4 = -6*d. Which is greater: p or 10?
10
Let u be (-1)/6*(-4)/3. Let k = 2 + 0. Suppose 4*q - 5 = t, 2*t + 10 = -0*q - k*q. Which is smaller: u or q?
q
Let w = -5567/3 - -1837. Let s = -18 - w. Which is greater: 1/4 or s?
s
Let o(f) = f**2 + 11*f + 18. Let t be o(-8). Let y = -24 - -54. Let c be 4/t - (-14)/y. Which is bigger: c or 1/2?
1/2
Let r(a) = -a**3 + a**2 - a + 11. Let d be r(0). Suppose -w - 5*m = -7, 2*w - d = -2*w - 3*m. Suppose -w*s + 0*s = 0. Which is smaller: -2/7 or s?
-2/7
Let v = -3 + 2.8. Let w = -27 + 48. Let b be 6/w + 92/(-28). Is v >= b?
True
Let h = 15 - 16. Suppose 10 = 2*j + 3*j. Suppose -j = -4*s - 6. Is h smaller than s?
False
Let j(p) = 5*p + 5. Let n be j(5). Let g be (20/n)/((-4)/(-6)). Do g and 2/5 have the same value?
False
Suppose 0 = u + 4 - 1. Suppose -2*o = -4*o + 12. Let t be 1/((-15)/o + 2). Which is smaller: u or t?
u
Let y = 5 + -1. Are 9 and y nonequal?
True
Let d = 20 - 21. Do d and -2/49 have the same value?
False
Let c be 0 + 0/(-1) + 2. Suppose 2*f + 0*f + 2 = -2*a, -10 = c*a. Let u = 4 - f. Which is smaller: -3 or u?
-3
Let o(z) = z - 6. Let s be o(12). Is 15 at most s?
False
Suppose 2*s = 2*m + 2, -3*s + 5*s + 7 = -m. Is s smaller than -3?
False
Let z = 0.2 - -0.1. Let a = 0 - z. Let u = a - -0.1. Is -1 <= u?
True
Let b = -10 + 8.6. Let f = b - -1.3. Which is smaller: f or 3?
f
Suppose -81 = 4*o - i - 2*i, o + 3 = -5*i. Which is greater: o or -17?
-17
Suppose -9 = 2*x + x, -d = -3*x - 10. Suppose o + 2 = d. Is 1/8 smaller than o?
False
Let a be (1/9)/(-5 + 22/4). Which is smaller: 0 or a?
0
Suppose z = 3*p + 6*z + 11, 3*z = -3*p - 9. Let b be (p/(-8))/(4/(-40)). Which is smaller: b or -3?
-3
Suppose 3*a + 4 = 13. Let m be (-3 - -1) + 270/75. Is a less than m?
False
Let p be ((-4)/30)/(299/65). Which is bigger: p or 0?
0
Let p(t) = t**2 - 5*t - 5. Let b be p(6). Which is bigger: b or 3/5?
b
Let w(n) be the first derivative of -n**4/4 + 5*n**3/3 - n**2 - 7*n + 3. Let x be w(3). Is 5 smaller than x?
False
Suppose -4*o + l = -3, -3*l - 6 = 4*o + 3. Which is bigger: 1 or o?
1
Let g = -0.4 + 0.4. Let c be 1/((-1)/22) + -1. Let i = c - -71/3. Which is smaller: g or i?
g
Let z be 1/2 + (-126)/(-28). Do 6 and z have the same value?
False
Let l be (-14)/56 - 130/(-8). Which is bigger: 19 or l?
19
Let i be (-172)/(-22) - 6/(-33). Let w be i/(-20) + 27/105. Which is smaller: w or 1?
w
Let d = 58.7 - 55. Let f = d - 4. Let q = 0.2 + f. Is 0 greater than q?
True
Suppose -6*v + v = 20. Let y(b) = -b**3 - b**2 - b - 12. Let q be y(0). Let z(k) = -k**3 - 11*k**2 + 12*k - 3. Let u be z(q). Which is bigger: v or u?
u
Let u = 3 + -2. Let w = 0.14 + 0.06. Is w bigger than u?
False
Let o = 338 + -354.1. Let x = -16 - o. Is 14 less than or equal to x?
False
Let b = -1645/4953 + -2/1651. Let v = 1.3 + -0.3. Which is greater: v or b?
v
Let j be 0*(1*-2)/2. Let z = 11 + -14. Let c be 2/z*(-3)/18. Is j smaller than c?
True
Let q be 2/5 - (-12)/(-15). Let u(v) = -v**2 + 5*v - 2. Let i be u(3). Suppose -4*w + 2*z = -i, 3*z = w - 2*z - 1. Which is bigger: w or q?
w
Let m(f) = -2*f**2 + 47*f + 31. Let d be m(24). Which is greater: 36/5 or d?
36/5
Let h = 60 - 59. Let f = 8 + -11. Is h smaller than f?
False
Suppose 0 = -g + 2 + 7. Let n = 9 - g. Is 7 at most n?
False
Let y(l) = -l**3 + 7*l**2 - 4*l - 3. Let g be y(6). Let z be 2 - (1 + 0) - g. Which is greater: z or -7?
-7
Suppose 0 = 2*z + z - 30. Let v = 10 - z. Which is greater: v or -3/10?
v
Let d = 0.039 + 3.661. Let h = 0.7 - d. Let p = h + 3. Which is bigger: p or -2?
p
Let r = -12 - -10. Which is greater: -3 or r?
r
Suppose -3*r + 7 = w - 5*r, 4*r = -w - 17. Let s = -194 + 1153/6. Is w equal to s?
False
Let a be (-7)/(-3)*(-2)/(-10). Let g = -1/3 - a. Is g less than 0?
True
Let m(v) = v**3 + 7*v**2 - 7*v + 8. Let g be m(-8). Let j = 6507/23 - 283. Which is smaller: j or g?
j
Let w = -6347/1985 - 1/397. Which is greater: -4 or w?
w
Let u be (-2 - -1)/(1*3). Let j = -17 + 19. Are u and j non-equal?
True
Let c(v) = -5*v - 3. Let p be c(-3). Let z = 3 + p. Let j be ((-2)/(-3))/(z/9). Are -1 and j unequal?
True
Let b = -6 + 3. Is 3 smaller than b?
False
Let d be 0 + 8/4 - -12. Let n be (2/d)/((-2)/4). Which is smaller: n or 2/3?
n
Let g = -2.12 - -0.12. Are g and -1/17 unequal?
True
Let k(h) = -h**3 + 7*h**2 - h + 5. Let d be k(7). Let w be d/((5/(-2))/(-1)). Suppose -3*i - 3*j = 4 + 2, -8 = 3*i + 4*j. Which is smaller: w or i?
w
Let h be -1 + -8 - (-4 +