)/(3/6)*2. Which is greater: 6 or u?
6
Let b be (4/(-6))/(16/18). Let s = -6 - -13. Suppose 2*x = 3*l - 1, s*l = 3*l - 4. Do x and b have the same value?
False
Suppose 0 = 3*z + 4*k - 5 - 22, -z + 2*k - 1 = 0. Suppose -2*u - 6 - 40 = -z*b, 0 = -u + 3*b - 22. Let p be (8/u)/((-3)/21). Is p > 2/3?
True
Let g = 3.6 - 3. Let m = -0.5 + g. Let f be (-3)/((-63)/(-6)) - 0. Is f bigger than m?
False
Let g = -25 + 28. Suppose 0 = g*s + 3, -4*j - s = 4*s - 7. Which is greater: j or 5?
5
Let q(b) be the third derivative of -b**6/120 + 2*b**5/15 + 3*b**4/8 - b**3/6 + 3*b**2. Let o be q(9). Are -2/3 and o unequal?
True
Let z = 9/2 + -301/66. Is 0 greater than z?
True
Let c(d) = -d**3 - 9*d**2 - d - 13. Let j be c(-9). Let r be (-8)/58*j/(-8). Is r less than -1?
False
Let f be ((-16)/(-10))/(2/5). Suppose -f*q - q = 0. Which is smaller: q or -2/35?
-2/35
Let g = 14 + -3. Is g < -1/4?
False
Let s = 31.6 + -1.6. Do 0 and s have the same value?
False
Let q = 1 + -1. Let n be (-1 - 0)/(1/66). Let d be n/(-55) - 2/2. Is d bigger than q?
True
Let x(q) = -q**2 + 2*q. Let l(d) = d**2 - 4*d - 3. Let v be l(5). Let m be x(v). Which is bigger: m or -2/11?
m
Let p = 2 + -2. Suppose -4*u - 10 = 2*l, -l + p*u = 4*u + 13. Let v = l + -3. Is 1 != v?
True
Let m = -9.9 + 3.7. Let w = -0.2 - m. Let r = w + -5.7. Is r smaller than 0.1?
False
Let x = 155/8 + -21. Which is smaller: x or -3?
-3
Let y be (-48)/(-120)*30/4. Let d be (-8)/(-3) + (-4)/6. Suppose 0 = y*p + d*p. Is 0 at most as big as p?
True
Suppose 3 = 3*g + 4*p, p + 28 = 4*g + g. Let f = g + -4. Is -2/5 equal to f?
False
Let v = -4.86 + 5. Let g = v + -0.14. Is 1 less than g?
False
Suppose 46 = j - 2. Suppose j = 3*h + h. Let l be (-2)/(-3)*h/10. Which is bigger: l or 0?
l
Suppose s - 8*u = -3*u + 510, -4*s + 2106 = 2*u. Suppose 2*i = o + 357, s = 3*i + o - 6*o. Let b be i/(-325) + 4/10. Is b <= 2?
True
Suppose -c - 23 = -6*c - 2*s, 1 = -c + s. Is 3 <= c?
True
Let h = -16 + 33. Is 17 at most as big as h?
True
Let s be ((-20)/75)/((-20)/(-42)). Which is smaller: -2 or s?
-2
Let m(t) = -t**3 - 13*t**2 - t - 10. Let h be m(-13). Suppose 0 = -w - 5*s - h, -4*s - 9 + 1 = 0. Is 6 at most w?
True
Let y(p) = -p**2 - p + 2. Let m be y(-4). Let h = m + 4. Which is greater: h or -7?
h
Let r be (-13)/(-6)*16/56. Let m = 1 + -22/21. Let y = m - r. Are y and -2 nonequal?
True
Let a = 700/13 + -54. Suppose -o + 20 = 3*o. Suppose -b = 4*b - o. Do b and a have the same value?
False
Let b be 21/(-15)*(0 - -1). Is b not equal to -2/7?
True
Suppose 3*z - 4*z = 5*u - 1, -4*z = -2*u - 4. Which is smaller: u or -6/23?
-6/23
Let r = 0 + 0.1. Let n = -13 - -17. Which is smaller: r or n?
r
Suppose -3*f + 2 = 5*i + f, 3*i - 6 = -4*f. Let r = -31 - -3. Let t be r/(-105) + 2/5. Which is greater: t or i?
t
Let g = -8 + 5. Let y = -7 - g. Let w(l) = -l**2 + 5*l + 10. Let b be w(7). Is b at least y?
True
Suppose -4*c - 10 = -2. Is c greater than or equal to -4?
True
Let o = -8 - -8.8. Let j = 4.8 - o. Let q = 2 - j. Is q greater than or equal to -2?
True
Suppose -4 = 3*q - 1. Let p = -9 - -14. Let o(x) = x - 6. Let r be o(p). Is r < q?
False
Let w = 39 + -39. Suppose 0 = 5*f - 0*f. Is f smaller than w?
False
Let g be ((-3 - 3) + 0)*(-112)/147. Which is bigger: 4 or g?
g
Let g = -776 - -6199/8. Suppose 18*t - 9*t = -9. Are t and g unequal?
True
Let l = -1 + 4. Let s be ((-44)/33)/(2/3). Let m = s + 4. Is m less than or equal to l?
True
Let z = 1 - 0. Let h = z - 1. Are h and -0.3 unequal?
True
Let h = -0.075 + -3.025. Let x = -3 - h. Which is bigger: -2 or x?
x
Let v be (-25512)/70 + (-1)/7. Let l = v - -366. Is l smaller than 1?
False
Let i(d) = d**2 + 12*d - 14. Let f be i(-14). Which is smaller: 12 or f?
12
Suppose 1 + 4 = d. Suppose -6 - 2 = 2*v. Let x = v + d. Are x and -1/9 nonequal?
True
Let g = -3 - -3.6. Let h = g - -0.4. Is -1 equal to h?
False
Let j = 0.16 + -6.16. Let n = 6.1 + j. Let o = 1.4 + -1.2. Do n and o have different values?
True
Suppose 0 = -4*o + 3*m - 3, 2*m + 4 + 14 = -4*o. Suppose -8*u - 35 = -u. Which is smaller: o or u?
u
Let q = 431/29410 - 1/346. Which is smaller: 0.1 or q?
q
Let z(x) = -x**3 + 13*x**2 + 14*x + 4. Let t be z(14). Let o be (18/45)/(t/(-5)). Is 0 < o?
False
Let l be (20/10)/((-4)/6). Let c be 16/(-7) + 14/49. Are c and l nonequal?
True
Let q be (92/(-240))/(-1) + (-2)/8. Which is bigger: q or 0?
q
Let j be 1/(1*1/2). Suppose 3*n - d = 33, 32 = j*n - 2*d - 2*d. Let p be n*(-5)/(50/(-4)). Which is bigger: 3 or p?
p
Let a = 73/108 - -2/27. Are -2/9 and a equal?
False
Let u(i) = -2*i + 1. Let j(x) = x**2 + 2. Let f be j(0). Let z be u(f). Let q = 0.1 - 0. Is q equal to z?
False
Let f = 11.85 + 0.15. Do f and 2 have different values?
True
Let x be ((-1)/(-2))/((-10)/40). Which is smaller: -9/11 or x?
x
Let k = 0.19 + 14.81. Let f = -14 + k. Which is bigger: 0.1 or f?
f
Let o be (-2)/(-15) + 2090/75. Let g be 35/(-3) + 2/(-6). Let p be 3/g - 9/o. Are -2 and p non-equal?
True
Let q(d) = -d**3 + 11*d**2 + 2*d - 25. Let t be q(11). Is t < -3?
False
Let b be 2*2 - (-180)/(-48). Which is greater: 0 or b?
b
Let c = 16 + -15. Is c at most 3?
True
Let r = 15 + -19. Which is bigger: 3 or r?
3
Let i be 22/12 - 3/(-18). Let h be (2 + -6 - -3) + i. Which is smaller: h or -1/3?
-1/3
Let u = -2.06 - -2. Let x = u - 0.04. Which is smaller: 0.2 or x?
x
Let x be -7 + 9/(18/(-4)). Is x less than -7?
True
Suppose -2 = -0*u - u. Suppose u*v = -v. Which is smaller: v or -1/6?
-1/6
Let g = 134 + -134.14. Do g and 0.2 have the same value?
False
Suppose 0*p - 6 = -p. Let x be 6/9 - (-14)/p. Let t = x - 9/2. Is t at least as big as -3?
True
Suppose -25 - 231 = 4*d. Is d at most -65?
False
Let t be (6/(-10))/((-3)/30). Let g be (-2)/42 + 2/t. Is g smaller than 2?
True
Let g = -10 + 11. Is 3/22 greater than g?
False
Let l be ((-1)/(-4))/(9/6). Which is smaller: l or 0.16?
0.16
Let m(p) = 12*p**2 + 5*p + 6. Let n be m(-2). Which is greater: n or -1/4?
n
Let q = 0 - 6. Let s = q - -9. Suppose 5*k = 4*v - 3, v - 6*v + 12 = 2*k. Is k bigger than s?
False
Let b be ((-187)/22)/((-2)/4). Let f = 17 - b. Which is smaller: f or 11?
f
Suppose 2*m + 0 = -3*l + 19, -m - l = -7. Is 2 bigger than m?
False
Let k = -1 - -1. Let p = -0.3 + k. Let t = 0.3 + p. Which is greater: t or 1?
1
Let y be (-50)/28 + (-8)/(-28). Which is greater: y or -1?
-1
Suppose 0 = -5*x, -5*h - 2*x + 6*x = -20. Which is greater: 5 or h?
5
Let m be (-94 - 0)*39/(-42). Suppose 87 = -y - 0*y. Let s = m + y. Is s at most -1?
False
Let x = 1025/1356 - 2/339. Let u = -14 - -9. Let w = u - -3. Is x bigger than w?
True
Let x(k) = k**2 + 10*k - 1. Let h be x(-10). Is h greater than or equal to 1?
False
Let t = -18440851/70 + 263435. Let g = -29/5 - t. Which is bigger: g or 1?
1
Let y(x) = 7*x**3 + 1. Let r be y(-1). Let m be r/(-10) + 24/10. Is 3 equal to m?
True
Let q be ((-1)/(-1) + 1)/2. Let p be 8*((-9)/4 + q). Which is smaller: -9 or p?
p
Let b = -0.12 + -0.28. Let w = -3.1 + 3. Is w smaller than b?
False
Suppose -k - 6 = -3*k. Let v = 9 + -4. Suppose -v*l = -7*l + 8. Which is greater: k or l?
l
Let r be 101/(-9) + ((-28)/(-18))/7. Which is smaller: -13 or r?
-13
Let y(t) = -t**3 + 20*t**2 - 18*t - 10. Let f be y(19). Let s = 2 + 4. Suppose -f = -3*b + s*b. Is -2 equal to b?
False
Suppose 3*k + 30 = 3. Let m = 13 + k. Suppose -3*w + 6 = -2*o, o + m*w - 31 = -4*o. Is o < 3?
False
Suppose -4*p - 3*x = -11, -4*p - 4*x = -7*p + 2. Suppose -5*s + 22 = -5*b + 2*b, -p*s = 2*b - 12. Are b and 1 nonequal?
False
Let w(f) = f**2 - 19*f + 14. Let b be w(18). Is b less than -4?
False
Suppose -3*y = 0, 3*z - 13 + 4 = y. Suppose 0 = -h + 4 - 2. Is z bigger than h?
True
Let l be 2 - (2 - 6/3). Let b(n) = -n + 6*n - 2*n - l*n. Let f be b(0). Is f < 1/5?
True
Let y = 28 - 80. Is y equal to -52?
True
Suppose 2*n + 3 = 4*y + 25, 5*y = -4*n - 47. Let p = 5 + y. Let i be (0 + 1)/((-2)/6). Is p equal to i?
False
Suppose -6*t = -0*t + 6. Is t less than -4?
False
Let y(d) = -d**3 - 5*d**2 + 9*d + 14. Let b be y(-6). Let l be (b + 2)/(4/1). Which is greater: l or 0.04?
0.04
Suppose 0*r = 3*r. Let b be 38/(-35) - 2/(-7). Which is bigger: b or r?
r
Let w(n) = n - 1. Let s be w(1). Let r = 1 - s. Let x = -1258/7 + 180. Is r at least as big as x?
True
Suppose -2 = -c + 3*c. Let b be (2 - c) + (-2)/2. Is 