17. Is p prime?
False
Let i(k) = 15*k**2 - 17*k + 2. Suppose -19*z + 17*z - 10 = 0. Let v(s) = 22*s**2 - 26*s + 3. Let x(d) = z*v(d) + 8*i(d). Is x(-6) a composite number?
False
Suppose 0 = -11*k + 7*k + 54148. Is k prime?
True
Let f(z) = 29*z**2 + 23*z - 31. Is f(-13) a composite number?
True
Let i be (5 - -7)*(-2)/(-6). Suppose v + 15 = 6*v. Suppose -2*b = -f + 157, -v*f = i*b - 381 - 110. Is f composite?
True
Let a(i) = -4*i + 30. Let d be a(7). Suppose -p = 5*m - 735, p = -d*p + 3*m + 2241. Is p a prime number?
False
Let t be (-1008)/2 + 1/1. Let k = 1206 - t. Is k a prime number?
True
Let g = -8403 + 21694. Is g a composite number?
False
Is 19554 + (-10 - (-18)/2) a prime number?
True
Let m(h) = -h**2 - 13*h + 2. Let r be m(-13). Let q(l) = -l - 2*l + 0*l**2 + 4 - 2*l**r + 5*l + l**3. Is q(5) prime?
True
Let v(a) = 6*a**2 - 28*a + 23. Is v(13) composite?
False
Suppose -2*n - 4 = 4. Is 2/((-2)/977)*4/n composite?
False
Suppose 22 = 4*d - 3*s + s, -s = -1. Suppose -3*f + 2*q = -d, 2*f - 4*q - 4 = -0. Suppose -n + 569 = 4*b, 695 = 5*b - 4*n + f*n. Is b a prime number?
False
Let a(y) = 3*y**3 + 10*y**2 - 3*y + 45. Is a(7) a prime number?
True
Let q = 8 + -9. Let c be ((-2)/q + -2)*1. Suppose -g + 0*g + 3*z + 394 = c, -1501 = -4*g - 3*z. Is g prime?
True
Let n(d) = 6*d - 45. Let g be n(8). Suppose 0*x - 5*x = 20, 5*x = 2*y - 114. Suppose g*h - y = 10. Is h a prime number?
True
Let b be 2/(-2) + 6/2. Suppose 0*p - b*p = -4*w - 970, 5*p - 2500 = -5*w. Let n = p + -48. Is n composite?
True
Suppose c + c = 4. Let t = c + 3. Suppose -p + 11 = -5*v - 7, t*p = v + 162. Is p composite?
True
Suppose 0 = -2*h - 3*h + 4*q + 52119, 4*h - 41712 = -q. Is h a prime number?
True
Let a(l) = -6*l**3 - 7*l**2 + 11. Is a(-6) a composite number?
True
Suppose 117994 = 22*z - 2368. Is z a prime number?
True
Let o(w) = -481*w**3 - w**2 - 7*w - 5. Is o(-1) a prime number?
False
Let b = -4060 + 6999. Is b a prime number?
True
Let c(a) be the second derivative of 19*a**3/6 + 33*a**2/2 + 10*a. Is c(14) a prime number?
False
Let l(s) = 1286*s - 723. Is l(4) composite?
False
Suppose -85524 + 24772 = -16*s. Is s a composite number?
False
Let y = 187 + -185. Let r(t) = -t**2 + 3*t + 4. Let f be r(3). Is (f - y)*1468/8 a composite number?
False
Let d(z) be the second derivative of 3*z**4/4 - 5*z**3/6 + 13*z**2/2 + 25*z. Is d(7) a prime number?
True
Let t(n) = n**3 - 3*n**2 - 3*n - 3. Let b be t(-3). Let q = 33 + b. Is 2 + (-5)/(q/1233) a composite number?
True
Let m = 10536 - 4433. Is m a prime number?
False
Let i(d) = 180*d**3 - d**2 + 1. Let c be i(2). Suppose -v + 4*v + c = 0. Let t = v + 870. Is t prime?
False
Let z(j) = j**3 - j**2 + 3. Let u be z(-2). Let n be 9 + u + 1 + 229. Suppose -3*s = -5*y - 684, 4*y - n = -s + 15. Is s a composite number?
False
Suppose 5*z - 16007 = -3*o, -25571 = -4*o - 4*z - 4215. Let p = -2985 + o. Is p a prime number?
False
Let s = -14366 - -41543. Is s prime?
False
Suppose -o + 13 = 2*q, 0 = -q - 7*o + 2*o + 20. Suppose -1032 = -q*m + 23. Is (m/2)/((-7)/(-14)) a composite number?
False
Let g(p) = -1809*p**3 + p**2 - 5*p - 3. Is g(-2) composite?
True
Suppose -163*k + 172*k - 126639 = 0. Is k composite?
False
Suppose 7*l + 8296 = 5*l. Is ((-3)/9 - l/6)/1 prime?
True
Suppose 9*i = 5*i - 4*f + 17484, -4383 = -i + 5*f. Is i prime?
True
Let w(f) = -f**2 + 14*f - 2. Let v be w(14). Let u be (-1)/v + (-5635)/(-10). Suppose -3*l - u = -7*l. Is l composite?
True
Let w be (-24)/(-18)*((-15)/(-2))/5. Suppose b - 320 = -3*r, -w*b = 2*b + r - 1258. Is b composite?
True
Let u be 1/(-3) - ((-8)/6 - 3). Suppose 0*b + 1228 = u*b + 3*z, 2*z = 3*b - 921. Is b a composite number?
False
Let f = 541 - 305. Let w = 246 + f. Let u = 227 + w. Is u composite?
False
Let h be (-4 + 2246)*(-4)/(-8). Let o = -602 + h. Is o a composite number?
True
Suppose -1544 = -3*l - l. Suppose -3*z + 633 = -2*t - l, -t - 477 = 5*z. Let p = t - -891. Is p composite?
False
Let b(z) = z**2 - 9*z + 15. Let k be b(6). Suppose -w + 0*o = 3*o - 1, -4*w = 5*o + 3. Is (k/w)/((-27)/(-4194)) a composite number?
False
Let d = 104 + 24. Suppose 6*j - j = -z + 126, -5*j + d = 3*z. Suppose 0 = -3*k + j + 8. Is k prime?
True
Let y(q) = -q**3 + 3*q**2 + 7*q - 1. Let u = 18 - 15. Let h be y(u). Let s = -5 + h. Is s composite?
True
Is (-5 - (-272)/56) + (-337696)/(-14) prime?
True
Let s = -25 + -52. Let k = s + 407. Suppose 5*v = 3*f + 793, 2*v - k = -f - f. Is v a composite number?
True
Suppose 3*a + 0*v = 2*v - 1, 0 = 5*a - 3*v. Suppose 2988 = -a*b + 10038. Let f = b + -1471. Is f prime?
False
Is 16/(-72) - (7 - (-1286474)/(-63)) prime?
False
Suppose 6651 = 2*n + h, -3*h - 6655 = -2*n - 0*n. Let o = -2067 + n. Is o a prime number?
True
Let o be (11 - 12)/((-1)/3). Suppose o*z + 11 = -13. Is 226*(-1)/(z/4) prime?
True
Suppose -4*y + 7841 = -4*i + 7*i, 0 = 5*i + 2*y - 13059. Is i a prime number?
False
Is (((-1)/(-1))/(-1))/((-31)/42191) a composite number?
False
Let c be ((-10)/20)/(2/(-32)). Let l(j) = j**2 - 4*j - 10. Is l(c) composite?
True
Suppose 6*x + 5 = 7*x. Suppose -82 = -t + x*u, -2*t + 4*u + 55 + 127 = 0. Is t a composite number?
False
Let a = 109142 - 76731. Is a composite?
False
Let d = -12 - -29. Let n = 28 - d. Is n prime?
True
Let j(t) = -9*t**3 - 7*t**2 + 5*t - 2. Let n(b) = 14*b**3 + 10*b**2 - 7*b + 3. Let c = -20 - -27. Let p(a) = c*j(a) + 5*n(a). Is p(3) prime?
True
Let c = -26 - -24. Is (-1)/2 - 111/c a composite number?
True
Suppose 28*k - 27*k = 3*f - 2108, -f + 691 = 2*k. Is f a prime number?
True
Let i(j) = -36*j + 2. Let h be i(1). Let t = h + 33. Is 2 + -4 + 236 + t a composite number?
False
Let k = -1362 - -2513. Is k a prime number?
True
Suppose -18*b - 143 = -19*b. Is b composite?
True
Let d(q) = -q - 5. Let u be d(-7). Let g(x) be the second derivative of 31*x**3/3 - 3*x**2/2 + 4*x. Is g(u) composite?
True
Let w = -84415 - -127002. Is w a composite number?
True
Let m(q) = q**3 + q**2 - q + 52. Let g be m(0). Let z = 987 + g. Is z a composite number?
False
Let g(y) be the first derivative of -y**4/12 - 13*y**3/6 - 11*y**2/2 - 6*y + 5. Let j(m) be the first derivative of g(m). Is j(-9) a composite number?
True
Let j be (-16726)/(-18) - (-2 + 140/63). Is 0 - j/(-9) - (-156)/(-702) a composite number?
False
Suppose j - 944 = -j. Let f = 1103 - j. Is f prime?
True
Let b be (3*1)/((-14)/(-84)). Let n be (3 + 2)*b/15. Suppose -r + 31 = q - n*q, q = -r + 31. Is r a composite number?
False
Let w be (-2)/10 - (-4)/20. Suppose -5*u + 1840 = -w*u. Let f = u - 105. Is f a prime number?
True
Suppose 5*v - 7314 = -v. Suppose 3*b = b + 3*x + v, 4*b + 2*x - 2462 = 0. Is b a composite number?
True
Let z be (2/3)/(1/51). Suppose 2*g + 366 - z = -4*t, -2*t + 2 = 0. Let c = 23 - g. Is c a composite number?
False
Is ((-7166)/16 - (-39)/104)*-2 a prime number?
False
Suppose 5*v - 57398 = -6*v. Is v a composite number?
True
Let w(h) = -h**3 + 9*h**2 - 7*h - 10. Let x be w(8). Is -2 - (-2803)/2 - x/(-4) prime?
True
Let v(k) be the first derivative of k**4/4 - 4*k**3/3 - k**2/2 - 2*k - 1. Let m be v(4). Is (m - -9)*(-7)/(-3) a prime number?
True
Let m = -119 + 203. Is (m/(-27)*-3)/(4/6) prime?
False
Let f(k) = -1044*k - 5. Is f(-34) prime?
True
Suppose g = -5*g + 52818. Is g a prime number?
True
Let c = -22881 + 44978. Is c composite?
True
Let x(h) = -29 - 47*h - 8*h - 75*h. Is x(-4) prime?
True
Suppose 5*q - 4*i - 26255 = 0, 3*i = -23*q + 22*q + 5251. Is q composite?
True
Let p(x) = 40*x + 16. Let i(z) = 8*z + 3. Suppose 0 = 4*m - 4*o, -4*m + 3*o = -0*o - 2. Let y(s) = m*p(s) - 11*i(s). Is y(-12) a prime number?
False
Suppose y + 3*v - 9974 = 0, -54*y - 49882 = -59*y - 3*v. Is y prime?
False
Let g be (1/(-2))/((-1)/8). Suppose -2*x = -g*p - 0*p + 2810, 4*p + x - 2813 = 0. Is p a composite number?
True
Suppose 12*r - 20*r = -664. Is r/3*(15 - 6) + 4 prime?
False
Let i = -1338 + 3047. Is i composite?
False
Suppose 14 = r - 4*g - 249, 5*r - 1345 = 5*g. Let i be (-13)/(-3) - 0 - (-36)/(-27). Suppose 2*l - 3*a - 200 = 0, -i*l = -a - r - 43. Is l composite?
True
Let f(m) = -63*m**2 + 4*m - 5. Let a(s) = -188*s**2 + 12*s - 15. Let v(w) = 2*a(w) - 7*f(w). Is v(2) a composite number?
False
Let b(r) = 35*r + 4. Let v(p) = 38*p + 5. Let a(g) = g. Let m(n) = -2*a(n) + v(n). Let t(u) = -6*b(u) + 5*m(u). 