0 - 14. Are f and c equal?
False
Let n(i) = i**3 + 8*i**2 + 9*i + 10. Let m be n(-7). Let b = 2 - m. Is b >= 6?
True
Let t = -6 - -19/2. Is t at least 3?
True
Let o = 12 - 19. Which is smaller: -11/2 or o?
o
Suppose 261 = k - 2*b, 2*b - 775 = -2*k - k. Let x = k - 1291/5. Which is greater: 0 or x?
x
Suppose -10*s + 6*s - 16 = 0. Let h = 5 + -6. Are s and h unequal?
True
Suppose -34 = -5*r + 16. Suppose 2 = -2*i + w, -3*i - 5*w + r + 13 = 0. Which is bigger: i or 0?
i
Let w(j) = 2*j + 4. Let a be w(0). Which is smaller: 7 or a?
a
Let i = 8.7 + 0.3. Let u = i + -11. Let c = u - -3. Which is smaller: 2 or c?
c
Let i = -0.048 - 1.752. Does -1/4 = i?
False
Let r = -321977/7 - -45854. Let n = 144 + r. Which is smaller: 1 or n?
1
Suppose -3*l - 10 = -13. Which is greater: 1/23 or l?
l
Let n = 6 + -14. Is n >= -5?
False
Let q = 694/63 - 85/9. Which is smaller: q or 2?
q
Suppose 0*o + o = 2*a - 3, 0 = 3*o + 3. Suppose 8 = 2*i + 2. Suppose i*y + 5*l = -19, 3*l + 11 = -4. Is a >= y?
False
Let s = -2 + 2. Suppose 4*b + 3*y = -53, 44 = -2*b - s*y + 2*y. Is -16 at most as big as b?
False
Let z = -2 - 1.1. Let f = 4 + z. Let g = f + -0.7. Which is greater: g or -0.2?
g
Let j(u) = u**3 - 3*u**2 - 7*u - 4. Let b be j(4). Does 2 = b?
False
Let z = 3.3 - 2.3. Is z < 4/3?
True
Let d(t) = -8*t + 1. Let o(p) = 16*p - 2. Let k(j) = -13*d(j) - 6*o(j). Let f be k(2). Which is smaller: 16 or f?
f
Let f = -137 + 138. Which is greater: f or -3/41?
f
Let h = 12 - 69/5. Which is greater: h or -1?
-1
Suppose 5*t - 3 = -13, -5*t - 7 = -3*o. Suppose -26 = -c - 4*c + 4*j, 3*c - j = 10. Let l = c + o. Which is smaller: -1/9 or l?
-1/9
Let x be (-4)/(-18) - 48/(-756). Let s be 0/1 + 1/1. Which is bigger: x or s?
s
Let j = 9 + -17. Let h = j - -6. Which is greater: -3 or h?
h
Suppose -k + 6*k = 2*b + 61, 0 = -k + 3*b + 7. Let u = -18 + k. Let q be (-9)/u - 1 - 0. Is 2 greater than or equal to q?
True
Suppose -30*h + 4 = -31*h. Is h less than -21/4?
False
Let y = -1/2120 - 3661227/27560. Let x = 133 + y. Is 0 at most x?
True
Let c = -5 + 5. Suppose 5*w - 9 = 6. Which is smaller: w or c?
c
Suppose -2*h + 6*h - 24 = 0. Let k(b) = b - 7. Let z be k(h). Let j be 6/(-2)*((-306)/(-27) - 11). Is z at least as big as j?
True
Let s(m) = -2*m**3 + 8*m**2 + 5*m + 2. Let a be s(6). Let b = a - -1119/10. Is b less than or equal to -1?
False
Suppose -2*t - 6*j = -7*j + 4, 2*j = 5*t + 8. Let y be 12/(-15) - 44/70. Which is smaller: t or y?
y
Let q = 24 - 25. Let r be (2/16)/(2/(-12)). Let x = -9/4 - r. Is q less than x?
False
Let p be -1*2/12*-2. Suppose 0 = -2*x + 6*x - 4*n - 60, -3*x - n + 25 = 0. Let y be x/(-6) - 12/36. Is p != y?
True
Let u be 4 - 2 - (0 - 7). Suppose 0 = -5*k + u*k. Is 0.4 at least k?
True
Let x = -2 - -3. Let g(b) = -b**3 - 4*b**2 + 3*b - 4. Let i be g(-5). Let n be 4/6*i/(-22). Is n greater than or equal to x?
False
Let z = 21 + -22. Let g = -0.2 + 0.16. Let v = g - 1.96. Is z greater than v?
True
Suppose -80 = -5*h - 0*h. Is 16 bigger than h?
False
Let a = -9.7 - -11. Let t = a + -1.1. Which is smaller: t or 3?
t
Let k = 23 - 20. Which is smaller: -2 or k?
-2
Let y = 6 + -4. Suppose -v - 2 = g, y*v - 3*v + 1 = 4*g. Let w = v - -5. Which is smaller: 0 or w?
0
Let f = -18/35 + 312/1015. Let p = 40/87 - f. Is 3 at least as big as p?
True
Suppose 4*k - 13 = -3*o + 2*k, 5*o + 2*k = 15. Let t be 2/(-1) - -2 - o. Let s be 3/(9/t) + 1. Which is smaller: -3 or s?
-3
Let h(r) = -r**2 - 5*r - 4. Let s be h(-4). Let z = -2 - 0. Let w be z/(3/(6/(-4))). Which is greater: w or s?
w
Let a be (24/90)/(4/(-6)). Is 18 greater than or equal to a?
True
Let i = 25 - 29. Are 1/3 and i nonequal?
True
Let n = -5 + 4. Which is smaller: -1/7 or n?
n
Let v be ((-1)/(-2))/((-3)/(-6)). Let a = 4 - 4. Suppose a = -g + 2. Is g bigger than v?
True
Let j = -3.91 + 0.01. Let l = j - -4. Suppose -b - 2*b + 4*z = -6, -2*z = 2*b + 10. Which is smaller: b or l?
b
Suppose c + m - 2 = -0*c, -5*c + 18 = 3*m. Which is smaller: c or 5?
5
Let d = 18/359 + 3496/30515. Let k = d - -4/17. Let v be 4/(-6) - (-4)/6. Which is bigger: k or v?
k
Let n be (-23)/4*-2 + -3. Which is greater: 2/3 or n?
n
Let k be 2/2 + -4 - 0. Suppose 4*a = -3*c - 1, -5*c - 2*a - 11 = -0*c. Is k bigger than c?
False
Suppose 0 = 4*z + 5*n + 8 + 3, -3*n + 7 = -z. Are -4 and z non-equal?
False
Let x = -8 - -4. Let c = 1 + x. Let r = -15/2 - -8. Is c not equal to r?
True
Suppose -3*w = 6, 2*o + 0*w + 5*w + 6 = 0. Suppose 4*z = -5*q + 42, -q - o*z + 9 + 3 = 0. Are q and 7 non-equal?
True
Let b be (8/30)/(22/55). Which is greater: b or 1/2?
b
Suppose 4*l + 16 - 41 = 5*p, 0 = 4*p - 4*l + 16. Let x be 3/4 - p/(-12). Suppose 0 = -w - x*w + 2. Is 2 less than w?
False
Let y = 14 - 11. Suppose -y*q + q = 0. Are q and 6/17 equal?
False
Suppose 2*t = 5*w - 0*t - 2, 0 = -3*w + 4*t - 10. Which is greater: w or 6?
6
Let y be 5/15 - 685/(-15). Is 48 at least y?
True
Let a = 8.3 + 8.7. Which is smaller: -0.1 or a?
-0.1
Let d be (-10)/(-48)*(-8)/(-20). Let t(z) = z + 1. Let s be t(3). Suppose -5*y - s = -y. Is d greater than y?
True
Let l(u) = -3*u**3 + u**2 - 4. Let j(z) = 5*z**3 - z**2 + 6. Let b(w) = 5*j(w) + 8*l(w). Let k be b(-2). Let y = k + -2. Which is greater: y or -1/2?
y
Suppose -3*d + 5*k = -19, 2*d + 2*k - 3*k = 1. Is -2/77 > d?
True
Let m = 19 - 21. Which is smaller: -4 or m?
-4
Suppose 59 = 4*l + 19. Let n be l/2*(-8)/(-10). Is n <= 4?
True
Let v be (4/(-48))/((-4)/90). Do 3 and v have the same value?
False
Suppose 0 = -z - 3 + 2. Which is smaller: z or -2/13?
z
Let v be (-11670)/(-418) - -2*1. Let r = v - 332/11. Let k = r - 4/57. Is 0 greater than k?
True
Let w be (-5)/((-10)/6) - 1. Let j = w + -2. Suppose -5*m + 4*m = j. Is 0.1 smaller than m?
False
Let c = 436/7 + -45323/728. Is c equal to 1?
False
Suppose -2*g + 4*k + 9 = -5*g, 0 = 3*g - 5*k - 18. Let u be (3 - g) + (-2)/(-2). Suppose n - 4*n = u. Is n at least -2?
True
Let y be ((-24)/32)/((-3)/(-2)). Do -1 and y have different values?
True
Let s be 256/(-280) - (-1)/5. Is s bigger than -2?
True
Let i = -13 - -12. Do i and 1/2 have different values?
True
Let z = -56 + 54. Which is bigger: -4 or z?
z
Let o = -3 + 2. Is -12/11 bigger than o?
False
Let w(z) = z + 10. Let n be w(17). Suppose -2*y - 22 = -4*t + 6, 3*y - t = -n. Which is greater: -7 or y?
-7
Let l = 5133/65 - 79. Which is smaller: l or 1?
l
Let r = -23 + 35. Suppose 2*p - 5*p = -r. Suppose 5*w + 5 = p*j + j, -7 = 4*w - 5*j. Which is greater: 3 or w?
3
Let g = 16/79 + 1231/553. Is 3 at most as big as g?
False
Suppose 0 = 4*c - 5 + 13. Let j(n) = n**2 + 12*n + 14. Let q be j(-11). Let o = c + q. Is o smaller than 2/15?
False
Suppose 0 = 4*u + 2*y - 7 - 7, 2*y = 3*u. Suppose -28 = 3*r + u*x, 3*r + 2*x + 48 = -2*r. Let k be r/(-15) - (-2)/(-4). Does k = 0?
False
Let d(x) = -16*x**3 - 2*x**2 + 2. Let m be d(-1). Which is greater: 15 or m?
m
Let j be (-2)/14 + (-4797)/(-63). Suppose 2*v + v - 204 = 0. Let r be 2/2 - j/v. Is 0 at least as big as r?
True
Let a = 1.2 - 0. Let g = 1.1 - a. Does g = -2?
False
Suppose 0 = 2*d + 3*b - 7, d + 4 = -b + 5. Suppose x = -0*x - 4. Are d and x unequal?
False
Suppose 0*b - 2*b + 2*s = 0, -s = -4*b + 12. Suppose -4 = -2*h - 6*x + 4*x, 3*x = -h + b. Which is smaller: 2/35 or h?
2/35
Let q = 0.07 - 0.09. Let m = 0.98 - q. Which is smaller: -2 or m?
-2
Let s(t) = t - 10. Let j be s(0). Let h be 4/(-6)*j/(-15). Is 0 < h?
False
Suppose -2*c + 0*r + 4 = -2*r, -3*c = -r. Which is smaller: -2/9 or c?
c
Let y = 4 - -1. Is y greater than or equal to 3?
True
Let z be (104/39)/((-1)/3). Suppose i + 2*y = -0*y - 8, -16 = 2*i + 3*y. Are z and i equal?
True
Let o be 0 - (-1 - (8 + 1)). Let g(t) = t**3 - 10*t**2. Let f be g(o). Let h be f + (1 - (-39)/(-33)). Is h at least 0?
False
Let i(c) = -c**2 - 12*c - 30. Let p be i(-9). Which is smaller: p or -14/5?
p
Let b = -2603/8610 + 2/861. Which is smaller: 0 or b?
b
Let p(z) = 2*z + 45. Let u be p(-19). Are u and 7 equal?
True
Let m(y) = 6*y**2 + 2*y + 4. Let g be m(-2). Which is greater: 25 or g?
25
Suppose 5 = 3*u - 2*u. Suppose -8*o + 3*o + u = 0. Let c be 0*(-5 - (-5 + (-4)/8)). Which is bigger: c or o?
o
Let z(p) be the third derivative of -p**6/120 + p**5/10 - 5*p**4/24 - 7*p**3/6 - 7*p**2. Let m be z(5). Which is smaller: m or -5?
m
Let o be (-4)/(-14) - 83