x - 4*w = -11, 2*x + 10 = 3*w + t. Suppose -x*c + 5*c = 50. Is c a prime number?
False
Let a(h) = 8*h - 12. Let b be a(7). Let z = b + 7. Is z a composite number?
True
Let l(i) = 7*i**2 - 16*i + 23. Is l(12) a prime number?
True
Let k(q) = -q**3 - 2*q**2 + 2*q. Let n be k(-3). Suppose -4*o - 281 = -j, 3*j + 2*o - 799 = n*o. Suppose -300 = -5*w + j. Is w prime?
True
Let p(g) = g**3 + 7*g**2 - 11*g - 5. Let w(q) = -2*q**3 - 7*q**2 + 2*q + 1. Let y be w(-5). Let s be y/(-9) - (-2)/(-3). Is p(s) a prime number?
True
Suppose -u + 3*u - 2*l = 0, 4*l = u - 6. Let m be ((-12)/(-15))/2*1085. Is (u/4)/((-7)/m) a prime number?
True
Let y = 257 + -6. Is y a composite number?
False
Is 381/(-6)*2*(-1 + 0) composite?
False
Let j be 5/(165/(-171)) + (-8)/(-44). Let o(z) = z**2 - 6*z + 2. Let g be o(6). Is (j/10)/(g/(-60)) composite?
True
Let a be -2*1 + 3 - -17. Suppose 0*s = 2*s - a. Is (-6)/s + 190/6 a prime number?
True
Let y(f) = -101 + 138 + f**2 - 2*f**2 + 124. Is y(0) composite?
True
Let z = -98 + 108. Is z prime?
False
Suppose 3*c - 1 = -c - p, -2 = -4*c - 2*p. Let j(t) = t**2 + 2. Let l be j(c). Suppose l*s - 96 = 6. Is s prime?
False
Let f(y) = 3*y - y + 1 + 2. Is f(5) a composite number?
False
Let n(a) be the second derivative of 7*a**4/6 - a**3/6 + a**2/2 + 2*a. Is n(2) prime?
False
Suppose 0 = f - 27 - 29. Suppose -f = -3*p + 19. Is p a composite number?
True
Is (52690/(-15))/(2/(-3)) a prime number?
False
Let u be 2188/(-16) + (-1)/4. Let k = u - -258. Is k prime?
False
Suppose -2*q + 369 = -3*z + 8*z, -2*q + 371 = 3*z. Is q prime?
False
Suppose 4*y = -y + 125. Suppose -3*v + y = 2*v. Suppose 3*z + 52 = v*z. Is z prime?
False
Let r = -56 + 102. Is r a prime number?
False
Let r(l) = -2*l. Let w be r(-9). Suppose -w = o - 49. Is o a composite number?
False
Let i be 283*(-2)/(-4)*2. Let c = i - 72. Is c prime?
True
Let r = 56 + -41. Is r a prime number?
False
Let m(v) = v**3 + 8*v**2 - v + 5. Is m(-6) composite?
False
Let r(p) = 5*p**3 - 4*p**2 + 13*p - 6. Is r(4) prime?
False
Let l(z) = 323*z**2 - 2*z - 3. Is l(-2) composite?
True
Suppose -5*s - 6 + 81 = 0. Suppose -3*f + 26 = h, -5*f + s = 3*h - 23. Is f a prime number?
False
Let m = -7 + 12. Let a = 124 - -101. Suppose m*s - a = -55. Is s a prime number?
False
Let d(z) = 2*z**2 + 7. Let v be d(8). Suppose -120 = 5*r + v. Is (0 - 5)/(3/r) a composite number?
True
Let x(u) = -40*u - 2. Is x(-4) a composite number?
True
Let t = -24 + 35. Let r = 24 - t. Suppose 4*w + 4*i - 11 = -3, 0 = -5*w - 2*i + r. Is w a composite number?
False
Let x(l) = 3*l + 1 + 0*l + 2*l. Let m = -4 - -5. Is x(m) composite?
True
Let a(s) = 8*s**2 + 6*s - 1. Is a(-10) a prime number?
True
Suppose 5*f - l = 566, 97 + 17 = f - l. Is f a prime number?
True
Let j be (0 - -1)/(3/(-9)). Is (298/(-2))/(j/3) a composite number?
False
Suppose -5*b = 2*g - 13, 4*g + 3*b - 31 = 2. Let y be 2/g - 106/(-9). Is (-3)/y + 274/8 a composite number?
True
Is 823/2 - 3/(-2) a composite number?
True
Suppose -y - 4*d = 3, -3*d = -3*y + 2*y + 11. Let o(u) = u**3 - 5*u**2 + 3*u - 5. Is o(y) a composite number?
True
Let j = -23 - 2. Let y = j + -5. Let h = 85 + y. Is h composite?
True
Let l = 95 - -32. Is l a composite number?
False
Let d = 2008 + -965. Is d a composite number?
True
Suppose 3801 + 2334 = 5*i - 5*s, 0 = -3*i - 4*s + 3681. Is i composite?
True
Let d be 0*-2*(-1)/(-4). Suppose 4*i = 8*i + 4*l + 12, 5*l + 25 = d. Suppose -i*p + 92 = 2*p. Is p a composite number?
False
Is -2*5986/(-8) + (-1)/(-2) prime?
False
Let p(f) be the first derivative of -f**2/2 - 12*f - 2. Let z be p(-10). Is 22/z*(5 + -8) composite?
True
Let f(p) = 46*p - 40 + p**2 + 2*p**2 + 8*p**2 - 10*p**3. Let i(d) = -7*d**3 + 7*d**2 + 31*d - 27. Let m(b) = -5*f(b) + 7*i(b). Is m(8) prime?
False
Suppose s - 3 - 1 = 0. Let h(m) = -15*m + 1. Let n be h(s). Is (-3)/(-12) - n/4 prime?
False
Suppose -3*u + 29 = 4*t, 3*t = -5*u + t + 25. Suppose -4*o + o + 6 = 3*b, -2*o + 4*b + 22 = 0. Suppose -o*y + 13 - u = 0, 3*y = -2*r + 296. Is r composite?
True
Let o = 94 - 17. Suppose 0*i - o = -i. Is i composite?
True
Let h(r) = r**2 - 8*r + 5. Is h(14) prime?
True
Suppose -33*k = -26*k - 11557. Is k prime?
False
Suppose 11*z - 4045 = 6*z. Is z composite?
False
Is 1*(1 - -8)*2396/12 prime?
False
Suppose -x + 2*x = -t + 5, 2*x - 4*t - 4 = 0. Suppose 6 = b + 4*z, -z + 2 = x*b + 8. Is 112 - b*2/4 composite?
False
Suppose 3*t + 3*j = 7*t - 15154, 5*j + 18945 = 5*t. Is t a prime number?
False
Let g(x) = -2*x**2 + 8*x + 7. Let z(o) be the second derivative of o**4/2 - 4*o**3 - 21*o**2/2 - o. Let m(w) = 17*g(w) + 6*z(w). Is m(7) composite?
True
Let a = 137 - 114. Is a prime?
True
Let f(v) = v**3 + 4*v**2 - 5*v - 2. Let l be f(-5). Is 117/3 + 1*l a prime number?
True
Let g be 39/13 - (1 + -2). Suppose 4*x - 26 = -g*i + 2*x, i - 9 = -3*x. Is i a composite number?
True
Suppose -5*k + 3*i + 35 = 0, k - 2*i = 3*i + 29. Suppose 3*g - 5*j - 472 = 0, -2*g + k*j = -30 - 288. Is g a composite number?
False
Is (1882/4)/(1/2 - 0) composite?
False
Let t(v) = -5*v. Let s be t(3). Let u = s + 9. Is (-686)/u - 6/(-9) composite?
True
Let m(n) = 15*n**2 - 5*n + 3. Is m(-4) a prime number?
True
Suppose 0*j + 4*j = 32. Let y be (-2)/(-8) + 38/j. Let i = y + 28. Is i prime?
False
Suppose -4*x + 8 = -2*x. Suppose 205 = 3*h - x*s - 0*s, -4*s - 63 = -h. Is h a composite number?
False
Is -478*3*(-1)/6 prime?
True
Suppose 0 = q + 54 + 48. Let i = -67 - q. Is i a composite number?
True
Suppose -i = 2*i - 12. Suppose -84 = -i*t - 2*p, -p + 0 = 4. Is t prime?
True
Let i be (-103)/5 + 3/5. Is 8/i - (-577)/5 composite?
True
Suppose 3*g - 2*g = -5. Let u = 7 + g. Suppose -u*a + 232 = 2*a - 2*v, 301 = 5*a + 3*v. Is a a composite number?
False
Let i(l) = -l**2 - 5*l + 7. Suppose -8 - 2 = -5*c. Suppose -5 - 5 = c*m. Is i(m) a prime number?
True
Suppose 0 = 2*l - 5*h - 153, 4*l + 3*h + h = 292. Let q = 145 - l. Suppose 3*b = q + 28. Is b prime?
False
Is -502*1/(0 - 2) prime?
True
Suppose z = 3*z - 4. Is z/4 + (-91)/(-14) prime?
True
Let q(k) = k + 11. Is q(8) prime?
True
Let p = 11 + -11. Suppose p = 3*b + 4*m - 0*m - 1059, 1412 = 4*b - 3*m. Is b composite?
False
Is (-2 - -3) + 1 + (8543 - 0) a prime number?
False
Let c = 3 - -2. Let f(i) = 6*i**2 - 6*i + 3. Is f(c) a prime number?
False
Let j = -23 - -27. Suppose m + j*o - 273 = -0*o, 3*m = o + 884. Is m a composite number?
False
Let f(o) = 49*o - 2. Is f(19) prime?
True
Let u = -9 + 21. Let s be (-8)/(-6) - (-8)/u. Is s/10 + (-1936)/(-20) a composite number?
False
Let m(g) = g**2 + 3*g + 2. Let k be m(-4). Suppose 2*t + k + 5 = -5*w, 5*w + 15 = 0. Suppose -5*v = 3*b - 439, -236 = -t*v + 5*b - 48. Is v a prime number?
True
Let q = -12 + 8. Let n(f) be the third derivative of f**6/120 + f**5/12 - f**4/24 + f**3/3 + 2*f**2. Is n(q) a prime number?
False
Suppose -2*f + 4*f = 234. Let j be 90*(-1)/(3/(-2)). Let z = f - j. Is z composite?
True
Let h(l) = 3*l**3 - l + 1. Let w(r) = -r + 2. Let t(o) = -1. Let k(q) = 3*t(q) + 2*w(q). Let f be k(-1). Is h(f) prime?
True
Let w be (45/6)/((-3)/16). Let t = w - -105. Is t a composite number?
True
Suppose -4*f = 1056 - 2684. Is f a prime number?
False
Suppose 3*p + 61 = 2*p. Let q = -6 - p. Is q composite?
True
Let r(q) = q**2 - 8*q - 16. Is r(-7) composite?
False
Suppose 0 = -5*l + 2233 + 367. Suppose -5*v + l = -1815. Is v prime?
True
Suppose 0 = w + a - 489, 0*w - 986 = -2*w + 2*a. Is w a prime number?
True
Let l(d) = -d**2 - 10*d - 4. Let j be l(-9). Suppose -f - f = 5*t, 31 = 3*t - j*f. Suppose t*r + r - 27 = 0. Is r a composite number?
True
Is 28/21*(-6702)/(-8) composite?
False
Suppose 4*n + 43 = 7. Is (n/4)/((-6)/16) composite?
True
Let l(s) = 30*s**2 + 4*s + 6. Let t be l(5). Suppose 4*m = n + t, -3*n = -3*m + 248 + 334. Is m prime?
False
Let h(c) = -31*c - 4. Let f be h(5). Let z = 2 - f. Is z a composite number?
True
Suppose 0 = -4*l + 405 + 623. Is l composite?
False
Let z(h) be the second derivative of 77*h**4/12 + h**3/3 + 3*h**2/2 + 4*h. Is z(-2) a prime number?
True
Let p be (-3251)/(-9) - 2/9. Let i = p + -58. Is i composite?
True
Suppose -4*y + 0*b + 2*b - 398 = 0, 0 = y - 3*b + 107. Let w = 405 + y. Is w prime?
True
Let p = 748 + -390. Is p a prime number?
False
Suppose 198 = 2*j + 34. Is j a prime number?
False
Suppose