(-15) composite?
False
Suppose 7*w + 16595 - 3274 = 0. Is (-1 - -7)*w/(-22) composite?
True
Let m be (3 + 0)*(0 + 2 + -1). Suppose -w = 2*u - 2531 + 396, -m*w = -5*u - 6372. Is w prime?
True
Let f = 9 - 5. Suppose f*x + 760 = -1072. Let s = x + 660. Is s a composite number?
True
Let i(p) = 41*p**2 + 24*p - 165. Is i(8) prime?
False
Let r = -32761 - -47540. Is r a prime number?
True
Is (-361760)/(-14) - (3 + 8) a prime number?
False
Let g(q) = -1078*q - 247. Is g(-23) a composite number?
False
Let w(x) = 95*x**2 - 2*x. Suppose 2*d + t = -4*t + 6, -2*d + 3*t = 10. Let o be w(d). Let g = o - 190. Is g prime?
False
Let r = 709 - -28. Is r a prime number?
False
Let x = -19 - -24. Suppose j = x*j - 520. Is (24/(-4))/2 + j composite?
False
Let p(m) = -4*m**3 - 4*m + 5. Let v(a) be the second derivative of -a**5/20 + a**4/12 + a**3/6 + a**2/2 - 4*a. Let n(d) = p(d) - 5*v(d). Is n(7) composite?
True
Let x(j) = j**3 - 2*j + 3. Let f be x(1). Suppose 0*k = f*k - 674. Is k a prime number?
True
Suppose -a + 10*x - 6*x = -23613, 4*a - 94414 = -3*x. Is a prime?
False
Let j = 13438 - -1323. Is j prime?
False
Let g be 1*4/18 + 76/(-18). Is (-10)/g*(-6774)/(-3) prime?
False
Suppose 4*p + 7*p = -1353. Is p/(-4)*-8*(-6)/18 prime?
False
Let h be (-2 - (-3 + -9)) + -2. Let i be 2*(-2)/h*-4. Suppose -2*z + 1211 = i*z - 3*n, -z - 4*n = -279. Is z a composite number?
True
Let n = 38 + -19. Let y = 29 - n. Is (316/y)/((-3)/(-15)) a prime number?
False
Let l = 1 - -8. Let g be 28944/14 - l/21. Suppose 764 = 2*r - t - 609, -4*t - g = -3*r. Is r composite?
True
Let j = -27 - -27. Suppose j = -2*s - 3*s + 5*z + 180, -5*s - z + 192 = 0. Is s composite?
True
Suppose 89279 = 3*s - 51670. Is s composite?
True
Suppose o - 5 = -3. Is ((-22)/(-3))/(o/183) prime?
False
Let i be (-105)/10*(-2)/3. Let a be (8*i)/4 + -4. Is 4/a + (-34995)/(-75) composite?
False
Suppose 11*g = -g - 564. Is (2 + 1 - 5)*g a prime number?
False
Suppose 11*v + 7152 = 27*v. Is v a prime number?
False
Let t(r) = -40*r + 1. Suppose 10 = -2*p + 5*f + 4, -2*p - 2*f - 6 = 0. Is t(p) a composite number?
True
Suppose -2 = 2*k, 0 = 4*r - 5*k - 588 - 653. Is r composite?
True
Let l(x) = 39*x**2 - 1. Let w be (-38)/(-10) - 1/(-5). Suppose 0 = -f + 6 - w. Is l(f) composite?
True
Suppose 0 = 3*a + 2*a. Suppose 0*s - 119 = -r - 5*s, a = r - 5*s - 169. Suppose 0 = 3*u - r - 489. Is u a prime number?
True
Let p = 1443 + -1026. Let z = p - 290. Is z a composite number?
False
Let m(l) be the second derivative of -41*l**3/3 - l**2/2 - 8*l. Is m(-6) a composite number?
False
Let d(b) = 32*b**2 - 15*b + 7. Let x be d(12). Is (x/(-15))/((-1)/3) a prime number?
True
Let t(o) = 9*o**2 + 29*o + 11. Suppose 4*l = -x - 2*x - 51, -x = 5*l + 61. Is t(l) composite?
True
Suppose -4*a - 2*n = -54264, -n - 10 = 4*n. Is a a prime number?
True
Let s(a) = a**2 - 10*a + 8. Let b be s(8). Let r = b - -8. Suppose 0 = 7*u - r*u - 917. Is u composite?
False
Suppose -2*x - 51 + 9 = 0. Let c = 2 + x. Let p = -4 - c. Is p a prime number?
False
Let k = -6 - -13. Is 4709/k - (-2)/7 prime?
True
Let i(w) = -w + 5. Let d be i(11). Is -2 + 3/d*-1546 prime?
False
Suppose 12 = -4*b, -g = b + b + 4. Let u(j) = -5*j**3 + 3*j**3 - 3 + 0*j**3 - g*j + 0*j**3 - 5*j**2. Is u(-4) a prime number?
True
Suppose 6*o = 7 + 17. Let g(k) = -o*k**3 + 5*k - k**3 - 2*k**2 - 2*k - k**3 + 3. Is g(-2) a composite number?
False
Let y = -27 + 31. Let m(u) = -42*u**3 + 2*u**2 + 4*u - 8. Let x be m(y). Is (9/6)/((-12)/x) composite?
False
Let f = -5860 + 9326. Is f composite?
True
Let o(k) = 2*k**3 - 2*k + 1. Let d be o(1). Suppose 0 = -0*r - r + 2*f + d, 8 = r + 5*f. Is r*3*127/9 a prime number?
True
Let m(g) = 124*g**2 + 2*g + 3. Let b be m(3). Suppose -2*u - b = 3*u. Let k = u + 316. Is k composite?
True
Let k = 270 + 4573. Is k a composite number?
True
Suppose 4*p + 2*b + 3718 = 740, 5*b = 25. Is -2 + 1/((-3)/p) prime?
False
Let b = -2 + 4. Suppose -b*q - 248 = 4*a, -3*q - 2*a = -0*q + 368. Is (q - 0)*36/(-24) composite?
True
Is 45050/119 + (-6)/(-14) a composite number?
False
Suppose -40 = -5*o + 5*r, -4*r = 2*o + o - 10. Suppose 3*d = -o*d + 2709. Is d prime?
False
Let c = 29 - 57. Is 34/(-3 + (-92)/c) a prime number?
False
Let w = -18 + 34. Let n = w - 9. Let b(r) = 4*r - 6. Is b(n) prime?
False
Let v(c) = -42*c + 29. Is v(-9) prime?
False
Is 0/(-1) - -3 - 1880/(-2) a prime number?
False
Is (1/(-4))/(66437917/(-5536492) - -12) prime?
False
Suppose -3*x - 3495 = -3*b, 4*x + 5*b + 4620 = b. Let k = 2137 + x. Is k composite?
False
Let l(t) = -3*t**2 - t + 473. Let j = 8 + -8. Is l(j) a composite number?
True
Let x = 402 + -230. Suppose -3*q = -533 - x. Is q prime?
False
Suppose 0 = -3*u + 7*u - 9444. Is u a composite number?
True
Let w(o) be the second derivative of -o**5/20 - o**4/12 - o**3/6 + 37*o**2/2 - 7*o. Suppose -15*a = -17*a. Is w(a) a prime number?
True
Let q(j) = -586*j - 213. Is q(-13) a composite number?
True
Suppose -8 - 6 = 2*t. Let l(w) be the first derivative of 2*w**3/3 - 3*w**2/2 - 16. Is l(t) composite?
True
Let k be (-4)/((6741/(-480))/7 + 2). Suppose -4*y - 2*s = -k, -y + 95 = -s - 68. Is y composite?
True
Let b(n) = -n**2 + 6*n - 1. Let x be b(3). Let d(j) = -x*j - 4 + 0 - 1. Is d(-8) a composite number?
False
Suppose 9*c - 12*c = 0. Suppose -2*v + 3*v - 69 = c. Is v prime?
False
Let a = -37 - 376. Let d = a + 750. Is d a prime number?
True
Let j be (3/(-2))/((-9)/12). Is ((-98)/(-42))/(j/30) a prime number?
False
Let z(h) = -20*h**3 + 6*h**2 - 11*h + 10. Is z(-7) prime?
False
Suppose 0 = 2*d - 6*d. Is (d + 2 + -3)*-673 prime?
True
Let l be 290/90 + 2/(-9). Suppose -r + 2*g + 44 = 0, l*r - g + 38 = 155. Is r prime?
False
Let j be (6/(-21))/((-108)/21 - -5). Is j/(-2 - 0)*-1069 prime?
True
Let h(x) = -x**3 + 3*x**2 + 2*x + 8. Let b be h(4). Suppose b = -0*a + 3*a - 1389. Is a prime?
True
Let t = -3116 - 1946. Is (t/(-14) - 3) + (-6)/(-14) a prime number?
True
Suppose 4*v - 2*d - 2*d = 24, 4 = 4*d. Suppose 3*i - 2490 = -v*i. Is i a composite number?
True
Suppose -p + 5*a = -8646, -2*a + 30 = 32. Is p a prime number?
True
Is (-27770)/(-18) + 26/117 composite?
False
Let b(p) = p**2 + 6*p + 7. Let m be b(-6). Suppose m*w = 876 - 176. Suppose -w + 339 = l. Is l composite?
False
Let g be (-26)/8*(-8)/(-2). Is (-4355)/g - (4/2 - 2) composite?
True
Suppose -5661 - 4806 = -9*v. Is v prime?
True
Suppose 4*u + 5*y = 11135, -y - 16109 = -4*u - 4968. Is (u/(-10) - 0)*-2 composite?
False
Suppose 0 = z + 6 - 8. Suppose -z*m - 2*m = -3796. Suppose -3 - 1598 = -5*c - 3*g, -3*c + 4*g + m = 0. Is c a prime number?
False
Let x(m) = 9*m**3 + 3*m**2 - 8*m + 9. Is x(5) a composite number?
True
Let r = -39 - -59. Let p be (-4920)/(-18)*(0 - (-3)/2). Is p*(3 - r/8) a composite number?
True
Let y(k) = 4*k**2 - 3*k + 1. Let a be y(-6). Suppose 3*f + 2*f - 813 = 4*i, 0 = f - i - a. Let n = f + -18. Is n a composite number?
True
Let w = 7 - 4. Let k be (-282)/(-9)*21 + -5. Suppose 873 = w*m + m + i, -3*m + i + k = 0. Is m prime?
False
Let g(s) = -5*s**3 - 7*s**2 - 6*s + 3. Let x(m) = 6*m**3 + 7*m**2 + 6*m - 3. Let t(p) = -5*g(p) - 4*x(p). Let a be t(-6). Is 1/a + 4556/51 composite?
False
Let f(a) = 7*a - 19. Let o be f(3). Is -388*(o/(-4) + 0) composite?
True
Let k = -24228 - -42625. Is k composite?
False
Suppose -5*c = 2*a - 1 - 4, 3 = -c. Is (((-2190)/4)/(-3))/(5/a) a prime number?
False
Suppose 10*j - 4614 = 8*j. Is j a composite number?
True
Let u be ((-2)/(-4))/(8/(-6064)). Is (0 - (u - 1)) + -1 a composite number?
False
Let k be (-6)/(-9) + 14160/9. Suppose 4*z - k = 2*z. Is z a prime number?
True
Suppose -17*j + j + 24016 = 0. Is j a prime number?
False
Let h = -77 + 78. Is 0 + 1/(-2)*-4426*h composite?
False
Let n(r) = 40*r**2 - 12*r + 13. Is n(16) composite?
False
Suppose 4*x - 16187 = -x + 3*q, 4*x - 12928 = -3*q. Suppose 0 = -4*z + 2*m - 3*m + 2588, 4*m = -5*z + x. Is z a prime number?
True
Let z(o) = -41*o**2 + 284*o + 85. Let u(a) = 8*a**2 - 57*a - 17. Let w(d) = 11*u(d) + 2*z(d). Is w(18) composite?
True
Let h(l) = -l**3 - 5*l**2 - 52*l + 1. Is h(-27) composite?
False
Let g(x) be the third derivative of -x**6/120 + 5*x**5/12 - 7*x**4/12 + x**3/2 - 16*x**2. Is g(23) a composite number?
False
Let n(r) = -r**3 - 3*r**2 + 4. Let d be n(-4). Suppose -c + 4*l - 16 = -2*c,