pose -13 = -5*d + 7. Let y = 2689 + -2443. Suppose -2*f + y = 2*n, -4*n + n + 496 = d*f. Is f composite?
False
Suppose -330 = -n - 3*s + 6*s, 2*s + 1624 = 5*n. Let w = n - 182. Is w prime?
False
Let d = -533 + 2069. Suppose -5*k + 3*m = -k - d, k - 5*m - 401 = 0. Is k a composite number?
True
Let h(d) = d**2 - 3*d - 10. Let l be h(-5). Let w = l - 17. Is w composite?
False
Let d be 12/8 - 4 - 375/30. Let g(j) = -15 + 2*j**2 - j**2 - 1 + 13*j. Is g(d) a composite number?
True
Let j = 635 - -2336. Is j prime?
True
Is (-64445)/(-17) - 18/(-153) prime?
False
Suppose 21*g - 15*g = -20370. Let i = 6402 + g. Is i a composite number?
True
Suppose -2*s = -4*s + 4*n + 12, 2*n - 4 = 0. Suppose 2*k = s - 0. Is (-296)/(-2)*k/10 prime?
False
Let z = -17 + 31. Suppose 2*b = -3*b + 115. Let c = b + z. Is c a prime number?
True
Let x be (-22)/(-6) - 4/(-12). Suppose -5*m + m = x*s - 16, m + 6 = 4*s. Suppose 3*l + s*h = 152 + 649, -3*l = -4*h - 801. Is l a prime number?
False
Is (-4 + 453)/((-13)/(-143)) prime?
False
Let k be -2*(9/6 - 1) + 252. Suppose -35*n + 36*n - k = 0. Is n a composite number?
False
Let s = -87 + 710. Suppose -l + s = 6*l. Is l a composite number?
False
Let y = -124 - -248. Let a(v) = v**2 + v + 57. Let b be a(0). Let r = y - b. Is r a prime number?
True
Suppose -2*l - 5*q + 22245 = 0, 9*l - 55566 = 4*l + 3*q. Let t = l + -7468. Is t composite?
True
Let d(u) = u**3 - 7*u**2 + 10*u - 21. Let r be d(6). Suppose -7*b + 9*b - 4154 = 2*v, -r*b + 6231 = 2*v. Is b prime?
False
Let s(j) = j**3 - 31*j**2 + 19*j - 35. Is s(32) composite?
False
Suppose 422106 = 1175*o - 1169*o. Is o composite?
False
Let j = -16 - -19. Suppose 6 = -2*f, j*l = 5*l + 3*f - 613. Is l a composite number?
False
Suppose 4*n - 1925 = -n. Suppose 4*z - n = -z. Is z composite?
True
Suppose -13*h - 24*h = 0. Let s(v) = -v**2 - v. Let r(a) = 5*a**2 + 7*a + 59. Let q(t) = r(t) + 6*s(t). Is q(h) a composite number?
False
Suppose -51*t + 30795 = -48*t. Is t a prime number?
False
Let h(j) = 771*j**2 + 17*j + 25. Is h(-3) composite?
True
Suppose 4*j - 64853 = -3*f, 3*f + 668 = -5*j + 81738. Is j prime?
True
Let i = 14004 - 6703. Suppose -5*u + i = -d - u, -2*u - 36527 = 5*d. Is 4/14 + d/(-35) composite?
True
Suppose 4*v - 177635 - 68657 = 0. Is v a prime number?
False
Suppose -403 - 1492 = -5*j. Let g = 674 - j. Is g composite?
True
Let l(f) = 28*f**3 + f**2 + 4*f + 3. Let t be l(4). Suppose -8*d - t = -7*d. Is (-3 + 0)/(27/d) a composite number?
True
Let j(c) = 8*c**3 + 4*c**2 + 2*c + 3. Let g be j(5). Suppose -l = -3*l + 736. Let v = g - l. Is v a composite number?
True
Let w(l) = 2*l**3 - 11*l + 4. Let x be w(7). Let o be (3 - (-1 + 0)) + x. Let j = o + -324. Is j a composite number?
False
Is (-5)/(-3)*(-8355213)/(-465) prime?
True
Let p(n) = -2 - 15*n + 2*n - 1. Let a be p(-4). Suppose 0 = -0*s - s - 4*r + 25, -s + 4*r + a = 0. Is s prime?
True
Suppose 0*u + 212 = -u. Let f = u - -314. Let j = f + -65. Is j composite?
False
Let o = -2742 - -1061. Let w = 304 - o. Is w a composite number?
True
Let k(q) = 1 - 1 + 364*q**3 + q. Suppose 4*b + 3 = b + 2*u, -4*u + 13 = b. Is k(b) a prime number?
False
Let i(f) = f**2 - 6*f - 7. Let x be i(7). Suppose x = -p + 2*p - 3. Is 683*3/9*p prime?
True
Let u(g) = 1630*g - 749. Is u(21) composite?
True
Let w(b) = b**3 - 1. Let p(y) = -4*y**3 + 4*y**2 - 12*y - 5. Let f(x) = -p(x) - 5*w(x). Is f(-9) a composite number?
False
Let a be 979/4 + 6/24. Suppose d = -4 - 4. Let y = a - d. Is y composite?
True
Suppose 0 = 4*u + 25 + 11. Let t(a) = -6*a**3 - 5*a**2 - 17*a - 17. Is t(u) a prime number?
False
Suppose t - 2 - 1 = 0. Suppose -t*s - 2*a - 1660 = -4116, 0 = -2*s + 3*a + 1633. Let b = s - 571. Is b composite?
True
Is (8 + 260/(-30))*(-526236)/8 a prime number?
True
Suppose -24709 = -w + 2*q, 0 = 5*w - q - 4*q - 123550. Is w composite?
True
Let g(x) = -415*x**3 + x**2 - x - 1. Let v be g(1). Let r = -289 - v. Is r a composite number?
False
Let s(r) be the third derivative of -73*r**6/60 - r**5/60 + r**4/12 + r**3/3 - 12*r**2. Is s(-1) a prime number?
False
Suppose 61*u = 74*u - 733681. Is u a composite number?
False
Suppose -17*l = 28*l - 2385. Is l composite?
False
Let g = 1382 + 1502. Suppose -g = 11*h - 15*h. Is h composite?
True
Let x(l) = l**3 - 4*l**2 + l - 4. Let u be x(4). Suppose 0 = -u*p + 3*p - 1152. Suppose 4*v - 972 = p. Is v composite?
True
Let n(v) = -v**2 - 6*v - 4. Let a be n(-6). Let u be ((-16)/a + -130)/(-2). Let b = -10 + u. Is b composite?
False
Suppose 0 = -0*h - 2*h + 2*i - 10, -20 = -4*i. Suppose l + 0*l = 5*y - 930, h = -4*y + 2*l + 750. Is y a prime number?
False
Suppose 3*y + 4 + 99 = 5*w, 0 = -y - 3*w - 11. Is (-1)/(-2) - 7605/y a composite number?
False
Suppose 10*n = n + 36. Suppose n*o = -0*y - 5*y + 3153, -y = -3*o - 642. Is y a composite number?
True
Suppose z - 1570 = 3*g, g - 2375 = 4*z - 8644. Suppose -4*b = -z - 5. Is b prime?
False
Let n(l) = 77*l**2 - l + 1. Suppose 0 = -4*w + 2*v + 36, 0 = 2*v - 5*v. Let p be (-3)/(-4)*12/w. Is n(p) a composite number?
True
Let w(k) = 12*k - 35. Let v = 15 + -3. Suppose m - 4 = v. Is w(m) composite?
False
Suppose -5*m + 115959 = -107296. Is m a prime number?
True
Suppose 0 = 5*n + 5*n - 87910. Is n a prime number?
False
Suppose -33 - 103 = -4*t. Is (5996/(-6))/(t/(-51)) a prime number?
True
Let j = 11 + -3. Is 1114*(20/j - 2) a composite number?
False
Suppose -1 - 9 = -2*q, -4*l = -5*q - 5779. Suppose 3*i + 196 = 3*k - l, i + 2184 = 4*k. Suppose 2*f - k = -187. Is f a prime number?
True
Suppose 3*v = -3*l + 2604, 0 = -5*l + 4 + 21. Let q = v - 606. Is q prime?
True
Let d(q) = q + 7. Let b be d(-4). Suppose 3*n = -b*n + 5550. Suppose -2*p + 3*u + n = 0, -u + 577 = 2*p - 360. Is p prime?
True
Suppose -913 = -7*q + 6*q. Suppose 4*s - q - 603 = 0. Is s prime?
True
Let l(f) = 2*f - 6. Let n be l(3). Suppose -g + 2*x - 47 + 366 = n, 5*g - 1623 = -4*x. Is g composite?
True
Suppose -46 = -4*d - q + 273, -4*q = -4*d + 304. Suppose -69 = -4*k + d. Is k a composite number?
False
Let i = -4042 + 9351. Is i a composite number?
False
Let j = 347 + -82. Let t = j + -84. Suppose y + 2*w - t = 0, 5*w + 25 + 496 = 3*y. Is y composite?
True
Let m(s) = -4968*s + 3. Is m(-1) composite?
True
Suppose 0 = 4*f - 20, -3*r - 5 = -2*f + f. Suppose -3*w + 181 + 188 = r. Is w composite?
True
Suppose o + 47 = 3*u - 0*o, -5*u = 4*o - 67. Suppose v + u = -2*v - 3*g, 2*v + 3*g = -15. Suppose s + i - 64 = v, 0 = 5*s + 2*i - i - 332. Is s composite?
False
Let f(y) = y**3 + 22*y**2 - 27*y - 11. Let o be f(-20). Suppose -3*l + 2*r + o = 0, -2*l = 2*r + r - 899. Is l prime?
False
Let c(x) = 67*x + 16. Let t be c(7). Suppose 4*y = 4287 + t. Is y prime?
True
Suppose -l + 4*l = 0. Let v(c) = l - 22*c - 20*c + 8*c + 1. Is v(-2) prime?
False
Suppose 0 = 57*q - 60*q + 94137. Is q a composite number?
False
Let q(p) = -p**2 - 1. Let w be q(0). Let j = w + 4. Suppose -4*z + 2*z - 149 = -3*l, -4*l = j*z - 193. Is l composite?
True
Suppose -3 = q - g - 3*g, -q = -5*g + 5. Suppose -5*f + 5*h = -5845, 3*h + 5847 = q*f - h. Is f a composite number?
False
Suppose 0 = -t - t + 782. Suppose 4*m + p = -3*p + 516, 0 = 3*m + 2*p - t. Let s = m + -44. Is s a prime number?
True
Suppose 0 = -3*v + 2*u + 3947, 2*u = v - 687 - 622. Is v prime?
True
Let k(j) = -j**3 - j**2 + 11*j - 5. Let d(y) = -2*y + 12. Suppose 5*x + 33 = 83. Let q be d(x). Is k(q) prime?
False
Let n = 63 + -23. Let t = 3 - 1. Suppose d + n = t*b, 67 = 3*b + 2*d - 7*d. Is b composite?
False
Let t be 56/9 + 14/(-63). Suppose -t*j + 3*j = 0. Suppose j = 2*z - 5*y - 257, -4*y + 2 = -2*y. Is z prime?
True
Suppose 0 = 2*c + 2*c - 3*v + 32, 0 = 3*v. Let z = c + 11. Is (-11)/(-2)*2*z composite?
True
Is (-1)/(-1)*6*1814/6 composite?
True
Suppose -3*z - 10598 = -48719. Is z prime?
False
Suppose -4*z + 17 + 7 = 0. Is 9698/(-39)*z/(-4) a prime number?
True
Suppose 3*o = -0*o + 3. Let c(u) = u + 1. Let p(j) = 18*j**2 + j + 5. Let q(z) = o*p(z) - 6*c(z). Is q(-6) composite?
False
Suppose 14*r - 12106 - 4260 = 0. Is r prime?
False
Let v(p) = 1201*p - 29. Let u be (-20)/110 + 204/33. Is v(u) a prime number?
True
Suppose r = 4*r + 6. Let f(g) = 60*g**2 - 3*g - 5. Let t(c) = -239*c**2 + 12*c + 21. Let k(z) = 9*f(z) + 2*t(z). Is k(r) a prime number?
True
Let m(q) be the second der