7*s - 1280. Is s a prime number?
True
Let m(a) = -a**3 - 58*a**2 - 29*a + 333. Is m(-65) prime?
True
Suppose -q = 4, 2476 = 2*d - 3*q - 4354. Suppose 0 = o - 4*h - d, 0*o + 4*h = 4*o - 13636. Is o a prime number?
False
Let d(w) = -6*w + 148. Let y be d(11). Suppose 0 = y*o - 58*o - 18408. Is o a composite number?
True
Let z(u) = 37*u**3 + 5*u**2 - 10*u - 9. Let w(h) = -h + 30. Let p be w(15). Let f be 69/p - 6/(-15). Is z(f) composite?
False
Let o = -73 + 75. Suppose o*r - 239 = -1509. Let p = r + 2476. Is p composite?
True
Suppose 3*n = c - 29432, -6*n + n + 15 = 0. Let d = -21022 + c. Is d prime?
True
Let o(y) = -625*y + 16. Let b(x) = 2*x**2 + 30*x + 26. Let f be b(-14). Let r be o(f). Suppose 6*v = r + 18504. Is v prime?
False
Let f = 78698 - 49611. Let v = f - 19860. Is v prime?
True
Let o(p) = -26*p**3 - 41*p**2 - 28*p - 11. Let b(m) = 8*m**3 + 14*m**2 + 9*m + 4. Let x(f) = -7*b(f) - 2*o(f). Is x(-7) a composite number?
False
Let i(g) be the second derivative of -13/2*g**2 - 1/2*g**4 + 1/20*g**5 + 0 - 5/6*g**3 + 2*g. Is i(9) a prime number?
False
Suppose -3657361 = -32*v + 11068221 - 1054766. Is v a prime number?
True
Suppose -645*c = 20*c + 52858416 - 241340031. Is c a composite number?
True
Let i(s) = -1653*s + 1103. Is i(-48) a composite number?
False
Suppose -426344 = 9*z - 447861 - 2865440. Is z prime?
False
Let k(f) = 268*f - 15. Let w be k(3). Let z be (-114)/(-30) + (-1)/(-5). Suppose -s - w = -z*s. Is s composite?
False
Suppose 0 = -5*a + 5*j, 0 = 6*a - 11*a - 3*j + 24. Suppose a*m - 4*m + 467 = 0. Is m a composite number?
False
Suppose 2448594 + 4322062 = 32*a. Is a composite?
False
Let d = 45 - 41. Suppose p = -5*k - 2 + 6, -p + d*k = 5. Is -3 - -453 - (0 + p) prime?
False
Is 4*6/(-24)*(-921207)/21 composite?
False
Let u(v) = -20156*v - 2161. Is u(-9) prime?
True
Suppose 3*w = 49 - 40. Suppose -3*d + 104220 = 3*q, 3*d + 34720 = 4*q - w*q. Is q prime?
False
Let q(a) be the second derivative of 7*a**5/4 + a**4/12 - 10*a**3/3 + 19*a**2/2 + 180*a. Is q(1) a prime number?
False
Let l = 226342 - -494241. Suppose 63*s + 10*s = l. Is s a prime number?
True
Let y(k) = 86*k**2 - 9*k + 11. Suppose 212 = 27*z - 58. Is y(z) prime?
True
Let i = 3488 + -2241. Is i prime?
False
Let o(l) = 2*l**2 - 9*l - 6. Let d be o(6). Suppose -d = -4*n, 0 = -z - n - 14 - 4. Is (-39809)/z + -1 + (-1)/(-3) a composite number?
True
Let d(z) = -79*z**3 - 15*z**2 + 19*z - 8. Is d(-9) composite?
False
Suppose -j + 341*a + 35301 = 346*a, -j + 4*a = -35283. Is j a prime number?
True
Suppose 7*p + 138067 = 5*a + 6*p, 82847 = 3*a - 4*p. Is a composite?
True
Let d be ((1/2)/((-2)/(-36)))/1. Suppose 5*m + d*m - 113064 = 0. Is 1/((-24222)/m - -3) prime?
False
Let a(o) = 17*o**2 - 8 - 16*o + 6 - 11. Let f = -931 - -921. Is a(f) composite?
False
Let z(y) = -y**3 - y**2 - 3*y + 3. Let i = 119 + -119. Let p be z(i). Is 202/(46/14 - p) a composite number?
True
Let a(l) = -685*l - 1780. Is a(-21) a prime number?
False
Let s(t) = 1334*t**2 - 14*t - 313. Is s(10) prime?
True
Let p(s) = 25*s**2 + 16*s - 5. Let l be p(2). Suppose -l*n + 40870 = -117*n. Is n composite?
True
Suppose -4*w = -3*k - 66, 3*w - 53 = k + 3*k. Let c(m) be the third derivative of 115*m**4/24 + 17*m**3/3 + 51*m**2. Is c(w) a composite number?
False
Suppose 7 = k, -3*p + 66470 = -5*k - 72164. Is p composite?
True
Suppose 4*h = 3*i - 593001, 5*i - 1295691 + 307333 = -h. Is i a composite number?
True
Let l = 92 - -19. Is 103805/3 + (-74)/l a composite number?
True
Is (-3783585)/(-37) + (-726)/13431 a composite number?
False
Suppose 25467739 = 209*v + 10113451 - 30592063. Is v composite?
False
Let s(u) = 912*u**3 + 7*u**2 - 2*u + 16. Let b(n) = -912*n**3 - 7*n**2 + 2*n - 15. Let r(y) = -6*b(y) - 5*s(y). Is r(3) composite?
False
Suppose -j + 4*o - 14 + 1 = 0, 4 = 2*o. Let x = -11 - j. Is x/((-4)/(-14) - (-688)/(-2212)) prime?
False
Let n be (-4015)/(-146)*108/10. Is (-8)/18 + 201201/n a composite number?
False
Let t be 5/((-5)/(-7)) - (-4 - -3). Let n(l) be the third derivative of 61*l**4/24 + 5*l**3/6 + l**2. Is n(t) prime?
False
Let f(j) be the second derivative of j**5/20 + 17*j**4/12 + 7*j**3/3 - 17*j**2/2 + 6*j. Let p be f(-16). Suppose -p*i = -13747 - 6398. Is i a prime number?
False
Suppose 0 = 21*o - 25*o. Suppose -15*d + 21*d - 18 = o. Suppose -5*b + x = -3062, -d*b + 2*x + 1220 = -b. Is b a composite number?
False
Suppose 4*l - 10380 - 6040 = 0. Let h = l - 1526. Is h prime?
True
Let r be (-32)/(-12)*(-339)/2. Let j = 705 + r. Is j a composite number?
True
Let w(z) = -147*z + 292. Let h be (-15 - -2)*(-17 - -18). Is w(h) a prime number?
True
Suppose -j = -4*m + 8084665, 37*m - 39*m + 4042340 = 2*j. Is m prime?
True
Let l(t) = 4*t**2 + 16*t - 5. Let c be l(11). Let y(x) = x**3 - 14*x**2 - x - 24. Let s be y(11). Let d = c + s. Is d composite?
False
Let q(y) = -y**3 - y**2 - 5*y - 7. Let l be q(-2). Let s = -1 - -3. Is (l + -6 + 1)*167/s a prime number?
True
Let i = 61 - 41. Let v be 54/(-45)*i/(-6). Suppose -5*m + v*p + 3513 = 0, -3*m - 5*p = -8*m + 3515. Is m a prime number?
True
Is (5/((-10)/(-6)))/(15/165535) a composite number?
False
Let n(s) = -199*s**3 + 2*s**2 + s - 1. Let a(o) be the third derivative of o**6/120 + 3*o**5/20 + o**4/3 - o**3/6 + 11*o**2. Let g be a(-8). Is n(g) prime?
True
Let j = 100377 + -57575. Is j a composite number?
True
Suppose 18968722 - 3102968 = 63*r - 10170949. Is r a composite number?
True
Let o(v) = -2*v**3 + 12*v**2 + 25*v - 3. Let d be o(11). Is (-1)/((2/(-4))/(d/(-28))) prime?
True
Let k(j) = 93*j**2 - 5650*j + 33. Is k(68) prime?
False
Let h be 35/28 + 4/(-16). Let n be (-4)/(-4) + h - 2. Suppose n = -33*w + 39*w - 9726. Is w a composite number?
False
Let r(x) be the second derivative of x**4/3 + 7*x**3/6 + 8*x**2 + 139*x. Is r(-18) prime?
False
Let t(z) = 8*z**3 - 5*z**2 - 4*z - 26. Let u be t(-13). Let x be ((u/(-20))/13)/(2/(-8)). Let b = x - -432. Is b prime?
True
Suppose -r = -5*q - 803, 0 = 23*q - 24*q. Suppose 4*p + 1536 = 4*c - 0*p, -2*c = 5*p - r. Is c composite?
False
Suppose 8*v = 2*t + 6*v - 129414, -2*t - 4*v + 129426 = 0. Is t a prime number?
True
Suppose -23*b + 32490 = -14*b. Suppose -4*o - i - 15 = 2*i, -3*o - 5*i = 14. Is b/35 - o/(-21) prime?
True
Let x be -2*2/12*3. Let j(b) = b**2 - 2*b. Let w(r) = -668*r**2 - 3*r + 2. Let o(n) = 2*j(n) - w(n). Is o(x) a prime number?
False
Let a be (-2605)/(-2)*((-256)/40 - 0). Let x = a - -27499. Is x prime?
True
Suppose 0 = -5*d - 3*j + 66, 16 + 23 = 2*d - 3*j. Suppose 16*b - 3 = d*b. Suppose -2*c - 3*v = -992, -b*v + 0*v = -4*c + 1966. Is c prime?
False
Let u = -101315 + 202478. Is u prime?
False
Let k(s) = 504*s**2 + 290*s + 47. Is k(12) a prime number?
True
Suppose 9*q = q + 16. Let i(v) = -49*v**2 - 46*v + 50. Let d(o) = 10*o**2 + 9*o - 10. Let w(y) = q*i(y) + 11*d(y). Is w(-7) a composite number?
True
Suppose y = -5*o - 16, -o + 5*y = 3 - 5. Let k(m) = -307*m. Let a be k(o). Suppose 3*c = 2*c + a. Is c a prime number?
False
Let n(m) = 16*m - 2 + 13*m - 3*m - 9. Let y be 36/(-20)*(-2 - 3). Is n(y) composite?
False
Suppose -6*v + 37 = 1. Suppose -v + 8 = m. Suppose 3*p + 511 = i, -m*p - 603 + 91 = -i. Is i prime?
False
Let k(r) = 103*r**2 - 13*r + 41. Let h be (-1 + 119/21)*6/7. Is k(h) composite?
False
Is 12618/(-45)*(-8890)/28 a prime number?
False
Let h = 3009973 - 1338530. Is h composite?
False
Let y be (-6)/42 + (-154)/(-49). Suppose -y*w + 1040 = 251. Is w composite?
False
Let j(m) = -39*m**3 - 25*m**2 - 94*m + 1. Is j(-5) a composite number?
False
Let c be 0 + 3 + 1 + -2172. Let s = 3127 + c. Is s composite?
True
Let a = 2203 + 802. Suppose -g = 3*q - a - 8775, -q = -3*g + 35310. Is g a composite number?
True
Suppose 126*f - 27427269 - 16090485 = 0. Is f a prime number?
True
Suppose 0 = -4*t - 2*g + 1017920, -5*g - 1142842 = -3*t - 379415. Is t a prime number?
False
Let q(v) = -v**3 - 9*v**2 - 12*v - 27. Suppose 15 = -2*l - 1. Let b be q(l). Suppose -3*a = -2*z - z - 792, b*z - 15 = 0. Is a a prime number?
False
Let j = 1051352 + -547103. Is j a composite number?
True
Let c(o) = 211408*o - 11425. Is c(5) a composite number?
True
Suppose 21*x + 18*x = -21*x + 85283940. Is x a composite number?
True
Let y = -30265 + 56810. Is y composite?
True
Let n = -1 - -4. Suppose n*t - t = 3736. Suppose 2