+ 3*a, 4*t = 5*a + 9691. Is t a composite number?
True
Let g(v) = v**2 - 3*v - 1. Let c be g(4). Suppose -4*m = -0*q - 2*q + 34, -45 = -3*q + c*m. Suppose 2*u = -4*x - q + 93, x + u - 21 = 0. Is x a prime number?
True
Let w be -2 + (-12)/(-3) - -5. Let d(r) = r - 5. Let s be d(w). Suppose 190 = s*z - 132. Is z prime?
False
Let x be ((-3)/(-6))/(3/990). Suppose j = 4*j - x. Suppose -4*m = c - j, -79 = -3*c + 2*c + 4*m. Is c prime?
True
Suppose 2*l + 6 = 14. Suppose u + l = 2. Is (-971)/(-3) - u/(-3) a composite number?
True
Let m(z) = 4 - 5 - 8 + 2*z. Let b be ((-4)/(-10))/((-1)/(-15)). Is m(b) prime?
True
Let b = 0 + 3. Is b*-2*(-293)/6 composite?
False
Let h = -3 + 3. Suppose 5*o + 25 = 0, 2*d + o = 2 - 1. Suppose d*i + 2*f + 0*f - 347 = 0, 3*f - 12 = h. Is i a prime number?
True
Suppose -4 - 8 = -3*r. Let p be 25/r*(-113 - -5). Is p/(-36) - 2/(-8) composite?
False
Suppose -3*k - 8 = -2*k. Let i be (-6)/2 + k/4. Let x(h) = h**2 + 4*h + 5. Is x(i) composite?
True
Let l be 1 + (-7)/3*-3. Suppose -l*m = -3*m - 75. Is m composite?
True
Let j(z) = -3*z**3 - 3*z - 8. Is j(-5) prime?
False
Let d be (0 + 1)*(-8 + 4). Let c(r) = r**3 + 5*r**2 + 3*r - 2. Let n be c(d). Suppose -n*g = -7*g + 105. Is g a composite number?
True
Let f(s) = 3 - 2 - 4*s + 4*s**2 + 5 - 2. Let d be f(4). Suppose 5*g = g + d. Is g composite?
False
Suppose 0 = -t + 3 - 1. Is 24 - t/((-2)/(-1)) a prime number?
True
Suppose 5*u + 2*d - 1277 = 0, -u + 0*u - 4*d = -241. Is u prime?
True
Let s = -8145 - -13882. Is s composite?
False
Let j = -1685 + 2464. Is j prime?
False
Suppose -2 - 1 = 3*t. Let w be (3/(-6))/(t/8). Is w/(-6) + (-1015)/(-15) prime?
True
Let a = -68 + 153. Is a composite?
True
Is 2/(-2 - 44/(-21)) a prime number?
False
Let o(w) be the first derivative of -w**5/120 + 13*w**4/24 + w**3/3 - 1. Let s(l) be the third derivative of o(l). Is s(6) a composite number?
False
Suppose -5*f - 3*c + 11656 = -0*c, 3*f - 6984 = -5*c. Is f prime?
True
Is 12*(-5)/((-60)/237) composite?
True
Is 2 - -145 - (-6)/(-3) a composite number?
True
Let o = 51 - 18. Let m = 19 - o. Is 4/m + (-130)/(-14) prime?
False
Let n be (-1)/((-2)/(-20)*-2). Suppose -n*b = -194 + 39. Is b a prime number?
True
Let q be (-5 - -6)/(1/(-7)). Let x = q + 96. Is x prime?
True
Suppose 0 = -3*y - 2*y - w + 28, 4*y = 5*w + 34. Let m(l) = l**2 - l + 1. Let r(i) = 2*i**2 - i. Let d(v) = 5*m(v) - r(v). Is d(y) prime?
True
Is 20/70 + 2931/7 a composite number?
False
Let b(z) be the first derivative of 5*z**3/3 + z**2/2 + 9*z + 1. Let a be b(9). Suppose -4*s + a = -61. Is s a composite number?
True
Let r = -3875 + 6208. Is r composite?
False
Suppose 5*u - 45 + 15 = 0. Is (6/2)/u*238 a prime number?
False
Let n = 0 - -3. Let k be -1*(-2 + 1 + -27). Let o = k - n. Is o a prime number?
False
Let u(j) = -j**3 - 4*j**2 + 3*j - 1. Let t(z) = 51*z**3 - 2*z**2 + z. Let o be t(1). Let s be (-2)/(-8) + o/(-8). Is u(s) a composite number?
False
Let r(m) = -m**3 + 9*m**2 - 4*m + 0*m**3 - 3 - m + 0*m**3. Let n(t) = -t + 8. Let w be n(0). Is r(w) a prime number?
False
Suppose -4*h + 5*j + 4 = j, 2*j + 1 = 3*h. Is h + -1 - (-165)/5 composite?
False
Suppose -8 = 4*w - 3*l, -l - 6 = 3*w + 4*l. Let q(x) = 5*x**3 - 2*x**2 + 1. Let r be q(1). Is -2*((-98)/r + w) a composite number?
False
Let n = 69 - 16. Is n a composite number?
False
Let h(t) = -t**3 - 7*t**2 - 5*t + 6. Let i be h(-6). Suppose 0 = -y + 3*j - 1, -y = j - i - 7. Suppose -400 = -y*s + 75. Is s prime?
False
Let j be (12/(-4))/(-3) - 2. Is j - -125 - (5 - 8) prime?
True
Let h(a) = -a**3 + 3*a**2 + 10*a + 6. Let u be h(-7). Suppose 0 = -2*m + 4*s + u, -5*m + 640 = -s - 416. Is m a composite number?
False
Let j(i) = 2*i - 7. Suppose u = 3*u - 8. Let o = 9 - u. Is j(o) composite?
False
Let d(m) = -m**3 + 8*m**2 - 6*m - 5. Suppose n = -4*n - 25. Let b be n*(2 - 32/10). Is d(b) composite?
False
Let x(y) = y**2 - 7*y - 6. Let q(z) = 2*z**2 - 6*z - 6. Let v(t) = -2*q(t) + 3*x(t). Is v(-5) a composite number?
True
Let p(l) = -l - 1. Let v be p(-8). Let z(r) = r + 4. Let j(o) = 4*o + 15. Let c(k) = -2*j(k) + 9*z(k). Is c(v) composite?
False
Suppose 61 = -u - 17. Let c be (-2 + 12)*31/2. Let f = c + u. Is f a composite number?
True
Let m(n) be the third derivative of n**4/8 - n**3/2 - 3*n**2. Let x be m(-3). Is ((-4)/x)/((-2)/(-114)) composite?
False
Let g = 27 + 12. Is g a prime number?
False
Let z(w) = 0 + 6*w + 2 - 15*w. Let d be z(3). Let h = 26 - d. Is h a prime number?
False
Let i(x) = -x**3 + 18*x**2 - 13*x - 11. Is i(16) composite?
False
Let f(q) = 8*q - q**2 - 5 - 4 - 1 + 1. Let u be f(8). Let m = 32 + u. Is m prime?
True
Suppose -b + 4 = b. Suppose -b*v - v = -69. Is v prime?
True
Suppose -5*r + 7 = -4*z - 11, -2*z = 4*r - 4. Suppose 0 = -t - 0*t + r. Suppose -4*f - 2*d + 18 = -4*d, -t*f + 4*d = 6. Is f prime?
True
Suppose 4*t + 0*t - 8 = 0. Suppose 3*x + 5 = -5*f, 4*f = t*f + 2*x + 14. Suppose -4*d - 258 = -f*w, 5*w - 2*d - 736 = -99. Is w prime?
True
Let i(p) = -p**3 + 11*p**2 + 11*p + 15. Let m be i(12). Is (-4)/(-4)*111/m composite?
False
Let r be 448/9 - (-2)/9. Let q = 85 - r. Is q a composite number?
True
Suppose -3234 = -5*y - 2*h + 3*h, y + h - 648 = 0. Suppose 5*u - y - 368 = 0. Is u a prime number?
False
Let u(h) = 37*h - 34. Is u(3) composite?
True
Suppose 0 = 8*b + 2422 - 7118. Is b composite?
False
Suppose -4*m + 67 = -201. Let v = 152 - m. Is v a prime number?
False
Let h = 3 - 3. Suppose -5*l + 12 = -v + 47, h = -2*l - 10. Suppose -3 = c - v. Is c prime?
True
Let s = -12 + 17. Suppose -2*m - g = -s, -m = -0*g - g + 5. Suppose -k + m*k = -35. Is k composite?
True
Is ((-87)/5)/((-6)/30) prime?
False
Suppose 0*i - 12 = -4*i. Suppose i*j - j + 14 = 0. Let a(k) = -k**2 - 6*k + 10. Is a(j) composite?
False
Suppose 0 = -14*s + 13*s + 69. Is s prime?
False
Let g = 73 + 27. Let t(y) = y + 4. Let j be t(-4). Suppose j = -5*q - 5 + g. Is q a prime number?
True
Suppose 0 = b + 30 - 104. Is 1*(0 - -3) + b prime?
False
Let n(c) = 1151*c**3 - c**2 + c. Is n(1) composite?
False
Suppose 7*b - 445 = 2*b. Is b prime?
True
Suppose 3*b + 2 = 2*b. Let f = -8 - b. Is (-1264)/(-12) - 4/f a composite number?
True
Let m = 507 + 166. Is m prime?
True
Let k be -8*((-20)/(-8) - 3). Suppose -v + 2*s + 61 = 0, 5*v + k*s - 5*s - 296 = 0. Is v a prime number?
True
Let z(g) = -6*g**3 - g**2 + 3*g + 1. Let d be z(-3). Let x = d + -98. Is x prime?
True
Suppose -4*h + 682 = -202. Is h composite?
True
Suppose -3*d - 11 = -3*l - 2, 22 = d + 4*l. Suppose d*n - 111 = 143. Is n prime?
True
Let n = -35 - -25. Let k(r) = r + 15. Let c be k(n). Suppose -3*h - 100 = -c*f, 3*f + h - 97 = -f. Is f a composite number?
False
Let h(b) = 2476*b**3 + 3*b**2 - b - 1. Is h(1) prime?
True
Let v = 417 + 82. Is v composite?
False
Suppose -z = 4*z. Suppose -m = -z*m - 3. Is 3 - (m - (-399)/(-3)) prime?
False
Let h(v) = v**3 - 7*v**2 + v - 1. Let u be h(7). Suppose -u*j + 310 = -j. Is j prime?
False
Let q(x) be the second derivative of 17*x**3/2 + 2*x**2 + 2*x. Let o be q(3). Suppose -3*c + c = n - o, -171 = -n + 5*c. Is n a composite number?
True
Let k = -5 - -9. Suppose -t = -k*t. Suppose t*m = -m + 35. Is m a prime number?
False
Suppose 2 = 2*x - 2. Suppose 0 = 3*j + 5*w + 9, 4 = -x*j + w - 2. Is 106*(2 - j/(-2)) composite?
False
Suppose -4*y = -5*h - 40, -4*y = -2*y - 2*h - 20. Let s be 2/y - (-3)/(-15). Suppose s = f + 2*f - 171. Is f composite?
True
Let c = -19 - -56. Is c composite?
False
Let b = 599 - 130. Is b composite?
True
Suppose -22*t + 24*t = 422. Is t a prime number?
True
Let l(a) = 2*a + 6 + 0*a - 2*a - a. Let n be l(3). Suppose n*k - k - 170 = 0. Is k a composite number?
True
Suppose -5*a + 15 + 5 = 0. Is (21/a)/((-1)/(-4)) a composite number?
True
Let k(d) = -d - 3. Let v = -18 - -11. Is k(v) composite?
True
Let z = 8 + -8. Suppose z = 3*r + r. Is r - (-95 + (2 - 0)) a composite number?
True
Let k = 562 + -159. Is k a prime number?
False
Is (-932)/(-3) - 2/(-6) a prime number?
True
Let r(o) = o**3 - 4*o**2 + o - 2. Let y(p) = -p**3 + 4*p**2 - 2*p + 2. Let a(z) = 2*r(z) + 3*y(z). Let l be a(3). Is (-147)/(9/3)*l a prime number?
False
Let j(p) = 7*p**2 + 18*p + 16. Let d(z) = -4*z**2 - 9*z - 8. Let b(w) = -5*d(w) - 3*j(w). Let h be b(-6). Is 4/h + (-932)/(-20) composite?
False
Is 12/1*489/12 compos