13 + 15. Let v be -9*b/(-12)*10. Suppose -5*x = v, 0*n + x = -n + 548. Is n prime?
False
Suppose k - 5*w - 19846 = 0, 8*w = -2*k + 4*w + 39622. Is k a composite number?
True
Let v(f) = 4100*f + 4. Let l be v(2). Suppose -3*u - u + l = 0. Is u prime?
False
Let i(w) = -7*w + 3. Let r be i(-11). Suppose x - 276 - r = -3*k, -1376 = -4*x + 4*k. Is x composite?
False
Let s = 13262 - 2949. Is s a composite number?
False
Let q(w) be the third derivative of 0 + 17/20*w**5 + 1/24*w**4 + 3*w**2 - 1/6*w**3 + 0*w. Is q(1) prime?
False
Suppose -17*n - 5*f = -20*n + 7343, -12185 = -5*n - 5*f. Is n composite?
False
Let k = 42 - 39. Let r(y) = 112*y**3 + 4*y**2 + 1. Is r(k) a prime number?
True
Let a = -24129 + 41816. Is a a prime number?
False
Let b be (-6)/14 + 9/21. Suppose -4*j - 9 = -4*q + 3*q, -5*q + 2*j - 9 = b. Let l(r) = -10*r + 1. Is l(q) composite?
False
Let a(j) be the first derivative of 7*j**4/4 - 5*j**3/3 + 2*j**2 - 6*j - 7. Let k be a(3). Let f = 109 + k. Is f composite?
True
Let d be (9220/(-50))/(3/15). Let s = d - -1991. Is s a composite number?
False
Suppose 48115 + 43767 = 14*v. Is v composite?
False
Let s(r) = -178*r**3 + r + 2. Let c = 27 + -28. Is s(c) composite?
False
Let q be 3 - (3 + (-6)/2). Suppose 3*c + 5*t = 6615 - 467, -2*c = -q*t - 4105. Is c prime?
False
Let v(q) = -2*q - 29. Let i be v(0). Let u = 156 + i. Is u a prime number?
True
Let c(b) be the first derivative of 23*b**3/3 + b**2/2 - b + 2. Let i be (0 - -2)*(-1 - 0). Is c(i) prime?
True
Is (4/6)/(-4 - 10750/(-2685)) composite?
False
Let h = -16 - -17. Suppose 5*r - h = 24. Suppose r*p = -u - u + 1249, 0 = -2*u - 6. Is p prime?
True
Suppose 4*g - 5*s = 326022, 4 + 0 = -2*s. Is g composite?
True
Let k(r) = -150*r + 7. Let i be k(3). Let m = i + 654. Is m a prime number?
True
Let z(p) = p + 5. Let v be z(6). Let r(j) = -j**3 + 12*j**2 - 4*j + 5. Is r(v) a prime number?
False
Let f(o) = 58*o**3 + 6*o**2 - 3*o - 9. Let p be f(4). Suppose -2*m - m - 2*j + 5709 = 0, -2*m = -5*j - p. Is m a prime number?
True
Suppose -3*a = h + 2*a - 23, -20 = -h - 4*a. Let q be h/36 - 32/(-18). Suppose q*y = -3*y + 445. Is y prime?
True
Is (0 + 8/24)*60609 composite?
True
Suppose q + 123 = g, 0*q + 2*q = -4*g - 252. Suppose 12*f - 9*f = -3. Let u = f - q. Is u a composite number?
True
Let o(r) = 2*r**3 - 11*r**2 + 11*r - 13. Suppose -l = 4*x - 32, 4*x + 0*l - l - 24 = 0. Is o(x) a composite number?
False
Let g = 20681 + -9960. Is g prime?
False
Suppose 0 = x - 5*x. Suppose 2*i + f + 3 = x, -1 = 2*f + 1. Let j(t) = -222*t**3 - t. Is j(i) a prime number?
True
Let k(j) be the first derivative of -j**2/2 - 3*j + 4. Let w be k(-8). Suppose 0*i = -4*h + 4*i + 432, 561 = w*h + 2*i. Is h composite?
True
Let j(f) = -2*f + 7*f + f**3 - 6*f**2 - 1 - 6*f + 13*f**2. Is j(-3) prime?
False
Suppose 13*r + 10301 = 50484. Is r a composite number?
True
Suppose -33 = -f - 30. Suppose -f*a + 742 = z, 5*a - z - 2*z = 1232. Is a a prime number?
False
Is (6747/6)/((-3)/(-6) - 0) a composite number?
True
Suppose 12798 + 42138 = 9*j. Let c = j - 1809. Is c prime?
False
Let v = -23 - -15. Let b = v + 15. Is 74*2/(4/b) a composite number?
True
Suppose -2*k + 3*s = -23 - 27, -2*k + 34 = 5*s. Let v = 155 - k. Is v a prime number?
False
Let p(v) = -99*v - 197*v - 48 - 121*v + 38*v. Is p(-5) a prime number?
True
Let j be 3/((-9)/6) + -2 + 2. Is 445 - (j + 2)*(-4)/(-8) prime?
False
Let y = -14 + 5769. Is y a prime number?
False
Suppose -u - 2*b = -7893, -10*u + 15777 = -8*u - 5*b. Is u a prime number?
False
Suppose -y - q + 3 = 2*q, 5*y - 15 = 5*q. Is 667 - (-5 + (y - 2)) a composite number?
True
Let b(q) be the first derivative of 4*q**4 - 5*q**3/3 + q**2 - 11*q - 38. Is b(4) a prime number?
True
Let c(j) be the second derivative of -3*j - 3/2*j**2 - 1/6*j**3 + 0 + 5/2*j**4. Is c(4) a prime number?
False
Let f(q) be the first derivative of q**4/12 - q**3/6 + 205*q**2/2 + 2*q + 3. Let m(j) be the first derivative of f(j). Is m(0) composite?
True
Let d = 8735 - -8958. Is d a composite number?
True
Let p(r) = r**3 + 4*r**2 + 2*r + 1. Let c be p(-3). Suppose 3*n + 6459 = c*n + 2*v, n + 4*v - 6451 = 0. Is n prime?
False
Suppose x - 5 + 19 = 0. Let z be x/(-77) + 40/22. Suppose o - 2*m = 249, z*o = 5*m - 65 + 562. Is o a composite number?
False
Is 47830/30*(0/(-3) - -3) prime?
True
Let p = -113 + 212. Let z = 178 - p. Is z composite?
False
Let o(r) = -3*r**3 + r**2 + 6*r + 14. Is o(-6) a composite number?
True
Let f(h) = -h**2 - 6*h + 3. Let p be f(-5). Let m(i) = 3*i**3 - 12*i**2 - 2*i + 19. Is m(p) a prime number?
False
Suppose 5 = 5*t - 5. Suppose 4*g - 2*w = -7*w + 10, 0 = -t*g - 5*w. Suppose 151 = g*i - x - 482, 4*x - 643 = -5*i. Is i a prime number?
True
Is (-1 - (-10)/6)*8223/2 a composite number?
False
Let z(f) = f**2 - 7*f + 2. Let a be z(6). Is a - (-4 + -1) - -34 composite?
True
Suppose 4*c = 1242 + 42. Is c a composite number?
True
Let j(f) = 3*f + 11. Let c(o) = -7*o - 21. Let b(n) = 2*c(n) + 5*j(n). Let v be b(-10). Suppose 0 = v*k + 4*r - 203, 8*k + r - 327 = 3*k. Is k a prime number?
False
Suppose 4*w = 2*f - 0 + 2, -2*w + 28 = 2*f. Let a be (6/f)/(2/15). Suppose -g - 4*l - 5 = 0, -a*g + 3*l + 21 = -0*g. Is g composite?
False
Suppose k = -k + 4. Suppose 0 = -5*u + 2*v - 4, 0*u = k*u - v + 2. Suppose t - 4*t = -d - 109, u = -t - 4*d + 45. Is t a prime number?
True
Let y(l) = -38*l + 61. Is y(-5) a composite number?
False
Let a(m) be the first derivative of m**5/20 - 3*m**4/4 + 11*m**3/6 + m**2/2 - m + 3. Let d(k) be the first derivative of a(k). Is d(10) composite?
False
Is (12 + 294/(-24))*-541324 a composite number?
True
Suppose 4*k - 4*p + 6*p - 108 = 0, 4*p + 84 = 4*k. Is (-592)/(-10) - 5/k composite?
False
Is (-72)/(-120)*240190/6 composite?
False
Suppose 3*n + z = 10, -2*z = 4*n - 0*n - 16. Suppose -12 = -2*u - 0*d + n*d, -4*d = 2*u + 6. Suppose 2*c - u*c = -31. Is c composite?
False
Suppose -4*l + 23 = 5*c - 11, 5*l + 2*c - 34 = 0. Is (-4336)/(-12) - 2/l a prime number?
False
Let y(w) = -11*w**3 + 7 - 2 - 3*w - 2*w**2 + 13*w**3. Let b be (23 - 19) + 1 + -1. Is y(b) a prime number?
True
Let i = -26 + 11. Let m be 3/i + 33/15. Suppose m*u = -2*u + 4*z + 1168, 0 = 4*u - 5*z - 1173. Is u composite?
True
Suppose 59*d + 3791 = 60*d. Is d a composite number?
True
Let m(c) = -106*c**2 + 4*c - 6. Let k be m(4). Is (-12)/(-48) - k/8 a composite number?
False
Suppose 183*o + 5844 = 187*o. Is o a prime number?
False
Suppose -5*p + 10 = -3*p. Suppose -p*g + 6*g = 1915. Is g a composite number?
True
Let c(v) be the first derivative of v**3 + v**2 + 24. Is c(7) composite?
True
Let v be (-4)/(5/((-9615)/2)). Is 12/(-9)*v/(-8) prime?
True
Is (1/(-5))/(4*(-9)/4973580) a prime number?
True
Is 6799 - (-6 - (3 + -5)) a prime number?
True
Suppose 5*q = -y - 12 - 4, -y = 3*q + 8. Suppose y*b + 5*p = 1016, -3*b + 4*p + 731 = -0*b. Is b prime?
False
Is 598206/182 - (-4)/26 composite?
True
Let z(s) = 5*s**2 - 6. Let j(i) = i**2 - 1. Let d(f) = 6*j(f) - z(f). Let r be d(0). Suppose r*v - v + 553 = 0. Is v a composite number?
True
Suppose 16*u + 2*i = 18*u - 13034, 3*i - 32617 = -5*u. Is u a prime number?
True
Suppose 0 = 3*h - 3 - 3. Let k(c) = 123*c**2 + 3*c - 1. Is k(h) a composite number?
True
Let f be (-52)/3 + (-4)/(-3). Let m be (-18676)/f - (-1)/(-4). Suppose -259 - m = -2*u. Is u a composite number?
True
Let d be (-36)/(-10) - 3 - 12/20. Suppose d = -6*n - 4443 + 16545. Is n prime?
True
Suppose 0 = -101*n + 98*n + 3. Is ((-27702)/(-12) - 3) + n/(-2) composite?
True
Suppose 3*y = 3*j, -3*y - 3*j + 0*j + 24 = 0. Suppose -y*l + 656 + 172 = -z, -4*z = 4*l - 808. Is l prime?
False
Let h(f) = 4*f**3 - 6*f**2 - 3*f - 3. Let k be h(5). Suppose 0 = -x + 4*w - k, x + 0*w = -2*w - 350. Let n = -199 - x. Is n a composite number?
True
Let x be (-54)/6 + (0 - -1). Let j be 54/24 + 2/x. Let g(l) = 15*l**2 + l - 4. Is g(j) prime?
False
Is 6 - 2173*(7 - 8) composite?
False
Suppose 15*o - 45*o + 193710 = 0. Is o a composite number?
True
Let s = -16 + 19. Suppose -166 = n - s*n. Suppose 7*g - 6*g = n. Is g composite?
False
Suppose -2*c + 40 = -8. Suppose 5*o + 11 - 1 = 0. Let b = c - o. Is b a composite number?
True
Let n = -67669 - -125972. Is n a composite number?
True
Suppose 5*o - o = 12. Let h(g) = 3*g + 6 - 3 + 2*g**o + 0 + g**3. Is h(3