 Is n composite?
False
Let w = 2 + -2. Suppose 3*q + 0*q = w. Suppose q = -2*r - r + 246. Is r composite?
True
Let p = 27 - 39. Let w be 4/(-6)*p/2. Suppose w*x = -2*n + 132, 0 = -0*x + 3*x + 3*n - 99. Is x prime?
False
Let x = 53 + -26. Suppose -2*b - b = x. Is (102/b)/(4/(-42)) a prime number?
False
Suppose 4*c - 2623 = 3*v - 2*v, -c + v + 658 = 0. Is c composite?
True
Let w(c) be the first derivative of 2*c**3 + 7*c**2/2 + 2*c + 9. Is w(5) a composite number?
True
Let c = 181 - 96. Suppose -u = -5*h - 84, 5*u - 2*h + c - 620 = 0. Is u a prime number?
True
Let t(f) = 3*f**2 - f - 5. Suppose 0 = 5*n - 7*n - 3*q + 1, 4*n - 8 = -4*q. Suppose 2*r + 11 = -n*h - 20, 31 = -3*h + 5*r. Is t(h) a prime number?
True
Let k(l) be the first derivative of -2 - 1/3*l**3 + 13*l + 1/2*l**2. Is k(0) composite?
False
Let a = 5 + -8. Let p(q) = 2*q + 5. Let y be p(-4). Is (-3)/y - 156/a composite?
False
Suppose -2*p + 8 = -5*i, 4*p + 0*i = 2*i. Let h be 398 - (-2 + 1 + p). Suppose -2*r + 4*z = -3*r + 85, -4*z = -4*r + h. Is r composite?
False
Let r = 10 - 5. Suppose -r*p = -7 - 3. Suppose -5*w = 4*y - 35, -3*y = p*w - 4 - 31. Is y a prime number?
False
Suppose -364 = 3*v - 2791. Is v a composite number?
False
Let a(d) = 70*d**2 + 7*d + 4. Is a(-3) prime?
True
Let z be 100/36 + 4/18. Let o be (-2)/6 + 19/z. Let k(m) = m**3 - 7*m**2 + 7*m - 3. Is k(o) a prime number?
True
Let o(s) = 5*s - 10. Let x be o(6). Suppose 0*z + 4*z = x, -2*j + 2*z = -306. Is j a prime number?
False
Let i = -54 + 58. Let v(y) = 3*y**2 - 7*y + 6. Let s(u) = u. Let a(z) = 2*s(z) + v(z). Is a(i) composite?
True
Let r = 0 + 32. Let w be (1/2)/((-1)/26). Let m = r + w. Is m prime?
True
Let k be -2 + -1 + (-70)/(-7). Let o(c) = 2 - 2*c**3 - 7*c**2 + 3*c**3 - 7 - c + k*c. Is o(7) prime?
True
Suppose -5*d + 505 = 5*z - 0*d, d - 392 = -4*z. Let v = -52 + z. Suppose 5*x - 20 = -g, -5*g + 5*x + v = -25. Is g composite?
True
Let l = 6 - 8. Is 90/(l - -4) + -2 prime?
True
Let z(b) = -b**3 - 9*b**2 + b + 1. Let y be z(-6). Let g = y + 274. Is g a composite number?
True
Let c(t) = 65*t. Let b(r) = -585*r. Let y(z) = -4*b(z) - 35*c(z). Is y(1) prime?
False
Suppose -3*k - 5*i + 8 = -k, -3*k + 2*i - 7 = 0. Is 0 + (-1)/k - -96 composite?
False
Suppose 0 = 3*a - 2*a. Suppose 2*m + 5*n - 24 = a, -m - 2*m = n - 62. Let g = m - -3. Is g prime?
False
Let s = 157 - 86. Is s a prime number?
True
Let f(l) = -15*l + 4. Let h(y) = -10*y + 3. Let p(u) = 5*f(u) - 7*h(u). Let s = 2 + -6. Is p(s) a composite number?
False
Suppose -4*v + 3*v - 51 = 0. Let l = 228 + -143. Let n = l + v. Is n a composite number?
True
Let m = 209 - 52. Is m composite?
False
Let d(w) = -w - 1. Let a be d(-4). Is (-695)/(-15) + 2/a prime?
True
Suppose -3*v + v + 20 = 0. Suppose v = m - 9. Is m a prime number?
True
Suppose -3*g = 2*g. Suppose p = 2*p. Is 37/1 - (p - g) composite?
False
Let q = -272 + 43. Let a = q + 371. Suppose -179 = -5*w - 2*j, 3*w - 7*w = 2*j - a. Is w a prime number?
True
Suppose -h + 5 = 0, -8*i + 4*i + 11 = -h. Let f(l) = -i*l + 0*l + 15*l + 1. Is f(6) composite?
False
Let w(h) be the second derivative of 0 - 7/6*h**3 + 2*h - 1/2*h**2. Is w(-1) a composite number?
True
Let p(j) = j + 3. Let s be p(-6). Let u be (-733)/s + (-3)/9. Let d = -117 + u. Is d prime?
True
Suppose -a + 44 = 4*k + 3*a, 0 = 4*k - 5*a - 35. Suppose -3*d = 1 - k. Is (-4)/(-6) - (-355)/d prime?
False
Let b(s) = 2*s**3 + 18*s**2 + 9*s - 6. Is b(-7) a composite number?
False
Suppose -5*c = s - 1389, 0 = -4*s + 3*c - 1376 + 6978. Is s prime?
True
Let p(k) = 53*k**2 - k + 1. Let i be p(1). Suppose 5*x = 212 + i. Is x a prime number?
True
Let o be ((-15)/4 + 3)*-4. Suppose 2*t = o + 169. Let a = 33 + t. Is a a composite number?
True
Is (-10641)/(-12) - 7/(-28) composite?
False
Is 6/10*6790/14 prime?
False
Suppose -2*n - 5*p = -1420, -p - 8 = 3*p. Suppose 5*r = -270 + n. Is r composite?
False
Suppose s = 2*p - 3, -3*p - 5 + 2 = -3*s. Let g = p - -17. Is g a composite number?
True
Let w = -2205 - -4244. Is w prime?
True
Let f(y) be the first derivative of -y**4/4 + 11*y**3/3 - 11*y**2/2 + 6*y + 4. Let w be f(8). Let p = -39 + w. Is p a composite number?
False
Let s(c) = 168*c + 11. Is s(3) prime?
False
Suppose 3*i - 4 = 2*m, -m + 6*m + 10 = -4*i. Is 9*6 + -1 + m a prime number?
False
Let o be 19/4 + 1/4. Let z(m) = 2*m - 5. Let f be z(o). Suppose -f*n - 63 = -2*u, -u - 3*n = -4*n - 36. Is u a composite number?
True
Let x = -6314 - -11467. Is x prime?
True
Is (-85098)/(-34) - (-16)/136 prime?
True
Suppose 0 = 5*t + 3*d - 5*d + 79, -4*t = 5*d + 50. Let s = -8 - t. Is s composite?
False
Suppose -5*m + 6097 = 512. Is m composite?
False
Let w be 5/((-10)/96) - 2. Is (1780/w)/((-2)/5) composite?
False
Let x = 354 - 253. Suppose -x + 246 = t. Is t composite?
True
Let d(h) = -15*h - 1. Is d(-1) a composite number?
True
Let s(x) be the first derivative of 10/3*x**3 + 0*x**2 + x - 3. Is s(-3) composite?
True
Let q(x) = -x**3 - 3*x**2 + 7*x + 8. Suppose -2 = c + 4. Is q(c) composite?
True
Let h = -21 + 36. Suppose -53 + h = -2*t. Is t composite?
False
Let v(t) = 5*t - 7. Let o be (12/(-2))/3 - 3. Let x(b) = -9*b + 14. Let k(y) = o*v(y) - 3*x(y). Is k(10) a prime number?
True
Suppose -573 = 4*u - 7*u. Is u a prime number?
True
Let z = 9 + -4. Suppose -z*b + 1484 = j + j, -5*j = b - 283. Let p = b - 143. Is p composite?
True
Let n(c) = -2*c - 1. Let h be n(-3). Suppose -2*i = x - 0*x - 3, h*x = -3*i + 15. Suppose -x = -0*y - y. Is y a composite number?
False
Suppose -3*k = -4*k + 2108. Suppose -k = -4*f - 0*f. Suppose 4*w = -o + f, 0 = -2*w - 3*w + 4*o + 685. Is w prime?
False
Suppose -3*a = -0*a - 21. Is a a composite number?
False
Suppose 8*r = 7*r + 346. Suppose 0*v = 4*i + v - r, 425 = 5*i + 5*v. Is i a prime number?
False
Suppose 5*z - z = 268. Is z a prime number?
True
Suppose v = -n + 18 - 6, -2*v - n + 21 = 0. Let m = 10 - v. Is m/(((-2)/191)/(-2)) composite?
False
Let u be 2/2 - (4 - 6). Suppose -2*n + d + 11 = 0, u*d + 0*d - 12 = -3*n. Suppose n*p + 2*i = 579, 0*p - 2*p = -i - 228. Is p a composite number?
True
Suppose 4*n - 2*r - 8 - 2 = 0, 4*n + 4*r = 28. Is (n/2)/(2/3) prime?
True
Let u(f) = -f**3 - f + 6. Let a be u(0). Let y be 5 - (3/(-1) + a). Let r(x) = 6*x**3 + 3*x**2 - 3*x + 1. Is r(y) a composite number?
True
Let q(b) = 23*b. Let h be q(-4). Is (3/6)/((-2)/h) prime?
True
Let g be 4/(-18) + 33/27. Let h(t) = -4*t**3 - 3*t**2 - t - 11. Let y(q) = -q**3 + q - 1. Let j(x) = g*h(x) - 5*y(x). Is j(5) prime?
False
Suppose m = 1 - 8. Is (-2 + 64)*m/(-2) prime?
False
Let x = 1602 - 824. Is x prime?
False
Let l(z) = z**3 + 11*z**2 - 11*z - 4. Is l(-9) a prime number?
True
Suppose 57*y = 62*y - 3170. Is y composite?
True
Suppose -4*v + 3*l - 28 = -l, -5*v - 3*l = 43. Let q = v + 29. Is q a prime number?
False
Let r = -7 + 10. Suppose 5*p - 2*z - 418 = -r*z, -2*p = -5*z - 151. Suppose -d + 2*d - p = 0. Is d prime?
True
Is 31933/55 + (-4)/(-10) composite?
True
Suppose 0*c = -c - 3. Is -22*(c + (-2)/4) prime?
False
Let w = 79 - -919. Is w a prime number?
False
Is (-3)/(-1) + 9/((-36)/(-3400)) a prime number?
True
Let u = 9 - 4. Suppose 3*g - 9 = -m, u*g - 1 = m + 2*m. Suppose -g*f + 3*f = 33. Is f a prime number?
False
Let s be (2 + 19)*(-1 + -1). Let j = -14 - s. Let n = -5 + j. Is n a prime number?
True
Let u(m) = m + 3*m + 29*m**2 + 1 - 3*m. Let s be -1 - (6/(-3) + -1). Is u(s) composite?
True
Suppose -16 = 4*g, -3*h + 227 = -2*h + 3*g. Is h composite?
False
Let p be -2 - (1 - 0) - 1. Is ((-190)/8)/(1/p) a prime number?
False
Let a(b) = 7*b - 4. Let h be a(13). Let z(w) = -19*w. Let t be z(-2). Let u = h - t. Is u a composite number?
True
Suppose -4*m - 2*r = -446, 0 = -5*m + 4*r + 239 + 286. Is m a prime number?
True
Is 4845/12 + (-6)/8 a composite number?
True
Is (-38)/(-6)*(14 - 11) a prime number?
True
Let v(u) = -u**2 + 6*u. Let i be v(6). Suppose 4*h = -2*w - i*h + 22, 2*w - 5*h = 22. Is w a prime number?
True
Let y(h) be the second derivative of -h**5/20 + h**4/2 + h**3 + 5*h**2/2 - h. Let s be y(6). Is 2/6 + s/3 prime?
False
Suppose 12 = -k + 4*k. Let w be (3 - 0) + k*24. Suppose 9 = v - s - 37, 2*v + 5*s = w. Is v a composite number?
False
Is 82 - -3 - 0/(-2) composite?
True
Is (-2583)/(-49) - (-2)/7 a composite number?
False
Let s = -10 - -16. Is