 12 = -0*i. Let w(a) = 2*a + 2*a - 2*a**3 + 4 - 2 + a**2. Is w(i) a prime number?
True
Let m(l) = 2*l**2 + 11*l + 13. Suppose v = 6*v - 30. Let h(r) = r**2 + 10*r + 12. Let k(q) = v*m(q) - 7*h(q). Is k(7) a prime number?
True
Let g be (-4)/(((-6)/(-14))/(-3)). Let h = 46 - g. Suppose -3*y + h + 93 = 0. Is y prime?
True
Let c = 0 + 0. Let o(y) = -4 + c*y + 4*y + 2*y. Is o(3) prime?
False
Suppose -4*a - g = 6, 2*g - g + 2 = -2*a. Is (a/(-8) + 0)*764 a composite number?
False
Suppose 0 = 4*x - 0*x. Suppose 4*i - 3*i - 143 = x. Is i prime?
False
Let u(i) = -7*i - 1. Let x be u(-1). Is (2/x)/((-4)/(-3444)) composite?
True
Suppose -3*p = 6, -2*p = -i - 3*i + 152. Is i a prime number?
True
Suppose 3*y - 3*d = 5185 - 1768, -5*d - 2284 = -2*y. Is y composite?
True
Let h = 22 + 81. Is h a composite number?
False
Let h be 12/8*8/6. Let u be (-53)/1 - (-2)/h. Let n = u - -103. Is n prime?
False
Let w = 3 + -3. Suppose w*o - 4*o = -692. Let j = o - 118. Is j a prime number?
False
Is (18/(-3))/(-6)*453 a composite number?
True
Suppose -10*d = -d - 621. Is d a composite number?
True
Suppose 13*m - 982 = 11*m. Is m a prime number?
True
Suppose 2*b + 3*o - 39 = 0, 4*b + 8*o - 3*o - 81 = 0. Suppose -5*x + b = 9. Is (38/(-8))/(x/(-12)) prime?
True
Let b(q) = -7*q**2 - 7*q + 8. Let y(z) = -z**3 - z**2 + z + 1. Let v(o) = b(o) + y(o). Let d be v(-7). Let a = 4 + d. Is a a composite number?
True
Let x be (15/(-2))/((-1)/14). Let o = 44 + x. Is o composite?
False
Suppose -34 = 5*d + 2*l, 6*l + 10 = l. Let m be ((-635)/15)/(2/d). Suppose 0*t = t - m. Is t a composite number?
False
Let k(b) = b**3 - 3 - 4*b**2 + 1 + b + b**2 + 0. Suppose 0 = -i + 3 + 2. Is k(i) a composite number?
False
Suppose 0*r + 3*r - 15 = 0. Is (-8)/(-20) - (-483)/r prime?
True
Let h be (-15)/40 - 783/24. Let p = -2 + 1. Is (h/p)/((-9)/(-6)) composite?
True
Let x = -2 + 7. Suppose x*j - 2*i - 154 = 23, 0 = -3*i + 12. Is j prime?
True
Suppose -7*z + 12*z - 1505 = 0. Is z a prime number?
False
Is (57/(-5))/((4/(-10))/2) a prime number?
False
Let t(u) = u**3 - 6*u**2 + 6*u - 5. Suppose -4*y = -p + 13, 3 = -p + y - 5*y. Let j be t(p). Suppose -167 = -3*d - 5*a, -5*d + 3*a + j*a + 233 = 0. Is d prime?
False
Let r(p) = -34*p**3 + 2*p**2 + p. Let y(d) = 3*d - d + d**2 + 0*d. Let u be y(-1). Is r(u) a prime number?
False
Let v(w) = 2*w**2 - 2*w + 3. Let r be v(4). Suppose -79 = -2*i + r. Is i prime?
True
Suppose 4*h + 38 = 6*h. Is h prime?
True
Suppose 2*c = -4*w + 202, -3*c - 13 = 2. Is w a prime number?
True
Let h be (-1 + 2 + -1)/(-2). Suppose -5*t + 4*t - k + 457 = 0, t - 3*k - 445 = h. Suppose -m + 61 + 395 = 5*v, 0 = -5*v + m + t. Is v composite?
True
Suppose 3*k = -5*q + 268, -k + 2*q = -2*q - 95. Is k a composite number?
True
Let w(d) be the second derivative of -d**4/12 + 2*d**3/3 + d**2 + 3*d. Let t be w(5). Is 1/((-112)/(-37) + t) a prime number?
True
Suppose 0 = -4*y - 1039 + 5259. Is y composite?
True
Suppose -3*k = -4*k - 3*b + 2, -4*k + 17 = 3*b. Suppose 4*p - k = -p. Is (47 - p)*10/4 prime?
False
Let g(f) = 4*f**2 - 13*f**3 - 3*f**2 + 0*f**2. Let w be ((-2)/(-6))/((-1)/3). Is g(w) a composite number?
True
Let f be (-12)/(-9)*6/(-4). Is f/6*(-72 - 6) prime?
False
Is (3516/(-15))/(8/(-20)) prime?
False
Let j be (-4)/(-6) - (-2)/6. Let a(v) = v**2 + 1. Let l be a(j). Suppose -295 + 41 = -l*f. Is f a prime number?
True
Suppose g + 8 + 20 = 0. Let x = g - -71. Is x prime?
True
Let d = 195 + -72. Is d a prime number?
False
Let j(o) = -3*o. Let k(n) = -n**2 - 6*n + 3. Let m be k(-7). Let v be j(m). Is 8/v*(-381)/(-2) a composite number?
False
Let o(x) = 12*x**2 + 5*x - 2. Let j(g) = -4*g - 3 - g + 2*g. Let q be j(-2). Is o(q) prime?
False
Let t(m) = 212*m**2 + m. Is t(-1) a composite number?
False
Let v(u) = -72*u**2. Let h be (-2)/3*(-9)/(-6). Let y be v(h). Let c = y + 109. Is c composite?
False
Let q be (-228)/15 - 2/(-10). Let h = q + 21. Is h composite?
True
Let z(q) = -q + 4. Let y be z(0). Suppose i - y*i = -1404. Suppose 2*c + 2*c + 492 = 4*m, -2*c = 4*m - i. Is m composite?
True
Suppose 2*n = 4*y - 6756, 6*n - 2*n = 5*y - 8451. Is y composite?
True
Suppose -i + 6*i = -r - 13, 2*r - 2 = 4*i. Let q be (-10 - 4/(-2))*i. Suppose -2*m + 22 + q = 0. Is m a prime number?
True
Let y = 36 + 49. Is y prime?
False
Let l(w) = w**3 - 12*w**2 + 21*w - 18. Let f be l(14). Suppose 0*r = -2*a + 4*r + 686, -2*a = 2*r - f. Is a prime?
True
Let f be 2/3*(1 - -5). Suppose f*o - 25 = -5*u - o, 0 = u + 4*o - 20. Suppose u*t = 5*t - 435. Is t a prime number?
False
Is (-3)/((-3)/27087*3) prime?
True
Let a be 3 - -2*9/(-6). Suppose -5*w - 2*q + 29 = 0, a*q = -5*w - 4*q + 23. Is w a composite number?
False
Let m(k) = -k**3 + k**2 - k + 4. Let q be m(0). Let c be (2/(-1))/(-2)*(-4 - -4). Suppose q*t - 109 - 267 = c. Is t prime?
False
Suppose 0 = 3*d - 5*a + 51, 2*d - 5*a = -0*d - 29. Let l = 105 + d. Suppose -4*x + 137 = -l. Is x composite?
True
Is (381/4)/((-3)/(-8)) prime?
False
Let g(p) be the third derivative of p**8/960 + p**5/30 + p**2. Let m(j) be the third derivative of g(j). Is m(-1) prime?
False
Is (-130)/(-5) + (-8)/2 a prime number?
False
Suppose 0 = g - 1, 5*c - 3*g = -8*g + 40. Let n(y) = 4*y - 9. Is n(c) a composite number?
False
Let r = 13 - 8. Suppose 0 = -r*x + 4*a + 1293, 2*x + 2*a + 261 = 3*x. Is x a prime number?
True
Let h(k) = -k**2 + 10*k + 13. Let w(n) = n + 11. Let a be w(0). Let j be h(a). Is 18/j - 2/1 prime?
True
Suppose 4*n + n - 10 = 0. Is (0 - n) + 147/1 prime?
False
Let k = 146 + -77. Is k a composite number?
True
Suppose -5*m + 3*n = 1068, -2*m = -4*n + 202 + 214. Let f = -127 - m. Is f prime?
True
Let d = 613 - 204. Is d a prime number?
True
Let y(s) = 4*s**3 + s**2 - 2*s + 2. Is y(3) a composite number?
False
Suppose 5*l - 3517 + 10952 = 0. Let y be 4/(-18) + l/(-9). Suppose -8*c + 3*c = -y. Is c a prime number?
False
Let t be -2 + 1 - 1 - -2. Suppose 4*g = 0, t = i + 3*i + 4*g - 1420. Is i prime?
False
Is 3*(-1796)/24*-2 composite?
False
Let x be 3148/5 - 12/20. Let o = x + -418. Is o a prime number?
True
Suppose 4*x = 9 + 3. Suppose -194 = -4*w + x*c, -2*w + 4*w + c - 92 = 0. Suppose -164 = -l - 3*i, -4*i - 176 = -l - w. Is l prime?
True
Let s = -12 - -68. Suppose 186 - s = 2*x. Is x composite?
True
Suppose -13 - 17 = -3*z. Suppose -5*b = z, 0*b + 3*b - 12 = -3*p. Is p a composite number?
True
Let b be (0 + (-2)/5)*-10. Let z = -75 - -124. Suppose f - 7*s = -b*s + z, 2*f = -4*s + 98. Is f a composite number?
True
Suppose -987 = -5*c - 3*t, -4*c + 3*t + 246 = -522. Suppose 2 = 2*u, 2*h - c - 153 = -4*u. Let w = h + -17. Is w a prime number?
False
Let z(c) = -c**3 + 4*c**2 + 8*c - 2. Let k be z(6). Let u = -18 - k. Suppose f + 2*f = j + u, 3*f - 1 = 2*j. Is j a composite number?
False
Let k(d) = 9*d**2 + 3*d + 14. Is k(5) a composite number?
True
Suppose 0 = y - 0*y - 4. Suppose 0 = 3*s - s - y. Suppose -2*v = s*v - 28. Is v prime?
True
Let z = 1281 + -695. Suppose 3*f = 3*o - 2*f - 472, -2*f = 4*o - z. Is o composite?
False
Is -8805*(2 + 28/(-12)) a prime number?
False
Let s(f) = -f - 22. Let g be s(-13). Let x be (10/3)/(3/g). Is (-214)/x + (-8)/20 a prime number?
False
Let k(p) = -p**2 - 5*p + 6. Let a be k(-6). Suppose -3*x + 5*z + 21 = z, 2*z + 15 = 3*x. Suppose 3*m + x*c - 23 - 4 = a, -5*c = 5. Is m prime?
False
Let a(o) = 7*o + 6. Let u be ((-4)/(-7))/(1/7). Is a(u) composite?
True
Let b = 2162 + -801. Is b composite?
False
Suppose 7*r = -3*r + 9850. Is r composite?
True
Let w = -5971 - -8944. Is w composite?
True
Let r = -4 + 8. Let u = 5 + -2. Suppose t + u*h = 64, -h = r*t - 12 - 189. Is t a composite number?
True
Suppose -5*w - 583 = -4*v, -3*v + 4*w = -466 + 28. Is v prime?
False
Suppose -7 = w - 74. Is w a prime number?
True
Suppose 5*m = -1682 + 13037. Is m composite?
True
Let w = 170 + -9. Is w a composite number?
True
Let g = 21 - -28. Let h(f) = -f**2 - 4*f + 3. Let y be h(3). Let k = y + g. Is k a prime number?
True
Let x(r) = -5*r**2 + 16*r + 3. Let c = -43 - -60. Let w(o) = -14*o**2 + 47*o + 9. Let f(i) = c*x(i) - 6*w(i). Is f(-8) prime?
True
Suppose 0 = 2*d + f - 2570, 6*f = 3*d + f - 3855. Is d a prime number?
False
Let n be 7/2 - 1/(-2). Let b(s) = s**2 + s - 1. Is b(n) prime?
True
Let s(q) = 424*q - 15. Is s(7) composite?
False
Let c = -1075 - -1659