
Let o(b) = b**2 - b - 1. Let n be o(-1). Is 4/5 > n?
False
Let p = -2 + 3. Let f(r) = -r**3 - r**2 + 3*r - 4. Let l be f(-3). Let g(m) = -m**3 + 6*m**2 - 5*m. Let y be g(l). Is p greater than y?
True
Let b be (-1)/((-2)/48*-4). Let a(v) = 6*v + 2 + 3*v**2 + 4*v**2 + 1 + v**3. Let k be a(b). Which is greater: k or 3/2?
k
Let t = -16 + 8. Let v = 8 + t. Is v > -2?
True
Suppose 9 + 10 = 5*s + 4*r, 14 = 3*s + 5*r. Suppose -s*k + 19 + 2 = 0. Is 6 > k?
False
Let d be (8/20)/(8/60). Is 2 greater than or equal to d?
False
Suppose 4*d - 10 = -2*o, -4*o + 11 = -0*d - d. Let s = -4 + d. Let f be (1/s)/(4/12). Is -1 greater than f?
False
Let r be (((-84)/175)/3)/(2/5). Is -1/5 <= r?
False
Suppose -3*f + f = 0. Let c = -16 - -18. Is f not equal to c?
True
Suppose 2*c = 4*z + 41 + 13, 4*z = 4*c - 108. Do 27 and c have the same value?
True
Let x be 58/(-48) + (-11)/(-33). Which is smaller: 0 or x?
x
Let b be -3 - (2 + (-2)/(-2)). Let j = b - -11. Does j = 5?
True
Let t(n) = -8*n**3 + 7*n**2 - n - 8. Let q(j) = -7*j**3 + 6*j**2 - j - 7. Let c(i) = -7*q(i) + 6*t(i). Let f be c(0). Is f != 2/9?
True
Let k = 1.6 + -1.5. Which is bigger: k or -0.05?
k
Let y be (0 + 1 + -1)*1. Suppose -j - 3*j = y. Let t = -207 + 2279/11. Which is smaller: j or t?
j
Suppose 4*u + 3*u = 0. Is u less than or equal to 2/131?
True
Suppose 4*f - 10 = -5*r - 38, -3*r = -3*f + 6. Let o be 4 + r - (-4)/(-34). Is o at least as big as 0?
False
Suppose -61 - 65 = -3*u. Which is smaller: 41 or u?
41
Let n(k) = -k**2 + 7*k - 2. Let l be n(6). Let q be l/(-7)*(-1)/(-2). Let w = -6.4 - -6. Which is bigger: w or q?
q
Let k be 2/3*(-12)/(-8). Suppose -11 = 5*j - 3*r, -4*j + 3*r = 4*r + 2. Is k greater than or equal to j?
True
Let p = 554/63 + -74/9. Let a = -4 + 8. Let k = 4.1 - a. Is k != p?
True
Let i = -12 + 18. Let c = -8.5 + 8.3. Is c at least as big as i?
False
Let k be (-4)/(224/(-92))*-2 + 3. Which is bigger: k or 0.07?
0.07
Suppose -m = -2*m. Let i(q) = -q**3 + 13*q**2 - 11*q - 8. Let w be i(12). Suppose 2*f + 3*u - w = m, 3*u - 8 = -2. Which is greater: f or 1?
1
Let d = -0.06 + 0.18. Do d and -1 have the same value?
False
Suppose -3*k = -0*k - 6. Are k and 0.07 nonequal?
True
Let j = -5 + 6. Let a be -5*((-3)/(-5) - j). Do a and 1 have the same value?
False
Let d be 0*2/(-4) - 0. Which is greater: d or -3?
d
Let l = 20 - 19.9. Let g = -4 - -2. Is g greater than l?
False
Suppose -i - 8 = 3*i. Are -5/4 and i equal?
False
Let y = -2/169 - 503/338. Is y equal to -3/7?
False
Suppose 0*t = 4*c - t - 43, -c - 3*t + 27 = 0. Let p be 1/4 - (-9)/c. Is 1/21 greater than p?
False
Let z be -44 - 3*(-4)/6. Let k be 4/z*(-2 - 1). Which is bigger: -1 or k?
k
Let y be 495/175 - 3/(-5). Do 2 and y have different values?
True
Let p be 1/(1/1)*-3. Suppose h - 3*h - 6 = s, s = 5*h + 8. Which is bigger: p or s?
s
Let g = -0.18 + -0.04. Let r = g - -0.25. Is r at most 0?
False
Let q be 3/(-15)*(19 - 1). Which is smaller: -5 or q?
-5
Let h = 0.05 - 1.05. Let w = 0.9 + h. Let p = 0.3 - 0.1. Is p bigger than w?
True
Let u = -1.51 - -0.51. Let y = 0 + 0.2. Let p = -0.2 + y. Is p less than or equal to u?
False
Let s(b) = -2*b + 26. Let n be s(13). Are -2/13 and n nonequal?
True
Let t = -21 + 21. Which is smaller: t or -1/6?
-1/6
Let z = 2.06 + -0.06. Let m = z - 1.8. Let i = m - 0.1. Which is smaller: i or -3?
-3
Let q(l) = l**2 - 12*l - 43. Let n be q(15). Let s be (-2)/7 - (-9)/7. Let g(b) = -b**2 + 1. Let a be g(s). Which is bigger: n or a?
n
Let c = 1/4 - 7/12. Let w = 3/34 + 7/17. Is c < w?
True
Let d(t) = t**3 + t**2 + t + 1. Let m(s) = 2*s**3 - 11*s**2 + 17*s - 14. Let g(i) = d(i) - m(i). Let x be g(11). Let q be 6/x + (-3)/12. Is -1/6 not equal to q?
True
Let o(t) = 16*t - 66. Let y(a) = 3*a - 13. Let g(p) = 2*o(p) - 11*y(p). Let j be g(10). Are j and 1/5 nonequal?
True
Let j be ((6/(-4))/3)/((-4)/(-1)). Which is greater: 1 or j?
1
Let l = -21503 - -128699/6. Let x = -53 - l. Let b = 0 + 0. Which is greater: b or x?
x
Suppose 0 = 3*k + 3 + 3. Let y(g) = g**2 - 7*g - 2. Let l be y(7). Are l and k non-equal?
False
Suppose -3*n + 1 - 4 = 0. Which is smaller: -11 or n?
-11
Let x be (-3)/(-1)*(-2 + -2). Let b be 2*-2*(-9)/x. Let d = -18 - -16. Is d bigger than b?
True
Let p(b) = -b**2 - b + 2. Let u be p(-2). Suppose 6*k - 4 = -10. Let i = u - k. Is i at most as big as 2/11?
False
Suppose -2*j = -0*w - w + 121, -4*w = -5*j - 493. Let n = w - 642/5. Are n and -1 equal?
False
Let z be 3*(-4)/(-7 + 3). Is z smaller than 2?
False
Let n(r) = r**3 + 4*r**2 + 2*r - 4. Suppose 0 + 4 = c, -2*p = 4*c - 10. Let q be n(p). Let i(w) = w**2. Let z be i(q). Is z at least as big as -1/5?
True
Let i be 8/(-6)*6/(-4). Let u = -10 - -14. Suppose -4*f - 2*x = -8, 0 = 2*f - 3*x + 2*x - u. Is f at least as big as i?
True
Let j be (-3)/((-99)/30 + 3). Is 10 greater than or equal to j?
True
Let c(l) = l**3 + 2*l**2 + l + 1. Let j be c(-1). Let o = -725/11 - -66. Is j >= o?
True
Suppose 9 = 5*o - 1. Suppose 0*y = y + o. Let l be ((48/(-69))/4)/y. Is 1 greater than l?
True
Let g(d) = d**3 - 7*d**2 - 2*d + 14. Let c be g(7). Is c less than 5?
True
Suppose d - 3*d = -16. Let u be (1/4)/((-3)/d). Let z = 8 - 8. Is z at least as big as u?
True
Let t = -134 - -134. Which is greater: t or 3?
3
Let o(a) = a + 7. Let b be o(-7). Let q = b + -1. Let i be (q - 6/(-9))/1. Which is smaller: -1 or i?
-1
Suppose -g = 5*d + 24, -3*g - 5*d + 3*d = 7. Which is greater: g or 2/11?
g
Let u = -4 - -3.8. Let q = -6 + 6.1. Which is smaller: u or q?
u
Let q = -100/7 - -1193/84. Suppose 2*w + 4*t - 18 = 0, -3*t = -5*w - 7*t + 21. Which is bigger: w or q?
w
Suppose -y + 4*y = 675. Suppose y = 4*l + l. Let o = l - 181/4. Is o bigger than 1?
False
Let j(c) be the third derivative of -c**4/24 + 5*c**3/6 - 2*c**2. Let f be j(5). Which is smaller: f or -2/3?
-2/3
Let o be 0/(-1) - 3 - 0. Let x be o/2 + (-9)/(-2). Suppose 3*p - p = 5*z - 2, 0 = -2*p - x*z - 2. Which is smaller: 1/4 or p?
p
Let u = -527/7 + 75. Is -7/3 greater than u?
False
Let i = -54.8 - -55. Which is smaller: i or -2/7?
-2/7
Let s = -36 + 34. Is s not equal to 2?
True
Let r be 8/52 + 10/(-234). Is r >= -1?
True
Let g be (-159)/(-360) - 8/20. Is g >= 0.1?
False
Let v(o) = o**2 + 1. Let u be v(-1). Is 2 at least as big as u?
True
Let c = -2 + 2. Suppose 29 = 5*r + 9. Let v be (-1 + 10/r)/(-3). Which is smaller: c or v?
v
Let j(u) = -2*u**3 - 41*u**2 - 21*u - 4. Let q be j(-20). Do 14 and q have different values?
True
Let i = 130 - 1559/12. Is i smaller than 1?
True
Let p be (-1)/3 - 40/(-30). Let u(q) = q**2 - 5*q + 3. Let l be u(5). Let m be 0 + l/6*4. Is m smaller than p?
False
Let a be (-2)/(4/(-1) + 6). Which is bigger: a or -9/5?
a
Suppose -17 = -2*s - 1. Suppose s = -4*p, -2*p + 2 = -0*d - d. Let t be (d/(-9))/(4/(-6)). Is 0.6 bigger than t?
True
Let p(s) = -2*s - 4*s - 1 + 2*s. Let d be p(-1). Suppose -2*l - 3*l = 3*r - 25, 5*r - 31 = -d*l. Which is smaller: l or -2?
-2
Let j = -27 - -22. Is j less than or equal to 1?
True
Let o = 1.08 - 0.58. Which is smaller: 5 or o?
o
Suppose -6*w = -18*w + 12. Is w < 1?
False
Let l be 0 - (-16)/(0 - -2). Suppose -2*w - 3*w - 4*j = -28, 0 = 5*w + 2*j - 24. Let g be (-6)/w*l/12. Is g equal to -2/5?
False
Let p(l) = 5*l - 21. Let w(r) = 3*r - 14. Let h(t) = -5*p(t) + 8*w(t). Let f be h(-6). Let z be 1/(-16)*(2 - 4). Which is smaller: f or z?
f
Let r(k) = -10*k - 26. Let v be r(-3). Suppose 8*n - 3*n - 10 = 0. Is n bigger than v?
False
Let d = 0.15 - 0.18. Let s = -0.07 + d. Is -0.2 at least s?
False
Let j(s) = s**3 - 6*s**2 + 7*s - 11. Let v be j(5). Which is smaller: v or -1/14?
v
Suppose 19 = -2*m + 5*c, 5 = -5*m + c + 3*c. Is 1 less than or equal to m?
True
Let l = -67/21 + 20/7. Let x(y) = 6*y**2 + y - 1. Let i be x(1). Suppose 2*r = -0*r + i. Which is smaller: r or l?
l
Let u = -214/55 + 19/5. Which is smaller: -1 or u?
-1
Let p = 13 + -7. Let z = p + -8. Do 0.3 and z have the same value?
False
Suppose -26*v + 22*v = 4. Let s be v/((-2 + 4)/2). Do s and -2/55 have the same value?
False
Suppose 0 = -q + 2*t + 32, 2*t = 4*q - 0*q - 122. Let o be q/8*2/5. Is o at least as big as 1?
True
Suppose -5*i - 48 = -i. Let z = i - -17. Suppose z*d = -4*j - 29, -j - 2*j - 2*d - 13 = 0. Which is smaller: j or 2/5?
j
Let a(j) = -j - j - 3 - 1. Let u be a(-3). Whi