 = h, 3*u + h + 58 = -0*u. Let x be m(u). Is 787/(-4)*(3 - x) a composite number?
False
Let w(x) = 13*x**2 + 55*x + 151. Is w(-55) prime?
True
Suppose 3*u - 2*m = -203, -2*u + 3*m = 85 + 47. Let y be 12*(-1 - u/12). Suppose -3*k + 3*g = -y, 2*k + g + 34 = 4*k. Is k prime?
False
Let j(n) = -8*n**3 - 6*n**2 - 35*n - 13. Is j(-12) prime?
True
Let f = -1855 - -5366. Is f composite?
False
Let t(q) = q**3 + 8*q**2 - 8*q - 11. Let z be t(-9). Is (629 + (-5)/(z/8))/1 a composite number?
False
Let t(x) = -11*x**2 + 2. Let b be t(-2). Is ((-579)/(-4))/(b/(-112)) a composite number?
True
Suppose -828 = -4*y + 772. Let b = y + -279. Is b a composite number?
True
Let o(l) = -57*l + 38141. Is o(0) prime?
False
Suppose -10417 = -t - 4*s, -4*s + 36672 - 5461 = 3*t. Is t prime?
False
Let m(h) = 89*h**2 + 38*h + 408. Is m(-29) a prime number?
False
Suppose -4*w = -2*k + 3534, -3*w - 3526 = -2*k - w. Is k a composite number?
False
Suppose 2035 = -22*y + 23*y - 3*p, 0 = 2*y + 3*p - 4106. Is y prime?
False
Let a = -2352 - -10345. Is a a composite number?
False
Let c(h) = -11494*h - 61. Is c(-6) composite?
False
Let z be 2/(-5) - (-10)/(150/81). Let f(h) = 11*h**2 + 10*h - 10. Let q(v) = v - 1. Let u(w) = f(w) - 6*q(w). Is u(z) prime?
False
Let s(l) be the third derivative of -49*l**4/8 - 16*l**3/3 - 16*l**2. Is s(-3) a composite number?
False
Suppose -z - 2*z + k = -32630, -2*z + 4*k + 21760 = 0. Suppose 49*q - 45*q = z. Is q a composite number?
False
Let a = -23461 + 54768. Is a composite?
False
Is 734/(2*7/413) prime?
False
Suppose 35664 = 8*l - 23248. Suppose -8*p + l = -1524. Is p composite?
True
Suppose 5*s + 5*w - 18 = -3, 0 = -2*s - 5*w. Let f(x) = 63*x**2 + 4*x + 34. Let l be f(-8). Suppose -l + 279 = -s*q. Is q a composite number?
False
Let l(j) = -2*j - 4. Let w be l(-3). Suppose w*b - 6 = -0*b. Suppose 0*o + b*o - 339 = 0. Is o a prime number?
True
Let g(c) = c**3 - 2*c**2 + c + 1. Let v be g(2). Suppose -v*u = 3*u. Suppose 4*p - 2012 = -u*p. Is p a prime number?
True
Suppose -2*c = -3*u + 1426, 3*u + 4*c - 3 = 1447. Is u prime?
False
Suppose 3*a = -12503 + 88286. Is a composite?
False
Let v = -87 + 93. Is (604608/20)/6 - v/(-10) composite?
False
Suppose 0 = -7*x + 4*x + 2055. Let a be -1 - ((-2486)/8)/((-2)/(-8)). Let g = a - x. Is g prime?
True
Let g(v) = -14*v - 15 + 29 + 25. Is g(-19) prime?
False
Let f(c) = -c - 1130. Let u = 8 - 8. Let y be f(u). Let i = y + 1765. Is i a prime number?
False
Let u = -1118 - -1733. Let z = u + -110. Is z composite?
True
Suppose -3*v = 5*a - 2*a, 3*a + v = 0. Suppose -4*i - t + 11 = 0, a*t = 5*i + t - 15. Is i*447/36*3 a prime number?
True
Suppose -5*s = -3 + 43. Let v be (s/2)/2 - -6. Is (-4149)/(-12) + 1/v composite?
True
Suppose -2*q + 3029 = -2685. Suppose 2*f + q = 5*m, 2*f + 179 = m - 394. Is m a composite number?
False
Let g = -54 - -66. Suppose 0 = -3*x - g, 5*a - 2*x - 3391 = -3*x. Is a a composite number?
True
Suppose 0 = -24*k + 23*k + 3. Suppose -k*c - c = 0. Suppose -2*j - 60 + 226 = c. Is j a composite number?
False
Suppose 19 + 17 = 4*a. Let r = a + -14. Let m(n) = -3*n + 7. Is m(r) a composite number?
True
Let y = 2 + 235. Let v = 1767 + y. Suppose 0 = -6*z + v + 690. Is z prime?
True
Let h(t) = -35*t**2 + 3*t + 4. Let k(f) = -3*f**3 - f. Let z be k(-1). Let w be h(z). Is (w/40)/((-2)/5) a prime number?
False
Suppose 8*t - b - 208 = 7*t, -4*b = -5*t + 1041. Is t prime?
False
Suppose 7404 = 176*s - 173*s. Let w = s - -1975. Is w prime?
False
Let l = 4728 + 7382. Suppose -5*m + l = 3*t - 8*t, -5*m + 4*t + 12111 = 0. Is m prime?
True
Let n(f) = 111*f + 20. Let q be n(-8). Let c = q + 1454. Is c prime?
False
Let v(y) be the first derivative of y**3 - 2*y**2 + 4*y + 9. Is v(5) a composite number?
False
Let p(o) = -24*o - 3. Let j be p(4). Let v = j + 286. Is v composite?
True
Let x(s) = 116*s + 7. Let i be -3*3/(27/(-48)). Let t be (-12)/(-10)*(i + -11). Is x(t) prime?
False
Suppose 0*n = -4*n + 2*o + 161452, -5*o = n - 40341. Is n composite?
False
Suppose 4*r = -m + 22679, -r - 4*r + 28380 = -5*m. Is r composite?
True
Let v(u) = 3*u**3 + 20*u**2 + 20*u - 12. Let p(d) = -4 + 0 + 152*d**2 - 145*d**2 + 7*d + d**3. Let c(f) = 8*p(f) - 3*v(f). Is c(-5) a composite number?
True
Let q(i) = -2*i**2 + i - 3. Let c be q(2). Let m(s) be the first derivative of -7*s**2/2 - 10*s - 1. Is m(c) prime?
True
Suppose -21*h - 188178 = -27*h. Is h prime?
False
Let s(v) = 11*v**3 - 3*v + 1. Let y be 1/1 - -5 - 4. Is s(y) prime?
True
Let u(y) = y + 5. Let p be u(-4). Let k(n) = 238*n**2 + 4*n - 3. Is k(p) a prime number?
True
Let z = -16171 - -24966. Is z prime?
False
Let i be 60*(-2 + (-20)/(-8)). Suppose -4*f + 2*b + i = 0, 2*f - b = -2*f + 27. Suppose 0 = -f*l + l + 65. Is l a composite number?
False
Is 8/(-10) - (-8)/(600/4404585) composite?
False
Suppose -2*a - g - 2683 = 0, -2*g + 5*g = -3. Is a/(-17) - 16/(-136) prime?
True
Let l(d) = -169*d + 145. Is l(-4) prime?
True
Suppose 2 = -5*m - z - 2, 4*z = -3*m - 16. Let n(y) = y - 2. Let g be n(m). Is 512/36 + g/9 composite?
True
Suppose -11*k = -6*k + 740. Let j = 301 - k. Is j composite?
False
Let u be 9/(-36) + 114/8. Let o = 18 - u. Is 2/((-3090)/(-771) - o) a prime number?
True
Let g(j) be the third derivative of j**5/6 + 11*j**4/24 + 4*j**3/3 - 12*j**2. Let w(c) be the first derivative of g(c). Is w(9) composite?
False
Suppose 601071 - 55158 = 27*g. Is g a composite number?
False
Let x(z) = 41*z**2 + 142*z - 5. Is x(10) prime?
False
Let r(l) = -l**3 + 3. Let p be r(-3). Suppose -4*m = 2*m - p. Suppose 3*d + j - 81 = 0, -m*d = 4*j - 3*j - 133. Is d prime?
False
Let m(k) = 13*k**2 + 3*k + 3. Suppose 0*h + 15 = h + 3*u, 3*h - u = 35. Let z = h + -16. Is m(z) composite?
False
Suppose 0 = 4*b + 405 + 1487. Let v = -92 - b. Is v a prime number?
False
Suppose s = -k, k + 3*k - 5*s = 45. Suppose 8780 = k*d + 2485. Is d composite?
False
Let w(y) = y**3 + 4*y**2 + 2*y - 1. Let s be w(-2). Suppose -a = -s*a + 552. Suppose 5*i - a - 359 = 0. Is i a composite number?
False
Let k(n) = n - 1. Let l(z) = 7*z - 5*z + 4*z - 11. Let f(g) = -3*k(g) - l(g). Is f(-8) composite?
True
Let x be (6/8)/(6/24). Suppose -3*i - 4*w + 4532 = -x*w, -w = 5*i - 7554. Is i prime?
True
Let v(q) = q**2 + q. Let b be ((-3)/(-6))/(2/(-8)). Let h be v(b). Is 10*-122*h/(-8) composite?
True
Suppose -2*f + 2 + 2 = 0. Suppose -20 = f*z - 7*z. Suppose z*u - 395 = -u. Is u a composite number?
False
Let l(q) = -7*q**2 - q + 3. Let m(x) = -x**2 - x. Let i(j) = -l(j) + 6*m(j). Let c = -24 + 32. Is i(c) a composite number?
True
Let p(r) = -r**3 - 19*r**2 - 17*r + 23. Let w be p(-18). Suppose 3*u - 4*u + 941 = -w*a, -5*u = a - 4757. Is u prime?
False
Let c = 1012 - 406. Let r = c - 287. Is r composite?
True
Let a(p) = 13*p**2 + 44*p + 439. Is a(-26) prime?
False
Let v(r) = -r**3 + 4*r**2 - 5*r - 2. Let p be v(-6). Suppose -556 = -4*s + b, -3*s + 5*b + 12 = -p. Is 66/4*s/30 composite?
True
Suppose 0 = 3*i + y + 2 - 4, 3*i - 6 = 3*y. Is -5*106*i/(-10) a composite number?
False
Let g be ((-100)/(-8))/5*2. Suppose -4*d - g*r = -25, -r + 3 = -5*d - 2. Is 1796*((-2)/(-8) + d) a composite number?
False
Suppose z = 3*d + 3*z + 3580, -5*z = 5*d + 5970. Is 0 - d - (-6 + 7)*-3 a prime number?
False
Let u(b) = 13*b**3 + 2*b**2 - b - 1. Suppose 0 = -5*i + 5*x - 6*x + 9, -x + 7 = 4*i. Is u(i) composite?
False
Let m be 4/14 + 46/(-161). Let v(l) = -3*l**2 + 4*l - 3*l + 97 + 2*l**2. Is v(m) composite?
False
Suppose -5*x = -2*u + 1863, -2*x + 2116 + 1550 = 4*u. Is u prime?
True
Let r be ((-72)/(-3))/(-8) + (0 - -3). Suppose r = -21*g + 25*g - 1316. Is g prime?
False
Suppose 9 = -5*n - 6. Let z be 8/(-12)*-15 + n. Is 5/((-5)/z)*-43 prime?
False
Let m(l) = 2*l - 8. Let b(r) = 3*r - 16. Let d(o) = 3*b(o) - 5*m(o). Let n be d(-8). Is n/(-2) + 61 + -2 prime?
True
Let n(k) = 18*k**2 + 145*k - 86. Is n(-29) a prime number?
True
Let p = -1473 - -3302. Is p a composite number?
True
Let q(m) = 2*m**2 - 4*m + 7. Let r be (-12 - (2 - 6))/2. Is q(r) composite?
True
Suppose 7*b + 16*b = 4117. Is b prime?
True
Suppose -662 = -42*p + 40*p. Is p a composite number?
False
Let x = -13 - -14. Is 192 - (-1 + 1 + x) composite?
False
Let l(d) = -2011*d - 133. Is l(-8) composite?
True
Suppose 22*c - 17284 = -5470. Is c a prime number?
False
Suppose 3*n - 