*k - 410, -2*k + 135 = i - d. Is k a composite number?
True
Suppose 8*w - 383679 = -8423. Is w a composite number?
True
Let w(i) = 84*i + 71. Is w(28) a prime number?
True
Let v(g) be the second derivative of g**5/20 - g**4/4 - g**3 + 2*g**2 - 4*g. Let m be v(4). Is (3 - m/(-1))*-46 prime?
False
Let x = -93083 - -152316. Is x a prime number?
True
Let p = -99 + 102. Suppose 5*k - 4070 = -5*o, 0 = 2*k - 0*o - p*o - 1603. Is k a prime number?
True
Is 5716 - (-2)/(10/(-25)) a prime number?
True
Let j(g) be the first derivative of -60*g**2 - 23*g + 9. Let k(i) = 60*i + 11. Let f(r) = 4*j(r) + 9*k(r). Is f(5) prime?
True
Suppose 3*t = 5*r + 10735, r + 3*t = -4*r - 10765. Is r/(-1) + ((-2)/1)/2 composite?
True
Let i(c) = 3*c**2 - 5*c - 4. Let q be i(-3). Let n be (-6)/15 - 12/(-5). Suppose -n*f = -0*f - q. Is f composite?
False
Suppose -2*u + 21 = 3*u + 2*i, -5*u + 5*i = -35. Suppose c - 474 = -u*p + 453, 4*c = 8. Is p prime?
False
Is 22675 - (1 - (-1 - -3))*2 a composite number?
True
Let n = 1 - 0. Let c be 5*(32/20 - n). Suppose c*y + 0*y - 99 = 0. Is y a prime number?
False
Suppose -b = -3*m - 2*m - 9300, 3*b + 5*m = 27920. Is b a prime number?
False
Suppose 0 = -n + 8*n - 21. Is (n - 1)/(4/158) composite?
False
Suppose 0 = -114*j + 572472 + 564906. Is j prime?
False
Suppose -2*y = 5*g - 14 - 72, 2*g = -4*y + 156. Suppose -41*d + y*d + 4869 = 0. Is d prime?
False
Suppose -3*l + 139 = -572. Let k = 75 - 73. Suppose 598 = 5*q + 5*c - 2*c, -k*q + l = -c. Is q prime?
False
Suppose -3*s + 5*r = -17, 0 = -2*r - 4 + 2. Suppose 2*x + s - 8 = 0. Is (x + -1)*(19 - -4) prime?
True
Is (25495/4)/5*(-196)/(-49) a prime number?
True
Let o(r) = -14*r - 7 + 17*r**2 + 2*r**2 - r**3 - 6. Suppose 5*z - 48 + 5 = -w, 95 = 5*w + z. Is o(w) prime?
True
Suppose 0*h + 258 = 2*h + 4*a, -3*h - 3*a = -387. Suppose 2*k = 113 + h. Is k composite?
True
Let o be -5 - 26/(-5) - (-1074)/5. Suppose x - 209 - o = -w, 3*w = -5*x + 1282. Is w a composite number?
False
Suppose 4*l = 825 + 7391. Suppose -5*q + 306 = -5*j - l, 4*j = -5*q + 2333. Is q a prime number?
False
Suppose -i + 4 = -26. Suppose -2*l + i = 8. Let h(n) = 21*n - 14. Is h(l) composite?
True
Let f(a) = a**3 + 7*a**2 - 12*a - 12. Let l be f(-8). Let j = 28 - l. Let b(u) = 2*u**3 - u**2 - u + 9. Is b(j) a composite number?
True
Let m = -307 - -4022. Is m prime?
False
Let f = -4003 + 6080. Is f composite?
True
Let f = 2 - -16. Suppose -v + 3*p = 2*v - f, v - 3*p = 4. Is v a composite number?
False
Suppose 5*i = -2*f + 3*f - 7, -5*i - 11 = -3*f. Suppose 0 = -2*c - f*v + 454, -3*c + 241 + 408 = -5*v. Is c a prime number?
True
Let j(h) = -31*h - 15. Let p(f) = -3*f**2 - 9*f + 26. Let y(d) = -d**2 + d. Let k(x) = -p(x) + 4*y(x). Let w be k(12). Is j(w) prime?
True
Suppose 0 = -3*m + 3*s + 3, 3*m = 2*m + 2*s + 3. Let i be (m/2)/(1/(-4)). Suppose 2*b = -5*r + 527, -r - i*r = 3*b - 768. Is b composite?
False
Suppose 0 = l + 3*l. Let n = 2 - l. Let w(x) = 27*x + 1. Is w(n) composite?
True
Suppose -2 = -v + 207. Suppose -v = -2*h + 257. Is h a composite number?
False
Suppose 0 = 21*g - 18*g - 6879. Is g prime?
True
Let u(n) be the third derivative of n**6/120 + 13*n**5/60 - 3*n**4/8 + n**3 - 3*n**2. Let j(y) = -y**3 - y**2 - 1. Let a(w) = -5*j(w) - u(w). Is a(4) composite?
False
Is 2*126/36*5273/7 prime?
True
Suppose -1 = -3*k + 5. Suppose 5*w + 79 = 2*y, 4*w = k*y + 3*y - 189. Is y a prime number?
True
Suppose -3*o + 5 = -1. Let r be (1*489)/(42/56). Suppose r = o*x + 2*x. Is x a prime number?
True
Suppose 20 = 4*u, -t + 6*t + 1325 = -4*u. Is t*(3 - 8/2) a prime number?
True
Suppose 0*z = 5*z - 10. Let p(c) = 220*c + 5. Is p(z) composite?
True
Let x(c) = c**3 - 9*c**2 + 2. Let h be x(9). Suppose h*r = -r + 15. Suppose 0 = 4*q - 5*o - 1196, 4*q - 385 - 811 = -r*o. Is q prime?
False
Suppose 3*s + 2*s = -x - 25, s + 5 = -x. Suppose -2*l = 6, x = -4*i + l + l + 3010. Is i a prime number?
True
Let p(i) = 13940*i**2 - 40*i + 83. Is p(2) composite?
False
Let o be (0/1)/(-4*(-1)/2). Suppose o = 4*k + 2156 - 8224. Is k a prime number?
False
Suppose -5*b = -2*i - 27, b - 20 = -5*i - 4*b. Is (i - -900) + 8/4 composite?
True
Suppose 85 = 5*d - 190. Let r be (-341)/d + 2/10. Let s(t) = -t**3 + 2*t**2 + 5*t + 5. Is s(r) composite?
False
Let d(t) = -11*t**2 + 24*t - 13. Suppose 15*x = 11*x - 20. Let o(m) = 6*m**2 - 12*m + 7. Let z(n) = x*o(n) - 3*d(n). Is z(11) prime?
False
Let j = -11 + 17. Let c(p) = p**2. Let h(g) = 4*g**2 - 2*g + 5. Let r(x) = 6*c(x) - h(x). Is r(j) composite?
False
Is (-245685)/(-13) - (-22)/143 composite?
False
Suppose -3*m + 3*v = 9, 4*v + 0*v - 11 = 5*m. Suppose m = -4*h - 3. Is (h + 5)*587/4 composite?
False
Let l = 36 - 32. Suppose 19 = -l*w + 3*w + 3*r, -r + 39 = -5*w. Let s(o) = 14*o**2 + 2*o + 1. Is s(w) prime?
True
Suppose -5*n = 5, 2*m - 3*n + 8*n - 1 = 0. Suppose 5*k + 15 = 0, -5*k - 630 = -0*p - m*p. Is p composite?
True
Let d(c) = c - 11. Let w be d(9). Is (w/(-4))/((-2)/(-844)) a composite number?
False
Suppose 0 = -3*h - 3*y + 24, -4*y = h - 10 - 13. Suppose 3*i - 3 = -h*r, 0 = 2*r + i + 1 - 0. Is (52/(-10))/(r/5) a prime number?
True
Let d(s) = -4*s**2 + 1. Let x be d(-1). Suppose -5 = -5*c + 60. Let j = x + c. Is j a composite number?
True
Let r = -3 + 5. Let o be r/(-3)*(-10 - 5). Is (-6)/o - (-588)/30 composite?
False
Let y(n) = -n**3 + 3*n**2 + 3*n. Let w be y(4). Is 11 + w - 4 - -914 a prime number?
False
Let m = -1 + 2. Let u be m*107 - (1 + 0). Suppose u = -f + 659. Is f composite?
True
Let h(z) be the third derivative of z**5/30 + z**4/24 - z**3/3 - z**2. Let o be h(-2). Suppose -o*u = u - 1085. Is u a prime number?
False
Let p be 2/((3 + 0)/(-84)). Is 2359/8 + (-7)/p prime?
False
Suppose -8 = n - 3*n. Let u(c) = 12*c - 1. Let s be u(n). Let l = s + -26. Is l composite?
True
Let n(t) be the third derivative of 1/10*t**5 + 0*t - 7*t**2 + 1/8*t**4 + 0 - 1/120*t**6 + 1/3*t**3. Is n(-5) a composite number?
True
Suppose -3*y + 35532 = -4*t + 4317, 31215 = 3*y - t. Is y a prime number?
False
Let f(c) = -c - 5 - 3 + 3 - 3*c**3. Let x(p) = -p - 7. Let j be x(-3). Is f(j) prime?
True
Let t(u) = 892*u**2 + 3*u - 9. Is t(-8) a prime number?
False
Let c(i) = i**3 - 7*i + 7 - 10*i**2 + 2 - 5. Let s be c(12). Suppose -204 = 3*f - 7*f - 2*g, s = 4*f + 3*g. Is f prime?
False
Let t(n) = 6*n - 398. Let l(p) = -4*p + 199. Let f(m) = -5*l(m) - 3*t(m). Let h(i) = i + 5. Let w be h(-5). Is f(w) prime?
True
Suppose 3*d = -3*q - 9 - 24, 2*q - 6 = 2*d. Let n(f) = f**3 + 7*f**2 + 10. Is n(d) a prime number?
False
Let x = 485 + 1070. Is x a prime number?
False
Suppose 1125*a = 1119*a + 68802. Is a composite?
False
Let i(l) = 97*l**3 - 7*l**2 + 4*l - 6. Let j be i(-6). Let d be j/9 - (-2)/6. Is (d/(-35))/((-2)/(-10)) composite?
False
Is (-10)/(-25) + 225972/20 prime?
True
Let r(i) = 7*i + 2. Let y be r(4). Let h = -22 + y. Suppose -h*g - 32 = -1816. Is g a prime number?
True
Suppose 0 = -h - 4*h + 240. Suppose 2*f - h = 340. Is f prime?
False
Let x = -7 - -9. Suppose -x*v - 2 = 2. Let p(n) = 4*n**2 + 2*n - 1. Is p(v) a prime number?
True
Let w(a) be the second derivative of 86*a**3/3 - 47*a**2/2 + 2*a. Is w(16) a composite number?
True
Let p be (-2)/6 - (-16)/12. Is (-4 + 3)/(p/(-263)) a composite number?
False
Let p(g) = -102*g**3 + 5 - 7*g + 7*g + 3*g + 17*g**3. Is p(-2) composite?
True
Suppose -9*o = -3*o - 2868. Let m = o + 1837. Is m composite?
True
Let p be (2 + 28/(-7))*78/(-4). Let x = -143 + 231. Let n = x + p. Is n a prime number?
True
Suppose -6*c = -2*c - 16. Let s(t) be the third derivative of 3*t**5/20 - t**4/12 + 7*t**3/6 - 37*t**2. Is s(c) prime?
False
Is 6/16 + (-206815)/(-152) prime?
True
Let k be ((-12)/(-3 - -5))/(-2). Is (-1256)/(-3) - (-1)/k a composite number?
False
Let w = 0 - -4. Let d(k) = 94*k - 5. Let b(o) = 282*o - 15. Let f(l) = 3*b(l) - 8*d(l). Is f(w) composite?
True
Suppose 0 = i - 1 - 10. Suppose -4*c + 5 + i = 0. Suppose 6*o = 2*v + 4*o - 102, -c*v + 5*o = -202. Is v a composite number?
False
Suppose 2*q + 3*k = -163 + 2381, -4468 = -4*q + 2*k. Is q a prime number?
False
Suppose -611766 = -18*r - 0*r. Is r prime?
False
Suppose -9*n - 5880 = -3*n. Is -4 + 4 + (-1 - n) composite?
True
Let q be (3 + (-9)/(81/30))*-33. Suppose s - 8*j - 41 = -q*j, j + 113 = 3*s. Is s a prime number?
False
Sup