(-5). Suppose k + i = 5*k. Is k composite?
True
Let l = -230 - -411. Is l composite?
False
Suppose 4*c - 16 = -j, 4*c + 4*j - 1 - 3 = 0. Suppose 3*d = -4*z + 5*d + 1262, 4*z + c*d = 1283. Is z a prime number?
True
Is ((-423)/18)/(1/(-2)) composite?
False
Suppose -12*i + 9*i + 1986 = 0. Is i a composite number?
True
Is -1*-4*(-758)/(-4) a composite number?
True
Suppose -3*o + 1345 = -5*w, -3*w + 439 = -0*o + o. Is o prime?
False
Let u(i) = 2*i**2 + 7*i. Suppose 2*o = 0, 2*g - o + 4 = -0*g. Let y(h) = -3*h**2 - 6*h - 1. Let a(s) = g*u(s) - 3*y(s). Is a(-2) a composite number?
True
Suppose 2*k - 83 - 121 = 0. Suppose -6 = -s - i, -12 = -7*i + 3*i. Suppose k = s*r - r. Is r composite?
True
Let v(w) = -4*w**3 + 6 - 7*w**2 + w**3 + 4*w**3 + 5*w + 0*w. Let y be v(6). Suppose 37 = -y*k + k. Is k composite?
False
Let k = -1 + 99. Suppose -8 - k = -2*m. Is m prime?
True
Let a(m) = -4 + 339 - 36 + m. Is a(0) composite?
True
Let x(j) = 44*j**2 + 4*j + 7. Is x(-3) composite?
True
Let m = -4 - 0. Is 3 - (-65 - 4/m) a prime number?
True
Let s = 2 + 0. Let q be ((-21)/(-2))/(3/60). Suppose s*y = -5*v - 3*y + 300, -q = -4*v + 2*y. Is v a prime number?
False
Let o(z) = 0 + 21*z - 3 + 2. Let f be o(2). Let l = 78 - f. Is l a prime number?
True
Suppose 2362 - 448 = 6*j. Is j prime?
False
Suppose 0 = -7*j - 122 + 3559. Is j composite?
False
Let w be 10 + 1*(0 + 2). Suppose -2*n + w - 2 = 0. Suppose -339 = -n*c + b, 4*c + c - 323 = -3*b. Is c composite?
False
Let t(k) = 50*k**2 + 8*k + 7. Is t(7) a composite number?
True
Is (-4*(-4)/(-8))/1 + 5035 a composite number?
True
Let g = -10 + 14. Suppose g*t + t - 185 = 0. Is t composite?
False
Let z(p) = -3*p + 1. Let c be z(1). Is c/4*-114 + 2 a prime number?
True
Let i(m) = -3*m - 3. Let x be i(3). Is 5*2*(-102)/x a prime number?
False
Suppose 0*u = 5*u - 1465. Is u a prime number?
True
Let y(w) = w**3 + 6*w**2 - 9*w + 5. Is y(-7) a prime number?
True
Suppose -4*b = -1808 - 84. Is b composite?
True
Let l(s) = 46*s**2 - 4*s + 2. Let x be l(3). Suppose 3*w - w = -x. Is (-1)/(-3) + w/(-6) composite?
True
Suppose 3*k + n = -7350, 0 = -4*k - 5*n - 4410 - 5379. Let y be k/21 + (-2)/7. Let u = y - -170. Is u a composite number?
False
Let m(y) = y**3 + 10*y**2 - y + 7. Suppose 4*q - 7 + 43 = 0. Let z be m(q). Suppose -4*o = -3*u - z, -3*o = -4*u - 12 - 66. Is o composite?
True
Suppose 20 = 2*v + 3*v. Suppose -v*p = 115 - 567. Is p prime?
True
Let i(g) be the third derivative of -g**6/48 + g**5/60 + g**4/24 - g**2. Let j(w) be the second derivative of i(w). Is j(-3) prime?
True
Suppose -v - 2564 = -5*v. Is v a composite number?
False
Let g be ((-1179)/(-6) + -4)*2. Let c = g - -406. Is c a prime number?
False
Let b(h) = h - 3. Let f be b(-5). Is (4/f)/(1/(-106)) composite?
False
Let p = -243 + 874. Is p a composite number?
False
Let k = 181 - 128. Is k prime?
True
Is 674/5 + 4/(-5) composite?
True
Let f(k) = -k**3 + 5*k**2 + 4*k + 9. Let s be f(6). Is (-38)/s*(-6)/(-4) a prime number?
True
Let t be -3 - (3/(-3) - 12). Is (-3274)/(-5) - (-2)/t composite?
True
Suppose 4*n - 5*x = 31, -2*n - 4*x - 8 = -n. Suppose 94 = n*r - 126. Suppose 3*y = 4*y - r. Is y prime?
False
Suppose 0*y + 72 = -4*y. Let s be (-3)/(y/(-698))*-3. Let w = s + -230. Is w prime?
False
Let w = 9 + -7. Suppose -i - w*i = -111. Suppose 0 = a - 0*a - i. Is a a prime number?
True
Let b = -6 + 11. Suppose 0 = b*v + 15, -92 = -g - 3*v - 14. Is g a prime number?
False
Suppose 0 = -13*p + 8*p + 2345. Is p composite?
True
Suppose 2*x + 1 = 5. Suppose -1 = -x*b + 3*b. Is -1 - (-96)/(b - -2) a prime number?
False
Suppose 4*t - 6*t - 40 = 0. Let v be t*32*8/(-10). Suppose -g + 117 = 5*o, 0 = -4*g - o + 3*o + v. Is g composite?
False
Let g(h) = 26*h - 5. Suppose z + 7 = 3*i - 4*z, -4*z + 20 = 4*i. Let f be g(i). Suppose -u - f = -392. Is u a prime number?
True
Let u be -1 + (-8)/3*-3. Suppose 1 = -2*i + u. Suppose 0 = -i*w - 29 + 131. Is w a composite number?
True
Suppose 0 = -2*k + 4*u - 4, 7*k - 3*k - 5*u = -2. Suppose 46 = k*s - 128. Is s a prime number?
False
Let z(k) = k**2. Let x be z(-2). Suppose -x*l - 20 = 0, 0*l - 4*l = 3*s - 451. Is s composite?
False
Suppose 5*v - 10 = -g, -3*v - 2 = 5*g - 8. Suppose 4*z - 5*z + 6 = g. Is z a prime number?
False
Let p(v) = -v**3 + 3*v**2 + 3*v - 3. Let f be p(3). Suppose -f*w - 200 = -w. Let x = 9 - w. Is x prime?
False
Suppose 4*o - p - 2521 = 0, 2*o + 5*p - 1908 = -o. Is o prime?
True
Let k = 194 + -120. Is k composite?
True
Suppose -3*i + 3*z - 16 = -i, 3*i = z - 10. Let b be (i/3)/((-2)/(-3)). Let q(p) = -120*p**3 - 1. Is q(b) composite?
True
Is ((-55)/22)/(2 + 1215/(-606)) a prime number?
False
Let y(f) = -4*f - 4. Let b be y(11). Is 1390/4*b/(-40) a composite number?
True
Let k(u) = -13*u**2 + 1. Let q be k(1). Let x be ((-8)/(-6))/(4/q). Let n = x - -15. Is n prime?
True
Suppose 5027 = 3*r - 6382. Is r a prime number?
True
Let a(l) = l**2 + l - 45. Let p be a(0). Let t = 70 + p. Is t a prime number?
False
Let u(a) = -66*a + 19. Let d be 4/10*(-20 + 0). Is u(d) a prime number?
True
Let t = 35 + 15. Is 58/4*t/5 a prime number?
False
Let w(q) = -2*q + 2. Let u be w(-2). Is u*(-39)/(-12)*2 prime?
False
Let o(k) = 2*k**2 - 7*k + 5. Is o(6) composite?
True
Let r(j) = -j + 5. Let c be r(4). Suppose -a + c + 11 = 0. Is 2/((a/(-21))/(-2)) a composite number?
False
Suppose -307 = 3*u - 787. Is 8/(-24) + u/3 prime?
True
Let a(t) = -1 - t - t + 0 + t**3 - 6*t + 10*t**2. Is a(-8) a prime number?
True
Suppose -4*m - m - d = -2550, -5*d - 2069 = -4*m. Is m a composite number?
True
Let y(q) = -4*q + 1. Let z be y(-1). Suppose -6*k = -z*k - 49. Is k composite?
True
Suppose -b = 0, 614 = 2*u + b + 2*b. Is u composite?
False
Let d be (12/6)/((-4)/(-86)). Suppose 5*f - 2*f = 5*u + d, -5*f - 4*u + 47 = 0. Is f composite?
False
Suppose -11 = -z + 4. Suppose -4*j = j - z. Suppose -j*y - v - 4*v = -19, 0 = -5*y + 2*v + 11. Is y a prime number?
True
Let v(f) be the first derivative of -f**4/4 + 2*f**3 + 2*f**2 + 6*f - 3. Is v(5) a composite number?
True
Suppose 2*g - 6 = -4*q, 2*g - 6 = 4*q - 0. Is (97/g)/((-1)/(-3)) a composite number?
False
Let d be 0 - (-2 + 2 - 0). Let z(j) = -12*j. Let u be z(-1). Suppose d = -2*h - b + 21, h - 9 - u = -4*b. Is h a prime number?
False
Let u(g) be the second derivative of 9/2*g**2 + 0 + 11/6*g**3 - 2*g - 1/12*g**4. Is u(10) a composite number?
False
Let s(k) = -98*k - 5. Is s(-6) prime?
False
Let h(o) = -o**3 + 5*o**2 + 4*o + 1. Is h(-4) composite?
True
Let m(q) = q + 4. Let l be m(0). Let s = l + -8. Let n(w) = w**2 - 1. Is n(s) composite?
True
Let y be -1*(1 + 1 + 1). Let i(g) = -19*g - 4. Is i(y) a composite number?
False
Let i(o) = -o + 360. Let b be i(0). Suppose b = 4*s - 3*a, -3*s - 11 = 4*a - 256. Is s a composite number?
True
Let f(q) be the third derivative of q**4/8 - q**3/2 + 3*q**2. Let i be f(4). Is 2/i - 4658/(-18) a composite number?
True
Suppose 4*h - 12 - 12 = -3*t, -3*t - 3*h = -21. Suppose -4*m - 415 = -t*x + x, 5*x - 681 = 4*m. Is x composite?
True
Let z be (-8)/3*(0 - 3). Let g(a) = -a**2 + 18*a + 11. Let s be g(z). Suppose -j - 24 + s = 0. Is j a prime number?
True
Let g = -2 + 7. Suppose 1 = 5*v + g*h - 4, 3 = 3*v - 3*h. Let m(a) = 159*a. Is m(v) a composite number?
True
Let l(x) = -x**3 - 6*x**2 + 7*x. Let c be l(-7). Let q(t) = t**3 - t + 67. Let a be q(c). Let s = a - 16. Is s prime?
False
Let w be ((-36)/(-15))/(6/220). Let i be w/6 - 1/(-3). Suppose -4*h = -a + 5, -70 + i = -3*a + 4*h. Is a prime?
False
Let d be (-2)/(-3)*(-9)/(-3). Let q be (d - 3)*5 - -2. Let r(z) = 2*z**2 + 2*z + 3. Is r(q) prime?
False
Let t(o) = -9*o**3 + o**2 - 15*o - 12. Is t(-5) prime?
True
Let x be (-15)/3 + (0 - 1). Let r(j) = -4*j - 9. Is r(x) composite?
True
Let m = 31 + -18. Let x(q) = q**3 - 10*q**2 + 13*q + 1. Is x(m) composite?
False
Let h be (-4)/((-8)/46)*11. Suppose -2*y + 86 = -2*t, 3*t + 60 = -4*y + h. Is y a prime number?
False
Is (26/4 + 0)*178 prime?
False
Let n(r) = -r**2 - 9*r. Let b be n(-9). Suppose b = 4*i + 5 - 17. Suppose 0 = 4*s - 3*l - 139, s = -i*l - 0*l + 16. Is s composite?
False
Suppose -3*l - 2*o = -4, 5*o - 10 = 5*l - 50. Suppose -l = -3*i - 2*z + 21, -i + 6 = 3*z. Is i a prime number?
False
Let m = 16 + 35. Is m composite?
True
Suppose -496 = -4*p - 0*p + 4*k, 0 = p -