d = 3700 + -1653. Is d prime?
False
Let o = 22 - 3. Let m = -17 + o. Is ((-127)/m)/((-4)/8) composite?
False
Let a(z) = -z**3 + 6*z**2 + 6*z + 8. Suppose i - 4*q = -5, 4*i + 4*q = 44 - 4. Let u be a(i). Is u - 3 - (-5 - 408) prime?
False
Let o = 8934 + -4313. Is o composite?
False
Suppose 2*m + k - 11011 = 0, 0 = -0*m - 5*m - 4*k + 27526. Is m composite?
True
Let o = -30064 - -45137. Is o a prime number?
True
Let m be (0 + 2)*3/2. Let p(t) = -2*t**3 + t - 5*t**2 + t**m + 19*t**2 - 3. Is p(14) a prime number?
True
Let h be ((-4)/6 - (-44)/33)*-4197. Let f = h - -4197. Is f composite?
False
Suppose -5*b = j - 8, j - 11 = -4*b - 4. Suppose -5*g = j*l - 0*l + 15, g - 2*l - 10 = 0. Suppose k + 4*x - 75 = -g*x, 4*k = 3*x + 319. Is k prime?
True
Suppose -2849 - 2725 = -6*f. Is f composite?
False
Suppose 6*w + 6 = -0. Let t(s) be the second derivative of 5*s**4/3 - s**2/2 + 2*s. Is t(w) a composite number?
False
Let o(z) = 28*z**2 + z + 34. Is o(11) prime?
True
Suppose -5*z + 15 = -v, -6*z = -2*z + 3*v + 7. Suppose -2*g - m + z*m + 7 = 0, -3*g - m = -8. Suppose 2*h + 4*k - 222 = 0, g*k - 1 = 2*k. Is h prime?
True
Is 3627*1 - ((-20)/(-5) - 8) a composite number?
False
Let j(s) be the first derivative of 5*s**3/3 + 3*s**2 + 133. Let c = -2 - -9. Is j(c) a prime number?
False
Let l be (4 - 2) + -2 - 3. Is 41/(-2)*2*l prime?
False
Suppose -x - 12*a + 8*a + 12137 = 0, 0 = 2*x + 3*a - 24294. Is x composite?
True
Suppose -v + 330 + 409 = 0. Is v composite?
False
Suppose 13*a - 680493 = -20*a. Is a a composite number?
True
Let x = -6701 + 13434. Is x a prime number?
True
Let q(z) = z. Let v(a) = -14*a + 16. Let r(f) = -3*q(f) + v(f). Is r(-21) composite?
False
Let p be 4 - (3 - (4 - 1)). Suppose -2*i + p + 0 = 0. Is 2*46 - (0 - i) composite?
True
Let k(o) = 14*o**2 + 61*o - 239. Is k(16) prime?
False
Suppose 3*z + 12 = -z - 3*t, -3*z = -5*t - 20. Suppose 2*n - 3*l - 6 = z, 6 = 4*n + 3*l - 6*l. Let x(r) = r**2 + 221. Is x(n) a composite number?
True
Is 5884/5*20/(-16)*-2 prime?
False
Suppose -4*m = 2*u + 3416 + 7210, 4*u - 4 = 0. Let l = -1486 - m. Is l a composite number?
False
Suppose 3*f - 45112 = 5*t - 4*t, 0 = f - 3*t - 15040. Is f prime?
False
Suppose -l + m = 2869, 4*l + 11500 = -2*m - 0*m. Let f = l + 4146. Is f a composite number?
True
Suppose -4*r = 2 - 22. Suppose 41 = d + r*v, -99 = -4*d + 5*v - 35. Is d a composite number?
True
Suppose -1527 = -5*k - 2*c, -4*c + 290 = k - 1. Is k a composite number?
False
Let c(b) be the second derivative of 0 - 1/12*b**4 + 5*b - 11/2*b**2 - 5/3*b**3 - 1/20*b**5. Is c(-7) composite?
False
Let b be 6601/21*(2 + (-19)/(-1)). Let s = b - 3786. Is s a composite number?
True
Let y be (1 - -15)/(4/8). Let g be 244/(y/12 - 2). Let a = g + -209. Is a composite?
False
Let g(a) be the second derivative of -31*a**3/6 - 5*a**2/2 - 6*a. Is g(-4) composite?
True
Let o(h) = h. Let a(z) = z**2 + 2*z + 1. Let q(t) = -2*a(t) + 6*o(t). Let m be q(3). Let l(s) = -8*s - 19. Is l(m) composite?
True
Let j(h) = -h**3 + h**2 + 7*h + 8. Let s be j(-8). Let a be (s/(-5))/(5/(-25)). Is 3/15 - a/(-10) a prime number?
True
Let q(b) = b**3 - 14*b**2 + 2*b - 3. Let w be q(14). Suppose -w = -4*l - l. Suppose l*n - n - 28 = 0. Is n a prime number?
True
Let d = 2169 + -1756. Is d a prime number?
False
Suppose -14*x = -9*x - 5955. Is x a prime number?
False
Let x(s) be the second derivative of -s**5/20 + 2*s**4/3 - 7*s**3/6 + 2*s**2 + 6*s. Let c be x(7). Suppose -186 = -c*z + 458. Is z composite?
True
Let s = -336 - -1029. Suppose 0 = -3*z - 27 - s. Let n = z + 374. Is n a composite number?
True
Let q = -70 - -810. Let v = q - 73. Is v a prime number?
False
Is ((-320)/(-800))/((-4)/(-890)) prime?
True
Let l(b) = 275*b**2 + 118*b + 7. Is l(-6) prime?
True
Let d(h) = -1266*h + 595. Is d(-6) prime?
True
Suppose 5*w + 4*s - 3*s = 283535, s = -2*w + 113414. Is w prime?
False
Let l(i) = i + 9. Let p be l(-9). Suppose -d + 4*d = 3*y - 24, 3*d + 9 = p. Suppose y*f = 5*q + 1755, 0 + 20 = 5*q. Is f a prime number?
False
Suppose 13*q - 17*q + 39868 = 0. Is q composite?
False
Let q(z) = 209*z**3 + z**2 - 2*z + 1. Let k(o) = -o**3 - 4*o**2 - 4*o - 2. Let w be k(-3). Is q(w) a prime number?
False
Suppose 0 = 3*u + 9, -u = -m + 10136 - 920. Suppose -63807 = -12*k + m. Is k composite?
True
Suppose 8*y = -8*y + 691376. Is y prime?
False
Let h = 35841 + -22952. Is h prime?
True
Let d = -29 - -31. Suppose -v + 4*i = -373, -d*v + i + 255 = -526. Suppose 0 = 3*w - v - 90. Is w a composite number?
True
Suppose -918736 + 92164 = -12*w. Is w a composite number?
False
Suppose 10 = -2*h - 22. Let w = 19 + h. Suppose 4*p + 2*s = 1180, p - 273 = w*s + 2*s. Is p prime?
True
Let z = 3322 + -1911. Is z a prime number?
False
Suppose -14 + 2 = -4*t. Let z be 0 + 1460 - (-5 - -5)/6. Suppose -t*c + 697 = -z. Is c composite?
False
Let p(q) = 213*q**2 - 3*q - 5. Let h be p(-3). Suppose 6*m - h = 5993. Is m a prime number?
True
Let j = 29 + 470. Is j a composite number?
False
Suppose 0 = -96*k + 90*k + 93516. Is k prime?
False
Let p = -84778 - -154073. Is p composite?
True
Suppose 4*u = 2*u + 18. Let l = u - 9. Suppose l*n + 230 = 2*n. Is n a composite number?
True
Let r be (-38)/285 - 844/(-30). Let t = -28 + r. Is (13 - 28)*(t - 1) a composite number?
True
Suppose 0 = -4*o + 5*t - 36, 0 = 5*o - 2*t + t + 24. Is (17790/(-9) + -8)/(o/6) composite?
True
Let r be 4861 + 1 - 4 - 3. Suppose 0 = -5*i + i - 3*t + 3880, 5*t - r = -5*i. Is i a prime number?
True
Suppose 58*z - 3376 = 54*z. Suppose -u + 68 + 143 = -4*h, 4*u + 2*h = z. Is u a prime number?
True
Let f(p) = 24*p**2 - 51*p + 352. Is f(7) a composite number?
False
Suppose -2*k + 5 = -9. Suppose -2*z = -k*z + 2775. Suppose -3*u + z = -0*u. Is u prime?
False
Suppose 5*w = -2*s + 14, 3*s + 7 = -2. Is ((-6)/w)/(48/(-3776)) a prime number?
False
Let d(p) = -133*p + 110. Is d(-29) prime?
True
Let t(l) = 19*l**2 - 5*l + 3. Let z be t(-4). Suppose 170 = n - z. Is n a prime number?
False
Let n = 17 - 13. Suppose 3007 = 3*j + 2*l, -l = n*j - 0*l - 4011. Is j prime?
False
Is (2/(-20))/(21/(-1843590)) composite?
False
Suppose 7*a - 6*a = 30. Let g = 20 - a. Let s(j) = -33*j - 13. Is s(g) a composite number?
False
Let f = -19 + 2. Let t = -16 - f. Let d(u) = 202*u + 1. Is d(t) composite?
True
Let b = 41 + -39. Is (33 - -277) + 2*(-3)/b a prime number?
True
Let p(r) = -854*r - 285. Is p(-34) prime?
True
Suppose 0 = 2*q - 3*q + 5. Suppose -s + 84 = q. Is s a composite number?
False
Let j(r) = -r**3 + 9*r**2 + 12*r - 13. Let f(z) = 2*z - 16. Let l(h) = 3*h - 17. Let k be l(10). Let i be f(k). Is j(i) prime?
True
Let c(m) = -m**3 + m - 8. Let q be c(0). Is 4/q*(-5)/(10/652) a composite number?
False
Suppose -h - 4*d - 8 = -0, 28 = 4*h - 4*d. Is (-557)/h*(-6 + -2 + 4) a prime number?
True
Let t be 11 + (4 + 0)/(-1). Let n(f) = 156*f + 25. Is n(t) prime?
True
Is -5 - (-56818 + 24/(-4)) composite?
True
Let n(h) = 5*h**2 - 7*h + 5. Suppose 0 = -2*z - 3*z + 145. Suppose -z = 3*s - 5. Is n(s) prime?
False
Suppose 3*g + 2*g - 25 = 0, -p + 5*g + 136 = 0. Is p prime?
False
Let x(a) = -102 - 38 - a - a. Let k be x(0). Is (k/30)/((-2)/6) composite?
True
Suppose -3*p + 4*p + 302 = 0. Let l = 151 + p. Let g = -40 - l. Is g composite?
True
Let n be 3*(64/6)/(-4). Let g = n - -10. Is (1 - 2)*(g + -69) prime?
True
Let p = 1151 + 758. Is p composite?
True
Let z(w) = 13 + 0*w + 5*w - 10*w - 11*w. Is z(-15) a prime number?
False
Let m = -8406 - -17741. Is m a prime number?
False
Suppose -108825 = -28*r + 10763. Is r a composite number?
False
Let w be (-45)/(-6) + 2/4. Let d(l) = -4*l**2 + 1 - w*l + 0 + l**3 + 7 - 2. Is d(7) composite?
False
Let g(l) = l**2 + 10*l + 11. Let m be g(-9). Let i(u) = -u**3 + 11*u**2 - 5*u + 3. Let c be i(7). Is 2 + (c*m - -1) prime?
True
Suppose 2425 = 6*i - i. Let m be i*1/10*4. Suppose -2*d + 228 + m = 0. Is d a composite number?
False
Suppose 0 = -2*h + 3 + 7. Suppose 25*f = 29*f - 5840. Suppose -h*l + l + f = 0. Is l prime?
False
Let j = 32 - 29. Suppose r = -j*f + 4600, -3*f + 5989 = 2*r + 1394. Is f prime?
False
Let n be (-2)/(-8)*4 - -3. Suppose 0 = -4*t - 20, 4*x - 3*x - 299 = -n*t. Is x a prime number?
False
Let d(n) = -281*n**2 + 3*n. Let t be d(3). Let s = -1669 - t. Is s a composite number?
True
Let s(y) = 8*y + 1. Let h be