- 5*y. Is c a prime number?
True
Let m(p) be the third derivative of -p**6/120 + p**5/10 + p**4/24 - 5*p**3/6 + p**2. Let r be m(4). Suppose -3*l + 11 + r = 0. Is l composite?
True
Is (-1 + 3)*1 + 409 prime?
False
Suppose -10 = -9*c + 4*c. Suppose c*z - 239 - 183 = 0. Is z prime?
True
Let c(u) = -u**3 - 3*u**2 + 6*u - 4. Let o be c(-6). Suppose -2*b - b + 9 = 0. Suppose -5*s - 38 = -a, -a - b*s = 2*s - o. Is a composite?
False
Let y = -600 - -1089. Is y composite?
True
Is (-1 - 3) + 11/11 + 124 a prime number?
False
Suppose k - 1814 = -2*l + 13196, -3*l + 22529 = -2*k. Is l prime?
True
Let v = -60 + 981. Is v prime?
False
Let b(a) = 10*a - 5. Let y be ((-2)/6)/(2/(-30)). Let r = y - -2. Is b(r) a composite number?
True
Suppose -v - 1 = -3. Let m be v + (-9 - (-2 + 1)). Is (14/m)/((-2)/6) a prime number?
True
Suppose -5*j = -9 + 24, 2*s + 2*j = -62. Let t = -20 - s. Is (-2)/8 - (-90)/t a prime number?
True
Suppose 5*d = -15, 5*r - 3*d - 433 = r. Is r a prime number?
False
Let i(x) = -4*x - 31*x**3 + 0 + 3 + 32*x**3. Let z be i(2). Is z/(-4) + 511/4 prime?
True
Let c = -325 + 548. Let i = -67 + c. Suppose -3*a + i = 3*s, -3 = s - 3*a - 67. Is s a composite number?
True
Let m(f) = 3*f**2 + 3*f + 3. Let a(k) = k**3 - 10*k**2 - 2*k + 13. Let p be a(10). Let d be m(p). Let t = d + -71. Is t a prime number?
False
Suppose -12 = -5*n + d + 6, -10 = -5*d. Suppose n*s - 82 = 166. Suppose -5*h + 251 = 3*q, -s - 21 = -q - 2*h. Is q composite?
True
Let c(x) = 3*x**2 - 6*x + 2. Let j(q) = q**2 - q + 1. Let w(u) = c(u) - j(u). Is w(8) composite?
False
Let m be 3 - (-1 + 3)/(-2). Suppose j - 6*j - 3*k + 1107 = 0, 892 = m*j - 4*k. Let y = -107 + j. Is y prime?
False
Suppose -3*j - 6*b + 12 = -3*b, 0 = 3*b - 9. Let s be ((-1)/j)/((-4)/12). Suppose -100 = -t - s*t. Is t composite?
True
Let t(g) = 35*g - 16. Let k be t(-15). Let p = -330 - k. Is p a composite number?
False
Let t(o) = -o**3 + 10*o**2 - 7*o - 7. Is t(9) a prime number?
True
Suppose 0 = -2*b + 6*b - 740. Is b composite?
True
Let g(s) = -s + 2. Let i be g(0). Let o(f) = 2*f**2 + 10*f + 9. Let d be o(-4). Let m = d + i. Is m a composite number?
False
Suppose 5*a - 3*a = 0. Suppose -3*y + 814 = 5*r, -3*r = -a*r - 4*y - 471. Is r prime?
False
Suppose 739 = 3*o - 1247. Is o a composite number?
True
Suppose h + 2049 = 4*h. Is h composite?
False
Is (-2637)/(-27)*(-3)/(-1) composite?
False
Suppose -2*l = -0*v + 3*v - 56, 2*l + 24 = v. Suppose -4*p + v = -0*p. Suppose 2*k + 390 = 4*z, -5*z + 484 = -4*k + p*k. Is z prime?
True
Suppose -5*z + 35 = 2*k, -2*k + 18 = 2*z - 2. Let y = k + 0. Suppose 191 = y*c - 764. Is c composite?
False
Suppose 4 + 0 = d. Is (-4188)/(-108) + d/18 a prime number?
False
Suppose -3*c + 7374 = 3*o, 0 = 4*o - 3*c + 8*c - 9831. Is o prime?
True
Let w(f) = -f**2 + 3*f - 3. Let x be w(3). Let b be x/(-2)*(-30)/(-9). Is (-30)/(-2) + 0/b a prime number?
False
Let w(r) = 28*r + 7. Is w(13) a prime number?
False
Suppose 0 = 2*h - b - 9, -2*b - 4 = 2*b. Suppose 2*d + 5*g - 4 = 3, 2*d - h = -4*g. Is d/2 - 46/(-2) prime?
False
Let m(b) = 3*b**2 + 26*b - 70. Is m(-23) composite?
False
Suppose j - 2*g - 635 = 2*g, 2*g = -j + 629. Is j a prime number?
True
Let b be (4/8)/(2/76). Let f = b - 32. Is 2 - f*(-1 - -2) composite?
True
Let s(t) be the second derivative of 1/12*t**4 - t - 11/2*t**2 + 0 - 1/2*t**3. Is s(9) prime?
True
Let d(z) = -21*z**3 - 6*z**2 - 3*z - 1. Is d(-6) a composite number?
False
Let l(x) be the third derivative of x**5/60 + x**4/6 - 3*x**2. Let a be l(-5). Suppose 0 = -a*d + d + 156. Is d prime?
False
Let n = 14 + -12. Suppose -6*p + 5*d = -2*p - 696, 346 = 2*p - n*d. Is p a composite number?
True
Is 16791/33 - (-8)/44 a composite number?
False
Suppose -o = -0*o - 30. Let x be ((-1)/2)/((-3)/o). Suppose -x*f - 62 = -397. Is f a prime number?
True
Let r be 0 + 2 - (-9 - 1). Suppose f = -1, 5*k - 4*f - r = 3*k. Suppose y + k = 3*y + 4*g, 4 = y + g. Is y prime?
False
Suppose -4*b - 8 = -2*m, 2*b + 15 = -b. Let h be 0/(m/2 + 1). Suppose h = 3*s - 5*i - 7, 24 = -3*s + 7*s - 3*i. Is s a prime number?
False
Suppose 4*w = 6*w - 4, 2*l = -3*w + 2936. Is l a composite number?
True
Let s(h) = 2*h**3 - 22*h**2 + 19*h - 27. Is s(14) a composite number?
True
Let j be 5/(-3)*(-6 - -3). Let n(g) = -4*g**3 + g**2 + 3*g + 1. Let c be n(-3). Suppose c = -j*k + 1574. Is k a composite number?
False
Suppose 5*r + 11 - 29 = -4*y, -4*y - 2 = -5*r. Let m(l) = l - 1. Let u be m(r). Is -2 + (-22)/(-2) + u a composite number?
True
Let i(g) = -6*g + 10. Is i(-6) composite?
True
Let y = 377 + 140. Is y composite?
True
Let p be ((-39)/6)/((-2)/(-4)). Let w = p + 50. Is w prime?
True
Let f(y) be the first derivative of y**5/20 + 7*y**4/24 - 7*y**3/6 - y**2/2 - 2. Let j(n) be the second derivative of f(n). Is j(-7) a composite number?
True
Let r(z) = 15*z**2 - 5*z. Let q be r(4). Let s = -51 + q. Is s prime?
False
Is 1/(-4)*(-6932 - (2 - 2)) prime?
True
Let l(h) = -36*h + 2. Let t be l(-7). Suppose 5*m - t + 9 = 0. Is m a composite number?
True
Suppose -4*a + 2162 = -66. Is a a prime number?
True
Suppose -20 = -2*m + 3*o, -5*m + 4*o - 2*o + 28 = 0. Suppose 0 = g + m*g - 1655. Is g composite?
False
Suppose -2*k - 1528 = -6*k. Suppose 5*u = k - 32. Let y = u - -13. Is y prime?
True
Let i(s) = -130*s**3 - 2*s**2 - 6*s - 3. Is i(-2) a prime number?
False
Let x(c) = 6*c**3 + 3*c**2 - 4*c + 3. Suppose -5*m - 25 = 0, 2*m = -3*z - 4 - 0. Is x(z) a prime number?
False
Let r(f) = -f**3 + 20*f**2 - 4*f + 17. Is r(14) prime?
False
Let h = 690 + -397. Is h composite?
False
Suppose 0 = -3*f - 4*n - n + 313, -103 = -f - 2*n. Is f prime?
False
Let y be (82/4)/((-6)/48). Let q = y + 635. Let o = -206 + q. Is o prime?
False
Let q(h) = -h**2 - 18*h + 9. Let r be q(-10). Let y = 153 - r. Suppose 0*i - x - 35 = -i, -2*i + y = -5*x. Is i composite?
False
Let x(y) = 2*y**2 - 3*y + 6. Is x(4) composite?
True
Suppose 0 = 5*n + 4*c + 138 - 481, 0 = -n + c + 74. Is n a prime number?
True
Let r(n) = -130*n**3 - 2*n**2 - 1. Is r(-1) a composite number?
False
Suppose 9 = 2*h - 3. Suppose 2*t - h*t = 3*y - 5, -2*t - 2*y + 4 = 0. Is (t - -2) + (31 - 1) a prime number?
True
Suppose 3*y + 147 = -0*y. Is -1 - y - (-1 + 0) a prime number?
False
Suppose 2*a - 9 = 3*a. Let l(u) = -u**3 - 8*u**2 - 13*u + 1. Is l(a) composite?
False
Suppose 3*q - 472 = 5*j, -452 = -3*q - j - 4*j. Suppose g = -0*g. Suppose 0 = -g*z + 2*z - q. Is z a prime number?
False
Suppose 5*j + 3*y = -103, 0*j - 2*j - 36 = -4*y. Let n = 75 + j. Is n prime?
False
Let h = 5 + 0. Suppose 5*d = -0 - h. Is (209/2 - d)*2 a composite number?
False
Suppose -20 = -5*d - 0*d, n = -4*d + 15. Is n + 1 - 38/(-2) prime?
True
Let k(w) = 6*w**2 - 7*w + 12. Let s be 4 + (3/3)/1. Is k(s) composite?
False
Let g(i) = 2*i**3 - 4*i**2 + 2*i + 1. Is g(5) a prime number?
False
Let x(v) = -28*v + 7. Suppose 0 = -4*n + 2*d + d - 6, 2*n + 3*d = -12. Is x(n) a composite number?
True
Let o(k) = 8*k - 1. Is o(10) a composite number?
False
Is (4/6)/(6/2709) a prime number?
False
Suppose -5*v = -3*a - 24, -3*v + 0*a = 2*a - 3. Suppose 7*w = v*w + 844. Is w a prime number?
True
Let c be -5 - ((-3)/3 + -1). Is ((-49)/c)/(1/3) prime?
False
Let w(a) = -a**3 + 12*a**2 + 14*a - 2. Is w(12) composite?
True
Let k = 17895 + -11960. Is k a composite number?
True
Let c(q) = -106*q + 1. Suppose 3*f - 14 = 7*f - 2*g, 8 = 2*f + 2*g. Let s be c(f). Suppose y - 56 = s. Is y prime?
True
Suppose 0 = -2*m + 8336 - 994. Is m composite?
False
Suppose -8 = 3*d + q + q, -2*d = 3*q + 7. Let s(h) = 6*h**3 - 3*h**2 + 7*h - 11. Let b be s(3). Is (8/(-10))/(d/b) composite?
True
Suppose -h - 4*h = -4*g - 191, -3*h - g = -118. Is h composite?
True
Suppose -f - 2 - 13 = 0. Suppose 0*y = -2*y + 44. Let g = y + f. Is g a prime number?
True
Let w(n) = n**3 + 7*n**2 + 2*n - 4. Let g be w(-6). Suppose -4*i + g = 4*f, -i = f + 2*i - 7. Suppose -2*b - 12 = -f, v + 2*b = 29. Is v a composite number?
False
Let r(o) = -o**2 + 6*o + 5. Let d be r(6). Suppose d*c - 335 = -0*c. Is c a composite number?
False
Let s(a) = a**3 + 6*a**2 - 2*a + 1. Let m(r) = -2*r**2 + 2. Let n be m(2). Is s(n) a prime number?
True
Suppose -4250 + 886 = -4*n. Is n a composite number?
True
Suppose 4*d = 3*o + 154, -2*d + 0*d + 2*o + 76 = 0. Suppose 4*a - 100 = d. Is a a 