 4*p = 4*a + a, -8 = 3*a - 4*p. Suppose 4*y + 105 = a*h + 577, -3*y + 334 = h. Is y prime?
True
Let z(r) = -r**2 + 7*r + 3. Let s be z(6). Let q(g) = -g**2 + 8*g + 12. Let b be q(s). Suppose -b*a - 121 = -i, i + 14 = -4*a + 128. Is i a composite number?
True
Let c = 329 - 223. Suppose -r + c = 4*h, r = 6*r - 2*h - 618. Suppose -4*t + 3 + 85 = 4*u, -5*t = 2*u - r. Is t a prime number?
False
Let w(a) = a**3 - 8*a**2 + 2*a - 12. Let g be w(8). Is (-2 + 4)/(g/502) prime?
True
Suppose -5*t = -19*t + 9562. Is t prime?
True
Let y(k) = -3 + 5*k + 2 + 20*k**2 - 3. Is y(-3) a prime number?
False
Is 16369/13 - (-5 + (-134)/(-26)) composite?
False
Let m(j) = j**2 + 15*j - 16. Let f be m(-16). Suppose -2*a = -s + 303, 624 = 2*s - f*a + 2*a. Is s prime?
False
Let h(f) = -94*f + 237. Is h(-29) composite?
False
Is ((-3)/2)/((-243)/17227890) prime?
False
Let i(c) = 70*c**2 - 4*c - 19. Is i(-13) a composite number?
False
Let y(p) = p**3 - 4*p**2 - 12*p + 3. Let s be y(6). Let h(a) = 128*a**3 - 3*a + 6. Is h(s) composite?
True
Suppose 95 - 15 = -5*i. Let h = i + 13. Let z(a) = -12*a**3 + 2*a**2 - 3. Is z(h) composite?
True
Suppose 15 = 2*d + 19, l - 2*d = 2505. Is l a prime number?
False
Suppose 109*a - 100*a - 46323 = 0. Is a prime?
True
Let f(v) = v**2 + 8*v - 11. Let m be f(-11). Is (-5637)/(-2) - m/(-44) prime?
True
Is (72736/(-8))/(-4) - (6 + -2) prime?
True
Let o(b) = b**3 - 12*b**2 - 14*b + 2. Let g be o(13). Let n(d) = 10*d**2 - 16*d + 1. Is n(g) composite?
True
Let k(d) = -2*d + 15. Let m(o) = -o - 1. Let g(v) = k(v) - m(v). Let f be g(10). Suppose 0 = f*z - 90 - 0. Is z prime?
False
Suppose 0 = -5*h - 5*o, h + 2*o - 18 = 7*o. Let i be (-1)/(-3) + (-793)/h. Let n = 229 - i. Is n composite?
True
Let f(h) = -172*h - 41. Is f(-6) composite?
False
Suppose 0 = s - 2*s + 2. Suppose s*d - 3*n = n + 114, -3*d = -4*n - 181. Is d prime?
True
Let z = 1146 + 1313. Is z prime?
True
Let l = 3663 + 35228. Is l composite?
False
Let x be 4 + (-2 - -12) + -4. Let p = x - 11. Is 409*(-1 - 0)*p prime?
True
Let g(a) = 8*a**2 + 3*a + 1. Let n be g(4). Suppose -5*m = 2*m - 1260. Let x = n + m. Is x a prime number?
False
Let t(n) = 6*n**2 + 32*n + 18. Let r(m) = -m**2 - m - 1. Let l(s) = -5*r(s) - t(s). Is l(-20) a composite number?
False
Let t(j) = -57*j + 32. Let n be (1*6)/(-7 - (-66)/10). Is t(n) a composite number?
False
Let i(x) be the third derivative of 13*x**5/20 - x**4/8 - 5*x**3/6 - 19*x**2. Is i(6) a prime number?
True
Let c be ((-15694)/(-35) - -4)*5*-1. Let l = c + 4171. Is l composite?
True
Suppose -7281 = -13*v - 443. Is v a composite number?
True
Suppose 0 = 1586*u - 1573*u - 127439. Is u composite?
False
Suppose 2*g + x - 4*x - 54883 = 0, 2*g + 3*x - 54865 = 0. Is g a composite number?
False
Is (300458/(-51))/((-2)/((-18)/(-3))) a prime number?
False
Let u be 4/10 + 342/(-5). Suppose 1350*p = 1346*p + 420. Let i = p + u. Is i a prime number?
True
Suppose -15*r - 4*t = -12*r - 8629, -5*t = 4*r - 11506. Is r a prime number?
True
Let n be -2*(2*(-466)/8 - 1). Let g = -488 + 908. Let m = g - n. Is m a prime number?
False
Let m = -3 + 8. Suppose m*s - o = 30 + 24, 4*o = -2*s + 26. Let g = 33 - s. Is g prime?
False
Let b be -2 + (-80)/(-6) + 7/(-21). Let a(o) = 10*o**2 - 26*o - 13. Is a(b) prime?
True
Let f = 44331 + -11500. Is f prime?
True
Let w be -3 - 819*(1 + -4). Suppose 5*q = w + 2281. Is q a prime number?
True
Let g(b) = 40*b**2 - 3*b + 111. Let k(w) = -13*w**2 + w - 37. Let v(c) = -2*g(c) - 7*k(c). Is v(-7) composite?
True
Let m = -60 + 66. Suppose -260 - 706 = -m*a. Is a prime?
False
Let m = 13 + -14. Let g(y) = 5*y**2 + y. Let s be g(m). Suppose 0 = s*b - 25 - 3. Is b a prime number?
True
Let c be 16/10*(-15)/(-6). Is (-8)/(8 - c) + 3*181 a prime number?
True
Suppose 20 = 5*c, -2*k + 4*c - 10908 = -0*c. Let x = k - -8385. Is x a composite number?
False
Let f(v) = -v**3 - 25*v**2 - 15*v + 20. Is f(-33) a prime number?
True
Let h = 1099 + 2251. Suppose 5*n - 11735 = h. Is n a composite number?
True
Let m(h) = -3*h**2 - 7*h - 5. Let w be (-2)/(4 - (-27)/(-6)). Let a(d) = -d - 1. Let q(z) = w*a(z) - m(z). Is q(-4) a prime number?
True
Let i = -36 + 39. Suppose -5*x - 263 = -m - 3*x, i*m + 3*x = 789. Is m composite?
False
Suppose 11*j = 18*j - 325073. Is j prime?
True
Let h(p) = 5 + p + 6*p + 0*p. Is h(12) prime?
True
Suppose n - 4*n - 4698 = 0. Let s = 2231 + n. Suppose -509 = m - 5*m - 3*r, -5*m + 2*r = -s. Is m prime?
True
Is (2 + -4155)*60/(-20) a prime number?
False
Suppose 18 = 3*j - j. Suppose 0 = -4*v - 1 + j. Suppose 0 = 3*h + 3, v*h = -b - 0*h + 55. Is b a composite number?
True
Let x(q) = q**3 - 11*q**2 - q + 26. Let v be x(11). Let r(a) = 6*a**2 - 29*a - 20. Is r(v) a prime number?
False
Suppose 6*p - 2274 = -2*g + p, 0 = g - 3*p - 1159. Suppose 5*a - g = 1588. Is a a prime number?
True
Let i(j) = j**3 - 11*j**2 - 22*j + 11. Let y be i(10). Let q = 1646 + y. Is q a composite number?
True
Let j = 789 + -1439. Let n = j - -943. Is n prime?
True
Suppose a + a - 12 = 0. Let p(b) = -15*b + a*b**2 - 11*b + 8 - 3. Is p(11) composite?
True
Let r(j) = 4*j - 5*j + 9*j - 1 - 2*j. Let h be 2/4*(-7 - -25). Is r(h) a prime number?
True
Let l = 362 - -85. Is l prime?
False
Let w = -34 - -28. Is -1 - (2 - 916/(-6)*w) prime?
False
Let i = 3721 + 7908. Is i a prime number?
False
Suppose 61978 = 2*p + 21*q - 17*q, 0 = -2*p - 2*q + 61986. Is p a prime number?
False
Suppose 1 = -r + 3. Suppose y - r*s + 7 = 0, -3*y - 5*s + 20 = -14. Suppose -4*o = y*z - 38, 3*o = -2*z + 7*z - 44. Is z prime?
False
Let l = -164 + 2981. Suppose 3*o = -426 + l. Is o a prime number?
True
Let d(g) = -g**3 - 4*g**2 + 5*g + 2. Let h be d(-5). Suppose -h*y - 3 = 1. Is y*(-76)/32*4 a composite number?
False
Suppose 10*b - 5*b = 4*z - 186056, 0 = -5*b + 20. Is z a composite number?
True
Let o = 7 + -3. Suppose 4591 = 5*a - 4*y, -a = -2*y - 2*y - 915. Suppose o*m - 141 = a. Is m a prime number?
False
Let a = -456 - -115915. Is a prime?
True
Let y(d) = 16*d - 1. Let s = 3 + 2. Suppose 0 = -3*a + s*a - 4. Is y(a) a composite number?
False
Let a(f) = 2*f + 13. Let m be a(-4). Let o(g) = -g - 1. Let k be o(-4). Suppose -k*l + 196 + 1031 = -2*h, -3*l - m*h = -1206. Is l a prime number?
False
Suppose 0 = 3*w - 7*w + 8. Suppose w*i = i + 18. Let x = i - 7. Is x a composite number?
False
Suppose -2*n = -p + 2838, -5*p = -10*p - 3*n + 14242. Is p composite?
True
Suppose -4*z + 25843 = 70*w - 65*w, 32282 = 5*z - w. Is z prime?
False
Suppose -q - 268 = -4*d, 3*d - 273 = 2*q + 238. Let s = q - -347. Suppose 5*a + 375 = 4*y, -y + 2*y + 4*a = s. Is y a prime number?
False
Let y be (-9 + 82)*6/(-2). Let c = y + 361. Is c composite?
True
Suppose -4*p - 4290 = 5*r, -p - 2*p + 4*r = 3202. Let z = -591 - p. Is z prime?
True
Let d be (-98)/(-12) - (-5)/(-30). Suppose 2*s - 100 = -d*f + 3*f, -308 = -5*s + 2*f. Is 48/s + 702/10 prime?
True
Let a(y) be the second derivative of -y**5/20 + y**4/12 - y**3/3 + 137*y**2/2 - 10*y. Let n be a(0). Suppose -74 = -h + n. Is h composite?
False
Suppose 5*m - 49685 = -5*z, 0 = -4*m + 2*z + 53630 - 13894. Is m a prime number?
False
Suppose -r - 22 = -24. Is 3/(-5) + r/15*5997 a prime number?
False
Let x(o) = 1285*o + 437. Is x(12) a prime number?
False
Let k(o) = -4*o**3 - 13*o**2 + 6*o - 247. Is k(-28) a prime number?
True
Suppose 0 = 3*h - 6*h - 12, -2*h - 6 = r. Suppose -x + r = -0. Is x/(-5) - (-1874)/10 prime?
False
Let u be 4/(-6) + (-100)/(-6). Let j = 1119 + u. Is j a prime number?
False
Suppose 5*o + 3*b + 44 = -19, 3*b = -3. Let i(d) = -1 - 1 - 8 - 7*d. Is i(o) a composite number?
True
Suppose 2*z = 6*z - 5*v - 2353, 4*z - v - 2349 = 0. Is z prime?
True
Let m(a) = 20*a**2 + a - 6. Suppose -12*c - 62 = 22. Is m(c) a prime number?
True
Suppose -143 + 95 = 3*q. Let a(g) = 3*g**2 - g + 26*g - g**2 + 15. Is a(q) a prime number?
True
Suppose 43*u - 708499 = -184802. Is u a composite number?
True
Let q(f) = -2*f**2 - 4*f**3 - 8*f**2 - f - 3 + 4*f**2. Let r be q(-4). Suppose r = -3*k + 4*k. Is k a composite number?
True
Let p = 240 - -2491. Is p a prime number?
True
Is (88 - 93)/((-540)/(-541) + -1) a prime number?
False
Let r = -176 + 618. Suppose h + 8 = -h. Is 2 + h/((-8)/r) prime?
True
Let j(m) = 11*m**2 - 2*m - 7. Let y be j(-2). Suppose 5*a = -i + y + 22, 0 = 3*a + 4*i