-2 - l/(-4)*-2 composite?
False
Let w(x) = x**3 - 8*x**2 + 10*x - 6. Suppose -o + 135 = 4*d, 0*d + 2*d + 5*o = 45. Suppose -4*p - p + d = 0. Is w(p) prime?
False
Let t be (-5)/((3 + 2)/(-5)). Let v(d) be the second derivative of d**3/3 - d. Is v(t) a prime number?
False
Suppose 5*s = -5, -273 = -4*c - s + 442. Is c composite?
False
Let p(l) = 39*l**2 + 2*l - 3. Is p(2) a prime number?
True
Suppose 2*p - k = 25, 2*p + 2*k - 13 = -k. Is p a prime number?
True
Suppose 4*p + 5*h + 449 = -505, -1186 = 5*p + 3*h. Let t(v) = -v**3 + 9*v**2 + 8*v + 14. Let x be t(10). Is 6/4*p/x composite?
False
Let y(g) = -5 - g**2 + g**2 + 4 - 3*g**2. Let h be y(-1). Is h/(-8)*110/1 a composite number?
True
Let q = -524 + 1273. Is q composite?
True
Let i(m) be the first derivative of m**4/24 + m**3/6 + m**2 + 3. Let b(x) be the second derivative of i(x). Is b(6) a composite number?
False
Suppose -5*a = -2*a + 27. Let c = 5 - a. Is c composite?
True
Suppose -4*z - 374 = -6*z. Is z a prime number?
False
Let k be (0 + 1)*(-9 + -1). Let z = k + 14. Suppose -92 = -8*v + z*v. Is v a prime number?
True
Let u be (-4)/22 + 438/(-11). Let k = u - -197. Is k composite?
False
Suppose -5159 = -12*a + 5*a. Is a composite?
True
Let i(x) be the first derivative of 3*x**4/4 + x**3/3 + 3*x**2/2 - 3*x + 3. Let d be i(2). Suppose d + 11 = 2*r. Is r prime?
False
Is (-3305)/(-10)*2 - 3/(-3) a prime number?
False
Suppose 27 = 14*b - 4467. Is b a composite number?
True
Suppose 0*x = x - 4. Suppose 78 = x*z + 5*k, 2*z + k = -0 + 42. Is z composite?
True
Let d = -827 + 2922. Is d composite?
True
Let u(r) = r**3 - 6*r**2 - 7*r + 10. Let o be u(7). Suppose 0 = 2*x + 69 + 3. Is (x/o)/(6/(-15)) a prime number?
False
Suppose -4*f + 3*f = -2. Suppose f*x = x - 3. Is 53 + (2 - 2)/x prime?
True
Let m be 2/(-3)*3*8. Is 4/m + (-45)/(-4) a prime number?
True
Let w(f) = f - 119 + 170 + 206. Is w(0) prime?
True
Let t = -7 + 9. Suppose 6*a - t*a - 156 = 0. Is a prime?
False
Let l be 15/(-6)*4/(-5). Suppose -s - 504 = -2*a, 0 = -0*a - l*a - 5*s + 492. Is a prime?
True
Let b(i) = -i**2 - i. Let w(p) = -5*p**3 + 9*p**2 + 3*p. Let d(j) = -6*b(j) - w(j). Is d(2) a composite number?
True
Let f = 15 + -13. Suppose 5*b = -f*p + 753, -7*b = -2*b + 3*p - 757. Is b prime?
True
Let r(u) = u**2 - u + 5. Is r(7) prime?
True
Let a = 50 + -16. Is a a composite number?
True
Let y = -78 - -131. Is y prime?
True
Let m(i) = 3*i**3 + i**2 - 5*i + 3. Is m(4) a composite number?
False
Let f = -8 + 10. Suppose -f*g = v - 89, -2*v - 2*v = -2*g - 366. Is v composite?
True
Suppose -3*l + 2025 + 57 = 0. Is l a composite number?
True
Suppose -4*h + 379 = -0*h - q, 285 = 3*h - q. Is h prime?
False
Let l = -11 - -2. Let f be 2 + 0*3/l. Is 13 + f + -1 + -1 a prime number?
True
Is 305 + 1 + 1/1 a prime number?
True
Let i(s) = s**3 + 8*s**2 - 11*s + 3. Let m be i(-9). Suppose 3*u + 3*x = 21, 2*x + 5 = u + 7. Suppose -u*c - m = -65. Is c prime?
True
Let r be 3/(66/(-75) - -1). Suppose v - 2*s - 497 = -28, 0 = 5*s - r. Is v composite?
False
Is 1/(5 + -5 + (-2)/(-1142)) composite?
False
Let s = 22 + 75. Is s prime?
True
Suppose 4*d - 5*r - 824 = 0, 6*r - 438 = -2*d + 2*r. Is d a prime number?
True
Let o(x) = -x**2 + x - 1. Let n(w) = 12*w**2 - 18*w + 18. Let z(r) = -n(r) - 15*o(r). Let k = -15 + 12. Is z(k) a composite number?
True
Let x(b) be the second derivative of -b**3/2 - 2*b**2 + 3*b. Is x(-9) a composite number?
False
Let u(z) = -z + 4. Let t be u(5). Let g = t - -1. Suppose 3*h - 2*b - 195 = g, 3*h + 4*b - 280 = -h. Is h a prime number?
True
Let w = 364 + -220. Let c = w - 88. Let t = 135 - c. Is t composite?
False
Let t = 3 + -4. Let o = t + 0. Let c = 5 - o. Is c prime?
False
Let m be (-2 - (-1 - 1)) + 1. Let c be (-2)/3*(m + -7). Suppose -71 = -l + c*j + 44, 0 = 2*l + 5*j - 165. Is l a prime number?
False
Let v(t) = 2*t**2 - 19. Is v(6) a composite number?
False
Suppose -3*m + 0*m = -912. Let f = m + -215. Is f composite?
False
Let n(j) = 2*j**3 - 11*j**2 - 3*j. Let t be n(8). Suppose 8*c - 3*c + w = t, -w + 60 = c. Is c a prime number?
True
Let k(y) = -14*y + 2. Let p be k(-8). Suppose -6*v = -0*v - p. Is v prime?
True
Suppose -2*a - 131 = 5*i - 612, -516 = -2*a + 2*i. Is a a prime number?
False
Let k(t) = -2*t - 6. Let h be k(-5). Suppose 1 = h*b - 7. Suppose 0 = b*g + 3 - 17. Is g composite?
False
Let f(x) = 54*x + 11. Let g be f(-9). Let i = -306 - g. Is i prime?
False
Let c(i) = 4*i**3 - 3*i**2 - 2*i + 4. Let r = -6 + 9. Is c(r) composite?
False
Let z = -8 + 12. Suppose 80 = z*m + 28. Is m prime?
True
Suppose 3*m + d = 3854, -d + 25 = 4*d. Is m a prime number?
True
Is (0 - -5)/(3/69) a composite number?
True
Let q(h) = h**2 - h - 11. Is q(10) a prime number?
True
Let r(p) = 113*p**3 - p**2 + 1. Let c be r(-1). Let m = 100 - c. Is m composite?
True
Let y = -2 + -13. Let o = y + 200. Is o composite?
True
Suppose 0*k = 3*k + 3. Let a = k + 3. Suppose a*t - 79 = t. Is t composite?
False
Let y be 3/(-3)*3/(-1). Suppose 4*u - 516 = -3*d - 2*d, -y*d = -3*u + 414. Suppose -2*p + 44 + u = 0. Is p a composite number?
False
Let d(f) = 0*f**2 + 7 - f**2 - f + 13 + 6. Suppose i = -3*i. Is d(i) a prime number?
False
Let r = -27 + 66. Suppose r = 5*p - 31. Is p a composite number?
True
Suppose -3*o - 1453 + 7912 = 0. Is o a prime number?
True
Let b be 332/(-12)*(1 + 26). Let s = -420 - b. Is s a prime number?
False
Let f be 3/(-3) + 7 - 2. Let z be 10/f + (-2)/4. Suppose -z*x = -0*x - 68. Is x a composite number?
True
Suppose 4*m = -2 + 6. Is (2 + (3 - 1))*m a prime number?
False
Let v = 15 - 9. Is ((-4)/v)/((-12)/6246) prime?
True
Suppose -j + 4 = -3*j. Is 1/j + (-219)/(-2) a prime number?
True
Suppose 7 = -s + 6. Is ((-9)/18)/(s/62) composite?
False
Let h = 5 - 2. Suppose -h*k + 4*z = -37, 4*k = 3*k - z + 24. Is k prime?
True
Suppose 0 = -q - q + 8. Suppose 9*b - q*b - 120 = 0. Suppose 4*h - 148 = -b. Is h prime?
True
Let m be (2 - (-4)/(-2))/1. Suppose 2*n - 6 = 0, m = 3*h + 2*n + 393 - 1506. Suppose -2*q = 4*x - h - 201, 432 = 3*x - 3*q. Is x composite?
True
Let p(t) = -10*t**3 + 34*t**2 - 16*t + 17. Let x(d) = 7*d**3 - 23*d**2 + 11*d - 11. Let c(y) = -5*p(y) - 7*x(y). Is c(9) a prime number?
True
Let u(o) = -3*o**3 + 5*o**2 + 9*o + 1. Is u(-4) a composite number?
True
Let b(t) = -t - 6. Let z be b(-5). Let m(k) = -k**2 - k + 1. Let j(a) = 19*a**2 + 7*a - 5. Let l(d) = j(d) + 6*m(d). Is l(z) a prime number?
True
Let p = -52 + 22. Let s be 2/8 + p/(-8). Suppose -2 = 3*u + s*k + 1, 2*k + 21 = 5*u. Is u composite?
False
Let f = 6760 - -75. Is f composite?
True
Let v(u) = -u**3 - 2*u**2 - u + 1. Is v(-4) prime?
True
Let k(r) = 2*r**3 - r**2 - 3*r + 5. Is k(5) composite?
True
Let f = -1 - 2. Is 298/((-12)/f + -2) a prime number?
True
Suppose 5*s + 2*d = 567, 4*s + 0*d - 447 = 5*d. Is s prime?
True
Suppose -2*x = 3*x - 1655. Is x prime?
True
Let y(z) = z**3 + 8*z**2 - 4*z + 11. Suppose 3*p + 3 = -21. Is y(p) composite?
False
Suppose -5*a - 3704 = -13*a. Is a composite?
False
Let b(t) = 3*t**2 - 12*t - 16. Is b(-11) a composite number?
False
Let c(k) = 6*k + 2. Let v be c(4). Suppose 4*m - 772 = -28. Suppose m = 4*z - v. Is z a prime number?
True
Let j = 627 + -442. Is j prime?
False
Let a be (198/6)/((-6)/4). Let q = 75 + a. Is q a prime number?
True
Suppose -j - 2*m + 1 - 5 = 0, 5*j - 3*m = 19. Suppose -j*a + 72 = y + y, -2*y - 138 = -4*a. Is a composite?
True
Suppose 4*n - 14 = -2. Suppose 2*b - 2*a - 38 = -n*b, a = 4*b - 28. Is b a composite number?
True
Let k(b) = b**3 - 22*b**2 + 28*b + 13. Is k(22) a prime number?
False
Suppose -12*p = -9*p - 2085. Is p a prime number?
False
Suppose 0 = -c + 2, 424 = 2*i + c - 0*c. Is i prime?
True
Let l = 113 - 54. Is 0/2 + (l - 4) a composite number?
True
Let w(i) = 39*i + 10. Let c be w(-9). Is (0 + -1)*c/11 prime?
True
Suppose 3*y = 2*v - 17, -v + 63 = 2*v + 3*y. Let u = -9 + v. Is u a composite number?
False
Let c(z) = -z**2 + 1. Let q(d) = -d**3 - 9*d**2 + d + 8. Let l be q(-9). Let k be c(l). Suppose 0*h - 3*h = 4*n - 35, -2*h - 6 = k. Is n prime?
True
Suppose 3*c = 9 + 6. Let y be c*2/(-15)*9. Is (-3 + (-123)/y)*2 a composite number?
True
Let d be 1*(3 - 4 - -4). Let m(o) = -1 + 2 + 2*o + 16*o**d - 3*o**2 - o + 0. Is m(2) a composite number?
True
Suppose p - 5 = -2. Suppose -l = 3*t + l - 