k - 6*k - 3. Suppose -4*f - k*o + 157 = 0, -4*o + 117 = 3*f - o. Suppose 2*i + f = 6*i. Is i a composite number?
True
Suppose 6*v + 17 = 7*v. Suppose 0 = 5*o - 8 - v. Is (17 + o)*26/4 a composite number?
True
Suppose -3*y + 6*y = 339042. Is (y/(-33))/((-2)/3) a prime number?
False
Let l be ((-3)/(-6))/(3/6). Let u be 32*(0 + 1 + l). Suppose -3*f + 4*o = -99 - u, f = 3*o + 56. Is f prime?
True
Let z(g) = 119*g**2 + 7*g + 41. Is z(-6) a prime number?
True
Is 24/60 - 74282*(-9)/30 composite?
True
Let v(r) = -r**2 + 9. Let a be v(3). Suppose -3*x + 1182 = -s, -x + 5*x + 3*s - 1563 = a. Is x a prime number?
False
Let w be (8 - 1) + (-54)/18. Suppose -1587 = -w*p + p. Is p prime?
False
Let u be (-8)/(-2) + 8 + (-18)/3. Suppose u*r + 4205 = 24731. Is r a prime number?
False
Let n be 6/10 - 141/(-15). Suppose 0 = 5*d + 5*f - n*f - 1715, 0 = -4*d + 2*f + 1368. Let o = d - 214. Is o composite?
False
Suppose 3002 = 11*q - 4137. Is q composite?
True
Let d be ((-194862)/4)/(1/6). Is 1 + 15/(-18) + d/(-54) prime?
True
Is ((-2)/6)/(10 + (-1976493)/197649) prime?
True
Suppose 0 - 6 = -2*x. Suppose -2*u - 181 = -x*u - 2*a, -a = 5. Is u a prime number?
True
Let y(c) = -3*c - 32. Let n be y(-10). Is 5 + 1*n + (369 - -5) a composite number?
True
Suppose -7*r + 2*r - 4*x + 75 = 0, -5*r - 2*x = -85. Suppose 460 = h - r. Is h a prime number?
True
Is -3*2 + 224334/(-2 - -20) composite?
False
Let j(b) = -74*b + 1. Let l be j(-3). Let i be 3/(-7) + (-4734)/126. Let g = l + i. Is g prime?
False
Let v be (-4)/22 + 185/(-11). Let w = 17 + v. Suppose 0*t - 382 = -2*s + 3*t, -t = w. Is s prime?
True
Let g(r) = 2*r**3 - 9*r**2 - 4*r - 2. Let x(y) = -7*y**3 + 25*y**2 + 11*y + 5. Let b(l) = 17*g(l) + 6*x(l). Let d = -8 + 5. Is b(d) composite?
False
Is (47 - -4)/(9/633) prime?
False
Let g = 123 + -117. Suppose 13*u - 17969 = g*u. Is u a prime number?
False
Let w(l) = l**3 - 12*l**2 + 11*l + 2. Let f be w(11). Is f/3 + (-4 - 19790/(-6)) composite?
True
Let i = -9 + 14. Suppose k - q + 9 = 33, -i*k - 2*q = -99. Is k a prime number?
False
Let i = 9419 - 3696. Is i prime?
False
Let y = 53 - 17. Is (1179/y)/((-2)/(-8)) a prime number?
True
Is 1719/2*96/72 - -5 a composite number?
False
Suppose 2*k + 3*k - 2*v = -581, 0 = -3*v + 9. Let h = k + 219. Let q = 223 - h. Is q a prime number?
False
Let t(u) = 41*u**2 + 6*u - 13. Is t(4) prime?
False
Suppose 12*x - 16030 - 126302 = 0. Is x a prime number?
False
Let r = -9 - -11. Let q be (r - 2)*6/12. Suppose 0*v = 5*w - 4*v - 1535, v = q. Is w a composite number?
False
Suppose -c - 5*u = -11969, c - 2*u - 4043 = 7926. Is c composite?
False
Suppose 5*t - 2*t = 12, -4*o + t + 40848 = 0. Is o prime?
False
Let l(x) = 54*x**2 - 1. Let r be 48/(-18) + 8/(-6). Is l(r) a composite number?
False
Let z(h) = -155*h**3 + 2*h**2 - 10*h - 9. Is z(-4) prime?
False
Let o be 4/14 - 30/(-28)*122. Let q = -4 - -9. Is -14 + o + -1 + q prime?
False
Let k(l) = -115*l + 147. Is k(-26) a prime number?
True
Suppose -3*b + 11 = -5*n - 5, -2*b = -4. Let r(w) = -122*w + 9. Is r(n) prime?
False
Let c(u) = -2*u. Suppose -15 = 4*j + j. Let v be c(j). Suppose -2*m = -v*m + 296. Is m prime?
False
Suppose -2*t + 4*b + 590 = 0, -4*b - 893 - 576 = -5*t. Is t composite?
False
Let u = -7582 - -2053. Is (2/3)/((-38)/u) a prime number?
True
Let h = -26 - -41. Is (2721/h)/(2 - (-9)/(-5)) prime?
True
Suppose -3*j = j - 12. Suppose v - 2*d - d = -203, -j*v - 561 = 3*d. Is (v/(-4))/((-3)/(-12)) a composite number?
False
Suppose 0 = 2*j - 3675 - 2413. Suppose 0 = -11*r + 7*r + j. Is r prime?
True
Let w(d) = d**2 + 7*d + 5. Let t be w(-7). Suppose -3*q = -t*p - 2089, q - 6*q + 3503 = -3*p. Suppose q = -4*f + 2267. Is f a composite number?
True
Is (-44)/(-8)*(336 + -5 + 3) prime?
False
Let d(s) = -4*s**3 + 12*s**2 + 3*s + 10. Let j(w) = -5*w**3 + 13*w**2 + 2*w + 11. Let n(f) = -6*d(f) + 5*j(f). Let h be n(-6). Is (7/h)/(2/298) composite?
False
Let p = 54 + 253. Is p a prime number?
True
Let c(i) be the first derivative of 5 - 23*i - 15/2*i**2. Is c(-10) prime?
True
Let a(k) = -2*k - 3. Let b be a(-8). Suppose 0 = -18*r + b*r + 13165. Is r composite?
False
Let u(q) = 9*q**3 - 254*q + 249*q + 0*q**2 - q**2 + 4. Let f(n) = n**2 - 9*n + 11. Let y be f(8). Is u(y) a composite number?
False
Let i(y) be the second derivative of y**5/20 + 19*y**4/12 + 17*y**2/2 + 8*y. Let t be i(-16). Suppose m = 6*m - t. Is m prime?
True
Suppose -3*j + 411 = -6*j. Is 0 - (3 + 1) - j a prime number?
False
Let z = -327 - -748. Suppose -23 = -4*g + z. Is g composite?
True
Suppose -3*n - k = -12329, 0 = -5*n - k + 4*k + 20539. Is n prime?
False
Suppose 3*d - 3*b + 8*b - 40 = 0, 3*d = 2*b + 5. Let v = d + -3. Suppose v*r = -4*g + 228, g - 3*g - 2*r = -118. Is g prime?
False
Let x(g) = -1148*g + 195. Is x(-22) composite?
True
Suppose s = 4*z - 4, -4 = 8*z - 12*z. Let u be (-13268)/(-3) + 2/(-3). Suppose -2*m - 4*m + u = s. Is m prime?
False
Suppose -4*x + 3*p = p - 31174, -5*p = 2*x - 15605. Is x a composite number?
True
Let a = 57030 - 38579. Is a composite?
False
Suppose 8222 = 2*h + p, -h - 2*h + 12333 = -2*p. Is h a prime number?
True
Suppose -12*a + 99 = 123. Let m(j) = -4*j**2 + 3*j - 3. Let p(d) = -5*d**2 + 2*d - 3. Let h(v) = 3*m(v) - 4*p(v). Is h(a) prime?
False
Let z(s) = 3695*s + 231. Is z(2) composite?
False
Let c(w) = 10*w**2 + 8*w + 1. Let l be (-20)/(-3) - (-8)/(-12). Suppose -38 = -l*i - 2. Is c(i) a composite number?
False
Suppose 4*v - 5*i = -2*i - 29, 0 = v + 5*i + 13. Let b(g) = 6*g - 23. Let k(z) = 4*z - 15. Let t(x) = v*k(x) + 5*b(x). Is t(-3) prime?
True
Suppose -5*d + 11 = -h, -2*d - 13 = -5*h + 1. Let v(f) = -d - 1 + f**2 + 7 - 5*f. Is v(-5) a composite number?
False
Let j(n) = -n**2 - 26*n + 26. Is j(-15) a prime number?
True
Suppose 0 = -5*y - 4*q + 7*q + 77647, 5*y + 5*q - 77615 = 0. Is y prime?
True
Is (-6 + 1)*(-6773)/65 composite?
False
Let c = -1271 + 4864. Is c a prime number?
True
Let n = -6748 - -3858. Let g = n - -4061. Is g composite?
False
Let v = 489 + 627. Suppose u - 1111 - v = -4*d, -1668 = -3*d - 3*u. Is d a prime number?
True
Suppose 0 = -2*h + 2428 + 882. Is h prime?
False
Suppose 12428 = 4*v + 4*y, 2*v + 22*y = 27*y + 6228. Is v composite?
False
Let h = 4 + -2. Suppose -5*x = 3*k, h*k + 5*x = k. Is 142 - -3 - k/(-1) a composite number?
True
Let a(g) = 3*g**2 + 3*g + 5. Let q be a(-2). Suppose q*y - 6*y - 575 = 0. Is y a composite number?
True
Let v be (1 - 0)*(23 + -17). Let c(i) = 16*i**2 + 5. Is c(v) a prime number?
False
Let j(r) = -9 - 29*r + 3 + 46*r - 10. Is j(7) prime?
True
Suppose 5*f + 5*l = -6 + 1, 0 = -5*l - 5. Suppose 246 = m + 3*q, -2*m + f*q + 462 = -4*q. Is m composite?
True
Let q = -205 + 128. Let z be 2/(-10) - (-1038)/15. Let u = z - q. Is u a prime number?
False
Suppose 77*n = 74*n + 30. Is ((-4)/n)/((-2)/70) prime?
False
Let j(s) = -66*s**3 + 13*s + 33. Is j(-8) composite?
False
Let c = 0 - -4. Suppose c*u + 0*r - 2674 = 3*r, -3*u - 2*r = -2014. Let l = 1155 - u. Is l composite?
True
Suppose 6*x + 2052 = -3*x. Let o = 337 + x. Is o prime?
True
Suppose 0*z = 5*z. Suppose -2*s + 52 = -z*s. Suppose 0 = -22*h + s*h - 76. Is h prime?
True
Let q(b) = -b**2 - 11*b - 6. Let j be q(-4). Let h = -22 + j. Suppose -12*c + 9*c + 597 = h. Is c a prime number?
True
Let k(p) = p**3 + 3*p**2 - 6*p - 2. Let m be k(-4). Suppose -2803 = -4*n - 5*r, 5*r - m = 3*r. Is n composite?
True
Let t be (0 - -1)*(-4)/3*51. Let a be 116 + 5/((-15)/6). Let c = t + a. Is c prime?
False
Let r = 92 - -1445. Is r prime?
False
Let g = 1428 + 1117. Is g prime?
False
Let k be (-5)/(-25) - 4/20. Suppose 9 = 3*o + v, k = -2*o + 5*v - 10*v - 7. Is o*((-2244)/(-16) - 4) prime?
False
Let h = 2590 + 1295. Is (-3)/12 - h/(-20) prime?
False
Suppose 5*j - k + 1513 = 0, -k = -j + k - 308. Let a = -72 - j. Suppose 4*w = -w + a. Is w prime?
False
Suppose 0*b - 3*b - 3*s = -30, -b - 5*s + 30 = 0. Suppose -b*j + 489 = -2*j. Is j prime?
True
Let d(z) = -z - 14. Let w be d(-18). Suppose 528 = w*a + t + 3*t, 4*t = 4*a - 488. Is a composite?
False
Let y(t) = 43*t**2 - 3*t + 2. Let d be y(1). Suppose p + 2 = -5*x, -x + d = -2*p - 17. Is 562/6 + 18/p composite?
True
Is (-162)/324 + -714*23/(-4) prime?
False
Let l be (-2)/(-3)*(2083 - 2 - -4). Suppose 4*p - 851 = -6*x + 3*x, 0 = -5*x - p + l. Is x a compos