15429)/(-15) - j/20 prime?
False
Let g(s) = 3*s - 3. Let l be (3 - 4)*(-3)/1. Let r be l + (-27)/(-3) + 0. Is g(r) a prime number?
False
Let r(o) = o**2 + 9*o + 16. Let f be r(-7). Suppose 36 + 2 = f*w. Is w prime?
True
Suppose -4*i + 4732 = 3*r + r, -5*r + 5915 = 3*i. Suppose r = 5*f - 327. Is f prime?
False
Suppose -7*u + 2*u = -25. Suppose -3*y + 11 = -n, u = -3*n - 1. Is (62/y)/(18/135) a composite number?
True
Suppose 0 = -5*w + 3139 + 6111. Suppose 4*v - w = -2*x, 5*v - 5*x - 1857 = v. Suppose 3*h - v = -40. Is h composite?
True
Let c = 50 - -204. Is (c/(-6))/(2/(-6)) a prime number?
True
Let a(y) = -y**3 - y**2 - 4*y - 5. Suppose 3*r = 4 - 10. Is a(r) prime?
True
Suppose -493174 = -20*o - 2*o. Is o prime?
False
Suppose -2*y + 1 = -y. Let h(t) = -2*t + 1. Let a be h(y). Let o(x) = -150*x**3 - x**2 - x - 1. Is o(a) composite?
False
Suppose j - 2 = 0, -11*i = -7*i - 5*j - 81826. Is i a prime number?
False
Suppose -4*b - 3*j + 16 = 0, -b - 4 = -2*b + 2*j. Suppose -5*h + 2529 = b*l, 3*l - 4*l + 2*h + 629 = 0. Is l composite?
False
Let z(p) = 4*p - 2. Let r be z(-2). Let l(q) be the first derivative of 2*q**3/3 + 5*q**2/2 + 7*q + 2. Is l(r) a composite number?
False
Suppose 5*u - 81 = -16. Let y = -78 - -68. Is y/(-8)*3068/u a prime number?
False
Let r = -2398 + 6449. Is r a composite number?
False
Suppose 2*v = 106 + 170. Let w be (-5 - -3 - 1) + (-3 - -163). Let g = w + v. Is g a prime number?
False
Suppose 0 = -5*b - 5, -3*d = -4*d + 4*b + 4923. Is d a prime number?
True
Let g be (18/15)/(6/220). Let t be 1800/(-16)*g/6. Let x = -494 - t. Is x composite?
False
Suppose -q + 892 = s, -6*s + 4*s - 1796 = -2*q. Suppose -2*t = -m + 1268, -t - 2*t - 3*m - 1920 = 0. Let g = q + t. Is g prime?
False
Let c(j) = -64*j + 38. Let z be c(-16). Let a = z - 1. Is a a composite number?
False
Let k be (-5)/(3*(-20)/24). Suppose 8*f + 36 = 3*f + 3*l, -k*f = -2*l + 16. Let a(n) = -15*n - 5. Is a(f) prime?
False
Suppose -124 = -0*q - 2*q. Let m = q - -80. Suppose -3*b - 3*y + 474 = 0, 4*b - 4*y - 466 = m. Is b a prime number?
False
Suppose -11*c = -8*c - 6. Suppose 5 = -c*z - 1, -5*z = 5*f - 1060. Is f a composite number?
True
Is (-52668)/(-18) + 7/1 a prime number?
False
Suppose -5*m + a + 34974 = 0, 3*m + 28*a - 27*a - 20986 = 0. Is m prime?
False
Let d(n) = 512*n - 195. Is d(46) a composite number?
False
Let r(d) = 9*d + 5. Let p be r(1). Suppose -536 = -p*b + 6*b. Is b a prime number?
True
Let f = 11202 - -3575. Is f a composite number?
True
Let l(b) = 28*b + b**2 - 46*b - 1 + 26*b. Let f be l(-12). Suppose 2*v - u = 2*u + f, 0 = v + 4*u - 29. Is v a composite number?
True
Suppose 0 = 5*z + 4*c - 31286, -z - 3*z = 5*c - 25036. Let h = -4105 + z. Is h composite?
True
Let f(m) = m**3 - 6*m**2 - m + 8. Let b be f(6). Let t(p) = 4*p**2 - 2*p**b - 2*p - 1 - 180*p**3 + p - 3*p**2. Is t(-1) composite?
False
Let n(g) = 33*g**2 + 38*g + 43. Is n(32) prime?
True
Let l be 5051 + (-3*1)/(21/(-28)). Let d = -2953 + l. Is d a prime number?
False
Suppose -g + q = -2*q - 7297, -2*g = 4*q - 14564. Suppose -9*c - g = -17*c. Is c prime?
True
Let x = 14 - 10. Suppose x = g - 0. Is 57 + 1 + g + -5 a prime number?
False
Let n(o) = -o**2 - 5*o - 3. Let f be n(-3). Let a be f/(-3)*(3 + 780). Is a/(-11) - (-6)/(-33) composite?
False
Is -4*1/(-4)*111 prime?
False
Suppose 15021 = 17*o - 66290. Is o prime?
True
Suppose 0*b - 2*b - 18 = -4*t, -4*t + 3*b = -19. Is (-10)/t*22/(-1) a composite number?
True
Let q = -43 - -78. Let h = 32 + q. Is h prime?
True
Suppose -32 = -4*f + 4*o, -4*f - 2*o = -0*o - 8. Suppose f*c + 8 = 8*c. Suppose -c*l - 53 = -u, 4*u - 3*l - 258 = -u. Is u a composite number?
True
Suppose -5*u = -928 - 127. Suppose -3*s - 90 = r, 4*s + 272 = -5*r - u. Let p = -44 - r. Is p prime?
False
Let m(j) = j**3 - 26*j**2 + 21*j + 15. Is m(31) composite?
False
Let h(c) = c**2 - c - 4. Let d be h(3). Suppose -536 = d*u - 70. Let m = 534 + u. Is m prime?
False
Let a(u) = 163*u**2 + 11*u + 129. Is a(-7) a prime number?
True
Suppose 2*x - 786 = 3366. Let p = x - 1060. Suppose -2*b + 6*b = p. Is b composite?
True
Suppose -13*y + 3*g + 30891 = -10*y, 5*y = -4*g + 51485. Is y composite?
True
Suppose 3*f - 40 = -5*o - 11, 0 = 2*f + 4*o - 22. Let u(b) = -3*b + 139 + 72 + f*b + b. Is u(0) a prime number?
True
Let v be 1/(-3)*-8*3684/16. Suppose 9*w = 7*w + v. Is w a prime number?
True
Let y(f) = 757*f**3 + f**2 - 15*f - 2. Is y(3) a composite number?
True
Let i be ((-6)/10)/((-2)/10). Let g = 8 - i. Suppose -a + 2*h + 89 = 0, g*h = h - 20. Is a prime?
True
Let k = 1748 - 1029. Is k a prime number?
True
Suppose b - 2*b - 1 = 5*c, 2*b - 11 = 3*c. Let x be (b - -1)*3204/60. Suppose -5 = 2*v - x. Is v a prime number?
True
Let b(r) = r**3 + 3*r**2 + 4*r + 5. Let l be b(-2). Is (l - 1/2)*0 - -1657 composite?
False
Let b be 4 - (2 - -3 - 3). Suppose -2*m = 5*k - 23, b = -k - m + 9. Suppose 2*d + 124 = 4*u - 2*d, 5*u - 159 = k*d. Is u composite?
True
Let z(d) = 462*d - 1381. Is z(69) composite?
False
Let m be 1606 + 2*(-2)/4. Let j = -716 + m. Is j prime?
False
Let s(l) be the first derivative of 31*l**4/4 + l**3/3 + l**2 - l + 1. Let g be s(2). Suppose 3*d = g + 18. Is d prime?
False
Suppose 0 = 44*d - 36*d - 40360. Is d a composite number?
True
Let w = 39392 + 17937. Is w a prime number?
True
Let v(y) = -y - 7. Let u be v(-5). Is 29/((u + 1)*(-2)/22) composite?
True
Let i be 1*((-3)/(-3))/(-1). Let m(b) = b + 1. Let x be m(i). Suppose x*f = f - 89. Is f prime?
True
Suppose 4*k = 64 + 12. Is k a composite number?
False
Is (-20187054)/(-2622) - (-4)/(-38) a prime number?
True
Let v(r) = 188*r**2 + 32*r - 159. Is v(5) prime?
False
Let p(o) = -131*o**3 - o**2 - o - 1. Let c be p(-1). Let w = c - 76. Suppose -x = -5*a - w, 4*a + 69 = -3*x + 250. Is x prime?
True
Let l(r) = -32*r**3 - 4*r**2 - 2*r + 2. Let p be l(-2). Let a be (-82)/(-4) - (-4)/(-8). Suppose -a = -5*m + 5, -3*u = 3*m - p. Is u prime?
False
Suppose 17457 = -111*b + 466896. Is b composite?
False
Is -5 + 268036/20 - (-1)/5 a prime number?
True
Let h = 146 + -62. Suppose 40 = -4*i - h. Let n = 288 + i. Is n a prime number?
True
Let m = 3708 + 5426. Is m a prime number?
False
Let j = -11 - 3. Let d(g) = 8*g - 6. Let t be d(j). Let u = 177 - t. Is u prime?
False
Let j(k) = k**3 - 12*k**2 + 15*k - 8. Let b be j(10). Let m(q) = -2*q**3 - 3*q**2 + 2*q - 3. Let i be m(-4). Let a = i - b. Is a a prime number?
True
Suppose 7*a - 106996 - 148245 = 0. Is a prime?
False
Suppose -5*x - 4*j + 75 = 0, 80 = 5*x + 6*j - j. Is x composite?
False
Suppose -254 = 16*z - 14*z. Let t = 210 - z. Is t prime?
True
Let x(p) = 418*p + 6. Let a be x(9). Let v be (a/(-9))/(1/(-3)). Suppose r + 2715 = 4*h, -5*h + 2140 = r - v. Is h a composite number?
True
Suppose 2*d = -4*r + r + 3460, -3*d = -15. Suppose 4*g - r = 598. Is g a composite number?
True
Let d(w) = 3*w**3 - 3*w**2 + w - 6. Let q be d(4). Suppose y = -2*i + 95 + q, 2*y - 3*i - 481 = 0. Is y a composite number?
False
Let j be ((-52)/6)/((-6)/9). Let s be (28 - (3 - -1)) + -4. Let t = s - j. Is t a composite number?
False
Suppose 2*k + 1130 - 322 = 0. Let x = k - -607. Is x a composite number?
True
Let s(f) = 5*f**3 + 4*f**2 + 5*f + 6. Let z be s(6). Suppose 3*j + 3*m = z, 850 = -2*j + 4*j - 3*m. Is j composite?
True
Suppose -15*u + 26*u - 2321 = 0. Is u prime?
True
Suppose 0 = 2*b - 0*b. Let x(w) = w - 212. Let c be x(b). Is c/(-20) - (-9)/(-15) composite?
True
Let l(s) = 6*s**2 - 18*s - 122. Is l(-12) composite?
True
Let h = -25 - -25. Is (h + -3)*-102 + 1 a composite number?
False
Suppose 884 = -9*o - 133. Let z = -6 - -12. Is (o/2)/((-3)/z) composite?
False
Let y(v) = 74*v - 1 + 2 - 1 - 1. Let j be y(1). Suppose -2*c + j = -523. Is c prime?
False
Let q = 19 - 11. Let k(v) = v**3 + v**2 - 10*v + 7. Is k(q) a prime number?
True
Suppose -6*j + 3*j + 75201 = 0. Is j a prime number?
False
Let m(x) = -395*x + 151. Is m(-10) a composite number?
True
Suppose -4*h + 6073 = -4*d - 20123, -d + 32733 = 5*h. Is h composite?
False
Let n = 0 - 0. Let m = 2897 + -1251. Suppose n = -5*g + 419 + m. Is g a composite number?
True
Let q(g) = 25*g**3 + 8*g**2 - 3*g - 11. Is q(5) a prime number?
True
Suppose 2*r + 10 = 0, 4*p = 3*p - 2*r + 1647. Is p composite?
False
Let c(i) = -2*i**3 - 5*i**2 + 3*i - 8. Let w = 29 -