 x(u) = 2*u + 14*u**2 + 40*u**2 + 2*u**2 - u. Is x(s) composite?
True
Suppose 4*b + 12 = 0, -2*k - b + 2175 = -0*b. Let x = -627 + k. Let t = x + -197. Is t prime?
False
Let c be (-2 - -1 - -5) + 1255. Is (8 - 5)*c/3 a prime number?
True
Let w be 1/(-2)*-7*2. Suppose -3*b + 40 = b. Suppose -273 = -b*v + w*v. Is v a prime number?
False
Suppose -z + 23173 = -5*i, 15*z + 3*i + 69543 = 18*z. Is z a prime number?
False
Let y(z) = -z**2 - 4*z - 3. Let m be y(-3). Suppose m*a + 4 = a, 3*n + 5*a = 26. Suppose -93 - 13 = -n*k. Is k a prime number?
True
Let i = -5804 + 3155. Let l = i + 5390. Is l prime?
True
Let h(x) = x**2 - 3*x + 2. Let s be h(0). Suppose 3*b = -2*w + 2233 + 1357, w - s*b - 1795 = 0. Is w prime?
False
Let a be 3/12 + 2551/4. Suppose 332 = f + 5*l, -3*l + 0*l = -2*f + a. Suppose f = -15*v + 17*v. Is v prime?
False
Is 7/(-35)*5*-9337 a composite number?
False
Let q(a) = a + 11. Let g be q(-9). Suppose 20 = 11*y - 6*y. Suppose 3*l + 32 = 2*p - g*l, 2 = 3*p + y*l. Is p composite?
True
Suppose 84077 = 11*p - 4*p. Is p prime?
True
Suppose 21 = f - 2*d, 49 = 5*f - 4*d - 32. Let l = 15 - f. Suppose l*r = 200 + 1394. Is r composite?
False
Let y = -31906 + 48875. Is y a prime number?
False
Let p = 40 + -46. Let o(z) = -12*z - 13. Is o(p) composite?
False
Is (52/130)/(8/294820) a composite number?
False
Let y = -4 - -5. Is -3 - -4 - (y + -215) a composite number?
True
Suppose -3*v = 9, -521 - 107 = 4*m + 4*v. Let c = 235 + m. Let t = c - -4. Is t a prime number?
False
Let t(o) be the first derivative of 217*o**2 - 3*o + 35. Is t(4) a prime number?
True
Let r(g) = 162*g**2 + 3*g + 2. Let m(p) = p**2 + 6*p - 8. Let c be m(-7). Is r(c) prime?
False
Let y be (-39)/(-26) + (-365)/2. Let h = y + 2970. Is h a composite number?
False
Is -42327*((-2)/(-6))/(-1) prime?
False
Let t = 26544 - -143. Is t prime?
True
Suppose -y - 25 = -4*z - 0*z, -3*y + 9 = 2*z. Let i be (-3)/9 + (-166)/z. Let a = -18 - i. Is a prime?
False
Let b(v) = 3*v**2 - 2*v + 7. Let m be b(0). Suppose 2*h + 6930 = 4*z, -2*h = 2*z - m*h - 3461. Is z composite?
False
Let h(m) = -2*m + 8. Let g be h(0). Let a(l) = l**3 - 7*l**2 - 7*l - 9. Let y be a(g). Let u(z) = 30*z**2 - z. Is u(y) a composite number?
False
Let l(f) = -21*f + 3. Let y(v) = -v**3 - 12*v**2 - 11*v + 2. Let w be y(-11). Suppose w*d + 5 = -7. Is l(d) a prime number?
False
Suppose v + 5*a = -2*v + 38, 59 = 5*v + 4*a. Suppose 13*i = v*i. Suppose 2*l - z - z = 122, -4*l - 4*z + 228 = i. Is l composite?
False
Suppose -5*p - 3*z + 20840 = -13631, -3 = z. Suppose 0 = d + 7*d - p. Is d a composite number?
True
Is 6189*(-7 - (-14 - -6)) a composite number?
True
Let t(b) = -3*b**3 - 50*b**2 - 14*b - 43. Is t(-26) a prime number?
True
Let f be (-12)/(-18)*9/2. Suppose -15 = -5*x - 5*k, x = 6*x - f*k + 9. Suppose 3*y - u - 469 = x, -4*y + 628 = 3*u - 5*u. Is y composite?
True
Suppose 5*d = -2*n + 4*n + 68215, -25 = 5*n. Is d a prime number?
False
Suppose 0 = n - f + 212, 0 = 5*n + 5*f + 577 + 433. Let a be (-611)/5 - 4/(-20). Let u = a - n. Is u prime?
False
Let m = 549 - -320. Is m a composite number?
True
Suppose -799 = 19*p - 17329. Let n = p - 389. Is n prime?
False
Let w = 805 - 536. Is w prime?
True
Let j = 12977 - 9130. Is j a prime number?
True
Let j be ((6/(-5))/(36/110280))/(-2). Let h = 5409 - j. Is h a prime number?
True
Suppose -8*l = -31*l + 115759. Is l a composite number?
True
Let m(p) = 2281*p**2 + 73*p - 1. Is m(-5) prime?
True
Suppose -13*u + 16*u - 4*g = 29209, 0 = 5*u - 5*g - 48685. Is u composite?
False
Let g(f) be the first derivative of 20*f**3 + f**2/2 + 8. Is g(-1) a prime number?
True
Let t(l) = l**2 - 4*l + 7. Let o be t(3). Suppose 0 = 3*f - f - 2, -5*g - o*f + 24 = 0. Let j = 85 + g. Is j a composite number?
False
Suppose -5*s + 22763 = u, u + 3*s - 23084 = -317. Is u a prime number?
False
Let a = -924 - -1887. Let q = 2999 - a. Is q/6 + (-3)/9 composite?
True
Suppose -3*z + 13891 = 5*c, 0*z - 2*z + c = -9278. Is z prime?
True
Suppose -5*d - 56 = 3*g, 0*d + 5*g - 40 = 5*d. Is (-567)/54*(1 - d/(-6)) a composite number?
False
Let c(y) = 7*y**2 + 38*y + 21. Is c(-12) composite?
True
Suppose 2 = 35*o - 34*o. Suppose -o*i - 5*t + 9716 = 2*i, 0 = 3*t. Is i a composite number?
True
Let q(c) = c**3 - 7*c**2 + 2*c - 10. Let l be q(7). Suppose -l*w = -2*w - 190. Suppose -5*r = -460 - w. Is r a prime number?
False
Suppose -i + 10 - 6 = 0. Suppose -i*u = -6*u + 446. Is u prime?
True
Let d be (15/(-6))/((-1)/(-2)). Let i = d + 4. Is (i - 1)/((-6)/327) a prime number?
True
Suppose -3*h + h + 18 = 2*f, -2*h + 26 = 4*f. Suppose f*k + 103 = 731. Is k a composite number?
False
Let z be 18/12*12/2. Is 8/16 + z/(-2)*-197 a prime number?
True
Suppose k + 122040 = 5*h, 7*k = 2*h + 2*k - 48839. Is h prime?
True
Suppose 0 = 30*v + 3*v - 60819. Is v composite?
True
Suppose -34932 = -12*f + 3888. Is f prime?
False
Let y = -6846 + 11509. Is y a prime number?
True
Let d(z) = 27*z**2 - 7*z - 11. Suppose 6*g - 39 = -57. Is d(g) a composite number?
True
Suppose 0 = 4*v - l - 18, 12 = 5*v - 3*l - 14. Suppose -c + v = c. Suppose -c*z + 6*z + 22 = h, -22 = -h - z. Is h composite?
True
Suppose 0 = 13*t + 5671 - 31008. Is t composite?
False
Let c = -385 + 390. Suppose 0 = 5*t - t - 480. Suppose t = c*x - 35. Is x composite?
False
Let q(t) = 5*t**2 - 12*t - 3. Let d be q(-11). Let a = d - 457. Suppose 6*l - 859 = -a. Is l a composite number?
False
Let u(x) = 105*x**2 - 18*x + 16. Is u(3) a prime number?
True
Suppose i + 656 = p + 2*p, 2*i - 8 = 0. Suppose u = p + 49. Is u a prime number?
True
Let i(q) = q - 3. Let r be i(6). Suppose -373 = -r*p + 5444. Is p a prime number?
False
Let n(m) = 78*m**3 + 2*m**2 + 3*m - 3. Let b be n(2). Suppose -2*p = 5*x - 25 - 2, 4 = x - p. Suppose b = 10*k - x*k. Is k prime?
True
Suppose 34*j = 30*j - 516. Let k = j - -1786. Is k a composite number?
False
Suppose i + 2*x + 151 = 15, -2*i + 4*x = 232. Let z(g) = -2*g**2 - 3*g + 51. Let h be z(10). Let p = i - h. Is p a composite number?
False
Let u = -24 + 22. Let p be -3 - -11 - (1 - u). Suppose -q - m = -262, -m = -q + p*q - 1033. Is q a prime number?
True
Suppose 9758 = 3*g + p, 1650 + 11359 = 4*g + p. Is g a composite number?
False
Suppose 6*d = 2*d + 2804. Is d a prime number?
True
Suppose 4*o - 3*d - 890 - 142 = 0, 0 = -3*o - 5*d + 803. Let t = o + 206. Is t a prime number?
True
Suppose 270 = 10*u - u. Let v = u - -164. Is v composite?
True
Let y be 1337 - (-3 + (2 - -1)). Let s = -754 + y. Is s composite?
True
Suppose 1402 = 4*b + 9158. Let z = -884 - b. Is z a composite number?
True
Let p(q) = 79*q**3 + 3*q**2 + 2*q + 91. Is p(7) composite?
True
Let w(k) = -2*k - 1 + 64*k**2 + 4*k - 11*k**2 + 43*k**2. Is w(-2) a prime number?
True
Let o(x) = x**2 - 43*x + 167. Is o(-35) a composite number?
False
Suppose 0*t - 161 = -23*t. Is t composite?
False
Let s(v) = -409*v**2 + 3*v - 7. Suppose 3*y = -y - 20. Let a(n) = -409*n**2 + 2*n - 6. Let j(r) = y*a(r) + 4*s(r). Is j(-1) prime?
True
Suppose -4*h - 3*a = -885, 2*a - 890 = -4*h + 4*a. Is h + ((-4)/(-6)*9)/(-2) composite?
True
Suppose -4 = -4*j + 3*j. Let i be 111/(-39) - 1/(13/2). Is i/(-6) + 122/j a prime number?
True
Let k(a) = 614*a**2 + 2*a + 3. Let m = 17 + -19. Is k(m) a composite number?
True
Let z(x) = 856*x**3 + 5*x**2 - x - 9. Is z(2) prime?
True
Suppose -5*p - 4276 + 11781 = 0. Suppose 0 = 5*t - p - 1864. Is t prime?
True
Suppose -308827 = -14*c - 130943. Is c a composite number?
True
Let i(y) = -3*y + 16. Let t be i(3). Let c(n) = 106*n + 9. Is c(t) composite?
False
Suppose -2*d = -4*r + 20581 + 10037, 0 = 2*d - 2. Is r a prime number?
False
Is 369400/160 - (-2)/8 a composite number?
False
Suppose -5*n + 8 = 4*d, 0*d + 4*d - 4*n - 8 = 0. Let o be (4 - (1 + d))*3. Suppose -o*m + 169 + 212 = 0. Is m a composite number?
False
Let h = -4027 + 7896. Is h a prime number?
False
Let w be ((-3)/(-6)*-6)/(-1). Suppose 2*k = 2*s - 122, 91 + 68 = w*s + 5*k. Is s composite?
True
Suppose 3*s = 4*v + 24875, -5*s - v + 43436 = 2016. Is s a composite number?
True
Let s = 9272 + -4090. Is s a composite number?
True
Suppose -2*q + 4 = -z - 4*q, 5*z = q - 64. Let o(w) be the third derivative of -w**6/120 - w**5/5 - w**4/12 - w**3/6 - 9*w**2. Is o(z) prime?
True
Suppose 10*s - 62 = 5*s + 4*a, 12 = -4*a. Suppose s