-4. Is (-2)/u*(-7908)/(-24) prime?
True
Let x = -2063 + 6450. Is x composite?
True
Suppose -4*v - m = 2*m + 3, 3*v + 5*m + 5 = 0. Suppose 3*p - 14*p + 18227 = v. Is p prime?
True
Let g = 11 + -8. Suppose g*c = 9 - 0. Is c + 5/((-5)/(-208)) prime?
True
Let d = -987 - -3888. Is d composite?
True
Suppose 0 = -6*w - w - 84. Is ((-46)/4)/((-34)/w + -3) a composite number?
True
Suppose 0 = -2*c, 2*c = 5*x - 0*c - 30. Let p(v) = 2*v + 6*v**2 + 4 - 4 + 1 + x. Is p(4) a composite number?
True
Let d = 141 + -19. Suppose 91 = 3*c - d. Suppose z - 2*z + c = 0. Is z a composite number?
False
Suppose 2*k + 0*k - 6 = 0. Let s be 4*(k - (-22)/(-8)). Is 3/s - (-160)/1 prime?
True
Let a(i) = -90*i**3 + i**2. Let p = 9 + -7. Suppose -2*n + p = -4*n. Is a(n) a prime number?
False
Let m(b) = -b**3 - 8*b**2 - 2*b - 12. Let j be m(-8). Let w be 3/12 - (-27)/j. Suppose g - 5*q - 31 = 0, -2*g + w = q - 11. Is g a composite number?
False
Suppose -18*d - 9680 + 62582 = 0. Is d prime?
True
Let c = -1430 + 6621. Is c a prime number?
False
Let d = 55 - 31. Is (2414/6)/(8/d) a composite number?
True
Let z = -236 + 722. Let k = z + -97. Is k composite?
False
Let g(k) = -k - 5. Let z be g(-5). Let r be z + 1 - (-16 + 14). Suppose 0 = 2*j + r*a - 624 - 110, 766 = 2*j - 5*a. Is j a prime number?
True
Suppose -20*n + 96 = -224. Suppose -4585 = -n*o + 10471. Is o composite?
False
Let r(h) be the first derivative of 7 + 4*h - 7/2*h**2. Is r(-7) a prime number?
True
Let y(g) = 119*g**2 - 21*g - 11. Is y(-6) a prime number?
False
Let g = 4755 + -1124. Is g composite?
False
Suppose -2*x - 2*t + 10 = -0, -10 = -5*t. Suppose x*w = -0*w + 12. Suppose -2*g + 3*g = w*z - 1009, 1230 = 5*z + 5*g. Is z a prime number?
True
Let v = -29 - -31. Suppose 595 = 3*p + v*p. Is p prime?
False
Suppose -2*h = -54 - 7220. Is h a prime number?
True
Suppose -57*b + 674067 = -6*b. Is b a composite number?
False
Suppose 7230 = 5*k - 5*g, 0*g = -k - g + 1448. Let t = 941 + k. Suppose 3*p = -p + t. Is p a prime number?
False
Let w(v) = v**2 + 4*v + 38. Is w(10) composite?
True
Let o = 3 - 1. Let v be (o - 0) + 0 - -36. Let t = v + -16. Is t composite?
True
Let a = 10 - 14. Let u be a*(-4)/16 + 2. Suppose 3*v + v - y - 268 = 0, -u*y = 4*v - 268. Is v a prime number?
True
Let r = 3966 + -2231. Is r prime?
False
Suppose 0 = -6*m + 1799 + 835. Is m a composite number?
False
Suppose -17*c + 18*c - 4 = 0. Suppose 262 = c*x - 4174. Is x a composite number?
False
Let p(m) = -m**3 + 2*m**2 - m + 7. Let n be p(3). Let b(z) = -z**3 + 5*z + 6. Is b(n) a prime number?
False
Let k(q) = -5*q**2 + 11*q - 12. Let t(a) = 6*a**2 - 12*a + 12. Let l(d) = -4*k(d) - 3*t(d). Is l(5) a composite number?
True
Let k(t) = -t**3 - 21*t**2 + 73*t - 77. Is k(-34) a composite number?
True
Let h be 710/(-35) - 2/(-7). Let z = h + 26. Suppose z*l - 95 = l. Is l prime?
True
Suppose 4*y + 24 = 10*y. Suppose -x + 1415 = 2*x - 4*w, 0 = 3*x + y*w - 1399. Is x composite?
True
Let m(j) = -j**3 + 5*j**2 + 5*j - 3. Let r be m(6). Let l be (66 - 0) + r + 9. Suppose 2*u = 40 + l. Is u composite?
False
Let p(d) = d**2 + 749. Let y(o) = -2*o**2 + 28*o. Let k be y(14). Is p(k) prime?
False
Let c(r) = 3*r - 8. Let m be c(8). Let q = 107 - m. Is q prime?
False
Let z = 41346 + -17947. Is z a composite number?
False
Let u(c) be the first derivative of c**4/4 + 13*c**3/3 + 6*c**2 - 5*c + 8. Is u(-9) prime?
True
Let b = 95 - -5. Let u = b + -35. Is u a prime number?
False
Suppose 0 = 4*s - 4*t - 94180, s - 27*t + 32*t = 23533. Is s prime?
False
Let w = 59232 + -20935. Is w composite?
True
Suppose 40*r = 43*r - 4971. Is r prime?
True
Let x(y) = 47*y**3 + 9*y**2 - 177*y - 22. Is x(9) composite?
False
Suppose 11*a + 309 = 6040. Is a prime?
True
Let w(v) = -134*v + 61. Let l be w(-4). Suppose k - 4*k + 5*q + l = 0, 2*k = -5*q + 398. Is k a prime number?
True
Let x be 474/((1/1)/2). Let v(z) = 739*z + 130. Let c be v(4). Suppose -2*k - x = -c. Is k prime?
True
Is (-30)/(-70) - (-43001)/49 composite?
True
Is (-121)/(-11) - -92548 - 8 composite?
False
Suppose -u - 4 = -3*u. Suppose 10*k - 5*k = u*i + 8, 0 = 5*i - 5. Is 37/k - 6/(-12) a composite number?
False
Suppose -5*q = -43939 + 12444. Is q prime?
True
Let p(v) = -5*v**2 + v - 1. Let o be p(-1). Let y(c) = 6*c**2 - 6*c - 5. Is y(o) a composite number?
False
Let a(w) = -w + 12. Let p be a(9). Let t be (1/p)/((-16)/(-192)). Suppose 0 = -3*c + t*c - 111. Is c composite?
True
Let z = 1275 - 436. Is z composite?
False
Let n(r) = -16*r**3 + 4*r**2 - 2*r - 2. Let g be n(2). Suppose 0 - 111 = -37*z. Is 12/(-8)*g/z a composite number?
False
Suppose -p + 2712 = 243. Let q = 3714 - p. Is (q/(-3))/(1 + -2) prime?
False
Let w be (4/(-6))/(10/15). Let z(r) = -183*r - 1. Let h be z(w). Suppose -55 = m - h. Is m a composite number?
False
Let f be (-2146)/(-8) + (-2)/8. Suppose 2*n = 5*v + 551, 0*v + 5*v = -n + f. Suppose -5*m = 28 - n. Is m prime?
False
Suppose -5*n = -5*c + 46450, 5*c - 2*n = -6*n + 46423. Is c prime?
False
Suppose 0 = -5*d - d + 231258. Is d composite?
False
Suppose -3*i - 3*f = 2*f - 11, 0 = -2*i - 3*f + 9. Is (-10976)/(-26) - (i/(-26))/(-3) composite?
True
Let w = 1373 + -2922. Let a = 3600 + w. Is a a composite number?
True
Suppose 808 + 260 = 6*m. Is m composite?
True
Suppose 5*p = 6 + 4. Suppose -16 = 4*f + 4*q, 0 = p*f - q - 2*q + 23. Let m(r) = -r**2 - 13*r + 4. Is m(f) composite?
True
Let k = -59 + 58. Is ((-1)/4)/((5/29420)/k) a composite number?
False
Suppose 0 = -2*x + 2*h + 2, 2*h = -5*x + x + 10. Suppose -3*j - 2*j + 2411 = -3*i, -x*j + 3*i + 968 = 0. Is j a composite number?
True
Let l = 46 - 3. Let h be (-2292)/9*(-6)/4. Suppose l - h = -3*v. Is v composite?
False
Let q(s) = -60*s - 20. Let x be q(6). Let o = 715 + x. Is o a composite number?
True
Let b be 4179/12 - 1/4. Is (-8)/10 - b/(-10) composite?
True
Let j(u) = 24*u**2 + 3*u - 6*u - 5 + 15*u. Is j(-7) a composite number?
False
Suppose 44172 = 5*i - 18788. Suppose -12*x + 4*x = -i. Is x a composite number?
True
Let u be ((-2)/(-6))/((-11)/(-9471)). Let j = u - -890. Is j composite?
True
Let z be 1/1 + (-1)/(-1). Suppose 4*v - 22 = 2*o, 6*v - 4*v = -z*o + 8. Suppose 0 = -v*w + 209 + 1076. Is w composite?
False
Let x(z) = z**3 - 16*z**2 - 35*z - 6. Let m be x(18). Is (-2)/(-3) + 628/m a prime number?
True
Is (3641/(-3))/(41/(-123)) a prime number?
False
Let m(a) = -8*a**3 + 11*a**2 + 3*a - 15. Let x(w) = -3*w**3 + 4*w**2 + w - 5. Let u(c) = -4*m(c) + 11*x(c). Let h be u(0). Suppose 2*j + 117 = h*j. Is j prime?
False
Let x = 18201 - 10016. Is x a composite number?
True
Let t(s) = 5*s**2 - 23*s - 57. Is t(-16) composite?
True
Suppose 2*o = -w + 2*w + 143, -o + 73 = -2*w. Let r = o - -109. Let k = r + -95. Is k composite?
True
Let x = -3542 - -5191. Is x prime?
False
Suppose -4 = 5*u - 3*z + 5, 3*u = -2*z + 6. Is 1404 + (-4)/2 + (3 - u) composite?
True
Let m(z) = 5 - 6 + 2*z - 6*z**2 + 281*z**3 - 252*z**3. Is m(2) a composite number?
False
Suppose 0 = -h, 3*s + h - 6153 = -4*h. Is s composite?
True
Suppose 11*m + 24 - 101 = 0. Suppose m*d = 4*d + 1563. Is d a prime number?
True
Let g = 4324 + -2885. Is g a composite number?
False
Suppose -58281 - 100437 = -14*d. Is d composite?
True
Suppose 1449 = 2*i - 715. Is i composite?
True
Let r be (-3)/9 + 273/9. Let m = 61 + r. Is m composite?
True
Let f(k) = 4*k**2 - 3*k - 30. Is f(-19) a prime number?
True
Suppose 2*g - 3196 = 4*a - 8*a, -2*a + 1594 = -g. Is a - (-4 + 5)/1 a composite number?
False
Let i = -11276 - -60623. Is 6/(-18)*i/(-3) a composite number?
False
Suppose 0 = 14*s - 10070 - 34044. Is s composite?
True
Suppose -2*k - 3 - 5 = 0. Is (-8)/(k/2) - -393 prime?
True
Let z be (-3)/((5/40)/((-6)/9)). Let o be (-6)/1 + 4 + -6. Is ((-564)/z)/(3/o) a prime number?
False
Let i(y) = y**2 + 7*y + 6. Let u be i(-6). Suppose 5*k - k - 5308 = u. Is k composite?
False
Let m(p) be the third derivative of 4*p**4 - 5*p**3/6 + 3*p**2. Let d = 22 - 12. Is m(d) a composite number?
True
Suppose -2*q - 5578 = -4*y, -734 - 673 = -y - 2*q. Is y composite?
True
Suppose -n - d + 3 = 0, -3*n - 4*d - 2 = -10. Suppose -y + n*m = -49, -4*y - m + 29 = -99. Is y composite?
True
Suppose -j - 5*h + 11590 = 3*j, 4*h + 11572 = 4*j. Suppose -7*f + j = -2768. Is f a composite number?
False
Suppose 1703*s = 1691*s + 432732