*q + 15*i. Is q a prime number?
True
Let q be ((-5)/25 - (-562)/10)*6. Let w = q + 443. Is w composite?
True
Suppose 0 = m + 3*m. Suppose m = -d + 6*d - 40. Is d/(-20) - 531/(-15) a prime number?
False
Let q(u) = -u - 12. Suppose -3*f + 9 = -4*b, 0*b + 4*b - 1 = 5*f. Let t be q(b). Is (-716)/t - 2/6 a composite number?
True
Let c(v) = 7*v**3 + 26*v**2 + 12*v + 34. Is c(21) prime?
True
Let v(b) = -b**3 + 4*b**2 - 2*b. Let i be v(2). Suppose -i*d = -3*d. Suppose -3*f = -y + 47, d*y - 5*f - 96 = -2*y. Is y composite?
False
Suppose 16*s - 3*s = 1261. Is s a prime number?
True
Let j(g) = 0*g**2 + 267*g**3 + 7 + g**2 - 8. Let s be j(1). Suppose -6*l + 2727 + s = 0. Is l a prime number?
True
Suppose -22*y + 23*y - 31379 = 0. Is y prime?
True
Let m(i) = -3*i - 2. Let v be m(-2). Is 320 - (v + 3/(-1)) a composite number?
True
Let q be 88/28 - 3/21. Suppose -a - 3*a - q*l = -18319, 18318 = 4*a + 2*l. Is a composite?
True
Let v be -11 + (-6)/(4 + -1). Let y(j) = -157*j - 36. Is y(v) a prime number?
False
Let k be 4/5 + 44122/10. Suppose -k - 4657 = -2*z. Is z a composite number?
True
Suppose -104*j + 87*j + 629527 = 0. Is j composite?
True
Suppose -j - 65363 = -5*s - 0*j, -3*j - 13067 = -s. Is s prime?
False
Let i = 29993 + -8340. Is i prime?
False
Suppose 3*v + 571 = -5*a + 176, -2*v + 3*a = 295. Let x = v - -259. Is x a composite number?
True
Let t = -514 + -223. Let a = t - -1113. Suppose 4*o - a = 468. Is o a prime number?
True
Let w(u) = -u**3 - 5*u**2 - 2*u + 1. Let z be w(-5). Suppose -5*j + 9 + z = 0. Suppose -t = -j*o + 151, 5*o - 4*t = -0*o + 197. Is o a composite number?
False
Let g be -3 - 16/2*-1. Suppose g*r = -0*r + 205. Suppose -r = -t + 38. Is t composite?
False
Let u be (-3)/6 - (-27)/2. Let t = u + -9. Is 70 + t*(-1)/(-4) composite?
False
Let p = 401 - 179. Let s(m) = m**3 + 15*m**2 + 15*m + 28. Let a be s(-13). Let q = a + p. Is q prime?
False
Let l be (-4)/(65/(-20) + 3). Let s = 13 - l. Is (-9670)/(-5)*s/(-6) composite?
False
Let l(b) = b**3 - 8*b**2 - 10*b + 6. Let y be l(9). Let u be (-40)/y*213/2. Is u/55 + (-2)/(-11) prime?
False
Let u(j) = j**3 + 4*j**2 - 8*j. Let w(l) = -2*l**3 - 4*l**2 + 9*l + 1. Let b(y) = -3*u(y) - 2*w(y). Is b(7) a composite number?
True
Suppose 3*y - 2*l - 326 = 0, 107 = 4*y - 3*y - l. Let b = y + -67. Let v = b - -68. Is v a prime number?
True
Let f(c) = c**3 + 4*c**2 - 6. Suppose 7*k - 9*k - 6 = 0. Let l be f(k). Suppose 7*s = -g + l*s + 131, -2*g = 5*s - 271. Is g prime?
False
Let c be (-5)/(15/(-12)) - 0. Let o = 4 - c. Suppose -3*i + 175 + 584 = o. Is i prime?
False
Let h(c) = -501*c + 728. Is h(-55) composite?
False
Suppose -g = -4*t - 410, 0*t + 2*t - g = -206. Let z(d) = -d**3 + 2*d**2 + 5*d + 7. Let s be z(5). Let h = s - t. Is h prime?
True
Let v = -1230 + 2120. Suppose v = w - 6*w. Let f = 381 + w. Is f prime?
False
Let k(i) = -i**3 - 3*i**2 - 2*i. Let z(j) = 2*j + 8. Let u be z(-5). Let f be k(u). Is f/2 - 668/(-2) composite?
True
Let z = 44 - -62. Let f be ((-250)/2)/(1 - 2). Suppose -f - z = -3*q. Is q a prime number?
False
Let s(a) = 69*a**2 + 7*a - 7. Is s(6) prime?
False
Let f(b) = b**2 + 33*b - 3. Let l be f(-24). Is (-3)/(-1) - l*6 a prime number?
False
Let h(p) = 862*p - 113. Is h(32) a composite number?
True
Suppose 2*j = -3*t + 5827, -14585 = -5*j - 2*t - 2*t. Is j a composite number?
True
Suppose -z + 22 = -5*h + 94, h - 4*z = 22. Let p be (-20)/3*(-1659)/h. Suppose 0 = m - 4, 4*m + p + 449 = 5*s. Is s a composite number?
False
Let i(k) be the third derivative of 17*k**6/40 + k**5/15 - k**4/6 + k**3/2 - 13*k**2. Is i(2) a prime number?
True
Let f = 6 + -1. Let i be (8 - f)/(2/94). Suppose 0 = -0*b + 3*b - i. Is b composite?
False
Let t(o) = o**3 - o**2 + 6*o. Let d be t(3). Suppose d - 2634 = -2*x. Is x a composite number?
True
Let t(r) = 97*r**2 + 2*r - 3. Let q be t(-3). Suppose -4 = -3*l + 2. Suppose -q = -3*m - 0*s - 3*s, -l*s = -5*m + 1433. Is m a prime number?
False
Let g = -251 + 824. Is g composite?
True
Let w(h) = 22*h + 5. Let j(v) = 21*v + 4. Let y(r) = -4*j(r) + 3*w(r). Let k(b) = -b**2 - 3*b - 5. Let i be k(-2). Is y(i) a prime number?
True
Is 17/((-119)/(-28)) + 13845 prime?
False
Let a = 11508 + -2417. Is a composite?
False
Let x be 4/(-3 + 5/2). Let w be (x/(-12))/(2/762). Suppose -d + 2*d - w = 0. Is d prime?
False
Let f(y) = 34*y**2 + 7*y - 137. Is f(-28) prime?
False
Let c be 6*(1 - 2)*-34. Let t = 89 + c. Is t composite?
False
Let q(i) = 32*i**2 + 9*i - 12. Let h(m) be the second derivative of -11*m**4/12 - m**3/2 + 2*m**2 + 7*m. Let b(t) = 8*h(t) + 3*q(t). Is b(-3) a prime number?
True
Suppose 60 = 2*z - 5*z. Let c be ((-6)/(-4))/((-15)/z). Suppose 4*p = 12 + 8, c*q - 2*p - 236 = 0. Is q a prime number?
False
Suppose -i + 1193 = -672. Suppose -7*d = -2*d - i. Is d a prime number?
True
Let o be (-3 - 1)/(-2)*2. Suppose -o*y + 8*y - 80 = 0. Is (-1)/(-5) - (-4176)/y a composite number?
True
Suppose -2*k + 1582 = -1606. Is k*-2*4/(-16) a prime number?
True
Let o(n) = -n**3 + 7*n**2 - 8*n + 6. Let b be o(6). Let f be (0 - (-1)/(-2))*b. Suppose f*j = -2*w - w + 216, 2*w - 114 = 4*j. Is w a composite number?
False
Suppose 0 = -5*p + 5*c + 51545, 0 = p + 2*p + 5*c - 30959. Is p composite?
False
Suppose 0*u + 10 = -3*s + u, -5*s - 26 = -4*u. Is 194 - (7 - (-4)/s - 2) composite?
False
Suppose -5*d = 4*n + 232, d + 5*n + 37 = -1. Let z = d + 102. Let g = 89 - z. Is g composite?
True
Let u(o) = 3*o**3 + o**2 - 1. Let r be u(-1). Let n = 7 + r. Suppose 6*t + 696 = n*z + 2*t, -5*t = -20. Is z composite?
True
Suppose 3*n = -3*m - 12, -n = -0*m + 5*m - 4. Let d(q) = 45*q**2 - 7*q + 1. Is d(n) composite?
False
Let u(i) = 228*i**2 + 11*i - 45. Is u(4) a composite number?
True
Let v = -5 - -8. Suppose v*o = 6*t - 4*t - 2674, 0 = -5*o + 20. Is t prime?
False
Let p = -22 - -22. Suppose 2*h = -3*c + 67, p*h = -c - 2*h + 21. Is c a composite number?
False
Let k(q) = 72*q**2 - q + 16. Is k(9) composite?
False
Let g(i) be the second derivative of i**4/4 + 29*i**3/3 + 21*i**2/2 + 36*i. Is g(-26) a composite number?
False
Let f be -1 + 4/(-4)*-7. Suppose 53 = -f*n + 7*n. Is n a composite number?
False
Suppose 32*d + 255230 = 42*d. Is d composite?
False
Let a be (-3 - -22)/((-1)/(-20)). Let w = 789 - a. Is w a composite number?
False
Let k = 50 - -256. Suppose 0 = -3*s - 2*r - k, 3*s - 4*r + 37 = -251. Let o = -54 - s. Is o prime?
False
Let i(z) = -768*z + 55. Is i(-14) composite?
True
Suppose 6*s - 4*s - 12954 = -4*r, 2*s - 5*r = 12918. Is s a prime number?
True
Let g(n) = 5*n - 23. Let i be g(5). Suppose v = 3*v + 2*l - 318, -l = i*v - 318. Is v composite?
True
Suppose 4*i - 2*j + 2 = 0, 4*i + j + 7 = 2*j. Let o = i + 6. Suppose o*n = t - 77 + 31, 0 = 2*t + 2*n - 52. Is t a prime number?
True
Suppose -478*x = -475*x - 7893. Is x a composite number?
True
Let d be 9/4 - (-8)/(-32). Suppose d*r + 2*r = -8. Is (-5 - -4)/(r/62) prime?
True
Suppose 0 = -4*c + 3*w + 4579, -4*c + 4574 = 4*w - 6*w. Is c composite?
True
Suppose -11957 = -4*x - 7*x. Is x prime?
True
Suppose 7*p + 522 = -871. Let h = 58 - p. Is h composite?
False
Suppose 0*a = 4*d - 3*a, -5*d + 3*a + 3 = 0. Suppose -6*n - 212 = -n + d*u, -188 = 5*n - 3*u. Is (-1990)/n + 3/(-4) a composite number?
True
Let w be (-14)/49 - 44/(-7). Let d be 4/(5/((-165)/w)). Let r = d - -149. Is r composite?
False
Let d(j) be the second derivative of 7*j**4/12 - j**3/6 + 5*j**2/2 - 3*j. Let o be d(-5). Suppose -2*c + c = -o. Is c a composite number?
True
Let t be 4/(-6) - 26/(-39). Suppose t*w = -4*w + 1444. Is w a composite number?
True
Let n = 7257 - -1630. Is n composite?
False
Let b(v) = -9*v + 7. Suppose 6*y - 13 - 5 = 0. Suppose 0 = -y*f - 0*f - 24. Is b(f) composite?
False
Is (-3 - (-186248)/6) + (-8)/(-12) a composite number?
False
Let c = 42 + -69. Let b be ((-3)/(-1))/(c/(-18)). Is (-692)/(-16) + b/(-8) prime?
True
Let g be 5/(-20) - (-674)/8. Let x be ((-68)/5)/((-2)/120). Suppose -4*v - g = -x. Is v a composite number?
True
Let s(x) be the first derivative of -x**4/4 + 10*x**3/3 - 9*x**2/2 - x + 7. Let p be s(9). Let h(q) = -121*q - 2. Is h(p) a prime number?
False
Let s(z) = -2*z - 7. Let p be s(-5). Suppose -12 = -p*a + 3*i, -4*a - 5*i = -2*i + 12. Suppose a*r - r + 747 = 5*t, t = 4*r + 141. Is t composite?
False
Let r = -1267 + 345