*j + 6109 + 3422. Let f = a + -674. Is f composite?
False
Let c = -305386 - -521885. Is c composite?
True
Suppose 735*b - 356195 + 1998574 = 754*b. Is b prime?
True
Suppose -4 = -2*v - w, -10 = -6*w + 11*w. Suppose -7015 = -v*f + 4*c, -2*c - 8 = -0*c. Is f prime?
True
Let i = 35 + -35. Let h be 1 + 2 + i + 597 + -4. Is 1/(h/148 + -4) a prime number?
True
Let l(r) be the second derivative of -r**6/120 - r**5/12 - r**4/12 + 5*r**3/3 + 11*r**2/2 - 14*r. Let v(i) be the first derivative of l(i). Is v(-6) prime?
False
Let l(k) = -19*k + 39. Let f be l(-18). Suppose -2*j = -209 - f. Is j a composite number?
True
Suppose -11*p + 45 = -2*p. Suppose 0 = -3*q - 2*r + 25825, -q + 13116 = -p*r + 4502. Is q a prime number?
True
Let w(s) = 668*s - 16. Let f be w(-3). Let i = f - -1139. Let g = i - -2524. Is g prime?
False
Is 45/(-150) - 49719/(-30) a composite number?
False
Suppose 2*u - 21911 = -4*m + 161851, 4*u = -20. Is m composite?
False
Let b be (12668/(-8)*2)/(7/(-147)). Is ((-10)/(-2) + -2)/(9/b) prime?
False
Let l(k) be the first derivative of -k**4/4 + 17*k**2/2 + 19*k - 161. Is l(-10) prime?
False
Is 108851/(-38)*-39 + 5/(-2) a prime number?
False
Let s be 575*(144/15)/4. Suppose -3*x = -2*p - 5, -4*x = -5*p - 0*p - 9. Is (-30)/(-15) + p + s a prime number?
True
Suppose a + 2*r - 8 = 0, -a = 2*a - r + 11. Let m(k) be the third derivative of 19*k**5/60 - k**4/12 - k**3/2 - 2*k**2 - 20. Is m(a) prime?
False
Let g(m) = 87*m**3 + m**2 + 2*m - 7. Let l = -168 - -172. Is g(l) a prime number?
False
Is 3*(-11 + (-405574)/(-57)) prime?
True
Suppose 0 = -z + 14774 + 52017. Is z prime?
True
Let v(k) = 190*k**3 - 2*k**2 - k - 1. Let n be v(2). Let z = n + -296. Is 1/2*(z - -13) a prime number?
True
Suppose 0 = 4*v + 5*x - 18, -v = -4*v + 2*x + 2. Suppose -v*y - 3*l - 2217 = -5*y, -2*y + 1483 = 3*l. Let i = y + -91. Is i a composite number?
True
Let c = 97 + -44. Let n = c + -50. Suppose -3*l - 5*z + 1769 = 0, -n*z + z + 2923 = 5*l. Is l prime?
False
Let r = 22 - 22. Suppose 2*h = -5*i + 22, -i = 4*h - r*i - 8. Is 4*h + -1 - (-492 + 8) prime?
True
Let w = -134 + 74. Let q be (1/((-7)/w))/((-2)/(-14)). Suppose -642 + q = -3*p. Is p prime?
False
Let s = 3105 - -302. Is s composite?
False
Let l = -32818 - -71771. Is l a prime number?
True
Let s = 31136 + -22213. Is s composite?
False
Let b = -70725 - -206411. Is b a composite number?
True
Suppose 0 = -4*m + 3*h - 227 + 2, -2*m - 123 = -5*h. Let d = -65 - m. Let q(k) = -361*k + 10. Is q(d) composite?
True
Let f = 6536 + -4464. Let y = f - 1011. Is y a prime number?
True
Suppose -17*t + 5 + 539 = 0. Suppose 9*o - t*o + 114287 = 0. Is o a prime number?
True
Let c = -258 - -253. Is ((-2)/c)/(16/203960) prime?
True
Suppose -4082773 + 709812 = -107*c. Is c composite?
True
Let c(r) = r**3 - 5*r**2 - 2*r + 6. Let w be c(6). Suppose 5*j = 11*j - w. Suppose j*g - g - 652 = 0. Is g a prime number?
True
Let m = 2976 - -27135. Is m composite?
True
Let u(f) = -6*f - 7. Let h be u(-2). Suppose 12310 = -2*i + h*m, 6169 = -i - 5*m + 4*m. Is (-1)/(4 + i/1541) composite?
True
Is (-14 + 34 + -19)*1291 composite?
False
Suppose -3*i + 3886 = 2*z, 86*z = 91*z + 3*i - 9733. Is z a prime number?
True
Let d = -714 - -1202. Let l = d - -1691. Is l prime?
True
Suppose -82*p + 84*p - u - 23358 = 0, 2*p + 4*u = 23378. Is p composite?
False
Let p(t) = 18*t**2 + 9*t + 26. Let n(h) = h**2 + h + 1. Let q(w) = -5*n(w) + p(w). Let k(g) = g**2 - 34*g - 230. Let o be k(40). Is q(o) composite?
False
Let w(v) = -2*v**3 + 56*v**2 - 2*v + 61. Let n be w(28). Suppose 3*u = n*o + 13364, -3*u + 4*o = 2*u - 22295. Is u a prime number?
True
Suppose 48 - 43 = x. Suppose -3042 - 9815 = -c + n, 0 = x*n + 20. Is c a composite number?
False
Suppose -21*z + 4927452 - 42804 = 3*z. Is z prime?
False
Let w = 20092 + -11946. Is w a composite number?
True
Suppose 0 = 30*i - 28*i - 2, 2*i - 3332838 = 2*l. Is 46/(-437) + l/(-38) composite?
False
Suppose 3*y = -x + 432620, -5*y - 43*x + 39*x + 721017 = 0. Is y a prime number?
False
Let d be (4/(-5))/2 + 216/90. Suppose 4*m + d*v = 6834, 5*v - 5118 = -3*m + 2*v. Is m a composite number?
True
Let l(x) = 69*x**2 - 33*x - 67. Let o(q) = -q**2 + 23*q + 42. Let p be o(24). Is l(p) composite?
True
Let w(x) be the second derivative of 5*x**4/12 - x**3/6 - 15*x**2 + 27*x. Let s be w(10). Suppose -s = -b - 17. Is b composite?
False
Suppose -8*g + 93*q - 91*q = -2679366, 0 = q - 9. Is g composite?
True
Suppose 3*t + 319 = 2*o + 3*o, -2*o = -2*t - 126. Let d = o + 918. Is d a prime number?
True
Let b(v) = 2198*v + 457. Is b(20) prime?
True
Suppose -4*a + 1691 + 1957 = 0. Let u = 32 - a. Is 3 - (u - (7 - 3)) a composite number?
False
Let h(r) = 14*r - 31*r + 3 - 82*r. Let k be h(-6). Suppose -3*y = -0*y - s - k, 4*y = 5*s + 796. Is y a prime number?
True
Suppose -4*k - 20 = 6*q - q, -3*q - 12 = 5*k. Let c(l) = -1 + 263*l**2 + 16*l - 61*l**2 - 3*l - l. Is c(q) a composite number?
True
Let i(s) = s + 7*s**2 + 14*s**2 - s**3 + 4 + 0*s. Let h(g) = -54*g - 157. Let b be h(-3). Is i(b) a prime number?
True
Suppose -32*m - 5*m + 111 = 0. Suppose -10*z + c - 990 = -15*z, -m*z + 592 = c. Is z composite?
False
Let a(b) = 1433*b**3 - 6*b**2 + 37*b + 43. Is a(5) a prime number?
True
Let d(u) = -7039*u - 950. Is d(-9) a prime number?
True
Suppose 474*u - 28891120 = 43243622. Is u composite?
False
Is 153305/3 - (6 - (-224)/(-42)) prime?
False
Let h = -359 + 416. Suppose -h*u + 64*u = 8351. Is u prime?
True
Let z(n) be the first derivative of -169*n**2/2 - 2*n + 302. Let l be 2/6 - 10/3. Is z(l) composite?
True
Suppose 24*v = 61*v - 7521767. Is v prime?
False
Let v(b) = 4*b + 10. Let u be v(-2). Let s(y) = -8*y + 10. Let f be s(u). Is 2/(6/1166*f/(-9)) a prime number?
False
Let o be -6 - (-1 + 226*12). Let m = o - -11656. Is m a composite number?
True
Suppose 0 = 667*u - 660*u - 376411. Is u a composite number?
False
Let a(c) = 89861*c**3 - 2*c**2 - c + 3. Is a(1) composite?
True
Suppose -5*k = -c - 196589 + 43903, 61096 = 2*k + 5*c. Is k composite?
True
Let i(m) = 27*m**2 - 5*m - 9. Suppose 119 - 123 = 4*w. Let d(j) = 9*j - 2. Let u be d(w). Is i(u) composite?
False
Let a(b) = -5*b + 40. Suppose 0 = d + d - 14. Let s be a(d). Let z = s + 326. Is z a prime number?
True
Suppose 7*t = 6*t + 104. Let c(r) = -77*r - 1 - 252*r + t*r - 1. Is c(-1) composite?
False
Let s(d) be the third derivative of -1003*d**4/3 - 2*d**3/3 + 10*d**2. Let r be s(1). Is r/60*(-5)/1 prime?
False
Suppose -5066 = -2*i - 0*i - 2*g, 0 = 5*i - 2*g - 12686. Suppose 64*c + i = 72*c. Is c a prime number?
True
Is (39 - 180/27)/(1 + 48120/(-48123)) a prime number?
False
Suppose 94968 = -9*v + 4743. Let t = 14928 + v. Is t a composite number?
False
Is ((6 - 2349612/63)/(8/(-28)))/1 a prime number?
True
Let f be (75/(-10))/((-6)/9872). Is 5*(-4)/(-2)*f/40 a composite number?
True
Suppose 4*c - 2*s = 18, -29*c + 2*s = -24*c - 20. Suppose 4*b + c*j - 8386 = 0, j - 4*j = -5*b + 10510. Is b prime?
True
Let c = -73 - -76. Let f(y) = 11*y**c - 8*y**3 - 7*y**2 + 10*y - 3 - 6. Is f(4) a prime number?
False
Suppose -4*a + 4*h + 464591 = 5*h, 0 = -5*a + 4*h + 580723. Is a prime?
False
Let h = -732 - 373. Suppose 0 = 3*w - 7*w - 2268. Let b = w - h. Is b prime?
False
Let l = -31 + 41. Let s(r) = -42*r**3 + l*r + 1 + 41*r**3 - 3*r - 8*r**2. Is s(-9) a prime number?
True
Suppose -12*o + 733 = -311. Suppose 82*u + 162335 = o*u. Is u a prime number?
True
Let p = 49 + -46. Suppose -h + p*h = -c + 8402, 0 = -h - 5*c + 4201. Is h prime?
True
Let a(p) = 166*p**2 - 20*p - 188. Is a(-9) a prime number?
False
Let l(x) = 139*x**3 - 13*x**2 + 13*x - 115. Is l(6) composite?
True
Let v(p) = 287*p**2 + 2*p - 2. Let o(b) = 0*b**2 + b**3 + 5 - 2975*b + 2970*b - 3*b**2. Let z be o(4). Is v(z) composite?
True
Let q = 66 - 67. Let c be 3457 + q + -2 + 7. Suppose -4*y - n + 2319 = -441, 4*n = -5*y + c. Is y prime?
False
Suppose 0 = 6*r + 305 - 329. Suppose -r*z - 4*w = -13428, 3*z + 3873 = w + 13952. Is z a prime number?
True
Is ((-2188077)/(-2))/(1968/1312) a prime number?
True
Let g(j) = -1838*j + 479. Is g(-25) a composite number?
True
Let u = -122 + 120. Is -3 + (320/2 - u) a composite number?
True
Let z = -3232 + 38103. Is z a prime number?
True
Suppose -3*m - 375 = 3*g, 5*m + 37 = -4*g - 592. Is m/86 - 40538