 134*k. Let d be q(1). Is (-1)/(-1 - (-132)/d) a prime number?
True
Suppose 0 = -3*w + 2291 + 1054. Is w composite?
True
Suppose 0 = 2*t - 3*w - 7, -2*t - 2*w + 8 + 4 = 0. Let o = 6 - t. Is o/((-285)/143 - -2) a prime number?
False
Let z be -3 - (-2)/(6/15). Suppose -z*p + 75 = 1. Is p a prime number?
True
Let i = -1217 - -1906. Is i prime?
False
Let m(v) be the third derivative of v**6/120 - 5*v**3/6 + 4*v**2. Is m(6) a composite number?
False
Let f = -543 - -781. Suppose -u + f = u. Is u composite?
True
Let k(x) = x**2 + x + x**2 - 14*x - 19. Is k(14) prime?
True
Suppose 9*t = -0*t + 3123. Is t a prime number?
True
Is (-5785)/10*(-2 - 0) prime?
False
Suppose -2*m + 10*p - 5*p - 37 = 0, 3*p + 35 = -m. Let k = m - -38. Is ((-13)/(-3))/(2/k) a prime number?
False
Suppose -3*z + 27 = 4*t, 0 = -3*z + 4*z - 5. Let l(r) = r**3 + 8*r**2 - 11*r - 8. Let p be l(-9). Suppose -c + p + 97 = -3*w, 3*c = -t*w + 369. Is c prime?
False
Suppose -116 = 5*v + 2*b + 81, 3*v + b + 118 = 0. Let r = v - -78. Suppose -r = -u - 8. Is u a composite number?
False
Suppose 5*n + x = -52, 0 = -n - 6*x + 3*x - 16. Is 4/n - (-342)/30 prime?
True
Let a be 6/(-9) - 2/6. Is (a - 18)/((-7)/35) a prime number?
False
Let s(v) be the second derivative of 2/3*v**3 + 1/12*v**4 + 2*v**2 - 3/10*v**5 + 0 - v. Is s(-3) a composite number?
False
Let i(x) be the first derivative of -57*x**4/2 + x**3/3 - x**2/2 - x + 3. Is i(-1) a composite number?
True
Let m = 6 + -9. Let v(p) be the second derivative of -p**3 - 3*p**2/2 - p. Is v(m) prime?
False
Let a = 2753 + -1396. Is a composite?
True
Suppose 2*x = 5*x - 2256. Suppose 3*t - x = -r - 255, r = -2*t + 499. Is r a composite number?
False
Is (-154)/(-3) - (-1)/(-3) composite?
True
Let b be 79/(-9) - 2/9. Is (-277)/b + 8/36 prime?
True
Let q = -6 - -10. Suppose -59 - 73 = -q*c. Suppose 2*d - 7 = -5*t + c, -3*t - d = -25. Is t prime?
False
Let j = -144 + 87. Let m = j + 112. Is m a prime number?
False
Let r = 254 + -87. Is r prime?
True
Let v = 4303 - 3044. Is v prime?
True
Suppose 3*a + a = -156. Is (a/3)/(3 + -4) composite?
False
Let c(j) = 41*j - 22. Is c(15) a prime number?
True
Let w(s) = -s**3 + 5*s**2 - s - 5. Let m be 26/7 - 8/(-28). Let j be w(m). Suppose 4*f = -g + 7, 4*g - 6*f - j = -f. Is g a prime number?
True
Suppose -422 = -2*j - 0*j. Is j a composite number?
False
Is 406 + (-1 + -1)/(10/15) composite?
True
Let t = -5 + 10. Suppose t*d - 112 = 43. Is d composite?
False
Is (-59368)/(-14) + (-6)/(-14) prime?
True
Let z = -773 + 1162. Is z composite?
False
Suppose 0 = 5*p - 14 + 4. Suppose -6*g + p*g = -v, 4*v + g = 17. Is 1 + (-38)/(-2)*v composite?
True
Let u(b) be the first derivative of -b**4/4 + 5*b**3/3 + b**2/2 + 5*b + 2. Is u(-4) prime?
False
Let x = -3 + 9. Is ((-381)/(-6))/(3/x) a prime number?
True
Suppose 5*t + 4*g = -3, 7*t + 27 = 3*t + 5*g. Let b(a) = 7*a. Let w(s) = 7*s. Let h(l) = t*b(l) + 4*w(l). Is h(3) a composite number?
True
Let s(y) = 5*y**3 + y**2 - 2*y + 1. Let m be s(1). Let u = m + 178. Is 12/30 + u/5 a prime number?
True
Let v = -7 - -12. Suppose 2*i - 61 = -v*p, -95 = -3*i - 0*i - 4*p. Is i a prime number?
False
Let s be 486 + 6/(-3) + 1. Suppose -13*d + 18*d = s. Is d a composite number?
False
Let b(f) = 15*f + 36. Is b(19) composite?
True
Let f(q) = -q + 11. Let i be f(9). Suppose 5*t + 3*n - 77 = 0, -2 = -0*n + i*n. Suppose 2*m = -2*m - t, -3*z - m + 485 = 0. Is z a prime number?
True
Is (-34885)/(-30) - (-1)/(-1 + 7) composite?
False
Let l = 3 - 2. Is l*3*556/12 composite?
False
Let s(x) = x - 1. Let o(i) = -2*i + 1. Let n(g) = -2*o(g) - 3*s(g). Let d = 6 + -1. Is n(d) a prime number?
False
Suppose -7 = -5*y - 2. Is y + -1 - (-2 + -125) composite?
False
Let a be -1 + -28*(2 - -2). Let z = a + 274. Suppose -k - z = -2*k. Is k a prime number?
False
Let v = 25 - 18. Let f(w) = -2 - 8*w - 7 + w**3 + 2 - 5*w**2. Is f(v) composite?
True
Suppose 0 = -q + 3*l + 40, 0 = 2*q - 5*l - 68 - 11. Suppose -4*v + q = -v - 4*c, c = 2*v - 18. Is v a composite number?
False
Let i = 2113 + -582. Is i composite?
False
Let j(o) = -o**3 + 6*o**2 + 2. Let m be j(6). Suppose -m*p + 316 = 2*p. Is p a composite number?
False
Let f be (-1)/(-3)*9/1. Suppose -116 = 4*m + 3*w, -f*m - 3*w = 55 + 29. Let l = -19 - m. Is l prime?
True
Let f(d) = d + 22. Suppose y + 2 = -p, -p = 3*p + 5*y + 10. Let o = 0 - p. Is f(o) composite?
True
Let c be -213*3/(1*-9). Let d = -18 + c. Is d composite?
False
Let r(u) = u**3 + 7*u**2 + 3. Let x be r(-7). Suppose 2*z + 30 = x*n, -4*n - 3*z - 2*z = -40. Is n a composite number?
True
Is (-11)/4 - (-1)/(-4) - -100 a prime number?
True
Is (12/(-8))/((-6)/7028) prime?
False
Let d(r) = -r**2 + r + 21. Let f be ((-8)/(-10))/((-4)/(-10)). Suppose -3*x = f*x. Is d(x) a prime number?
False
Let p be -1*3/((-9)/4227). Suppose g = -3, -2*f = 4*g - 1035 - p. Suppose -o + f = 3*o. Is o a composite number?
False
Let a = -4 - -8. Suppose a = d + 13. Is (6/d)/((-2)/669) prime?
True
Suppose 5*n - 639 = 2*n. Is n prime?
False
Let d(q) = q - 2. Let s(g) = -g**2 - 1. Let z(j) = d(j) - 3*s(j). Suppose -2*c - v - 9 = 0, 3*c + 2*c + v + 15 = 0. Is z(c) prime?
True
Suppose 3*k - 14 = 10. Let v = 14 - k. Suppose j + 3*i = 53 - v, -149 = -3*j - 5*i. Is j a prime number?
True
Let p(k) = k**2 - 4*k + 6. Let l be p(3). Suppose -j = 2, 5*j = -l*q + q + 28. Is q a composite number?
False
Let y be (-1)/(-1*3/6). Is ((-14)/4)/(y/(-4)) composite?
False
Suppose -5*m - 5 = 0, 2*b - 9*m + 13*m = 10866. Is b a prime number?
False
Let f(u) = -4*u - 9. Let g be f(-5). Suppose 89 = 4*l - g. Is l a prime number?
False
Let c(f) = 191*f**2 - 5*f - 5. Is c(-2) a prime number?
True
Suppose -4051 = -k - 3*v - v, -2*k + v = -8084. Is k a prime number?
False
Let y be (-2)/(-3 - 2593/(-864)). Let d = -1205 - y. Suppose 184 = -3*z + d. Is z composite?
False
Let s(l) = -20*l**3 - 2*l**2 + 2*l + 1. Suppose 2*w + 4*o = -3 - 7, 2*w - 20 = 2*o. Suppose -10 = w*a - 5*h + 15, 3*h = 4*a + 17. Is s(a) prime?
True
Suppose -3*a = -61 + 7. Suppose -2*c - a = -5*q - 53, 3*c + 4*q = -5. Suppose k - 53 = c*m - 13, -2*m = 6. Is k a composite number?
True
Is 11331/(-6)*4/(-6) composite?
False
Let v(f) = 497*f. Let l be (3 + (-12)/3)/(-1). Is v(l) a prime number?
False
Let w be (-8)/5 - (-8)/(-20). Let d = 33 - w. Is d prime?
False
Let k(c) = 0*c**2 - 7 + 2*c**2 + 24*c - 22*c. Is k(6) prime?
False
Let i = 8 + -5. Suppose c + i = 2*c. Suppose d + 4*d - 317 = -4*u, -5*u + 424 = -c*d. Is u composite?
False
Suppose 7*q - 2*q = 4960. Let a = -471 + q. Is a a composite number?
False
Let q(m) = m + 7. Let l be q(-5). Let k(c) = -2*c + 114*c**3 + 2*c - c + l*c**2. Is k(1) composite?
True
Is (-4 - 48/(-9))*(-1137)/(-2) prime?
False
Let v(q) = 2*q - 3. Let l = -1 - -6. Is v(l) composite?
False
Suppose k - 6*k - 2375 = 0. Is (2 - 0)*k/(-10) a prime number?
False
Let l be (-2)/6 + 39/9. Suppose 491 = 5*x + 4*i - 2*i, x = l*i + 85. Is x prime?
True
Suppose -10 = 5*x, -3*k - 3*x = -0*k. Suppose k*f = 68 + 8. Is f composite?
True
Suppose -5*h + 127 + 108 = 0. Is h composite?
False
Suppose 4*o + 2*i = -2, 2*i - 5 = o - 17. Let h(m) = 6*m**2 - 4 + 30*m**2 - m + 5. Is h(o) a prime number?
False
Let n be (-3)/2*(-8)/6. Let l be (0 + 1)/1 - n. Is -2 - (l*50 + 1) composite?
False
Is ((-1765)/5)/(2/(-6)) a prime number?
False
Let q be 127/3 - (-2)/3. Suppose -q = -c + 7. Suppose 28 + c = 3*i. Is i prime?
False
Suppose 0*f + f + 2 = 0. Is (4/(-2))/(f/149) a composite number?
False
Suppose 7*a = 4*a + 6813. Is a prime?
False
Let j be (-18)/8 + (-3)/(-12). Let p = j + 5. Suppose 2*c + 10 = p*c. Is c prime?
False
Suppose -6*r = -33 - 261. Is r composite?
True
Suppose -7*k + 2*k + 185 = -5*h, 5*k - 140 = -4*h. Let m = k - 9. Is m composite?
False
Let f(k) = -k**3 + 4*k**2 + 2*k - 2. Let s be f(4). Suppose z = s*z. Suppose 0*i - 2*i + 70 = z. Is i prime?
False
Let y = 10 + -7. Suppose 0*h + 3*h = -3*b + 549, 4*b + 372 = 2*h. Suppose y*i - 7*i + h = 0. Is i prime?
False
Let l be 0*(9/(-6) + 2). Suppose -a = -4*g + 4*a + 832, -g + 3*a + 215 = l. Is g composite?
True
Suppose 10 = 5*v + 2*b, 4*v + 4*b = 5*b + 8. Suppose 5*h = 2*m - 42, -4*m + 72 = v*h - 36. Is m a prime number?
False
Let y = 856 + -477. Is y composite?
False
Let h be ((-2)/4)/((-2)/20). Let z(u) = -3*u**2 + 5*u + 3. Let m(t) = 