Suppose 0 = -3*k - 3*n + 15, -2*k + 6*k + 3*n = 22. Let m = 148 - 53. Suppose k*j = 2*j + m. Is j a prime number?
True
Suppose 0 = -5*j + 5*n - 26 + 1, 0 = 2*j + 3*n - 10. Is (-272)/(-8) - (-4 - j) prime?
True
Is 12/(-4) + 140 + 2 prime?
True
Let d = 393 - 148. Suppose 2*q = 105 + d. Suppose q = 5*u - 600. Is u a prime number?
False
Let t be 2/7 + (-1611)/(-21). Let f = t + 34. Is f composite?
True
Let o(f) = -2*f**3 - 10*f**2 + 2*f + 11. Let i = -11 + 2. Is o(i) a prime number?
True
Let j be -2*(-2*1 - -1). Suppose j*t - 44 = d, -2*d + d + 5*t - 59 = 0. Let h = 125 + d. Is h a prime number?
False
Suppose -122 = -3*w + 2*w. Is w prime?
False
Suppose 5*h = 2*h - 2*a + 1141, 5*h = 3*a + 1889. Is h prime?
True
Let v(b) = -b**2 + 4. Let r be v(2). Suppose -m + 3*u - 4*u + 54 = r, 2*m - 93 = -5*u. Is m prime?
True
Let s = 2282 - 1221. Is s prime?
True
Let g(h) = 20*h**2 + 13*h + 25. Is g(-6) prime?
False
Let s(u) = -u**3 - 5*u**2 - 2*u - 13. Is s(-9) a prime number?
False
Let z be (-12)/30 - (-14)/10. Let t(y) = z - 6*y - 3*y - 2. Is t(-3) a prime number?
False
Suppose 0 = -5*q - 0*q + 455. Let s = q + 357. Let t = -309 + s. Is t a composite number?
False
Let q(l) = -l**2 - 7*l - l**2 + 11 + 3*l**2. Let o = 26 + -18. Is q(o) composite?
False
Suppose 2*r = 3*q - 472, -5*r - 132 + 902 = 5*q. Suppose q + 506 = 2*y. Is y composite?
False
Let d(c) = -83*c - 9. Is d(-10) prime?
True
Let o(k) = k**3 + 11*k**2 - 13*k - 6. Let z be o(-12). Let j = 19 - z. Is j a prime number?
True
Let j(z) be the third derivative of 0*z + 59/6*z**3 + 1/120*z**6 + 0*z**5 + 1/24*z**4 + 0 - 3*z**2. Is j(0) a composite number?
False
Let h = 45 - 11. Let n = -23 + 10. Let f = h + n. Is f a prime number?
False
Is -1 - (-1 - -4) - (-19620)/20 prime?
True
Let s(y) = -2*y + 1. Let v be s(-2). Suppose -3*q = -4*q - 2*g + 157, 20 = v*g. Is q composite?
False
Let w = 63 + 176. Let p = 740 - w. Is p composite?
True
Let f(d) = -75*d**3 - d**2 + 1. Let l be f(-1). Suppose -4*w + l = -5*h, -3*w + h = -67 + 19. Is w prime?
False
Let w = 7 + -6. Suppose -4*p + 5*q = -6, q - 1 - w = 0. Suppose 2*h + 49 - 11 = 3*u, -3*u + 34 = -p*h. Is u composite?
True
Let n(o) = -o**3 - 2*o**2 + o - 3. Let m be n(-3). Let z = 7 + -7. Suppose z*a + 117 = m*a. Is a a composite number?
True
Suppose -3 - 7 = -2*q, -2*q = 3*c + 275. Let y = c - -174. Is y a prime number?
True
Let l(t) = -177*t - 1. Suppose -2*q - 3 = 5. Is l(q) a composite number?
True
Let y(u) be the third derivative of u**5/60 + u**4/6 + 5*u**3/6 - u**2. Is y(-7) a composite number?
True
Let a(r) = r**3 + r**2 + r + 457. Is a(0) a prime number?
True
Suppose 15 = 2*x + 5*g, 0*x + 5*x = g + 24. Suppose -x*v + 892 = -v. Is v a prime number?
True
Suppose -6*y + 8992 = -254. Is y a composite number?
True
Suppose 4*t - 2*d = 468, 0 = t + 2*d - 105 - 2. Is t a prime number?
False
Let q = 5 - 3. Is 1*(10 - (-3 + q)) a composite number?
False
Let n be 4/22 - (-6)/(-33). Suppose 3*l - 6 - 6 = n. Is l a composite number?
True
Is (3810/(-24))/((-3)/12) composite?
True
Let c be 16/3 - 4/12. Suppose o + 0 = c. Suppose x - 1 = -5, 1525 = 5*n - o*x. Is n prime?
False
Suppose 5*f = f + 1228. Is f a composite number?
False
Let j(m) = -4*m + 17. Let z be j(-12). Suppose 2*g - z = 105. Is g prime?
False
Let x(y) = 29*y + 10. Is x(3) prime?
True
Let v = 1717 + -602. Is v prime?
False
Let d = -183 - -344. Is d a composite number?
True
Let z = 12 + -7. Suppose -5*a + 4*a = -z. Suppose a*s - 3*s - 86 = 0. Is s prime?
True
Let w(r) = -80*r - 9. Is w(-8) a prime number?
True
Suppose 63 + 92 = 5*s. Is s a composite number?
False
Let x be 14/49 + (-369)/(-7). Let f = 77 + x. Suppose -3*y + 99 = -n + 4*n, -4*n = 5*y - f. Is n a prime number?
False
Let v(g) = 534*g**3 - g**2 + g - 1. Is v(1) prime?
False
Let j = 0 - -7. Let v(z) = j + 5*z - 2 - 1 + z**2. Is v(-6) a prime number?
False
Suppose t - 2*w = -4*t + 34, 5*t = -w + 28. Suppose -c - 1 + t = 0. Suppose 2*y + 0*p - 54 = c*p, 0 = 2*p + 4. Is y composite?
True
Let x(o) = 4*o**3 - o**2 - 9. Let a(w) = -2*w**3 + 4. Let d(z) = -5*a(z) - 2*x(z). Is d(2) composite?
True
Suppose c - 30 - 8 = 0. Let j = 15 + c. Is j composite?
False
Is (22/4)/(1/106) a prime number?
False
Let x(t) = -2*t - 4. Let o be x(-4). Suppose 2*g = -8, g = 3*a - 3*g - 34. Suppose o*i + 38 = a*i. Is i prime?
True
Let t(l) be the third derivative of 5*l**4/24 - l**3/3 - 2*l**2. Let r be 395/55 + 4/(-22). Is t(r) a composite number?
True
Suppose 5*l + 27 = n + 6, l = 0. Suppose -i - 52 = 4*g, -2*i - 40 = 2*g - 5*i. Let z = g + n. Is z a prime number?
True
Let f(x) = 18*x**2 + 8*x + 9. Is f(-5) a prime number?
True
Suppose 113 - 33 = -5*n. Let g = 31 + n. Is g composite?
True
Suppose l + 12 = -4*a, -4*a + a = -2*l + 9. Let g be l + 67 - 3/3. Suppose -2*i - g = -4*i. Is i composite?
True
Let z = -18 + 107. Is z a prime number?
True
Is 6/(-15) - (-36402)/30 a composite number?
False
Let x(s) = 112*s + 2. Suppose -3*a + 8 = 2. Is x(a) a prime number?
False
Suppose -c + 89 = -5*t + 5, 3*c + 2*t = 286. Suppose -y = -5*f - c, f + f = 5*y - 539. Is y a prime number?
True
Let s be 215*(-1 - 27/(-15)). Suppose 5*b - s - 273 = 0. Is b composite?
False
Suppose 2*p - p - 10 = 0. Let y = p - 3. Is y prime?
True
Let t = -264 + 779. Is t a prime number?
False
Is (-1171)/(-4) + (-3 - (-65)/20) a prime number?
True
Suppose 3*x = 363 + 171. Let f = -81 + x. Is f a composite number?
False
Suppose -342 + 33 = -3*h. Is h a composite number?
False
Let o = 84 + 355. Is o composite?
False
Let u = 4 - 24. Let d = 59 - u. Is d a prime number?
True
Let p(z) = z**3 + 7*z**2 - 8*z - 4. Let o be p(-8). Let u be ((-2)/o)/((-2)/(-16)). Suppose -3*j + 4*v - 2 = -7, -u*v - 19 = -5*j. Is j a composite number?
False
Suppose 8*b = 13*b + 1095. Let s = -140 - b. Is s composite?
False
Suppose 4*i - 208 - 328 = 0. Suppose 0*v - v + 6 = h, -3*h = -9. Suppose o + v*o - 3*c = 248, -i = -2*o + 4*c. Is o composite?
False
Suppose 3*g = 10 + 8. Let z be ((-4)/6)/((-1)/g). Suppose -z*d - 127 + 419 = -4*m, -d + 2*m + 69 = 0. Is d prime?
False
Let h(y) be the third derivative of -9*y**4/8 + 5*y**3/6 + y**2. Let x be (6/18)/((-2)/24). Is h(x) composite?
False
Suppose 0 = 3*d - 3044 + 863. Is d prime?
True
Let p(k) = 29*k + 3 - 11 + 4. Is p(3) composite?
False
Let w(g) = -7*g**2 + g**2 + g**3 - 1 - 8*g - 3*g**2. Is w(10) prime?
True
Let r(o) = o**2 + 3*o - 6. Let f be r(-5). Suppose -f*n + 524 = 4*c, -2*c + c + 4*n + 111 = 0. Is c a composite number?
False
Let h(x) = 9*x**2 + 7*x + 9. Is h(-8) a prime number?
False
Suppose -5*r + r = 196. Let p = r - -107. Is p a prime number?
False
Let a(z) = 2*z**2 + z + 1. Let d = -1 + 4. Suppose -2*c - 1 = d. Is a(c) prime?
True
Let l(h) = -h**3 + 10*h**2 + 3*h + 4. Let p(j) = j**2 + 1. Let y be p(-3). Is l(y) prime?
False
Let k = -8 - -13. Suppose -2*u + 6 + 30 = 0. Let o = u - k. Is o a prime number?
True
Let v = -6 + 11. Suppose -n - 4*s = -111, -79 = 5*n + v*s - 649. Is n prime?
False
Let l be 236/9 + (-2)/9. Suppose -2*p + 0 = -4*u - l, 5*p - 5 = -2*u. Suppose -p*o + 54 = -3*m, 63 = 2*o + 3*o + 4*m. Is o a composite number?
True
Let w = 25 - 35. Is 2034/14 - w/(-35) a composite number?
True
Suppose -d + 1618 = 5*v, 2*d + 0*v = -4*v + 3212. Suppose y - 3*x - 382 = -0*x, 2*x - d = -4*y. Suppose -y + 57 = -4*u. Is u a composite number?
True
Suppose 2*d - 2022 = -4*u, -3*u - d = -5*u + 1001. Is u a composite number?
False
Let a = -72 - -325. Is a prime?
False
Let n(p) = 122*p**2 + 2*p - 29. Is n(4) a composite number?
False
Suppose 0 - 16 = 4*t. Is t/(-2)*(-37)/(-2) composite?
False
Is 8/(-6)*57294/(-36) a prime number?
False
Let k(o) = -567*o + 2. Let a be k(-1). Suppose 3*g + 2*f = a, -3*g - 5*f + 49 = -532. Is g a composite number?
True
Suppose 0*z - t + 2 = z, 3*t = -4*z + 12. Suppose -z*q + 28 = -2*q. Is q a composite number?
False
Suppose -5*c - 285 = 4*o, -2*c + 0*c - 2 = 0. Let j = 147 + o. Is j prime?
False
Suppose -l - 4*l = 160. Is (-24)/l*4*11 a composite number?
True
Is 4/18 - (-3047)/99 composite?
False
Let y(g) = g**2 - 5*g - 7. Let q be y(7). Let x(n) = -2*n**2. Let z be x(-1). Is q + (-4 - -1 - z) a prime number?
False
Let r(s) = 0*s**2 + s**2 + 0*s**2 + 2 + 5*s. Let j be r(-5). Is 92 + -1 - 4/j a prime number?
True
Suppose 5*s + 2 - 1 = 4*z, 4*s -