7*d - 33 = 13*d - 5*a. Suppose 0 = 5*p - g - 1760, -d*p - 49*g + 46*g + 721 = 0. Is p prime?
True
Suppose -4*k + 841813 = u - 86700, -k - 2*u = -232123. Is k composite?
False
Let l be (-1627 + 8)*(1 + -2). Let c = l + -148. Is c prime?
True
Suppose 4*s + 3796046 = 5*u, 0 = 5*u - 11*s + 12*s - 3796076. Is u a prime number?
False
Let i = 46 + -44. Suppose 256 = i*a - 0*a. Suppose 5*n - 3*u - 2458 = 0, -a = 3*n + 4*u - 1597. Is n composite?
False
Let o(v) = 15*v - 11. Let i(b) = -30*b + 21. Let c(u) = -3*i(u) - 7*o(u). Suppose 0 = y + y + 18. Is c(y) composite?
False
Let r(o) = 26*o**2 + 3*o - 5. Let z be (6 - 4)/(1/(-10)*-4). Let y(b) = b**3 - 7*b**2 + 8*b + 4. Let m be y(z). Is r(m) prime?
False
Suppose 14*k = 10*k + 832. Suppose b = 5*r + k + 487, 4*b - 2780 = -5*r. Let g = b + -282. Is g a composite number?
True
Let u(m) = 709 + 0*m + 12*m**2 - m - 692 + 5*m. Is u(5) a prime number?
True
Let i be 0/(-2)*(-4 - 28/(-8)). Suppose i = -3*l - 4 + 13. Suppose -56 - 3205 = -l*d. Is d composite?
False
Let p(x) = 705*x**3 + 23*x**2 - 49*x + 34. Is p(9) a prime number?
True
Let l(h) = 67*h - 9 + 39*h + 5 - 31. Let c(x) = 9*x + 108. Let y be c(-11). Is l(y) composite?
False
Suppose 65*a = 90*a + 25. Is (-5 - (a + -6))/(2/2705) prime?
False
Let k be 3/(-5*(-12)/80). Is 518/(-4)*(-3 - -1) + k composite?
False
Let n(v) = -2*v**2 + 25*v - 10. Let q be n(12). Let c = -366 - -538. Suppose 11082 = q*k - c. Is k a composite number?
True
Is 21/(-12) - 277296/(-64) composite?
True
Let o(v) = 5*v**2 - 7*v + 63. Suppose -4*w - w + 4*g - 96 = 0, -g + 79 = -4*w. Is o(w) a composite number?
False
Let c(p) = 13782*p - 3899. Is c(11) a composite number?
False
Let c(i) = 4342*i**3 + 9*i**2 + 47*i - 7. Is c(5) prime?
True
Suppose 3*u - 30455 = -5*k + 33705, -5*k = u - 21370. Suppose u = 4*r - l, 3*r - 26734 = -2*r - 2*l. Suppose 7*q - r = 3*q. Is q a prime number?
False
Let b be (0/(-3))/(1 + 0). Suppose -2*a + 5*n + 42606 = b, -3*a - 39066 + 103013 = 2*n. Is a a composite number?
False
Let f(n) = -n**3 + 3*n**2 + 19*n - 1. Let t be f(6). Is (-166752)/(-160) - 1/t composite?
True
Suppose 0*o + 7838 = 2*o. Suppose 2*a + 3*r = -2*r + 4977, 5*r + 25 = 0. Let x = o - a. Is x prime?
False
Let x(p) = 2*p**2 - 3*p - 4. Let q(v) = -7*v**2 + 9*v + 11. Let h(u) = -3*q(u) - 8*x(u). Let o be h(-1). Suppose -o*n + 8393 = 4*n. Is n prime?
False
Let m = -88 + 85. Let n be m/12*2*(-1164 - 0). Is n - 0*4/(-16) - -1 composite?
True
Suppose -300*j + 3894377 + 13870503 = -37418020. Is j a composite number?
False
Let i(s) be the first derivative of -5895*s**4/4 - s**2/2 + s - 197. Is i(-1) a prime number?
True
Let l(d) = 121 - 752*d + 70 - 114. Is l(-3) prime?
True
Let v(a) = -a**3 - a**2 + 3*a - 7. Let t be v(-4). Let l = t - 24. Is 193 + 1/(l/(-10)) prime?
True
Suppose 78*d - 63243 = 87*d. Let k = 15580 + d. Is k composite?
True
Let p be -5228 - ((-7 - -7) + 6). Let z = p - -8193. Is z a composite number?
True
Suppose 0 = f + 187 - 185. Is ((-60)/70)/(f/6671) a prime number?
False
Suppose -33*a = -32*a - 2. Suppose -a*z + 6217 = -3*v + 6*v, 0 = -3*z + 6. Is v prime?
False
Suppose 0*m + 3*m = 5*q - 60, -4*m + 5 = -q. Suppose -q*a = -10*a + 33195. Is (-5)/(-20) + a/(-4) + 1 composite?
True
Suppose -5*v + 125228 = -h, -5*h + 25039 = v - 3*h. Suppose v = 16*n - 2043. Is n prime?
True
Let t(a) be the second derivative of 13*a**6/360 - a**5/8 - a**4/24 + 23*a**3/6 - 10*a. Let w(j) be the second derivative of t(j). Is w(6) prime?
False
Let i = 212264 + 148973. Is i prime?
True
Let i(j) = -j**3 - 9*j**2 + 34*j. Let s be i(-9). Is (-4)/(-9) + (-1380842)/s composite?
False
Let g be (3 - 1)*(-1 + 10/4). Is ((-7)/(-56))/(g/12)*20270 a composite number?
True
Let f = -51 - -42. Let j be (-877)/(-2 + f/(-4)). Is (j/(-20))/(2/10) a prime number?
True
Is (-68 + 1)/(7392/928 + -8) a prime number?
False
Let i(x) = 62942*x**3 + 7*x**2 + 35*x - 103. Is i(3) composite?
False
Is ((-19)/57)/(5/(-143265)) a prime number?
True
Let t = -17168 - -25950. Is t prime?
False
Is ((-8973)/6)/((-12)/(-48) + 154/(-568)) a composite number?
True
Let j(u) = -6*u - 33. Let w be j(-9). Let x = -17 + w. Suppose x*f = -1793 + 5821. Is f a prime number?
False
Suppose 5*m + 5 = 0, 0 = -2*a + m + 817790 + 98169. Is a a composite number?
False
Suppose 0 = 5*p - 6 - 9. Suppose -x = -p*x. Suppose 0 = -5*k - 4*h - x*h + 805, 0 = -4*k + 3*h + 613. Is k prime?
True
Let q = 45 + -39. Let r = 11 - q. Suppose -2*k + w + 62 = 2*w, 0 = r*w. Is k a composite number?
False
Let q = 147712 - 95549. Is q prime?
True
Suppose 5*z = 5*g - 33700, -2*z = -3*g + 5*g - 13500. Suppose g = 3*f - 4340. Is f composite?
True
Let o(r) = 15*r**2 + 25*r + 5. Suppose 18*c = 12*c - 36. Is o(c) a composite number?
True
Suppose 37*h + 126 = 34*h. Is (-9)/6 - 184485/h a prime number?
True
Let u(b) = 4*b**2 - 18*b - 6. Let l be u(8). Let y = 92 - l. Is 25/(-175) - 36528/y a composite number?
False
Suppose 10*h + 127980 = 22*h. Let m = h + -3262. Is m prime?
False
Let c(h) = 8*h - 9. Let j(w) = w**3 + 2*w**2 - w + 29. Let i be j(0). Suppose n + i = 2*t - 0*n, 2*n = 3*t - 45. Is c(t) a composite number?
True
Let z(m) = 36148*m - 1475. Is z(3) prime?
False
Suppose -30 - 78 = 3*b. Let v = -32 - b. Is (610 - (-2 - -3)) + v a composite number?
False
Let j(d) = -d + 1. Let x(h) = -683*h - 39. Let m(g) = 342*g + 20. Let l(z) = 5*m(z) + 3*x(z). Let i(y) = 2*j(y) + l(y). Is i(-4) a prime number?
False
Let s = -1637937 + 4508726. Is s a prime number?
True
Let i(a) = -a**2 - 4*a + 23. Let x be i(-7). Suppose 0 = 5*b + 20, -6 = x*g - 4*g + 2*b. Is (13 + -755)/(g + -1) prime?
False
Let v = -143236 - -470639. Is v a prime number?
False
Let z = 75 + -66. Is ((-115)/20)/((z/(-732))/3) prime?
False
Let z(u) = 41*u**3 - 54*u**3 + 6*u**2 - 22 + 18*u**3. Is z(9) a prime number?
False
Suppose -13*z - 115218 = -31*z. Is z a composite number?
True
Suppose 4*m - 4*v = 121030 + 42314, 2*v = -2. Is m a prime number?
False
Suppose 0 = 7*u - 6*u. Suppose 20*q - 13*q + 14 = u. Is -6 + 9 - 988/q prime?
False
Suppose 2*q = -5*h + 497343, -2*h + 4*h = -3*q + 198935. Is h a composite number?
False
Suppose -346*h + 335*h + 1171841 = 0. Is h a composite number?
False
Let w(y) be the second derivative of -y + 0 + 305/2*y**2 - 2/3*y**3. Is w(0) a prime number?
False
Let p(r) = -r**3 - 3*r**2 - 2*r + 2. Let a be p(-2). Let k(y) = 202*y + 952. Let c be k(-37). Is (a/6)/((-2)/c - 0) a prime number?
True
Let o(t) = -332*t**3 + 8*t**2 + 5*t - 45. Is o(-4) prime?
False
Let l = -4218 - -12365. Suppose 0 = 2*c + 3*g - l, g + 2 = 1. Suppose 0 = 4*r - 12, 2*r = 2*j - c - 2193. Is j prime?
True
Let f = 4416 + -7962. Let v = 6023 + f. Suppose -v = 12*p - 13*p. Is p prime?
True
Let r = 75690 + -36787. Is r a prime number?
True
Suppose -257 = -j + 5*t, 0 = 5*j - 37*t + 32*t - 1365. Let m be 132/9*(-2 + 11). Suppose k - m = j. Is k prime?
True
Let k(g) = -21*g - 6. Let q be k(-11). Let x = 12 - 7. Suppose -x*j - q = -700. Is j a prime number?
False
Let v(l) be the third derivative of 208*l**5/15 + 9*l**4/4 - 7*l**3/6 - 12*l**2. Is v(6) composite?
False
Let d(r) = -7955*r + 339. Is d(-2) a prime number?
True
Is 8704372/469 - (-3)/(-7) prime?
False
Suppose -3*f + 2*p + 20 = 0, 12 = 2*p - 5*p. Suppose 3*q = f + 2. Suppose -m + q*v = -v - 85, 0 = 3*v - 6. Is m a composite number?
True
Let r = 41070 - 19823. Is r a prime number?
True
Suppose -12*d + 14*d + 40 = 0. Let g(f) = f**2 + 18*f - 35. Let m be g(d). Is (-530)/(m/1)*(-2 + 1) a composite number?
True
Let l(w) = -w**3 - 16*w**2 - 26*w - 37. Suppose -5*k = -0 - 10, f + 2*k = -76. Let m = 64 + f. Is l(m) a prime number?
True
Let y = -61 - -61. Suppose y = u + 2*k + 93, 0 = -2*u - 0*u + 3*k - 200. Let t = u - -228. Is t a composite number?
False
Let c(i) = 152*i - 3. Let n(f) = -f**3 + 5*f**2 + 13*f + 8. Let m = -33 + 40. Let z be n(m). Is c(z) a prime number?
True
Let b = 38 + -36. Suppose b*j = i + 5, -13 = -3*j - 8*i + 4*i. Suppose 382 = j*k - 4*q - 363, 4*k - 2*q = 1000. Is k a composite number?
False
Let b be 5 + -5 - 2*5. Let x(y) = -17*y**2 - 10*y + 12. Let o(a) = a**2 - 9*a + 1. Let v(z) = -o(z) - x(z). Is v(b) a composite number?
True
Let m = 779215 + 115452. Is m a prime number?
True
Let s(q) = -29*q + 5. Let b be s(-1). Let f = -26 + b. Suppose f*m - 4668 + 34