 v*c + 3*c. Suppose -5*k + d + 668 = 0, 0 = d + 2*d - c. Is k composite?
True
Suppose -2*h + 4*s = 2*s - 8, 0 = 4*h - s - 13. Suppose 0 = h*a - 6*a. Suppose -4*w + 193 + 35 = a. Is w prime?
False
Suppose -2*k + 10*g + 3474 = 8*g, -5*k - 3*g + 8701 = 0. Is k a composite number?
True
Let h(o) = 21*o**2 + o + 1. Let m = 7 + 20. Let a = 25 - m. Is h(a) prime?
True
Suppose 3*q - 5079 = -2*q + 4*r, -q - 2*r = -1027. Suppose 1479 + 33 = 3*h. Let o = q - h. Is o a prime number?
False
Let h(v) = -4*v - 5. Let m be h(-2). Suppose 4*t - 541 = m*t. Is t prime?
True
Let m = 6 - 8. Let x(l) = -2 - 8*l + 2*l + l + 3*l. Is x(m) prime?
True
Suppose -z = -4*i - 9499, -3*z = i + 4*i - 28548. Is z prime?
True
Let p(b) be the first derivative of -b**4/4 - 8*b**3/3 + 7*b**2 - 3*b - 4. Let y be p(-10). Suppose y = 2*g + g. Is g composite?
False
Is 128661*(-1)/(-5)*140/84 prime?
False
Let k = -724 + 498. Let y = k - -339. Is y a composite number?
False
Suppose 11*l = 6*l + 25. Suppose 5*w + 2*z = -736, w - 750 = 6*w - l*z. Is (-1 + 0)*w/4 prime?
True
Let d be (-1057)/(-4) - (-4)/(-16). Suppose 66 = v - 4*k + 3, 3*k - d = -3*v. Is v a prime number?
True
Suppose -w - 3*w + 4 = 0. Let n be 5/(-10)*(w - 147). Let s = n - -40. Is s composite?
False
Let j(k) = -k**2 - 10*k - 7. Let u be j(-8). Suppose -20 = 14*a - u*a. Is 35/((-4)/a) - 2 prime?
False
Let d = 3746 - 1647. Is d a composite number?
False
Is ((-4)/24)/(1221099/407034 + -3) composite?
False
Let x(u) = 6*u**2 + 11*u + 8. Let f be x(6). Suppose 0*y = y - 3*g - 58, 0 = 5*y + g - f. Is y a prime number?
False
Suppose -n - n = -j - 8797, 8799 = 2*n + j. Is n prime?
False
Let m(p) = 6*p**2 - 5*p + 19. Is m(-12) a composite number?
True
Is 17130 - (-1 + -10 + 8) composite?
True
Suppose -3*g = -6*l + l + 5, 0 = -5*l + g + 15. Let a be 138/9 - l/(-6). Let j = 58 + a. Is j composite?
True
Let q(o) = 22*o - 11. Let t be 42/4 - (-5)/(-10). Let n = -4 + t. Is q(n) a prime number?
False
Let m(q) = 376*q + 157. Is m(3) a composite number?
True
Let y = -2 + 7. Suppose -y*c = 25, 5*b - 25 = 4*c + 5. Suppose -f - a = -112, -f - 3*f = b*a - 442. Is f composite?
False
Suppose -n + 5*o = 3*n - 205877, -2*o = n - 51479. Is n a prime number?
True
Let s = 4149 + -604. Is s a composite number?
True
Suppose 6*u + 16 = 4*u. Let g be -4 + 8 + (-115)/1. Let v = u - g. Is v prime?
True
Suppose -i = 8 - 11. Suppose -i*f + 372 = -1515. Is f a prime number?
False
Let y = 10 - -15. Suppose -2*j = -7*j + y. Suppose f + u - 203 = -u, -j*f = -4*u - 1071. Is f prime?
True
Let f = 1270 + -647. Is f prime?
False
Let s(r) = -r**3 + 6*r**2 - 7*r + 12. Let t be s(5). Suppose t*h = 5*h - 921. Is h composite?
False
Let a(o) = o**2 - 9*o + 7669. Is a(0) composite?
False
Let j = 2898 + 509. Is j prime?
True
Let u = 29 - 20. Let q be (-55)/(-10) - u/6. Suppose 2098 = -2*o + q*o. Is o a composite number?
False
Suppose -40*a + 4*s + 4715 = -35*a, -a + 943 = -5*s. Is a prime?
False
Suppose 5*h + 528 + 137 = 0. Let z = 564 + -364. Let a = z + h. Is a prime?
True
Suppose -l - 423 = 2*b, -2*l + 3 = 5. Suppose -3*g + 1396 = 4*o, -437 = -2*g + 3*o + 488. Let j = g + b. Is j a composite number?
True
Suppose -3 = -2*o + 1. Suppose 3*z - 2*c - 164 = 0, o*z - 108 = 5*c + 5. Let j = 85 - z. Is j prime?
True
Let x = 60 - -242. Suppose -28*n = -983 - 473. Suppose 4*i - 2*h - x = 0, -i + n = -2*h - 19. Is i prime?
False
Suppose -27410 = -35*q + 25*q. Is q prime?
True
Let v(l) = 5*l**3 - 69*l**2 + 12*l + 9. Is v(14) prime?
True
Suppose w + 2 = 2*s, 0*w + 22 = -2*w - 2*s. Is (0 - (-4)/w)*-1142*1 a composite number?
False
Let y(d) = 20*d**3 - 3*d**2 + 2*d - 3. Suppose 4*s + 2*r = -3*r + 23, -4*s + 3*r - 1 = 0. Is y(s) composite?
False
Suppose -10*i - 289 + 99 = 0. Let z = i + 84. Is z a composite number?
True
Let g be -35 + (4 + -4)/(-2). Let q be ((-28)/g)/((-4)/(-10)). Suppose q*r - 44 = 86. Is r a prime number?
False
Let i(k) = k**3 - 13*k**2 - 11*k - 19. Let t be i(18). Suppose 5*f - 1127 = h + t, 1005 = 2*f + h. Is f a composite number?
True
Suppose -2 = 3*m - 5. Let u(t) = 238*t**2 + t. Is u(m) prime?
True
Let u(o) be the first derivative of o**4/12 + o**3 - 3*o**2/2 - 4*o + 2. Let i(c) be the first derivative of u(c). Is i(-10) a prime number?
True
Is 3/(-8) - (-164905)/344 composite?
False
Suppose v = 2*f - f + 904, 4*v - 3622 = -2*f. Suppose d - 2*y - 897 = 0, 3*d - 2*y = 4*d - v. Is d prime?
False
Let v(h) = 45*h + 31. Let j(z) = z**3 - 2*z**2 - 5*z + 6. Let n be j(4). Is v(n) a prime number?
False
Let h(c) = c**2 - 3*c. Let d be h(-4). Let m be 7/(d/16) + 3. Is (-1310)/(-70) + 2/m composite?
False
Let s(u) = -44*u + 19. Let t(b) = -44*b + 20. Let m(g) = -5*s(g) + 6*t(g). Is m(-14) a composite number?
False
Let n(h) = 28436*h - 97. Is n(4) a composite number?
False
Suppose -4*y = -4*w, y - 3 - 1 = 0. Suppose -m + 7675 = w*m. Is m a composite number?
True
Let c = -21 - -26. Let f be (-3)/c - (-13)/5. Is (5130 + f)*1/4 a composite number?
False
Let c be (-509)/3 - 4/(-6). Let m = c - -355. Suppose 2*h - 3*k = k + m, -2*k = h - 81. Is h composite?
True
Let q(w) = -352*w - 9. Let h be q(-6). Let k be (-1)/3 + (-49)/(-21). Suppose c = -k*c + h. Is c a composite number?
False
Let o be (-3)/6*6 - -47. Suppose 4*p = 608 + o. Is p composite?
False
Let f = -2 + 5. Let u be ((-225)/(-10))/1*(-2 + 72). Suppose -5*o = -4*v + u, f*v + 0*v = -3*o + 1188. Is v prime?
False
Let u(l) = 73 - 153 + 69 - 255*l. Is u(-2) composite?
False
Let a(h) = 4*h**3 - 11*h**2 + 40*h - 34. Is a(19) composite?
True
Is ((-5709)/(-2))/3*(-58)/(-29) composite?
True
Let a = 313 - -878. Is a composite?
True
Let b(o) = 3*o + 18. Let x be b(-6). Suppose -3*y = 5*i - 11, -35 = -5*i + 5*y - x*y. Suppose 3*n - 5*d = 28, 0 = -0*n - n - i*d + 15. Is n a prime number?
True
Let r be 2/12 + 4311/54. Is (2 - 5/(-5)) + r a composite number?
False
Suppose -3*f = -26*r + 24*r + 39473, 5*r - 5*f - 98680 = 0. Is r a prime number?
False
Let v = 124 + -119. Suppose -v*j = -2*j - 5*m - 3772, 4*j = 5*m + 5021. Is j composite?
False
Suppose 6*v - 15 = 51. Suppose 0 = 2*m + v*m - 7631. Is m a prime number?
True
Let q be -2 + 87/12 - (-7)/(-28). Suppose -2*z = -5*z + 2*y + 3765, 4*z = -q*y + 5020. Is z a composite number?
True
Let d = 108 + -105. Suppose -2570 - 349 = -d*n. Is n a composite number?
True
Suppose c + 3*c - 34 = -3*v, -2*v - c = -26. Let z = 32 + v. Is z a composite number?
True
Let w = -983 + 2098. Suppose -10*j = -5*j - w. Is j prime?
True
Let j = 19039 - 4842. Is j prime?
True
Let w(j) = -2*j**3 + 6*j**2 - 4*j - 5. Suppose 2*r + g - 2*g + 13 = 0, 0 = -2*g - 6. Let t be w(r). Suppose -3*v + t = 2*v. Is v composite?
True
Is -2 + (-5 - 14568/(-3)) a prime number?
False
Suppose -3*g + 4*g = 5. Let f be 178*(-2 - 1)/(-6). Suppose g*b - 217 = 2*q, -2*b + f = -0*b - 3*q. Is b a prime number?
True
Let g(h) = 32*h + 31. Is g(6) prime?
True
Let t(d) = 523*d**2 - 32*d - 43. Is t(6) a prime number?
True
Let y(x) = -x + 59. Suppose 0 = r - 4*r - 2*d - 8, 4*r + 8 = -2*d. Is y(r) prime?
True
Let p(z) be the first derivative of z**4/4 + 5*z**3 - 5*z**2 - z + 25. Is p(-12) a composite number?
True
Suppose 0 = 3*q - 4*s - 27, -q + 5*s = -6*q + 45. Let g be 2*5/10*3. Is q*((-284)/g)/(-4) prime?
False
Let b = 206 + -212. Let c(g) = 9*g + 14. Let t(j) = -26*j - 41. Let i(a) = 17*c(a) + 6*t(a). Is i(b) composite?
True
Suppose -s = 2*p, -s - 17*p + 12*p = 9. Is s composite?
True
Let w = -8058 + 20381. Is w composite?
False
Is (-8628)/(-16)*12 + -2 composite?
False
Suppose 108 = 5*l + 13. Let f = 24 - l. Suppose 3*v = -f*y - v + 2701, 0 = 5*y + v - 2704. Is y prime?
True
Let o(h) be the first derivative of 4*h**3 - 6*h**2 - 5*h + 21. Is o(5) a prime number?
False
Suppose 33*m = 49*m - 62704. Is m a composite number?
False
Let h(d) = -d**3 + 3*d - 10. Suppose -2*x - 17 = q, -3*q + 0*q = 5*x + 44. Let i be h(x). Let l = i - 149. Is l composite?
False
Let u(o) = 2*o**3 + 20*o**2 - o - 11. Is u(-8) a prime number?
False
Let s(q) = -10*q**3 - q**2 - 9*q - 1. Let k(t) = 2*t + 10. Let m be k(-7). Is s(m) composite?
False
Let w(m) = -m - 1. Let o(v) = 296*v - 15. Let i(a) = o(a) + 4*w(a). Is i(6) a prime number?
True
Suppose 12 = 2*d + 2*d. Suppose d*h + 5*n - 782 = 0, -2*h - h = -2*n - 754. Suppose -416 = -2*w + h. Is w prime?
False
Let 