, 0 = 4*a - 2*x - 4548. Is a a prime number?
False
Suppose -4*w = -k + 11779 - 664, 2*k - 4*w - 22222 = 0. Is k composite?
True
Suppose p + 6 = -0*p. Let r be (24/(-9) + 2)*p. Suppose -r*k = -5*z + 399, 2*z = -k - 3*k + 182. Is z composite?
False
Let y = -814 - -3423. Is y a composite number?
False
Let t(n) = 40102*n**3 + 3*n - 4. Is t(1) composite?
True
Let w(x) = x**3 + x**2 + 4. Let c be w(0). Suppose -3*b + 3*k = 78, -2*b - 37 = 5*k - c*k. Is (-92)/(-12)*b/(-1) composite?
True
Suppose 0 = u - 4*v - 10083, 5*u - 128*v = -123*v + 50400. Is u a prime number?
True
Suppose -37836 = -5*i - 4411. Suppose -13*w + i = -6*w. Is w a prime number?
False
Let s(u) be the second derivative of 131*u**3/3 - 5*u**2/2 + 10*u. Is s(4) a prime number?
False
Suppose -23*a = -35315 - 4728. Is a a prime number?
True
Let y(h) = -656*h - 9. Is y(-17) prime?
False
Let m = 13 - 11. Suppose -g - 299 = b + 15, -b - m*g = 319. Is b/(-21) + (-6)/(-21) composite?
True
Let t(g) = 20*g - 32*g + 95*g**2 + 13*g. Let a = -3 - -2. Is t(a) a prime number?
False
Let f(i) = i**3 + 8*i**2 + 10*i + 14. Let y be f(-6). Suppose y*k - 2292 = 20*k. Is k a composite number?
True
Let v(b) = -3*b + 64*b**2 - 10*b**2 + 1 - 33*b**2. Is v(2) prime?
True
Let a(w) = 21*w**2 - 25*w - 111. Is a(52) composite?
False
Let p = -11 - -25. Suppose 2 = -5*u - 4*c - 5, 0 = -4*u + 5*c + 19. Let w = p + u. Is w prime?
False
Let w = 73 - 74. Let k(h) = -4206*h + 5. Is k(w) a composite number?
False
Suppose -2*v = 3*y - 0*v - 167249, y + 5*v = 55754. Is y composite?
True
Let a = -289 + 949. Suppose 4*j + 1325 = 8*j - 3*s, -2*s - a = -2*j. Is j composite?
True
Let g(y) = -2*y**3 - 5*y**2 - 4. Let i be g(-3). Suppose i*j = -2*n + 4691, n - 1464 = -j + 874. Is n composite?
False
Let q(p) = 7*p**2 + 2*p + 3. Let l be q(3). Suppose -l = -5*a + 113. Is a a prime number?
True
Suppose -4*k + 6 + 4 = 2*m, 5 = 3*k + 2*m. Suppose -4*t - 4 + 20 = 0. Suppose -u = -k*s - 370, 1405 = t*u + 3*s + 2*s. Is u composite?
True
Suppose c = -4*y + 20358, 32*c - 27*c - 101670 = 4*y. Is c a prime number?
False
Let s(a) be the third derivative of 2*a**5/3 - 5*a**4/24 + 5*a**3/6 - 10*a**2. Is s(2) a prime number?
False
Suppose -k = 4*d - 0*k + 9963, -d = -2*k + 2484. Let w = d - -1613. Let y = 1920 + w. Is y a prime number?
False
Is 34/85 + 798459/15 a composite number?
False
Let t = 16 - 16. Suppose t = -2*b + 6, 2*b - 5*b + 7746 = 3*i. Is i composite?
False
Suppose 20068 - 91141 = -9*b. Is b a prime number?
False
Let b(c) = 2*c**2 + 2*c + 1. Let p be b(-1). Let r be 2 + -4 + p + 4. Suppose -3*t + 606 = r*m, -5*t = -4*m - 4*t + 808. Is m composite?
True
Let a = 20 - -2. Suppose -3*s - 2*n = s - a, 2*s - 3*n - 15 = 0. Suppose -s = 3*y, u - y - 41 = 3*y. Is u a prime number?
False
Suppose 0 = r - 33 + 28. Suppose r*o = o. Suppose 2*s + 350 - 1612 = o. Is s composite?
False
Let g(c) = -4*c - 2*c + 100*c**2 - 2 + 2*c + c. Is g(3) composite?
True
Let q = -1527 + 4360. Is q prime?
True
Suppose -15*c - 2146 = -14*c. Let t = 1615 - c. Is t composite?
False
Let a = 95 - 152. Let v = 404 + a. Is v prime?
True
Is (-4 - (0 - 3))*(14 - 933) a prime number?
True
Let a = 50 - 53. Let k(w) = -31*w**3 - 2*w**2 - w - 1. Is k(a) prime?
True
Let w = 5 + -3. Suppose w*g - 2*u - 772 = -2*g, g - 195 = u. Is g a prime number?
True
Let u(y) = -y + 1. Let k be u(-1). Suppose -5*o + 46 = 4*r, 2*o + 32 = 2*r + k*r. Suppose 5*c - 2*b = b + 286, 3*b - r = 0. Is c a composite number?
False
Let m(g) = -g**2 - 7*g - 17. Let x be m(-5). Let s(j) = -73*j - 18. Is s(x) composite?
True
Let t(x) = 6*x + 3*x + 3 + 4*x - 3*x. Is t(5) a composite number?
False
Let i(g) be the third derivative of -5*g**4/3 - 7*g**3/2 + 8*g**2. Is i(-11) composite?
False
Suppose 0 = -2*j - 0*j + 8. Is (j - -2123)*((-12)/(-9) + -1) a composite number?
False
Suppose 0 = -60*g + 58*g - 52. Is (-4*3/(-18))/(g/(-43797)) a composite number?
False
Suppose 0 = -4*j + 2*a + 60, -4*j - 5*a + 12 = -20. Suppose -j*q + 1221 = -2*q. Is q prime?
False
Let u(l) = -548*l - 5. Let s(p) = -p. Let c(q) = s(q) + u(q). Let j be c(-3). Suppose -4*v = 5*z - j, 4*v + 4*z = v + 1231. Is v composite?
True
Suppose 0 = -i + 3*i - 8, -u = 5*i - 26. Suppose -u*k + 4 = -5*k. Is k a composite number?
True
Let t = -175 + 251. Suppose -4*x + 288 = -t. Is x composite?
True
Let h(t) = -t**3 - t - 1. Let c be h(-1). Let z be c + (-5)/((-5)/3). Suppose -5*m = -z*v - 165, -m - 2*v = -3*m + 64. Is m prime?
True
Let d be 510 - (18/3 + -1). Let n = 1062 + d. Is n prime?
True
Suppose -189 = -y - 49. Suppose -148 - y = -3*x. Let n = 71 + x. Is n a prime number?
True
Let b(f) = 2*f - 5. Let c = 14 - 7. Suppose c*a - 11*a = -40. Is b(a) composite?
True
Is 2/8 - (-239230)/40 a prime number?
True
Suppose 2*i - 12*i = 4*p - 122022, -61021 = -5*i + 3*p. Is i composite?
False
Suppose -9*x + 385959 - 75738 = 0. Is x a prime number?
True
Suppose -4*v + 15314 = 2*t, 5*t = 2*v + 2*v - 15349. Is v composite?
True
Suppose 0 = 2*v + 4*a + 2, -a - a = 3*v - 17. Suppose 0 = v*k - 3*k - 2682. Is k a composite number?
True
Let u(y) be the third derivative of -y**4/24 + 7*y**3/3 + 11*y**2. Let a be u(5). Is (-3)/a - (-1936)/12 a composite number?
True
Suppose 5*a = 64475 + 57710. Is a composite?
True
Let h be (-4)/(-3) - (-160)/15. Is (-1*2)/(h/(-2634) - 0) a composite number?
False
Is (6 - 2)*(1 - 16286/(-8)) a prime number?
True
Let s be 21776/(-22) + 4/(-22). Let v = s + 3085. Is v a composite number?
True
Let p(b) = -27*b**2 + 38*b + 19. Let g(f) = 18*f**2 - 25*f - 13. Let c(k) = 8*g(k) + 5*p(k). Is c(8) composite?
False
Let p(y) = -13739*y. Is p(-1) prime?
False
Let x(a) = 4 - 30*a - a**2 + 25*a + 4. Let s be x(-6). Suppose s*y - 2*t - 1050 = 0, t = -4*y - t + 2112. Is y a prime number?
False
Suppose -3*l - 6 = 6, 0 = 2*j + 2*l - 8646. Is j prime?
True
Suppose 3*f = -2*f - 11595. Let g = -922 - f. Is g composite?
True
Let o(q) be the third derivative of -q**6/120 - q**5/15 + q**4/6 - q**3/3 - 4*q**2. Let v be o(-5). Is -3 + v + 209 - -2 a composite number?
False
Let d be 2/(-13) + 6478/26. Let h be 1/6 - d/(-18). Suppose 9 + h = m. Is m prime?
True
Suppose 42 = 2*n - 4. Let g = n + 8. Is g composite?
False
Suppose -o - 1 = -y - 4*o, -3*o = 5*y - 17. Suppose -17 + 9 = -y*t. Suppose -4*m + 1168 = -4*v, t*v = 5*m - 269 - 1194. Is m composite?
False
Let k(n) = -3*n**3 - 3*n**2 - 6. Let p be k(-10). Suppose 15*v = 9*v + p. Is v composite?
False
Let l = -67396 + 96923. Is l a prime number?
True
Suppose -2*y - 713 = -r - 0*r, -3*y - 716 = -r. Suppose 0*q - r = -q. Is q a composite number?
True
Let q = 7371 + -1990. Is q composite?
False
Suppose -n + 4*d = -27, -n + 2*d = 2 - 19. Suppose 5*y + 5*k - 5 = 0, -n*k + 3*k + 1 = y. Let x(z) = 584*z**3 - 1. Is x(y) a prime number?
False
Suppose 0*h = 3*p + 4*h - 519, 865 = 5*p + 5*h. Let i be (-6)/(-14) - (-32)/7. Suppose i*u + p = 1458. Is u a composite number?
False
Let k(q) = -485*q + 9. Let w(r) = -r + 1. Let c(a) = k(a) + 4*w(a). Is c(-2) a composite number?
False
Suppose -q - 3*a - 79 = -19, 0 = 3*q - 3*a + 180. Let t be ((-16)/(-10))/((-24)/q). Suppose f = -0*f + t*w + 761, -5*f + 3736 = 3*w. Is f a composite number?
True
Let b be (-5)/15 - (-223)/3. Let s = 87 + b. Is s composite?
True
Let i(o) = -2*o**2 - 32*o + 37. Let u be i(-17). Suppose -u*v - 7075 = -8*v. Is v a prime number?
False
Let u be (-5 + 2)/(3/9 + 0). Is (2 - (-345)/u)*-3 a composite number?
False
Let m be 4383/(-12) + (-4)/(-16). Let h = m + 1434. Is h prime?
True
Let v(r) = -149*r - 18. Let p be v(-2). Suppose 0 = -2*l + p + 2374. Is l composite?
False
Let m = 795 + -346. Is m composite?
False
Let r be 15/9*6/5 - -12. Suppose 4 = 2*u + r, i - u = 1410. Is i a composite number?
True
Let r = 7339 - 2008. Is r composite?
True
Let q(b) = -21*b + 6. Let c be q(-3). Let z = -44 + 66. Let t = c - z. Is t a prime number?
True
Suppose 0 = -5*l + 5*c + 28 + 12, 3*c - 1 = -2*l. Suppose -l*m + 3772 + 1003 = 0. Is m a prime number?
False
Suppose 4*d - 2*d = 5*f + 61, f + 2*d + 5 = 0. Let i = -7 - f. Suppose -3*c = -3*t - c + 1167, -t = i*c - 403. Is t a composite number?
True
Let s be -1 + 4 - 2*2. Let u be (s - -3)/(-2)*1. Is -77*(-2)/(u + 3) a composite number?
True
Suppose 50 = u + 4*n - 5*n, u - 54 = 3*n. Let w = 635 - u. Is w a composite numbe