z) = -57*z - 4. Let a(h) = h. Let u(c) = -4*a(c) + 2*j(c). Is u(-3) prime?
False
Is 4545 + (0 - 14/(-7)) a composite number?
False
Suppose x = -0*x + 5. Let n be (-8)/10*(-475)/38. Is (1407/6)/(x/n) composite?
True
Suppose -f + 5*i = 2*f - 23, 0 = 5*f + 5*i - 65. Suppose -f*b + 3771 = -2*b. Is b prime?
True
Suppose 3*g - 8 - 7 = 0. Suppose 4*l - 884 = -0*l + k, -2*l = g*k - 442. Is l a composite number?
True
Suppose -3 = c - 9. Is 111 - (16/6 + c/(-9)) a prime number?
True
Suppose v - 86 = -0*v. Let p(b) = 2*b + 10. Let z be p(-3). Suppose -3*a = -2*a + z*y - v, -a + 62 = -4*y. Is a a composite number?
True
Suppose -2*v + 24 + 0 = 0. Is 5840/v - (-2)/6 a composite number?
False
Let w(u) = -119*u - 12. Let z(x) be the second derivative of -x**2/2 + 2*x. Let h(s) = -w(s) + 3*z(s). Is h(4) a composite number?
True
Let b(l) = -3*l**3 + 2*l**2 - 1. Let q be b(1). Let y be 1764/(-15) + q/5. Let s = -35 - y. Is s a composite number?
False
Suppose -b - 4*v + 511 = -1646, b - 2166 = 5*v. Is b composite?
False
Let w = 8 + -3. Let n = w - 4. Let q(f) = 18*f + 1. Is q(n) a composite number?
False
Let x = -16 + 26. Let r(c) = 12*c - 4 + 2 + 5*c - 5*c. Is r(x) a prime number?
False
Suppose 99*u - 67194 = 81*u. Is u a prime number?
True
Let b = -20 + 12. Let h = b - -135. Is h a prime number?
True
Suppose -14 = -3*t + 13. Suppose -t*k + 2008 = -k. Is k a prime number?
True
Suppose -3*t = 3*m - 8463, -3*t = -4*m + 5077 + 6193. Is m a prime number?
True
Suppose -i - 85 - 56 = 0. Suppose l - 400 = -l. Let p = l + i. Is p a prime number?
True
Let j be -114*(-6)/(-8)*-10. Suppose -2163 = -4*q - j. Let y = q + -168. Is y a composite number?
True
Suppose 7*z + 16 = 11*z. Suppose 0 = -z*k + 3260 + 3008. Is k prime?
True
Let a(i) = i**2 - 8*i - 5. Let x be a(9). Is 2/x*(1474 + 1 + -1) composite?
True
Suppose 35*a + 12 = 32*a. Is ((-206)/a)/(2 + (-6)/4) a prime number?
True
Suppose -29*d - 10007 = -30*d. Is d prime?
True
Suppose 2*y = -o + 39, -48 = -2*y + 4*o - 2*o. Suppose 0*b - y = -3*b. Is 1293/7 + 2/b a prime number?
False
Let q(z) be the second derivative of -11*z**5/60 - 13*z**4/24 + 11*z**3/6 + 10*z. Let x(r) be the second derivative of q(r). Is x(-8) prime?
True
Let t(p) be the third derivative of p**4/24 + p**3/6 + 3*p**2. Let f be t(3). Suppose -2*s - 455 = -f*s + 3*x, -1106 = -5*s - 3*x. Is s prime?
True
Suppose -2*y - 41 = 5*n - 4*y, -4*n - y - 38 = 0. Is (746/(-6))/(3/n) + -2 prime?
False
Let v(i) be the second derivative of -37*i**5/20 - 5*i**4/24 - 5*i**3/6 + 4*i. Let g(l) be the second derivative of v(l). Is g(-2) a composite number?
False
Let p(s) = 13*s**3 - 53*s**2 + 211*s + 11. Is p(16) a composite number?
False
Suppose c + 10 = 121. Let k = -195 + c. Is (k/(-10))/(4/10) prime?
False
Is (-352031)/(-11) + 42/231 prime?
True
Suppose 2*l - 2412 = 2*h, -3593 = -3*l + h - 3*h. Suppose -5*f + l = -f - b, 3*b + 292 = f. Is f prime?
False
Let v be (18/4)/((-2)/8). Suppose 0 = -23*p + 349 + 502. Let u = v + p. Is u a composite number?
False
Is (4 - 637)*166/(-6) prime?
False
Suppose 93628 = 16*d + 26476. Is d prime?
False
Let z be (-20)/110 + 15558/22. Suppose 258 = -h + z. Is h composite?
False
Let y = 27 - 21. Let b(r) = 18*r + 0 + 11 - 4 - y. Is b(3) prime?
False
Suppose -t + 10784 = -5*m, 3*t = -2*m + 28725 + 3678. Is t a composite number?
False
Is 4 - ((-2)/4 - 4136/16) composite?
False
Suppose 2*i + 4 = 0, 2*i - 3*i = 4*z - 34. Let p = z + -5. Suppose 0 = -4*r + 5*b + 291, 5*r - 302 = -p*b + 113. Is r composite?
False
Suppose -2*j + 20972 = -4*a + 59416, -2*a = -3*j - 19214. Is a a composite number?
False
Let p(r) = r**2 - 6*r - 7. Let h be p(8). Suppose -2*b - h = b. Is (b - -1)/(6/(-909)) prime?
False
Let z = 4065 + -1132. Is z composite?
True
Is 2664/(-6 + 14) - 2 a composite number?
False
Let z(r) = 1. Let c(o) = -67*o - 36. Let d(m) = -c(m) - z(m). Is d(8) composite?
False
Let z(m) = 1602*m**2 - 1. Let p be z(-1). Suppose w - n - 322 = -0*n, 5*w + 4*n - p = 0. Let d = -188 + w. Is d a composite number?
True
Let d(w) be the second derivative of 145*w**4/12 + 5*w - 5. Let m = 0 + -1. Is d(m) a prime number?
False
Let y(s) = 599*s + 148. Is y(9) composite?
True
Is -1893*-13*7/21 prime?
False
Is 42178/5*(-12)/(408/(-85)) prime?
True
Suppose -17*a + 16*a + 328 = 0. Let c = 563 - a. Is c prime?
False
Suppose b - 3078 = -5*b. Let x = b + -256. Is x composite?
False
Is (-3 - -5) + 2 + 517 prime?
True
Let n(d) be the first derivative of -d**3 + 3*d**2 - 4 - 1/2*d**4 - 6*d. Is n(-5) composite?
False
Let a = -54 - -38. Is (-4)/(a/(-194))*-14 a prime number?
False
Let p(u) = u**2 - 7. Let w be p(-3). Suppose -x - 3*f + 0*f + 1228 = 0, -x = -w*f - 1203. Is x a prime number?
True
Suppose -s = 5*f - 20 - 458, 5*s - 2420 = 5*f. Suppose 3*u - 5*i - 406 = 0, u - 5*i = 5*u - s. Is u a composite number?
False
Suppose 3*o - 2*x = -o, -o + 3*x - 10 = 0. Suppose 3 = 2*a - 3, 5*c + o*a = 25751. Suppose 5*f - 156 - c = 0. Is f a composite number?
False
Suppose 36 = 2*v + 4*v. Is v/(-21) + ((-550940)/(-28))/5 a prime number?
False
Let a = 6 + -8. Is -2 - ((-1173)/a)/((-1)/2) a prime number?
True
Let z(w) = 2*w**2 + 9 - 10 + 20 + 8*w. Let t be z(10). Suppose 5*x - o + 116 = t, 0 = -3*x + 5*o + 101. Is x composite?
False
Suppose -16 = -2*s - 18. Is 1/s - (-1312 + 18) composite?
True
Let d(n) = -n**2 + 12*n + 9. Let o be d(17). Let j be (-19)/o - 74/8. Let u(z) = -17*z + 4. Is u(j) composite?
False
Suppose 0 = 4*r + 100 + 324. Let s = -52 - r. Suppose 48 = 3*k - s. Is k a prime number?
False
Suppose 3*v = -3*m - 2*v + 3758, 0 = -2*m + v + 2501. Suppose -4*g + 1227 = -3*g - 5*p, g + p - m = 0. Suppose 0 = 3*a - g + 188. Is a a composite number?
False
Let x(v) = -v**3 + 44*v**2 - 22*v - 110. Is x(37) a composite number?
True
Suppose 0 = -z - 6*z + 15113. Is z prime?
False
Let v = 33 - 28. Let j(c) = 2*c**3 + 3*c**2 + 5*c + 9. Is j(v) composite?
False
Let c be -8*(-1)/(-2)*-1. Is -5 - -11673 - c - -1 composite?
True
Suppose -6*w - 2*l + 856 = -4*w, -1704 = -4*w - 2*l. Suppose -4 = 5*q - w. Let i = 243 - q. Is i a composite number?
True
Suppose 63*r - 13330265 = -2*r. Is r composite?
False
Suppose -2*w - 7 = -w. Let z = 18 - w. Suppose -2*s + 48 = 2*q, 5*s - 149 + z = -3*q. Is s composite?
True
Suppose -127*b = -125*b - 146. Suppose -2*m + c + 0*c = -b, 5*c + 143 = 4*m. Is m composite?
False
Suppose 3*t - 9 = -0*t, 0 = -4*g + t - 63. Let l be (-234)/g - 4/(-10). Suppose -4*s + 200 = 2*o, -s = -2*o - l - 39. Is s composite?
True
Let d be (1 - 0 - 2)/((-5)/5815). Let a = d + -816. Is a prime?
True
Let p be (-177)/(-4)*(-16 - -4). Let c = p + 1050. Is c composite?
True
Let l(f) = 58*f + 85. Is l(12) a composite number?
True
Let v be 1 + 7 + (2 - 3). Suppose v*x = 2*x + 25. Suppose -35 = -x*q + 410. Is q a composite number?
False
Let d(c) = 588*c - 25. Is d(7) a composite number?
False
Suppose -h - h = -4234. Is h prime?
False
Let r = -729 - 3325. Is (r/4)/((2/(-4))/1) prime?
True
Suppose 2990 = -8*w - 522. Let x = 696 + w. Is x a composite number?
False
Let z be 2/(3/3 + 1). Let w(o) = 3*o**2 - 3*o + 2. Let j be w(z). Suppose -6*r + 204 = -j*r. Is r a prime number?
False
Suppose -9*x + 2716 = -5*t - 5*x, 0 = -5*t + x - 2719. Let k = t - -767. Is k composite?
False
Let o(j) = j**3 - 30*j**2 + 115*j + 41. Is o(28) a composite number?
False
Is (-8994)/(-10) + 10/(-25) composite?
True
Suppose 3*g = 3*w - 1179, -5*g + 301 - 2306 = 3*w. Let v = 657 + g. Is v composite?
True
Let i(b) be the third derivative of -5/3*b**3 + 3*b**2 + 0*b - 9/8*b**4 + 0. Is i(-9) composite?
False
Let u(k) = k**2 - 7*k + 10. Let h be u(5). Suppose -3*d - 2*q + 72 = -417, -4*q = h. Is d a prime number?
True
Suppose 0 = 5*r + 11 - 31. Suppose -4*x = -5*s + 1755, 4*x = -0*s - r*s - 1800. Let c = x + 1484. Is c a composite number?
False
Let o be 4 + (0 - (-6)/(-3)). Is o/((-4)/3*(-21)/8134) prime?
False
Let m(n) = -1573*n + 116. Is m(-5) composite?
True
Suppose 0 = -5*k + 3*c - 41, 2*k = -4*c + 9 - 41. Let p be (42/(-15))/(2/k). Suppose 5 - p = 3*r, -a = -4*r - 98. Is a a composite number?
True
Let x(l) be the second derivative of -79*l**3/6 - 5*l**2/2 + 18*l. Is x(-6) prime?
False
Let c(k) = 5*k**2. Let o be c(-1). Let z be 5 - 0/(o - 3). Suppose -3*s + 2*j - 1270 = -z*s, 3155 = 5*s - 5*j. Is s a prime numb