 - 6*k**2. Is p(-7) prime?
False
Suppose r = 1026 - 88. Let z = r - 195. Is z composite?
False
Let m(f) = 5*f**2 - f + 11. Is m(-5) a composite number?
True
Suppose 6245 = 8*m - 3*m. Is m composite?
False
Let n be 12/15*30/2. Is 7/(1 - n/13) prime?
False
Let f = 7 - 5. Suppose w + 40 = 5*h, f*h + 0*w - 3*w = 3. Is 27*3/h*1 prime?
False
Suppose m = 5*y + 51, 4*y = 4*m + m - 171. Is m prime?
True
Suppose -2*v = v. Suppose -q - 2*q - 6 = v, 2*y - q = 744. Is y a prime number?
False
Suppose m - 4*h + 6 = 2*m, 0 = m - 3*h - 41. Suppose 2*f - m = -64. Let r = f - -160. Is r prime?
False
Suppose t = 3*t - 6. Suppose -t*s = -40 - 23. Is s composite?
True
Suppose 0 = 4*r + 16, 4*r + 672 - 23 = 3*g. Is g a prime number?
True
Let a(t) = -t**2 - t. Let l be a(-1). Suppose -44 = -4*h - l. Is h a prime number?
True
Let s = -2 - -5. Let f(v) = -v**3 + 2*v. Let m be f(-5). Suppose 3*y - 5*i = 101, -3*y - s*i = -i - m. Is y a prime number?
True
Let x(q) = -q**2 - q + 1. Let r(a) = -8*a**2 - 5*a + 6. Let f(y) = 2*r(y) - 14*x(y). Let z be f(2). Is (2/z)/((-1)/21) prime?
False
Let g be (1/1)/(2/8). Suppose -3*z = -5*b - 30, 0 = -3*z + g*z - 5*b. Is z composite?
True
Suppose 0 = -5*o - 3*x + 7*x + 8, -2*o + 4*x = 4. Let n be (o/6)/((-2)/(-9)). Is 9/12*(n - -1) a prime number?
True
Suppose -5*u = -3 + 113. Let t = u - -11. Let y = 8 - t. Is y a composite number?
False
Suppose -1679 = -4*b + 261. Is b a prime number?
False
Suppose 5*s - 4*f + f + 3 = 0, -5*f - 14 = -2*s. Let l be (s/6)/(1/(-2)). Is 0 + l + (-180)/(-5) prime?
True
Let g(x) = 12*x**2 - 3*x - 2. Suppose 4*n = 4*z, -2*n - 2*z - 9 = -7*n. Is g(n) prime?
True
Let s(n) = n**3 - 6*n**2 + 3*n - 5. Let a be s(8). Suppose q = -4 + a. Is q a prime number?
False
Let g be 6/9*(4 - 1). Suppose -3*y + 56 = -a, g*y - 2*a - 44 = -8. Is y a prime number?
True
Is 19404/16 + 3/12 a composite number?
False
Let p(q) = 2*q**2 + 4*q + 1. Suppose -m - 5 + 19 = 4*z, 0 = 5*z. Suppose -5*v = -m + 39. Is p(v) composite?
False
Suppose -h + 4*s - 2 = 0, -6*h + h + 20 = -5*s. Suppose -u = -h*u + 190. Is u composite?
True
Suppose 14*m = 15*m + 8. Is 159 + (-1)/(-2)*m composite?
True
Let a = 39 + -20. Is a a composite number?
False
Let u = -1279 - -1820. Is u composite?
False
Let k be (-7)/(-3) + (-4)/(-6). Suppose 0 = 2*t + 10, 2*m = k*m + 2*t - 67. Is m composite?
True
Let z(m) = 38*m - 5. Suppose -d = 5*t - 63, -5*t + 2*d + 53 = -1. Is z(t) prime?
False
Suppose -x + 57 = 5*f - 2*f, 5*x + 5*f - 255 = 0. Is 3804/x + (-2)/8 a composite number?
False
Let k be 12/(-4) - (1 + -54). Suppose -88 = -3*p + k. Is p a prime number?
False
Let c = 742 + -323. Is c a prime number?
True
Suppose -8 = -5*z + 22. Let g = -4 + z. Suppose 91 = 2*u + 5*c, -5*c = -u - g*u + 199. Is u a composite number?
True
Let x = -10 + 12. Suppose 3*w = -5*q + 30 + 190, -10 = x*w. Is q composite?
False
Let n(h) = h**3 - 7*h**2 + h - 3. Let c be n(7). Let p be (3 + -4)*-1*1. Is 454/c - p/2 a prime number?
True
Let f = 719 + -306. Is f a composite number?
True
Let v(c) = 4*c + 1. Let b(w) be the first derivative of w**4/4 - 2*w**3/3 + w**2/2 - 3*w + 2. Let p be b(3). Is v(p) a composite number?
False
Let i(j) be the first derivative of j**3/3 - j**2/2 + 2. Let v be i(3). Suppose -d = -4*g - 85, -4*g - v = 14. Is d prime?
False
Let b = -1337 + 2614. Suppose 1 = 5*x - 4, -4*q - x + b = 0. Is q a prime number?
False
Let u(n) = -147*n**3 - n**2 - n - 1. Let d be u(-1). Suppose 4*i = d + 122. Is i prime?
True
Let v(u) = -3*u - 3. Let r be v(-2). Suppose -r*o = -3*k - 768, 9*o = 4*o - k + 1250. Is o a composite number?
False
Let k(b) = 2*b**3 - 12*b**2 - 5*b + 4. Is k(7) a prime number?
True
Suppose k - 2 = -0*k, -2*k = 2*q - 230. Is q prime?
True
Let q(u) = u - 1. Let t be q(5). Let r = 9 - t. Suppose 0 = -n + 4*n + o - 166, 271 = r*n - 4*o. Is n a composite number?
True
Suppose -2*s = s - 12. Suppose 4*t + s*w + 172 = 0, 4*w = t + 45 - 2. Let b = 12 - t. Is b composite?
True
Let r(i) = 1. Let k(a) = 62*a + 5. Let g(h) = -k(h) + 4*r(h). Is g(-3) composite?
True
Is ((-13 - -4) + 5)*(-3118)/8 prime?
True
Suppose -1484 = -5*s + s. Is s a prime number?
False
Is (-98)/(-4) + 39/26 a prime number?
False
Let k(z) = z**3 + 6*z**2 + 7*z + 5. Let o be k(-4). Suppose 10*j - 97 = o*j. Is j composite?
False
Suppose -5*a = -10*a + 15. Let j(u) = a + 6 - 1 + 14*u - u**2. Is j(9) a composite number?
False
Let p be ((-52)/(-6))/((-2)/81). Let i = -651 + 1165. Let n = p + i. Is n a prime number?
True
Suppose -m = -3 + 5. Is (-12)/(-15)*(-95)/m a composite number?
True
Let s = 9 + -5. Let u(m) = 46*m - 6. Let i be u(s). Suppose i = 4*b + 30. Is b prime?
True
Suppose 0 = -0*x + 3*x + w - 6, 2*w + 6 = 0. Suppose -d + 4*d = 6. Suppose 2*y = m - 16, 0 = -d*m - 0*m - 3*y - x. Is m prime?
False
Suppose y - 4 = -0. Suppose -4*k - 156 - 36 = -3*o, 5*k = y*o - 241. Let p = k - -79. Is p composite?
True
Let p(b) = 7 - 7*b**2 + 11*b**3 - 2 - 6*b - 10*b**3. Is p(9) prime?
True
Suppose -2*x - m = -512, 232 = 2*x - 4*m - 260. Is x prime?
False
Is 1/(5265/(-1317) - -4) a composite number?
False
Let d be 4 - (-3 + 2 + 0). Suppose 3*m - 168 = -x + 340, 2*m + 2455 = d*x. Is x a composite number?
True
Suppose 4535 = 5*y - x, 4*y - 4940 = x - 1312. Is y a prime number?
True
Let v(m) = -m**3 - 3*m**2 - 8*m - 7. Is v(-5) a prime number?
True
Suppose 2*u + 31 = 5*k + 5, -2*k + 5 = u. Suppose 0*b + b = x - 254, -3*x - 3*b + 768 = 0. Suppose x = -o + k*o. Is o prime?
False
Suppose 5*v + 1626 = 5*l + 511, 0 = -4*l - 2*v + 892. Is l composite?
False
Let x = 3 - 7. Let s be (-130)/(-18) - x/(-18). Let r = s + 12. Is r composite?
False
Let b = 20 + -18. Suppose -w - h - 510 = -b*w, -2535 = -5*w + 2*h. Is w composite?
True
Suppose 5*i - 2*y + 23 = 0, -4*i + 5*y = -0*y + 32. Is (46 - i) + (1 - 1) composite?
True
Let l(g) = 14*g - 5. Is l(4) prime?
False
Let c = 59 + -33. Is c prime?
False
Let j(g) = -7*g**2 + 6. Let f be j(-5). Let m = f + 266. Is m a composite number?
False
Let v = -5 - 6. Let p = 36 + v. Is p prime?
False
Let x = 15 - 9. Let s be (x/4)/((-4)/(-8)). Suppose s*c - 2*a = -a + 79, 80 = 3*c - 2*a. Is c prime?
False
Suppose -3*v + 3*i = -0*v - 396, -4*v = 2*i - 498. Is v composite?
False
Let o(n) = -n**2 - 10*n - 7. Let k be o(-9). Suppose k*w = u - 2*w - 49, -w = -5. Is u prime?
False
Let h = -112 + 195. Is h a composite number?
False
Is 2/3*(-27498)/4*-1 a prime number?
True
Let w be (2 + -3)/((-2)/106). Let x be 2/(-7) + (-120)/(-28). Suppose 3*k - x*k = -w. Is k prime?
True
Let o = 25 - 15. Suppose 0 = 4*h - 0*h + 5*d - 117, -54 = -2*h - 4*d. Let v = h - o. Is v a prime number?
True
Suppose -r - 215 = -t, 215 = -0*t + t - 5*r. Is t prime?
False
Suppose -2*i - 28 = -l, 3*l + i - 124 = -5. Is l composite?
True
Let t(u) = u**3 - 3*u**2 - 2*u - 3. Let k be t(4). Suppose -a - 4 = 3*g + 8, -k*a - 99 = 2*g. Let c = 35 + a. Is c prime?
False
Let q(v) = -7*v**2 - 3*v - 1. Let i be q(3). Let j = i + 43. Let k = j - -43. Is k prime?
True
Let b(u) = -u**3 - 3*u**2 - 11*u - 1. Let n be b(-10). Suppose -1188 = -4*q - 4*g, 5*q - 4*g + n - 2258 = 0. Is q a prime number?
True
Let f = -12 + 67. Is f prime?
False
Let p(n) be the third derivative of n**5/60 + 5*n**4/24 - 5*n**3/6 + n**2. Let m be p(-5). Is (1 + (-36)/3)*m prime?
False
Let a(d) = -d - 1. Let l be a(-3). Let x = -1 + 1. Suppose 0 = l*w - x*w - 130. Is w a prime number?
False
Let o(v) = 4*v**3 + 7*v**2 + 4*v - 2. Let x be o(-4). Let b = -113 - x. Is b a prime number?
False
Suppose 2*l + 771 = 5*l. Is l a composite number?
False
Suppose d = -2*n + 52, -5*n + 10*n - 2*d - 121 = 0. Is n composite?
True
Let t(h) = 128*h - 1. Let y = -4 - -5. Is t(y) composite?
False
Let o(l) = -5*l**3 - 3*l**2 - 6*l + 7. Is o(-5) a prime number?
True
Let i = 4 - 1. Let p be (-1 + -2)/((-3)/2). Is (i*p)/(-3) - -129 a composite number?
False
Suppose 25 = u + 4*u. Suppose -b + u*b = 0. Suppose 2*s + 0*s - 68 = b. Is s a prime number?
False
Let t(g) = g**3 + g + 483. Let h be t(0). Suppose -7*q + 3*q = 0, h = m - 5*q. Suppose u = 3*w - 239 - 53, 2*u = -5*w + m. Is w composite?
False
Let m = -3 + 4. Is m + -4*(-177)/6 composite?
True
Suppose 2*j = 3*p + 4*j - 633, -3*p = -2*j - 645. Is p composite?
True
Let y(n) = -7*n + 0 - 1 + 2. Let s be y(1). Let b(z) = -19*z - 5. Is b(s) prime?