2*x + 4*p, -x - 4*p = -487. Is x prime?
False
Let w be 4/(-10) + (-24)/(-10). Suppose -4*k + 11 = -5, -3*l + w*k + 247 = 0. Is l a composite number?
True
Suppose 3*x = 2 - 11. Is (1 - 2)/(x/21) prime?
True
Is 1782/8 - (-20)/80 a composite number?
False
Suppose 5*p + 4*j - 5314 = -25, 3*j - 4232 = -4*p. Is p a composite number?
False
Let k(m) = 70*m + 1. Is k(3) a composite number?
False
Suppose 2*y = 3*y - 2*k - 4275, -5*y + k = -21330. Is y prime?
False
Let l be (-14)/(-3) - 5/(-15). Suppose l + 7 = 3*x. Suppose -2*w = 2*s - x*w - 56, 97 = 4*s - w. Is s composite?
False
Let p(a) = 15*a - 1. Is p(6) a composite number?
False
Let y = 616 + 271. Is y composite?
False
Suppose -44 = -3*x - x. Let n = 29 - x. Suppose n = 5*y - 27. Is y composite?
True
Suppose 3*h - t - 2093 = 0, -5*t - 1415 = -2*h - 37. Let z = h + -398. Suppose -4*y + 5 = 17, 4*p = -5*y + z. Is p a composite number?
False
Let p = -485 - -736. Is p a composite number?
False
Let q(z) = -z**3 + 1. Let j(i) = -4*i**3 - 2*i**2 + 3*i + 6. Let k(r) = j(r) - 5*q(r). Is k(3) a composite number?
False
Let r = 4 - 0. Suppose -32 = -4*c + 4*g - r, -20 = 4*g. Suppose 0*x + 406 = c*x. Is x a composite number?
True
Let c(w) = -12*w**3 - 23*w**2 - 10*w - 1. Is c(-8) a composite number?
False
Let i(k) = -k**3 - 9*k**2 - k - 3. Let y be i(-6). Is 4 - -3*y/(-1) a composite number?
True
Let k(m) = -380*m**3 - 1. Is k(-1) a prime number?
True
Let h be 232/20 - 6/(-15). Let o be 100/6 - 8/h. Is 182/8 + 4/o prime?
True
Suppose 0 = 7*p - 3*p + 8. Let z be (-5)/p*12/10. Suppose -k - 5*r = -1, r - 2*r - 35 = -z*k. Is k prime?
True
Let p be ((-3)/(-4))/(1/4). Let i = 0 - 1. Is 5*p*(2 + i) prime?
False
Let b(v) be the third derivative of 1/24*v**4 + 0*v + 0 - 2*v**2 + 11/120*v**6 + 0*v**3 - 1/60*v**5. Is b(1) a prime number?
True
Suppose 0 = -2*l + 523 + 115. Is l prime?
False
Let b = 758 + -169. Is b prime?
False
Suppose 0 = 3*q - d - 4*d + 16, -3*d = -5*q. Suppose 4*t - 9 = q. Suppose 5*n - t*v - 2 = 1271, -2*v = -5*n + 1277. Is n prime?
True
Suppose -5*g + 3*i + 272 = -206, 4*i = -2*g + 186. Suppose 3*s = -2*y - 120, -3*s = 2*s - y + 200. Let o = s + g. Is o a composite number?
True
Let o = 559 + -374. Is o a composite number?
True
Let h = 10 + -8. Suppose x - 167 = -h*i, -x - 3*i + 2*i + 164 = 0. Is x a prime number?
False
Suppose 3*b - 6*b + 6 = 0. Suppose 0*c = b*c - 14. Is c prime?
True
Suppose -4 = -4*k + 8. Let r(l) = -l**3 + 4*l**2 - 3. Is r(k) a composite number?
True
Let n(c) be the first derivative of -1/3*c**3 + 111/4*c**4 + c**2 - 4 - c. Is n(1) a composite number?
True
Let v(c) = -16*c - 13*c**2 - 9*c**2 - 7 - c**3 + 9*c**2 + 0. Is v(-15) prime?
True
Let g(f) = 2*f**2 + 7*f - 10. Let o be g(8). Is 2/4 - o/(-12) composite?
True
Let j(s) = -s**3 - 10*s**2 + 2*s + 22. Is j(-13) a composite number?
False
Let l be (0 + 14)*(-198)/(-4). Suppose -4*d - j + 197 + l = 0, 3*j - 886 = -4*d. Is d a prime number?
True
Let v = 1 - -2. Is -37*3/v*-1 prime?
True
Suppose 3*c = -0*c. Suppose 4*p + p = c. Suppose p = -l - l + 66. Is l a composite number?
True
Suppose 3*q = q + 294. Suppose 5*l = 238 + q. Is l composite?
True
Let q = 91 + -54. Is q a prime number?
True
Let h = -3419 - -7174. Is h a prime number?
False
Let b(t) = t**2 - 11*t - 19. Let k be b(13). Let n = 16 - k. Is n a composite number?
True
Let g(v) = -v + 13. Let d be g(7). Let t = 10 - d. Is 2/t*(286 - 0) a prime number?
False
Let s(t) = 4*t**2 - 1. Let f be s(1). Suppose 0 = f*j - 3*c - 15, 0 = -j - c - 2*c - 15. Suppose j = -3*y + 21 + 45. Is y prime?
False
Let i(n) = -3*n - 6. Let u be i(-6). Let s(r) = 13*r + 5. Is s(u) prime?
False
Let n(x) = -x**3 + 4*x**2 + 4*x + 7. Let o be n(5). Let b = 122 + -59. Suppose o*i + i = b. Is i a composite number?
True
Suppose -144 = -4*t + 2*s - 0*s, s = -t + 33. Suppose -i + 742 = t. Is i a prime number?
False
Let b be -12*((-5)/(-2) - 3). Let f(i) = -b*i + 5 - 2*i**3 + 3*i + 0 - 10*i**2 - 3*i. Is f(-6) a prime number?
True
Suppose 3*c - 4*p = 85, -3*c = -5*p - 0*p - 80. Suppose 4*l = -i - 0*i + 4, i = -2*l + 12. Let z = i + c. Is z a prime number?
False
Suppose 0 = 8*u - u - 2667. Is u a prime number?
False
Suppose 3*z - 797 = 2*z. Is z a composite number?
False
Let i = -199 - -395. Suppose -5*s + i = -69. Is s composite?
False
Let h = -8 + 15. Suppose 2*x - 353 = -2*m + h*x, 15 = -5*x. Is m a prime number?
False
Let k = -29 - 5. Let l = 65 + k. Is l a prime number?
True
Let r = -27 + 47. Suppose 3*c = 3, -4*c + r = j - 5*c. Is j prime?
False
Let k be ((-30)/(-20))/(6/(-8)). Is 6*k/4 - -89 prime?
False
Let o = 0 - 4. Is 0 + 93 - (-2 - o) composite?
True
Is 163 + 0/(0 + -2 - -4) a composite number?
False
Let d(n) = n**3 - 2*n**2 - 3*n + 3. Let o be d(2). Let s(g) = -120*g - 4. Let k be s(o). Suppose -6*p + 2*p + k = 0. Is p prime?
True
Suppose -5*y + 10*y - 1675 = 0. Is y prime?
False
Is 0 + (240 + -3)/3 a prime number?
True
Let v(r) = r**2 - 6*r - 13. Suppose 0 = -2*g + 3*g + 14. Let h = g - -23. Is v(h) prime?
False
Let z = 57 - 53. Let v = 0 - 0. Suppose v = -l - z*l + 265. Is l prime?
True
Let c(y) = 405*y + 20. Is c(9) composite?
True
Suppose -27*i - 649 = -38*i. Is i a composite number?
False
Let z(y) = -y - 5. Let v be z(-7). Suppose 5*g - 3*k = 623, -2*g - v*k + 270 = 2*k. Is g a prime number?
True
Suppose -34 = 5*l - 164. Let c = 65 - l. Is c composite?
True
Let v(p) = -p**3 + 6*p**2 - 3*p + 3. Suppose 0 = -3*k + 4*k - 4, 4*l = -k + 20. Is v(l) a prime number?
True
Suppose 0*l + 4*l = 0. Suppose -282 = -l*d + 2*d + g, -3*g - 282 = 2*d. Is (-2)/3 - d/9 prime?
False
Let t(r) = 4*r**3 + 6*r - 4*r**2 + 2*r - 7 - 3*r**3 + 0. Is t(6) a prime number?
True
Let r(w) be the third derivative of -w**4/2 - 7*w**3/6 - w**2. Is r(-8) composite?
False
Suppose 0 = 5*u - 5*q - 15, -3*u - u = 2*q - 6. Let y be (-10)/u*(-6)/15. Suppose -55 = -y*r - 3*r. Is r a composite number?
False
Suppose -5*b = -5*p - 90, -68 = -3*b - b + 3*p. Let u = 0 + b. Suppose 89 = c + x, 5*x + u - 4 = 0. Is c a prime number?
False
Let v(w) = -w**2 + w - 8. Let l be v(0). Let i = -6 - l. Suppose 5*x + 10 = -5*d, -4 = 3*d + i*x - 2. Is d prime?
True
Let z(a) = 11*a**2 - 1. Let s be (2 - (2 - -1)) + 0. Let d be z(s). Suppose -3*o = -3*q - 91 + 1, 4*q - d = -o. Is o composite?
True
Let s(m) = -m**2 - 4*m + 5. Let h be s(-4). Suppose 4*p + 0*a - 44 = -h*a, 2*a = -4*p + 32. Is p prime?
False
Is 61/2*4 - -5 a prime number?
True
Let b be 2/(-4) + (-7)/(-2). Suppose -b*c - s = -10, -4*s + 20 = 5*c + s. Suppose 8 = 3*w - c*z - 73, w = -z + 25. Is w prime?
False
Suppose 0 = 4*l - 3*g + g - 818, 5*g + 421 = 2*l. Is l a prime number?
False
Let a = 655 - 170. Is a composite?
True
Let a = 241 - 162. Is a prime?
True
Let r = 60 + -32. Let p be r/6*(-15)/(-2). Let k = -20 + p. Is k composite?
True
Is -4 - (1 - 4) - -144 prime?
False
Let h(g) = 1 + 0*g**2 - 2 + 6*g**3 + 3*g + 0*g**2. Is h(2) composite?
False
Suppose 0 = -2*z - z + 12. Suppose z*w + 67 = -3*j + 439, 5*w = -2*j + 465. Is w composite?
True
Let w be 5 + 0*(-1)/(-3). Suppose -c + w*c = 220. Is c*(-5 + 2 - -4) composite?
True
Let k be -66 - 1 - -1 - 0. Let w be -131*2/(1 - 3). Let z = k + w. Is z a composite number?
True
Suppose m = 2*m + 82. Let c = 495 + m. Is c a composite number?
True
Let g(c) = -111*c - 29. Is g(-8) a composite number?
False
Is (-6832)/(-6) + (85/(-15) - -6) a composite number?
True
Suppose -86 = 2*l + 30. Let a be (-46)/2 + -3 - 1. Let k = a - l. Is k a prime number?
True
Suppose -17 = -h + 22. Is h a composite number?
True
Let c(f) = f**3 - 5*f**2 - 6*f + 4. Let z be c(6). Suppose -4*u - 4*m = -456, -z*u - 5*m + 434 = -27. Is u a composite number?
False
Let x be (1*52)/4 + -3. Suppose -96 = -b + x. Is b prime?
False
Suppose -494 - 2042 = -4*q. Is q prime?
False
Suppose 0*i + 69 = 3*q + 3*i, -q - 4*i + 23 = 0. Suppose 4*w = 4*m + 16, -4*w + q - 1 = 2*m. Is m/1 + 150/5 composite?
False
Let d be (9/(-5) - 2)*-5. Suppose 0 = 5*g - d - 1. Suppose -4*u = g*a - 156, 0 = -3*a + 4*a - u - 35. Is a a composite number?
False
Let c be 2 + (-7)/((-21)/(-78)). Let h = 70 + c. Is h prime?
False
Let a(v) = 75*v - 1. Let g be a(1). Suppose n - g = -n. Is n a composite number?
False
Let s(h) = -7*h. Suppose 2*t - 3*q - 17 = -0*t, -4*q + 4 = 4*t. Suppose -r = r - t*z - 8, -5*r - 4 = -