*p. Let z = 451 - p. Is z a prime number?
True
Let x = 17 - 9. Let s = -5 + x. Suppose -3*w + c - s*c = -481, -w - c = -160. Is w prime?
False
Is -6 - (24/6 - 7725) a composite number?
True
Suppose -5*h + 11 = 1. Suppose 2*g + 1399 = d, 3192 - 394 = h*d - 2*g. Is d a composite number?
False
Let h be (0 + -4)/(21/(-84)). Suppose -4*w = 4*r + 12, -4*r - h = -4*w + 12. Suppose -3*g = 4*m - 2683, -g + w*m + 1770 = g. Is g a composite number?
True
Suppose -4*l - l + 6*q = -110270, -3*l - 5*q = -66162. Is l a composite number?
True
Let d = -76278 - -112192. Is d composite?
True
Let r(i) = i**3 - 16*i**2 - 2*i + 35. Is r(18) a prime number?
True
Is 4/54 - (-29537913)/1539 a composite number?
True
Is 4*30568/48*6/4 a composite number?
False
Let v(o) = -o**3 + 6*o**2 + 9*o - 3. Suppose 0 = 2*p + 1 - 13. Let b be v(p). Suppose 172 = 5*g + h, 0 = g - 2*h - b + 10. Is g a prime number?
False
Suppose 62213 + 91109 = 26*k. Is k a composite number?
False
Suppose -2*k + 4206 = -2890. Suppose 1894 = 6*v - k. Is v prime?
True
Let c(d) = -d**3 - 4*d**2 - 9*d + 11. Let s be c(-14). Suppose 0*p - s = -2*l - 5*p, 3163 = 3*l + 4*p. Is l prime?
True
Let u(g) = 12*g**3 + 11*g**2 - 22*g + 41. Is u(6) a prime number?
True
Let s(t) = t**3 - 56*t**2 + 62*t - 15. Is s(56) a composite number?
False
Let a(j) = -j + 8. Let f(t) = -2*t + 9. Let z(h) = -4*a(h) + 3*f(h). Let k be z(-4). Suppose k*c - 407 = -2*i, 3*i + 0*c - 608 = -5*c. Is i composite?
False
Suppose -l + 5*w + 4722 = 0, -2*l + 34*w = 32*w - 9468. Is l a prime number?
False
Let p = 8 - 2. Suppose -5*d - p*u + 10 = -2*u, -10 = 2*u. Is 20/6*747/d prime?
False
Let m(t) = -70*t + 37. Let c(a) = 23*a - 12. Let l(r) = 7*c(r) + 2*m(r). Suppose 2*d - 4*b - 20 = 0, -d - b - 2*b = 5. Is l(d) a composite number?
True
Let u(m) = -9*m. Let b be u(1). Let g = -27 - b. Let k = g - -53. Is k a composite number?
True
Let g = -57 - -1926. Suppose -z - 6*z = -g. Is z prime?
False
Let j be ((-38)/4)/(3/1002). Let u = 4492 + j. Is u prime?
True
Suppose -2*r = r - 4*d + 4, 2*d + 8 = 4*r. Suppose 1482 = 3*v - 3*j, -414 = -2*v + r*j + 564. Is v prime?
True
Let b(g) = -6*g - 105. Let k be b(-10). Suppose -5*i = -0*y - 3*y + 224, -3*y + 4*i + 220 = 0. Let l = y + k. Is l prime?
True
Suppose -3*h + 6*h = -3*r, 2*r = -8. Suppose -4*b + 6690 = 2*l, -5017 = -h*b - 4*l + 1671. Is b prime?
False
Let y(c) = -47*c + 1. Let b(t) = 46*t. Let v(m) = -4*b(m) - 5*y(m). Let r be v(5). Let s = r - 35. Is s a prime number?
False
Let n(q) = -q**2 - 10*q - 12. Suppose 7*z = 2*z - 40. Let s be n(z). Suppose -3*o + 777 = l, 2*l + 1295 = o + s*o. Is o composite?
True
Let b = -33 + 79. Suppose -725 = b*h - 51*h. Is h prime?
False
Let y(s) = s**3 + 7*s**2 - 8*s + 6. Let o be y(-8). Let b be ((-4)/o)/(18/(-567)). Let p = b - -10. Is p prime?
True
Let o(b) = -362*b + 19. Is o(-2) a composite number?
False
Let d = -44 - -32. Let h(i) = 3*i**2 - 4*i - 9. Is h(d) a composite number?
True
Let v be (2/3)/((-22)/33). Let r = v - -5. Suppose -5*p = -5*f + 110, 3*f - 41 - 21 = r*p. Is f a prime number?
False
Suppose 9008 - 827 = d + 5*r, -5*d + 3*r + 40961 = 0. Suppose 3*f = 2*h + 10041, 4*f - d - 5197 = -3*h. Is f a composite number?
False
Suppose 0 = -5*x - 47 - 38. Let s be x*51*(-2)/(-3). Let n = 1095 + s. Is n composite?
True
Let t = 29 + -11. Suppose -q + t = 2*q. Suppose 0 = -v + q*v - 475. Is v prime?
False
Suppose 0 = 14*m - 47694 - 36040. Is m prime?
True
Let o(n) be the first derivative of -n**3/3 + 17*n**2 - 16*n - 36. Is o(11) a prime number?
False
Let o = 32 - 13. Is o*6 - (-4)/1 composite?
True
Let h(x) = x**3 - 2*x**2 - 3*x + 4. Let p be h(3). Suppose 150 = 2*n + 3*u, -n + u + u = -61. Suppose l = -2*j + 1, -4*l + n = -j - p*j. Is l a prime number?
True
Let w(k) = 1922*k - 9. Is w(5) prime?
True
Let q = -22 + 7. Let h = 120 - -28. Let x = q + h. Is x prime?
False
Suppose 17 = 5*o - 2*s - 5, 0 = 5*o - 5*s - 25. Suppose -5*h + o*b = 35, 3*b = h - b - 9. Is (-3705)/h + 2/11 composite?
False
Is (11/(-2))/((-5)/150*3) a prime number?
False
Let g be (-138)/((7 - 4) + -4) - -1. Suppose g = -5*l + 2004. Is l prime?
True
Let m(f) = f + 7. Let l(s) = 1. Let v(k) = -3*l(k) - m(k). Let o be v(-8). Is -1*(-15 - (o + 6)) prime?
True
Is 7*255 + (-248)/31 composite?
False
Let o = 4 - -103. Suppose o*m = 111*m - 388. Is m a prime number?
True
Suppose 24*r = 21*r - 4020. Let v = r - -2019. Is v a prime number?
False
Let f = -5 + 20. Is ((-115)/f)/((-3)/63) composite?
True
Let i(s) = 6*s**2 + 18*s + 2*s**2 - 5 + 9*s - 9*s**2. Is i(9) prime?
True
Let t = 315 + 724. Is t a composite number?
False
Let m be 0/1 + 148*36. Suppose 0 = 6*k - 14*k + m. Suppose 0 = -5*h + k + 119. Is h a prime number?
True
Let d = -15207 - -21418. Is d a prime number?
True
Let d = 1131 + 181. Let g = -810 + d. Is g prime?
False
Suppose 4*x = 4*j - 49224, 4*j - 27667 = -x + 21562. Is j a prime number?
False
Let r(n) = -3*n**2 - 5*n + 3. Let l(i) = 7*i**2 + 11*i - 6. Let m(k) = -2*l(k) - 5*r(k). Let z be m(-3). Let h(d) = -70*d + 3. Is h(z) composite?
True
Let i(o) = -1509*o - 52. Is i(-7) prime?
False
Suppose 3*y = 13 + 23. Suppose 9*h - y*h = -159. Is h composite?
False
Is (-6)/8 - (12 - 69560/32) composite?
False
Suppose -3*c - 2403 = -2*d + 778, -3*d + 3*c = -4770. Is d prime?
False
Let n(r) = -5*r - 25. Let q be n(-6). Suppose -3*j + 244 = q*v - 504, -2*j + 3*v = -505. Is j prime?
True
Suppose 18*r - 10315 = 3203. Is r composite?
False
Let h = -5431 - -15074. Is h composite?
False
Let c(q) = 443*q**3 - 7*q**2 + 6*q - 19. Is c(3) composite?
False
Let y(f) = -f**3 - f**2 + 6*f + 7. Let l be y(-6). Suppose g - 278 - l = 0. Suppose -3*h = -0*h - g. Is h a prime number?
False
Let p(i) = 11*i - 1. Let t(y) be the third derivative of y**5/60 + y**4/3 - 4*y**3/3 + 5*y**2. Let c be t(-9). Is p(c) prime?
False
Let d(c) = 3 + 9*c + 1 - 4 + 10. Is d(3) prime?
True
Let m(b) = 5*b + 40. Let r be m(-8). Suppose -5*l + 4099 = 2*d, d + 3 = -r*d. Is l a composite number?
False
Let s = -6517 - -9660. Suppose -4*h - 3*h = -s. Is h a composite number?
False
Suppose 0*w + 5*u = w - 30, 50 = 5*w - 5*u. Let y(c) = 11*c**2 - c - 7. Is y(w) composite?
False
Let q = 8465 - 4348. Is q a prime number?
False
Let p(s) = 9*s**2 + 15*s + 13. Let r(z) = 8*z**2 + 15*z + 14. Let d(a) = 7*p(a) - 6*r(a). Is d(-6) composite?
False
Is -6*(-8 - 13239/18) a composite number?
True
Let c(x) = -16*x + 3. Let z(o) = o**3 + 5*o**2 + 8. Let l be z(-5). Let a be c(l). Let t = 210 + a. Is t a composite number?
True
Let f be (26/(-78))/((-2)/3246). Let y = f - -1096. Is y a composite number?
False
Suppose 0*n = -n + 15. Suppose -4*v = n + 1. Is 1044/28 - v/(-14) a prime number?
True
Let u = 1655 + -884. Is u a prime number?
False
Is (120/(-80))/(3/(-358)) composite?
False
Suppose -4*f = -5*f + 3. Let g(q) = -5*q**2 - 2*q + 3 - q**f - q**2 - 2*q**2. Is g(-10) a prime number?
True
Let o be (8/(-20))/(3/(-30)). Suppose -5*x + 3*l - 6*l = 2, 4*x = o*l + 24. Suppose -2*m - x*d + 1075 + 441 = 0, -3*m + d = -2286. Is m composite?
False
Let g = 17 + -11. Suppose -2*r = -5*r - 2*q + 14, -r - 2*q + g = 0. Suppose -3*i = 5*p - 93, -3*p + 7*p - 124 = -r*i. Is i a composite number?
False
Is (24/32)/(15/326020) a prime number?
True
Suppose -t - 16 = -s + 2*t, -s = 2*t + 4. Let h = 4 - s. Is h + (-3 - (-280)/4) composite?
False
Suppose 432316 - 160088 = 44*p. Is p prime?
False
Suppose 21 = 5*k + 6. Suppose 4*q - 7326 = -2*v, 0*v + 11001 = 3*v + k*q. Is v prime?
True
Let v be ((-18)/(-4))/1 - (-2)/4. Suppose 3*a = -v*m + 1003 + 885, 4*a = -m + 381. Is m composite?
True
Let q = -1943 + 3580. Is q prime?
True
Let g(h) = 2065*h + 14. Let q be g(3). Suppose -q = -10*w - 839. Is w prime?
False
Let q = 39677 + -20330. Is q a prime number?
False
Suppose 11*f - 10*f = 4. Suppose f*w - c = 1879, 4*c = -2*w + c + 929. Is w a composite number?
True
Let o(n) = n**2 - n + 1. Let b be o(2). Suppose -q + 2*f - 1494 = -5*q, 3 = b*f. Is q a prime number?
True
Suppose -4*u = -2*u - 4*i - 9784, -3*i + 14685 = 3*u. Is u prime?
False
Let i be ((-2)/1)/(((-12)/(-423))/(-2)). Let y = i + 152. Is y a composite number?
False
Let z(p) = 27*p - 8. Let t = 12 - 7. Is z(t) prime?
True
Let i(z) = 19*z**2 + z + 7. Let v be 39/(-4) - 21/(-28). Let p = -13 - v. Is i(p) a prime number?
True
