e (8/5)/(6/15). Suppose 2*g = -3*s + 9 + 4, g + o*s - 14 = 0. Suppose 30 = -g*p + 128. Is p a composite number?
True
Is -1*1/4 + 5514/8 a prime number?
False
Let t = -187 + 316. Let q = 3 + 1. Suppose -v + q*v - t = 0. Is v a composite number?
False
Let y(n) be the second derivative of 203*n**4/12 - n**2/2 - 2*n. Let f be y(-1). Suppose 5*s + 79 = 6*s + t, -3*s + 4*t = -f. Is s a composite number?
True
Suppose 2*v - 3*z = 995, -2498 = -5*v - 4*z + z. Is v composite?
False
Let h(q) = 0*q**3 + 187 - q**2 + 3*q - 2*q**3 + q**3 - 2*q. Is h(0) a prime number?
False
Let u(q) = q**2 + 6. Is u(7) composite?
True
Let c be (-3)/6 + 15/6. Suppose 3*h + c*v + 5 = 0, -4*h + 3 = -5*v - 21. Is (h - 2)*(-189 + -2) a composite number?
False
Let z(f) = -142*f - 1. Is z(-1) composite?
True
Suppose -u = -5*u + 3812. Is u a composite number?
False
Let x be (-20 - -3 - 3)*4. Let l be 3 - 2 - x - -2. Suppose 64 = 3*c - l. Is c a composite number?
True
Let i be 2/(-3)*(-1812)/(-8). Let h = 278 + i. Is h a prime number?
True
Suppose s + 103 = 780. Is s a composite number?
False
Let c(v) = 4*v + 6. Let p be (0 - -1)*(1 - -4). Let i be c(p). Suppose -m + i = m. Is m prime?
True
Let n(b) = 15*b + 9. Is n(4) a prime number?
False
Suppose j + o - 30 + 1 = 0, -3*j + 79 = o. Is j a composite number?
True
Let z(m) = -m + 8. Let f be z(-9). Suppose 0 = 5*b - f + 2. Suppose 2*p - 5*y - 168 = 0, -2*p + 6*p - 322 = b*y. Is p prime?
True
Suppose 4*d - 2*z + 0*z - 842 = 0, 0 = -z + 1. Is d a composite number?
False
Let i(o) = o - 4. Let t be i(6). Suppose -8*c - 2*v = -4*c, -4*v = 4*c + 8. Suppose t*g = -2*l + 30, 5*l = c*g - 4*g + 87. Is l a prime number?
True
Let t = -876 - -1841. Is t a prime number?
False
Let f be -37 - -4*(-1)/2. Let j = 158 + f. Is j prime?
False
Let o(q) = 0 + 78*q + 1 + 4 + 2. Is o(7) a prime number?
False
Let h(p) = p - 7*p**3 - 2 + 0*p - p - 2*p + p**2. Let j be h(-3). Let f = j + -47. Is f a prime number?
False
Let s be ((-15)/6 + 2)*2. Let a be (-2)/s + 6/(-3). Suppose g - 4*g = 5*m - 23, 4*m - 2*g - 36 = a. Is m prime?
True
Let q(c) be the first derivative of c**4/12 + c**3/2 + 7*c**2/2 - c + 4. Let f(a) be the first derivative of q(a). Is f(-8) a prime number?
True
Suppose 634 = 5*h - 2*h + o, 0 = 5*h + 2*o - 1057. Is h prime?
True
Is (948/(-16))/((-18)/120) composite?
True
Let n(a) = 946*a**2 + 7*a - 1. Is n(2) composite?
False
Is (-4 - 15/(-3))*53 prime?
True
Let b be (14/9 - 10/45)*123. Let d = 48 - 101. Let r = b + d. Is r prime?
False
Let f(d) = -72*d - 5. Let k(v) = -3311*v - 231. Let y(t) = 231*f(t) - 5*k(t). Is y(-1) a composite number?
True
Let v = -1562 - -2349. Is v a composite number?
False
Let g(f) = -201*f - 25. Is g(-6) a prime number?
True
Let s(t) = t**2 + t. Let o be s(-2). Let i(c) = 5*c**3 + c**2 + 4*c - 3. Is i(o) prime?
False
Let x = -17 + 12. Let r = x - -7. Is 92 + (-3)/(5 - r) a prime number?
False
Let q(t) be the third derivative of -t**4/24 + t**3/3 - 3*t**2. Is q(-7) composite?
True
Suppose -7*o + 2025 = -2*o. Suppose -2*x + 329 = -o. Is x a prime number?
True
Suppose q - 7*z + 2*z = 26, -3*z - 53 = -4*q. Let u = q - 1. Is u a composite number?
True
Is -2*((-781)/2 + 6) a prime number?
True
Suppose 2*i - 4*i + 958 = 0. Is i composite?
False
Let g(y) = 13*y + 45. Let f(i) = 3*i + 11. Let d(h) = 9*f(h) - 2*g(h). Let x(q) = -q - 7. Let p be x(0). Is d(p) a prime number?
True
Suppose 3*d + 0*s = 3*s + 3396, 4*s - 5687 = -5*d. Is d prime?
False
Let m = -74 + 163. Is m prime?
True
Let s = 0 - -3. Suppose l - s + 0 = 0. Is l prime?
True
Let u(g) = g**3 + 32*g**2 + 37*g - 21. Is u(-30) a composite number?
True
Let s = 8 - 3. Suppose k = 2*c + 1, k - 4 + 3 = s*c. Is k - 3/3 - -19 a composite number?
False
Suppose 209 = -3*i + 554. Is i a composite number?
True
Let w be -335*((-6)/(-15))/1. Let q = -82 - w. Let t = q + -30. Is t a composite number?
True
Let x be 90/3*(-1)/(-3). Suppose 0 = -4*c - c + x. Suppose -2*z + 389 = -5*m - 130, 0 = c*z + 5*m - 509. Is z a composite number?
False
Let g be (1/2)/(3/990). Let n(m) = 2*m**3 + 6*m**2 - 5*m - 3. Let c be n(-5). Let j = g + c. Is j composite?
True
Let l be (10/3)/(2/3). Suppose -270 = -2*p + 4*c, -l*p + 500 = -p + 2*c. Is p a prime number?
True
Suppose 0 = -5*h + 731 + 734. Is h composite?
False
Let v(q) = -2*q**2 + q + 1. Let g be v(-1). Is (g - 157)*(-5)/15 a prime number?
True
Suppose 5*w - 788 = 257. Is w composite?
True
Let m(x) be the third derivative of -2/3*x**3 + 1/60*x**5 + 1/6*x**4 - 4*x**2 + 0*x + 1/60*x**6 + 0. Is m(3) a prime number?
True
Let d(m) = m**3 + m**2 - m + 1. Let b be d(1). Suppose 5*h = -b*u + 18 + 18, -3*u + 37 = -h. Is u a composite number?
False
Suppose -2*b + 0*b = -2*w - 14, 0 = 3*b + 4*w + 14. Let c be 3 + 3 + (-6)/b. Suppose 0 = -4*i + 5*j + 493, 0 = 5*i - j - c*j - 623. Is i composite?
False
Let v(q) be the second derivative of 5*q**4/12 - q**3/2 + q**2/2 + 3*q. Is v(-3) composite?
True
Let d(g) = -g - 15. Let b be d(-13). Is (-5)/(-10) + (-613)/b prime?
True
Suppose 6*v - 2*v + 4*l - 4 = 0, 0 = 3*l + 3. Suppose a = 4*n - 956, -5*n + v*a + 1195 = a. Is n a composite number?
False
Let z be (-10)/(-25) + (-2)/5. Suppose z = -x - x - 2, -5*v - x = -164. Is v composite?
True
Suppose -4*f + 1021 + 995 = 0. Suppose -f + 95 = -a. Is a prime?
True
Let o be (-2)/6 - (-26)/6. Suppose -2*q - o*v = -4, 0 = -v - v. Is 93 + 1 + (q - 1) a composite number?
True
Let s(o) = 2*o**2 - 12. Let j(v) = -v**2 + 1. Let z(m) = -3*j(m) - s(m). Is z(7) prime?
False
Is (-30568)/(-32) + (0 - (-1)/(-4)) composite?
True
Is (-12*41)/(-3)*6/8 a prime number?
False
Let p = -2 - 0. Let r be (-45 + p*1)*3. Let d = r - -254. Is d a prime number?
True
Is 1/1 - 1218/(-3) composite?
True
Suppose 0 = -4*m - q + 16, -5*m + 26 = -4*q + 6. Let p(h) = 6*h**3 + 2*h - 6. Let x be p(m). Suppose 0 = 2*j - 4*j + 4*f + 158, 5*j - f = x. Is j composite?
True
Is 2004/18 + (-3)/9 a prime number?
False
Suppose 26*a + 787 = 27*a. Is a prime?
True
Let w(s) = -s**3 + 18*s**2 + 4*s + 13. Is w(14) a prime number?
True
Let f(v) = -v**2 + 30*v - 19. Let p be f(13). Let u = p - 108. Is u a composite number?
True
Suppose 0 = 5*x + 5*o - 285, -4*x + 0*o + 224 = 3*o. Let f = 92 - x. Is f a prime number?
False
Let u(d) = -4*d**3 - 21*d**2 + 2*d - 20. Let g(f) = -f**3 - 7*f**2 + f - 7. Let x(m) = -7*g(m) + 2*u(m). Let s be x(7). Is ((-18)/s)/(2/92) composite?
True
Let w = -184 - -279. Is w a composite number?
True
Let z(n) = -2*n**3 - 9*n**2 - 2*n + 9. Let v be z(-8). Let l = -252 + v. Is l a composite number?
True
Let p(c) = 2*c**2 + 3*c - 5. Suppose -2*i = i + 4*x - 20, 2*x = -5*i + 10. Suppose i = h - 2*s + 4, 5*h + s = -38 + 7. Is p(h) prime?
False
Let b(x) = x**3 - x**2. Let z be b(0). Suppose -p + 4 = -z*p. Suppose -p = -5*y + 11. Is y prime?
True
Suppose -5*v - 2 = 43. Let p(y) = -y**3 - 8*y**2 + 4*y + 12. Is p(v) prime?
False
Let r(z) be the first derivative of -z**2/2 + 4*z + 1. Suppose -2*i = 4*j + 34, 2*j + 4*i + 41 = -3*j. Is r(j) prime?
True
Let m(n) be the second derivative of -n**3/3 - 13*n**2/2 - 2*n. Let o be m(-9). Suppose 3*g - 5*w = 42 + 25, -2*w - 80 = -o*g. Is g prime?
False
Let y(k) = -k - 5. Let q be y(-7). Let t(m) = 3*m - 1. Let j be t(q). Suppose -256 = j*z - 921. Is z a prime number?
False
Suppose 0 = 4*d - 9*d. Suppose -5*t - 2*r + 735 = d, 2*t - 2*r + 3*r = 295. Is t a prime number?
False
Let r(z) be the first derivative of -7*z**3/3 - 12*z**2 - 9*z - 1. Let n(b) = 4*b**2 + 12*b + 5. Let v(s) = 5*n(s) + 3*r(s). Is v(-7) a composite number?
True
Let a(c) be the first derivative of 5*c**3/3 - 3*c**2/2 + c + 1. Suppose -h = q + 2, q + 5 = -2*q - 4*h. Is a(q) a composite number?
True
Let g = -1 + 5. Suppose g*l - 460 = -0*l + 4*r, -r = 2. Is l prime?
True
Let c(q) = q**2 - 6*q + 5. Let z be c(4). Is z/9 + 3860/15 composite?
False
Let z = -7 - -6. Let b(q) = -165*q. Let w be b(z). Suppose -w = 3*m - 8*m. Is m composite?
True
Suppose -2483 = -5*a - p, -2*a - 2475 = -7*a - 5*p. Is a composite?
True
Suppose -313 + 19 = -s. Suppose -108 = -2*y + s. Is y a composite number?
True
Suppose -4*g + 9334 + 3750 = 0. Is g prime?
True
Suppose -847 - 800 = 3*t. Is (0 + 5)*t/(-15) a prime number?
False
Let a = 2376 + -1637. Is a composite?
False
Suppose -p - h = -5*p + 492, -h = -3*p + 369. Is p a com