9*n + 15 = 0. Let r(q) = 17*q**2 - 12*q - 4. Is r(n) a composite number?
True
Suppose 3*g + x = -4 + 8, 5*g - 4*x + 16 = 0. Suppose g = -6*h + 7*h - 79. Is h composite?
False
Suppose 3*p + 0*y - 5128 = -y, 6859 = 4*p - 3*y. Is p a prime number?
False
Let j(p) = -4*p + 521. Let u be -41 + 40 - 1/(-1). Is j(u) prime?
True
Let v = -12 + 15. Suppose 5*o + v*i + 481 = 0, -469 = 4*o + i - 87. Let t = o + 218. Is t prime?
False
Suppose 5*j - 8 = 3*j. Suppose -o - 5 = -j. Is (555 - 5) + o + 4 a prime number?
False
Let c = -7 - -5996. Is c a prime number?
False
Let x(v) be the second derivative of 203*v**4/12 + v**3/3 + v**2/2 + 7*v. Let k be x(2). Suppose -5*y - k = -5*l + 118, -3*l - y = -577. Is l composite?
False
Let d(w) = -w**2 + 10*w + 27. Let o be d(12). Let r be 7/2 + (-2)/(-4). Suppose o*h - 2*u = 61, -h + 3*u = -r*h + 66. Is h a prime number?
False
Let m(o) = -37*o**3 + 4*o**2 + 2*o - 1. Let l be m(-3). Let a(f) = -f**2 + 7*f - 3. Let z be a(6). Suppose -w = z*w - l. Is w a composite number?
False
Suppose -2*l - 3*a + 6218 = -3854, -3*l + a + 15119 = 0. Is l prime?
True
Let u(g) = -47*g**2 - 19*g - 1. Let p(w) = -23*w**2 - 10*w - 1. Let x(q) = -2*q - 1. Let f be x(1). Let h(k) = f*u(k) + 5*p(k). Is h(5) prime?
True
Let r be (210/4)/(12/(-288)). Let f = 4187 + r. Is f a prime number?
True
Let a be (-2)/7 - 90/(-21). Let q be 49 + ((-8)/(-1))/a. Is 1/(3/5)*q composite?
True
Suppose t = w + 3496, 3*t + w - 3*w = 10488. Suppose 2539 = 17*p - t. Is p a prime number?
False
Let h be 0 + (3 - 1) + -2. Suppose h = 3*s - j - 993, j + j - 1655 = -5*s. Is s a composite number?
False
Let v(o) = 2*o**3 + 4*o**2 + 6*o - 5. Suppose -24 = -7*x + 5*x. Suppose x = 5*g - 8. Is v(g) prime?
True
Let f be 2572/(((-8)/(-4))/(-2)). Suppose -14758 = 4*t - 2*w, -t = -2*t - 4*w - 3667. Let x = f - t. Is x a composite number?
True
Suppose 9 = 16*h - 17*h. Is 6/(-27) - 16139/h a composite number?
True
Let x = -63 - -67. Suppose 0 = -4*a - x*a + 5960. Is a a composite number?
True
Let u = 9305 - 5038. Is u prime?
False
Suppose -2014 = -l + 5298. Let p be l/14 + (-10)/35. Suppose d + 5*d = p. Is d composite?
True
Let p be 28*(-278)/(-4) + 2/1. Let n(c) = c**2 + c + 4. Let u be n(0). Suppose -u*q - p = -8*q. Is q a composite number?
False
Suppose 925 - 6585 = -4*s. Suppose 0*y = 4*w + 3*y + s, -2*w + y - 705 = 0. Let l = 556 + w. Is l a composite number?
True
Let b(o) be the second derivative of 35*o**4/3 + o**3/3 + o**2/2 + 7*o. Is b(-1) prime?
True
Let u = 125 - -26644. Is u prime?
False
Let g(a) = -6 + 3 - 451*a + 8. Is g(-2) a prime number?
True
Suppose 2*a = -4*u + 8834, -2*a - 4531 = -4*u + 4315. Let n = u + 7583. Is n a prime number?
False
Is (9 - 158/18) + 8020/36 a prime number?
True
Let a = 696 + 61. Is a prime?
True
Let s(h) = 3*h**3 - 2*h**2 + 3*h - 2. Let p be s(3). Let c be 1*34/(-2) + (11 - 14). Is 3538/14 - c/p composite?
True
Suppose -3*z = 5*q - 12, 0 = -0*z - 4*z + 16. Suppose 36 = 3*x + 4*h, -3*x + q*x + 39 = 5*h. Is (-570)/(-2) - (-16)/x a prime number?
False
Suppose -3830 = -6*r + 478. Suppose 4*y - 4530 = -r. Is y prime?
True
Suppose -4*g - 8 = -3*w - w, -8 = -2*g - w. Suppose 6*r - 4*r = -g. Is 28*r/(8/(-46)) a prime number?
False
Let r = 3066 + -1231. Is r a composite number?
True
Suppose -24 = 2*u - 4*u. Let d(g) = g**3 - g + 17. Is d(u) composite?
False
Let m be (-1713)/4 + 12/(-16). Let s(q) = 85*q**2 - 1. Let r be s(3). Let f = r + m. Is f a prime number?
False
Suppose -8584 = -3*k - 787. Is k composite?
True
Let s be (-2 + 3)/((-4)/(-8)). Suppose 141 + 65 = 2*o - s*b, o + 2*b - 118 = 0. Suppose 5*h + 13 = o. Is h a composite number?
False
Let x(a) = -713*a - 208. Is x(-7) a prime number?
True
Is (442449/(-28))/(-1) - (-4)/16 prime?
False
Suppose -11*t = -50678 - 5081. Is t a composite number?
True
Let n(h) = -h**3 + 8*h**2 + 4*h + 2. Let t be n(8). Is t*(-1 - 2 - -4) a composite number?
True
Suppose -23*s = -171086 - 266627. Is s composite?
False
Let l(q) = -q**3 + 6*q**2 - 10*q + 10. Let m be l(4). Suppose -4*x = -m*x - 762. Is x a composite number?
True
Suppose 3*j = c - 19, 4*c - 158 + 26 = -2*j. Suppose 0 = -c*p + 27*p + 12. Is p a prime number?
True
Let o = -139 - -692. Let j = o - -534. Is j a prime number?
True
Suppose -3 = 2*c - 5*c. Is -3 + c - (11 - 522) a composite number?
False
Let r be -1 - -1 - (6 + -6). Suppose 3*w + 208 - 925 = r. Is w a prime number?
True
Let d(m) = 84*m - 2. Let k be d(-5). Suppose -4*r - 805 + 2065 = 0. Let i = r - k. Is i a composite number?
True
Is 2/3*(-14214)/(-4) prime?
False
Let x(a) = -146*a + 9. Let h be 213/(-15) - -1*(-2)/(-10). Is x(h) a prime number?
True
Suppose -61717 = -3*t - 2*n, -7*n + 3*n = -8. Is t prime?
False
Let c be 12 + 0 - (-9)/9. Suppose -10*j - 3783 = -c*j. Is j composite?
True
Suppose -21*d + 2*n = -19*d - 11286, -n = 2*d - 11274. Is d prime?
True
Let r = 2858 + 5693. Is r prime?
False
Let d = -15 + 16. Let i(k) = -1474*k**3 + k**2 - 1. Let f be i(d). Is (f/(-3))/(2/3) prime?
False
Let d(m) = 121*m**2 - 29*m - 77. Is d(-3) a prime number?
False
Let b be (-2 + 64/20)/((-6)/(-20)). Suppose 5329 = b*s - 2*y - 5827, 0 = 5*s - 4*y - 13945. Is s composite?
False
Suppose -3*r + 12 = 1938. Let s = r + 941. Is s a prime number?
False
Suppose 49 = -5*w - 1. Is (-18325)/w - (-9)/(-6) a composite number?
False
Suppose -64*p + 16360 = -59*p. Suppose -12*z = -4*z - p. Is z composite?
False
Suppose -5*x = 2*f - 26, -2*x + 24 = x - 3*f. Suppose -b = -197 - x. Is b a composite number?
True
Let s(k) be the second derivative of 367*k**4/12 - 2*k**3/3 - k**2/2 - 10*k. Is s(2) prime?
True
Let u(r) = -r**2 - 10*r + 15. Let m be u(-11). Let d(j) = -j**2 + 4*j. Let i be d(m). Suppose -3*q + 237 = -5*l, i = q - 2*l + 4*l - 79. Is q composite?
False
Let a = 170 - 28. Is a prime?
False
Let g(x) = x**2. Suppose -3*v + v = -12. Let h be g(v). Let u = 197 - h. Is u a prime number?
False
Let c = 1 + -1. Suppose -3*p = 4*l - 21 - 2, -2*l + p - 1 = c. Suppose -4*h = -2*j - 842, -5*j + l*j = -3. Is h composite?
False
Suppose -244*h = -232*h - 401724. Is h a composite number?
True
Let l(g) = g**3 + 8*g**2 - 10*g + 3. Let n be -1 - 6 - (0 + 1). Is l(n) a prime number?
True
Suppose -q = 5*q - 30. Suppose q*a - 6 = -16. Let k(h) = -11*h**3 + 3*h + 1. Is k(a) prime?
True
Suppose -3*q = -5*z - 117 + 16, 0 = -q + 3*z + 31. Is q composite?
False
Is (-235980)/(-11) - (-27)/99 a composite number?
True
Let g = -52 - -50. Let z(b) = -124*b + 9. Is z(g) composite?
False
Let y(k) = -k**2 + 8*k - 9. Let l be (8/8)/((-2)/(-12)). Let i be y(l). Suppose -3*p + 252 = i*z, -3*z - p + 318 = 56. Is z a prime number?
True
Let y be (4/8)/(3/(-18)). Let j(u) = -2*u**2 - 7*u - 3. Let i be j(y). Suppose -4*r + 155 + 74 = 3*n, i = 2*n + 2*r - 154. Is n a prime number?
True
Let q(x) be the first derivative of 17*x**7/280 + x**5/120 - x**4/24 - x**3/3 - 7. Let j(t) be the third derivative of q(t). Is j(1) prime?
False
Let m = -2721 + 10687. Suppose -4*p + 0*p = -2*b + m, 0 = 2*b - 5*p - 7965. Is b composite?
True
Let k(w) = -14*w**3 - 4*w - 13. Is k(-5) prime?
False
Is 2376/(3 + -1) - -5 a prime number?
True
Let s(i) = 117*i**2 + 5*i - 3 - 22 + 10*i**2 + 28. Is s(5) a prime number?
True
Let k(l) = 838*l - 19. Is k(2) composite?
False
Is (-1)/(1/(-557) + 0) a composite number?
False
Let h be 13/(-3)*(1 - 25)/(-8). Let a(f) = 101*f + 2. Let o(q) = 102*q + 1. Let u(j) = -5*a(j) + 4*o(j). Is u(h) prime?
False
Let m(l) = -150*l - 19. Let w(z) = -225*z - 29. Let n(f) = 8*m(f) - 5*w(f). Is n(-6) prime?
True
Let i(z) = z**3 + 10*z**2 + 13*z - 24. Let f be i(-8). Suppose f = -12*p + 6143 + 18493. Is p prime?
True
Suppose z + 4*p = -2*z + 121, -16 = -4*p. Let s be 20/6*42/z. Suppose -g + 3*g - 299 = -t, -4*t = -s*g - 1244. Is t composite?
False
Suppose 3*d - 8 = d. Suppose 1 - 3 = -d*g - s, -s = 2*g - 2. Suppose 4*n - 950 - 2734 = g. Is n a composite number?
True
Suppose x - m = 4*x - 15, -5*x - 2*m = -26. Suppose x*w = -w - 2190. Let z = w - -1025. Is z a prime number?
True
Let k be (-2 + 43)*(-15 - -2). Let v = -378 - k. Suppose 4*y - 289 = v. Is y composite?
True
Let q be 7 - (3 - 3 - -4). Let h be q*5/15*2093. Suppose 0 = -5*i + 2*l + 4947, 5*i - l = 2858 + h. Is i a prime number?
True
Let f(h) = h**2 + 2. Let l be f(-2). Suppose -v + 1778 = l*v