))/((-18)/p) prime?
False
Suppose 2*j - 37 = 1693. Is j a prime number?
False
Let u(b) = 824*b + 1. Let t be u(1). Suppose -5*h + 2*h + 3*v = -t, 0 = -2*h - 5*v + 550. Suppose h = l + 4*l. Is l a prime number?
False
Let y = 185 + -66. Is y a prime number?
False
Suppose 3*x + 5 = -1. Is (298/4)/(x/(-4)) a prime number?
True
Suppose -3*q - 4*z = -19, 5*q - 2*z - 1 = 22. Suppose 3*g + 4 = -4*h, -2*g + 0 - 12 = q*h. Is (-141)/(-11) + h/(-22) a composite number?
False
Suppose 2*k + 2*h = 4608, -2*k + 4*h - 3*h = -4623. Is k a prime number?
True
Suppose -28 = -5*j - 3, -10 = -5*b - 4*j. Let s = 5 - b. Is s a prime number?
True
Let d = -221 + 310. Is d a prime number?
True
Let f(h) = 7*h**2 + 11*h - 13. Is f(7) a composite number?
True
Let o = 0 + -1. Let q = -1 - o. Is q + (13 - -1) + 1 a composite number?
True
Suppose 3*j + v = -2*v + 18, v - 3 = 0. Suppose -8*o + 9*o = j. Is o a composite number?
False
Is (-1 + 3)*(-447)/(-6) a prime number?
True
Is -10 - -682 - -1*5 composite?
False
Is -1 - -4 - 0/(-10) - -328 prime?
True
Let u(l) be the third derivative of l**4/24 - l**3/3 - 5*l**2. Is u(8) a composite number?
True
Let d(r) = -r - 5*r - 11 + 3*r - 3*r. Is d(-7) a composite number?
False
Let p(a) = -8 - 3 - 56*a**2 + a**3 + 47*a**2 + 13*a. Is p(9) composite?
True
Let g(d) be the third derivative of d**6/60 - d**5/30 + 5*d**4/24 - 2*d**3/3 - d**2. Let r be g(3). Is 6/21 + r/7 a prime number?
True
Suppose -2*x - 2*i - 68 = 0, -4*x = i - 3*i + 118. Let v = 152 + -90. Let t = x + v. Is t a prime number?
True
Let a be ((-5)/(-4))/((-2)/(-8)). Suppose -c = -a*c - 24. Is (57/c + -2)*-2 prime?
True
Suppose -2*a = -4*t + 1634, 483 = -5*t - 2*a + 2548. Is t a prime number?
False
Let a be ((-11)/(-3))/(3/9). Let f = a + 11. Suppose -3*c = -4*o - 46, -2*o + 6 = -c + f. Is c a prime number?
False
Suppose -2*h - 191 = -3*h. Is h prime?
True
Let w(x) = -x**3 + 5*x**2 - x + 6. Let f be w(5). Let z(b) = 84*b**3 + 1. Is z(f) composite?
True
Is (-435)/(-3) - 4 - -2 composite?
True
Let j be 16/(-12)*(-3)/1. Suppose 6 = j*p + 2*l, -l - 2*l - 9 = 0. Let b(c) = -c**3 + 4*c**2 - 2. Is b(p) prime?
True
Suppose -5 = -4*s + 3*s. Suppose -s*x = 3*q - 188, -2*q + 4 = 2*q. Is x a prime number?
True
Suppose 2*g - 2*u - 406 = 2*u, 3*g = 2*u + 625. Is g prime?
True
Suppose -2*n = -0*n - 2*j - 42, 0 = -n - 5*j + 21. Let s = 56 + n. Is s prime?
False
Let p = -2 + 2. Suppose b - 3 = -p*b. Suppose -s = b*s - 572. Is s composite?
True
Let c(u) = u + 6. Let b be c(-5). Is 31*(0 + 1)/b prime?
True
Suppose -a + 10 = -3*a, 54 = -x + 2*a. Let p = x - -195. Is p a prime number?
True
Let a(k) = -k**2 + 6*k - 5. Let h be a(5). Suppose d - 3*d + 110 = h. Is d composite?
True
Let u(m) = -m**3 + 2*m**2 - 8*m + 5. Let p(i) = -i**3 + 3*i**2 - 9*i + 6. Let l(z) = -5*p(z) + 6*u(z). Let c = -7 - -2. Is l(c) prime?
False
Let v(z) = -410*z**3 - z**2 + 2*z + 2. Is v(-1) prime?
True
Suppose -3*d - 3*q = -5*d + 11, 0 = 5*d + 4*q + 7. Let p(u) = -2*u - 4. Let l be p(-6). Let w = l - d. Is w prime?
True
Let t(k) = 28*k**2 + k - 7. Is t(4) composite?
True
Suppose 5*c = c + 20. Suppose 33 = c*p - 12. Suppose -p*d + 231 = -6*d. Is d a prime number?
False
Is ((-1228)/(-20))/((-2)/(-10)) prime?
True
Let y = 70 + -12. Let s be (-4)/6 - ((-510)/9)/1. Suppose y = 3*w - s. Is w a prime number?
False
Let i = -6401 + 9058. Is i prime?
True
Let n = -1808 + 2639. Is n/27 - (-6)/27 prime?
True
Suppose -2*n + 17 = 1. Suppose -10*y + 2 = -n*y. Is (30 + 7)*(2 - y) a composite number?
False
Suppose 4*p - p - 105 = 0. Let k be (1 - -1)*2/(-2). Is (1*p - k) + 0 prime?
True
Let w(p) = 64*p**2 - 3*p. Let v(f) = -127*f**2 + 7*f. Let j(m) = 3*v(m) + 7*w(m). Is j(-1) prime?
True
Suppose 232 = 4*p - 2*k, 7*k - 4*k = -6. Is p composite?
True
Is (7/(-3))/(8/(-24)) prime?
True
Let v be (-4)/14 - 48/(-21). Suppose v*u = 5*u - 273. Let p = u + -42. Is p composite?
True
Suppose -4*i + 892 = 184. Is i composite?
True
Suppose -9699 = -v + 2198. Is v composite?
False
Let x be ((-136)/8)/((-1)/(-2)). Let g = 33 - x. Is g prime?
True
Suppose 4 = -k - 4*r, 2*r + 4 + 4 = k. Suppose 30 = k*p + p. Suppose 0 = w - p*w + 395. Is w a prime number?
True
Suppose 17*d + 1608 = 25*d. Is d composite?
True
Let u(r) = 18*r - 1. Let n(h) = -71*h + 3. Let l(q) = -2*n(q) - 9*u(q). Let d be l(-4). Suppose 5*b = -3*p + d, -2*b - 4*p + 3*p + 34 = 0. Is b a prime number?
True
Suppose -2*l + 7 = 1. Suppose -4*y = y. Suppose -l*p + p + 14 = y. Is p a composite number?
False
Let f = 3436 - 2285. Is f prime?
True
Let a(c) be the first derivative of -33*c**2/2 - 8*c + 2. Is a(-7) composite?
False
Let p be (-111)/(-12) + (-1)/4. Let o be 24/p*(-9)/(-6). Suppose 560 = 5*y - 5*r, -o*y + 451 = -3*r - 0*r. Is y composite?
True
Suppose -4*u - 4*f = -104, 2*f = -5*u + 68 + 77. Is u composite?
False
Let k(y) = -5*y - 1. Let r be k(-1). Let t = r - 6. Is (6/(-4))/(t/28) a composite number?
True
Let k(z) = -2*z**2 + 5*z - 4. Let r be k(4). Let s = 24 + r. Let c = s - 5. Is c a prime number?
True
Let o = 6 + -4. Suppose -4*n = -4*q - 7*n + 7, 4*q - 10 = -o*n. Suppose -6 = -2*k - q*d + 4, -2*k + 3*d = -24. Is k a composite number?
True
Suppose -7*b = -5*b + 12. Let h be b/(-4)*8/4. Suppose -h*x = -93 + 36. Is x composite?
False
Is (212/(-12))/((-3)/9) a composite number?
False
Let b(j) = j**2 - 7*j - 1. Is b(8) composite?
False
Let a(d) = -d + 16. Let b be a(8). Let x(v) = -v**3 + 9*v**2 - 6*v - 10. Let i be x(b). Is 1*3*62/i composite?
False
Let z = 286 - -43. Is z a prime number?
False
Suppose -4 = 4*c - 12. Suppose 4*h - 331 = -i - 0*h, c*i + 2*h = 686. Is i a prime number?
True
Suppose -5*r + 5*o + 500 = 0, -5*o + 2*o - 102 = -r. Suppose d - r = -3*d - 5*v, -3*d + 2*v = -103. Is d a prime number?
True
Let l(k) = 20*k**2 + 8*k + 17. Is l(8) prime?
True
Let y = 44 + -68. Let q = 77 + y. Is q composite?
False
Let k(r) = -r**3 - 7*r**2 + 7*r + 12. Is k(-11) composite?
False
Let m(k) be the first derivative of 4*k**3/3 - 2*k + 2. Is m(-2) composite?
True
Suppose -h - 2*n + 501 = -6*n, 2*h - 972 = -2*n. Suppose t - 4*z - 163 = 0, -7*z = 3*t - 2*z - h. Is t a composite number?
False
Let z(q) = 13*q**3 + 3*q**2 + 3*q + 4. Is z(3) composite?
True
Let j = -486 + 841. Is j prime?
False
Let q(k) = -k + 2. Let l be q(-6). Let d be 2/l + (-7)/(-4). Suppose -3*i - d*i = -235. Is i a prime number?
True
Let w(l) = -l**2 - 15*l - 5. Let r = 6 - 13. Is w(r) composite?
True
Suppose 436 = -h - 3*h. Let t = h - -243. Is t a composite number?
True
Suppose 6*v + 3*d = 2*v + 2567, 0 = -4*v + 2*d + 2542. Suppose -5*q + 107 = -v. Is q prime?
True
Suppose -w + 1 = -3*i - 2, 0 = -i. Suppose -3*c + w*g + 48 = 0, -2*g - 12 = -6*g. Is c composite?
False
Suppose -4*g = -g. Suppose g = a + 5*x - 3*x - 75, 3*a - 235 = 4*x. Is a a prime number?
False
Let g(q) = -5*q**2 + 1 + 1 - 8*q**3 + q**2 + 7*q**3. Let v be g(-4). Is v/(-2)*(-245)/5 a composite number?
True
Let v = 1422 - 688. Is v a composite number?
True
Let d(p) be the third derivative of p**7/840 + p**6/45 - p**5/20 - p**4/24 - p**3/2 + 3*p**2. Let a(j) be the first derivative of d(j). Is a(-8) a prime number?
True
Suppose -v = 8 - 114. Let m be 1/((-214)/v - -2). Let z = 84 + m. Is z prime?
True
Let h = 8404 - 5697. Is h prime?
True
Let i(z) = 3*z - 2*z - 3 - 5*z. Let h be i(-2). Suppose 2*v - 99 = -h*x - 0*v, -4*x - 5*v + 86 = 0. Is x a composite number?
False
Suppose 20 = -5*j, -26 = -5*t + 5*j - j. Suppose -l + 6*l + 195 = 5*c, 3*c = t*l + 113. Is c a composite number?
True
Let h be (-2)/(-4) + (-303)/2. Let n = 294 + h. Is n a composite number?
True
Suppose -2*g + 20 = k + 3*k, 4*k + 4*g - 20 = 0. Suppose 42 = z - v, k*z + 0*v - 207 = 4*v. Is z a prime number?
False
Let n(c) = 4*c**3 - 5*c**2 + 2*c - 1. Let p(o) = -o**3 + o**2 - o + 1. Let l(i) = n(i) + 3*p(i). Let s be l(-4). Let x = s - -157. Is x a prime number?
True
Suppose -4*i + d + 149 + 1454 = 0, i + d - 402 = 0. Is i prime?
True
Let q(d) = 55*d**3 - d**2 + 1. Let s = 2 + -1. Let t be (-6)/(-3) - s/1. Is q(t) a prime number?
False
Let c(r) = 3*r + 1. Let l(w) = -3*w - 1. Let y be 4/((-16)/(-3))*-4. Let k(p) = y*l(p) - 2*c(p). Is k(6) composite?
False
Let z be -2 + (-2)/(6/(-45)). Let p be (z/(-1))/(-6 - -5). Suppose -2*c = -p - 9. Is c composite?
False
Suppose -15 + 47 = -2*z. Let h be