j(y) be the second derivative of 2*y**4 - 2*y**3/3 + 7*y**2/2 + 2*y. Is j(3) prime?
True
Let w = 355 - -232. Is w prime?
True
Suppose 0 = 5*v + z + 824, 2*z = -3*v + 3*z - 488. Let k = 270 + v. Is k composite?
True
Suppose 2*z + 11 = -3*z + 2*j, 2*z = 2*j - 8. Is (1/z)/(3/(-66)) a prime number?
False
Let i(a) be the first derivative of -a**7/840 - a**6/360 + a**5/120 + 7*a**4/8 + a**3/3 + 4. Let l(k) be the third derivative of i(k). Is l(0) prime?
False
Suppose -2*f + 4*c = 16, -2*f + 4*c = 3*f + 22. Let b be 1/(-2)*40/f. Let l = -1 + b. Is l composite?
True
Let y(p) = -51*p - 2. Let j(k) = 17*k + 1. Let x(h) = -11*j(h) - 4*y(h). Is x(2) prime?
True
Suppose 11*v = 6321 + 2006. Is v a prime number?
True
Let d(r) = -r. Let o be d(-5). Suppose 0 = -o*s + 135 + 155. Is s a composite number?
True
Let a be -42*(-6)/8*2. Suppose -3*s + 62 = 5*h, 2*s - a = -2*h - 3*h. Suppose 5*g - 46 = -n, h = 2*g - 5*n - 0. Is g prime?
False
Suppose 4*i - i - 9 = 0. Suppose -2*d - i*d = -195. Is d prime?
False
Let z(n) = 24*n - 7. Is z(4) prime?
True
Let k = -5 + 8. Suppose -4*z - x = -599, -x = k*z - 5*x - 435. Is z a composite number?
False
Let j be -7 + 0 + 1/1. Let t be (j/5 - -2)*5. Suppose -m = t*d - 149, 39 = -3*d + 3*m + 147. Is d a composite number?
False
Let m be (1/2)/(3/948). Suppose -59 = -z - q + 17, -m = -2*z + 4*q. Is z a prime number?
False
Suppose -2*i - 4*c + 2074 = -6924, 3*c = 0. Is i a prime number?
False
Suppose -5*f = -25, 2*i + f - 540 = -f. Suppose -n - 4*n = -i. Is n prime?
True
Let b = 1 + 3. Suppose 0*w + b*w = 2692. Is w composite?
False
Suppose 119*z - 4604 = 115*z. Is z a composite number?
False
Let z(f) = 13*f + 36. Is z(11) prime?
True
Suppose 0*v - 5*v + 30 = 0. Let l be ((-1)/(-2))/(3/v). Is (l - 0)/(2/38) a prime number?
True
Let s be 1 - 1 - 205*30. Is 2/(-11) - s/66 a composite number?
True
Let t(f) = -f**2 + 19*f + 10. Suppose y + y + 4 = 0, 21 = 5*v + 2*y. Suppose g - 2*o = 12, -4*g + 41 = v*o - 7. Is t(g) a prime number?
False
Let h(i) = i + 10. Let r be h(-8). Suppose 3*z - r*s - 2 = 0, 0*s = -2*s + 4. Suppose x + 4*u = 131, -u - z*u - 632 = -5*x. Is x composite?
False
Suppose 3*v + 22 = -2*z, 7*v + 4*z + 36 = 2*v. Is (-196)/(-9) + v/(-36) composite?
True
Let q(i) = -i - 8. Let v be q(-7). Let d be v/(-2) + 45/6. Let c(r) = 19*r - 3. Is c(d) prime?
True
Let r(l) = 2*l - 7. Let z be r(5). Is 18/(-12)*(-22)/z composite?
False
Suppose 4*l - 2*l + 14 = 4*n, 5*n = -3*l + 34. Suppose -l*v - 6 = -84. Is (15/(-6))/((-1)/v) a composite number?
True
Suppose 5*w - 927 = 2*o, 2*w - 732 = -2*w + 4*o. Is w a prime number?
False
Let o = -3 - -2. Is (-2 + o)*(-5)/5 prime?
True
Let i = 2 + 7. Let o(w) = -3*w**2 - 23*w - 13. Let d(r) = -4*r**2 - 34*r - 19. Let y(f) = -5*d(f) + 7*o(f). Is y(i) a composite number?
True
Let x be (-4983)/22 - (-2)/4. Let f = x + 521. Is f a composite number?
True
Suppose 6*z - 2*z = 20. Let v be z*((-72)/(-15))/3. Is 2/((v/(-21))/(-4)) composite?
True
Let a be (10/8)/((-2)/(-8)). Suppose -26 = -u - u + a*o, 12 = -3*o. Let i = u - -16. Is i composite?
False
Suppose 2*n - 4*n - 2 = 0. Let r(l) be the third derivative of -l**4/3 - l**3/6 + 3*l**2. Is r(n) composite?
False
Suppose -7*k - 7*k = -28070. Is k composite?
True
Suppose 5*y = -3*u + 355, 3*y - 17 = 5*u - 586. Is u a composite number?
True
Suppose -30 = -5*j - 3*d, -j - 5*d + 16 = -4*j. Suppose -j*g + 400 = -8*g. Is (3 - 2)*(-1 - g) a composite number?
False
Let b(a) = -10*a**3 - a**2 + 6*a + 1. Let d(j) = -19*j**3 - 2*j**2 + 13*j + 2. Let o(q) = 13*b(q) - 6*d(q). Let s be o(1). Let t = s - -31. Is t a prime number?
False
Suppose 4*q - 674 = -166. Is q a prime number?
True
Let c = 3 + 0. Suppose c + 2 = -5*q. Is (q - -1) + (14 - 4) prime?
False
Let z(g) = -g - 1. Let t = 3 - 7. Let a be z(t). Suppose -a*r - 2*h + 274 = -h, 0 = r + 4*h - 95. Is r prime?
False
Suppose -1331 + 259 = -4*l. Suppose 4*w = 72 + l. Is w a prime number?
False
Suppose -26*j - 2794 = -28*j. Is j prime?
False
Suppose 370 = -3*l - 2*l. Is 4*(l/(-8) + 0) composite?
False
Let l(s) = s**2 + 9*s - 5. Let k(o) = -o**2 - 10*o + 6. Let u(m) = 5*k(m) + 6*l(m). Is u(-11) a prime number?
False
Let g(o) = -o + 2. Let q = -6 + 8. Let z be g(q). Suppose -4*s + 2*i + 2*i = -272, -3*s - i + 200 = z. Is s a composite number?
False
Suppose -z = -15 - 6. Let y = 44 - z. Is y composite?
False
Let p be 1 + 3 + 3 + -3. Suppose -p*v + 8 + 176 = 0. Is v prime?
False
Let d = -1540 + 2227. Is d composite?
True
Suppose -4 = -2*a + a. Suppose 7*z = a*z + 1065. Is z a composite number?
True
Let j(s) = -352*s + 11. Is j(-3) a composite number?
True
Suppose 0 = 3*b - 0*b - 57. Suppose b - 4 = -c. Let v = 21 + c. Is v a prime number?
False
Suppose 2*l + 2*s = 1808, 6*s + 884 = l + 3*s. Is l composite?
True
Let o be (-40)/(-6) + (-4)/6. Suppose -2*i + o*i = 76. Is i a composite number?
False
Let b(j) = 20*j + 9. Is b(5) prime?
True
Suppose 0 = 11*c - 7*c - 628. Is c composite?
False
Let v be 36/(-15)*(-30)/(-9). Let w be (v/3)/(1/(-3)). Let y(h) = h**3 - 6*h**2 - 11*h - 1. Is y(w) a prime number?
False
Is (3 - (-9084)/9)/((-3)/(-9)) a composite number?
False
Is 6/(-9) - (-538)/6 a prime number?
True
Let u(b) be the third derivative of -11*b**6/60 - b**5/60 + b**3/6 - 2*b**2. Is u(-1) a prime number?
False
Is 1 + 1842 + 1 + 3 a prime number?
True
Suppose 0 = -4*x + 65 + 191. Let q = x - -15. Is q prime?
True
Let v = -4 - -4. Suppose 2*f - 4*b - 62 = v, f - 2*f - 3*b = -51. Is f composite?
True
Let g(w) = 78*w - 1. Suppose 0*k + k - 1 = 0. Is g(k) composite?
True
Suppose -5*h - 4*n + 2083 = -7*n, 3*n = h - 407. Is h composite?
False
Let n be 2 + -1 - (-3)/1. Suppose 2 + n = y. Suppose -w = 2*w - y. Is w a prime number?
True
Let u = -4 - 4. Let z = -1 - u. Is z composite?
False
Let m(b) = 11*b - 7. Let s(q) = q + 1. Let h(u) = -m(u) - 3*s(u). Is h(-5) a prime number?
False
Let h be 2644/(-8) - 3/(-6). Let i = -119 - h. Is i prime?
True
Let v(w) = 84*w + 3 - 47*w + 73*w. Is v(2) prime?
True
Is 2/4 - 1*(-7530)/4 prime?
False
Suppose -20 = -2*p + 830. Let g = 156 + p. Is g a prime number?
False
Let m(z) = -z**2 - 6*z - 4. Suppose 4*w - 8 = 6*w. Is m(w) a prime number?
False
Let v(r) = 634*r**2 - 3*r + 2. Is v(1) prime?
False
Is ((-16688)/(-48))/((-2)/(-6)) prime?
False
Let y = 16 - 11. Let u be ((-9)/y)/(-3)*10. Is u/(-24) + (-1690)/(-8) prime?
True
Suppose -6*v + v = -15. Suppose -v*o + 0*o + 573 = 0. Is o composite?
False
Is (-6308)/(-10) + (-2)/(-10) prime?
True
Let i(p) = 3*p - 4. Let q(b) = b**2 + b. Let v(t) = -i(t) + 4*q(t). Is v(-3) prime?
True
Let f(g) = -35*g + 5. Let y be f(6). Is y/(-10) + 1/2 prime?
False
Let b be (-18)/3*4/(-8). Suppose -b*x = -2*d - 265, 5*d + 12 = 2. Is x composite?
True
Is 2/(-3) - 6110/(-30) prime?
False
Suppose 3*n = 7*n + 940. Is n/(-3) - (-10)/15 a composite number?
False
Let f(u) = -4*u**3 + u**2 + u**3 - 2*u**2 - 1. Suppose 0 = d - 5*d - 8. Is f(d) a prime number?
True
Is 15106/10 - 40/(-100) prime?
True
Let z(w) = 125*w + 9. Is z(8) a composite number?
False
Suppose 0*i + 1401 = 3*i. Is i composite?
False
Suppose n - 435 = -3*o, n = -3*n + 5*o + 1689. Is n/8 + 8/(-32) prime?
True
Suppose -5*k = 2*r - 47, 7 + 13 = -5*r. Let h = 20 - 18. Let m = h + k. Is m composite?
False
Suppose -3014 = -v - v. Is v a prime number?
False
Suppose -2*h - 5*q + 305 = 0, 0 = q - 0 + 1. Is h composite?
True
Suppose -4*c - 868 = 4*o, -4*c - 10 = 2. Let x(q) = 101*q. Let y be x(3). Let r = o + y. Is r prime?
True
Suppose -3*i = -i - 44. Is i prime?
False
Let p(k) = 3*k**2 + 2*k - 1. Let w be p(1). Suppose 105 = 2*z - g, -5*g - 96 = -w*z + 99. Is z composite?
True
Let j(l) = 2*l**2 - l + 3. Let c be j(3). Let t be (c/(-4))/(4/(-24)). Suppose 3*v = t + 39. Is v a prime number?
False
Is -1*(-474 - (-10)/(-2)) composite?
False
Let n = -987 + 1438. Is n a composite number?
True
Let s(u) = 20*u - 11. Is s(8) a prime number?
True
Let x(q) = q**2 + 2*q - 1. Let m be x(1). Let v(z) = 30*z**2 - z + 2. Let f be v(m). Suppose 0 = -3*w - w + a + 90, -5*w + 5*a + f = 0. Is w prime?
False
Is (-434)/21*(-246)/4 composite?
True
Suppose -22 = 4*z - 6. Is (97/z)/(2/(-8)) prime?
True
Let z(i) = 5*i**2 - 18*i + 7. Let q(h) = 4*h**2 - 17*h + 8. Let n(d) = -6*q(d) + 5*z(d). Let f be n(-13). Suppose -5*u + 2*u + 9 = f. Is u 