+ 1. Let x be g(-4). Is -1869*(x/(-9))/(-5) a prime number?
False
Let j(p) = -p**2 - 4*p + 1. Let b be (-1)/(25/8 - 3). Let q be j(b). Let g = 36 - q. Is g a prime number?
True
Let a be (-3)/12*-514*2. Suppose -534 = -3*p - 0*p. Let v = a - p. Is v a prime number?
True
Suppose -4*c + 24 = -0*c. Let n(m) = 10 + 1 - 4 + c*m + m**2. Is n(-9) a composite number?
True
Let g = -1303 - -3104. Is g a prime number?
True
Let w(k) = -3*k**2 + 9*k - 9. Let j be w(6). Let v = -41 - j. Is v a prime number?
False
Let t = 11 - 7. Suppose 9*w - 4*w - 42 = -t*n, -3*w - 45 = -3*n. Is n a composite number?
False
Suppose 0*b = -3*b + 3243. Is b composite?
True
Let z = 253 - 54. Is z a composite number?
False
Let o be 6/(3/1) - -31. Is o - (-2 - 0/3) a composite number?
True
Let x be 1 - (-2)/(-4)*-2. Suppose -226 = x*h + 48. Let t = -54 - h. Is t a composite number?
False
Let n(h) be the first derivative of h**4/2 - h**3 + h**2/2 - h + 1. Suppose -22 + 62 = 10*a. Is n(a) a composite number?
False
Let g(k) = k**3 + 2*k**2 - 2*k - 2. Let x be g(-2). Let z = x - -2. Is z a prime number?
False
Let w(j) = j**3 + 13*j**2 + 10*j + 15. Let v = 9 + -19. Is w(v) prime?
False
Let d = -2 + -3. Let y = d - -7. Is 872/6 + y/(-6) a composite number?
True
Let m(k) = k + 5. Let s be m(0). Let p(w) = 5*w - 2. Is p(s) a composite number?
False
Let l be (-3 + 5)*(-87)/(-6). Suppose -2*k = -137 - l. Is k a prime number?
True
Let q = -3809 + 1273. Is (-1)/4 + q/(-32) a prime number?
True
Let r(i) = -25*i - 1. Let s be r(-8). Let k(f) = 3*f**2 - 6*f - 1. Let p be k(7). Let l = s - p. Is l a prime number?
False
Let d(j) = 66*j**2 - j. Let b = -22 + 21. Is d(b) a prime number?
True
Let s(d) = -d**3 - 7*d**2 - d - 4. Let f be s(-6). Let h = f - -145. Is h prime?
False
Suppose 5*h + g - 2152 = 0, 3*h = 2*h + g + 428. Suppose h = 5*v - 8*z + 3*z, -z + 92 = v. Is v a composite number?
False
Suppose 5*o = 2235 + 1800. Is o a composite number?
True
Let w(n) = -34*n + 2. Suppose 19 - 7 = -4*p - 3*f, 0 = -p - 2*f + 2. Is w(p) composite?
True
Suppose 4*q + 32 = 2*q. Let c = -44 + 93. Let i = c + q. Is i prime?
False
Let r = 6 + -3. Suppose -i + g + r = 0, 11 + 1 = 4*g. Is i a prime number?
False
Let l(z) = 382*z**2 - z. Let w be l(1). Suppose 0 = -q - 2*q - w. Is (-1 + -1)*q/2 a prime number?
True
Suppose 5 = d - 5. Is (-1)/1 + (d - 2) a prime number?
True
Let u be ((-10)/(-3) - 3)*15. Suppose -q = -2*w + 8, 20 + 26 = u*w + 4*q. Suppose 4*m = w*m - 14. Is m a composite number?
False
Suppose 0 = -5*a - 2*q + 1455, -3*q = 4*a - 2*q - 1164. Is a prime?
False
Suppose 0 = -2*c - 4*h + 382, 5*c + 2*h - 818 - 177 = 0. Is c composite?
True
Suppose -5*k + k - 203 = -5*a, 150 = 4*a + 3*k. Suppose 203 = 2*l + 2*i + a, -l + i + 88 = 0. Is l a composite number?
True
Suppose -5*z + 74 = -81. Is z a prime number?
True
Suppose -4*u = -4*t - u, 0 = t + 2*u. Let s be t/(-3 + 6 - 5). Suppose s*q + 49 = q. Is q composite?
True
Suppose 3*x = 5*y + 455, 4*x + y + y - 624 = 0. Let f = -60 + x. Suppose -3*b + f = 2*b. Is b a prime number?
True
Let u(n) = -n + 5. Let p be u(3). Is (-81 + 2)/(1 - p) prime?
True
Let d(s) = s**2 + 5*s - 6. Let a be d(-6). Suppose a = -3*y + 657 + 42. Is y composite?
False
Suppose -5*c + 6*z + 325 = z, -3*z = -6. Is c composite?
False
Let v = -2309 - -4212. Is v composite?
True
Let t(b) = b**2 - 8*b + 2. Let l(n) = n**3 - n**2 - n. Let s be l(0). Suppose s*q + q - 11 = 0. Is t(q) a composite number?
True
Suppose 2*f - 10 = 0, -3*d - d + f + 591 = 0. Is d a composite number?
False
Suppose 4*i + 44 = 2*g, 2*g = -4*i - i + 17. Suppose -4*m = -3*m - 5*r + g, 4*m + 4*r = 32. Suppose 15 + 61 = m*x. Is x a prime number?
True
Let k = 3051 - 1652. Is k a composite number?
False
Let w(x) = -2*x**2 + 8*x + 7. Let q be w(7). Let t be q/(-15) + 4/6. Suppose t*s = 4*h - 316, 5*h + 3*s = 5*s + 395. Is h a prime number?
True
Let s = 1 + 9. Is s composite?
True
Let g = -1923 + 2830. Is g composite?
False
Suppose 0 = 5*s - s - 20. Suppose -s*k - x = 0, -k - 11 = -2*x - 0*x. Is (-46)/(-5) - k/(-5) a prime number?
False
Suppose 0 = -2*i - 3*m - 1, -5*m = 2*i - 1. Is ((-1016)/(-4))/(i - -4) composite?
False
Let l(b) = 30*b - 5. Suppose -2*o = 5*h - 46, -4*h + 6*o - 2*o + 20 = 0. Is l(h) prime?
False
Suppose -8*y + 10 = -3*y. Let q(i) = 27*i - 1. Is q(y) composite?
False
Let n(k) = 5*k - 2*k**3 + 10*k**2 - 7*k + k**3 + 15*k. Is n(11) a prime number?
False
Suppose 56 + 39 = i. Suppose i - 12 = d. Is d a prime number?
True
Let r(j) = j**2 - 2. Is r(-5) a prime number?
True
Let d be -3006*6/9*-1. Suppose -3*p = p - d. Is p composite?
True
Suppose 7*k - 4*k = 9, i = k - 23. Let a = i - -13. Is 2/a - 65/(-7) a composite number?
True
Let u(b) = 52*b - 1. Let m be u(-4). Let o = -533 - m. Let j = -161 - o. Is j a composite number?
False
Suppose -10*j = -15*j - 5. Is 29 - (3 + -6 - j) composite?
False
Let n(w) = -7*w - 53. Is n(-20) composite?
True
Let q be 3*(1/3)/1. Is 123*q*(-56)/(-24) a prime number?
False
Let f = 247 + -125. Suppose -f = 4*n - 2*u, -83 - 37 = 5*n + 4*u. Let g = 66 + n. Is g composite?
True
Let c(v) = -41*v - 4. Let i be (-2 + (5 - 3))/2. Suppose 4*j - 4*a + 28 = 0, -j + i*a - 4*a = -13. Is c(j) prime?
False
Suppose 0 = 2*n - 3*n + 5. Suppose 5*z - 4*l = 41, -z + 7 + 7 = n*l. Is z composite?
True
Let o(n) = n**2 - 3*n - 5. Let r be o(5). Suppose a + 293 = r*a + 3*i, 0 = 5*i - 15. Is a composite?
False
Suppose 4 = -u, -s + 3*s = u + 642. Is s composite?
True
Suppose -4*z = 5*y - 96, 5*z + 4*y - 43 - 77 = 0. Suppose t + z = 2*s + 235, 844 = 4*t - 5*s. Is t a prime number?
True
Let h(s) = 5*s**3 + s**2 - s - 1. Let k(p) = -p**3 + p**2 - 1. Let r(o) = -h(o) - 4*k(o). Is r(-6) prime?
False
Let w be 10*1*4/10. Suppose 3*m - 212 - 49 = 3*r, -316 = -w*m - 4*r. Is m a composite number?
False
Suppose 8*l - 4401 = 6487. Is l composite?
False
Let x be 2/1 - (-2 - -1). Is ((-69)/(-9))/(1/x) a composite number?
False
Let w = -109 + 134. Is w prime?
False
Let p be 1/4 - (-4)/(-16). Let a be -1 + p - (3 - 74). Suppose 5*i = 3*i + a. Is i a composite number?
True
Let v be ((-14)/(-4))/((-5)/(-10)). Let j = v + -12. Let m(s) = -24*s - 1. Is m(j) prime?
False
Suppose 0 = 4*f - 4*g - 2740, -2*f + 2*g + 1374 = -g. Is f prime?
False
Let x(o) = -55*o + 9. Is x(-8) prime?
True
Is 16424/(-2)*(0 - (-1)/(-4)) prime?
True
Suppose 3*r - 1982 = -7*j + 3*j, -501 = -j + 2*r. Is j a composite number?
True
Suppose 6*r - 337 = 941. Is r prime?
False
Let f = 69 + 16. Is f a composite number?
True
Let w(d) = 4*d**2 - 5*d - 1. Is w(5) prime?
False
Suppose 0*z = -z + 1, 0 = -5*n + 4*z + 2341. Is n a prime number?
False
Suppose 2347 = 4*x - s, -792 + 3731 = 5*x + 4*s. Is x prime?
True
Let j be (-2 + 1020)/(2/4). Suppose -2*c - 3395 = -5*z, 5*z - 2*z - j = c. Is z a prime number?
True
Suppose 5*p = 3*n + 183 + 210, -n - 121 = -5*p. Is 1/(132/n - -1) a composite number?
True
Suppose -i = -8 - 38. Let n be (-21)/28 + i/8. Suppose -n*f = 3*h - 430, f - 6*h + 7*h = 88. Is f prime?
True
Let r = 33 + -29. Suppose 0 = r*u - 2093 + 145. Is u a prime number?
True
Let o(p) = -p + 1. Suppose -2*u - 2*u = -4*h + 16, -4*h = -u - 4. Let l(q) = q**3 - q**2 - 5. Let z be l(h). Is o(z) a prime number?
False
Let y(v) = 4*v**2 - v - 1. Is y(-4) a composite number?
False
Let b(f) = 59*f + 5. Let z(a) = -119*a - 10. Let h(x) = 7*b(x) + 4*z(x). Is h(-2) a prime number?
False
Let u be (3 - 1)/((-8)/(-12)). Suppose -u*l = -4*l + 97. Is l composite?
False
Let r(j) be the first derivative of j**3/2 + 5*j**2/2 - j + 2. Let v(m) be the first derivative of r(m). Is v(6) prime?
True
Is -5 - (-1 - 1115 - 4) a prime number?
False
Suppose 20 - 5 = 5*x. Let w = x + -17. Is (w/(-6))/((-4)/(-84)) a composite number?
True
Let d(l) = -l**2 + 12*l + 2. Let j = -1 - -3. Suppose -3*b + 2*c + j + 3 = 0, -15 = -4*b + c. Is d(b) a prime number?
True
Let t = -125 - -202. Is t a prime number?
False
Suppose -3*a + 100 = -152. Let c = a - -153. Is c a prime number?
False
Let v be (6/(-4))/(3/4). Let t(d) = 222*d**3 + 4*d**2 + 2*d - 1. Let u be t(v). Is u/(-45) - 4/18 a composite number?
True
Let b(g) = -2*g + 7. Let q be b(-9). Let t = q - -70. Is t composite?
True
Let c(i) = 5*i**3 + i**2 + 8*i - 9. Is c(4) a composite number?
False
Suppose -742 = -8*l + 6*l. Is l a prime number?
Fa