 3*a - 5107 + 18418, 5*a + 22192 = 2*h. Let l = a - -8231. Is l a prime number?
True
Suppose -33 + 37 = -4*t. Is t + 1403 + -1 - (1 - -1) a composite number?
False
Let s(l) = 5*l - 172. Let p be s(35). Suppose -p*w + 23332 = 1969. Is w a composite number?
False
Let k(z) = 34923*z**3 + 2*z**2 + 18*z - 31. Is k(2) a prime number?
True
Suppose 3*b + 4 - 13 = 0. Suppose b*u - 8677 = 30620. Is u composite?
False
Suppose -5*h = -3*v - 29 + 1, 3*v - 2 = -h. Suppose x - 36 - 107 = 2*d, -h*d = 4*x - 572. Is x prime?
False
Let h = 10591 + 268. Let v = h + 1418. Is v composite?
False
Suppose 8 + 88 = 4*w. Suppose w*f - 9070 = 19*f. Is f a prime number?
False
Let x(g) = g**2 + 2*g + 83. Let i be x(0). Suppose 3*q - 5*z + i = 815, 4*z = 12. Is q prime?
False
Suppose -a - 2 = 0, 2*b + a = 3*b - 8. Suppose b*v - 50145 - 9729 = 0. Is v a prime number?
False
Suppose -o - 29 = -4*j + j, -50 = -5*j + 2*o. Let c(k) be the first derivative of -k**4/4 + 3*k**3 - 5*k**2/2 + 9*k - 15. Is c(j) a prime number?
False
Let p(m) = 71*m**2 - 6*m - 13. Is p(-6) prime?
True
Let n(q) = 11*q - 5. Let k be n(6). Suppose k + 5 = 11*x. Let a(z) = z**3 + 6*z**2 + 9*z - 5. Is a(x) a prime number?
False
Let v(g) = 7*g**3 - 38*g**2 - 50*g - 784. Is v(45) prime?
True
Let j be ((-56056)/33)/((-2)/(-12)). Is (j/(-3) - 11) + 4/6 composite?
True
Let z = -2605 - -5182. Let c(u) = z*u**2 - 4 + 721*u**2 + 5. Is c(-1) a prime number?
True
Suppose 4*l - 526316 = -2*h, 3*h - 32389 = -4*l + 493929. Is l a prime number?
False
Let r(u) = -10*u - 32. Let w be r(-4). Let k(i) = i**3 - 11*i**2 + 9*i + 18. Let t be k(w). Let n = t + 1759. Is n a prime number?
True
Suppose 42*w + 12*w - 3247901 - 2323333 = 0. Is w a composite number?
False
Let i = 1040559 + 510260. Is i prime?
True
Let x(c) = -2*c. Let s(o) = -167*o + 6. Let q(w) = 2*s(w) + 22*x(w). Let t be q(-5). Let n = t + -1357. Is n prime?
False
Suppose 0 = -3*x - 4203 + 13917. Suppose 8*a + 462 = x. Is a composite?
False
Suppose 7*u - 1187521 = 3010666. Is u a composite number?
False
Suppose 536*j - f - 317396 = 534*j, 0 = 2*f - 4. Is j a prime number?
True
Suppose 48*o = -15*o + 14397957. Is o prime?
True
Let a(p) = 28*p**3 + 9*p**2 - 10*p - 74. Is a(17) composite?
False
Let l be 4/(-8) + 1/(-2)*-7. Suppose 10*p - 84097 = -l*p. Is p a prime number?
True
Let h(a) = 31*a**2 - 2*a + 5. Let m = 497 - 499. Is h(m) composite?
True
Suppose -4*i - 2*h = 72748, -4*i + 4*h = 2*h + 72748. Is i/(-4) - 1/(-4) prime?
True
Let o be 1 - (0 + -2)/(-2). Let b be (3 + 6/(-2))*(2 - (-169)/(-78)). Suppose -2*v - z + 633 = o, -v + b*z = 2*z - 309. Is v a composite number?
True
Suppose -n + 0*o - 1205 = 5*o, -4*n = 5*o + 4880. Let x = n + 11522. Is x a prime number?
False
Let u be 6/6 - 2/(2/3). Let j be 47476/6 - 8/12*u. Is (9/((-27)/j))/(-2) a prime number?
True
Let q(j) be the second derivative of -j**5/10 + 7*j**4/3 - 11*j**3/6 + 19*j**2 - 2*j - 3. Is q(13) a prime number?
True
Suppose 2*u + 3*t - 1196236 = 2685625, 0 = -7*u - 2*t + 13586505. Is u composite?
False
Let b(i) = -416*i - 2923. Is b(-57) prime?
True
Suppose o - 4*u - 195 = -4*o, -210 = -5*o + u. Suppose -o = 5*q - 38. Is q + (-1)/((-1)/1044) composite?
True
Let j(l) = l**3 - 13*l**2 + 35*l - 93. Suppose -2*z - 416 = -15*z. Is j(z) composite?
False
Suppose 0 = 3*s - 15, 229*x - 224*x - 1984160 = s. Is x composite?
False
Let z(t) = -9*t**3 + 7*t**2 + 21*t + 8. Let h be z(11). Let g = -4196 - h. Is g a composite number?
True
Let l(q) = 11941*q**2 - 14*q - 7. Is l(-6) prime?
True
Suppose -18323 - 11425 = -3*u. Let n = 16203 - u. Is n composite?
False
Let y = -24219 - -335956. Is y composite?
False
Let x(g) = -g - 6. Let d be x(-4). Let m(k) = -3*k**2 - 7*k - 6. Let a be m(-2). Is -2*(-358)/a*(d + -5) a composite number?
True
Suppose 0 = -f - f + 2280. Let s = 6654 + f. Suppose d + 5*n - 2140 = -196, -2*n + s = 4*d. Is d prime?
True
Let q be (-4)/(20/(-2685)) + -4. Suppose 5*l + 282 = -q. Is (0 + -1)*l - 4 a prime number?
False
Let w(x) be the third derivative of x**6/120 + x**5/3 + 7*x**4/8 + x**3/3 + 14*x**2. Let l be w(-19). Is 1/(-6) + ((-198570)/l)/5 a composite number?
False
Let z = 53 - 50. Suppose -3*c + 3 = -z. Suppose -v = 5*t - 9660, -c*t + 3*v + 5778 = t. Is t prime?
True
Let f = 53301 + 90994. Is f a prime number?
False
Let z = -19738 - -10085. Let u = z + 15244. Is u composite?
False
Suppose -3*l - 41074 = -4*k - 216951, k = 4. Is l composite?
False
Let z = 298 + -306. Is 3 + z + 12623 - 7 composite?
False
Suppose -t = -3*z + 3 - 15, z - 16 = -t. Let m be (-2)/t + (-70476)/(-45). Suppose 2*f = -2*s + m, 4*s - 2365 = s + 5*f. Is s a prime number?
False
Suppose -15159310 - 1147550 = 61*h - 121*h. Is h prime?
False
Let f(d) = 2723*d - 1776. Is f(35) composite?
False
Suppose 4*b - 9296 - 9420 = 0. Is b a composite number?
False
Let r = -620648 - -1937155. Is r a composite number?
False
Let d(g) = 19*g**2 + 10*g + 1. Let q = 149 + -141. Suppose 0 = -2*u - 5*w + 19 + q, -2*u = -5*w + 3. Is d(u) a prime number?
False
Let u be (-868)/((-1)/(-3) + (-9)/(-54)). Let i = u - -2570. Let j = i - -385. Is j composite?
True
Suppose 9*d = 5*y + 6*d, -y = -d. Suppose 5*z + 10 = y, w - 1082 = -z + 839. Suppose -2*p + 5*g + w = 0, -2*p + 9*g = 8*g - 1919. Is p a composite number?
True
Let r(s) = -2*s - 33. Let u be r(-20). Suppose 2*q - 54 = -u*q. Let d(c) = 56*c**2 - 8*c + 5. Is d(q) prime?
True
Suppose -54 - 128 = 7*o. Let c be (o/10 - -3) + (-23)/(-5). Suppose 3*p + c*w - 983 = 0, 5*w + 1332 = 4*p + w. Is p a composite number?
False
Suppose 0 = -2*r - 4*v - 20, 5*r - 5*v = -3*v - 98. Let f(b) = -10*b**3 - 14*b**2 + 12*b + 13. Is f(r) prime?
False
Suppose -4*f - 2*v = -98, -4*v + 22 = 4*f - 70. Suppose f*h = 19*h + 144529. Is h a prime number?
False
Suppose 21*q + 360 = q. Is q - -19 - 1315/2*-8 a prime number?
True
Suppose -376*t + h + 311115 = -375*t, -1244436 = -4*t - 2*h. Is t a prime number?
True
Let l = 18617 + 70320. Is l prime?
True
Let p(a) = -15*a**3 - 32*a**2 + 42*a + 51. Is p(-20) composite?
False
Suppose 2*i + 0 = -4*n + 4, -5*i = 20. Suppose 11 = 2*r + n*v, -1 + 4 = 3*v. Suppose 3*f - 5*j = 4918, -5*f + r*j = -588 - 7587. Is f composite?
True
Suppose -28*z + 865504 = -24*z + 2*q, -2*q + 649125 = 3*z. Is z prime?
True
Is 130514*(-18*14/441 + 15/14) a composite number?
False
Let t(p) = 328*p**2 - 61*p + 498. Is t(7) prime?
False
Let m = -3959 - -1989. Suppose -5*z = -z - 12052. Let v = m + z. Is v composite?
True
Let o = -141 + 145. Suppose -4*p = 3*l - 11261, -p + 1423 + 1402 = o*l. Is p a prime number?
False
Let f be 1083/76 + 6/8. Let y(t) = 2*t**3 - 27*t**2 - 21*t + 29. Is y(f) prime?
True
Suppose 0 = 2*y + 4*x - 12, 0*y - 5*x + 6 = -2*y. Let h be (-3 + y)*-3 - 8. Is (-1 - -2)/(h/(-4835)) prime?
True
Let l(d) = d**3 + 11*d**2 + 11*d + 37. Let g be l(-10). Suppose c = g*c - 10322. Is c a composite number?
False
Let k be (-4)/2 - -30*(-138)/(-12). Suppose -5*n = 4*i - 13709, 2*n + 2*i - 5827 = -k. Is n a prime number?
True
Let z = 1525187 + -909014. Is z prime?
False
Let j(t) = 29*t**2 - 29*t - 53. Suppose -i - 39 + 17 = 0. Is j(i) a prime number?
True
Let a(o) = -10*o + 105. Let c be a(10). Suppose 0 = c*p - 104793 + 25498. Is p prime?
True
Suppose 0 = 16*j - 145 - 1087. Let b(p) = p**3 - 2*p**2 - 4*p + 1. Let c be b(4). Suppose c = -4*n + j. Is n a composite number?
True
Let a = 17 - 15. Let s(k) = 4*k - 17 + 2*k + 2 + k**3 - 11*k**a. Is s(12) prime?
False
Suppose 3*g - 9777 + 57 = 0. Suppose -3*n + c = -g - 227, -5765 = -5*n + 5*c. Is n a prime number?
False
Suppose 10*h = -14022 - 1948. Let n = h - -4318. Is n composite?
True
Suppose -389*n = -383*n - 2991666. Is n a prime number?
True
Let n(w) = -484*w + 85. Let k(q) = -1934*q + 340. Let i(m) = 2*k(m) - 9*n(m). Is i(13) a prime number?
False
Let g = 10 - 25. Let d be g/5*3/(-3). Suppose 0 = -3*x + 12, -5*q = x + d*x - 761. Is q a prime number?
True
Let u(y) be the second derivative of 284*y**5/5 + y**4/12 + 17*y**3/6 - 25*y**2/2 + 15*y. Is u(4) prime?
True
Suppose -x + 577425 = r, -5*x - 4*r + 666456 + 2220671 = 0. Is x a composite number?
False
Let l(h) = -185*h**3 + h**2 + 8*h - 2. Let z be l(3). Let k = z - -10993. Is k composite?
False
Suppose 0 = 4*h + 20, -2*f + 2*h = 3*f - 75. Suppose -5135 = -f*l + 8*l. Is l a prime number?
False