5) + -1) a composite number?
True
Let a(w) = 3*w**3 - 12*w**2 - 56*w + 62. Is a(21) a prime number?
True
Let c(i) = -i**2 - 11*i - 1. Let y be c(-10). Let z(u) = 3*u**2 - 8*u - 5. Is z(y) composite?
True
Let y(m) = 925*m - 98. Is y(4) prime?
False
Let u = -86 + -27. Is -1 + 5 + -5 - (-1 + u) prime?
True
Let m(k) = 188*k**2 + 10*k + 9. Is m(-1) a prime number?
False
Let u(d) = -1740*d**3 + d**2 + d + 9. Is u(-2) a prime number?
True
Let x(c) = -c**3 - 14*c**2 - 2*c - 25. Let t be x(-14). Suppose -a - t*y + 2*y + 774 = 0, -4*a + 3*y + 3124 = 0. Is a a composite number?
True
Suppose f = -2*f + 18126. Suppose -8*h + f = -2*h. Suppose 0 = -4*l + 2549 + h. Is l a prime number?
False
Let z(j) = -27*j**2 - 5*j - 1. Let r be z(7). Is (-4)/(-6) - r/27 composite?
True
Suppose 7*s - 8*s + 485 = 0. Suppose 6*z = z + s. Is z composite?
False
Let u = -70 - -74. Suppose -10*t + u*t = -10524. Is t prime?
False
Let f = -3 + 8. Suppose 3*r = 2*k + 2607, 0*r + r = -4*k + 855. Suppose f*l + 3*c = 1449, -3*l - 2*c + r = c. Is l a composite number?
True
Let f be 27*((-6)/(-2) - 260/3). Let v = -1498 - f. Is v a composite number?
False
Let z(u) = -2 - 92*u - 1 - 10. Is z(-9) a prime number?
False
Let s(q) = -6 + 17*q**2 + 633*q - 641*q - 5. Is s(-8) composite?
True
Let t = 60 + 111. Suppose -483 = -r - 111. Let n = r - t. Is n a composite number?
True
Let c(b) = -b**2 + 10*b - 11. Let t be c(9). Let m be -1 - 0 - (-6 - t). Let o = 16 + m. Is o a prime number?
True
Let u = 16 + -7. Let i(a) = 715*a + 6. Let l be i(-1). Is (-2)/(-9) - l/u composite?
False
Let z be 1/2*(1 - 7). Is ((-1)/z)/(2/786) a composite number?
False
Let d(h) = 270*h**2 - h + 19. Is d(-6) a prime number?
False
Let u(j) = 0 - 371*j + 4 - 1 - 1. Is u(-4) a composite number?
True
Let l be 2/7 - (-556)/14. Suppose 0 = -5*s + l. Suppose 13*j = s*j + 265. Is j composite?
False
Let j = -15008 + 10531. Let n = -368 - j. Is n prime?
False
Is (-11732)/(-8) + 21/(-14) prime?
False
Suppose 0 = -4*f + 47 - 39. Is 935 - (6/2 - f) a composite number?
True
Let k = 67595 - 24202. Is k a prime number?
False
Suppose 2*f + 2376 = 11*f. Let g = f + 521. Is g a composite number?
True
Let y be (-3)/(-5) + (-1075362)/(-30). Suppose 3*i = -4*u + 61388 - 13585, -4*i - y = -3*u. Is ((-2)/5)/((-20)/u) prime?
True
Suppose j - 9959 = -4*q, j + 5*q = -j + 19924. Is j a prime number?
True
Let m(h) = 12*h**3 + 5*h**2 + 38*h + 2. Is m(11) prime?
False
Let i = -12 + 18. Let p(k) be the second derivative of k**5/20 + k**4/3 - 5*k**3/3 + 11*k**2/2 - 6*k. Is p(i) prime?
True
Suppose -8*n - 3*i + 3508 = -7*n, -4*n = i - 13977. Is n a prime number?
False
Let n be (-10)/2*(-3 + 2). Suppose 63 = s + n. Is s prime?
False
Let q = 3881 + 1424. Is q composite?
True
Let o(k) = -k**3 + 5*k**2 - 5*k + 6. Let u be o(4). Let m be 1 - (u/2)/1. Suppose -i - 642 = -3*c - 102, -4*c + 4*i + 712 = m. Is c a composite number?
False
Suppose 0 = -4*r + 20, 6 - 2 = -4*a + 4*r. Suppose 0 = -3*k + a*x + 2003, -3*k = -3*x - 730 - 1277. Is k prime?
True
Let z = 172 + 369. Suppose 0*r + 2853 = 3*r - 3*d, -4*r + 3796 = 4*d. Let q = r - z. Is q prime?
True
Let i be -23 + (1 - (2 - 2)). Let k = 69 - i. Is k a composite number?
True
Suppose 0 = 10*p - 11*p - 5*q + 713, -2*q = 4*p - 2816. Is p composite?
True
Let g(m) = -35*m**3 - 3*m**2 - 9*m + 11. Is g(-6) a composite number?
False
Let a = 16 - 14. Suppose 0 = 2*y + a*y + 2652. Let h = -250 - y. Is h a prime number?
False
Suppose -m + w - 15 = -2*m, -m - 5*w + 31 = 0. Suppose -9*v = -m*v + 9442. Is v prime?
True
Let h be (1*-10)/(-5) - -1. Suppose -h*z - 351 = -3*i, i + 5*z - 38 = 55. Is i prime?
True
Let n = 24295 + 2306. Is n a prime number?
False
Let r(t) = 207*t**3 - t**2 + 5*t - 5. Is r(2) a prime number?
True
Let w = 2007 + 286. Is w a prime number?
True
Suppose 18*q - 34 = 92. Let b(d) be the third derivative of d**5/60 - 7*d**4/24 + 7*d**3/6 + d**2. Is b(q) a composite number?
False
Let x(o) = 23*o**3 - 35*o**2 - 10*o - 49. Is x(11) a prime number?
False
Let v(m) = -m**3 - 6*m**2 + 71*m - 27. Is v(-19) a prime number?
False
Suppose 0*o = -2*o - 5*m + 1, 4 = o - m. Suppose -o*u = -f - 40, 2*f - 3 - 21 = -2*u. Suppose -u*p + 12*p + 55 = 0. Is p prime?
False
Suppose 0 = -3*k - 3*n + 1686, -3*k + 7*n + 1700 = 3*n. Suppose -5*j - j + k = 0. Is j prime?
False
Let g = 19 + -34. Is (-890)/g - 3/9 prime?
True
Suppose 10 = -5*j, 2*m = -38*j + 35*j + 13676. Is m a composite number?
False
Suppose 7359 = 8*t - 73417. Is t prime?
False
Let u = -938 + 1924. Suppose 1779 = 5*q - u. Is q composite?
True
Let u be (-9)/12*40/(-1) + 4. Let y be (-2254)/(-10) + 4/(-10). Suppose -y = -z - u. Is z a composite number?
False
Let x(k) = 2*k**3 + k**2 + k. Let m(o) = -14*o**3 - 4*o**2 - 2*o - 7. Let f(g) = -m(g) + 2*x(g). Is f(5) a prime number?
False
Suppose 2*g = -5*q + 25, 5*g - 2*q + 20 = 2*q. Suppose -6*i + 4*i + 3298 = g. Is i a composite number?
True
Let x(o) = 18*o - 7. Let v(h) = -h + 0 + 6 - 1 + 2*h. Let p be v(6). Is x(p) a prime number?
True
Let v(n) = -8*n**3 - n**2 + 1. Let q be v(-1). Suppose -334 = -6*a + q. Is a a prime number?
False
Suppose 131*u - 141*u + 38260 = 0. Is u a prime number?
False
Suppose 15 = -5*s, -5*j + 20 = 3*s - 8*s. Is (j/2)/((-25615)/4270 - -6) composite?
True
Suppose 0 = 3*b + 11*b - 42. Suppose 5*a - 302 - 431 = -2*s, -5*s = -b*a - 1786. Is s a composite number?
False
Let b(x) = x**3 - x**2 - x + 65. Let p be b(0). Suppose -4*z + 20 = -3*u - 13, -5*z - u + p = 0. Is 2/8 - (-3153)/z composite?
False
Let k(o) be the first derivative of -1491*o**4/2 + o + 5. Let b be k(-1). Is b/76 + (-1)/4 composite?
True
Suppose 143 = -3*j + 4*i, 3*j - 2*j = 3*i - 41. Suppose 5*s - 526 = 184. Let l = s + j. Is l prime?
True
Let r = -722 - -1390. Let f be ((-4)/(-6))/(1/3). Suppose 0 = 2*x - 5*i + 200 - r, -5*x + f*i = -1191. Is x composite?
False
Let o(k) = 4340*k**2 + 26*k - 25. Is o(1) composite?
True
Is 2*(628005/(-14))/(-15) prime?
True
Let b(d) = -99*d**3 + d**2 + d - 5. Is b(-2) a prime number?
False
Let g = 39976 - 23107. Is g a composite number?
True
Suppose 5*j + 2*y - 65435 = -2955, j - 12519 = -5*y. Is j a composite number?
True
Let w(u) = 7771*u - 512. Is w(13) composite?
False
Suppose 0 = -2*h - 4, 3*d - 3*h - 103119 = 18714. Is d a composite number?
False
Let t be ((-1)/3)/(2/6). Suppose -2*z = 10, -9*g + 11*g - 404 = -4*z. Is (g - -1) + 2/t a composite number?
False
Let p(q) = -3*q - 32. Let y(i) = 0*i - 16 - 2*i + 0*i. Let s(c) = -3*p(c) + 7*y(c). Is s(-11) prime?
False
Suppose i - 5 + 0 = 0. Suppose i*k = 3*k - 60. Is (k/20)/(2/(-148)) prime?
False
Suppose -158*v + 152*v + 1305822 = 0. Is v a composite number?
True
Suppose -2*t + 2223 = s, -s - 2*s + t = -6697. Is s composite?
True
Suppose -16*k = -12*k + 19416. Let v = k + 7639. Is v a composite number?
True
Let k = 10 - 10. Suppose k = -4*p - 4*m + 76 + 96, 0 = 3*p + 4*m - 125. Let o = -12 + p. Is o a prime number?
False
Let o = -10823 + 31962. Is o a prime number?
True
Let i = -225 + 1114. Is i composite?
True
Is 14 + -22 + 745*7 prime?
False
Let b(x) = -23*x**3 + 1 - 5*x**2 + 7*x**2 - x + 3*x. Let r be b(-1). Suppose -29 = -q + r. Is q a prime number?
True
Let d be (-4)/(-1)*(3 - 4). Let f(x) = 12*x**3 - 2*x + 11. Let b(k) = -4*k**3 + k - 4. Let p(m) = -8*b(m) - 3*f(m). Is p(d) a composite number?
False
Suppose -y - 33688 = j - 2*j, 4*y + 8 = 0. Is j a prime number?
False
Suppose 0 = -2*h - 4*h - 48. Let c(r) = -r**3 - 6*r**2 - 8*r - 7. Is c(h) a composite number?
True
Suppose 2 - 146 = -3*w. Suppose 2*u - w = -2*m, -3*u + 90 = 4*m - 2*u. Is m a composite number?
True
Suppose -3*f - 287 + 4168 = -i, 4*f = -i + 5170. Suppose 261 + f = 6*s. Is s a composite number?
True
Let i(d) = -2*d**3 + 21*d**2 - 9*d + 8. Let r be i(9). Suppose 2*v - r - 5892 = 0. Is v a prime number?
False
Let y(o) = -2*o**2 - 8*o + 5. Let v be y(-4). Let t(m) = 5*m**3 - 2*m**2 - 7*m + 7. Let l be t(v). Let z = 1026 - l. Is z prime?
True
Let h = 3602 + -1180. Suppose 0 = 5*d + 3*p - h, 1944 = 4*d - 6*p + 2*p. Is d a composite number?
True
Let q(p) = p**2 - 7*p + 6. Suppose -4*o = 4*s - 48, -5*s = -s - 4*o - 8. Let n be q(s). Is n + 6/(-2) + 140 prime?
False
Suppose -4*l + 2157 = -5*a, 14*l - 9*l + 4*a - 2645 = 0. Is l a prime number?
False
Let t(y) = 66*y - 2. Let p 