x = -3799 - -19238. Is x a composite number?
False
Let a(x) = -418*x + 1. Let p(m) = -m**2 - 6*m - 1. Let f be p(-6). Is a(f) prime?
True
Let j(c) = 2*c**3 + 4*c**2 + 9*c - 6. Let d = 97 - 89. Is j(d) composite?
True
Let g(i) = -63*i + 4. Let n(c) = -2*c - 16. Let u be n(0). Let d = -21 - u. Is g(d) prime?
False
Suppose -3*f = 3*r - 9 - 51, -2*r + 72 = 4*f. Suppose -f*b + 5086 = 398. Is b a prime number?
True
Suppose -132173 = -4*w - 3*z, 3*w - 2*z - 41885 - 57266 = 0. Is w composite?
True
Let u = 2640 + 7051. Is u a prime number?
False
Suppose 4 = -p + 2. Let r(u) = 39*u - 1 - 90*u - 4. Is r(p) composite?
False
Suppose -3*g = -2*h + 2 + 1, h - 3*g = 0. Suppose 0 = -h*u + 11*u - 24. Is u a prime number?
True
Is (210414/(-8))/3*-4 composite?
False
Suppose y + 3*g - 6009 - 9226 = 0, -g - 2 = 0. Is y composite?
False
Is (-1 - 4)*(-4 + 5) - -1366 prime?
True
Let w = 11502 - 7613. Is w composite?
False
Is -1 - ((-375039)/36 + (-10)/8) a composite number?
True
Let v(b) = -b**3 + 21*b**2 + 37*b + 33. Let k be v(-15). Suppose 0 = 3*x - x + 2*p - k, -7594 = -2*x + 2*p. Is x a prime number?
True
Suppose y + 7 = 3*d + 2*y, d - 3 = -y. Suppose v - d*q + 405 = 1060, -2*q = 5*v - 3239. Is v composite?
True
Is -5 + (-235)/(-45) + 371426/18 a prime number?
False
Suppose -3*a = 2*x - 18, 0 = -9*x + 4*x + 3*a + 3. Suppose 0 = -x*i + 6*i. Suppose -3*s + 12 = i, -g - s + 25 + 12 = 0. Is g a prime number?
False
Let n be ((-16)/12*-411)/1. Suppose -5*v - 8 = -n. Suppose -w + 47 = -v. Is w prime?
False
Suppose -3*o - o + 8 = 0. Suppose 4*m - 14 = o*m. Is m prime?
True
Suppose -4*b + 13*b - 13491 = 0. Is b a composite number?
False
Is (29 + -5)/(-3) - -34131 composite?
False
Let r = -75 - -75. Suppose r = 14*u - 13*u - 985. Is u a composite number?
True
Let w = 0 + 3. Suppose 24 = w*z - 3*y, 0*z = -4*z - 4*y + 72. Let g(b) = 11*b - 12. Is g(z) a composite number?
False
Let p(k) = 23*k**2 + 2*k + 4. Let d be p(-6). Let f = d - 431. Suppose 5*b = -5*a - 280 + 935, 3*b - f = -2*a. Is b prime?
True
Suppose -4*d - 3*t = -116613, 0 = -d - 3*t - 8929 + 38071. Is d composite?
True
Let k(t) be the first derivative of 2*t**3/3 - 11*t**2/2 + 6*t - 7. Let g(o) be the first derivative of k(o). Is g(8) a composite number?
True
Is (-382)/(6930/869 - 8) a prime number?
False
Suppose -11 - 19 = -5*i. Let r be ((-6)/(-3))/(i/9). Is (-3 + -1 + r)*-141 a composite number?
True
Let c = 30 - -30. Suppose 0 = 4*p - 288 + c. Is p composite?
True
Suppose 6 = 2*f, -6*i + 15203 = -2*i - 3*f. Is i a prime number?
True
Let o(g) = 851*g**2 + 3. Is o(-2) composite?
False
Suppose 3*k = -4*u + 17669, -2*u + 0*u - 2*k = -8832. Is u prime?
True
Let d(u) = -472*u - 61. Is d(-11) a composite number?
True
Let t(c) = -2184*c + 419. Is t(-11) prime?
True
Suppose 4*l + 2*q = -q + 2, -3*l - 2*q + 2 = 0. Is (14/l)/(-7 + (-105)/(-14)) composite?
True
Let m = -5 + 10. Suppose 36 - 11 = m*u. Suppose -u*g = -153 - 112. Is g composite?
False
Let w = -122 - 915. Let v be ((-48)/12)/12*-12. Is (w/v)/((-13)/52) a prime number?
False
Suppose 30 + 15 = 5*v. Let z(m) = 2 + 4*m**2 - m**2 - 3 - v*m - 2*m**2. Is z(11) prime?
False
Suppose 9770 = b - u - 4*u, -u = -2*b + 19567. Suppose -a = -6*a + b. Is a a composite number?
True
Let u(y) = y**3 + y**2 + y - 3. Let r be u(7). Let l = r - 15. Suppose 0 = -3*z - 0*z + l. Is z prime?
True
Let k(a) = -a**3 + 63*a**2 - 33*a - 84. Is k(55) prime?
False
Suppose 23452 = 4*s + 5*y, 0 = -5*s - 2*y + y + 29294. Suppose -s = -10*k + 4532. Is k a composite number?
False
Let o(s) = 169*s**2 - 3*s - 3. Let x be (24/15 + -2)/(3/(-15)). Is o(x) prime?
False
Suppose -5*b - 2*n + 62567 = 0, 0*b + b - 5*n = 12535. Is b composite?
True
Let o(w) = -w**2 + 10*w - 14. Let p be o(8). Is 2*(75/p - -2) a prime number?
True
Suppose a - 164775 = -5*b, 106*b = 108*b - 2*a - 65898. Is b a composite number?
True
Let o = 8 - -25. Let m = o - 36. Is 2 + 219 + (-6)/m a composite number?
False
Let g(n) = -n + 4. Let v be g(1). Suppose v*b - 606 - 315 = 0. Is b composite?
False
Suppose -g - j - 390 = -1706, 1312 = g + 3*j. Is g prime?
False
Suppose 255 = 5*z - 3*l, l - 2*l + 221 = 4*z. Let y be (-14)/2*(-288)/168. Is y/z + (-770)/(-18) a composite number?
False
Let d(q) = q - 33. Let r be d(0). Let y = -11 - r. Let w = 53 - y. Is w a prime number?
True
Let d(c) = 4*c**2 - c + 2. Let w be d(2). Suppose -w = 3*b - 7*b. Suppose -152 = -b*u + 4*o, 0 = -3*u - 5*o - 40 + 146. Is u prime?
True
Suppose 2*b + 2 = -n, -5*n + 9*n = 5*b + 5. Suppose -w + 6*w - 165 = n. Is w a composite number?
True
Let h = 316 - 311. Suppose 4*r + 217 = 3*l, 4*r = 3*l - 6*l + 209. Suppose -h*s = -l - 24. Is s a composite number?
False
Let c = -6074 - -9013. Is c composite?
False
Is (5 - (4 + 3)) + 13953 composite?
True
Is 7603 + (-23 - -23) + -1 + -1 a prime number?
False
Suppose -58*j + 1065756 = -1087030. Is j a composite number?
False
Let w(u) = 4 - 1 + 2*u + 8*u**2 + u**3 - 11*u. Suppose -6*j + 2*j = 28. Is w(j) a prime number?
False
Let t(b) = -143*b**3 - 2*b**2 + 16*b + 65. Is t(-4) prime?
False
Let y(k) = 209*k + 1. Let l = -11 + 23. Suppose 0 = -l*x + 9*x + 6. Is y(x) composite?
False
Is 1342880/220 - (-4 - (2 - 1)) prime?
False
Suppose 5*q - 38196 = -3*m + 8*q, m + 3*q - 12712 = 0. Suppose 6*p + s = 10*p - m, 5*s = 5*p - 15890. Is p prime?
False
Suppose -91913 = -3*k + 5*d, 5*k = 7*d - 3*d + 153171. Is k prime?
True
Let s = 18325 + -48637. Let d be s/(-81) + (-4)/18. Is (4/(8/d))/1 a prime number?
False
Suppose 3*n - 4*n = -278. Let f = -5 - -7. Suppose 4*s = f*w - n, w + 2*s - 154 = s. Is w prime?
True
Let j(v) = 1112*v**2 + 24*v - 71. Let d(f) = 371*f**2 + 8*f - 24. Let p(x) = -11*d(x) + 4*j(x). Is p(-5) a prime number?
False
Let b = 1295 - 804. Is b prime?
True
Suppose -r + q + 5 = 0, -2*r - 4*q - 1 = 1. Suppose y + r*y - 492 = 0. Is y a prime number?
False
Let p(o) = -o + 13. Let s = 34 + -24. Let w be p(s). Let j(t) = 8*t**2 + 5*t - 4. Is j(w) a prime number?
True
Let g be (-15)/90 + (-5462)/(-12). Suppose 0 = 32*k - 37*k + g. Is k prime?
False
Let t(u) = 158*u**2 - 4*u + 4*u - 19 + 18. Is t(2) a prime number?
True
Let z = -15 - -19. Suppose 4*o = u + 15, -2*u - z = -2*o + 2*u. Suppose -3*k = -5*w + 226, -3*w + o*k = -6*w + 153. Is w composite?
False
Let r(l) = 12*l**3 - 5*l - 10. Is r(5) a prime number?
False
Is (16/40)/((-2)/(-27770)) a composite number?
True
Suppose 0 = -j - 4*c - 14, 5*j = -c - 13. Let t be (3/j)/(3/(-4)). Suppose -m - 7 = -t*m. Is m a composite number?
False
Let j(m) = m**3 + 9*m**2 + 10*m + 5. Let v be j(-7). Is v/9*(37 + -4) a composite number?
True
Let f be (2/6)/(9/27). Suppose 2*d - f = 7. Let x(p) = 14*p**2 - p + 3. Is x(d) a prime number?
True
Suppose 58654 = 20*r - 647326. Is r a composite number?
True
Let a(z) be the second derivative of -z**5/4 - z**4/6 - z**3/2 - z**2/2 - 28*z. Is a(-2) prime?
True
Let r(k) = 320*k**3 - 3*k**2 + k + 4. Is r(2) prime?
False
Let f = -23297 + 74356. Is f a composite number?
False
Let v(y) = y**2 - 7. Let k be v(-3). Is 1266/k + 12 + -12 a prime number?
False
Let c be 4/(-22) - (-81410)/55. Suppose -2*h + 0*h = -c. Let x = 1099 - h. Is x composite?
False
Is (3718 + 1)*((-21)/(-7) + -2) composite?
False
Suppose h - 58813 = -2*n, -2*h + 76582 + 11637 = 3*n. Is n a composite number?
True
Suppose -2*b + 3*v = -6, 5*v + 12 = 2*b + 2*b. Suppose 20 = 5*k, 0*k - k = -3*t + 2150. Suppose b*u = t - 85. Is u a prime number?
True
Is 27549/12*(-4 - 144/(-27)) prime?
True
Suppose 0 = -3*u - 3*i + 57, 65 = 3*u + 5*i + 4. Suppose -u*x - 699 = -20*x. Is x prime?
True
Let i = 1051 - 257. Is i composite?
True
Suppose -14*l + 8*l = -30. Suppose l*x + 2*y = 3060, -964 - 284 = -2*x + 4*y. Is x prime?
False
Let h(c) = 28*c**2 - 26*c - 3. Is h(19) prime?
False
Let s = 43 - 46. Let n(a) = -83*a**3 - 2*a**2 + 2*a + 2. Is n(s) a prime number?
False
Let x be (2 + 22/4)*4/(-6). Let l be (-2)/((-16)/(-6))*4. Is (-2 - x)*(-199)/l a composite number?
False
Let t(l) = -l**2 - 2*l + 6. Let i be t(-3). Suppose i*a - a = 5954. Is a prime?
False
Let b(a) = -22*a + 1. Let h = -38 - -23. Is b(h) prime?
True
Let x = 20580 + 6189. Is x a prime number?
False
Let r be 2/(-6)*-1*249. Let z = r + 10. Is (-2)/(-3)*z/2 prime?
True
Suppose 0 = -4*u + 4, 0 = 4*x - 3*u + 3084 + 10283. Let v = 2363 + x. Is v