*k - 20. Let s be f/(-6) - (-1508)/(-12). Let d = 178 + s. Is d a prime number?
True
Let g(c) = -4*c**3 + c**2 + c + 1. Let x be g(-3). Suppose n = 2*w - 46, 4*n + x = 3*w + 2*w. Is w a composite number?
False
Suppose 5*i - 326 = -91. Let h = i - 14. Is h composite?
True
Let g be (4/12)/((-2)/(-12)). Suppose 132 = g*m - 156. Suppose -p + 107 = 3*u, -4*u + 0*p + m = p. Is u prime?
True
Suppose -5*o + 0*o - 10 = 0. Let j = o + -3. Is (-57)/j + 2/(-5) composite?
False
Suppose 5*y + 1806 = 4*d - 2357, 5*d - 5*y - 5200 = 0. Is d a composite number?
True
Let t be (-1)/(-2) + (-18)/(-12). Let b = t + 1. Suppose -b*g + 151 = -2. Is g composite?
True
Suppose 4*o + 2*p = -22, 4*o + p + 20 = -1. Is ((-5)/(o/(-74)))/(-2) a prime number?
True
Let d(l) = l**2 + l + 1. Let a(c) = -c**3 - 2*c**2 + 6*c + 6. Let s be a(-4). Let u(g) = 6*g**2 + 5*g + 9. Let y(k) = s*d(k) - 2*u(k). Is y(-5) a prime number?
False
Let u = 146 - -351. Is u a composite number?
True
Is (-2336)/(-6) - (-7)/(-21) prime?
True
Let j be 6/9 - 4/6. Let u(v) = 5*v + 5. Let b be u(6). Suppose j*p + b = 5*p. Is p prime?
True
Let m(l) = l**2 - 2*l + 2. Let q be m(3). Suppose 0*x - 4*k = -x - 47, 257 = -q*x - 2*k. Let d = 73 + x. Is d a composite number?
True
Let i(f) = f**3 + 9*f**2 - 1. Let h be i(-7). Suppose -n = -5*n. Suppose 2*p - 2*d - h = -p, 4*p - 5*d - 134 = n. Is p a prime number?
True
Let v(x) = 651*x - 5. Let k be v(2). Suppose -5*m + k = -4*c, 0 = -3*m - 2*m + 5*c + 1300. Is m a composite number?
False
Let z be (0/2*-1)/(-1). Let m(t) = t**3 - 5*t**2 + 4*t + 1. Let o be m(5). Let p = z + o. Is p prime?
False
Let b be ((-4564)/(-49))/((-2)/(-7)). Suppose 61 - b = -5*s. Is s a composite number?
False
Suppose -21 = -3*c + 42. Is (-2)/((18/c)/(-3)) composite?
False
Let q(v) = 6294*v**2 + 12*v + 13. Is q(-1) composite?
True
Let i be -6*131*3/(-9). Suppose 0*r + 2*r = i. Is r a prime number?
True
Let h = 4 - 9. Let q be h/(-10) + (-434)/(-4). Suppose -4*j + q = 3*v - 3*j, j = -2. Is v a prime number?
True
Let n = 671 + -316. Is n a prime number?
False
Let t = 9501 - 4562. Is t prime?
False
Let i = 578 - 343. Is i composite?
True
Let a = 80 - 166. Let z = a + 171. Is z a composite number?
True
Let z(c) = -c**3 - 8*c**2 - 9*c. Suppose -4*d + 2 + 2 = 0. Let l = -8 + d. Is z(l) prime?
False
Suppose -3*z + 9301 = 4*y, 4*z - 3540 = -3*y + 3427. Is y a composite number?
True
Is (-5668)/(-8) + (-4)/(-8) composite?
False
Suppose -2*b + 3*b = 461. Suppose 0 = k - n - 225, -5*n - 218 = -3*k + b. Is k composite?
False
Let t be 1 - 0 - 1*92. Let g = -5 + -37. Let j = g - t. Is j a composite number?
True
Let i(u) = -u + 1. Let m(x) = 6*x - 5 + 3 + 7. Let r(a) = 3*i(a) - m(a). Is r(-9) composite?
False
Suppose -4*x = 6 + 6. Let p be (-51)/x - (-1 - -2). Suppose -a + 5 = -p. Is a composite?
True
Let c = -2168 + 3925. Is c a prime number?
False
Let w be (-10)/(-4) - 2/4. Suppose w*f - 5*f = -285. Is f prime?
False
Suppose 5*h - 691 = -76. Let r = h + -12. Is r composite?
True
Let p(t) = t - 4. Let k be 244/28 - 4/(-14). Let v be p(k). Suppose 4*d + 30 = -4*i + 530, -391 = -3*d + v*i. Is d a composite number?
False
Let l(v) = v**3 - 7*v**2 + 5*v - 3. Let t be l(5). Let u be 4/(-14) - 1548/t. Is (1 + -4)*u/(-3) a composite number?
True
Suppose o + 2*t + t - 847 = 0, -2497 = -3*o + 2*t. Is o a composite number?
True
Let z(v) = 9*v + 7. Let o be z(-6). Suppose 0 = 3*q - 14 + 98. Let d = q - o. Is d a prime number?
True
Is -8*(1625/(-20) - 3) a composite number?
True
Suppose -30*q + 32*q = 30. Is q prime?
False
Suppose 0*o + o = 2*q + 35, o - q = 36. Suppose o = b - 0. Is b a composite number?
False
Suppose 3*h = -3*z + 1410, 3*h + 3*z = 4*h - 454. Suppose -2*j + 1136 = h. Is j a prime number?
False
Let n(w) = -w**2 + w + 1. Let u(t) = 3*t**2 + 5*t - 15. Let k(q) = -4*n(q) - u(q). Is k(8) prime?
True
Suppose 0 = -0*y - 4*y. Suppose -4*w - 3*i + 0*i + 266 = y, 0 = 5*w - 3*i - 319. Is w a prime number?
False
Is -2 + (300 - (-3)/(-1)) a prime number?
False
Is (2*(-82)/4)/(3/(-15)) composite?
True
Suppose 5*i - 2980 = 3180. Is i/36 + (-2)/9 a composite number?
True
Suppose 3*u - 3 = -m, 3*u - 2*m - 3*m - 3 = 0. Let f be 0/(0 - 1/u). Suppose -2*y + 9 = y, f = 2*x + 5*y - 35. Is x a composite number?
True
Let k(d) be the first derivative of 70*d**3/3 - d**2 + d - 1. Suppose -4*w + 4 = 5*x, 5*w + 4*x - x = 5. Is k(w) a prime number?
False
Suppose -b + 4*o + 16 = 3*b, 0 = -o - 2. Suppose k = 2*k - b. Suppose k*n - 5*n = -18. Is n a composite number?
True
Let j = -1070 - -1809. Is j prime?
True
Let p be ((-1)/(8/(-124)))/((-2)/(-4)). Let v be (0 - -8)/((-1)/(-2)). Let x = p - v. Is x composite?
True
Suppose -7*s = -11*s + 2452. Is s a composite number?
False
Let d(q) = q**3 + 8*q**2 + 6*q + 12. Is d(-7) a composite number?
False
Suppose 5*x - 6*x = -10. Is x prime?
False
Suppose -148 - 293 = -3*o. Let v = -78 + o. Suppose 0*t + v = 3*t. Is t a prime number?
True
Suppose 5*c + 2*m = 384, 2*c - 6*c - 4*m + 300 = 0. Let j = -40 + c. Is j prime?
False
Let j(b) = 10*b**2 + 8*b - 5. Is j(7) a prime number?
True
Let n(l) = 2*l**3 - 4*l**2 - 2*l + 2. Let a = 6 - 3. Let d be n(a). Let g = 5 + d. Is g a prime number?
True
Let f be 1/((-2)/(-156)) - 3. Let w be -54 + (0 - (-4)/2). Let b = f + w. Is b a prime number?
True
Is (-32)/(-12)*(601/4 + -1) prime?
False
Let d(v) = v**2 - v + 14. Is d(0) a prime number?
False
Let m(j) = 21*j - 1. Let o be m(-1). Let a = 75 + o. Is a a prime number?
True
Suppose -5*s - 25 = 0, 5*k - 10 = -2*s - 5. Suppose -3*w + 4*p = -238, -k*w + 214 = -5*p - 22. Is w a prime number?
False
Suppose -2*r + 2833 = 5*s - 2*s, -2825 = -3*s + 2*r. Is s a composite number?
True
Suppose -m = m - 16. Let x(j) = j**2 - 9*j + 11. Let i be x(m). Is i/(-3)*(-2 - 57) a composite number?
False
Let u(b) = -b**2 + 5*b + 3. Suppose 0 = -4*d + 52 - 20. Let p be (d + (-1 - -1))/2. Is u(p) prime?
True
Suppose 3*x + 1443 = 2*d, 8*d + 3*x - 3576 = 3*d. Is d a prime number?
False
Suppose 3*r = -2*r + j + 25, 10 = 2*r - 3*j. Suppose 0 = 2*m - 3*x + 1, -x - r = -3*m + 4. Suppose 5*g + 0*w - 75 = 2*w, -m*w = -2*g + 30. Is g a prime number?
False
Suppose -5*h + i = -3153, 3*h - 3*i + 5*i - 1897 = 0. Is h a prime number?
True
Let o = 100 - 63. Is o prime?
True
Let i(s) = -s**3 - s**2 - s. Let f(g) = 38*g**3 + 4*g**2 + 2*g + 1. Let y(w) = f(w) + 4*i(w). Is y(1) a prime number?
False
Let p = 1680 + 4919. Is p a composite number?
False
Suppose 4493 = 3*c + 1367. Is c a prime number?
False
Suppose -6*u + 522 = -3*u. Let x = 54 + -51. Suppose -x*c + u = -0*c. Is c a prime number?
False
Let l = 112 + 1735. Is l a prime number?
True
Suppose 5*b + 29 = -1. Let q = b - -5. Is q/(-3) - (-220)/6 composite?
False
Let q = -1040 + 1627. Is q prime?
True
Suppose -30 = -5*l - 0*l. Suppose -5*f + l*x - 3*x = -24, -21 = -4*f + 3*x. Suppose p = f + 3. Is p prime?
False
Suppose -8930 + 255 = -5*h. Is h a composite number?
True
Let j = 387 - 164. Is j a composite number?
False
Suppose -340 - 256 = -4*n. Is n a composite number?
False
Let t(l) = 6*l**2 - 14*l + 49. Is t(18) a composite number?
False
Let i(v) = -3*v**2 - 6*v - 9. Let u(w) = -4*w**2 - 6*w - 9. Let n(t) = -3*i(t) + 2*u(t). Let l be n(7). Suppose p - l = -3*p. Is p prime?
False
Let x(g) = -6 + 89*g**2 + 6. Is x(-1) a prime number?
True
Suppose 5*p - 2*p - 75 = -3*g, 0 = 2*g + 4. Let o = 6 + p. Is o prime?
False
Let c(j) = -j**2 - 5*j - 3. Let b be c(-4). Suppose -1 = -r + b. Suppose -88 = -r*q + 2*i, 2*i - 12 = -2*i. Is q prime?
True
Let y(s) = 56*s**3 + 6*s**2 - 2*s - 4. Let c(v) = 56*v**3 + 5*v**2 - 2*v - 3. Let a(o) = 5*c(o) - 4*y(o). Is a(2) a prime number?
True
Suppose -5*m + 0*w = -w - 3, 2*w + 6 = 2*m. Suppose -3*i + 112 - 13 = m. Is i composite?
True
Let p = 455 + -242. Let z = -103 + p. Suppose z = 5*w - 705. Is w a prime number?
True
Let w(c) = 250*c - 18. Is w(2) prime?
False
Let c = 8 + -7. Is c + 4/(12/63) a prime number?
False
Let t = -4 - -5. Let f be t/(1/33) + 1. Let n = 131 - f. Is n a prime number?
True
Let r be 48/18 - 3/(-9). Suppose 2*a - 1297 = -7*h + 2*h, 5*h + r*a = 1298. Is h prime?
False
Suppose -2*f - 24 = 146. Let u = 172 - f. Is u prime?
True
Let y(c) = 34*c**3 - 2*c**2 + 2*c - 5. Is y(4) prime?
False
Suppose 5 = -2*h - 2*h + z, 4*z + 16 = -2*h. Is (76/(-12)