**3 - v**2 - v + 67. Let f(k) = -5*k**2 - 3*k + 6. Let a(c) = -6*c**2 - 4*c + 7. Let n(j) = 4*a(j) - 5*f(j). Let u be n(2). Is x(u) prime?
True
Suppose -3*v + 5*v = 6. Suppose -5*x + 3*k - 10 = 0, 0 = 2*k + v + 7. Is (x + 6)/((-1)/(-13)) prime?
True
Suppose 18 = -5*w - 22. Let q(h) = h**2 - h - 1. Let g(y) = -5*y**2 + 9*y - 5. Let b(k) = -g(k) - 4*q(k). Is b(w) a composite number?
False
Suppose 2*s - 26 - 444 = 0. Is s a prime number?
False
Suppose 0 = -5*b - 337 - 143. Let o = 53 + b. Let d = -6 - o. Is d a composite number?
False
Is (-2409)/(-27) + (-2)/9 prime?
True
Let f(p) = 13*p + 1. Let h = 9 - 5. Is f(h) prime?
True
Suppose 3*h - 3*t = h - 117, -4*t - 235 = 5*h. Let c = -18 - h. Is c a prime number?
False
Suppose -r + 4*k = -751, r = -4*r - k + 3713. Is r a prime number?
True
Let p = 2786 - 1989. Is p a composite number?
False
Let o = 725 - -32. Is o a composite number?
False
Suppose 0 = 4*x + 26 - 62. Let o = 0 + -1. Let m = x - o. Is m a composite number?
True
Let o = -4 + 121. Let h = o - -140. Is h composite?
False
Let q be (3 - 1)*-1 - -6. Suppose 5*x = 2*c - 215, -q*x = -0*c - 5*c + 563. Is c composite?
True
Let t(r) = r**3 + 5*r**2 - 6*r + 8. Let q be t(-6). Let j be 558/q - (-1)/4. Is (-6)/18 + j/3 composite?
False
Let j be -476 - (-1 + (2 - 1)). Let m be ((-6)/4)/(21/j). Let z = m - 19. Is z composite?
True
Suppose 3*y - 4*y = -4. Let l = y + -4. Suppose -2*t = -5*c - 81, 3 = -c - l. Is t a prime number?
False
Let j(c) = -27*c**3 + 3*c + 1. Let n be (-4)/(-6) - 48/18. Is j(n) a prime number?
True
Let s be 5 - (-2*6)/(-4). Suppose -4*o = -o - 9. Suppose -s*t = 2*t, 5*h - 185 = -o*t. Is h a composite number?
False
Suppose 2*y + n - 5 = 0, 0 = 2*y + 3*n - 6 - 9. Suppose y = g - 295 + 2. Is g composite?
False
Let a(r) = -r**3 - 6*r**2 - 4*r + 7. Let l be a(-5). Suppose l*f - 2*i = -5*i - 7, i = -5. Suppose 0 = 5*q - f*q - 185. Is q a prime number?
False
Let b = 12 + -6. Suppose b*i = -5*t + i + 310, -3*t = -4*i - 151. Is t prime?
False
Let h(n) = -n**3 - 7*n**2 + 12*n + 1. Suppose 27 = -3*u + 3*r - 0*r, u + 9 = 3*r. Is h(u) a composite number?
True
Suppose -5*g - 2*c + 35 = 0, 2*g - 5*c = 3*g - 30. Let u be (6/5)/(2/g). Is (0 - -2) + 14 + u composite?
False
Is 2/3 + 9335/15 composite?
True
Suppose -6*f + f - k + 4 = 0, -f + 16 = 4*k. Suppose f*u = 4*u - 1532. Is u a prime number?
True
Let h(y) = 97*y. Is h(1) a composite number?
False
Suppose 2*k = 5*z - 9753, 2*z + 0*k + 4*k = 3882. Is z a prime number?
True
Let m = -5 - 0. Let g = 13 + m. Let d(f) = f**2 - 3*f - 9. Is d(g) a composite number?
False
Suppose -3 = 3*u - 4*u. Suppose 5*l = -5*a + 382 + 318, -2*a + u*l = -295. Is a prime?
False
Let r = 36 - 17. Is r a composite number?
False
Let u(t) = -31*t - 5. Is u(-4) prime?
False
Suppose -5*o + 4*j + 4337 = 0, -3*o + 3*j + 2567 = -37. Let t = o + 520. Is t prime?
False
Let r = -4 - -10. Let w = r - 98. Let f = w + 219. Is f a composite number?
False
Suppose -3*c = -3*o - 642, o - 838 = -4*c - o. Is c a composite number?
False
Suppose -2*h = 9*h - 23749. Is h composite?
True
Suppose 10*k - 5470 = 8*k. Is k a composite number?
True
Let j(c) = -37*c - 17. Is j(-10) composite?
False
Let w = 16 - 10. Let p be w/9 + 44/6. Let y(l) = 18*l - 1. Is y(p) composite?
True
Let p(j) = j**2 + 3*j - 1. Let z be p(-4). Suppose 0 = -l + 3*y + 79, -2*l - z*y + 8*y = -154. Is l a composite number?
False
Suppose 5*a - 26 = 3*u, -5*u = -2*a - a + 6. Let h(s) = s**3 + 2*s**2 + 2. Is h(a) a prime number?
True
Let l = 8 - -2. Let x(z) = -z + 4. Let w be x(2). Is ((-10)/(-2))/(w/l) prime?
False
Suppose 5*h = 5*x + 1590, -h + 0*x = 3*x - 330. Is 4/(-14) + h/21 a prime number?
False
Let i(g) = 15*g + 1. Let y be i(-3). Is (-5)/(10/y) - 1 a prime number?
False
Suppose k = 48 + 94. Is k composite?
True
Let y = -33 + 17. Let d = y + 23. Is d a prime number?
True
Suppose -2*j = -4*j + 22. Let v be (3/2)/(-3)*-10. Suppose m - 3*x = j, -3*m + 0*x - v*x = -33. Is m composite?
False
Suppose -2*k - k + 753 = 0. Is k prime?
True
Let k = 2431 - 932. Is k a composite number?
False
Let u(j) = -j**3 - 8*j**2 - 7*j + 3. Let b be u(-7). Suppose 0 = r + b*r - 32. Let g = r + -5. Is g a composite number?
False
Suppose 4*q + 6 = -2. Let t = 2 - 1. Is t/(2/(-892)*q) composite?
False
Suppose 0*d = 5*d - 220. Suppose 0*v = -4*v - 4*b + d, -8 = -4*b. Is v/(-6) + (-51)/(-6) a composite number?
False
Let g = 19 + -50. Let u = 66 + g. Is u a prime number?
False
Let h = 5 + -3. Suppose -3*v - 3*y = -222, v - 4*y + 3*y = 80. Suppose -v - 1 = -h*r. Is r a prime number?
False
Suppose 0 = 4*g - 8, 3*z - 3*g = -2*g + 631. Is z prime?
True
Suppose 7*s = 3*s + 8, 0 = -m - s + 8. Is m/(-18) + (-284)/(-6) a composite number?
False
Suppose -2*v + 6*v = 64. Suppose 2*d = -2*d - v. Let b(g) = -g**3 + 1. Is b(d) a composite number?
True
Suppose 2*u - 23 = u. Let w = 56 + u. Is w prime?
True
Let s(y) = -2*y - 5 + y**2 + y - y. Let k be s(4). Suppose 0 = 4*a - 5*b - 255, -4*a + k*b + 204 = -53. Is a a prime number?
False
Suppose -5*u + 3*o + 6805 = 0, -o + 1812 = u + 451. Is u a prime number?
True
Let l = 311 + 566. Is l a prime number?
True
Let b(a) = a - 7. Let y be b(5). Is y*(1 - 63/6) prime?
True
Let d(j) = j**3 + 4*j**2 - 4*j + 4. Suppose 9*q - 4*q = -4*h - 2, 0 = h + 3*q + 4. Suppose -4*a + 20 = -h*y, 3*y = -4*a - 0*y. Is d(a) a prime number?
False
Let v be 7/49 - (-8776)/14. Let d = v + -178. Is d composite?
False
Let j be -1 + 0 - (1 + 55). Suppose 4*v = -7 - 9. Is v*(j/4 + 1) prime?
True
Suppose -2*f = -4*i + 102, f + 3*i = 2*f + 46. Let q = 9 - f. Suppose g - q = -g. Is g a prime number?
False
Let m(o) = 720*o - 1. Is m(1) prime?
True
Let i(q) = -q + 2. Let y = 3 + -1. Suppose 15 = -y*a - a. Is i(a) prime?
True
Suppose -3*c = -13 - 29. Is c composite?
True
Let j = 4 + -1. Let u be 2/j + (-7)/(-3). Suppose -2*k = -u*c - 206 + 993, -1313 = -5*c + 2*k. Is c a prime number?
True
Let w(o) = 100*o - 3. Is w(7) a composite number?
True
Suppose 3*b = 2*a - 3*a - 11, 4*b + 24 = a. Let s(k) = -2*k**3 - 4*k**2 - 5*k + 2. Is s(b) a prime number?
False
Let q = 7 + -3. Suppose -q*i = 2*w - 2, i - 5 = -0*w - 5*w. Is (-1)/(w - (-38)/(-37)) prime?
True
Let t(j) = 10*j + 4. Let m be t(-4). Let v = m - -55. Is v a prime number?
True
Suppose 4*g + 3*b = 892, 3*g - 5*b = -3*b + 669. Is g composite?
False
Let c(k) = k**2 + 10*k + 4. Let v be c(-11). Let g = -1 + v. Is g composite?
True
Suppose -3*m = -2*k + 102, -5*k + 272 = 5*m - 4*m. Let x = -30 + k. Suppose 2*i - x = 2. Is i prime?
True
Let q be 5/(-1)*(-1 + 0). Suppose 4*a = q*a - 701. Is a a composite number?
False
Suppose l = 5*l - 20. Suppose 2*u - l*u + 78 = 0. Is u a composite number?
True
Suppose 2*z + z + 30 = 0. Is z/25 + 297/5 a composite number?
False
Let d be 3/(-6) - (-22)/4. Suppose 0 = -d*p - 2*o + 195, 0 = -5*p + 3*o + 205 - 35. Is p a prime number?
True
Let a(i) = 3*i**3 - i**2 - 1. Suppose 2*p + 3 = -3*h, 5*h + 21 = -3*p + 5*p. Is a(p) a prime number?
True
Suppose 1486 = -5*t + 4646. Suppose 2*u - 155 = -w, 4*w - t = -6*u + u. Is w a composite number?
False
Let c be (12/30)/((-1)/(-5)). Suppose c*b - 284 = -2*a, -8*a = -3*a + b - 722. Is a composite?
True
Let q(m) = -m**2 + 3*m + 1. Let x(y) = -3*y**2 + 10*y + 4. Let o(s) = 17*q(s) - 6*x(s). Is o(-6) composite?
False
Let s = -70 + 125. Is s a composite number?
True
Let l be (-5 + 1)*(-3)/(-2). Let p be (-111)/l + (-1)/2. Suppose 4*t - p = 38. Is t a composite number?
True
Suppose 403 = 4*u - 657. Is u prime?
False
Suppose 0 = y + 5*q - q - 7, 4*y + 4*q - 64 = 0. Is y composite?
False
Suppose 0 = q - 4*v - 149, -4*q + v + 305 = -276. Suppose q - 35 = 2*n. Is n composite?
True
Suppose 4*k + 4*f = 2021 - 217, 2246 = 5*k - 4*f. Let s = -289 + k. Is s prime?
False
Suppose -5*k = 1 - 21. Is 2 + k/((-8)/(-214)) prime?
True
Let s = -16 + 10. Is (-984)/(-6) + s/2 prime?
False
Suppose -3*q + 1590 = 588. Is q a prime number?
False
Suppose 3*u = 3*r - r - 791, 0 = 4*u + 3*r + 1066. Is (u/10)/(1/(-2)) a composite number?
False
Let p(d) = -1 + 0 + 2 + 148*d**2. Let t(f) = -f - 5. Let n be t(-6). Is p(n) prime?
True
Suppose 0 = 2*u + 2*c - 10, u + 8*c - 3*c = 5. Suppose 0 = u*w - 34 - 41. Suppose j - 64 = w. Is j a prime number?
True
Suppose 0 = -3*p + 4*m - 10, -5*m + 22 = p - 0*p. Let j(b) = 6*b