True
Let k(y) = 808*y**2 - 61*y - 322. Is k(-5) prime?
True
Suppose -5*f + 1220 = 5*o, -2*f = f - 4*o - 697. Let w = f + -154. Is w a composite number?
True
Suppose 46*v = 31*v + 8805. Is v composite?
False
Is (8654/4)/(1/(9 - 7)) composite?
False
Let z(m) = 2862*m**3 + 3*m**2 - 8*m + 9. Is z(2) prime?
True
Suppose -4*o + 12468 = 4*q, -3*q = -0*o - o + 3117. Is o a prime number?
False
Is (-3786)/(-12)*(-4)/(-2) composite?
False
Is (4105 - -6)*(-10 - -11) prime?
True
Suppose -270*d + 265*d = -220045. Is d composite?
True
Let t(p) = p**3 + 11*p**2 + 5*p + 11. Suppose d = 2*d + 10. Let m be t(d). Suppose 97 = 2*f - m. Is f composite?
False
Suppose 4*a = 12*d - 14*d + 43094, -2*d = 2*a - 21552. Is a composite?
False
Let q = 3 - 1. Suppose 31 = 5*o - 2*v, 4*v - q = -o + 3*v. Suppose 3*z = o*i + 314, -z - 4*z + 585 = 4*i. Is z a composite number?
False
Let v(b) = 107*b**2 + 22*b + 46. Is v(11) composite?
True
Let m be 14*2/4 + -1. Suppose -m*u = -10*u + 16. Suppose u*l - 103 = -27. Is l a prime number?
True
Suppose 2234 + 11653 = 9*u. Is u a prime number?
True
Let p(d) = -25 - 10*d + 20*d - 11*d. Let k be p(-6). Let i = k - -270. Is i a composite number?
False
Let c(d) = -d**2 - 7*d - 1. Let u be c(-5). Let h = -6 + u. Suppose -38 = -h*m + m. Is m prime?
True
Suppose 7127 = -3*j + 4*t, 2*t - 7117 = 3*j + 3*t. Let w = -776 - j. Is w composite?
False
Let a(s) = 2*s**2 + 2*s - 2. Is a(3) a composite number?
True
Suppose -3*h - 6 = -6*h, 0 = 5*d + 4*h + 12. Is 2883/6 + -2 + (-2)/d composite?
False
Suppose 5*d - 3*d = 4*m - 9680, -2*d + 12091 = 5*m. Is m a composite number?
True
Let o(u) = -u**3 + 5*u**2 + 2*u - 8. Let i be o(5). Let h(z) = -3 - 2 + 0 + 7*z**2 + 5*z**i - 3*z + z**3. Is h(-11) prime?
True
Let h = 51356 - 33519. Is h a composite number?
False
Let j be (-5280)/(-36) - 1/(-3). Let o = j + 500. Is o a composite number?
False
Suppose -d - 8 = -5*d. Let w(f) = f**3 + 7*f**2 - 9*f - 8. Let j be w(-8). Suppose j = -d*r + 7*r - 1295. Is r composite?
True
Let v(y) = 5*y**3 + 7*y**2 - y + 13. Is v(6) a prime number?
False
Let s(i) = 5*i + 4. Let h(r) = -r - 1. Let f(a) = -4*h(a) - s(a). Let p be f(-3). Suppose 4*o + p*x - 267 = 0, 5*x + 291 = 4*o - 0*x. Is o a prime number?
False
Suppose -6*a = -2*a - 5*x + 499, 5*x = -4*a - 549. Suppose 5*w = 2*w - 192. Let r = w - a. Is r composite?
False
Suppose 552*o = 549*o + 5079. Is o a composite number?
False
Let i = 10708 - 6323. Suppose 10*c = 15*c - i. Is c a composite number?
False
Let v(g) = -8*g - 3. Let m be v(-1). Suppose 0 = -5*b + 5*l + 3935, m*l + 771 = -0*b + b. Is b a prime number?
False
Is (-268324)/(-8) - 2*(-5)/20 composite?
True
Is ((-9585)/(-10) + -5)*2 prime?
True
Suppose 3*b + b + 5*p = 13446, 5*p = 5*b - 16785. Is b a composite number?
False
Let t = -18 - -16. Is 5*(-122)/(-4 - t) prime?
False
Let w be 6/(-3)*(-4 + (4 - 1)). Suppose 0 = w*o - 4*l - 338, 0*l = -3*o - l + 535. Is o a prime number?
False
Let f(q) = q**3 - 18*q**2 + q - 13. Let g be f(18). Let y(s) = 16*s**2 - 8*s - 2. Is y(g) a prime number?
False
Let d(i) = 5*i + 1 - 8*i + 4*i + 66*i**2. Is d(2) prime?
False
Let f be 7/28 - 6/(-8). Is 1*(-1)/f*-951 composite?
True
Is 10/(-15) + 3624942/18 prime?
False
Suppose 3*y - 65350 = -4*a + 3449, 4*a - 3*y - 68793 = 0. Is a/42 - (-1)/(-2) composite?
False
Let o(i) = -19*i**3 + 27*i**2 - 2*i + 21. Is o(-11) a prime number?
False
Let w(i) = i + 13. Let u be w(-10). Suppose -4*v + 163 = u*k + 44, 2*v - 162 = -4*k. Suppose -k = -4*t + 51. Is t a prime number?
True
Suppose -7*z + 93 = 2. Let a(w) = 77*w - 8. Is a(z) a composite number?
True
Let s be (3 - 3) + 1 + 1. Suppose -s*l = 7*l - 6057. Is l a composite number?
False
Suppose 5*b = 3*t + 19547, 4*b = 2*t + 8243 + 7393. Is b prime?
True
Let j(l) = 4*l**3 + 19*l**2 - 3*l - 7. Is j(4) composite?
False
Is 1 + -6 + (6763 - -45) composite?
False
Let u be (55/22)/(10/8). Suppose u*m = -i + 5*m + 472, 0 = 5*m - 15. Is i prime?
False
Suppose 0 = -2*x + f + 774, f = x + 162 - 550. Is x composite?
True
Suppose 0 = 5*j + 201 + 1694. Let t = -216 - j. Is t a composite number?
False
Let g(m) = 5*m - 23. Let v be g(6). Let b(q) = 86*q - 15. Is b(v) a prime number?
True
Suppose -7*i = -8*i + 181. Let p = 324 - i. Is p a prime number?
False
Suppose -1272*q + 1275*q = 30111. Is q composite?
False
Suppose 5 - 15 = q. Let i be q/(-4)*30/25. Suppose -i*a + 195 = t - 3*t, 2*a - 143 = -3*t. Is a a composite number?
False
Let k(r) = 18*r**3 + 5*r**2 + 6. Let u be k(5). Suppose 0*c - 2*c - 2*s = -2376, -2*c - s + u = 0. Is c a composite number?
False
Suppose -3*t = -3*b - 7485, -3*t + 6*t - 2*b - 7484 = 0. Let v = t + -251. Is v a composite number?
False
Let b(h) = h**2 + 3*h - 12. Let c be b(-6). Let n(k) = -6*k - 9*k**2 + 26*k**2 - 4*k - c - 29*k**2 - k**3. Is n(-13) a prime number?
True
Suppose -k + 55090 = 5*j, 3*j + 2*k - 54557 = -21496. Is j a prime number?
False
Let j = 1874 + -729. Suppose 682 = 3*w - j. Let d = w - 68. Is d composite?
False
Suppose -2*g - g = 0. Suppose -n - 5*o + 480 = g, 3*o - 2422 = -2*n - 3*n. Is n a prime number?
False
Let c = 47 + -43. Suppose -p + 675 = o, 5*p + c*o - 572 = 2801. Is p composite?
False
Let v be 5/10*-2*-3. Suppose -104 - 16 = -2*s. Suppose 0*l + v*l = 4*f + 50, 0 = -5*l - 5*f + s. Is l a composite number?
True
Suppose -4*p - 5*x + 4 = 31, 0 = -3*p - 2*x - 15. Let l = p + 10. Suppose -l*z - 1261 = -8*z. Is z a prime number?
False
Suppose -o + 523 = 2*y - 763, -3*o - 12 = 0. Let h = y + -248. Is h prime?
True
Let o = 3334 - -777. Is o composite?
False
Let o be (-3*263/(-9))/(2/210). Suppose 5*t + 0*t = o. Is t composite?
True
Let f be ((-9)/(-6))/(9/(-48)). Let b be 1 - (4 - 1) - f. Is ((-4)/(-10))/(b/2490) a composite number?
True
Let c(l) = l**3 - 28*l**2 - 72*l - 64. Is c(31) a prime number?
True
Let n be (-1 + 2/4)*-6. Let a(v) = -v + 26*v**2 - 4*v + 3 + 5 - 4. Is a(n) a prime number?
True
Let h(g) be the second derivative of 23*g**5/60 - 3*g**4/8 - g**3/2 + 5*g**2 + 6*g. Let f(d) be the first derivative of h(d). Is f(8) prime?
False
Let s(z) = z**2 - 10*z + 12. Let q be s(9). Suppose 100 = 3*c - 2*o, 0 = -3*c + 7*c - q*o - 133. Is c composite?
True
Suppose o = 3*d + 6823 - 2325, -2*o - 5*d = -8941. Is o a prime number?
True
Let j(b) = -b**3 - 7*b**2 + 8*b + 3. Let x be j(-8). Suppose -x*k = 4*n - 8, -3*n - k = n. Let h(s) = -53*s + 2. Is h(n) a composite number?
True
Suppose 0 = -3*v + 4*z - 17783 + 47494, -3*v - 3*z + 29697 = 0. Is v composite?
False
Let p(d) = -d**2 + 16*d - 21. Let l(i) = i**3 - 8*i**2 + 7*i + 4. Let n be l(8). Suppose 3*z = -18 + n. Is p(z) a prime number?
True
Suppose 0*r = -3*r + 2*u + 36, -21 = -3*r - 3*u. Is 76616/20 + 2/r prime?
False
Let j = -16 - -4. Let c = j - -12. Suppose c = f - 2*f + 31. Is f a composite number?
False
Suppose 0 = 2*i - 317 - 475. Suppose 2*s - i = -130. Is s a prime number?
False
Let n(c) = -c - 4. Let i be n(-9). Let u = 2558 + -1626. Suppose 0 = -i*q + 5*y + 2335, 2*q + u = 4*q - 3*y. Is q prime?
False
Let d = -3827 + 7636. Let u = -1504 + d. Is u a prime number?
False
Let u = -1423 + 4050. Is u composite?
True
Let r be -3 - (-21)/14 - 1059/(-2). Let p = 967 - r. Is p prime?
True
Let i be (2 - 1) + -1 + -3. Suppose 2*x = -r + 8639, r + 3*r = x + 34520. Is r/12 + i/12 composite?
False
Let d be 0/(3 + -1)*-1. Suppose 5*t = t - 16, d = -5*k - 2*t + 347. Suppose -4*r + 4*u = -568, -3*r + 4*u + k + 352 = 0. Is r composite?
True
Suppose 0 = -4*h - 5*t + 48611, -4*h + 0*t + 48590 = -2*t. Is h prime?
True
Suppose -21*p - 2*p = -127811. Is p a prime number?
True
Let q(c) = 33*c**2 - 3*c - 11. Let m = 65 - 60. Is q(m) prime?
False
Let t(m) = 71*m**2 + 4*m - 22. Is t(-5) composite?
False
Let b(i) be the second derivative of -709*i**3/3 - 11*i**2/2 + 3*i + 2. Is b(-14) prime?
True
Suppose 40277 = -8*t + 213357. Is t a composite number?
True
Let c = -11 - -6. Let b(u) = -u**3 + 4*u**2 - u - 6. Let f(o) = o**3 - 9*o**2 + o + 12. Let a(d) = 5*b(d) + 3*f(d). Is a(c) prime?
False
Let w be 16/5 - 2/10. Suppose w*u = 3*q, 5*q = 3*u - 4 + 2. Let z(j) = -188*j**3 - j**2 - j - 1. Is z(u) prime?
False
Let d(p) = 6*p + 3*p**2 - 9*p**2 - p**3 - 3*p + 9. Suppose -2*z - 18 = 10*x - 8*x, 0 = -4*z - 3*x - 34. Is d(z) prime?
True
Suppose 0 = l - 0*l. Suppose 4*z = -l*z - 20. Is (2