 Is o(q) a composite number?
True
Let n(z) = z**2 + 9*z + 11. Let m be n(-8). Suppose -5*o = m*q - 11, -2 = o - 5*q + 7. Is (o + (-6)/(-3))*11 composite?
True
Let r = 6 + -4. Let a be ((-4)/(-8)*8)/4. Is (r/2 + a)*53 composite?
True
Let t(g) = -g - 2. Let a be t(-5). Let q(z) = z**3 + 10*z**2 - 11*z + 11. Let l(m) = -5*m**2 + 5*m - 5. Let r(h) = 5*l(h) + 2*q(h). Is r(a) a prime number?
False
Let a(y) = 17*y**2 + 7*y - 5. Let s be a(5). Let l = -292 + s. Is l a prime number?
True
Let v(d) = 2*d**2 + 6*d + 4. Suppose 0 = t + 3 + 1. Let r be v(t). Is 105/r*(2 + 2) a composite number?
True
Let i(x) be the third derivative of -x**5/60 - x**4/6 - x**3/6 - x**2. Let z be (-2)/(-3) - 33/9. Is i(z) a composite number?
False
Suppose k + 4 = -3*k, 2*f = -2*k + 138. Suppose 3*z - 4*y = 4*z + 1, -f = -5*z - 5*y. Is z prime?
True
Let p(b) = -b**3 + 10*b**2 + 7*b + 13. Is p(9) composite?
False
Let a(c) = c**3 - 5*c**2 + c + 11. Let i(r) = r**2 - 6*r + 8. Let k be i(6). Is a(k) composite?
False
Suppose 1338 = 6*y - 2160. Is y composite?
True
Let w(h) be the third derivative of -3*h**6/40 - h**5/15 - h**4/8 - h**3/6 - h**2. Let q be ((-6)/5)/(4/10). Is w(q) a composite number?
True
Suppose 5*t + 3 - 8 = 0. Suppose t = 3*f + 7. Is f + (-3 - -3) - -5 a composite number?
False
Suppose -r = i - 2*i + 855, 2*i - 1698 = -r. Suppose i = 3*q + 296. Is q composite?
True
Let d(k) = -k**3 + 6*k**2 - k + 8. Let n be d(6). Suppose 0 = -n*w + 3*w + 354. Is (w/(-24))/(2/8) a prime number?
True
Let n = 203 + -90. Is n composite?
False
Suppose -3*c - 15 = 0, -3*q + c = -2*q - 22. Is 220/1 - (14 - q) a prime number?
True
Let o(c) = c**3 + 12*c**2 + 6*c - 1. Suppose -2*q = -0*q - 3*y + 23, 4*q + 37 = -3*y. Is o(q) composite?
False
Let t(w) = w - 1. Let i be t(-7). Let r = i + 10. Suppose -s - 88 = -r*d + 4*s, 2*d - 80 = s. Is d composite?
True
Let c(i) = 6*i + 12*i**2 - 4*i**2 - 2*i - 3 - 4 - i**3. Is c(6) a prime number?
True
Suppose -u = -5*u + 20. Suppose -u*w - x - 4 = -100, 73 = 4*w - 3*x. Is w a prime number?
True
Suppose 3*l + 3*p - 22 + 7 = 0, 0 = 4*l - 2*p - 26. Suppose 2*x = l*x - 276. Is x a composite number?
True
Let g(m) = -27*m - 1. Let n be g(-4). Let c = 256 - n. Is c a composite number?
False
Let h = -624 - -1235. Is h prime?
False
Suppose 21*x - 8*x = 82927. Is x prime?
True
Let q be 58/5 - (-8)/20. Let g be (-1*3)/((-9)/q). Suppose g*b = -3*r + 174 + 50, 2*b = 5*r + 86. Is b a prime number?
True
Let l be ((-12)/(5 + -2))/1. Let c be 30/l*(-8)/(-10). Let n(g) = 3*g**2 + 5*g - 1. Is n(c) prime?
False
Let t(m) = -2*m**3 - 2*m**2 + 6*m - 7. Is t(-5) a prime number?
True
Suppose -5*h + 1302 = -933. Let j = h - 247. Suppose -s - j = -4*v, 4*v + 3*s = -s + 220. Is v a composite number?
True
Let s(j) = -j**2 - 8*j - 2. Let g be s(-7). Suppose g*v = 45 + 50. Is v composite?
False
Suppose 5*o + 28 = u - 0*u, -4 = o. Suppose 5*h - 2*z - 15 = u, 3*z = -4*h. Suppose -3*g + i + 344 = 0, g - 5*i = -h*g + 477. Is g composite?
False
Let d = 233 + -122. Is d prime?
False
Let z = -199 - -840. Is z prime?
True
Suppose 2 = -3*u + 2*t, 6*u = 3*u + 4*t - 4. Is (u - -1)*1*331 composite?
False
Let m(u) = u**2 - 4*u - 1. Let g be m(4). Let j(r) = -141*r. Is j(g) prime?
False
Is (2/(-4))/((-5)/9110) a prime number?
True
Suppose -2*k - 2*k = -3*d - 6256, 0 = k - d - 1565. Is k composite?
True
Let b be ((-2)/4)/(2/4). Is 82/(18/14 + b) prime?
False
Let k(h) = h**2 + 10*h + 9. Let b be k(-6). Is (5/b)/((-1)/18) composite?
True
Is (-145 - 1)/(32/(-112)) prime?
False
Suppose 4*w + 3*i - 319 = 0, -45 = -w + 4*i + 30. Is w composite?
False
Suppose 2*a - a = 3641. Is a a composite number?
True
Let x(y) = 3*y**2 + 16*y + 17. Is x(-12) a prime number?
True
Let d = -4 - -63. Is d a composite number?
False
Let w(y) = -y**3 + 13*y**2 + 2*y - 19. Let s be w(13). Suppose -515 = -4*z - s. Is z a composite number?
False
Suppose -q - k = 0, 2*k = q - 2*q - 4. Suppose 18 - q = -5*x - 4*r, 4*x + 20 = -r. Is 0 - (x/(-3) + -21) a composite number?
False
Let r be (-740)/12 - 3/9. Is (1 + -3)/(4/r) a composite number?
False
Is (-1988)/(-10) + (-11)/(-55) a prime number?
True
Suppose 340 = 5*t - t + 5*u, 5*u = t - 110. Let s = 79 + t. Is s composite?
True
Suppose -v - 2*l = -l - 7, -19 = 3*v - 5*l. Suppose v*c = 1 + 5. Let s(d) = 36*d**2 + 2*d - 1. Is s(c) prime?
False
Is 53 + (-1 - (-4 - -3)) composite?
False
Let w(a) = -a**2 + 11*a - 16. Let t be w(11). Is 110/16 - 2/t prime?
True
Let t(o) = -27*o + 2. Let r = 0 - -9. Let z = r + -16. Is t(z) a prime number?
True
Suppose -4*a + 4*s - 494 = 510, 4*s = -8. Let n = 464 + a. Is n composite?
False
Let r be 1*(-1 + 0/1). Is -20*r/(-4)*-7 a composite number?
True
Let t(n) = 0*n**2 - 7*n + 3 + 4 + 2*n**2. Is t(-8) prime?
True
Let r be (-8)/6*(-159)/(-2). Let b = -15 - r. Is b composite?
True
Suppose 4*l - 4*f = 32 - 0, -4*l + 11 = 3*f. Suppose -l*s + 10*s - 955 = 0. Is s a prime number?
True
Let n(v) = 16*v - 3. Is n(10) composite?
False
Let w = -8 - -2. Let s(g) be the third derivative of g**5/60 + g**3/2 + g**2. Is s(w) a composite number?
True
Let j(k) = -28*k - 12. Let d be j(-13). Is (d + 3/1)*1 composite?
True
Let o(l) = -l. Let d(p) = -p**3 + 8*p**2 + 4*p - 11. Let s(u) = -d(u) + 6*o(u). Is s(9) a composite number?
False
Suppose b - 5*l = -3*b + 3193, -2*b + 1595 = -l. Is b composite?
False
Suppose 0 = -j + 6*j - 35. Suppose j*x - 4*x = 9. Suppose x*g = 6*g - 381. Is g a prime number?
True
Let t(m) = 10*m + 27. Is t(15) a prime number?
False
Suppose -r - 23 = -232. Is r a composite number?
True
Let w be ((-1)/3)/(1/3). Let a = 1 + w. Is a - (-1 - -1) - -14 a composite number?
True
Suppose -3*i = 4*n - 3, 0 = 5*i - 0*n + 3*n + 6. Let v(b) = -2*b**3 + 4*b**2 + 4*b + 1. Is v(i) a prime number?
True
Let f(q) be the second derivative of q**4/12 + q**3/6 + 119*q**2/2 - q. Is f(0) a composite number?
True
Suppose 0*z = z - 3943. Is z prime?
True
Let j = -6 - -6. Suppose -3*r + 290 = 2*r - 3*d, 4*r + 4*d - 200 = j. Is r a prime number?
False
Let y = 1525 + -1038. Is y a composite number?
False
Suppose -y + g = -4*y + 275, 2*y - 192 = -5*g. Is y prime?
False
Let d(u) = -u**2 + 2*u - 1. Let l be d(2). Let n = l + 4. Suppose -23 = -n*o + 22. Is o a prime number?
False
Suppose 5*c = 5524 - 1379. Is c composite?
False
Suppose -r + 3*r = 0. Suppose -3*w + 1113 = -r*w. Is w composite?
True
Let r be -1*(-6)/(-3)*-22. Suppose 2*w + 2*w - r = 0. Is w composite?
False
Let z(k) = 6*k**2 + 3*k - 3. Let a be z(-4). Let u(t) = -t**3 + t - 4. Let g be u(3). Let y = g + a. Is y a prime number?
True
Let n(g) = -8*g - 1. Let p be n(-6). Is p/1 + 0/5 a prime number?
True
Suppose -6*n = -10*n + 21652. Is n a prime number?
True
Let a(r) = 17*r - 1. Let j(s) = 16*s - 1. Let z(q) = 5*a(q) - 6*j(q). Is z(-6) a composite number?
False
Let d be ((-5)/3 + -2)*-24. Let t = 23 + d. Is t composite?
True
Suppose 0 = -4*n + 1583 - 619. Suppose 2*i - t = -i + 236, 3*i - 2*t - n = 0. Is i a composite number?
True
Let b = -27 + 74. Is b composite?
False
Is 587/(-1)*(0 - 1) a prime number?
True
Let j(y) = -24*y - 7. Is j(-5) composite?
False
Let l(p) = p**3 + 5*p**2 - 4. Let a be l(-3). Let v = a + 2. Suppose -v - 26 = -3*m. Is m prime?
False
Suppose -2*y - 14 = -3*m, -y = -3*m - 4*y + 9. Let p(b) = b**3 - 4*b**2 + 4. Let x be p(m). Suppose 3*c - 29 = f, x*c - 13 = 4*f + 23. Is c prime?
False
Let m(p) = 3*p**2 + 2*p**2 - 2*p**3 + p**3 - p + 1. Let q(b) = 4*b**2. Let u be q(-1). Is m(u) prime?
True
Let a(b) be the third derivative of b**4/3 - b**3/2 + b**2. Is a(5) a composite number?
False
Suppose -77 = -5*l + 218. Suppose 5*f - 4*f = -4*u + l, -f = u - 56. Is f prime?
False
Suppose 3*z = 6*z - 15. Let o = 11 - z. Is o a composite number?
True
Let s(i) = -i**2 + 2. Let f be s(-2). Let p(q) = 3*q**2 + 3*q + 1. Is p(f) a prime number?
True
Suppose g = 0, -o - 2*g + 78 = -176. Is o a prime number?
False
Suppose 4*x = -q - 14, -3*q + 2*q = -2. Let r(b) = -2*b - 4. Let n be r(x). Is (-541)/(-7) - n/14 composite?
True
Suppose 4*o - 5*g = 15258, -11445 = -3*o + 4*g - g. Is o composite?
True
Suppose 4*h = -357 + 1429. Suppose 3*c = -c + h. Is c composite?
False
Let i = 2 - -12. Is i a composite number?
True
Let x(q) = -2*q**3 - 22*q**2 - 7*q + 12. Is x(-11) composite?
False
Suppose 4*u - 2 = -y + 6, -4*u - 