 - 6 = 5*s - 2. Is 2/43 at most i?
False
Suppose m - 7 = -0*p - p, -12 = -3*p. Is m greater than 1?
True
Let j(f) = -f**3 - 8*f**2 - 5*f + 13. Let b be j(-7). Is b equal to 1?
False
Let f be ((-3)/(-2))/((-4)/(-8)). Suppose -2*p - 3*y = -6*p - 7, -f = 4*p + y. Let n be 1/(p/(-4)*-6). Which is greater: n or 0?
0
Let i = -36 - -36. Is 5/12 bigger than i?
True
Let q(l) = l**3 - 6*l**2 + 6*l - 4. Let h be q(5). Let g be -1 - (h - (-169)/28). Let f = -51/7 - g. Are 0 and f non-equal?
True
Let r = -0.91 + 6.78. Let x = r - -0.13. Let m = x + -6. Is m greater than 0.03?
False
Let v = -0.005 + 10.005. Is v less than -1/4?
False
Suppose 4*w - 1 = 3*w. Let b = 9/34 - 185/442. Is b equal to w?
False
Suppose y = -2*y. Let u(w) = 3*w**3 - w**2 - 2*w - 1. Let x be u(2). Let d be 1/5 + 7/x. Which is smaller: d or y?
y
Suppose -3*c + 9 = -12. Suppose 4*n - 8 = -2*w, -4*w + c*w = 3*n - 15. Suppose 0 = n*s + 2*s. Which is bigger: s or 1?
1
Suppose 9 = -4*k + k - 3*q, -3 = -4*k + q. Let g = k - -7. Let v = g + -8. Which is bigger: v or -2/3?
-2/3
Let v(h) = -h + 1. Let t(i) = -5*i - 6. Let m(o) = t(o) - 6*v(o). Let a be m(12). Is a at most as big as -2?
False
Let p = 94/39 - 7/3. Let j be 2 - -1*(-2 + 1). Which is greater: p or j?
j
Let r be (1 + 2)/(-261*5/(-30)). Which is smaller: r or 1?
r
Suppose 2*o + 9 - 7 = 0. Is o greater than 1?
False
Let h be 216/16 + 1/(-2). Let v(s) = -s**3 + 5*s**2 - s - 2. Let j be v(3). Is j less than h?
False
Suppose 4*n + 4*l = 156, -2*n - n + 5*l = -141. Are 42 and n non-equal?
False
Let o = 7 - 7.4. Let a = o - 0.6. Let f = 4/3 + -5/6. Which is smaller: a or f?
a
Suppose -92*t + 97*t - 15 = 0. Which is smaller: 6 or t?
t
Let c = 20 + -32. Let j = c - -12. Is j not equal to -1/3?
True
Let j = -4/13 + -14/39. Which is smaller: -4/5 or j?
-4/5
Let l = 551 + -840. Let f = l - -14737/51. Does f = 1?
False
Suppose 5*d = 4 - 14. Let r be 2/(-8) - d/8. Let a be (6/(-15))/(1/(-2)). Do a and r have different values?
True
Let a be 2/7 - 4/14. Suppose a = 2*t - 2, -2*u + 8*t - 3*t - 1 = 0. Suppose 2 = 3*b + 3*v - 4, -2*v - u = 5*b. Is -1 at most as big as b?
False
Let f = 199/3 + -70. Which is smaller: -4 or f?
-4
Let o be 2 + 21/3 - 3. Is o at least as big as 6?
True
Let c = 44 + -44. Let u = -0.1 - 0. Let a = 0.1 + u. Is c bigger than a?
False
Let a = 6.974 + 0.026. Let o = 0.3 - 0.4. Is a equal to o?
False
Let q(v) = -5*v - 3*v - 3 + 7*v - 4. Let i be q(-6). Is -1/2 at least i?
True
Let a(c) = -c**3 - 12*c**2 + 13*c + 3. Let r be a(-13). Let k be (2/(-6))/((-1)/r). Let t = 3/13 - 2/65. Which is smaller: t or k?
t
Let g(n) = n**3 + 3*n**2 + 2*n + 3. Suppose 2*p + 3*p + 3*b = 2, -4*b = -16. Let w be g(p). Is w less than 1?
False
Let g be (-1 - -4)*-1 - 1*-13. Suppose o - 6*o + 45 = 5*k, -1 = -4*o + 3*k. Suppose -o*n = n - g. Is n > 1?
True
Let g = -0.019 + 13.019. Is g less than or equal to -0.4?
False
Let z(b) = b + 2. Let q be z(-3). Suppose -2*w = 3*w. Let p = q - w. Which is greater: p or 1/7?
1/7
Suppose -4*i = 6 + 2. Let v be ((-4)/i)/(14/2). Which is bigger: v or -0.1?
v
Suppose 9 = m + 7. Let n be 35/65 - (-1 + m). Suppose 0 = 2*b - 4 + 2. Which is smaller: n or b?
n
Let b be -4 + (-410)/(-56) + 33/(-44). Are b and 0 equal?
False
Let h = -39 - -39. Which is smaller: h or 2/17?
h
Let k be (-1 + 0)/((-8)/(-2 + -6)). Is k at most -16/19?
True
Let z = 4.1 + -4. Suppose -c = -5*w - 0*c - 13, w - 4*c = 5. Let l = w - -4. Which is greater: l or z?
l
Let u be (-106)/14 - 12/28. Let z = 11 + u. Is z not equal to 0.1?
True
Let k be 1/(1/(-1 + 2)). Which is smaller: -1/9 or k?
-1/9
Let b(j) = j**3 - 5*j**2 + 4*j + 3. Let g be b(4). Is 5 at most g?
False
Let r = 13 + -19. Let q be 1456/72 - r/(-27). Which is greater: q or 19?
q
Suppose 0 = 5*k - 0*k. Which is smaller: 1/9 or k?
k
Let h = 121 - 30. Is 92 not equal to h?
True
Let x = -0.15 + -0.05. Is x at most as big as 0?
True
Let a be (-18)/(-5) - 10/(-25). Does a = 5?
False
Let b = 0.01 + 0.19. Let o = 3 + -2. Let t = 0.9 - o. Are t and b unequal?
True
Let z be (2 - 5) + 1458/492. Let f = -89/1312 - z. Is f at most as big as -1?
False
Let b = 13 - 9. Let h = -2 + b. Is 0.1 bigger than h?
False
Let r = 262/11 - 24. Which is bigger: r or 0?
0
Suppose 0*j - 4*j + 11 = -3*y, 3*y = -j + 14. Suppose 0*n = -3*w + n + 5, -y*w = -4*n - 11. Which is smaller: w or -1/8?
-1/8
Suppose -47 = -4*n - 3. Which is smaller: n or 15?
n
Suppose 0 = 3*m + 15, -v - 4*m = 19. Which is greater: v or -0.15?
v
Let c = -15.81 + 16. Let y = -0.11 - c. Which is greater: 1/4 or y?
1/4
Suppose -r - 2 = 1. Is r <= -3/2?
True
Let y = 0.9 - 2.9. Which is smaller: y or 1?
y
Suppose -f + 4*u + 4 = 0, 47 = -4*f + 2*f - 3*u. Let c be (-12)/f + 30/(-8). Is 0 at least c?
True
Suppose p - 4*w + 75 = 0, -w = -p - 0*p - 78. Is p at most -79?
True
Let d be (-1)/3 - (-20195)/(-165). Let q = d - -123. Let u(c) = -c**3 + 4*c**2 + c - 5. Let a be u(4). Is q smaller than a?
False
Let f be 6/(-8) + 27/60. Is 0 > f?
True
Let d(a) = -3*a - 10 + 3*a + 2*a - a. Let j be d(9). Is j equal to 4/9?
False
Let t = -1/4706 - 81083/17059250. Let i = 8/125 - t. Which is bigger: i or 0?
i
Suppose 0 = -4*j - 4 - 0. Let u = -0.3 + 0.5. Is j at least u?
False
Suppose -4*z + 1 - 9 = 0. Suppose 0 = -6*x + x + 40. Let v = 6 - x. Do v and z have different values?
False
Let f(l) = -l**3 - 4*l**2 - 3. Let s be f(-4). Let c = -7 - s. Which is smaller: c or 0?
c
Let u be (-8)/(-6)*(27/8 + -3). Is 2/3 > u?
True
Suppose -3*p + 3 = -3*o - 3, -2*p + o = -4. Let b be -1 + -3 - (-1 + p). Let i(u) = u**2 - 8*u - 5. Let x be i(8). Is x less than or equal to b?
True
Suppose f = -4 + 1. Are f and -20/9 non-equal?
True
Let u(b) = 4*b**2 + 3*b + 14. Let y be u(-4). Is 67 at least y?
True
Suppose -4 = -2*x - 10, f + 5*x + 13 = 0. Let k = -1046/3 - -350. Are k and f nonequal?
True
Suppose -2*l = l + 12. Let z be -3*l/6 + -1. Suppose -4 = -u - 2. Is u at most as big as z?
False
Suppose 0 = 2*s + 3*s + 200. Let u = s + 116/3. Which is smaller: 0 or u?
u
Let g be (-38)/24 + (-1)/(-4). Let q be 3 + 3*28/(-18). Let y = q - g. Which is smaller: y or 1/4?
y
Let d be 2*1 - 7/5. Let v = -67 + 68. Is d greater than or equal to v?
False
Let a(s) = -s**3 + s**2 + 4*s. Let x be a(3). Which is bigger: -8 or x?
x
Let c be (-12)/(-10)*105/6. Suppose -3*v - c = -5*j, -2*j - 3*v - 12 = -4*j. Which is smaller: j or 0?
0
Suppose 5*j = -3*z + 2, -2 = z - 0*j - j. Which is bigger: -3/2 or z?
z
Let j = 4 - 6. Let x be j/8 - 11/4. Let v(p) = -p**3 - p**2 - p + 1. Let b be v(1). Is x >= b?
False
Let y be (-4)/(-6) - 15/9. Suppose -3*u - m + 3 = 0, 0 = -0*u - u + 3*m - 9. Let i be (-2)/7 - (0 + u). Which is bigger: i or y?
i
Let b be -2*-8*(-1 - -2). Suppose 2 = -4*i - 2*z, i + 0*z - b = 5*z. Is 0 at least i?
False
Let l be (-66)/(-72) - (-2)/(-8). Is -3/7 equal to l?
False
Let i = -98 + 96. Is i at least as big as -7?
True
Let m(h) = h**2 + h - 1. Let z be m(1). Suppose -4 - z = 5*v. Which is smaller: 1/6 or v?
v
Let o = 2.1 - 2. Let a = 6 + -6.7. Is o greater than a?
True
Let y = 13/20 + -177/280. Are y and 0 non-equal?
True
Let h be 5/(-2)*(-162)/(-45). Do -7 and h have different values?
True
Let i be (-4 + 2)/(2/2). Let d be -2 + (-3 - -18) + -1. Let h be 1 - 2 - 6/d. Is h smaller than i?
False
Let z be (8/(-20))/(8/(-15)). Let p be 0/(-3) - -2*1. Suppose 0*j = p*j - 2. Are z and j unequal?
True
Suppose -21 = -3*h + f + f, 14 = 2*h + 4*f. Suppose h + 0 = o. Is 8 bigger than o?
True
Let r be (-3 + 30/4)*(-1)/(-9). Which is smaller: r or -2?
-2
Suppose 0 = -2*p + 5*d + 6, -5 = -5*p + 5*d + 10. Suppose 2*b = p*b + 5. Let l(u) = -u**3 - 5*u**2 - 3*u. Let i be l(-4). Is i bigger than b?
True
Suppose 0*h = -4*h + 20. Suppose -5*a + x = 1 + 29, 18 = -3*a - h*x. Do -7 and a have different values?
True
Let r be (2/(-6))/((-1)/39). Suppose 3*w - 29 = -5*k, 4*k + 60 - r = 3*w. Is w <= 13?
True
Let j be (3/2)/(6/(-40)). Let a(i) = -3*i**2 - 9*i - 10. Let f(l) = -7*l**2 - 17*l - 20. Let z(k) = 5*a(k) - 2*f(k). Let y be z(j). Which is greater: y or -4/3?
y
Suppose -4*m = -n + 98, -3*m = n - 5*n + 67. Does m = -24?
False
Let i = -1 - -1. Suppose n - 4*n + 4*y = -14, n + y = i. Are n and 1 nonequal?
True
Let x be (2 - 5/3)*6. Let y be 5 + x*(-3)/2. Is y at most 4?
True
Let d = 2 + -7/4. Is 0.022 greater than d