 = -l**2 - 10*l - 7. Is q(p) a prime number?
True
Let z(n) = n**3 - 6*n**2 + 5*n + 7. Let m = 3 + 2. Let f be z(m). Let a(c) = c**2 - 7*c + 10. Is a(f) prime?
False
Suppose -39 - 186 = -5*z. Suppose -g + 4*m = z, 2*m + 159 = -8*g + 3*g. Let i = 20 - g. Is i a prime number?
True
Let n be 2/4 + 3/(-6). Suppose n = -u + 20 + 17. Is u prime?
True
Let a = 1 + -1. Suppose -4*d + d + 5*r + 271 = a, d - r = 91. Suppose 3*o = d - 14. Is o a prime number?
False
Suppose 86 = h - 127. Is h a prime number?
False
Let p = 10 - 20. Let v = p - -14. Suppose 4 = v*x - 56. Is x a composite number?
True
Let c be (-2785)/15 - (-1)/(-3). Let j = c + 356. Suppose -199 = -4*d - 3*s, -5*s - j + 425 = 5*d. Is d a prime number?
False
Let y = 1022 + -1502. Let h = -83 - y. Is h composite?
False
Let g = -997 + 1583. Is g a composite number?
True
Let p(t) = 16*t**2 + t - 3. Is p(6) a composite number?
True
Suppose 0 = -4*t + 4*x + 1704, -2*t + 0*x - x + 843 = 0. Is ((-8)/(-12))/(2/t) composite?
True
Suppose -4*w + 4*n = n + 10, -5*n - 22 = 3*w. Is w/(8/(-4)) - -132 a prime number?
False
Let t be ((-9)/(-6))/3*6. Let k = -6 + t. Is 2 - 36/k - -1 a prime number?
False
Let c be (-1)/((-1)/3)*-16. Is (-2172)/c - 3/(-4) composite?
True
Let v(m) = 13*m - 11. Is v(6) composite?
False
Let a(h) = 12*h**2 - 13*h - 10. Is a(7) prime?
True
Let k(m) = 27*m + 7. Let r(a) = a**2 + 3*a + 4. Let p be r(-3). Is k(p) a composite number?
True
Suppose -1 = 4*o + 7, 5*o + 10110 = 5*a. Is a/52 + 10/65 composite?
True
Suppose -2*x = 2*x + 4*q - 480, 5*x - 580 = -q. Is x a prime number?
False
Let b be ((-3)/(-2))/((-3)/(-4)). Let a be (-1)/1 + 31*5. Suppose -2*k + b*u = -74, -3*u + a = 5*k - 15. Is k prime?
False
Let s(l) = 14*l - 8. Is s(9) a composite number?
True
Is (-484 - (-5 + 0))/(-2 - -1) a prime number?
True
Suppose 0 = -2*q + 1617 - 131. Is q composite?
False
Suppose 15*t = 11*t + 1036. Is t composite?
True
Let w = -97 - -356. Is w prime?
False
Let r(o) = -o**3 - 8*o**2 + 15*o - 14. Let k be r(-11). Suppose 4*q + 5*j - 513 = 0, -4*j - k = -5*q + 447. Is q a composite number?
False
Is (1/3)/(3/16299) a prime number?
True
Let g = -5 - -8. Is g a prime number?
True
Let g(x) = x**2 - 6*x + 7. Let n be g(5). Is n + (-140)/(-2) + -3 a composite number?
True
Suppose u - 10 - 21 = 0. Is u a composite number?
False
Suppose 4*d = 3*j - 1, 3*d = -5*j + d - 7. Is -134*j*1/2 a prime number?
True
Suppose 0 = -n - 3*n + 636. Suppose 3*o - n = -48. Is o a composite number?
False
Is (-15148)/(-24) + (-3)/18 prime?
True
Suppose -251 = -13*a + 12*a. Is a prime?
True
Let m be ((-1)/(-3))/((-3)/(-54)). Let h be (9/m)/(-3)*0. Suppose h = -2*v - 2*t + 432, 6*t - 3*t = -v + 214. Is v a composite number?
True
Let k = -228 + 343. Is k prime?
False
Let n(y) = 2*y - 4*y**3 - 2*y**2 - 3*y - 1 + 0*y**3 + 5*y**3. Let q be n(3). Suppose -4*u - 94 = -2*s, 2*s + s = q*u + 144. Is s composite?
False
Suppose 3*u + 1022 = 5*u. Is u prime?
False
Let c = -901 - -1488. Is c a prime number?
True
Let k be (-1 + -3)/(-8)*2. Is (k - -132)*1/1 a composite number?
True
Suppose 1718 - 113 = 5*c. Is c a composite number?
True
Let o = -143 - -292. Is o prime?
True
Let k be (-3869)/(-6) - 14/(-84). Suppose 0 = 4*q + 2*g + 3*g - 2578, 0 = -q - g + k. Is q prime?
True
Let c(r) = r - 1. Let w(s) = -49*s - 4. Let h(f) = -3*c(f) + w(f). Let q be h(-1). Let b = q + -18. Is b a composite number?
True
Suppose -359 = 5*p + 2*w, 4*w - w = 5*p + 349. Let n(y) = -4*y**2 + 11*y - 7. Let g be n(7). Let t = p - g. Is t a composite number?
True
Is (0 + -2)/((-8)/6164) composite?
True
Is -2*1*13739/(-22) prime?
True
Suppose 3*f + 4 = 2*u, 2*u - f = -u + 6. Suppose 3*c + c - 124 = 0. Is (c*2)/(u/5) a prime number?
False
Suppose 2*m - 7*m + 5*w = -82975, -4 = -2*w. Is m a prime number?
False
Suppose -4*w = -3*u + 2*u - 1324, -4*u = -4*w + 1336. Let j = -127 + w. Is j a prime number?
False
Suppose -1339 = -4*a - 4*t - t, -671 = -2*a - t. Suppose 0 = 5*d - 259 - a. Is d a prime number?
False
Suppose -j + 9*j = 11216. Is j a prime number?
False
Suppose 0 = -h - 3*s, 5*h + 0*h + 3*s + 12 = 0. Let a be 10/h + 5/15. Is (-1)/(((-6)/(-106))/a) composite?
False
Suppose 0 = -3*w + 2*w + 4. Suppose -2*b + w = 0, -v = -4*b - 335 + 56. Is v prime?
False
Suppose 0 = 2*p - 51 - 183. Let k = 280 - p. Is k composite?
False
Suppose -4*u = 5*s - 270, -2*s + 6*s + 3*u = 216. Let b be (-6546)/s + (-2)/(-9). Let z = b + 206. Is z a prime number?
False
Suppose -41 = 2*h + 4*y - 3*y, -5*h - 4*y - 98 = 0. Is h/(-1) + (0 - -1) a composite number?
False
Let q be 4352/40 + (-4)/5. Is 3 + -4 + q - -4 prime?
False
Let x(d) = -d**2 - 7*d - 3. Let o be x(-6). Is (o + (1 - 71))/(-1) a composite number?
False
Let a = 1626 + -947. Is a a composite number?
True
Let a = -76 - -143. Let j = -32 + a. Is j composite?
True
Suppose -795 = 2*y - 5*y. Is y prime?
False
Let t = 200 - 115. Is t prime?
False
Let u(q) = 3*q - 3. Let g be u(2). Suppose 0 = g*l + 5*f - 257, 5*l - 3*f - 383 = -0*f. Is l prime?
True
Suppose 8*a = 5*a + 8007. Is a prime?
False
Is ((-2721)/(-15))/(4/20) a prime number?
True
Suppose 5*r + 56 = 3*g, -3*r - r - 37 = -5*g. Let x = r - -32. Is x composite?
False
Let y(o) = 19*o**3 - 5*o - 3. Is y(4) prime?
True
Let j(d) = -d**2 - 6*d + 1. Let o be j(-6). Let p = 3 - o. Suppose -q + p*q - 47 = 0. Is q a composite number?
False
Let q = -1 - -11. Suppose 4*j - 6 = 3*j. Is q/5 + -1 + j prime?
True
Suppose 5*z - 14 = -4. Suppose a + 5*b = 16, -53 = -2*a - b - z*b. Is a a composite number?
False
Let g(j) = 361*j**2 - 4*j + 24. Is g(3) a composite number?
True
Is (-2)/8 + 10719/12 - -2 prime?
False
Let o(q) = 45*q + 2. Let i be o(2). Let f = i - 46. Suppose 0 = 2*c - 0*r + 2*r - f, 2*r = -c + 21. Is c a composite number?
True
Let c(w) be the third derivative of 2*w**5/15 - w**4/24 + w**3/6 + 3*w**2. Is c(-2) a prime number?
False
Let i(d) = -d - 1. Let m be i(-4). Suppose -10 = -8*q + m*q. Is (61 - (-4)/2) + q composite?
True
Suppose -3*v + 849 + 4818 = 0. Is v composite?
False
Suppose -5 + 11 = 2*d. Suppose -d*y - 5 = -200. Is y a prime number?
False
Let x(s) = -252*s + 31. Is x(-6) composite?
False
Suppose -3*m + 5*w + 31 = -0*w, 2*m = -w - 1. Let i = m - -2. Suppose -j - i*j = -75. Is j composite?
True
Let j(h) = h**3 - 5*h**2 - 7*h + 6. Let y be j(5). Let c = -8 - 11. Let g = c - y. Is g composite?
True
Let c(o) = o + 4. Let h be c(-2). Suppose -5 = -n, -4*n + h = -p - 3. Is p a prime number?
False
Let c(r) = -r**3 - 13*r**2 - 14*r - 16. Let u be c(-12). Suppose 4*b = u*b - 188. Is b a composite number?
False
Let r(q) = 4*q**3 - q**2. Let t be r(1). Suppose -7*l = -3*l + 3*h - 212, 2*l - 106 = t*h. Is l a composite number?
False
Let f(y) = 10*y + 9. Let u be f(4). Suppose -d = -u - 330. Is d a prime number?
True
Let t(v) = -4*v**3 + 16*v**2 - 12*v + 15. Let b(i) = 5*i**3 - 17*i**2 + 12*i - 15. Let h(u) = -u. Let r be h(-6). Let d(w) = r*t(w) + 5*b(w). Is d(-12) prime?
False
Suppose 2*w + w + 45 = 3*d, -5*d = -4*w - 57. Let u = w + 11. Let l = u + 20. Is l prime?
True
Let x = -362 + 220. Let z = 12 + -77. Let t = z - x. Is t a prime number?
False
Suppose 0 = u - 0*u - 3. Let v(z) be the first derivative of z**3/3 - z**2 + 8. Is v(u) a composite number?
False
Let k(r) = r**2 - 7*r + 3. Let p be k(6). Is 1 + (49 + -2 - p) prime?
False
Suppose 0 = 2*v - 8*v. Suppose v = -3*r - r + 628. Is r a prime number?
True
Suppose 6*x = -2*b + 3*x + 1393, -2*b - 4*x = -1394. Is b a composite number?
True
Is (5410/(-40))/(3/(-12)) composite?
False
Let f(k) = -k + 6*k - 4 + 21*k + k. Is f(7) a prime number?
False
Let t = 615 - 218. Is t prime?
True
Let h = -2232 - -3475. Is h prime?
False
Suppose -3*j + 4 = 1. Let f(h) = 5*h**3 - h + 1. Let g be f(j). Let v(w) = -w**3 + 5*w**2 + 3*w + 6. Is v(g) a prime number?
False
Suppose -q - 401 = -s - 0*q, 0 = s + 3*q - 385. Is s a composite number?
False
Suppose 3*s = 3*o + 588, 0 = -s + 2*s + o - 192. Is s a composite number?
True
Suppose 0 = 3*s - 2*s + 2. Let h = s - -6. Suppose 0*k - 76 = -h*k. Is k composite?
False
Let d = 7 - -3. Is d a prime number?
False
Let l = 10 - 5. Suppose -4*v - 4*w + 120 = 0, w - 135 = -l*v - w. Is v a prime number?
False
Suppose -1 = -5*i + 24. Suppose i*r - 10 - 55 = 0. Is r composite?
False
Let s(j) = j**3 - 12*j**2 + 7*