f + 21 = -3*v + 7. Suppose q - o - 24 = 14, -2*q - f*o + 70 = 0. Is q prime?
True
Is ((-78)/18 - -4) + 6874/3 a prime number?
False
Let m be -2 + 2 + -1 + 3. Suppose m*r = 4*s + 16, 0*r + 5*s = 2*r - 14. Is (-664)/r*3/(-2) composite?
False
Let v = 8 - 7. Let j be v + (-3 - -3*2). Suppose 0*y - 4*y = -s - 37, -2*y + 32 = j*s. Is y prime?
False
Suppose -10*t + 14*t - 25516 = 0. Is t a prime number?
True
Let m(a) = -a**3 + 2*a**2. Let o be m(2). Suppose o = -2*z + 5*z. Suppose 2*w + 3*w - 95 = z. Is w a prime number?
True
Let s(b) be the third derivative of -b**6/24 + b**5/60 + b**4/24 - b**3/3 + 5*b**2. Is s(-3) a composite number?
False
Suppose -a - 2*w = -193, -a = 3*a + 3*w - 767. Is a composite?
False
Suppose 5*x - 4 = -34. Let f(g) = g**3 + 6*g**2 - 2*g - 1. Is f(x) a prime number?
True
Suppose -4*c + 6*c = 82. Let i = 78 - c. Is i a prime number?
True
Let a(z) = -18*z - 5. Is a(-4) a prime number?
True
Suppose -14634 - 1721 = -5*g. Is g composite?
False
Suppose -4*x + 13 = -3, 0 = -3*i + x + 8. Suppose i*p = -16, 4*a + 5*p = a - 32. Is 2*1/(a/(-130)) a prime number?
False
Let o(g) be the third derivative of g**5/60 + g**4/12 - 2*g**3/3 + g**2. Is o(3) composite?
False
Suppose -401 + 2626 = 5*j. Is j composite?
True
Suppose -2*c - z = -14, 4 + 8 = 3*z. Suppose c*f - 3*f - 21 = 5*y, -3*f = -y - 12. Suppose t + 30 = f*t. Is t a composite number?
True
Let n be (0 - 1)/(2/(-8)). Suppose -n*b + 333 = -b. Is b a composite number?
True
Let j(q) = 7604*q**2 - 1. Is j(1) composite?
False
Suppose 7*l - 120 = l. Is 3108/l + (-4)/10 prime?
False
Suppose -3*y = 4*k - y - 380, k = 3*y + 109. Is k composite?
False
Let c(o) = 8*o**2 + 5*o + 2. Let p be c(-4). Suppose 3*h = 247 + p. Is h prime?
False
Suppose -21 = 4*t + 3*u, -2*t - 2*u = 3*t + 21. Is 120 - (1 + t - 1) prime?
False
Let o(u) be the first derivative of u**3/3 + 4*u**2 + 2*u - 3. Is o(11) a composite number?
False
Let c(v) be the second derivative of v**4/12 + v**3 + 4*v**2 + v. Let n be c(-7). Suppose -x + n + 100 = 0. Is x prime?
False
Suppose w - 4*l - 144 = 165, -1469 = -5*w + l. Is w a composite number?
False
Suppose -p - 77 = -2*p. Is p a prime number?
False
Let a(n) = n**3 - 10*n**2 + 4*n - 5. Let k be (-1)/(((-8)/14)/4). Let m be a(k). Let v = -71 - m. Is v a prime number?
True
Let t(u) = -u**2 - 5*u + 2. Let j be t(-4). Let n(p) = p + 3. Let i be n(j). Let s(h) = h + 12. Is s(i) composite?
True
Is ((-310)/4)/(1/(-2)) prime?
False
Suppose 16 = 2*r - 6*r. Let y = 7 + r. Suppose y*x - 329 = -5*z + 68, 3*x = z - 65. Is z composite?
True
Suppose -5*n + 2*n = -24. Is 1 + 50 - (n - 10) a composite number?
False
Suppose -4*b = 4*j - 428, -510 + 67 = -4*b + j. Let x = b - -3. Is x prime?
True
Is -24 + 344 - 1*3 a prime number?
True
Suppose -5 = 4*l - 5*l. Suppose l = -k + 74. Is k a prime number?
False
Is (35/10 + 3)/(3/222) prime?
False
Let u be ((-6)/5)/(6/(-15)). Suppose 0*p - 33 = -u*p. Is p a prime number?
True
Suppose 3*a - 7*a + 56 = 0. Let s = 129 - a. Is s a composite number?
True
Suppose 5*f - 2*f = -3*b - 42, 3*b - 38 = 5*f. Let o(t) = t**2 + 6*t + 3. Is o(f) a prime number?
True
Suppose 8798 = 4*s - 11630. Is s prime?
True
Suppose -l - 6 = -2*g - 2, -3*l - 8 = -4*g. Suppose 669 = -l*s + 3*s. Suppose 3*k = 2*k + s. Is k prime?
True
Let y = 9 + -15. Let o = -4 - y. Suppose -q = -o, -5*t + 534 = 5*q + 139. Is t a prime number?
False
Let f(g) = 2*g**2 - g - 8. Suppose -5*x = -b + 42, b - 24 = 4*x - 3*b. Is f(x) a prime number?
True
Let g = 2 + 8. Is g composite?
True
Let q(l) = -2*l + 2. Let a = 4 + -7. Let n be q(a). Suppose 2*x = -3*o + n + 96, 0 = 5*o + 10. Is x a composite number?
True
Suppose 0 = o + 3*i - 749, -745 = -o + 3*i + 34. Suppose -4*l + 2*l + o = 0. Is l prime?
False
Suppose -5*i + 4785 = 340. Is i prime?
False
Suppose 0 = -4*w + 4 - 12, 763 = 3*k - 2*w. Is k a composite number?
True
Let c = -53 + 304. Is c prime?
True
Suppose -2*q = 4*i - 8, -2 = q - 3*q - i. Suppose q = 5*v - v - 556. Is v composite?
False
Let c be 680/(-6)*(-6)/(-4). Is (c/(-8))/((-3)/(-12)) a composite number?
True
Let n = -334 - -491. Is n prime?
True
Suppose 2*z + 446 = 3*d, -d + 0*d = 5*z - 177. Suppose -2*w = 2*w - d. Is w a composite number?
True
Let v(o) = -2*o + 1 + 30*o**2 + 0 - 2. Suppose -i + 4 = -5*i. Is v(i) prime?
True
Let o(n) = 3*n - 2*n + 47*n**3 + 43*n**3 + 0*n. Is o(1) a prime number?
False
Let w be 0 - (0 + (-6)/3). Suppose 7*p = w*p. Suppose 4*b - l - 38 = p, 2*l - 42 - 2 = -4*b. Is b composite?
True
Suppose 0 = 8*m - 10*m + 1038. Is m composite?
True
Let x = -131 + 244. Suppose -6 = -3*g + u, 3*u - 1 = -3*g + 17. Suppose -g*f + x = -52. Is f a prime number?
False
Suppose -30 = 5*u + 5*o, -6*u + u + o - 48 = 0. Is ((-212)/(-6))/((-6)/u) a composite number?
False
Let y be ((-10)/(-8))/(1/4). Suppose 5*b = 3*l + y, -2*b = -0*b + 4. Is (l/(-3))/(1/111) prime?
False
Let b be 1/(((-4)/(-3))/4). Suppose -2*d = -u - 17, 3*d - b - 3 = -5*u. Is d a prime number?
True
Suppose 0 = 5*z - 2*z - 828. Suppose 0 = -v + z + 47. Is v composite?
True
Suppose 2*y - 4*m - 283 = 511, -4*y - m = -1579. Is y composite?
True
Suppose -436 = -6*f + 890. Is f prime?
False
Let j be (-2)/((-5)/((-30)/(-4))). Suppose k = -4*s + 43, -2*s + 5*k + j = -2. Suppose 2 = 2*g + 5*h - 2, s = -5*h. Is g a composite number?
False
Is 7110/8 + (-4)/(-16) prime?
False
Suppose m + 4*w = 16, 3*m = -w - 3*w + 24. Suppose -d - 5*p = -162, 5*d - 2*p - 155 = m*d. Is d composite?
False
Let n = -240 - -533. Is n composite?
False
Suppose 2*s = -s + 105. Suppose -b = 3*d - s, -6*d = -4*b - 2*d + 76. Is b prime?
True
Let w(l) = 9*l**2 - 7*l + 11. Is w(6) prime?
True
Suppose -4*g = -350 - 122. Is g composite?
True
Let v be 4552/72 - (-2)/(-9). Suppose 0*u - v = 3*u. Let s = u + 114. Is s prime?
False
Suppose -2*u + u + 10780 = 3*g, 4*g - 3*u - 14395 = 0. Is g prime?
False
Is 0/2 + (210 - -1) a prime number?
True
Let b(y) = -y**2 - 4*y + 4. Let z be b(-4). Suppose -z*c = -0*c - 1636. Is c a composite number?
False
Let l(k) = -1 + 7 - 10 + 5*k**2. Is l(5) composite?
True
Let i(j) = 5*j - 4. Suppose -18 = -g + 3*t, t - 4 = 5*g - 24. Let x be i(g). Suppose -226 = -3*u + x. Is u a prime number?
True
Let u(t) = t**3 - 14*t**2 - 16*t - 2. Is u(16) a composite number?
True
Suppose w = -3*p + 142, 0*p = p - 3*w - 54. Suppose 5*r - 13 - 44 = -2*v, 2*v - p = -2*r. Is v composite?
True
Let b be -1*1/(-2)*-4. Let u(v) be the second derivative of -v**5/20 + v**4/6 - v**3/6 + v**2/2 - 5*v. Is u(b) composite?
False
Is 6987*((-39)/(-9) - 4) composite?
True
Let d = -254 + 432. Suppose -2*f = -d - 328. Is f composite?
True
Suppose 4*y - 11 = 2*g - 3, -g = -5*y + 10. Is 53 - 0 - g/3 composite?
False
Suppose 0 = -5*i - 20, -f - 10*i + 14*i = -987. Is f composite?
False
Let h(m) = -m - m**2 + 40 + 2*m + 65 + 40. Is h(0) a composite number?
True
Let a(i) = i - 13. Let p be a(13). Suppose -1192 = -4*f - p*f. Is f prime?
False
Let p be ((0/(-2))/(-3))/2. Suppose 4*f + 66 = 4*d - 122, -2*d - 3*f + 104 = p. Is d prime?
False
Is (-3)/1*(23020/15)/(-4) composite?
False
Let h(k) = 4*k**2 + 3*k + 1. Let i be h(-2). Suppose 55 - i = 2*v. Is v a composite number?
True
Let m(d) = d**3 - 4*d**2 + 4*d - 1. Let u be m(3). Suppose -u*z + 601 = 191. Is z prime?
False
Suppose -4*u + 16 = 3*p - 4*p, 20 = 5*u. Suppose -4*c + 20 = 2*t, -3*c = -5*c + 4. Let o = p + t. Is o composite?
True
Suppose 2*g - j - 299 = 181, -5*g - 2*j + 1191 = 0. Is g a composite number?
False
Let k(z) = 15*z**3 + z**2 + z - 3. Let v(o) = 29*o**3 + o**2 + 2*o - 7. Let n(a) = -5*k(a) + 2*v(a). Is n(-2) a composite number?
False
Let m = -122 - -238. Suppose -4*d + 1 = -2*d - t, 5*d + 5*t = 40. Suppose m = d*o - 115. Is o a prime number?
False
Let g be 3*1/6*6. Suppose 0 = g*l, 2*k - k = -l + 13. Is k composite?
False
Let u(c) = 32*c**2 - c + 4. Is u(3) a prime number?
False
Suppose -3*z + 15 + 24 = 5*b, -3*b - 3*z + 27 = 0. Suppose 0 = 4*m - 2*m - b. Suppose -m*t = t - 508. Is t a composite number?
False
Suppose 3*y + 125 = 5*j + 453, -j - 110 = -y. Is y composite?
True
Is 839 + ((-12)/(-2) - (3 + 1)) a composite number?
True
Suppose -4*a + 2*y + 1188 = -0*y, -2*y + 606 = 2*a. Is a composite?
True
Suppose -4*q + 4 = -4. Is q/6 - (-990)/27 a prime number?
True
Suppose -8*o - 655 = -3*o. Let d = -60 - 