 r(-3). Is (-522 + -4)/(v + -1) composite?
False
Let g(t) = -5*t - 1. Let h(d) = d**2 + 6*d + 4. Let j be h(-4). Is g(j) prime?
True
Let t(f) = f - 2. Suppose 0 = -2*a - 3*a - 25. Let h = a + 14. Is t(h) a prime number?
True
Let t(z) = -118*z + 7. Is t(-4) a composite number?
False
Suppose -5*w + 2*n = -435, 0 = 5*w + 3*n + 2*n - 470. Is w a composite number?
False
Suppose 3*y + 41 = 1403. Is y prime?
False
Suppose -n + 613 + 276 = 0. Is n prime?
False
Let r(n) = -1292*n**3 - n**2. Is r(-1) a prime number?
True
Suppose -d = d. Let p = d + 6. Is p prime?
False
Let w(h) be the third derivative of -h**6/120 + h**5/30 + 5*h**4/24 - 5*h**3/6 + 2*h**2. Let f be w(4). Let b = f - -54. Is b composite?
False
Suppose 40*j - 36*j = 1180. Is j a composite number?
True
Let p(z) be the second derivative of z**4/2 + 2*z**3/3 + z**2 + 4*z. Is p(-4) a prime number?
False
Suppose 3*c - 6*c + 15 = 0. Suppose -15 = c*i, 2*z + 4*i = 5*z - 219. Is z a prime number?
False
Suppose 86 = f + 3*v, 2*f - 133 - 29 = -4*v. Is f a prime number?
True
Let t(a) be the third derivative of -13*a**4/6 + a**3/6 + 2*a**2. Let b = 1 - 2. Is t(b) prime?
True
Let s be (2 - 0) + (-2 - -2). Let v = -2 - -5. Suppose 106 = s*d - 4*u, 118 + 140 = 5*d - v*u. Is d composite?
True
Suppose -5*z - 151 = -2*m, -2*m - 3*m = -3*z - 425. Let f = 125 - m. Is f a composite number?
False
Suppose -5*j - 4 = -5*h + 1, 0 = -5*h - j - 1. Suppose -z + 3 = -2, -2*p + 2*z + 28 = h. Is p a prime number?
True
Let d = 56 - 25. Is d a prime number?
True
Let h(g) = -76*g + 22. Is h(-7) prime?
False
Let b = 4 + -6. Is (-4)/b*(-63)/(-6) a prime number?
False
Let y(j) = -3*j. Let s be y(-1). Let h be (-7 + -4)/((-1)/s). Suppose -2*p = 1 + 3, -g + h = -5*p. Is g prime?
True
Let x = -182 - -119. Suppose -18 = 2*o + 34. Let f = o - x. Is f composite?
False
Suppose 3*c - 5*j + 144 = 1472, -2*c + 4*j + 888 = 0. Suppose -4*s + c = -0*s. Is s prime?
True
Let w(s) = 25*s - 20. Let t(d) = -d + 21. Let r be t(8). Is w(r) prime?
False
Suppose -9*h = -4*h - 20. Let x(i) = i**3 - 2*i - 3. Is x(h) composite?
False
Let s = 339 - -338. Is s a composite number?
False
Suppose -22*t = -18*t - 2324. Is t a prime number?
False
Let l(i) = 14*i**2 + 6*i + 5. Is l(-6) composite?
True
Let k = -3 + 5. Suppose k*i - 88 = 22. Is i a prime number?
False
Is -2 + 142/2*3 a prime number?
True
Is (21*-113 - 1)/(82/(-41)) a prime number?
True
Let y = -20 + 267. Is y prime?
False
Let i = 11 - 8. Suppose -7*y + 2*y = -c - 52, -2*c - 34 = -i*y. Is y a prime number?
False
Let l = 16 - 9. Let m(t) = t**3 - 8*t**2 + 7*t + 2. Let d be m(l). Is 201*((-2)/(-3))/d a prime number?
True
Let z(l) = 43*l**2 + 17*l + 26. Is z(9) a prime number?
False
Is (62/(-4))/(-2*(-3)/(-12)) a prime number?
True
Let d(q) = q**2 - 9*q - 4. Let u(l) = -5*l**2 + 37*l + 15. Let y(v) = 9*d(v) + 2*u(v). Let f be y(-6). Is f + 85 + -2 - -2 prime?
False
Is (-957)/(-2) + 2/4 prime?
True
Let j(h) = 7*h**2 + 3*h - 4. Let l be j(-6). Suppose -2*b + 9 - 3 = 0. Suppose w = b*w - l. Is w a prime number?
False
Suppose -3*v = 70 + 161. Let g = -25 - v. Is -2*5*g/(-8) a composite number?
True
Is (90 - (-2 + -1)) + -4 a composite number?
False
Let s(y) = y**3 - 4*y**2 - 5*y - 2. Let o be s(5). Is 22/((-1)/(1/o)) a composite number?
False
Let d(p) = -5 + 0*p + 22*p + 0 + 2. Let c be d(2). Suppose 4*y - 3*w - c = 2*y, 2*w + 62 = 4*y. Is y prime?
True
Suppose 0 = -0*v - 4*v + 40. Let a = -13 + 16. Let i = v - a. Is i a composite number?
False
Suppose -4*p + 273 = -211. Is p composite?
True
Is (-2)/(4*4/(-14072)) a composite number?
False
Let b(k) = 56*k**2 - 6*k + 5. Is b(4) a composite number?
False
Let x(w) be the first derivative of -3*w**2 + 2*w + 1. Is x(-2) a composite number?
True
Suppose -6*t + 75 = -t. Let z = t + 118. Is z a composite number?
True
Is (-2274)/12*(-4 - -2) prime?
True
Let t(i) = i + 10. Let w be t(-10). Suppose -u + 3 + 4 = w. Suppose -5*v + 42 = u. Is v composite?
False
Let p = -648 + 1219. Suppose 447 = 2*w - p. Is w a composite number?
False
Let m be -1 + -3 + 2 + 6. Let u = m + 11. Is u prime?
False
Suppose 5*r = 23 - 3. Is r composite?
True
Suppose -2*z + 5*z + 6 = 0. Let p = z + 2. Is (4 - -21) + -2 + p prime?
True
Suppose 0 = -15*k + 17*k - 2558. Is k prime?
True
Let p = 1194 + -317. Is p a prime number?
True
Let w(a) be the third derivative of -67*a**4/24 + a**3/3 - 3*a**2. Is w(-3) composite?
True
Let x(o) = 45*o - 41. Is x(8) prime?
False
Suppose 4*r = b + 18, 6 = 3*b + r + 34. Is (-3)/(-5) + (-3044)/b a prime number?
False
Let s(k) = 2*k**3 - k**2 - 2*k. Is s(7) composite?
True
Let g = 18 - 17. Let b(k) = 32*k**2 - 2*k + 1. Is b(g) prime?
True
Let k = -7 - -12. Suppose -q - 7*h + 486 = -2*h, 0 = -k*q - 3*h + 2452. Is q prime?
True
Is ((-4)/(-4))/((-1)/(-163)) prime?
True
Let z(m) = 5*m**2 + 4*m + 22. Is z(-16) a composite number?
True
Let z(g) = -1364*g + 1. Is z(-6) composite?
True
Let b be 11 - ((-6)/(-2))/1. Is 1238/b + (-1)/(-4) a composite number?
True
Let i(p) = -p**3 - 3*p**2 + p. Let u be i(-3). Let t = u + 3. Suppose 2*h = -t*h + 74. Is h prime?
True
Let i(y) = -y**2 - 8*y + 2. Let l be i(-8). Suppose l = r - 1. Suppose 2*v + r*v - 1285 = 0. Is v a prime number?
True
Let a be (0 + 4)/(-4) - -169. Suppose q + a = 499. Is q prime?
True
Let w(z) = z**2. Let h(y) = -8*y**2 - 3*y - 1. Let g(n) = -h(n) + 4*w(n). Is g(-2) a composite number?
False
Let d be (-3)/(-2)*(-2)/(-3). Let r = 1 + d. Suppose 93 = 5*o - r*o. Is o a prime number?
True
Suppose 2*l + 15 = 5*l. Let m(x) = 2*x**2 - x - 1. Let v be m(-1). Suppose -l*n + 86 = -4*z, n - 32 - v = 5*z. Is n a prime number?
False
Let q = -7 - -4. Let o = -1 - q. Suppose -2*m + h + 231 = 0, 0*m + o*h - 573 = -5*m. Is m composite?
True
Suppose 0*d - 3*d = -18. Suppose z = 4*z - d. Is (24/(-21) + z)*7 a prime number?
False
Let v = 1 - 5. Is (4 - -18)*(-6)/v prime?
False
Let b(o) be the first derivative of 5*o**3/3 + 3*o**2 - 5*o - 1. Is b(6) a composite number?
False
Let o = -2338 + 4139. Is o a composite number?
False
Let q be (0 - 2)*3/2. Let c = 5 + q. Suppose 5*n + 0*i = 2*i + 97, c*n + 3*i - 54 = 0. Is n prime?
False
Let x = -500 + 913. Is x a prime number?
False
Let m be 9 + -2 - (2 - 0). Let k be 1/m - (-57)/15. Suppose 9*v = k*v + 265. Is v a prime number?
True
Let w(t) = t**3 + 10*t**2 + 3*t + 14. Is w(-8) prime?
False
Let t be (8/3)/((-2)/(-3)). Suppose 2*c + 3*d - 65 = 0, t*c + 4*d = -12 + 148. Is c a prime number?
True
Let o(p) = p**2 + 2*p - 3. Let a be o(-3). Let w be 3 + a*(-2)/(-6). Suppose 5*b - 5*l + 0 = 460, 187 = 2*b - w*l. Is b a composite number?
False
Let t = 282 + 259. Is t prime?
True
Suppose f - 5 = -0*f. Let d(x) = x**3 + 3*x**2 - 6*x - 7. Is d(f) a composite number?
False
Suppose -11473 = -2*o - 5*o. Is o prime?
False
Let t(s) = s**2 + s. Let k be t(2). Suppose k*i - 2*i = 260. Is i a prime number?
False
Suppose 0 = -6*j + 3*j + 384. Let s = j + -75. Is s prime?
True
Suppose 20 = 2*b - 82. Is b prime?
False
Let q be (5 - 9)*2/(-4). Let j be -12*(2/q - 2). Is 2439/j - (-2)/(-8) composite?
True
Let w be 8 - 1/3*9. Suppose -w*b + 88 = 5*n - 237, 0 = -b - 2. Is n composite?
False
Let t = -5 + 9. Suppose y = -t*z + 31 + 20, -5*z + 20 = 0. Is y a composite number?
True
Let j(m) = m**2 + 4*m + 6. Let g be j(-3). Suppose -162 = -u - n - g*n, 4*u = -5*n + 692. Is u composite?
True
Suppose 0 = -5*u + 2*u + 273. Suppose -3*i - i - u = -5*s, 0 = -2*s - 5*i + 43. Is s a composite number?
False
Let w = 898 - 639. Is w prime?
False
Let p = -2007 + 3284. Is p a composite number?
False
Let f(b) = 5*b**2 - 5. Let p be f(-3). Is p - (0 - (0 + -3)) a composite number?
False
Let o be 1005/6 + (-3)/2. Suppose -o = -x + 57. Is x a composite number?
False
Let k = 10 - -3. Is k a composite number?
False
Is 69/(-92) + (-3278)/(-8) prime?
True
Is 1475/3 + 42/(-63) a prime number?
True
Suppose 0 = -4*f + f + 210. Suppose 4*h = -4*k + 80, -5*k = 3*h - 32 - f. Suppose 2*q - k = -q. Is q a composite number?
False
Let b(u) be the first derivative of 15*u**2/2 - u - 3. Is b(6) composite?
False
Let v(c) be the third derivative of c**5/30 + c**4/6 + c**3/6 - 2*c**2. Is v(4) prime?
False
Is (4/(-4) + 2)*3983 composite?
True
Suppose -2*c - 3*t + 104 = 0, 0 = 4*c - 4*t - 278 + 50. Is c a prime number?
False
Let i be 10*-3*