(j) = j**3 - 5*j**2 + 11*j + 3. Is s(a) a composite number?
True
Let p be (3/5)/((-7)/(-595)). Let d = 128 - p. Is d composite?
True
Suppose -5*t + 41 = -3*x, 24 = 2*t + 2*x - 7*x. Suppose 15328 = t*u + u. Is 21/(-35) - u/(-10) composite?
False
Let a be 6852/9 - 10/(-15). Is (2/6)/(2/a) prime?
True
Suppose 4*r = 30 - 6. Is 1636/(-6)*r/(-4) a prime number?
True
Let f = -54 + 54. Suppose -3*i - 437 = -3*z - 2*z, f = -3*z - 5*i + 235. Is z prime?
False
Suppose -69*q = -64*q - 5400. Suppose -3*s + p = -q, 2*s - p - 83 = 636. Is s prime?
False
Suppose -5*t - 83 = 97. Let z = t - -38. Suppose 5*l = 2*l + j + 175, 2*j + 114 = z*l. Is l composite?
False
Suppose 1371 = l - 5*g, l + 2*g - 1365 = 4*g. Suppose -4862 = -7*u + l. Is u a prime number?
False
Let g(c) be the first derivative of -c**4/4 + 4*c**3/3 - c**2/2 + 4*c + 2. Let n be g(4). Suppose 0 = -n*q - 2*q + 4. Is q a composite number?
False
Let q(g) = -g**3 - 21*g**2 - 17*g + 9. Let k(n) = -2*n**3 - 31*n**2 - 25*n + 13. Let i(t) = 5*k(t) - 7*q(t). Let r be i(-6). Is r/4*(-2 + 4) prime?
True
Suppose 9 + 1 = -2*t + x, 25 = -3*t - x. Let q be (-26)/91 - 44/t. Suppose 0*n = -q*n + 1614. Is n a composite number?
False
Let a(d) = 14*d**2. Let g = -13 - -23. Let q = g + -11. Is a(q) prime?
False
Suppose -7*j + 5*n = -5*j - 178, -j + 89 = n. Is j prime?
True
Suppose -7*z + 3*z = -3*a - 210, -3*z - 350 = 5*a. Is -3 - (19420/a + 3/7) a prime number?
False
Suppose 3*q = -4*a, -a - 3 = 3*q + 4*a. Suppose q*o = -5*c + 11649, 1 = -o - 3. Is c a prime number?
True
Let u(v) = -4*v**3 + v**2 - v + 1. Suppose 4*n = 5*d - 40, -d + 0 + 19 = -3*n. Let y be u(d). Let p = y - -506. Is p a composite number?
False
Let u(y) be the second derivative of -y**3/6 + 1361*y**2/2 + 7*y. Is u(0) composite?
False
Let j = 8 + -17. Let g = -7 - j. Suppose 1148 = 2*y + g*y. Is y composite?
True
Let m(n) = -n**3 + 5*n**2 + 2*n - 12. Let p be m(5). Let y(t) = -104*t**3 - 3*t**2 + 2*t + 1. Is y(p) a prime number?
False
Suppose -14*h - 5 = -15*h. Suppose -h*d + 9387 = 4*d. Is d a prime number?
False
Let a(m) = 8*m - 9. Let s be a(7). Suppose 0*t - s = t + 2*k, -t = 5*k + 53. Let d = t - -76. Is d composite?
True
Let p(a) = 3*a - 12. Let f be p(10). Suppose -f*i - 2931 = -21*i. Is i composite?
False
Let t(o) = -20*o + 11. Let x be t(-5). Suppose 5*c - 259 - x = 0. Is c composite?
True
Let p = 9873 - 4022. Let d = -3518 + p. Is d composite?
False
Let k(p) = 4597*p**2 + 17*p + 29. Is k(-3) composite?
False
Let d = 3291 - 1348. Is d a prime number?
False
Is (16130/(-6))/(48/(-144)) prime?
False
Let n(v) = -v**3 + 7*v**2 - 8*v + 9. Let t be n(6). Let f be 2/7 + 736/(-28). Is (f/(-4))/(t/(-30)) composite?
True
Let l = 1644 - -2455. Is l prime?
True
Suppose 0 = -4*y + 2*r - 8, -y + 0*r - 12 = -3*r. Let i be 4/(-10) + (-4)/(-10). Suppose 3*m = i, 4*h + 4*m + y*m = 356. Is h prime?
True
Suppose 0*o + 2*o - 5678 = 0. Is o a prime number?
False
Suppose 0 = -3*u - 3*w + 100368, -3*u - 4*w + 18911 = -81456. Is u prime?
True
Let u = -6 - -8. Suppose 0 = 3*b + u*o - 1903, 5 = 4*o - 3. Is 14/35 + b/5 prime?
True
Suppose 26 = 4*b + 2*r, 1 = 3*b - r - 11. Suppose -b*n + z = -5049, n + 0*z = 2*z + 1017. Is n prime?
True
Let h(s) = 4*s**2 - 17*s + 32. Is h(34) composite?
True
Let t(w) = w**3 - 7*w**2 + w - 12. Let y(f) = f**2 - f - 1. Let v(m) = -t(m) + 2*y(m). Let x be v(7). Let c = 160 + x. Is c a prime number?
False
Let n(o) be the first derivative of -1749*o**2/2 + 10*o - 35. Is n(-3) composite?
True
Let s(x) = -316*x + 43. Suppose -2*b + 6*b + 5*y = -14, -4*b + 2*y = 28. Is s(b) composite?
True
Let t = -3 + -1. Is (1 - -6)*(-508)/t a composite number?
True
Suppose 6*p - 33 = -9. Let i be (-6 + 3)/(2/p). Is (69/4)/(i/(-16)) a composite number?
True
Let f = -25 - -23. Let w be (150/(-40))/(f/112). Suppose 171 + w = 3*o. Is o composite?
False
Suppose h + 3*h + 16 = 0. Let l(k) = -79*k + 3. Let f(q) = 239*q - 9. Let g(i) = 2*f(i) + 7*l(i). Is g(h) composite?
True
Let o = 780 + -2090. Let c = -769 - o. Is c composite?
False
Suppose 0 = 5*a + 15, 74*t - 13681 = 72*t + a. Is t a composite number?
True
Let w(b) = -79*b + 60. Suppose 8 = -2*q, -5*g = q + 4*q + 85. Is w(g) composite?
False
Is (-1444 - (0 - -3))/((-4)/28) prime?
False
Let j(s) = 10*s**3 - 45*s**2 + 1 - 4*s - 3*s**3 + 46*s**2. Let i(y) = -y**2 + 3*y + 3. Let l be i(3). Is j(l) composite?
True
Suppose 15783 = 257*n - 254*n. Is n composite?
False
Let b(x) = x**2 + 5*x - 5. Let u(c) be the first derivative of -c**3/3 - 11*c**2/2 + 11*c + 3. Let h(r) = 9*b(r) + 4*u(r). Is h(-5) composite?
True
Suppose 0 = -3*v - b + 26030, b = -3*v - b + 26029. Is v a prime number?
True
Let m = 182 + -403. Let d = 576 + m. Is d a composite number?
True
Suppose 2*i + 4*s + 2546 = 936, 6 = 3*s. Let v = -558 - i. Is v a composite number?
False
Let j be 3 + (514/(-10) - (-16)/40). Is (-17940)/j + -1*3/4 composite?
False
Suppose 4*r - 415 = 3*s - 0*s, -2*r + 185 = 3*s. Suppose -f + r = f. Suppose 2*a + 3*a - f = 0. Is a composite?
True
Suppose -508*f = -512*f + 54572. Is f prime?
False
Suppose 13*n = 9*n + 4. Is 2/(n/((-787)/(-2))) a prime number?
True
Let w(s) = -28*s + 1. Let f be w(-2). Let u = f + 194. Is u composite?
False
Let q be 66/21 + (-2)/14. Let y = -1311 - q. Let c = y - -2235. Is c composite?
True
Let j be ((-3544)/(-16))/((-2)/4). Let t = -753 - j. Let s = 455 + t. Is s prime?
False
Let h = 4 + 0. Suppose h*c = -0*m - 2*m + 10, 0 = c + m - 1. Suppose -5*v = -2*o + 442, -255 - 573 = -c*o - 4*v. Is o composite?
False
Is ((-12)/(-9))/((-52)/(-386139)) a prime number?
True
Let z(b) = 7902*b**2 - 6*b - 8. Let s be z(-4). Suppose 2*a - 18*a = -s. Is a composite?
True
Let s = 2291 - -248. Is s composite?
False
Suppose -81*k + 74*k - 3822 = 0. Let n(d) = 164*d**3 - 2*d**2 - d. Let b be n(-1). Let p = b - k. Is p a composite number?
True
Suppose 3*n - 27987 = -6996. Is n composite?
False
Let b(h) = 243*h + 1. Suppose -4*l + l = 18. Let d = l - -8. Is b(d) prime?
True
Let h(i) = 80*i**3 + 2*i**2 - 5*i**2 + 2*i**2 + 3 - i - 3*i. Is h(2) composite?
False
Suppose -25 + 85 = 4*r. Let v = r - 13. Let q(a) = 4*a**3 - 3*a**2 + 4*a - 3. Is q(v) composite?
True
Let o(f) = 46*f + 7. Let t(y) = -y**2 + 7*y - 4. Let q be t(6). Suppose -3*x + 6 = q*k + 1, x + 13 = 3*k. Is o(k) a composite number?
False
Suppose -251 = -2*h + 89. Suppose n = -0*n - 5, -5*z = -3*n - h. Let q = 4 + z. Is q a composite number?
True
Is 18/(-33) - 764952/(-264) a composite number?
False
Suppose -z - 2520 = -5*a, 3*a = 3*z - 6*z - 7542. Let v = z - -5234. Is v a prime number?
True
Let m be 3 + -3 - (-4 + (2 - 2)). Suppose -4*l = 2*w - 1614, 5*w - 2653 = m*l + 1312. Is w a composite number?
False
Let k(b) = -2879*b + 18. Is k(-1) a composite number?
False
Suppose 373 + 362 = 5*a. Suppose -u = a - 506. Is u prime?
True
Let b be 2 + 3 + -82 + -3. Let p = -76 - 41. Let v = b - p. Is v a composite number?
False
Let f(q) = 3*q**2 + q - 1. Let w be f(1). Suppose g + 2*l + 6 = 0, w*l = -2*g + 2*l. Suppose g*j = -2*p + 50, -3*p + 51 = -j - 2*j. Is p a composite number?
True
Let z = -11 - -13. Suppose 3*w - 569 = -4*d, -289 - 102 = -z*w - 5*d. Suppose 2*h - w = h. Is h composite?
True
Let n(c) be the third derivative of 8*c**2 + 0 + 0*c - 35/8*c**4 - 1/2*c**3. Is n(-4) a prime number?
False
Suppose -2*v - 96 + 452 = 0. Suppose p = -3*p - 4*x - 340, -5*p - 417 = 3*x. Let d = v + p. Is d a composite number?
False
Suppose -31586 = -2*y - 3*f, -y - 24*f = -19*f - 15807. Is y a prime number?
True
Let a(m) = 2417*m + 406. Is a(33) composite?
False
Suppose -361190 - 136904 = -74*w. Is w prime?
False
Let p = -7 - -16. Suppose 3*g - 140 = -d, p + 3 = 4*g. Suppose d = v + 4*t, 3*t + 555 = 5*v - 2*t. Is v composite?
True
Suppose 4*z - 140 = -4*d - 4, -3*z = 5*d - 174. Suppose -5*c + d = 11, 3*c - 4290 = 5*o. Let h = -368 - o. Is h a prime number?
True
Let y(z) = 29*z - 4. Let d be y(15). Suppose -d + 3084 = u. Is u prime?
False
Let j(k) = 19*k**2 + 2*k + 1. Let i be j(-9). Suppose 5*m + i = 3*y, 2*m + 514 = y - m. Is y prime?
True
Suppose 8*l - 58582 = 13330. Is l composite?
True
Suppose 3*g - 3*h = 6*g - 6294, 8386 = 4*g + 2*h. Suppose -a - 4*a = -g. Is a composite?
False
Let z be (-13500)/32*-2 - 1/(-4). Suppose -z = -8*p + 4*p. Is p a prime number?
True
Let z(h) = -2