z(t) = -9663*t - 44. Is z(-9) prime?
True
Let r(j) = -j**3 + 20*j**2 + 38*j - 48. Is r(17) prime?
False
Suppose -133*m + 398 = -131*m. Is m prime?
True
Let x(j) be the first derivative of j - 101/2*j**2 - 5. Is x(-2) a composite number?
True
Let c be 286/6 + 6/18. Suppose -c = -y + 36. Let g = 218 - y. Is g a composite number?
True
Let m = 19232 + -10483. Is m a composite number?
True
Let s = -212 - -210. Let l(j) = 6*j + j + 3*j**2 - 12*j**3 + 5 - 2*j. Is l(s) prime?
True
Let h be 15/9*54/15. Suppose -5*p - 5 = -h*p. Suppose -5*j + 845 = 2*u, -j - 45 = p*u - 214. Is j a prime number?
False
Suppose -3*a + 5740 = 1657. Is a a composite number?
False
Let p be (11/((-77)/518))/(4/(-18)). Suppose 13*f - p = 10*f. Is f a prime number?
False
Let j(m) = 2*m**2 + 2*m - 1. Let g be j(2). Let u(a) = g*a + 42*a - 4 + 38*a + 6*a. Is u(3) prime?
False
Let u(q) = -2*q**3 + 12*q**2 + 23. Is u(-10) a prime number?
False
Let y(i) = i**3 + 11*i**2 + 7*i - 16. Let v be y(-10). Is (2 - v/6)/((-2)/15474) prime?
True
Let p(j) = -5*j**3 + 5*j**2 + 14*j - 7. Let x = 93 + -98. Is p(x) a prime number?
True
Suppose -8382 = -35*v + 29*v. Is v a composite number?
True
Suppose -2*g + 3*g = -3*s + 22270, 3*s - 111338 = -5*g. Is g composite?
True
Let d = -710 + -1234. Let z = -629 - d. Is z a prime number?
False
Suppose -52*v + 48*v = -5480. Suppose -v = -x - 3*q, 5*x + 0*x = -3*q + 6910. Is x composite?
True
Suppose -4*n - 104 = -8*n. Suppose 5*x - n = -f + 3*f, 0 = 3*f + 9. Suppose -4*d + 37 = g, -x*g - d + 30 + 73 = 0. Is g composite?
True
Suppose -3*k = 5*k - 5624. Is k composite?
True
Let q(b) = b**3 + 4*b**2 - 4*b + 4. Let a be q(-5). Let s(k) = 224*k + 31. Let w be s(-8). Is (w/9)/(a/3) a prime number?
True
Let y(u) = u + 2. Suppose -4*d - k = -2*d - 2, -5*d = -4*k - 5. Let s be y(d). Suppose -p + 2*p - 140 = -s*z, 5*z - 432 = -3*p. Is p a composite number?
False
Let b(g) = -g + 6. Let a be b(5). Is (8 - (a + 3))*(-307)/(-4) composite?
False
Let j(y) = -44*y - 9. Let q be j(-6). Let u = 518 - q. Is u prime?
True
Let u = -9645 + 21224. Is u a composite number?
False
Suppose -5*k = -4*r - 1051, -5*r - 1307 = -6*k + 2*k. Let d(q) = -94*q + 3. Let x be d(2). Let f = x - r. Is f composite?
True
Let h(p) = -p**2 + 1. Let v(b) = 3*b**2 - 7*b - 5. Let g = -6 + 8. Let n(x) = g*h(x) + v(x). Is n(-5) composite?
True
Suppose 4*a - 3*f + 0*f - 19 = 0, 12 = 4*a + 4*f. Let w = 4 + -1. Suppose -w*q = a*m - 277, 451 = 5*q - 5*m + m. Is q a prime number?
False
Is 1/((-12243)/(-55053) + 2/(-9)) a composite number?
True
Let i = 39154 + -26805. Is i a prime number?
False
Suppose 3196 = k - 4*c - 4634, 2*k = c + 15632. Is k a prime number?
False
Suppose 0*t = 4*g - 5*t - 2201, -2*g = 5*t - 1123. Is g a composite number?
True
Is 5298 + -14 + -13 + 2 a composite number?
False
Suppose 4*n + 381 = 5*n. Suppose -h + n = -0*h + 2*u, u = 0. Is h composite?
True
Let z be (-7)/2*72/(-42). Suppose -b + 1605 = -z*b. Let n = b - -1228. Is n prime?
True
Let j = -21 - -12. Let t = j - -12. Suppose -853 = -4*s + t*o, o - 2*o = 4*s - 841. Is s composite?
False
Suppose -83 = -18*k + 25. Suppose 5*l + 1439 = k*l. Is l a prime number?
True
Let x = -52 + 53. Let z(y) = -559*y**2 + 2*y. Let k(m) = 2237*m**2 - 9*m. Let w(o) = -2*k(o) - 9*z(o). Is w(x) composite?
False
Suppose 3*w + 2*s = 8771, 5*w + 2*s - 9742 = 4883. Is w prime?
True
Let o(q) = q**2 + q - 2. Let r be o(-3). Is r + (34 - (1 + 2)) composite?
True
Let x(l) = 7*l**2 + 4*l + 2. Let f be x(-1). Suppose 0 = -a - 3, -f*a - 524 = 3*v - 5588. Is v prime?
True
Let z = 1264 - 371. Is z a prime number?
False
Let s = 449 + 666. Suppose -5*g + 6700 = s. Is g a composite number?
False
Suppose -24 = z + 37. Suppose -3*i = -y + 75, 0*i - 4*i = 12. Let j = y - z. Is j prime?
True
Let i = 35 - 33. Let g(u) = 8*u**2 + 2*u - 3. Is g(i) a prime number?
False
Let j be -766*((-3)/2)/((-6)/(-10)). Suppose 4*x = 1881 + j. Is x composite?
True
Suppose -u - d = -3776, 5*u - 5*d + 6*d - 18892 = 0. Is u composite?
False
Let d be 5*(-3)/5*2. Let j(g) = g**3 + 6*g**2 - 7*g + 3. Let n be j(d). Suppose -2*r + 131 = n. Is r prime?
True
Let f(n) be the second derivative of n**3/6 - 9*n. Let m be f(0). Suppose -4*c + 2*c + 8 = m, 0 = -4*l - 2*c + 1180. Is l prime?
True
Let h = 8 - 11. Let z be -26 + h + -1 - -2. Let g = z - -105. Is g a prime number?
False
Suppose -9*d = 19*d - 940772. Is d prime?
True
Let c(a) = 2*a**3 - a + 1. Let b be c(1). Suppose -5370 = -b*r - 4*r. Is r a prime number?
False
Let l(s) = 21*s**2 - s. Let w be l(1). Suppose 7*y = 2*y + w. Is y composite?
True
Let y(x) = 38*x + 3. Let k(v) = -4*v - 7. Let s be k(-4). Let u be y(s). Suppose 350 = 5*g + 3*h - 0*h, 0 = -5*g - 2*h + u. Is g a composite number?
False
Let n(o) = o. Let w(k) = 123*k. Let b(s) = -164*n(s) + w(s). Let j be b(-4). Suppose 2*a - 18 = j. Is a a prime number?
False
Let l = 11920 + -5007. Is l a prime number?
False
Suppose -q + 2 = 4*s, 4*q - s + 49 = 2*s. Let a(k) = 6*k - 24. Let l be a(q). Let h = l - -199. Is h prime?
False
Let p = -759 + 90. Is (p/6)/(1/(-2)) composite?
False
Is 19138/(1/(4 + 21/(-6))) prime?
False
Let j(x) = 105*x**3 - x**2 + 2. Suppose 5*s - 3*w - 16 = 0, 3 - 5 = w. Is j(s) composite?
True
Let s(w) = 3*w**3 - 2*w**2 + 8*w - 6. Let x(j) = -4*j**3 + j**2 - 9*j + 7. Let f(g) = -5*s(g) - 4*x(g). Suppose -i - 3 - 2 = 0. Is f(i) a composite number?
False
Suppose -n + 13 = 11. Let r be 4/n - -112*17. Suppose -4*p = -2*p - r. Is p prime?
True
Let a = 10100 - 6537. Is a prime?
False
Let h be 4*1 + 35/((-42)/6). Let f(n) = -33*n**3 + 2*n**2 + 9*n + 2. Let o(t) = -16*t**3 + t**2 + 5*t + 1. Let q(d) = 3*f(d) - 5*o(d). Is q(h) a prime number?
True
Let k = 17 + -15. Suppose y + k + 2 = 0. Is -1*y/(-8)*-38 a prime number?
True
Let x = -2 - -5. Suppose -x*b = 3*b - 3066. Is b a composite number?
True
Is ((-130)/30 - -4)*-36429 composite?
False
Suppose -66 = -7*s + s. Suppose 2*n + s = -l - n, 0 = -4*l + n - 5. Is ((-3)/l)/((-3)/(-178)) a prime number?
True
Let r(j) = -2*j**3 - 5*j**2 - 2*j - 10. Let k be r(7). Let x = -540 - k. Is x a composite number?
True
Let o(t) = t**3 - 13*t**2 + t + 22. Let f = -56 - -71. Is o(f) composite?
False
Let b = 5 - 0. Let g = b + -1. Suppose -g*q + 2*h + 36 = 0, -16 = 3*q - 3*h - 49. Is q composite?
False
Suppose -2*n + l = 2*n - 270, 4*n = -l + 266. Is n composite?
False
Let l = 1140 + -792. Suppose -3*o = 5*n - 261, -2*o - 2*o - 5*n + l = 0. Is o a composite number?
True
Let j(n) = n**3 + 14*n**2 - 5*n + 3. Let w(p) = -13*p**2 + 6*p - 4. Let r(s) = 4*j(s) + 5*w(s). Is r(7) composite?
True
Suppose 4*c - 1874 = -2*i, 0*i - 1864 = -2*i + c. Let u be 4/(-8)*(1 + i). Let p = u - -678. Is p a prime number?
True
Let p = 49 - 1668. Let r = p - -2406. Is r composite?
False
Let x(o) = -o**2 - 2*o + 5. Let q(t) = -t**2 + t. Let l(k) = -q(k) - x(k). Let f be l(5). Suppose c - a = f, -4*a - a - 5 = 0. Is c a prime number?
False
Suppose -q + 4*j = 9, -12 = -5*q - 2*j + 3*j. Suppose -q*b - 409 = -4*b. Let u = b + -138. Is u composite?
False
Suppose 5*t + 39*t - 1080068 = 0. Is t a prime number?
True
Suppose 0 = -3*s + 10*s - 16219. Is s a prime number?
False
Let z be 93/(-33) + (-2)/11. Let l(k) = k**3 + 7*k**2 + k + 5. Let h be l(z). Let g = 75 - h. Is g prime?
True
Let d(s) = s + 12. Let m be d(-5). Let v(b) = -22*b - 6*b + 0 - m. Is v(-8) a composite number?
True
Suppose -2*m + 2*y - 50 = 18, -3 = -3*y. Is (-17842)/m + (-2)/(-6) a composite number?
False
Let a be (-4)/(-10) - (-8008)/5. Let d = a + -1061. Is d a prime number?
True
Let u(x) = -2*x**3 - 21*x**2 - 56*x - 28. Is u(-21) composite?
True
Suppose 4*l - 5790 + 1126 = 0. Suppose 0 = -f - f + l. Is f prime?
False
Let c(j) = 3517*j + 69. Is c(6) a composite number?
True
Let p(q) = -q**2 + 17*q + 21. Let b = -22 + 28. Is p(b) prime?
False
Let k(v) = -252*v**3 + v**2 - 21*v - 41. Is k(-6) prime?
False
Let q(t) = -t**3 - 10*t**2 - 11*t - 8. Let b be q(-9). Let r(i) = -3 + 6*i + 2*i**3 + b - 5*i**2 + 0*i**3. Is r(6) composite?
True
Suppose 8676 = 34*a - 28*a. Is a/15 + (-3)/(-5) prime?
True
Suppose 0 = -2*g + 170 + 44. Let k = g + -10. Is k prime?
True
Is (-4)/14 + (-125520)/(-35) + 3 a prime number?
False
Let p = -48 - -68. Let w be 78/104*(-40)/6. Is (-592)/p*w/2 composite?
True
Let c(l) be the second der