et m be g(4). Suppose 5*n - 83 = m. Let v be n/(-8)*2/(-3). Which is smaller: v or 4?
v
Let z = 11.8 + -19. Let c = 7 + z. Which is smaller: c or -1?
-1
Let u = -4 + 6. Let w be (-78)/(-9) + 2/6. Suppose -u*q + w = 7. Is q at most 4/5?
False
Let x = 4.89 + -4.9. Does 1 = x?
False
Let m be 4/(-6) + (-79)/(-24). Do m and 4 have the same value?
False
Let i(k) = k**2 + 8*k - 1. Let n be i(-6). Is -13 equal to n?
True
Let g = -133/3 - -2518/57. Let y = 37/114 + g. Does -1 = y?
False
Let o = 1 - 12. Let i = o + 21/2. Are i and -2 nonequal?
True
Let z = 21 + -26. Let k = -250/3 - -84. Is k > z?
True
Let p(k) = k**3 + 14*k**2 - 16*k - 15. Let o be p(-15). Does -5/12 = o?
False
Let n(w) = w**2 + 31*w + 27. Let h be n(-30). Are -27/7 and h equal?
False
Let h = -0.5 - -0.4. Let l = -35 - -35.2. Is h < l?
True
Let i be 4 - -30*2/(-4). Which is bigger: -9 or i?
-9
Suppose 2*b = -2*b. Suppose b = -0*a + 5*a + 40. Let y be a/(-28) - (-4)/(-14). Which is smaller: y or -3/10?
-3/10
Let a = -6 + 10. Suppose -2*i + a = -3*c + 5*c, -i = -4*c + 13. Which is greater: -1/7 or i?
-1/7
Suppose 4*g - 12 = g. Suppose 12 = 5*d - 2*a, -g*a = a + 5. Let m(y) = -y**2 - 8*y - 7. Let h be m(-7). Is h greater than d?
False
Suppose -2*z + 2 = -3*h - 13, z + 3*h = -15. Let u be (-4)/(-6) - 11/(462/10). Which is smaller: u or z?
z
Let j(i) = -4*i**3 - 2*i - 3. Let z(c) = -8*c**3 - 5*c - 7. Let v(g) = 7*j(g) - 3*z(g). Let s be v(-1). Suppose 0 = x - s*x. Which is greater: x or 2/5?
2/5
Let w(x) = -x + 6. Let k be w(6). Suppose -4*b + m - 7 = -2, -3*b - 2*m + 10 = k. Is b < 0?
False
Let d = -18 - -29. Suppose 0 = -2*r - 10, d + 9 = -5*w - r. Let q = 5/2 + w. Is -1 smaller than q?
True
Let h(t) = -t**2 - 26*t. Let o be h(-26). Is 1/56 greater than or equal to o?
True
Let a = 3.9 + 3.6. Let n = 7 - a. Let m be 8/70 - (-2)/(-5). Which is greater: m or n?
m
Suppose -2*g + 5*v + 0 = 30, -8 = -2*v. Which is bigger: g or -17/4?
-17/4
Let f = 48429 + -1985777/41. Let s = f + 21541/4510. Let i = 1/11 - s. Is i < 1?
True
Let w be 0/(3 + -4 + -1). Which is greater: w or -3?
w
Suppose 0 = -3*h + 2*j + 46, -h = -6*h + 5*j + 85. Are h and 12 equal?
True
Suppose j = -5*c - 8, 3*j = c - 4 - 4. Let v = c - 1. Let y = -3 - v. Which is smaller: y or 2/3?
y
Suppose 5*t + 5*p = -5, -7 = 2*t + t + 5*p. Let v(l) = l**2 - l + 16. Let x be v(0). Suppose -4*y + 28 = -5*f, -2*f - x = 2*f. Which is smaller: y or t?
t
Let n(w) = w - 5. Let k be n(4). Let i be 0 + (0/2 - k). Let h = -251/1251 - 3/139. Does i = h?
False
Let p = -279 + 14790/53. Which is bigger: p or 1?
1
Let k(j) = -j**3 + 4*j**2 + 3*j + 2. Let t be k(4). Let d = 8 - t. Is d at least -3?
False
Let q = 41 + -28. Is -2 less than or equal to q?
True
Let x = -10 - -10. Is x smaller than -4/17?
False
Let q = 7 + -6.98. Is q less than or equal to 2?
True
Let p = 2114521/18 + -117443. Let a = p - 61/2. Which is smaller: -1 or a?
-1
Suppose 2*c = -s + 3*s + 6, 3*s = -4*c - 2. Let k be (-2)/(-4) - 1180/2344. Let g = k - -593/2051. Is c smaller than g?
False
Suppose -2*n = -6*n - 2*s, -3*n = s + 2. Let d be n/8*(-36)/15. Let g(w) = w + 8. Let i be g(-7). Is i != d?
True
Suppose -2*h - h = 0. Let u = 254 + -6605/26. Let m = -59/182 - u. Does m = h?
False
Let j(p) = -5*p + 1. Let a(g) = 3*g - 1. Let z(w) = -11*a(w) - 6*j(w). Let k be z(5). Let c = k + 6. Is -5 greater than or equal to c?
False
Let n(h) = -h - 6. Let v be n(-5). Let d be ((-1)/(-3)*1)/v. Let j = 2 - 1. Which is bigger: d or j?
j
Let s = 26 + -16. Suppose r = 3*r - s. Is 4 greater than or equal to r?
False
Let x be ((-52)/12)/((-2)/3 - -1). Is x <= -1?
True
Let i be ((-12)/25)/(3/(-15)). Which is smaller: i or 2?
2
Let t(i) = i**3 - 3*i**2 - i. Let r be t(2). Is r greater than or equal to -6?
True
Let o be -4*2/2 - -5. Which is smaller: o or -3/10?
-3/10
Let g = 10.4 + -10. Let m = g - 3.6. Let p = -3 - m. Is -1/2 not equal to p?
True
Let c = -4 + 4.15. Which is smaller: c or 0.1?
0.1
Let a(c) = c**3 - 6*c**2 - 5*c - 5. Let k = 14 + -7. Let d be a(k). Which is smaller: 8 or d?
8
Let d(r) = 2*r**2 - 8*r - 2. Let a be d(4). Do a and -1/2 have different values?
True
Suppose 11 = 5*i + 4*t + 33, -4*i + t - 26 = 0. Let f(p) = -p**3 - 6*p**2 + p + 6. Let c be f(i). Are c and 3/11 nonequal?
True
Suppose 0 = 5*q - l - 15, 3*q + 2*l = 2*q - 8. Let c(r) = -r**3 + 3*r**2 - 2. Let i be c(q). Is 1 at most as big as i?
True
Let q = 0.04 + 1.96. Let y = -1 + q. Is y smaller than 0.09?
False
Suppose -5*u + 25 = 3*g, 6*u - 15 = -3*g + 3*u. Suppose 2*s - 1 - 3 = g. Let w = -0.4 - -0.3. Is w smaller than s?
True
Let q = 0.6 - 7.6. Let c = 148/5 - 30. Which is smaller: q or c?
q
Suppose 0 = -3*u - 5*v + 6 + 6, u = -2*v + 5. Let d be (-2)/10 + -1*185/(-675). Is u <= d?
True
Let o(w) = -w**3 + 9*w**2 - 8*w - 2. Let y be o(8). Let c be (3/2)/(y/(-4)). Which is smaller: c or -0.2?
-0.2
Let j = -65 + 193/3. Suppose 0 = 3*b - b - 2*t - 10, 25 = 5*b + 2*t. Suppose 6 = 2*l, 3*l - 4 = -b*g - 0*l. Is g less than j?
True
Let c = -0.087 + -0.013. Which is greater: -0.019 or c?
-0.019
Suppose -16*t + 12*t = -8. Which is bigger: t or 8/5?
t
Suppose 4*q = -3*x + 4, 2*q - 7*q = 10. Suppose -x*l = -l. Which is smaller: l or -1/6?
-1/6
Let d = -46 + 46. Which is smaller: d or 2/141?
d
Let c be ((-16)/340)/(2/15). Which is bigger: -1 or c?
c
Let j = -84/5 + 17. Suppose 3*d = 3*m - 4*m + 5, -d + 1 = 0. Let y = 3 - m. Which is bigger: y or j?
y
Let m = -7.8 - -11.7. Let y = 12 - 8. Let b = y - m. Which is bigger: 3 or b?
3
Let y be -48*(9/(-6) + 1). Which is bigger: 22 or y?
y
Let t = -115/132 + 5/12. Which is bigger: 1 or t?
1
Suppose 2*p = -d - d, -3*p - 2*d = 2. Is p < -11/7?
True
Let k = 376.9 + -456. Let n = k + 76. Let x = 3 + n. Is x at least -0.2?
True
Let n be ((-8)/70)/(6/(-15)). Let s = 179/55 + -38/11. Does n = s?
False
Let a = 4 + -4.04. Let k = 0.02 - a. Let g = k + -2.06. Which is smaller: 0 or g?
g
Suppose 25*y - 24*y - 1 = 0. Is y not equal to -12?
True
Let o(p) = p**2 - 4. Let l be o(-3). Suppose -2*x + 1 = l*z, -6*x + x + 16 = -z. Suppose -r + 2*n = 4, 2*n + 2*n = -5*r + 22. Which is greater: x or r?
x
Let z(q) = -q**3 + 6*q**2 - 5*q + 2. Let j be z(5). Let u = -10 - -54/5. Are j and u equal?
False
Suppose -c = 5*p + 21, -3*c - 7 = -2*p - 12. Let f(z) = -z**3 - 6*z**2 - 5*z + 2. Let g be f(-5). Is c > g?
False
Let v = -5.65 + 0.05. Let f = -6 - v. Let i = f - -0.2. Which is bigger: 1/2 or i?
1/2
Suppose -4*i - 5 = i. Let q = -642 - -641. Is q greater than i?
False
Let z = 5 - 7. Let f be ((-42)/9*z)/(-6). Let g = f + 31/18. Which is greater: 0 or g?
g
Suppose -3*h - 10*h = -91. Is h not equal to 7?
False
Let k = 0 - -5. Let s(f) = -4*f - 1. Let g be s(-1). Suppose -k*a + g*m = -30, 2 = 4*a + 3*m + 5. Is 3 at most a?
True
Suppose p - 3*p = -2. Let q be (6/(-8))/(70/40). Is p less than q?
False
Suppose 4*o + 6 + 12 = 5*r, -r + 4*o = -10. Let z(v) = v**2 + v - 2. Let q be z(-3). Is q > r?
True
Let i(o) = -o**3 - 2*o**2. Let g = 5 + -7. Let x be i(g). Is x at least 1/2?
False
Let i(x) = x**2 - 9*x + 4. Let p be i(9). Suppose -y = -5*z + 5, -y + p = 4*z + 2*y. Is 0 greater than or equal to z?
False
Suppose -2*t = 5*v - 89, 81 = 5*t - 2*t - 3*v. Let u = t - -30. Let a be 6/24 - u/(-8). Are 8 and a non-equal?
False
Let c be (-1)/((-1)/(13/(-3))). Let y = -59/15 - c. Let p = -263/1265 - -3/115. Is y not equal to p?
True
Let f = -2.59 + 1.59. Is 73 less than or equal to f?
False
Let i be (-18)/(-6) + (-1 - 0). Suppose 2*y - y - i = 0. Let a be (1/y)/((-2)/(-6)). Do 3 and a have the same value?
False
Let v be 18/28 + 1/(-7). Are v and 1 nonequal?
True
Let w be (-2)/(-7) + (-8145)/(-525). Is 17 > w?
True
Let s = -5.6 - -8.5. Let a = 0.64 + 2.36. Let o = a - s. Does o = 1/4?
False
Let b be 1/(0 - 3/(-18)). Suppose 23 = 4*j - 3*j + 2*z, -2*j + 4*z = -b. Is 14 at most j?
False
Let m(p) = -p**2 + 2*p + 1. Let q be m(2). Let n = -173 - -1387/8. Is n less than q?
True
Suppose 1 = -3*b - 2. Let k be (-5770)/(-12)*b/30. Let f = k + 65/4. Which is smaller: 0 or f?
0
Suppose -10 = 3*x - 4*k, 4*x = -x - k + 14. Suppose 2*i = -x*i. Suppose 0 = -7*l + 2*l + 5. Is l at least as big as i?
True
Let s = 7 + -4. Suppose 0*y - 2*r = s*y - 4, -r + 2 = y. Is 1/4 > y?
True
Let k = -198 + 2176/11. Let w = 0.11 - 0.81. Let o = w + 0.8. Which i