 2815, 11288 = 4*u - 5*s. Is u composite?
True
Let k(n) = -n**3 - 2*n + 817. Is k(0) prime?
False
Suppose -5*l = l. Suppose l*m + 6 = 2*m. Is (m/(-9))/((-5)/1455) composite?
False
Suppose 11*y - 33*y = -70554. Is y composite?
True
Suppose 5*g - 6 = -2*b, 2*g = -0*g. Suppose 3*t = 9 + 3, 21 = -3*u + b*t. Is (-2)/(-6)*u*-787 prime?
True
Let f(g) = -g - 13. Let t be f(-9). Let y be 0 + 1*(-4)/t. Is (1/y*-14)/(-1) a prime number?
False
Suppose -5*u - 6818 = -t - 0*t, 4*u - 34003 = -5*t. Is t prime?
True
Let a = 60476 - 39207. Is a composite?
False
Let n(c) = -3960*c - 85. Is n(-15) a composite number?
True
Let s(x) = -6899*x - 97. Is s(-12) a composite number?
True
Let b(g) be the third derivative of -g**6/120 + 3*g**5/20 + 7*g**4/24 - 7*g**3/3 - 8*g**2. Is b(9) prime?
False
Let n(a) = -a**3 + 13*a**2 + 14*a + 3. Let l be n(14). Is 1565/l - 36/54 composite?
False
Suppose 4*h + 15624 = 4*d, -5*d - h + 1281 = -18219. Is d a composite number?
True
Let b(m) = 2 - 3 + 0 - 306*m. Let l(g) = -g**2 + 6*g + 6. Let k be l(7). Is b(k) a prime number?
False
Suppose 0 = -0*b + b + 4*p - 51851, 0 = 3*p + 15. Is b composite?
False
Suppose f = 3*f + 4426. Let a = -1360 - f. Is a prime?
True
Let s(v) = v**3 + 6*v**2 - 7*v. Let g be s(-7). Suppose -l = -g + 1. Is 7/((-4)/68*l) composite?
True
Is 74 + 46319 + -1 + (-14)/(-2) composite?
False
Suppose -50 = -7*z - 71. Suppose 2*g + 2 = -6. Is g/z + 850/6 a prime number?
False
Suppose -28*s + 22*s + 12 = 0. Suppose 2*w = l + 553, -3*l = s*w - 2*l - 543. Is w prime?
False
Suppose 10*l - 67216 = -6*l. Is l prime?
True
Suppose 45 = -5*x + 8*x. Let b be (17 - x) + 2/2. Suppose -b*v + 300 + 81 = 0. Is v composite?
False
Suppose 622 = 4*s + 2*d, -6*s + 2*s + 643 = -5*d. Is s prime?
True
Suppose -r + 2026 = -2*q - 3*r, r = 3*q + 3039. Let j = -566 - q. Is j a composite number?
True
Is ((-2)/(-8))/(7*(-1)/(-1089284)) a prime number?
True
Let k(w) = -w**2 - w - 1. Let r(c) = -4*c**2 - 3*c - 18. Let m(d) = -3*k(d) - r(d). Is m(8) a composite number?
True
Let k(j) = -2*j - 19. Let v be k(-10). Is ((-1944)/(-3))/1 - (v - 2) composite?
True
Let g = -937 + 1835. Is g a prime number?
False
Suppose -s - 2*r = -5*r - 24, -2*r = 5*s - 52. Suppose q = -q + s. Is q/2 + (316 - 2) a composite number?
False
Let v = -27 + 28. Let u be 2 + v/(4/4). Suppose -u*d = -5*a - 246, -4*a + 102 = d + a. Is d composite?
True
Let u be (-345)/10*4/(-3). Let y be (-2 - 2)*(-1 - u). Suppose y = -4*r + 724. Is r a composite number?
True
Suppose a - 79 = 4*p, p - 3*a - 1 = -7. Let b be ((-14)/p)/((-2)/(-15)). Suppose 0 = -b*z - 5*w + 386 + 624, -z = -w - 200. Is z a prime number?
False
Let h(o) = -o**3 - 2*o**2 + 2. Let f be h(-2). Let i be 1*(8*1 + 2). Is (i/30)/(f/3438) composite?
True
Let w(n) = -10*n**3 + n**2 + 5*n + 11. Is w(-7) a prime number?
False
Let h(f) = -427*f + 73. Is h(-10) prime?
False
Let k = 72 - -114. Suppose -k = -3*g + 30. Suppose 109 = r - 4*y - 8, -r - 5*y = -g. Is r prime?
True
Let k(u) = 23*u**2 - 5*u + 5. Let f(b) = -b**3 + b**2 - 2*b + 2. Let y be f(0). Is k(y) prime?
False
Suppose 2*i - 12297 = -i. Is i a composite number?
False
Is (-16)/96*8*51873/(-4) prime?
True
Is 1629/9 + 1 + 2 + -3 a prime number?
True
Let q = -8 + 32. Suppose -5*k - 1 = q, -2*k - 23 = -b. Suppose -5*i - 3 + b = 0, -p + 2*i + 123 = 0. Is p prime?
True
Let z(w) = -992*w - 11. Let k be z(-2). Suppose -457 = 4*u - 5*f - k, 1895 = 5*u + f. Is u a prime number?
True
Let w = -38 - -42. Suppose -w = -3*y + 11, i - 105 = 2*y. Is i prime?
False
Suppose 43*k = 37*k + 46794. Is k prime?
False
Suppose 12*n = 4*n + 24. Suppose -n*f + 2*f + 122 = b, -b + 147 = -4*f. Is b a prime number?
True
Suppose 4*x = 3*m - 138, 0*m - 5*m + 5*x + 235 = 0. Let s = m + -15. Is 31735/s + (-4)/(-14) a prime number?
True
Let i(r) = -r**2 + 17*r - 26. Let m be i(15). Let a(h) = -6*h + 1 + 8*h**2 - 2 + 6. Is a(m) a prime number?
True
Suppose 0*x = -2*x + 12. Suppose -w = w - x. Suppose -230 = -2*i - 4*d, 0*d = 5*i + w*d - 568. Is i a composite number?
False
Suppose v + 1115 = 3*f, 3*f = -f + 4*v + 1484. Suppose f = 3*k + k. Is k prime?
False
Let i be ((-4)/8)/(1*(-4)/(-77904)). Let m = 13987 + i. Is m prime?
False
Let h be (6 - 6)*1/2. Let u(y) = y**2 - y + 21. Let n be u(h). Is (3 + n/(-6))*-466 prime?
True
Suppose 3504 = 4*p + b + 975, -b - 3150 = -5*p. Is p a prime number?
True
Let h = 15085 + -10364. Is h prime?
True
Let k = -3 - 0. Is (-2692)/(-8)*-2*k a prime number?
False
Suppose 5*u - 2210 = -2*f - 0*f, -u - 4*f + 424 = 0. Suppose -442 + 77 = -3*r - 5*g, 4*r - u = 4*g. Let y = r + 12. Is y composite?
False
Let q(z) = z**2 - 4. Let v be q(-2). Suppose u = -4*t + 20613, u + 25764 = -v*t + 5*t. Is t composite?
False
Let h(p) be the third derivative of -p**6/120 + p**5/60 - p**4/24 + 187*p**3/6 - 2*p**2. Let x be (-6)/(36/30) + 5. Is h(x) composite?
True
Suppose 0 = -5*p + 6*p + 62. Let z = -11 - p. Is z a prime number?
False
Let g(p) = p**2 + 3*p - 7. Let r be g(-5). Let o be 4 + -1 + -3 - 4. Is 15/((-2)/o*r) a prime number?
False
Suppose -26 = -2*y - 0. Let q = y - 10. Is 116*(q/2)/3 prime?
False
Let r be 4/(-4) + -1 - -21. Suppose r = f + 4*s, 4*f - 32 = -0*f - 5*s. Let j(h) = 6*h**3 + 2*h**2 - h + 2. Is j(f) prime?
True
Let p = -10874 + 18669. Is p a prime number?
False
Let l(d) = -48*d**3 + 5*d**2 + 3 - 3*d**2 - 4. Suppose 0 = -2*i - 10, -v + 3*i = 3*v - 11. Is l(v) composite?
True
Let y(m) = -11 - 42*m - 6 + 13*m - 31*m. Is y(-4) composite?
False
Is (-152)/266 - (-83823)/21 prime?
False
Suppose 4*c - 47 + 31 = 0. Suppose u - 3*u = -4*t + 904, -c*t - u + 904 = 0. Is t a composite number?
True
Let q = -390 + 1049. Is q a composite number?
False
Let k(y) = 4*y**2 - y + 5. Let r(o) = -o**3 - 8*o**2 + 4*o + 4. Let c be r(-9). Suppose -3*g = 15, -4*l + c = -5*g + 8. Is k(l) prime?
False
Suppose -2*s = -o - 5167, -4*s + 2579 = -3*s - 2*o. Suppose s = -2*n + 13*n. Is n composite?
True
Let b(y) be the third derivative of 0*y - 1/60*y**5 - 4*y**2 + 563/6*y**3 + 1/24*y**4 + 0. Is b(0) a composite number?
False
Let m(b) be the third derivative of b**6/120 - b**5/20 - b**4/8 + b**3 - 25*b**2 + 1. Let k = -7 - -11. Is m(k) a composite number?
True
Suppose 5391 = x + 5*z, 3*x = 8*x - z - 26903. Is x composite?
False
Suppose -2*z - z - 1 = -m, -2*z = 2*m - 18. Is (-4 + 123)/m*13/1 a composite number?
True
Let m = -10 + 14. Suppose -2*x = -c - 6 + 1, 3*x - m = 5*c. Suppose -251 = -r + x*f, -5*r + 4*f + 1004 = -r. Is r prime?
True
Let f(l) = -2*l**3 - 9*l**2 + 8*l + 12. Suppose u + 6 = -u, 2*u = -2*s - 22. Let d be f(s). Let r = d - 277. Is r a prime number?
False
Let b(q) = -4*q**2 + 3*q. Let z be b(-9). Let s = -224 - z. Is s a prime number?
True
Let j be (6 - 20)/((-2)/(-3)). Let q be 3*(j - (1 - -1)). Is (-110)/5*q/6 prime?
False
Suppose 2*w + 3 = 5. Suppose w - 4 = 3*o. Is (-2334)/(-2) + o + 3 a prime number?
False
Let p be ((-30782)/11)/(-2) - 48/264. Suppose m + 4*q - 1399 = -q, m - p = 2*q. Is m prime?
True
Let i(f) = f**3 + 27*f**2 - f + 5. Let v be i(-18). Suppose 0 = 5*x - 2*a - v, -2*x + 4*a - 1753 = -5*x. Is x composite?
False
Let m be (-11 - -9) + (-515)/(-1). Suppose 633 + m = 6*r. Is r a composite number?
False
Let z be (0 + -3)*(-16)/(-12). Let j be 10/(4 - 3) - z. Is (-67)/(-2)*j/7 composite?
False
Is (17/(-34))/(2/(-12148)) a composite number?
False
Suppose -4*x + 0*x + 2*l = -1674, 0 = 3*x + 4*l - 1228. Let a = 590 - 391. Let m = x - a. Is m composite?
True
Let u(h) = 166*h**2 - 6*h + 5. Let a = -16 + 13. Let c be a/9*-3*3. Is u(c) prime?
True
Suppose -9 - 13 = 11*j. Is 215 + j + 2/(-3 + 2) a composite number?
False
Let d(g) = 111*g**2 - 20*g - 128. Is d(-11) a composite number?
False
Suppose 6 = 3*l, 4*h = 2*l - 3009 + 89233. Is h prime?
True
Suppose 0 = 2*n + i + 3*i - 122, 4*n - 200 = 3*i. Let g(f) = f - 4. Let r be g(0). Is n*(0 + (-4)/r) composite?
False
Let z = 6 - 4. Suppose 2*g - 1328 = -z*g. Let n = 655 - g. Is n a prime number?
False
Suppose -4 - 12 = -2*s. Suppose -z = -0*z - s. Is ((-20)/z*26)/(-1) a composite number?
True
Let a(p) = -10*p**3 - p**2 + 3*p + 1. Let x(c) = -c + 5. Let t be x(8). Let b be a(t). Let j = b + -179. Is j a prime number?
False
Let r = 6 - 4. Suppose -2095 = -r*m + 3*v, -3*v + 2*v - 2097 = -2*m. Is m prime?
True
Let j be -4 - -6*(-6)/(-4)