mposite number?
False
Let y(m) = -15*m - 22. Suppose 0 = 2*j - 5*r + 29, -5*j - 1 = 2*r + 28. Is y(j) prime?
True
Let y(i) = -i**2 + i + 13. Let d be y(-3). Let x(t) = -39*t. Let m(b) = 40*b - 1. Let h(j) = -2*m(j) - 3*x(j). Is h(d) composite?
True
Is 1/4*(849 + -5) composite?
False
Let x be (-35)/45 + 4/(-18). Let f be 0*(-3 - (-5 - x)). Suppose f = 5*c - c - 388. Is c prime?
True
Let k = -4 - -4. Let c = k - 0. Suppose c*g = -2*g + 52. Is g prime?
False
Let b(r) be the third derivative of -r**5/60 - r**4/24 + 337*r**3/6 + 3*r**2. Is b(0) a composite number?
False
Suppose 3*r = 2*r - 1. Is 0 + 60 + -2 - r prime?
True
Is -1 + (16/(-20))/(2/(-2285)) prime?
False
Suppose 4*t - 3*y - 53 = 0, y = t - 2*y - 20. Is t a prime number?
True
Suppose 0 = 5*g - 2334 - 4996. Is g prime?
False
Suppose 3*f = 4*w - 11, 0*f = 5*w + f - 9. Is w/(-7) + 3126/14 composite?
False
Suppose -8*l + 4*l + 8 = 0. Let o(z) = 35*z**2 - 1. Is o(l) composite?
False
Let d be 1 - (-1 - -4) - -5. Suppose 31 = o - d*n, 3*o - 127 + 34 = -n. Let i = o - 16. Is i a prime number?
False
Is (-2)/4*-158*2 prime?
False
Let b be (0 + 2*3)/2. Suppose -4*q - b*o + 23 = 0, 5*q - o = 28 - 4. Suppose 0 = q*s - 2 - 73. Is s composite?
True
Let a = 99 - 22. Is a prime?
False
Let k(s) = -2*s - 1. Let i be k(-1). Suppose i - 4 = -v. Is 24 + (2 - v)*1 a composite number?
False
Let o = 77 + 8. Is o prime?
False
Let h be (22/3 + 1)*-3. Let o = h + 78. Is o composite?
False
Let k(a) = -a**3 + 25*a**2 + 19*a + 10. Is k(24) composite?
True
Is 4/18 - 1770/(-54) a composite number?
True
Suppose -3*v = 3*r - 630, 4*v - 5*v - 3 = 0. Is r composite?
True
Suppose 0 = 2*q - 2 + 6. Let f(l) = -2*l**2 - 2*l + 2. Let h be f(q). Is (-4 - -20) + h/2 a composite number?
True
Suppose -3*v + 741 = 3*d - 1401, -1418 = -2*v - 4*d. Is v a composite number?
False
Let w(r) = -34*r - 9. Let v(c) = 34*c + 9. Let g(i) = 3*v(i) + 4*w(i). Is g(-3) prime?
False
Let n = 196 + 90. Suppose 0 = 5*z - n + 11. Is z a prime number?
False
Let i = 551 - 42. Is i a composite number?
False
Let w(t) = -t**3 + t - 1. Let v be w(0). Let d(p) = -67*p**3 + p**2 + 2*p + 1. Is d(v) composite?
False
Let c(l) = 1 + l + 71 - 5 - l**2. Is c(0) composite?
False
Suppose 3*j - 246 = -3*k, 4*j + 2*k - 401 = -j. Is j composite?
False
Let n = 221 - -1434. Is n a composite number?
True
Suppose -q = 2*q. Suppose -5*b + 9 - 34 = q. Let m(s) = 2*s**2 - 2*s + 5. Is m(b) composite?
True
Suppose -4*n + 78 = 2*b, b - 81 = -5*n + n. Let g = n - 11. Is g composite?
True
Suppose 5*v - 228 = -2*k, 134 = k - 4*v + 46. Let b = -49 + k. Is b a prime number?
False
Suppose w = -b - 5 - 5, 2*b + 26 = w. Let z = b + 47. Is z prime?
False
Let d = 25 - -333. Is (-3)/((-1076)/d - -3) composite?
True
Let h(k) = 5*k**3 + 2*k**2 + k - 10. Is h(4) a prime number?
False
Let d(z) = -3*z**3 + 2*z**3 + 1 + 14*z**2 - 7*z**2 - 2. Is d(3) prime?
False
Suppose 0*v + 2*i + 98 = -2*v, -4*i - 8 = 0. Let y = 105 + v. Suppose s + 1 = y. Is s a prime number?
False
Let m be 0*(-2)/(-2) + -1. Let w = 4 - m. Suppose -204 = -4*f + 4*x, 3*f - 59 = 2*f + w*x. Is f composite?
True
Suppose 5*w = 4*w + 139. Is w prime?
True
Let l be 12/(-8)*(-68)/6. Let u be 1*3*(-10)/(-3). Let v = l - u. Is v a composite number?
False
Suppose 2*w = 3*k + 571, 3*k - 5*w = k - 399. Let l = -128 - k. Is l composite?
False
Suppose -3*w = -w - 8. Let f(c) = 3*c**2 + 10*c - 11. Let q be f(7). Suppose 6*g - q = w*g. Is g a prime number?
True
Is 6/9 - (-64)/3 composite?
True
Suppose s - 97 = 114. Is s prime?
True
Let o(r) = 2*r**2 - 4*r. Suppose 4*z + 0*z = 12. Is o(z) prime?
False
Suppose 8 = q - 207. Is q composite?
True
Let i(u) = -278*u**3 - 1. Is i(-1) prime?
True
Suppose -251 - 156 = -m. Is m a composite number?
True
Let l(d) = -35*d. Suppose -q = 2 - 4. Let x = 1 - q. Is l(x) prime?
False
Let l = 215 + -12. Suppose -598 = -5*w - l. Is w a prime number?
True
Let m = -107 + 212. Suppose h = -4*h + m. Is h composite?
True
Let j(v) = 0*v**3 + 2 - v - 4*v**2 + 0 + 0*v**3 - v**3. Suppose -l - 19 = -s - 2*s, 0 = -3*l - 3*s + 3. Is j(l) a composite number?
True
Let p(s) = -33*s + 1. Let n(y) = -34*y. Let d(f) = 6*n(f) - 5*p(f). Is d(-8) a prime number?
True
Suppose 2*u + 30 = 452. Is u a composite number?
False
Let j = 189 + -335. Let w = -61 - j. Is w a prime number?
False
Let i(c) = -27*c + 1. Is i(-2) a composite number?
True
Is 638 - (6/3 - 5) composite?
False
Let r be (-314)/(-8) - 3/(-4). Suppose -g + 4*g = -p - 8, 5*p - 5*g + r = 0. Is (2 + 2)*(-106)/p prime?
True
Let a(x) = 5*x + 10. Let m(i) = 14*i + 31. Let u(b) = -7*a(b) + 2*m(b). Is u(-9) composite?
True
Suppose -n = 3*g - 5819, 3*n + 9689 = 3*g + 2*g. Is g a prime number?
False
Let u(k) = -109*k**3 + k**2 - 2*k - 2. Let s be u(-1). Let c be ((-20)/6)/((-4)/6). Suppose 0 = c*g - s + 15. Is g prime?
True
Suppose -5*m + 10 - 100 = 0. Let z = m + 32. Is z prime?
False
Let b(f) = f + 1. Is b(6) prime?
True
Let n be 1 - 4 - (-2 - 11). Let o be (-3)/(-2) + 5/n. Suppose o*s - 73 = 157. Is s a prime number?
False
Suppose 0*h - 3*h - 48 = 0. Is (-3 - h) + (2 - 1) composite?
True
Let k = -100 - -298. Let i = k + -49. Is i a composite number?
False
Let z = 49 + -10. Is z composite?
True
Is (17530/(-25))/(6/(-105)) a prime number?
False
Suppose q = -3*z - 2, 0 = 4*z + z + 15. Let a = q - 4. Let x(t) = -t**3 + 5*t**2 - 3*t - 2. Is x(a) a composite number?
False
Let l = 1871 + -1050. Is l a composite number?
False
Let g(z) = z**3 + 21*z**2 + 11*z - 1. Is g(-14) composite?
False
Let l(a) = -52*a + 3. Is l(-1) prime?
False
Let t(d) = -4*d + 8. Let b(f) = 9*f - 15. Let n(j) = 3*b(j) + 5*t(j). Is n(10) prime?
False
Let k be (-1)/(-1*1/(-2)). Is k*(38/(-4) + 3) prime?
True
Suppose 10 = 3*h - 0*t - t, 14 = 5*h - t. Suppose -h*b = -6*b + 256. Is -2 - -1 - b/(-2) a prime number?
True
Is 1/(1 - (-156)/(-159)) a prime number?
True
Let h = 68 + 81. Is h a composite number?
False
Let a(p) = -9 + 0 + 7*p + 2*p + 3*p**2. Is a(-13) a composite number?
True
Let k(d) = d**3 + 8*d**2 - 11*d + 15. Is k(-9) composite?
True
Let u(z) = 83*z**2 - 4*z + 3. Let x be 3 + (6/(-2))/(-3). Is u(x) a prime number?
False
Let d(x) = 4*x - 3. Let j be d(5). Suppose -2*n - 2 = 2*c - 4, -j = -5*n - 2*c. Is (-17)/(2 - 11/n) composite?
True
Suppose 5*r - 4591 = 2*p, 2*r + 3*p - 1842 = p. Is r composite?
False
Let w = 35 + 114. Is w prime?
True
Let x(s) = 32*s + 10. Let h be x(8). Suppose -2*c + 3*w = -0*c - h, 0 = 5*c + w - 631. Is c prime?
True
Let s(y) = -y**3 - 5*y**2 + 5. Let n be s(-5). Suppose n*j - 4*z = 1777, -2*j - 3*z = -4*z - 709. Is j a prime number?
True
Suppose 3*f - 4235 + 1437 = -4*m, 5*f = 3*m - 2113. Is m a prime number?
True
Let q(i) = i**3 + 8*i**2 + i + 4. Let z be q(-8). Let f be (-6)/(-8) + 127/z. Let g = f - -52. Is g composite?
True
Let z(p) = p - 2 + 2. Let o be z(-8). Is ((-13)/4)/(2/o) a prime number?
True
Suppose s - 15 = -4*s. Suppose 4*y + 0*y = -4*g + 48, 0 = 5*y - s*g - 36. Is y composite?
True
Let g(z) = -6*z**2 - 6*z + 14 + z + 2*z. Let r(n) = -3*n**2 - 2*n + 7. Let v(l) = 3*g(l) - 7*r(l). Is v(-5) a composite number?
False
Suppose -5*c + 941 = 3*z, 5*c = -2*z + 671 + 268. Is c prime?
False
Let d(n) = -n - 1. Let g be d(-6). Suppose 3*q + 226 = g*q. Is q a prime number?
True
Let n = 2254 - 863. Is n prime?
False
Let z(j) = 4*j**3 - 2*j**2 - j - 4. Is z(3) a composite number?
False
Let g = 2410 - -979. Is g prime?
True
Suppose 5*y + 20 = 4*l, 2*y + 12 = 3*l - y. Suppose -4*n - 6 + 70 = l. Let b = 39 - n. Is b a composite number?
False
Suppose 4*k = 3*g + 14, -2*k + g = 3*g - 14. Suppose 107 = -k*p + 1122. Is p composite?
True
Suppose -7*u + 4*u + 174 = 0. Let q = u + -33. Is q prime?
False
Let n = -236 + 583. Is n a composite number?
False
Let c(p) = 4*p**2 - p + 54. Let t(w) = 3*w**2 - w + 55. Let l be -2 + 1*(-4)/2. Let x(m) = l*c(m) + 5*t(m). Is x(0) prime?
True
Let k = 30 + -21. Suppose 0 = -r + k - 32. Let d = r - -82. Is d a prime number?
True
Let t(l) = -l**3 - l**2 - 2. Let n be t(-2). Let u(s) = -1 + 2*s + 17*s**2 - 13*s**n + 17*s**2. Is u(-2) a prime number?
True
Suppose 0 = 2*z - 0*z + 2*j - 90, -2*j + 134 = 3*z. Suppose 2*c + 16 - z = 0. Is c a composite number?
True
Let t(d) = 53*d + 16. Let q be 845/91 + 4/(-14). Is t(q) prime?
False
Let j = 997 - 660. Is j prime?
