 Suppose 0 = -k*p + 5*p + r - 2333, p = r + 1174. Is p composite?
True
Let r = -510147 - -1300078. Is r a prime number?
False
Suppose -n = -6*n + 50. Is ((-953)/(-3))/(n/(-90)*-3) composite?
False
Let p(f) be the first derivative of 28*f**3 - 23*f**2/2 - 55*f - 13. Is p(-16) a prime number?
True
Let i be 2/(-36)*4 - (-2)/9. Suppose 2*h - 547 = f - 0*f, i = -2*h - f + 541. Suppose 3*d + 113 = h. Is d a composite number?
False
Let m be (-2)/5*(-43 - -38). Is -3*(m - (-4159)/(-3)) a composite number?
False
Suppose -p = -9*z + 8*z - 51840, -p = 5*z - 51822. Suppose p = 13*c + 24*c. Is c prime?
False
Suppose -2462*q + 2490*q = 5014324. Is q composite?
False
Is (-4)/(-86) + (-1164820920)/(-1290) composite?
True
Suppose -y + 6 + 3 = 2*c, -4*c + 16 = 0. Let h(i) = 11413*i**3 - i**2 - 2*i + 1. Is h(y) composite?
False
Is 6*2/10 - 1314322/(-1090) a prime number?
False
Let l be (-27)/(-18)*-69*6/27. Is (47/2)/(l/(-3266)) a composite number?
True
Let v be (-1)/4 + (-23)/4. Let h = -19 + 16. Is 417 + (-3 - (v - h)) composite?
True
Let t = -58 - -58. Suppose t = -g - 4*x + x + 12, 4*x - 21 = -3*g. Suppose 5*f = -o + 1244 + 124, g*o - 4169 = -2*f. Is o a composite number?
True
Let u(s) = 11314*s**2 + 35*s - 15. Is u(4) a composite number?
True
Let n(u) = 179*u**2 + 71*u - 5383. Is n(50) a composite number?
True
Let n(q) be the first derivative of -q**4/4 - 5*q**3/3 + 5*q**2/2 + 5*q - 13. Let k be n(-5). Is 4 + (-2845)/(k/4) composite?
True
Let o = -531 + 615. Is (o/16)/(6/20408) a composite number?
True
Let i(a) be the third derivative of a**5/30 + 5*a**4/8 - 61*a**3/6 - 343*a**2. Suppose 2*m + 3*k = -33, 3*m - 2*k + 12 = -44. Is i(m) composite?
False
Suppose -17*b = -22*b. Suppose -4*u + 27 - 7 = 0, b = -3*v - 4*u + 7025. Is v composite?
True
Suppose -u = 2*a - 13 - 12, -3*u + 5*a = -31. Let y(f) = 5*f**2 + 38 + 16*f + u*f**2 - 3*f. Is y(11) composite?
False
Suppose 3*z - 42 = -3*m, 0 = -3*z - 0*z + m + 26. Let t(i) = 80*i - 5. Let a be t(z). Suppose 4*d - 7*d = -a. Is d prime?
False
Let x = -71 + 66. Let i be x/(-45) + (-3345)/(-27). Suppose 950 - i = 2*p. Is p a prime number?
False
Suppose 9*n = 3*n + 37650. Suppose -5*b - 1260 = -n. Is b composite?
True
Let w(g) = -5*g + 5 + 0*g**3 - 39*g**2 + 30*g**2 + g + 8 + 4*g**3. Suppose -4*v - 10 = -5*v. Is w(v) a composite number?
True
Suppose 1001*c + 18 = 1007*c. Suppose 5*a - 1307 = -4*b, -4*a = 4*b - 229 - 1079. Suppose -c*v + 0*v + b = -n, n = 5. Is v composite?
True
Is 1842340/35 + 108/(-84) a composite number?
True
Suppose 21*j = 15*j + 12. Suppose 574 - 44 = j*s. Is s a prime number?
False
Let o(r) = -221*r - 338. Suppose -3*n - w - 19 = 0, 2*w = -n - n - 18. Is o(n) composite?
True
Let g = 131 - 128. Suppose 0 = -2*u + 3*x - 0*x + 370, -4*x = g*u - 589. Is u a composite number?
False
Let l(m) = 20*m + 321. Is l(79) a prime number?
True
Let u be (1 + -5 + 15)*1. Let h(y) = -y**3 + 14*y**2 + 4*y - 6. Let s(g) = g**3 - 14*g**2 - 5*g + 6. Let z(o) = 3*h(o) + 2*s(o). Is z(u) prime?
True
Let d(v) = 8*v + 82. Let n be d(24). Let l = 225 + n. Is l prime?
True
Let t(r) = 2*r**3 + 19*r**2 + 58*r + 16. Let y(l) = l**3 + 10*l**2 + 29*l + 9. Let b(a) = -4*t(a) + 7*y(a). Is b(-13) composite?
False
Let c = -4269 - -6727. Let k = c - -3061. Is k prime?
True
Suppose 355*c - 352*c - 5*l - 994761 = 0, -994701 = -3*c - 5*l. Is c a prime number?
True
Let z(i) = -i**3 - 12*i**2 - 4*i - 46. Let r be z(-12). Suppose 0 = -r*v + 18816 - 970. Is v a composite number?
False
Let p = 565 + -49. Suppose v - p - 493 = 0. Suppose -4*x + 4*d = 3*d - v, -3*d = 15. Is x a composite number?
False
Let f = -19925 + 93030. Is f a prime number?
False
Is 11871 - 32*14/56 a composite number?
False
Let p(d) = 6*d + 44. Let j be p(-13). Let h = -32 - j. Suppose h*w + 91 = 447. Is w a prime number?
False
Suppose -3*t - 11 + 26 = -3*p, 4*t - 3*p - 20 = 0. Suppose t*i = -3*w + 1156, -12 - 3 = -3*i. Is w prime?
False
Let q(z) = 2*z**2 + 2*z - 4. Let m be q(-3). Let n(r) = 1928*r - 3. Is n(m) prime?
False
Let u be (3 + (-25)/10)*8. Suppose 3*f = -6, 2*m - f = u*f + 1952. Let z = m + -634. Is z composite?
False
Suppose 4*f + 2460 = -2*t, -2*f = 3*t - f + 3685. Let i(j) = -26*j**2 + 40*j + 157. Let g be i(-14). Let s = t - g. Is s a prime number?
True
Suppose -2*q - 3*u + 5 = 0, -3*u + 0 = -15. Let h(a) = -66*a**2 + 6*a - 5. Let g be h(q). Let k = -1038 - g. Is k a composite number?
False
Let h = 33 - 57. Is (4/(h/(-326)))/((-4)/(-156)) a prime number?
False
Suppose 7*u + 20 = -p + 2*u, 5*p + 5*u = 0. Suppose -p*s - 60578 = -7*s. Is s composite?
True
Let c = 38722 + -26951. Is c composite?
True
Let b(j) = -5*j**2 - 30*j - 3. Let f be b(-7). Let s = f - -37. Is 3 + s - (6 + -1 + -124) a prime number?
False
Let h = 195 + 2092. Suppose -h = -728*f + 727*f. Is f a prime number?
True
Let k(z) = -6*z**2 - 112*z + 41. Let g be k(-19). Suppose 2*j + 3*c = 29723, 0 = -g*j - c + 59720 - 15125. Is j composite?
True
Suppose -39 = 8*g - 111. Let c(w) = w + 1. Let x(z) = -14*z + 9. Let d(k) = -5*c(k) - x(k). Is d(g) a prime number?
True
Let i(d) = -d**3 - 5*d**2 + 16*d + 11. Let w be i(-7). Let m(n) = 37*n**2 + 8*n - 8. Is m(w) composite?
True
Let l = -2061 + 59956. Is l a prime number?
False
Suppose 0 = -2*a - 3*m + 166398, -5*a + 0*m + 3*m + 415995 = 0. Is a prime?
False
Let v = -51 - -59. Suppose 0 = -4*a + v*a + 12, -5*s + 24 = -3*a. Suppose s*t - 2067 = -0*t. Is t composite?
True
Let j be 4/72*51 + 7/42. Is (j/(-2))/((-33)/451154) a prime number?
True
Suppose 76 = -20*q + 22*q. Let x = q + -6. Is (-3123)/6*(2 + x/(-12)) prime?
True
Let a be -5 - (-21)/(-14)*(-1828)/(-6). Is 4 + -7*(a - -5) a prime number?
True
Let p(f) = f**2 - 6*f - 28. Let z = 44 + -35. Let b be p(z). Is (-63 - b)/(8/(-44)) a composite number?
True
Let v be (3 - (6 - 4)) + -1. Suppose v = 5*c - 487 - 1418. Is c prime?
False
Let j be ((308825/(-10))/(-1))/(9/72). Is (-33)/231 - j/(-14) a composite number?
True
Suppose d + 3*s = -2*s + 16, 3*d = 5*s + 8. Suppose -41 - 49 = -d*l. Is (-5380)/(-7) - l/(-35) prime?
True
Suppose 4*t - 550 = -s, 3*t = -4*s + 5*t + 2146. Let f be (0 - -4) + (s - 18/3). Suppose -6*p - f = -6050. Is p a prime number?
True
Is 142665/57 + (-198)/(-1881) composite?
False
Suppose r = -2*u + 212, -4*r - 192 = -6*u + 4*u. Let z = u + -100. Suppose z*b = 527 + 3933. Is b a composite number?
True
Suppose 5*y + 5 = -3*l + 49, 5*y = -l + 18. Let h(w) be the third derivative of w**5/60 - w**4/12 + 8*w**3/3 - 3*w**2 + 7*w. Is h(l) a prime number?
False
Suppose -4*w + 8480 = -2*y, 5*w - 6*y - 10597 = -5*y. Let a = w + -428. Is a prime?
False
Let j(s) = 106*s**2 + 12*s - 13. Let a be j(-5). Is -1 + (-3 - -6) + a a prime number?
True
Let i be (4012/(-8))/((-1)/(-4)). Let t = i + 3297. Is t a composite number?
False
Let r(t) = 269*t**2 - 3*t - 5. Let l be r(-6). Suppose -l = 5*j - 30202. Suppose 4*q - 3286 = 2*h, 0 = 3*q + 2*q + 4*h - j. Is q prime?
True
Let n(z) = -z**2 - 1. Let t(s) = 48*s**2 - 16*s + 55. Let j(p) = 2*n(p) + t(p). Is j(-7) prime?
False
Let p(j) = -5095*j + 1969. Is p(-48) a prime number?
False
Let w(m) be the second derivative of m**4/12 - 7*m**3/6 - 55*m**2/2 - 33*m. Is w(-10) composite?
True
Suppose 0*p = 2*p - 2*l - 28, -4*p + 53 = -l. Suppose p*w - 7*w - 89814 = 0. Is w prime?
True
Let h(y) = -y**3 + 4*y**2 + 5*y + 19. Let z be h(-5). Let t = 514 + z. Is t prime?
True
Let n = -102 + -74. Let h = n - -483. Is h composite?
False
Let o(a) = -a + 27. Let p be o(6). Is 6/p + (-71088)/(-112) a composite number?
True
Suppose -23*h = -1701 - 39722. Let s = h - -3238. Is s prime?
True
Suppose -3*y - y = -175093 - 72255. Is y a composite number?
False
Suppose -5*s = r - 376263, 3*r - 373*s - 1128769 = -378*s. Is r prime?
False
Let w(g) = -6*g - 1. Let q be w(-1). Suppose -q*h - 52698 = -2*o, 0 = -4*o - 5*h + 69490 + 35906. Is o composite?
True
Let b(z) = -46*z**2 - 8*z + 8. Let p be b(5). Let i be 4/(-6) + p/(-18). Let f = i - -156. Is f a composite number?
True
Is ((-14614)/6)/(-34 + 37520/1104) a composite number?
True
Let m(q) = -41 + 3*q - 5*q + 0*q + 34*q**2. Let u(p) = 8*p**3 + 35*p**2 + 35*p + 2. Let r be u(-1). Is m(r) composite?
True
Suppose -12*q = 104 - 452. Suppose 19*v = q*v - 62950. Is v prime?
False
Let d(f) = 16*f**2 + 29*f + 20. Let n be d(-13). Suppose 