+ 16 = -4*g + b. Let z be (-4)/g*3/6. Suppose z*r - 86 = -8. Is r composite?
True
Suppose 0*o - 4689 = -9*o. Is o a prime number?
True
Let l(z) = 14*z + 7. Let d = -1 - 5. Let p(w) = 28*w + 13. Let r(x) = d*p(x) + 11*l(x). Is r(-5) composite?
True
Let c = 4 - 5. Is -106*((-1)/(-2))/c composite?
False
Suppose 5*f - 4*z = 457, z - 57 - 29 = -f. Is f prime?
True
Suppose 0 = -4*w + 2329 + 1231. Suppose v + w = -4*v. Let t = v - -255. Is t composite?
True
Suppose 0 = t + 2*m - 675, -4*t + 2*m + 2058 = -652. Is t a prime number?
True
Suppose -9 - 1 = -5*y, -3*l = y - 8. Let v(f) = 7 + 0*f + 2 + l*f. Is v(7) prime?
True
Suppose -o + 772 = 2*u, -u = 3*o + 3*u - 2322. Is o a prime number?
False
Let w(q) = q**3 - 2*q - 1. Let l be w(2). Suppose -3*x = -2*x + 3*z - 104, -5*x - z + 534 = 0. Suppose -l*f + f = k - x, f + 5*k = 40. Is f composite?
True
Suppose 50 = -2*f - 5*x, f - 84 = 5*f + 2*x. Let u = 17 - f. Is u a prime number?
True
Is 4791/((-5)/((-15)/3)) a composite number?
True
Let u be (-4)/22 + (-72)/(-33). Suppose -2*j - 8 + u = 0, -g = -3*j - 56. Is g composite?
False
Let c(h) = -4*h**3 - h**2 - h + 1. Let k be c(-3). Suppose w = -0*w + k. Let v = 182 - w. Is v a composite number?
False
Let v be -1 + 1 + 2 + -46. Let h = -25 - v. Is h composite?
False
Let z(c) be the first derivative of 3 + 3*c - 1/3*c**3 + 9/2*c**2. Is z(8) a prime number?
True
Suppose 6*r + 2656 - 388 = 0. Let c = 601 + r. Is c composite?
False
Suppose -l - 5*a + 501 + 6 = 0, 2455 = 5*l + 5*a. Is l prime?
True
Suppose 0 = 3*k - 3. Suppose 0 = -h + 236 - k. Is h prime?
False
Let w(s) = -5*s**2 - 2*s - 1. Let o(u) = -19*u**2 - 8*u - 5. Let g(k) = 4*o(k) - 18*w(k). Is g(6) prime?
False
Let d = 265 - 152. Is d a composite number?
False
Suppose 2*u - 4*o - 16 = 0, -5*u - 4*o - 4 = -u. Suppose u*j - 100 = -6. Is j composite?
False
Let q(g) = 3*g**2 - 8*g - 12. Is q(-17) a prime number?
True
Let b be 2/6 - 247/3. Is b/((-8)/12 - 0) prime?
False
Let i = -9 + 3. Let g be (-4)/6*i/4. Is 6 + 1 + (-1)/g a composite number?
True
Let k be 1 - (-2 - (0 + 2)). Suppose -268 = -k*a + a. Is a/1 + 0 + 0 prime?
True
Let l be -51 - -1*(-1 + 2). Let d = 2 - -3. Let x = d - l. Is x a composite number?
True
Let l(j) = -3*j + 2. Let u be l(-4). Let r = -152 - u. Let g = -77 - r. Is g prime?
True
Let k(x) = -x - 5. Let j be k(-5). Suppose 5*q - 104 = 161. Suppose -w = -j*w - q. Is w prime?
True
Suppose m - 2*m + 1058 = 0. Suppose -5*d + m = -3*b, -3*b = 2 + 1. Is d a composite number?
False
Let p be -3*(-2 + (-105)/(-9)). Let j be 2/(-9) + p/(-9). Suppose 5*k - 42 = -j*l, 5*l + 3*k = -41 + 127. Is l a composite number?
False
Let u(a) be the second derivative of 1/2*a**2 + 3*a + 1/3*a**3 - 1/20*a**5 + 5/12*a**4 + 0. Is u(5) composite?
False
Let b be (-2)/5*(-13 - -3). Suppose -3*s + b*c + 1 - 9 = 0, 0 = 4*s + 5*c - 10. Suppose -f + 4*f - 237 = s. Is f prime?
True
Let c(g) = 94*g - 1. Is c(1) a composite number?
True
Suppose -4*q + 411 = q - h, 5*q = -5*h + 435. Is q composite?
False
Let i(c) = 12*c**3 + c**2 + c + 9. Is i(4) a prime number?
True
Let w(u) = -u**2 + 8*u. Let l be w(8). Suppose -2*x - 5*s - 7 = -44, l = 2*x - s - 67. Is x a prime number?
True
Let w(d) = -d - 4 + 3*d + 15*d**2 + 1. Let t be w(2). Suppose 28 = l - t. Is l a composite number?
False
Let k(r) = 2*r**3 - 8*r**2 + 9*r + 8. Is k(5) composite?
False
Let r = -41 - -532. Is r composite?
False
Let n = 275 + -484. Let a = n + 358. Is a composite?
False
Suppose -4*t - 5*u = -152, -2*t + 5*t - 5*u = 149. Is t a composite number?
False
Let b be ((-9)/(-3) + -15)/(-2). Is 49 + -6*3/b a prime number?
False
Let a = 110 + 69. Is a a composite number?
False
Let x = 3010 + -1545. Is x a composite number?
True
Suppose -4*z + 2*z + 12 = 0. Let h = z - -9. Is h composite?
True
Let y = -2 + 4. Suppose 6*f - y*f - 188 = 0. Is f a prime number?
True
Let x(d) = -d**3 - 5*d**2 + 5*d - 2. Let l be x(-6). Suppose -q + l*z - 79 = -2*q, 3*z = 5*q - 441. Is q a composite number?
True
Is (1453 + 4 - -5) + 3 + -6 composite?
False
Let b(p) = 10*p**2 - 2*p + 1. Let v(n) = -n**2 + 6*n - 1. Let z be v(5). Let m be (2/z)/(6/12). Is b(m) a composite number?
True
Let v be 162 - (-1 + 2 + -4). Suppose -5*y - 190 = v. Let h = -22 - y. Is h a prime number?
False
Let b be (-10)/25 - (-97)/5. Let u = b + 76. Let z = u - 46. Is z prime?
False
Suppose 1681 = t + 4*v - 810, 0 = 3*t + 4*v - 7497. Is t a composite number?
False
Suppose -2*k + 5*o + 500 = 3*k, -o - 391 = -4*k. Is k prime?
True
Let c = -15 - -16. Is ((-320)/(-2) - c) + 0 composite?
True
Suppose 6*h = 2*h + 8. Suppose -119 = -k + 2*n, h*k + 5*n - 126 = k. Is k composite?
True
Let p(j) = -j**3 - 14*j**2 - 12*j - 7. Is p(-14) a composite number?
True
Is (-2 - 5)*31*-1 a prime number?
False
Let j = 37 - -1. Is j a prime number?
False
Suppose 2*d = -d + 201. Is d a composite number?
False
Is (-6 - -3)*(-2609)/3 composite?
False
Let c(n) = -n**2 + 6*n + 5. Let m be ((-6)/18)/((-2)/36). Let k be c(m). Let v(z) = z**2 + 6*z - 2. Is v(k) prime?
True
Suppose 2*p = -4*t - 0*t + 16, -3*p = -5*t + 9. Is (1 + p)*18 + 1 prime?
False
Let w be (2/6)/(4/(-12)). Let b(q) = 3*q**2 - 1. Let d be b(w). Suppose 2*t - 3*k + 0 = 9, 2*t - d*k = 12. Is t a prime number?
False
Let b be (7/2 + -3)*-12. Let j(m) = m**3 + 11*m**2 + 9*m + 7. Let n be j(b). Suppose -5*t = -5, p + t - n = 55. Is p composite?
True
Is -103*(0/(-3) + -3) a composite number?
True
Let h = -802 + 1195. Is h a composite number?
True
Let a(b) = -19*b**3 - 4*b**2 - b - 7. Let y be a(-3). Let p = y - 315. Is p a prime number?
False
Let x = 1770 + -751. Is x composite?
False
Let p(o) = -386*o**3 - 2*o**2 + 3*o + 5. Is p(-2) prime?
True
Suppose -2*a = -2 - 2. Suppose -a*z + 9 + 3 = 0. Suppose -3*k - 21 = -z*k. Is k composite?
False
Suppose 2*z = -0*z + 6. Suppose -5*b = -z*b - 178. Is b prime?
True
Suppose i - 60 + 697 = 0. Let b = i - -912. Suppose 0 = f + 4*f - b. Is f composite?
True
Suppose -6*u + 285 + 681 = 0. Let d = 372 - u. Is d a composite number?
False
Let v = 16 + -16. Suppose 3*m + 0*m - 102 = v. Is m composite?
True
Is (-4)/(-6) - 1 - (-11244)/9 a prime number?
True
Let w(v) = -v**2 - 11*v - 12. Let t be w(-8). Let a = t - 1. Is a a composite number?
False
Let i(s) = 2*s**2 - 5*s - 9. Let o be i(7). Suppose -44 = -g - 5*p + o, 0 = g + 3*p - 104. Is g a composite number?
False
Let t(q) = q**3 + 4*q**2 - 6*q - 4. Let i be t(-5). Let y be (1/3)/(1/3). Is 22 - (y + -2)*i composite?
False
Let j(x) be the first derivative of -x**4/4 + 8*x**3/3 + 10*x + 1. Let b be (-84)/(-14) + 4/2 + 0. Is j(b) prime?
False
Is 1274/10 - (-10)/(-25) prime?
True
Let t(k) = k**3 - 18*k**2 - 23*k + 6. Is t(20) prime?
False
Let s(g) = g**2 - 17. Is s(14) a prime number?
True
Suppose -27 = 3*w - 5*y, 4*w = 2*w - 5*y + 7. Let o be w/2 - (-5 - 0). Is o - 4 - -23*4 composite?
True
Let o be 0/(0 - (1 - -1)). Suppose 7*a - 2*a = o. Suppose 4*t + l - 1580 + 92 = a, -t + l + 377 = 0. Is t a prime number?
True
Let i(h) = 51*h - 27. Is i(20) composite?
True
Suppose o - 5 = -3. Suppose -5*d - 2*w = -177, d - o*w = -0*d + 33. Suppose -24 = -4*p - 2*y, -4*p - y + d = 9. Is p a prime number?
True
Suppose 4*v + 16 = 0, 3*n + 2*v = 4*v + 7931. Let a = n + -1790. Suppose -5*c = -a + 216. Is c a prime number?
True
Let p = -456 - -667. Is p composite?
False
Suppose 2*b = -3*u + 53, 0*u + 3*u = -9. Suppose 2*i + b = 185. Let f = -46 + i. Is f prime?
True
Is 9459/15 + 4/10 prime?
True
Is (-12)/(-4) - 0 - -62 a prime number?
False
Let l(n) = 6*n + 5. Is l(14) composite?
False
Let n(t) = t**3 - 4*t**2 + 2*t + 2. Let k be n(2). Let x be (14/(-4))/((-1)/k). Let f(i) = i**2 + 6. Is f(x) a prime number?
False
Let p(w) = w**2 + 23*w + 35. Is p(27) a composite number?
True
Suppose -3*j - 2*j + 40 = 0. Let d = -11 + j. Is d + 1 - (1 - 86) a prime number?
True
Let v(a) = -a**3 - 3*a + 1. Let w be ((-8)/4)/(2/4). Is v(w) prime?
False
Suppose -2*j + 5*j - m - 1331 = 0, -3*m - 2213 = -5*j. Suppose -4*s = -3*q - q + 24, 2*s = 0. Suppose j = q*r - r. Is r a prime number?
True
Suppose -3*n = -5*n + 136. Suppose 2*y = -5*d + n, d = 3*d. Is y prime?
False
Suppose 2*i = 3*i - 341. Suppose -88 = h - i. Suppose -5*c + h + 192 = 0. Is c prime?
True
Let w(h) = 2 - 2 + 1 + h + 6. Let p be w(7). Is (6/4)/(1/p) a composite numb