. Is a a prime number?
True
Is 0/52 + (-1 - -2744) prime?
False
Let b(r) be the second derivative of 3*r**5/20 - 17*r**4/12 + 2*r**3 - 4*r**2 - 5*r. Let d be b(11). Suppose 3*l + l = d. Is l composite?
True
Let n be (-33)/(0 - 6/28). Suppose -2*l - 10 = -7*l. Is n + l + 2 + 3 a composite number?
True
Let l be ((-2)/(-5))/(14/840). Suppose 0 = 2*y - 3*p + 2, 2*y + 2*p + 1 = -11. Is 3438/l + 1/y composite?
True
Suppose 76062 = 5*l - 3*k + 21011, 3*l - 33025 = -k. Is l prime?
False
Let b(w) = -2 + 15*w**2 + 3 - 13*w + 26*w. Is b(13) a composite number?
True
Let s be 6*((-10)/(-4) + -2). Suppose -s*x + 0*x = -417. Suppose 2*d - 139 = d - 4*f, d = 2*f + x. Is d a composite number?
False
Suppose 95881 + 36995 = 36*h. Is h a prime number?
True
Suppose -7*f + 2114 + 826 = 0. Suppose -2*y = -3*y + 4*i + 197, -2*y = 5*i - f. Is y composite?
True
Let q(c) = 10*c**3 - 9*c**2 + 35*c - 25. Is q(14) a composite number?
False
Suppose 3*t + h + 3 = 0, -17 - 2 = 2*t - 5*h. Let y(q) = -1030*q - 7. Is y(t) composite?
False
Let j(b) = 42*b**2 + b + 1. Let a be j(3). Suppose 8*p + a = 2894. Is p a composite number?
True
Suppose -4*d + 255 = -3*q, -2*d + 2*q + 62 = -68. Is (d/(-6))/(6/(-21)) a composite number?
True
Let f(y) = y**3 + y**2 - 1. Let o(a) = -133*a**3 + 5*a + 5. Let n(d) = 4*f(d) + o(d). Is n(-2) composite?
False
Let r = 1251 - -2911. Is r a prime number?
False
Is 4130640/1680 - (-2)/7 composite?
False
Suppose -21 = p + 14. Let r = p - -38. Is (-309)/2*(-2)/r a composite number?
False
Let v be 2*(-3 + (-76)/(-8)). Suppose -v*s + 2040 = -18*s. Let a = s - -619. Is a a prime number?
True
Suppose 2*j - 76 = -2*l, 0 = -0*j - 3*j - 6. Suppose l*b - 38*b - 652 = 0. Is b prime?
False
Let d = -2093 - -3379. Suppose -5*u = -d + 131. Suppose 0 = -3*z + 5*g + 186, 0 = -4*z - 0*g + g + u. Is z prime?
False
Suppose 3*b = 4*b + 3*z - 3, 5 = z. Let n = b - -455. Is n composite?
False
Let s = -473 + 31. Let u = s + 133. Is u*(-2 - 5/(-3)) a composite number?
False
Let d(b) = 72*b - 2. Let q be d(-1). Let t = 196 - q. Suppose 281 = c - t. Is c a prime number?
False
Suppose -k = -3*u - 6247, -6247 = 4*k - 5*k - 3*u. Is k prime?
True
Suppose 3*m - 2*c = -0 - 2, 0 = -4*m - 3*c + 20. Suppose -t + 586 = t + 4*y, m*t + 2*y - 588 = 0. Suppose j - t = -0*j. Is j a composite number?
True
Is (-8)/(-12) + (-1784)/(-6) + -3 a prime number?
False
Let r be (4/10)/(3/(-15)). Let k = r + 325. Is k a composite number?
True
Suppose 5*f = 3*f - 4*l - 510, f + 3*l = -250. Let q = 54 - f. Is q prime?
False
Is (862/10)/(11/55) a composite number?
False
Suppose -4*q - p + 3 = -20, 23 = 3*q - 5*p. Let x(t) = t**2 - 6*t - 5. Let b be x(q). Is (975/(-6))/b*2 a prime number?
False
Let z(q) = -7*q**3 + 6*q**2 - 29*q - 71. Is z(-15) prime?
True
Let f(g) be the first derivative of 145*g**3/3 - 3*g + 23. Is f(4) prime?
False
Suppose 0 = 5*s + 4*v + 65, v - 2*v = 5*s + 65. Let t = s + 0. Let l = 176 + t. Is l a composite number?
False
Let p(k) = -k**3 + 9*k**2 - 3. Let j be p(9). Is 3/2*(-4642)/j a composite number?
True
Suppose -21 = 3*w - 2*x + 21, -2*w = -4*x + 36. Is 8/w + 2213/3 a prime number?
False
Let a(r) be the first derivative of -22*r**2 - 23*r + 14. Is a(-18) composite?
False
Let a(h) = -304*h + 271. Is a(-6) composite?
True
Let i = 8024 + -873. Is i composite?
False
Let j = 620 - -495. Is j prime?
False
Suppose 4*q = -4*f - 1112, 502 + 300 = -3*f + 5*q. Let u = -53 - f. Is u a prime number?
False
Let c be 1024/(-12) + 5/(30/(-4)). Let v = -1 - c. Is v a composite number?
True
Let m be 3 + 0 + -2 + 853. Suppose 26 + 131 = v + 4*l, 0 = -5*v + 3*l + m. Is v composite?
True
Suppose -20128 = 75*h - 79*h. Suppose 21*f = 13*f + h. Is f a prime number?
False
Is 7/((-28)/11684)*-1 a composite number?
True
Let v be (5 + -7)*(-1)/2. Let z = 1 - v. Suppose z = 3*o + o - 596. Is o a prime number?
True
Let f = -15 + 17. Suppose -3*k + 2570 + 1103 = f*a, -3*a = 12. Is k a prime number?
False
Let j(f) = 14*f**2 - 24*f - 99. Is j(-26) prime?
False
Let r(f) = -4*f + 4 - 22*f**3 - 8 - 16*f**3 + 9*f. Is r(-3) composite?
True
Is ((-17 - -9) + 19575)/(3/3) a composite number?
True
Let i(n) = n**3 + 9*n**2 + 7*n - 5. Let k be i(-8). Suppose -k*v + 3310 = -8*v. Is v/(-18) + (-4)/(-18) composite?
False
Let j(v) = -50*v + 199. Is j(-24) a composite number?
False
Let s(z) = z**3 - 3*z**2 + 2*z. Let q be s(2). Let t(h) = -h**3 - h**2 + h + 78. Let m be t(q). Suppose -2*g + 79 + m = 3*i, 5*g = 3*i - 164. Is i composite?
False
Suppose 2305 = 7*m + 163. Suppose -x = -4*x + m. Suppose 0 = j - 643 + x. Is j a prime number?
True
Suppose 17*d - 16*d + 3 = 0, -3*x - 2*d + 91089 = 0. Is x composite?
True
Let l = 94 + -10. Let u = l + 175. Is u prime?
False
Suppose 5*i - 4*w = -885, i + 151 + 26 = 2*w. Let t = i + 486. Is t a composite number?
True
Let o(t) = -t + 4. Let d be o(0). Let f be ((-1)/(-1))/((-6)/(-174)). Suppose 2*j + 272 = d*p, -3*j - f + 358 = 5*p. Is p prime?
True
Suppose -2*o + 447 = o. Let k(h) = 33*h + 122. Let f be k(-5). Let y = o + f. Is y a prime number?
False
Let n(w) = -w**2 - 6*w - 3. Let c be n(-5). Suppose c*p - 5*p = 0. Suppose p = -4*m + 1001 + 2475. Is m composite?
True
Let o(b) = 75*b**2 + 8. Suppose n + 1 = -3*a - 5, 3*a = 5*n - 24. Is o(a) a composite number?
False
Let v(g) = -g**2 - 2*g - 1. Let x be v(-3). Let d = x - -2. Is (3 + (-231)/6)*d a composite number?
False
Suppose -4 = 2*b - 4. Is 1 - b - (-900)/2 a composite number?
True
Suppose 3*l - 534 = -4*o + 359, 5*l = -o + 236. Is o a prime number?
False
Is (-3748 - -1)/((-6)/(-8)*-4) composite?
False
Let q(n) = -534*n**3 + 2*n**2 + 7*n + 26. Is q(-3) a composite number?
True
Suppose -4*n + 52587 = 5411. Let u = -7623 + n. Is u a composite number?
True
Let t(v) = 2269*v - 604. Is t(23) a prime number?
False
Let j(g) = 1 + 6*g**2 + 2 + 0*g**2 + g**2 - 6*g. Is j(4) composite?
True
Let a(v) = -53 - 17*v + 58*v**2 + 7*v + 58. Is a(-6) composite?
False
Let n = -113 - -218. Let w = n + -68. Is w a prime number?
True
Suppose -22720 = -7*b + 19133. Is b a prime number?
False
Suppose 3*s = -4*u + 1682, 5*u = -4*s - 131 + 2234. Is u a composite number?
False
Suppose 3*m - k = 0, -4*k + 10 = m - 3*m. Let q be (75 - (-3)/m) + 0. Let y = 113 - q. Is y a composite number?
True
Let j(v) = -4538*v**3 + 2 - 2*v**2 + 2*v**2 - 1692*v**3 + 3*v. Is j(-1) composite?
False
Let w = 71 - 78. Is 225891/81 + 1 + w/9 composite?
False
Suppose 0 = -28*m + 23*m + 4325. Is m a prime number?
False
Let o be 1/(-6) + 69/(-18). Let g be o + 122/2 + -2. Is 22693/g + 2/5 a prime number?
False
Let n = 38248 - 22827. Is n composite?
True
Is (0 + -1)/(10/10) - -4275 a prime number?
False
Let b(w) = w**3 - 5*w**2 - 4*w - 8. Let s be b(6). Suppose -261 = -s*a + 3*q, -a + 7*q = 2*q - 61. Let y = a + -8. Is y a prime number?
False
Let n = 6142 - 1805. Is n prime?
True
Suppose 11*x - 493674 + 20663 = 0. Is x a composite number?
True
Let t(u) = -111*u**3 + 2 - 139*u**3 + u**2 + 0 + 2*u. Is t(-1) composite?
False
Let l(p) = 5008*p + 57. Is l(4) a composite number?
False
Suppose 11*t = 4*z + 6*t - 36699, -4*z = -3*t - 36709. Is z prime?
True
Let b be (-1 - 0)*(6 - 4). Let h be (b - 418)*(-3)/6. Suppose 2*u = 5*v + h, 4*u + 2*v = 63 + 309. Is u a composite number?
True
Suppose -3*g = 2*g + w - 4263, g + 4*w = 845. Is g a composite number?
False
Suppose -3*k + 10 = -2. Is k/(-6) - (-753)/9 prime?
True
Let w(f) = -13*f + 11. Suppose -4*q - 12 - 12 = 0. Is w(q) composite?
False
Suppose -5*d + 34050 = -0*d. Suppose 0*z + 6*z - d = 0. Is z a composite number?
True
Suppose 26 = 2*u - 2*f, -u - 3*f + 63 = 2*u. Suppose 15*p - u*p + 188 = 0. Is p prime?
False
Let b(n) = 19*n**3 + 8*n**2 + 4. Let a be b(6). Suppose -4*y + 0*y = -a. Suppose 0 = 5*o - 4*s - y, 3*o + s - 685 = -3*s. Is o prime?
True
Let y(c) = -c**2 - 9*c + 10. Let r be y(-10). Suppose r*i - i = -65. Is i prime?
False
Suppose n - 48030 = -2*n + 5*v, 2*v - 6 = 0. Is n prime?
False
Suppose 4*c + 2*m - 108166 = 0, -5*c - 3*m + 0*m = -135206. Is c composite?
False
Let z(c) = 2*c**2 - c. Let n be z(-2). Let w(i) be the third derivative of i**5/30 - 13*i**4/24 - 13*i**3/6 + i**2. Is w(n) a prime number?
False
Is (-6)/(-21) - 79647/(-21) composite?
False
Let o(b) = 203*b + 6. Suppose -12 - 3 = -5*d. Let t be o(d). Is t*-1*(-2)/6 a pri