posite?
False
Let y(v) = v**2 + 9*v - 2. Let t be y(-8). Suppose 2*s - 17 = 2*n - 57, -n = -5*s - 8. Let h = t + n. Is h composite?
False
Let t(q) = 2*q**2 - 3*q**2 - 2*q + 0*q + 3*q - 1. Let a(d) = d**3 - 8*d**2 + 4*d - 1. Let m(l) = a(l) - 4*t(l). Is m(4) a prime number?
True
Let g be -5*(-1)/((-1)/(-5)). Suppose p = 9 + g. Is p prime?
False
Let p be (-2)/(-6) - (-10)/6. Suppose -4*a - 2*w + w + 1021 = 0, -2*a + 509 = -w. Suppose 3*q - 2*d + 4*d = a, -4*d - 186 = -p*q. Is q a prime number?
False
Let p be 0 - 4/(4 + -2). Let u be -1 - (2 + -1 + p). Suppose n + 4 - 11 = u. Is n composite?
False
Let h(z) = 4*z + 7. Let w be h(7). Let r = w + -10. Is r prime?
False
Let x be 335/1 + (-4)/4. Is (-6)/15 - x/(-10) composite?
True
Let b = -100 - -431. Is b a prime number?
True
Let u(q) be the first derivative of 79*q**4/4 - q**3/3 + q**2 - q + 6. Is u(1) a prime number?
True
Let i = 717 - -2. Is i a composite number?
False
Is 7 - (8/4 - 2) a prime number?
True
Is 23 - (3 - 3)/1 a prime number?
True
Suppose i + 5 = 0, 5*s + i + 2*i - 790 = 0. Is s composite?
True
Let p = 1 - -4. Suppose 3*g = p*g. Is 1*(-148)/(-2) + g a composite number?
True
Let q(n) = 4*n**2 + 9*n + 7. Is q(-10) a composite number?
False
Suppose 5 = 5*m + 5*b, -5*m - 6 = -5*b - 1. Suppose m = 4*y + 2*p - 4, 4*y - 2*p = 14 + 6. Is y prime?
True
Let x(y) be the third derivative of 5/6*y**3 + 3/20*y**5 + 0 + y**2 + 1/120*y**6 + 0*y + 7/24*y**4. Is x(-8) a prime number?
True
Let x(m) = -11*m - 3. Suppose 4*d - 8 = -4*p, 7 = -5*p + 7*p - d. Suppose -5*b = 25, 3*q - p*b - 2*b = 19. Is x(q) prime?
True
Let v = 162 - -157. Is v a prime number?
False
Let f(w) = -w**3 - w**2 - w - 2. Let x be f(-2). Let d(p) = -3 - 2 - 2*p + x*p. Is d(8) a prime number?
True
Let v = -187 - -279. Suppose 38 = 2*q + 5*d - 4*d, 2*d + v = 4*q. Suppose 2*g + g = q. Is g composite?
False
Let i(q) = 67*q - 19. Is i(8) a composite number?
True
Let i(k) = 2*k**3 - 2*k**2 - 2*k + 1. Let j(x) = 2*x**2 + 1. Let b be j(-1). Is i(b) a composite number?
False
Let r(a) = -12*a - 4. Let s(o) = 35*o + 11. Let c(d) = -35*d - 11. Let z(y) = 4*c(y) + 5*s(y). Let f(m) = -8*r(m) - 3*z(m). Is f(-4) prime?
False
Suppose 4*v = 6*v - 1082. Is v composite?
False
Let k(d) = -27*d + 1. Let v be k(-13). Suppose 0 = 2*w - 0*w - 2*m - 744, -w + 5*m = -v. Is w a prime number?
False
Suppose -w = -2*y + 5*y - 5, 4*w - 5*y + 14 = 0. Is (0 + 0 + w)*-22 composite?
True
Let s(a) = a**2 - 9*a - 13. Let w be s(10). Let c(h) = -7*h**3 - 4*h**2 - 2*h + 2. Is c(w) composite?
True
Suppose -3*k - 21 = -5*p, -4*k + 3*p - 1 = -8*k. Is (-109)/k + 3/(-2) prime?
True
Is (-1*(-1193)/(-4))/((-2)/8) composite?
False
Let k(j) = 49*j - 1. Is k(6) composite?
False
Suppose 2*q - 7*q + 20 = 0. Is (18/q)/(-9)*-382 a prime number?
True
Let c(a) = 9*a + 4. Let m be c(-2). Let u = 27 + m. Is u a composite number?
False
Is (-1*10)/(-5) - -489 composite?
False
Is 8/24 - 3164/(-3) composite?
True
Let w = 57 + -35. Suppose -v = 0, -w = -2*d - v + 40. Is d prime?
True
Let t(b) = 7*b**2 + 1. Let k be t(-1). Is ((-26)/k)/((-4)/112) a prime number?
False
Suppose 0 = 7*k - 5*k - 6. Suppose -15 = -k*i + 96. Is i composite?
False
Suppose 0 = 4*x - 2*x + o - 99, -5*x + 3*o = -242. Is x prime?
False
Let j be (0 + 0 + 0)/2. Suppose 0 = 5*b + 2*u - 7 - 3, j = -b + 5*u - 25. Suppose 2*n = -b*n + 238. Is n a prime number?
False
Let k be 2 + -1 - 55*-1. Suppose -3*x = -k - 103. Is x prime?
True
Suppose 4*c + 4*r + 44 = 0, -3*r = 3*c - 6*r + 57. Suppose -4*j = -0*j - 3*m - 148, -3*m = -2*j + 74. Let i = j + c. Is i composite?
True
Let h(d) = 94*d + 1. Suppose -2*v = -4*t - 2 + 4, 5*t - 2 = 3*v. Let w be 0/(-1) + 1/v. Is h(w) a prime number?
False
Suppose 2*f = -3*f + 50. Let b = -38 + 36. Is f*(2 - 1/b) composite?
True
Let g = 1 - 1. Let l(d) = d**2 + 2. Let a be l(g). Suppose 0 = -a*f + 7*f - 95. Is f composite?
False
Suppose -5*t = -g + 1018, 0*g + 4*g - 196 = t. Is ((-2)/1)/(8/t) prime?
False
Let m(j) = -j + 1. Let k be m(4). Let q be k/(-1 - 2)*-213. Let x = q + 392. Is x prime?
True
Let s(i) be the third derivative of -i**6/120 - i**5/60 + 7*i**3/6 - i**2. Is s(0) composite?
False
Suppose j - 2*o - 199 = 0, -j + 200 = -4*o - 7. Is j prime?
True
Let b = -416 - -593. Is b prime?
False
Let k(d) = 21*d**2 - d - 25. Is k(-6) composite?
True
Let o(a) = 14*a - 4. Let p be o(4). Let x = p - -1. Is x a composite number?
False
Let n = 22 + -10. Is (-1 + -1)/(n/(-90)) prime?
False
Let d = 15 - 11. Suppose -436 = -d*y + 48. Is y a prime number?
False
Let q(z) = z + 3. Let n be 0/(-2 + (-3)/3). Let g be q(n). Is (154/8)/(g/12) a prime number?
False
Suppose 3*w - 35 = -l - 2*w, 5*l - 91 = 3*w. Suppose -5*k + l + 25 = 5*u, 0 = -2*k + 4*u - 12. Suppose -m = k*m - 775. Is m prime?
False
Let v(u) be the third derivative of -u**6/120 - u**5/20 + 5*u**4/24 - 2*u**3/3 - u**2. Is v(-7) a composite number?
False
Let p(u) = -33*u - 5. Suppose 40 = -3*d + 5*a, 5*d + 2*a = 5*a - 40. Let t be p(d). Suppose 5*v - 210 = -6*b + b, 5*v - t = 5*b. Is v a composite number?
False
Let o = -3 - -7. Suppose -l = o*l - 185. Is l composite?
False
Let a(w) = w**2 + 6*w - 1. Let l be a(-7). Let q be 2*(9/l - 2). Let j(k) = 34*k**2 - 2*k - 1. Is j(q) a prime number?
False
Let r(m) = -m + 14. Let i be r(8). Suppose -i = -3*z + 3*d, -3*z + 5*d = -5*z + 18. Suppose -5*w + z*q = q - 722, -438 = -3*w - 3*q. Is w composite?
True
Let t(c) = 4*c**2 + 4*c - 5. Is t(-4) a composite number?
False
Suppose 0 = 5*y - 224 - 381. Is y a composite number?
True
Let y = -16 + 235. Is y composite?
True
Let j(s) = 13*s - 8. Is j(7) a prime number?
True
Let c(n) = 21*n**2 - n + 3. Is c(4) a prime number?
False
Let x be 7 - 33 - (-1 + -3). Let g be (-1 - -42) + (2 - 2). Let j = x + g. Is j prime?
True
Let p(f) = -42*f**3 + 3*f**2 + 3*f + 3. Let m be p(-2). Suppose 5*w + 0*w = m. Is w prime?
False
Suppose 0 = -5*o + 26 - 6. Suppose 0*s = 2*v - 5*s + 2, o*v = -s + 40. Is 3/v - (-1032)/9 composite?
True
Let v = 3079 - 122. Is v prime?
True
Let w = -6 - -6. Suppose w = -2*c - y - y + 64, -4*c + y = -153. Is c a prime number?
True
Let w = 6 - -25. Suppose -5*b + 4*m + 54 = -53, -b + w = -4*m. Is b a prime number?
True
Is 0 + (-573)/(-6)*22 composite?
True
Let b(q) = -2*q + 1. Suppose 4*r + 8 = 2*r. Is b(r) a prime number?
False
Suppose 616 - 3377 = -11*o. Is o a prime number?
True
Suppose 4*q - 7906 = -4*v + 6526, 3*v + 10854 = 3*q. Is q a prime number?
True
Let m(y) = y**2 - 2*y + 1. Let w be m(5). Let z = -11 + w. Suppose -i = 4*b + z, b + b - 22 = -4*i. Is i composite?
False
Suppose -5*o + 0*w + 2*w = -30, 0 = -3*o - 5*w - 13. Suppose -5*z + 294 = -v, 0 = -0*z + z + o*v - 42. Is z a prime number?
False
Let d = -1793 + 2944. Is d a composite number?
False
Let p(m) = m**2 + 6*m - 2. Let t be p(-6). Let g = -3 + 11. Is 2/g*t*-118 prime?
True
Suppose 108 = 4*m - 156. Let u = -98 - -67. Let h = u + m. Is h a prime number?
False
Let q(c) be the second derivative of 2*c**2 + 0 - 2*c + 1/6*c**3 - 1/3*c**4 - 3/20*c**5. Is q(-3) a prime number?
False
Suppose -7*d = -9*d + 138. Is d a composite number?
True
Let i = 579 - 173. Suppose -3*m + 2*c + 165 = -206, -3*m - 5*c + i = 0. Suppose -3*a + m + 38 = 0. Is a composite?
True
Suppose -4*m + 785 = m. Is m prime?
True
Suppose 0 = 2*q + 2*q. Suppose w + 4*r = 29, -w - 3*w - 2*r + 102 = q. Is w a composite number?
True
Suppose -3*u = -4*u + 117. Let q = 236 - u. Is q composite?
True
Let r be (36/30)/((-1)/(-5)). Is (805/21)/(2/r) a composite number?
True
Is (-788)/(-10) - 3/(-15) composite?
False
Is (-335)/((-4)/(-8) - 1) + 3 prime?
True
Suppose 5*w + 2*s = 167, -s - 1 = -4*w + 143. Is w a composite number?
True
Suppose -2*b - 352 = -6*b. Is (21/(-14))/((-6)/b) composite?
True
Let z be (-2)/(-7) + 66/14. Let t = 3 - -1. Is (t - -1)*3/z a prime number?
True
Let q = 8 + 15. Is q composite?
False
Suppose 6606 - 94962 = -12*g. Is g composite?
True
Suppose -2*i - 5*l + 1 = 6, -5*i + l = -28. Suppose 5*j - j = 12. Suppose 0 = -i*s + 19 - 4, -j*s - 826 = -5*h. Is h a prime number?
True
Let o = -11 - -1. Let q be ((-6)/o)/(1/5). Let t(p) = p**3 + 2*p**2 - 3*p - 2. Is t(q) a prime number?
False
Let d be (-105)/10*122/3. Is d/(-49) + 2/7 a composite number?
True
Suppose 3*n - 10 = 4*c + 1, 5 = -5*c - 5*n. Let g = c - -69.