 -3*s - 3*w = 48. Let n be s - (0 - (-2 - -1)). Let c = n + 36. Is c a prime number?
True
Let y(r) = -2*r - r + 2 - r**2 - 3*r. Let v be y(-6). Suppose 0 = -4*i - f + 26, -5*i - v*f + 7 + 27 = 0. Is i composite?
True
Let g = 6 - 0. Let d = g + 1. Suppose -2*c + 13 = -d. Is c prime?
False
Suppose h + 176 = 848. Suppose 37 = -5*i + h. Is i composite?
False
Let a = 7 - -13. Let z = a - 10. Suppose -c = -21 - z. Is c composite?
False
Let k(w) = w**2 - 7*w + 31. Is k(19) prime?
False
Let x(m) = -m**3. Let j(h) = 240*h**3 - 2*h**2 + 1. Let v(t) = -j(t) - 6*x(t). Is v(-1) a composite number?
True
Let a = -9 + 9. Is a/1 - (-1 - 102) a composite number?
False
Let y = 24 - -11. Is y composite?
True
Let v be (-1 - -4) + 3*33. Suppose -m = -4*m + v. Is m composite?
True
Suppose 0 = -5*q + 19 + 71. Let y = q + 59. Is y prime?
False
Is (-880)/(-3) - (-5)/(-15) prime?
True
Suppose 4*p - 2*g = -8 + 92, -g + 98 = 5*p. Suppose 0 = -3*r + 4*t + p, 4*r + 7*t = 3*t - 20. Suppose -5*m + 3*m + 50 = r. Is m prime?
False
Is (-6)/(-1) + 80 + -1 a prime number?
False
Suppose t = 2*t - 187. Suppose 0 = -o + 2*c, o = 3*o - c. Suppose -5*s - 4*w = -t, -2*s - s + 2*w + 99 = o. Is s prime?
False
Is 4/(-2) - (1 - 434)*1 a composite number?
False
Let g(d) be the second derivative of -d**3/3 + d**2/2 - d. Let s be g(-2). Suppose -144 = -4*q + s*h, -3*q + 5*h + 97 = 4*h. Is q a composite number?
False
Suppose -5*m = 4*s, 2*s - 2 = -0*m - 2*m. Suppose s*y = y + 136. Suppose -3*q + x = -y - 28, q - x - 20 = 0. Is q a composite number?
True
Suppose 8 = -z - 5*r, 0 = -z + 4*z - 2*r + 7. Is 2/z*(-1659)/14 a composite number?
False
Let s(x) = -x**3 + 6*x**2 + 2*x - 9. Let d be s(6). Suppose -d*y + 0*y = -3. Is ((-11)/3)/(y/(-6)) a prime number?
False
Suppose -1867 - 6882 = -13*b. Is b a composite number?
False
Suppose -5*a - 2*j - j = -19, 5*a - 2*j = 4. Let r(z) = z**2 + 2*z - 2. Let h be r(a). Suppose -3*y - 201 = -h*y. Is y a composite number?
False
Let j = -944 + 2513. Suppose -j = -5*v + 896. Is v composite?
True
Let f(p) = -p**3 - 4*p**2 - 2*p - 1. Let n be f(-3). Let c be (-88)/(-20) + n/10. Suppose -50 = -g - 5*q + 22, -q - 225 = -c*g. Is g a prime number?
False
Suppose -4*n - d - 2 = -13, 9 = 2*n - 3*d. Suppose w = n*j - 416, 2*w - 4*w = -j + 137. Is j composite?
False
Suppose -3 + 7 = -4*t. Is 1221/6 - t/(-2) composite?
True
Let z = -251 - -473. Suppose h + 3*o = -11, 0*o - 22 = 5*h + 4*o. Is 4/(-12)*z/h composite?
False
Suppose -155 = -3*w - 3*l + 289, 3*l - 587 = -4*w. Is w prime?
False
Let k(j) = -j + 7. Let v be k(5). Suppose -v*l + 344 = 4*d - 3*l, -d + 83 = -l. Is d a composite number?
True
Suppose -76 = 3*r + 188. Let x be (-2)/(-2) + r/(-8). Is ((-170)/(-4))/(6/x) prime?
False
Suppose -4*v + 4999 = 3*h, 2*h - 4*h + 5*v + 3348 = 0. Is h prime?
True
Suppose 0 = -w + 2*h + 209, -72 = 2*w + 4*h - 498. Is w a prime number?
True
Let w be ((-39)/(-9) - 2)*3. Let x be 6/4 + w/2. Suppose n + 4*n = f + 104, -x*f = -3*n + 58. Is n a prime number?
False
Let r be (-60 - 0)*5*(0 + -1). Suppose 15 = -2*l + 2*y - 7*y, 4*y + 12 = 0. Suppose 5*i = 5*x + r, -i - x - x + 66 = l. Is i a prime number?
False
Suppose 5*a + 0*k = 5*k + 1365, -3*k = 2*a - 526. Is a composite?
False
Let t = -46 - 17. Let s = 89 + t. Is s prime?
False
Let t(f) = -2*f**3 - 2*f**2 - 2*f + 4. Let o be t(-4). Let m = o - 65. Is 2/(-6) - m/(-3) a prime number?
False
Suppose -7*x + 14*x = 6713. Is x a composite number?
True
Let s(x) = x**3 + 2*x**2 - 3*x - 4. Let d be s(-3). Let g(f) = -f**3 - 3*f**2 - 4*f + 5. Is g(d) composite?
False
Let a(q) = q**3 - 5*q**2 + 5*q - 4. Let y be a(4). Suppose y = -3*z - 6, s - 3*z = z + 22. Is s prime?
False
Suppose -3*z + 33 = -306. Is z a prime number?
True
Let q = 20 + -14. Is (-154)/(-6) + 2/q a prime number?
False
Let k be (-232)/(-3) + 2/(-6). Let n = k + -46. Is n a prime number?
True
Suppose -4*r + 2399 = 395. Is r a prime number?
False
Suppose -5*l = -3*l - 986. Is l a composite number?
True
Let h(n) = -n**3 + n**2 - 7*n - 9. Let q(i) = i**3 + 6*i + 8. Let p(w) = 6*h(w) + 7*q(w). Let u be p(-6). Is 0 - (-18 + (u - 3)) a prime number?
True
Let l = -777 + 1530. Is l composite?
True
Let g(p) = -16*p + 19. Is g(-10) a prime number?
True
Is (3 - 19824)*5/(-15) a prime number?
True
Let x(o) = 15*o - 3*o**2 + 2*o**2 + 15*o - 25. Is x(18) a prime number?
True
Suppose -5*h + 3*i + 1294 = 0, 0*i - 2*i + 1279 = 5*h. Is h prime?
True
Let f be 2/1*(-2 + 3). Suppose -t + 3*p = 2, -3*p = -5*t + f*p. Let s(m) = 6*m + 1. Is s(t) prime?
True
Let x = -6699 + 10246. Is x prime?
True
Suppose 2*t + 5*q = -12, 3*q + 10 = -4*t - 0*t. Let l be t/2 - 163/(-2). Suppose -33 = -3*r + l. Is r composite?
True
Let s = 5 + -3. Suppose -14 = -s*r + 6. Is 208/10 + 2/r prime?
False
Let t(u) = -u**3 - 2*u**2 + u + 2. Let p be t(-2). Let m = -1 + 1. Suppose m = -p*b - b + 13. Is b a composite number?
False
Suppose 4*u + 3*c - 2328 = c, 3*u = -3*c + 1749. Is u composite?
True
Let c(q) = 20*q + 5. Let r(a) = -a. Suppose 13 = z + 2*z + 2*j, 4*z - 24 = -4*j. Let w(l) = z*c(l) - 2*r(l). Is w(5) a prime number?
False
Let c(t) = -4*t + 2. Suppose -5*i = -2 + 17, -5*i = -5*z. Is c(z) a composite number?
True
Let z(a) = -4 - 6*a + 3*a - 2 + 2. Is z(-5) a composite number?
False
Let u be -2*(-1)/(-2 + 3). Suppose 4*a + m + 857 = -a, -517 = 3*a + u*m. Let z = a + 250. Is z prime?
True
Let s(i) = -4*i + 1 + 12*i**2 - 2*i**2 + 2 - 2*i**2. Is s(-5) a composite number?
False
Let l = -31 - -35. Let t = -1 + 9. Suppose t*a - l*a = 148. Is a a prime number?
True
Suppose -4*u = -13 - 3. Suppose u*n - 3*w - 328 = 0, 154 = -n + 3*n + w. Is n prime?
True
Let r = -115 + 244. Is r a composite number?
True
Is (3 - 9/3) + 307 composite?
False
Let o = 186 - -5. Is o composite?
False
Let q be ((-1)/(-1))/(3/(-111)). Let p = -18 - q. Is p composite?
False
Let i(p) = p + 1. Let j(z) = 3*z + 1. Let h(o) = -4*i(o) + j(o). Let d be h(-3). Is 7 + (1 - d) - -2 a composite number?
True
Let y(l) = -l**3 - 4*l**2 - 4*l - 5. Let c be y(-5). Let v = 53 + c. Is v a prime number?
False
Let f(l) be the third derivative of -l**7/504 - l**6/720 + l**5/60 - 2*l**2. Let d(a) be the third derivative of f(a). Is d(-1) a prime number?
False
Suppose -5*l + 14 = -51. Suppose 0 = l*s - 12*s - 397. Is s prime?
True
Let u(l) = l**3 - 10*l**2 + 10*l - 4. Let i be u(9). Suppose -5*g - 4*c = -3*g - 16, -2*g - i = -3*c. Suppose -g*o + 6 = -8. Is o composite?
False
Suppose -u = 3*u - 2*h - 4844, -5*h - 4832 = -4*u. Is u a prime number?
True
Let k = -162 - -368. Is (k/(-4))/(4/(-8)) prime?
True
Suppose p + 4*p = 0. Suppose 7 + 5 = 4*b. Suppose b*w - 6*w + 153 = p. Is w composite?
True
Let a = -10 + -1. Let s = 15 - a. Let d = s + -3. Is d a composite number?
False
Suppose 0*w + 290 = 2*w. Is w composite?
True
Is (-535)/10*14*-1 prime?
False
Let l be (-3 + 1)/((-2)/(-4)). Let h be (-1 - 63) + 5 + l. Is (-4)/(-10) - h/5 composite?
False
Let p = 190 + -54. Let o = -9 + p. Is o prime?
True
Suppose -4*c + 8 = -0. Let y be (-1*c)/((-2)/42). Let t = -7 + y. Is t prime?
False
Let d(h) be the first derivative of h**4/4 + 8*h**3/3 + 3*h**2 + 6*h + 1. Suppose 53 - 18 = -5*y. Is d(y) a prime number?
True
Let h(q) = 7*q**2 - 49*q + 21. Is h(20) composite?
True
Let b(n) = -5*n**3 - 6*n**2 + 14*n + 9. Is b(-8) a composite number?
True
Let f(l) = 3*l - 4. Let i(x) = 4*x - 4. Let u(p) = 5*f(p) - 4*i(p). Let t be u(-7). Suppose 0*z - 4*w - 67 = -t*z, -w + 83 = 4*z. Is z prime?
False
Let y = 2 - -2. Let f be 1861/y - (-1)/(-4). Let c = 676 - f. Is c a composite number?
False
Let k = -28 + 49. Suppose 3*y - k = 36. Is y a composite number?
False
Suppose l = 5*i - 14, -4*l - 6 = 2*i + 6. Is 22*(-1)/l*38 composite?
True
Suppose 0*q = -q + 6. Is 1551/q + 1/2 prime?
False
Let h be -2 - -10 - (-2 - -5). Suppose -h*g + 12 = -4*r + 153, 4*r = g + 137. Is r a composite number?
True
Let b(w) = 2*w**2 + 3*w + 2. Let i be b(-2). Let g be ((-10)/(-8))/((-1)/i). Let k = 14 - g. Is k composite?
False
Suppose 2 = 5*y - 3. Suppose 2*w = 5*w + 2*j - y, 0 = -2*w + 5*j + 26. Suppose -w*r + 52 = r. Is r composite?
False
Let m = 83 + 210. Is m a composite number?
False
Let n = 16 - 2. Let o be 16/7 + (-4)/n. Suppose 2*x - 3*x - 2*p + 12 = 0, 54 = 4*x + o*p. Is x a composite number?
True
Let u(z) be the thi