3 - q**2 - 4*q + 3. Is k(y) composite?
False
Let j be (-4)/(-3)*(-3)/(-2). Let y be 1/(j/(-1020)*-2). Suppose -2*l + y = l. Is l a prime number?
False
Suppose h - 2 = -1. Let k(o) = 17*o - 6*o + 7*o + h. Is k(1) composite?
False
Let d(i) = i**3 + 2757. Is d(0) a prime number?
False
Suppose 951 = 5*g + 4*q - 2*q, -5*q = -g + 201. Is g prime?
True
Suppose 2*s + 15 = -3*s. Let z(b) = -10*b**3 - 4*b**2 - 1. Is z(s) a prime number?
True
Let s = 206 + -92. Suppose 0 = -4*r + s + 98. Is r a prime number?
True
Let s(i) = i**3 - 7*i**2 - 3*i - 9. Suppose 0 = -3*y - 12, -13 = -2*l + 4*y + 19. Let z be s(l). Suppose -352 = -4*a + 5*n, -a + 44 = 2*n - z. Is a composite?
False
Let v(s) = -s**3 - 5*s**2 - 4*s + 4. Let g be v(-4). Let i be 3/(-4) - (-695)/20. Suppose 0 = 3*d - c - 104, -g*d - c - i = -175. Is d a composite number?
True
Suppose 4*q = 2*j + 112, -72 = -2*q + 4*j + j. Suppose -i + 2 = 5*d - 3*i, -q = -3*d - 5*i. Is 201*2/(12/d) a prime number?
True
Let x(r) = 5*r + 2. Suppose 0 = 4*l + 5*t + 23, 5*l + t + 7 = 2*t. Let n(w) = 2*w**2 + w + 1. Let j be n(l). Is x(j) a composite number?
False
Is -1 - (0/4 + -750) prime?
False
Let s(y) = -y**2 + 8*y + 2. Let f be s(8). Let z(c) = 3 - 6 + 1 + c**2 + 0*c + f*c. Is z(-6) a composite number?
True
Let t be (8/6)/(2/360). Let s = -6 - -9. Suppose t = 3*l + 3*z, 2*l + s*z + z = 166. Is l composite?
True
Suppose 0 = 3*h + 3, 4*y - 4*h = -0*y + 2096. Is y a composite number?
False
Suppose 0 = 2*d + 2*a - 80, -75 - 77 = -4*d - 2*a. Is 8/d + 3650/18 prime?
False
Let s(l) = -13*l**3 + 4*l**2 + 5*l + 31. Is s(-4) a prime number?
True
Suppose 138 = -4*v - 134. Let s = v + 151. Is s a prime number?
True
Suppose -h = -5*h + 12. Suppose 5*z = h*z + 6. Is z + (-1)/1 - -11 a prime number?
True
Let m be 3/((-30)/(-14) + -2). Suppose -4*z = -4*f - 8, 0*f + 3*z + 2 = -f. Let p = m + f. Is p prime?
True
Let y(m) = m**2 - 4*m + 1. Suppose -4*w + 8 = -0*w. Let q be y(w). Is (-2)/q*93/2 composite?
False
Let j be -8*(6/(-4))/3. Let t = 1128 + -323. Suppose s - t = -j*s. Is s a composite number?
True
Let k(m) = -67*m + 6. Let l be k(6). Let g = -185 - l. Is g prime?
True
Suppose -3*g + 837 + 114 = 0. Is g prime?
True
Suppose 0*l + 345 = 3*l. Is l prime?
False
Let p be 13 - (2 + (1 - 1)). Suppose -d = -p - 1. Let b = d - -1. Is b a prime number?
True
Let m(u) = -u + 6. Let d be m(5). Is (-87 + 2)/((-1)/d) composite?
True
Let c = -23 - -470. Is c a prime number?
False
Suppose 17 = -b + 228. Is b a prime number?
True
Suppose 0 = 4*u + 2*j - 34, -23 = -2*u - 4*j + 3. Is 21/u - (-442 + -2) a prime number?
False
Let c(l) = l**2 - 4*l + 3. Let t be c(5). Let v(q) = q**3 - 6*q**2 - 9*q - 3. Is v(t) prime?
True
Suppose 40 = -5*b + 5*t, 6*b = 2*b - 3*t - 11. Let h(z) be the second derivative of -z**3 + 7*z**2/2 - 13*z. Is h(b) a composite number?
False
Let i = 68 + 65. Is i prime?
False
Suppose -3*l + 5*l - 1260 = 0. Suppose l = -0*c + 2*c. Suppose -2*u - 5*j + c = 0, -4*u + 5*j + 555 = -0*u. Is u composite?
True
Suppose -2*s - s = -27. Let m(t) be the second derivative of t**4/12 - 3*t**3/2 + 5*t**2 + t. Is m(s) composite?
True
Let u(r) = r**3 - 9*r**2 + 2*r - 5. Is u(9) prime?
True
Let r(v) = v**3 + 8*v**2 + 7*v - 1. Suppose 2*n = -4*l - 22, 2*n = -l + 7*n - 22. Let x be r(l). Is 0 + x + 1*38 a prime number?
True
Let l(o) = 13*o**3 - o**2 + 1. Let i be l(-1). Let m = i - -32. Is m composite?
False
Let u = 1223 - 626. Is u prime?
False
Is (225/10 + -4)*22 a prime number?
False
Let y = -1263 + 2420. Is y a prime number?
False
Let r = 158 - 69. Is r composite?
False
Is 9/(9/4)*617/2 a composite number?
True
Suppose 6 - 2 = 2*q. Suppose -2*z = -q*b + 12, z - 21 = -5*b + 3*b. Is ((-6)/b)/(4/(-114)) a composite number?
False
Let p(i) = 20*i + 6. Let v be p(-8). Let j = 260 + v. Is j composite?
True
Suppose -2*h = 2*j - 108, j = h - j - 66. Let x = 89 - h. Is x prime?
True
Suppose 0 = 5*z + 86 + 2044. Let u = z + 643. Is u prime?
False
Let w be 4 + -4 - (-14)/(-2). Is (w - -7) + (0 - -511) composite?
True
Let s be ((-3)/2)/((-12)/416). Suppose -c - s = -5*c. Is c a prime number?
True
Let d = 2 + 1. Suppose 4*a = -d*v + 2*a - 24, 2*v + a + 17 = 0. Let c = 29 + v. Is c composite?
False
Let n(t) = -t**3 - 3*t**2 - 4*t - 2. Let c be n(-2). Is c - (-1)/((-2)/(-22)) composite?
False
Suppose 5*m + 42 - 462 = 0. Suppose 0 = 3*j + 21 - m. Suppose -w + j = -10. Is w a prime number?
True
Is 60 - 58 - (1 - 0)*-919 a prime number?
False
Suppose -168 = -j + 163. Is j a composite number?
False
Let u(v) = -v**3 + 5*v**2 - 3*v - 4. Let w be u(3). Suppose 523 = w*r - 222. Is r a prime number?
True
Let r = 57 - -52. Is r composite?
False
Suppose -6*p - 5 = -3*c - 2*p, c + 1 = 4*p. Suppose -205 = -0*s - 3*s - z, 2*s - c*z - 122 = 0. Is s a composite number?
False
Let r be (0 + 0)/2 - -2. Let u be r + 1 + (-4 - -3). Suppose -u*t = t - 69. Is t a composite number?
False
Suppose -5*d + 2*x + 187 = -x, 0 = -2*d - x + 66. Is 2755/d + 2/7 a prime number?
True
Let p = -8 - -11. Suppose 1 = p*d + 19. Let g = 21 + d. Is g composite?
True
Let l = -53 + 148. Is l a prime number?
False
Let b = 629 + -366. Is b a prime number?
True
Let l(b) = -2*b**3 - 2*b**2 - 4*b + 6. Let m(j) = 4*j - 1. Let c be m(-1). Is l(c) a composite number?
True
Suppose 18 = -5*q - 12. Let i be (2/(-6))/(1/q). Let w(j) = 3*j**2 - 3*j + 1. Is w(i) composite?
False
Suppose 30 = u + u. Suppose 0 = 2*q + 2, 3*y + 3*q + 4 = 1. Suppose -3*v + u + 6 = y. Is v a prime number?
True
Let w(n) = n**3 - 17*n**2 + 17*n + 19. Let z be w(15). Let v = z + 303. Is v composite?
False
Let y = 519 - 358. Is y composite?
True
Let s be (8 + -8)/(1 - 2). Suppose s = 3*u - 8*u + 175. Is u composite?
True
Let b be 3/(-15) + (-14602)/(-10). Suppose 5*w - p = b, -5*w - 3*p = -8*p - 1440. Is w a prime number?
True
Let p(f) = 10*f + 3. Suppose -3 = l, 5*l = -5*t + 3*t - 9. Let y be p(t). Let u = y - 14. Is u composite?
False
Let d(v) = -47*v - 1. Suppose 5*o + 6 - 21 = 0. Let x(p) = 46*p + 1. Let a(m) = o*x(m) + 4*d(m). Is a(-1) composite?
True
Is 4/22 + (-9576)/(-88) a prime number?
True
Is (-2228)/8*1*-2 a composite number?
False
Suppose g + 3*g = 8. Let j be 0/(g/(-2) + -1). Suppose t - 5*d + 2 = j, 0 = 2*t - 3*d - 3. Is t a prime number?
True
Let d = 4 + -2. Suppose -d*z = -z - 33. Is z composite?
True
Let i be 13/5 + (-24)/40. Is (37/i)/((-1)/(-2)) a composite number?
False
Let z(x) = -x**3 - 4*x**2 - 5*x - 3. Let c be z(-3). Suppose -140 = -c*b - b. Is b prime?
False
Suppose -5*z - 2*j - 7178 = -21813, -2*j = 0. Is z a prime number?
True
Let p = -20 - -64. Suppose 4*m - 136 + p = 0. Is 0 + 2*-1 + m composite?
True
Suppose -o - 1325 = -3*x, -x - 2*o + 99 = -352. Is x a composite number?
False
Is 297/7 + 24/42 prime?
True
Suppose 2*p = -2*a, -2*p = -2*a + 3*a + 1. Is 28/1 + p + 4 prime?
True
Let j(v) = -7*v + 14*v + 4 - 1 + 9*v. Is j(2) composite?
True
Let i(x) be the third derivative of 0*x + 0 + 1/6*x**3 - x**2 - 19/12*x**4. Is i(-1) prime?
False
Let n(c) = c + 1. Let y be n(-1). Suppose y = g + 2*g + 3, -3*h + 10 = 2*g. Is h a prime number?
False
Let x be 4/(-10) + 1710/25. Let d = 102 - x. Is d a prime number?
False
Suppose -100 = -7*m + 3*m. Is m a composite number?
True
Suppose -3*g + 14 = -7. Is g prime?
True
Let p(h) be the second derivative of 4*h**3/3 + h**2 + 2*h. Is p(4) a prime number?
False
Let p(t) = 4340*t**2 - 4*t - 3. Is p(-1) composite?
True
Suppose 4*v + v = -5*c + 370, 0 = v - 5*c - 86. Suppose 6*a - 2*h = a + 404, v = a - 2*h. Let f = 135 - a. Is f prime?
True
Let l(t) = 864*t - 41. Is l(4) a prime number?
False
Suppose 18*v - 16*v = 778. Is v composite?
False
Let f(g) = -g + 6. Let b be f(-5). Suppose -p = -36 - b. Is p prime?
True
Suppose -5*c = -545 - 270. Is c a composite number?
False
Let w = 22 + -19. Suppose w*k - d - 608 = 0, 0 = 3*k + 2*k + 5*d - 1020. Is k a composite number?
True
Suppose -2*f - 10 - 11 = 5*c, 4*f - c = 13. Suppose -160 = -f*u + 66. Is u prime?
True
Suppose -40 = -5*q - 5*z, z = q + 3*z - 12. Suppose q*v - 745 = 267. Is v composite?
True
Let m = 1488 + -581. Is m prime?
True
Let v(k) = -53*k. Let f(b) = b + 6. Let c be f(-11). Let p be 4 + c - (-2 + 2). Is v(p) a prime number?
True
Let w = 69 + 10. Is w prime?
True
Is 4/28 - 6654/(-21) a prime number?
True
Let k(q) = -2*