False
Let m(c) = c**2 + 12*c - 1. Let x be m(-12). Let d(l) = -606*l + 1. Let z be d(x). Is z/11 + 6/(-33) composite?
True
Let m(n) = -179*n**2 - n + 2. Suppose 36 = -3*o + 30. Let h be m(o). Is (h/(-32))/((-2)/(-40)) composite?
True
Suppose 2*f + c = 2*c + 14263, -4 = -4*c. Suppose 11*t - 15*t = -f. Is t composite?
False
Let i(f) = 23*f**2 - 4*f - 3. Suppose 2*z - 3 - 1 = 0. Suppose 0 = 2*n - 5*n - k - 1, z*n - 1 = -k. Is i(n) a composite number?
False
Let t(q) be the second derivative of 7*q**4/12 - q**3/6 + 5*q. Let j be t(-2). Suppose 4*b - 5*h - 29 = -5, 5*b - j = -h. Is b a composite number?
True
Let n = 9326 + -2427. Is n a composite number?
False
Let v(r) = 5*r**3 + 9*r**2 - 5*r - 3. Let o(w) = -w**3 - w + 1. Let m(i) = 4*o(i) + v(i). Is m(6) composite?
False
Let a(m) = 7*m + 6. Let u be a(-3). Let g(o) = -o**3 - 13*o**2 - 23*o + 14. Is g(u) prime?
True
Suppose -11 = -4*t + 9. Suppose -5*h + i + 14 = 0, t*i + 16 = -2*h - 0*h. Suppose -283 - 97 = -4*y - h*k, 404 = 4*y - 4*k. Is y a prime number?
True
Suppose 5*q = -5*w - 130, -78 = 3*w - 0*w - 5*q. Let s = 819 + w. Is s composite?
True
Suppose 5*l - 45623 = -4*r, 12*r = -5*l + 10*r + 45629. Is l a composite number?
False
Suppose 3*j = -3*g + 24252, 0*j = -5*j - g + 40416. Is j a prime number?
False
Let q be 10/55 - (-10074)/11. Suppose 3*h = 5*b + 687, -2*b - b - q = -4*h. Suppose -h = -o - 5*l + 14, 0 = o - 3*l - 211. Is o prime?
True
Let h(w) = -2*w**3 - 2*w**2 - 4*w - 6. Let d be h(3). Is (-3080)/d + 4/(-18) composite?
True
Is (-55)/2*(-3184)/40 a prime number?
False
Let z(s) = 22*s - 5. Let v be z(5). Let w = v - 20. Is w a prime number?
False
Let q(m) = -114*m - 6. Let a be q(4). Let n = 808 + a. Suppose 43 - n = -l. Is l a prime number?
False
Let i(g) = 3*g + 9. Let k be i(8). Let a = k + 86. Is a composite?
True
Suppose 12*d = d + 33. Suppose d*u - 1163 = 1474. Is u a prime number?
False
Let s(t) = 8*t**2 - 56*t + 11. Let c be s(12). Let f = c + -188. Is f a composite number?
True
Let b be 2/6 - (-128)/(-6). Let k(l) = l**2 + 7*l - 2. Let q be k(5). Let s = b + q. Is s composite?
False
Suppose 3*q = -5 + 2. Is q/(-2) + (-3 - (-4118)/4) a composite number?
True
Suppose 3*f + 2*f - 95 = 0. Let s = f + -79. Let y = s + 113. Is y prime?
True
Suppose -2*r = -48086 - 36512. Is r prime?
True
Let z(l) be the first derivative of -3*l**4/2 - 2*l**3/3 - 2*l**2 - 7*l + 36. Suppose 0*i - i = 3. Is z(i) prime?
True
Suppose 7 = -6*s - 5. Is 9/3 + (s - -4716) prime?
False
Let k = 25 - -174. Suppose v - 616 = k. Is v a composite number?
True
Let o = -576 - -2377. Is o a prime number?
True
Let h(o) = 3*o**2 - 2*o - 137. Is h(-38) a prime number?
True
Suppose -4*z + 3*o = -6, 5*z - o = 3*z + 4. Suppose 2*t - 14 = 2*y, -z*y - t = -2*y - 1. Is y/9 + 7048/12 composite?
False
Suppose 0 = g - 2 - 0. Is (0 + g)/(-4) + (-1434)/(-4) a prime number?
False
Let b = 78 + -1053. Let o = -248 - b. Suppose -2*q + o = -4*v + 121, 4*v - 1487 = -5*q. Is q prime?
False
Let s(l) = -l**2 + 3*l + 8. Let o be s(5). Let h be (-119)/o*(-5 - -3). Let p = h - -246. Is p a prime number?
True
Let v = -713 + 1994. Suppose -v = 3*n - 6*n. Is n a prime number?
False
Let l = 32 - 30. Let a = 13 + -8. Is 413/a - l/(-5) composite?
False
Let y(z) = 99*z**3 - 2*z**2 + 15*z + 5. Is y(3) a prime number?
False
Let p = 3 - -2. Suppose p*z - 214 - 106 = 0. Let s = 127 + z. Is s a composite number?
False
Let s = -20 + 16. Suppose 3*f - 1 = -7. Is ((-3809)/(-26))/(f/s) a composite number?
False
Let z = 5627 + -640. Is z a composite number?
False
Suppose 3*a = 2*a + 1292. Suppose -7*i + 3*i + a = 0. Is i a composite number?
True
Let f(s) = 12*s**3 - s**2 - 8*s + 3. Is f(2) a prime number?
True
Suppose -3*p = v - 17449, 4*p - 8*p - 5*v = -23258. Let u = p + -2918. Is u prime?
False
Let m(q) = -3*q**2 + 3*q. Let w be m(2). Let x be 11/3 - w/(-9). Suppose -x*c - 22 = -5*c. Is c composite?
False
Let q = -5227 - -18990. Is q a composite number?
False
Let c be ((-345)/2)/(16/(-32)). Suppose -5*p + 4*b = -c, -2*p - 3*b + 8*b + 138 = 0. Is p composite?
True
Let b(l) = -2*l**2 - 8*l. Let o be b(-4). Is (-3 + 2)*o + 35 prime?
False
Let y(d) be the first derivative of -d**3/3 + 15*d**2/2 - 15*d - 12. Let r(v) = -5*v - 7. Let j be r(-4). Is y(j) composite?
False
Suppose 3*r = 7*r + 4*r. Suppose -a - 4*v + 3163 = r, -2*v - v = -5*a + 15815. Is a a composite number?
False
Suppose 0 = -t - 1 + 3. Let a = t + 3. Suppose 111 = a*y - 54. Is y prime?
False
Suppose -16*a + 626643 = 11*a. Is a composite?
False
Suppose b = 3*o + 2 - 0, 3*b - 6 = 0. Suppose o = 39*n - 37*n + 4. Is 2 + 0 + 4 + n a composite number?
True
Is (-510)/(-2) + 15 + -11 a prime number?
False
Suppose o - 1910 = -8*w + 3*w, 764 = 2*w + 5*o. Is w prime?
False
Suppose -8*p - 83 = 13. Is ((-153)/p)/(1/4) a prime number?
False
Let n(y) = 812*y**2 + 19*y + 83. Is n(-6) a composite number?
False
Suppose 8212 = 3*u + u - 3*d, 4*d = 0. Is u composite?
False
Let f(a) = 231*a + 2. Let t(u) = -694*u - 5. Let g(c) = 11*f(c) + 4*t(c). Is g(-1) a prime number?
False
Let l(j) = -2*j**3 + 4*j**2 + 3*j. Let y be l(-2). Let p = 116 - y. Let b = -44 + p. Is b prime?
False
Suppose -v = i + 11 + 2, 25 = -5*v. Let a be 20/11 - i/44. Suppose 98 = a*k - 128. Is k a prime number?
True
Let i = -3 + 5. Suppose 0 = -4*k + 4*s + 1188, -4 - i = -3*s. Suppose 2*b + 3*b + v = k, -3*b + 189 = 3*v. Is b composite?
False
Suppose -42*h = -6269 - 10909. Is h composite?
False
Let o(s) = 2*s**3 + 47*s**2 - 12*s - 8. Is o(7) a prime number?
True
Suppose w - 29 + 35 = 0. Is (898/w)/((-18)/54) a composite number?
False
Suppose -13 = -h + 5*j - 32, 4*j = 2*h + 20. Is -2 + 3 + -2 + 1698 + h a prime number?
True
Is (12/8 - 2)*-838 a prime number?
True
Suppose -2*n - 2*m + 2836 = -0*m, 3*n - 4246 = -5*m. Suppose 3*y - 12 = 0, -2*k + 4*y - y = -n. Is k a prime number?
False
Let s = -3274 - -5457. Is s a prime number?
False
Is 3831/2*(-102)/(-153) a prime number?
True
Let p(q) = q**2 + q + 1. Let k(l) = 20*l**2 + 7*l - 7. Let h(j) = k(j) - 4*p(j). Suppose -2*o + 2*b - 10 = -0*o, 2*b + 20 = -o. Is h(o) a composite number?
False
Suppose m = -0*m + 250. Let h(b) = b**3 + 30*b**2 - 2*b - 53. Let x be h(-30). Is (m - -1)*(-6 + x) composite?
False
Suppose -37609 - 116097 = -14*v. Is v prime?
True
Let a be 0 + 1 - (7 - 249). Suppose -w - 3124 = -3*x + a, -4 = w. Is x a prime number?
False
Let l = 3313 - 1364. Is l composite?
False
Suppose -2*s = c - 3*c - 2, 4*s - 3 = 5*c. Suppose -2*w = 3*k - 56, -4*k - 3 = 5. Is -1 + -2 + w*s a prime number?
True
Suppose 4*x - a = 44793, 44798 = 4*x + a - 3*a. Is x a composite number?
False
Let t = -65 + 834. Let p = t - 265. Is -2 + -4 + p + 1 a prime number?
True
Suppose 11*d = -5*d + 10096. Is d composite?
False
Suppose 6*z - 12*z = 30. Let j(q) be the first derivative of -58*q**2 - 15*q + 1. Is j(z) prime?
False
Let m(c) = -86*c**3 + 7*c**2 + 8*c - 3. Is m(-4) a prime number?
True
Is (-2 + 10406/4)/(-3)*-6 a composite number?
True
Let f = 10495 - -40764. Is f composite?
True
Suppose -2*o + 3*k + 2143 = 0, -3*k + 1030 = 3*o - 2192. Let i = o + 658. Is i a prime number?
False
Let n be 58 - (-3 - -1 - 0). Let l(u) = n*u**3 + 3 - 2 - 2*u - 55*u**3. Is l(2) prime?
True
Let s be 6 - 4 - (1 + -3). Suppose s*d = i - 0*d - 341, 5*d + 5 = 0. Is i a composite number?
False
Is (-3 + 0 - -4) + 1384 composite?
True
Suppose 2*z + 4 = -3*i, -2*z + 4*z - 2*i - 16 = 0. Suppose -x - z*x = -2045. Is x a composite number?
False
Let v = 64014 + -38101. Is v a composite number?
False
Suppose -3*k = 4*t - 3*t - 7, 4*t + 14 = 2*k. Suppose 0 = 5*s + 20, -k*y + 2*s - 4 - 3 = 0. Is (y/(-1))/(2/14) prime?
False
Is (7 + (9 - 6))*(-501)/(-6) prime?
False
Let f(c) = 174*c**2 + 4*c + 35. Is f(8) prime?
False
Let n(u) = 254*u**3 - 2*u**2 + 3*u - 1. Let c be n(1). Suppose -2*a - c = -4*a. Is a prime?
True
Let f(j) = 137*j**2 + 12*j + 77. Is f(-12) a composite number?
False
Let m(x) = -3*x**2 - x - 5. Let u(i) = 2*i**2 + i + 4. Let j(b) = -4*m(b) - 5*u(b). Let q be j(-1). Is -3*281/(-3)*q a composite number?
True
Suppose 657 + 3287 = 4*g. Suppose -2*h + 7185 = 3*h. Let i = h - g. Is i composite?
True
Let w = -28 - -17. Let a = w + 10. Is ((-1564)/(-8))/(a/(-2)) a composite number?
True
Suppose 2*k - 2 = -a, 3*k - a - 14 = 3*a. Let u be 2