 4*d. Is q composite?
True
Let v(y) be the third derivative of y**5/20 + y**4/12 + y**3/3 - 2*y**2. Let z(j) = -j**2 - j + 1. Let l(m) = v(m) + z(m). Is l(-4) composite?
False
Let o = -242 - -441. Suppose 3*s - 198 = 3*m, -m + o = 3*s - 5*m. Is s prime?
False
Suppose -5*z - 164 = -3*w - 10*z, -5*z = -2*w + 101. Let x = 210 - w. Is x a composite number?
False
Suppose -l = 1 - 6. Suppose 6*y - p - 1180 = y, l*y + 5*p - 1210 = 0. Is y a prime number?
False
Suppose 188 + 4 = 4*h. Suppose -3*c + 375 = -24. Let w = c - h. Is w a composite number?
True
Suppose 4*i - 194 - 1548 = 2*u, 0 = 5*i + 3*u - 2194. Is i prime?
False
Suppose -2*b + o = 5*o - 978, o = 2*b - 968. Is b composite?
True
Let d be (-3)/(-6)*-2 - 1862. Is 6/21 - d/21 prime?
True
Let o(q) = -25*q - 6. Let z(s) = 1426*s + 119 + 299 - 77. Let p(c) = 341*o(c) + 6*z(c). Is p(1) a composite number?
False
Let c(p) = 120*p**2 + 9*p - 20. Is c(3) a composite number?
False
Suppose 3*i = -4*x - 33, i - 2 = 2*x + 7. Is 678/(-4)*4/x composite?
False
Let s be (-21)/18 + (-1)/(-6). Let n be 1*(-1 + s + 21). Suppose 5*j - 16 = -5*c + n, 4*j + 5*c = 32. Is j prime?
True
Let j be (8 + 1)/((-3)/(-2)). Let w(y) = -15*y + 14. Let x(p) = -7*p + 7. Let d(z) = 2*w(z) - 5*x(z). Is d(j) a composite number?
False
Let x = 8 - 0. Is (-2)/x + 12903/44 a composite number?
False
Let d(g) = 9*g**2 + 3*g - 11. Is d(-6) a prime number?
False
Suppose 0 = 16*h - 15*h - 547. Is h composite?
False
Suppose 5*t = 4*x - 337, -3*x - 2*t + 248 = -t. Suppose 3*h - 4*h + x = 0. Is h a prime number?
True
Suppose -4*z - 4*h + 16796 = 0, 5*z + 2*h = 16912 + 4089. Is z a prime number?
True
Let q = -4 + 3. Is (307*(-1)/q)/1 a composite number?
False
Let m(y) = 2*y**3 - 3*y**2 - 5*y - 3. Let b(u) = 2*u**3 - 2*u**2 - 5*u - 2. Let f(q) = -4*b(q) + 3*m(q). Is f(-4) a composite number?
True
Let f = -48 - -228. Suppose 4*r - f = -4*y + 332, -5*y = 2*r - 247. Is r a composite number?
False
Let z(x) = x + 6. Let d be z(-6). Suppose d = -2*y + 8, -3*t + y = -329. Is t a composite number?
True
Suppose -433 = -5*d + 132. Is d a composite number?
False
Suppose 7*p = 8*p - 191. Is p composite?
False
Suppose 0 = -x + 5, 3*x = -5*z + 392 + 153. Is z a prime number?
False
Let j(a) be the first derivative of 15*a**2 - a + 4. Let w(z) = z + 7. Let f be w(-4). Is j(f) a composite number?
False
Is 1/2 - 90/(-4) composite?
False
Suppose 6 = 4*h - h. Suppose 0 = -h*o - 0*o + 254. Is o a prime number?
True
Let q(m) = -6*m - 1. Is q(-9) a composite number?
False
Suppose -1 = -2*s + 3*s. Let f = 4 + s. Suppose f*z - 29 = 37. Is z a composite number?
True
Suppose 0*t - 5*t - 5*f = -1310, 3*t - f - 802 = 0. Let h = -177 + t. Is h composite?
False
Let b(w) = -w**3 - 10*w**2 + 18*w - 11. Is b(-14) composite?
False
Let p(k) = 255*k - 3. Is p(6) a composite number?
True
Let m(t) = -4*t**3 - 2*t**2 - 4*t - 2. Let b be m(-3). Suppose b = 5*f - 795. Is f a prime number?
True
Let k = 5 + -3. Let j(f) = -f**2 + 3*f**3 + k*f**2 - 2*f - 3*f + 1 + f. Is j(3) a composite number?
False
Let m = -144 - -212. Is (-2)/2 + m - 0 a composite number?
False
Suppose i + 2*f - 15 = -5, -5*f = -4*i - 25. Is i - 34/(-1 + 0) a prime number?
False
Let s be 4 + -2 + -15 + 1. Let r(w) = 6*w**3 - w + 1. Let o be r(1). Is (-8)/s - (-128)/o a composite number?
True
Let z(p) = p**3 - 7*p**2 + 8*p. Let n be z(6). Suppose j + 589 = 4*s + 2*j, 5*s - 737 = -j. Suppose -4*d - n + s = 0. Is d a composite number?
True
Let k(q) = 6*q - 1. Let g be k(1). Suppose -2*i + o + 39 = 6, -3*i = -g*o - 32. Is i a composite number?
False
Let d = -976 + 501. Is d/(-4) - (-1)/4 composite?
True
Let f(q) = 8*q. Let p be (-47)/7 - (-6)/(-21). Let t be f(p). Is 3/(-9) - t/6 composite?
True
Is 12 + -12 + 157 + 0 composite?
False
Suppose -5*z + 171 = 4*c + 15, 0 = -4*z + 4*c + 96. Let l = z - -66. Is l a prime number?
False
Let v = 128 + 33. Is v a prime number?
False
Let f(h) = -3*h + 6*h**2 + h + 1 + 4*h**2. Is f(2) prime?
True
Suppose v - 16 = -4*w, -6 = -v - 2*w + 2. Suppose 5*x + 15 = 3*p - 20, -x - 4*p + 16 = v. Is x*1/4*-7 a composite number?
False
Suppose -1065 = -3*t - 3*v, 2*t = 3*v - 347 + 1057. Let x be (-1264)/(-6) - (-4)/(-6). Suppose 0 = -5*j + t + x. Is j a composite number?
False
Let d be (1 - 2)/(3/(-237)). Let z = -28 + d. Is z prime?
False
Let q = 117 + -38. Let n(r) = 11*r**2 + 4*r + 1. Let c be n(3). Let f = c - q. Is f composite?
True
Is ((-24)/(-14) - 2)/((-21)/33663) prime?
False
Is (99/(-6))/((-12)/56) a composite number?
True
Let o(b) = -6*b**3 + 6*b**2 + 4*b. Let l be o(5). Let j = -287 - l. Is j prime?
True
Let a(l) = 86*l**2. Is a(1) prime?
False
Let p(n) = 634*n + 1. Let a(z) = -z**3 + 11*z**2 - 10*z + 1. Let w be a(10). Is p(w) prime?
False
Suppose -u + 841 = -640. Is u prime?
True
Suppose 3*l = -2 + 8. Let h be (l*(2 + 7))/2. Suppose -32 = -r - h. Is r a composite number?
False
Let p(x) = x**3 - 10*x**2 + 5*x + 9. Let a = -6 + 15. Let u be p(a). Let z = 64 + u. Is z a prime number?
True
Let o = -545 - -870. Suppose -5*d + o = -2*a, d - 53 + 1 = 3*a. Is d composite?
False
Suppose -2*z - 2*i + 494 = 0, -3*i = -5*z + 1022 + 197. Suppose 3*a - 2*l - 259 = 0, 5*l - z = a - 4*a. Is a a composite number?
True
Let i(l) = -l**3 + 5*l**2 + 2*l + 2. Suppose 4*h - 12 = h. Is i(h) prime?
False
Let x be -2*2*1*-2. Let c = 72 - x. Suppose -111 = -5*m + c. Is m a composite number?
True
Suppose 4*n = q + 459, 373 = 3*n + 3*q + 25. Let f = n + -62. Is f a prime number?
True
Let x(n) = 160*n + 39. Is x(8) composite?
False
Suppose 2*t + 309 = q, 0 = -3*q - t - 79 + 999. Is q a prime number?
True
Is 104/(-32)*(0 + -12) a prime number?
False
Suppose -5*j + 0*j = -1895. Is j composite?
False
Suppose 28 = -b - 0. Let m = -48 - b. Is 1 + -1 + (-1 - m) a prime number?
True
Suppose a = 3*b - 12, -3*b - 4*a = -3*a - 12. Let c(s) be the third derivative of 13*s**4/24 - s**3/2 + s**2. Is c(b) a composite number?
True
Suppose 0 = 3*k - h - 46, -64 = -3*k - k + 2*h. Suppose -v - 2*o - 4 = -19, -4*o = -2*v + k. Is v composite?
False
Is 12/60*(2 + (-10493)/(-1)) prime?
True
Let g be (-6)/27 - 1138/(-18). Suppose 2*v - 4*j = 362, 3*j = -3*v + 624 - g. Is v composite?
True
Is (-3)/(-6)*-4 + 333 composite?
False
Let c = -29 - -65. Let r = c + -15. Is r composite?
True
Let n = -41 - -61. Let f = n + -13. Is f prime?
True
Let i be 130/35 - (-4)/14. Suppose -i*h = -h - 255. Is h a composite number?
True
Let q(f) = -88*f - 15. Is q(-4) a prime number?
True
Suppose -r - 35 = 4*r. Is (4*r/2)/(-1) composite?
True
Let k(i) = i + 65. Suppose -5*f = 3*x - 1, 5*f + 6*x + 2 = 2*x. Suppose -h = -4*h - 3*s, f*s = -3*h. Is k(h) a composite number?
True
Suppose 0 = -q - 5, -a - q = 3. Let d(k) = 31*k**2 - k + 2. Let t be d(a). Suppose 2*y + t = 6*y. Is y prime?
True
Let d = 6 + 671. Suppose -10 = 5*b, -3*b + d = 2*y - y. Is y a prime number?
True
Suppose p - 2 = w - 4, -4*p - 2*w + 22 = 0. Is (-2)/(-6)*p*191 a prime number?
True
Suppose 0 = -c + 160 + 153. Suppose z - c + 50 = 0. Is z composite?
False
Suppose s + 4*s = 15. Suppose -42 = -2*h + 2*b, -2*b + s*b = -4*h + 94. Is h a composite number?
False
Let v be 17/3 - 4/6. Let c(l) = l**2 - 4*l. Let x be c(v). Let r = 14 + x. Is r composite?
False
Let t be (-20)/(-130) + (-154)/(-13). Is (-939)/(-2) - 6/t a prime number?
False
Let v be 10*(1 - 3/6). Let g be (v/(-2))/((-2)/36). Suppose 3*p = -0*p + g. Is p prime?
False
Is 3 - -57*(-4)/(-3) composite?
False
Let w = 4704 + -1453. Is w a composite number?
False
Suppose -5*s + 7524 = 3*c, 2*c + 3*s - 5376 = -361. Is c a prime number?
True
Suppose -3*h = -4*h + 397. Is h composite?
False
Let k(c) = 7 + 11*c + 4*c**2 + 2*c**2 - 4*c**2. Let d = 3 - 11. Is k(d) a prime number?
True
Suppose 18 = 2*b + 2*b + 2*p, b - 4*p = -18. Suppose -b*v - 10 = 3*l + 14, v = 2*l - 12. Let o = v + 19. Is o a composite number?
False
Let x = -2541 - -3596. Suppose -x = -5*r - 2*i, 2*r + r - 633 = 2*i. Is r prime?
True
Let y be (-1 + -2)/((-2)/984). Is (y/(-24))/(6/(-8)) a prime number?
False
Let n(u) = -13 - u**2 + 0*u**2 + 7*u + 3*u**2. Is n(10) a prime number?
True
Let g(k) = 13*k - 7. Suppose -4*q + 29 = -19. Is g(q) composite?
False
Is 3 - 11/((-44)/3440) composite?
False
Let d be 0/(-2)*(4 - 3). Is (4 - (1 + d)) + 220 a prime number?
True
Let q be (-2 - (-4