osite?
False
Let n(x) = 7900*x**2 - 20*x - 19. Is n(-1) prime?
True
Let m be 1 + (-76)/(-1 + -3). Let l = 28 - m. Suppose -l*t + 9*t = 47. Is t composite?
False
Let o = 20238 - 6107. Is o prime?
False
Let h(x) = -x**3 - 2*x + 7181. Is h(0) a prime number?
False
Let r be 9/1 - (-1 - -2). Let l(y) be the first derivative of 46*y**3/3 - y**2 + 11*y - 228. Is l(r) a prime number?
True
Suppose 0 = -4*t + 57 + 119. Let r be (3*-3)/(11/t). Let b = 89 + r. Is b composite?
False
Suppose -11 = -2*v - 1. Suppose 0 = -a + 4, -1663 = -v*j - 2*a - 0*a. Is j composite?
False
Let g(z) = z - 31. Let l be g(13). Let h = l - -20. Is 9585/20 - h/8 composite?
False
Suppose 27*s = -7*s + 57562. Is s a composite number?
False
Is (-22)/(-77) - (-582345)/21 a composite number?
True
Let m(g) = -g**3 - 12*g**2 + 20. Let j be m(-14). Let p = -255 + j. Is p a prime number?
True
Suppose -4*o + 64735 = -3*h, -4*o + 64736 = 2*h - 6*h. Is o a prime number?
True
Suppose 2537 = -6*j + 6539. Is j a prime number?
False
Suppose -3*c = 3*v - 267, -5*v + 3*c = -270 - 191. Let k = v + -65. Is k a prime number?
False
Let l be (-1 - -1 - 1)*-5. Suppose l*f = 16877 - 2507. Suppose 0*k + 4*k - f = -2*v, -3*v + 9 = 0. Is k a prime number?
False
Let r = -3 + 5. Suppose 2 = -r*j + 10. Suppose 0 = -j*g + 2*g + 382. Is g prime?
True
Let j be 20/(-24) + (-1)/6. Is (-14012)/(-10) + j*(-3)/(-15) composite?
True
Let k = 114 - 87. Suppose -k = 6*v - 2541. Is v prime?
True
Suppose 0*r = t - 5*r - 1, -2*t = -2*r - 10. Let d be t*(-2)/(-8)*2. Suppose 3*z - z - 1237 = -3*a, 4*z = d*a - 1207. Is a a prime number?
True
Let c be -3*((-43)/(-3) + -1). Suppose -35*z - 24 = -29*z. Is c/(-10)*(-331)/z a composite number?
False
Let k = 22 + -12. Suppose k*a - 5*a = 180. Let p = a - -3. Is p a prime number?
False
Let x be 8/(-12)*-6 + 1. Suppose 0 = -x*h - 5*t + 285, -h + 19 = -3*t - 58. Let b = h + -36. Is b composite?
True
Let w be (-6)/15 - 2624/(-10). Suppose -772 = -2*x + w. Is x prime?
False
Let f(r) = -28*r**2 - 3*r - 1. Let s be f(12). Let x = -1854 - s. Is x composite?
True
Let n(s) = -2*s - s**2 - 2 + 4*s**2 + s + 12. Let z be n(-8). Suppose j = k - 64, 3*k - 4*j + 7*j = z. Is k a prime number?
True
Let b(y) = 61*y - 42. Let c(k) = -123*k + 83. Let s(d) = 5*b(d) + 3*c(d). Is s(-20) prime?
True
Let j(h) = -2*h - 57. Let a be j(-22). Let f(x) = 9*x**2 - 14*x + 6. Is f(a) prime?
True
Suppose 4*w + 3*h - 8725 = 0, 2*w = 5*w - 3*h - 6528. Is w a composite number?
False
Let u(x) be the second derivative of -2*x + 4/3*x**3 + 7/2*x**2 + 0. Is u(6) a prime number?
False
Let m(l) = 13*l**2 + 49*l + 149. Is m(-49) a composite number?
False
Is 33506 + 10/(-15)*9/6 composite?
True
Suppose 2*s + 2*v = -2452 - 456, 0 = -s - 5*v - 1442. Let c = 344 - s. Is c prime?
True
Let v(w) = 2*w**3 + 80*w**2 - 18*w + 19. Is v(-34) composite?
False
Suppose -7*f = -2*f - 760. Let n be 1528/10 - (-4)/20. Suppose j = f + n. Is j composite?
True
Suppose 24994 = 12*q - 4442. Is q composite?
True
Is 14967 - (-11 - (-3 - 6)) a prime number?
True
Let k(n) = n**3 + 13*n**2 - 4*n - 11. Suppose 4*y = 13 + 15. Suppose 0 = -y*f - 25 - 45. Is k(f) a composite number?
True
Let x = 15 - -2. Let b = 54 - x. Is b a prime number?
True
Suppose 2*m = 6, -3*b + m = 1527 - 19827. Is b a prime number?
True
Suppose -y - 1546 = -3*y. Suppose -2*x = p - 5*p + 3026, p + 5*x = y. Is p composite?
True
Is -2 + -7 + 5 + (-12383)/(-7) prime?
False
Suppose -4*y = -4553 + 721. Is y prime?
False
Suppose 8 = -0*c + 2*c, -5*b - 4*c + 27611 = 0. Is b a prime number?
True
Let n = -40 - -42. Is (3 + -3 + n - -325) + -1 a composite number?
True
Let w = 691 - -148. Let b = 599 - 1133. Let h = b + w. Is h composite?
True
Let s = 1177 - 492. Suppose -s = 3*p + 2*p. Let o = p - -248. Is o a prime number?
False
Suppose 5*f - 5*n + 195 = 0, 5*f - n = 31 - 230. Let b be f/(-12)*159/2. Let r = b + -150. Is r composite?
True
Suppose -h + 0 = -23. Suppose b = h + 140. Is b a prime number?
True
Let d(z) = 5*z**3 - 28*z**2 + 75*z - 39. Is d(25) a prime number?
False
Let n(o) = 1883*o**2 - 7*o - 7. Is n(-1) composite?
True
Suppose 13*t - 16 = 10. Let j(m) = -79*m**2 + 6*m + 11. Let o(h) = -39*h**2 + 3*h + 5. Let l(c) = 6*j(c) - 13*o(c). Is l(t) a prime number?
True
Let y = 4775 + -877. Is y composite?
True
Let b(n) = -n**3 + 8*n**2 + 8*n - 104. Let w be b(7). Let z(j) = -5*j**3 - j**2 - j - 1. Let r be z(-1). Is w + (-1)/(r/(-1704)) composite?
True
Suppose -5*l + 3231 = 2*g, 2*l = -2*g - 2*l + 3236. Let u = -831 + g. Is u a composite number?
False
Let n(d) = d**3 + 18*d**2 + 16*d - 13. Let g be n(-17). Let b(j) = -j**3 + 3*j**2 + j - 3. Let v be b(3). Suppose v = g*i - 0*i - 1916. Is i a prime number?
True
Suppose -2*j + 250 = 4*y, j = 3*j - 3*y - 278. Suppose -10*s + 5183 = j. Is s prime?
False
Suppose -t = -4*c + 138504, -4*c - 2*t + 96012 = -42504. Is c a composite number?
True
Suppose 5*x = -4*r + 32, 0 = 2*x - 2*r - 1 - 1. Suppose -x*v - 23 = -7, 3*h - 2 = 2*v. Is (h + 3/1)*97 composite?
False
Let v(z) = 41*z**2 + 10*z - 17. Let i be v(5). Suppose -5*p = -3*s - i, 0*p + 206 = p + 5*s. Is p a prime number?
True
Let l(x) be the third derivative of -x**6/40 + x**5/60 + x**4/6 - x**3/6 - 2*x**2 - 8. Is l(-4) prime?
True
Suppose 8*g = 11224 + 7344. Is g a composite number?
True
Let w(d) = d**3 + 4*d**2 + 5*d. Let f be w(-16). Is (7 - f) + (1 - -3) a prime number?
True
Let k(v) be the first derivative of v**2/2 - 9*v + 4. Let a be k(8). Is (-66 + 1)*(a - 0) a composite number?
True
Let v(s) = s + 1. Let j(i) = i**3 - 12*i**2 + 4*i. Let w(t) = -j(t) - 6*v(t). Let u be w(11). Suppose -u*q = -1741 + 6. Is q prime?
True
Let i(y) = -y**3 - 8*y**2 - 14*y - 11. Let a be i(-6). Is ((-2)/6)/(a/(-318)) a composite number?
True
Let t(m) = m**2 + 9*m + 10. Let w be t(-8). Suppose 0 = 44*g - 26*g. Suppose -2*i - 3*f + 229 = g, -i + w*i = 4*f + 109. Is i prime?
True
Suppose -9*s + 9139 + 4559 = 0. Is s prime?
False
Suppose -5*d = -17 + 7. Suppose 1110 = 2*g + f, -g - d*f + 323 = -226. Is g composite?
False
Let c(f) = 2*f**2 + 3*f**3 + 1 - 7*f**3 + 3*f**3 + 1. Let i be c(3). Is ((-2)/6)/(i/3003) a prime number?
False
Suppose -v - 36 = 3*v. Let p(d) = -3*d**2 + 3*d + 11. Let k(r) = -10*r**2 + 10*r + 33. Let a(t) = 2*k(t) - 7*p(t). Is a(v) prime?
True
Let f be 6/10 + 51/(-85). Is (-3 + f)*9208/(-24) composite?
False
Let c(s) = 272*s + 1 - 6 - 292*s. Is c(-3) prime?
False
Let u(l) = 6771*l - 1064. Is u(11) composite?
False
Let t(c) = 4224*c + 53. Is t(10) prime?
True
Is (-2)/((-2)/3)*(-5028)/(-36) composite?
False
Let d(f) = 470 - 13*f - 465 + 2*f - 3*f**3 - 12*f**2. Let b(j) = -3*j**3 - 11*j**2 - 10*j + 4. Let x(r) = 6*b(r) - 5*d(r). Is x(-4) prime?
False
Let k be 72/(-6) - (1 - -1). Let x(n) = -153*n**3 - 3*n**2 - 6. Let d be x(-3). Is (-4)/(-14) - d/k composite?
False
Is (90336/9)/1 + 12/(-36) a prime number?
True
Let f(z) = -z**3 - 5*z**2 + 2*z - 22. Let c be f(-6). Suppose -1043 = v - c*v. Is v composite?
True
Suppose 0 = 40*b - 34*b - 13086. Is b a composite number?
True
Let z be ((-2)/(-3))/((-1)/(-6)). Suppose -z*c = -16, 5*n + 3*c - 5*c - 172 = 0. Suppose -2*a - 107 = -2*d - d, -d + a + n = 0. Is d a prime number?
False
Suppose -3*y + 0*y + 9 = 0. Suppose 2*z - 1412 = -y*b + 410, 4*b - 911 = -z. Is z composite?
False
Suppose 4*c - 1785 = -3*g, -5*c = 2*g - 401 - 782. Is g a prime number?
True
Let b = 12813 - 5814. Is b prime?
False
Let x = 14158 - -3115. Is x composite?
True
Suppose -2*w + 34 = -28. Is w a prime number?
True
Let p(j) = 347*j**2 + 3*j - 1. Is p(-4) a prime number?
False
Let y = 637 + -258. Is y a prime number?
True
Let k = -12738 + 21247. Is k a composite number?
True
Suppose 2*y = 2*w + 1032, -2*w - 10 = 3*w. Suppose 3*j + 203 = -5*a + 1504, -2*a + y = -2*j. Is a a prime number?
False
Let o(f) be the second derivative of f**5/20 + f**4 - f**3/6 - 3*f**2 + 3*f. Let d be o(-12). Is 2/(d/(-177))*-1 a composite number?
False
Suppose -5*i - 1716 = -2*i. Let t = i - -1205. Suppose -m + 3173 = 5*b, -b + t = -0*m + m. Is b composite?
True
Let c(b) = 1407*b**2 + 2*b + 1. Is c(2) prime?
False
Let p(f) = -2*f**2 + 138*f - 65. Is p(31) composite?
True
Let q(t) = 1327*t**2 + 12*t - 33. Is q(4) composite?
False
Suppose 2 - 2 = -9*s. Suppose 4*k + s*d = -3*d + 30, -k - 4 = -5*d. Is k 