t + 10. Is (4 + t)/((-4)/(-46)) a composite number?
True
Is (-17962)/(-8) + (-1)/4 composite?
True
Let n(o) = -2*o**3 - 13*o**2 + 4*o + 4. Is n(-9) composite?
False
Suppose 1289 - 3947 = -6*w. Is w prime?
True
Let k(j) = 38*j - 15. Is k(7) a composite number?
False
Let p(b) be the first derivative of 25*b**3/3 - 2*b**2 + 4*b - 2. Is p(3) prime?
False
Let t(d) be the second derivative of 0 - 3/2*d**2 + 10/3*d**3 - 2*d. Is t(4) prime?
False
Suppose 116 = -4*d - 4*a, 0 = -4*d + 2*a + 2*a - 76. Let j = -3 - d. Is j a prime number?
False
Suppose -2006 - 76 = -6*d. Is d a prime number?
True
Suppose -38 = 3*y - 377. Is y prime?
True
Is (-1916958)/(-232) - (-2)/8*1 a composite number?
False
Let b(q) = 204*q - 1. Let k = 3 - 0. Let y be -2*((-15)/(-6) - k). Is b(y) composite?
True
Suppose -6*i + 291 = -3*i. Is i composite?
False
Let y(p) = -281*p - 48. Is y(-11) composite?
True
Let s(g) = -8*g**2 - g - 1. Let v be s(-1). Let c(f) = -3*f - 1. Is c(v) prime?
True
Let f(b) = -b**2 + 5*b + 2. Let z(d) = 4*d**2 - 15*d - 7. Let x(m) = 8*f(m) + 3*z(m). Is x(-4) a prime number?
True
Let p(i) = 87*i**2 - 4*i + 3. Is p(-10) composite?
True
Let z = -6 + 48. Suppose 233 = 5*w - z. Is w a prime number?
False
Let k = -135 + 388. Is k a composite number?
True
Let s be (-162)/(-30) - (-2)/(-5). Suppose 206 = s*t - 429. Is t prime?
True
Suppose 3*r - 3113 = -2*c, 5*c - 7*c - 4 = 0. Is r prime?
True
Suppose -4*r = -21 + 5. Let m(i) = i**3 - 6*i**2 - i + 6. Let h be m(6). Suppose h*w - 40 = -r*w. Is w a composite number?
True
Let u be (27/(-12))/(6/(-16)). Is 0 - -2 - (-186)/u a composite number?
True
Let y(x) = -4*x**2 + x + 2. Let s be y(2). Let u be (-44)/s - 2/(-6). Suppose -66 = v - u*v. Is v composite?
True
Let r(k) = -9*k**3 - 3*k**2 + 2*k + 1. Is r(-3) composite?
False
Is (-66)/(-6)*(-1 - -20) a prime number?
False
Suppose 2*l - 29 = 117. Let v = -277 + l. Let n = -117 - v. Is n composite?
True
Suppose 6 = -2*a, 4*a + 16 = 4*n - 16. Suppose -47 = -n*i + 368. Is i a composite number?
False
Let o(a) = -6*a**3 + 5*a**2 - 4*a + 3. Let m be o(3). Is (-14)/(-21)*m/(-4) prime?
False
Let q be (0 + -4)*(-4)/8. Suppose q*a - 6 = 412. Is a prime?
False
Let h be 4/(-18) - (-10)/45. Suppose 0 = -3*f + 9, -149 - 983 = -2*m + 2*f. Suppose 5*t - m = 4*a, -3*t + 337 = 2*a - h*a. Is t a prime number?
True
Suppose -3*q = -2*q + 1. Suppose 5*s + 11 - 31 = 0. Is (-14)/s*(q + -1) composite?
False
Suppose -618 = -2*i + 4*l - 8*l, 5*i - 2*l - 1593 = 0. Is i a prime number?
True
Suppose 6*f - f - 20 = 0. Is -2*2 + 104/f a prime number?
False
Let w(s) be the first derivative of s**3 - 13*s**2/2 + 9*s - 1. Suppose -4*l = -4 - 28. Is w(l) a prime number?
True
Let r(m) = 2*m - 12. Let z be r(7). Suppose z*t = -v + 188 + 179, 0 = -4*v - 4*t + 1488. Is v a composite number?
True
Suppose 4*h + 2231 = 447. Is (0 + h)*2/(-4) composite?
False
Suppose b = 60 + 647. Is b prime?
False
Suppose 8*b = 9*b - 119. Is b composite?
True
Let o(w) = 14*w**2 - w - 2. Let v(g) = -g + 1. Let d be v(4). Is o(d) prime?
True
Let k be (3 + -2 + 0)*1. Let t be k - -1 - 1 - -2. Suppose 2*u = -t*m - 0*u + 22, 12 = 2*m + 2*u. Is m a composite number?
True
Suppose 2*a = 5*a. Suppose -159 = -a*h - 3*h. Is h composite?
False
Suppose -294 = -3*n - 15. Suppose -4*g + 449 = n. Is g a composite number?
False
Suppose s - 6*s = 4*r + 212, 0 = 3*r - 3*s + 159. Let y = 87 + r. Is y prime?
False
Let j(x) = -2*x - 4. Let h be j(-3). Suppose k + 8 = -h. Is (-1*3)/(5/k) composite?
True
Suppose 2*r = -2*r - 88. Let s be (-106)/r + (-4)/(-22). Suppose 0*a - s = -5*a, 41 = 4*t - 3*a. Is t a prime number?
True
Suppose 5*l + 1910 = -0*l. Let v = l - -593. Is v a prime number?
True
Let i(l) = -l - 4. Let b be i(-7). Suppose -1247 = -b*n + 10. Is n a prime number?
True
Let y(n) = -86*n + 5. Suppose -3*a = -a + 10. Let j be y(a). Suppose 0 = -0*p - 5*p + j. Is p a prime number?
False
Let k be 3 + (1101*-1)/(-3). Suppose 0 = 2*i - 0*i - k. Is i a prime number?
False
Let b(r) = -53*r + 8. Let m(l) be the second derivative of 35*l**3/6 - 5*l**2/2 - 3*l. Let d(a) = 5*b(a) + 8*m(a). Is d(1) a prime number?
False
Let r be ((-2)/(-4))/(3/24). Suppose -2*z = 0, -2*z = -j - r*z + 221. Is j composite?
True
Suppose -4*m + 6*q - 3*q + 7604 = 0, 4*m + 3*q = 7604. Is m composite?
False
Suppose 4*r + 3*m - 47 = 0, 2*r - r + 5*m = 33. Let b(p) = 0*p + 5*p - 11*p**3 - 8*p**2 + 11 + 12*p**3. Is b(r) a composite number?
True
Let w(m) = 5*m**3 + 5*m**2 + 10*m - 43. Is w(6) a prime number?
True
Is (-2)/(-7) + (-8741)/(-7) composite?
False
Let y(g) = -22*g**3 + 4*g**2 - 3*g - 6. Is y(-3) a composite number?
True
Let m be (-2)/8 + (-3036)/16. Let o = m + 304. Suppose -3*x + 24 = -o. Is x a prime number?
False
Is 1108/14 + (-5)/35 composite?
False
Let z(p) = -4*p**2 - 4*p**2 + 9 + 2*p - p**3 - 4*p. Let j = -19 + 11. Is z(j) prime?
False
Let g = -803 + 1212. Is g composite?
False
Suppose 0 = 85*w - 87*w + 318. Is w a composite number?
True
Is 10 + 78 + (3 - 2) a composite number?
False
Let f = 189 - 62. Is f a composite number?
False
Suppose -7 = 3*x - 4. Let p be 5/((-10)/8)*x. Suppose 0 = p*i - 5*s - 191, 0 = 2*i - 5*s + 2*s - 95. Is i composite?
True
Suppose 1267 = 2*t - 87. Is t a prime number?
True
Let l = 115 - -222. Is l a composite number?
False
Suppose -5*m + 1257 = 2*n, 3*m = -5*n - 175 + 933. Is m composite?
False
Suppose -o = 4*q - 19, -3*o = -2*q + o - 4. Suppose 260 = 5*v - k, -3*v = -q*k - 89 - 67. Suppose 0 = s - 4*z - 101, 5*z = s - 47 - v. Is s a prime number?
True
Let k = 3 + 0. Is ((-124)/(-6))/(2/k) a prime number?
True
Let z = -8 + -28. Let x = -22 - z. Is x a prime number?
False
Let d(c) = 341*c + 3. Is d(4) prime?
True
Is (12/(-21))/(4/(-14)) + 369 a composite number?
True
Let y be (-6)/(3/(-18)*1). Suppose 0 = 4*k + k - 2*v - y, -3*k = 5*v - 34. Suppose 212 = -4*r + k*r. Is r a prime number?
True
Let c(k) = -2*k**2 + 8*k. Let o(w) = -w - 1. Let z(n) = -5*n - 5. Let a(j) = 11*o(j) - 2*z(j). Let h(u) = -5*a(u) - c(u). Is h(4) prime?
False
Let j(r) = -2*r + 15 + 6 + r. Suppose 4*u + 3*b - 15 = 8*b, -5*b = -25. Is j(u) a prime number?
True
Let f = 34 - 15. Suppose 0 = -5*o + 146 + 44. Let k = o - f. Is k prime?
True
Is 56 + (-8)/(-12)*3 a prime number?
False
Suppose 3*d + 0*d = -18. Let z = d + 9. Suppose -m + 5*k = -3*m + 549, 1450 = 5*m - z*k. Is m a prime number?
False
Let h(v) = -119*v**3 - 4*v**2 + 17*v - 5. Let t(m) = -30*m**3 - m**2 + 4*m - 1. Let d(n) = -2*h(n) + 9*t(n). Is d(-2) prime?
False
Suppose 3*i + 18 = -n - 2*n, -22 = 5*n + 3*i. Let w(f) = 3*f**2 - 2*f - 1. Is w(n) a prime number?
False
Let a(q) = 2*q**2 + q. Let h be a(1). Suppose b - 268 = -h*b. Is b prime?
True
Let t = 41 + 224. Is t a composite number?
True
Suppose 0*k + 144 = 2*k. Let a = -51 + k. Is a prime?
False
Let a(s) = -s**3 + 4*s**2 + s + 1. Let t be a(4). Let u = 38 + t. Is u prime?
True
Let n(r) = 7*r + 3. Let u be n(5). Let p = u - -5. Suppose -k = -54 - p. Is k a prime number?
True
Is (-1 + 2)*1986/6 a prime number?
True
Let k(j) = -j**3 + j + 3. Let v be k(5). Let l = v - -184. Is l a composite number?
False
Let c(h) = h**2 + 7*h + 6. Let q be c(-4). Let w(n) = -5*n - 7. Is w(q) a composite number?
False
Let v(s) = 6*s**2 - s - 5. Let o = -2 + -3. Let h(r) = r**2 + r + 1. Let i(z) = o*h(z) + v(z). Is i(8) a prime number?
False
Let u be 6442 + 1 + (3 - 4). Suppose 0*w - 6 = 3*w. Is w/(-11) + u/22 composite?
False
Suppose 5*v = 9*v - 2348. Is v a prime number?
True
Let o(t) = 10*t**3 - 2*t**2 + 4*t - 2. Let m be o(3). Suppose 6*a - 4*a = m. Is a a prime number?
True
Let j(q) = q**3 + 7*q**2 - 2*q - 1. Let u be j(-5). Suppose u = 4*m - 297. Is m prime?
True
Suppose 58 = o + 3*w, -2*o + 2*w = -2*w - 146. Is o composite?
False
Let c(b) = 7*b**2 - b + 3*b - b**3 - 3*b + 9. Let y be c(7). Let z(t) = 3*t**2 - 2. Is z(y) a prime number?
False
Let z(y) = 3*y + 1. Let f be ((-3)/(-6) - 1)*-10. Suppose f*o - g = g + 6, o + 6 = 4*g. Is z(o) prime?
True
Let m(u) = 18*u**2 + 4*u + 1. Let j be m(-3). Is j + -3*8/12 a composite number?
False
Suppose 7 = 2*h - 1. Suppose 0 = h*o - 4*t - 464, -2*o + 0*o + 224 = -4*t. Let l = o + -61. Is l prime?
True
Let r(g) = -3 + 6*g - 14*g + 0 + 8*g**2 + g**3. Let b be r(-8). Suppose -f = -b - 22. Is f a prime number?
True
Let v(h) = 15*h