 4*u - 4. Let q be d(-5). Suppose 2*a - q = -0*a + y, -3*y - 39 = -2*a. Is a a prime number?
False
Let b = 707 - -32. Is b a composite number?
False
Let a(z) = 554*z. Suppose -2*w - 3*y + 20 = 3*w, -2*w - 2*y = -12. Let r be a(w). Suppose 4*j - r + 70 = 0. Is j prime?
False
Let v(p) = 10*p - 3. Let s be 14/3 - 2/3. Is v(s) a prime number?
True
Let j be -1 - (-1 - (5 - 1)). Let g(k) = 8*k - k + 4 - 6. Is g(j) prime?
False
Suppose -2*f - 1019 = -3*r - 7*f, r - f - 329 = 0. Suppose -k - 2*k + r = -5*q, -5*k + 555 = q. Suppose 0 = -2*c - c + k. Is c prime?
True
Suppose 4*v - 8 = -0*v. Suppose 2 + v = b. Suppose -b*f + 89 + 491 = 0. Is f composite?
True
Suppose -2*t - 2 = 2*u, -t - 4*t = 15. Suppose -4*o = 2*j - 24, 5*o - j = u*j + 19. Suppose -47 = -v - o*k, -2*k + 13 = 2*v - 41. Is v composite?
True
Suppose -992 = -4*v - 164. Let l = v + -140. Is l a prime number?
True
Suppose -41*u + 37*u = -12164. Is u a prime number?
True
Let y(m) = m + 10. Let o be y(-6). Let a = o + 11. Is a composite?
True
Let z(y) = -y - 8. Let b be z(-8). Suppose b = -2*c - 2. Is (0 - c)/((-1)/(-37)) a composite number?
False
Let c = 3702 + -2045. Is c a composite number?
False
Suppose 5 = 4*v - 91. Suppose -v = 2*h - 6*h. Is h a prime number?
False
Let u(w) = -5*w - 16. Suppose 0 = 2*b + 24 - 2. Is u(b) a composite number?
True
Suppose 3*l = 2*l + 631. Is l a composite number?
False
Let o(z) = 4*z**3 - 1. Let a be o(1). Let s(c) = 2 - a + 18*c - 10*c - 47*c. Is s(-2) a composite number?
True
Suppose -x + 864 + 1624 = 4*v, 0 = -5*v + 5*x + 3135. Is v prime?
False
Let h be (8/(-6))/((-3)/(-9)). Let q(w) = 2*w**2 - 5*w + 1. Let n be q(h). Let f = n + -30. Is f prime?
True
Suppose -u = 5*i - 124, 3*u + 14*i - 9*i - 422 = 0. Is u a prime number?
True
Let n(d) = -37*d - 6. Is n(-11) a composite number?
False
Let x be (0 - 334)*(-5)/10. Is -4 + -2*x/(-2) prime?
True
Let d = 5 + 2. Suppose -4*p + 23 = -3*v, 5*p - 31 = 5*v + 4. Suppose -p*h - 45 = -d*h. Is h a prime number?
False
Let v = -2 - -3. Let t be v - (-1 - (1 + -1)). Suppose 2*c = 4*i - 10, 0 = -c - t*i - 0*i + 11. Is c prime?
True
Let q(c) = -c + 2. Let t be q(4). Let j be t/6 + (-38)/(-6). Suppose -j*k + k = -15. Is k composite?
False
Let h(p) = -16*p**3 - 4*p**2 + 11*p + 5. Is h(-6) prime?
True
Let k(n) = n**2 + 6*n + 5. Is k(-12) a composite number?
True
Let m = 3 + -2. Is 22 + 3 + m*-2 a composite number?
False
Is 27 + (3 - 0 - 5) composite?
True
Suppose -3*m = -5*h - 9543, 4*m + h + 3*h = 12724. Is m composite?
False
Is (655/(-10))/((-3)/6) prime?
True
Let j(o) = o**3 + 11*o**2 - 3*o + 4. Let s be j(-11). Let k = s + -10. Suppose -4*t + 138 = -u + 13, -t + k = 4*u. Is t a composite number?
False
Suppose -i - 25 = -612. Is i a composite number?
False
Suppose -h + 268 = -23. Suppose 0 = 4*l - 5*i - h, -2*l + 178 = 5*i - i. Is l a prime number?
True
Suppose 2*x - 2*q = 1648, -3*x + 3301 = x - 3*q. Is x prime?
True
Let m(n) = -n**3 - 8*n**2 + n + 2. Let z be m(-8). Let k(w) = -w**3 - 5*w**2 + 5*w - 4. Let u be k(z). Suppose 0 = -o + u*o - 83. Is o prime?
True
Let v = -53 + 19. Is v/(-119) + 1125/7 prime?
False
Is 1007 - 2*(5 + -3) prime?
False
Suppose -u - 998 = 4*m, -2*u + 368 = -5*m - 886. Let x = -39 - m. Is x a composite number?
False
Let i(g) = 2*g**2 + 4*g + 13. Suppose 2*y = -0*y + 18. Is i(y) a composite number?
False
Let i be (1 - 0)/(2/174). Suppose a - i = -2*a. Let s = -16 + a. Is s composite?
False
Let j(i) = -i - 6. Let c be j(-8). Suppose -4*l = h - 2*h - 119, 3*h + 47 = c*l. Is l composite?
False
Let g(l) = 10*l**2 + l - 2. Let r(t) = -2*t**3 - 2*t**2 + 2*t - 1. Let f be r(1). Is g(f) composite?
True
Let b be -5 + 4 + 10/2. Suppose 0 = -6*u + b*u. Suppose t = g + 30, 0 = -u*t + 5*t + 5*g - 200. Is t a composite number?
True
Let y(l) = -78*l + 9. Is y(-4) composite?
True
Suppose 10*a = 11*a + 2. Let w(v) = -40*v - 1. Is w(a) a composite number?
False
Suppose -4*u = -26087 + 8523. Is u a composite number?
False
Suppose -19*r - 211 = -20*r. Is r prime?
True
Suppose -4*l + 195 = -l. Is l composite?
True
Let z(k) = 15*k. Let f(u) = u + 4. Let v be f(3). Let b be z(v). Suppose 3*r = -3, -4*p + 36 + b = -r. Is p a prime number?
False
Suppose 6*k = 2*k - 48. Is ((-27)/k - 0)*4 composite?
True
Is (-1319)/(-2)*(0 + 2 + 0) prime?
True
Suppose 2*k = 5*c - 4129, 4*c - 2*c - 5*k - 1660 = 0. Suppose 4*l = l + c. Let u = -148 + l. Is u a prime number?
True
Let h be ((-3860)/(-25))/((-2)/(-5)). Suppose -h = -5*k - 51. Is k prime?
True
Let c(o) = o**2 + 6*o + 7. Let h = 6 + -11. Let q be c(h). Suppose 3*a - 665 = -q*a. Is a composite?
True
Let a be (51/(-2))/(3/(-6)). Let n = 11 + -9. Suppose -p + n*w = -2*w - 63, -p + w = -a. Is p composite?
False
Let b(h) = 7*h**2 - 10*h + 34. Is b(9) a prime number?
False
Suppose -5*x + 30 = -5*n - 0*x, 0 = -3*n + 2*x - 13. Let y be (n - (-3)/6)*-138. Is y*-1*(-3)/9 composite?
False
Suppose 3*j + 5 - 23 = -2*s, 3*s - 13 = -j. Let b be j/(-10) + 467/5. Let a = 139 - b. Is a a composite number?
True
Let k(v) be the second derivative of -v**5/10 - 7*v**4/12 + 5*v**3/6 - 7*v**2/2 + 3*v. Is k(-6) a composite number?
True
Let o(a) = -a**3 + a**2 + a - 1. Let f(q) = -7*q**3 - 2*q**2 - 2*q - 10. Let j(x) = f(x) - 6*o(x). Is j(-7) a prime number?
True
Suppose u + 0*u = 28. Let f be 8/u + (-24)/(-14). Suppose -4*k + 13 = -3*k - 2*b, -f*k + 31 = -5*b. Is k composite?
False
Suppose -5*a = 0, 4*o = -2*a - 2*a + 4996. Is o prime?
True
Let u(o) = o**3 - 4*o**2 - 5*o + 1. Let s be u(5). Let v be ((-84)/(-9) - s)*3. Suppose 3*m - a - a - 97 = 0, m - v = -3*a. Is m a composite number?
False
Let v(c) = 4*c**3 + 1 - 6*c**3 + 5*c + 3*c**3 - 2*c**2 - 4*c**2. Is v(6) composite?
False
Let o = -88 + 137. Is o a composite number?
True
Let p(k) = k**3 + 5*k**2 + 4*k + 2. Let h be p(-4). Let n = h + 0. Suppose 0 = -g + n, 3*w = 2*g + 413. Is w a prime number?
True
Let i be (-32)/(-12)*6/4. Suppose 627 = i*n - n. Is n a prime number?
False
Let u be ((-1)/(-1))/(-2 + 3). Let k = -2 - 1. Is (2 - u)/(k/(-267)) composite?
False
Suppose 2*r - r - 50 = 0. Suppose 127 + r = u + 4*q, -5*u + 885 = 5*q. Is u a prime number?
False
Is (16/56)/(2/11158) composite?
True
Let s = 231 + 973. Let w be (-6)/4*s/(-21). Let l = 175 - w. Is l composite?
False
Suppose 5*r = -0*s - 2*s + 27, 2*s = -3*r + 25. Let z = s + -7. Is 435/20 - (-1)/z a prime number?
False
Suppose 6*n + 641 = 7*n. Is n composite?
False
Let f(r) = 155*r**3 + r - 1. Let u be f(1). Let o = u + -102. Is o a composite number?
False
Let w(z) = z**2 - z - 7. Let r be 3 - 2*2/4. Let d be 1/r - 9/(-2). Is w(d) a prime number?
True
Let w(q) be the second derivative of q**5/20 + q**4 + 5*q**3/6 - 11*q**2/2 + q. Is w(-9) prime?
False
Let o(j) = -2*j**3 - 9*j**2 + 10*j + 6. Let l(g) = 7*g**3 - g**2 - g. Let n be l(-1). Is o(n) prime?
True
Let v = 5 - 2. Suppose -z + 6 = v. Suppose -16 = 4*q, z*q - 31 + 153 = 2*s. Is s prime?
False
Suppose 0 = -0*p + p - 5*y - 399, 5*p - y = 1899. Is p a composite number?
False
Let q(u) = -518*u + 3. Is q(-1) a prime number?
True
Let u(s) = -s - 2. Let p be u(-8). Let d be (-1 - -2)/(p/1314). Suppose -3*v + d - 42 = 0. Is v a prime number?
True
Suppose 0 = -4*w + 2506 + 3634. Is w composite?
True
Let t be 8/5*(-10)/(-2). Suppose 5*m + 4*r + 17 = 2*m, 2*r - t = 4*m. Is ((-113)/m)/((-2)/(-6)) a prime number?
True
Let x(p) = -p**3 - p**2 - 9*p + 2. Is x(-7) a composite number?
False
Let v(s) = 22*s**2 + 1. Suppose 4*u + 5 = -u. Is v(u) a prime number?
True
Is (0 + -11582)/(-5 + (-18)/(-6)) a prime number?
True
Let w = -252 + 503. Is w a prime number?
True
Suppose 100 + 198 = 2*a. Is a a prime number?
True
Let f(h) = -48*h - 1. Suppose -3*g = -2*c - 1, 0 = -2*g + 7*g + 4*c + 35. Is f(g) a composite number?
True
Suppose 0 = 4*n + n. Suppose 39 = -n*q + 3*q. Is q a prime number?
True
Suppose 0*l - 5*l + 25 = -5*z, -3*l + 2*z = -14. Suppose l*i + 16 + 12 = 0. Let x = i + 62. Is x a composite number?
True
Suppose -4*w = w - 650. Let u = w + -56. Is u a composite number?
True
Suppose 0 = 2*n + 2*o - 736, 2*o = 4*n - 459 - 1043. Is n a prime number?
True
Suppose 0 = -3*d + d - 20. Let k be 2/(-5) - 24/d. Is k/(-2)*-89 - 0 a prime number?
True
Suppose -2*a + 8 = 2, -2*d - 4*a = -434. Is d a composite number?
False
Let l = 163 - -60. Is l a prime nu