+ 6*s**3 - 3*s**3 - 2*s**2 + m - 2*s**3. Is u(7) prime?
True
Let r = -13473 - -19612. Is r a composite number?
True
Suppose 4*k - 4 = -2*z, 0 = 4*z - 7*k + 3*k - 8. Let s(r) = -3 - 5*r - r**2 - r**2 + r**z. Is s(-3) prime?
True
Let v = 6 + 567. Is v a composite number?
True
Let f(v) = -v**2 - 6*v - 8. Let g be f(-8). Let z = -15 - g. Is z*3 + 2 - -2 prime?
True
Let z(d) = -2*d**3 + 3*d**2 + 5*d - 9. Let s(l) = l**3 - 2*l**2 - 2*l + 4. Let m(h) = -5*s(h) - 2*z(h). Let v be m(3). Let i = v + 15. Is i prime?
False
Suppose 5*u + 80 = 585. Suppose 24 = -c + 78. Let i = u - c. Is i a prime number?
True
Suppose 5*d = -3*q + 474, -5*q = -3*d - 0*d + 264. Is d a composite number?
True
Let n = 414 - 151. Is n a prime number?
True
Let j(b) = -202*b - 7. Let r(y) = 4*y + 1. Let m be r(-1). Is j(m) prime?
True
Suppose 69*f - 63*f = 22710. Is f a composite number?
True
Let v(z) = -z**3 - 7*z + 1 + 9 - 3*z**2 - 3. Suppose 0 = -3*q - 15, -12 - 2 = 4*o - 2*q. Is v(o) composite?
False
Let r(h) = h**3 - 10*h**2 - 12*h + 15. Let i be r(11). Suppose b + i*b - 565 = 0. Is b a composite number?
False
Let q be 7*(-11 + 3) + -1. Let l be (-2)/(1/q*-3). Let d = 173 - l. Is d a composite number?
False
Let z(t) = t**3 + 9*t**2 - 8*t + 11. Is z(-9) prime?
True
Let n = -9 + 14. Suppose -n*d + 458 = -287. Is d a prime number?
True
Is (-3)/12 - 4698/(-8) a prime number?
True
Suppose 2*l = 27 + 17. Let w(p) = p**3 - 2*p**2 - 25*p + 2. Let a be w(6). Is a/l + 585/11 a composite number?
False
Let n be (-6 + 4)/((-2)/46). Suppose 0*l + n = l. Is l a prime number?
False
Suppose 2*o = 2*r + 8 - 2, 0 = 3*r - 4*o + 13. Let w be (-17 + (-1 - r))*1. Is w*(-3)/6*2 composite?
False
Suppose 5 - 14 = 3*y. Let c be (-469)/y + (-2)/6. Let r = -73 + c. Is r composite?
False
Let f be -79 - 1/(3/(-6)). Let r be (f/1)/((-1)/2). Suppose 2*l - 36 = r. Is l composite?
True
Suppose -3*i + 4333 = 4*l, i + 0*i - 5*l = 1419. Is i composite?
False
Suppose 2*v - 2*t = 120, 4*t - 2*t + 232 = 4*v. Suppose 0 = -5*k + v + 474. Suppose 0 = -2*f + 4*f - k. Is f prime?
True
Let j(n) = 12*n**2 - 2*n. Let q be j(3). Let t = 121 + -68. Let b = q - t. Is b prime?
False
Suppose 3 = -8*v + 5*v. Is (-5 - v)*(-307)/4 composite?
False
Suppose 3*v + 1802 = -364. Is v/(-1) - (2 - -1) a composite number?
False
Suppose 4*u - b = 262, 3*u - 333 = -2*u + 4*b. Let y = -160 - u. Is y/(-6) + (-1)/2 a prime number?
True
Suppose 4*i + 217 = 3*w, i - 77 = w - 2*w. Suppose -4 = 3*b - 2*c + 4, -c = -b - 4. Suppose w = 5*h - b*h. Is h a composite number?
True
Suppose 2455 = -37*h + 42*h. Is h prime?
True
Let h(p) = p**2 + 6*p + 10. Let j(o) = -o**3 + 7*o**2 - o - 5. Let f be j(7). Is h(f) a composite number?
True
Suppose 9*d = 5*d - 96. Is 3376/d*6/(-4) prime?
True
Let a(h) = 15*h - 11. Let y be 10*((-3)/(-5) - 0). Is a(y) prime?
True
Suppose -2*l = -5*l + 42. Suppose 0 = -5*v + 5 + 5. Suppose v*z = 140 + l. Is z a prime number?
False
Suppose 2*s = 330 - 4. Is s prime?
True
Let j(n) be the first derivative of -n**4/4 - 5*n**3/3 + 3*n**2 - 6*n - 3. Let v(g) = -6*g**2 + 7*g - 7. Let b(o) = -6*j(o) + 5*v(o). Is b(1) a prime number?
False
Let u = -80 + 303. Is u composite?
False
Let i = 316 - 157. Is i prime?
False
Suppose -2*t = -4*u - 226, 4*t + 4*u = u + 452. Let i = -76 + t. Is i composite?
False
Let c = 68 - -9. Is c a prime number?
False
Is 59 + 0/(-3 - -1) prime?
True
Suppose -2*t - t = -48. Let i = -9 + t. Suppose -2*r = -i*r - 3*f + 445, -4*r = 4*f - 356. Is r composite?
False
Suppose -2*l + l = -291. Suppose 330 = 4*c - a, -3*c - 2*a + l = 38. Is c a composite number?
False
Suppose 25*w - 28*w = -5331. Is w a prime number?
True
Let v(l) = 4*l**2 + l + 1. Let i be v(-1). Let d = 9 - i. Suppose -4*f + 65 - d = 0. Is f prime?
False
Let d(u) = 1902*u**2 + 7*u - 8. Is d(1) a composite number?
False
Let o = 62 + -20. Suppose 0 = -4*h + 34 + o. Is h composite?
False
Let g(o) be the third derivative of o**4/24 + 4*o**3/3 + 2*o**2. Is g(7) prime?
False
Suppose 0 = -5*z + 2*f + 23, -4*z + 6 = -6*z - 3*f. Is z a prime number?
True
Suppose 2*n - 3*l - 409 = 0, 0*l + 4*l = n - 207. Let w = 404 - n. Is w composite?
True
Let o(w) = -w**3 + 6*w**2 - 2*w - 5. Let k be o(5). Suppose 0*b - 15 = -3*b. Let v = b + k. Is v a composite number?
True
Is 62363/35 + -5 - 1/(-5) a composite number?
False
Let o = 524 - -878. Suppose 5*x - o = -412. Let m = x - 141. Is m a composite number?
True
Suppose 7*j = -2*j + 17721. Is j composite?
True
Suppose 2*k - 387 = 3*l - 70, 3*k - l - 472 = 0. Is k prime?
True
Suppose 14*b - 4658 = 12*b. Is b a prime number?
False
Let q be (-5)/(30/(-536))*6. Suppose -136 - 579 = -4*u - m, -3*u = m - q. Is u a composite number?
False
Let n = -548 + 1207. Is n a composite number?
False
Let d(c) = -3*c + 6*c - 4*c. Let h be d(-2). Suppose -4*m + 55 + 1 = -s, -47 = -3*m + h*s. Is m a prime number?
True
Let q = -7 - -4. Let o(i) = 79*i + 7. Let t(z) = 79*z + 6. Let r(s) = 4*o(s) - 5*t(s). Is r(q) a composite number?
True
Suppose 3*m - 2*m - 250 = 0. Let p be 4/(-2 - (-1 - 3)). Suppose p*n = -4*t + m, -2*n + n - 5 = 0. Is t prime?
False
Let u(n) = n**3 - 8*n**2 + 8*n + 6. Suppose 2*c + 4*k - 6 - 2 = 0, 3*k = -2*c + 13. Let l = c - 7. Is u(l) a prime number?
True
Let w(a) = 24*a**2 + 2*a - 3. Let s be 0 + (9/3 - -7). Suppose -3*v + 8*v = s. Is w(v) a composite number?
False
Suppose 0 = 4*z - 8. Suppose -3*y + t = -101, z*t - 32 - 11 = -y. Is y prime?
False
Let l(n) = -3*n + 12. Let q(p) = 1. Let y(c) = -l(c) + 2*q(c). Let k be y(8). Is 2/7 - (-3286)/k prime?
False
Suppose 3170 - 8730 = -8*l. Is l composite?
True
Is 6/21 - 4740/(-21) prime?
False
Suppose 4*i = -5*q + 4554, -2555 = -3*i - q + 866. Is i a composite number?
True
Let u(j) = -j**3 - 2*j**2 - 6*j - 1. Let t be u(-5). Let z = t - 67. Is z a prime number?
True
Let t(n) = -n + 3. Suppose 0 = 3*j - 2*u + 22, -4*j + 2*j = 3*u - 7. Let r be t(j). Let s = r + -4. Is s a composite number?
False
Let b = 38 - 16. Is b prime?
False
Suppose 0 = 4*z - 2*m + 6, 2*m + 2 = z - 1. Is (5/z)/((-6)/414) prime?
False
Is -311*(-1 - 2)/3 composite?
False
Let k(a) = 378*a**2 + 1. Is k(1) composite?
False
Let i(j) = 61*j**2 + 4*j + 16. Is i(-7) prime?
False
Let q(g) = 238*g**2 - g - 16. Is q(-3) a composite number?
False
Suppose y - 2 = 2. Let w = -7 + y. Is 2*((-27)/6)/w prime?
True
Let v(s) = s**2 - 2. Let w be v(2). Suppose w*a - 2*q - 68 = 0, 0 = -5*a + 2*q + 101 + 78. Suppose m = 2*m - a. Is m composite?
False
Suppose 6 = 2*r - 5*r, 4 = -d - 3*r. Let s be d/4*(1 - 5). Is s/8 - (-298)/8 a prime number?
True
Let o(x) = x**3 + 29*x**2 - 20*x + 1. Is o(-22) a composite number?
True
Let s(k) = -k**3 - 26*k**2 + 17*k + 33. Is s(-29) a prime number?
True
Let u be 2 + 1*-3 + 167. Let h = u + -99. Suppose 0 = 3*z - 3, 2*z = 5*c - z - h. Is c prime?
False
Suppose 2*c + 0*c - 508 = 0. Is c a prime number?
False
Suppose -2*p - 16 = -6*p. Suppose -s + 10 = -3*o, o + 4 + 14 = p*s. Suppose 2*i + 391 = f + s*f, -3*f = -i - 235. Is f prime?
True
Let t(p) = p**3 + 7*p**2 + 4*p + 3. Suppose -3*r = -2*n - n + 24, -n = r. Is t(r) prime?
False
Let d(c) = c - 9. Let y be d(11). Suppose -y*w + 43 = -w. Is w a prime number?
True
Suppose -265 = -6*q + q. Is q a prime number?
True
Suppose 2*b - 4 = 0, 5*i + 3*b - 7*b = -8. Suppose l + i*l - 35 = 0. Let t = -12 + l. Is t a prime number?
True
Suppose -25*s = -22*s - 4251. Is s composite?
True
Let y(g) = 2*g**3 + 2*g - 2. Let b be y(-3). Let i = -141 - b. Is 0 - -1 - (i - -1) a composite number?
False
Let q(s) be the first derivative of -s**4/4 + 10*s**3/3 + 5*s**2 - 12*s + 4. Is q(9) a composite number?
True
Suppose -2*u + 0*u = -2*o - 854, -3*u = -o - 1281. Is u a prime number?
False
Let z be 2/9 - (-16)/9. Suppose -20 = -5*k - m, 8*k - 25 = 3*k - z*m. Suppose -t = 3*s - 15 - 65, 5*t = -k*s + 388. Is t prime?
False
Let g(t) = 9*t**2 + 9*t - 7. Is g(7) composite?
True
Let g(v) be the first derivative of v**4/4 + 10*v**3/3 + 2*v**2 - 5*v + 1. Is g(-8) prime?
False
Let z be 38/4 - 2/(-4). Suppose 4*x - z - 50 = -4*s, -s + x = -23. Is s a composite number?
False
Let z(l) = -3*l**3 + 2*l**2 + 4*l + 2. Let m = -3 + 0. Is z(m) a composite number?
False
Let q(c) = c**3 - 4*c**2 - 8*c + 6. Let l be q(6). Let o be l/(-4)*(-12)/15. Suppose 55 = 3*x - 5*f, 2*f + 22 = 2*x + o*