 = 2*d + l*d. Is d composite?
True
Let c(o) be the third derivative of o**6/120 + o**5/15 - o**4/3 + o**3 + o**2. Let m = 104 - 99. Is c(m) composite?
False
Let j(o) = 59*o - 2. Let h(t) = 7*t. Let f(l) = -3*l. Let m(v) = -9*f(v) - 4*h(v). Let a(r) = -j(r) + 4*m(r). Is a(-5) a prime number?
True
Let b(d) = d**2 + 13*d + 20. Let w be b(-11). Let t be (-6 - -148) + (w - 0). Suppose -o = -4*p + o + t, -3*p - 4*o + 127 = 0. Is p prime?
True
Let m = -3341 + 5490. Is m a composite number?
True
Suppose 0 = 4*s + 4, -t + 8*s - 4*s = -19455. Is t a prime number?
False
Let y be (12/15)/(3*(-1)/(-15)). Suppose -5*n + 8978 = 3*c, -7179 = -y*n + 3*c - 2*c. Is n prime?
False
Let o = 28121 - 10578. Is o a prime number?
False
Suppose 2*y + 0 - 2 = 0. Let g(q) = 1758*q**2 - q. Is g(y) prime?
False
Let t = 1836 + 1369. Is t a prime number?
False
Let b = 55 - 53. Suppose -4*i - b*n + 668 = 0, 286 + 50 = 2*i + 2*n. Is i prime?
False
Suppose -u = -5*f + 393212, 0 = f - 11*u + 8*u - 78634. Is f a prime number?
True
Let f be 1 + (-30)/18 - (-1762)/(-3). Is f/(-2) - (-2 + 1) composite?
True
Let k(v) = -349*v + 3. Suppose j + 13 = 5*x, 4*j - 18 = j - 4*x. Suppose -6 = w + j*w. Is k(w) composite?
False
Let v(q) = 64*q - 2. Let y be (3 + 0)/(6/8). Is v(y) a prime number?
False
Let g be -1 + (-6 + 3)/(-1). Suppose -n + 2190 = 2*a, g*a = 6*a - 4*n - 4368. Is a a prime number?
False
Suppose 0 = -2*i - 2 + 4. Let s(x) = 7*x**2 - 2*x. Let c be s(i). Suppose 2335 = -c*f + 10*f. Is f a composite number?
False
Suppose 0 = -o - 1 + 6. Suppose 2*x + 2 = 2*z, -o*z - 2*x = -6*z. Suppose c = -4*k + 48, 4*k = z*k + c + 30. Is k composite?
False
Let z(g) = g + 7. Let a be z(17). Let p = -26 + a. Is p/(-13) - 3261/(-13) a composite number?
False
Let p(c) = -c**2 - 5*c - 2. Let g = 11 - 14. Let o be p(g). Is (-6)/8 - (-139)/o composite?
True
Suppose -5*d = -d. Let p = d - -145. Is p a prime number?
False
Suppose 0 = 3*s - 5*l - 4607, 3*s - 4089 = -3*l + 486. Is s a prime number?
False
Let i(m) = -4*m + 17. Let y(h) = 3*h**2 + 10*h + 8. Let v(d) = d + 1. Let z(o) = 18*v(o) - 2*y(o). Let w be z(-2). Is i(w) prime?
True
Suppose -47311 = -5*o - 3*x, -6*x + 0*x = 5*o - 47317. Is o a prime number?
True
Suppose -70*a = -51*a - 292961. Is a prime?
False
Suppose 325*k - 417885 = 310*k. Is k a composite number?
True
Let a(k) = k**2 + 2*k - 1. Let g be a(-3). Suppose -2*n + 5*n = 3*b - 765, -g*n = 3*b - 745. Is b composite?
False
Let v(t) = 82*t. Let o be v(1). Let g = o + 33. Let p = 368 - g. Is p a composite number?
True
Let l(i) = i**3 + 10*i**2 + 8*i - 9. Let p be l(-9). Suppose p = -4*h - 4*c - 4076, 3*h + 0*c + 3027 = 3*c. Let s = -509 - h. Is s composite?
True
Suppose -4*u + 4*s = -u - 5538, -4*u - 5*s + 7415 = 0. Suppose o - f + 4*f = 366, -5*f = 5*o - u. Suppose 3*j = -j + o. Is j composite?
True
Let s be -27 + 1 + 2 + 1. Let i be (28/(-5))/(14/105). Let r = s - i. Is r composite?
False
Suppose 5410 = j + 2114. Let d = -1641 + j. Is d composite?
True
Suppose 0 = 9*c - 38707 - 70112. Is c composite?
True
Suppose 24098 + 6507 = 5*t + 2*z, t + 2*z = 6121. Is t composite?
False
Suppose -18*b + 21*b = 6. Suppose i = -4*o + 5049, 3*i - b*i + 2*o - 5041 = 0. Is i prime?
False
Suppose 0 = -5*s + 3*z + 4946, -4*s + 6*z - z = -3962. Suppose -4*d + s = -0*d. Is d a composite number?
True
Suppose -831 = 10*m - 5861. Is m composite?
False
Let u = 1959 + -1258. Is u prime?
True
Suppose -7323 + 1708 = -5*d. Is d prime?
True
Let r be 42/(-4)*240/(-72). Is (2/4 - r/(-10)) + 1185 prime?
False
Let u(g) = g**3 - 7*g**2 - 9*g + 13. Let t be u(8). Suppose -679 = -4*o - t*y, -y + 312 + 189 = 3*o. Is o a prime number?
False
Suppose -63*p = -24*p - 274521. Is p composite?
False
Let q = 30 + -32. Is ((-1204)/(-8))/(-7)*q a composite number?
False
Let o = 3964 - 743. Is o composite?
False
Let x be 1/7 - (-1872)/28. Suppose -7 = -k + x. Suppose k = 5*l + 3*f, -3*f + 22 = l - 0*l. Is l composite?
False
Let c(l) = 111*l + 28. Is c(17) a prime number?
False
Suppose 26104 = 4*f + 5196. Is f composite?
False
Let x(l) = 2*l**2 + l - 2. Let p be 7 - (0 + 1)*1. Let c be x(p). Suppose a = -5*h + 108, a - 50 - c = 4*h. Is a prime?
False
Let u = -156 + 945. Is u a prime number?
False
Let u be (30/25)/(-4 + 66/15). Suppose 2*g - 7755 + 446 = -u*j, -4*j = -20. Is g a composite number?
True
Let x = 8 - -2. Let j = x + -2. Suppose 2*i = m + 23, 21 + j = 2*i + m. Is i prime?
True
Let f(m) = 1557*m - 20. Let w be f(8). Suppose 68*b - 64*b - w = 0. Is b a composite number?
False
Suppose -2*q = -4*x + 1454 - 7328, 11733 = 4*q - 5*x. Is q a composite number?
False
Let f = 9580 - 5621. Is f prime?
False
Let s = 15402 + -616. Is s composite?
True
Let p(z) = 36*z - 21. Suppose -3*c - 2*r + 34 = -0, -33 = -3*c - 3*r. Is p(c) composite?
True
Let y be 1/(-3) + 24/(-9). Let u be 2/y*(-178 - -1). Let x = 83 + u. Is x a composite number?
True
Let a(y) = -8*y**3 - 2*y + 10. Let x be a(3). Is -1 + (-4 - -4) - x composite?
False
Suppose -3*b = -3*f - b + 9, 3*f + 2*b = 9. Suppose 2*w + 761 = -4*h + h, -3*h + f*w = 786. Let p = h + 434. Is p a prime number?
False
Suppose 5016 = 3*d - 3*l - 4188, -3*d = 4*l - 9183. Let j = -488 + d. Is j a composite number?
True
Let b(a) = -a**3 - 3*a**2 + 8*a - 5. Let d be b(-5). Suppose -7*s - c + 6853 = -2*s, -s + 1361 = d*c. Is s a composite number?
True
Let p = -215895 + 311048. Is p composite?
False
Suppose -h - 5*q + 18058 = 0, 0 = -h + 5*q + 17986 + 62. Is h a composite number?
True
Suppose 3*r - 9132 = -3*o, -3*r + 5742 = -3*o - 3402. Is r a prime number?
False
Let w(y) = -2*y**2 + 3*y - 241. Let t(o) = -o**2 + o - 120. Let m(r) = -5*t(r) + 2*w(r). Let u(j) = -j**3 + 6*j**2 + 6*j + 7. Let v be u(7). Is m(v) prime?
False
Is (-69)/(-2)*(-3164)/(-42) prime?
False
Let n = 17937 - 11339. Let z = n - 3945. Is z a prime number?
False
Suppose p = d + 2*p - 45297, p = 3*d - 135883. Is d a prime number?
False
Let o(u) = -u**2 + 3*u + 3. Let a be o(4). Is (-254*3/6)/(a/5) composite?
True
Let q = 34800 - 24589. Is q a composite number?
False
Let c(w) = -450*w - 8. Is c(-15) a prime number?
False
Let h be ((-1)/(-2))/(2/(-24)). Let r = -5 - h. Is 265 + 2/(-1)*r prime?
True
Let t(u) = 35*u**2 - 52*u - 89. Is t(-14) composite?
False
Suppose -145 = -5*c - 3*s + 752, 720 = 4*c + 3*s. Is c prime?
False
Let n(t) = -3*t + 20. Let x be n(2). Suppose 4*g = x*g - 3970. Is g a composite number?
False
Let w(m) = 215*m + 3. Let d be (-3)/(-1)*-3*20/(-45). Is w(d) prime?
True
Suppose 7*u + 8 = 50. Suppose 2*y - u*y + 8 = -3*h, 0 = y + 3*h - 17. Let w(k) = 8*k + 3. Is w(y) composite?
False
Let y = -2465 + 4434. Is y a prime number?
False
Let k(g) = 6*g**2 + 7*g - 7. Suppose 0*x - x = -6. Is k(x) composite?
False
Let q = -58 - -58. Suppose l - 2077 = -2*l - 5*s, q = -3*l + 2*s + 2063. Is l composite?
True
Suppose 19*z = 7*z - 48. Is -1 - (z - -2) - 1788/(-6) composite?
True
Is (16/16)/(2/27726*3) prime?
True
Suppose 0 = -3*x + 3720 + 693. Is x composite?
False
Let a(y) be the first derivative of -y**4/2 - 11*y**3/3 + y**2/2 + 19*y + 4. Is a(-8) prime?
True
Let v(x) = -x**3 - 7*x**2 - 3*x - 6. Let z be v(-11). Suppose 5*l - 274 = z. Is l prime?
True
Let o(t) be the second derivative of -t**5/5 + 5*t**4/12 + t**3/3 + t**2/2 + 9*t. Let a be o(5). Let p = -177 - a. Is p prime?
False
Let p = 761 + -366. Is p composite?
True
Suppose 4*b = -3*x + 27 + 6, -4*b + 4*x + 40 = 0. Let t(z) = z**3 - 6*z**2 - 4*z + 4. Is t(b) prime?
True
Let o = 20 + -8. Let y(t) = -t**3 + 16*t**2 - 4*t + 4. Let p be y(o). Suppose 2*n + 150 - p = 0. Is n composite?
False
Let j(r) = -r**3 + 6*r**2 - 7*r + 5. Let t(s) = -s + 9. Let g be t(4). Let x be j(g). Let z(c) = -c**3 - 5*c**2 - 6*c - 7. Is z(x) composite?
False
Suppose 5*g - p = 20, 0 = -0*g + 5*g - 3*p - 10. Suppose -g*o - 32 = 23. Let u(y) = -63*y - 14. Is u(o) prime?
False
Suppose 20 = 4*v, -2 = -4*i - 2*v + 32. Suppose 2421 = 9*f - i*f. Is f composite?
True
Let d(t) = -t**3 - 6*t**2 - 3*t - 15. Let p be d(-6). Suppose -3*j - 16 = -5*j. Let f = p + j. Is f a composite number?
False
Is 3294 + 35/(1 + 6) a prime number?
True
Let q(g) = 32*g**2 - 13*g - 17. Let v(w) = -2*w**2 + 4*w + 10. Let y be v(-2). Is q(y) a composite number?
False
Suppose 3*u - 4*f = 58107, 6437 + 12945 = u + 3*f. Is u a composite num