3*w + 5*p + 19 = 0, 0 = -5*w + 5*p + 40. Is 3 > w?
False
Suppose 13*f - 10 - 3 = 0. Let z = 2 - 1. Are f and z equal?
True
Let i = 143 - 143. Which is bigger: 6/5 or i?
6/5
Let p(v) = 0*v - 2*v + 3 + 3 + v. Let n be p(0). Let s be 45/n*4/(-6). Which is smaller: -4 or s?
s
Let i = 4 - 1. Suppose -5 = -5*v + 2*n, 8*v - i*v - 20 = 5*n. Let d be (-3)/2*(-12)/(-63). Is d at most v?
False
Let o be (5/(-10))/((-1)/6). Suppose o*z - z - 9 = -5*g, 3*g = z - 10. Which is smaller: z or 6?
6
Let b(u) = u**3 - 2*u**2 + 1. Let d be b(1). Let x be (-2)/(-2 - (d + 2)). Let t(w) = 2*w**2 - 1. Let o be t(-1). Is x less than o?
True
Suppose 2*w = 9*w - 49. Is 5 > w?
False
Let s(y) = 6*y + 34. Let o be s(-19). Is -80 greater than o?
False
Suppose -158 = 3*q - 14. Let a be (-12)/q*(0 + 2). Which is greater: 1 or a?
1
Suppose 2*q - 4*z + 3*z = 5, q + 5*z = -14. Suppose -4*d + 15 = -9. Let h be ((-9)/(-81))/(2/d). Is h < q?
True
Let m(u) = -u**3 + 3*u**2 + 4. Let h be m(3). Suppose -r - r = 4*i - 26, i = -h*r + 17. Is r at most as big as 3?
True
Suppose g + 24 = 3*l, 5*g + 184 = 4*l - 5*l. Let v = g - -21. Let k be (-21)/55 + (-3)/v. Is -1 >= k?
False
Let i = -302/5 - -60. Let s = 47 - 47.2. Which is greater: i or s?
s
Let b be 7/(-14) + 2/4. Which is bigger: b or 2?
2
Let r(n) = -n**3 - 9*n**2 - 2*n - 13. Let j be r(-9). Suppose -j*q + 9 = 4. Which is smaller: q or 0?
0
Let s = 3 + -2. Let l = 524/21 - 156/7. Let k = l - 2. Which is greater: k or s?
s
Let b be (5/(-6))/(0 - 5). Do -1 and b have the same value?
False
Let f = 28 + -29.08. Let l = f - -0.08. Which is smaller: l or 2/25?
l
Suppose -4*i = -3*h + 12, i - 3*i + 2*h = 8. Which is smaller: 2/155 or i?
i
Let h be (-732)/28*(-2)/(-27). Let q = -20/9 - h. Let z = 0.2 + -0.1. Which is smaller: q or z?
q
Let i(o) = -o**3 + 7*o**2 + 9*o - 7. Let a(v) = v - 8. Let f be a(16). Let b be i(f). Which is smaller: -2/21 or b?
-2/21
Suppose 0 = 2*a - 2*x - 8, 3*x + 13 = a - x. Let l(n) = n**3 + 3*n**2 - 3*n + 3. Let f be l(-4). Is f greater than a?
False
Let s(j) = j**3 - 6*j**2 + 5*j + 5. Let p be s(5). Suppose -p*c - 12 = -8*c. Which is greater: c or 5?
5
Let t = 9 + -5. Suppose -7*q = -t*q - 6. Let l = -2 + q. Which is smaller: l or -3/4?
-3/4
Suppose 8 = w - 3*z, 0*w - 3 = -w - 2*z. Is w < 2?
False
Let g(z) = -z**3 - 10*z**2 - z - 12. Let o be g(-10). Let t = -7 + 4. Let q = 3 + t. Which is bigger: q or o?
q
Let p(i) = i**2 + 4*i + 4. Let w be p(-3). Let g = -93 - -649/7. Which is smaller: g or w?
g
Let u be (1*3)/((-9)/927). Let m = 2159/7 + u. Let t(n) = n - 4. Let c be t(2). Is m less than or equal to c?
False
Let i = 0.27 - 0.1. Let d = -0.07 + i. Is 3 smaller than d?
False
Let v be -1 - 2*29/(-2). Let l be ((-8)/20)/(v/(-10)). Is 1 >= l?
True
Let g be 3/9 + (-21)/36. Which is bigger: 3 or g?
3
Let w = 73 + -72. Let f = -40.1 - -42. Let v = -2 + f. Is v smaller than w?
True
Let l = -0.9 + 0.9. Let q = -0.2 + 0.4. Let p = q + -0.4. Which is smaller: l or p?
p
Let g = 128 - 130. Which is greater: g or -8/9?
-8/9
Let v be 1/20 - (-1)/4. Let o(d) = 3*d - 3. Let x be o(1). Which is greater: v or x?
v
Let t = -36 - -21. Let g be (12/t + 0)*-10. Suppose -26 = m + 5*f, -3*m = -0*m + f + g. Is m <= 2/5?
True
Let m = 89 + -171/2. Let y be (1 + 2)*(-4)/(-42). Which is greater: m or y?
m
Let z be -2 - 0 - (-4 + 4/6). Let o be (-6)/(-4) + 1/(-2). Which is smaller: z or o?
o
Suppose -78 = -13*w + 52. Is 9 <= w?
True
Suppose 0 = -3*t - 2*r + 15, -r + 1 = -5*t + 26. Suppose 0 = 5*f - 2*n, 5*n = t*f - 8 - 7. Let v(o) = -o + 2. Let q be v(3). Is q <= f?
False
Let p = 0 + -1. Let h be 2*(-1)/2 + -1. Which is greater: p or h?
p
Let p = 2.1 - 0.1. Let t = 2.1 - p. Is t at most as big as -2/7?
False
Let c = 35/2369 - 6/103. Is c greater than or equal to 0?
False
Let u = 1.4 - 0. Let a = u - 1. Let q = a - 0.5. Is q >= -1/2?
True
Let v be (-2)/(-10) - 54/45. Which is smaller: v or -5?
-5
Let g = -10 - 17. Is g greater than -27?
False
Let i(x) = x**3 - 8*x**2 - 8*x - 7. Let o be i(9). Which is smaller: 7/3 or o?
o
Let w = 21 - 18. Let j = w - -1. Is j at most as big as 4?
True
Let p be ((-6)/(-5))/(3/10). Suppose 2*a = p - 2. Which is greater: -4 or a?
a
Suppose 3*f = -0*f. Let z = f - 0. Let w be 2 - (1 + z) - 5. Is w bigger than -5/2?
False
Let f be (-2)/6 - 2/3. Let z be 4/((-2 - -3)*-6). Which is greater: f or z?
z
Let y = -78 - -79. Do -1/3 and y have the same value?
False
Let k be 2/18 - (-220)/45. Which is smaller: 25/6 or k?
25/6
Let t(j) = 25 + 3*j**3 - 11 - 4*j**3 + 9*j**2 + 8*j. Let h be t(10). Is h equal to -1?
False
Let w be (-4 + 7)*2/3. Is w greater than or equal to 2/13?
True
Suppose 0*k = 4*k - 28. Suppose -5*v = 2*b - 411, b + k*v - 2*v = 218. Let f = 2119/11 - b. Do 1 and f have the same value?
False
Suppose 0 = -3*h + 2*h - 3. Is h at most as big as 6?
True
Let i be (6/9)/(1/(-3)). Let x be 8/10 - i/10. Let l = 141/4 - 35. Which is smaller: x or l?
l
Let w = -0.7 + -0.9. Let j = -0.6 - w. Which is smaller: 1/7 or j?
1/7
Let w be (4/26)/(22/84). Let n = 10/13 - w. Is n < 0?
False
Let b = -1.3 + 0.3. Let k = b - -5. Let p be (-4)/6 + -1 + 1. Is k greater than p?
True
Let f be 5 - -2*9/6. Suppose -10 = -o - f. Do 2 and o have the same value?
True
Let m be (-14)/48 + 0 - 12/96. Is 0 less than m?
False
Suppose -205*o + 24 = -197*o. Let b(p) = -p. Let j be b(-4). Is o at least as big as j?
False
Let w be (8/10)/((-7)/70). Suppose 5*p - 4*h = -0 + 1, -4*p + 9 = 5*h. Is w < p?
True
Let h be ((-44)/8)/(1 + 4/(-8)). Is h <= -62/5?
False
Suppose -2*k = o - 5, -2*o + 5*k - 9 = -4*o. Is -2 > o?
False
Let k = -5 + 3. Let g(i) = 12*i**2 - i - 1. Let b be g(-1). Let u be b/15 + 1/5. Is k at least u?
False
Let j(t) = -7*t - 4. Let q(r) = -r. Let m(w) = -j(w) + 6*q(w). Let d be m(-4). Do d and 0 have different values?
False
Let j be 5 + -7 + (-20)/(-6). Which is smaller: -0.1 or j?
-0.1
Suppose -6*l - 4 = -2*l, -v + 141 = -4*l. Let r = -1369/10 + v. Suppose 0 = -b + 5*b + 4. Is b >= r?
False
Let b be 10/8 + 3/(-12). Let i(x) = 2*x**3 + x**2 - 1. Let q be i(b). Let r = q - -1. Which is bigger: r or 4?
4
Suppose 2*x - 7*x = 0. Suppose x*o + 15 = 5*o. Let l be o/(-2) - 4/(-8). Which is bigger: l or -4/3?
l
Let g(j) = 2*j**2 + 19*j - 3. Let x be g(-8). Which is greater: x or -28?
x
Suppose -2*v + 76 = 5*t - 4*v, 3*v = -9. Which is smaller: t or 13?
13
Let c = 9 - 3. Let q be (4/(-3))/(c/9). Which is smaller: q or -3/5?
q
Let p(r) = -r**2 - 4*r + 1. Let k be p(-4). Suppose 0 = b - 3 + 5. Let y be 0 - 1/9*b. Which is greater: k or y?
k
Let p be -31 - 2 - (0 + 1). Let n = -74 - p. Let r be (16/n)/((-4)/10). Which is bigger: 3/5 or r?
r
Let k be 2/(-10) - 52/(-60). Let z be 2/(-5) - 44/(-10). Let o be (-1)/z - 1/(-4). Do k and o have different values?
True
Suppose 0 = c + 3 - 0. Let i = c + 7. Let x = 5 - i. Is 0 >= x?
False
Let q(g) = 2*g + 4. Let y(c) = c + 2. Let l(s) = -3*q(s) + 5*y(s). Let x be l(-6). Suppose x*f = 4 - 0. Which is greater: f or 1/6?
f
Let x be (-2)/8 + 22/(-40). Suppose 0*o = -f - 2*o + 11, 12 = 3*o. Let s be (-2)/f + (-1)/3. Is x at most s?
False
Let r = -0.43 - 0.07. Which is smaller: 0 or r?
r
Let x = -6.5 + 7. Let a = x + -0.4. Is a > -0.1?
True
Let v = -207 + 835/4. Which is greater: v or 2?
2
Let h = -9 + 5. Which is smaller: -5 or h?
-5
Suppose -d + 17 - 20 = 0. Is d bigger than 0?
False
Suppose 5*i = -h + 40, 0*i + 31 = 3*i + 2*h. Let j = i + -10. Let q be 2 + j - (-2)/(-2). Do q and -3/2 have different values?
True
Let u be (-1 - (-3)/(-4))*-12. Let m be 3/u*(-14)/(-4). Which is greater: m or 2?
2
Let f(k) = -k + 14. Let x be f(8). Do -2/9 and x have the same value?
False
Suppose 4*n = -16, -2*m = 4*n + 11 + 7. Let c be (-6)/2*m/3. Suppose -a + 1 = -5*o + 2*o, -5 = o + 2*a. Is c bigger than o?
True
Let s(m) = -m - 10. Let i be s(-7). Let j be i/(-2) - (-10)/(-4). Does j = 0.08?
False
Let q = -0.1 - -0.3. Let f = -0.191 + -0.009. Let g = q + f. Is 0 at most g?
True
Let f = 8.3 - 8. Let j = -0.4 + f. Are -1/4 and j nonequal?
True
Let n(c) = -2*c**2 + 7*c - 4. Let r = -10 - -14. Let g be n(r). Which is bigger: -7 or g?
-7
Let q = -0.9 - -0.7. Which is bigger: q or -0.5?
q
Suppose k - 18 = -2*k. Let w = 6 - k. Which is smaller: w or 5/4?
w
Let v = 1 - 0. Suppose 4*a + 4 = 0, -2*y - 5 = 2*y + a. Let c be (3/(-12