 + m + 3642 = 0. Is d composite?
True
Suppose -145395 - 33681 = -12*h. Is h a prime number?
True
Suppose -21667 = -4*s + 21. Suppose -s = -6*j + 5660. Is j prime?
True
Suppose -55*i + 36*i + 22306 = 0. Is i prime?
False
Suppose -9*y + 15*y - 2046 = 0. Is (-5)/20*-4*y prime?
False
Let r be 695 + ((-16)/4 - -4). Let b be (4/10)/(1/r). Suppose 0 = -3*w + w + b. Is w prime?
True
Suppose 13*m = 9*m + 24116. Is m a composite number?
False
Let r = 4481 + 3578. Is r prime?
True
Let z = 3014 + 1163. Suppose -15*w = -18562 + z. Is w composite?
True
Suppose -4*m = -11 - 1. Suppose -323 = -2*g + 5*j - 19, -5*j = -3*g + 446. Suppose -4*c + g = -5*s + 3*s, -m*c - 5*s + 126 = 0. Is c a prime number?
True
Let o = -13 - -104. Let l = 238 - o. Is l + 0/2 + 2 a composite number?
False
Let w(z) be the second derivative of z**5/10 - z**4 - 5*z**3/3 - 19*z**2/2 + 7*z. Is w(11) a prime number?
False
Let t = -14 + 19. Suppose t*i - j - 30 = -3*j, 13 = -3*i + 5*j. Suppose -i*k + s = 4*s - 87, -3*s + 108 = 5*k. Is k a prime number?
False
Suppose 4*p - 19 = -15, 12 = -2*n + 2*p. Let i(y) = 43*y**2 + 9*y + 31. Is i(n) a prime number?
True
Suppose -97 = -2*j + 3*d + 450, j + 4*d - 290 = 0. Suppose -11 + 13 = o. Suppose -2*h + 113 = y, -4*y + j = o*h + 3*h. Is h a prime number?
False
Let u(q) = 12*q**3 + 16*q**3 - 3*q**2 + 2*q + 18 - 6*q**3 - 19. Suppose 5 = 4*t - 3. Is u(t) prime?
True
Let c(x) = -3*x**3 - 4*x**2 - 5*x - 4. Let m be c(-2). Let h = 34 - m. Is (-5)/(h/6)*-74 composite?
True
Is 3 + 44230/8 - 3/4 a prime number?
True
Let y(z) = 163*z + 10. Is y(13) prime?
True
Let v(d) = d + 1. Let n be v(6). Suppose -3*f - f + 5*w = 0, -2*w - n = -3*f. Suppose 0*x - 160 = -5*x - f*m, -2*x - 3*m = -61. Is x a prime number?
False
Let o(p) = -21*p**2 + 4*p + 22. Let f be o(7). Let t = f - -1566. Is t prime?
True
Let q(x) = 28*x + 278. Is q(20) prime?
False
Suppose j - 68 = -i, -198 = -3*i + j - 6. Suppose 190 = 2*r - f, 4*r - 331 = -2*f + i. Is r a composite number?
False
Let o(j) = -3*j + 2. Let s be o(-3). Suppose 4*k - 29 = s. Suppose 0*a - a = -k. Is a composite?
True
Suppose 9 = q - o, 5*q - 41 = o + 2*o. Suppose -3*x + t + 1021 = 0, 4*x - q*x + 1025 = -2*t. Is x a prime number?
False
Let v(t) = 15*t - 5. Let f be v(-7). Let h = -21 - f. Let i = 38 + h. Is i prime?
True
Let w(c) = -c**3 - 7*c**2 + 18*c - 10. Let d be w(-13). Let z = d - -27. Is z a prime number?
True
Let t(i) be the first derivative of -i**4/4 + 11*i**3/3 + 5*i**2/2 - 6*i - 10. Is t(8) a composite number?
True
Let m(y) = -4*y**2 + 21*y - 4. Let n(p) = p - 17. Let h be n(14). Let g(s) = -5*s**2 + 22*s - 5. Let l(r) = h*g(r) + 4*m(r). Is l(8) composite?
False
Let p(y) = -y**3 + 26*y**2 - 13*y + 17. Is p(21) a prime number?
True
Let s = -70152 - -138503. Is s composite?
False
Let q be 91/21*2*198. Suppose -454 + q = 2*t. Is t a composite number?
False
Suppose 2*g = 2*q - 10, -6*q - 4 = -2*q. Let w(t) = t**2 + 8*t + 3. Let s be w(g). Let n(j) = j**3 + 10*j**2 + 2*j - 6. Is n(s) a prime number?
False
Suppose -126*b = -132*b + 315174. Is b prime?
True
Let t(o) = 146*o + 9. Let h be t(3). Suppose -3*z = -0*z - h. Suppose -7*l + z = -6*l. Is l a composite number?
False
Let o(d) = -82*d + 71. Is o(-20) a prime number?
False
Let k = 13 + -19. Let y(s) = -20*s - 7. Let d be y(k). Suppose -t = -d + 24. Is t a composite number?
False
Suppose 42*h = 29*h + 22243. Is h a prime number?
False
Let x(d) = d**3 + 3. Let l be x(2). Let r = 386 + l. Is r prime?
True
Let o(x) be the second derivative of -1/12*x**4 - 5/2*x**2 - 16/3*x**3 + 0 - 4*x. Is o(-18) prime?
False
Let q(w) = 63*w + 97. Let z(m) = -42*m - 65. Let h(d) = -5*q(d) - 7*z(d). Is h(-9) prime?
False
Suppose -2*f = 2*l + f - 2, -l = 2*f. Suppose -l*t + 16 = 3*o - 2*t, -5*o - 3*t = -26. Suppose -2*v + h + o*h + 300 = 0, h - 433 = -3*v. Is v a prime number?
False
Suppose -t + 5*z + 49006 + 26226 = 0, 150425 = 2*t + 3*z. Is t composite?
False
Suppose -5*s = -6*s + 2. Suppose -5*c + 280 = 5*b, -5*b + b + s*c = -254. Let q = b + 30. Is q a composite number?
True
Let v(w) = 36*w**2 - 3*w + 9. Suppose -2*z - 6 - 2 = 0. Is v(z) prime?
False
Is ((-10446592)/91)/(-4) + 3/(-7) composite?
True
Let a(k) = k**3 - k**2 - k. Let p be a(2). Suppose -p*d + 813 = d. Is d a prime number?
True
Suppose -4*v = -0*v - 12. Suppose -v*c + 313 = 2*m, -2*c - 2*c = 5*m - 800. Let k = -67 + m. Is k prime?
True
Suppose -1271 = -2*j - 5*d, -5*j + j - 5*d = -2537. Is j composite?
True
Suppose -4*s - 2*f - 3*f = -24, 4*f = 0. Suppose 3*g = s*g + 2571. Let a = g + 1490. Is a a composite number?
True
Let d = -386 - 638. Let n = d - -1821. Suppose -4*w = -3*c + n, 0 = -4*w - 20. Is c composite?
True
Let j = 218 + 2567. Is j a prime number?
False
Let c = -8 + 9. Let j(v) = 4370*v**2 + 2*v + 1. Is j(c) composite?
False
Let m(u) = -12*u + 42. Let j be m(4). Is ((-5912)/6 - 2)/(4/j) composite?
False
Let d(o) = 30*o - 30. Let v be d(-14). Let f = v - -947. Is f prime?
False
Let o be 21*(3 + 16/(-6)). Let q(h) = -h + 10. Let x be q(o). Suppose s = -k + 97, 2*k - 101 + 372 = x*s. Is s a prime number?
False
Suppose -3*a = -7*a + 104. Let y be ((-2)/(-1))/(13/a). Suppose y*q - 298 = 18. Is q composite?
False
Let n be ((-2546)/(-1) - -4) + 3. Suppose 2*h = -h + n. Is h a prime number?
False
Suppose -2*g + 4*h = 68, -4*g + 0*h = -4*h + 116. Is 2/3 - 4568/g prime?
True
Suppose w + 3*s - 3119 = 1817, -4*w + 19699 = -3*s. Is w a composite number?
True
Suppose 0 = 87*u - 3*u - 3231732. Is u a composite number?
True
Let j = -11 + 15. Let u = -2 + j. Let l(v) = 210*v - 5. Is l(u) prime?
False
Is (1941/(-9))/((-5)/345) composite?
True
Suppose -3 = 4*b - 5*b. Let o(q) = 3*q**3 - 4*q**2 - q. Let f be o(b). Suppose -113 = -s + f. Is s composite?
True
Suppose 0 = 3*y - 508 + 127. Suppose -5*l + y = -348. Is l composite?
True
Let l(f) = -24*f - 125. Let z(s) = -12*s - 62. Let a(y) = -3*l(y) + 5*z(y). Is a(19) prime?
True
Let j = -1746 + 2970. Let d = -83 + j. Is d a composite number?
True
Suppose b - 5 + 0 = 0, 5*x - 10 = 2*b. Suppose 0 = x*r + 418 - 2566. Let o = r - 244. Is o a composite number?
False
Let m be (3206/(-4)*-1)/((-21)/(-42)). Let f = m + -312. Is f a composite number?
False
Suppose 0 = 4*u - 16*z + 13*z - 45427, 0 = -u + 4*z + 11347. Is u prime?
False
Suppose -5*c + 1 + 19 = 0. Suppose c*i - n - 43 = 3*i, 0 = -2*n. Is i composite?
False
Suppose -6*p = 11 + 25. Is (68/p)/((-14)/231) prime?
False
Let v be (-4798)/(-14) + 12/42. Let g = 68 + v. Is g a composite number?
True
Suppose 1672546 = 43*j - 1257087. Is j composite?
True
Let l(s) = -254*s - 24. Let d be l(-7). Let y = d - 1195. Is y a composite number?
True
Let d = -18 + -79. Is d/((24/20)/(-6)) composite?
True
Suppose h + m = 3788 + 477, -4271 = -h - 3*m. Is h a composite number?
True
Let b(h) be the third derivative of h**5/60 - 2*h**4/3 - 37*h**3/6 + 21*h**2. Is b(26) composite?
False
Let a(z) = z**3 - 2*z**2 + 4*z - 6. Let m be a(3). Is (1/(-2))/((m/(-6294))/5) a prime number?
True
Suppose 107*n = 85*n + 111738. Is n a composite number?
True
Suppose -2*t - 167 = -t. Is t*(1 + (1 - 4)) a composite number?
True
Let w = 226 + 4936. Let y = w - 3219. Is y a composite number?
True
Let q(x) = x**2 + 476. Suppose 0 = 3*m - m. Let t be q(m). Suppose 0 = -0*p + 4*p - t. Is p composite?
True
Let n be (2/4)/(1/1466). Suppose f = -2*z + 506, 0 = 3*z + 2*f - 7*f - n. Is z prime?
True
Let w(p) = -p**3 - 15*p**2 + 14*p - 8. Let o be w(-16). Suppose 0*r = 5*i - 3*r - 23, o = 5*i - 4*r. Suppose -2667 - 521 = -i*b. Is b prime?
True
Is 1472 + (-11 - -10) + 6 composite?
True
Let c(g) = 21919*g**2 + 4*g + 4. Is c(-1) a prime number?
False
Suppose -2*a + 6 = -4*s, 4*a - 6*a - 2*s = -24. Let w be 16/(-4) + 6 + a. Is (w - 10)/((-2)/(-194)) a prime number?
True
Suppose -4*l + l = -s - 35, -5*l - s = -45. Suppose -m + 6*m = l, 4*z = m + 658. Is (-1 + 2)*(z - 4) composite?
True
Suppose -6058 - 3644 = -9*g. Let b = g - 633. Is b composite?
True
Let t(u) = -3*u**3 - 12*u**2 - 7*u + 7. Let y be t(-8). Suppose 2*d - d - y = 0. Suppose 5*i - 4*h = d, -2*i + 261 = -h - 69. Is i a prime number?
True
Let t = -175 - -1232. Suppose 0*n + 5*n = -5*z + 5325, n + t = z. Is z a composite number?
False
Is (-54)/(-36)*(-202854)/(-9) a composite number?
False
Suppose 0 = u - 2*h - 30755, 