0 = -2*c - w + 1579. Is c prime?
True
Let j(v) = -v**2 + 6*v - 2. Let p be j(5). Let h(i) = 21 - 5 - i**p + 15*i**2 - 11*i + 0*i**2 + 0*i**2. Is h(7) a composite number?
False
Let y = 522909 - 297874. Is y a prime number?
False
Suppose t - 48001 = 4*o, 0 = -2*t - 4*o + 34319 + 61731. Is t a composite number?
False
Let f(b) = b + 5. Let q be f(-1). Suppose -l - 2*l = 4*o + q, -4*l + 1 = -o. Suppose 6*a + a - 861 = l. Is a a composite number?
True
Let o(y) = y**2 - 11*y - 9. Let n be o(12). Suppose -5*v + 2*s = 5*s + n, -3*v + 3*s + 3 = 0. Suppose v = -2*g + 319 - 29. Is g prime?
False
Suppose 4*j = -n - 14 - 37, -3*j - 21 = -5*n. Let h = -24 - j. Is 1794 - 6/((-3)/(h/(-8))) a composite number?
True
Suppose -3*y = -4*i - 14, -4*y - 8 = 3*i - 5*y. Let n be i + ((-9474)/(-14) - 12/(-42)). Let h = n - 226. Is h composite?
False
Let s be 6/12*(-1 + 11). Let q(w) = 47*w**2 - 8 + 4*w - w - 9 - s*w. Is q(-4) a composite number?
False
Let q(z) = 362*z**3 - z**2 - 3*z + 7. Let o be q(-3). Let j = -6544 - o. Is j composite?
True
Suppose 39978 = 12*s + 714. Let x = s - -5471. Is x prime?
False
Let u(b) = 94*b - 24. Let m be u(5). Suppose -2*f = -o + 1299 - m, -4*o + 3412 = 2*f. Is o composite?
False
Suppose -2*l + 7630 = 8*l. Suppose -l = -2*h + s, 4*s - s - 3 = 0. Is h prime?
False
Let i(r) = 2*r**2 + 6*r + 6. Let v be i(-6). Let n be ((v/24)/7)/((-1)/(-8)). Suppose -n*q - 10*q + 23724 = 0. Is q a composite number?
True
Let n be 6425/(-10) + (-8)/(-16). Let t = n + 1549. Is t prime?
True
Let i be (-5 + -175)*22/(-4). Let t = i + -587. Is t prime?
False
Suppose 5*w + 4075 = 140. Let a = -1670 - w. Is (5/(-35) - a/7) + 1 a composite number?
False
Suppose -53*h + 85*h = 2162848. Is h prime?
True
Suppose 0 = 12*o + 6233 + 6127. Let n = 1407 - o. Is n a composite number?
False
Let z = -58 + 97. Suppose 36*x - z*x + 1401 = 0. Suppose 4*j + 558 - 83 = 3*v, 4*j = -3*v + x. Is v prime?
True
Let d(g) = 8055*g**2 - 42*g + 92. Is d(3) prime?
True
Let x be (-2)/(-7) - ((-764)/(-28) + -3). Let a = x - -28. Suppose 2425 = 9*n - a*n. Is n prime?
False
Is -47*4*(118055/(-28))/5 composite?
True
Let g = -25 + 33. Suppose g*d = 3*d + 49650. Suppose -d = -7*x + x. Is x a prime number?
False
Suppose -4*s - 4 = -2*n, -4*n - s = 3*s - 68. Let y(z) = 9*z**2 - 10*z - 25. Is y(n) prime?
True
Suppose -164*f + 13773003 = -1740905. Is f a composite number?
False
Suppose 2*z = 2*m - 300956, 6*z = -2*m + 3*z + 300971. Suppose -23*s + m = -2768. Is s composite?
True
Suppose -52*k + 11049 = -49*k. Suppose 4*x + 58 = -4*m + 14790, -m + 5*x + k = 0. Is m composite?
True
Let d = 2024 - 1437. Let n = 500 - 864. Let g = d + n. Is g prime?
True
Let p(b) = -16*b**3 - 7*b**2 - 33*b + 101. Is p(-16) a prime number?
True
Let i(r) be the third derivative of -65*r**4/24 + 21*r**3 - 108*r**2. Is i(-19) a composite number?
False
Suppose -137*p - 36*p + 18906207 + 37013102 = 0. Is p prime?
True
Let y = -318116 + 571879. Is y composite?
False
Let d(v) = 2*v + 14. Let s be d(-7). Suppose -f - 4*m - 1066 = s, 2*f = 5*f + 3*m + 3207. Let r = f + 1701. Is r a prime number?
True
Let a be ((114/(-95))/((-3)/(-1570)))/(-2). Suppose 1399 = 4*s + 2*j + 143, -s + a = 2*j. Is s composite?
True
Let o(f) = -14*f**2 + 140*f + 10. Let w be o(10). Suppose 99800 = 2*t + 3*t. Suppose 0 = -w*i + 570 + t. Is i a composite number?
False
Let d = -1023 + 1875. Let r = d - 245. Suppose -r = -3*w + 2*f, -2*w - 3*f = -271 - 151. Is w a composite number?
True
Suppose -118*u + 9174786 = 101*u. Is u prime?
False
Suppose 6*h + 18 = 48. Suppose -3*t + 366 = -t - 4*g, 5*t + h*g - 855 = 0. Let y = t + -96. Is y composite?
False
Suppose -1241 = 16*d + d. Let b = d + 70. Is (-1801)/b*(-1)/((-7)/21) prime?
True
Suppose 5*z = -4*h + 280171, 5*z + 320*h - 318*h = 280183. Is z prime?
True
Let n = 5756 - 13040. Let f = n - -12480. Suppose -7*x + o + f = -2*x, 2*o - 3115 = -3*x. Is x a prime number?
True
Is (-828860)/6*(84/(-112))/((-2)/(-4)) a prime number?
False
Let n(z) = 142*z + 1717. Is n(15) a composite number?
False
Let p(i) be the third derivative of -i**6/120 + i**5/3 + i**4/2 - 7*i**3/2 - 10*i**2. Let o be p(15). Let c = o - 653. Is c composite?
False
Let k(y) = 7*y**2 + y - 3. Let t be k(-3). Suppose 0 = t*d - 55*d - 410. Is d composite?
True
Is ((2 + -8)*(-1)/3)/((-58)/(-11873441)) composite?
False
Let k(w) = -1069*w**2 + 140*w + 3. Let j be k(-15). Is j/(-20) + (174/60 - 3) a composite number?
True
Let s(x) = -184*x + 1357. Is s(-13) composite?
True
Let o = -26284 + 39443. Is o a composite number?
False
Suppose 29 = 6*j + 17. Let r(n) = -53*n**3 - 4*n**2 + 4*n - 3. Let b be r(j). Is (b/30)/(2/(-212)) a prime number?
False
Let g be (91/2)/(8/(-240)*-5). Suppose 5*u - 4*x = -0*u + 333, 4*u - x = g. Is u prime?
False
Let x(k) = -230*k + 31. Let v(m) = -115*m + 15. Let u be (102/44 + (-4)/(-22))*2. Let l(r) = u*v(r) - 3*x(r). Is l(7) prime?
True
Is (2 - (-769828)/8)*(-76 - -78) a composite number?
False
Is 2/(-11)*32330165/(-560)*88 prime?
True
Let c(g) be the first derivative of 1522*g**3/3 - 2*g**2 - 3*g - 268. Is c(-1) prime?
True
Is (20/(-60))/((-4)/571476) prime?
True
Let x(n) be the first derivative of -n**2 - 39*n + 9. Let h be x(-19). Let j = h + 212. Is j a composite number?
False
Suppose -a + 44 = 3*l - 5*a, 4 = 3*l + 4*a. Suppose 0 = m + m - 3*t - 4, -l = -4*m - 2*t. Suppose -m*c + j = -0*j - 354, 2*c + 5*j = 354. Is c a prime number?
False
Suppose l - 507679 = -2*d, 4*l - 7*d = -5*d + 2030656. Is l a composite number?
False
Let n be (-4686)/(-9) - 2*(-4)/24. Let l = -226 + n. Is l composite?
True
Let r(p) = 11 + 11*p**2 - 2 + 10 - 4 + p**3 + 10*p. Is r(-8) prime?
True
Suppose 11*i - 8*i = 119409. Is i a prime number?
False
Let i(p) = -6 + 240*p - 42*p - 61. Is i(25) a prime number?
False
Let f(w) = w**3 - 6*w**2 + 7*w + 6. Let c be f(4). Is (3/(1 + c))/((-6)/(-3774)) a composite number?
True
Let h be (-10807)/5 - 40/(-100). Let m = h - -4095. Is m a prime number?
False
Let m = 25548 - -6335. Is m a prime number?
True
Is 1/(6/(-1) - (926469/(-231615) + -2)) a prime number?
False
Suppose -4*u - 4*w = 0, -12 = 2*u - 3*u + 5*w. Let v = 7 + -4. Suppose 0 = 2*k - 4*m - 1358, u*k - v*m = 7*k - 3356. Is k composite?
False
Let z(y) = -884*y + 35. Let d be z(-7). Suppose 10*j - 12*j + d = -w, 0 = -j + w + 3114. Is j a composite number?
False
Suppose 2*c + 10 = -2. Is (2 + (-4 - 0))*24369/c a composite number?
False
Suppose 308282 = -0*w - 26*w. Let q = -3440 - w. Is q a composite number?
True
Let o = -26 + 52. Suppose 4*l - 2811 + o = -p, 0 = -5*p - 3*l + 13925. Suppose 4*j + 4909 = 2*v - 665, -v = -4*j - p. Is v a prime number?
True
Suppose -27630160 - 30363787 = -209*u. Is u a prime number?
True
Suppose 0 = 38*b - 5594 - 902568. Is b composite?
False
Let l(h) = h**2 + 41*h + 44. Let n be l(-40). Is (n/1 - (10 - 1)) + 2034 composite?
False
Let w = 10286 + 147875. Is w composite?
False
Let w(v) = -29*v**3 - 6*v - 6. Suppose 0 = -5*g + t - 18 + 3, 5*g + 4*t = 10. Let j be w(g). Suppose -2*q + 1164 = -j. Is q composite?
False
Let o be (-1304)/6*612/12. Is (1 - o/(-16))/(1/(-4)) prime?
True
Let p(d) = -d**3 - 2*d**2 + 8*d - 1. Let w be p(-6). Suppose 62*l + 6963 = w*l. Is l prime?
True
Suppose -6*q - 5*q + 10683 = -14716. Is q prime?
True
Let x(c) = 3*c**3 - 59*c**2 - 4*c - 31. Is x(50) composite?
True
Let l(f) = -7*f**3 + 6*f**2 - 3*f + 14. Let p(n) = -13*n**3 + 13*n**2 - 5*n + 28. Let g(x) = 11*l(x) - 6*p(x). Let s be g(9). Let b = s - -1438. Is b prime?
False
Let d(q) = q**3 + 20*q**2 - 31*q + 39. Let f be d(-21). Suppose 0 = -2*g + 755 + f. Is g prime?
False
Let s = 662 - 657. Suppose -4*c + 10172 = -s*t + t, -5*c + 12721 = -2*t. Is c a prime number?
False
Let k be (-9)/(-45) - (-1338)/(-15) - 1. Is -3*(-5)/k - (-4891)/6 composite?
True
Let g(s) be the first derivative of -116*s**2 + 51*s + 487. Let r(z) = z**3 + 7*z**2 - 7*z. Let f be r(-8). Is g(f) a composite number?
False
Let f = 52696 + -5331. Is f composite?
True
Let q be (-56)/(-42)*6/4 + 16. Suppose q*h = 5964 + 1902. Is h composite?
True
Let v(x) = 60*x**3 + 31*x**2 + 30*x - 77. Is v(22) a prime number?
False
Let s = -17723 + 28694. Let a = -7570 + s. Is a a composite number?
True
Let m = 1495 - 722. Let y = 2275 - m. Is y composite?
True
Let b be (10/10)/((-2)/(-8)). 