Let m(l) = -l**3 - 6*l**2 - 10*l - 5. Let z be m(-4). Let h be -2*z/(-6) + -1. Is t(h) a prime number?
False
Let q(f) = 27219*f + 5347. Is q(6) a composite number?
True
Suppose -4*v + 364295 = -4*j - 555293, -2*v - j = -459794. Is v prime?
True
Let m = 200 - 441. Let d = m + 1286. Let t = d + -638. Is t a prime number?
False
Let q(m) = -7367*m - 3616. Is q(-15) composite?
True
Let b = 92 - 101. Let v(y) = 48*y**2 - 5*y + 68. Is v(b) a prime number?
True
Suppose 2*p - 5*s - 17596 = 0, -12*s - 44007 = -5*p - 8*s. Is p a composite number?
False
Suppose -37*x - 1303972 = -4*f - 41*x, f - 325975 = 2*x. Is f prime?
True
Suppose 2*w + 0*p - p + 67 = 0, 2*w + p = -73. Let v = 36 + w. Is (v - 2)/1 - -4266 composite?
True
Suppose -2*o + 3551930 = w, -3*o + 3533923 = 4*w - 1793972. Is o a composite number?
True
Let y(w) be the third derivative of -43*w**4/8 + w**3/3 - 10*w**2. Let t(q) = 130*q - 2. Let j(l) = -2*t(l) - 3*y(l). Is j(3) a prime number?
True
Let g = 3974 - -7404. Suppose 4*q - g = -p, q - 2847 = 5*p - 4*p. Is q composite?
True
Suppose -f + 2 = 0, 15 = y + 3*f + 2*f. Let k be (-2 + y)/6*1650. Let b = 1264 - k. Is b a prime number?
True
Let l = -4 - -9. Suppose l*r - 15798 = -5*b - 5148, 0 = -b - 3*r + 2132. Is b a composite number?
False
Let z(y) = y**2 - 2*y - 1. Let r = 33 - 30. Let x be z(r). Suppose 0 = -2*v - 5*c + 1575, x*v + c = -140 + 1711. Is v a prime number?
False
Suppose 0 = -4*s - 5*g + 5, -3*s + g - 1 = s. Suppose s = 4*n - 4*h - 41988, -4*n + 44229 = -3*h + 2243. Is n prime?
False
Let d(v) = -v - 5. Let q be d(-7). Suppose -q*s - 6 = -2*x, s + 6 = x + x. Suppose -17*c + 22*c - 2935 = s. Is c a prime number?
True
Let c(z) = 4255*z**2 - 91*z + 833. Is c(16) prime?
True
Let l = -111 + 111. Suppose -7*i = -l*i - 41783. Is i prime?
False
Let q = -2559 + 11050. Suppose o - 4456 - 4047 = 2*t, -o = 2*t - q. Is o composite?
True
Let l be 3/4 + 31275/(-180). Suppose 0*x = -2*x + 520. Let f = x + l. Is f composite?
True
Let p be 0/((-299)/(-253) + 2/(-11)). Is (-52 - -26097) + (8 - p) a prime number?
True
Let p(a) = 14*a + 35. Suppose -8*x + 5*x = 0. Suppose x = -4*q - 0*q + 72. Is p(q) a prime number?
False
Let d = 967843 - 522546. Is d a prime number?
True
Suppose -55 = 5*z + 30. Let u(o) = -131*o + 222. Is u(z) a composite number?
True
Let w be 5*(3 - (0 + (1 - -1))). Suppose 4*a = -w*n + 6, 0 = n + 1 + 1. Suppose -a*l = -124 - 1744. Is l composite?
False
Let y(o) = 113*o**2 + 3*o + 8. Let g be y(-4). Let v = g - -3618. Is v composite?
True
Let z(j) be the second derivative of -25*j**3 - 79*j**2/2 + j + 4. Is z(-22) a composite number?
False
Suppose -3*u + 2465 = -475. Suppose -2*n = -5*m - 510, 4*n + m - u = 84. Is n a prime number?
False
Suppose -2*f = 2*u - 2, 4*f - 2*f = 5*u + 16. Let w(g) = -4*g**3 - 20*g**2 + 5*g - 19. Let k be w(-7). Suppose 0 = f*p - k - 829. Is p a composite number?
False
Let y(i) = -i**3 + 9*i**2 + 14*i - 11. Let g be y(10). Let p = g - 27. Is (67/p)/((-18)/(-36)) a composite number?
False
Suppose -2*a + 45620 = 3*f - 103473, 0 = 3*a + f - 223650. Is a a prime number?
True
Let h = -24107 - -60126. Is h a prime number?
False
Suppose -239*x + 2148387 = -182*x. Is x a prime number?
True
Let r = 157762 - 23915. Is r a prime number?
False
Let x(s) = 21*s + 17. Let t be x(-1). Is 25/(-100) + t/((-16)/5445) composite?
False
Let r be 3 + (2 - (0 - 30520)) - 3. Suppose 0 = -11*w - 1757 + r. Suppose 4*y = 5549 + w. Is y a prime number?
False
Suppose 5*r - 5733 = -u, -5*u - 23*r + 28745 = -18*r. Is u composite?
True
Suppose -2*n = 5*k - 5, -2*k + k + 1 = 5*n. Suppose n = -4*s + 110758 + 36198. Is s prime?
True
Let f(u) = -9240*u**3 - 2*u**2 - 11*u - 10. Suppose -154*t + 4 = -158*t. Is f(t) prime?
True
Let c(x) = 24*x**2 + 22*x - 43. Let w be c(-18). Let b = w - 4264. Is b prime?
False
Let j(i) = 1300*i**2 - 163. Is j(-9) composite?
False
Suppose l - 1213424 = -14*l + 1160641. Is l a composite number?
True
Suppose 29*a - 332659 = 25*a + 5*m, 3*a - 249471 = -4*m. Is a a composite number?
True
Let o(f) = 21*f**2 - 16*f - 16. Let s be o(-8). Let c = s - 88. Suppose -c = -u + 1795. Is u prime?
True
Is (444145/(-78) - -7)*-6 composite?
False
Let a(f) = 6*f**2 + 2*f - 2. Let d be a(3). Let z = d - 59. Is (z + -2 - -5) + 189 a prime number?
True
Is (82/10)/((-41)/(-808315)) prime?
False
Let a(u) = 56351*u - 227. Is a(8) composite?
False
Let l(s) be the first derivative of -4 - s**3 + 5*s - 4*s**2 - 1/4*s**4. Is l(-6) a prime number?
False
Suppose 78*j - 17755280 = -2*j. Is j prime?
True
Suppose 11*u - 333152 - 502089 = 0. Is u prime?
True
Suppose 278 = 2*k + 38. Is -1 - (-8)/3*13230/k a composite number?
False
Let b(a) = 66184*a - 23. Is b(1) a prime number?
True
Let j = 74 - 40. Let u be (-408)/j*(4/(-2))/8. Suppose 4*g - i = 1505, u*i - 16 = -7. Is g a composite number?
True
Let p = 363 + -339. Suppose -3*h - y = -28242, 37667 = 4*h + p*y - 19*y. Is h composite?
False
Let i(h) = -55*h + 19. Let c be i(-10). Suppose 2*q = 275 + c. Suppose -2*r + 168 = -q. Is r a composite number?
True
Let t = 25067 + 22944. Is t composite?
True
Let a(u) be the first derivative of 55*u**3/3 - 21*u**2/2 - u + 51. Is a(17) prime?
False
Let t(n) = 241*n**2 + 359*n - 103. Is t(29) composite?
True
Let g(s) = 52376*s + 719. Is g(21) a prime number?
False
Suppose -210*p - 105 = -231*p. Suppose p*m = -3*v + 4806, 3*v - 3646 - 1130 = 5*m. Is v prime?
True
Let v(q) = -q**2 - 13*q - 13. Let b be v(-5). Let g = 29 - b. Suppose -374 - 232 = -g*r. Is r a prime number?
False
Let p = -159 - -398. Is p a prime number?
True
Is (7 + 620/(-80))*(-338204)/3 prime?
True
Let z(p) = 421*p**2 - 50*p - 148. Is z(-3) composite?
True
Let q(l) = -6*l + 2. Let g be q(-7). Suppose -32*b = -g*b + 43932. Is b a prime number?
False
Let m(g) = 4111*g - 104. Let x be m(16). Suppose 29*z + x = 37*z. Is z composite?
False
Suppose -22622868 = -197*q + 89*q. Is q prime?
True
Let a(u) = 29*u + 22 - 66*u - 153*u + 22*u. Let q be a(-3). Suppose q + 1766 = 12*l. Is l composite?
False
Let u(p) = -p - 1190 + 5*p + 411*p**2 + 1174. Is u(-3) a composite number?
False
Let l(n) = -23*n**2 + 8 + 10 - 2*n**3 - 7*n + 15. Is l(-13) prime?
True
Suppose -r - 364 - 2081 = 0. Let d = 221 - r. Let o = d + -1879. Is o a composite number?
False
Is 8*(-14)/1120*-172310 prime?
True
Let w = 373 - 362. Let y(z) = 589*z + 68. Is y(w) a prime number?
True
Is 5 - -10*(1424373/(-57))/(10/(-4)) prime?
True
Let j(z) = 3 - z - 9 + z**2 + 4. Let w be j(0). Is 0 - w*(-2212)/(-8) composite?
True
Suppose 3*b = -0*b - 5*f - 6341, 0 = -5*b + 5*f - 10595. Let m = -610 - b. Is m a prime number?
False
Is -2 + 9 + (10 - -78674) composite?
False
Let k = -26 + 28. Suppose -2*n + 1905 = -5*o, 4*o = k*n - 290 - 1232. Let x = 24 - o. Is x a composite number?
True
Let v be -7 - (-84)/9 - (-2)/3. Suppose v*c = 19*c - 198992. Is c prime?
True
Let z be 3/(-6) - (-44930)/4. Suppose -3*q + 4*n + 2127 + z = 0, -2*q - n = -8895. Is q a composite number?
True
Let i(j) = -13087*j - 9582. Is i(-85) composite?
False
Suppose 4*a = -430 + 518. Suppose a*k = 161506 - 41870. Is k prime?
False
Let m(i) = -i**3 - 5*i**2 - 7*i - 10. Suppose -32 = 3*z - 4*d, -2*z - 18 = -d - d. Let x be m(z). Suppose -236 = -x*n + 378. Is n a prime number?
True
Suppose 3*g = 5*k + 2236203, 3*k = -4*g - 3*k + 2981528. Is g a composite number?
False
Let k(p) = -p. Let d be k(-6). Let l(t) = 17*t - 84. Let m be l(0). Is (-14)/m + 2993/d prime?
True
Let m(a) = 1446*a**2 - 11*a - 578. Is m(-21) composite?
False
Let c = -20 + 33. Let m = 103 + 32. Suppose -m - 1672 = -c*o. Is o a prime number?
True
Suppose 181*j = 14887195 + 8575654. Is j composite?
False
Is -1468652*3/6*(9 - (-114)/(-12)) a composite number?
False
Let w = 459 - 133. Let p be w/16 + (-3)/(-8)*-1. Is (97*-2)/(p/(-10)) prime?
True
Let q be 2/(-1 + (0 - -2)). Suppose 16*x = -15*x - 248. Is (-1027)/(-4) - q/x prime?
True
Let r(c) = -c**2 + 14*c - 26. Let u be r(-15). Let y = 1026 + u. Is y composite?
True
Suppose 0 = -6*a - 7*a. Suppose 3*v + 3711 - 11958 = a. Is v composite?
False
Let m(x) = 53*x + 26. Let k = 70 - 67. Is m(k) a prime number?
False
Suppose b - 2*d + 2417 = 0, b = -4*d + 2*d - 2421. Let n = 8132 + b. Is n composite?
True
Let z be (-6)/4*(2 - 30/9). Suppose n = -z*n + 4*j + 8, j + 2 = 4*