ose 3*r - 3*b + 120 = 0, 0*b - q*b = -r - 31. Let x = -24 - r. Is x prime?
True
Let s = -12 + -32. Is (6/4)/((-2)/s) a composite number?
True
Let n be ((-4)/4 - -2) + 293. Let f = -95 + n. Is f a prime number?
True
Let p be (-5 - -4)/((-2)/14). Is -10*(p/(-2) - -2) a composite number?
True
Suppose -3*y + 4 = 28. Let g = y - -6. Is (-11)/g*(0 - -10) prime?
False
Let n = -152 + 260. Let d = n - -847. Suppose i - 6*i = -d. Is i a composite number?
False
Suppose -163 = -5*n + 3*i, -3*n + 5*i = 2*i - 99. Let x = n + -70. Let c = 151 + x. Is c a prime number?
True
Is (-23088)/(-30) + 6/(-10) composite?
False
Let p(n) = 61*n - 12. Is p(11) a prime number?
True
Suppose 2*v - 34 = 220. Is v a composite number?
False
Let f(w) = 26 + 43 - w**3 + 0*w**3. Is f(0) a composite number?
True
Let l = -6 - -4. Is 1 + 32*(3 - l) prime?
False
Let y = 89 - -4. Is y prime?
False
Let d(m) = 22*m - 29. Is d(12) a composite number?
True
Suppose -20 = 5*g - 0*g. Is (-6)/(-4) + (-1030)/g prime?
False
Suppose -2*s + 212 = -6*s - 3*o, 4*s = 3*o - 188. Let c be 1/(-6) - s/12. Let v = 7 - c. Is v a composite number?
False
Suppose 0*w = 3*w - 1686. Is w a composite number?
True
Suppose 5*t - 2*b = 1985, 9*t - 4*t - 1950 = -5*b. Is t composite?
True
Suppose 2*s = 5*t + 6*s - 6693, 0 = 5*t - 4*s - 6677. Is t a prime number?
False
Is (-6)/(-15)*5 + 381 - 2 a composite number?
True
Let j be ((-21)/(-9))/(2/6). Suppose -10*l + 339 = -j*l. Is l prime?
True
Is (-5045)/(-8) - 3/(-8) prime?
True
Suppose -c - 28 = 2*k, -3*k - 10 = -3*c + 14. Let x be k/(-20)*(-5)/(-1). Suppose 2*h + 4*l = -2*h + 48, 0 = x*h + 5*l - 32. Is h a composite number?
True
Is (-22)/(-6)*(-153)/(-3) prime?
False
Let j be (3/12)/((-2)/8). Let y(h) = -187*h. Is y(j) composite?
True
Suppose -g = g. Suppose -4*l + g*l + 12 = 0. Is l prime?
True
Let k(o) = 6*o - 4. Let x be k(-8). Let j = 75 - x. Is j a composite number?
False
Suppose p - 183 = -2*n - 3*n, 5*n - 5*p = 195. Is n a composite number?
False
Suppose -4985 = -5*s - 5*o, 2752 = 2*s - o + 758. Is s a prime number?
True
Let w(t) = -11*t**3 + t**2 + 5*t + 2. Suppose 0*a + 4*a = -5*d + 14, a - d + 1 = 0. Suppose 3*z + 4*q - a = 2, -12 = -z - 5*q. Is w(z) a prime number?
True
Let h(m) = 6*m**2 + 3. Is h(-3) a prime number?
False
Let p(b) = -4*b + 5. Let x(h) = -3*h + 5. Let l(a) = 6*p(a) - 5*x(a). Is l(-6) a composite number?
False
Let a(y) = -y**3 + 4*y**2 + 4*y - 2. Let m = 4 - 4. Let o be -3*(-3)/(m - -3). Is a(o) a prime number?
True
Let i(m) = -44*m - 1. Let s(l) = -44*l - 1. Let c(u) = 6*i(u) - 5*s(u). Is c(-3) composite?
False
Let n(o) = 22*o**2 + 6*o - 25. Is n(3) a prime number?
True
Let a(c) = -59*c**2 - c - 3. Let b(w) = -60*w**2 - w - 3. Let s(v) = -3*a(v) + 2*b(v). Is s(4) prime?
True
Let f(c) = c**3 - 5*c**2 + 6*c + 5. Let m(u) = -5 + 3*u + 10 + 6*u**2 - u**3 + 4*u. Let n be m(7). Is f(n) prime?
False
Let d(s) = 4*s**2 + 4*s + 4. Let u(m) = -7*m**2 - 7*m - 7. Let k(l) = -5*d(l) - 3*u(l). Suppose -4*y - 26 = 3*b, 2*b + 6*y - 2*y = -20. Is k(b) a prime number?
True
Suppose 4*f = -5*o + 29, 30 = -2*f + 5*f + o. Suppose -2*k + f = 5. Suppose -2*q - h + 231 = -27, 389 = k*q + h. Is q a composite number?
False
Let r be (0 + (-3)/(-9))*27. Let h = r - 5. Suppose h*d - 48 = 40. Is d composite?
True
Let i(b) = -3*b**3 - 3*b - 4. Let k be i(-7). Suppose 4*l + 5*s = s + 1400, -3*l - 5*s + k = 0. Suppose u = 2*j - 44 + 137, -4*u + l = 2*j. Is u a prime number?
True
Let l be (-1)/(1*(-3)/(-1797)). Let v = -268 - l. Is v a composite number?
False
Let o(h) = -h**3 + 14*h**2 + 12*h - 26. Is o(14) composite?
True
Let h be (72/7)/((-15)/(-140)). Suppose -k + 3*w + h = 0, 3*w - w - 91 = -k. Is k a composite number?
True
Let f be (-55)/(3/3)*1. Let r = 122 + f. Is r composite?
False
Suppose -14*v + 2691 = -5*v. Is v composite?
True
Let z be (-2)/(2 - 1) - -7. Suppose 6*h + z = h. Let f(v) = -210*v + 1. Is f(h) a prime number?
True
Let l(a) = a**3 - 2*a**2 - 2*a - 4. Let p be l(3). Let o be (-1)/(2/4 + p). Suppose 79 = 3*n - o*n. Is n a composite number?
False
Suppose -2*k = -13*k + 23111. Is k a prime number?
False
Let r(a) = -4*a**2 + 5*a + 0*a - 4*a + 14*a**2 - a**3 + 4. Is r(10) prime?
False
Let x(z) = 2 - 2*z**3 - 38*z**2 + 6*z - 2*z**3 + 37*z**2. Is x(-4) composite?
True
Is 10*34 + -11 + 12 a prime number?
False
Let o(y) = 2*y**3 + 25*y**2 - 13*y + 10. Let h(t) = -t**3 - 12*t**2 + 7*t - 5. Let m be (2/(-3))/(8/(-36)). Let w(u) = m*o(u) + 7*h(u). Is w(-11) prime?
True
Let s(y) = 105*y**2 - 2*y + 1. Let f be s(-3). Let u = f - 621. Is u composite?
False
Let n(v) = 40*v - 3. Is n(2) prime?
False
Is 3859 + (16 + -10)*(-2)/(-3) a prime number?
True
Let b(u) = -3*u**3 - 3*u**2 + 2*u - 4. Let v be b(4). Let c = v - -883. Is c prime?
True
Suppose -v + 2*v - 155 = 0. Suppose 2*p - v = -21. Is p a prime number?
True
Let x(o) = -o**3 + 2*o**2 + 1585. Is x(0) a composite number?
True
Let s(p) = p**2 + p - 7. Let v be s(3). Suppose 3*y + c + c = 0, c = -2*y. Suppose y*q = 3*q + 3*m - 66, v*m = 5. Is q prime?
False
Suppose j - 6 = -j. Suppose -2*i = 3*y - 59, -3*y - 77 = i - j*i. Is i composite?
True
Let y(h) be the first derivative of 25*h**3/3 + h**2 - h + 1. Let w be y(-2). Suppose 0 = t - w - 92. Is t a prime number?
False
Let o = -38 - -91. Is o prime?
True
Let q = -212 + 315. Is q prime?
True
Suppose -3134 = 2*s - 10416. Is s a composite number?
True
Let v = -8 + 15. Let k = -16 + v. Is (-3)/k - (-110)/3 a prime number?
True
Let f(d) = 64*d + 11. Is f(5) a prime number?
True
Suppose 4*i = 7*i - 3. Is i - (-36)/((-2)/(-2)) prime?
True
Let n(v) = -v**2 + 14*v + 0*v + 8 - 2. Is n(9) a composite number?
True
Suppose 2*m - 195 = -b, 4*b - 379 - 381 = -4*m. Is b composite?
True
Suppose 0*h + 16 = 4*h. Let d(b) = 18*b - 6. Let t be d(h). Let a = -20 + t. Is a a prime number?
False
Let l be (3 - 4)/((-1)/9). Let y be -3 + l/3 + 4. Suppose -y*i = i - 335. Is i a prime number?
True
Let z = -3006 + 4714. Suppose -5*a + z = -157. Is a composite?
False
Suppose -3*t + 3*s - 3 = 0, t - 6*t + 5 = -3*s. Suppose p = b - 5*b + 15, -35 = -t*b + 3*p. Suppose 475 = b*z - 0*z. Is z composite?
True
Let y = -8 - -11. Suppose -2*o = y*o + 15. Is 117 + -1 - o/1 a prime number?
False
Let r(i) = 7*i - 26. Is r(21) a composite number?
True
Let x(l) be the third derivative of 1/60*l**5 - 5/6*l**3 + 0 + 2*l**2 + 0*l - 1/24*l**4. Is x(7) a composite number?
False
Suppose 0 = -y - 7 - 9. Let r = y - -35. Is r a prime number?
True
Suppose -2*i + 2*y = 4*y, 0 = 2*i + y - 2. Suppose -52 = -i*h - 2*h. Is h a prime number?
True
Suppose 4 - 12 = 4*p. Let x = 57 + p. Is x a prime number?
False
Suppose -2*v = 2*g + 60, 4*v + 69 = 3*g - 16. Let s = -18 - v. Is s prime?
True
Suppose 3*v + 0*v - 773 = -2*f, 0 = -4*f - 4*v + 1536. Is f a prime number?
True
Let i = 33 - 17. Suppose 5*o = i + 49. Is o prime?
True
Let u(i) = -i**2 + 7*i - 10. Let b be u(4). Suppose -5*w - b*z = -603, 4*w - 464 = -z + 4*z. Is w composite?
True
Suppose -6*t + 28 = -2*t. Is (-12)/(-3)*t/2 a prime number?
False
Let b(m) = -3*m**3 - 4*m**2 - 2*m. Is b(-3) a prime number?
False
Let x = 4 + 2. Suppose -5*p + 4*p - x = 0. Is ((-296)/(-24))/((-2)/p) a prime number?
True
Suppose -5*v = w - 428, -4*v + v + 2030 = 5*w. Is w composite?
True
Let s = -14 + 10. Is (6/s)/((-1)/14) a prime number?
False
Let q(l) be the third derivative of -l**4/24 + 11*l**3/6 - l**2. Let r be q(7). Suppose -4*z - z = r*d - 130, 0 = -3*z + 5*d + 41. Is z a composite number?
True
Suppose -b + 5*b = -52. Let o = 20 - b. Is o composite?
True
Suppose -4*z - 250 = z. Let a be ((-210)/8)/(2/8). Let r = z - a. Is r composite?
True
Suppose -16*v + 17*v = 469. Is v a prime number?
False
Is 17*7 - (11 - 7) a prime number?
False
Let x = 1 + 13. Suppose -23 = -4*h - 5*m, 5*h + 5*m = 2*m + 19. Suppose -x = -h*j - 0*j. Is j composite?
False
Suppose 0 = 7*z - 3*z - 1028. Is z a composite number?
False
Let f = 4 + 0. Let p(t) = t**2 + 5. Let i be p(6). Suppose 3*c - i = f*u, -c + 2*u + 3 = -2*u. Is c a prime number?
True
Is 331/(-4)*16/(-2 - 2) prime?
True
Is -1833*(1 - 8/6) composite?
True
Suppose -2*n = n - 60. Let o = n - 10. Is o a prime number?
False
Suppose -3 - 1 = -4*r. Is (-9 + 275)/(r - -1) prime?
False
Let x(d) = 130*d**2 - 2*d + 1. Is x(1) a prime number?
False
Suppose