2 + 149. Let i = -5 - -5. Is n(i) prime?
True
Let n = -20 - -24. Suppose 0 = l - n*a + 47 - 146, -2*l + a + 205 = 0. Is l prime?
True
Let y(v) = 2*v**3 - 7*v**2 - 4*v - 13. Is y(6) prime?
False
Let z(y) = -31*y - 4. Suppose -2*v = -4*l - 14, 0 = -3*v - 2*l - 14 - 5. Is z(v) prime?
True
Let u = 310 + -105. Suppose 48 - u = -r. Is r composite?
False
Let u be (1 - -8)/((-6)/(-4)). Let j be u/(-4)*(-1 - -3). Is j/12 - (-357)/4 prime?
True
Suppose -5*f + 55 = -27715. Let j = -3707 + f. Is j a composite number?
False
Suppose -2*x + 0 = -2. Is (x*3)/((-7)/(-35)) a composite number?
True
Suppose 0 = -5*t - 0*t - i + 12, 2*t = -5*i - 9. Suppose t*a - 2*q = 40, 0 = 2*a + 3*q + q. Is a composite?
True
Suppose 111 = j - 140. Is j a composite number?
False
Is ((-11)/2)/((44/8)/(-11)) composite?
False
Let p(r) = 5*r**2 - 5*r + 3. Let a be p(4). Suppose -3*h = 26 + 22. Let k = a + h. Is k a composite number?
False
Let r be 52*-1 - (-2 + 0). Let h be r/((-3)/(-3)) - 1. Let j = 8 - h. Is j prime?
True
Suppose -k + 5 = -0*k. Suppose -2*t = -1 - 5. Suppose 5*z - 75 = t*z + k*i, 3*z + 2*i - 103 = 0. Is z a prime number?
False
Is 16/(-88) - (-79)/11 a composite number?
False
Let t be 0/((-2 - 0)*1). Suppose -2*x + t*x = -518. Is x composite?
True
Suppose -5*w + 27 - 72 = 0. Let s = w + 30. Suppose -107 + s = -2*g. Is g prime?
True
Let h(z) = z**3 + 12*z**2 + 11*z - 1. Let l = 14 + 6. Let c be ((-1)/(-2))/((-1)/l). Is h(c) composite?
False
Let w be 26/5 - 2/10. Suppose w*y - 104 = 361. Is 0 - y/(-6)*2 prime?
True
Let o be 1 + -2*(-1)/2. Suppose 5*w - 106 = -g, o*g - 6*g = w - 25. Suppose i = -2*i + w. Is i prime?
True
Suppose -3*w = 2*k - 1225, 3*k - 50 = w - 462. Is w prime?
True
Is -2*((-16)/(-24) + 7466/(-12)) composite?
True
Let y(x) = 3*x**2 - 16*x - 20. Is y(15) a prime number?
False
Is (-15)/25 + (-2136)/(-10) composite?
True
Let w(q) = 70*q + 3. Suppose -7*b = -2*b - 4*x - 2, 4*b + 2*x - 12 = 0. Is w(b) a composite number?
True
Let l be -3 + (0 - 2 - -642). Suppose -l - 68 = -5*y. Is y a prime number?
False
Let m = -9 - -11. Suppose r - 128 = 3*g, 4*g - 84 + 342 = m*r. Is r a composite number?
False
Let u(j) = 8*j**2 + 5*j - 1. Let h be u(-5). Suppose -x - x + h = 0. Is x composite?
True
Let q(b) = 7*b - 7. Let w be q(2). Suppose w*j - 395 = 60. Is j a prime number?
False
Suppose o = a - 2, -5 = 3*a + 5*o - 35. Suppose -a*u = -766 - 39. Is u a prime number?
False
Let a(f) = -f**2 + f + 10. Is a(0) prime?
False
Let i(s) = 174*s - 2. Let m be i(5). Suppose m = -0*j + 4*j. Is j composite?
True
Let t(w) = 44*w**2 + 3*w - 2. Let s be t(-4). Suppose 5*i = s - 95. Is i a composite number?
True
Let c be 2/3*54/4. Is (-2910)/c*(-6)/4 a prime number?
False
Let g = 416 + -211. Is g prime?
False
Let b(m) = m**2 + 6*m + 3. Let w be b(-6). Suppose 0*c + 2*c = -4*p + 396, 297 = w*p - c. Suppose 2*k - 2*z - 463 = -3*k, k - 2*z - p = 0. Is k prime?
False
Suppose 11*n - 284 = 7*n. Is n a composite number?
False
Suppose 4*y - 14 = 2*t, -3*t - 17 = -5*y - t. Suppose -2*f + 9 = y*a - 7, -a - 4*f = -22. Suppose 0 = 3*c - 15, -a*w = -0*w - 3*c + 1. Is w composite?
False
Suppose 0 = 8*n - 6*n - 1954. Is n a composite number?
False
Is 1*1/(-2)*-1382 composite?
False
Suppose c = 0, k + 2*c = 3*k - 20. Let d be (12/k + 0)*5. Suppose -i + 3*y = -122, i - 3*y - 104 = -d*y. Is i a prime number?
True
Suppose 51 = 3*r - 3*g, -r + 2*r + 3*g = 17. Let u be (-3 + r)*(2 - 1). Suppose -l = -3*l + u. Is l a composite number?
False
Let z = -6 + 28. Is z prime?
False
Let i(f) = -f - 3. Let v be i(-4). Let m(b) = -b + v + b + 5*b. Is m(4) a prime number?
False
Let r(x) = -x**2 - 5*x + 2. Let s be r(-4). Is 758/6 - s/(-9) a prime number?
True
Let w(y) = -269*y - 9. Is w(-4) composite?
True
Suppose 8*u - 2847 = 5*u. Is u prime?
False
Let h(x) = -x**3 + 7*x**2 - 3*x + 9. Let d be h(7). Is 2/8 + (-549)/d prime?
False
Let m = -233 - -360. Is m prime?
True
Let l = -216 + 322. Is l a composite number?
True
Suppose 4*l + 2*f = -l + 9, -l = 2*f - 5. Let d(g) = 121*g**3 + 2*g**2 - 2*g + 1. Let x be d(l). Suppose -3*j + x = -109. Is j composite?
True
Let w be 5/2 + 1/(-2). Suppose -5*s - i + 12 = -8, w*i + 20 = 2*s. Suppose -7*g + 66 = -2*g - 4*u, 0 = s*g - u - 69. Is g a prime number?
False
Let a be (-4)/(-2) - 1 - -1. Is (a/(-4))/(2/(-8)) composite?
False
Let z(g) = g**3 + g**2 - g - 1. Let w be z(-5). Let q = w + 307. Is q composite?
False
Let f be (-1 - 0)/((-6)/30). Suppose 0 = 4*r + 20, -r = -f*i - 3*r + 385. Is i prime?
True
Suppose 4*s = 63 + 77. Is s a composite number?
True
Let m(g) = -19*g + 26. Is m(-11) a prime number?
False
Is -1*(-287 - 4 - 2) a prime number?
True
Let r be 0/(8/(-4)) - 4. Is 1/(r/(-36)) + -2 prime?
True
Let n be 0*(-1)/2*2. Suppose -4*j - 5*w - 2 = n, 0*j + j - 5*w - 12 = 0. Suppose 0 = -j*d - 0*d + 30. Is d a composite number?
True
Suppose 0 = -0*l - 4*l - 3*t + 2776, -l - 4*t = -707. Is l composite?
False
Let d(m) = m**3 + 9*m**2 + 8*m + 5. Let y = -23 - -15. Let w be d(y). Suppose 3*x - 2*z = 36, 0 = 5*z - 10 - w. Is x a prime number?
False
Suppose 3*t - 163 + 1000 = 0. Let o(a) = -3*a**2 + 8*a - 12. Let d be o(-10). Let w = t - d. Is w a composite number?
False
Suppose 0 = r + 2*r + 27. Let i = r - -10. Suppose 2*u = -4*a + 150, i = 2*u - u. Is a composite?
False
Is (-629)/(-37)*(-1 - -18) prime?
False
Suppose -50 = -5*p - 5*y, -3*y + 7 + 3 = -p. Suppose 4*d + 0*w - p = w, -16 = -2*d - 4*w. Let o = d - -1. Is o a composite number?
False
Let i(r) be the third derivative of -13*r**4/24 - 2*r**3/3 + 11*r**2. Let o be 3/(-2 - (-2)/2). Is i(o) a prime number?
False
Is (157 - (-1 + 0)) + (9 - 6) prime?
False
Suppose -4*s = -0*s - 6068. Is s a prime number?
False
Suppose 3 = 3*w + 3*y, 3*w + 2*w = -2*y + 11. Suppose 3*u = -12, 4*u = 2*q - 19 - w. Suppose 69 = -2*l + q*l. Is l a composite number?
True
Suppose 0 = -4*v + f - 2*f + 958, 470 = 2*v + 5*f. Suppose 2*b - 596 = -3*b + 3*i, 0 = -2*b + 2*i + v. Suppose 3*k - b = k. Is k prime?
True
Let w(v) = -2*v + v**3 - 7 + 0*v + 4*v - 5*v**2. Let o be 10/(-3 - 10/(-2)). Is w(o) a composite number?
False
Let h(z) = z**3 - 14*z**2 + 3*z + 17. Is h(14) prime?
True
Let k be 9/(-7) + 4/14. Let d = 3 + k. Suppose -3*q - 35 = m - d*m, 3*q = -3*m + 105. Is m a prime number?
False
Let v be (4/8)/(2/(-284)). Let p = v - -282. Is p composite?
False
Suppose 2*d + 5*g - 269 = 0, 0*d - 2*d + 248 = -2*g. Is d composite?
False
Suppose 3*r = 2*h - 1135, -h + r - 2*r + 560 = 0. Is h composite?
False
Is 4629/2*(12/(-9) - -2) a prime number?
True
Let m(q) = q - 3. Let v be m(-4). Is 2/v + (-19467)/(-49) a composite number?
False
Let s(r) = r**3 + 6*r**2 - r. Let k be s(-6). Is (-9)/k - (-47)/2 composite?
True
Suppose -w - 5*u - 1435 = -5*w, -370 = -w + 5*u. Is w a composite number?
True
Suppose -40 = n + 4*n. Is (-610)/n - (-9)/12 a prime number?
False
Let w(t) = 59*t + 9. Let s be w(9). Suppose -s = -3*o - 57. Is o prime?
False
Let f be (28/(-10))/(4/20). Let h = f - -63. Is h composite?
True
Suppose 6 = -3*l, 4*a - 1737 = 3*l - 371. Let k = -161 + a. Is k a composite number?
False
Let b be 2 - 1 - (-15 + 9). Suppose 242 = 2*p - 1060. Is (1/3)/(b/p) a composite number?
False
Let p be (-8 - -3)*(0 - 1). Suppose 0 = -h - 4*l + 3*l + 101, -p*l = -2*h + 195. Suppose 2*o - 3*c - h = 0, c - 214 = -4*o - 0*o. Is o composite?
False
Let z(p) = -6*p**3 + 6*p**2 - 3*p + 8. Is z(-5) a prime number?
False
Let s = 540 + -329. Is s composite?
False
Let l(v) = -30*v - 4. Let f be l(-8). Is f*-4*4/(-64) prime?
True
Let n(a) = -42*a + 11. Suppose 3*f - 20 = 4*y + 19, 2*y = 5*f - 37. Is n(y) a prime number?
True
Let u = -56 + 87. Is u composite?
False
Let c(a) = -4*a + 11. Let x be c(6). Let k = 110 + x. Is k prime?
True
Suppose -5*m + 7732 = -2113. Is m a composite number?
True
Suppose -167 = -3*x + 256. Is x prime?
False
Let b be (-4 + 3)*(1 + -3). Suppose 3*p + b*p - 105 = 0. Is p a prime number?
False
Let m = 131 + -54. Is m a composite number?
True
Suppose -145 - 18 = -d. Is d composite?
False
Let k(x) = -27*x**2 + x + 7. Let c(o) = -14*o**2 + 3. Let t(l) = -5*c(l) + 2*k(l). Is t(2) a prime number?
True
Suppose 6*f - 2*f = 316. Is f composite?
False
Is (-15)/(-10)*158/3 a composite number?
False
Let k be -2 - (2 + 2 + 0). Let c = -1 - k. Suppose 5*f = 5*y + 50, 0