 be (-2)/(-3)*(-738)/16. Suppose 4*h - 94 - 30 = 0. Let m = r + h. Is -2/3 at most as big as m?
True
Let t(j) = 4*j - 26. Let z be t(-8). Which is greater: 0.1 or z?
0.1
Suppose -19*u = 54 + 193. Is -9 less than u?
False
Suppose -4*i = i. Suppose 0 = -2*u - u + 18. Suppose u*f = 3*f - 3. Which is greater: f or i?
i
Let h(j) = -j**2 - 6*j - 3. Let a be h(-5). Let m = -0.57 + 0.77. Which is greater: m or a?
a
Let s(b) = -3*b + 1. Let g be s(-3). Let d be ((-24)/210)/(4/g). Let n = 0 - -2. Is d smaller than n?
True
Let q = 30/151 - 1712/7097. Which is greater: -1 or q?
q
Let n be 2 - 4/((-8)/(-2)). Which is greater: -2/23 or n?
n
Let g(m) = -m + 7. Let u = 0 - -4. Let v be g(u). Do v and 3 have the same value?
True
Let v(p) = -p**2 - 2*p - 2. Let h(y) = 2*y**2 + 5*y + 3. Let d(x) = 2*h(x) + 5*v(x). Let a be d(0). Which is bigger: -3 or a?
-3
Let a(v) = -v**3 + 3*v**2 + v. Let w be a(2). Suppose -5*p = -0*b - 2*b - 24, -2*p + 2*b + w = 0. Suppose 2*x - p*x = 0. Which is greater: x or -1/7?
x
Let t be (2 - 604/(-140)) + -1. Let v = -28/5 + t. Which is smaller: 0 or v?
v
Let i = 669 - 3331/5. Do i and 2 have different values?
True
Let j = -244 - -3169/13. Let b(c) = -3*c**2 + 6*c + 5. Let z(x) = 4*x**2 - 6*x - 5. Let n(v) = -5*b(v) - 4*z(v). Let p be n(-5). Is p at most as big as j?
False
Suppose 16*x - 18*x = 70. Is -37 at most x?
True
Let y(c) = c**2 + 6*c + 4. Let p be y(-6). Suppose 3*d = -d + p. Are 2 and d unequal?
True
Suppose 2*s - 3*s = 0. Suppose -2*c + 6*c = s. Is -2/27 less than c?
True
Suppose 0 = 5*u - 23 + 13. Suppose -u*y - 2*y + 8 = 0. Is y bigger than 1?
True
Suppose -7*p - 20 - 1 = 0. Is -3 less than p?
False
Let x(y) = -y**2 + 2*y. Let u be x(1). Let d = -2 - -5. Suppose -2*f + u = d. Which is smaller: -2 or f?
-2
Let h(q) = q**3 + 8*q**2 + 7*q + 1. Let p be h(-7). Which is smaller: 6/71 or p?
6/71
Let m(x) = -x**3 - 5*x**2 + 3*x + 3. Let s be m(-6). Let h = -41/2 + s. Let y = -30 + 32. Which is smaller: y or h?
h
Suppose -10*o = -5*o - 5. Let d be 5 + -3 - (-2)/(-1). Do d and o have the same value?
False
Let s be (2 - 0)*((-12)/(-8) + -1). Let l be 162/100 + (-9)/6. Is s at least l?
True
Let r = 0 + 1. Let h be 0 - (-3 + (-76)/(-28)). Do r and h have different values?
True
Let f(i) = -i**3 - 10*i**2 + 3. Let l be f(-10). Let y be (-10)/(-15) + (-2)/l. Suppose y = -5*h + 2*z - 25, -4*h - 22 = -z - 2. Is -5 less than h?
False
Let v(p) = -p**3 + p**2 + p - 1. Let s be v(0). Let r(h) = h**3 - 10*h**2 - 3*h + 30. Let d be r(10). Is s >= d?
False
Suppose 5*h = -2*p + 4, 6*p = 3*p - 4*h + 6. Suppose -3*f - f - 4 = 0. Let y = f - p. Is y <= -2?
True
Let y be (-3)/(-9) - 33/90. Do y and 1 have different values?
True
Let r = 3.14 - 3.14. Let t = -15.2 + 17. Which is bigger: r or t?
t
Let r be -1 - (-4 - (-2 - -2)). Which is smaller: 0 or r?
0
Let h = -5357/23 - -233. Let b(r) = r**3 - 3*r**2 - r + 2. Let c be b(3). Which is smaller: h or c?
c
Suppose -23 = -3*q - 5. Let u be 3/q*-2 + 2. Suppose -21 = -f + 5*y, 12 = -2*y - y. Is f < u?
False
Let o = 13 + -11. Let w(m) = 2*m**2 + 2*m - 2. Let k be w(-4). Let n = k + -41/2. Which is smaller: n or o?
n
Suppose -6*m + 100 = 3*a - 4*m, 106 = 3*a - 4*m. Is 34 > a?
False
Let q = -0.1 + 0.3. Let p = q - 0.5. Which is smaller: 0 or p?
p
Let x be -1 + 0/(-3) + 4 + -58. Is x at least -54?
False
Let t = -31 + 40. Which is greater: 10 or t?
10
Let x = -7 - -15. Is 8 less than or equal to x?
True
Let g be (12/(-8) - -2)*-2. Which is smaller: g or -3/20?
g
Let c = -2/3 - -4/3. Which is bigger: -6 or c?
c
Let w = 8.7 - -3.3. Which is bigger: 3 or w?
w
Suppose -3*g - 27 = -2*g. Which is smaller: -26 or g?
g
Let b = 3513/638 - 2/319. Are b and 5 unequal?
True
Let v be 32/6*5/4. Let m be (6 + (-2)/(-2))*1. Let n = m - v. Which is smaller: n or 0.1?
0.1
Let c(k) = k**2 + 3*k + 2. Suppose 3*i + 6 = 0, -20 = 4*a + 3*i + i. Let n be c(a). Suppose -4 = n*s + 2. Are -3 and s nonequal?
False
Let n be (-827)/(-165) - (16 + -11). Which is smaller: n or -1?
-1
Suppose 0 = -13*m + 5*m + 8. Is 2 at least as big as m?
True
Let v be (2/(-5))/((-1)/(-5)). Let i be 64/110 - 4/22. Is v at least i?
False
Let r = 0.2 - 0.2. Let i = -2 - r. Are i and -2 nonequal?
False
Let z = 2.2 + -2. Let p(i) = -i - 11. Let v be p(10). Let c = -20 - v. Which is bigger: z or c?
c
Suppose -4*u + f - 77 = 0, -4*f + 24 = -u + 1. Let j = 20 + u. Is 3 less than j?
False
Let x be 4*-2*2/(-8). Let d be (2/5 - x)*5. Which is smaller: -7 or d?
d
Let a = -1202 - -42073/35. Which is bigger: 1 or a?
1
Let l(w) = -w**3 - 4*w**2 + 2*w + 4. Suppose -d + 20 = -6*d. Let s be l(d). Is -9/2 less than or equal to s?
True
Let z be (0 - -1)*26/(-78). Let l = 0 + 0. Which is greater: z or l?
l
Suppose 4*t - 3 = 5*k, 0*t - 5*k = t - 7. Suppose t*r + 5 = 7*r. Let v be (-1)/3 + 30/36. Which is smaller: v or r?
v
Let s be 3/12*-2*-6. Suppose s*o = 3, 1 = 3*r - 0*o - 2*o. Is r at least as big as 1/14?
True
Let p = -11 + 8.1. Let z = p - -3. Let n = z + -0.3. Do n and 0.1 have the same value?
False
Let v be 1/(9 + 0)*6. Let d = -9.06 + 11. Let p = d - -0.06. Is v < p?
True
Let l = 1 + 2. Suppose 0 = g + l*t + 15, 5*g + 4*t = -4 - 27. Let a = 3 + g. Which is smaller: a or 1/9?
a
Suppose f = 2*x + 1, 6*x - 57 = -5*f + 3*x. Suppose u + 2*a - a - 1 = 0, 3*u + f = a. Let c(p) = p**3 + 2*p**2 - p. Let o be c(u). Is o > 3/2?
True
Let i = 0.045 - 1.045. Let y = 11 - 8. Which is greater: i or y?
y
Let f = -154 + 157. Which is smaller: f or 29?
f
Let t = 413/26 - -47/13. Let q = t - 16. Is 4 equal to q?
False
Let h(k) = 2*k**2 + 6*k - 6. Let s be h(1). Which is smaller: s or 6/7?
6/7
Let i be -2*1/2 - -1. Suppose i = x - 0*x + 1. Let g be 0/2 + 6/21. Is x at least g?
False
Let c = -563/100 + 22/25. Which is bigger: c or -5?
c
Let z be ((-3)/(-2))/((-6)/(-8)). Suppose 2*v = -0*v + 4*n + 24, -5*v + 5 = n. Is v less than z?
False
Let s = -30 + 31. Suppose 0 = -2*x + 7*x - 10. Which is smaller: s or x?
s
Let f = 2 + -5. Let a be (-6)/(-26)*1/f. Let l(q) = 2*q + 11. Let y be l(-6). Which is bigger: a or y?
a
Let b = -11.9 + 12. Which is greater: 17 or b?
17
Let c be (4/2 - 3) + 7. Let q = 7 + 1. Let i = c - q. Is -2 < i?
False
Suppose 3*j - 10 = 2. Let o(n) = -n - 3. Let g be o(-8). Which is greater: g or j?
g
Suppose -5*r - 3*a + 16 = 0, -9*r + 5*r - 4*a + 8 = 0. Is r smaller than 6?
True
Let y = 7611/23 - 331. Suppose 4*s = -3 - 1. Which is bigger: s or y?
y
Let i(j) = j**2 + 8*j - 9. Let t be i(-9). Suppose c - 3*g + 5 = -t*c, c - g = -3. Which is greater: c or -3/5?
-3/5
Let x(j) = j**2 - 7*j + 5. Let p be x(6). Let g = -0.08 - 3.92. Which is smaller: p or g?
g
Let l be 0*4/4*-1. Is l bigger than -2/17?
True
Suppose 4*j - 8 = -0. Suppose j*x = 3*x - 2. Suppose -3*k - 3*w = 0, 3 + x = -4*k + w. Which is bigger: 1/6 or k?
1/6
Suppose -6 = -3*z + z. Let g be 1/3 - z/36. Suppose -5*q - 9 = -2*w - 40, -q - 5*w + 17 = 0. Is g bigger than q?
False
Let b = -1 + 1.5. Let l = b + -2.5. Which is smaller: 0 or l?
l
Suppose -3*f + 4*q = 82, -f - 2*f - 86 = -2*q. Suppose -168 = 5*s - 2*s. Let c be 2/(-8) + f/s. Which is smaller: -1 or c?
-1
Let v = -10 - -15. Suppose -3*i + 2*b - 6 = -b, -v*i - 5*b = 20. Let y be (i/(-45))/(1/3). Which is greater: y or 0?
y
Suppose 0 = 3*g - 2 - 1. Suppose -3*c + 12 = 3*m, -3*c + c + g = -5*m. Let s be m/2 - 7/22. Which is smaller: s or -1?
-1
Let x(n) be the first derivative of n**4/4 - 11*n**3/3 + 6*n**2 - 10*n + 3. Let r be x(10). Is 11 smaller than r?
False
Let i = 6 + -6. Suppose i*t - t = 0. Which is smaller: 2/5 or t?
t
Let u be 498/56*246 + -1. Let g = 2185 - u. Let f = -22/7 - g. Which is smaller: f or -0.1?
f
Suppose 5*v - 17 - 10 = -4*u, 3 = -v + 2*u. Suppose 8 - 2 = -3*q + v*x, 4*q - x + 5 = 0. Which is smaller: q or 0?
q
Let p(f) = 8*f. Let v be p(-1). Is 1 bigger than v?
True
Suppose 0 = b - 2*b + 2*p, 3*p = 2*b - 1. Suppose -5*r = -b*r + 3. Which is smaller: r or -2?
-2
Let c be 220/(-847) - 4/14. Which is smaller: 0 or c?
c
Let w be 332/110 - -6*4/30. Which is bigger: w or 3?
w
Suppose 4*x = -4*w - 32, w + 3*w + 24 = -2*x. Let t be (x - -2)/(1*-9). Which is greater: -1 or t?
t
Let t = 0 + -0.1. Let p = -2.5 - -7.6. Let n = p - 5. Do t and n have different values?
True
Let x = 0.26 + 0.04. Let u = x + -0.1. Let d = -3 + 5. Is u at most d?
Tru