15 = -z - 9. Let x = z - -71. Suppose -5*k = -4*k - x. Is k a prime number?
False
Let a = -17 + 19. Suppose -153 = -a*h - o, 5*h - h = 3*o + 311. Is h a prime number?
False
Suppose 3*p + 2760 = 7*p. Suppose 2*m + p = -3*m. Let z = 197 + m. Is z a prime number?
True
Let m(q) = q - 1. Let p(k) = 18*k**2 - 7*k + 1. Let s(c) = 2*m(c) + p(c). Is s(4) a composite number?
True
Let i(f) = 760*f - 2. Let j be i(2). Let w = j - 970. Let k = w + -257. Is k a prime number?
False
Let u = -42 + 42. Suppose u = 2*f + 4, -5*f = 2*n - n - 867. Is n a composite number?
False
Let s(c) = -c + 1. Let i be s(1). Suppose 7*m - 3*m - 272 = i. Let l = 179 - m. Is l prime?
False
Suppose -3*f = 3*w - 1227 - 7908, -5*f - 6104 = -2*w. Is w a prime number?
False
Suppose -7*k + 2478 = -1932. Suppose 0 = s - 208 - k. Is s a prime number?
False
Suppose -2*y - 51 = -3*x, x + 49 = -3*y - 0*x. Let s = y - -18. Suppose s = -0*q + 2*q + 5*z - 129, z + 336 = 5*q. Is q a prime number?
True
Suppose 330643 - 11258 = 11*t. Is t composite?
True
Let j = -13 - -17. Let i = j + -5. Is (-1 - (i - 2)) + 113 a prime number?
False
Let m(j) = -27*j + 14. Let h = -17 + 14. Let g be -8 - ((-6)/(-3) + h). Is m(g) a composite number?
True
Is 163774/30 - 4/30 composite?
True
Let l(v) be the third derivative of v**5/15 + 11*v**4/24 + 5*v**3/2 - 46*v**2. Is l(-16) a prime number?
True
Suppose -24609 - 20711 = -10*n. Suppose -n = -5*c + w, 3*w - 4544 = -4*c - c. Is c a composite number?
False
Let u = 16 + -10. Suppose -1196 = -u*y + 2*y. Is y composite?
True
Suppose -16158 = -4*k + 4*p - 3*p, 2*p + 20199 = 5*k. Is k a composite number?
True
Let d(h) = 492*h**3 + 4*h**2 + h - 11. Is d(2) composite?
False
Let u(p) = 2*p**3 - 15*p**2 - 2*p + 13. Let i(l) = l**2 - 12*l - 16. Let z be i(14). Is u(z) composite?
True
Suppose m - i = 7962, 4*i = 2 + 2. Is m a prime number?
True
Suppose 0 = -5*p + 4*o - 147, -p + 0*p - 4*o - 15 = 0. Let h = p - -32. Suppose h*z + 110 = 7*z. Is z a composite number?
True
Let b(x) = 8*x**3 + 8*x**2 + 2*x + 1. Is b(11) a composite number?
True
Let u(d) = 8*d**3 - 9*d**2 - 5*d + 65. Is u(16) prime?
True
Let l = 24350 + -8049. Is l prime?
True
Let l(r) = 12*r**2 - 3*r + 2. Let n(c) = c + 9. Let d(i) = -1. Let t(a) = 2*d(a) + n(a). Let g be t(-10). Is l(g) composite?
True
Let f = -4398 + 6715. Is f a prime number?
False
Let f(s) = 26*s**2 + 20*s + 1. Suppose 9*x + 22 = 7*x. Is f(x) a prime number?
True
Let a = 95013 - 62564. Is a prime?
False
Let m be 5812/6 - (-76)/57. Suppose -m = -5*i - 3*n, 583 = 4*i - i + 2*n. Is i a composite number?
False
Let n = 519 + 2555. Suppose -6*q + 1240 = -n. Is q a prime number?
True
Let w(o) = 2*o**2 - 2*o - 1. Let y be w(-1). Let s = 206 - 132. Suppose -y*q = -91 - s. Is q prime?
False
Let t = -88 + 227. Suppose t + 38 = c. Is c a prime number?
False
Let q(o) = -20 + 25*o + 22 - 21 + 14*o**2. Is q(10) composite?
True
Let a = 501 - 211. Suppose -435 = -4*f + n, -n - 105 = -f + 3*n. Suppose -o = 4*c - 532, 5*o = 3*c - f - a. Is c a composite number?
True
Let s = 4 - 13. Let x(j) = 2*j**2 + 9*j + 7. Let b be x(s). Suppose 0 = -p + b + 27. Is p composite?
True
Suppose i = 2*w - 0*w + 3685, -5*i + 18461 = 2*w. Is i a composite number?
False
Let g(y) be the third derivative of 4*y**5/15 + 7*y**4/24 - 2*y**3 + 9*y**2. Is g(-7) composite?
True
Let o = 13065 + 2696. Is o a prime number?
True
Let o(a) = a**2 - 11*a + 20. Let n be o(9). Suppose 0 = n*m + s - 552, 0*m + 2*s = 5*m - 1398. Suppose 0 = -4*l + m + 542. Is l a composite number?
True
Let g(l) = 167*l**2 - 2*l + 2. Let r be g(5). Suppose r = 5*u - 418. Is u a composite number?
True
Suppose -c + 3 = -0*c. Suppose b = -2*q + 2797, 0 = -4*b - c - 1. Is q a composite number?
False
Let k(c) = -8*c - 2. Let n be k(-4). Let b(r) = -184*r**2 + 1. Let a be b(-1). Let s = n - a. Is s a prime number?
False
Let c(l) be the first derivative of -l**4/4 + 5*l**3/3 - 3*l**2/2 - l - 1. Let x be c(4). Suppose 0 = -x*f - f + 452. Is f a prime number?
True
Suppose -30*o + 28*o = -18922. Is o a prime number?
True
Suppose -270941 = -3*f + 2*p + 2*p, -f - 4*p + 90303 = 0. Is f a composite number?
True
Suppose -5*g - 19870 + 75440 = 0. Is g prime?
False
Let p = -3 - 5. Let r = p - -11. Is (12/16)/r*268 composite?
False
Suppose 0 = -5*n + 9 + 16. Let f be 3/n - 12894/(-35). Let u = f - 258. Is u a composite number?
True
Let z = 8116 - -6867. Is z a prime number?
True
Is 14/(-28)*4 - -83533 prime?
False
Let z = -68 - -65. Is 2*188 + 0 - z prime?
True
Let z(u) be the second derivative of 16*u**3/3 + 3*u**2/2 + 6*u. Is z(8) composite?
True
Let s(g) = 21*g**3 + 9*g**2 + 24. Let z be s(7). Let h = -2561 + z. Is h a composite number?
False
Let m = 1411 + -123. Suppose -2*q - m = -0*q. Let a = q + 1275. Is a prime?
True
Let o(m) = 6*m**3 + 9*m**2 - 11*m - 17. Let p be o(-8). Is (p/(-50))/(2/4) a prime number?
True
Is 4/(-50)*1 + (-72844620)/(-1500) a prime number?
True
Let a = 29 + -24. Suppose -4*d - a*p = -774, p = d - 0*p - 189. Is d a composite number?
False
Let x = 147 + -146. Is (1 - 367)*(-26)/6 - x prime?
False
Suppose 107*z - 106*z = 3. Is 12313/(-35)*(-5)/3*z prime?
True
Suppose 2*v = -0*v + j + 6, -2*v - j = -10. Suppose 24 = -f + v*f. Is 20/f*(-1 - -7) prime?
False
Let j(f) = -3*f + 3*f + 16*f**2 - f + 2*f. Let p be j(-1). Suppose i - 22 = 5*v, -i - p = -4*i - 2*v. Is i a prime number?
True
Let c(g) = -38*g - 13. Let i(p) = 190*p + 64. Let o(d) = -11*c(d) - 2*i(d). Is o(5) a prime number?
False
Suppose -2*v = 4*z + 4, 4*z - 2 = -v - 6. Suppose v*n - 4*n + 884 = 0. Is n composite?
True
Suppose v + q = -4*v + 16, -3*v + 32 = -5*q. Is -4 - -5 - (-1872)/v composite?
True
Suppose 9*c - 1824 = 2163. Let m = c - 192. Is m a composite number?
False
Suppose -n - 18 = 130. Let w = n + 35. Let a = 390 + w. Is a a prime number?
True
Let t(a) = 3*a + 15. Let c be t(16). Suppose f + 4*m - c = 519, -2 = 2*m. Is f a prime number?
False
Let j = -112 + 115. Suppose 4*d + 443 = j*p, p - 7*d + 2*d = 144. Is p composite?
False
Let f = -26 - -18. Let o(a) = -21*a + 11. Is o(f) composite?
False
Let n(a) = -3*a**2 - 62*a - 13. Let c be n(-15). Suppose -3*v = -c - 49. Is v a prime number?
True
Let c be (-7 - -6)*(-1 + 1*-2). Suppose -644 = -c*l - 5*o, -l - 4*o + 127 = -76. Is l prime?
True
Suppose 4*d = 9*d. Suppose d = i - 4*i + 36. Suppose -i*m + 16*m = 508. Is m composite?
False
Suppose 2*o - 924 = -4*a + o, -2*o + 693 = 3*a. Let f(g) = 4*g**2 - 7*g - 1. Let c be f(5). Let l = c + a. Is l composite?
True
Suppose 2963 = -19*i + 20*i. Is i a composite number?
False
Let w(c) = 888*c**2 + 16*c + 15. Is w(-1) prime?
True
Suppose 0 = s + 2*s - 6. Suppose s*v = 7*v - w - 4, -4*w + 1 = -3*v. Is ((-56)/(-16))/(v/4) a prime number?
False
Let d(u) be the third derivative of 11*u**5/10 + u**3/2 - 8*u**2. Is d(-2) a prime number?
False
Is (413424/(-10))/(-9) + (-4)/(-10) prime?
False
Let a = -514 + 776. Suppose -3*t + 185 = -a. Is t a composite number?
False
Is 3/(90/(-17780))*(-3)/2 a prime number?
False
Let x(a) = 703*a - 27. Let h be x(14). Suppose -14*b + 9*b + h = 0. Is b a prime number?
False
Is 2193*8/48*2 a prime number?
False
Suppose -32*q = -25*q - 56. Suppose -q*g = -9747 - 1981. Is g composite?
True
Suppose 0*b + 23*b = 467521. Is b a prime number?
True
Suppose 0 = -55*k + 49*k + 18546. Is k a prime number?
False
Let h(n) = 2*n**2 - 5*n - 10. Let j be h(7). Let s(d) = 5 + j*d**2 - 2 + 14*d**2 + 3*d. Is s(-2) a prime number?
False
Let z(h) = 102*h**2 + 3*h - 47. Is z(-6) a prime number?
True
Suppose -701 = -4*d + z + 120, 203 = d + 2*z. Let p = d - 42. Is p a composite number?
False
Let p = -10 + 5. Let q(a) = -a**2 - 6*a. Let g be q(p). Suppose 2*z - 189 = f, 0 = -g*z - 2*f + 15 + 480. Is z composite?
False
Suppose 3*f + 2*f - 10 = 0. Suppose 2*t = -v + 2, v + t = -0 + f. Suppose 0 = -5*j + 3*r + 55, v*r = -0*j + j - 4. Is j prime?
False
Let t be (-1 - 8/10)/(1/5). Let v be 4/(-16) - (-190)/(-8). Let g = t - v. Is g a composite number?
True
Suppose 2*n - 21 = 15. Suppose -4*l = s - 821, -3 = 3*s - n. Suppose 0 = 3*r + r - l. Is r prime?
False
Suppose 0 = 5*h - 18 - 2. Suppose 3*v - 23 = -5*f - 8, v = h*f - 12. Suppose v = 3*b - 15, m + 293 = 3*m - 5*b. Is m composite?
True
Let q(t) = 6*t + 1. Let k(b) = b**3 - 5*b**2 - 5*b + 2. Let f be k