 l = -57 + 59. Suppose -90877 = l*n - 21*n. Is n composite?
False
Let w = 305 - 696. Let c = 1026 + w. Is c a composite number?
True
Let p = 10 - 5. Suppose -p*k + 30 = -f, 0*f - 4*f - k - 15 = 0. Let r(v) = -66*v + 5. Is r(f) a prime number?
False
Suppose -9*p + 104965 = -6*p + 2*o, -35011 = -p + 5*o. Is p composite?
True
Let u = -19 + 23. Suppose u*r - 4*b = 692, r - 189 = 3*b + 2*b. Is r a composite number?
True
Let a be 15*(-5)/(100/(-8)). Let x(l) = l**2 - 4*l - 7. Let p be x(a). Suppose -7*k + 298 = -p*k. Is k composite?
False
Let g = -27 - -124. Is g a composite number?
False
Let o(c) = 3*c**3 - 7*c**2 - 6*c + 29. Is o(14) prime?
False
Is (9664 - (8 + -11)) + (-12)/2 composite?
False
Suppose -p = -3*j - 0*j - 12, -3*j = -5*p + 24. Suppose -o - p*q + 0*q + 2324 = 0, 5*q = -2*o + 4647. Is o a prime number?
False
Let h(y) = 76*y**2 + 3. Let f(z) = 152*z**2 + 6. Let c(p) = 3*f(p) - 5*h(p). Is c(-2) prime?
True
Suppose c + 4 = 4*v + 66, -3*v = -3*c + 222. Let j = 529 - c. Is j prime?
False
Let p = 185393 - 126744. Is p a prime number?
False
Let u be -6*1/2 - -266. Suppose -5*o - 2*y = 3*y + 1315, o + u = -2*y. Let b = o + 1006. Is b prime?
True
Let y be (4/(-10))/((-2)/10). Suppose y*n = 3*n - 1271. Is n a composite number?
True
Is 36773 - 12*(-5 + 18/4) prime?
True
Suppose 1 = 4*m + 5*s, 0*s + 25 = 4*m - 3*s. Let h = 1 - -2. Suppose m = t - h. Is t a composite number?
False
Suppose -132285 = -349*z + 334*z. Is z a prime number?
True
Is 1 + 4 - (-143 - 37) composite?
True
Let x(s) be the first derivative of -s**2 + 5*s - 7. Let k be x(0). Suppose 4*p + 673 = k*m - 562, 487 = 2*m - 3*p. Is m a composite number?
False
Suppose g - i + 18 = 4*i, -4*i = -3*g - 21. Is (4 - 7 - -175) + g prime?
False
Suppose -2*u = 2*j - 183 - 215, -4*u - 5*j = -799. Suppose u = q - 0*q. Suppose -q = -2*s - 2*s. Is s a composite number?
True
Let s(l) = 15*l - 13. Let o(c) = -c. Let x(f) = -6*o(f) - s(f). Is x(-6) a composite number?
False
Suppose a + 2*a = -3, -a = -2*b + 5. Let j be -1 - -13 - 0/b. Is (-4)/(-6) - (-388)/j prime?
False
Suppose k + 23 = 145. Suppose j + j = 0. Is k + 2/(-2 + j) prime?
False
Suppose m + 3*m + 3*o - 8 = 0, -2*m - 2*o = -6. Is 0 - -258 - ((1 - -1) + m) a composite number?
False
Let n(s) = s**2 - 4*s. Let t be n(6). Suppose -t*y + 8*y = 16. Is (-290)/(-30) + y/6 prime?
False
Let b(t) = t**3 - 6*t**2 + 6*t - 7. Let s be b(5). Let n be (-115934)/(-63) - s/(-9). Suppose 4*o + j - 1634 = 0, -5*o = -3*j - n - 211. Is o a prime number?
True
Suppose 0 = f + 2*f - 36. Suppose -4*b + 7*b = 2*w + 24, f = -w - 3*b. Is (83/(-2))/(2/w) a composite number?
True
Let s(u) = 6*u**2 - 14*u + 7. Is s(13) prime?
True
Let o = 3148 + 13339. Is o a composite number?
False
Is 2 + 347211/33 + 54/(-99) composite?
True
Suppose -2*w + 1 + 1 = 0. Suppose -f + 4*j = 4, -j = -0*f - 5*f - w. Suppose 3*i + 172 - 823 = f. Is i composite?
True
Let x = -3396 - -35387. Is x composite?
False
Let j(f) = -6 - 5*f**2 + 2*f + 0*f + 14*f**2 - 4. Let g be j(-7). Suppose -3*r = -0*r - g. Is r composite?
False
Suppose -2*v = -9*v - 231. Let m(g) = -72*g - 2. Let z be m(4). Let a = v - z. Is a a prime number?
True
Suppose 5*s - 5 = 0, -6*v + 5*s + 5805 = -v. Suppose -v - 1163 = -5*u + 2*m, -3*m + 1416 = 3*u. Is u a prime number?
True
Let l(p) = 4*p**3 - p + 2. Let n(q) = -2*q + 7. Let u be n(3). Let w be l(u). Suppose w*s = 3*v + v + 1439, 1147 = 4*s + v. Is s a prime number?
False
Suppose -23*c - 5468 = -240735. Is c a composite number?
True
Suppose 0 = q + 4*q + 10. Let f be (-2)/(-3)*303/q. Let a = f - -160. Is a a composite number?
False
Let g = -60 + 57. Let s(m) = -34*m**3 + 4*m**2 - 7. Is s(g) composite?
False
Let o(b) = 24 + 3 + 36 - 18 - 14*b. Is o(-7) prime?
False
Suppose -7*o = -2*o + 30. Let c(z) = -50*z - 2. Is c(o) composite?
True
Suppose -17*b + 3*b - 658 = 0. Suppose 179 = 2*v - 0*v + 5*i, i = 3. Let f = v + b. Is f a composite number?
True
Let k(a) = a**2 - a + 3. Let w be k(0). Suppose -l = 3*g - 36, 189 = 5*l + w*g - 15. Suppose -3*u + l = -627. Is u prime?
True
Let p = -11 - -12. Suppose -4*c + 4*z + 5 = p, 0 = -c - 3*z + 21. Is (-5570)/(-4) - (-3)/c a composite number?
True
Suppose -10*g + 54 = 4. Suppose 680 = g*q - 290. Is q a composite number?
True
Let s(m) = -2*m - 6. Let i be s(-6). Suppose 2*n + 2*v - 304 = 0, i*n = 2*n + 4*v + 584. Is n composite?
False
Let f(s) = -6*s**3 + 6*s**2 + 2*s + 13. Let o be f(-8). Is o + (1*(-3 - -3) - -2) a prime number?
False
Let k(u) = 114*u**2 + 51*u - 10. Is k(-11) prime?
False
Suppose 103689 = 16*n - 68647. Is n a prime number?
True
Let r(u) = -293*u**3 + 2*u**2 - u - 1. Let x(n) = 880*n**3 - 7*n**2 + 3*n + 3. Let c(k) = 8*r(k) + 3*x(k). Is c(2) prime?
True
Suppose 5*t + 15 = 5*n, 2*t + 0*n + 7 = 3*n. Let c be (6*4/(-6))/t. Suppose 4*g = b - 275, b - 5*g + c*g = 273. Is b composite?
True
Let s(w) be the third derivative of w**6/120 + w**5/12 - w**4/24 - w**3/2 - w**2. Let h be s(-5). Is 4175/45 + h/9 prime?
False
Is (6162902/(-1133))/((-4)/22) prime?
True
Let w be (63/(-36))/(1/(-4)). Is 1930/2 + -7 + w a prime number?
False
Suppose -9174 = -3*o - 1941. Is o composite?
False
Is (6653/(-2))/(42/(-84)) a prime number?
True
Suppose 2*h + 1174 = 5*x, -2*x + 3*h = -h - 460. Let t = x - 1048. Is 2/((-16)/t)*2 composite?
True
Let t(k) = -k - 8. Let i be t(-10). Let l be -3 + i + 2 - 34. Let s = 4 - l. Is s composite?
False
Suppose -2*w - 12 = -4. Let c be 4*(-3 + w/(-1)). Let k(u) = 6*u**2 - 6*u + 5. Is k(c) prime?
False
Suppose -35*i = -34*i. Suppose -x + 108 + 195 = i. Is x a composite number?
True
Let g(t) = 516*t - 8. Let k be g(-3). Is 2/17 - k/68 composite?
False
Let r be 4*(-15)/(-12) - 2. Suppose r*t + 5*t - 1784 = 0. Is t composite?
False
Suppose 9267 = -130*j + 133*j - h, -j + 3089 = 4*h. Is j composite?
False
Is (-124)/(-6)*10665/90 a prime number?
False
Let v(c) = c + 2. Let q be v(0). Let i be (463 - -5) + q/(-1). Let w = -321 + i. Is w a prime number?
False
Let f be (-18)/42 + 29504/14. Suppose -j = -5*a - 993, 4*j - a = f + 1903. Is j prime?
False
Is (-103312)/(-5) + (-63)/(-105) composite?
False
Suppose 7*a - 123983 = 18908. Is a composite?
True
Suppose i - 10 = 2*i. Let w = 101 - 42. Let g = w + i. Is g prime?
False
Let t(x) = -1656*x**3 + 1. Let a = 21 + -22. Is t(a) a composite number?
False
Let z(c) = -c**3 + 5*c**2 + 4*c - 5. Let q(v) = v + 5. Let u be q(0). Let x be z(u). Let b = 18 - x. Is b prime?
True
Is (-5244)/44*-23 - (-2)/(-11) prime?
True
Let v = 14149 - 9434. Suppose v = 5*p - 210. Suppose 2*i + 3*w = -323 + p, 0 = 4*i + 4*w - 1332. Is i a composite number?
False
Is 6119*-1*29/(-29) composite?
True
Let o = -4409 + 8158. Is o a prime number?
False
Suppose 3*l - 866 = 5*o + 3046, 2*l + 5*o = 2583. Let m = l + -928. Is m a composite number?
True
Let s be (-9 - -24)/(6/(-4)). Let g be (-6)/s + (-119)/(-35). Suppose 2672 = g*n - 524. Is n a composite number?
True
Suppose -16*j = -117*j + 9710039. Is j composite?
True
Let a(h) be the third derivative of -497*h**6/120 + h**5/60 - h**4/24 - h**3/3 + 7*h**2. Is a(-1) a prime number?
False
Let c(n) = -n**3 - 7*n**2 + 6*n - 12. Let r be c(-8). Suppose -r*q - 4*k = -1832, 406 = -4*q + 5*k + 2229. Is q composite?
False
Let w(d) = 48*d + 11. Suppose -l + 0*l = z - 11, 0 = 3*z - 5*l - 9. Is w(z) composite?
True
Let p(a) = -a**2 - a + 2. Let y be p(-2). Suppose y = 3*x + x. Suppose x = -2*t - 4, 0*b + 5*t = -3*b + 887. Is b prime?
False
Let h be (-6)/27 + 88/72. Suppose 4*z + 2*c + 9806 = 0, 0*c = c - 5. Is h/((-4)/(z + 2)) prime?
True
Let g(y) = 5 + 810*y + 811*y - 250*y. Is g(2) composite?
True
Suppose -x + 66485 = 4*s - 16076, 5*s = 5*x + 103170. Is s a prime number?
True
Let t(o) = 56*o**3 + 24*o**2 + 7*o + 7. Is t(6) a prime number?
True
Let h = 713 - -13986. Is h a composite number?
False
Let m be 11 - -6*(-1)/2. Suppose 15*l = m*l + 2485. Is l prime?
False
Let w(t) = t. Let r be w(3). Suppose 2*f + j - 1500 = 0, -5*f + r*j = -2*j - 3765. Is f a composite number?
False
Let m(y) = -y**3 - 8*y**2 - 9*y - 10. Let p be m(-7). Suppose p*k + 4 = -c - 0, 16 = -4*c. Is ((-78)/1)/(-2 + k) a composite number?
True
Let a be -1 - (-3798)/8 - (-6)/(-8). Let g = 672 - a. Is g a prime number?
True
Let t(j) = -1816*j + 369. Is t(-13) prime?
True
Suppose -12 = 8*q - 4*q