5*x = 3*r - 1655. Is r prime?
False
Let p = -589 + 882. Is p a prime number?
True
Let u = -230 + 387. Is u prime?
True
Suppose -3*w - 1269 = -5*o - 7*w, -3*w = 2*o - 509. Is o a composite number?
True
Let q be (-6 + 2)*1/(-1). Suppose -5*p + 4*a = -50, -a = q*a + 25. Is p a composite number?
True
Let g(n) be the first derivative of -n**4/8 - 5*n**3/6 + n**2/2 - 2. Let z(u) be the second derivative of g(u). Is z(-4) a composite number?
False
Suppose 2*c + 2*c - 796 = 0. Is c a composite number?
False
Let l be (-4)/((5/2)/(-5)). Suppose -l*x = -3*x - 635. Is x prime?
True
Suppose -4*q - 5 + 21 = 0. Suppose 16 + 4 = q*f. Let y(h) = h**3 - 7*h - 1. Is y(f) a composite number?
False
Is 2 + -1 + -3 + 253 composite?
False
Let k be (-4 - -1)/(-1)*1. Suppose -a = -2, -k*a = -4*h - a - 40. Is (-195)/h + 2/(-3) a prime number?
False
Suppose 2*j + 3*j - 290 = 0. Suppose 46 = 2*z - i, 2*z + j = 4*z + 2*i. Is z composite?
True
Suppose -u - 6 = 2*h, -4*u - 3*h = -0*u + 9. Suppose u = -4*p + 3*p + 5. Suppose -99 = -p*l - 0*l + b, 2*l = -4*b + 22. Is l a prime number?
True
Let l(q) = -q**2 - 14*q - 10. Is l(-12) composite?
True
Let v(k) = -6*k**3 + 3*k**2 + 2*k - 1. Let c be v(-2). Let m(f) = f**3 + 5*f**2 + 2*f - 3. Let r be m(-4). Suppose -r*i = c - 290. Is i prime?
True
Let n(z) = -211*z**2 - 4*z + 1. Let x be n(-3). Let s = -1089 - x. Is s a composite number?
False
Let q = -3 + 1. Let v = -12 + 11. Is v/(q + 63/33) composite?
False
Is -1*2348*8/(-32) a prime number?
True
Suppose 4*r + 2*b = 4, 3*r = 6*r + b - 4. Suppose -r*h + 158 = -0*h. Is h a composite number?
False
Let g be ((-3)/2)/((-3)/(-606)). Let c = 430 + g. Suppose 2*f = 31 + c. Is f prime?
True
Is (-2 - 0/2) + 171 composite?
True
Let b = 446 - 178. Suppose -5*v = 3*k - 4*v - 197, -4*k + b = 4*v. Is k composite?
True
Let l = 2 - 1. Let j be -9*l*1/(-3). Is 58 + 1 + 0/j prime?
True
Let t(f) = -13*f - 16. Let u(r) = r + 1. Let g(i) = t(i) + 5*u(i). Is g(-8) prime?
True
Let f = 453 - 322. Is f a prime number?
True
Let j be 1/(-1) + (4 - 1). Let q be (-1 - j)*3*-1. Let v = q + 14. Is v composite?
False
Let t = -348 - -2401. Is t composite?
False
Is (9 + -7)/(4/2794) composite?
True
Let l be 4/(-26) + (-5438)/(-26). Suppose 3*x - l = q + 38, 5*x = 2*q + 411. Is x composite?
False
Let y(g) be the second derivative of 19*g**4/4 + g**3/2 + g**2/2 - 2*g. Is y(-2) prime?
True
Let z = -17 - -89. Is (-2)/(-9) + 24392/z prime?
False
Let a(b) = 22*b**3 + 2*b**2 + 2*b - 3. Suppose 5*j = -5*y + 15, -3*j = -2*j - y - 1. Let t be a(j). Suppose -t = -g - 4*g. Is g a prime number?
True
Suppose -25 = -5*v + 5. Let l be 0*(v/4 + -2). Suppose -3*f = -l*f - 39. Is f a composite number?
False
Let k(l) be the third derivative of -l**6/120 + l**5/15 + l**4/24 - 5*l**3/6 - l**2. Let z be k(4). Is (0 - z)*(-7)/(-1) a prime number?
True
Let q(y) = 2*y**2 - 2*y - 8. Let l be q(7). Suppose -l = 2*r - 28. Let z = r - -43. Is z prime?
True
Is (8806/28)/(1/2) a composite number?
True
Let r = 8 - -666. Suppose l + l = r. Is l a composite number?
False
Suppose 0 = -2*h + 1 + 5. Let a = 6 - h. Suppose 5*f = -5*n + 445, a*f - 5*n = -2*n + 255. Is f a composite number?
True
Let v be (-744)/(-3) - (-3 - 0). Suppose -m + v = -0*m. Is m a prime number?
True
Suppose -o - 7 = -3*f, 3*f = -o + 3*o + 5. Suppose 0 = f*s - 202 + 37. Is s prime?
False
Suppose -3*t - 198 = -3*n - 0*t, 5*n = 4*t + 331. Is n composite?
False
Suppose 0 = -2*l + 203 + 179. Is l composite?
False
Let a(h) = 2*h - 7. Let c be a(5). Suppose c*f + 2*j = 5, 5*j + 5 = -20. Is 966/10 - (-2)/f composite?
False
Let s(b) = b**2 - 2*b - 4. Let z be s(4). Suppose -4*j = -w - 6*j + 246, -z*w - 4*j + 964 = 0. Suppose -2*o = 2*o - w. Is o composite?
False
Let f(h) = -6*h**3 - 2*h**2 + 1. Let u be f(-1). Suppose -5*t + u*n + 30 = 0, t - 4*n - 12 = -n. Suppose 4*m - 536 = -t*s, 3*m + 2*m = -4*s + 671. Is m prime?
True
Suppose 0*g + 30 = 5*g. Suppose -g*z + 4*z + 238 = 0. Is z a composite number?
True
Suppose 2*w - 3*w = -215. Suppose 311 = -5*q - 339. Let z = q + w. Is z a prime number?
False
Suppose -h + 789 = s, 2*h - 3*s + 1582 = 4*h. Is h composite?
True
Suppose 0 = -3*m + 4*h, -5*h + 2*h - 11 = -5*m. Let t = m + 1. Suppose t*r - 3*r + 4*o - 10 = 0, 0 = 2*r + o - 25. Is r prime?
False
Let r = 1 - 1. Suppose -2*p - 4 = -r*p. Is (-31)/(2/4*p) a prime number?
True
Let k = 8 - -104. Let r be ((-12)/10)/((-6)/20) + 0. Suppose 184 = r*w - 4*v + 48, 4*v = -4*w + k. Is w prime?
True
Suppose -q + 31 + 151 = s, 3 = -3*q. Suppose -s = -3*d + 2*d. Is d composite?
True
Let z be 2*(-1 - (-141)/2). Let k = 210 - z. Is k a composite number?
False
Is -10*7/(42/(-9)) a prime number?
False
Is (3548/(-6))/((-32)/48) composite?
False
Is (2 + 2274/30)/((-1)/(-5)) a composite number?
False
Let o = -375 - -170. Let f = o + 350. Is f prime?
False
Let h(s) = s - 3. Let a be h(5). Let n(c) = -c**2 - 9*c - 4. Let p be n(-8). Suppose -a*j + p*j = 26. Is j a composite number?
False
Suppose 6 = -n + 3*f + 2, f - 12 = -5*n. Suppose 2*r + n*r = -4*s - 4, r + 17 = 3*s. Is s prime?
False
Let z(c) = 72*c + 1. Let x(i) = 2*i - 2. Let w be x(2). Is z(w) a composite number?
True
Let q = 20 - 5. Is q composite?
True
Let b(k) = k - 2. Let d be b(4). Is (1 - d)*(-11 - -1) a composite number?
True
Let l(j) = 3*j**2 - 5*j + 3 + j**3 - 3*j**2 - 4*j**2. Let d be l(5). Is (38/d)/((-4)/(-6)) prime?
True
Let g(j) = -2*j + 2. Let p be g(3). Is 1/p - (-285)/4 composite?
False
Suppose -4*p + 4 = -3*q, -3*p + p = -2*q. Suppose 0 = 2*n + h + p*h - 27, -24 = -5*n + 2*h. Is n prime?
False
Suppose -4 = -2*a, -c - 5*a - 26 = 2*c. Is ((-632)/c)/((-2)/(-3)) a composite number?
False
Let q = 6 + -5. Let g = q - 1. Is (-38)/(g - -2)*-1 prime?
True
Let h(s) = 7*s**3 + 2*s - 1. Let t be h(1). Suppose 0 = 2*d + 3*b + t, -6*d - 7 = -3*d + 2*b. Let i = d - -7. Is i a composite number?
True
Let u = -689 - -1079. Suppose u = -7*f + 2*f. Let o = f - -173. Is o prime?
False
Let y = 1985 + -976. Is y a prime number?
True
Let f = 677 - -172. Is f prime?
False
Let z(l) = -18*l**2 - 5*l - 2. Let d(y) = -1 + 1 + 3 + 24*y**2 + 3*y**2 + 8*y. Let q(j) = -5*d(j) - 8*z(j). Is q(-3) a composite number?
True
Let h = 2 - 0. Let p be (-1*h - -1)*-4. Suppose 0 = -p*o + 42 + 98. Is o composite?
True
Is (68/5)/(2 - (-16)/(-10)) a prime number?
False
Let g = 437 - -416. Is g a prime number?
True
Let p(k) = k - 1. Let i(o) = o**2 + 8*o - 3. Let v(b) = i(b) - 5*p(b). Let d be v(-4). Is (-1 - (-21)/d)*4 a prime number?
False
Suppose -124 = -2*v - 2*v. Suppose -4*k + 35 = -a, 0*k - 3*k - 4*a = -v. Is k composite?
True
Let a be 1694/12 - 2/12. Let h be 3*(618/9 + -2). Let v = h - a. Is v prime?
True
Let b(s) = 344*s**2 - 3*s + 3. Let x be b(4). Suppose -o = -6*o + x. Is o prime?
False
Is ((-1397)/2)/(2/(-4)) prime?
False
Suppose -4*v - 214 = -2*v. Let g(k) = -k**2 - 2*k + 4. Let c be g(8). Let x = c - v. Is x composite?
False
Suppose 3*m + 78 = m. Let g = -13 - -8. Let r = g - m. Is r composite?
True
Let v(a) = 2*a**2 + 9*a - 7. Let l be v(-12). Suppose -5*z - 387 = -h, 2*z + 0*h + 162 = -2*h. Let x = z + l. Is x a prime number?
False
Let z(u) be the first derivative of u**3 - 5*u**2/2 - 9*u - 7. Is z(6) prime?
False
Let p be -3*(-1)/3 + -1. Suppose -3*i + 2*i - 69 = p. Is i/(-2) - (-2)/4 composite?
True
Let x(t) = t + 7. Let c be x(-5). Suppose -1 = 3*b - c*k + 5, 4*k = 2*b + 12. Suppose 3*n - s - 136 = 0, s = -b*n - 4*n + 193. Is n composite?
False
Let y = 7 - -11. Let s = y - 11. Is s composite?
False
Let b = 356 - 151. Suppose -2*t - 2 = 0, 3*k - 62 = 3*t + b. Let h = 125 - k. Is h a prime number?
True
Suppose 0 = -5*g + 2*g - 15, -3*g - 7 = 2*t. Suppose -3*o = 5*s - o - 587, t*o - 222 = -2*s. Is s a prime number?
False
Suppose 59 = -5*x + 319. Let w = x + 115. Is w a prime number?
True
Suppose -z - z = -148. Is z a composite number?
True
Let o be ((-36)/(-54))/(1/3). Suppose 4*c + r = -2*r + 575, -o*c - 5*r + 277 = 0. Is c a prime number?
False
Suppose 5*n + 5*x + 2 = 3*n, 0 = 2*n - 5*x + 22. Let r be 2*((-129)/n - -2). Is r/(0/(-1) - -1) a composite number?
False
Suppose -5*g + 1776 = -g. Suppose -426 = -3*z - i, -3*i = -3*z + 2*i + g. Is z a prime number?
False
Let q = -11 - -6. Let f(p) = -p**3 - 2*p**2 - 5*p - 7. Is f(q) a composite number?
True
Let z(m) = 3