 Let m be n(-12). Is (m/(-8))/((-2)/(-508)) prime?
True
Let f(k) = -15*k. Let d be f(1). Let h = 9 + d. Let t(o) = -56*o - 5. Is t(h) prime?
True
Suppose -2*h + 20943 = 5*l, -7*l = -6*l + 2*h - 4195. Is l composite?
True
Suppose 5*b - 4*b - 12699 = -2*z, 76139 = 6*b + z. Is b composite?
False
Let z(t) = -t**2 - 13*t - 9. Let g be z(-12). Let a(x) = -x**3 - 4*x**2 - 2*x. Let w be a(-5). Suppose -g*q = 2*q - w. Is q a composite number?
False
Let z = 42 - 30. Suppose -z*c + 8*c = -3748. Is c composite?
False
Let j = -12 - -1. Let x(r) = r**2 + 16*r + 8. Let c be x(j). Let a = 27 - c. Is a a prime number?
False
Suppose 0 = 4*x - 2*x - 450. Let q = x - 23. Let l = q + -105. Is l a composite number?
False
Let z(x) = 41*x**2 - 16*x - 16. Is z(-9) prime?
True
Suppose 17 = -v + 4*q, 2*v + q + q = 16. Suppose 0 = -5*r + 3*i + 12, i + 4 = 4*r. Suppose 435 = v*t - r*t. Is t a prime number?
False
Let k = -72 - -76. Is (123/k - -4)*20 a composite number?
True
Is 4/6 - ((-462264)/18)/4 a composite number?
False
Suppose -5*t - 39 = 101. Let p = t + 75. Is p composite?
False
Suppose -12 = -3*k - 3. Suppose 2*y + k = -3, -4*y = g + 25. Let z(o) = o + 26. Is z(g) prime?
True
Let m be (14 + -7)*20/14. Let w(z) be the third derivative of z**6/120 - 3*z**5/20 - 5*z**4/24 - 11*z**3/6 - 4*z**2. Is w(m) a prime number?
False
Suppose q - 1 = i + 3, -q = 3*i - 8. Is -1 - (-4 + -483 - (i + 0)) a composite number?
False
Let o(x) = x + 10. Let k be o(5). Suppose -q = 2*q - k. Suppose 413 = q*c - 332. Is c a composite number?
False
Let z(l) be the third derivative of 10*l**4/3 - 7*l**3/6 - 4*l**2. Let h be z(-7). Let w = -334 - h. Is w a composite number?
False
Let x be (-6)/(-4) + ((-142580)/(-8) - -1). Is ((-4)/14 - x/(-35))/1 prime?
True
Suppose 2*f = t - 124239, 3*f = 27*t - 24*t - 372702. Is t composite?
True
Let c be 0/((-5)/(10/(-2))). Suppose 0 = -c*t + 2*t - 970. Is t a prime number?
False
Suppose 0 = 4*m + 16, 4*n + 4*m - 5 - 55 = 0. Let g = 21 - n. Suppose -g*w = -467 - 707. Is w a composite number?
False
Suppose 26*b - 32073 = 23*b. Is b a prime number?
True
Let q(x) = 14*x**3 + 4*x**2 - 4*x + 7. Let l(z) = -29*z**3 - 9*z**2 + 9*z - 14. Let h(a) = -2*l(a) - 5*q(a). Is h(-3) a composite number?
False
Let f(j) = 14*j**2 + 5. Let y be f(-4). Let b = -39 - -45. Suppose -b = g - y. Is g a composite number?
False
Let o = 526 - 131. Is o prime?
False
Is (6/4)/((-39)/(-392002)) composite?
False
Let k be ((-2)/5)/((-5)/(-25)). Let b(y) = 191*y**2 - 4*y - 5. Is b(k) prime?
False
Let q(f) = 5*f**2 + 6*f + 10. Let z(l) = 11*l**2 + 12*l + 21. Let d(n) = -9*q(n) + 4*z(n). Let b be d(-3). Suppose -b*o - 2*o + 175 = 0. Is o prime?
False
Suppose 5*r - 606 = -v, -2*v + 5*r - 13 + 1285 = 0. Suppose -4*x + 2550 + v = 0. Is x a prime number?
False
Suppose -3*k - 13875 = -c - 38235, -2*k + 16227 = -5*c. Is k prime?
False
Suppose -4*p - 2 = -10. Suppose -3*y = -p*y - 789. Is y a composite number?
True
Let m = -16 - -11. Let b(k) = -564*k - 7. Let o be b(m). Suppose 4*n - 5*h - o = 0, -2*n + 687 = -n + 2*h. Is n composite?
True
Suppose 0 = -3*x - 37 + 4. Let h be x/(-44) + 1174/8. Let m = h + 58. Is m a composite number?
True
Let t be (4/(-6))/(((-35)/(-15))/7). Is t/9 - (-112)/(-63) - -73 a prime number?
True
Suppose 2*h = -0*h + 6. Is (1069/3)/((7/h)/7) composite?
False
Let w(s) = 25*s + 11. Suppose -2 = -c + 2. Suppose 24 = c*z - 0*z. Is w(z) a prime number?
False
Let k be 1137/6*-4 + 3. Let a = -448 - k. Is a a composite number?
False
Let l = 21816 - -2905. Is l composite?
True
Let o(k) = -22*k + 21. Let v be o(8). Let s = v - -568. Is s a composite number?
True
Suppose 0 = 2*m - 4, 4*m = 5*c - c + 8. Suppose c = 2*t - 5*x + 38, 2*t + 0*x - 3*x = -30. Is 84 + t/3 + 4 a prime number?
False
Let a(m) = -m**2 - 6*m + 12. Let y be a(-7). Suppose y*p - 377 = -3*d, -d = 4*p + p - 109. Is d composite?
True
Let s be 28/49*(-14)/4. Let l be (-189)/(-15) + s/(-5). Suppose -n + 5*c = -528 - l, -3*c = 4*n - 2072. Is n composite?
False
Let h = -21338 + 42239. Is h composite?
True
Suppose 19*a - 279334 - 183677 = 0. Is a a composite number?
True
Suppose 0 = 9*x - 12*x + 2991. Is x composite?
False
Let u be (-104)/(2 + 1 - 4). Is (-4)/(-26) + 107208/u a prime number?
True
Suppose 2*n - 4*g + 2982 = 0, -g - 2771 = 5*n + 4739. Let s = n + 3392. Is s a prime number?
False
Let a(c) = c**3 - 8*c**2 - 6. Let s be a(8). Let f be s/(-1) - (-9)/(-3). Suppose -3*w - 357 = -f*x + w, w + 348 = 3*x. Is x prime?
False
Suppose 27*m - 4*m = 623438. Is m prime?
False
Suppose -2*j - f = -66, -180 = -4*j - j + 5*f. Let b = 49 + j. Is b a composite number?
False
Let l = -405 + 860. Suppose -4*i = -4*y + y + l, 2*i - 425 = -3*y. Is y a prime number?
False
Let x(f) = -f**3 + f**2 + f - 12. Let p be x(0). Let u be (-141)/(-2)*16/p. Is (-1 + 2)*u*-1 a composite number?
True
Is 12659/(-9)*(-142 - -133) a composite number?
False
Let z(k) = k**2 + 6*k + 2. Let c be z(-6). Let h(s) = 1 - 6 + 3*s + 41*s**c + 17*s**2. Is h(2) composite?
False
Let f(g) be the third derivative of g**6/120 - g**5/60 + 5*g**4/12 + 5*g**3/6 - 4*g**2. Is f(8) a prime number?
False
Let r = 2 + 13. Let u(n) = -n**2 + 21*n - 13. Is u(r) composite?
True
Let t = 18 + -9. Let a = t + -11. Is (-23)/a*2 + -1 composite?
True
Suppose 8*b - 4*x - 179768 = 0, -4*b - 4*x = -7*b + 67423. Is b composite?
False
Suppose -2*f = 5*r - 117537, 98*f - 99*f + 2*r = -58791. Is f a composite number?
True
Suppose -5*c + k = -210214, 0 = -11*k + 7*k + 4. Is c composite?
False
Suppose -3*i + 2*b = -34215, 5*i - 2*b - 17174 = 39851. Is i composite?
True
Let b = -1845 - -2652. Let n = b + -572. Is n prime?
False
Let y = -10 + 15. Let f be y/1*3/3. Suppose f*q - 783 - 507 = -5*m, -q + 4*m = -253. Is q prime?
True
Let x(t) = -t**2 + 19*t - 24. Let y be x(16). Is y/6 + (1117 - 0) composite?
True
Suppose 2*s = 7*s - 10. Let t be -8*(s/(-8) + 0). Suppose t*q = -2*j + 3*q + 21, 5*j - 46 = -4*q. Is j composite?
True
Suppose 28286 = 14*q - 12*q. Is q composite?
False
Let v(s) = 3*s + 2. Let z be v(1). Suppose -3*l - a + 9 = 0, 6 = -l - 5*a - z. Suppose -l*k - k + 155 = 0. Is k a composite number?
False
Let f(n) = 68*n**2 - 2*n - 7. Let t(y) = -y**2 - 5*y - 3. Let a be t(-5). Is f(a) a prime number?
False
Let y(p) = p**3 - p**2 + p + 5. Let j be y(0). Let h = j + -5. Suppose h = l + l - 1166. Is l composite?
True
Is (21/34 + (-2)/17)*6382 a prime number?
True
Suppose 4*s - 2*r - 2*r - 20 = 0, -4*s - 4*r - 4 = 0. Suppose m - 3*u = -627, 3*m - s*u + 927 + 954 = 0. Is m/(-12) + 6/8 composite?
False
Let h = 9353 - -3908. Is h composite?
True
Suppose 9*t + 25*t - 291244 = 0. Is t a prime number?
False
Suppose -86*r + 68382 = -68*r. Is r a composite number?
True
Suppose 0 = 12*c + 31784 - 139748. Is c composite?
True
Let l = 37 - -816. Suppose l = -3*p - 1193. Let j = p - -1093. Is j composite?
True
Suppose 3*v + 0 = 2*q + 14, 3 = v + q. Suppose j = 2*y - 3*j + 10, 2 = -v*y + 2*j. Is -2 - (-117 - 2 - y) a composite number?
True
Suppose 2*v + 5*p + 19 = 3*v, 4*p + 28 = 4*v. Suppose w + 4*w - 2*i = 429, 3*w + v*i = 247. Is w composite?
True
Let s = 40 + -8. Suppose s = 8*p - 4*p. Is (-115)/(-2)*p/10 composite?
True
Suppose -5*g + 4*f + 48064 = -150849, -4*f + 159116 = 4*g. Is g a composite number?
True
Suppose -4*g = -3*k - 6*g + 33439, 3*g + 33459 = 3*k. Is k prime?
True
Suppose 1144904 = 55*y - 88361. Is y prime?
False
Let n(l) = l**3 + 33 + 13*l**2 + 0*l**3 - 16*l - 39. Let s be n(-14). Suppose -3*v + 85 = s. Is v a prime number?
False
Suppose -v - 576 = -5*v + 2*z, -286 = -2*v + 2*z. Let h = -639 + 962. Let s = h - v. Is s a composite number?
True
Suppose 21733 + 13225 = 14*d. Is d a prime number?
False
Is 32/(-4 - -12) - (-2994)/2 prime?
False
Suppose -5*r + 1 - 1 = 0. Suppose r = 7*v - 2*v - 12265. Is v composite?
True
Let k(t) = t**2 - 4*t - 9. Let d be k(6). Suppose d*l - 492 = -3*h, 4*h - 502 = -3*l + 3*h. Is l composite?
True
Let y(z) = z**3 + 18*z**2 - 11*z + 61. Is y(15) composite?
False
Let n(b) = -1309*b - 2. Let v be n(-1). Suppose 12*h - 1081 = v. Is h a prime number?
True
Suppose z - 42123 = -18*z. Is z a composite number?
True
Suppose -5*q + 3753 = o, -738 = -q + o + 3*o. Suppose -4*d + 2342 - q = 5*w, 395 = d + 2*w. Is d prime?
False
Let v = 7 - 4. Suppose u + 1196 = v*m