 - 4 - 4 - u. Is k(7) a composite number?
True
Let v(d) = 14*d**2 + d + 1. Let r be v(-1). Suppose r = -4*i - 6. Is ((-6)/4)/(i/70) a composite number?
True
Let l(r) = -2*r**3 - 33*r**2 + 53*r + 1. Is l(-33) a prime number?
False
Is (-44 - -41)/((-1)/11) a prime number?
False
Let o(h) = -h**2 + 2*h + 8. Let l be o(4). Suppose -3*c + 6*c - 2118 = l. Suppose -5*q - 870 = -5*y, 0 = -y + 5*y - 2*q - c. Is y prime?
True
Is ((10/4)/1 + -2)*362 a prime number?
True
Let s(p) be the second derivative of 23*p**3/3 + 25*p**2/2 - 3*p. Is s(8) a composite number?
True
Let w = 306 - -141. Suppose -3*p + 1608 = -w. Is p prime?
False
Is 6 - 1/(11/(-119185)) a composite number?
True
Suppose -11*l + 86581 = -6*l - r, 0 = 3*l + 5*r - 51971. Is l a prime number?
True
Suppose 54*y - 85217 = 43*y. Is y a prime number?
False
Suppose -p - d + 492 = 0, 0 = -2*p - 5*d + 2*d + 981. Suppose -p - 10100 = -5*o. Is o prime?
False
Suppose 3*b = 4*b + 2. Is (4/8*-1)/(b/2044) a prime number?
False
Suppose 4816 = 7*q + 287. Is q prime?
True
Let n(b) = b**2 - 6*b + 1. Let l be n(7). Suppose 4*o - 20 = 0, -w + 3*o = 5*o - l. Is 2 - 1/(w/1518) a composite number?
False
Is 16/(-5) - (-2)/10 - -3206 composite?
False
Let c = -8556 - -12239. Is c prime?
False
Let w = -30 - -34. Suppose 18 = w*n + 6. Is (-1)/n*(6 - 393) prime?
False
Let c(k) = -k**2 + 9*k + 10. Let l be c(10). Suppose y + 4*o + 322 = l, 8*y - 3*y + 1560 = 5*o. Is 14*-3*y/12 a composite number?
True
Let m = -88 + 50. Let t = 59 + m. Is t a prime number?
False
Let k(n) = -n**3 - 7*n**2 - 2*n - 10. Let i be k(-7). Suppose -5*v = i*v - 7893. Is v a prime number?
True
Suppose -2*i + 2 = -16. Let y = i - 5. Suppose 3*j - y = 26. Is j a prime number?
False
Suppose -2*q - 5 = 3*g, 0 = 3*g - g - 3*q - 1. Let k be -871 - g/(2/(-2)). Is (-1)/(2*2/k) prime?
False
Let s(m) = m**3 + 18*m**2 - 9*m - 127. Is s(-16) a prime number?
False
Suppose 2*w - 6 = -s + 2*s, 0 = -s - 3*w + 9. Suppose s = d - 16 + 11. Is (-106)/(12/4 - d) a composite number?
False
Suppose 2*f - 5*k = 4*f + 106, 4*f - 5*k = -182. Is f/(-32) - 71/(-2) composite?
False
Let d(j) = 57*j + 13. Let p be ((-2)/4 - 1)/((-15)/60). Is d(p) composite?
True
Suppose 0 = 2*f + 2*f, 1 = s + 4*f. Is (-6 - (s + -3)) + 323 composite?
True
Suppose r - 7741 = -i, 0*r = 6*r. Is i a composite number?
False
Let r(a) = 11783*a**2 + 10*a - 2. Is r(1) a composite number?
True
Suppose -162 = -11*o + 9*o. Let s = -23 + o. Is s a composite number?
True
Let s = -29 + 53. Let i be -3 + -3 + 7 - 2. Is ((-8)/s)/(i/105) a composite number?
True
Let j be (-3)/(-12) + 62/8. Let v(w) = 2*w**2 - 30*w**3 - 33*w**3 + 64*w**3 - 8*w - 11. Is v(j) prime?
False
Is (-19854)/(-16) + (-15)/(-120) a prime number?
False
Suppose 633 = t + 2*u, 887 + 1000 = 3*t + 2*u. Suppose -3*z + h = -2*z - 209, -3*z - 5*h = -t. Is z a composite number?
True
Let h(n) = 96*n**3 - n + 1. Let c be h(2). Let q(z) = -2*z**2 + 17*z - 21. Let l be q(7). Suppose f - 3*w - 385 = l, -2*f + 0*f + c = -3*w. Is f a prime number?
False
Suppose -g - 4*p = 2, 0*g - 4*p + 4 = 4*g. Suppose -3*i - 2013 = -4*h - h, -g*h + 806 = -2*i. Suppose 4*k = 226 + h. Is k prime?
True
Suppose 0 = -o + p + 7 - 0, -2*o = 5*p. Suppose -l = o*l - 8976. Suppose 2*i + l = 4*s, 2*i + 742 = 2*s + 4*i. Is s composite?
False
Let k = -4 + 7. Let c = -112 + 116. Suppose -x - 3*x + 458 = 2*n, -c*n = k*x - 901. Is n a prime number?
True
Let y be (-12)/54 - (-155)/9. Let d(h) = h**2 - 16*h - 16. Let t be d(y). Is (t + -1)/4 + 203 prime?
False
Suppose -2 = n + 2. Is -1*-2*(-614)/n a prime number?
True
Let i = 1680 + 217. Is i composite?
True
Let u(d) = -d**3 + 5*d**2 + 11*d - 19. Let r be u(6). Let l(p) = 4*p**2 - p + 18. Is l(r) prime?
True
Is 4/(-14) + 2826130/70 prime?
False
Suppose -3*i = 3*q - 7*i, i = q - 1. Suppose 3*y + 347 = s, -q*s - 129 = 3*y - 1502. Let t = s - 57. Is t a composite number?
True
Let p(x) = x**2 - 2*x + 61. Let s be p(0). Let n(a) = a + 5. Let o be n(-5). Suppose o = 2*u - 161 - s. Is u prime?
False
Let r(x) = -505*x + 9. Let o(c) = c. Let n(a) = -247*a + 5. Let h(v) = n(v) - 5*o(v). Let q(m) = -11*h(m) + 6*r(m). Is q(-1) a prime number?
True
Let g = 574 - 56. Suppose -q + g = q. Is q a composite number?
True
Suppose p + 3*k - 3392 = -961, p + 2*k = 2427. Is p composite?
True
Let s(v) = 13*v**2 - 1. Let p be s(-1). Suppose 17*c + 115 = p*c. Let r = c + 74. Is r prime?
False
Let c = -643 - -1962. Is c composite?
False
Suppose 9*p = 2*p + 2562. Let l = p + -172. Is l a prime number?
False
Suppose -13*r + 2840 = -8*r. Suppose -c + r = o, 2820 = 3*o + 2*o + c. Is o composite?
False
Suppose 5*l - 1361 = 1774. Let c be -7*(-2 - -1)*1. Suppose 4*b - c*b = -l. Is b a prime number?
False
Suppose -7 - 73 = -10*c. Suppose -23 = 2*t - 3*f, -45 = 5*t - 7*f + 2*f. Is (30 - c)*(-46)/t prime?
False
Let k(o) = -o**2 + 4*o + 2. Let i be k(4). Let l be 45/((i + -1)*-1). Let y = l - -76. Is y prime?
True
Let t = 4249 - 1684. Suppose -6*c + 5*q + t = -c, -2*q + 525 = c. Is c a prime number?
False
Let a be (-2)/((-1)/(2/(-1))). Is (-265)/(-2) + (-2)/a a composite number?
True
Let x(a) be the second derivative of 4*a**3/3 - 3*a**2/2 + a. Suppose -3*k - 5 = -n, 0*k = -5*n + 5*k + 25. Is x(n) prime?
True
Let k = -50 + 34. Let s be ((-52)/k)/(2/304). Suppose -r = -y + s, 2*r + 2*r = 20. Is y a composite number?
False
Suppose -3*y = -4*p + 2*p + 227, 0 = 4*p + 3*y - 409. Is p a prime number?
False
Let w(j) = -15*j**2 + 16*j**2 + 739 + 2*j - 260. Is w(0) a composite number?
False
Let f(x) = -x**3 - 7*x**2 - 7*x - 4. Let o be f(-6). Suppose 3*v = 5*n + 302, -6*v + 380 = -o*v - n. Let q = 109 + v. Is q a prime number?
False
Let k = -7197 + 13582. Is k prime?
False
Suppose 25 = -2*q + 5*q + d, d = 4*q - 24. Let t(w) = 124*w + 19. Is t(q) a composite number?
False
Let u = -13447 + 29700. Is u prime?
True
Is (-222 - -220)/((-4)/150022) prime?
True
Let r = 21920 - 13117. Is r composite?
False
Let m(p) be the first derivative of -37*p**4 + 2*p**3/3 + 3*p**2/2 + 2*p + 6. Suppose -2 = -l - 3. Is m(l) prime?
True
Suppose 0 = 3*r - 2508 - 771. Let o = -650 + r. Is o prime?
True
Let a(w) = -w**3 + 2*w**2 + 4*w - 5. Let u be a(2). Suppose -1219 = -3*b - o - u*o, 4*b - 1626 = -5*o. Is b prime?
True
Let h be (-3)/(-3 - 0)*0. Suppose -k - 4*g - 6 = h, 3*k + 0*g - 21 = g. Suppose r = 4*b + 145, 3*r + b - 414 = k*b. Is r a composite number?
True
Suppose 5 = -3*l - g + 40, 2*l - g = 15. Suppose 7*h - l*h = -42. Is h a prime number?
False
Suppose 4*w + 3*y = 5 + 26, 4*w - 2*y = 6. Suppose 0*c + 116 = w*c. Is c/2*2 - -2 a composite number?
False
Let w(u) = -8 + 0*u**2 + 1 - 2*u**2 - 4*u + 3*u**2. Let n be w(5). Let o(g) = -45*g**3 + 3*g**2 + g + 1. Is o(n) composite?
True
Is (-11080)/(-7) - (192/28 - 7) composite?
False
Suppose 2*k = 29 - 3. Let i be (1 - k)/((-6)/(-6)). Is 9/6*(-2984)/i a composite number?
False
Suppose -k + 17 - 15 = 0. Suppose 5*i - k*i = 2*t - 5141, -4*t + 3*i + 10267 = 0. Is t a prime number?
False
Let f(m) = 3*m**2 + 5*m - 3. Let k = 1 + 2. Let g be -1 + -9 + (5 - k). Is f(g) a composite number?
False
Suppose -2*f = 436 - 6. Let g = -72 - f. Is g a composite number?
True
Let o = -26934 - -55940. Is o a composite number?
True
Is ((-47)/(-94))/((-1)/(-1562)) prime?
False
Let m(n) = 12*n**2 - 27*n + 164. Is m(25) a composite number?
True
Is (10 + -4 - 6617)/(2 + -3) composite?
True
Let p(o) = 709*o + 422. Is p(15) a composite number?
False
Let h be 66/(-4) - 33/(-22). Let p be 10/h - (-1086)/9. Suppose 0 = -f - p + 501. Is f composite?
True
Let k(q) = 21*q + 31. Let f be k(19). Suppose -2*g + g - 3*h = -98, -5*h = -5*g + f. Is g a composite number?
False
Let f(v) = -14*v - 1. Let r be f(-1). Let c = r - 13. Suppose 4*u - 3*u - 263 = c. Is u composite?
False
Suppose 3*z = -2*l + 13 - 6, 4*z - 4 = 0. Suppose -v - v - 10 = -l*m, -3*m = 4*v - 15. Suppose -143 - m = -2*c. Is c a composite number?
True
Let r(d) = -959*d - 203. Is r(-14) prime?
False
Is (-212459)/(-118) - 1/(-2) a prime number?
True
Let z(o) = -o**2 - 23*o - 22. Let d be z(-22). Is d - (-2)/1*(-12164)/(-8) a composite number?
False
Let i be ((-6)/15)/((-3)/(-495)*1). Let p = -13 - i. Is p a composite number?
False
Suppose 1917 + 3783 = 10*j. Suppose -5*a + 4*i - 1827 = 0, -4 = -3*i + 5*i. Let c = j + a. Is c pri