 0 = -4*r - v + 614. Is (7 - 3)*r/2 a prime number?
False
Let r(n) = -27*n - 6. Let a be r(-3). Let c = a - 140. Let p = -28 - c. Is p a prime number?
True
Let r(f) = 2*f - 20. Let q be r(12). Suppose -q*n - 5*j = -23430, -2*n + 8025 = 3*j - 3691. Is n a composite number?
True
Suppose 146 - 56 = 5*k + 2*t, 3*k = t + 65. Let w = -20 + k. Suppose -3*u + 5*v = -167, w = -v + 2. Is u composite?
False
Let d = -15 - -15. Let l = 1 + d. Is 826/14 + (1 - l) a composite number?
False
Let n be -10 + (4 + 0 + -3)*-2. Is (n/(-8))/3*1114 prime?
True
Let v be 6/(-4)*(8 + -18). Let w(k) = v*k + 10*k - 33*k + 3. Is w(-15) a composite number?
True
Let h be (9/(-12))/((-3)/16). Suppose 0 = -3*z - h*n + 338, -7*z + 5*z + 256 = -5*n. Is z prime?
False
Is 2/6*183834/21 composite?
True
Let u(r) = -r + 13. Let t be u(4). Suppose -6*a + t*a = 642. Is a a composite number?
True
Suppose 0 = t - 117 - 486. Suppose -t - 413 = -2*n. Suppose -3*m = -29 - n. Is m a composite number?
False
Let c(t) = t**2 - 33*t + 35. Let n be c(32). Let p be 2/(-8) + (-33)/12. Is p/(756/(-251) + n) a prime number?
True
Suppose 31 - 7 = 6*g. Let t(p) = -5*p**3 + 4*p**2 - 2*p. Let h be t(-5). Suppose 109 = g*o - h. Is o prime?
True
Suppose 2296 = -m + 2*m. Let u = m + -3523. Is u/(-3)*2/2 composite?
False
Let z(t) = 3780*t**2 + 31*t + 30. Is z(-1) composite?
False
Let t = -37 - -61. Suppose -5*s - 4*f + 8 + 4 = 0, t = 5*s - 2*f. Suppose -s*b - h + 378 = -2, 5*b - 4*h - 454 = 0. Is b a prime number?
False
Let n(c) = -c**3 - 11*c**2 - 6*c - 13. Let t = -13 + 22. Suppose -o + 4*i = -t, -4*i + 12 = 4*o + 76. Is n(o) prime?
True
Let w be (2 - 5)/3 + -3. Let y be (4/(-3))/(w/6). Suppose -2*m - 10 = 3*m, y*l = 2*m + 48. Is l composite?
True
Let b be (6/(-7))/(1/7). Let u be (7 + b + 3)/2. Is (-3)/((u/(-11))/2) composite?
True
Let f = 21 - -127. Suppose 60 = -4*j + f. Is j/33*(-1758)/(-4) a prime number?
True
Suppose z + 3*z = 3*m + 16433, -5*m + 4114 = z. Is z a composite number?
True
Is -764*4/32*-22 a prime number?
False
Let h = -20494 + 42381. Is h composite?
True
Let x(u) = 53*u**2 - 19*u - 43. Is x(24) a prime number?
True
Let l(i) be the first derivative of 8*i**3 + i**2/2 - 2*i + 17. Let k be (-3)/(0/2 + 1). Is l(k) a composite number?
False
Let i(h) = h**2 + 6*h - 5. Let d be i(-4). Let n(m) = m**2 + 13*m - 4. Let j be n(d). Let o(g) = g**3 + 8*g**2 - 5. Is o(j) prime?
True
Let p = 77205 + -38704. Is p a prime number?
True
Let c(f) = -20*f**3 - 4*f**2 + 4. Suppose 4*z + 3 = -3*i, -z + 2*i - 3 = -2*z. Let s be c(z). Suppose 0 = 5*p - p - 4*v - s, 5*p + v = 635. Is p a prime number?
True
Let d = -131 + 366. Let w = 462 + d. Is w prime?
False
Let n = 16 + -11. Suppose -n*w + 14 = -1. Suppose w*b - 562 + 73 = 0. Is b composite?
False
Let s(u) = -u**2 - u + 4. Suppose 0 = 3*x - 4 - 2. Let j be s(x). Is -4 + 100 - (1 + j) prime?
True
Suppose 23*r + 3659 = 24*r. Is r composite?
False
Let v(t) be the third derivative of -5*t**4/24 - 4*t**3/3 + 3*t**2. Let b be 18/8*(-8)/2. Is v(b) a composite number?
False
Let u = -3954 + 10151. Is u prime?
True
Let q(d) = 4*d**2 + 9*d + 3. Suppose -f = 3*f. Suppose 2*p - 5*n - 36 = f, -2*p + 2*n = -p - 16. Is q(p) a composite number?
False
Let b(l) be the first derivative of -23*l**2 + 3*l + 2. Let y = -29 + 18. Is b(y) a prime number?
True
Suppose -p + 0 - 3 = -b, -3*b = -2*p - 8. Suppose -3*v - 2*m = -3967, -2*v - 3*m - b*m + 2663 = 0. Is v a prime number?
True
Suppose -5*p - 35 = 5*y, 0 = -3*p - 0*p - 2*y - 17. Is (-1 - -850) + (0 - 6/p) a composite number?
True
Suppose 4*v - 5*v + 5*a + 1 = 0, -9 = -v + 3*a. Suppose 17*k + 380 = v*k. Is k prime?
False
Let l(d) = -3632*d - 1. Is l(-7) a prime number?
True
Let z(a) = 223*a - 22. Suppose 0 = -5*k + 4*n + 31, 1 = 2*k - 2*n - 13. Is z(k) composite?
False
Let x = -32 + 31. Is (-1)/(x/(-746)*-2) a prime number?
True
Suppose -3*j + 4*p - 15 = -79, -3*j + 44 = p. Suppose a - 6 = -g - g, 4*g = -3*a + j. Let h = 8 - a. Is h composite?
True
Suppose 0 = 5*l - 4*s + 1 - 13, -4*l - 2*s + 20 = 0. Suppose 0 = l*c - 794 + 118. Suppose 4*b = c - 21. Is b prime?
True
Let s(d) = 44*d - 30. Let j be s(13). Let o = 1279 - j. Is o a composite number?
True
Suppose -2926 - 15162 = -q. Is q/32 + (-2)/8 a prime number?
False
Suppose 2*o + 15 + 11 = 0. Let r = 25 + o. Is -4 + 51*4/r composite?
False
Let c(x) = -27*x + 3. Let w = 7 - 10. Let y = -1 + w. Is c(y) a composite number?
True
Let n(p) = -p**3 + 5*p**2 + 7*p - 9. Let g be n(6). Let u be (-3 - -1)*g/2. Suppose 5*l - s - 4*s - 80 = 0, u*l + 5*s - 24 = 0. Is l composite?
False
Suppose 0*h + l + 648 = 5*h, 4*h + 5*l = 530. Let t = 245 - h. Is t a composite number?
True
Let a be (6/(-2) - -2)*3. Let k be ((-8)/a)/(14/21). Suppose 0 = 4*l - k*y - 384 - 488, 2*y = -4*l + 902. Is l prime?
True
Let o(t) = -2538*t - 3. Let l be o(1). Let c = -607 - l. Is c prime?
False
Let r = -5 + 7. Suppose f - r*g + 0 - 53 = 0, 0 = -3*f + g + 134. Let b = -17 + f. Is b a composite number?
True
Let f(t) = 709*t - 15. Let x be f(6). Suppose -4*c + q + 4243 = 0, 4*c - 2*q - x = 3*q. Is c a composite number?
False
Let x = -128 - -792. Let p = 1337 - x. Is p a composite number?
False
Let n = -8 - 0. Let a be ((-2442)/n)/(1/4). Let d = a - 700. Is d prime?
True
Let d(q) = 3*q. Suppose 10 = -0*k + 2*k, y = -2*k + 21. Let g(a) = 14*a + 1. Let f(o) = y*d(o) - 2*g(o). Is f(7) a composite number?
True
Is (-51867)/(-12) - 95/76 composite?
True
Let o(g) be the third derivative of g**5/60 - g**4/24 - 161*g**3/2 + 6*g**2. Let l be o(0). Let a = -250 - l. Is a prime?
True
Let s be -9 - (5 - (2 - -3 - 1)). Is 784/12 + -2 + s/(-6) a prime number?
False
Let f be -3*(-1 - 2/(-3))*-2. Is (1340 + -1 + f)/1 a composite number?
True
Is 7 + (-2 - -2 - -4194) a composite number?
False
Let g = 16602 + -4405. Is g a prime number?
True
Let b(k) = 24*k + 7. Let p be 12*((-20)/(-8) - 3). Let x = p + 11. Is b(x) a prime number?
True
Is (2/6 - (-58)/(-87))*-327039 a prime number?
True
Suppose -43267 = -3*j - 4*m, 3*m + 2*m = -25. Is j composite?
True
Suppose 7*m - 2*m + 30528 = 2*g, 5*g = 3*m + 76301. Is g a composite number?
False
Let g(o) = -o**2 + o - 1. Let h be g(0). Suppose -228 = -11*r + 5*r. Is r + 3 + h + -3 a prime number?
True
Let x be (-3)/9 - 9169/(-3). Suppose -x = -2*g - 0*g. Suppose 0*i = i + 1, 5*h = 3*i + g. Is h a composite number?
True
Suppose 15 = 4*v - 0*k + 5*k, 0 = 2*v + 3*k - 7. Suppose -p + 1571 = v*q, -5*q - 5*p = -3*q - 633. Is q a composite number?
True
Suppose -3*r + 2*j = -29, 0*j + 2*j = 5*r - 43. Suppose 8 = r*u - 3*u. Is 357/u - 4/(-8) prime?
True
Let u(k) = 87*k. Let w(z) = -86*z - 1. Let r(j) = 2*u(j) + 3*w(j). Let h be r(2). Is 1 + -3 + h/(-3) a prime number?
False
Let r be (-9)/3 + 6 + 24. Suppose 74 = v + r. Suppose 0 = -v*x + 44*x + 7185. Is x composite?
True
Let y = 4 + -37. Let i = y + 44. Is i prime?
True
Let u be 2/4 + 2365/22. Let d be u - (-6)/(-4)*-2. Let v = 170 - d. Is v composite?
False
Let y be -4*(-2 + -1 - -2). Suppose -4*z = -2*a + 26 + 4, -4*a = -5*z - 45. Suppose -4*u + 17 - a = 0, -2*u + 1438 = y*x. Is x prime?
False
Let r(g) = g**3 - g**2 + 4*g - 8. Let c = 5 - -2. Is r(c) a composite number?
True
Let b(j) = j**3 - j**2 + 11*j + 1774. Is b(0) a composite number?
True
Suppose 3*b - 4*b + 13 = 0. Suppose -b*x + 235 = -8*x. Is x a prime number?
True
Suppose 4*h + 20*v - 5453 = 15*v, 0 = -h + 3*v + 1376. Is h prime?
True
Suppose 5*d + 13865 = 3160. Let o = -224 - d. Let w = o - 1028. Is w a prime number?
False
Let u be 3/(-2)*2 - 20722. Is (-4)/(-26) - u/65 a composite number?
True
Let j(z) = z**3 + 12*z**2 - 17*z - 1. Let g be j(-13). Let w = 74 - g. Is w a prime number?
True
Let p(v) = 27*v - 53. Is p(20) a composite number?
False
Let t = 643 - -384. Is t a composite number?
True
Let y = -1217 + 2340. Is y a prime number?
True
Suppose 19*z - 24*z = -8795. Let d = -1216 + z. Is d a composite number?
True
Let o(v) = v**2 - 6*v + 8. Let f be o(5). Suppose f*w + 5*s = 1030, w = -0*w - 3*s + 350. Suppose -3*h = -w - 766. Is h prime?
True
Suppose 0 = 6*r - 12, 12*q = 8*q - 4*r + 79404. Is q prime?
False
Let w = 282 + 278. Let o = w + 102. Is o a composite number?
True
Suppose -5*c = -4*x - 192 + 851, -2*c - 662 = -4*x. Let f = 6 + -9. Is (1 + x/f)*-9 a composite number?
True
Suppose 