 Let d = c + 101. Is d prime?
False
Suppose 0 = -58*r + 54*r + 16. Suppose 4*i = -4*t + 580, i - r*t = 59 + 76. Is i a composite number?
True
Suppose -3*c + 3*j + 36 = 0, -6*j + 2*j + 51 = 5*c. Suppose -c*n = -7*n - 5860. Suppose n = -0*q + 5*q. Is q a composite number?
False
Let m = -15 - -8. Let n = m - -5. Let j = 23 - n. Is j composite?
True
Let w(v) = 4*v + 6. Let z be w(-2). Is (z/4)/((-1)/2158) a composite number?
True
Let s(k) = -7*k**3 + 18*k**2 - 6*k - 21. Is s(-10) composite?
False
Suppose 0*d - 3*p = 3*d + 60, 0 = 3*d - 4*p + 88. Let s = 67 + d. Let u = 149 - s. Is u composite?
True
Suppose 10*h = 13*h - 2667. Is h a composite number?
True
Let a = 13835 - -108938. Is a a composite number?
True
Let z(j) be the second derivative of 19*j**5 - j**4/6 + j**3/2 - j**2 - 17*j. Is z(1) a composite number?
False
Let j = -54 + 93. Let s = j - -815. Let c = 1255 - s. Is c prime?
True
Let w = -58 + 55. Is 1558 - (w + 1 + (-2 - -3)) prime?
True
Suppose -32*p = 34165 - 250517. Is p a prime number?
True
Let w(o) = -3*o**2 + 9*o + 29. Let l(k) = -3*k**2 + 8*k + 29. Let z(i) = 4*l(i) - 5*w(i). Is z(12) a prime number?
False
Is 1/4 - (4 - 85737/12) prime?
False
Let w = -63 - -23. Let a = w + -10. Is (a/(-8))/(17/68) prime?
False
Let v = -1165 + 1165. Suppose -5*t = z + 20, -2*z - 2*t - t = 5. Suppose -3*p + 565 = -v*p - 2*g, -3*p = z*g - 593. Is p composite?
False
Let u(q) be the second derivative of q**4/6 - q**3/6 + 8*q**2 + 21*q. Is u(-7) prime?
False
Let j = 28385 + -17839. Is j prime?
False
Let b be (-2)/(-10) - (-19)/5. Suppose -2*c + c + 366 = -5*o, -16 = b*c. Let w = 37 - o. Is w a composite number?
True
Let t(d) = -3*d**3 - 3*d**2 + 11*d + 33. Is t(-14) composite?
False
Suppose -5*r = -0*j + 3*j + 4, -5*j = -10. Is (9/r - -2)/(4/(-2056)) a prime number?
False
Let h be (-16)/120 + (-4)/(-30). Suppose 0 = -0*s - s + 122. Suppose s = g + f, -122 = -g - h*f - 3*f. Is g a composite number?
True
Let l(p) be the second derivative of -p**5/20 - p**4/12 - p**3/6 + 223*p**2/2 + 4*p. Is l(0) composite?
False
Let v(h) = -4*h - 2. Let z be v(-3). Let q(c) = 4*c**3 + 11*c**2 - 3*c + 10. Let l(y) = -5*y**3 - 11*y**2 + 2*y - 9. Let g(r) = 5*l(r) + 6*q(r). Is g(z) prime?
False
Let b(k) = 925*k - 213. Is b(2) a prime number?
True
Let q(w) = 59*w**2 + 7*w - 12. Let s be q(5). Let a = 2451 - s. Is a prime?
True
Let r = 23 + 18. Let g(l) = 1 + 4*l + r*l + 45*l. Is g(6) composite?
False
Let r(w) = -3*w**3 - 5*w**2 - 3*w - 8. Let u = -39 + 32. Is r(u) composite?
False
Suppose 0 = 4*l + 3*l + 2954. Is (2 - 27/6)*l prime?
False
Is (-95)/57*11838/(-5) prime?
False
Suppose -3*b + 18320 = b + 4*o, -4*b + 18317 = 5*o. Is b composite?
False
Suppose -2*f + 4*f - 3074 = 0. Let y(j) = 831*j**2 + 2*j + 1. Let m be y(-1). Let s = f - m. Is s prime?
False
Let t = 1206 - 1738. Let k = t - -849. Is k a prime number?
True
Let h = -9 - -10. Is (3 - -730)/(h/1) prime?
True
Let c(w) = 27*w**2 - 197*w - 17. Is c(-38) prime?
True
Let q(r) = 528*r + 5. Let s be q(-3). Is (s/2)/(13/(-26)) a composite number?
False
Suppose -4*r - 22214 = l - 70403, 0 = -5*l + r + 240987. Is l composite?
False
Suppose 2*q - 6 = 3*m, -3*q - 5 + 15 = -5*m. Suppose 140 = 5*r - 0*r. Suppose q = -6*o + 2*o + r. Is o a prime number?
True
Suppose -3*u + 4*g = -885, -5*u + 199 = 4*g - 1308. Let t = 91 - u. Let o = t + 367. Is o a composite number?
True
Suppose 62878 = 2*g - 22*t + 24*t, 0 = -5*g + 2*t + 157195. Is g prime?
False
Let d be (-27)/(-4) + (-1)/(-4). Let b be (-11)/((-55)/13020) - -3. Suppose d*v - b = -794. Is v composite?
True
Let j(p) = 6*p**2 + 1. Let i be j(-1). Suppose 3*r = i*r - 12. Suppose 0*k - 27 = -o - k, -r*o - 5*k = -73. Is o prime?
True
Suppose -2*n = -5 + 1. Suppose -376 = -2*k + n*x + 2346, -5*k + x = -6825. Is k a prime number?
False
Let l be 3/(-2) + (-3)/(-2). Is 1 - l - (-8 - 100) composite?
False
Suppose -58719 = -8*o + 7913. Is o a composite number?
False
Let d(p) = -p**2 - 3*p - 3. Let i(u) = -2*u**2 - 5*u - 6. Let t(r) = 5*d(r) - 3*i(r). Let w(k) = k - 25. Let y be w(17). Is t(y) composite?
False
Let y(c) = -534*c + 38. Is y(-4) composite?
True
Suppose -303*u - 450219 = -324*u. Is u composite?
True
Let k(d) = -103*d**3 + 54*d. Is k(-7) a prime number?
False
Suppose -4*k - k + 40 = 0. Suppose -231 = 5*a - k*a. Is a prime?
False
Suppose 2 + 25 = 9*x. Is (-4035)/(-6)*(x + -1) prime?
False
Let x(z) = 1 + 247*z + 274*z - 84*z - 62*z. Let j be x(-2). Is j/(-14) + 2/(-4) a composite number?
False
Suppose -4*d + 20274 = 4126. Is d prime?
False
Is ((-36)/(-8) + -6)*2 - -48902 a composite number?
True
Is ((-105890)/15)/(22/(-33)) prime?
True
Let y = -50 - -33. Let x(b) = 346*b**2 - 8*b - 1. Let r(v) = 1038*v**2 - 23*v - 3. Let d(w) = y*x(w) + 6*r(w). Is d(-1) a prime number?
True
Let l(k) = 220*k**2 + 94*k + 53. Is l(-14) a prime number?
False
Let m = 30 - 28. Let u(t) = t**2 - 2*t + 2. Let b be u(m). Suppose -b*a + 5*a - 489 = 0. Is a a prime number?
True
Let u = 8078 - 4831. Is u composite?
True
Suppose 4*f = 2*d + f + 3, 4*f = -3*d - 13. Let s be 29*d*(-2)/(-6). Let k = 291 + s. Is k composite?
True
Let b(z) = 680*z + 1. Let y be b(2). Let i = y + -880. Is i a prime number?
False
Let n(s) be the second derivative of 118/3*s**3 + 0 + 3*s - 3/2*s**2. Is n(2) a prime number?
False
Suppose -3*t + 13298 = f - 20904, 5*t = -4*f + 136829. Is f prime?
True
Suppose -16*a + 6 = -13*a. Suppose 0 = -5*r - 4*v + 710, 0*r + 3*r - a*v = 426. Is r a composite number?
True
Suppose 4*t + i = 17856 + 36231, 2*i = 5*t - 67612. Is t a composite number?
True
Let u(a) = a**2 + 8*a + 7. Let x be u(-7). Suppose 5*b + 3*v + 6 = x, 0 = -2*b - 2*b + 4*v + 8. Suppose 0 = t - 4*i + 5, b = -t - 0*t + 2*i + 3. Is t composite?
False
Let t(p) = -4*p**2 + 3*p + 1. Let d be t(-6). Let r = d - -269. Suppose -l + 5*l - 417 = -o, -o + r = l. Is l a prime number?
True
Let p(n) = n**3 + 32*n**2 + 41*n + 27. Is p(-29) prime?
True
Let j(y) = y**2 - 3*y - 4. Let s be j(-5). Let f be (-4)/(-18) - (-136)/s. Suppose -3*l + 639 = 4*c, 0 = -f*l - 2*c + 544 + 308. Is l composite?
True
Let n(d) = -d - 2. Let r be n(-6). Let b be -2 + -1*(-2 + -237). Suppose -r*q = -7*q + b. Is q a composite number?
False
Suppose -2*g = -5*m - 14, 3*g - m = 4*m + 16. Let d(u) = u**3 - 5*u**2 + 10*u - 19. Let r be d(9). Suppose 3*f - r = -g*f. Is f composite?
False
Let g = -3 + 6. Suppose -p - 1 = -g. Suppose 3*t = -3*r + 810, -r + 4*r - 541 = -p*t. Is t a prime number?
True
Let l(y) = 6715*y**2 + 19*y - 155. Is l(5) a prime number?
False
Let u(y) = 44*y - 5. Let l be 10/75 + (-172)/(-60). Is u(l) a composite number?
False
Let p = -395 + 256. Suppose -718 = 5*a + 912. Let f = p - a. Is f prime?
False
Suppose -3*d - 22 = -4*r - 4*d, -3*r + d + 13 = 0. Let k = -3 + r. Suppose 2*s = 3*j - 1609, 2*s = 5*j - k*s - 2681. Is j composite?
True
Let f = 2950 - 173. Is f a prime number?
True
Suppose 47*l - 58*l = -117029. Is l prime?
True
Let j(w) = -4*w**3 - 4*w**2 - 5*w - 4. Let a be j(-3). Suppose y - 75 = a. Is y prime?
False
Is (6/(-4))/(-7*12/154616) prime?
False
Let l(z) = -z**3 - 13*z**2 - 10*z + 26. Let q be l(-12). Suppose 999 = 5*r + y, -804 = -r - 3*r - q*y. Is r composite?
False
Suppose 14 = 5*s - 2*q, 5*s = 5*q - 4*q + 17. Suppose -5*f - s*o = -13643, -2*o = -f + 1007 + 1730. Is f a prime number?
True
Let w be (2 + -5)*1/3 + 3. Is (w/4)/(4/2648) prime?
True
Is ((-4)/(-30))/((-12)/(-217185))*6 a composite number?
False
Let i(l) = -l**2 + 17*l - 13. Let v be i(16). Suppose 6*c - 5*c = 4*j - 2334, -v*c - 1755 = -3*j. Is j prime?
False
Let g = -18 + 0. Is (0 - 0)*6/g - -707 composite?
True
Suppose 21*o = 28*o - 284039. Is o composite?
False
Suppose 8624 = 4*w + 3*j, 0 = 2*w - 3*j - 1449 - 2881. Is w composite?
True
Let s(i) = 380*i**2 - 7*i + 20. Is s(3) prime?
False
Let o be (-1)/1 + (-8 - 2). Is (o + 0)*(24/(-3) - -1) a composite number?
True
Suppose b - 7 = -12. Let x(f) = 6*f**2 + 5*f. Let p(g) = -17*g**2 - 16*g. Let s(r) = 2*p(r) + 7*x(r). Is s(b) prime?
False
Suppose j + j = 72. Suppose -j = 3*z - 978. Is 1 + z + (-5 - -1) a composite number?
False
Let d(k) = -2165*k + 42. Is d(-11) a composite number?
False
Let s(w) = -w**2 - w + 42. Let o be s(0). Is -717*(-2)/(-4)*(-28)/o a composite number?
False
Suppose -2*w - 74 + 70 = 0. Is (w + 63)*60