greater: t or -2/79?
t
Suppose -4*i = -4*r + 12, 2*r + 0 - 12 = 3*i. Let c = -7 - i. Is -2/11 smaller than c?
False
Let x(q) = -3*q - 3. Let c be x(-2). Suppose 3*s - u = 9, 0 = s + 2*u - 3. Is s smaller than c?
False
Let z = 3 - 2. Let b be (-12)/(-3) - (-2)/(-1). Which is smaller: z or b?
z
Let b(k) = 4*k - 5. Let d be b(0). Suppose 0 = -4*r + l - 15, 0 = -2*r - 2*r - 4*l. Is d at most as big as r?
True
Let y be (-10)/6*(-25)/(-1). Let b = -42 - y. Suppose 0 = -3*w + 4*w - 5*d - 10, d = -5*w - 2. Is w greater than or equal to b?
True
Let u = 25.2 - 2.2. Which is greater: u or 0.1?
u
Let i be (-6)/(-20)*2/36*-35. Is 0 greater than or equal to i?
True
Suppose 4*g - 6 = 2*g. Suppose -5*b - 3*d + 4*d = 0, -g*b + 2*d = -7. Let z = -2 - b. Is z <= -3?
False
Let t(z) be the second derivative of z**4/12 + 7*z**3/6 - 7*z**2/2 - 3*z. Let k be t(-7). Is -7 at most as big as k?
True
Let u(x) be the second derivative of -x**4/12 - x**3 + 2*x**2 + 11*x. Suppose -j + o - 22 = 6*o, -o = -5*j - 32. Let y be u(j). Are -2 and y equal?
False
Let d be (2/28)/(1/4). Let g be -1 + -3*(-10)/6. Let l = g - 4. Which is smaller: d or l?
l
Let p be (3/(-2))/((-6)/8). Let c be (p/7)/(9/(-7)). Which is bigger: -1 or c?
c
Let y = 28 - 25. Is y less than or equal to 3/2?
False
Let n(s) = s**3 + 2*s**2 - s + 1. Let r be n(-2). Suppose z + c + 2 = 0, -5*z + r*z - 4 = -4*c. Let h be 2*2/28*z. Which is bigger: 0 or h?
0
Let y(b) = 9*b**3 - 2*b**2 - 2*b + 1. Let k be y(-2). Let l be (-1)/(-5) - 60/k. Is l greater than -12?
True
Let k be (-4)/(-34)*6/(-4). Is -1 < k?
True
Let p be 48/(-23) + 1/1*2. Which is smaller: 1 or p?
p
Let j be (5 - 2) + 0 + -2. Let k = 12 - 10. Is k > j?
True
Let r = 285 + -2277/8. Is -1 at least as big as r?
False
Let s be 8 - 7 - (-7)/(-2). Do s and -1 have different values?
True
Let w be 11444/(-14)*32 - 3. Let f = w - -26039. Let l = -122 - f. Which is smaller: l or -2/17?
l
Let l(w) = -5*w - 1. Let b(h) = -14*h - 2. Let a(k) = 6*b(k) - 17*l(k). Let c(s) = s + 5. Let i(p) = -3*a(p) + 4*c(p). Let m be i(-6). Is -1 smaller than m?
False
Let q(r) = 5*r**2. Let u be q(1). Let y = 6 - u. Let h(p) = p**3 - p + 1. Let v be h(y). Is 2 greater than v?
True
Let i = -2.7 + 2.8. Which is greater: i or -0.1?
i
Suppose 5*a = -6 + 61. Suppose 4*o = -5*n - a, -5*n - 10 - 8 = -3*o. Which is smaller: o or 1/7?
1/7
Let v = -46 - -38. Is 1/3 > v?
True
Let y(i) = i**3 + 6*i**2 - 6*i + 8. Let x be y(-7). Which is bigger: 2/39 or x?
x
Let b be (-60)/(-27) + 2/(-9). Let a be (3 - (-34)/(-6)) + b. Is a at least as big as 0?
False
Suppose 4*x + 3 = x. Let k be (-112)/6*27/12. Let a be 33/k - 3/(-6). Are a and x nonequal?
True
Suppose -2*a + 6 = 66. Is -29 greater than or equal to a?
True
Let z = -24 + 25. Which is smaller: 1.4 or z?
z
Let c = -4562 + 68488/15. Let r = -6524/5 - -1311. Let o = c - r. Which is greater: -1 or o?
-1
Let c(g) = -2*g**3 - 4*g**2 - 3*g - 10. Let j be c(-3). Is j at most 16?
False
Let f = 42 - 127/3. Let b = 0.27 - 0.07. Which is smaller: f or b?
f
Let g be -5*(-4)/60*-5. Suppose o - 6*o = -10. Suppose -1 - o = 3*v. Is g at most as big as v?
True
Let o be 3 + 13/(-4) - -4. Is 3 at most as big as o?
True
Let v(p) = p**3 - 9*p**2 - 6*p + 9. Let b be v(9). Let m be (-4)/6 + (-48)/b. Which is smaller: 0 or m?
0
Let j = -0.52 - -0.4. Let y = -0.06 - j. Let k = y - 0.06. Is -1/7 at least k?
False
Suppose 0*k - 788 = -4*g - 4*k, -2*g + 388 = 5*k. Let p = -4177/21 + g. Which is smaller: p or 0?
0
Let g(l) be the third derivative of l**5/60 + l**4/3 + 3*l**3/2 + l**2. Let x be g(-6). Let d = x - -5. Which is smaller: d or 3?
d
Suppose -3*b = -7*b + 128. Let s = b + -23. Suppose -5*t + 5*i = 5, 4*t = 4*i - s*i + 23. Is 1 greater than or equal to t?
False
Suppose -4*s = 3*j - 100, -s - 3*j + 2*j + 26 = 0. Let c = -26 + s. Which is smaller: -24/5 or c?
-24/5
Let y = -9/2 - -49/10. Suppose 0 = -4*x - 4*a + 16, 0*x + 4*x - 4*a + 24 = 0. Does x = y?
False
Suppose 0 = -2*u, 2*d + 6 = -u - 2*u. Let v = d - -3. Which is greater: v or 1/2?
1/2
Let t be (-6)/9 - -5*3/9. Is -1/67 at least t?
False
Suppose -4*z + 20 = z. Let u be (-1)/(0 + z - 1). Is u > -1?
True
Let a(u) be the third derivative of -u**5/60 - 11*u**4/24 + 2*u**3/3 - 3*u**2. Let j be a(-11). Suppose 0*s - j = -4*s. Is 3/10 less than or equal to s?
True
Suppose -2*o - 2*b + 6 = 0, 4*b + 1 = 5. Suppose o*t = -3*t + 85. Suppose 5*u = 2 - t. Are -3 and u unequal?
False
Let y = -66 + 62. Which is bigger: 19 or y?
19
Suppose 5*h - 5*y = -5, 0 = 5*h - 4*y + 2 - 1. Suppose -4*t - h*i - 33 = 0, -t - 6 = 5*i + 15. Which is greater: t or -2?
-2
Let c be (-362)/1276*12/(-21). Let g = c - -4/203. Suppose -x + 16 = w - 6*x, -4*x - 11 = w. Which is smaller: g or w?
g
Suppose 0*g + 1 = g. Suppose 13 - g = -4*u. Let w be u*4/18 - 0. Which is greater: w or -2?
w
Let x(j) = 2*j - 3. Let p be x(4). Suppose -31 = p*g + 4. Suppose 16 = o - 3*o. Which is smaller: g or o?
o
Let s = 3 - -16. Let a = s - 19. Suppose -5 = -5*f - 0*f. Which is bigger: f or a?
f
Let w = 7 + 50. Do 57 and w have different values?
False
Let i = 179/3 - 60. Suppose p - 1 + 2 = 0. Which is smaller: p or i?
p
Suppose y + 3 - 6 = 0. Let z = -2 + y. Let p(g) = -3*g. Let m be p(z). Which is greater: -4 or m?
m
Let s(q) = -q**2 - 5*q + 6. Let m be s(-5). Let h be 2*(15/m + -1). Suppose 3*a + l - 12 = 2*l, 4*l + h = -3*a. Does a = 1?
False
Let i(h) = -2*h**3 + 17*h**2 - h - 1. Let r(m) = m**3 - 9*m**2 + m. Let t(z) = 3*i(z) + 5*r(z). Let n be t(6). Suppose f + n = -2*f. Is -1/5 equal to f?
False
Suppose -2*k - 3*k = -15. Suppose -5*t = b - 19, 3*t - 2*b - 17 = k*b. Let g(c) = c**3 - 5*c**2 + 5*c - 5. Let r be g(t). Is 0.4 less than or equal to r?
False
Suppose 6 = -5*l - 4*a - 31, 0 = a - 2. Let d(s) = -s**3 - 10*s**2 - 10*s - 12. Let c be d(l). Is -4 at most c?
True
Suppose 0 = 3*h + 2*h - 20. Let v be (12/(-8))/(6/(-8)). Is h less than v?
False
Let q(x) = x**2 - 13*x + 3. Let w be q(13). Which is smaller: -5 or w?
-5
Let j(x) = x**3 + 10*x**2 + 2*x + 23. Let n be j(-10). Does n = 4?
False
Suppose -6*r = -o - 5*r + 2, -3*r - 1 = 2*o. Which is bigger: 13/9 or o?
13/9
Suppose -3*k + 16 = -l + 4, 3*k = 2*l + 15. Suppose k + 5 = 4*y. Let j be (-2)/4 + 3 + -2. Which is smaller: j or y?
j
Let j = -73 - -70.99. Let a = j - -2. Let y = -3.01 - a. Is 0.2 greater than or equal to y?
True
Let l be 9/162*-40 - -2. Suppose 3*q + q + 16 = 0. Which is greater: l or q?
l
Let y = -13 + 12. Let x = -1/12 + 1/3. Is y < x?
True
Suppose -4*f = -5*f. Let m be 32/14*3/6. Which is smaller: f or m?
f
Let d(v) = -2*v**3 - 2*v**2 + 6*v - 2. Let j be d(-3). Which is greater: 15 or j?
j
Suppose 0 = 5*l + 1 + 9. Suppose 10*n + 74 = 24. Do l and n have the same value?
False
Let v = 0.1 + 4.9. Let y = v - 6. Is y greater than -0.1?
False
Let y be 3 + (-2)/3*-3. Let n = y + -5. Which is smaller: 2/15 or n?
n
Suppose 2*f = 5*j - 23, -5*f - 49 + 17 = -4*j. Let h be 45/f - 2/(-8). Let l be 3/(-2 - h) + 0. Which is greater: 0.2 or l?
l
Let l be -3*((-3)/9 - 0). Let f(w) = 5*w + 5. Let u be f(3). Let h be (u/(-175))/(4/10). Which is smaller: h or l?
h
Let m be 2/(-6) - 10/(-39). Suppose 2*x + 6 = -2*c, 4*x + 10 = -3*c + 1. Which is bigger: x or m?
x
Let p(b) = -b**3 + 5*b**2 - 4*b. Let n be p(4). Suppose n = 2*s - 5*s + 9. Suppose -5*k - 2*x - 2*x = -16, 0 = -4*k - 3*x + 13. Which is smaller: k or s?
s
Suppose -3*m + 19 = 4*z - 3*z, 4*m - 4*z = 20. Suppose -3*l + m = -0*l. Suppose -l*q - 30 = 3*p + q, -2*p - 5*q - 29 = 0. Is -7 at most p?
True
Let u = -1229/3 + 405. Is u at least as big as -6?
True
Let n(u) = -5*u + 4. Let c be n(-4). Let q be (-7)/c - (-2)/3. Suppose 0*x + 4*x = -4. Which is smaller: q or x?
x
Suppose 0 = -2*i + 6*i. Suppose i = -0*o + 4*o - 16. Which is bigger: o or 3?
o
Let b = -0.1 + 0.1. Let p be 4/(-4)*(-10)/5. Suppose -p*n - n = -6. Which is smaller: b or n?
b
Suppose k = -3 + 7. Suppose 5*y = -k*p + 31, y - 5*p + 23 - 6 = 0. Let w = -2 + 6. Which is bigger: y or w?
w
Let a = -1016 - -640. Let v = a + 378.89. Let c = -0.11 - v. Is c less than 0.1?
True
Suppose f = -s + 6, -f = 4*f - 5. Let b(g) = -2*g + 2. Let t be b(0). Which is smaller: s or t?
t
Let t be -4*3/42 - 138/(-532). Is 0 at most as big as t?
False
Let v be 2/11 + (-40)/(-22). Suppose 0*d = -d - v. Are d an