 + 2*v - v - 2. Is a(p) prime?
True
Suppose 0 = -4*h - 4*l + 272 - 40, 107 = 2*h + 5*l. Is -7*1*h/(-1) a prime number?
False
Let u = -540 + 288. Let o = 359 - u. Is o a prime number?
False
Let h(c) = 2*c**3 - 3*c**2 + 4*c - 2. Let f(n) = -7*n**2 - 14*n - 10. Let d(x) = x**2 + x + 1. Let q(y) = 6*d(y) + f(y). Let m be q(-7). Is h(m) composite?
False
Let x(s) = 28*s**2 + 3*s + 2. Let z be x(3). Let p = z + -98. Suppose -f + 4*f = p. Is f composite?
True
Suppose 24*y + 10 = 14*y. Is (y + 0)/((-1)/3453) a prime number?
False
Let b = 1163 - -50766. Is b a prime number?
True
Is (-14628 - -6)*-1*2/6 prime?
False
Let c = 1363 + -2414. Let x = 1724 + c. Is x prime?
True
Suppose -8*l + 11*l - 3 = 0. Suppose -2*o + 3 + l = 0. Suppose 0 = -o*c + 517 - 47. Is c composite?
True
Suppose 6 = -a + f + 17, 0 = -2*a + f + 19. Suppose -d - 118 - 252 = -4*n, -4*d - 4*n - 1540 = 0. Is (4/a*d)/(-1) a composite number?
False
Let l(k) = -9*k**3 - 9*k**2 - 41*k + 2. Is l(-13) a composite number?
False
Let j = -8445 + 14166. Is j composite?
True
Let z = 1981 - 1292. Is z composite?
True
Let p be (86/(-3))/((-12)/270). Let r = p - 444. Is r prime?
False
Suppose 0 = 3*f - 7*f + s + 92, 0 = -5*s. Suppose 3*n - 11 = -53. Let l = f - n. Is l composite?
False
Is 93*(-2 + (-1550)/(-30)) a prime number?
False
Let u be (-1960)/(-110) + (-4)/(-22). Suppose u*n - 26960 = 2*n. Is n a prime number?
False
Let x(q) be the first derivative of 23*q**6/90 + q**5/120 + q**4/6 + 5*q**3/3 + 9. Let a(u) be the third derivative of x(u). Is a(3) a composite number?
True
Let k(y) = 8*y**3 + 8*y**2 + 24*y - 4. Let c be k(-8). Let w = -1058 - c. Is w prime?
False
Let k = -51 + 51. Suppose k = -t + 910 - 275. Is t composite?
True
Let k = -6681 - -12620. Is k composite?
False
Let p = 14 + -10. Suppose 3*q = -3*i + 55 + 542, 2*i - 806 = -p*q. Suppose q = -4*b + 1384. Is b prime?
False
Suppose 0 = 18*k - 21*k + 19857. Is k composite?
False
Let f = -1012 + -359. Let x = f - -2574. Is x composite?
True
Let t(s) = s + 91. Let h(a) = -a**3 - 5*a**2 + 7*a + 6. Let l be h(-6). Is t(l) a composite number?
True
Let n be 1 - -3 - 21/(-7). Let w = n + 18. Is w a prime number?
False
Let s = 2784 - 1568. Suppose -4*j + 516 = -s. Let a = j + -222. Is a a composite number?
False
Is 4 - 4/(20/(-16625)) prime?
True
Let t(p) = 5*p**2 + 11*p + 1. Suppose -6 - 4 = y. Is t(y) a composite number?
True
Let y(j) = j**3 + 8*j**2 + j + 10. Let m be y(-8). Let s(w) = w**2. Let l be s(m). Suppose r + 921 = l*r. Is r a composite number?
False
Let k be 7/(-4)*(-4 - 0). Let u be 352/16 - (-1 + 1). Let f = u - k. Is f a prime number?
False
Let c(d) = 13037*d**2 - 3*d - 1. Is c(1) composite?
False
Let m(o) = 348*o + 7. Is m(1) composite?
True
Let r = -17 - -18. Let b = r + 3. Suppose 2*z + 113 = o, -o + b*z - 137 = -2*o. Is o composite?
True
Suppose 10*c + 1 = 1. Suppose -4*a + 240 = -c*a + 2*y, a - 67 = -4*y. Is a a composite number?
False
Is (-749756)/42*(-12)/8 composite?
False
Let q(i) = 10*i**2 - 26*i + 14. Let p be q(12). Suppose 3183 = 5*k - p. Is k a prime number?
False
Let k be -18*6/(-27)*3. Is -2*3/(k/(-404)) a composite number?
True
Suppose 2*q + 0*q = 728. Suppose -q = -4*r + 524. Is (-2)/((-892)/r - -4) a prime number?
False
Suppose -3*b + b = 5*w - 23953, -3*b = 3*w - 14379. Is w prime?
True
Let c(t) = t**3 + 6*t**2 + 6*t + 5. Let v be c(-5). Suppose v = 3*g - 4*g. Suppose 5*a + 3*h - 1904 = g, 0 = 2*a + 3*h - 58 - 709. Is a a composite number?
False
Let i(h) = -h**3 + 19*h**2 + 26*h + 19. Let q be i(-12). Suppose 4*f = u + q, -f + 2*u + 455 = -593. Is f composite?
True
Let s(p) = -p**2 - 12*p + 9. Let u be s(-13). Is (-5870)/(-90) + u/18 composite?
True
Suppose 4*y = 66*y - 1927084. Is y a prime number?
False
Suppose 6 = l + 5*l. Is (-3)/l - (-4 + 5)*-197 prime?
False
Suppose 2*v = 3*k + 6*v - 41, -5*k + 4*v = -15. Let f(d) = 4*d**2 + 8*d + 2 - d**2 - k*d. Is f(-3) a prime number?
False
Suppose 0 = -4*u - 3*b - 11 + 4, 5*u - 5*b - 35 = 0. Suppose -6*x = -u*x + 20. Is 4468/10 + (-1)/x a composite number?
True
Let t be 2271 - (-2 - 4)/2. Suppose 4*k = 3*o + 2*k - t, 2*k = -o + 758. Suppose -4*s - j + 761 = 0, 3*s - o = -s - 2*j. Is s composite?
False
Let v = -5 - -9. Let w = -5 - -164. Suppose 0 = v*r - 5*r + w. Is r a composite number?
True
Let v = 40 - 22. Let s = -14 + v. Suppose -5*g - 105 = -4*i, -g + 5*g = s*i - 104. Is i composite?
True
Let i = -267 + 712. Suppose 987 - 4939 = -4*y. Let r = y - i. Is r prime?
False
Let t = 40 + -60. Is -813*(-2 - t/15) a prime number?
False
Let y = -466 - -826. Let g = y + -214. Let d = -3 + g. Is d prime?
False
Suppose 0 = -4*t - 12, o + 4*t = 2452 + 2179. Is o prime?
True
Let y = 20646 + -14639. Is y a prime number?
True
Let i(f) = 338*f**2 - 21*f + 91. Is i(-8) a prime number?
False
Suppose -4*u + 6*c = -0*c - 286114, 3*u - 2*c - 214583 = 0. Is u a composite number?
False
Let d = 300 - 298. Suppose 3*w - 5*w = -2*t - 108, -4*w = 2*t + 90. Let a = d - t. Is a a prime number?
True
Suppose -29*f + 22*f = -167363. Is f a prime number?
True
Let g(d) = 291*d**2 + 12*d + 17. Is g(-6) a composite number?
True
Let i(a) = -a**3 - a**2 - a + 5. Let j be i(0). Suppose 3*p - 113 - 11 = j*q, p + 4*q = 47. Suppose y = 5*v + p, 0 = y - 4*v + 10 - 49. Is y a composite number?
False
Suppose 3*b + 2*a = -1 + 3, 3*b + 13 = -5*a. Suppose 2*n + 1094 = 4*q, -b*q - 5*n + 827 = -q. Is q prime?
False
Let s(w) = -4143*w - 372. Is s(-3) a prime number?
False
Let t = 6332 + -2137. Is t a prime number?
False
Suppose 2*m + 4*c - 6 = -0*m, -c + 3 = 2*m. Let w(y) = 28*y. Let p be w(m). Suppose l - p = -l. Is l composite?
True
Suppose 38*y - 41*y = -6, -5*y = -5*j + 131085. Is j prime?
False
Suppose 2*n - 1444 = -o, -3*o - 2*n = -5*o + 2888. Suppose x - 29 = -2*m + o, 0 = m + x - 734. Is m composite?
False
Let m(f) = 16*f**3 + 2*f**2 - 3*f + 4. Let z be ((-5)/10)/(2/12). Let c(j) = -j**2 - 3*j + 3. Let r be c(z). Is m(r) prime?
False
Let r(q) = q. Let i(k) = 2*k - 251. Let m(b) = -i(b) + 3*r(b). Let j be 1*(3 + -3)/2. Is m(j) a prime number?
True
Suppose 29*t - 63412 = 22486. Is t a composite number?
True
Let b(l) be the second derivative of -29*l**6/240 + l**5/30 + l**4/4 - 7*l. Let j(y) be the third derivative of b(y). Is j(-3) a composite number?
True
Let w = 51 + 14. Suppose -2*v = 3*v - w. Let a = v + 24. Is a composite?
False
Let v(p) = 602*p**2 - 17*p - 1. Is v(3) prime?
False
Let i(w) = -8*w**3 + 23*w**2 - 18*w + 29. Let v(u) = -u**3 + u**2 - 1. Let k(h) = -i(h) + 6*v(h). Is k(12) a composite number?
True
Let v(q) = 54*q - 11. Let t be 5*(4 + -3) + 0. Let h be v(t). Suppose 5*n = j + h, -3*n - 4*j = -n - 86. Is n a prime number?
False
Suppose 0*i + i = -1. Is 0/(-9) + (i - -1656) composite?
True
Let z = -761 + 533. Let f = 481 + z. Is f a prime number?
False
Let s(o) = 14*o - 34. Let p be s(18). Is p/(2*((-20)/(-6) + -3)) prime?
False
Suppose 0 = -4*d + m + 41, d - 3*d = 3*m - 3. Suppose -2*g = 4*x - 40, 3*x - 3*g - 36 = -6*g. Suppose -d*c + 97 = -x*c. Is c prime?
True
Suppose -2*w = -0*p - 4*p + 5194, -15 = -5*p. Is (-1 + 2 - 2)*w/1 a composite number?
False
Let f = -30 - -31. Is -1 - (f - 0 - 339) composite?
False
Let y(d) = -d**2 + 5*d - 4. Let o be y(4). Suppose o = 5*t - 2*n - 3167, -4*t + n - 4*n = -2529. Is t prime?
False
Let p(z) = 7*z + 6 - 2 + 2 + 2. Is p(5) composite?
False
Let x(v) = v**3 - 11*v**2 + 4*v + 9. Let z be x(7). Suppose -62 = 8*t - 78. Let m = t - z. Is m a composite number?
True
Suppose o - 2*b = 77, o - 62 = b - 4*b. Let j = o + 56. Is j a prime number?
True
Suppose -68 = -2*n - 3*k, -3*n + 4*n - 40 = -3*k. Is (-211)/(-4) + 7/n prime?
True
Suppose 3*x - 8*i + 6*i - 34833 = 0, 3*i = -5*x + 58055. Is x a prime number?
False
Let g(k) = 2*k + 15. Let s be g(-7). Let c be (-2)/(-2)*(-2 - s). Is 59 + -1*(-1 - c) composite?
True
Let b(u) = 258*u**2 + 7*u + 7. Let g be b(-4). Let y = -2528 + g. Is y prime?
True
Is (-308679)/(-28)*(-16)/(-12) prime?
True
Suppose 2965 = 4*x - 263. Is x prime?
False
Is (2 - 48/28) + (-23448)/(-56) composite?
False
Let q(y) = 11993*y + 112. Is q(5) a prime number?
True
Suppose 4*w = -f - 17, -5*f - w - 37 = 3*w. Let b be f/((-25)/(-2))*-5. Suppose -b*v = -4*v + 8, -2*v + 898 = 5*z. Is z a composite number?
True
Let g(f) = f**2 - 6*f - 2. Let v be g