
True
Suppose 0*w - 19941 = -5*q + 4*w, 4001 = q - 4*w. Is q a prime number?
False
Let w(t) = -2*t - 7. Suppose -4*q = -h - 0*h - 22, 0 = 4*h + 3*q + 12. Let r be w(h). Suppose -5*j = 5*f - 75, 2*j = r*j - 5*f - 77. Is j a prime number?
True
Let q(y) = -4*y**2 + 17*y - 10. Let w(t) = t**2 - t. Let n(v) = q(v) + 6*w(v). Is n(-12) prime?
False
Let k(g) = -g**2 - 13*g + 10. Suppose -2*d - 7 - 7 = 5*o, 4*d = 2*o - 52. Is k(d) a prime number?
False
Suppose -4*j = -3*b + 4904 + 2321, -4*b + 4*j + 9636 = 0. Is b a prime number?
True
Let l(t) be the third derivative of 1/4*t**4 - 1/120*t**6 - 7/6*t**3 + 1/12*t**5 - 2*t**2 + 0*t + 0. Is l(5) prime?
True
Suppose -2*f - 7 = -4*z + 7, 0 = 2*f - 3*z + 9. Let k(n) = 3*n - 4. Let p be k(5). Suppose 3*c = f*b + 15, -2*c - c + b = -p. Is c a composite number?
False
Let o = -57 - 0. Let a = o + 94. Is a a composite number?
False
Suppose 145 = 4*w - w + 2*h, -h = -5*w + 259. Let v = 60 - 92. Let c = v + w. Is c a composite number?
False
Suppose -4*a = -4*j + 4776, -j = -5*a - 438 - 776. Is j a prime number?
False
Let i be (-2154)/(-2) + -1 + 4. Suppose 4*v + i = 2*v. Let o = -385 - v. Is o prime?
False
Let i(s) = -70*s + 29. Is i(-14) composite?
False
Suppose 3*z = -2*g - 6, 0 = -2*g - z + 4*z - 6. Let b(n) = -n - 5. Let r be b(-3). Is r/(-6) + (-26)/g composite?
True
Let b = -17 + 11. Let f be 452/(-10)*(b - -1). Suppose 2*h - f = -0*h - u, 3*h - 3*u - 339 = 0. Is h a prime number?
True
Suppose x = 5 - 2. Let z = x - -6. Is z a composite number?
True
Is 4 + 209 - 0/(-2) a composite number?
True
Suppose -5*r + 3*r = 0. Suppose -5*h - 36 + 311 = r. Is h composite?
True
Let b(c) be the second derivative of -c**5/60 - c**4/24 - c**3/3 - 2*c. Let t(h) be the second derivative of b(h). Is t(-5) a composite number?
True
Let h(r) = -15*r. Let y be (6 - 2/2)*-1. Let j be h(y). Suppose -4*s = -9*s + j. Is s a composite number?
True
Let k(t) = -3*t - 2. Let c be k(-4). Suppose -46 - c = -4*v. Is v a composite number?
True
Let l(w) = 328*w**3 - w**2 + w - 5. Let v(s) = -s**3 + 1. Let r(n) = -l(n) - 6*v(n). Is r(-1) composite?
True
Let i be 10*(-4)/(-8) - 3. Suppose 3*f - 251 = -i*p, 3*f = p - 5*p + 247. Is f a prime number?
False
Let a(c) be the third derivative of 19*c**8/10080 - c**6/720 - c**5/60 + c**2. Let m(p) be the third derivative of a(p). Is m(1) a prime number?
True
Let q(g) = 2*g**3 - 10*g**2 - 10*g + 13. Is q(9) prime?
True
Let q(y) = 2*y**2 + 16*y + 53. Is q(-24) a composite number?
False
Suppose 4*r + 4*q - 16 = 0, 4*r + 5*q + 2 = 18. Suppose -5*c = 3*x - 10*c + 9, -2*x - r*c + 16 = 0. Suppose 0 = x*k - 5*k + 903. Is k a prime number?
False
Let y(b) = -b**3 - 8*b**2 + 3. Let r = 19 - 27. Let c be y(r). Is 47/c - (-2)/(-3) a composite number?
True
Suppose -3*u = -0*u - 447. Is u a composite number?
False
Let p(m) = m - 9. Let a be p(7). Let l be ((-6)/(-4))/3*a. Is (-576)/(-6) - (2 - l) a prime number?
False
Suppose -h + 4*h = 477. Is h a composite number?
True
Let z be (-1)/(1 - 6/3). Let l be 3 + -2 + z - 12. Is 2 - (l + (0 - 2)) prime?
False
Suppose -5*t = -2*y - 4, 0 = 5*y - 4*t - 3 - 4. Suppose 0 = 5*d - z - 626 + 151, 285 = y*d - 5*z. Is d a prime number?
False
Let w = 773 + -324. Is w a prime number?
True
Suppose 189 = 6*i - 213. Is i composite?
False
Let o = -12 + 6. Let u(y) = -y**2 + y. Let f be u(o). Let l = f - -73. Is l a prime number?
True
Suppose t + 7 - 2 = 0. Is 3*t/(45/(-114)) prime?
False
Suppose 5*b - 2*f = 2, -3*b + 11 = f + 1. Suppose 0 = -b*z - 5*m + 51, z - 3*m - 58 = m. Is z composite?
True
Suppose 5*u - 4*x = 2073 + 1690, x - 1500 = -2*u. Is u a prime number?
True
Let l be 0 - 6*242/(-4). Let z = l - 206. Is z prime?
True
Let s(h) = h - 5. Let d be s(9). Suppose d*m - x - 29 = 2*x, -3*m = -x - 28. Is m a composite number?
False
Let w be 291*(20/(-12))/5. Let m = -54 - w. Is m a prime number?
True
Let h be (4/8)/(1/74). Suppose -o + 2 = -h. Is o a prime number?
False
Let s(r) = r**3 + 4*r**2 + 2*r + 1. Let c be s(-2). Suppose -4*z + x = -3, -1 = -3*z + c*x - 3. Suppose 3*w + 3*d = 51, w = -4*d + z + 1. Is w composite?
True
Suppose 0 = 2*h - 2*q - 7 - 101, 165 = 3*h - 4*q. Let l = h - 14. Is l prime?
True
Suppose 0 = 6*s - 5*s - 187. Let f = 363 - -294. Suppose 0 = 2*t - f + s. Is t a prime number?
False
Let d(v) = v**3 - 8*v**2 + 13*v + 11. Is d(7) prime?
True
Let d = -3 - -4. Let o be 68*1/(2/d). Suppose -o = -l - 15. Is l a composite number?
False
Suppose 0 = 5*a + 8*z - 3*z - 30, -15 = -5*z. Let k(c) = 2*c**3 + a*c + 3*c + 8*c**2 - c**3 - 5. Is k(-6) composite?
False
Let d(w) = w + 2. Let k be d(0). Let v(p) = -p + 0*p**k + 24*p**2 + 42*p**2. Is v(1) a prime number?
False
Suppose -24040 - 19000 = -2*p. Suppose t + p = -3*t. Is 1/(-5) - t/25 a composite number?
True
Suppose -2*q - 15*q + 391 = 0. Is q composite?
False
Let n = 5 + -3. Suppose -5*r + n*g + 40 = -g, -3*r + g + 20 = 0. Suppose -46 = -r*u + 49. Is u a prime number?
True
Suppose -1 = x, -2*m + 3*x + 66 = -x. Is m prime?
True
Let l(u) = u**2 - u + 3. Let s be l(0). Suppose -s*c + 2338 = 3*j + 11131, -c + j = 2929. Is (-8)/(-36) + c/(-18) a prime number?
True
Suppose 16*d + 1534 = 18*d. Is d a composite number?
True
Let k(h) = 2*h**2 - 6*h + 2. Let i be k(4). Is (i + -15)*262/(-2) a prime number?
False
Is (1/((-2)/(-13)))/(3/174) prime?
False
Suppose -f - 3 = 4*q, -2*q = f + 6 - 3. Suppose 5*p + 15 = -2*y + 5, q = 3*y + 3*p + 6. Suppose y = 2*d + 99 - 685. Is d prime?
True
Suppose 2*l + 1421 + 145 = 4*u, 0 = -u + 4*l + 409. Is u a prime number?
True
Let f(x) = x - 1. Let y be f(-3). Let u(w) = -17*w - 5. Let c be u(y). Suppose 2*p - c = -p. Is p composite?
True
Suppose 0 = -j + 1 + 1. Suppose 0 = j*d - 4*d + 158. Is d composite?
False
Suppose 3*a - 2*a = 381. Is a prime?
False
Let d(o) = o - 2. Let c be d(2). Suppose -2*t + 6 = -c. Is (-2 + -1)*(t + -22) composite?
True
Is 33*((-68)/(-12) + 0) composite?
True
Let r = 359 - -638. Is r prime?
True
Is ((-15)/45)/((-1)/1761) composite?
False
Let y be -2 - 41 - (-1 + 2). Let k be (9/3)/(6/y). Let g = -9 - k. Is g a composite number?
False
Suppose -j + 591 = 4*d, -2*d + 318 = j - 5*j. Is d a composite number?
False
Let w(u) = 44*u + 29. Is w(7) a composite number?
False
Suppose 739 = 4*f + w, 233 = 2*f - 2*w - 139. Suppose -z + 6*z = f. Is z a composite number?
False
Suppose 0 = -3*m - z - 1101 - 709, 2*m + 3*z + 1195 = 0. Let c = 986 + m. Is c a prime number?
False
Let v(d) = -8*d**2 + 8 + 2*d**2 - 3 + 4*d + 2*d**3. Is v(4) prime?
True
Suppose -g + 16 + 379 = 0. Is g prime?
False
Let k(l) = 9*l - 6. Let s(n) = n - 1. Let y(a) = -k(a) + 4*s(a). Suppose 23 - 2 = -3*q + 2*p, 0 = -2*q + 2*p - 14. Is y(q) a composite number?
False
Let p(i) = i + 6. Let d be p(-3). Let n(c) = 173*c + 2. Is n(d) prime?
True
Let h(w) = w - 1. Let y be h(0). Is (-214 - (-3 - 0))/y a composite number?
False
Let t(r) = 4*r - 5. Is t(6) prime?
True
Let w be (-3)/(1 + 2) - 4. Let x = w - -26. Is x a prime number?
False
Suppose 2*m + 5*r + 35 = 0, -4*m + 3*m = 4*r + 16. Is m/2*51/(-6) composite?
True
Let l = 32 + -63. Let s = l - -46. Is s prime?
False
Suppose 2*g = 4*g - 374. Is g a prime number?
False
Suppose -3*w + d = -1531, 5*w - 2533 = -2*d - d. Is w composite?
False
Is (5 + -1738)*(1 + -2) a composite number?
False
Let k(y) = -y**3 - y**2 + 1115. Is k(0) prime?
False
Let y be (-2)/7 - 46/(-14). Suppose 0 = -3*g + 5*g. Let a = g + y. Is a prime?
True
Let t(k) = k**3 - 8*k**2 + k - 6. Let i be t(8). Suppose -i*p = -52 - 82. Is p prime?
True
Let c = 6 + -4. Suppose 37 = c*t - 101. Is t composite?
True
Let y(x) = -x**3 - 17*x**2 - 5*x - 18. Suppose -6*m = -2*m + 68. Is y(m) a prime number?
True
Suppose 2 = 5*w - 18. Let g(f) = 17*f**2 - 3*f - 3. Is g(w) a prime number?
True
Suppose -5*j - 5*o + 4473 + 3137 = 0, -1 = o. Is j composite?
False
Let c(i) be the second derivative of -i**5/20 + i**4/12 + i**3/2 + 3*i**2/2 + 2*i. Let m be c(-2). Is 186/(-9)*m/(-6) a prime number?
True
Let q(y) = 7*y**2 - 13*y - 14. Let b be q(-11). Suppose 5*l - b = -3*c, -5*l + 3*c + 218 = -746. Is l a composite number?
True
Let b(v) = -v. Let m(p) = -23*p - 4. Let l(h) = 2*b(h) - m(h). Is l(11) a prime number?
False
Suppose 0 = -2*k - 2*k + 628. Is k composite?
False
Let f(x) be the first derivative of 160*x**2 - x - 2. Is 