 Is d a composite number?
True
Let u(i) = i - 2. Let s be u(2). Suppose s = 5*k - 183 + 68. Is k prime?
True
Is 6766/10 + 4/10 a prime number?
True
Let f be ((-3)/1)/3 - -3. Suppose -f*p - 3*p = -955. Is p composite?
False
Is (5 + -6 + 2)/(1/449) prime?
True
Let m be (-10)/35 - (-3202)/(-14). Let k = -140 - m. Is k a composite number?
False
Let c = 4095 + -688. Is c composite?
False
Let f = 0 + -3. Is 53*3/(f/(-1)) prime?
True
Suppose 0 = s + 2*s. Let i(l) = 46*l**2 - l. Let f be i(2). Suppose -4*c + f + 126 = s. Is c composite?
True
Let o = -490 - -1169. Is o a prime number?
False
Let z = 6056 + -3927. Is z prime?
True
Let i(o) = 75*o**3 + 2*o**2 + 3. Is i(2) a composite number?
True
Is (9/((-135)/10))/((-2)/63) prime?
False
Suppose 0 = 2*h + 11 + 1. Let r(b) = -15*b - 1. Is r(h) a composite number?
False
Let j = -29 - -87. Is j a composite number?
True
Is (3 + -2)/(1/157) a composite number?
False
Suppose m + 251 = 2*m. Is m composite?
False
Let i(l) = -275*l + 7. Is i(-6) a prime number?
True
Let t = -1 - 0. Let x(f) = 396*f**2 + 2*f + 1. Let p be x(t). Suppose -g = -6*g + p. Is g a composite number?
False
Let f = -5667 - -8126. Is f composite?
False
Suppose -80*f + 85*f - 13855 = 0. Is f prime?
False
Let k(t) = 7*t - 3 + 17 - t**2 - 2 - 7. Suppose -6 = -0*y - y. Is k(y) a composite number?
False
Let c(d) = d + 20. Is c(-6) prime?
False
Let p = 8488 + -5999. Is p a prime number?
False
Let x(b) = -b**2 + 2*b - 5. Let h be x(0). Let w(o) = 19*o**2 - 2*o + 12. Is w(h) prime?
False
Is (6/4)/((-15)/(-5570)) prime?
True
Let i = 158 + -40. Is i a composite number?
True
Let k(f) be the first derivative of 5*f**2/2 + 3*f - 10. Is k(4) prime?
True
Suppose -3*v - 3*a = 6, 0*a = -v - 4*a - 14. Suppose -h - 4*w = -129, w = v*h - w - 308. Is h prime?
True
Let b be (-9)/(-3 + 0) - -11. Let x be (12/21)/(4/b). Suppose -x*j + 265 = 3*j. Is j composite?
False
Suppose 7*x = 4*x + 141. Let c = -28 + x. Is c a composite number?
False
Suppose 0 = -c + 4*c. Let h(a) = a**3 - a**2 - a + 176. Let z be h(c). Suppose 5*g - z = -2*q, -5*g = -3*q - 0*g + 239. Is q a composite number?
False
Suppose 2 = -d + 3*o + 14, 2*o - 6 = 0. Is d prime?
False
Let m be 8/(-3)*45/(-12). Suppose 0 = -3*j + m + 29. Is j composite?
False
Suppose 5 = 2*x + 5*d, x - 3*d + 3 = -0*x. Suppose 0 = 2*v - x*v - 422. Is v a prime number?
True
Suppose -c + 3*y + 103 = -97, -2*y = -4*c + 850. Is c prime?
False
Suppose 5*j - 54 = -9. Let w be 10 + 6/j*-3. Is 2/w + 614/8 a composite number?
True
Let a(k) = -k + 1. Let g be a(0). Let n(v) = 54*v - 1. Is n(g) a prime number?
True
Let j = -5 + 8. Suppose -2*f + j*p + 16 = 3*f, -2*p + 21 = 3*f. Suppose f*h - 44 = h. Is h composite?
False
Suppose -4*y - 2 = 5*g - 24, y - g = 10. Is (y/(-6))/((-6)/171) prime?
False
Is 1*(374/2 - -4) prime?
True
Let o(c) = 22*c**3 - 3*c**2 + 2*c + 1. Let m be o(2). Suppose -3*x - n - m = 4*n, 167 = -3*x - 4*n. Let q = 78 + x. Is q composite?
True
Let h = -14 + 16. Suppose h*c + 2*k - 598 = -2*k, 4*c = -3*k + 1181. Is c composite?
False
Suppose -50 = -4*b - b. Let h(l) = 66*l + 3. Let u be h(b). Suppose 5*v - u = -2*r, 0 = -4*v - 3*r + 8*r + 537. Is v a composite number?
True
Let p be ((-6)/9 + 1)*15. Let l(m) be the first derivative of m**3/3 - 2*m**2 + 2*m + 2. Is l(p) a composite number?
False
Is ((-170)/(-51))/((-4)/(-1002)) a composite number?
True
Let c(u) = u**2 + 9*u + 4. Let k be c(-9). Suppose 166 = g + 3*j, -g - k*g + 3*j = -812. Is g a composite number?
False
Let j be 1*-3*(-4)/6. Let o = j - 2. Suppose o = -0*n + 2*n - 20. Is n composite?
True
Let d(o) = 2*o**3 - 4*o**2 - 3*o - 2. Let g(r) = 10*r**3 - 20*r**2 - 14*r - 9. Let f(w) = -11*d(w) + 2*g(w). Is f(-3) prime?
True
Suppose -c = -j + 7, 4*c = -23 + 3. Is j/(-4)*(-147 + 13) a prime number?
True
Suppose q = -q + 66. Suppose 0 = 3*b - 2*v + 7*v - 2, -3 = 4*b + v. Is (b/(-3))/1*q prime?
True
Let y = 5 - 3. Suppose y*u - 7*u = 35. Let d(j) = -j**3 - 7*j**2 - j + 4. Is d(u) a composite number?
False
Suppose -4*r + 12 = 4. Suppose -2*p - v = -2 - 163, -3*p = r*v - 247. Is p a prime number?
True
Is ((-26)/39)/((-2)/3801) a prime number?
False
Suppose -l = 2*l + g - 1196, -2*g + 10 = 0. Is l a prime number?
True
Suppose -1776 = 2*j - 6*j + 4*l, -4*j = 4*l - 1800. Is j prime?
False
Suppose 0 = -4*z + 2*i + 2172, 0 = -5*z - 4*i + 3022 - 333. Is z composite?
False
Let y(n) = 7*n. Let i = 6 - -1. Is y(i) composite?
True
Suppose -3*a + 4*j + 241 = -178, j + 563 = 4*a. Suppose -3*x = 0, -4*k = -3*x - 439 - a. Is k composite?
True
Let d be (0 - 0)/1 - -182. Let j = 351 - d. Suppose -5*w = -j - 6. Is w a composite number?
True
Let n(v) = -64*v - 6. Let m be n(3). Let w = 389 + m. Is w prime?
True
Suppose 0 = b - 4*b + 9. Let r be 73 + b + (-2 - 0). Is (r/(-6))/(1/(-3)) prime?
True
Let h = -5375 - -10126. Is h composite?
False
Let o(v) = 4*v**2 - 7*v + 6. Let k be o(4). Let y = 11 + -9. Suppose y*f - 4 = k. Is f a composite number?
False
Let h(o) = -o**3 + o**2 + o + 11. Let k be h(0). Suppose 4*i = 5*c + k, 0*i - i = 4*c - 8. Suppose r - 415 = -i*r. Is r a prime number?
True
Suppose -4*a + 3529 = 5*v + 832, -4*a = 3*v - 1615. Is v a prime number?
True
Let m(h) = -14*h - 4. Suppose 0*o + 15 = -5*o. Is m(o) composite?
True
Let r(w) = -2*w**2 - 2*w - 6 + 6*w**2 + w**2 - 2*w**2. Is r(-5) prime?
True
Let m = 29 - -9. Suppose -o + 0*o - m = 0. Let g = o + 61. Is g composite?
False
Let x = -2 + 4. Suppose 0 = -4*h + x*w + 6, -2*w - 4 = -4*h + h. Suppose -h*r + 160 = -138. Is r prime?
True
Let t(p) = -31*p + 3. Let j be t(-3). Let i be ((-93)/(-9))/(3/(-9)). Let z = j + i. Is z a composite number?
True
Let m = 2 - 1. Suppose -y + 2 = -2. Suppose b = 3, y*n + 2 = 5*b - m. Is n a composite number?
False
Suppose -s = -4*s + 501. Is s prime?
True
Let v(r) = -r**3 - 7*r**2 + 17*r + 8. Let i be v(-12). Suppose -2*a + 2*p + 101 = -175, i = 4*a + 3*p. Is a a prime number?
False
Suppose 2*n = -n - 1245. Is n/(-20) + 1/4 composite?
True
Let s be (-1)/(4*(-1)/(-748)). Is s/(-2) - (-3)/2 composite?
True
Suppose d = 3*p - 12601, -4*d - 1959 + 22972 = 5*p. Is p composite?
False
Let k be (-2)/8 + 1/4. Suppose -7*p + 2*p + 15 = k. Is p composite?
False
Suppose 0 = -t - l, 5*t = l + 10 + 8. Suppose -x + 183 = g, -5*g = -t*g - 2*x - 374. Is g a composite number?
True
Let d(u) = 4*u**2 - 7*u - 19. Is d(-16) composite?
False
Let c(v) = 8*v**2 + v + 10. Is c(7) composite?
False
Suppose -5*t = 4*z - 6*z + 40, 20 = -5*t. Suppose -z - 45 = -b. Is b a prime number?
False
Let c(t) = 3822*t**2 - t. Is c(1) composite?
False
Let y(i) = -i**2 + 7*i - 5. Let f be y(8). Let o = f + 35. Is o a prime number?
False
Suppose n + 0*n = 33. Suppose -4*w = -w - n. Is w a prime number?
True
Let v(z) = z**3 - 5*z**2 + 2*z + 1. Let c(l) = -l. Let q be c(-3). Suppose 0 + 18 = q*g. Is v(g) a prime number?
False
Suppose 0*c + 3*d + 9 = c, -5*c - 2*d - 40 = 0. Let o(l) = 5*l**2 - 6*l - 5. Is o(c) composite?
False
Suppose r - 5*g - 273 = 0, 3*g + 285 = r + g. Is r a composite number?
False
Suppose 0*b + 12 = -3*b, -d + 339 = -b. Is d prime?
False
Let j be 83/(-5) + (-3)/(-5). Let t = 2 + j. Is t*((-105)/(-6))/(-5) composite?
True
Let h = 803 + -548. Let m = h + -44. Is m a prime number?
True
Let b = 11 - 8. Let p = b + 0. Suppose -3*q + 3 = -0, p*a - 3*q - 144 = 0. Is a a composite number?
True
Suppose 0*u + 2*u = 8. Suppose 5*x = k - 2*k + 15, u*k = 4*x - 12. Suppose f + 3*c + 1 = -f, k = 3*f + 4*c - 1. Is f a prime number?
True
Let t = -512 - -743. Suppose 2*d + d - t = 0. Let o = d - 42. Is o prime?
False
Suppose -2*u = u - 318. Suppose u = v + v. Is v composite?
False
Let d(m) = 331*m + 49. Is d(10) a composite number?
False
Is 2588*(10/8 - 1) a composite number?
False
Let h(n) = -316*n - 21. Is h(-5) a prime number?
True
Let t be 6/9 + (-34)/(-3). Suppose 0 = -3*w - t, -12 = -4*u + 5*w. Is -124*(u + 10/8) a prime number?
False
Let v(q) = -q - 6. Suppose 6 = -b - 6. Is v(b) a composite number?
True
Suppose 0 = -4*l + 153 + 55. Suppose c + 0*c + l = 3*y, 0 = 2*c - 10. Is y composite?
False
Let q = 223 + 214. Is q a composite number?
True
Suppose -3*y - 5*g = -11947, -4*g + 3973 = -y + 2*y. Is y a composite number?
False
Let k = 644 + -3. Is k prime?
True
Suppose -626 = -5*d + 189. Is d prime?
True
Let j(d) = -31*d - 9. 