. Is t(p) a composite number?
True
Suppose 5*b = 3*s + 2*b - 522, b = -2*s + 351. Let r = s + -124. Is r a composite number?
True
Let l(c) = 3*c**3 - 8*c**2 + 11*c + 5. Let t(m) = -4*m**3 + 8*m**2 - 11*m - 4. Let f(k) = 5*l(k) + 4*t(k). Is f(-11) a prime number?
True
Let c = 7 + 0. Suppose -5*n + c = -3. Is 462/4 - 1/n a composite number?
True
Let n(k) be the third derivative of k**5/60 + 5*k**4/24 + 4*k**3/3 - 7*k**2. Let q = -12 + 6. Is n(q) composite?
True
Suppose -3*g = -117 + 375. Let d be g/(3*(-4)/18). Suppose -4*s = -4*n - n + d, n - 21 = -4*s. Is n composite?
True
Let m be 2/7 + 8/(-28). Suppose -8*n + 3*n + 20 = m, -2*q = -n - 40. Is q a prime number?
False
Is ((-83)/(-1))/(4/4) a composite number?
False
Suppose -3*y + 6*y = 4*z + 11, -y = 4*z - 9. Suppose -5*s = -y*o - 225, 102 = s + s + o. Is s a prime number?
False
Let m(j) = 50*j - 9. Is m(4) composite?
False
Suppose 14*y - 19075 = 31311. Is y a composite number?
True
Let i(o) = -o**3 + o. Let k be i(1). Let c = -7 + k. Is (c/4)/((-1)/4) a composite number?
False
Suppose 0 = 4*x - 0*x. Suppose 2*y = -x*y + 158. Is y a prime number?
True
Suppose 3*n - 7*n = -2*w + 8370, 4*w + 5*n - 16805 = 0. Is w prime?
False
Suppose -o = 4 + 6. Let b be 4/o*(-14 - 1). Suppose b*j = 3*j + 165. Is j composite?
True
Suppose -3*b - 12450 = -4*b. Suppose 3*d - 3*y - y - 7470 = 0, -5*d + b = -y. Is 2/(-11) + d/22 prime?
True
Is (-2)/7 - 1566/(-42) a prime number?
True
Let p(x) = 18*x**3 - x**2 + 4. Is p(3) a prime number?
False
Let r(a) = -a**2 - 7*a - 3. Let f = -12 - -7. Is r(f) a prime number?
True
Suppose -3*g = r - 7*g - 95, -2*g = -5*r + 403. Is r a prime number?
True
Is (0 - 1)/((-12)/9564) prime?
True
Let j(l) = l**3 - 4*l**2 - 5*l - 3. Let m(q) = -q**3 + 10*q**2 - 11. Let y be m(10). Let d be (-16)/(-88) + (-75)/y. Is j(d) a composite number?
False
Let k = -294 - -641. Is k composite?
False
Suppose 0 = 2*a - 3 - 1. Is -1*2/a + 14 a prime number?
True
Let c be 0/1 - (0 + 2). Is (-292)/c - (1 + 2) a composite number?
True
Suppose 0*x = -2*j - x + 16, 4*j - 3*x = 12. Suppose k + j*k = 2863. Is k a composite number?
False
Let r = 5 - 1. Let q = r + -1. Is ((-21)/(-2) - q)*2 a composite number?
True
Let t = 671 - 436. Suppose -t = -k - b, 0*k = -2*k - 5*b + 458. Is k a prime number?
True
Let b = -260 - -51. Is b/(-6) + (-1)/(-6) a composite number?
True
Suppose -667 = -8*z + 3*z - 3*y, 5*z + 4*y - 666 = 0. Is z a composite number?
True
Let k be 2/((1 - 3) + 0). Is (0 - -1 - 128)*k prime?
True
Suppose -4*h + 0*u = u - 3904, 4*u = -4*h + 3892. Is h a composite number?
False
Let o(b) = 59*b**2 - b. Suppose 0 = -5*j - 3 + 8. Let h be o(j). Is h/3 - 1/3 a composite number?
False
Suppose -3*s + 27 = -3*p - 0*p, -5*p + 20 = 0. Is s a prime number?
True
Suppose 0 = -4*w + 164 - 28. Is w a composite number?
True
Let u = 9 - 7. Let d(v) = 11*v**3 + 3*v**2 - 2*v + 1. Is d(u) prime?
True
Let i be 2/(-1) - -130 - -2. Suppose -674 - i = -4*q. Suppose -g = 2*g - q. Is g a prime number?
True
Suppose -3*l - 5 = 2*a, 3*l - a + 12 = 1. Let h(b) = -b**3 - 2*b**2 + 3*b + 2. Let o be h(l). Suppose 0 = -k + o + 17. Is k a prime number?
True
Let l(h) = h + 3. Let d be l(0). Let a be 11/3 - (-1)/d. Suppose -g - 66 = -a*g. Is g composite?
True
Let s(k) = -k**2 + 12*k - 5. Let r be s(10). Let x be (-3)/(-5) + 2856/r. Let y = 280 - x. Is y prime?
True
Let i(b) = -4*b**2 + 7 + 0*b**2 + 2*b + 7*b + 5*b**2. Is i(-9) composite?
False
Suppose -4*v + 0 = 2*y + 6, -5*y - 5*v - 10 = 0. Is (866 - y) + -4 + 2 a composite number?
True
Let p = 1052 - 175. Is p composite?
False
Let j(a) = -a**3 + a**2 + a + 11. Suppose 4*z = 5*g + 20, -2*g - 11 = -3. Is j(z) composite?
False
Let l(u) = 2*u**2 - 15*u + 22. Is l(9) composite?
True
Let c(g) = -26*g - 107 + 28*g + 1067 - g**3 + g**2 + 11. Is c(0) a prime number?
True
Let z(r) = 3*r + 1 + 1 + r**2 - r. Let q be z(-3). Suppose -q*x + 563 = -0*x - 2*c, 3*x - 336 = 3*c. Is x a prime number?
True
Suppose 216 + 754 = 5*h. Suppose -t + h = 7. Is 3/(3/t) - 0 a prime number?
False
Suppose -5*l + 3*l + 1133 = -3*m, 4*m + 569 = l. Is l prime?
False
Let x(b) = -44*b + 7. Is x(-8) a composite number?
False
Let j = 150 - 97. Is j prime?
True
Let i(q) be the second derivative of q**6/60 - q**5/60 + q**4/12 + q**3/3 - q**2 + 2*q. Let a(d) be the first derivative of i(d). Is a(3) prime?
True
Let p = -73 + 76. Suppose -2*k + 15 = -k. Suppose -6*o + p*o = k, -47 = -i - 4*o. Is i a prime number?
True
Let i = -1113 - -2228. Is i a prime number?
False
Let r = -302 - -175. Let s = r - -178. Is s composite?
True
Let s(r) = r - 5. Let m be s(5). Suppose m = -i + 10 + 4. Is i prime?
False
Suppose -3*c + 7 - 1 = 0. Suppose c*x + y - 35 = -2, x = y + 21. Suppose -5*t - x + 193 = 0. Is t prime?
False
Suppose 0 = 2*b + 3*b - 4775. Suppose 6*j - j - b = 0. Is j composite?
False
Let p(i) = -30*i + 14. Is p(-18) a composite number?
True
Suppose -h - 2*r = -123 - 190, -4*h + 2*r = -1222. Is h prime?
True
Suppose -2*y + 2*v + 195 = -65, -4*v + 115 = y. Is y a composite number?
False
Suppose -2*b = -5*y + 697, 0 = -0*y + 3*y + 3*b - 414. Is y a composite number?
False
Suppose 3*l + 21 = 4*l. Let q = 32 + l. Is q a composite number?
False
Let j(v) = -12*v**3 + 4*v**2 + 8*v - 17. Is j(-5) a prime number?
True
Is ((-10)/(-4))/5 + (-64315)/(-38) a composite number?
False
Let j(y) be the second derivative of y**4/8 - y**3/2 + y**2 + 2*y. Let i(k) be the first derivative of j(k). Is i(6) composite?
True
Let i(s) = s**2 - 6*s + 3. Let g be i(-6). Suppose 0 = -5*r + 5*v - 8*v + 96, 4*v + g = 3*r. Suppose -53 - r = -2*w. Is w a prime number?
True
Let l = 4 + 0. Suppose 5*f + l*z - 1160 = 0, 2*f - 5*z - 54 = 410. Is f/3 - 4/12 a prime number?
False
Suppose 0*u - 4*u + 16 = 0. Suppose u*l - 3*l = 5*x - 13, -2*l = -4*x + 14. Suppose 4*y - g - 559 + 83 = 0, 0 = x*y - 4*g - 238. Is y a prime number?
False
Suppose -3*n + 504 = -753. Is n prime?
True
Suppose -3*w + 0 = -u + 5, 0 = 3*w + u + 7. Is w + 2 + -1 + 54 a composite number?
False
Suppose -2*b + 5*x + 3008 = 0, -2*b - 635 + 3631 = x. Is b composite?
False
Suppose -318 = 3*v - 795. Is v a prime number?
False
Suppose 3*w - w - 20 = -d, 48 = 5*w + 3*d. Let q = 4 - 2. Is w + -2 + q + 2 composite?
True
Suppose -3*b = -276 + 27. Let z be 4/10*(3 + 442). Let f = z - b. Is f composite?
True
Let t(d) = -16*d**3 + 1. Let y be t(-1). Suppose -y + 261 = 2*k. Is k composite?
True
Suppose -12 = 3*o - 6. Let a(x) = -8*x**3 - 3*x**2 - 2*x + 2. Is a(o) prime?
False
Suppose -5*k = -4 - 16. Suppose k*p = 5*p. Suppose -u + 2*u - 55 = p. Is u composite?
True
Suppose 3*t = -s - 10 - 5, -7 = t + s. Let v = t - -2. Is v - (2 - 3 - 38) a prime number?
True
Is -16 - -16 - (-1 + -30) composite?
False
Suppose -5*h = -0*h - 30. Is (-176)/(-12)*h - -3 a composite number?
True
Suppose -348 = 2*h + 186. Let x = h - -394. Is x composite?
False
Suppose -4*o + 1373 + 943 = 0. Is o a composite number?
True
Suppose -5*y + 5*z = -y - 268, 5*z = -3*y + 166. Is y a prime number?
False
Suppose -3*h + 4*k + 16 = h, 3*h - k = 8. Suppose 0 = h*a - 54 + 4. Is a composite?
True
Let b(n) = -88*n - 11. Is b(-9) prime?
False
Suppose -1880 = -3*t + 9655. Is t a composite number?
True
Let j be 1*962 - 0/2. Suppose 4*u + 310 = j. Is u prime?
True
Let o be (-54 - 1) + 2 - -1. Let d be 433/3 + 4/6. Let p = d + o. Is p a prime number?
False
Let d(w) = -31*w - 3. Let t(a) = -a - 5. Let n be t(-3). Is d(n) a prime number?
True
Let q = 0 + 38. Let t = 219 + q. Is t a prime number?
True
Let o = -3 - -4. Is (66/6)/(o/19) a prime number?
False
Let y(r) = 4*r**3 + r**2 + 3*r - 4*r + 0 + 1 - 3*r. Is y(3) a composite number?
True
Let m = -9 + 9. Suppose -3*i - u + 98 = 25, -4*i - 5*u + 112 = m. Is i a prime number?
True
Suppose -3*y + 6 = 0, y - 1927 = -4*x + 167. Suppose -r + h = -109, -x = -5*r - 4*h + 40. Is r a prime number?
False
Is (-3)/((-3)/(-2)) - -303 prime?
False
Let l(a) = -77*a - 3. Let p be l(-2). Suppose -4*i = -16, 4*i + 64 = -0*d - d. Let w = d + p. Is w composite?
False
Let k = -134 + 371. Is k prime?
False
Suppose 0 = 4*f - x - 0*x - 31151, 7784 = f - x. Is f prime?
True
Is 1/(2/(-268)*-2) composite?
False
Suppose -5*j = 5*y - 1000, -2*y + 4*j - 209 = -3*y. Suppose 3*l - y = 166. Let s = l - 44. Is s composite?
True
Suppose 