(-15) a composite number?
True
Let x be 3/(((-42)/(-4))/7). Let t(b) = -4*b + 6. Let s be t(x). Is (157 - s)*6/18 a prime number?
True
Let j(p) be the third derivative of 19*p**5/120 - 11*p**4/12 + p**3/3 - p**2. Let l(f) be the first derivative of j(f). Is l(15) a prime number?
True
Let j = -5552 + 8515. Is j prime?
True
Let r(u) = u**3 + 1. Let v(i) = 7*i**3 + 8*i**2 - 2*i + 14. Let c(h) = -5*r(h) + v(h). Let n be c(-7). Let l = n + 389. Is l prime?
False
Let z = -780 - -1490. Suppose -4*m - m = z. Let c = m - -231. Is c a composite number?
False
Suppose 2*r - 10 = 2*w, 0*w + 25 = -3*w + 5*r. Suppose -7*k - k - 5800 = w. Let t = k + 1658. Is t composite?
True
Let m = 10 + 0. Let j = m - -9. Is j prime?
True
Suppose -2*w - 1 = 27. Let u be 378/4 - (-7)/w. Let y = u + -7. Is y a composite number?
True
Let l(z) = 28 + z**3 - 10 - 4*z**2 - 10*z - 11. Suppose -2*w = 2, -3*w - 13 = -5*b + 20. Is l(b) a prime number?
True
Let d = 443 + 10146. Is d a prime number?
True
Let i = 14 + -9. Let p = 10 - i. Suppose p*a - 3*a - x = 1876, 2*a + x = 1880. Is a composite?
True
Let g be (-25415)/(-91) - (-4)/(-14). Suppose 5*m - 21 + 196 = 3*l, -5*l + g = -2*m. Is l prime?
False
Let x = -8 - -16. Let u(v) be the third derivative of v**5/15 - 5*v**4/24 - 11*v**3/6 - 8*v**2. Is u(x) a composite number?
True
Suppose 6*u + 11909 = 7*u. Is u prime?
True
Let g be 17/6 - 1/(-6). Suppose -2*d = -g*d - 6. Let l = d + 29. Is l composite?
False
Let s(p) = -249*p + 2. Let h(f) = -250*f + 1. Let y(b) = -5*h(b) + 6*s(b). Is y(-3) prime?
True
Suppose 0 = 2*q + d - 3310, 5*q = -6*d + 11*d + 8305. Is q a composite number?
False
Let q(h) = 3*h**2 - h - 1. Let j be q(-1). Suppose j*a - 5*a = -10. Suppose -y + a*o - 656 = -2*y, -2*y - 5*o = -1287. Is y prime?
True
Let y be (-96)/60*(-10)/4. Let d(b) = 5*b**3 - 2*b**2 + 6*b - 5. Is d(y) a prime number?
True
Suppose 50 - 65 = -5*c. Suppose 0*y - 1154 = -4*y + 5*w, 0 = 3*y + c*w - 879. Is y a composite number?
True
Suppose 4*p + 0*p - 12 = 0. Let r be 3/p - (-51)/(-1). Is (r - 1)/(-1*1) a composite number?
True
Let v = 1142 - -442. Suppose 5*x = -2*m + v, 777 = -0*m + m - 5*x. Is m composite?
False
Let d be (-12 + 2/1)/2. Let y(r) = -61*r + 2. Is y(d) prime?
True
Suppose 2*u + u - 4965 = 0. Suppose 0 = 23*x - 18*x - u. Is x a composite number?
False
Suppose -x - 3*y - 4 = 0, -5*x + 5*y = -0*y. Let w = x + 4. Suppose -5*r + 1075 = -5*j, -3*j - 223 = w*r - 4*r. Is r a composite number?
False
Let d be (4 + -2 + -1)*3976. Suppose -d = -4*s - 516. Is s prime?
False
Let w be (1 - 14/12) + (-158505)/(-90). Let p = 2612 - w. Is p prime?
False
Let p = 145065 + -98072. Is p a composite number?
False
Suppose -13004 = 48*h - 52*h. Is h a prime number?
True
Is 62551275/259 - 2/(-7) a prime number?
True
Suppose 0 = 6*a - a - 15. Suppose -p - 1255 = -a*k, 5*p + 497 - 88 = k. Is k composite?
False
Let i = 489 + -1064. Let q = -193 - i. Is q prime?
False
Let i = -21 + 39. Suppose -i = f - 5*m, -4*f + 4*m - 4 = m. Is ((-14)/(-4))/(f/52) a composite number?
True
Let f(a) = 5*a**3 - 5*a**2 + a + 36. Is f(5) prime?
True
Let r = 2059 - 1914. Is r composite?
True
Let g be (84/(-36))/(2/24). Is ((-154500)/g)/3 - 2/7 a prime number?
False
Suppose -3*a + 161 = -0*r - r, 4*r + 576 = -5*a. Suppose 2*x - 566 = 10. Let s = x + r. Is s prime?
True
Suppose -u - 371 = 2*t - 1054, 4*u - 2707 = -3*t. Is u a composite number?
False
Let f(z) = -130*z**3 + 2*z**2 - 2. Let y be f(-2). Let g = y - 3. Is g prime?
False
Let b(g) = 40*g + 7. Let a be (-1 + 1)*(-6)/6. Suppose a = 4*w - 6 - 6. Is b(w) composite?
False
Let s(t) = -t**3 + 3*t**2 + 5*t - 10. Let k be s(4). Let g be 3084/(-18)*(-9)/k. Let w = -80 - g. Is w a composite number?
True
Let l = 1241 + 6528. Is l composite?
True
Let x(c) = -c**2 + 6*c - 3. Let v be x(5). Let g(q) = -v + 26*q - 15*q + 21*q - 7. Is g(7) a composite number?
True
Let y = 162501 + -61438. Is y a composite number?
False
Suppose -3*o = 0, -3*m + 5*o + 3041 = -1042. Is m a prime number?
True
Suppose -42 = -3*a - 3*s, -42 = -3*a - s + 4*s. Let u be (a/10 + -1)*15. Suppose -u*v = -4*v - 110. Is v composite?
True
Let m(o) = 4*o**2 + 17*o - 109. Is m(-20) composite?
False
Let w(g) = g**3 - 18*g**2 + 18*g + 1. Let t be w(17). Is (-1645)/(-9) - (-4)/t prime?
False
Let y(j) = 298*j - 3. Let f(h) be the first derivative of h**4/4 - 3*h**3 + 4*h**2 + h + 2. Let a be f(8). Is y(a) a prime number?
False
Is 2/(8/6172) - 0 composite?
False
Let z(f) = f**3 + 17*f**2 - f + 12. Let r be 26/(-4) - (-8 + (-119)/(-14)). Is z(r) a composite number?
False
Let a(h) = -1203*h - 25. Let r(w) = 602*w + 13. Let m(f) = 6*a(f) + 11*r(f). Let q(g) = 894*g + 11. Let v(c) = -8*m(c) - 5*q(c). Is v(1) a composite number?
True
Suppose -3*v + 2 = -1. Suppose -3 = x - v. Let u = 108 + x. Is u composite?
True
Let v = 76 - -6. Is v a composite number?
True
Suppose -3*b + 4*x - 48435 + 122834 = 0, 2*x = -10. Is b prime?
True
Suppose 0*p + 2*p - 3 = 3*d, -5*p = -4*d - 25. Suppose 22955 = p*h - 14818. Is h prime?
False
Let y be 78/21 + 4/14. Suppose -y = 4*k + 3*o + o, 0 = 5*k + 2*o - 4. Suppose -k*s = -0*s - 422. Is s a composite number?
False
Is (-16)/20 - (-248634)/30 prime?
True
Suppose -28 = 4*s - 4. Is 6 + (-9494)/(-12) + 1/s a prime number?
True
Let y(h) = -77*h - 7. Let a be y(-7). Suppose 2*o - a = -n - 3*n, 0 = -3*n + 4*o + 377. Is n a composite number?
False
Suppose -5*q + o + 205 = 0, o + 15 = -2*o. Suppose u - 7 = q. Is u*22*(-1)/(-2) a composite number?
True
Let c be 1*(6 - -1)*1. Let k(j) = 9*j**2 + 20*j + 17. Let z(p) = -8*p**2 - 18*p - 15. Let i(u) = -6*k(u) - 7*z(u). Is i(c) prime?
False
Let z(m) be the second derivative of -28*m**3/3 - 13*m**2 - 14*m. Is z(-8) prime?
False
Let x(z) = -260*z - 17. Let h be x(-5). Suppose 891 = 2*r - h. Is r a composite number?
False
Suppose -t + 137 = -4*c, 0 = 4*t + t - 3*c - 634. Is t - 2*(1 - 2) a composite number?
False
Suppose a = 3*a + 22. Let o(g) be the second derivative of -g**5/20 - 5*g**4/6 - g**3 - 4*g**2 - 12*g. Is o(a) composite?
False
Let z = 1315 + -199. Let f be (3/(-6))/((-3)/z). Suppose 5*d = -2*c + 187, 0*c = -5*d - c + f. Is d composite?
False
Let c be (9/(-6))/((-3)/1544). Suppose -3*h + c = -w + 2*w, -3*h + 3079 = 4*w. Is w prime?
True
Let d = -24 + 20. Is 1/(14/d) + 10569/21 prime?
True
Let b(p) = p**3 - p**2 + p - 1. Let l(c) = 2*c**3 + 3*c**2 - 7*c + 3. Let u(h) = -4*b(h) - l(h). Let z be u(-3). Let m = -74 + z. Is m a prime number?
True
Let f be 5*4/20*128. Suppose w - 254 = 4*g, -4*g + 30 = 4*w + 274. Let o = f + g. Is o composite?
True
Is 6/(-24)*4 - -5508 prime?
True
Let q be (3*-1)/((-14)/14). Suppose -q*p - 54 + 1008 = 2*d, -5*p = 2*d - 962. Is d prime?
False
Suppose 4*h = 2*r + h - 18, -2*r - 3*h + 30 = 0. Let y(k) = 2*k - 21. Let l be y(r). Let v = l - -34. Is v a prime number?
True
Is (-18860)/(-4) + (-6)/(-1) prime?
True
Let b = -76545 - -115924. Is b a composite number?
True
Let f = -21902 - -37711. Is f a composite number?
False
Is 8 - (-1852 + (13 - 6)) prime?
False
Suppose 6*z = 4*z. Suppose g + 626 = 3*g. Suppose -3*k - 6 = z, 0 = p + 2*k - 336 - g. Is p a composite number?
False
Let b = 32562 - 23041. Is b prime?
True
Let x = -127 + 132. Suppose x*n - 994 = 4*j + 1255, -4*n + 5*j = -1801. Is n a composite number?
False
Suppose 0 = -0*j + j + 3*o, 5*j + 3*o - 12 = 0. Suppose 5*q - 4*p - j = 2*q, -5*p = 3*q - 3. Is 12/6 + q*147 a prime number?
True
Suppose g - 176 = 519. Is g a composite number?
True
Let b = -6 + 12. Let k(g) = -g**3 + 7*g**2 - 4*g - 8. Let c be k(b). Suppose 3*h - 115 = 2*i, -c*h + 23 = 3*i - 102. Is h prime?
False
Let x(i) = -11 + 4 - 5*i**2 - 10*i + 4*i**2. Let t be x(-9). Is (t/(-6))/(5/(-795)) composite?
False
Suppose 6*x = 52127 + 82471. Is x a prime number?
True
Let y = 23034 + -15633. Is y a composite number?
True
Let p(i) = i - 5. Let c be p(5). Suppose 2*u + 3*z = -c*u, -5*z - 22 = -4*u. Suppose s + 4*s = x - 25, 0 = u*s + 6. Is x a prime number?
False
Let c(t) = t + 2. Let d be c(4). Let i be (-242)/d - (-3)/9. Let v = i - -59. Is v a prime number?
True
Let l be (-711)/(-2) + (-2)/4. Suppose -2*w - 89 = -l. Is w prime?
False
Let i be (-5)/(15/(-72)) + -3. Suppose 2 = 2*g + 4*b, -2*g + 2 = -3*b - i. Suppose 2*w - 13 = g. Is w a composite number?
True
Let p(m) = 76