 + u. Is -3 at least as big as z?
False
Suppose 3*c - 2*c - 2 = 0. Suppose -4*p + 1 = -c*b - 17, b - 16 = -3*p. Let x(l) = 2*l. Let a be x(b). Is 2 at most as big as a?
True
Suppose -1 = -3*d - 2*u, -2*d - 5*u - 5 = 3*d. Let m = 4 - d. Which is smaller: 0 or m?
0
Let i be ((-20)/6 - -1) + 1. Suppose -5*g + 25 = -4*a, 0 = 5*g - 0*a + 5*a + 20. Let s(r) = -2*r**2 + r - 1. Let n be s(g). Do n and i have the same value?
False
Let w(v) = -4*v + 3. Suppose j - 8 = -j, -2*j + 6 = -b. Let g be w(b). Let c be 0 + -1 - 3/g. Which is smaller: -4/3 or c?
-4/3
Let l = -39 + 101. Let z = l - 311/5. Let g = -2 + 1. Which is smaller: z or g?
g
Suppose -c = -5*c - 20. Let d = 24 + -29. Is c <= d?
True
Let b(w) = w**3 + 4*w**2 - 5*w - 4. Let q be b(-5). Let g(v) = -9*v - 1. Let i be g(-5). Let h be i/(-18) - 2/9. Is q greater than h?
False
Let w = -58 - -50. Are -7 and w non-equal?
True
Let f = -1 - 2. Let m = f - -6. Let w = 0 + m. Is -1 < w?
True
Let t(y) = 4*y**2 - y + y. Let p be t(1). Let c be 5/10*p/(-2). Is c less than -1?
False
Let h(k) = -2*k + 9. Let a be h(4). Is -0.1 < a?
True
Suppose -28 = 2*j + 2*j. Let g = j + 4. Which is greater: -4 or g?
g
Let w = 1.02 - 0.02. Let d be ((-5)/345)/(1/(-6)). Is w smaller than d?
False
Let i(p) = 7*p**3 + p**2 - 2*p + 1. Let n be i(2). Is 57 not equal to n?
False
Let m = 30 - 25. Is m greater than 6?
False
Suppose -3*r + v = -0*v - 15, -2*r + 10 = -5*v. Suppose 5 = 5*h - r. Let i = -2 + h. Is i equal to -1/3?
False
Let k = -1.1 - -6.1. Let s = -11 + k. Is -1 equal to s?
False
Let o be (15 - 3) + 6/3. Let z = o + -25. Is z > -12?
True
Let v = 42 - 33. Is v at least 29/3?
False
Let z = 1/190 + 751/1710. Let m(s) = 2*s**2 + 1 - 4*s**3 + 3*s**3 - s**2. Let i be m(0). Is z >= i?
False
Suppose x - 3*x = -n, -5*x - n = 7. Which is greater: -1/60 or x?
-1/60
Let b = 0.08 - -0.02. Let s be (-2)/(-6) - (5 + -4). Is s smaller than b?
True
Let n = 1 - -11. Suppose 0 = -2*f - s - 4, 2*f - 4 = s - n. Is f at most as big as -4?
False
Let q be (-4)/(-18) - 4/18. Suppose q = -5*z + z. Are -1/2 and z non-equal?
True
Suppose 0*n - 3*n - 115 = 4*z, -3*z - 2*n - 86 = 0. Let i = -10 + 9. Let v be (6/z)/(i/2). Are v and 0 unequal?
True
Let i = -2/2999 + 116977/23992. Let t = -157/24 + i. Is t not equal to 0.1?
True
Let t = -0.9 + 3.9. Let m = t - 2. Which is bigger: m or -2?
m
Let k(t) = -t**2 + 2*t + 5. Suppose -3*m = 3*c - 15, 4 = m + m - 4*c. Let x be k(m). Which is smaller: x or -3/2?
x
Let y = -5239/30 - -839/5. Let j = -7 - y. Are j and -0.1 equal?
False
Let s be 11*1/(-12) - -1. Suppose -36*g + 30*g = 6. Does g = s?
False
Let b be 0*(-2)/(-3 - -1). Suppose 5*i + 6 - 1 = b. Which is bigger: 0.1 or i?
0.1
Let w = 0 + -1. Let q be -3 - 1/(-1) - -8. Suppose 0 = -y + q*y - 5. Is w != y?
True
Let a = -686/4553 - -2/157. Which is greater: a or 1?
1
Let x = 0.25 - 0.29. Which is bigger: x or -2?
x
Suppose 1 - 5 = -2*c, -50 = -4*k + 5*c. Suppose -k = -2*t - 3*t. Let r be 0 - (t - 3/3). Is r <= -6/7?
True
Let n be 0*3/(6 - 3). Is -4/5 < n?
True
Suppose -4*p = -0*p. Let d be (-1 - (p - 0))/(-2). Let b = -8 + 9. Is b < d?
False
Let w(c) = c**3 - 3*c**2. Let l be 4/(-2) + (3 - -2). Let z be w(l). Is 4/3 smaller than z?
False
Let y = 2 + -3. Suppose i = -2*i - 3. Is i > y?
False
Let d(y) = 5*y + 1 - 3*y + 5*y**2 - 6 - y**3. Let q be d(5). Suppose -3*c - 5*b = -30, 5*c + 4*b - b = 34. Is c bigger than q?
False
Let h(q) = q**2 + 5*q - 6. Let o be h(-6). Let r = 0 - o. Let t be 6/8 - 26/40. Which is smaller: t or r?
r
Suppose -3*v = y - 6, -y - 2*y + 2*v - 4 = 0. Let i be (-5 - -4)/(1 - y). Let k = -1 - 0. Are k and i unequal?
False
Let m(h) = -h**3 - 5*h**2 - 6*h - 2. Let r(p) = p - 1. Let v be r(-3). Let s be m(v). Let i be (3 - 2) + (-10)/s. Which is greater: 0 or i?
0
Let h = 43 - 73. Let z be 7/15 - (-20)/h. Is z smaller than 1?
True
Let r = 3 + -7. Let n = 5 + r. Which is greater: -1/10 or n?
n
Suppose 3*l = -2*t - 3, -t + 4 = -3*l + 1. Let o be (3 - 1)*3/16. Is o greater than or equal to t?
True
Let n be 16/(-3)*(-3)/2. Let a be (30/n)/(-3)*-8. Let l be (-8)/(-198) - a/(-55). Is l equal to -2/3?
False
Let s = 7 - 15. Let k(m) = -m**3 - 7*m**2 + 8*m - 2. Let c be k(s). Is c equal to -1?
False
Suppose 3*h - 99 = 12*h. Do h and 0.1 have the same value?
False
Let o(m) = -2*m - 4. Let s be o(5). Is -13 greater than s?
True
Let m be 13/(-4) - (-48)/(-64). Which is greater: m or -13/5?
-13/5
Let l(f) = -f**2 + 2*f + 2. Let r be l(3). Which is bigger: r or -1/66?
-1/66
Let s be 1/2 + 255/(-10). Let r be s/44 + 6/(-33). Is 0 > r?
True
Let l be (1 - 5)*(-2)/4. Suppose l*z = d + 4*d + 27, z + 3*d = -14. Suppose 5*a - 4 = 6. Is z <= a?
True
Let c(v) = 4*v**2 - 2*v + 2. Let b be c(3). Are b and 1 unequal?
True
Let n = -171/5 - -35. Let j be (-4)/(-6) + (-4)/6. Do n and j have different values?
True
Let f = -8.03 + 8. Let o = f + -1.07. Let n = -1 - o. Are n and 0.1 nonequal?
False
Suppose 2*m - 1 = 2*n + 5*m, -m + 1 = 0. Is n equal to -2?
True
Let k = 4 - 8. Which is smaller: k or 0.3?
k
Let w be 16/12*(-6)/(-4). Suppose -t = w*t. Is t at least as big as 2/11?
False
Let j be 6/(-16) + (642/240 - -4). Let x be (3/10)/((-102)/2182). Let u = j + x. Is 0 <= u?
False
Suppose 0 = -5*x + 149 + 131. Let g = -88878/5 - -17719. Let w = x + g. Is w < -2?
False
Let a(t) = -2*t**3 - t**2 + t + 1. Let p(r) = -r**2 - 3*r + 9. Let b be p(-5). Let k be a(b). Is k at most -1/4?
False
Let c = -3 + 0. Let v be -1 + c/(2 + 1). Which is bigger: v or -3/4?
-3/4
Let o be (-9 + -1)/(-4 - -2). Suppose -o*h = 13 + 7. Is -5 bigger than h?
False
Let i be 2 + (-32)/15 - (-4)/30. Which is smaller: 3 or i?
i
Let c = -39 - -233/6. Let d = 113/6 + -19. Let b = c + d. Which is bigger: 2 or b?
2
Let i = -4 - -5. Let q = -1 - i. Are q and -1/2 unequal?
True
Suppose a + 3*a + 54 = b, 2*a + 38 = -5*b. Let w = a - -14. Which is greater: 3/8 or w?
3/8
Let r(i) = i - 1. Let y be r(3). Suppose 6*w - y*w = 0. Which is smaller: -2/3 or w?
-2/3
Let v = -20 - -21. Is v greater than 1/8?
True
Let x be 1*9/(-3 + 0). Let c(u) = u**2 + 2*u - 4. Let n be c(x). Let y be n/((-6)/10) - 2. Are y and 0 equal?
False
Suppose 12 + 2 = -2*b. Let s(p) = p + 10. Let k be s(b). Which is smaller: 2 or k?
2
Suppose 0*n - 1 = -5*p - 2*n, -5*p + 4*n - 17 = 0. Is 4/21 less than p?
False
Let m = -7/44 + -1/11. Is m at least as big as 91/5?
False
Let c(n) = 2*n - 2. Let h be c(2). Suppose -3*a - 3 = -2*i - 0, h*a = -5*i - 2. Which is smaller: -5 or i?
-5
Suppose -5*l - 5*p + p - 52 = 0, -46 = 3*l - 5*p. Let c = 12 + l. Let h = 139/406 - -5/58. Is h greater than c?
True
Suppose 0 = -2*c - 0*c + 4. Suppose -c = 4*m - 5*m. Is 2 smaller than m?
False
Let m = 3.8 - 4. Let v = 78.8 - 73. Let q = -6 + v. Is q equal to m?
True
Let r(u) = u**3 + 4*u**2 - 3. Let b be (5 - (0 - -1))/(-1). Let d be r(b). Let w be ((-3)/d + 2)/3. Are w and -1 nonequal?
True
Let x = 4/19 + -50/57. Is x bigger than -2/3?
False
Let w be 12/9 - 6/(-9). Let i be (1/w)/(7/(-2110)). Let g = i + 151. Which is greater: -2 or g?
g
Let y = 2530 + -513588/203. Is y at most as big as -1?
False
Let b = -7 - -4. Suppose -n - n = -3*d + 5, 0 = -4*n + 8. Let l = b + d. Is l at most as big as 4/7?
True
Let x = -0.2 + 0.3. Let m = -12 + 11.1. Let g = m - x. Is g at most 2?
True
Let g(d) = -6*d + 1. Let a be g(1). Let q = 4 + a. Do q and 2/11 have the same value?
False
Let y = -5 + 4. Let z(l) = l**3 + 2*l**2 - l - 1. Suppose w + 3 = 1. Let n be z(w). Is n != y?
True
Let x(g) = -g**2 - 16*g - 12. Let s(z) = 2*z**2 + 33*z + 24. Let a(b) = -6*s(b) - 13*x(b). Let o be a(-8). Let u be 2/o - 1/(-6). Which is greater: 2 or u?
2
Suppose -4*z + 10 = 2*v - 6, -22 = -4*v + 2*z. Suppose x - 2*m - 6 = -3*x, x + m = v. Suppose 0*k - k = x. Which is smaller: -2 or k?
k
Suppose -2*o - o - 24 = -d, 11 = -d - 4*o. Let u be (6/d)/((-2)/(-9)). Let s be -2 + -2 + u + 0. Which is smaller: 0 or s?
s
Let n be ((-18)/(-15))/((-15)/(-100)). Is 7 greater than n?
False
Let u(s) = -11*s**3 + 2*s**2 + 2*s + 1. Let j be u(-1). Suppose -3*y = -d + 9, -y = -5*d - j + 1. Are -3 and d nonequal?
False
Suppose 0 = -5*p - j + 4, -4*j - 3 = p. Let z be (-2)/p - -3 - -2. Do 3 and z have different values?
False
Let o(v) = -5*v - 9. Suppose y + 0 = -6. Let l be o(y). Let a be (-6)/l - (-10)/(-14). Which is