217 = 3*d + 4*m. Is d composite?
False
Suppose -b + 514 = -21. Is b composite?
True
Let r = 7 - 2. Suppose 0 = 5*z + r, 2*z - 186 = -2*l - 2*z. Is l prime?
False
Let f(v) = v**3 + 8*v**2 + 7*v - 5. Is f(-6) composite?
True
Let z be 2/(-6) - 468/(-27). Let q = z + -3. Is q a prime number?
False
Let k(y) = 71*y - 6. Let r be k(9). Suppose 5*j - 2*j = r. Is j a composite number?
False
Let h = -23 - -34. Suppose 2*u + y - h = 4, 5 = u + y. Is u a composite number?
True
Let v(m) = 16*m**3 - m + 1. Is v(2) prime?
True
Let h(u) = u**2 - 4*u + 2. Let y = 5 - 5. Suppose 28 = -4*c - y*c. Is h(c) a composite number?
False
Let j = 3 + 232. Is j prime?
False
Let o be ((-8)/4)/(4/(-46)). Is o/(-4)*(-12 - 0) a prime number?
False
Let x(v) = 11*v + 11. Let f be x(8). Let l = -46 + f. Is l prime?
True
Let y = -4 + 6. Suppose -2*x + 199 = -5*x + v, -3*x = -y*v + 194. Let f = x + 133. Is f a prime number?
False
Suppose 3*z + 24 + 9 = 0. Let b = z - -68. Is b prime?
False
Let h(v) = -19*v**2 - 18*v + 87*v**2 + 15*v. Let b be h(2). Let d = b + -139. Is d prime?
True
Suppose 0 = -2*q - 8, -q = 4*i - 6*q - 120. Suppose 0 = -3*p - 3*v - 15, 5*v + i = -p - 0*v. Suppose p*l + 5 = 2*h + 3*l, 3*h = l + 13. Is h prime?
False
Let j(u) be the third derivative of 1/12*u**4 + 0*u - 5/3*u**3 + 0 - 3*u**2. Is j(10) composite?
True
Let v(n) = n**3 + 10*n**2 - n + 1. Is v(-5) composite?
False
Suppose -4*c = -111 + 15. Is (12/c)/((-1)/(-70)) prime?
False
Let a = -514 - -2473. Is a composite?
True
Let b = -5 + 11. Let h(y) = 2*y**2 + y**3 + 3 - y**2 - 6*y**2. Is h(b) prime?
False
Suppose 4*v + 0*p + 416 = 2*p, 5*v + 510 = 5*p. Let r be -9*((-228)/(-9))/4. Let b = r - v. Is b a composite number?
True
Let i(u) be the second derivative of 2*u - 4*u**3 + 2*u**2 + 3*u**3 + 0*u**2. Is i(-5) a composite number?
True
Let w = 11 - 11. Suppose w = -n - 4, -n + 256 = 4*x - 0*x. Is x prime?
False
Let s = 6476 + 18017. Is s prime?
False
Let j be 14/49 + (-5199)/(-7). Let w = j + -222. Is w composite?
False
Is (-3)/((-6)/(-68))*-1 a prime number?
False
Let d = 2708 + -871. Is d prime?
False
Let q(v) = v**3 + 8*v**2 - 2*v - 2. Let f = 9 - 17. Let n be q(f). Suppose l + h - n = 0, -l = -6*l - h + 74. Is l a prime number?
False
Let y(q) = q**3 - 8*q**2 + 7*q + 2. Let g be y(7). Suppose -g*f = -3*f + 14. Is f a composite number?
True
Let j = -5 - -4. Let t = -5 - j. Is (132/(-18))/(t/6) a composite number?
False
Let i = 0 + 5. Suppose 23 = i*f - m - 34, -3*m = -4*f + 39. Suppose 4*a - f = -5*p, -5*p = -0*p. Is a a prime number?
True
Suppose 114 = j + 2*d, 2*d + 2*d - 594 = -5*j. Suppose j = -3*n + 773. Is n a composite number?
True
Let r be 10/4 - (-1)/(-2). Suppose f - 15 = -5*t, 4*t - 12 = -2*f - r*f. Suppose -26 = -u - 3*c, t*u - 4*c + 27 = 4*u. Is u a prime number?
True
Suppose -3*j - 3*p = -7*j + 4079, 5*j - 5100 = 4*p. Suppose 4*t + 0*t - j = 0. Is t a composite number?
True
Let q be (-1 + 1)*(-3)/6. Suppose -3*s + 4*y = -93, -2*y + q*y + 41 = s. Is s prime?
False
Let v = 138 + 355. Is v a composite number?
True
Suppose 61678 - 15823 = 9*n. Is n prime?
False
Let t(i) = 5 - 2 + i**3 - 5 + 4*i**2 - 2*i - i**2. Let c be t(-3). Suppose 5*w - a - a = 21, 27 = 5*w - c*a. Is w a composite number?
False
Is 4*1/3*-3 + 101 prime?
True
Let m be -14*7/(98/12). Let t = -7 - m. Suppose t*j + 4*a = -0*a + 259, j - 4*a = 71. Is j prime?
False
Let k(v) = -v**2 + v - 4. Let n be k(0). Is n/10 - 2054/(-10) a composite number?
True
Let f = 72 - 41. Is f a composite number?
False
Let b(w) = -49*w + 10. Let h be b(-7). Let g = h + -142. Is g a composite number?
False
Let z = -30 + -11. Let x = z + 74. Is x a composite number?
True
Suppose -5*b + 2 - 6 = 2*j, 2*b = 5*j + 10. Suppose b*o = -o + 13. Is o a prime number?
True
Let s be (-4)/2 - (3 + -3). Let w(i) = -31*i**2 - 2. Let t be w(s). Is (-3 - t - -2) + 2 a composite number?
False
Suppose -14*l = -265 - 1. Is l a composite number?
False
Let a be (-24)/(-5) - 1/(-5). Suppose 0 = 3*i - 2*i + 5*u - 79, 395 = a*i + 5*u. Is i a prime number?
True
Suppose -5*r + 12 + 43 = 0. Is r a composite number?
False
Suppose 2*c + 3*g = -14, -7*g = 3*c - 2*g + 22. Let n = c - -8. Suppose -n*z + 405 = -31. Is z a prime number?
True
Let b(a) = 36*a**3 + a. Let j = 4 + -9. Let m(y) = y**3 + 4*y**2 - 4*y + 6. Let o be m(j). Is b(o) prime?
True
Let r = -3 + 2. Let n = r - -2. Is 11 - n*(0 + -2) composite?
False
Let d be 2 - 1 - (-2 - -2). Let p be 34 - (1 + d - 4). Let y = -22 + p. Is y a prime number?
False
Let o be (-5)/(10/(-4)) - -2. Let r = 2 - -4. Suppose 4*h - 380 = -o*j, r*h = -2*j + h + 184. Is j a prime number?
True
Let b be 2/6*(4 - -2). Let k be b + (1 - (-17 - -3)). Suppose -182 = -3*p - k. Is p prime?
False
Suppose 4*h - 4*k + 5*k = 113, 0 = -h - 4*k + 32. Let j be h/(-6)*-18*12. Suppose -5*w - 5*o + 32 = -j, -5*o = -3*w + 648. Is w composite?
False
Let d(n) be the second derivative of n**3/3 + 7*n**2/2 - n. Let w be d(-5). Is 19*(-3)/9*w composite?
False
Let x be 4/14 - (-94)/14. Suppose -2*f - x - 19 = 0. Let a = 23 + f. Is a composite?
True
Let p(g) = g**2 + 11*g - 2. Let w be p(-8). Let b be (-82)/w - (-2)/(-13). Is ((-131)/3)/((-1)/b) prime?
True
Suppose -x - 1 = 5. Let s(q) = q. Let v be s(x). Is (38/v + 2)*-9 a composite number?
True
Suppose 3*o + 1436 + 529 = 4*s, -4*s + o + 1959 = 0. Suppose 776 = 5*x - s. Is x a prime number?
False
Suppose 0 = 4*n + 5*m - 64, -m = 1 + 3. Is n a composite number?
True
Suppose -5*y - 4*s = -2773, 5*s - 952 = -2*y + 164. Is y a prime number?
False
Is 1/(3/(-147)*-1) a composite number?
True
Let i = -1816 - -2793. Is i a composite number?
False
Let y(x) = 77*x**2 + 6*x - 5. Is y(-6) prime?
True
Let m be 3/2*(-88)/(-33). Suppose -m*w = -294 - 470. Is w a composite number?
False
Is 1258 - (3 + 5/(15/(-12))) prime?
True
Is 41866/66 + (-2)/(-3) composite?
True
Let n(y) = y**2 - 7*y + 9. Let s be n(6). Let a be 1 + (-1 - 2)/s. Suppose o + a*o - 143 = 0. Is o a composite number?
True
Suppose r - 5*r - d + 2687 = 0, -2*r + d = -1339. Suppose -7*t + 650 = -2*t - 5*p, -2*p = 5*t - r. Is t prime?
False
Suppose -d - 12 = -2*q + 13, 0 = -2*q + 5*d + 29. Suppose 5*j - q = 3*j - 4*u, -u = -5*j + 8. Suppose -6*z = -j*z - 84. Is z composite?
True
Suppose 0 = -y + 4*y - 4*m + 13, y - 3*m + 11 = 0. Let a(b) = 147*b + 2. Is a(y) a prime number?
True
Let r be 1/(((-6)/(-2))/(-2283)). Let w = -342 - r. Is w a prime number?
True
Suppose 0 = 4*s - 1 + 45. Let c = s + 16. Suppose 3*b + 114 = c*l + 2*b, l = -b + 24. Is l a prime number?
True
Suppose -r + 8 = r. Suppose 1 = -r*k - 23. Is 5/k*-22*3 a prime number?
False
Suppose 4*l = -2*y + 20 - 0, -3*y = l - 5. Suppose 5*h - 1545 = 2*i, 6*h + l*i - 1203 = 2*h. Is h composite?
False
Is (-8)/20 + 10641/45*3 a composite number?
False
Let z(t) = t**3 + 10*t**2 + 8*t - 9. Let u be z(-9). Is u - -1 - (-15 - 5) a composite number?
True
Let r be 5/10 - (-3)/2. Let h(c) = 3*c. Is h(r) a composite number?
True
Let c(o) = 2 + 2*o - o + 3*o. Let u(q) = -1. Let k(a) = -2*c(a) - 2*u(a). Is k(-6) a composite number?
True
Let i(o) = 1079*o**2 + 3*o - 3. Is i(2) composite?
True
Suppose -w + 3*j = -19, 2*w + 5*j - 38 = j. Is w a composite number?
False
Suppose -2*d + 4*l - 387 = 87, -482 = 2*d - 2*l. Let b = 406 + d. Is b prime?
False
Suppose -3*a - 3*k - 78 + 18 = 0, -a + 2*k = 23. Is 9/6*(1 - a) composite?
True
Suppose -4*f + 3972 = 4*x, -2*x = 2*f + 3*f - 1974. Is x prime?
True
Let n(l) = -l**3 + 7*l**2 + 2*l + 9. Let y(v) = 7*v**2. Let w be y(-1). Is n(w) a prime number?
True
Let a(z) = 66 - 7 + 50 + z**3. Let d be a(0). Let h = d - 20. Is h prime?
True
Let u be 117 - 1 - 27/9. Is u*(-2)/(-6)*3 a prime number?
True
Let h(d) = 4*d**2 + 2*d - 5. Let w(s) = 5*s**2 + 3*s - 6. Let c(i) = 6*h(i) - 5*w(i). Let r be c(-8). Let u = 61 + r. Is u a composite number?
True
Let o(x) = x + 1. Let m be o(2). Suppose -50 = -m*j - 8. Let w = -3 + j. Is w a prime number?
True
Let o be (-3501)/(-12) - (-2)/8. Let i = 551 - o. Is i a composite number?
True
Suppose -3*n + 83 + 1 = 0. Let f = n + -6. Is f composite?
True
Let v(f) be the first derivative of f**3 - f**2 + 11*f + 1. Is v(-12) prime?
True
Suppose 3*p - g = p, 4*g - 16 = 0. Suppose 2*r = -2*l - 26, -4*r + p*r + 5*l = 5. Is 8/(-20) + (-934)/r a prime number?
False
Let j(x) = 2