*t + 4*k. Let i = t + 17. Is i a prime number?
True
Let i(l) = -l**3 + l + 1. Let j(k) = -7*k**3 - 5*k**2 + 15*k + 8. Let n(y) = -6*i(y) + j(y). Is n(-7) a prime number?
True
Let w be (-57)/(-21) - 4/(-14). Is (-1 + -4 + w)*-23 prime?
False
Suppose 0*w - 5*w = -15. Let j = 35 - w. Suppose 2*p - 69 = a, -a - j = -p - 0*p. Is p composite?
False
Is 32748/20 + ((-17)/5 - -3) a prime number?
True
Suppose -676 = -5*q + 3*p, 2*q + p - 264 = -p. Suppose 544 = 5*h + q. Is h composite?
True
Let r(y) = -3*y**2 + 4*y - 7. Let p(c) = -7*c**2 + 9*c - 15. Let v(b) = -4*p(b) + 9*r(b). Let x = 8 + -14. Is v(x) a prime number?
False
Let d(n) = -19*n + 22. Is d(-15) a prime number?
True
Let n(k) = k**3 + 2*k**2 - 2*k + 3. Let r be n(-3). Let t = 7 + r. Is t prime?
True
Suppose -2*r + 3*y + 11 = 0, 4*y = 5*r - 8 - 9. Let s be (10/(-2))/(r/(-1)). Suppose -598 = -s*o + 147. Is o a prime number?
True
Suppose -c = -320 + 67. Let i = c - 126. Is i composite?
False
Let r(g) = -g + 6. Let u be r(-6). Suppose 0 = 4*t, -3*t = -d - 2*t + 2. Is 786/u - 1/d composite?
True
Suppose 68 - 238 = -5*o. Is o composite?
True
Let p(x) = 2*x**2 - 11*x + 16. Is p(-11) prime?
True
Suppose -s + 2*u + 18 = 0, 4*s - s = u + 64. Suppose -g = -2*g + s. Is g prime?
False
Suppose -162 = 4*m + 86. Is (m/4 - 3)*-10 a composite number?
True
Suppose 5*i = 2*i + 24. Suppose -4*m - 20 = -i*m. Suppose -142 = -m*a + 123. Is a prime?
True
Suppose 3*j = 5*j + 12. Suppose 5*g + 289 = -2*p, -3*p + 2*g - 425 = g. Is p/j + (-6)/9 composite?
False
Suppose 168 = 2*g - 506. Is g prime?
True
Suppose 290 = -6*l + 4*l. Let o = 242 + l. Is o a composite number?
False
Let u = -25 + 43. Suppose -5*g + 2 + u = 0. Is g a composite number?
True
Let w(v) = -3*v - 17. Is w(-12) a prime number?
True
Suppose 0 = -4*t + 6 + 10. Suppose -499 = -4*o + 3*j, t*j = -0*o + 2*o - 242. Is o composite?
False
Suppose 6*h - 4942 = -8*h. Is h a prime number?
True
Is 2194/14 - ((-5)/(-7) - 1) a prime number?
True
Let f = 5 + -2. Let y(d) = -10*d - 2. Let q be y(-2). Let i = f + q. Is i composite?
True
Let a(p) be the third derivative of p**4/24 + 5*p**3/3 + p**2. Let r be a(-5). Is (-818)/(-5) + (-3)/r a composite number?
False
Let t be (4/(-10))/(4/(-20)). Is t + 113*(-2)/(-2) a composite number?
True
Suppose 0 = 5*i + 20, 3*q + 2*i + 0*i + 17 = 0. Let w(n) be the second derivative of -n**3 + n**2/2 - 13*n. Is w(q) prime?
True
Let k(d) be the third derivative of 7*d**4/4 - 5*d**3/6 + d**2. Is k(2) a composite number?
False
Is (4722/(-3))/((3 - 1)/(-1)) composite?
False
Suppose 0 = -l + 323 + 86. Is l prime?
True
Suppose 6*x - 16 = 2*x. Suppose -x*d + 785 + 419 = 0. Is d prime?
False
Let h = 60 - 30. Suppose -c = c - h. Is c a composite number?
True
Let t = 67 + -25. Let r be 3432/t + (-2)/(-7). Is 2/4 - r/(-4) a composite number?
True
Is (6/4)/(3/212) a prime number?
False
Suppose 7 + 2 = 3*x. Suppose h - 3*a - 349 = -x*h, 0 = -h + 5*a + 100. Is h prime?
False
Suppose 2*u - 8 = -0. Let h be (-1)/u - (-39)/12. Suppose k + 9 = -5*q + 58, -3*k - h*q = -111. Is k prime?
False
Is (-2)/(-4) - (28035/(-14))/9 a prime number?
True
Let c(a) = -a**3 - 8*a**2 + 4*a - 6. Is c(-9) a composite number?
True
Let l(z) = -3 - z + 0 + 2*z. Let a be l(6). Suppose -m + 5*o = -31, -61 = -3*m - 4*o + a*o. Is m prime?
False
Let h = -5003 + 7554. Is h prime?
True
Let d be ((-8)/(-6))/((-4)/(-6)). Suppose b + 5*h = 24, 5*h - 29 - 3 = -3*b. Suppose n - b*y - 34 = 0, -1 = -d*y - 11. Is n composite?
True
Suppose -t - 4 = t. Let k be t/(-9) + (-2015)/(-45). Is 4/18 - (-5975)/k a prime number?
False
Let c(j) be the first derivative of j**3/3 + 4*j**2 + 3*j + 5. Is c(-10) a composite number?
False
Let i(r) = 8*r**2 - r - 1. Let j(u) = u**3 - 14*u**2 - u + 10. Let q be j(14). Is i(q) a prime number?
True
Is (5/(-2) - -1)/(15/(-8950)) prime?
False
Let u(r) = 30*r**2 + 12*r - 24. Let b(s) = -20*s**2 - 8*s + 16. Let o(a) = -8*b(a) - 5*u(a). Let q be o(9). Let j = -503 + q. Is j prime?
False
Let a be ((-644)/(-21))/(2/102). Is a + (8/4 - -1) a composite number?
False
Suppose 0*z + 22 = 5*z + s, -3*z - 2*s + 9 = 0. Suppose z*y = -5 - 0. Let w = y + 11. Is w a prime number?
False
Suppose -15 = -3*k, 0 = -5*c - 2*k + 1529 + 1876. Is c prime?
False
Let l(p) = 20*p + 7. Let k be l(6). Suppose y = 2*y - k. Is y a prime number?
True
Suppose 5*v - 1874 = -3*b, -4*v - 3*b = 267 - 1768. Is v a composite number?
False
Suppose i - 176 - 47 = 0. Is i composite?
False
Let v(c) = 2*c**2 + 12*c - 3. Is v(-9) prime?
False
Let j be (-139)/(-3) + (-2)/(-3). Suppose j = x - 38. Let y = x - 52. Is y a composite number?
True
Suppose -2*x = -6*x + 356. Is x a prime number?
True
Let l = 408 + -87. Suppose -4*r = 73 - l. Let s = 119 - r. Is s a prime number?
False
Let i(v) = v + 4. Let k be i(-2). Let y(n) = 4 - 2*n + 3*n**2 + 4*n**k - 6*n**2. Is y(5) a prime number?
True
Let t = 122 + -79. Is t a composite number?
False
Let x be (-14)/(-4)*(-24)/(-42). Suppose -602 = -x*f - 3*k, -3*f - k = 3*k - 905. Is f a prime number?
True
Let i(h) = -24*h**3 - 2*h - 1. Suppose 5*a - 5 = -10. Is i(a) prime?
False
Let o(d) = 5*d**3 - 5 - 8*d**3 + 2 + 4*d**3 + 2*d**2 - 7*d. Is o(8) prime?
False
Let b(z) = -165*z + 1. Let f = 5 + -7. Is b(f) a composite number?
False
Let w = 2 - -3. Suppose w*h - 46 = 4*h. Is h a composite number?
True
Let c = -8 + 14. Suppose -c*t + 2*t + 8 = 0. Suppose 6*g - g - 405 = -5*h, 8 = -t*g. Is h composite?
True
Let v = -42 + 73. Suppose 2*f - v = -3. Is f a prime number?
False
Let d = 41 - -398. Is d prime?
True
Let a(o) = -o**2 - 8*o + 6. Let s be a(-8). Let c(m) be the third derivative of m**4/24 + 7*m**3/6 - 2*m**2. Is c(s) prime?
True
Let y(l) = -21*l - 2. Let a = 0 - 3. Let v be y(a). Is (1 - v)*-1 - 2 a prime number?
False
Let m(l) be the second derivative of l**3/6 + 5*l**2/2 - 2*l. Let v be m(0). Suppose -v*w + 11 - 1 = 0. Is w composite?
False
Let s(u) = -3*u - 1. Let h be s(-2). Suppose 6 = -h*n - 4*j + 37, 19 = 2*n - 5*j. Is n/(-21) - 154/(-3) a prime number?
False
Let n = -2 + 1. Let y be 246 - (0/3 - n). Suppose 7*s - 2*s = y. Is s prime?
False
Suppose 125 = 4*k + k. Suppose -5*d + 5*t = -0*d + 3930, t = 1. Is 4/(-10) - d/k a prime number?
True
Let l(d) = 8*d - 7. Let w(h) = -7*h + 6. Let a(r) = -6*l(r) - 7*w(r). Let s be a(-1). Is (s*3)/(-9)*69 a prime number?
True
Let o(z) = z**2 + 7*z - 11. Is o(-9) composite?
False
Let r(g) = 3*g - 3. Let u = -40 - -12. Let f = -20 - u. Is r(f) prime?
False
Suppose -2*g + 12 + 56 = 2*q, 2*g - 4*q = 92. Suppose 4*i - 6*i + g = 0. Is i a composite number?
False
Is (16508/(-6))/((-80)/(-15) + -6) a prime number?
True
Is 85 + 2 + 0 + -4 a composite number?
False
Let d(x) = x**2 + 7*x + 10. Let y be d(-9). Let n be 7/y + (-14)/(-8). Suppose 6*j = n*j + 424. Is j prime?
False
Suppose 0 = 3*d - g - 3722, 4*g - 1062 = -3*d + 2665. Suppose d = 5*h + 306. Is h composite?
True
Let g = -16 - -16. Is 102 - ((-3 - -2) + g) a composite number?
False
Suppose 0 = -2*x + 59 + 11. Let b = x + 146. Suppose 4*o - 15 - b = 0. Is o composite?
True
Let o = 10 + -8. Suppose o*k - 1772 = -2*k. Is k a prime number?
True
Let f(b) be the second derivative of b**4/12 + 3*b**2 - 3*b. Is f(5) composite?
False
Suppose -d + 3*d = 10. Suppose 2*g = -2*g + d*v + 76, -5*g + 4*v = -95. Is g composite?
False
Let w(p) = 485*p + 28. Is w(3) composite?
False
Let u be (-3)/(-1)*(-224)/48. Is 1/((-2)/(0 + u)) composite?
False
Is (1563/(-6))/((-2)/4) prime?
True
Let m = 8 + -5. Suppose 2*k - 11 = -0*k + m*p, p = 3*k - 13. Suppose -43 = -3*t + 2*g - 7*g, 0 = -3*t + k*g + 79. Is t composite?
True
Let v = -1 + 3. Is (7 + -6)/(v/746) a composite number?
False
Let t = 2 - 4. Is (-1 - t)*38/2 prime?
True
Let a(r) = r**3 + 6*r**2 - 2*r + 7. Let n be a(-5). Suppose -i - n = i. Is 2/((-6)/17)*i prime?
False
Let i(f) = 117*f - 62. Is i(15) a prime number?
True
Let s(j) = -15*j + 4. Let a(c) = 3*c - 1. Let r be a(1). Suppose 5*p + 26 = -4*k, -4*p = -r*p + 3*k + 9. Is s(p) a composite number?
True
Suppose 5*c - v - 3148 = -931, 0 = -3*c + 3*v + 1335. Is c composite?
False
Let l(n) = 54*n**2 - 3*n - 1. Suppose -12*d = -9*d + 6. Is l(d) a composite number?
True
Let w(s) = -3 + 4 + 9*s**2 + 7*s + 4. Is w(-4) a composite number?
True
Let p = 9 - 4. Suppose 0*a + a = p. Suppose a*x - 485 