 = c**3 - 3*c**2 - 4*c - 3. Let k be t(4). Let h be x(k). Let v = 246 + h. Is v a prime number?
True
Let q = -2170 - -3290. Suppose 4*z - 4452 = -y + 3*y, z = -3*y + q. Is z + 7 + 4/(-2) a composite number?
True
Let h be ((-4)/(-12))/(1/12). Suppose m + 4669 = 2*n - h*m, 6997 = 3*n - m. Suppose -3*a + n = a. Is a prime?
False
Suppose 0 = -2*z + 2*o - 66, 5*z + 69 = 3*z + 3*o. Is (97/10 - (-6)/z)*22 a prime number?
False
Let g(j) = 3*j + 8. Let u(l) = -l - 1. Let d(t) = -g(t) + 2*u(t). Let i be d(9). Let m = -18 - i. Is m composite?
False
Let y = 22047 - 11876. Suppose -y = -3*u + i, u = -2*i + 281 + 3100. Is u a composite number?
False
Suppose -u = 3*g + 13, -18 = 4*u - 3*u + 4*g. Suppose 2 = v + u*s, -7*s + 2*s = 0. Suppose -6*w = -v*w - 3596. Is w a prime number?
False
Let c(m) = 160*m**3 - 21*m**2 + 86*m + 23. Is c(20) prime?
True
Suppose 10 = 2*a, 16*w + 63202 = 17*w + a. Is w a composite number?
False
Let f be 2384/(-6)*(7 - (-296)/(-32)). Suppose 9*c = 3*c + f. Is c composite?
False
Suppose -4*g + 14*k + 876728 = 11*k, 5*k = -4*g + 876696. Is g composite?
True
Is 13927353/(-165)*(-10 + 5) a composite number?
False
Suppose -124167 + 390755 = 15*m - 11*m. Is m a prime number?
False
Suppose 212*y - 19147 = -3*d + 207*y, 0 = 5*d + 5*y - 31925. Is d a composite number?
False
Let l(q) = -9*q - 230. Let u be l(-26). Suppose 5*y - 10900 = -5*k, 0 = u*y + 5*k - 8*k - 8713. Is y prime?
True
Let s(g) be the first derivative of -101*g**2 - 7*g - 23. Let c(u) = -u. Let z(p) = -3*c(p) + s(p). Is z(-2) prime?
False
Let w = 26533 - -3424. Is w prime?
False
Let z = -8 + 5. Suppose -28 = 11*c - 50. Is (-56 - 3)*(c + z)*1 a composite number?
False
Let t(u) = 101582*u**2 + 28*u - 38. Is t(2) composite?
True
Suppose 0 = -5*m - 5*n + 3 + 27, 0 = 2*m + 4*n - 18. Suppose -m*p + 3 = 7*v - 2*v, -2*p = 5*v - 2. Suppose 16 = 8*f - v. Is f a composite number?
False
Is 1*(20772/8)/(-9)*-82 prime?
False
Is (5 - -156471 - 3 - 2) + (2 - 6) a prime number?
True
Let q(z) = 7*z + 45. Let u be q(-6). Suppose 0 = h + 2, u*v - 4*h = h + 6553. Is v composite?
True
Let z(s) = -60*s**3 + 2*s**2 + 5*s + 1. Suppose -10*i = -6*i + 144. Let t = 34 + i. Is z(t) prime?
True
Suppose 3*s - 190594 = -5*i + 9*i, i = 5. Is s a composite number?
True
Let g(n) = -n**2 + 6*n + 15. Let u be g(-6). Let t = 59 + u. Suppose -5*i + 506 = 3*r + 165, 130 = 2*i - t*r. Is i prime?
True
Let t(b) = -24 - 17 - 325*b + 13. Is t(-9) composite?
False
Let p(o) = -7*o**3 - 15*o**2 + 14*o - 144. Let y(m) = -3*m**3 - 7*m**2 + 7*m - 71. Let t(z) = 4*p(z) - 9*y(z). Is t(-16) a prime number?
True
Suppose 2*u + 8*j + 39 = 3*j, -5*j = -3*u - 46. Let c(i) = -1565*i + 300. Is c(u) a composite number?
True
Let w(i) = 84*i - 22. Let c be 1/(-6)*-6 - 4/(-1). Let z be w(c). Suppose 4*u - z = 2*u. Is u prime?
True
Suppose 0*x = x - 4*j + 39, 0 = 5*j. Let n = x - -40. Let w(b) = 665*b - 3. Is w(n) a prime number?
False
Let b(g) = g**3 + 4*g**2 + 4*g + 3. Let x(q) = q - 6. Let d be x(4). Let v be b(d). Suppose 26 - 44 = -v*u. Is u composite?
True
Let a be (-54)/(-189) + (12/7 - -2). Suppose -a*q - 3079 = -r, 3*r - 7885 = 2*q + 1352. Is r a composite number?
False
Let i = 50 + -47. Suppose -618 = -i*k - 3*k. Let m = k + 136. Is m a composite number?
False
Let y(h) = -14359*h - 1660. Is y(-3) composite?
True
Let g = 134605 + -78632. Is g composite?
True
Let x(c) = -c**2 - 233 + 116 - 8*c + 108 - 740*c**3. Is x(-2) composite?
False
Suppose 0 = 5*z + 2387 + 2408. Let v = z - -376. Let c = -332 - v. Is c composite?
False
Let k = 140122 - 52711. Is k prime?
False
Suppose 0 = 214*g - 186*g - 2503564. Is g a composite number?
False
Let f(z) = z**3 - 15*z**2 + 2*z + 4. Let k be f(15). Suppose -39*v + 425 = -k*v. Is v a composite number?
True
Let h be -33*(((-10)/3 - -3) + 0). Let p be 2/(-11) + (-3 - (-24)/h). Is 1101/(-6*p*(-3)/(-12)) a prime number?
False
Let u(f) be the first derivative of f**2/2 + 24*f - 2. Let x be u(-11). Is (923/x)/((-2)/(-22)) a composite number?
True
Let i(f) = 97*f**2 + 98*f - 25. Is i(-28) a prime number?
False
Suppose i - 4*w = 3*i + 4, -4 = w. Is 5045 + -11 + 5 + i prime?
False
Suppose 18167978 = 21*y + 49*y - 12*y. Is y composite?
False
Let p = 10025 + -1480. Is p composite?
True
Let o(k) be the second derivative of k**5/20 + 3*k**4/4 - k**3 + 45*k**2/2 - 2*k - 83. Is o(7) composite?
False
Suppose 2*k + 84 = 6*k. Let y be (-1 - (-6)/10) + k/(-35). Is y/(-1)*1/(-1)*-1693 composite?
False
Suppose 31*s = 453829 + 10458. Is s a composite number?
True
Let l(s) be the third derivative of s**5/30 - s**4/3 + 13*s**3/6 - 5*s**2. Let v(u) = u**3 - 22*u**2 - 24*u + 13. Let g be v(23). Is l(g) composite?
False
Suppose -5*q + 105 = -5*a, 4*q + 16 = 5*q - 2*a. Let n be (q/4)/(14/1036). Suppose -3*z + 980 + n = 0. Is z prime?
True
Let v = 1 + -1. Let z(o) = -o**3 + 4*o**2 + 4*o + 31. Let j(s) = -s**3 + 5*s**2 + 5*s + 32. Let h(b) = -5*j(b) + 6*z(b). Is h(v) composite?
True
Let l(f) be the third derivative of 15*f**4/8 - f**3/2 + f**2. Let z = 538 - 528. Is l(z) a composite number?
True
Let l be (3 - 3) + -10*(-20)/50. Suppose 26 = 5*s - 14. Is (-2)/s + 1917/l a prime number?
True
Let t be -3240 + 3 + -9 + 2. Let y = t - -6031. Is y a composite number?
True
Let y = -24 + 28. Is (0 - 1)/((-5)/(58281 + y)) a composite number?
False
Let y(v) = 41*v + 6. Suppose -12*c + 13*c - 3 = 0. Let s be y(c). Suppose 3*p - 300 - s = 0. Is p a composite number?
True
Suppose -152*x + 209*x = 9380433. Is x prime?
True
Is 270679*1 + (-1124)/(-281) a prime number?
False
Suppose 2168630 = 5*g + 5*u, 177353 + 1991295 = 5*g - u. Is g composite?
False
Let l = 333 + -326. Let v(m) = 338*m**2 + m - 22. Is v(l) composite?
False
Let r = -4491 - -139169. Is r a composite number?
True
Let d = -1631 + 2659. Let p = d - -381. Is p a prime number?
True
Let a(v) = 1978*v - 11. Is a(4) prime?
True
Let i = -823 - -826. Suppose 4*k = -y + 2955, i*y - 390 = -5*k + 3302. Is k a composite number?
False
Let a(y) = -122*y + 7. Let t(m) = m**3 - 23*m**2 + 24*m - 28. Let w be t(22). Let q = w - 19. Is a(q) prime?
True
Let d be (7/2 - 4)*(-2 + 2). Suppose d = 4*v - 654 - 158. Is v a prime number?
False
Let k(y) = y**2 - 47*y - 41*y - 1 + 143*y. Is k(22) composite?
False
Let r = 117077 + -39764. Is r a composite number?
True
Suppose 14*b + 3*v = 16*b - 135890, -5*b + 3*v = -339743. Is b a composite number?
True
Let q be 12/(-10)*((-20)/(-6))/(-1). Suppose 0 = 3*l - q*l - 3*i + 17, 5*l - 4*i + 10 = 0. Suppose 3*g - 2583 = -3*r, 4317 = -g + 6*g + l*r. Is g prime?
False
Is 13/(520/406650) + (-6)/(-8) a prime number?
False
Suppose 0 = f - 1 - 1. Suppose s + 4*u = 3*s, 3*s = u + 10. Suppose -z - f*z = -n - 2266, -3024 = -4*z + s*n. Is z a prime number?
False
Let r(s) = -4*s**2 - 29*s + 1. Let g be r(-7). Suppose g*c + 2*c = 40450. Is c a prime number?
False
Suppose -155362 = 215*u - 217*u. Is u a prime number?
True
Let p(i) = -22194*i + 5. Is p(-1) composite?
True
Let l be 4/(2 + -1) - -3. Suppose -l*z + 5*z + 4 = 0. Suppose -z*t + 4111 = 1349. Is t prime?
True
Suppose -4*t = -2*q, 2*t - q - 3*q + 12 = 0. Suppose 0 = -y - 3*c + 19, t*c + 0*c + 24 = y. Suppose 26*r - y*r - 1292 = 0. Is r composite?
True
Let r be (-2)/(0 - 3/(132/(-8))). Is (r/(-11))/(0 + -1) - -588 prime?
True
Let i = 2692390 + -1906977. Is i a prime number?
True
Suppose 6 = 5*f - 9, 3*f = 3*o - 6. Suppose -5 = -2*t + 1, 7 = -4*g + o*t. Suppose g*d - 63 = 5*q + 146, -2*q = -4*d + 394. Is d composite?
False
Suppose -4*q = -5*p - 62475, -22933 - 23928 = -3*q - p. Suppose q + 11590 = 5*z. Suppose 5*h = -h + z. Is h composite?
False
Suppose 5*d - 5*p = -0*p + 10, 0 = -4*d - 3*p + 8. Suppose d*y - 2*b - 4 = -2, y - 5*b + 15 = 0. Let u(k) = k**3 + 9*k**2 - 10*k - 7. Is u(y) a prime number?
True
Suppose -4*y = 20, -y + 6 = 4*v + y. Suppose 0 = 3*r - v*k - 6038, -10*r = -6*r - 4*k - 8044. Is (r/22 - (-12)/(-66)) + -4 composite?
True
Let i = 85 - 83. Let o(j) = 31*j**2 + 17 - 7*j - 5*j**i + 20*j**2. Is o(-8) a composite number?
True
Let a(i) = 6*i**2 - 6*i - 159. Is a(21) a prime number?
False
Suppose -w = 3*t - 98170, 0 = -w - 40*t + 36*t + 98167. Is w composite?
False
Suppose 27*j = -51155 + 2225006. Is j composite?
False
Let g(b) = -b**2 - 12*b - 16. Let x be g(-8). Suppose -3*d - 8 = -5*f, -2*d - 2*f = 