6. Let p be -4 - (a - (2 + 10)). Suppose -2 = 4*i - p. Does i = 3?
False
Let z(q) = q**2 + 3*q + 2. Let p be z(-4). Suppose 3*h - 315 = p*h. Let c = h + 325/3. Is c bigger than 4?
False
Let s be (621/18)/(4/(-8)). Is -71 greater than or equal to s?
False
Let u be (1008/(-120))/(5/((-100)/8)). Let i be (-23)/(-1 - 0) - 1. Is u equal to i?
False
Let p = 1613/1010 + 3/1010. Which is smaller: p or 2/11?
2/11
Let g = 0.6 - -8.4. Let p = -172 - -162.9. Let d = p + g. Which is bigger: d or -2/5?
d
Suppose 0 = -5*w - 513 + 518. Which is smaller: -1/1154 or w?
-1/1154
Let k = 449 + -1094. Which is greater: -1/4 or k?
-1/4
Let w(b) = 11*b + 527. Let j be w(-48). Which is smaller: -1/133 or j?
j
Let i(q) = -q**2 - 5*q + 7. Suppose -3*v + 2*x + 4 = -4*v, -4*v + 5*x = 29. Let d be i(v). Let s be (-2)/(-6)*(-3)/(-16). Which is greater: d or s?
d
Let b(z) = -z**3 + 12*z**2 + 17*z + 1. Let j be b(13). Is 51 at least as big as j?
False
Let v be (-343)/14 + ((-6)/4)/1. Is -129/5 less than or equal to v?
False
Suppose 8 = 4*j + 4. Let c = 1 - -1. Which is smaller: c or j?
j
Let w = 284 + -276. Suppose 41*k - w*k - 165 = 0. Suppose 0 = 4*x - 23 - 5. Are x and k equal?
False
Suppose -8*n + 9*n = 2*h + 278, h - 556 = -2*n. Is n smaller than 278?
False
Let b = 1 + -3. Let i be (1/9)/(3/5). Let n = i + -89/189. Is b > n?
False
Let u(h) = h**3 - 3*h**2 - h + 2. Let q(m) = -2*m**2 + 22*m + 3. Let f be q(11). Let o be u(f). Which is smaller: o or -2/29?
o
Let f = -0.06 + -0.01. Let v = f + 0.07. Let m = 405 - 2839/7. Which is smaller: v or m?
m
Let u be 0/1 - 1*-1. Let j(d) = -d**2 + 4*d + 6. Let p be j(5). Suppose y - p = 2*y. Which is smaller: y or u?
y
Let s = 25 - 15. Let t = s + -6. Let x be (2 - -1)*15/9. Which is bigger: x or t?
x
Suppose -79 + 83 = 2*a. Let s = 1 - a. Is -51 bigger than s?
False
Let d be (-2)/8*60/(-45). Is -5 less than or equal to d?
True
Let u = -91391/16 - -5712. Let w(y) = y**2 - 5*y + 6. Let x be w(4). Suppose b = -3*p - 6 - x, 5*b = -5*p - 30. Which is smaller: u or p?
p
Suppose -30 = 5*p + 5*c, 42*p + 21 = 38*p - 3*c. Is 20 not equal to p?
True
Suppose -2*z = 33 - 101. Let y(q) = q**3 - 14*q**2 + 27*q - 2. Let l be y(12). Is z at least as big as l?
True
Let f(z) = z + 65. Let y be f(3). Are 67 and y unequal?
True
Suppose -137*y - 1188 = -101*y. Which is smaller: y or -30?
y
Let l(c) = 14*c + 321. Let w be l(-23). Is 0.16 smaller than w?
False
Let g = -33 + 15. Let m = -13 + 13.06. Let d = m + -1.06. Is d bigger than g?
True
Let p be 11/77 - 5/14*146. Which is smaller: -1 or p?
p
Let i = 1947.88 + -1948. Is 4.6 at most i?
False
Let x = -7/9636 + 12949/38544. Let s = x + -3/11. Let u = -3.09 + 2.09. Is u > s?
False
Let v be (28/(-12))/(1/6). Let a(h) = -4 - 6 - 4 + 8 - h. Let w be a(v). Is w at most as big as 10?
True
Let p be (1/(-2))/(56/(-48)). Which is bigger: 0 or p?
p
Let p(t) = t**2 - 9*t - 24. Let c be p(12). Let i be (-16)/c + (-3)/6. Which is smaller: -3 or i?
-3
Let z be -15 + ((-2)/(-1) - 0). Let l = z - -19. Suppose -5*n - 29 = l. Which is bigger: n or -6?
-6
Let i = 1179/7 - 1677731/9961. Which is bigger: -1 or i?
i
Suppose 0 = j + 5*y - 14, 27*j - 4*y = 28*j - 11. Which is bigger: j or -216?
j
Let i = -513 + 506. Let t(j) = -j**3 - 4*j**2 + j - 3. Let b be t(-4). Is b at least as big as i?
True
Let s(j) = -j**3 + 5*j**2 + 6*j + 8. Let r be s(6). Suppose 7*a = r*a. Suppose -6*t + 5*t - 5 = a. Is t bigger than -5?
False
Let m = -43502 - -43480.021. Let p = 48 - 47.979. Let s = p - m. Are s and 0.1 nonequal?
True
Let y(s) = 7*s - 32. Let n be y(5). Which is greater: n or 28?
28
Let v = 31 + -12. Let n = v - 32. Let x = 21 + -43/2. Do n and x have different values?
True
Let c(h) = -15*h**2 - 8*h + 43. Let a be c(3). Is -118 <= a?
True
Let l = -46.73 - -47. Let b = 0.14 - 0.45. Let h = l + b. Which is smaller: h or 3?
h
Let h = 268 - 268. Let c be 0*(3 + (-14)/4). Suppose 2*o + d - 2 = -5, -3*o - 5*d - 15 = c. Is o > h?
False
Let q = 12 + -23. Does q = -13?
False
Let u(o) = -4*o**3 - 3*o - 4. Let q be u(-1). Let h be (392/(-126))/((-2)/q). Let x = -2 - -7. Is x > h?
True
Let j = -1066 - -1068. Is 123 smaller than j?
False
Let v = 26 - 23.6. Let i = -5.6 + v. Let o = i - -0.2. Is o equal to 1?
False
Suppose -4*x + 2*j + 0 = 4, x + 11 = 3*j. Which is bigger: x or 89?
89
Let h(c) = c - 1. Let v(r) = -r**3 + 7*r**2 + 8*r. Let z be v(8). Let g be h(z). Let i be -1 - (-15)/6 - 2. Is i less than or equal to g?
False
Let v be 4/(-10) + (-1108)/(-20). Which is smaller: 54 or v?
54
Suppose y = 8*y - 217. Suppose 2*d - y = 41. Let t be (-20)/8*d/(-10). Is t at least 7?
True
Let w = -2 - 0. Let g be (4/(-2))/w - 1. Let d(r) = -r**2 - 23*r - 120. Let x be d(-9). Which is greater: g or x?
x
Let g = 3287/212 + -40/53. Are g and 15 equal?
False
Let w = 3.385 + 0.015. Let p = w + -3.5. Let v = 0.1 + 0. Which is smaller: p or v?
p
Let o(u) = u**2 - 11*u + 1. Let k be o(11). Let h(x) = 2*x + 8. Let y be h(-5). Let p be (y/10)/((-44)/55). Are k and p nonequal?
True
Let d be 8/(-10) + 119391/(-255). Is d bigger than -468?
False
Let t(k) = -k**3 + 3 + 0 - k**2 + 4. Let o be t(0). Let f = 9 - o. Are f and 2 equal?
True
Suppose 9*f - 4*f = 0. Is 3/121 at least f?
True
Let b be 55/(-3) - (11/3 + -4). Let y = b + 21. Is 5 less than y?
False
Suppose -5*u = -5*q - 10, -5*u + 2*u = -q - 4. Let z be (-15)/(-5) + (-465)/q. Let m = z + -1881/4. Are -1 and m unequal?
True
Let s = 365 - 364.9. Is 5/7 less than s?
False
Let p = -80.3 + 42.2. Let a = -37 - p. Let w = 1 - a. Which is smaller: -4/9 or w?
-4/9
Let z be 3 + (96/120)/((-14)/60). Is 2/53 >= z?
True
Let r = -5.8 - -2.05. Is 0 equal to r?
False
Let w = -50 + 44. Let d be 3*(1 + w + -5). Is -29 >= d?
True
Suppose -g + 24 = g. Suppose 3*b + 58 = 46. Let x be (b/g)/((-21)/(-9)). Is 0.1 >= x?
True
Let l = 290 - 291. Is 1/48 smaller than l?
False
Let y(x) = -x**3 - 30*x**2 + 96*x - 4. Let l be y(-33). Is 97 less than or equal to l?
False
Let w(z) = -4*z - 3*z - z**2 + 5 + 8*z**2 + 0*z - z**3. Let n be w(6). Let u = -5/28 - -67/140. Is n bigger than u?
False
Let n = -0.05 + -0.45. Let h be (-35)/(-15) + 3/(-1). Which is greater: n or h?
n
Let b be ((-103)/4120)/(6/10). Which is greater: 2 or b?
2
Suppose -3*l - 4*i - i = 5, 4 = 3*l - 4*i. Is l greater than or equal to -2/21?
True
Let p be (-11015)/(-45) + 6 + 4/18. Which is greater: -2 or p?
p
Suppose 14 = 5*m - 122*a + 123*a, 5*m = 5*a - 10. Let t = 64/25 + 16/25. Which is bigger: t or m?
t
Let r(g) = -g**3 - 3*g**2 - 2*g - 4. Let h be r(-3). Suppose 2*x + 3*u = u - 2, h = u. Suppose 3*l + 4*p + 10 = -10, -3*p = 4*l + 22. Is x at least as big as l?
True
Suppose 0 = -144*q + 150*q + 210. Is -34 greater than or equal to q?
True
Let q = 0.87 - 0.17. Let b = q - -7.3. Let z = 18 - b. Is z greater than or equal to -0.1?
True
Let p = 5 + 0. Suppose 0*z - p*z - 2*t - 61 = 0, -3*z - 2*t - 35 = 0. Let w(a) = -13*a + 1. Let q be w(1). Is q less than z?
False
Let w be (30/15)/((1 - 2) + -1). Let r be -1 + (w - (2 + -5)). Let l = -65/63 + 8/9. Which is smaller: r or l?
l
Let b be 4*((-4)/(-1) - 7/(-28)). Which is smaller: b or 37?
b
Let o = 71/104329 - 5/289. Which is bigger: 1 or o?
1
Let j(t) = 12*t**2 + 132*t + 7. Let i be j(-11). Are i and 23 unequal?
True
Let k = 375 - 375. Is k greater than or equal to 34?
False
Let h be ((-120)/45)/(-4)*(0 - (-6)/628). Let u = -1 + 1. Do h and u have different values?
True
Let a = -8 - -4. Let u be (-1 - (-16)/12)*-3. Let g be 16*3/(18*u). Which is smaller: a or g?
a
Let q be 1251/(-7) - 80/280. Is q smaller than -180?
False
Let v be (1 + (1 - 4))*-10. Let d be (-2)/(-10) - 84/v. Let z be 0 - (1 + 2 + d). Is z >= 2?
False
Let j = -240 - -249. Suppose 0 = -2*f + 6. Suppose 2*t + f*t = 40. Is j bigger than t?
True
Let w(k) = 11*k**2 + 4*k + 1. Let f be w(-1). Is f > 4?
True
Let k = -134 - -668/5. Let n be (-9)/15 - ((-1248)/(-3045) + -1). Let j = n + -1208/1015. Is k at most as big as j?
False
Let s = 434 + -436. Let j(t) = -711*t. Let h be j(1). Let b = 3543/5 + h. Is b < s?
True
Let h be (20/(-8))/(2*(-2)/8). Suppose -2*j + 7 = b, 7*b + h*j - 17 = 4*b. Which is smaller: 1/20 or b?
b
Suppose 5*j = -4*d + 194, 4*j + 54 = -5*d + 301. Which is bigger: 44 or d?
d
Suppose 30*d + 33 = 3. Which is greater: d or -2/1853?
-2/1853
Let s = 