 + 414 = 0. Is x a prime number?
False
Let q(d) be the second derivative of -68*d**5 + d**4/4 + d**3/2 + d**2/2 - 21*d. Is q(-1) a composite number?
False
Let h(j) be the second derivative of -13*j**5/20 - j**4/4 + j**3/2 + j**2 - 21*j. Is h(-3) a composite number?
False
Suppose -3*q - q + 12 = 0, 2*q + 14561 = j. Is j composite?
True
Let x be 65/6 - 2/(-12). Let z be x/(-5) + (-3)/(-15). Let k(q) = -19*q - 4. Is k(z) prime?
False
Suppose -4*v - 4*c + 9*c + 111717 = 0, -139605 = -5*v - 2*c. Is v a prime number?
False
Suppose 3*c + 1 + 0 = 2*l, 4*l - 5 = 3*c. Suppose -t = l*t - 3*p - 894, 2*p + 1182 = 4*t. Is t a prime number?
True
Suppose 5*v = 4*v - 15. Let f be 3/v + 7132/10. Let k = -496 + f. Is k prime?
False
Let x = -527 - -135. Let v = x + 723. Is v composite?
False
Let u(t) be the first derivative of -t**4/4 - 3*t**3 + 2*t**2 - t + 12. Let a(l) = 11*l**3 + l**2. Let n be a(-1). Is u(n) prime?
True
Is (0 + 107)/((-8)/(-952)*7) a composite number?
True
Let g = 2560 + -507. Is g prime?
True
Let z = 12 + -9. Suppose j = g + 1690, -4*g - z = -15. Is j composite?
False
Suppose 0 = 4*p + 5*o - 0*o + 257, 0 = 4*o + 4. Is (-2)/(81/p - (-1 + 0)) a composite number?
False
Suppose -42 = -8*x + 14. Suppose 1878 = x*t - 3113. Is t a composite number?
True
Suppose 3*c - 1075 = 779. Suppose l - c = -5*o, o = -5*l - 0*l + 3114. Is l prime?
False
Suppose 0 = 9*u - 6184 + 469. Is u composite?
True
Let g be (1 - -2) + 9*3. Suppose 4*l + l = g. Suppose -p - l = -91. Is p composite?
True
Is ((-254)/(-3))/(28/2226) a composite number?
True
Let m(h) = 14*h + 11*h + 34*h - 2 + 24*h. Suppose -l = -s - 0*s - 10, -3*s - 25 = -2*l. Is m(l) a composite number?
True
Let z = 28 + -27. Let b(k) be the first derivative of 43*k**4/4 + k**2/2 - k - 1. Is b(z) a composite number?
False
Let a = -1225 - -2146. Is a a prime number?
False
Let q(n) be the third derivative of -1/6*n**4 + 1/120*n**6 + 0 + 1/60*n**5 - 1/2*n**3 - 2*n**2 + 0*n. Is q(5) a composite number?
False
Suppose k - 8 = q - 4*q, -11 = -2*k - q. Suppose 0 = -2*f - 2*a + 6, 0*a + k*a = -3*f + 3. Is (-4)/(-2)*2391/f prime?
True
Let g = 298 + -127. Let d = 98 + g. Is d a prime number?
True
Let h(p) = 330 + 7*p + 308 + 251. Is h(0) composite?
True
Let b be 72/16 + 1/(-2). Let c be (-1980)/(-8)*b/5. Suppose 3*x - 591 = c. Is x a prime number?
True
Suppose 0*y = 9*y - 270. Suppose 5*d = -4*i, i = 2*i - d. Suppose 0 = -2*z - 4*t + y, i = -t + 4*t - 12. Is z prime?
True
Let l be (-2)/(-4)*4/2 + 2. Suppose c - 281 = -l*z, 2*c - 2*z = c + 301. Is c a prime number?
True
Suppose 288 = -16*g - 0*g. Let u(r) = -69*r + 17. Is u(g) prime?
True
Let i = -4 + 2. Let g(r) = 268*r - 53*r - 458*r + 1. Is g(i) prime?
True
Suppose 0 = 2*x - 5 - 17. Let j = x + -15. Let b(i) = -30*i - 1. Is b(j) prime?
False
Suppose -2*t - u - 3*u = -12406, -4*t + 5*u = -24864. Is t prime?
True
Suppose 0 = 4*d - 39 - 25. Let p = d - 14. Suppose 377 = y - 4*b, 0*y - b = p*y - 727. Is y composite?
True
Let n(x) = -x**3 + 4*x**2 - 3*x + 2. Let r be n(3). Suppose -4*q + w + 16 = 0, -q + w = r - 9. Suppose -348 = -3*p + q*a, a = -3*a + 12. Is p prime?
False
Let r(m) = -27*m**3 - 3*m**2 + 5*m - 2. Let y be r(-3). Let w = y + 14. Is w composite?
True
Let y = -921 - -2483. Suppose -4*b + 1554 = 4*j - 3*b, 0 = 4*j - 3*b - y. Is j a composite number?
False
Suppose 0 = 13*q - 312 - 1235. Is q prime?
False
Let p be -12 + 13 - (-1 - 5). Let i(c) = 68*c - 4. Let b(f) = 68*f - 5. Let x(y) = 3*b(y) - 2*i(y). Is x(p) a prime number?
False
Let f(w) be the first derivative of w**4/4 - 14*w**3/3 + 20*w**2 - 15*w + 4. Is f(12) prime?
False
Let w(y) = 4*y**3 + 268*y**2 + 92*y + 121. Is w(-65) composite?
False
Let k(a) = -3*a**3 + a**2 - 4*a - 4. Let d be k(4). Let n = d + 335. Is n a composite number?
False
Let v be (-1)/(-1 - (-6)/9)*-57. Let a = 1066 + v. Is a composite?
True
Let q = 591 - 496. Is q prime?
False
Let k = -19 + 247. Let g = k - 115. Is g prime?
True
Suppose -5*d + 2*x = -1475, 2*d + 2*x - 611 = 7*x. Is d a prime number?
True
Suppose -97033 - 635177 = -15*f. Is f composite?
True
Let t(i) = -3089*i + 31. Is t(-3) a prime number?
False
Let n(w) = 16*w**2 + 17*w + 203. Is n(27) a composite number?
True
Suppose 0 = -2*v - 2*f + 8242, v - 4*f + 4109 = 2*v. Let g be v/(-12) - 4/16. Let d = 490 + g. Is d prime?
False
Suppose 0 = 4*t + 1007 - 8787. Suppose -10*d = t - 6165. Is d a composite number?
True
Let h(l) be the second derivative of -l**5/20 + 5*l**4/6 + l**3/6 - 4*l**2 + 2*l. Let k be h(10). Is 11*(-1 - (k - 6)) prime?
False
Let b(p) = 55*p + 1. Let f be b(-11). Let z be f/10 + 12/30. Is (-15890)/z + (-2)/(-12) composite?
True
Let p(g) = -2*g + 6. Let n be p(4). Is -8*101/n + 3 prime?
False
Suppose -k - 20694 = -4*m + 92674, -m = 2*k - 28351. Is m prime?
False
Let g = 2763 + -1220. Is g a composite number?
False
Suppose -17779 = -4*h - 3*f, -2*h + 5*f + 11911 - 3002 = 0. Is h prime?
True
Is 134474/8 - 56/(-32) a prime number?
True
Suppose 162660 = 26*s - 140630. Is s composite?
True
Suppose 11 + 9 = -4*s, -j - 15 = 2*s. Let g = j + 8. Suppose -2*w + g*n = -23, w + 3*w - 4*n - 56 = 0. Is w a prime number?
True
Suppose 2*s = 216 + 58. Let q = s + -68. Is q composite?
True
Suppose -16 = 4*f + 32. Let b be (1 - f)*(-58)/(-2). Let z = -160 + b. Is z a composite number?
True
Suppose 5*i - 9 = -449. Let d = i - -160. Is 16/d + 277/9 a prime number?
True
Let w(z) = -4*z - 11. Let u be w(-4). Suppose 1505 = g + 2*x, -3*g + 3009 = -g + u*x. Is g a composite number?
True
Let s(n) be the first derivative of 7*n**3/3 - 11*n**2/2 + 13*n - 4. Let r be s(6). Let b = r - 40. Is b a prime number?
False
Let k = -1229 - -2690. Is 3/((-18)/k)*(-14)/7 composite?
False
Let z(j) = -j**3 + 12*j**2 - 22*j + 23. Let s be z(10). Suppose s*l - 2*k = 7003, -2*l - k = k - 4662. Is l prime?
True
Let u = 497 + 290. Is u composite?
False
Let v(t) = t**3 - 13*t**2 - 32*t + 31. Is v(16) a composite number?
True
Let h be ((-6)/(-8))/((-8)/(-32)). Let q be 3/4*(h + 1). Suppose -22 - 44 = -q*g. Is g a composite number?
True
Suppose 0 = 3*q - 406 - 353. Is (q/(-2))/((-16)/32) a prime number?
False
Let u be (-1 + 3)*63/14. Suppose 8*j = u*j - 1163. Is j a prime number?
True
Let m(q) = q**2 - 10*q - 22. Let y be m(12). Is (-9)/(-6)*y + 2370/3 composite?
True
Let i(x) = -x - 5. Let g be i(-5). Suppose g = -7*f + 4*f + 2229. Is f composite?
False
Let j = 1 - -1. Suppose 0 = j*s - g - 14, -g - 11 = s + 3*g. Is (-8)/(-16) + s/2 composite?
False
Let c be (-2)/(-4) + 45/10. Suppose 5748 = c*b + 1483. Is b composite?
False
Is (5/(-60)*-50980)/((-2)/(-6)) a composite number?
True
Suppose 0 = y - 13 + 782. Let r = -378 - y. Is r a composite number?
True
Let b = 67 - 64. Suppose -b*d + 275 = -646. Is d a prime number?
True
Let m = 177 + 139. Let d(c) = 2*c**3 - 6*c - 1. Let p be d(-4). Let h = p + m. Is h a prime number?
True
Let s(m) = -32*m**2 - 2*m - 1. Let h be s(2). Let p be h/(-28) + 2/8. Let o(z) = z**3 + 2. Is o(p) prime?
True
Let u be 10/4*(-20)/(-5). Suppose 2*a = 3*a - u. Let f(z) = 44*z + 6. Is f(a) composite?
True
Let p(c) = 10012*c + 9. Is p(1) prime?
False
Let q = -6283 - -12384. Is q a prime number?
True
Suppose 3*t + 15 = 0, 4*d - 5975 = -d - 4*t. Suppose -3632 = -4*x + i, 3*x = 4*i + 1538 + d. Is x a prime number?
True
Suppose -2*z - 5 = -z, -3*g = 4*z + 4202. Is (-15 - -13)/(4/g) a prime number?
False
Let v(n) = 842*n + 467. Is v(6) a composite number?
False
Suppose 30*a + 35863 - 131053 = 0. Is a composite?
True
Let s(v) = v**2 - 8*v - 3. Let o be s(9). Is 2 - o - (-77 + 2) prime?
True
Let y(m) = 119*m - 39. Is y(10) composite?
False
Suppose 6*f - 7*f = -8. Suppose -f*i = -1479 - 193. Is i composite?
True
Let s(t) = -t + 6. Let n(l) = -l - 1. Let b(q) = -5*n(q) + s(q). Let g(u) = u**3 - 7*u**2 + 9*u - 9. Let o be g(6). Is b(o) prime?
True
Let m(h) = -27 + 59*h + 0 + 0 + 14. Is m(18) a composite number?
False
Let n(o) = 30*o - 2. Let c be (-12)/(-54) - 176/(-18). Is n(c) a composite number?
True
Let s be (-1 - -13)/(6/3) + -4. Let x = 3 + -2. Suppose -s*w + 19 - x = 0. Is w prime?
False
Suppose 13863 = 2*a + 3761. Is a prime?
True
Let g(j) = j**2 - 10*j + 13. Let s be g(9). Suppose 0 = s*o + 8, -3 = 2*a - 7*a + 4*o. Is 2*57/2 - a prime?
False
Let j(b) = b - 5. Let l be j(5). Let i be 