- i. Which is greater: 1 or r?
1
Suppose 2*w - 116 = -c - 122, 2*w - 4*c = -6. Suppose 59 - 9 = 5*s. Which is smaller: s or w?
w
Let p(c) = -2*c**3 + c**2 - 3*c - 1. Let k be p(-2). Suppose 4*u = -2*q + 24 - 10, 5*u + 4*q = k. Suppose 3*r = 4*r + u. Which is greater: 2 or r?
2
Let p be ((-80)/(-15))/(-1*8/84). Let f = -7 - p. Is 50 <= f?
False
Let k = -0.04 - -0.64. Let f = -8.4 - k. Let g = -9938 - -9941. Does f = g?
False
Let g = 20105.18 + -19924. Let i = g - 200. Let u = -19 - i. Is 0.1 at most u?
False
Let j(d) be the second derivative of -d**4/12 - 3*d**3/2 + 5*d**2 + 12*d. Let m be j(-10). Which is smaller: m or 6/17?
m
Let c(u) = -u + 12. Let y be c(4). Suppose 0 = -4*j - 12 + y. Is 57 >= j?
True
Let x = -1 - -18. Which is greater: 1/3 or x?
x
Let d be (-2)/(3 + -7) + 18/(-4). Let b(q) = -3*q - 9. Let x be b(d). Is 15/8 < x?
True
Let o = 0.002 + -0.602. Let q = -1.4 - o. Which is smaller: -1 or q?
-1
Let w(s) = -s**3 - 7*s**2 - s + 1. Suppose 6 + 22 = -4*y. Let k be w(y). Let h be (-16)/k + (-16)/(-10). Is 2/3 >= h?
True
Let v = -242 + 975/4. Let p be 10*(-4)/(-16)*20/25. Which is smaller: p or v?
v
Let y = 953 - 952. Let q = -14 + 10. Is y smaller than q?
False
Suppose q = -2, 2*z + 5*q + 4 = -z. Let i(p) = p**3 - 3*p**2 + 2*p - 1. Let u be i(z). Which is bigger: 2/25 or u?
2/25
Suppose 4 = -4*z + 6*z. Suppose 21 = d + z*d. Which is smaller: d or 6?
6
Let g = 0.193 - 0.239. Is -0.1 greater than g?
False
Let m be (-4)/(-14) - (-5)/7. Let w be 3330/285 + -14 + 2. Which is bigger: w or m?
m
Let b = 0.03 + -5.03. Let u = b - -7. Is 2 smaller than u?
False
Let o = -168.84 - -168.7. Is 13/3 at most as big as o?
False
Suppose 0*p - 6*p = -666. Is p < 110?
False
Let l = -1.2 + 0.2. Let w(m) = 527*m - 4220. Let p be w(8). Is l > p?
True
Let v be (-210)/294 - -4*3/(-42). Do -46/45 and v have the same value?
False
Let y be 1/9*3/46*4. Let a be (-1 - 0)/((-1)/2). Suppose -5*k + 1 = -5*x + 6, 4*k - 2 = -a*x. Which is smaller: y or x?
y
Suppose 2*o - 4*w = 64 - 50, 5*o - 21 = -4*w. Let g = -2 + 3. Suppose -3*y = 3*s - 6*y, -2*s + g = -y. Is s >= o?
False
Let k be 54/(-12) + 5 + (-3 - (-267)/126). Let z = 1 - 1. Is k at least z?
False
Let p = -413 + 774. Which is bigger: p or 363?
363
Let r(d) = -11*d - 6. Let u be r(10). Is -115 <= u?
False
Let f = -23 - -57. Let q = f + -33. Is -5 <= q?
True
Let m(c) be the third derivative of c**5/60 - 5*c**4/24 + 7*c**3/6 - 8*c**2. Let b be m(3). Which is smaller: 1/27 or b?
1/27
Let k be (-19 - (-2)/1)*(2 - 1). Which is smaller: k or 2?
k
Let q be -4 - -4 - (26 + -4). Let w = q + 74. Which is smaller: w or 51?
51
Let h(s) = -2*s**3 + 6*s. Let d be h(-4). Let r be (-2 - d/(-49))/(12/21). Which is bigger: 0.1 or r?
r
Let d be 8 - (-2 - 2/(-2)). Let s(u) = -2*u**3 + 2*u**2 - 3*u + 6. Let c be s(2). Let i be -2 + 0 - (-2 + c). Which is greater: d or i?
d
Suppose g - 8 = -g. Suppose -t + d = -3*d - 3, -2*t + 6 = -g*d. Let a(k) = k - 1. Let b be a(1). Is t >= b?
True
Let u = -39643/74817 + 2/4401. Which is smaller: -1 or u?
-1
Let n = 535 - 1080. Which is greater: -1089/2 or n?
-1089/2
Let p = 102 + -103. Which is smaller: -271 or p?
-271
Let j be (32 - 30) + (-3)/((-3)/(-4)). Let q = 23 + j. Are 21 and q equal?
True
Let w be ((-1)/3)/(3/333). Let x = 39 + w. Suppose -x*y = -4*y. Which is smaller: y or -2/9?
-2/9
Let r be (4 + 2)/((-9)/(-2)). Let s = -1 + r. Let n = -0.96 + -0.04. Is s smaller than n?
False
Let i be 2*(-2 + (-20)/(-11)). Suppose 21*z = 17*z - 60. Let p be 3 + 50/z*6/4. Is i < p?
False
Suppose 0*z - 5*z - 2*x = -224, z + 3*x = 50. Let b = z - 23. Let a be 0*(b/(-6) - -3). Are -1/16 and a unequal?
True
Let p be (430/(-144) + 3)/(10 + -9). Which is smaller: -2/3 or p?
-2/3
Let w be (-2 - -5)/((-12)/(-28)). Let b(y) = y**2 + 3*y - 5*y - 4 + 3 + 3. Let s be b(3). Which is greater: s or w?
w
Let w(h) be the first derivative of -3*h**2/2 + 5*h + 2. Suppose -2*j + 5 - 1 = 0. Let f be w(j). Which is bigger: -3 or f?
f
Let t(w) = w + 1. Let b be t(-1). Let l = -19888/45 + 442. Is l > b?
True
Let z be (-148)/504 + (-3)/(-81)*6. Do -0.2 and z have the same value?
False
Suppose 5*b = -n - 23, -4*b + b = 4*n + 24. Let y = -3108 + 3104. Is n not equal to y?
True
Let s(w) = w**3 + 9*w**2 + 9*w + 8. Let r be s(-8). Suppose r = 2*c + 2, -z + c = -0*c - 43. Let q be (-1)/3 + 62/z. Which is smaller: q or 1?
1
Let q(i) = 2*i**3 + 27*i**2 + 15*i + 27. Let b be q(-13). Is 4/63 > b?
False
Suppose 4*l + 2*v = -v + 13, 4 = -4*v. Suppose 0 = 2*c + 4*f + 3 + 13, -2*f = 2*c + 6. Suppose -c = 2*m + 3*w, -4*w = -4*m - 2*w - 4. Which is smaller: l or m?
m
Let l be 459/(-34) - 2/4. Is l at most as big as -8?
True
Let x = 1 + 0. Suppose x + 5 = 2*p. Suppose q - p + 0 = 0. Are 2 and q non-equal?
True
Suppose -33 = z - 22. Is z at most 7?
True
Let h = 341 + -347. Which is greater: -1/2 or h?
-1/2
Let o(h) = -h**2 - 22*h + 2. Let v be o(-22). Let l be (2 - v) + (-8)/118. Is l less than or equal to 0?
True
Suppose 24*a = 31*a + 14. Let u = -0.04 - -0.04. Let l = u + 0.7. Is l bigger than a?
True
Let f = -15 - -18. Let w be (-1 - 1)/((-1)/f). Suppose -w*k = -4*k. Which is smaller: k or -2/25?
-2/25
Let u = 0.067 + -5.867. Let d = -4.8 - u. Let z be (2/4)/1*-18. Which is greater: d or z?
d
Let o = 86256/1393 - 98/199. Which is bigger: o or 60?
o
Let t be 1 + ((-11)/3 - (-13)/(-39)). Let q = -43 - t. Which is smaller: q or -41?
-41
Let s = 0.935 + -6.945. Let n = -6 - s. Let r = n - -0.09. Is -4 at least r?
False
Let n be 2/2 + (-5 - -3). Let v = -31741/11 + 2886. Are v and n non-equal?
True
Let l be 174/21 + (-4)/14. Suppose l = 2*o + 2*w, -5*o - 8 = -4*w + 8. Suppose 0 = 2*j + 3*k - 0*k - 3, o = 3*j + k - 1. Which is smaller: -4 or j?
-4
Let p = -100 + 90. Is p >= -9?
False
Let o = 2.6 - 3.6. Let r = 4 + o. Let b be ((-1)/4)/((-2)/4). Is r at most b?
False
Let m = -28/9 + 176/45. Are 2/45 and m unequal?
True
Suppose 0*p + 92 = 4*p. Let u = 12 - p. Is u smaller than -11?
False
Let w(c) = -c**2 + 10*c + 23. Let l be w(11). Let z = l + -13. Are -3 and z equal?
False
Let r be ((-2)/3)/(2/(-39)). Suppose 2*v = u - 28, -2*v + v - 2*u - 19 = 0. Let t = r + v. Is t at least as big as -8/9?
False
Suppose 5*h - 4*h = 4*y - 52, -h = 5*y - 74. Let j = 874 - 860. Is y smaller than j?
False
Let i(c) = -c**2 + 45*c - 153. Let n be i(42). Does n = -27?
True
Suppose -v - 4*m - 24 = -3*v, 0 = -2*v - 5*m - 21. Suppose 0 = -5*a + 4*o + 8, 4 = 4*a - 2*o - 2*o. Let f be v + a/(-34)*18. Is f smaller than -2/7?
False
Let h = 5/18 - 8/45. Let y(f) be the third derivative of -f**4/6 - 17*f**3/6 - 6*f**2. Let m be y(-4). Which is smaller: m or h?
m
Let s(l) = l - 18. Let n be s(15). Let g be (-1 + 3 + -3)*n. Suppose -d - c - 3*c = g, 0 = -5*d - 3*c - 15. Is d greater than or equal to -13/5?
False
Let z(y) = -y**2 + 3*y. Let k be z(-7). Let n = 1543/22 + k. Let w = -1803 + 1804. Is n smaller than w?
True
Let n be 2/6 + -2*(-3)/(-18). Suppose 5*o + 5 + n = 0. Is -2/151 at most as big as o?
False
Let m be (-4 - (-161)/35)/(537/(-15)). Which is smaller: 0 or m?
m
Let i = 18 - 16. Suppose 0 = 5*y - i*y - 6. Let p be 0/(4/(-8)*y). Is -3/5 bigger than p?
False
Let n be 0 + -3 + -4 - 0. Let y be 7*((-34)/n + -4). Suppose -y*j = -0*j. Is j at least 1?
False
Let o(x) = -x**3 - 5*x**2 + 3*x - 14. Let n be o(-6). Let p(k) = k**2 + 4*k + 4. Suppose 2*y = 3*y + 4. Let j be p(y). Is j less than or equal to n?
True
Let f be (-8)/20 + 18/(-5). Let y = 4 + f. Suppose 2*s = 3*g - 43, 3*g + y*g - 39 = 3*s. Do 16 and g have different values?
True
Suppose -29*s + 269 + 166 = 0. Is s <= 85/6?
False
Let o = 82 - 72. Let g = 157/2 + -70. Which is smaller: g or o?
g
Let c = -44 + 71. Which is bigger: c or 32?
32
Let o be (-98)/(-70) - (-2)/(-5). Let t be 2/3 - (-2210)/(-75). Let c = -29 - t. Is o less than or equal to c?
False
Let a = 233 - 234. Is -15/23 less than or equal to a?
False
Let m = -1511 + 1509.971. Let s = m - -0.029. Is s at most -1.6?
False
Let b = 1/164 - 167/492. Are 3 and b unequal?
True
Let g(t) = t**3 + 6*t**2 - 3*t - 14. Let q be g(-6). Suppose -q*s = -a - 15, -5*a - 5*s - 50 = -0*s. Which is greater: -10 or a?
-10
Let z = -4.065 + 4.1. Let b = -3.065 - z. Which is greater: 3 or b?
3
Let t(g) = 29*g - 261. Let c be t(9). Is 21/37 less than or equal to c?
False
Let 