= 0, -x - 6*m = -4*m - 17. Suppose -4*h + x = -3*h. Let n = h + 2. Is n prime?
True
Let u(y) be the third derivative of y**7/1680 - 7*y**6/720 + y**5/30 - y**2. Let c(v) be the third derivative of u(v). Is c(7) composite?
True
Suppose z = 5*z. Suppose 3*n + 0*n - 102 = z. Is n prime?
False
Suppose 0*o = -3*x + 2*o + 11, 0 = -5*x - o + 27. Let d(a) = 19*a**2 + 3*a + 7. Let y be d(-5). Suppose n - i + 22 = 110, 4*i = -x*n + y. Is n prime?
False
Let r = 3875 + -2724. Is r composite?
False
Let k = -286 - 423. Let v = -408 - k. Is v a composite number?
True
Suppose -v = 3*s - 44, -2*v - 3*s - 13 = -110. Let x = v - -21. Is x a composite number?
True
Is 2*((-22182)/(-12) - 0) a composite number?
False
Suppose -803 = -5*q + 4*q. Is q prime?
False
Let i be (32/(-20))/((-4)/10). Suppose l + l - 2*y - 1788 = 0, 0 = 3*l - i*y - 2687. Is l a prime number?
False
Let o(l) = 2*l**3 - 4*l**2 - 3*l + 1. Let q be o(5). Let c = 295 - q. Is c a composite number?
True
Is 82 + ((-3)/5)/((-2)/(-10)) composite?
False
Is (2/6)/(6/2556) prime?
False
Let a be (-2)/(-5) + 196/10. Suppose 3*i = -i + a. Suppose x - 5*x = 3*l - 115, -i*x + 3*l = -110. Is x a prime number?
False
Let t(a) = a**2 - 5*a + 3. Let n be t(5). Let d(p) = 2*p**3 - p**2 + 4*p - 4. Is d(n) composite?
False
Is 194/18 + (-14)/(-63) a composite number?
False
Suppose 0 = -v - 6 + 2, -5*a + 185 = -5*v. Suppose -2*j = g + 3*g - 58, g - a = -j. Is j composite?
False
Suppose -3*l + 2864 = 5*r - 350, r = -1. Is l composite?
True
Let g be (-3)/6*0 + 2. Suppose -h = -4*p + g*p + 314, -5*p + 785 = 4*h. Is p composite?
False
Let f = 1263 - 764. Is f prime?
True
Let p(a) = -1590*a + 1. Is p(-2) a composite number?
False
Let a(j) = 15*j - 4. Let v be a(-5). Is (v/(-3))/((-2)/(-6)) a prime number?
True
Let j(d) = d**3 + 8*d**2 + 5*d - 9. Let x be j(-7). Suppose 0 = -0*u - u + x. Suppose -u*f + 28 = -f. Is f a prime number?
True
Suppose 0 = n - 2*n + 2. Suppose -d + 19 = s - n*s, -4*s - 16 = 0. Is d a composite number?
True
Let z(u) = -7*u**3 - 9*u**2 - 4*u - 4. Let w(t) = t**3 + t**2 + 1. Let s(n) = 5*w(n) + z(n). Is s(-3) composite?
False
Let p = 107 + -60. Is p prime?
True
Suppose -l - 421 = r, 0*r + 1709 = -4*r + l. Let y be -1 + -270 - 0/3. Let f = y - r. Is f a composite number?
True
Suppose -4 = 5*h - 24. Suppose -h*y + 2204 = j + 3*j, -1625 = -3*j + 4*y. Is j prime?
True
Suppose -5*b = -5*r + 5, 30 = 4*r + 5*b - 1. Let f be (r + 470)*2/4. Suppose 3*y + 3*x - 6*x - f = 0, 2*x + 389 = 5*y. Is y prime?
False
Suppose 394 = 2*v - 64. Suppose 3*r = -r + h + 115, 5*r - 155 = 5*h. Let m = r + v. Is m prime?
True
Let x(i) be the first derivative of -19*i**2/2 + 2*i + 9. Is x(-3) a composite number?
False
Suppose -3*b + 186 = -459. Is b composite?
True
Let q be (-5 + 3)/(-2)*5. Suppose q*h - 4*h - 2 = 0. Suppose 4*i - h*i = 12. Is i composite?
True
Let c(f) = -2*f**3 + f**2 - f + 13. Is c(-7) prime?
False
Let t = -3 + 4. Is ((-13)/(-4))/(t/4) a composite number?
False
Suppose 5*g - 689 = -114. Suppose 2*b - 33 = -c + g, -5*b + 15 = 0. Suppose -4*n + c = -46. Is n a composite number?
False
Suppose b + 3*l - 137 = 0, 4*b = 9*b - 2*l - 651. Let j = b + -12. Is j prime?
False
Let v = 7 + -7. Suppose 2*f - 4 = -v. Suppose -z = -f*x - 71, -6*x - 69 = -z - 5*x. Is z a composite number?
False
Suppose -4*r + 54 = -r. Let h be 2470/r + 10/(-45). Suppose 4*k - 18 - h = -5*v, 3*v + k - 93 = 0. Is v composite?
False
Let g(y) = y - 1. Let o be g(0). Let l = -4 - o. Let u = l - -6. Is u a prime number?
True
Let z be -2 - (-2 - (108 + 2)). Let v be (-2)/8 + 3/12. Suppose 0 = 5*g - v*g - z. Is g composite?
True
Let k(f) = -2*f**3 + 3*f**2 - 2. Let s = -17 - -14. Is k(s) prime?
True
Let z = 681 + -953. Let q be 4/14 - (-9213)/21. Let v = z + q. Is v composite?
False
Suppose -y + 0*q - 11 = q, 0 = 4*y - 2*q + 74. Is 72/7 + y/56 a prime number?
False
Let w(u) = -u**2 + 2. Let r be w(-2). Let q = 1 + r. Is 1*q*(-106)/2 composite?
False
Let s(t) = -10*t**3 + t - 1. Is s(-4) composite?
True
Let r(c) = -c - 2. Let m be r(-2). Let y be 0*(2 - 0)/4. Is (-1 - (y - m))*-263 composite?
False
Let z be ((-1)/2)/(2/(-8)). Suppose 0 = -0*o + z*o - 218. Is o prime?
True
Suppose -4*c = -0*l + 3*l - 5, 14 = 5*c - 4*l. Suppose 10 = -c*g - 2*r, -g + 2*g - 5*r - 25 = 0. Suppose -x + 87 = -g*x + m, 10 = -5*m. Is x prime?
True
Let o = 107 - 18. Is o a prime number?
True
Suppose -r - 2*r + 2253 = 0. Is r composite?
False
Let f(p) = 105*p**2 - 2*p + 3. Let t be f(2). Let z = 738 - t. Is z composite?
True
Let p be 15/4 + (-4)/(-16). Suppose m + 2*x = -2*x + 2, p*x = 0. Suppose 0 = m*f - 3*f + 65. Is f prime?
False
Suppose j - 254 = -0*j. Suppose -4*s + 62 = -j. Is s prime?
True
Let g(p) = -p**3 - 4*p**2 - p + 5. Let y be g(-4). Suppose -y + 4 = -s. Let c(o) = o**3 - 4*o**2 - 3*o. Is c(s) a prime number?
False
Let v = 1 - 7. Let r(a) = -a**3 - 4*a**2 - 3*a - 5. Is r(v) prime?
False
Let a(o) = o. Let x be a(-8). Is 38/x*(4 - 8) a composite number?
False
Let h be (15/(-6) + 1)*-22. Suppose -3*m + 4*y = -4*m + h, -42 = -2*m - 2*y. Suppose -3 - m = -5*n. Is n prime?
False
Let x = 0 + 3. Let o be (2/2)/1 + x. Suppose 4*c + 51 - 403 = -4*w, -o*w = 3*c - 351. Is w prime?
False
Suppose -3*n + 3*o + 96 = 0, -4*o + 122 + 46 = 4*n. Let b(l) = l - 2. Let j be b(5). Suppose -n = -4*s + j*s. Is s a prime number?
True
Suppose -3*m = l - 14, 3*l + 5*m - 40 + 10 = 0. Let t(v) = 7*v**2 + v. Let p be t(-1). Let k = l + p. Is k a composite number?
False
Suppose 4*f = -2 + 42. Suppose 0*r + f = 2*r, -5*w = -r - 15. Suppose -5*t + 4*t - 34 = -2*j, 0 = -w*j - 3*t + 88. Is j a prime number?
True
Let k(a) = a**2 - 3*a + 3. Is k(-4) prime?
True
Let u(b) = 5*b - 4. Let s(l) = 4*l - 5. Let j(n) = 2*n + 8. Let w be j(-6). Let g(m) = w*s(m) + 3*u(m). Is g(5) composite?
False
Let v = -19 - -20. Is (v + -16)*39/(-9) a composite number?
True
Suppose 4*s - 1231 = -3. Is s prime?
True
Let l be (-11)/((-2)/(2 - -2)). Let v = l - -43. Is v prime?
False
Suppose -760 = -2*a - u, -5*u + 8 = -u. Is a composite?
False
Suppose g = 54 + 1. Let b = g + 2. Is b composite?
True
Let o = -339 + 598. Is o prime?
False
Let f be -84*((-33)/(-9) + -4). Is 2/(-14) + 8600/f a prime number?
True
Let x(o) = o**3 - 4*o**2 + o - 2. Let r be x(4). Let a = 0 + r. Let z(q) = 2*q**3 - q**2 - 3*q + 1. Is z(a) composite?
False
Suppose 0 = 2*y - 4*y + 5*l + 341, 0 = -3*y + l + 531. Let c = 485 - y. Is c a composite number?
False
Suppose -931 = 2*z - 6*z + 3*d, 3*z - 694 = -2*d. Let r = z - 9. Is r prime?
True
Let y = -5 + 13. Let s = -5 + y. Suppose 0 = 3*d - 3*v - 366, -2*d + 580 = s*d + 5*v. Is d composite?
True
Is 1009/1 - (0/2 - -2) composite?
True
Is ((-718)/(-8) - 3)/(5/20) a prime number?
True
Is 18/27 + 205/3 a composite number?
True
Let s = -1434 - -2751. Suppose 359 = 4*k - s. Is k a composite number?
False
Suppose -4*a - 254 = t + 262, 0 = -a - 5*t - 129. Is (-1)/2*a*2 prime?
False
Let a = 326 - 165. Is a composite?
True
Let u be 6/2 + (-2 - -4). Suppose -u*p - 20 = -0*p. Is p/(-14) + 786/42 a composite number?
False
Let j(a) = 16*a**2 + 4*a + 3. Let y be j(-6). Suppose 0 = -3*k - 66 + y. Is k a prime number?
True
Is (5 + -884)*1/(-3) a composite number?
False
Suppose -2*w + 9 - 29 = -5*b, 0 = 3*b - 12. Suppose w*p + 4*p - 12 = -4*u, -2*u + 4*p - 24 = 0. Is (-546)/(-10) + u/(-5) composite?
True
Let y be 10 - (0 + (-3)/3). Let d = 37 - y. Suppose 104 = 3*m + d. Is m composite?
True
Let f(d) = d**2 + d - 9. Let g be f(8). Suppose -3*c = 3*r - g, 2*c + 3*c - 107 = -4*r. Is c a prime number?
True
Suppose 0 = -3*r + 8*r + 270. Let j = r + 114. Suppose -5*o - j = -170. Is o a prime number?
False
Let i = -6 + 5. Let k(p) be the first derivative of 26*p**3 + p + 1. Is k(i) composite?
False
Let g = -13 - -23. Suppose -g = p + 5. Is 14/3 - (-10)/p a composite number?
True
Let n(j) = -j + 7. Let z(h) = h**2 - 5*h - 6. Let a be z(6). Is n(a) a prime number?
True
Suppose -2*c + 81 = 13. Is c prime?
False
Let j(f) = -5*f**3 - 3*f**2. Let o be j(-2). Let r be (-12)/(-7) + 8/o. Is (67*(r + 0))/2 a prime number?
True
Let f = 18 - 13. Suppose -i + 2 + 3 = 0. Suppose 0 = -i*r - 4*b + 189, -r + f*b = 2*r - 106. Is r composite?
False
Let l(n) = 150*n**2 - 6*n - 1. Is l(2) composite?
False
Suppose 6 = -3*b, -2*b + 0 = -c + 4. Suppose 