te number?
False
Let p = -2916 - -4173. Is p prime?
False
Let l = -14 - -7. Let j(p) = 3*p + 2. Let y be j(-5). Let o = l - y. Is o prime?
False
Suppose w - 376 = 70. Is w a prime number?
False
Let i(h) be the third derivative of 5*h**4/4 + h**3/6 - 10*h**2. Is i(3) a prime number?
False
Let d = 268 - 9. Is d composite?
True
Let m(t) = -t**3 - 6*t**2 - 4*t + 5. Let v be m(-5). Suppose v = 3*w + q - 11, 2 = -w - 4*q - 9. Suppose -d + 4*d - 61 = -5*b, -w*b = 4*d - 58. Is b prime?
False
Let n(y) be the first derivative of -y**4/4 - 4*y**3/3 + 7*y**2/2 + 7*y + 4. Suppose c + 1 + 5 = 0. Is n(c) a prime number?
True
Let u(v) = -v**2 + 2*v + 3. Let r be u(3). Suppose r*j - 5*j = -385. Is j a prime number?
False
Let r = 481 + -102. Is r prime?
True
Let j = -2 + 5. Suppose 5*u - 170 = -z - 0*z, j*u = -3*z + 90. Is u prime?
False
Let c = 34 + -16. Suppose 5*j - c = -y, -y + 2*j + j = -26. Suppose -y = -2*g + g. Is g prime?
True
Suppose 22*n = 11*n + 17831. Is n a composite number?
False
Let k = -11 - -2. Let i be 3/(-2) - (-3)/(-6). Let n = i - k. Is n prime?
True
Let j be (-2)/(-6) + (-3)/9. Let m be -1 + (2 - j) + 90. Let s = m - 14. Is s composite?
True
Suppose 2*w + 2*r = -84, -93 = -0*w + 2*w - r. Let f be (-9)/(-9) + 0 + -31. Let d = f - w. Is d composite?
True
Suppose 0 = 4*y + r + 29, 2*y - 5*r + 4*r + 13 = 0. Let z = -3 - y. Suppose 5*j - 647 = 4*n, -4*j - z*n + 214 = -282. Is j composite?
False
Let g(i) = i - 9. Let w be g(4). Let o(l) = -l**2 - 3*l + 7. Let c be o(w). Is 2/(-6)*c + 5 a composite number?
True
Let m(t) = -14*t - 6. Let n(j) = -4 - 7*j - 2*j + 0*j. Let u(z) = 5*m(z) - 7*n(z). Is u(-4) prime?
False
Let l = -598 - -908. Let h = -487 - -322. Let q = l + h. Is q a composite number?
True
Suppose 5*l + 2*q - 3*q = 0, q = -4*l. Suppose l = 3*s - 2*s - 973. Is s a prime number?
False
Suppose -3*w - 2*v = -4147, 2*w = v + 368 + 2392. Is w a composite number?
False
Suppose 3*t + 5*g = 2451, t - 3*g - 44 - 773 = 0. Is t a composite number?
True
Suppose -6 = -b - b. Suppose 0 = -b*l + 44 + 115. Let j = 38 + l. Is j a composite number?
True
Suppose 2*o + 5 = 15. Let l = o + -3. Suppose 0 = l*w - 3*w + 89. Is w a prime number?
True
Is 2595 - (-3 + 1)*2 a composite number?
True
Let z = 360 + 1. Is z a prime number?
False
Is 159*(-2 - -4)/(1 - -1) a composite number?
True
Let o(r) be the first derivative of -45*r**2/2 - 12*r - 2. Is o(-9) prime?
False
Let f = 35 - 85. Let s = 143 + f. Is s prime?
False
Let w(f) = 43*f**3 + 2*f - 1. Is w(2) composite?
False
Let t = -182 + 321. Suppose -2*r + t + 271 = 0. Is r prime?
False
Suppose 0 = -2*d + 5*d - 2*r - 7, 0 = 4*d + 3*r - 32. Suppose 2*z = -4*b + 156, -3 = 4*z + d. Let q = 62 - b. Is q composite?
True
Let d = 1618 - 685. Is d a composite number?
True
Is 1/(364/121 - 3) a prime number?
False
Let a be -5 - -5 - -2*2. Suppose -a*j - t - 4*t + 79 = 0, 4*t = j - 25. Is j a composite number?
True
Let w be 0 + -2 - -4 - 0. Suppose 0 = -3*m + w*m + 79. Is m a prime number?
True
Let z(h) = -h**2 + 4*h - 1. Let w be z(3). Is 51*(1 + w + -2) composite?
True
Let t = 83 - -6. Is t prime?
True
Let d(i) = -6*i - 5. Let t(p) = 7*p + 6. Let s(u) = 6*d(u) + 5*t(u). Let j be s(-5). Suppose j*r + 38 = 143. Is r prime?
False
Let j(d) be the first derivative of -d**4/4 + 3*d**3 + 4*d**2 + 11*d - 6. Is j(9) a composite number?
False
Let n(u) = u**3 + 6*u**2 - 4*u - 9. Let l be n(-6). Let o be (-1)/2 + l/10. Is (0 - o)/(2/(-22)) a prime number?
True
Let q = 31 - 91. Let a = q + 155. Is a a composite number?
True
Let p = 49 - 72. Let c = 60 + p. Is c a composite number?
False
Let r be ((-2)/4)/(1/(-36)). Suppose 0*k - 2*k + r = 0. Suppose 84 - k = 5*u. Is u a prime number?
False
Let c(h) = h. Let j be c(1). Let i = 5 + j. Is i prime?
False
Suppose 3*s - 4*a - 21 = 0, a = -4*a - 15. Let t = s - 7. Is (-1050)/t + 3/6 a prime number?
True
Let u(l) = -l**3 + 11*l**2 - 13*l + 12. Let w be u(10). Is 4265/45 - 4/w prime?
False
Let d = 0 - 0. Let c = 41 - -59. Suppose -i = 5*p - 64 - 55, 4*p + 2*i - c = d. Is p a composite number?
False
Let x(c) = 21 - 6*c + 15*c**3 - 35 - 27*c**2 - 19. Let t(y) = -7*y**3 + 13*y**2 + 3*y + 16. Let j(m) = 13*t(m) + 6*x(m). Is j(7) prime?
True
Let w be 19/6 + 1/(-6). Is 303 + (6/w - 0) a prime number?
False
Let k(g) = g - 9. Let d be k(7). Is (d/6)/((-6)/594) a composite number?
True
Let o(b) = -b**3 + 11*b**2 + 5*b + 3. Is o(11) a prime number?
False
Let o(p) = -2*p**2 + 3359. Is o(0) a composite number?
False
Let o(t) = -26*t**2 + 5*t - 2. Let x be 105/28 - 6/8. Let b(p) = -13*p**2 + 2*p - 1. Let l(y) = x*o(y) - 7*b(y). Is l(-1) a composite number?
False
Let u(l) = -25*l - 1. Let p(v) = -v - 17. Let j be p(-15). Is u(j) composite?
True
Let z(n) = -n**2 - 6*n - 4. Let j be z(-4). Let u be (1 - j)*115/(-3). Suppose -b = -6*b + u. Is b prime?
True
Is 4/(((-16)/44)/(-2)) composite?
True
Let u(h) be the second derivative of h**6/60 - h**5/40 - h**4/4 - 2*h. Let m(j) be the third derivative of u(j). Is m(2) prime?
False
Suppose 1 = -p + 4. Let i be (2/(-6))/(p/801). Let u = -64 - i. Is u a composite number?
True
Let o(q) = -9 - 3*q**3 + 8 - 3*q**2 - q**3 + q. Let m(f) = f**3 + 5*f**2 + 3*f + 12. Let v be m(-5). Is o(v) prime?
False
Suppose -4*m - 1410 = -2*s - 0*s, 0 = -2*s - 4*m + 1378. Is s a prime number?
False
Let g = 2 - -1. Suppose 0 = g*d - 132 + 39. Is d composite?
False
Let r(y) be the second derivative of y**4/12 - 7*y**3/6 + 7*y**2/2 - 2*y. Is r(-6) composite?
True
Suppose 0*a - 8 = 4*a. Let x be a*1 + 101/(-1). Let n = -18 - x. Is n composite?
True
Suppose -2*a - 2*g + 408 = 0, -2*a - 3*g = 2*g - 408. Suppose 0 = 3*j + a + 30. Is j/3*22/(-4) a composite number?
True
Let z(p) = 5*p - 83*p + 9*p - 89*p. Let n be z(-3). Let g = n + -209. Is g a composite number?
True
Suppose -4*y + 4*v = -1224, 5*y = -4*v - 510 + 1995. Is y a composite number?
True
Is (-202 + 0)*(-70)/28 prime?
False
Let j(w) = w**3 + 14*w**2 + 16*w + 16. Let g be j(-12). Let f = 447 - g. Is f a composite number?
True
Suppose 0 = 2*p + 4*u - 694 + 126, -3*p - 5*u + 856 = 0. Is (p - 1)*(-5)/(-15) a prime number?
True
Let m = -20 + 10. Is 1237/5 - (-4)/m a composite number?
True
Suppose -v - 4*u - 11 = -2*v, -v + u + 8 = 0. Let j = v + 8. Is j a prime number?
False
Suppose -4*r = -9*r - 25. Let o be (1 - -13) + r/(-5). Suppose 0*q = q - o. Is q a composite number?
True
Let s(f) be the first derivative of f**7/840 - f**6/72 + 7*f**5/120 - f**4/4 - 2*f**3/3 + 1. Let k(m) be the third derivative of s(m). Is k(4) a prime number?
False
Suppose 3*a - 2 = -4*m - 13, 0 = 3*a + 2*m + 1. Let b be -4*2/(24/(-27)). Is 10 + (b/a)/(-1) a composite number?
False
Let h(p) = 467*p**2 + 2*p + 2. Is h(-1) prime?
True
Suppose -3*a = -6*a - 4*i + 198, -2*a = 4*i - 128. Suppose 336 = 2*f - a. Is f a composite number?
True
Is (-9 + -4)*(-3 + 0) a prime number?
False
Let w be -2 + 23 + 2 - 2. Let f = w + 10. Is f prime?
True
Let l = 305 - 52. Is l composite?
True
Suppose v + v - 66 = 0. Is v a prime number?
False
Let u = 8 + 17. Is u composite?
True
Suppose 9*f - 4*f - 25 = 0. Suppose 0 = -2*u - 4*p + 238, -405 = -f*u - 3*p + 218. Is u a composite number?
False
Suppose 4*c + 4 + 6 = -3*q, 0 = -q + 3*c + 14. Suppose 0 = 3*u + q*u - 10. Suppose -u*b = 4*x - 90, 2*b + 5*x = 51 + 36. Is b composite?
True
Is ((-293)/2*-2)/1 a prime number?
True
Let x(y) = 8 - 6 + 4 - y. Let d be x(6). Suppose -5*r + 62 + 593 = d. Is r a composite number?
False
Let x(y) = -14*y**3 + y**2 - 3*y + 1. Suppose 0*p - 4*p = -3*f - 1, -5*f = -p + 13. Is x(f) a prime number?
True
Suppose 0*l = -l + 467. Is l prime?
True
Let x(h) = -h**3 + 16*h**2 + 20*h - 29. Is x(17) a prime number?
False
Let k(q) = -12*q**2 + 3*q + 10. Let y(v) = v**2 - 1. Let d(t) = -2*k(t) - 22*y(t). Is d(5) prime?
False
Is (-1111)/(-3) + (-8)/(-12) a prime number?
False
Let j(i) = 34*i**2 + 8*i - 11. Is j(5) prime?
False
Let r = -1 - -4. Suppose r*j + 4*y - y = 408, 2*y = j - 151. Is j prime?
False
Let a(y) = -3*y**3 + 2*y + 1. Let w = -4 + 3. Let b be a(w). Let j(t) = 2*t - 2. Is j(b) a prime number?
True
Let p = -5 - -8. Is (-598)/(-4) - p/6 prime?
True
Let w(q) = -2*q**3 - 2*q**2 - 4*q - 3. Let i = -16 - -22. Suppose 0*z = 2*x - 4*z + 20, -x + z - i = 0. Is w(x) composite?
False
Let c(q) = q**3 + 8*q**