e -7*k - 12732 = -h*k. Is k a prime number?
False
Let s = 2726 - 1467. Is s composite?
False
Let c(m) = -5*m + 11. Let g be c(15). Let b = -30 - g. Is b a composite number?
True
Suppose 3*x + 5*k = 12 - 3, -2*x = 2*k - 10. Suppose 4*t - 40 = 3*z - 8, -x = -t + 4*z. Suppose 5*g - o - 3*o - 94 = 0, 0 = -2*o + t. Is g prime?
False
Suppose -5*t + 4*g + 129219 = 0, 2*g = 3*t - 2*g - 77533. Is t prime?
False
Let l(v) = 107*v**2 - 25*v - 28. Is l(-6) a composite number?
True
Let p(c) = 2*c**3 + 10*c - 3. Let y(s) = 5*s**3 + s**2 + 29*s - 9. Let h(m) = 8*p(m) - 3*y(m). Is h(6) prime?
False
Let c(k) = -k - 3. Let u be c(-3). Suppose -5*a + 5 + 5 = u. Suppose a*s = 206 + 156. Is s composite?
False
Suppose 0 = 4*q, 24152 = 3*v + 4*q - 43282. Is v a prime number?
False
Is -1 - 7518/((-1)/(4 + -3)) composite?
False
Suppose -2*r + 6 = 4*i, 3*r + r = -2*i + 18. Is -217*-1*(-3 - i - -3) a prime number?
False
Suppose -i - 5811 = 2*i. Let z = i + 1036. Let d = -594 - z. Is d a prime number?
True
Suppose 3*o - 12 = 2*o. Let w be 171*((-16)/o + 2). Suppose -w = -2*c + 4*b + 104, -5*c + b + 590 = 0. Is c prime?
False
Is (-20 - -9) + (3 - -10377) a prime number?
True
Suppose 3*y - 2911 = 2*a + 17872, -5*y - 4*a = -34675. Is y prime?
False
Let k(o) = -o**2 - 22*o - 22. Let i(v) = -31*v**3 + v**2 + 2*v + 1. Let m be i(-1). Let n = m - 46. Is k(n) prime?
True
Suppose 2*w - 6 = -5*l + w, -10 = 3*l + 4*w. Is (-4)/(-6) + l/(36/690) composite?
True
Let p = 51 - 48. Suppose -p*b - 7592 = -2*h, -5*b = -h + 553 + 3250. Is h composite?
False
Suppose 97*q + 297963 = 106*q. Is q a prime number?
True
Let w = -24 - -26. Is -1 + w - (6 + -222) a composite number?
True
Let p be (4/5)/((-6)/(-13065)). Suppose 4*j = p + 606. Is j composite?
False
Let n be (12/(-10))/(0 - 8/20). Suppose 6*q = 2*q - 12, n*a = -4*q + 1953. Is a prime?
False
Let p(b) = b**3 + 1. Let m be p(1). Suppose -2*t - 410 = -n, -m*n - 422 = -3*n - t. Suppose -c = c - n. Is c prime?
False
Let p(o) = -4*o + 6. Suppose h + 2*h + 4*r - 43 = 0, 5*h + 3*r = 57. Let f be p(h). Let b = 151 + f. Is b a prime number?
False
Suppose 150*d - 163*d = -593255. Is d composite?
True
Suppose -9 = -3*h, -5*y - 5*h + 64882 = -67428. Is y composite?
False
Suppose 0 = 2*u + 6, t - 3 = -3*t - 3*u. Suppose 9 = 3*x, t*q + 2*x = -q + 154. Is q a composite number?
False
Let c be ((3 - 3) + -88)*-2. Let p be 2/(-10) + c/(-20). Is (p - -13)*314/8 a prime number?
True
Let r be (-216)/(-16)*(-4)/(-6). Let s = 126 - r. Suppose 3*o + s = 2*c, -c + 3*c - 2*o - 112 = 0. Is c a composite number?
True
Suppose 99*d = 97*d + 10. Suppose -d*x - 3*r = 479 - 2580, 842 = 2*x + 2*r. Is x prime?
True
Let z be 0*(-1 + 4)/(-3). Suppose z = 5*b + 2*b - 2114. Is ((-33)/(-22))/(1/b) a prime number?
False
Is (-32763)/(-1) + (-5 - -18) + -14 prime?
False
Let r be (8/6)/(1/(-3)). Let n = r - -8. Suppose n*f + 3*t - 229 = 0, 4*f + t = f + 168. Is f a composite number?
True
Suppose -5*r + 506 = n, 0 = -5*n + 2 + 3. Let h be ((-3)/(-2) - 2)*88. Let o = h + r. Is o a composite number?
True
Let w = -5299 + 8504. Is w prime?
False
Let s(b) = b**2 + 4*b - 11. Suppose 2 = -3*x - p - 0, -4*p = -5*x + 8. Suppose 4*i + 2*c + 48 = 0, x = -2*c + c. Is s(i) composite?
True
Suppose 3*j - 9*j = 1890. Is (-236607)/j - (-4)/(-30) composite?
False
Let d(n) be the third derivative of 1/30*n**5 - 1/2*n**3 - 1/12*n**4 - 6*n**2 + 0 + 0*n. Is d(5) a prime number?
True
Suppose -3*z = -3*k + 7704, 5*k + 407 = -3*z + 13231. Is k prime?
False
Suppose 7*k - 297560 = -33*k. Is k a composite number?
True
Let n(c) = -64*c**3 - 4*c**2 + 6*c - 10. Let q(d) = 32*d**3 + 2*d**2 - 3*d + 5. Let t(y) = -3*n(y) - 5*q(y). Is t(2) prime?
True
Suppose f + 3*z + 201 = 0, -4*f + 2*f = 3*z + 411. Is 6*(f/(-36) - -3) a composite number?
False
Suppose 10*d - 19 = 11. Suppose 3357 = 12*s - d*s. Is s composite?
False
Suppose 0*m - 5*m + 695 = 0. Suppose 2*o + x = 5*x - 4, 4*o - 18 = -5*x. Suppose -3*a + m + 130 = -v, -v = o. Is a prime?
True
Suppose 0 = 6*z - 431 - 121. Suppose z*p - 58 = 91*p. Is p prime?
False
Let w(b) = 5*b - 15. Let o be w(3). Suppose o = 6*i - 1277 - 313. Is i a prime number?
False
Let w(g) = 2*g**2 + 3*g**2 - 9*g + 8*g**2 + 4 + 13*g**2 + 2*g**2. Let n be 4*1*(-15)/12. Is w(n) prime?
False
Let p = 17786 + -3885. Is p a prime number?
True
Let g(i) = 4*i - 19. Let t be g(7). Is (-2)/(2/(-1781)) - 0/t composite?
True
Let n = 7582 - 1731. Is n a composite number?
False
Suppose -k + 4422 = 1357. Suppose 9*t = 4*t + k. Is t a prime number?
True
Let s(h) = -15 - 14 - 215*h + 27. Let a = -5 + 4. Is s(a) a composite number?
True
Suppose 146090 = 4*s + 2*g, 3*g + 0*g + 73049 = 2*s. Is s composite?
False
Let b = 20 + -17. Suppose -b*f + 2435 = 2*f. Is f a prime number?
True
Suppose 50*x - 19509 = 101841. Is x composite?
True
Suppose -5*v - 4*r - 2168 = -337, 3*v = -3*r - 1098. Let c = 246 - v. Is c composite?
False
Suppose -294860 + 43675 = -11*j. Is j a prime number?
False
Let h(x) = -2*x**3 - 2*x**2 + 3*x - 2. Suppose 0 = -5*p + 3*y - 24, 12 = 6*y - 2*y. Let u be -2 - p - (8 - 4). Is h(u) composite?
True
Suppose -9*m - 5550 = -43989. Is m composite?
False
Suppose 37889 = 4*c + 4477. Is c a composite number?
False
Suppose 3*w = 3 + 9. Let q(i) = -14*i + 13. Let k(j) = -28*j + 25. Let d(o) = w*k(o) - 9*q(o). Is d(14) composite?
False
Let i = 2054 + 4059. Is i prime?
True
Suppose -2*i - 3*i = -20. Let y be i + 3/3*0. Suppose y*c - 1217 = -5*b, -3*c + c - 4*b = -610. Is c a prime number?
False
Let h = 646 - -2807. Is h a composite number?
True
Let a = 2 - -2. Suppose 0 = 4*g + a*y + 1061 + 811, 3*g = -5*y - 1394. Let i = 158 - g. Is i a composite number?
False
Suppose 3*c - 3750 = 5*g, 0 = 4*g - 5*c - 606 + 3606. Let z = -313 - g. Is z prime?
False
Suppose 6 = -4*c + 7*c. Is (-1)/(c/6) - (-9 - 901) prime?
True
Suppose 0 - 20 = -5*r, t = -4*r + 31. Suppose -l + 4*l - t = 0. Suppose -2*i = 2*f - 288, 3*i + 225 = l*f - 503. Is f a prime number?
False
Let c(l) = -131*l - 4. Suppose 0 = -4*b + 2 - 6. Is c(b) prime?
True
Let i be (-100)/(-45) - 4/18. Suppose -i*b - b = -2*j - 4, 0 = -3*j - 15. Is (-25 - -3)/(b/3) prime?
False
Suppose 3*a - 54576 = -4*c - 2*a, 5*c - a - 68249 = 0. Is c a composite number?
False
Is 4852 + 9/3*(-4)/(-12) prime?
False
Let p = -5 + 9. Suppose p*y = y + 27. Suppose y*s - 186 = 7*s. Is s composite?
True
Let p be (-380)/(-25)*(1 - -4). Let k = 141 - p. Is k prime?
False
Is (-1344207)/(-1071) - (-1 - 23/(-21)) composite?
True
Let n(s) = s**2 + 17*s - 16. Let a be n(-18). Suppose 4*w - 4 = a*w, 4*m = -w + 8182. Is m a prime number?
False
Suppose -53*n - 3*q + 29473 = -52*n, 3*n + 4*q = 88419. Is n a composite number?
False
Let g(x) = 1 - x**2 + 3*x**2 + 3*x + 2*x**3 + 3. Let j be -1*(-1)/5*-5 - -6. Is g(j) a composite number?
True
Let b(z) = -z**2 + 7*z - 5. Let m be b(6). Is (2 - m)/((-23)/(-100487)) composite?
True
Suppose 772458 + 340815 = 63*a. Is a a prime number?
False
Suppose 0 = -16*a + 10*a + 42. Suppose 0*z - 26551 = -a*z. Is z a prime number?
True
Suppose 3*c - 34196 = -5*n, 22825 - 2287 = 3*n - 5*c. Is n a prime number?
True
Let z = 5110 - -12147. Is z a prime number?
True
Suppose 4*j + j = 2*m + 16, 4*j - 8 = 4*m. Is j/48*-2*-87*38 a composite number?
True
Suppose 2*a - 5*m - 10 = 11, -9 = -3*m. Suppose -22*k - 8 = -a*k. Is k + -1 - (-2 + -332) prime?
True
Let y(v) = v**3 - v**2 - 2*v + 3. Let m = -10 + 10. Suppose -5 + m = -l. Is y(l) a prime number?
False
Let f(h) = -26*h + 21. Is f(-32) composite?
False
Let h be -2735 + (-2 - -2 - 1). Is 14/8*(-2 - h - 2) a prime number?
False
Let m(s) be the first derivative of 65*s**4/2 + s**3/3 - s**2 - s - 1. Is m(2) prime?
True
Let y(n) = 64*n**2 + 6*n + 12. Let a be y(-6). Suppose -4*g + a = g. Suppose -3*c + 15 + g = 0. Is c a composite number?
False
Let w = 40 - 38. Suppose w*g + 0*g = -4*m + 796, -3*m = -5*g - 623. Is m a composite number?
True
Suppose 65*u - 19315 = 60*u. Is u a composite number?
False
Let t(o) = -5*o**3 - 37*o**2 + 7*o + 101. Is t(-22) composite?
False
Suppose -7*l + 11*l = 976. Suppose -6*h + l = -86. Is h a prime number?
False
Let w(x) = -3*x**2 - 4*x - 4. Let z be w(-1). Is ((-4)/8)/(z - (-267)/90) composite?
True
Suppose -3*t - 3*z + 4245 = -29817, -4*t = -z - 45431. Is t composite?
True
Suppose 0 = -33*