 = 2*h - 22438. Is h a prime number?
False
Suppose n - 3 = -2. Suppose 0*d + d = -3*m + 5, -3*m = -2*d + n. Suppose 2*s + 3*t = -s + 1296, d = 2*t. Is s a composite number?
False
Let f be 7/(-2)*(-12)/14. Suppose 185 = j - 5*n - 117, -2*n = -f*j + 945. Is j a composite number?
False
Is (-4)/(-20) + 36162/15 prime?
True
Let a(p) = p + 12*p**2 + 5*p**2 - 4*p - 2*p**2 - 11. Is a(-5) prime?
True
Suppose 2*l - 25 = 35. Suppose l*r = 25*r + 7775. Is r composite?
True
Let k(w) = -w**3 - 23*w**2 - 9*w + 19. Let t(s) = -s**3 - 24*s**2 - 9*s + 19. Let d(v) = -4*k(v) + 3*t(v). Is d(-18) composite?
False
Let s be (1 - 1 - 1 - 2)/(-1). Suppose s*w + 15120 = 3*l, 0*l + 2*w + 15125 = 3*l. Is l a composite number?
True
Is (5 + 66500/6)/((-1)/(-3)) composite?
True
Let a be 2*(6*10 + 1). Let f be 2/7 + a/14. Let d = f - 3. Is d a prime number?
False
Suppose -r + 2*o = -4871, 460*r = 465*r + 5*o - 24280. Is r composite?
False
Let q(y) = -32389*y + 3. Is q(-2) a composite number?
False
Let u(n) = -2*n. Let y be u(0). Suppose y = -2*q - q - 9. Let f(w) = -113*w - 8. Is f(q) composite?
False
Suppose -3*q + 4*q - 1812 = 0. Suppose -4*n + q + 2536 = 0. Suppose 3*t - 4*m - 1485 = -416, -5*m = 3*t - n. Is t a composite number?
False
Suppose 0 = -5*x + 48253 + 89262. Is x prime?
False
Suppose -9*v = 3*v - 83244. Is v composite?
True
Let w(m) = -m**3 - 13*m**2 - 1. Let d be w(-13). Is (d*1 - 0)/((-16)/6352) a prime number?
True
Let s(g) = -305*g**3 + 3*g**2 - 4*g + 1. Let q be s(-3). Suppose 12*r = 17*r - q. Is r a composite number?
True
Let d be 3 + 269 + (20/(-5) - -1). Let u = d - 142. Is u prime?
True
Let u(g) = 119*g**2 + 6*g + 5. Let n be u(-4). Suppose -4*c - 4*x = -c - n, 3*x = -3*c + 1887. Is c prime?
True
Suppose 31*d + 48 = 1691. Is d composite?
False
Let a(d) = -153*d - 7. Let y be a(5). Let h = -1129 - y. Let p = h - -674. Is p a composite number?
False
Let g(a) = -a + 1. Let l(d) = 5*d**3 + d**2 + 7*d - 7. Let k(v) = -6*g(v) - l(v). Let c be k(1). Is 155 + c/(-3) + -2 prime?
False
Suppose 0 = -7*y - 312 - 87. Let m = y - -614. Is m a composite number?
False
Suppose -297 = 3*k - 0*k. Is 2429/11 + (-18)/k a composite number?
True
Let d(i) = 2*i - 7. Let c be d(5). Let s be (c + 0 + 2)*1. Suppose -3*n - 5*v = n - 1231, 5*n + s*v = 1540. Is n a composite number?
True
Let b = 11523 + -4617. Suppose -4*f + 906 = -b. Suppose 4*a - 2*h = -h + 1949, -f = -4*a + 5*h. Is a prime?
True
Let g(y) = -y**2 + 6*y - 29. Let k be g(12). Suppose -2*h - 91 = 19. Let m = h - k. Is m a composite number?
True
Let q(j) = -2*j**3 + 4*j**2 - 2*j + 2. Let o be q(-4). Suppose 0 = 4*k - 5*v - 141, k + 108 = 4*k - 3*v. Suppose -z = k - o. Is z composite?
False
Suppose -h = 627 - 3664. Is h prime?
True
Let b(y) = -y**3 + 6*y**2 + 8*y + 3. Let d = 49 - 53. Is b(d) prime?
True
Let v(w) be the second derivative of -839*w**5/20 + w**4/12 + w**3/6 + 29*w. Is v(-1) a prime number?
True
Suppose 2*w = 3*g - 7606 + 700, -g + 5*w + 2289 = 0. Suppose g = -7*b + 10*b. Suppose -5*i - 133 + b = 0. Is i a prime number?
True
Suppose 2*m + 7 = -5*v, 21 = -4*m - 4*v + v. Let c be (101/m)/((-8)/48). Suppose -2*l - 5*b + 129 = 0, 3*l + 5*b - 287 + c = 0. Is l a composite number?
True
Let f(c) be the first derivative of c**2 - 8*c + 2. Let i be f(-10). Is (287/i)/((-1)/8) a prime number?
False
Let b be (-36)/(-5)*(-150)/(-12). Is (-6)/10 + 3384/b composite?
False
Let q(z) = z**3 - 11*z**2 - 8*z - 3. Let c be 10/(-15)*117/(-6). Let t be q(c). Suppose 3*j - t = 42. Is j a prime number?
False
Let u be (-4 - -8834 - 2 - 3) + -1. Is u/4*(-7)/(-2) a composite number?
True
Let h = 13607 + 2426. Is h composite?
False
Suppose -39 - 1307 = 2*j. Let k = -138 - j. Is k prime?
False
Suppose g + 9*g = 160330. Is g composite?
False
Let x(f) = -f**2 + 4*f - 9. Let t be x(11). Let p = 359 - t. Suppose 0 = -3*w + 2*w + p. Is w a composite number?
True
Is (18982/(-5))/(-5*(-32)/(-400)) a composite number?
False
Suppose -3*v + 63*f = 60*f - 17421, 0 = 4*v + 5*f - 23219. Is v a composite number?
True
Let f = 8352 + -5595. Is f a composite number?
True
Suppose -5*h - 5*q + 35303 = -39557, -5*h - 4*q = -74857. Is h a prime number?
True
Suppose -26 = 9*y + 127. Let d(i) = -i**3 - 19*i**2 - 4*i - 4. Let m be d(y). Let j = 471 - m. Is j a composite number?
True
Let j = 7 + -5. Suppose 8420 = -0*v + j*v. Is 8/28 - v/(-14) composite?
True
Suppose 4*z + 3*k + 1337 = -5408, k + 8423 = -5*z. Let l = -1143 - z. Is l a prime number?
True
Let v be (3/5)/(3/4245). Suppose 2066 + v = 5*r. Is r composite?
True
Suppose -4 - 14 = t. Suppose 4*w - 3*w = -32. Let s = t - w. Is s a prime number?
False
Let l(v) = 43*v + 58 - 5*v + 20*v - 25. Is l(13) prime?
True
Is (-664260)/(-24)*(-4)/(-10) composite?
False
Let v(p) = -35*p**3 - 3*p**2 + 27*p - 16. Is v(-9) composite?
False
Suppose -5*o = b - 2*b + 14, -3*o - 63 = -2*b. Let q = 64 - b. Is q prime?
False
Let k(l) be the first derivative of l**4/4 + l**3 + 3*l**2/2 + 3*l + 14. Is k(5) a composite number?
True
Let v(d) = 23*d**3 - 6*d**2 - 2*d + 25. Is v(7) prime?
False
Let g(l) = -l**2 - 12*l - 6. Let p be g(-10). Suppose 4790 = -p*d + 16*d. Is d a composite number?
True
Let z(c) = -11 - 8*c**3 - 2*c + 7 + 11*c**2 - 2*c. Is z(-7) composite?
False
Let j(c) = -c**2 - 11*c - 5. Let p be j(-9). Suppose -2*x + 3*x - p = 0. Suppose -55 = -5*a + 5*q, a + 2*a = -2*q + x. Is a a prime number?
True
Let o(k) = 9*k**2 + 8*k - 2. Let j(b) = 9*b**2 + 9*b - 3. Let m(t) = -5*j(t) + 6*o(t). Let g be m(7). Let q = g - 198. Is q prime?
False
Let n = -3 - -5. Let s(f) = 3*f**2 + 0 - 1 + 629*f**3 - 2*f - 623*f**3. Is s(n) prime?
False
Suppose 3203 = 7*q - 11868. Is q a composite number?
False
Suppose -5*a - 3*j = -28, 4*a - 2*j - 7 - 11 = 0. Suppose -2*g + 2*h + 1968 = 0, -g + h = -a*g + 3911. Is g composite?
True
Suppose 8 = 2*o, 4*o - 34 = 3*a - 6*a. Suppose 0 = -i + a*i - 335. Is i a prime number?
True
Let p(r) = 4*r**2 - 4*r - 1. Let f be p(-6). Let t = -6 + f. Is t a prime number?
False
Let m = -6357 + 40120. Is m composite?
True
Suppose 1117*u - 1118*u = -140627. Is u a composite number?
False
Suppose 18 = -0*z + 2*z - 4*f, -4*z - 5*f = 3. Suppose -d - d + 6 = 0. Suppose 0 = z*x - x - d*r - 785, -2*x - 4*r = -778. Is x a composite number?
True
Let q = -271939 - -388842. Is q composite?
False
Suppose -15*b = 5*h - 18*b - 1911, 3*h - 1153 = 5*b. Is h a composite number?
True
Let j(c) = -3603*c - 110. Is j(-7) prime?
True
Suppose -2 = 2*m - 18. Let i(p) = -p**2 + 8*p + 8. Let o be i(m). Let t(q) = 19*q + 5. Is t(o) a prime number?
True
Let m(p) = -p**2 + 8*p - 8. Let u be m(6). Suppose j = 3*j + 5*i - 494, 0 = -u*j + 2*i + 1036. Is j a composite number?
False
Suppose 0 = 8*d - d - 14. Suppose d*x - 4*x + 1502 = 0. Is x a prime number?
True
Suppose -h - 3698 = -4*h - k, -2*h + k = -2457. Suppose f + 0*f + 629 = -3*t, -5*f - 3215 = t. Let y = f + h. Is y a prime number?
True
Let m be (2 - 15/6)*(-11 + 11). Suppose t - 2*a - 2*a = 73, m = 4*t + 4*a - 312. Is t a prime number?
False
Let t = 103 + -103. Suppose -5*w + 2*j = -t*j - 192, 36 = w + 2*j. Is w a composite number?
True
Suppose 148*n - 147*n = 10487. Is n a prime number?
True
Let a(t) = -2*t**3 - 2*t**2 + 2*t + 2. Suppose 0 = -0*y + 2*y + 4. Is a(y) composite?
True
Let k = 466 - -619. Suppose z + 4*i + 335 = -i, -k = 3*z - 5*i. Let y = -222 - z. Is y composite?
True
Let j(z) = 636*z**2 - 8*z + 1. Is j(-3) composite?
False
Let y be (-738940)/(-76) - 2/(-19). Suppose 9*p = y + 5334. Is p a composite number?
True
Suppose 2*w = 8*z - 3*z - 10436, 3*z - 2*w - 6264 = 0. Let c = z - -247. Is c a composite number?
False
Suppose -l + 371 = 2*m - 5*m, -377 = -l + m. Let x = 2505 + l. Is x a composite number?
True
Suppose -3*h + 53897 = 2*g, 3*g - 6276 - 74566 = -h. Is g prime?
True
Suppose 4*x = 3*p + 134, 2*x = x + 3*p + 38. Let a(w) = w**2 + 19. Is a(x) a prime number?
False
Let j(x) = x**2 + 7069. Is j(0) composite?
False
Let w = 545 - 343. Let i = w + 177. Is i a prime number?
True
Let y(k) = -k - 16 - 20*k - 37*k + 11*k. Is y(-9) composite?
True
Suppose 0 = 5*w + k - 43, k - 35 = -0*w - 4*w. Let y be (-24)/w*47/(-3). Let m = y + -12. Is m prime?
False
Suppose 0 = -125*c + 123*c - 2*w + 14274, -16 = 4*w. Is c composite?
True
Suppose -4*x + 77 = 4*q - 247, -4*x - 414 