l = -16309 + 27216. Suppose -q - 4*k = 3649, -3*q + 0*q = 4*k + l. Let s = -2098 - q. Is s a prime number?
True
Let a(z) = z**3 - 4*z**2 - 2*z + 17. Let q be a(5). Let w = 299 + q. Is w a composite number?
False
Let t(v) = 5*v + 2. Let o be t(-2). Let j(z) = -10*z + z**2 - 8 - 2*z**2 + 2. Is j(o) a composite number?
True
Let x(b) = -3*b - 9. Let r be x(-6). Is (-10398)/r*(-12)/8 prime?
True
Let p = -20 - -25. Suppose 3*u - 3*c = 288, -p*u + 0*u - 5*c + 490 = 0. Is u a composite number?
False
Suppose 0 = -2*h + 4*z + 17566 + 3016, -z = 2*h - 20607. Is h a prime number?
True
Let q(l) = -103*l**3 + 10*l**2 + 4*l - 3. Is q(-4) composite?
False
Let t(w) be the second derivative of 15/2*w**2 + 1/12*w**4 - 5/6*w**3 + 0 - 6*w. Is t(-11) a composite number?
False
Suppose 3*t - m = 154151, 138*t + 4*m = 139*t - 51391. Is t a prime number?
True
Let u(o) = 16*o**2 + 29*o + 29. Is u(-26) prime?
True
Let n(v) = 29*v**2 - 6. Let l be n(-10). Let s = 5629 - l. Is s a prime number?
False
Suppose -4*l - g = -7*l + 2, -4*g = -4. Is 3 - (1 + -688 - l)*1 composite?
False
Let a(d) = -2 + 315*d - 9 - 124*d. Is a(2) a prime number?
False
Let x(l) = 4*l**3 + 6*l + 7. Let b be x(-4). Let y be (-6)/10 + b/(-5). Is 177/((y/(-4))/(-9)) a composite number?
True
Let h(o) = -o**3 + o**2 + o - 1. Let f(y) = 9*y**3 - 5*y**2 - 8*y + 5. Let k(r) = f(r) + 3*h(r). Suppose 17 = 5*d - 2*x, -2*x + 23 = d + 2*d. Is k(d) prime?
True
Let f = -50 + 53. Suppose 2*p - 2*c - 2587 = -3*p, -3*p + 1548 = f*c. Is p a prime number?
False
Let g(a) = a - 8. Let k be g(4). Let x be 10/14 + (-2)/(-7). Is (2 - x) + k + 92 composite?
False
Let p = -11215 + 6796. Is (p/(-36))/((-1)/(-8)*2) a composite number?
False
Let t(u) = u**3 + u**2. Let f be t(1). Suppose -4*s = f*s - 12. Suppose s*b - 6*o - 1262 = -2*o, -b = 3*o - 631. Is b a prime number?
True
Suppose -2*s + 0 = -32. Suppose -3*y - s = 3*d + y, y + 4 = 0. Suppose -b = -d*b - 1399. Is b composite?
False
Suppose -4*q - 9 = r, 6*r - r - q = 39. Suppose -r*h = -h - 2826. Is h a composite number?
True
Let y(o) = -o**3 + 9*o**2 - 9*o + 8. Let x be y(8). Let n be 2*(2 + -1) - x. Suppose 3*i + 2*k = 59, -2*i - k + 37 = -n*k. Is i a prime number?
True
Let k(q) = -q**3 - 12*q**2 - 23*q + 5. Is k(-16) prime?
False
Let i(y) = -y**2 - 4*y. Let n be i(-4). Let u be 846 + (2 - (-1 + n)). Is (-18)/63 - u/(-7) a prime number?
False
Let v(c) = 36*c + 3. Let r = -16 - -19. Suppose -r*n = -n - 3*q + 6, -5*n - 3*q = -27. Is v(n) a prime number?
False
Let c be (-87 - 3)*-1 - 2. Suppose -p = -c + 29. Is p a composite number?
False
Let a(l) = l**2 + l - 291. Suppose r + 3 = 2*r, -5*r = 4*z - 15. Let f be a(z). Let s = 584 + f. Is s a prime number?
True
Let k(j) = 13*j**2 + 11*j + 39. Is k(11) a prime number?
True
Let n(x) = x**3 + 8*x**2 + 6*x - 6. Let r be n(-7). Is ((-6)/(-15))/r + 7666/10 a composite number?
True
Let w = -55 - -50. Let d(m) = -3*m**3 - 5*m**2 + 6*m + 1. Is d(w) a composite number?
True
Suppose -y + 17 = t - 2*t, -3*t - 64 = -4*y. Suppose -6*w - y = -7*w. Is w a prime number?
True
Suppose 865*o - 39 = 862*o. Is o a prime number?
True
Let x be 3*((-17)/(-15) + (-3)/(-15)). Let b(z) = 130*z - 21. Is b(x) a composite number?
False
Let r = 699 - 440. Let g = r - -1084. Is g a composite number?
True
Is ((-15)/(-20))/((-9)/(-45132)) a composite number?
False
Suppose -15311 = -d + 3*j, -5*j - 1561 = -3*d + 44356. Is d a composite number?
False
Let n be 8*(-6)/(-16) - (-1)/1. Suppose 2*m = -3*m. Suppose -n*s = -m*z - 4*z + 1496, 4*z - 5*s = 1491. Is z composite?
False
Is -2 + (-20)/6*1813518/(-28) a prime number?
True
Let x(a) = a**3 - 15*a**2 - 4*a + 21. Let p be x(19). Suppose -5*c + 256 + p = 0. Is c prime?
False
Let r = -484 + 818. Suppose r = 2*t - 1130. Let f = 1049 - t. Is f prime?
True
Is 7118/3 - (-15)/(-9) composite?
False
Suppose 11454 = -19*d + 25*d. Is d composite?
True
Let p(f) = -1 + 4*f**2 - 10*f**3 - 8*f**2 + 12*f**3 + 4*f - f**3. Let i be 4/(-10) + (-66)/(-15). Is p(i) a prime number?
False
Suppose 6582 = 10*r - 5158. Is r a prime number?
False
Let g(h) = 171*h**2 - 5*h + 21. Is g(5) prime?
True
Let q(m) = 112*m - 32. Let g be q(7). Is (-1)/(3 - 2) + g a prime number?
True
Let d(s) = s**3 + 11*s**2 + 5*s + 12. Let i be d(-10). Let g = 117 - i. Is g a prime number?
False
Let b be (29/2)/((-4)/(-136)). Suppose 5*f + 149 = n, -3*n - 46 = -f - b. Is n prime?
True
Let c = -29 - -20. Let v be c/3 - (-280 - 1). Suppose 2*n - 1648 + v = 5*y, 3*y = 5*n - 3463. Is n prime?
False
Suppose -2*g + 4*h - 3581 = -15755, -5*g + 30449 = 4*h. Is g composite?
False
Suppose -2*c + 11 = 1. Suppose -13 = -3*b + c*b + k, -4*b - 4*k = 36. Is 0 + 21 + (-4 - b) prime?
False
Let n = -2 + -4. Let l = 8 + n. Suppose -l*d = -226 - 100. Is d composite?
False
Let f = -34 - -39. Suppose 15 = f*h, 598 - 9332 = -5*v - 3*h. Is v prime?
False
Let z(l) = -33 - 21*l - 16*l - 39*l. Is z(-17) a composite number?
False
Suppose 33*j - 1075095 = -12*j. Is j prime?
False
Let c(p) = -55*p**3 - 3*p**2 + 2*p + 14. Suppose 63 = -3*t + 54. Is c(t) prime?
False
Suppose -4*k - 4 = 8, k + 18 = -5*p. Let m be 1 + 40 - (5 + p). Suppose m = s + 2*b, 27 = 5*b + 7. Is s prime?
True
Is ((-8)/(-16))/(63764/(-21256) + 3) composite?
False
Let f(x) = 7*x + 7. Let u(t) = 13*t + 14. Let y(s) = 5*f(s) - 2*u(s). Suppose 0 = q - 8. Is y(q) composite?
False
Suppose -5*l - 4*w + 2683 + 3631 = 0, 0 = 3*l - 4*w - 3782. Suppose 15*g - 13*g - l = 0. Is g composite?
False
Let z be (932*(-1)/(-2))/2. Let s = 342 - z. Let o = 162 - s. Is o a prime number?
True
Let f(l) = l**3 + 5*l**2 - 5*l + 8. Let z be f(-6). Suppose -d = -2*s + 10, -z = -2*s + 6. Is (-19)/d*20/2 prime?
False
Let k(u) = -u**2 - 6*u - 1. Let g be k(-5). Suppose g = t - 3. Suppose -3*d - t = -64. Is d prime?
True
Let b = -3 - -7. Suppose y = -a + 3*a + 11, -26 = -b*y + 2*a. Suppose -80 = y*z - 525. Is z prime?
True
Is -4*5458/4*-1 a composite number?
True
Let l(k) = k**2 + 3*k + 1. Let s be l(-4). Suppose s*i + 2 = -3. Is -109*i/2*2 composite?
False
Is -10299*(0 + 6/(-18)) - 6 a prime number?
False
Let o(b) = b**3 + 4*b**2 + 5*b + 27. Is o(10) composite?
True
Let u = 23236 + -14633. Is u a composite number?
True
Let b be 6/(-10) + (-46)/(-10). Suppose 553 = -2*j - 4*q + 1839, q + 2536 = b*j. Is j prime?
False
Is 115366/(-111)*3/(-2) a prime number?
True
Suppose -2*x - w = -6*x + 107112, -x + 26757 = 5*w. Is x a prime number?
True
Suppose 0 = 5*a - 3*j - 1105 - 54, 0 = -a + 2*j + 229. Suppose 0 = y - z - 0*z - a, -4*z = y - 253. Suppose 0*k = -k + y. Is k prime?
False
Let h(a) be the first derivative of -3385*a**2/2 + 17. Is h(-1) a composite number?
True
Let o(h) = -h**2 + 6*h - 6. Let j be o(4). Suppose -4*s = -4*i - 204, 0 = 4*s + j - 14. Is (2 - 3)/(-1) - i a composite number?
True
Let y = -2408 + 5335. Is y a prime number?
True
Let v(u) = 2002*u**2 + u + 1. Let j be v(1). Suppose 1419 = 3*h - j. Is h composite?
True
Suppose 5*f = -5*o - 20, -22 + 6 = o + 5*f. Is (-92)/((4 - 5) + o) composite?
True
Let v(u) = -964*u**3 + 6*u**2 - 6*u - 37. Is v(-3) prime?
False
Let x(v) = -v**2 - 1. Let u(z) = 20*z**2 - 9. Let i(j) = u(j) - 4*x(j). Is i(3) a prime number?
True
Let d be 1*(-2 + (-3 - -3) - -4). Is (0 + d)/(8/6772) composite?
False
Let w = 80 - 76. Suppose w*o - 464 = 1124. Is o prime?
True
Let f = -6 + 11. Suppose -2*z - z - 4*h + 3507 = 0, -z + f*h = -1150. Is z a prime number?
False
Let h be (-2 + 1)/(2/(-42)). Let k = 373 - h. Suppose 3*w - k - 261 = -5*z, -3*w - 2*z + 625 = 0. Is w prime?
True
Let d be 1/(3/210) + -2. Suppose 61 = r - 0*r + 2*k, 5*k = r - d. Let a = r + -25. Is a prime?
False
Let a = 138 - 209. Let p = a + 105. Is p prime?
False
Suppose -c = 3*h - 5*c - 49, 3*h + 3*c = 42. Let u be 710/4 + h/(-10). Suppose -87 = -o + u. Is o a composite number?
False
Let j = 103 + 10. Is (-3 - -7)*j - 3 composite?
False
Let i(u) = -u**3 - 2*u**2 - 2. Let q be i(-2). Let c be (2 + 12 - 0) + q. Is c/(-9)*387/(-6) a composite number?
True
Let v(g) = 2*g + 9. Let r be v(-5). Is (-1 - (-5 - r)) + 1924 prime?
False
Suppose -95525 - 18335 = -4*p. Is p a composite number?
True
Let f = 3 - 0. Suppose -f*b = -2*q - 3024, -5*q - 6028 = -q - b. Is q/(-9)*15/10 a prime number?
True
Let t(b) be the first derivative of 6*b**2 - 5*b - 14. Let m be 122/18