76298. Is x composite?
False
Let m(j) = -2*j + 317. Suppose -2*u = -u. Is m(u) composite?
False
Let c(s) be the second derivative of -7*s - 15/2*s**2 + 5/6*s**3 + 0 + 1/20*s**5 - 1/3*s**4. Is c(7) composite?
False
Let w(g) be the first derivative of 57*g**5/10 + g**3/6 - 3*g + 2. Let p(a) be the first derivative of w(a). Is p(1) a composite number?
True
Let j(r) = 5970*r + 2. Let y be j(2). Is -1*1*4*y/(-56) a prime number?
True
Let f(n) = n**3 + 4*n**2 - 7*n + 8. Let z(a) = -2*a + 1. Let g be z(5). Let m be f(g). Is (m/1)/(44/(-154)) composite?
True
Suppose 4*f - 8*f = -16. Suppose r - 2 = d, -f*r + 20 = -0*r + 2*d. Suppose 5*h = -3*b + 1959 - 656, 1036 = r*h + 4*b. Is h a composite number?
False
Let y be 162/14 + 30/70. Let v(g) = -5 - 22*g + 5*g**2 + 11*g + y*g. Is v(-8) composite?
False
Let c(l) = l**3 + l**2 + l - 1. Let r(i) = -3*i**3 - 9*i + 3. Let d(p) = 2*c(p) + r(p). Let x = -27 - -22. Is d(x) composite?
False
Suppose 2*y + 4*r + 1237 = 5*y, 2*y = 2*r + 828. Is y a prime number?
True
Let s be -2 + (-108)/(-15) + 1/(-5). Let a(j) = 520*j + 9. Is a(s) a composite number?
False
Suppose 4*a + 5*f = 3513, -9*a + 8*a + 3*f + 874 = 0. Is a a composite number?
False
Suppose 123815 = 11*s - 16754. Is s a composite number?
True
Suppose 10*k - 440 = 2*k. Let l = -168 - -254. Let j = l - k. Is j a prime number?
True
Let r(k) = 48*k**3 - 2*k**2 + 9*k - 14. Is r(5) prime?
True
Is (420/126)/((-4)/(-60906)) composite?
True
Let p(i) = 11*i**3 - 38*i**2 + 14*i - 16. Is p(11) a composite number?
False
Suppose g - 2*u + 3*u = 122, u = -5. Is g prime?
True
Suppose -5*v - r = -9454 - 3141, -3*r = 2*v - 5051. Is v a composite number?
True
Let l = -12034 + 20491. Suppose -4*w + w = -l. Is w a composite number?
False
Let j(y) = y + 10. Let m be j(-6). Let q be m/(3*2/528). Suppose 4*s + 3*u - q = 0, -2*u - 3*u = 5*s - 445. Is s a composite number?
True
Suppose 4*c - 3*c + 4 = 0. Let y = c - -1. Is 3 - (y + 0 - 407) composite?
True
Suppose 3*p = 4*j - 45349, -6*j + 3*j + 34020 = -5*p. Is j prime?
False
Suppose -q = 3*t - 2*t - 2689, 0 = -5*q + t + 13463. Suppose 0 = -4*z + q + 36. Is (-14)/21 - z/(-6) prime?
True
Let y = -6 + 16. Let i = y + -4. Suppose 3*o + l - 491 = 0, 0 = i*l - 2*l - 8. Is o composite?
False
Suppose -l + 5*l = -2*z + 1298, -5*l = -3*z + 1947. Is z a composite number?
True
Suppose 0 = -2*j + 4*j + 4*j. Suppose -3*t + 1021 = 5*m, 4*t + 2*m - 1380 = -j*t. Is t prime?
True
Let d be 4203/27 - 1/(-3). Suppose -2*s + 4*s = -2*o + d, 5*s + o = 386. Is s composite?
True
Suppose -26102 = 6*l - 7196. Is 14/(-84) - (2 - l/(-6)) prime?
True
Let p(x) = 2*x**3 - 7*x**2 - x + 5. Let m be p(5). Suppose 0*b + m = 5*b. Let l = 10 + b. Is l prime?
False
Let g(z) = 51*z**2 - 3*z + 59. Is g(-10) prime?
True
Suppose 4*x - 10173 - 32567 = 0. Is x a prime number?
False
Suppose p - 66216 = -4*r - 8555, -5*p = 3*r - 43233. Is (2 - -1)*r/48 a prime number?
False
Let v(y) = 107*y**2 + 6*y - 4. Is v(3) a composite number?
False
Let f(o) = -2640*o + 37. Is f(-2) prime?
False
Let y = 37 + -17. Suppose -k + 35 = -y. Let h = 79 + k. Is h a composite number?
True
Is 12/(-3) + (-28218)/(-3 + -3) a composite number?
True
Let w = 6 + 10. Suppose 7 - w = -3*j. Suppose -j*l + 210 = 3*l. Is l prime?
False
Let u be (16/28)/(0 + 3/21). Is (-3)/(-12)*2*(u + 882) a composite number?
False
Let y be (2 - 1)/(3/(1 + -946)). Let w = 1724 - y. Is w a prime number?
True
Let z be (1 - -9)*(-10)/4. Let b = z - -17. Let u(x) = x**2 - x + 7. Is u(b) a prime number?
True
Suppose 2*c = 1415 + 1201. Let l be (102/4)/((-6)/c). Is l/(-15) - (-6)/15 composite?
True
Suppose -2*d = 3*d - 20. Suppose -x - x = -d. Suppose 3*n - 89 = -t, -2*t - x*n + 245 - 67 = 0. Is t a composite number?
False
Suppose x - 224 = 3*i, -2*i + 0*i + 6 = 0. Is x prime?
True
Let v be -1 + 1 - -3 - -1. Suppose -v*i + 2590 = 3*d, -2324 = -3*i - 4*d - 385. Is i a composite number?
True
Let u(l) = -l**2 + 8*l - 1. Let r be u(8). Let a(p) = -p**2 - p. Let d be a(r). Is 1*(d - (-1 - 222)) composite?
False
Let r = 66 - 68. Is (29016/15 - r/(-5)) + 3 composite?
True
Let v(j) = 3*j**2 + j**3 + 3*j + 4*j**2 + 3 - 3*j. Let z be v(-7). Suppose 4*c - 963 = 5*l, -c - 2*l = z*l - 222. Is c prime?
False
Let c(j) = 2*j - 7. Let g be c(5). Suppose 165 = g*k - 435. Let o = k + -123. Is o composite?
True
Let k(f) = -18138*f + 245. Is k(-4) composite?
False
Let q = -2421 - -1312. Let u = q - -2424. Is u composite?
True
Suppose 0 = -4*w - 5*f + 60 + 30, w - 3*f = 14. Is 907*-4*(-5)/w prime?
True
Let m = -1216 + 2460. Suppose -5*u = 3*g - 5275, -3*g - 4*u + 3518 = -g. Let k = g - m. Is k a prime number?
False
Let l = 14226 - 8197. Is l a prime number?
True
Let b be 2/(-10) - (-64)/20. Suppose -2*h + n = -293, b*n = 3*h - 52 - 386. Suppose -c = -h + 14. Is c prime?
False
Let k be -2 - (-22)/8 - 1900/16. Is k*(0 + (-3)/2) a composite number?
True
Let y(b) = -b + 15. Let f be y(15). Suppose f = -3*u + 11*u - 1160. Is u a composite number?
True
Suppose 5*r + 8 - 23 = 0. Suppose -2*g + g - 5*s + 332 = 0, -5*g + r*s + 1688 = 0. Is g a composite number?
False
Suppose -3*z - 2*z = 0. Suppose 2*j - 2*t - 1396 = z, -4*j - 5*t - 1330 = -4149. Is j a composite number?
False
Let l(g) = g**3 - g**2 - g + 3593. Is l(0) a composite number?
False
Suppose -t = -5*l - 14 + 2, -5*t = -l + 12. Let c be -2 + 1 - 15/l. Is c/(-14) - (-14115)/35 a composite number?
True
Let z = -3081 - -5414. Is z composite?
False
Suppose 0 = -2*r + 3*c + 15, 0 = 4*c - 2*c + 2. Let g = r - 3. Is 2 - (-444 + g/1) a composite number?
False
Suppose 4*c + 68 - 224 = 0. Let d be -1*-8*c/(-6). Let u = 7 - d. Is u prime?
True
Let m(z) = -z - 3. Let j be m(0). Let f be 1/(-1)*0/j. Suppose -4*n + 1708 = -5*r, -4*n + r - 5*r + 1708 = f. Is n a composite number?
True
Suppose -3*j + n = 3 - 1, 5*n = 5*j + 20. Suppose -w + j = -2. Suppose -w*f - 323 + 929 = 0. Is f composite?
True
Let q(a) = 11*a + 8*a + 0 - 16. Is q(5) a prime number?
True
Suppose -t = t - 8. Suppose -t*l + 5*l + 5 = 0. Is (-1)/l + (-528)/(-10) a prime number?
True
Let t = 6265 + 906. Is t a prime number?
False
Suppose 0 = 27*a - 29*a. Is (417/12 - a)*4 a prime number?
True
Suppose 2*v = -35 + 47. Let m = -8 + v. Is (-2)/m + 3 + 207 a composite number?
False
Let g(a) = 1755*a**2 + 30*a - 146. Is g(5) prime?
False
Let v(f) = -f**3 - 20*f**2 + f + 23. Let q be v(-20). Let w(h) = -10*h + 2. Let o be w(-1). Suppose 4*s + n - 1784 = -q*n, -o = -4*n. Is s a composite number?
False
Let o = -4523 + 6492. Is o prime?
False
Let x(n) = -4*n**3 - 9*n**2 - 7*n + 9. Let z(q) = 9*q**3 + 19*q**2 + 15*q - 19. Let b(t) = -7*x(t) - 3*z(t). Let c be b(-5). Is 2367/18 + c/2 composite?
False
Let c = -8628 - -12257. Suppose 5*a - 7 - 23 = -5*i, -3*a - i + 16 = 0. Suppose -a*f + c = 3*p, 0*p + f = p - 1215. Is p a composite number?
False
Suppose -2*h + 8*h = 12918. Is h prime?
True
Let l(r) = 4*r**3 - 12*r**2 + r. Let c(k) = 3*k**3 - 11*k**2 + k - 1. Let f(b) = -5*c(b) + 4*l(b). Is f(6) a composite number?
False
Let k(u) = 3*u**2 - 8*u + 1. Let m be k(7). Let a = m + -55. Is a a prime number?
True
Let x = -3012 - -6401. Is x composite?
False
Let o be (-6)/(-12) + 18/4. Let z(t) = 5 + 1 + o*t**2 + 7*t - 3*t**2 + 1. Is z(12) composite?
False
Let o(q) = 3*q**2 + 9*q - 7. Let g be o(-4). Is 1*-2*((-843)/6 + g) prime?
True
Let l(g) = 524*g**2 - 18*g + 35. Is l(2) prime?
False
Let j(u) = -u**2 + 13*u + 3. Let c be j(13). Suppose -3*t = 2*w - c*w + 242, 5*w = 3*t + 1198. Is w composite?
False
Suppose -2*g - 1330 = -7*g. Suppose -3*d - f - g = 0, f = -4*d - 0*f - 353. Let z = 32 - d. Is z a composite number?
True
Suppose l + 1846 = 4*n + 24109, 0 = 3*l - n - 66811. Is l a prime number?
True
Let z(k) = 580*k + 9. Is z(49) a prime number?
True
Let u be (0 + -4)*843/12*1. Suppose -4484 = -4*x + 2*y, 5*x - 2150 = -3*y + 3466. Let s = u + x. Is s a prime number?
False
Is 30298*-3*((-65)/(-30))/(-13) a composite number?
False
Let t = -55390 + 86901. Is t composite?
False
Suppose -4*p = 2*k - 4*k, 3*p - 20 = -k. Let y = 133 + -97. Suppose 4*o - y = k. Is o composite?
False
Suppose -3*p = -x - 21821, -21811 = -3*p + 9*x - 13*x. Is p prime?
False
Let l = -141 + 454. Is (l + 13)*(7/(-2))/(-1) composite?
True
Let n = 2621 - 774. Is n prime?
True
Suppose 14742 = 8*z - 281