*a + 2*a. Let y be -8 + -6*3/(-6). Is q(y) prime?
True
Suppose 3*r - 5*c = -4*c + 8, 3*c = -15. Is (4 - 4) + 1151/r prime?
True
Suppose 0 = -4*g - 1641 - 3615. Let p = 2461 + g. Suppose 4*q = -3*s + p, 0*q + 2*q - 3*s = 587. Is q a prime number?
False
Suppose 14 = 3*v + 65. Let a = 22 + v. Suppose 2*h - 397 = -u, 0 = 5*h - a. Is u a prime number?
False
Let m(a) = -2*a + 85. Suppose -d = -f - 3, 5*f + 5*d = 6 + 9. Is m(f) composite?
True
Let y(u) be the third derivative of -5*u**4/6 + 9*u**3/2 + 22*u**2. Is y(-13) a prime number?
False
Suppose 4*f + 2 - 54 = 0. Suppose -f*t = -14*t + 19. Is t a prime number?
True
Is (-1869)/14*(-4 - (-2200)/(-12)) prime?
False
Let x = 7418 - 3831. Is x a prime number?
False
Suppose -11*i = -4*w - 10*i + 3507, 1758 = 2*w + 4*i. Is w prime?
True
Let k(v) = -v**2 - 9*v + 3. Let f be k(-10). Is (f/14)/((-3)/1518) composite?
True
Let j be (15 + -13)*(387 - 1) + 1. Let s = j + 510. Is s prime?
True
Let y(o) = o**2 + 6 + 2 - 1 - 4*o - 3. Let k be y(4). Suppose 745 = k*g + g. Is g a prime number?
True
Let j be 2 - (-4 - -4)/1. Let x(y) = -y**2 - 18*y - 20. Let u be x(-17). Is ((-185)/j)/(u/6) a composite number?
True
Suppose 6*i = 5*p + 3*i - 200213, -3*p - 4*i = -120151. Is p composite?
True
Suppose -n - 19 + 3 = 0. Let o be (-12)/n + (-4)/(-16). Let j(u) = 793*u - 2. Is j(o) composite?
True
Let q = 3372 - 1494. Suppose u = -2*u - j + 1898, 3*j = 3*u - q. Is u prime?
True
Suppose 4*d + o - 38543 = 0, -5*d + 8*o = 10*o - 48175. Is d a composite number?
True
Let c(y) = 2*y**3 - 2*y**2 - 3*y + 4. Let o be c(2). Suppose o*f - 844 = 2*f. Is f a composite number?
False
Let u = 531 + -162. Let d = -210 + u. Is d a composite number?
True
Is (-13)/(13/(-2)) + -5 + 10292 prime?
True
Suppose 91*x - 84*x + 525 = 0. Let k(h) = -63*h - 2. Let y be k(-2). Let s = y + x. Is s composite?
True
Let z(c) = 134*c**3 - 10*c**2 + 22*c - 9. Is z(5) a prime number?
False
Suppose -5*l + 32189 = -4*c, 3*l - 5*c - 8323 = 10993. Is l prime?
False
Let d(w) = 793*w - 28. Is d(3) prime?
True
Suppose -4*y = -5*o - 0*y + 31, 5*o = -2*y + 7. Suppose -3*z = -3*b + 2*z + 1854, -1845 = -o*b + 2*z. Is b a prime number?
True
Let t = -794 + 6672. Is t prime?
False
Is (-130823)/(-5) - ((-84)/10 - -8) composite?
True
Let r(g) = 8*g + 5. Let k(f) = f + 1. Let j(q) = 4*k(q) - r(q). Let c(s) = -9*s - 2. Let a(n) = 2*c(n) - 5*j(n). Is a(10) prime?
False
Let l be (-2)/(-2) - (-6 - -14). Let t = -1 - l. Suppose -t*k + 9*k - 381 = 0. Is k a prime number?
True
Let j(f) = f + 1. Let r be j(-1). Let g be (62/4)/(20/280). Suppose 2*m = w - 368 - g, -5*w - 4*m + 2911 = r. Is w prime?
False
Suppose 2 = -h + 34. Let m(w) = 19 + 20*w - h + 3*w + 5*w. Is m(6) composite?
True
Let f(m) = -m + 12. Let r be f(9). Let w(a) = 12*a**2 + a + 6. Let q be w(6). Suppose -2*t - 3*z = -6*z - 271, -3*t - r*z + q = 0. Is t prime?
False
Let w(z) = -127*z**3 - z**2 + 1. Let j be w(4). Let v = j + 13128. Is v a prime number?
False
Let s(q) = q + 1. Let r(x) = -4*x**3 + 10*x**2 - 8*x + 1. Let n(k) = -r(k) - 6*s(k). Let g be n(7). Let d = g - 518. Is d composite?
True
Let x(n) = -n**3 - 13*n**2 - n - 13. Let l(u) = u**3 + 13*u**2 + 13. Let z(a) = 5*l(a) + 4*x(a). Is z(-7) a composite number?
True
Let j = 18 + -33. Let b be (50/j)/((-4)/6). Suppose 0 = -3*f + b*f - 370. Is f prime?
False
Suppose -2*u - 4*k = 2*u - 1432, 5*k = -2*u + 725. Is u a composite number?
True
Let a(m) = 25*m**2 - 16*m - 66. Is a(-13) a prime number?
False
Let u(x) = 5*x + 3 - 11*x + 4*x - x**2. Let n be u(0). Suppose 0*h - n*h + 873 = 0. Is h prime?
False
Let p(t) = t**3 + 7*t**2 - 12*t - 8. Let q be p(-8). Is (-8)/q - 2632/(-3) a prime number?
True
Suppose 65*d = 61*d + 21188. Is d a prime number?
True
Suppose 0*j - 12 = -3*a + 3*j, 2*a - 3*j - 13 = 0. Is 5 + -9 - a - -3832 composite?
True
Let y(o) = 1769*o + 146. Is y(13) a composite number?
False
Let p = 3828 + -141. Is p a composite number?
True
Suppose 15*w = 5*k + 16*w - 2348, 3*k = 4*w + 1395. Is k prime?
False
Let x = -13565 + 28078. Is x composite?
True
Let z(j) be the third derivative of -19*j**6/24 + j**5/60 + j**4/12 - j**3/6 - 3*j**2. Let x be z(-2). Suppose 0*s = -3*s + x. Is s a composite number?
True
Suppose z + 3385 = w, 3*w - 5*z = -0*z + 10153. Is w a composite number?
True
Let i be (-2844)/42 + (-6)/21. Let w be 2/(-17) - 1368/i. Let v = 139 - w. Is v composite?
True
Is 1*1*7 + (232 - -10860) prime?
False
Is (0 + (-7)/14)*-178 composite?
False
Let q(d) = 1 - 6*d - 36*d + 131*d + 110*d. Let u be q(3). Suppose -k = -3*k + u. Is k a composite number?
True
Suppose 1622 = p + p. Let m = p + -170. Is m a composite number?
False
Suppose -4*w + 4*v + 883 = -w, 2*w = -v + 585. Is w prime?
True
Let f(q) = 19*q**3 - 313*q**2 + 321*q**2 - 4*q + 3 + 12*q**3. Is f(4) a composite number?
False
Suppose 0 = -2*f + 5*a + 5, 3*f = -a - 2*a + 18. Suppose -3839 = f*k + 2*i, 3*i + 2*i = 3*k + 2291. Let u = -210 - k. Is u a composite number?
False
Suppose -3*s + 6*s = 4*z + 914, -5*s + z = -1546. Let l = -21 + s. Is l a prime number?
False
Let d be 0/(9/3 + -1). Is 1632 - 7 - (-1 + 3 + d) a composite number?
True
Let l be (3 - 1)*(-2)/4. Let f(j) = 7*j**2 + j. Let n be f(l). Suppose -4*z - 57 = -2*c - 1291, -n = 2*c. Is z a prime number?
True
Let r(b) = b**3 - 28*b**2 + 6*b - 19. Is r(34) a prime number?
True
Let n = 12 - 12. Suppose n*l + 3 = -l. Is l - (-129 - 3/(-1)) composite?
True
Let u = 5525 + -2854. Is u composite?
False
Suppose 0 = -6*i - 20*i + 773890. Is i composite?
True
Let m(s) be the third derivative of s**5/20 + s**4/12 - 3*s**2. Let l be m(1). Suppose j + 495 = 3*q + l*j, q = -4*j + 157. Is q prime?
False
Let k(r) = 14*r**2 - 4*r + 3. Let s(g) = 2*g. Let z be s(5). Is k(z) composite?
True
Let a = 8 - 3. Suppose -5*o = 2*u, 35 = -a*u + 4*o + 2. Is 173/5 - 2/u a prime number?
False
Suppose 0*o - o + 3 = 0. Suppose 0 = 2*v + 5*z - 157, z - o*z = -5*v + 465. Is v a prime number?
False
Let o = -1309 - -10536. Is o a composite number?
False
Let u = 437 - 95. Let i = u + -224. Is i prime?
False
Suppose -2*h - 2*g + 113974 = 2*g, 0 = 2*h - 7*g - 113952. Is h prime?
True
Let j(w) = -233*w**3 - w**2 - 3*w + 4*w - 1 - 1 + 3*w**2. Let l be j(-2). Suppose 3*m = 5*y - l, 0 = 4*y - 4*m - 696 - 800. Is y composite?
False
Let w = -30 + 33. Suppose -6 + 9 = -w*z. Is -3 + 0 + 587 + z a prime number?
False
Let a = 36 + -29. Let c(w) = 3*w**2 + 3*w + 17. Is c(a) composite?
True
Suppose r - 5*k - 6 = 15, -4*k - 40 = 5*r. Let u = r - -7. Is 170*u/(-6)*-1 prime?
False
Let n(a) = -a**3 - 9*a**2 + 9*a - 10. Let o be n(-10). Suppose 4*l + 700 + 3404 = o. Let u = 1775 + l. Is u prime?
False
Let x = -2 + -12. Is (-2 - 112/3)*147/x composite?
True
Let n = 23 + -21. Is (-2 - 9/(-6))*-1543*n a composite number?
False
Let z(y) = 6*y - 56. Let s be z(11). Suppose 15*v - 1055 = s*v. Is v prime?
True
Suppose -2*v + 60 + 40 = 0. Let y = 285 + v. Is 8/4*y/2 composite?
True
Suppose 0*v - 42 = -3*v. Suppose -v*x = 2357 - 6123. Is x a prime number?
True
Suppose -b - 2282 = -4*a, 17*a - 12*a - 2865 = -5*b. Is a a prime number?
True
Let l = 11848 + -3495. Is l composite?
False
Is (-8)/18 + (-10 - (-56539)/63) prime?
True
Let l be (112/(-32)*2/1)/(-1). Let h(c) = 116*c**2 - 14*c - 7. Is h(l) a composite number?
True
Let b be (-1132)/5 - (-3)/(-5). Let z = 217 - 367. Let l = z - b. Is l a composite number?
True
Let j(z) = 2*z**3 + 142*z**2 - 16*z + 106. Is j(-58) composite?
True
Let u(s) = 10*s**3 + 4*s**2 - s - 13. Let o be u(10). Let q = o + -14627. Is (-2)/3 - q/30 a prime number?
False
Let s be (-35)/14*(1 + 3). Is (703 - (-1)/(5/s))*1 a prime number?
True
Let h(i) = 90*i**2 - 8*i + 8. Let s be h(3). Suppose u - 857 = s. Is u a prime number?
False
Suppose c = -5*c. Suppose -3*i + 8*i + 4*p - 3545 = c, -i + p = -709. Is i prime?
True
Suppose -l + 0*o = -5*o - 22, -2*o - 8 = 0. Is (4 - (-82)/1)/l composite?
False
Suppose 3*c - 9 = -5*n, -4*n - 6 = -0*c - 2*c. Suppose l - c*p = -3*l + 2795, 3*l = -3*p + 2070. Is l prime?
False
Suppose -5*s - 3*o = -49930, 103*s + o + 29944 = 106*s. Is s composite?
True
Let k = -430 - -1146. Suppose k = -2*o + 4*o. Is o a prime number?
False
Is (-12 - (-91209)/9)/(2/6) a composite number?
False
Let m(r) = -6 + 4*r**2 - r - 4*r - 3*r**2 + 0*r. Let t be m(6). Suppos