 prime number?
False
Let i(y) = 25*y**2 + 2*y - 1. Let n be i(-2). Is 38/n + (-1)/(5/(-653)) a prime number?
True
Suppose -21162 = -8*p + 6*p. Is p composite?
True
Let l(s) = -5*s**2 - 7*s - 68. Let m(z) = 3*z**2 + 4*z + 34. Let d(b) = 3*l(b) + 7*m(b). Is d(-11) a composite number?
False
Let o(l) = -2*l**3 + 12*l**2 - 22*l - 11. Is o(-12) composite?
False
Let d(x) = -7 - 8*x**2 + 21*x**2 + 10*x - 2*x**2. Is d(6) composite?
False
Let u(z) = 1690*z**3 + 3*z**2 + 25*z - 45. Is u(2) prime?
True
Let y(n) = n**2 + 14*n - 24. Let c be y(20). Suppose 2*f + 2*v - 652 = 0, -2*f + c = -5*v - 31. Is f a prime number?
True
Let a(h) = -h**2 + 1. Let i(q) = 24*q**2 + 3*q - 18. Let o(x) = -18*a(x) - i(x). Let g be o(-2). Let c = 25 + g. Is c a composite number?
False
Is (-66)/(-44)*(-68636)/(-6) a composite number?
False
Let r be (-2)/(-9) - 88/(-9). Let f = 12 - r. Suppose -v - f*v = -30. Is v a composite number?
True
Let p(q) = q - 7. Let s be p(7). Let y be (-4)/(-10) + 3 + (-8)/(-5). Suppose -5*b + y*l + 195 = s, b + b - l - 76 = 0. Is b a composite number?
False
Let a(g) = -4*g + 7. Suppose -10*p + 9*p - 18 = 0. Is a(p) a composite number?
False
Suppose -13 = -4*k + 5*u, 3*k + 3*u - 12 = 6*u. Suppose -3*s = -k*s + 112. Is 18964/s + (-2)/7 a composite number?
False
Let t(d) be the second derivative of 7*d**4/12 - d**3 + 4*d**2 + 3*d. Is t(9) a prime number?
True
Let w = 635 - 452. Is w a prime number?
False
Let j = -136 - -285. Is j a composite number?
False
Let t(b) = -43 + 5*b + 49*b**2 - 17*b**2 + 2. Is t(-8) composite?
True
Let b(f) = 1534*f - 287. Is b(10) a prime number?
True
Suppose 5*i - 22118 = -2*n, 5*i = -62*n + 65*n - 33152. Is n a composite number?
True
Suppose -21 + 333 = 4*h. Is (h/6)/((-2)/(-4)) prime?
False
Suppose -3*r + 22991 = -10018. Is r composite?
False
Let x(g) = g**3 - 4*g**2 + g + 2413. Let w = 57 - 57. Is x(w) a prime number?
False
Is (-6 + -4)*12055/(-10) prime?
False
Suppose -1184 = 4*q - w, -2*q - 592 = -w + 5*w. Let o = q - -969. Is o prime?
True
Is 3 - (-8)/(-12)*-5667 a composite number?
True
Suppose -2*o = -5*k - 551, 1363 = o + 4*o + 2*k. Let x = o + -188. Suppose 4 = 2*n, 4*v + 2*n - 259 = x. Is v prime?
False
Suppose -2*n + 20 = 5*k, -n + 11 = -2*k + 5*k. Suppose n*c = -z - 21, 2*z + 0*c + 5*c + 27 = 0. Let x(t) = -36*t + 1. Is x(z) prime?
False
Let t = 5300 - 3418. Suppose 0 = -9*d + 7*d + t. Is d composite?
False
Let u(v) = 26*v**2 - 19*v - 43. Is u(18) a prime number?
True
Is ((-6)/((-36)/(-582)))/(3/(-39)) a composite number?
True
Let c(q) = -4*q**2 + q - 1. Suppose -3*n = -15, 0*f - n - 10 = 3*f. Let z be c(f). Let v = 396 - z. Is v prime?
False
Suppose z + c = -3, c - 22 = -z + 5*c. Suppose -472 = -z*w + 1164. Is w a composite number?
True
Suppose w + 5*k = 4*w - 33, -4*k - 24 = -2*w. Let z(u) = 5*u**3 + u**2 - 12*u + 5. Is z(w) composite?
False
Suppose -2*v - 5418 - 167 = -5*h, 2*v = -2*h + 2234. Is h prime?
True
Suppose -7*r + 0 + 14 = 0. Suppose -3*a + 5*a = -2, r*a + 2439 = s. Is s a prime number?
True
Let q(x) = -x**3 + 23*x**2 + 26*x - 11. Is q(15) composite?
False
Let o(v) = -5*v**3 - 3*v + 0*v + 4*v**3 - 4*v**2 + 8*v. Let l be o(-5). Suppose l*g = 6*g - 1758. Is g prime?
True
Let i(c) be the second derivative of 17*c**5/20 + c**4/24 + c**3/3 - 2*c. Let n(g) be the second derivative of i(g). Is n(2) a composite number?
True
Suppose -4*i - 5*c + 3388 + 818 = 0, -3*i - 2*c = -3151. Is i prime?
True
Let p be (-12)/(-1 - -3 - 4). Let b be 2*(-3)/(p/(-11)). Let t = 34 - b. Is t a prime number?
True
Suppose -111191 = -20*y + 265589. Is y composite?
False
Let c(j) = -4*j**3 - 5*j**2 - 2*j + 3. Let z be c(-5). Let a = 587 - z. Is a a composite number?
False
Suppose -39*c = -43*c + 340. Let u = 22 + 29. Let r = c - u. Is r prime?
False
Suppose k - 35 = -5*h + 3*k, 5*h = -2*k + 15. Suppose 3*t - 3*g - 1 = g, -46 = -3*t - h*g. Is (753/6)/(t/14) a prime number?
True
Let z = -33 - -39. Let g(n) = 35*n**2 - n + 5. Is g(z) a composite number?
False
Let s(l) = -l**2 + 6*l + 11. Let j be s(7). Suppose -1151 = -p - j*f, -3*f + 5806 = p + 4*p. Is p a prime number?
True
Is 0 + 1/1 + 3776 a prime number?
False
Let g(t) = -2*t**3 + 4*t**2 - 4*t - 7. Let x be g(-6). Suppose -3*f + 5*f = 4*o - 594, -x = -4*o + f. Let u = o + -89. Is u a prime number?
True
Let z(l) = 44*l**2 - 5*l - 4. Let k(u) = u**2 - 1. Let c(d) = -6*k(d) + z(d). Is c(3) a composite number?
True
Let o(f) = f**2 + 6*f - 1. Let b be o(-5). Let g be (8/(-6))/(b/(-9)). Is -1 + 2 - (-54 - g) a composite number?
False
Let h = 13 - 1. Suppose -4*y + 8 = 3*o - 4, -4*o = -4*y + h. Suppose 5*c - 3825 + 770 = o. Is c prime?
False
Let i(p) = p - 18. Let k be i(17). Is (-3 - 0)*k - -230 a composite number?
False
Suppose -6*c + 7*c = -7. Let t be (6/8)/(2/(-320)). Let d = c - t. Is d prime?
True
Let m = -6 - -9. Let j(g) = g**3 - 3*g**2 + 3*g - 5. Let r be j(m). Suppose 2*q - 3*y = -y + 220, -450 = -r*q + 2*y. Is q a composite number?
True
Let x(v) = -v**2 + v + 54. Let r be x(0). Let a = -8 - -41. Let q = a + r. Is q prime?
False
Let c(f) = f**3 - 16*f**2 + 16*f - 12. Let i be c(15). Suppose -4*x - 36 = 4*o, 13 - 45 = 4*x + i*o. Is 2*(3 + x) + 721 prime?
False
Let x(t) = -6*t**3 - 5*t - 12 - 8*t**2 - 4*t - t**3 - 13*t**3. Is x(-5) a composite number?
False
Let b(g) = -g**2 - 10*g - 12. Let l be b(-8). Suppose 2*v = 3*p + 706, -5*p = l*v - 9*v + 1180. Let x = p - -425. Is x prime?
True
Suppose 2*s = 8*s + 2340. Let k = 1477 + s. Is k prime?
True
Suppose 0 = -23*h + 36*h - 2483. Is h prime?
True
Let t(v) = -322*v - 201. Is t(-13) composite?
True
Is (-16)/72 + 13565/9 composite?
True
Let f(c) = c**2 + 6*c + 5. Suppose 2*v + v = 12. Let x(z) = z**3 - 4*z**2 - 3*z + 4. Let i be x(v). Is f(i) prime?
False
Let d(f) = -f**3 - 16*f**2 - 13*f - 37. Is d(-24) composite?
True
Let l = -26 - 96. Let g = -53 - l. Is g prime?
False
Let l = 90 + -63. Suppose -5*h + l = 2. Let r(z) = 6*z**2 - z + 1. Is r(h) a prime number?
False
Let m = 216497 + -147684. Is m composite?
False
Suppose -4*h = 8*w - 4*w - 26176, -5*w - 6562 = -h. Is h prime?
True
Let g = 140 + 102. Suppose -g - 330 = -2*s. Suppose 2*y - 6*y + 2*q = -338, -3*y - 5*q + s = 0. Is y composite?
True
Suppose -n - 162 = -4*n. Let w be (-174)/n + 6/27. Let k(v) = -226*v + 1. Is k(w) composite?
True
Let d(p) = 433*p**2 - 6*p. Is d(-7) a prime number?
False
Suppose 5*y - 5*i = 8160, 3*y + 2*i - 1866 - 3035 = 0. Is y a prime number?
False
Let a = 69976 - 37535. Is a a composite number?
False
Let m be (-1 - -2)*13*11. Suppose -911 = 4*y - m. Let j = -101 - y. Is j composite?
True
Let a be 33/5 + (-6)/(-15). Let v(z) = -26*z + 6. Let u be v(a). Is (1 - 2)*(u - 3) composite?
False
Is -1*(-6)/((-12)/(-83878)) a prime number?
False
Let u(c) = 3*c**2 + 4*c - 8. Let y be 1 + -3 + 0/(-4). Let r(z) = 13*z**2 + 15*z - 33. Let x(o) = y*r(o) + 9*u(o). Is x(4) prime?
False
Let u be (10/(-6))/(3/18). Let z = u + 6. Is ((-291)/6)/(z/8) a composite number?
False
Suppose 2*b = 8, 5*m - 2*m + 5*b - 29 = 0. Suppose -3*f = -2*f - 2*g - 253, -3*g + 750 = m*f. Is f a prime number?
True
Let i = 7282 - 5184. Suppose -i = -20*h + 18*h. Is h prime?
True
Suppose c - 3*z - 1418 = 831, -2*c + 4492 = -3*z. Is c a composite number?
False
Let u(j) = -j**3 - 10*j**2 + 12*j + 8. Let m be u(-6). Let n(k) = 63*k - 3. Let a be n(-5). Is m/(-24)*a/(-4) a composite number?
True
Is ((-43860)/(-16) - 0) + 3/(-12) a prime number?
True
Suppose 5*j + 1 = 11. Suppose -p - 3*p - 3*o = -27, 0 = -j*p - 3*o + 21. Is 208/3 + (-1)/p a prime number?
False
Suppose 0 = 2*d + 2*d - 168. Suppose -2*z = 3*m - 23, -3*z + d = -0*z + 2*m. Suppose -5*i + z = -2*h + 210, 5*h + i = 485. Is h composite?
False
Let m(k) be the second derivative of -79*k**5/10 - k**4/12 - k**3/6 - k**2/2 + k. Is m(-1) a composite number?
False
Suppose -12 = -s + 2*s. Let x(k) = 85*k**3 - 2*k**2 - 3*k + 3. Let d be x(2). Is 3/s - d/(-4) a prime number?
True
Let l = 2 + -2. Suppose 5*j - 9*j - 268 = 0. Let b = l - j. Is b a composite number?
False
Let d(r) = -r**2 - 7*r + 3. Let t be d(-7). Suppose -21 - 21 = t*b. Let j = 141 + b. Is j prime?
True
Suppose -3*v + n = -v - 139078, 4*n = 0. Is v composite?
False
Let j = -35 + 37. Suppose -42 = -h + m + 12, -m + 99 = j*h. Is h composite?
True
Let o(w) = w**3 + 7*w**2 + 10