-16*q - 5355414 = -34*q. Is q a prime number?
True
Suppose -3*k + 2*j + 1849 = -2703, -j = 5. Let b(l) = -2*l - 62. Let f be b(-33). Suppose -f*m = 3*y - 4529, -k = -y - 2*m + 5*m. Is y composite?
False
Let b(d) = 8457*d - 584. Is b(47) a prime number?
False
Suppose 2*u - 6 = 0, 2729*q - 2727*q + u = 113885. Is q a composite number?
False
Let r(b) = b - 11. Let z be r(11). Let h = -181 + 2185. Suppose -3*p + h - 175 = 5*t, -3*p + 4*t + 1847 = z. Is p a composite number?
False
Suppose 0 = -10*s - 3*s + 78. Let k be 600/(-16)*8/s. Let c = -28 - k. Is c prime?
False
Let f be 1/(-2)*1*1356 + 3. Let p = f - -2848. Is p a composite number?
True
Let q(v) = 3905*v - 39. Let r be q(-8). Let j = 44570 + r. Is j a composite number?
False
Let i(h) = 125*h + 1. Let u be i(-4). Let v = u + 594. Is v composite?
True
Let j = -9110 + 44989. Is j a composite number?
False
Let n = 153 - 150. Suppose 2*x - 24538 = -4*y, 0 = -4*x + n*y + 5984 + 43136. Is x prime?
True
Let s(d) = d**2 + 7*d - 4. Let a be s(-8). Suppose -6*j + 4 = -4*g - 4*j, -2*j + a = -g. Is (1 - g)/((-18)/(-8172)) prime?
False
Let a = -2199 - -3381. Let o = -3352 + 5121. Let k = o - a. Is k prime?
True
Let d(w) = w**3 + 18*w**2 - 172*w + 71. Is d(70) a composite number?
False
Let j(n) = n**3 - 22*n**2 + 267*n - 1. Is j(15) composite?
True
Let z = 26 - 71. Let p = z - -45. Suppose 411 = 3*q + 2*q - 4*b, -4*b - 16 = p. Is q composite?
False
Let t = -422 - -264. Let x be (708 + 1)*1/1. Let c = t + x. Is c a prime number?
False
Let l(w) = -w**2 + 6*w + 3. Let b be l(6). Suppose 181*n + 230 = 296*n. Suppose n*c + 3504 = b*h + 5*c, 0 = -4*h + 2*c + 4690. Is h prime?
True
Let g(r) be the third derivative of -31*r**5/30 - r**4/12 - 3*r**3/2 + 6*r**2. Let v be g(4). Let f = -680 - v. Is f prime?
False
Is ((-3)/6)/(2/(-1415468)) prime?
True
Is (-1619832)/(-16) + (-26)/4 + 18/3 a prime number?
False
Let p(y) = 31824*y**2 + 66*y + 257. Is p(-5) a composite number?
False
Let s(g) = -273*g - 865. Is s(-28) composite?
False
Suppose 0 = v + 4, 3*f + 5*v = 2*f - 17. Let b be 6575/(-5)*-1*f. Suppose -5*x = -b - 1490. Is x a composite number?
False
Suppose -5*p - 2*g = -131, -2*p = 14*g - 18*g - 38. Let c(s) = 3*s**3 - 58*s**2 - 17*s - 2. Is c(p) a prime number?
False
Suppose -v - 2*y = -9, -4*y + 9 = 6*v - 7*v. Let l(o) = -o**2 + 3*o + 4. Let j be l(v). Suppose j*p - 3421 = 1047. Is p a composite number?
False
Suppose -81*j + 4420 = -76*j. Let o = j + -298. Is o composite?
True
Let v be 4/(-6)*3 + 0 + 12. Let k = v + -8. Suppose -4*h - 14 = k, 3*h - 1385 = -w. Is w a composite number?
True
Let w(q) = 2*q**2 - 9*q + 3. Suppose 9*c - 31 = 194. Suppose 6*f = c + 23. Is w(f) a prime number?
True
Let w(g) = 38*g**2 - 684*g + 61. Is w(-30) composite?
True
Let s(r) = 9054*r + 305. Is s(4) prime?
False
Suppose 0 = -5*g - 0*g - 35020. Is (-1)/(((-24)/g)/(-6)) composite?
True
Let p(n) be the third derivative of n**6/60 + n**5/30 - n**4/6 - n**3 + 18*n**2. Let z be p(-2). Is 3*1022/4 - z/12 prime?
False
Let k = 7 - 5. Suppose 5*h - 3106 = -3*c, 4*h + 2*c = k*h + 1244. Suppose -14*t + 18*t - h = 0. Is t a prime number?
False
Let x(n) be the first derivative of 9*n**4/4 - 4*n**3 + 15*n**2/2 + 5*n - 67. Is x(7) prime?
True
Suppose -10*p + 136726 = -2395 + 1791. Is p a prime number?
False
Let w(y) = 3*y. Let x be w(0). Suppose 2*r - 2*r + 5*r = x. Suppose r = -8*u - 866 + 4842. Is u prime?
False
Suppose 0 = 12*i + 179910 - 1090866. Is i a composite number?
False
Suppose -4*d = 4*n - 5*d - 371656, 5*n - 464563 = 3*d. Is n prime?
False
Suppose -53*a + 46092960 = -6*a - 6333049. Is a a prime number?
True
Let x(q) = 2*q**3 - 22*q**2 - 2*q + 22. Let s be x(11). Is 5669 + s - (18/3 + -6) a composite number?
False
Suppose 0 = 2*h + 3*o + 9, -2*h + 7*o - 3*o = -26. Suppose k = -y + h*k + 6, y + 4*k = -6. Suppose -120 - 52 = -y*j. Is j prime?
False
Let t be 5/((-21)/(-6) + -1). Is ((-3)/t)/((-12)/40008) prime?
False
Let y be (-3)/(-15) + (2 - (-33)/(-15)). Let l be 1 + (6 - 10) + 743 + y. Let s = 339 + l. Is s a prime number?
False
Let h(d) = -2192*d + 671. Is h(-33) composite?
True
Suppose -4*d + 2*y = -324, -3*y + 426 - 43 = 5*d. Is d a composite number?
False
Let w be (438 - 8)/((-4)/(-82)). Suppose p + 7069 = 3*j + j, -5*j - 3*p = -w. Suppose -d = 3*y + 3*d - 1055, 5*y - j = d. Is y a prime number?
True
Let h(y) = 2918*y + 4. Let t be h(-3). Let s = t + 12389. Is s a composite number?
True
Let q be ((-26)/13)/(1 - (-41)/(-43)). Let i = q + 45. Suppose -4*a - h + 15241 = -0*h, -i*h = 5*a - 19055. Is a a composite number?
True
Is (1 + -3)/((-2)/(-5)) - -1504 a prime number?
True
Let r(x) = 599*x - 21. Let i(w) = -3*w**2 - 35*w + 14. Let m be i(-12). Is r(m) a composite number?
True
Let l = 2132 + 346. Let o(s) = 7*s**2 + 8*s + 50. Let b be o(-4). Suppose c = 0, b - l = -4*a + 4*c. Is a composite?
False
Let n(h) = 841*h**2 - 137*h - 1093. Is n(-9) a composite number?
False
Let d be 24*((-48)/8)/(-18). Suppose 5*g - 943 = -3*w + 1950, 0 = 2*g + d. Is w prime?
True
Let w = 10 + -5. Suppose 4*g + 0*g = -w*d + 2090, 4*g + 1286 = 3*d. Suppose s = -u + 452, 0*u = u - 5*s - d. Is u a prime number?
False
Suppose -11 = -t + 3*i, -t + 6*t - 15 = -5*i. Suppose 0 = 4*s - 16, 0 = 4*d - t*s + 3*s - 12. Suppose d*k + 0*k - 745 = 0. Is k composite?
False
Let r(z) = -279 + 92 + 87 + 70*z + 93. Suppose w + 4*q = -3*w - 4, 4*w - 32 = 5*q. Is r(w) prime?
False
Let d = -160 - -185. Let o be (-1)/(-2) - 6/(-4). Is o/(-8) - (-318)/24*d composite?
False
Let n(m) = -m**3 - 7*m**2 - m - 3. Let f be n(-7). Suppose 20 = 4*p, -4*a + f*p - p = 15. Suppose a = 3*h - 9*h + 5802. Is h prime?
True
Suppose 0*d - 4*d - 6548 = f, 0 = -2*f. Let u be (-6)/2 + 4 + d. Is (-1)/(2/u*30/45) composite?
True
Let a(o) be the third derivative of 347*o**6/60 - o**5/6 + 3*o**4/4 + o**3/6 + 3*o**2 - 20*o. Is a(2) a composite number?
True
Is (1556058/(-28)*(-4)/(-6))/(1/(-1)) composite?
False
Suppose 8*u + k = 4*u + 7, -4 = -3*u - 2*k. Suppose 2*o - 5*m - 70284 = 0, -m = u*o - 3128 - 67168. Is o prime?
False
Let q(u) = u - 5. Let a be q(0). Let v(t) = 65*t**2 + 11 - 9*t + 9*t - 7*t - 16. Is v(a) prime?
False
Let p(y) = 20*y**3 + y**2 - 7*y - 7. Let j be p(10). Suppose 3*r - 33*v + 37*v - j = 0, 3*r - 20020 = -v. Is r composite?
False
Let i(g) be the second derivative of 5*g**4/6 - 2*g**3/3 - 5*g**2/2 - 2*g. Suppose -r = -2, 11*r - 10*r - 14 = -3*q. Is i(q) prime?
True
Let r = 932069 + -389506. Is r composite?
True
Let t = -19158 - -49269. Is t a prime number?
False
Suppose -l = -2*h + 57175, 4*l - 142900 = -5*h - l. Is h a prime number?
False
Suppose -4*o + 6 + 78 = 0. Suppose -75 - o = -4*b. Suppose -2*c = -5*r + 2*r + 29, b = 3*r - 3*c. Is r composite?
False
Let v = 641 + -182. Suppose -4*y = 5*a - 2 - 15, 0 = 2*y + 2*a - 8. Suppose 5*x = -m + v, -y*m - 2*m - 3*x = -2207. Is m prime?
True
Let v(b) = 2 - 95*b + 94*b - 8. Let m be v(-6). Suppose -q + 746 - 175 = m. Is q prime?
True
Let q(o) = -37*o**3 - 2*o**2 + 10*o - 17. Let y be q(-6). Let m = 9368 + y. Is m prime?
False
Let s = -1403 - 17548. Let t = -3989 - s. Is t a composite number?
True
Let x(p) = -4*p**3 - 7*p**2 - 8*p - 13. Let j(k) = 6*k + 2. Let t be j(1). Let h(n) = -2*n + 12. Let a be h(t). Is x(a) a prime number?
True
Let m be 0 - 2 - 373675/25. Let b = -287 - m. Is b a composite number?
True
Let l be (1 - 8/6) + 7/3. Is l*-3191*(-4)/8 prime?
True
Let k = 136933 + -73457. Is ((-3)/2)/((-42)/k) a composite number?
False
Let v(h) = 12*h**2 - 3*h + 4. Let i be v(-4). Let s(r) = -5*r**2 + 338*r + 222. Let m be s(69). Let a = i - m. Is a a composite number?
True
Let t = -15696 + 7634. Let i = t + 16121. Is i a prime number?
True
Let q(k) = 2*k**2 + 17*k - 6. Let h be q(7). Let w = 374 - h. Is w prime?
True
Suppose 3*b + 5110369 = 4*n, -1543*b = -3*n - 1546*b + 3832782. Is n a composite number?
False
Is 1286355 + (-360)/(-60) + -1 + -1 + 0 a prime number?
True
Suppose -4*q = -2*q - 4*f - 3680, 0 = q + 4*f - 1852. Let n = 1403 + q. Is n a prime number?
False
Let y = 10750 + 2496. Let t = -2039 + y. Is t prime?
False
Suppose 4*m = l - 4*l - 42, m + 5*l + 19 = 0. Is 54666/m*1/(-2)*1 a prime number?
True
Suppose -2*i + 2*a = -112984, -7*i + 5*i + 4*a = -112982. Is 8/(-76) - 0 - i/(-57) composite?
False
Suppose -73*c + 4033539 +