15 + 1/(-3). Is 349 + -4*(p + 4) a composite number?
False
Let k(j) = j**2 - j + 3. Let u be k(3). Suppose -2*h + 1 = 5*s, 0 = 5*h - 0*s - s - 70. Let r = h + u. Is r a composite number?
True
Suppose 0 = -8*y + 6*y - 5*p + 17912, y + p = 8953. Is y a composite number?
False
Suppose 0 = 2*z - 5*h - 4, -3*z - 5*h = 2*z - 10. Suppose -y - z = -5. Suppose -4*q = -4*s - 396, y*q - 2*s + 47 = 348. Is q prime?
True
Let d = -91 + 6. Let o be 4/10 - 12631/d. Suppose -o = 8*u - 685. Is u a composite number?
False
Suppose 3*g - 4*g + 2*y = 0, 3*y + 5 = -g. Let q be (g - 536)*12/(-2). Is 10/(-4)*q/(-30) composite?
False
Suppose -36*q = -41*q + 106705. Is q a composite number?
False
Let k(c) = -7080*c + 767. Is k(-3) a composite number?
True
Suppose 0 = 4*t - 6 - 2. Let d be 0*(2 + (-3)/t). Suppose -2*r + l = -4*l - 503, -4*r - l + 1039 = d. Is r a prime number?
False
Let z be (-191)/(-2) + (-6)/4. Let w = z - -225. Is w composite?
True
Suppose 2*a + 5*r - 7 = 0, -5*a - 5 = 4*r + r. Let d(l) = 145*l**2 + 1. Let f be d(a). Let m = -1570 + f. Is m prime?
True
Is (-4)/((-4)/(-20211))*(-5)/15 a prime number?
True
Suppose 0*k + k = -4*j + 1465, 3*j + 3 = 0. Is k prime?
False
Suppose 95 = 2*z - 11. Suppose 2*w - 4*w + 34 = 3*n, -5*w - z = -4*n. Suppose -4*h - 4264 = -n*h. Is h a composite number?
True
Is 4/34 - 40422/(-34) composite?
True
Suppose 10*c - 72243 + 24773 = 0. Is c a composite number?
True
Let m be (6/2)/(15/40). Suppose 2*v = -5*r - 11, -m = 2*v + 6*r - 2*r. Suppose -y - 5*s + 576 = 0, -v*y + 6*y + 4*s - 2320 = 0. Is y composite?
True
Let l(t) be the first derivative of t**5/6 + t**4/4 + t**3/2 + 2*t**2 + 2. Let v(m) be the second derivative of l(m). Is v(-5) composite?
False
Let o(r) = -19*r**2 - 4*r - 3. Let m be o(-1). Is (-2638862)/(-846) + ((-14)/m - 1) a prime number?
True
Let z be (-86)/(-6)*1 - 8/24. Suppose z*y = 479 + 459. Is y composite?
False
Let n = 61923 - 2312. Is n composite?
False
Is (166/249)/((-4)/(-9606)) prime?
True
Let d = 1124 - -455. Is d prime?
True
Let m be (-36)/54 + (-4)/3. Let i be (-1 - m)/(8/12560). Is i/30 + (-4)/(-6) a prime number?
True
Suppose -3 = -3*f, -10*s + 7*s = 4*f - 18091. Is s a composite number?
False
Suppose -304 = 3*g - 4*g. Suppose -l - 147 = -21. Let o = g + l. Is o prime?
False
Suppose 3*g + 4*u = 3777, 2*g + 3*u - 1387 = 1131. Is g composite?
False
Let a be (3852/90)/(2/(-10)). Let n = 311 + a. Is n prime?
True
Suppose 3*j - 2077 - 18 = -5*g, 0 = g - 4*j - 396. Is ((-37)/(-13) - 6/(-39)) + g prime?
True
Let l = 34 - 40. Is (l - -8)*(-5314)/(-4) composite?
False
Let p(f) = 19*f**2 + 14*f + 8. Suppose l - 2*o = -o - 11, 5*o + 33 = -3*l. Is p(l) a prime number?
True
Let f = -29 + 49. Let v be 3/(-12) + (-315)/f. Let b = 62 + v. Is b a composite number?
True
Let l be (216 + 3)*1*5. Suppose 0*c + 1448 = 4*c - t, 3*t = 3*c - l. Is c a composite number?
True
Let t = 6970 + -4457. Is t prime?
False
Is 1712 - (5 - (15/(-5) + 5)) composite?
False
Let k = -5503 - -3857. Let d = -1113 - k. Is d a prime number?
False
Let u = 261 + 1396. Is u prime?
True
Let z be (78/(-91))/((-2)/(-84)). Let t = z - -169. Is t a prime number?
False
Let v be 7/1 + (-33)/11. Suppose 4*n + 2*j + 25 = 155, -4 = v*j. Is n prime?
False
Let h = 4289 + 13818. Is h composite?
True
Let y = 3 + -45. Is -1*(y/105 + (-16566)/10) a composite number?
False
Suppose -7*a - 4*g = -2*a + 1294, 0 = 4*a + 2*g + 1040. Is (a/(-6))/(5/285*1) a prime number?
False
Let k(z) = -760*z - 43. Is k(-2) prime?
False
Suppose 0 = -0*o - 4*o + 30788. Suppose m - 2567 = g, 0*g - 2*g - o = -3*m. Is m a prime number?
False
Suppose -4*p = -22*q + 20*q - 339658, -169817 = -2*p - 3*q. Is p a composite number?
False
Suppose 2*g + 3*x - 2585 = 0, -2*x - 475 = 5*g - 6910. Is g composite?
True
Let l = -2563 - -6805. Suppose -4*z + l = 1702. Is z prime?
False
Let a be -3*(-3)/(0 + -3) - -3. Suppose 4*f - v - 513 = 0, a = f - 4*f - v + 376. Is f a composite number?
False
Let y(q) = q**3 - 5*q**2 - 2*q + 4. Let w be y(6). Suppose -25*o - 987 = -w*o. Is o a composite number?
True
Let g = 27 + -19. Let n(q) = -2*q**2 + 3*q + 4. Let u be n(g). Let d = 227 + u. Is d a composite number?
False
Let r be (-3 - -4 - 2) + 9/3. Suppose 5*c + 6 = 16. Suppose -4*n + 3664 = 4*g, -7*g + c*n + 4601 = -r*g. Is g composite?
False
Is 2413044/(-189)*(-7)/2 prime?
False
Suppose -2*r = -j - 459, -r - 463 = 2*j + 470. Suppose 5*m - 3614 = -3*c + 2*c, -5*m = -4*c - 3594. Let f = m + j. Is f composite?
False
Suppose 4*b + 7104 = 6*b. Suppose -4*u + 2*i = -b, u = -3*i - i + 879. Is u prime?
True
Let q(j) = 6*j**3 - 8 + j**3 - 8*j**2 + 6*j - 3*j**3 - 3*j**3. Let b be q(7). Is (0 - -489)*(-5)/b prime?
True
Suppose 2*x = 2 + 8. Suppose -x*n = 15, 0*g + 2*n + 11 = g. Suppose g*d - d - q - 1153 = 0, -q + 581 = 2*d. Is d prime?
False
Let g(x) = 699*x**2 - 13*x - 55. Is g(-4) a composite number?
True
Let o = 680 - 953. Let d = 1054 + o. Is d a composite number?
True
Suppose a = 18 - 164. Let o = 1431 + a. Is o a composite number?
True
Is ((-1037625)/9)/(-5) - 20/(-30) a prime number?
True
Let h be 0*(-1)/4 + 213. Let x = h - -56. Is x a prime number?
True
Let w(i) = 15*i**3 - 3*i**2 + 12*i. Let v be w(8). Suppose -5698 = -3*q + c, -4*c = -4*q - 0*q + v. Is q prime?
True
Let c = 515 - 84. Let k = c + 156. Is k composite?
False
Let y(c) be the third derivative of -2/3*c**4 - c**2 + 1/2*c**3 + 0*c + 0. Is y(-13) composite?
False
Let p = -4141 - -7654. Is p prime?
False
Suppose -150725 = 52*z - 489817. Is z prime?
True
Let c(q) = -52*q**2 - q + 32. Let x be c(6). Is (x/(-10) + (-2)/(-5))*1 a prime number?
False
Let p be 14/35 + 42/(-5). Is 4088/10 + p/(-40) a composite number?
False
Let y be (-13)/(2 - (-2 - -3)). Let c(s) be the second derivative of -s**5/20 - s**4 - 3*s**3 + 8*s**2 + 25*s. Is c(y) a prime number?
True
Let p(y) = -y**3 - 4*y**2 + 4*y + 4. Let l be p(-5). Suppose 0 = l*s - 1446 - 1515. Is s composite?
True
Suppose 4*y + 4*x - x = -22, 5*x = 5*y + 45. Let b(g) = -g**3 - 6*g**2 - 8*g + 13. Is b(y) composite?
True
Suppose -8 = 7*j - 1. Let d(s) = -534*s**3 - 1. Is d(j) composite?
True
Let r(z) = -624*z**3 - z**2 - 8*z - 8. Let v = -11 - -10. Is r(v) a prime number?
False
Suppose -414720 - 687388 = -28*i. Is i composite?
True
Let o be 17/1 + (-10 - -8). Suppose -o = -g + 71. Is g composite?
True
Suppose -5*u - 2*a + 1162 = -u, 3*u + 3*a = 864. Let r = 15 + -11. Suppose 2*b - 653 + 67 = -r*h, -b - 5*h + u = 0. Is b a composite number?
False
Let l(y) = 10*y**2 - 9*y + 13. Suppose -2*p + p = -6. Is l(p) a composite number?
True
Suppose -156*p + 161*p = 105. Is p a composite number?
True
Suppose 2*v + 5*c - 23 - 870 = 0, -1287 = -3*v + 3*c. Let j = -307 + v. Is j composite?
False
Let c(p) be the second derivative of p**5/20 + p**4 + 7*p**3/3 - p**2 - 88*p. Let j = 6 + -13. Is c(j) composite?
True
Suppose 3*g + y = 60751, -g + 3*y + 7644 = -12593. Is g a prime number?
True
Suppose 0*k = -k, 0 = -g - 3*k + 106. Suppose -v + g = -16. Is v composite?
True
Let f(r) be the second derivative of -383*r**3/3 + 3*r**2/2 - 28*r. Is f(-5) a composite number?
False
Let s(q) = 5*q**2 - 19*q + 15. Let i be s(17). Is (4/9*i)/(8/12) composite?
True
Let a(t) = -9*t - 1. Let h(c) = c**2 - 18*c - 9. Let z be h(19). Suppose w + 27 = -4*s + 1, -3*s = -4*w + z. Is a(s) prime?
True
Let u = 4898 + -213. Is u prime?
False
Let s be (-5)/4 - (-1)/4. Is 1/4*s - (-6759)/12 a composite number?
False
Suppose -3*v - v = -2*p - 1014, -5*p + 1305 = 5*v. Suppose -k + v = -301. Is k prime?
True
Let z(c) = c**2 + 4*c - 12. Let j be z(-5). Let m = 3 + j. Let v(i) = 4*i**2 + 1. Is v(m) a prime number?
False
Let i = 2 - 7. Let d be 3 + -1 + 3 + i. Let u(o) = o + 293. Is u(d) a composite number?
False
Let c(a) = 11*a**3 + 12*a**2 + 20*a - 4. Is c(11) a prime number?
False
Let z be (-2)/8 - (-35)/28. Let n(r) = 1 - 4 + 1 + 20*r**2 + z. Is n(5) a composite number?
False
Suppose 7887 = 3*x + 1728. Is x a composite number?
False
Suppose -2*k = 2, -41478 = -5*o + k + 2*k. Let d = -2750 + o. Is d a prime number?
False
Suppose -w - 4*u + 6 = w, -5*w + 3*u + 15 = 0. Suppose -2*b - w*j = -b - 7, 5*j - 56 = -4*b. Is b prime?
True
Let p(i) = -2*i + 731. Let k = -8 + 8. Is p(k) a composite number?
True
Suppose 3909 = -7*k - 2328. Let l(y) = -y**3 - 2*y