 -2171/12. Is p >= n?
False
Let o(g) = g - 1. Let s be o(0). Let k = s + 8. Is k smaller than 7?
False
Suppose -28 = -13*u + 15*u. Is -13 at least u?
True
Let y = 14 + -13. Which is greater: y or 1/80?
y
Let j be 18/(0/(-1) - -2). Which is bigger: j or 8?
j
Let s = 283/188 - 12/47. Which is bigger: s or 2?
2
Let t(r) = -4*r**3 - 4*r**2 - 5*r + 2. Let z(u) = 2*u**3 + 2*u**2 + 3*u - 1. Let s(q) = -4*t(q) - 7*z(q). Let k be s(-2). Which is smaller: k or -1?
k
Let h = 44 + -483/11. Which is smaller: -1 or h?
-1
Suppose 5*d - 58 = 2*c + 1, -5*d - 2*c + 51 = 0. Suppose n = 5*s - d - 14, -s = 3*n - 5. Suppose -t - 3*g - 2 = n, 5*t + g + g = -10. Are -3 and t equal?
False
Let p be 72/(-30) - 4/(-2). Which is bigger: p or -1?
p
Suppose 8 = 4*l - 8. Let j be (-1 + l - 3)/(-1). Which is smaller: j or -3/13?
-3/13
Suppose -2*o = -4*o - 2. Which is greater: 1/17 or o?
1/17
Suppose 0 = 3*g - 2*g - 1. Let l = 3 + -3. Are l and g non-equal?
True
Suppose 3*k = -0*k + 6. Suppose 3*m - 2*m = 2*u + 6, k = -4*m - 5*u. Let a be (1/(-5))/((-6)/15). Do a and m have different values?
True
Let k = 26 - 27. Which is smaller: k or 3/13?
k
Let y(i) = i + 25. Let r be y(-20). Which is smaller: 31/5 or r?
r
Suppose 0 = 5*p - 4*t - 46, 0*p - 4*p + 37 = -3*t. Which is smaller: 11 or p?
p
Let l be ((-6)/(-2))/1*1. Let u = -12 - -17. Do u and l have the same value?
False
Let k = 5/12 + -1/6. Which is greater: -0.08 or k?
k
Let f(o) = o**2 + 7*o - 10. Let x be 0 - 14/(2 - 0). Let r be f(x). Is -9 at most r?
False
Suppose -3*a - 15 = -0*a. Let u(k) = k + 7. Let v be u(a). Let f be 22/6 - v/(-6). Is 4 at most f?
True
Let t(q) = -q + 6. Let u be t(6). Is -2/9 smaller than u?
True
Suppose 4*b - 12 = h, -20 = -3*h - 3*b + 4. Suppose -h*z = z. Which is greater: z or -2/3?
z
Let a(x) be the third derivative of x**5/60 - x**4/6 + x**3/2 - x**2. Let b be a(3). Suppose 12 = 3*q - 2*q + 4*w, -2*q - 9 = -3*w. Is b >= q?
True
Let t = 13.99 + -14. Let q = -4.01 - t. Is -2/5 greater than or equal to q?
True
Let z be 4 + (-10)/3 - 0. Does z = 0?
False
Suppose 3*v - 7 = -5*k, 4*v - 11 = 15*k - 20*k. Let p = -13 + 8. Which is bigger: p or k?
k
Let f = 25 - 19. Which is smaller: 7 or f?
f
Let o be (-39)/4 + 3/(-12). Let g = o - -6. Let f be g/54*-3*3. Does -7 = f?
False
Let c = -28 - -26.7. Let x = 1.4 + c. Is -10 != x?
True
Let t(z) = -z - 4. Let p be t(0). Let o be 14/p - 2/4. Is -5 less than or equal to o?
True
Let h be -3*(0 - 1/101). Let t = h - -175/909. Is t less than 0?
False
Let m be 6*(1/(-2) + 1). Suppose 0 = -4*b + 4*f, -m*f + 3 + 0 = 0. Let c be b/(-3) + (-21)/(-9). Is 1 > c?
False
Let h(u) = 3*u - 27. Let n be h(8). Suppose m - 5*s + 6 = -3*m, 3*m + 8 = 2*s. Is n bigger than m?
True
Let v(b) = -2*b - 4. Let w be (-1)/(-2)*(-10)/1. Let h be v(w). Let y be ((-2)/h)/(3/(-18)). Is 2 <= y?
True
Let t = -10.9 + -0.1. Which is smaller: 0.1 or t?
t
Suppose -f - 5*s = -12 - 7, 0 = -5*f + 3*s + 67. Let y be (-1 - f)*(-2)/(-6). Let l = -8 - y. Which is bigger: l or -4?
l
Suppose 0*d = 3*d. Let i be (-58)/(-70) + 2/(-5). Which is bigger: d or i?
i
Suppose -l - 2 = -3*w, 4*w - 33 = -4*l + 39. Let a be (535/40)/(2/(-2)). Let i = a + l. Which is smaller: 1 or i?
i
Let h = 9 - 12. Let w be -4*((-154)/(-52) + h). Suppose -2*p + 0*p = 0. Which is smaller: p or w?
p
Let t be (3 + -4)*18/10. Which is greater: t or -1?
-1
Let f = -23/45 + 1333/495. Let i = f + -26/11. Are i and 0 non-equal?
True
Let w be ((-1)/5)/(4 + 96/(-20)). Which is bigger: 4 or w?
4
Suppose 5*s + 2 = 4*s. Let p be 57/54 - 1/s. Which is greater: 1 or p?
p
Suppose 0 = 2*x - x. Suppose 7*p - 6*p = 0. Is p less than or equal to x?
True
Let n be 3 + (-115)/(-40)*-1. Is -5 equal to n?
False
Suppose -4 = 2*n, -2*g + 2 - 6 = 4*n. Let u(a) = a. Let p = -1 + 1. Let f be u(p). Which is greater: f or g?
g
Let y = -9 + 16. Which is greater: y or 8?
8
Let d(v) = -v - 2. Let p be d(-2). Suppose -5*l + 16 - 1 = 0. Let h be l/2 + (-1)/2. Which is greater: p or h?
h
Let w = -0.053 - -0.253. Which is greater: w or -2/7?
w
Suppose 0*y + 22 = 2*y. Let q be ((-16)/10)/(1/(-5)). Let s = y - q. Which is smaller: s or 1?
1
Suppose 5*k - 2*v - 4 = -v, -12 = -3*k + 3*v. Is -2 < k?
True
Let f = -108 - -107. Which is smaller: f or 4/23?
f
Suppose m + 2 + 2 = 0. Is -0.1 smaller than m?
False
Suppose 0*h = h - 3. Let w = h - -1. Suppose -2*n + 8 = -4*k, -8 = w*k - 5*n + 2*n. Which is bigger: -1 or k?
-1
Let u = -18.9 - -21. Let n = u + 6.9. Let p = n + -9.1. Are p and -2 equal?
False
Let p = 1.12 - 0.12. Let m = 0.2 - 1.2. Which is bigger: m or p?
p
Let w = -14.9 - -16. Let a = w + -0.9. Is a bigger than -1?
True
Suppose -4*w - 12 = -4*i, 1 = w + i - 4*i. Let o be 2/(-4)*2/w. Let p(n) = -n**3 - n**2 + n. Let d be p(0). Is d less than or equal to o?
True
Suppose 2*u + 6 = 2*y, -2*y + 20 = 2*y. Let s(p) = -p**3 + 5*p**2 - 2*p - 5. Let h be s(4). Which is bigger: h or u?
h
Let u(q) = -q**2 + 5*q + 4. Let k be u(6). Is k at most as big as -4/7?
True
Suppose -4*w + 4*u = 0, 2*w - u = -2*w - 12. Let n be (-2)/(6/4 - 1). Let t = n - -1. Which is smaller: t or w?
w
Let c = 10519829377/1232 + -8538822. Let m = 1/1232 - c. Which is bigger: -1 or m?
m
Let z = -263 + 445/2. Which is bigger: z or -41?
z
Let w(u) = u**2 + 4*u + 2. Suppose -6 = -l - 5*a, -4*l - 5*a + a - 8 = 0. Let p be w(l). Let b be (p/(-28))/((-1)/2). Is 1 less than b?
False
Let v = 68 + -68. Are v and -0.013 non-equal?
True
Suppose 3*g - 15 = -0*g. Suppose 67 = g*s + 17. Is 9 > s?
False
Let l be (22/(-55))/(36/(-5)). Which is smaller: l or 1?
l
Let h = -96117946267/2160 - -44499047. Let s = -1/432 + h. Which is bigger: -3 or s?
s
Let n be 34/10 - 4/10. Let l(o) = -4 + 0 + n - 2*o. Let y be l(-1). Which is greater: y or 0?
y
Let n = 14 - 6. Which is bigger: 6 or n?
n
Let h = 0.8 + 0.2. Let q = -1 + h. Suppose -3*s + s + 2 = 0. Is s greater than or equal to q?
True
Let q(m) = m**3 + 2*m**2 + 4*m - 5. Let f(j) = 2*j**3 + j**2 + 3*j - 5. Let o(c) = -2*f(c) + 3*q(c). Let s be o(5). Which is smaller: -1 or s?
-1
Suppose -22 = l + 6*t - t, t + 3 = 0. Is -7 >= l?
True
Suppose -2*f - 2*r + 6 = 0, -2*f - f - 4*r = -12. Let a = -21 - -41/2. Which is smaller: f or a?
a
Suppose 0 = -7*c + 6*c + 4, -18 = 5*l - 2*c. Is 10 at most as big as l?
False
Let g be (1 - 0) + (-4 - -2). Let m(c) = -c - 1. Let a be m(-3). Let t = 0 - a. Is t at least as big as g?
False
Let l be (-5 + 4)/(1/3). Is 3 != l?
True
Let m = -17 - -20. Let i = -513 - -2063/4. Which is greater: m or i?
m
Let q be 1/2 + 2/(-2). Suppose b - s - 5 = 0, 0 = 5*b + 5*s - 2*s - 9. Let l be b/5 - (-37)/(-45). Which is smaller: l or q?
q
Let g = 202 - 161. Is g bigger than 42?
False
Let r be ((-18)/(-30))/(2/10). Suppose 4*m = -3*z + 173, r*m + 2*m + 77 = 2*z. Let w be 0 + 3/z*-2. Is -1 greater than w?
False
Let s = 307/4 + -1479/20. Do 3 and s have the same value?
False
Let u be -1 + -1 - (-4)/2. Suppose d - 3*d + 2 = u. Do d and 2 have different values?
True
Let a be 0/(4/4 + 1). Suppose 4*s - 2*s = a. Is 2/15 != s?
True
Let b(z) = -z**3 - 5*z**2 + 3*z + 7. Let w be b(-5). Are -7 and w equal?
False
Let p be ((-15)/(-20))/((-33)/48). Suppose 0 = 4*c - 8*c. Is p at least c?
False
Let t(n) be the second derivative of -2/3*n**3 + 3/2*n**2 + 0 - 1/20*n**5 + 1/4*n**4 + 4*n. Let q be t(2). Is q less than -3?
False
Let h(t) = 2*t - 7. Let a be h(7). Suppose 2*r - r = -g - a, 3*r + g = -15. Let k be r/(-6) - (-3)/(-6). Which is greater: k or 0?
k
Let k = 0.09 - 0.09. Is k bigger than -2/35?
True
Let a be (-1)/4 + (-142)/(-632). Let d = a + 89/395. Is d greater than -3?
True
Let p(g) = -g + 13. Suppose 10*w = 5*w + 50. Let j be p(w). Let f be (-3)/(-9) + (-1)/j. Do f and -1/4 have the same value?
False
Let x = -0.075 - -6.175. Let u = -6 + x. Let i = 0.2 - u. Is -1/4 bigger than i?
False
Let t(o) = o - 2*o + 0*o - 1 + 5. Let p be t(9). Which is greater: p or -6?
p
Let h be (-33 + -3)*10/(-3). Let w = 1562/13 - h. Which is smaller: 1 or w?
w
Let d = -0.07 + -3.93. Which is smaller: d or 3?
d
Suppose 14*a = 11*a + 9. Is 2 at most a?
True
Suppose 4*g + 4*p - 12 = 0, -7*p + 2*p + 5 = 0. Let k be ((-2)/25)/(g/10). Are -1 and k nonequal?
True
Suppose 0 = 2*f - 0*f + 8. Let d be (5 + -4)/((-2)/4). Are f and d equal?
False
Let v be 4/16 - (-11)/4. Suppose -32 = -b - v*b. Let 