False
Let v(g) = g**3 + 2*g**2 + 24*g - 8. Is v(25) a prime number?
True
Let a(t) = -100*t - 2. Let b be a(6). Let i = -229 - b. Is i prime?
True
Let r be 63/12 + 1/(-4). Suppose -2*v - 4*n + 1852 = 0, -1 = r*n + 19. Is v prime?
False
Suppose -4*h - 121 = 987. Let j = 210 - h. Is j prime?
True
Let x(p) be the first derivative of p**6/60 - p**5/24 + p**4/6 - p**3 - 2. Let t(d) be the third derivative of x(d). Is t(5) prime?
False
Suppose 3*p - 2*o = 169537, -315181 = -5*p + o - 32617. Is p prime?
False
Let k be (0 + (-1)/2)/((-2)/(-132)). Suppose 3*o + 350 = 5*u + o, 0 = 2*u - o - 140. Let z = u + k. Is z prime?
True
Let p = -61162 - -108489. Is p composite?
True
Suppose 0 = -4*g - 3 + 7. Is (-8)/2 - (-199 + g) a prime number?
False
Suppose -4*d = -i - 10200, -4*d - i + 10212 = i. Is d prime?
True
Let d(y) = -y**3 - 16*y**2 - 15*y + 4. Let c be d(-15). Is 803/4 + c*3/48 prime?
False
Let l(c) = -3*c**3 + 4*c - 2*c**2 - 4 + 5 - 3*c**2 + 6*c**2. Is l(-3) a composite number?
False
Suppose 4*o - 39701 = -5*a, 2*a + 0*a - 15870 = o. Is a composite?
False
Is -3 + 3668 + (16 - 10) prime?
True
Suppose -4*i - 4 = 0, -3*u = -5*i - 3246 - 410. Is u prime?
True
Suppose 790 = -55*d + 57*d. Suppose 660 + d = 5*v. Is v a prime number?
True
Suppose -2*k + 10681 = d, 4*d + 3*k = -0*d + 42699. Is d composite?
True
Let v(g) = 2*g**3 - 10*g**2 - 6*g + 6. Let l be v(5). Let i(h) = -323*h - 31. Is i(l) a composite number?
True
Is (9535 + -2)*(-2 - -3) a composite number?
False
Suppose 362 = 3*d + 137. Suppose 3*o - 3*r + d = -o, -o - 5*r = 13. Let n = -5 - o. Is n a prime number?
True
Let f(q) be the first derivative of -37*q**2 - 3*q + 30. Suppose 0 = -3*r - 5*u - 2, -3*r - 4*u = -1 + 5. Is f(r) prime?
True
Let o(f) = -19. Let a(x) = -x + 58. Let s(k) = 4*a(k) + 11*o(k). Let h be s(6). Is 6805/(-20)*(-3 + h) a composite number?
False
Let c(y) be the third derivative of -167*y**4/24 - 5*y**3/6 + 13*y**2. Let l = 1 - 3. Is c(l) a prime number?
False
Let p be (-10)/45 + (-209)/(-9). Let i = p - 35. Is ((-191)/3)/(4/i) a prime number?
True
Let b(h) = 117*h**3 + 4*h**2 - 4*h - 1. Is b(2) a prime number?
False
Let m = 45 - 26. Let z = m - -246. Suppose -y - 4*i + z = 0, 0*y + 4*i = -3*y + 795. Is y composite?
True
Suppose -2*y = y - 6. Let w(d) = 25*d**3 + 2*d - 1. Let q(z) = 75*z**3 - z**2 + 6*z - 3. Let r(i) = -2*q(i) + 7*w(i). Is r(y) composite?
False
Is 4191 - (4 - (-10 + 12)) prime?
False
Suppose -4*q + n + 4 - 1 = 0, 3*n = 2*q + 11. Suppose 3*y = 4*d - 501, 3*y = d + q*y - 124. Let p = -44 + d. Is p a composite number?
True
Let q(h) = -161*h + 11. Let f be q(-5). Suppose -5*o + f = -4769. Is o prime?
True
Let b(r) = 2*r**3 - 51*r**2 - 84*r - 30. Is b(37) prime?
True
Let g = 356 + -120. Let h = g - 45. Is h a prime number?
True
Suppose -18*k + 3*k + 30 = 0. Suppose -b + 3*s + 7281 = k*b, -2*b = 2*s - 4862. Is b composite?
True
Suppose 4*d = -4*z - 224, d = 5*d - 4. Let l = 137 + z. Let q = l - 21. Is q composite?
False
Let f = 2 - -1. Suppose -5*z - 3971 = -5*x + 2589, -f = x. Let h = -426 - z. Is h prime?
False
Is ((-1162)/(-3) - -3)/(1/3) a composite number?
False
Suppose -9*x + 8*x = -2. Suppose -5*i + 7 = x*f, 0 = 2*i - f + 2*f - 2. Suppose 4*q = -3*o + 1010, -i*q - 4*o = -0*o - 761. Is q composite?
False
Let u(y) = -2*y**2 + 0*y**3 + 11*y - 11 - 6*y**2 - y**3. Let f(n) = -n - 25. Let t be f(-15). Is u(t) a prime number?
True
Let w = -136 + 280. Let l = 985 - w. Is l a prime number?
False
Let u = -4775 + 7714. Is u composite?
False
Suppose -1374 = 9*j - 4137. Is j a composite number?
False
Is ((-4666)/(-5))/((-18)/(-45)) a composite number?
False
Let c(o) = o**2 - 10*o + 2. Let l be c(10). Suppose 0 = -l*s - g + 58 + 117, 4*s - g = 359. Is s composite?
False
Let h(d) = -161*d - 187. Is h(-10) composite?
False
Let c = 23 - 18. Suppose c*h = 451 + 1244. Is h composite?
True
Let i(w) = 2*w**3 - 25*w**2 - 15*w + 13. Is i(14) composite?
True
Let p(v) = 541*v**2 + 4*v - 1. Is p(-2) a composite number?
True
Let c(u) = -u**3 - 6*u**2 - 12*u - 16. Let q be c(-5). Suppose -3*b - 2*d + 98 = 0, -5*d + 26 = b - 24. Let h = b - q. Is h a prime number?
True
Is (-3)/(-8) + -10*(-125029)/80 a prime number?
True
Let f = 109 + -109. Suppose 0 = 2*c + c + 5*r - 24821, f = -2*c - 3*r + 16546. Is c a prime number?
False
Let q(w) be the first derivative of -124*w**3 + w**2/2 + 4*w + 11. Let k(f) = 1116*f**2 - 2*f - 11. Let y(n) = 3*k(n) + 8*q(n). Is y(1) a composite number?
False
Is -2 + ((-631)/(-2))/((-2)/(-20)) a composite number?
True
Is (-3 - 0)*(-1218333)/207 composite?
False
Suppose 8*p - 525 + 2301 = 0. Is (p/(-12))/((-2)/(-20)) a prime number?
False
Let b(p) = 490*p**2 + 60*p + 457. Is b(-10) a prime number?
True
Suppose -30*l + 46068 = -5442. Is l a composite number?
True
Suppose -2*n + 9*u + 30208 = 3*u, -10 = -2*u. Is n a composite number?
True
Suppose -3*j - 3 = 0, 3*t + 6*j - 2*j = 2. Suppose t = -4*f + 5*f. Is 67/2*3*f composite?
True
Suppose 11 + 21 = 4*n. Is (n/(-12))/(8/(-444)) prime?
True
Suppose 782190 = 19*m + 115271. Is m prime?
False
Let k be -3 - (3 + (-13 - 1)). Suppose 50 - k = -3*z. Let c(v) = -62*v + 9. Is c(z) a prime number?
True
Let n(c) = -4 + 3 - 3 + 0 - c**2 + 5*c. Let a be n(3). Let m(r) = 57*r - 1. Is m(a) a composite number?
False
Suppose -11617 = -5*p - 2*k, -2*p + 1035 = 4*k - 3615. Is p prime?
False
Let u = 40 + -35. Suppose 5*t = -u*i + 600, 478 = 5*i - i + 3*t. Is i a composite number?
True
Suppose -348 = -24*f + 20*f. Is f a prime number?
False
Let g(s) be the second derivative of s**4/12 - 4*s**3/3 + 5*s**2/2 + 2*s. Let p be g(7). Is (-506)/p - (-8 - -4) a prime number?
True
Let s = -445 + 449. Let p be (2 - (-1 + 2))*0. Suppose p = 3*t - 9, -s*t - 626 = -d + t. Is d composite?
False
Let n be 3 + -2 + 0 - 3. Is (-895)/(-10) + 1/n a composite number?
False
Let j = -40 + 42. Suppose -j*s - 3*w = -1528, 0*w - 762 = -s - w. Is s composite?
True
Suppose -3*s + 4*l = -18723, 5*s + 5*l + 12475 = 7*s. Is s a composite number?
True
Let k be (-185)/10*(6 - 2). Let t = k + 138. Suppose 0 = -5*x + 31 + t. Is x a composite number?
False
Suppose -6*p - 27087 + 231273 = 0. Is p composite?
False
Let t(g) = 38*g**3 + 2*g**2 + 6*g - 7. Let r be t(3). Suppose 0 = 5*q + f - r, -4*q - 5*f + f + 844 = 0. Is q a prime number?
True
Let l(m) = -3*m**2 + 12*m - 4. Let j be l(5). Let o be -1 - (-1 - (3 + j)). Is (1624/o)/((-1)/2) a composite number?
True
Suppose 29331 = 13*t - 4*t. Is t composite?
False
Suppose -3*y + 31671 = 3*z, 25*y - 21*y = 2*z - 21126. Is z composite?
False
Is ((-14)/6)/(16/(-96)) composite?
True
Let y(c) = -c**3 + 5*c**2 + c - 5. Let a be y(5). Suppose 834 = 21*k - 573. Suppose -j + k = -a*j. Is j a prime number?
True
Let f(p) = 93*p**2 + 6*p - 59. Is f(-10) a composite number?
False
Let x(s) = 9*s**2 - 16*s - 126. Is x(-23) a composite number?
False
Suppose -83949 = -114*u - 4833. Is u prime?
False
Suppose 0 = 5*j - 1 - 19. Is (0 - -971)/(4/j) a prime number?
True
Suppose 0 = g - 6197 + 528. Is g a composite number?
False
Let s be (-2 - -5)*(-1249)/(-3). Suppose 6*n + s = 7*n. Is n a prime number?
True
Is 32/12 + (-514690)/(-30) a composite number?
False
Let r = -22 - -63. Let a = 116 + r. Is a a prime number?
True
Is 5/(-10)*-869*2 prime?
False
Let p(n) be the second derivative of 0 - 5/6*n**4 - 3*n**2 - 9*n - 5/3*n**3 - 1/20*n**5. Is p(-10) a prime number?
False
Let o be (-1)/(-1)*(0 - -431). Let b = -274 + o. Is b a prime number?
True
Let z(d) = 2*d**3 + d - 1. Let k be z(1). Let x(r) = 18*r**2 - 5*r - 1. Let w(m) = 18*m**2 - 4*m - 1. Let o(g) = 3*w(g) - 2*x(g). Is o(k) a prime number?
True
Suppose 5*n - 2*m - 403680 = -m, 0 = 5*m - 25. Is n prime?
True
Let f(m) = -m**2 + m - 1. Let l(c) = 20*c**2 - 12*c + 14. Let g(k) = 8*f(k) + l(k). Let v be g(-4). Let w = 408 - v. Is w composite?
True
Let q = 7991 - 5334. Suppose j = c + 1955, c + 5151 = 4*j - q. Suppose -5*v + 304 = -j. Is v composite?
True
Suppose 1086 = 3*l - 2727. Suppose -5*s = -4*t - l, 3*s - 5*t - 268 = 505. Is s a composite number?
False
Suppose 4*c - 3*q = -2*q + 1953, -c - q + 482 = 0. Is c prime?
True
Is (-6)/((-300)/1020830) - (-2)/5 a prime number?
False
Let u be -6*(-1)/(8/12). Let r = u + -5. Suppose -2060 = -r*j - 544. Is j a prime number?
True
Let p(y) = 38*y**3 + 9*