+ z. Is s composite?
False
Let a = -343 - -8744. Is a composite?
True
Let n = 39513 - 2860. Is n composite?
False
Suppose -7*z + 5*z = -24. Let f be -395*(-2 - z/(-4)). Let m = 690 + f. Is m composite?
True
Let m(n) = 3 - 4*n - n**2 - n**3 - 2*n**2 + 3*n. Let b = 998 + -1002. Is m(b) composite?
False
Let d = 165 - 318. Suppose 0 = -4*b - 4*n - 96, -2*b - 3*n - 24 = -7*n. Let f = b - d. Is f a composite number?
True
Is -2*6057/36*(-4)/2 a prime number?
True
Let k(m) = 1044*m**3 - m**2 + m - 3. Let v be k(3). Suppose 9*c - 14580 = v. Is c prime?
True
Let y = -7 - -8. Let o be -6*(y - (-3)/(-2)). Suppose 0 = -o*a + 7*a - 1516. Is a prime?
True
Is (-18)/24 + 3151/4 a composite number?
False
Let y(m) = 10*m**2 + 4*m + 1. Let k(c) = c**2 - 6*c + 7. Let f be k(5). Suppose -f = 2*a + 5*p + 5, -3*a + 6 = 2*p. Is y(a) a prime number?
False
Let t(l) = -8*l**3 + 3*l**2 + 18*l - 14. Is t(-9) a prime number?
False
Let v be (-1)/(-2)*(-40)/(-4). Suppose -212 = -3*j - 2*c, 5*c - 367 = -v*j - 22. Suppose u - j = -5*o, 2*u - 159 = o - 0*o. Is u prime?
True
Is 26/(-65) - 23917/(-5) a composite number?
False
Suppose 16 - 1 = 5*c. Suppose -c*u + 3400 + 590 = 0. Suppose 5*w = 1875 + u. Is w a prime number?
True
Let l(c) = c**2 + 2*c - 327. Let v(r) = 2*r**2 + 3*r - 328. Let y(u) = -3*l(u) + 2*v(u). Let o be y(0). Suppose -3*q + 8 = -o. Is q a composite number?
True
Let g(p) = -4692*p + 7. Is g(-1) composite?
True
Suppose 3*t = 8*t - 95. Let m = 24 - t. Suppose -763 = -m*g + 492. Is g composite?
False
Let z be (6/(-15))/(5/(-13675)) - 3. Suppose 3*m - d = 3941, 2*d - 232 = -m + z. Is m composite?
True
Suppose -91103 - 83866 = -9*k. Is k composite?
False
Let n = -64 - -84. Is -1 - (-11093)/5 - (-8)/n a composite number?
True
Let r(z) = -78*z - 20. Let u be r(-10). Suppose 0 = 5*o - 10*o - u. Let t = o - -283. Is t a prime number?
True
Suppose k - b - 7993 = -5*b, 3*k = 2*b + 23979. Is k prime?
True
Let r(t) = -t + 21. Let u(c) = c - 43. Let p(w) = 5*r(w) + 2*u(w). Let q be p(8). Let s(m) = -219*m + 2. Is s(q) prime?
True
Let d = 34170 + 39743. Is d prime?
False
Let a = 31 + -12. Suppose 2*s - 1 = -a. Is 171/6*(-6)/s prime?
True
Let r = 422 - 171. Is r composite?
False
Suppose -4*c = -4*j + 88, j - c = 4*c + 2. Is -634*(j/(-6) + 4) a composite number?
False
Let f = -4640 + -1100. Suppose -74 = 3*b - 2. Is f/b + 6/(-36) composite?
False
Let j(l) = l**3 + 7*l**2 + 13*l + 7. Let s be j(-6). Is (-14)/s - 62172/(-20) a prime number?
True
Suppose 0 = 202*q - 201*q - 466. Is q prime?
False
Let j be (42/35)/((-6)/(-15)). Suppose 0 = 2*y + j*y. Suppose y = -3*m + 1152 - 285. Is m prime?
False
Let z be (-6 - -2) + -4 + (5 - 4). Is 11*634 - z/(21/9) a prime number?
True
Let k(j) = -2*j - 31. Let c be k(-17). Is 482 - (-4)/(-7 + c) a prime number?
False
Suppose -5*c = g - 15, -1 = -g - 3*c + 22. Suppose -3*i - 3*x = -24, x - g = -5*i - 3*x. Suppose -d + 4*d = 0, q = 5*d + i. Is q composite?
False
Let a(k) = -3*k + 7. Let b be a(-4). Let u = b + 204. Is u prime?
True
Suppose -66*q = 14*q - 547280. Is q prime?
True
Let s be 3 + -4 - 4/(-8)*2. Suppose 2*u - u - r = 922, s = -5*u + 2*r + 4610. Is u prime?
False
Let q(v) = -v**3 + 3*v**2 + 4*v + 4. Let t = 5 - 1. Let u be q(t). Suppose -u*w = -156 + 32. Is w composite?
False
Let d(f) = -36*f**2 - 46*f + 1. Is d(-1) prime?
True
Suppose -12*p + 5*p = 56. Let o(q) = -127*q + 57. Is o(p) prime?
False
Let i = -1 - -2. Let v(n) = 39*n - 14 + 14 + 14*n. Is v(i) a composite number?
False
Let w(i) = 5*i**2 + 4*i + 2. Let j(v) = v**2 - v - 2. Let r(u) = -3*j(u) + w(u). Suppose -p = -3*p - 12. Is r(p) a prime number?
False
Suppose 5 = -x - 8. Let d = x - -17. Is 890/d + 4/8 a composite number?
False
Let s(f) be the second derivative of f**4/24 + 163*f**3/6 - 5*f**2/2 - f. Let a(m) be the first derivative of s(m). Is a(0) a composite number?
False
Let j be 33 - 2/((-10)/(-5)). Let w = j + 83. Is w a prime number?
False
Let p(g) = -20*g**3 + 55*g**2 + 72*g + 26. Is p(-19) a prime number?
True
Let l(i) = 0*i**2 - 2*i**2 - 3*i**3 - 4*i**2 + 3*i + 7 - 4. Let m be l(-5). Suppose -5*p + 1018 = m. Is p prime?
False
Let z be 4/(-5) + (-156)/(-20). Is 9 - z - -768*2 a prime number?
False
Let c(t) be the first derivative of 31*t**2/2 + 19*t - 2. Is c(6) prime?
False
Let r be 4*(-5)/(-40)*0/(-2). Suppose 3*h - 682 - 275 = r. Is h a composite number?
True
Let c be 0/2 + -17 + 2124. Suppose d = 2*d - 4*s - 717, 3*d = s + c. Is d a composite number?
False
Suppose -5*d = -3*v - 4, -3*d + 8*d + v - 12 = 0. Suppose -d - 2 = 2*o, 5*o + 197 = n. Is n prime?
False
Let l(g) = -3*g**3 - 6*g**2 + 3*g - 5. Suppose 32 = -5*d + 7. Is l(d) composite?
True
Let p = 16 + -9. Let f(g) = -g**2 + 8*g + 10. Let d be f(p). Suppose -d*u + 13*u + 1156 = 0. Is u composite?
True
Let s(z) = 6*z + 15*z + 11 + 5*z - z**2 - 6*z. Let c(d) = -d**3 - 12*d**2 - 13*d - 8. Let t be c(-11). Is s(t) a prime number?
False
Suppose -63*n = -45*n - 36. Let m(g) = 38*g**2 - g. Let l be m(-1). Suppose 431 + l = n*o. Is o prime?
False
Suppose -7*b + 5*b = 4*o - 594, -4*b + 5*o = -1227. Is b a prime number?
False
Let m be (-336)/(-64) + (-1)/4. Suppose -m*d - 108 = -2*d. Is (-2634)/(-10) - d/(-90) a composite number?
False
Is -4 - (7 - (5 + 4559)) a prime number?
False
Let a = 32 - 18. Suppose 3*x + 0*x + 14 = 5*v, -3*v = x - a. Suppose -2*j = v*j - 498. Is j a prime number?
True
Is (-101)/(-2)*(73 + -63) a prime number?
False
Let l be ((-2)/(-8))/(11/748). Suppose l*q = 7*q + 8690. Is q a composite number?
True
Let u(z) = z**2 - z. Suppose -17 = -3*d - 5*y - 5, -3*y = d - 4. Let f be u(d). Is 4136/f*(-12)/(-8) a prime number?
False
Let i(p) = -5*p**3 + 2*p**2 - 3*p - 3. Let s(j) = j**2 + 8*j + 8. Let b be s(-7). Suppose b = w + 3. Is i(w) prime?
False
Suppose 0 = 3*s + n - 10886, 3*s - 13785 + 2893 = 5*n. Is s a prime number?
False
Suppose -5*g = 2*v - 4193, 3*g = 17*v - 14*v + 2520. Is g prime?
True
Let v = 10595 - 6018. Is v composite?
True
Let w be (-3)/(-3*1/897). Let a = 172 + w. Is a a composite number?
False
Let w = -45301 - -124278. Is w composite?
False
Let a = 4184 - 2035. Is a a prime number?
False
Suppose c + 3*r - 9 = 0, -c + 2*r = 1 - 0. Suppose 0 = c*f - 5097 - 4470. Is f prime?
False
Let g(h) = 3737*h - 136. Is g(10) prime?
False
Suppose s + 14 = 5*o - 6, 4*o = 20. Suppose -g + 2165 = -3*y, -3*g - s*y + 6455 = -4*y. Is g a composite number?
False
Let r(p) = -p**2 + 7*p + 21. Let n be r(9). Suppose 6 = -n*w, 2*w = 3*l + w - 269. Is l composite?
False
Let d be ((-168)/(-35))/(6/(-40)). Suppose -4*u + 5*u = -111. Let m = d - u. Is m composite?
False
Let x be (2 - 6 - -1) + 1867. Suppose 5*y - x = y. Is y prime?
False
Is -10805*(2 - 10 - -7) a prime number?
False
Let r = -21646 - -43637. Is r a composite number?
False
Suppose 0 = -4*m - 5*x + 8 + 9, -3*x = -15. Is m/(-3)*1443/13 prime?
False
Suppose -2*f + 1 = d - 6*f, -1 = -f. Suppose p + d*r = -0*p + 1263, 2*p - 2516 = -5*r. Is p a prime number?
False
Let s(w) = -w**2 - 16*w. Let k be s(-16). Suppose k = 3*m + q + 23, -2*m + 0*q - 32 = 4*q. Is 89 + 4 + m - -2 prime?
True
Suppose -5*z = 2*z - 1771. Let l = 987 - z. Is l a composite number?
True
Let c(j) = -j**3 + 9*j**2 - 3*j - 10. Let k be c(8). Suppose -3*t - k = -0*t. Is (-3)/((-3)/t)*-1 a composite number?
True
Let f be -6*(8/4 - 16/6). Suppose -3*y - 2837 = -f*o, 3*o - 2159 = -3*y - y. Is o composite?
True
Let d(z) be the third derivative of -5*z**4/4 + z**3/3 + 4*z**2. Let v be d(4). Is (3/(-3) - v) + 1 composite?
True
Let u(x) = -x**2 + 7*x + 11. Let t be u(8). Suppose -t*m = -6*m + 201. Is m composite?
False
Suppose -3*b + 15 + 21 = 0. Suppose 13*q - b*q - 79 = 0. Is q a composite number?
False
Suppose 0 = -4*r + 3*l, 2*r = -r + 2*l + 1. Suppose -11 = -r*q + 13. Is (2 + -3)*(q + -97) a composite number?
False
Suppose -5*f + 4*c = -7, -c - 2 = -3*f + 5. Suppose -2*k - 849 = -3*l, -2*k + l = f*k + 2103. Let u = 611 + k. Is u a composite number?
False
Let t be ((-72)/15)/(40/(-2100)). Suppose -365 = 2*v + 3*v. Let u = v + t. Is u prime?
True
Suppose 30074 = 2*x - 4*m, m + 8080 = -4*x + 68201. Is x composite?
False
Suppose -1218514 = -19*w + 284595. Is w a prime number?
True
Let t = -2522 + 18324. Is t a prime number?
False
Let z(u) = 3*u + 2. Let q be z(-4). Let l = q + -10. Let x