 k?
True
Let m(p) = p**3 - p**2 - p + 14. Let k be m(0). Is 13 equal to k?
False
Let g = -2113/3 + 692. Let c = g + 12. Which is greater: c or 1?
1
Suppose -2*o + 13 = -z - 2*z, 4*o = 3*z + 23. Suppose 0 = -3*q + 6*q - 189. Let n = 316/5 - q. Is z at least n?
False
Suppose 4*i = 5*i - 4, -4*d - i + 24 = 0. Let m = -6 + d. Is m < -3/4?
True
Let u = 0.15 + -34.15. Which is greater: u or -1?
-1
Let z = 17 + -35/2. Let s = -143477/170 + 844. Let n = s + -367/1530. Which is bigger: n or z?
n
Let n = 26.9 + -28. Let w = -1.1 - n. Which is greater: w or -6/5?
w
Suppose 0 = -4*a + 26 - 222. Let l be 0 + -1 + a/(-35). Which is bigger: -1 or l?
l
Suppose 0 = 4*i + 2*r - 8, i + 2*r + 3 = 8. Which is smaller: 2 or i?
i
Let z = 1/176 - 377/4400. Let p = -4 - -4. Do z and p have the same value?
False
Suppose -2*t + 64 = 4*g, 2*g - 2*t + 46 = 5*g. Suppose 4*b - g = b. Suppose -b*o = -o - 5. Does 0.2 = o?
False
Let d be 6 - ((-3)/(-1) + -1). Suppose -5*f - 3*s - d = 0, 2*f + 0*s = -3*s - 7. Is f equal to 2?
False
Let d(v) = 2*v**2 - v + 1. Let f be d(1). Which is smaller: 4/7 or f?
4/7
Let t = 3 + 3. Let r = -9 + t. Do -2 and r have different values?
True
Let d = -1/9 - -250/9. Let u = -28 + d. Which is bigger: u or -0.2?
-0.2
Let q be (-76)/12 - (-1)/3. Let g = -32 + 22. Let h be 8/q*(-15)/g. Which is greater: h or -3/2?
-3/2
Let k = -7 + 4. Let b(g) = -3*g + 3*g + 2 + 3*g + g**2. Let c be b(k). Is c at least 1?
True
Let a(t) = t**3 + 7*t**2 - 3 + 0*t**3 - 4*t**2 - 3*t + 0*t**3. Let g be a(-2). Suppose 2*s + 10 = g*s. Is 1 smaller than s?
True
Let u = -16/21 - -3/7. Let c be 9/(225/40) - 2. Which is bigger: u or c?
u
Suppose f + 1 = -50. Which is smaller: f or -53?
-53
Let t = 12 - 11. Let a be (-2)/6 + 160/(-24). Is t at most a?
False
Let m = -262/5 - -52. Let h = -4 - -9. Suppose -h*b = -b. Which is smaller: b or m?
m
Let p = 58 + -59. Suppose -24 = 4*w - 0. Let s be (4/w)/(6/9). Are s and p unequal?
False
Suppose -5*t + 683 = 653. Suppose 0*x = 4*p - x - 25, 2*p - 8 = 2*x. Is p <= t?
False
Suppose -3*p = p. Suppose p = -d - d + 8. Let c be (1/(-4))/((-1)/d). Do 1 and c have the same value?
True
Let a = 6 - 5. Are a and -0.5 equal?
False
Suppose 0 = 2*w + 3 - 1. Let k = -64 - -64.04. Which is smaller: k or w?
w
Let q be (45/156)/3 - 3/12. Do q and 4 have different values?
True
Let u(i) = i**2 + 2*i. Let f be u(-2). Which is smaller: f or -5/12?
-5/12
Let i = -917/1545 + -2/309. Is i less than or equal to -8?
False
Suppose -4*k + 10 = 5*c, 3*k = -2*k + 4*c - 8. Is k at most -3/10?
False
Let z(n) = 2*n - 8. Let b be z(6). Suppose q + 3*g - 25 + 7 = 0, 5*q + b*g = 35. Does -2/7 = q?
False
Let f(i) = -i**3 + 7*i**2 - 5*i - 6. Let q be f(6). Suppose -m - 3 = q, 5*p = 6*m - 3*m + 9. Suppose p = d + 2 - 4. Is d < 3?
True
Suppose -5*o - 10 = -2*i, -4*o + 1 = 4*i + 9. Suppose -2*r = -3*g - 1, 4*g + i*g - r - 2 = 0. Let d(t) = 2*t - 1. Let q be d(g). Is q smaller than 1?
False
Let u = -313 - -318. Let q be -1*1 - (-3 + 0). Suppose -6*z + q*z + 24 = 0. Is z at least u?
True
Let p = -7 + -31. Are -39 and p equal?
False
Let c be 1/(-3 + (-8)/(-4)). Is c equal to -1/10?
False
Let y be (966/(-16))/(27/36). Which is greater: y or -82?
y
Let t = 35 + -351/10. Which is bigger: t or -0.4?
t
Let x(b) = b + 6. Let w be x(-8). Let q = w + 4. Let t be -2 + (-3)/5 + q. Which is greater: t or -2?
t
Let f(z) = 1 - 8 - 2 - z. Let u be f(-8). Is u greater than or equal to 0?
False
Let p be (-4)/(-6)*54/12. Suppose 0 = p*m - 0*m. Is -1/5 smaller than m?
True
Let w = 56 + -20. Suppose w = 5*s - 14. Which is smaller: s or 11?
s
Suppose c = 3*c. Which is greater: -4/15 or c?
c
Suppose 6*x = -4*h + x + 145, -5*h + 4*x = -171. Suppose -n - c = 3*c + 13, -5*n = 5*c + h. Is -3 at least n?
True
Let y = -32978 + 231289/7. Let w = y + -63. Is w at most as big as -0.06?
False
Let o be 6299*(-3)/((-6183)/12). Let d = o - 2/229. Let g = 328/9 - d. Which is bigger: -1 or g?
g
Suppose -2*m - 6 + 4 = 0. Which is smaller: m or 31/2?
m
Suppose 4*c - 2*v = -10, 5*c - v + 15 = -2. Suppose 3*s - 1 = 4*k + 3, 0 = 4*s - 16. Suppose -k*m - 4 = -0*m. Is c less than or equal to m?
True
Let v = -41 - 6. Is -47 bigger than v?
False
Let j be 3/((-15)/6 - -4) + -30. Is -28 < j?
False
Let y(c) = -c + 15. Let t be y(16). Which is smaller: -1/36 or t?
t
Suppose 10 = 5*m + 20. Are -4 and m equal?
False
Let c = 484/6177 + -2/213. Suppose 6*h - 2*h - 4 = 0. Which is smaller: c or h?
c
Let c be (-10)/(-35) + 22/14. Which is smaller: 3 or c?
c
Let p(i) be the third derivative of i**5/60 - i**4/4 + i**3/3 + 2*i**2. Let f be p(6). Let m be ((-1)/f)/(2/4). Which is smaller: m or -1/3?
m
Let i(u) = -u**3 - 6*u**2 + 7*u. Let z be i(-7). Let d be (-3 + z)*(-2)/3. Let q = d - 3. Which is smaller: q or 2/11?
q
Let c = 70976057/870 + -2475824/29. Let z = c - -3791. Let u = -1/10 + z. Which is smaller: 1 or u?
u
Let v = -0.5 - -0.4. Is v > -13?
True
Let z(f) = f**2 + 1. Let p be z(0). Which is smaller: -7 or p?
-7
Suppose -4*y - 5*z + 81 = 0, 123 = 5*y + 4*z - 5*z. Let w = y - 121/5. Let n(q) = -q**3 - 4*q**2 + q + 5. Let c be n(-4). Is c smaller than w?
False
Let r(k) = -k**2 + 16*k - 14. Let h(s) = 15*s**3 - s + 1. Let x be h(1). Let u be r(x). Is 0 bigger than u?
False
Let k = 0.2 + 0. Let v = -1.3 - 0.1. Let q = v - 0.6. Is k equal to q?
False
Let x = 0.6 - 2.6. Let y = -6 - -5.7. Let a = y + 0.3. Which is smaller: x or a?
x
Let q be 1 + (1 - (-20)/(-11)). Suppose -d - 28 = -3*a + 3*d, 0 = 4*a + d - 12. Suppose -l + 5*l - a = 0. Does q = l?
False
Let l = 47/2 + -20. Which is smaller: l or 4?
l
Let g(f) = f**2 + 2*f + 2. Let u be g(-2). Let v be (3 - (2 - 2))/1. Is u at most v?
True
Let l(g) = -g**3 + 9*g**2 + 9*g + 3. Let y be l(10). Are -6 and y unequal?
True
Let i(q) = q**3 - 8*q**2 + q + 2. Let r = 20 - 12. Let k be i(r). Let t be (-32)/(-180) - 4/k. Which is smaller: t or 0?
t
Suppose 5*h - 3 = -2*r - 8, -4*h - 10 = r. Let p = 14 - r. Suppose -p*n + 0 = 4. Is -1 at most as big as n?
True
Let w = -35 - -40. Are 1 and w non-equal?
True
Let b = 8 - 3. Let z = b + -5. Is z >= 2/11?
False
Let d = -3 - -6. Let b be ((-1)/(-3))/((-4)/d). Let a(f) = f**3 - 5*f**2 - 6*f + 3. Let p be a(6). Which is greater: p or b?
p
Let c be ((-20)/(-6))/(4/6). Suppose -5*m + c*z = 30, -3*m = -z + 3 + 5. Which is greater: m or 2/13?
2/13
Let c be (-2)/(-3) + (-1397)/3. Let d be (-5)/(c/(-192)) - -2. Which is bigger: d or 1?
1
Let a be 3/2 + (-387)/162. Let d = a - -7/18. Let n = 0.9 - 1. Which is greater: n or d?
n
Let m = 18/373 + 43281/7460. Let p = -25/4 + m. Do -1 and p have the same value?
False
Let k = -31/205 + -2/41. Suppose -4*p = p - 20. Suppose 3 = 4*s - c, 0 = p*s + c + 4*c + 15. Which is smaller: s or k?
k
Let g be 2/(-5)*2*5. Let x be (10 + -1)/(-4 - -5). Let j(i) = 2*i - 20. Let t be j(x). Is g greater than t?
False
Suppose 0*w + 4 = -4*w. Let l be 2/4 + (-140)/8. Let u = -101/6 - l. Which is bigger: w or u?
u
Let b = 0.11 - 5.11. Do -0.2 and b have the same value?
False
Let x be (12/14)/(1/(-7)). Suppose 0 = -2*j + 1 - 13. Is j < x?
False
Let k(q) = -3*q**2 - q - 2. Let p be k(2). Let j be (1 + -3)*(-102)/(-12). Is j greater than p?
False
Suppose -12 = 2*n - 6*n + 3*l, 12 = 4*n + 5*l. Suppose c + 5*d = 18, 4*c + 4 + 12 = 2*d. Let x = 4 + c. Which is greater: x or n?
n
Let d be (3/2)/((-21)/28). Let a = 6/259 + -2644/2331. Is d equal to a?
False
Suppose -x + 2*p - 3 = 0, 0*p = -4*x - 5*p + 14. Suppose 0 = -0*l + l. Suppose -5*u + o = -9, l = -4*o - 18 + 2. Is u >= x?
True
Let s(i) = -i**2 + 14*i - 3. Let a be s(7). Let r = a - 137/3. Let u = 1.1 - 1. Which is smaller: r or u?
u
Let v = -14.85 - -15. Let s = v + -0.05. Is s > -0.05?
True
Suppose 2 = 2*o - 4. Let m be (-6)/(-4)*8/3. Is m less than o?
False
Let m be (-10)/55 + 59/(-99). Let t = -53/45 - m. Is t < -1?
False
Suppose p - 30 = -4*p. Let s(i) = 1 + i**2 - p*i - i + 0. Let w be s(7). Do -2/5 and w have different values?
True
Let t be (-1)/(-1) + (-15 - 0). Let x = 23 + -13. Let a be x/(-14) - (-4)/t. Is a equal to 0?
False
Suppose -20 = 2*y + 2*r + 4, -4*y - r - 36 = 0. Suppose c + 9 = -0*c. Which is smaller: y or c?
c
Let u = -2.5 - -2. Let h = -13 - -12.9. Is u at most as big as h?
True
Let h(r) = -r**3 + 6*r**2 - r + 7. Let p be h(6). Suppose 3 = 3*l - 4*y, y + 2*y + 