. Is s prime?
False
Let y(w) = 10*w**2 - 2*w - 67. Is y(-12) composite?
True
Suppose 19*v - 294222 = 392647. Is v a prime number?
True
Suppose g = 2*g + 5, -2*c + g + 13 = 0. Let v = c - 6. Is (-4)/(-8)*(v - -108) a composite number?
False
Suppose y + 4*u - 17949 = -2*y, 4*y - 23933 = -5*u. Is y a composite number?
False
Let m be 4/6 + -4*(-2725)/3. Suppose 0 = -2*b + m + 564. Is b prime?
True
Suppose 0*v - 6 = -3*v. Let w be 3/(v - (-676)/(-340)). Suppose 0 = 3*n - 192 - w. Is n a prime number?
True
Suppose 9*h = 23865 - 4974. Suppose 3*f - 5*z + z - h = 0, 0 = 4*f - 4*z - 2800. Is f a prime number?
True
Let g(t) be the third derivative of t**6/120 + 2*t**5/15 + t**4/6 + 7*t**3/6 + 5*t**2 + 7. Suppose -3*n - 34 = 5*q, -4*q - q + 4*n = 13. Is g(q) a prime number?
False
Let b be (3/(-3) - -2)*-53. Let u = -288 - b. Let c = u + 488. Is c a composite number?
True
Let i = -1382 + 1960. Suppose -p = 79 - i. Is p composite?
False
Let m(x) be the first derivative of -x - 45*x**2 + 0 + 2*x - 1 + 12*x**2. Is m(-4) a prime number?
False
Suppose -5*s = -0*s - 2*u, 5*u = -5*s. Suppose s = 2*n - 5*n. Suppose -2*v + v + 26 = n. Is v a prime number?
False
Suppose -2*u = -386 + 1740. Let q = 1280 + u. Suppose w - 1 = 0, -5*r + q = -4*w + 2*w. Is r prime?
False
Let h(g) be the second derivative of g**4/6 - g**3/2 + 2*g**2 - 4*g. Let o be h(-9). Let l = -111 + o. Is l a composite number?
True
Let i = 5 - 6. Let u be (-11 - -15)/(-4 + 2). Is ((-609)/(1 - u))/i a prime number?
False
Suppose k + 1895 = 6*k. Let q = k - 230. Is q a prime number?
True
Is 5 - (-5 + -1788) - (-4 + 3) a composite number?
True
Suppose 2*p - 4386 = -5*u + 30965, p + 28273 = 4*u. Is u a prime number?
True
Suppose 5*f - v + 24307 = -43673, 0 = 5*f + 3*v + 67980. Is f/(-15) + 3/30*6 prime?
True
Is ((-60)/(-10) - -7035) + (-3 - -1) a composite number?
False
Let a be 408/32 + (-1 - 15/(-12)). Let s(y) = 10*y - 19. Is s(a) composite?
True
Let x(q) = q + 3. Let h be x(-3). Suppose h = -2*f + 140 - 8. Is (-12)/f + 46/11 a composite number?
True
Let t(f) = -135*f + 298. Is t(-16) prime?
False
Let q(h) be the third derivative of -h**6/120 + h**4/24 + h**3/3 - 4*h**2. Let b be q(0). Suppose -2*v + 590 = 5*k, -2*v = v + b*k - 885. Is v prime?
False
Suppose 0 = -0*w + w - 12707. Suppose 5*l + w = -g, 0 = -2*l - 0*g - g - 5084. Let c = l + 3590. Is c composite?
False
Suppose -5 - 15 = -o. Let c = -25 + o. Is (2/7)/(c/(-6895)) composite?
True
Let t = 8625 - 6112. Is t a composite number?
True
Let v(l) = -821*l + 13. Is v(-6) a prime number?
False
Let z(x) be the third derivative of x**6/120 + 4*x**5/15 + x**4/3 + 2*x**3/3 + 5*x**2. Is z(-7) composite?
False
Suppose -11*d + 8*d + 52664 = 4*p, p + 4*d - 13179 = 0. Is p composite?
False
Let k(d) = -d**3 - 7*d**2 - 2*d + 70985. Is k(0) a composite number?
True
Let j(y) = 86*y - 117. Is j(7) a composite number?
True
Suppose 6*n - 13 + 1 = 0. Suppose s - 313 = -4*j + 341, -811 = -5*j + n*s. Is j a composite number?
False
Let m = 8 + -5. Let t(w) = 4*w**m + 13*w + w**3 - 5 - 11*w**2 - 4*w**3 + 12. Is t(10) prime?
True
Let k(s) = 6*s**2 - s - 17. Is k(-4) composite?
False
Let b be 17/4 + (-3)/12. Suppose -b*d - 3*k - 1447 + 576 = 0, -3*d + 2*k - 666 = 0. Let u = -123 - d. Is u prime?
True
Let j = 13 - 5. Let t(i) = -i**2 + 9*i - 11. Let k be t(j). Is 44/(5 - (k + 6)) a prime number?
False
Let l be ((-12)/5)/((-4)/30). Suppose 14*o - l*o + 2524 = 0. Is o prime?
True
Let r(d) = 5*d**3 + 3*d**2 - 3*d - 2. Let q be r(3). Suppose -q - 37 = -k. Suppose 0 = -c + k + 63. Is c a composite number?
False
Let i be (-12)/3*9/(-24)*4. Suppose 5*a = -3*x + 1352, 444 = i*x - 5*x - 5*a. Is x prime?
True
Suppose 14*s = 454615 + 60039. Is s a composite number?
False
Let n(j) = -2*j**2 + 4*j + 5. Let s be n(0). Let q(h) be the third derivative of h**6/15 - h**5/30 - 7*h**4/24 + h**3 + h**2. Is q(s) composite?
True
Let k(s) = 39*s**2 - 12*s - 1. Let c be k(3). Is (3 - (-5)/(-10))*c a prime number?
False
Let b(g) = -7*g + 4. Let m be -13*(-3 - -2 - -2). Is b(m) composite?
True
Let s(g) = 11*g**2 - 34*g - 46. Is s(21) a prime number?
True
Let s = 6273 - 3496. Is s a composite number?
False
Is -10*(-3 + (-1085)/10) composite?
True
Let f be ((-6)/(-5) + -2)/((-4)/(-10)). Let l(o) = -99*o**3 + o**2 + 1. Is l(f) a composite number?
False
Let l be 2 - 1 - (-9 - -1). Let c = l + -5. Suppose -c*o - 8 = 0, 3*o = -0*n + 2*n - 50. Is n a composite number?
True
Let a(y) = -5*y**3 + 7*y**2 + 25*y + 11. Is a(-6) composite?
False
Let t be (-8)/(4*-1) + 0. Suppose -o - 8 = -t*o. Suppose 2*p - 78 = o. Is p prime?
True
Let q = 2676 + 751. Is q a prime number?
False
Suppose -2*x = -4*f - 2688, 3387 = 4*x - 5*f - 1980. Let t = x - 781. Is t a composite number?
False
Suppose 4*s - n + 1797 = 11511, -2 = -n. Is s a composite number?
True
Let b(n) = n**3 - 9*n**2 + 10*n - 11. Let a be b(8). Suppose a*r = 8967 - 272. Is r a prime number?
False
Let u(q) = -q + 5. Let y be u(3). Suppose -y*g = 3*g - 165. Let h = g + -20. Is h prime?
True
Let i = 2 - 0. Suppose -4*a = 5*h + 12, -13 - i = -h + 5*a. Suppose 3*f - 115 - 134 = h. Is f prime?
True
Suppose 8*y = -7*y + 8265. Is y a prime number?
False
Let w(j) = -j**3 + j. Suppose a - 1 = -0. Let x(f) = -3*f**3 + 3*f**2 + 3*f + 4. Let c(v) = a*w(v) + x(v). Is c(-3) composite?
False
Let o(r) = 19*r**3 - 10*r**2 + 8*r - 19. Is o(12) a composite number?
False
Let x be (-4)/8*(-5 - (3 + -4)). Suppose 4*v + x*n - 3*n - 5429 = 0, v - 1355 = -2*n. Is v composite?
True
Suppose -4*p = -2*h - 5*p + 38060, -5*p = -2*h + 38048. Is h a composite number?
True
Let z = 25814 - 14701. Is z composite?
False
Let q(w) = 1586*w**3 + 2*w**2 - 4*w + 1. Suppose 19*r - 3 = 16*r. Is q(r) a prime number?
False
Is 7/(((-1)/2)/((-127242)/36)) a prime number?
False
Suppose 0 = -13*v + 78 - 0. Is -2*(v + -8)*502/8 composite?
False
Suppose -m + 5*y + 40 = 0, -2*y + 0*y = -4*m + 124. Suppose -5*l = -m + 5. Suppose -2*w + 2 = -4*w - l*n, -5*n - 14 = -w. Is w a prime number?
False
Is (-7876)/(-4) - (4 - 8) prime?
True
Let b(v) = 25*v**3 + 5*v**2 - 13*v + 17. Is b(2) a composite number?
False
Let p = 3506 - 2497. Is p a prime number?
True
Let i(v) = -v - 3. Let o be i(-7). Let y be 2/o + 707/14. Suppose -4*l - 43 = -0*j - 3*j, y = 4*j + l. Is j composite?
False
Suppose 0 = 9*w - 73 - 35. Suppose w*u - 11*u - 1709 = 0. Is u a composite number?
False
Let x = 104 + -100. Suppose -4*h = -2*g - 1270, h - x*g = -7*g + 328. Is h composite?
True
Let o be (-3 - -4)*1*-14. Is (-21)/o - (-2998)/4 a prime number?
True
Suppose -11*k = -320 - 263. Let r = k + 60. Is r prime?
True
Let l = 260 + -183. Suppose -l = k + 5*q - 2*q, -337 = 5*k + 3*q. Let r = 120 + k. Is r composite?
True
Let m(k) = 65*k**2 + 13*k + 15. Is m(-13) a prime number?
True
Suppose -v - 2*i + 532 = 0, 2*i + 1566 = 3*v - 2*i. Suppose v = -g + 3*g. Is g prime?
True
Let d(t) = 78*t**2 + 17*t + 7. Is d(-10) prime?
False
Suppose 3*h - 93 - 100 = 4*u, -5*u - 2*h - 270 = 0. Let s = -42291 - -16694. Is s/u + 6/8 composite?
True
Suppose 0 = -4*q + 651 + 533. Suppose 0 = 5*f + 30 - 55. Suppose 5*a + 3*w - 794 = 0, -5*a - f*w + 1096 = q. Is a prime?
True
Let b = -56 + 368. Suppose 0 = -k + 4*j + 241, -5*j + 66 - b = -k. Is k composite?
True
Let b(g) = g**2 + g - 2. Let r be b(2). Suppose -619 = -r*o - 111. Is o a prime number?
True
Let a = 32229 - 11188. Is a a composite number?
True
Suppose 3*c - 1967 = -5*w, w + 5*c - 423 = -12. Is w prime?
False
Let d(y) = 3*y**2 - y + 1. Let a be d(1). Suppose 2924 - 8414 = -18*l. Suppose -2*b + a*r + l = 0, -2*b - 2*b + 4*r = -616. Is b prime?
True
Let z be 1/(28/(-8) - -3). Let b be z/(-3) - 1460/(-15). Suppose b = d - 8. Is d prime?
False
Suppose -l - 4 = -3*l. Suppose 4*k = -2*p + 342, -l*p = -6*p - k + 649. Is p composite?
True
Is 959/(-137)*-1*16979 a composite number?
True
Let j be -1*(-2*463 + 4). Suppose -7*c + 16 = -3*c. Suppose -u + 943 = u - 3*g, -c*g = 2*u - j. Is u prime?
True
Let b(o) = -o**2 + 32*o - 113. Let x be b(28). Let f(w) be the third derivative of -131*w**6/24 - w**4/24 - w**3/6 - w**2. Is f(x) composite?
True
Let w(y) = 13*y**2 - 3*y - y + 2 - 14*y**2 - 2*y. Let j be w(-6). Suppose -l + j = -51. Is l prime?
True
Let l(k) be the third derivative of -k**6/120 - k**5/6 + k**4/6 + 2*k**3 - 