er: 0.5 or w?
w
Let f(w) = -w**3 - 5*w**2 + w - 1. Let g be f(-5). Let a = 6 + g. Which is greater: 7 or a?
7
Let n = 2 + -3. Let i(g) = g**2 + 8*g - 6. Let f be i(-9). Let a be 21/(-9) + f + -1. Which is greater: a or n?
a
Suppose -70 = -5*v + 2*t - 6*t, -15 = -v - t. Suppose v*a - 5*a + 32 = 3*n, -12 = a + 5*n. Let o be a + 8 - (-9)/(-5). Which is smaller: -0.1 or o?
o
Let k = -0.5 - -0.2. Which is smaller: 2.8 or k?
k
Let s = -128 + 54. Which is bigger: -73 or s?
-73
Suppose h = 2*u + 1, h = -2*u + 6 + 3. Suppose -5*v - 5*j - 10 = 0, -2*v - j = -u*j + 1. Let a be (-6)/9 + 12/24. Which is smaller: v or a?
v
Let i(z) = z**3 + 5*z**2 + 3*z - 2. Let o be (-5)/((-5)/3) + -7. Let t be i(o). Is 3/2 at most t?
True
Suppose -o + r = 4, o - 3*r = -2 - 4. Which is smaller: o or -11/6?
o
Let b = -2.091 - -0.091. Which is bigger: b or 0.5?
0.5
Let w be (1/(-2))/(2/4). Let i be ((-2 - 0) + 2)/w. Suppose 0 = -3*m - 0*m. Are m and i unequal?
False
Suppose d = 22 + 7. Is d > 28?
True
Let l(x) = 2*x. Let m be l(-2). Let p be (m/6)/((-4)/30). Let i = 3 - p. Which is bigger: -3 or i?
i
Let m = -4 + 5. Let g be m/(-3*(-1)/9). Is g at most as big as -1?
False
Let c(n) = -3*n**3 - n**2 + 2*n - 1. Let j be c(1). Let m = -4 - j. Which is bigger: m or -2/3?
-2/3
Let j be (13/832)/(2/(-12)). Is j bigger than 1?
False
Let x(m) = -m**3 + 11*m**2 + m - 7. Let p be x(11). Which is bigger: 3 or p?
p
Let b = -2/33 - -142/165. Which is smaller: 1 or b?
b
Suppose -18*x = -20*x - 64. Are x and -32 nonequal?
False
Let s be 21/18 - 3/18. Let b be s + 0/(3*-1). Is b != 1?
False
Let a(c) = -c**3 - 3*c**2 - 8*c - 25. Let s be a(-3). Which is smaller: s or -1/123?
s
Suppose -1 = -4*d - 17, 5*c - 2*d = -22. Let w(p) = -p**3 - 4*p**2 + 6*p - 1. Let z = 13 + -18. Let t be w(z). Is t at most c?
True
Suppose -2*y + 6 = y. Suppose 8*x - 3*x = 2*f - 14, 5*f = -5*x. Let d = x + y. Is d at most 1/3?
True
Let b = 10 + -10. Which is smaller: b or 0.08?
b
Let q = 44 - 175/4. Let t = q + -3/28. Are 1 and t equal?
False
Let d be (-1263)/18 - (-3)/18. Let x be (-44)/d + (-1)/5. Let p be 0/(2 + 2 + -3). Which is smaller: p or x?
p
Let m(c) = -c**2 + 10*c. Let n be m(11). Which is greater: n or -12?
n
Let u = -2 + 1.75. Let m = u - -0.15. Which is smaller: -9 or m?
-9
Let h = -2 + -7. Let y = -9 - h. Is y at least as big as -14?
True
Let l = -196/3 + 66. Let v(i) = i**2 - i - 25. Let r be v(0). Let a be (4/r)/(2/(-5)). Is a bigger than l?
False
Let w be 8897/245 - 2/(-5). Let j = w - 37. Let c be 3/9*6/8. Do j and c have the same value?
False
Let q = 2 + 12. Suppose -3*d - 5*b = -18, -4*d + 2*d + q = 4*b. Is 2/53 at least d?
False
Let c be -2 - (-4 + (-21)/(-6)). Let y be (-4 - -1) + 5 + -3. Let r = y - 0. Which is greater: c or r?
r
Let a = -61 - -58.6. Is a > 2?
False
Let g = -4 - -1. Is 3/4 smaller than g?
False
Suppose 2 = 3*p - 5*p. Suppose -2*d = -0*d. Suppose -4*m - m = d. Which is bigger: m or p?
m
Suppose 2*d = -5*k - 10, -2*k - 4*d - 13 = 7. Which is bigger: 1/41 or k?
1/41
Let k = 40/287 - -6/41. Which is greater: -11 or k?
k
Let n be 2/(-10) + (396/(-230))/(-6). Is n at least 1?
False
Let m = -2/4967 + 114529/715248. Let r = m - -1/16. Are r and -3 equal?
False
Suppose 0 = y + 1 + 4. Which is greater: y or -4?
-4
Let h(f) = -f**3 + 3*f**2 + 5*f. Let x be h(4). Suppose 0 = 2*n - 3*n + 5*i - 7, -x*n - 10 = -2*i. Let q be (190/(-16))/5 - n. Which is bigger: -1 or q?
q
Let c be (-14)/(-7) - 1/3 - 1. Which is smaller: 2 or c?
c
Suppose -4*c + 3*o = -228, -3*c - o = -7*c + 236. Let u = -178/3 + c. Let l = -5 - -7. Is u >= l?
False
Let t = -64 - -319/5. Let l(s) = -s + 7. Let i be l(6). Which is smaller: i or t?
t
Let t(h) = -h**3 + 7*h**2 - 4*h + 9. Let m be t(7). Let u = -134/7 - m. Are 0.1 and u unequal?
True
Let f(a) = a**2 - 2. Let l be (6 - 1)/(4 - 3). Suppose -4 = -l*u + 2*n - 4*n, -2*u = -4*n + 8. Let r be f(u). Is r <= -1?
True
Suppose 0 = -2*n - 0 + 10. Let p = n - 3. Suppose -3 = 3*i, 3*z + 4 = p*z - 4*i. Do z and 0 have different values?
False
Suppose 3 = c + 2*c - 3*a, a = -2. Let d(b) = -3*b - 2 + 4*b - 2*b. Let p be d(-2). Which is greater: c or p?
p
Suppose 0 = 5*w - 4*b + 48, 5*w - 2*w + 3*b = -18. Which is greater: w or -9?
w
Let v be (-4 - -2)/(4/(-10)). Let t = -0.75 + 1.75. Are v and t nonequal?
True
Let j = 3 - 3. Let q = j - -2. Does q = 2?
True
Suppose -4*v - 2*q + 25 = -q, -40 = -5*v - 3*q. Suppose 5*l + v - 10 = 0. Is l smaller than -1?
False
Let o = -1 + 1. Let q = -0.3 - o. Let g = -1 - -1.1. Which is bigger: g or q?
g
Suppose 0*d - 5*d - 10 = 4*h, 2*h + 2*d = -4. Which is greater: 2/17 or h?
2/17
Suppose 0 = 5*o + 4*a + 8, -5 - 1 = 3*o + 2*a. Is 1/12 >= o?
True
Let v = -20 - -22. Let z be 2/5 - 2/(-10). Which is bigger: z or v?
v
Let r = -6.4 - -8. Let a = r - 0.6. Which is bigger: -2 or a?
a
Suppose -2*w - 3 = -2*m + 1, -3*w = 2*m - 14. Suppose -m*o - 2*t + 16 = 0, -2*o + t - 12 = -5*o. Let q be (3 - 3) + -1 - -6. Is o less than q?
True
Let m be (-1)/3 - (-5)/16. Is 1 at least as big as m?
True
Let n be 3 + (0 - (-11)/(-3)). Which is smaller: -1 or n?
-1
Let s(z) = -z**3 + 10*z**2 - 11*z + 13. Let h be s(9). Is -4 <= h?
False
Let b = 10 - 5. Let x = 7 - b. Is x != 1?
True
Let o = 86 - 90. Which is bigger: o or -15/4?
-15/4
Suppose 3*w + 8 = 2. Let n be w/(-28)*(-4)/2. Which is smaller: n or -1?
-1
Let z be (3 - 0) + (1 - 2). Let d be (-15)/3 + -2 + 0. Let a = d + 9. Is z at least a?
True
Let r(q) = q - 9. Let k be r(7). Let u = 12 + -5. Let t(d) = -d + 4. Let f be t(u). Which is greater: k or f?
k
Let j = 205 - 610/3. Is 2 less than or equal to j?
False
Suppose v + 3*t + 9 = -0, 4*v - 2*t = 6. Which is smaller: -19 or v?
-19
Let h(t) = -t**3 - 1. Let s be h(0). Let a be (s*3 - -1) + 2. Suppose -p = -5*p - 4. Which is greater: a or p?
a
Let q be 27/4 - 30/20. Is q greater than or equal to 4?
True
Let o(q) = 3*q + 7. Let x be o(3). Is 16 less than or equal to x?
True
Let f = -20/59 + 545/2478. Let a = f - 1/6. Which is bigger: a or -2/33?
-2/33
Suppose g + 5*o = -18, -9 = -5*g + 5*o + 21. Let j(t) be the second derivative of t**5/20 - t**4/4 + t**3/6 + 2*t. Let a be j(g). Which is smaller: -1 or a?
a
Let x(p) = p**2 + 4*p - 4. Let r(i) = -i**2 - i - 5. Let c be r(0). Let u be x(c). Let l = 3 - u. Is l at least as big as 3?
False
Let o = -2738/13573 + 5/277. Let f = o - -2/49. Are f and -1 nonequal?
True
Let o = 0.14 - 4.54. Which is bigger: 2/3 or o?
2/3
Let b be (-3)/(-2) + 350/(-252). Which is bigger: b or 2/3?
2/3
Let z = -166/11 + 665/44. Let v = -139/308 + z. Let r = -7 + 5. Which is smaller: r or v?
r
Let b(a) = a**2 - 22*a - 12. Let w be b(21). Which is smaller: -34 or w?
-34
Let n = -481948/189 + 2550. Are n and -1 unequal?
True
Suppose 7*u = 2*u - 5. Let l = 13255/27 - 491. Is u > l?
False
Let j be 1/(-1) + 1 + -4. Let i be 275/(-45) + 6 + (-124)/18. Do i and j have the same value?
False
Suppose -5*c + 200 - 30 = 0. Which is greater: -1 or c?
c
Let w(g) be the second derivative of -g**3/6 - 5*g**2/2 - 2*g. Let k be w(-5). Are -2/11 and k non-equal?
True
Let h(m) = -m + 18. Let p be h(12). Let v be (1 - 8)/(4/(-3)). Is p not equal to v?
True
Suppose -v + 1 = -7. Suppose -u = 3*u + v. Which is smaller: -3 or u?
-3
Suppose -3*d + 0*c + 9 = 3*c, -d - 3*c + 1 = 0. Suppose -d*y + 1 = -3*h + 2, -2*y + 4*h + 2 = 0. Do -1 and y have the same value?
True
Suppose -3*i - 3*g = -9, -5*i = -g - 3*g - 15. Suppose 0 = -i*r - r + 4. Is 3 smaller than r?
False
Let y(p) = p**2 - 4*p - 3. Let d be y(5). Let x be 0 + 4/d + -1. Which is smaller: 0.2 or x?
0.2
Suppose 2*g - 5*o = 29, 2*g = -0*g + 2*o + 14. Do 11 and g have different values?
True
Let p(z) = -6 - 6*z**3 + 3*z**3 - 11*z**2 + 2*z**3. Let n be p(-11). Is n less than -6?
False
Let v = -4.9 - -5. Let g = -3 - -2.8. Which is smaller: v or g?
g
Suppose s + 0*s = 1. Let y(m) = m**3 - 4*m**2 - 5*m - 2. Let d be y(5). Let g = d + s. Is g less than 0.2?
True
Let i = 3 - 0. Suppose 5*v + i*u + 20 = -2*u, 4*u + 16 = 4*v. Suppose 2*z + 5*x + 12 - 1 = v, 0 = -z + x - 2. Is z at least -5?
True
Suppose 3*c = -c. Let s = 0 - -1. Let b be 18/(-20)*s/(-3). Which is smaller: b or c?
c
Let u = -0.07 + 4.07. Let n = -3.9 + u. Let h = -9 - -9.5. Is n > h?
False
Let v(h) = 2*h - 1. Let d be v(1). Suppose 3 - 6 = -3*m - y, -d = -m - y.