
Let w(l) = -l**3 + 30*l**2 - 34*l - 33. Let q be w(27). Let u = 2245 - q. Is u composite?
False
Suppose -40*y = -43*y. Suppose y*p + p + 3*h - 1127 = 0, -p - 4*h + 1125 = 0. Is p a prime number?
False
Let u(a) = -123*a**2 - 35*a - 10. Let y be u(-6). Let l = 3223 - y. Is l a prime number?
True
Suppose 154*g - 154740 = -3*u + 155*g, -2*g + 51587 = u. Is u prime?
True
Let g(w) = 70*w + 69*w - 136*w + 203. Let s be g(0). Suppose -3*n - s = -v, -7*n = v - 2*n - 171. Is v composite?
False
Let q(z) = -2*z**3 - 7*z**2 + 3*z - 2. Let y be q(-4). Suppose y + 8 = 2*c. Suppose 2*o - 5 = 5*n + 9, 0 = c*o - n - 35. Is o a composite number?
False
Let t(r) = -r**2 - 5*r - 6. Let x be t(-3). Is (-238)/(-1309) - (x + (-170958)/22) prime?
False
Suppose -5*q - k - 4 = 0, -7*q = -9*q + 5*k + 20. Suppose -19*b + 10*b + 13887 = q. Is b prime?
True
Let r(z) = -115*z**2 + z. Let o be r(5). Let x = -1611 - o. Is x a prime number?
True
Let z(a) = -8*a + 54*a**2 + 28*a - 51*a**2 - 37. Is z(30) a composite number?
True
Let f(p) = 480*p + 1279. Let t be f(-4). Suppose 4*c - 26 = c + 5*u, 0 = 2*u + 8. Is ((-6)/3)/(c/t) a composite number?
False
Suppose -6 = -6*a + 3*a. Suppose 30245 = 3*d + a*z, 0 = -4*d + z + z + 40336. Suppose 13*o - 5686 = d. Is o composite?
False
Suppose 3*t - 4*y - 15873 = 3134, -t = -y - 6335. Let f(x) = -7*x + 504. Let n be f(72). Is t/3*(n - -1) composite?
False
Suppose 2*r - 14 = 0, 2*v - 97*r - 754487 = -100*r. Is v a prime number?
False
Let z(v) = 3613*v**2 + 8*v - 7. Let f be z(1). Let r = f + -1159. Is r composite?
True
Let o = 62124 + -33215. Is o composite?
False
Let c = 10623 - -1596. Let o = -3092 + c. Is o a composite number?
False
Let l(h) = -260*h - 43. Let s(j) = 3*j + 1. Let q(x) = -2*l(x) + 10*s(x). Is q(7) prime?
False
Suppose 16 = -4*m + 2*g, -m - 49 = -4*g - 31. Is (-23640)/(-6) - (m + 3 - 4) a prime number?
True
Suppose 0 = -1116*r + 1120*r - q - 10511, -2*r - 5*q = -5283. Is r prime?
False
Let p(a) = a - 34. Let k be p(16). Let z be ((-13)/k + (-2)/9)*6. Suppose z*r = 456 + 1581. Is r prime?
False
Let n(w) be the third derivative of -w**6/60 - 3*w**5/20 + w**4/24 - 5*w**3/6 - 4*w**2. Suppose -57*s = 5*s + 434. Is n(s) composite?
False
Suppose -3*h + j - 4*j = -24531, 5*h + 2*j = 40894. Suppose -4912 = -3*b + p, 5*p - h = -b - 4*b. Is b a prime number?
True
Suppose -f - 23 = -4*q + 4*f, -3*f = -3*q + 15. Suppose -a = -4*k - 8302, -5*k - q*a - 8816 = 1568. Let h = k + 3869. Is h a prime number?
False
Is (319868/(-18))/((-224)/(-336))*-21 a prime number?
False
Suppose 2*r + 6*r - 1272 = 0. Let l = r - -35. Is l a prime number?
False
Let g = 56328 - 12857. Is g prime?
False
Suppose -o + 3*p = 5*p - 29115, -29118 = -o - 3*p. Suppose -2*y - 3*v = -o - 7274, -2*y = -v - 36371. Is y composite?
True
Suppose 0*q + 0*q = 2*q. Suppose 2*t - 26 = -q*t. Suppose 9*r + 2804 = t*r. Is r a composite number?
False
Let c = -2158 + -371. Let o = 4030 + c. Is o prime?
False
Let z(n) = -2*n**2 + 69*n + 86. Let h be z(-24). Is (2 - 13/(-2))/(-1)*h a composite number?
True
Suppose 0 = y + 4*w + 19158, 3*y = 4*w - 3*w - 57409. Let g = -10637 - y. Is g composite?
False
Let l(w) = 27*w**3 + 2*w**2 - 2*w + 4. Let o be l(-2). Let u = -5 + 8. Is u*(o/(-15) - 2) composite?
True
Let r be 27/4 - 5/(-4). Let b(t) = 294*t + 17. Is b(r) composite?
True
Let o(h) = -2000*h + 346. Is o(-9) prime?
False
Suppose k + g - 3 - 3 = 0, 2*g + 8 = 3*k. Suppose -4*a + 5*o = -39, 0*a = 4*a + 2*o - 18. Suppose -k*c + 2*x = a*x - 5100, -2*x = -8. Is c a composite number?
True
Suppose 42*p - 46*p + 782056 = -3*g, -4*g - 16 = 0. Is p prime?
True
Suppose -4*x = -9372 - 2644. Suppose x = 8*z - 6*z. Let r = -615 + z. Is r a prime number?
True
Let f(v) = 2150*v**2 - 1134*v + 1. Is f(12) prime?
True
Let u(a) = -415*a**2. Let w be u(5). Let s = w + 16864. Suppose -1029 = -6*l + s. Is l prime?
False
Let r(b) = 33*b**2 + 8*b - 19. Let m be -4 - (-8 - (5 - 5)). Is r(m) composite?
False
Let l = 4320002 + -2561205. Is l prime?
True
Let b be 2*(8/(-52) - 74297/(-13)). Let z = 23561 - b. Is z a prime number?
False
Suppose 5*s - 64523 = -l, -3*s = 120 - 144. Is l composite?
False
Suppose 4*l - 15*t + 14*t + 256891 = 0, 3*l = -4*t - 192692. Is 1 + 5/((-20)/l) a composite number?
False
Is -2*(((-1397295)/(-10))/(-9) + 4) composite?
True
Let v(n) = 784*n - 31. Let z(l) = l**2 + 3*l - 3. Let g be z(-6). Suppose 0*w = 5*w - g. Is v(w) prime?
False
Let j(p) = 2*p - 7. Let g be j(8). Suppose g*o + 6*o = 210. Suppose o*l - 1761 = 11*l. Is l a prime number?
True
Suppose -4089151 - 1814021 = -108*n. Is n composite?
True
Let a = 267 + -264. Suppose -a*d + 59428 = -5*o, -31931 = -4*d - 2*o + 47263. Is d a prime number?
True
Let c = -169845 + 441598. Is c a composite number?
False
Suppose -376 = -8*j + 4*j. Let q = j + -48. Suppose 5*s - 791 + q = 0. Is s composite?
False
Suppose 0*k = k + 12818. Let b = -4459 - k. Is b prime?
False
Let k(o) = 22*o**3 + 2*o**2 - 14*o + 73. Is k(13) a composite number?
False
Let m = -974 + 12409. Let c = m - 4702. Is c composite?
False
Let l = -190 - -193. Suppose -7736 = l*h - 11*h. Is h a prime number?
True
Let i = 4138 + -2446. Let d = i + -550. Is d composite?
True
Is (21938 - -20)/(3 - (2 + -1)) prime?
True
Let s be 1*(6/4)/((-90)/(-1560)). Suppose -2*d + s*d = 27192. Is d a prime number?
False
Let i be -3 - 19994*4/(-2). Suppose -5653 = 12*q - i. Is q a prime number?
True
Suppose -467*y + 459*y + 7330696 = 0. Is y prime?
True
Suppose 36896 = 7*q - 348650. Suppose 2*p + 5481 + q = 5*y, 60568 = 5*y + p. Is y prime?
True
Let m(l) = -l**2 - 12*l + 28. Let f be m(-14). Let r(q) = -2*q. Let h be r(f). Suppose 3*v - 5*u - 16541 = h, v + 4*v = 5*u + 27555. Is v prime?
True
Let o(q) = -1161*q. Let b be o(-3). Let w = b + 59. Suppose w = 2*y + 1152. Is y composite?
True
Let o(a) be the second derivative of a**4/12 - 5*a**3/3 - 4*a**2 + 6*a. Let t be o(7). Is -4 - (3*t + 4) a composite number?
False
Is (460270/(-8))/((-19)/(-304)*-10) a composite number?
True
Suppose 0 = -42*k - 61*k + 4955227. Is k a composite number?
False
Suppose -3*f + 9 = 3*a, -2*f + 4*a - 18 = 6. Let u(y) = 1046*y**2 + 5*y + 3. Is u(f) a composite number?
False
Let c(l) = 137*l**2 + 286*l + 11. Is c(-18) a prime number?
True
Let k(j) = 3245*j + 14. Let f be k(-4). Suppose 67*v - 20 = 72*v. Is f/(-9)*((-22)/v - 4) prime?
True
Let b(f) = -69287*f + 66. Is b(-5) a prime number?
True
Let z be (-864)/(-7) - 6/14. Let o = -113 + z. Is o/(1/(4 + (-618)/(-4))) a prime number?
False
Suppose -36 = t - 13*t. Suppose 0 = -2*s - t*s + 4660. Is s/(-6)*(0 + (-24)/16) composite?
False
Let o be 5/(5/40*4). Suppose -4*j = -o + 22. Is (2029 - 6) + (-7 - j) prime?
False
Let p(m) be the third derivative of m**6/120 + 2*m**5/15 - 13*m**4/24 - 4*m**3/3 - 17*m**2. Let d be p(-9). Suppose -d = -2*v + 194. Is v a composite number?
True
Let j(f) = 13*f**2 + 17*f + 8. Let h be j(-11). Let a = 1425 + h. Is a prime?
True
Suppose -448582 = 56*k - 58*k. Is k prime?
True
Let g be -1*(-8)/(-32)*-132. Suppose -g*w + 44459 + 51142 = 0. Is w prime?
True
Suppose o = 4*s - 7*s - 19, -5 = -o + 3*s. Let d(r) = -r**3 - 5*r**2 + 11*r - 17. Let g be d(o). Suppose -g*q = -2*f - 9902, -f = -3*f + 6. Is q a prime number?
True
Let w = -361 + 366. Suppose w*y - 5*q + 0*q = 8190, 4*q - 4 = 0. Is y a prime number?
False
Let v(n) = 28*n - 45. Let t(s) = -29*s + 46. Let p(g) = 4*t(g) + 5*v(g). Let k = 121 + -111. Is p(k) prime?
True
Let c(j) = -68*j**3 + 2*j**2 + 3*j + 2. Let v = -183 + 180. Is c(v) a prime number?
True
Let j(w) be the first derivative of w**3/3 - 23*w**2/2 + 109*w - 22. Is j(18) a prime number?
True
Suppose -4*y - o - 344 = 1998, 2*o = 4. Let v = 855 + y. Is v a prime number?
True
Let w(a) = -a**2 - 9*a + 18. Let o be w(-10). Let p be -1*4/(o/(-5518)). Suppose -q + 1848 = q - i, -3*q = 5*i - p. Is q a composite number?
True
Let o(u) = u**2 + 16 + 9*u - 6 + 0*u + 0*u. Let w be o(-8). Suppose 0 = k - 5*k - w*d + 1994, 0 = -5*k - 3*d + 2490. Is k a composite number?
True
Suppose 24689 = -63*v + 70*v. Is v composite?
False
Suppose 14*t - 470557 = 29829 + 229672. Is t prime?
True
Suppose 0 = -86*h + 27020600 + 20193486. Is h composite?
False
Suppose -13*z = -6913 + 18769. Let g = z - -1439. Is g a prime number?
False
Let d(y) = 926 - 927 + y*