ppose -4*p - 4*h + 16 = 0, 0 = 4*p - 5*p + h + 4. Let l = p - 1. Suppose m + 6*o = o - 12, 3*m = -l*o. Is m >= 0.1?
True
Let s = -21 - -10. Suppose 3*i - 29*i = 312. Which is bigger: s or i?
s
Let m(w) be the second derivative of -w**7/2520 + w**4/12 + w. Let c(r) be the third derivative of m(r). Let b be c(1). Which is smaller: b or 2/7?
b
Let g = 1 + 1. Let t = g + -4. Which is smaller: t or 1?
t
Let c be (-3)/12 - (-2)/8. Let t = -0.02 - -0.06. Is t greater than or equal to c?
True
Let s = -121.1 - -121. Is -2.4 less than s?
True
Let y = 39 + -10. Let r = 18 - y. Which is greater: r or 2/7?
2/7
Let s(j) = -9*j - 34. Let p be s(-11). Which is greater: 1 or p?
p
Suppose -60 = -h + 6*h. Let g = h + 13. Is 2 at least g?
True
Let w = 104 + -98. Does 11 = w?
False
Let k = 14 - 12. Let l be (k/6)/(12/(-9)). Which is smaller: l or -6?
-6
Suppose -18*z + 127 = -125. Which is smaller: z or 1?
1
Let u = -32/7 - -4. Is u greater than or equal to 1?
False
Suppose -2*l = 2 - 6. Let z = l + -3. Are z and 1/7 equal?
False
Suppose 23 - 5 = -3*q. Let k = 9 - 14. Is k at most q?
False
Suppose 5*w = 3*g, -g - 3*w = w. Is g greater than or equal to -4/5?
True
Suppose 17 = 2*d + o, o + 0*o = 5. Let f(t) = t**2 - 4*t - 8. Let c be f(d). Let n be c + -2 - (-8)/(-5). Which is greater: n or -0.3?
n
Let o(x) = 2*x**2. Let n be o(0). Suppose -20 = 4*d, 0*d - 41 = 3*f - 5*d. Let m be (2 - f/(-12))/(-1). Which is smaller: n or m?
m
Let j be (-2)/(-4) + 10/(-44). Is j != 0?
True
Let p = -49 + 35. Is 0 greater than or equal to p?
True
Let d be ((-36)/(-10) + -4)/(20/1625). Which is smaller: -33 or d?
-33
Let j = -22 - -7. Let r be 12/j - (-1)/(-5). Is r > -2?
True
Let j = 28.9 - 29. Which is smaller: j or -5?
-5
Let y be 3 + -1 + -2 + 2. Let s be y/(26/7 + -4). Which is bigger: s or -6?
-6
Let r = -30 - -84. Let t be ((-24)/r)/((-2)/3). Is t >= 0?
True
Let n(f) = 2*f - 18. Let a be n(9). Let z be 10/6 + -1 + -1. Which is smaller: z or a?
z
Let l = -22.3 + 22. Let u = -0.8 - -1. Let a = u + l. Which is bigger: a or 4?
4
Let l(i) = -2*i + 0*i + i - 7. Let z be l(-8). Which is smaller: z or 3/2?
z
Suppose -4*z = 4*o - 16, -2*o + 3 + 9 = 4*z. Which is bigger: z or 2/3?
z
Suppose 0 = -c + 4 + 10. Is c at least as big as 12?
True
Let p(z) = 3*z**3 + 6*z**2 - 8*z - 9. Let i(c) = -7*c**3 - 12*c**2 + 16*c + 19. Let v(l) = -2*i(l) - 5*p(l). Let n be v(-7). Is -1/3 greater than n?
False
Suppose -6*u - 9 = -45. Let x be ((-63)/u)/(18/24). Are -13 and x unequal?
True
Let h = 19 + -19. Is -1/2 not equal to h?
True
Let u be ((-2)/30)/(4/10). Let w be (-1 + 1)/(-10 + 11). Which is smaller: w or u?
u
Suppose 2*u - 13 = -5*n + 2, 4*n - 15 = -u. Let r be (4/(-5))/((-3)/(-15)). Which is smaller: u or r?
u
Let k = 163/3 + -56. Which is smaller: k or -1?
k
Suppose -2*o = 3*c - 0*o + 115, 4*c = o - 157. Let x = c - -116/3. Which is smaller: x or -0.2?
x
Let f = 237 + -2135/9. Which is smaller: 0 or f?
f
Let w = 0.5 + -0.49. Let a = w + -0.21. Is 0.1 != a?
True
Let b be (-75)/(-140) - 1/4. Let m be 3/(-4)*(-24)/(-30). Is b at most as big as m?
False
Let i be 1/(-10) - 3/(-6). Which is bigger: -4/3 or i?
i
Let b(z) be the second derivative of z**4/12 - 4*z**3/3 + 6*z**2 - 3*z. Let w be b(11). Let r be ((-2)/(-3))/(6/w). Which is smaller: 6 or r?
r
Let k = -168 + 3353/20. Which is smaller: 0 or k?
k
Let r(v) = -9*v - 1. Let d be r(2). Are d and -19 unequal?
False
Let k be (481/78)/((-4)/(-6)). Which is greater: 9 or k?
k
Let f = -23 + 27. Let z = f + 0. Which is smaller: -2/7 or z?
-2/7
Suppose 22 = 2*j - 5*z, -3*j - 4*z - 9 = 4. Are -1/57 and j equal?
False
Suppose 2*s + 2*o = 38, o = -0*o + 5. Which is bigger: s or 13?
s
Suppose -4*x = -9*x. Let m be x*(-1 + -2)/6. Which is smaller: 1/3 or m?
m
Let v be (-1120)/552 - (-1 - 1). Is -1 at most as big as v?
True
Let m be (6/(-24))/((-1)/(-4)). Which is smaller: 4/21 or m?
m
Let o(z) be the third derivative of -z**4/8 + z**2. Let s be o(-3). Suppose -s = -3*q, -5*x - 4*q = -10*x - 17. Is -2 smaller than x?
True
Let d = -494.36 + 503. Let n = d - 0.14. Let z = n + -9. Is 0.1 bigger than z?
True
Let z(t) = -t + 9. Let y be z(7). Let c(q) = -1 + 2*q**2 - 2*q**y - q**2 + q. Let v be c(0). Is -1 > v?
False
Let h be 1/1 + 8/(-5). Suppose -5*u + 15 = -5. Suppose -u*y = m + 8, -2*m = -y + m + 11. Is h >= y?
True
Suppose 17 = 6*f - 3*f + i, -3*f = -4*i + 8. Suppose -5 = -6*z + z + 4*x, -4 = -f*z + 5*x. Let j(q) = q**2 + q. Let y be j(0). Is z at most y?
False
Suppose 0 = 3*t - 4*j + 10, 0 = 5*j - 19 - 1. Let v be (t - 4)/(25/(-15)). Is 1 <= v?
True
Let f = 25 - 24.7. Which is bigger: f or -2?
f
Suppose -2*x + 3*p = -4, p + 7 = 3*x + 1. Let s(y) = -y**x - 1 + y + 31*y**3 + 3*y**2 - 32*y**3. Let h be s(2). Do 1/4 and h have the same value?
False
Suppose 0*u + 99 = 5*f + 4*u, 3*u = -5*f + 98. Which is smaller: f or 1?
1
Let w(y) = -y**2 - 3*y + 7. Let l be w(6). Does -48 = l?
False
Let a = 1.624 - 0.084. Let u = a - 0.14. Let d = -0.4 + u. Is 7 < d?
False
Let r(a) = 7*a - 1. Let w be r(0). Which is smaller: -59 or w?
-59
Suppose 0*j = 5*j - 15. Suppose o + 5*i - 4*i - j = 0, -5*o + 4*i = 12. Do o and 2/21 have the same value?
False
Suppose 7*u = 3*g + 2*u - 13, -3*u = -g + 7. Let l = 2 - 0. Which is greater: l or g?
l
Suppose 3*m = 5*c - 6, 0 = -2*m + 3*c + 2*c - 9. Let z = m - 5/2. Which is smaller: z or -0.1?
-0.1
Suppose 0 = 3*y + 5*h + 54, 2*y - 4*y - 36 = 4*h. Let b be (-3)/(-9)*y/(-4). Is b at least as big as 2?
False
Let f be 13/2*2 + -2. Which is smaller: f or 12?
f
Suppose 2*z - 2*q + 7*q = 15, 0 = 5*q - 15. Suppose 2*a - 3*a - 3 = z. Which is bigger: -9/4 or a?
-9/4
Let g = -109 + 110. Which is smaller: 2/5 or g?
2/5
Let h(c) = -c**3 - 2*c**2. Let t be h(-2). Let r = -2 - -3. Which is greater: r or t?
r
Let f(y) = 6*y**2 + 6*y + 10. Let c(q) = -q**2 - q - 2. Let x(r) = -11*c(r) - 2*f(r). Let g be x(-2). Do 2/7 and g have the same value?
False
Let t(w) = 12*w**2 - w - 1. Let u be t(-1). Suppose c - h = -11, -4*h + 0*h - u = 4*c. Let k be (-16)/c - 8/28. Is k at least 1/2?
True
Let g be (-4)/2*15/10. Let l = 3 + g. Let x be (10/(-6) + 1)*3. Which is greater: x or l?
l
Suppose -6*p + 2*p = 0. Suppose 0 = -4*o - p*o - 16. Let j be ((-12)/(-15))/(2/(-10)). Is j <= o?
True
Let g be 7 + (-3 - 1*-6). Let f = 11 - g. Which is smaller: f or -2/3?
-2/3
Let y be (-6)/(-5)*35/14. Suppose -y*x + 3 = -4*x. Is x at least as big as -13/3?
True
Let r(k) = k - 1. Let q be r(6). Let p(z) = -z**3 + 5*z**2 - z + 7. Let n be p(q). Which is smaller: n or -2/7?
-2/7
Let u be -1*(-1 - (-2 + 2)). Let x be (2/(-5))/(u/10). Let f = -3 - x. Are f and 0 nonequal?
True
Suppose 3*m + 15 = 0, -2*m = 2*y + 3*m + 45. Which is smaller: y or -5?
y
Let w(n) = 9 + 4 + n - 5. Let i be w(-7). Let d be (3 - i)/(9 + -3). Which is smaller: d or 3?
d
Let z be (6 - -3)/(-3) + -5. Let l = z + 7. Which is bigger: 0.5 or l?
0.5
Suppose -6 = -4*l + 14. Suppose -2*t - 7 = l*t. Is -3/16 at most as big as t?
False
Let t = 701/8 - 87. Is t equal to 0?
False
Let w(d) = 2*d + 10. Let z be w(-6). Is z < 3?
True
Let d be (1/(-3))/(30/27). Which is smaller: 1 or d?
d
Let s = 3 - 2. Let u be s + (-24)/10 - -1. Let j be (-4)/(-22) - 45/(-55). Is u at least as big as j?
False
Suppose 4*w + 3*j - 2*j = -8, -4*w - 5*j = 24. Let y = 43 - 171/4. Is y at least w?
True
Let c = -1051/15 - -70. Which is greater: -1 or c?
c
Let a(g) = 3*g**2 + 0*g - 8*g**2 + 2*g**3 + g + 3*g**2. Let h be a(1). Is -1 less than h?
True
Suppose -2*w + 0 - 2 = 0. Suppose 0*d = 5*d - f + 5, 0 = -2*f - 10. Which is greater: d or w?
w
Let c(g) = g**2 + g - 1. Let w be c(-2). Suppose 0 = -z - 0*z - 4. Let f be 0 - z/66*-3. Which is smaller: w or f?
f
Let x be 4 - 1 - (-35)/(-10). Let b = -5 - -4. Is x <= b?
False
Let h = -0.53 - -26.53. Let p = 27 - h. Which is smaller: p or -1?
-1
Let r be 1/(-4) + 70/(-8). Which is smaller: -6 or r?
r
Suppose 1 = 3*z - 2. Let n = -396/851 + 14/37. Do z and n have different values?
True
Let l be 1 + -1 - (-1 - (-5)/25). Is l < 1?
True
Let i = 6.06 - 6. Let w = i + 0.34. Which is greater: 1/2 or w?
1/2
Suppose 5*s = 3*s - 12. Let i = s - -8. Do 3 and i have the same value?
False
Let x = -17 - -16. Is x at most as big as 1/40?
True
Let g(p) = -7*p**3 + p**2 - p + 2. Let f be g(2). Suppose 0 = -4*a - i - 47, -4