) a composite number?
False
Let q be 1 - 5/((-5)/2). Suppose n + q*n = 56. Is n composite?
True
Let n(f) = 2*f**2 - 6*f - 5. Is n(-9) composite?
False
Suppose 0 = 5*f - k - 3988 - 223, -4*k - 1688 = -2*f. Is f prime?
False
Let x(t) = -234*t - 1. Let o be x(-1). Let s = o - 163. Let i = s + -33. Is i a composite number?
False
Let c(l) = -l**2 - 4*l - 1. Let a be c(-3). Let p(u) = 6*u**a + u**3 + 0 - 8 - 9*u + u**2. Is p(-7) prime?
False
Suppose 2*t = -q + 1137, 84 = -q + 2*t + 1241. Is q a composite number?
True
Is (-2)/(-3)*(7 + (-64155)/(-6)) a prime number?
False
Suppose 4*s - 108 = -2*i, -4*i + 2*s + 10 + 226 = 0. Is i prime?
False
Let u(o) = -2*o**2 + 4*o + 1. Let l be u(3). Let t be (10/(-4) - 0)*10. Is (-3)/l - 460/t prime?
True
Let i(g) = -g**2 + 5*g**2 + 5*g + 5 + 2*g**2 - g**2. Is i(-4) composite?
True
Let p(b) = -2*b - 1. Suppose 5*h + 2*i + 23 = 0, -6*h = -2*h + 4*i + 28. Let q be p(h). Suppose -f - q*a = -47, -4*a + a = f - 43. Is f a composite number?
False
Suppose -4*l + 76 = -32. Is 2/(-9) + 1275/l composite?
False
Is 10/20 + 386/4 a composite number?
False
Let h be ((-9)/(-27))/((-1)/(-6)). Is h/(-2) + (396 - 0) a composite number?
True
Let s = 30 + 400. Suppose -g + 2*l + 48 = -155, 2*g + 2*l - s = 0. Is g a prime number?
True
Suppose -4*w - 3*l + 54 = -155, 2*w = -5*l + 101. Is w a prime number?
True
Let p(a) = 7*a**2 - 2*a**2 + a**3 + 2 - 1. Is p(5) composite?
False
Suppose -2*d = -8, 3*t = -4*d + 566 + 371. Is t a prime number?
True
Let h be -2 - (-19 - (0 + 1)). Suppose -32 - h = -u. Suppose 5*w - u = 75. Is w a prime number?
False
Is (-28)/(-1)*(-589)/(-76) prime?
False
Suppose -25 = -6*f + f + 2*g, -2*g - 10 = 0. Suppose 0 = -3*r - f + 6. Suppose 0 = -0*s + 2*s - 2*k - 8, s + 2*k - r = 0. Is s prime?
True
Let r(q) = -q**3 - 10*q**2 - 9*q - 21. Is r(-11) a composite number?
False
Suppose -4*t + 2*z = -2, -3*z - 2 + 23 = 2*t. Let y = t - -4. Is y composite?
False
Suppose 2*r + 569 = 3511. Is r composite?
False
Let o(b) = b**2 - 6*b + 4. Let d be o(3). Let g = 7 + d. Suppose -3*k + r = -196, 3*r + 5 = -g*r. Is k a composite number?
True
Let h be 210/49 - 2/7. Suppose 4*n = -h*m + 20, 0 = m + 2*m + 4*n - 18. Suppose -r + 165 = m*r. Is r a composite number?
True
Let s(v) be the second derivative of 9*v**5/20 + 2*v**3/3 - 3*v**2/2 - 4*v. Is s(2) prime?
False
Let l(g) = -4*g**3 - g**2. Let a be l(-1). Suppose a*s = s + 164. Is s composite?
True
Let a be (-2 - -2)/(1 + 0). Suppose -2*y = -a*y - 6. Suppose -y*k + 475 = 2*k. Is k composite?
True
Let m(p) = -p**3 - 8*p**2 - 9*p. Let h be m(-4). Suppose 4*t = 139 + 25. Let b = h + t. Is b a prime number?
True
Let o(i) = -i**2 + 10*i - 6. Let b be o(9). Suppose b*j = 6*j - 30. Is j a prime number?
False
Let i = -3 + -4. Let s(o) = -o**3 - 7*o**2 - 3. Let t be s(i). Let u(p) = -10*p + 1. Is u(t) composite?
False
Let r(u) = u**3 + 5*u**2 + 2*u. Let p be r(-3). Is p/(-30) + (-132)/(-5) a composite number?
True
Let p = 16 + -12. Suppose 0 = p*k - 2*k - 92. Is k a composite number?
True
Let z = 20 + -8. Suppose 4*h + z = 2*h. Is (22/6)/((-2)/h) a prime number?
True
Let y be 3/3 + -2 + 7. Let n(t) be the second derivative of t**5/20 - t**4/2 + 2*t**3/3 - t**2 + 3*t. Is n(y) composite?
True
Suppose 3*u - 109 = -3*m + 59, 5*u = m - 62. Suppose 3*i - a = -0*i + 5, 5*i = -a - 5. Suppose -g + r = -53, 2*r + m = -i*g + g. Is g composite?
True
Let o(n) = -n**3 + 3*n**2 + 6*n - 3. Let w be o(4). Let m = 1 + w. Is (3 - 33/m)*-14 composite?
True
Let w(k) = -k**3 - k**2 + k + 1. Let p be w(2). Suppose z = -5*z - 18. Is (-206)/(-6) - z/p a composite number?
True
Let d(n) = -5*n**3 + n**2 - 2*n - 5. Is d(-4) a prime number?
False
Let y(a) = -8*a - 2. Suppose 0*c + 191 = 5*x - 3*c, 5*x - 5*c = 185. Suppose 4*k + k + x = 0. Is y(k) a composite number?
True
Let r = -42 + 131. Is r a composite number?
False
Let f = -232 - -443. Is f prime?
True
Let v = 671 + -312. Is v a composite number?
False
Is (-2)/8 - (-14319)/12 prime?
True
Is -673*((-3)/(-3) + -2) a composite number?
False
Let u(k) = k**2 - 6*k - 2. Let c be u(4). Let h(a) = a**2 + 9*a - 6. Is h(c) composite?
True
Let j = -20 - -21. Is j - (4 - (205 - -1)) a prime number?
False
Let k(w) = 99*w - 2. Let j be k(-3). Let d = j - -550. Is d composite?
False
Let l = -296 - -775. Is l a prime number?
True
Let a be (5/(-2))/(6/(-12)). Let f = a - -46. Is f a prime number?
False
Suppose -5*u = 3*v + 88, 2*v + 40 = -3*u - 3*v. Let f = 73 + u. Suppose g = 2*i - 68, -3*i = -4*g + f - 150. Is i a prime number?
False
Suppose 0 = 4*b - 3752 - 596. Is b composite?
False
Let b(c) = -c**3 + 5*c**2 + 8*c - 9. Let a be b(6). Suppose 7 - a = i. Is (7 + -5)*22/i composite?
False
Let g = 5 + -3. Is 90/4*6 - g prime?
False
Suppose 0 = -2*x + y - 17, -2*x + 5*x = 4*y - 28. Let w(d) = -d**2 - 7*d + 10. Let q be w(x). Is q/(-5) + (-167)/(-5) composite?
True
Suppose -3*g + 4*s = -4455, -2*g - 7393 = -7*g - 4*s. Is g a composite number?
False
Let m be 2 - (1 + 0 + -1). Suppose 0 = 4*l + m*b - 4 - 480, 0 = -5*b. Is l a composite number?
True
Let d(v) = v**2 - 5*v - 2. Let j be d(7). Suppose -4*p + 2*y + 132 = 0, 0 = p - 3*y - j - 11. Is 1 + -1 + p + 0 prime?
False
Let k(o) be the second derivative of -o + 0*o**4 - 1/6*o**3 + 0 + 1/20*o**5 + 7*o**2. Is k(0) prime?
False
Suppose -5*j = 5*d - 40, -3*j + 0*j = d - 10. Suppose -1 = h - d. Suppose -84 = -x - q, -3*x + h*x = 5*q + 292. Is x prime?
True
Let b be 1 + 2/((-2)/(-3)). Suppose 0 = -3*d + b*c + 245, 0*d + 4*d + 4*c = 308. Is d prime?
True
Suppose -2*r = 404 - 1510. Is r composite?
True
Suppose 0 = 3*d + 12, -3*h + 7*d + 899 = 2*d. Is h a prime number?
True
Let u(d) = 2*d - 5. Let b be (-16)/10*(0 - 5). Is u(b) a composite number?
False
Let f = -8 - -9. Is (f/2)/(3/1554) a composite number?
True
Suppose -3*h + 20 = h. Suppose 8*s - 2*w = h*s + 971, 3*w + 1295 = 4*s. Suppose -2*v - 2*p + 36 = -92, -2*p = 5*v - s. Is v a prime number?
False
Let q = 6 + -4. Suppose 5*n = 2*w - 131, 0*n = -q*n - 10. Is w a composite number?
False
Is -3*(4 + (-161)/3) prime?
True
Let q(j) be the second derivative of -j**3/3 - 3*j**2 - 2*j. Let m be q(-4). Suppose m*y - 62 = -0*y. Is y prime?
True
Suppose 280 = 6*o - 2*o. Let y be 21/2 + (-2)/4. Suppose k + 17 = s, -5*k + o = 4*s - y*k. Is s a composite number?
True
Suppose -w - 2 = -3*w. Let j = w + 20. Is j a prime number?
False
Suppose 220 = -2*s + 1178. Is s a prime number?
True
Let m(r) be the second derivative of -r**3/3 - 9*r**2/2 + 2*r. Let x be m(-6). Is (x/(-9))/(1/(-141)) a composite number?
False
Suppose 14 = -z + 457. Is z prime?
True
Is (13 - 11291)*(-2)/4 prime?
True
Suppose -f + 8 = 4. Let o = 25 + -21. Suppose 0 = b - w + f*w - 37, -o*b = 4*w - 180. Is b a composite number?
True
Let u(k) = -k**3 + 10*k**2 + 10*k + 13. Let d be 1/4 + 357/12. Suppose d = 4*p - 10. Is u(p) a composite number?
False
Let u = 639 + 38. Is u prime?
True
Let f(c) = -c**2 - c + 5. Suppose 2*m = -3*m. Let p be f(m). Is (-12 - -6)*p/(-2) a composite number?
True
Suppose 0 = 2*r - 3*y - 874, r - 319 - 107 = -4*y. Suppose m + m = r. Is m a composite number?
True
Let d(t) = 2*t**2 + 3*t + 5. Suppose 4*z - 7 = 9. Suppose -7 + 23 = z*p. Is d(p) prime?
False
Suppose -2*q + 1710 + 3604 = 0. Is q a prime number?
True
Suppose -3*n - 2*z - 3*z + 40 = 0, -5*z = -4*n - 5. Let i(u) = 4*u**2 + 2*u + 3. Let m be i(4). Suppose -80 = -n*q + m. Is q a prime number?
True
Let n = 272 + -123. Is n a prime number?
True
Let n be (7 + (-2 - 1))/2. Suppose n*l = -2*g + 82, -3*l = -g - 2*l + 51. Is g composite?
True
Let x = 7 - 0. Let n = x + -4. Is 753/9 + (-2)/n prime?
True
Let u(p) = -1. Let k(z) = -z + 8. Let d(h) = -k(h) - 6*u(h). Let t be d(6). Suppose 3*w - 160 = -t*n + 21, 117 = 2*w - n. Is w composite?
False
Let x(g) = -1 + 2*g**3 - 2*g + 2*g**3 - g**2 + 0. Let w be (-1 - 0)*(-2 - 0). Is x(w) a composite number?
False
Let l = -8 + 9. Suppose -h - 2 = l. Let x(v) = -6*v + 3. Is x(h) a prime number?
False
Suppose 6 = 3*j - 3. Suppose -j*y - 1 + 7 = 0. Suppose -y*m + 2*i = -16, -5*m - 3*i = -35 + 11. Is m prime?
False
Suppose t + 2*t = -1080. Let f = -190 - t. Is (f/4)/((-5)/(-10)) a prime number?
False
Suppose 3*v - 679 = 782. Is v a prime number?
True
Let u(s) = s**3 - s + 2. Let n be u(0). Let f be 0/n - (3 - 4). Is (0 -