(w) = -3*w + 4*w + 0*w + 14 + 10*w. Is k(7) composite?
True
Suppose 0*q + 40 = 5*q. Suppose -5*h = -q - 2. Suppose -t - h*u = -27, -7*t + 72 = -3*t - u. Is t a prime number?
True
Let n(a) be the second derivative of 13*a**4/6 + 7*a**3/6 - 3*a**2 + 12*a. Is n(5) a prime number?
False
Let v(k) = 379*k - 4. Let l be v(-1). Is 1 + -2 - (l + 3) a prime number?
True
Let j be (-30)/(-135) - (-94)/(-18). Is (-1594)/(j + 1 - -2) a prime number?
True
Let o = -26 + 28. Let l(n) = 39*n**3 + 5*n**2 - 3*n. Is l(o) a prime number?
False
Let x(t) = 36*t - 6. Let g be x(8). Let f = g - -164. Is f a composite number?
True
Let f = -12 - -16. Let q be (-116)/(-36) - f/18. Is (2/q)/(12/6228) a composite number?
True
Suppose 0 = -5*t + j + 100502, 0 = t - 4*t + 2*j + 60297. Is t composite?
False
Suppose -3*s + 6*s - 4*z - 3778 = 0, -s = -z - 1258. Suppose p + 2098 = 5*c, -s = -7*c + 4*c - p. Is c composite?
False
Let a(i) = -29*i + 6115. Is a(0) a prime number?
False
Let v = 12 - 4. Suppose -80 = -3*q - v. Is 3/(-2)*(-2576)/q prime?
False
Suppose 0 = 2*k - 2*r + 2, -1 + 0 = -2*k + r. Suppose w = k*w - 293. Is w composite?
False
Let b(w) = w**3 - 17*w**2 + 20. Let c be b(17). Let u be ((-16)/c)/((-4)/10). Suppose -o = u*o - 381. Is o a prime number?
True
Let j = 3 + 3. Suppose -9*h + j*h = -447. Is h a composite number?
False
Is (1/3)/((-2)/18) - -824 prime?
True
Let k be -3 + 6 + -2 - 0. Suppose -2*s + k = -5. Suppose 0*b + 228 = s*b - 5*r, -5*b + 3*r = -364. Is b a prime number?
True
Let z(c) = -c**2 + 6*c - 5. Let r be z(5). Suppose t - 141 = -r*t. Let u = -14 + t. Is u prime?
True
Let g(c) = -360*c + 353. Is g(-16) a prime number?
True
Let u(x) = x**2 - 3*x - 16. Let c be u(6). Suppose 4*w - 5477 = -3*b, -2*b - c*w - 1819 = -3*b. Is b composite?
False
Suppose 2514 = 4*z + 2*z. Suppose 0*i = s + 2*i - 196, -2*s + 5*i + z = 0. Is s a composite number?
True
Suppose -2*r = i - 8218 - 929, -5*i + 25 = 0. Is r composite?
True
Suppose -3*v - 2*s + 7819 = 0, -2*v + 5*s = -4146 - 1054. Is v prime?
False
Let c = -14018 + 25219. Is c a prime number?
False
Let n = 5 - 2. Suppose -q - 22 = -5*z + n, -2*z + 10 = 2*q. Suppose 2*h + 3*h + 193 = 2*f, z = h. Is f a prime number?
True
Let n(j) be the first derivative of j**5/30 - 7*j**4/24 + 7*j**3/6 - 7*j**2/2 - 7. Let t(w) be the second derivative of n(w). Is t(-12) prime?
True
Let s = -33 + 38. Suppose -3*a - 2*n + 5275 = 0, 4*n + n + 8800 = 5*a. Suppose s*u = -464 + a. Is u prime?
False
Let h(p) = -p**2 - 5*p + 5. Let x be h(-5). Suppose -2*i + 9 = 5*y, x*y + 2*i - i = 12. Suppose t - z - 396 = -26, y = 3*z. Is t a composite number?
True
Let j(r) = 2*r + 33. Let x be j(-14). Suppose -4*h = -z + 527, -z + x*h = -3*z + 1119. Is z a prime number?
True
Let a(b) = b**3 - 2*b**2 + b. Let d be a(0). Suppose 2256 + 5194 = 4*s + 2*r, d = -5*r + 15. Is s prime?
True
Let o = 26 + -23. Let s be (7 - 1)*2/o. Suppose 2*z - 22 = -4*u + 3*u, -s*u = 2*z - 10. Is z a composite number?
False
Let p(b) = 2*b**3 - 11*b**2 - 23*b + 9. Let t(y) = -y**3 + 9*y**2 - y + 19. Let h be t(9). Is p(h) a composite number?
True
Let m = 51 - 65. Suppose 6 - 46 = -2*k. Is k/(-70) + (-1488)/m composite?
True
Let n = 2031 + -472. Is n a prime number?
True
Suppose 23 = 7*w - 5. Is (-7794)/(-14) + 3/42*w a prime number?
True
Is (88846/6 - -4) + (-20)/(-15) a composite number?
False
Suppose -712 = -2*o - 2*h, 2*o + 0*o = -3*h + 708. Suppose 2*k - 290 = -4*w + o, 5*w - 4*k - 793 = 0. Is w composite?
True
Suppose -5*c + 4*d - 3 = -20, -16 = -2*c - 3*d. Suppose c*j - 3*f - 266 = 0, 3*j - 2*f = -29 + 188. Is j a composite number?
True
Let v(c) = -c**2 + 16*c - 16. Let q be v(-23). Is (q/(-2))/(-6 - 65/(-10)) composite?
True
Suppose 17*i + 18739 = 51566. Is i a composite number?
False
Suppose 0*t - 3*t = -6, -t = 2*w - 10. Suppose 3*c - 2225 - 613 = 0. Suppose w*i + 458 = 2*u, -4*u + 0*u + 2*i = -c. Is u a prime number?
True
Let w = -66667 + 112686. Is w a composite number?
True
Let p = 6934 - -5127. Is p a composite number?
True
Let o(c) be the second derivative of -2/3*c**3 - 6*c + 0 + 0*c**4 + 1/2*c**2 + 1/2*c**5. Is o(3) a composite number?
True
Let m(k) = 621*k + 17. Let p be m(5). Suppose -p - 315 = -4*g - 5*d, 4*g - 5*d - 3387 = 0. Is g a prime number?
True
Let c be (-135)/10*(-76)/6. Suppose 4*l - 5*z - 176 = 0, 5*l - 5*z - c = 54. Is l a prime number?
False
Let b(q) = q**2 + 2*q + 6. Let s be b(3). Is (-4 - s/(-6))*2*-691 prime?
True
Let q = -122 - -265. Is q prime?
False
Suppose 5*p + 4*j - 1 - 7 = 0, -p + 1 = j. Suppose 1068 = -5*u + 6*u. Suppose 0 = -p*t + 104 + u. Is t a composite number?
False
Is 2325/1 + (-2)/(-8)*16 a prime number?
False
Let z(n) be the second derivative of -n**8/6720 - n**6/360 - n**5/20 + n**4/3 - 8*n. Let m(r) be the third derivative of z(r). Is m(-5) prime?
False
Is 7 + 1691 - (-49)/(-7) a composite number?
True
Suppose -12 = -4*l, -t = -2*l - 1864 - 10641. Is t a composite number?
False
Let w be (-2)/(-4)*(0 - 4). Let p be (-2)/(-8) - (-278)/8. Is w/(-5) - (-4571)/p a prime number?
True
Let t(j) = 31*j**2 - 8*j - 14. Let r(g) = 94*g**2 - 24*g - 41. Let a(u) = 3*r(u) - 8*t(u). Is a(-6) a prime number?
False
Let w(k) = 17*k**2 - 50*k - 264. Is w(29) composite?
False
Let d = 118 + -115. Is 1499/((1/(-3))/((-1)/d)) composite?
False
Suppose 0 = -37*u + 367743 + 219706. Is u composite?
False
Let v(u) = 92*u - 25. Let j be v(-9). Let n = j + 1242. Is n prime?
True
Let f(m) = 7*m - 4 - 2*m + 0*m. Let o be f(6). Let x = 117 + o. Is x a composite number?
True
Let f(h) = 2*h - 7. Let w = 4 + 1. Let r be f(w). Suppose r*t + 172 - 445 = 0. Is t prime?
False
Suppose -5*q + 33643 = 2*n, 10*q - 4*n = 15*q - 33641. Is q a composite number?
True
Let r(l) = 47*l**2 + 14*l + 5. Suppose 0*k = 5*k + 20. Is r(k) prime?
True
Let j(u) = -39*u + 15. Let t be j(-14). Let v = t - -448. Is v a prime number?
True
Is ((8 - 450869)/1)/(-3 - 0) a prime number?
True
Let j(o) = -12*o - 5 - 12*o + 25*o. Let i be j(0). Is i/15 + 404/6 a prime number?
True
Let n(o) = 10*o**3 - 7*o - 8. Let i(v) = -v**3 + v + 1. Let y(z) = 6*i(z) + n(z). Let j be y(4). Suppose 0 = 4*m - 138 - j. Is m a composite number?
False
Let a(z) = 67*z + 35191. Is a(0) composite?
True
Suppose h + 3*a - 15309 = -h, -38260 = -5*h - 5*a. Let r = h + -4006. Is r a prime number?
False
Let w(m) = -4*m**3 + 4*m**2 + 8*m - 2. Let x be w(-6). Suppose -182 = 4*s - x. Is s a composite number?
True
Suppose -5*n = -w + 11, -20 = 4*w + w. Let x = n - -15. Let s(z) = 8*z + 10. Is s(x) composite?
True
Suppose 20 = 5*j + 4*f, -3*j + 25 = -f + 6*f. Suppose -4*g - 8 = j, 0*q + 5076 = 4*q - 4*g. Is q a composite number?
True
Let i = -7171 + 19782. Is i prime?
True
Let w = -15 - -18. Let u be (2/(-6))/(w/(-7893)). Let z = u - 606. Is z a composite number?
False
Let j = 5145 + -1486. Is j prime?
True
Let b(t) be the first derivative of -t**2 - 7/3*t**3 - 1/4*t**4 + 7 + 7*t. Is b(-7) a prime number?
False
Let h = -14733 + 39916. Is h a composite number?
False
Suppose -f = 5*r - 4*r + 2, 0 = r + 3*f + 10. Suppose 18740 = r*b + b - l, 18737 = 3*b - 4*l. Is b a composite number?
False
Suppose -178 = -2*i + 1168. Is i a composite number?
False
Let r(q) = -18*q**2 + q - 1. Let j be r(1). Is (-3)/j - (-262)/12 a prime number?
False
Let l(h) = -4*h**3 - 4*h**2 - 40*h + 17. Is l(-19) a prime number?
False
Let a(i) = -5*i - 6*i - 39*i**3 + 4*i - 1. Is a(-3) a composite number?
True
Suppose 3*m - 4*c = 31, -3*m = -m + 3*c - 15. Suppose k = 5*i + m, -2*k + 2*i = -i - 18. Suppose 3*f - 147 = -k. Is f a composite number?
True
Suppose -5*v + 2 = -4*v. Suppose -j - v*r + 21 = 0, -3*r - 77 - 29 = -4*j. Is j composite?
True
Suppose -272424 = -26*j + 2*j. Is j composite?
False
Let z be ((-8)/44 - (-20)/(-11)) + 1. Is 1*(4 - (-1190 - z)) prime?
True
Suppose 2*u + 44 = -4*k + 260, 3*k = 5*u + 162. Let z be ((-6)/(-9))/((-6)/k). Is z/(-4)*(-1016)/(-12) a prime number?
True
Suppose 13*p - 2631 = 2738. Suppose 2*g = -5*g + p. Is g a prime number?
True
Let g(l) = -26*l - 179. Is g(-15) prime?
True
Let g(y) = 80*y**2 - 1. Suppose -3*d = 5*i - 11, -i = 2*d - 4 + 6. Suppose 5*f + i*c + 1 = 4, -6 = 4*f - c. Is g(f) prime?
True
Let q = 977 + -549. Suppose q = j - 4*f, 1963 = 5*j - 4*f - 145. Suppose 0 = -z + 3*b + 220, -5*b - j = -2*z - 3*b. Is z