 z(v) = -7*v - 8*v - 8 + 16*v**2 - 4*v**2 - v**3 + 5*v. Is z(9) a prime number?
False
Let w(y) = 123*y - 22. Is w(3) a prime number?
True
Let b(j) = j - 3 + 0*j + 2. Let z be b(4). Let r = 34 - z. Is r a prime number?
True
Let m(a) = 2*a - 5*a - 6 + 3 + 4*a. Let d be m(8). Suppose d*u - 3*i = 447, -4*u = -i - i - 356. Is u composite?
True
Let m = -149 + 1365. Suppose -4*b + m = -0*b. Let r = b + -185. Is r a prime number?
False
Let q(b) = b**2 + 7*b - 4. Let j be q(-7). Let u = -2 - j. Suppose -3*c - 4*p = -16, -p = p - u. Is c composite?
True
Suppose n + 2*h - 69 = 7*h, -5*h + 276 = 4*n. Is n prime?
False
Let i be (-6)/(2 - (-3)/(-2)). Let l = -7 - i. Suppose -l*f - 3*a = -0*a - 629, -2*f + 248 = 3*a. Is f composite?
False
Let h(g) = g + 17. Let t be (0 + 2 - 8)/1. Is h(t) a composite number?
False
Let j(i) = i**2 - 14*i + 2. Let y(w) = 2*w**2 - 27*w + 4. Let f(p) = 11*j(p) - 6*y(p). Let q be f(7). Suppose -q*m = -15, c - 8 = -4*m + 7. Is c a prime number?
True
Suppose 0 = 5*x - y - 4400, -x = -6*x - 4*y + 4425. Suppose 0 = -3*k - u + 5*u + x, -u = 2. Is k prime?
False
Suppose l + 2*l = 12. Suppose 0 = l*y - y - 111. Is y composite?
False
Suppose 0*n - 16 = 2*n - 2*y, -y = n - 2. Is (-1 - n/2)*614 prime?
True
Let m be (52/6)/(6/63). Suppose 0 = -k + 5*d + 94, -3*k + d + m = -149. Is k prime?
True
Let a = -2 - 0. Is (37/2)/((-1)/a) a composite number?
False
Suppose -q = -3*q - s + 6, 0 = -q + 5*s + 14. Suppose 3*f + 46 = p, 0 = -q*p + 2*f + 169 - 15. Is p composite?
False
Is 2/6*-3*-319 composite?
True
Let a = 460 + -299. Is a prime?
False
Let u(h) = -48*h - 70*h - 11 - 40*h. Is u(-5) a prime number?
False
Let p(m) = -m**2 - m + 4. Let h be p(0). Suppose 0 = -a - h*a + 15. Is 67/3 + a/(-9) prime?
False
Let u(k) be the first derivative of k**2 - 9*k + 2. Let n be u(7). Let o(p) = 3*p - 1. Is o(n) composite?
True
Let q = 34 + -71. Let a = q - -104. Is a a prime number?
True
Let c be 8/(-28) + (-1978)/(-14). Suppose -c = -k - 3*o + 5*o, 3*k + 4*o = 443. Is k a composite number?
True
Let p(h) = 904*h**2 - h + 1. Let s be p(1). Suppose 4*j = -3*g + s, 4*g = -3*j + 2*j + 239. Is j a prime number?
True
Let t(f) = -65*f - 1. Suppose a - 3*a - 4 = 0. Is t(a) composite?
True
Suppose 4*j = -5*o + 539 + 1996, j + 2*o - 633 = 0. Is j prime?
False
Let b(g) = -1986*g**3 - g**2 - g - 1. Is b(-1) prime?
False
Let r(t) = -t**3 - 5*t**2 - 5*t - 3. Let q be r(-4). Let m be q*-1 + 4/1. Suppose 0 = -k + m*k - 14. Is k a composite number?
False
Let q be (0 + -1)*(-3 - -1). Suppose 6 = q*h + h. Let k = 21 + h. Is k a composite number?
False
Let n(j) = j. Let f be n(2). Suppose 649 = f*g - 241. Is g a prime number?
False
Let r = -4941 - -7410. Is r a composite number?
True
Suppose 4*s = 73 - 9. Let y be 2/3 + s/(-6). Is ((-97)/4)/(y/8) a prime number?
True
Let j(c) = 0*c - 2*c + 2*c + c. Is j(6) a composite number?
True
Suppose 1230 = -2*v - 3*v. Let s = -131 - v. Is s a composite number?
True
Suppose 0 = -3*f + 745 - 130. Is f a prime number?
False
Let b(n) = n**2 - 2*n - 3. Let o = 6 - 10. Is b(o) a composite number?
True
Suppose r - 76 - 13 = 0. Is r a composite number?
False
Let n(s) = s**3 + 15*s**2 + 18*s - 25. Is n(11) prime?
True
Let q = -599 + 1234. Is q prime?
False
Let l(y) = -y**3 - 7*y**2 - 5*y + 9. Let h = 0 - 8. Is l(h) a composite number?
False
Let l be 2/3 + 1903/(-33). Let g be 40/6*(7 - 1). Let k = g - l. Is k prime?
True
Let g be (1 - 0) + (-30)/(-6). Suppose -2*o + g*y = y - 179, 0 = -o - 3*y + 62. Is o composite?
True
Suppose -5*v = 2*w - 0*v - 417, -v = -2*w + 447. Is w composite?
True
Let p(a) = a**2 + 3*a + 7. Suppose 5*f = 18 + 17. Is p(f) composite?
True
Let t(f) = -23*f**2 + f - 1. Let a be t(1). Suppose 0 = 6*k - 2*k + 2*c + 42, 2*k + 36 = 4*c. Let y = k - a. Is y prime?
True
Let s = -14 + 17. Suppose -3*b - 526 = -n, 289 = -4*n + s*b + 2348. Is n a composite number?
True
Suppose 4*s - 58 = -4*m - 10, -5*m - 2*s + 60 = 0. Let y(j) = 2*j**2 - 5 - j**2 + 12 - 7*j. Is y(m) composite?
False
Let b(x) = 19*x - 2. Suppose -4*m + 20 = -v, -2*v = 2*v - 5*m + 25. Suppose -3*u - 3*o = 0, -3*o = -v*u + 2*u + 3. Is b(u) a prime number?
False
Let o = -139 - -1112. Is o composite?
True
Is (-4)/(-6) + 2397/9 - 2 prime?
False
Let u(m) be the second derivative of -m**4/12 - 17*m**3/6 - 15*m**2/2 + 2*m. Is u(-10) prime?
False
Let q(u) = 9*u**2 + u - 1. Let t be -1 + (-6)/(-2 - -5). Let g be -2 - (t - 0) - -1. Is q(g) a composite number?
False
Let g(q) = -q**3 + q**2 - 4*q + 4. Let a be g(5). Let r = -194 - a. Let k = -25 - r. Is k a prime number?
True
Let n be ((-50)/(-4))/5*2. Let k = n - 3. Suppose k*u - 178 = 4*m, 0*m - 5*m = -3*u + 268. Is u composite?
True
Is (-378)/(-10) - 11/(-55) a prime number?
False
Let j = 4 + -3. Is 16*j + (-1 - 0) prime?
False
Suppose 0 = -3*y - 5*u + 26, 3 - 5 = -3*y + u. Suppose -17 + 7 = -y*f. Suppose 5*n - 172 = -j, -797 = -f*j - 0*n - 4*n. Is j prime?
True
Let c(i) = 5 - 6 + 5*i + 5*i**2 + i**3 - 5. Let r be c(4). Suppose 0 = -4*d + 2*d + r. Is d a prime number?
True
Let t be 6/15*-1*55. Let c = t + 41. Is c a composite number?
False
Let x(w) = w**3 + 4*w**2 - 6*w + 1. Let d be x(-5). Suppose u + 635 = d*u. Is u a composite number?
False
Suppose -o + 2*s + 145 = 0, 5*o - 3*s = 1003 - 264. Is o a prime number?
True
Let b(f) = f**2 - 4*f + 5. Let c be b(4). Let i = c + 1. Is i a prime number?
False
Suppose 3*r + s = 6*r - 1190, 5*s + 1980 = 5*r. Is r a composite number?
False
Let f = 9 - 2. Suppose -5*s - 4*p + 187 = -298, -2*s + 3*p + 217 = 0. Suppose 2*v + f - s = 0. Is v composite?
False
Let r = 22 - 37. Is -2 + 2/((-2)/r) composite?
False
Is 4/20 - 852/(-15) a composite number?
True
Suppose -2*m + 2093 = 5*s, s + 0*s - 418 = -m. Is s prime?
True
Let c = 7 + -3. Suppose c*y = 4*d - 0*y - 76, 4*d = -3*y + 76. Is d prime?
True
Is ((-9688)/32)/(2/(-8)) prime?
False
Let a(d) = 2*d**2 + 0 - 2*d - 2 - 4*d**2 + d**3. Let g be a(3). Is g/(-2)*(-66)/1 prime?
False
Let w be (3/2)/((-3)/8). Suppose 0 = -5*g - 4 - 1. Is (w + g)*12/(-10) composite?
True
Let b = -526 - -827. Is b a composite number?
True
Suppose -4*v + 0*l - 2 = 3*l, -5*v = 5*l. Let t(y) = y**3 + 2*y**2 - y + 2. Let c be t(v). Suppose 0*s + c*s - 364 = 0. Is s a prime number?
False
Suppose 3*j + a - 2001 = 4*a, 0 = 2*j + 4*a - 1334. Is j a composite number?
True
Let w(p) = -5*p**3 - 4*p**2 + 18*p + 6. Is w(-7) a prime number?
True
Suppose -2 = -5*h + 13, -3*k = -2*h - 9. Suppose -10 = k*q, -26 = -p + 4*q + 74. Is 9/(-6)*p/(-6) a composite number?
False
Suppose -2*p = -5*i - 139 + 480, 73 = i - 2*p. Is i a prime number?
True
Suppose -6*s = -3*s + x - 2458, -2*x - 4115 = -5*s. Is s a prime number?
True
Let s(c) = 2*c**2 + 10*c + 1. Let p(m) be the second derivative of -7*m**5/20 - m**3/3 + m**2/2 + m. Let d be p(1). Is s(d) prime?
False
Suppose 0 = h - 0 + 5, -2*i - h + 629 = 0. Is i prime?
True
Let c be (-2 - (-5 + 1)) + -2. Let b = c - -3. Is (1/(-1))/(b/(-159)) a prime number?
True
Let n = 9 + -7. Suppose 725 = -n*l + 7*l. Is l composite?
True
Suppose 0 = -3*i + 4*d + 209, i + d = -4*d + 95. Suppose 5*y - i - 95 = 5*x, -5*x - 108 = -3*y. Is y a prime number?
True
Suppose -5*q - 349 = -4*u + 101, 0 = -2*u - q + 232. Is u a prime number?
False
Let s = -3 - -4. Suppose -6 = -3*a - l, 5*a - 2*l - 11 = -s. Suppose 0*k + 5*n = k - 225, 3*n = a*k - 422. Is k a prime number?
False
Let y(u) = -u - 2. Let s be y(-6). Suppose 3*a + 2 = -s. Is 106*1*(-1)/a a composite number?
False
Let s = 382 - 786. Let t = -263 - s. Is t prime?
False
Let b be 0 + (-9)/3*-1. Suppose -a - 116 = -b*a. Is a composite?
True
Let x(f) = 2*f + 1. Let g be x(-12). Let b(u) = u**2 - 4*u + 1. Let a be b(-4). Let o = g + a. Is o a composite number?
True
Suppose -l = 3*l - 4*i - 1780, 5*l = -3*i + 2225. Is l a prime number?
False
Is (354/4 - -1)/(2/28) a composite number?
True
Suppose 2*k + 0 = -4. Let p be 0 + k - (1 - 3). Suppose p*u + u = 39. Is u a prime number?
False
Let f(s) = -s**2 + 2*s - 2. Let l(h) = h - h - 3 + h. Let c(x) = -3*f(x) + 4*l(x). Is c(7) a composite number?
False
Let i be (-4)/6 - 16/3. Is (-1579)/(-6) + i/36 prime?
True
Is (-2)/4*19288/(-6 - -2) a composite number?
False
Suppose 0*b + 8 = 2*b, 4*b = 3*x + 34. Let m(z) = z**2 - z - 4. Let f be m(0). Is (4/x)/(f/78) prime?
True
Su