Let l be 19*14/4*18. Let o be l/(-6) - 3/2. Let w = o - -536. Is w composite?
True
Let p = 8 + -12. Is 411/2*(p + 6) composite?
True
Suppose 8*g = -8*g + 237616. Is g a composite number?
False
Suppose 5*f - 4*d = 1445, 867 = 6*f - 3*f + 4*d. Is 2 + (3 + -2)*f a prime number?
False
Suppose 0 = -7*m - 8213 + 3229. Let g = -395 - m. Is g a composite number?
False
Let d be (2/3)/((-12)/(-54)). Suppose d*n = -4 + 16. Suppose -n*f - 44 = -4*v, v = 3*v - 4*f - 14. Is v a composite number?
True
Let m(k) = 316*k**2 - 4. Let l be m(3). Suppose 4*f - 2336 = x + l, 3*f = 2*x + 3887. Is f a prime number?
False
Suppose 497 = 4*r - 815. Suppose -r = -l + 459. Is l a composite number?
False
Suppose 8 + 7 = -5*v, -k = 5*v + 19. Let y(a) = a + 4. Let u be y(k). Suppose -3*p = 0, u = -5*w + 5*p - 59 + 224. Is w composite?
True
Let r(q) = 1359*q + 5. Let n be r(4). Let c = n + -3112. Is c prime?
False
Suppose 3*d - 8 = 4*q + 4*d, 5*d = 5*q + 10. Let w(k) = -k + 1. Let m(r) = 19*r + 4. Let f(j) = -m(j) + w(j). Is f(q) prime?
True
Suppose 16 = -3*f - 4*u + 44, 10 = -5*u. Let g be ((-8)/f)/((-2)/(-3189)). Let n = 274 - g. Is n a composite number?
True
Let r be (-1)/4 - 273/(-52). Suppose -6767 = -r*d - 4*h + 1614, 0 = 5*d - 4*h - 8349. Is d a prime number?
False
Let q(r) = -r**2 + 48*r + 247. Is q(36) a prime number?
False
Let s be (-9)/(-12) - (1 - 495/(-20)). Let b = s - -534. Is b a composite number?
False
Suppose -3*z + 9 = y, 5*z - 11 + 0 = -y. Let p(c) = -c**3 + 13*c**2 + 8*c - 2. Let i be p(y). Suppose 6 = 3*m, -4*a - 2*m = -7*m - i. Is a a composite number?
True
Let h = 31206 + -19448. Is h a prime number?
False
Let p(w) be the third derivative of -13/6*w**3 + 0 - 1/12*w**4 + 0*w + 1/5*w**5 + 7*w**2 + 1/120*w**6. Is p(-12) prime?
True
Let n = 39 + -34. Let v(j) = 21*j**2 + 7*j + 2. Is v(n) composite?
True
Let d(j) be the second derivative of 5*j**4/4 - j**3 - 4*j**2 + 8*j. Is d(-5) a composite number?
False
Let l(r) = r**2 - r - 4. Let f be l(-5). Suppose 0 = -n + 2*j + f + 937, j + 2899 = 3*n. Is n composite?
False
Let h(r) = 8*r**3 + 11*r**2 - r - 7. Let m(c) = 8*c**3 + 12*c**2 - 2*c - 7. Let x(k) = -4*h(k) + 3*m(k). Is x(-5) a prime number?
False
Suppose -3*u + 17222 = 2*o, -o - 2*u + 9708 = 1095. Is o prime?
False
Let j be -4*-1149*(-2)/(-3). Let i = -1826 + j. Suppose 0 = -4*x + 2*l + 1874, 5*x - 1103 = 4*l + i. Is x composite?
True
Suppose 1402 = -36*h + 39*h + 5*k, 2344 = 5*h + k. Is h a composite number?
True
Let t = 6725 - -314. Is t prime?
True
Suppose 95*f - 100*f + 10 = 0, -3*h = -3*f - 344895. Is h a composite number?
False
Let k(l) = -3205*l + 19. Is k(-3) a composite number?
True
Let q(i) = -i**3 + 8*i**2 - 12*i + 1. Let r be q(6). Is 413 + 1 + (r - 2) a composite number?
True
Let d(p) = -p**2 + p + 24. Let q be d(0). Let n be q/(-60) - 24/(-10). Is n/4*(1712 + 6) a composite number?
False
Let d be 1*15 + -3 + (6 - 3). Is 2/d + 40826/30 a prime number?
True
Suppose -3*d = d + k - 2670, k - 1336 = -2*d. Is d prime?
False
Let u = 17974 + -11231. Is u a prime number?
False
Is (2 + 56/(-7))*(-16916)/8 a composite number?
True
Suppose -1265*i - 109828 = -1269*i. Is i a prime number?
True
Suppose z - 14 = -z + 5*u, 0 = -3*z - 5*u - 29. Let n be (2*-2)/(2/z). Suppose 159 = 3*j - n. Is j a prime number?
False
Let o(w) = w**3 - 7*w**2 + 5*w + 4. Let v be o(4). Let b be -1*v/((-3)/1). Let j = b - -19. Is j a prime number?
True
Let s(x) = 11*x**2 + 35*x - 37. Is s(-15) a prime number?
True
Let i = 18083 + -12550. Is i prime?
False
Suppose 0 = 5*g - 10 - 10. Let k = -1110 - -2434. Suppose -g*o + k = -0*o. Is o a prime number?
True
Is 6/(-9)*100431/(-6) a prime number?
True
Suppose -4*l + 2445 + 112229 = 5*b, 5*l = 2*b - 45863. Is b a composite number?
True
Let d(u) = 12*u**2 - 10*u - 69. Is d(55) prime?
False
Let r = 580 - 285. Is r a composite number?
True
Let z(k) = -k**3 - 18*k**2 - 16*k + 23. Let o be z(-17). Let w = o - -49. Is w a composite number?
True
Let o(v) = 2*v**2 - 56*v - 45. Suppose -21 + 117 = 3*b. Is o(b) a composite number?
False
Let b = -3803 + 41914. Is b composite?
True
Suppose -335160 = -6*q + 4*q. Suppose -21*p = -q + 3507. Is p prime?
False
Let h = 71 - 75. Is 216 - 1 - h/(-3)*3 a prime number?
True
Let t = -4102 - -11225. Is t prime?
False
Let q = 2917 + -1532. Is q a prime number?
False
Suppose 7*t - 3045 = -8*t. Suppose -t - 462 = -5*l. Is l a composite number?
True
Let p(q) = -q**3 + q**2 + q - 1. Let m be p(1). Suppose -4*s - s + 150 = m. Suppose 7 = -r + s. Is r a composite number?
False
Let g(m) be the second derivative of -3*m**3 + 2*m**2 + 5*m. Let p be g(7). Let n = 211 + p. Is n composite?
False
Let c(l) be the second derivative of l**5/120 + l**4/12 - l**3/6 - 4*l. Let h(n) be the second derivative of c(n). Is h(9) a prime number?
True
Let z = 222 + 859. Suppose -3*d + z + 446 = 0. Is d composite?
False
Let x = 758 + -429. Is x composite?
True
Suppose -7 = 2*p - 3. Is (p + 3)/(6/1146) a composite number?
False
Is (-16)/(-12) + (-30684)/(-18) composite?
True
Let y(f) = -376*f - 1. Let q be (-2)/(2 + 40/(-22)). Let s(p) = p**2 + 10*p - 13. Let g be s(q). Is y(g) a composite number?
False
Is (-17)/153 - (-2653960)/36 prime?
True
Is (-1*1)/(1297950/(-92710) - -14) a prime number?
False
Suppose 11 = 4*v + 3. Suppose 4*u + 0*u = 0. Suppose -4*n - 2*z + 822 = u, v*z - z - 5 = 0. Is n a composite number?
True
Let v(p) = 13*p**2 + 11*p + 13. Suppose -11*r - 116 = -17. Is v(r) a prime number?
True
Suppose 2*d - 11 + 3 = 0, 0 = -t + 5*d + 745. Let u = t - -2225. Suppose -3*c + 8*c = -15, -2*c + u = 4*o. Is o composite?
True
Suppose 3*z + 4*r = 2*z - 16, 0 = 5*z + 4*r + 96. Let d be (-72)/z - (-4)/10. Suppose -95 = -d*w + 141. Is w prime?
True
Let i(o) = -988*o + 97. Is i(-13) a composite number?
False
Let j(r) = r - 9. Let o be j(7). Is -3 + 629 + (-1 - o/(-1)) a prime number?
False
Let d = 28 - 23. Suppose -d = -a - 3. Let c = a - -12. Is c a prime number?
False
Suppose -2*v = 8 - 0. Is v - 19*310/(-2) a prime number?
False
Let s = 4256 - 2127. Is s a composite number?
False
Suppose 2*w + j + 11500 = 0, w = -0*w + 5*j - 5750. Is (-14)/28 - w/4 composite?
True
Let f(y) = 2937*y**3 + 5*y**2 - 18*y + 59. Is f(4) prime?
False
Is (-42288)/(-42) + (6/(-7) - -1) prime?
False
Let w be 16*9 + (-3)/(-1). Let t = 142 + -64. Let b = w - t. Is b a composite number?
True
Let o(j) = -2*j - 5. Let l(t) = 3*t + 10. Let b(m) = -6*l(m) - 15*o(m). Let s(f) = -2*f**3 - f**2 - 4*f - 12. Let a be s(-2). Is b(a) composite?
True
Let x = 343 + 148. Is x a composite number?
False
Suppose -2*j - 4*c = -4*j + 60, 2*c - 90 = -2*j. Let q = j - 18. Is q a prime number?
False
Let v = 517 - 190. Let q = v - 200. Is q a composite number?
False
Let a(z) = 298*z - 13. Let c(v) = -1490*v + 64. Let t(m) = -11*a(m) - 2*c(m). Is t(-7) composite?
True
Suppose -11*h + 93695 = u - 15*h, 0 = -u - 4*h + 93671. Is u a prime number?
True
Let m = 123 - 121. Suppose 4*i + m*i - 3594 = 0. Is i a prime number?
True
Is (-4201)/5*(-245)/49 composite?
False
Suppose 0 = 7*x + 1927 - 5798. Suppose 8*a + 1659 = 3*y + 3*a, -y + x = -a. Is y prime?
False
Suppose -2*g + l - 20 = -6*g, -3*g - 5*l + 32 = 0. Suppose -c - 17 + 7 = -5*i, 44 = g*c + i. Is 154/c + (-2)/5 prime?
False
Suppose -21*s = -6*s - 31215. Is s composite?
False
Suppose 5*a + 14 = -c, 3*c + 12 = c - 2*a. Let w be (-2 - (-6)/c)*2. Let y = w + 92. Is y composite?
True
Let z = 84 - 60. Suppose 5*d - z = -3*c, d = -2*d - c + 12. Suppose -5*n = 2*b - 921, -2*n - d*n - b = -923. Is n prime?
False
Is 30270/(-9)*(-66)/44 a composite number?
True
Let v(b) = 4 - 1 - 2 - 317*b. Suppose -2*j + 4 = 4*x, 5*j - 4 = 4*j - 3*x. Is v(j) a composite number?
True
Let j(t) = -201*t**3 + 4*t**2 - 3*t - 1. Suppose -8 = -4*l + 5*h, 0 = -3*l + 5*h - 9*h - 25. Is j(l) composite?
False
Let j(w) = w**3 - 4*w**2 - 13*w + 13. Let v be j(6). Suppose 0 = v*m - 3*m - 2284. Is m a prime number?
True
Let p(h) = -7 - 18*h + 3 + 6 + 53*h**2. Is p(-5) prime?
False
Let n(u) = 47*u**2 + 2*u + 6. Let h(t) = -47*t**2 - 2*t - 5. Let j(c) = -5*h(c) - 4*n(c). Let k be j(-2). Suppose 4*z = -z + k. Is z a prime number?
True
Let n = 34473 + -5722. Is n a prime number?
True
Let r = -18 + 22. Suppose 7*o + 5*j = 3*o + 888, 16 = r*j. Let t = -90 + o. Is t a composite n