r(d) be the third derivative of -145*d**4/12 + 59*d**3/6 + 37*d**2 + 2*d. Is r(-10) prime?
False
Let u(v) = 185*v**2 + 17*v + 83. Suppose -3*b - 18 = -q, -2*q = 41*b - 43*b - 8. Is u(b) a prime number?
True
Let m = -60214 - -701585. Is m composite?
False
Suppose -w + 3*r + 22 = -r, 4*w = -4*r - 12. Suppose s - 113 = -w*c + 51, 3 = -3*c. Is s composite?
True
Suppose 2*a - 5*a = 42. Let j = 17 + a. Let x(n) = 89*n**2 + n - 7. Is x(j) a prime number?
True
Let g = -47657 + 125578. Is g a composite number?
True
Let b(y) = -6*y**2 + 19 + 4*y**2 + 33*y - y**3 - 8*y**2. Let r(f) = -2*f + 23. Let o be r(19). Is b(o) composite?
True
Let z(n) = -4443*n**3 - 207*n**2 - 8*n + 29. Is z(-7) a composite number?
False
Suppose -2*s - 128*b + 90294 = -124*b, 2*b = 2*s - 90336. Is s prime?
True
Let q(d) = 36*d**3 - 12*d**2 + 7*d + 63. Let k(v) = v**2 + 25*v + 74. Let o be k(-22). Is q(o) composite?
False
Let a(w) = -16*w - 24. Let p be a(0). Is (-251756)/(-12) + 1 - 8/p composite?
False
Let n = 38 + -36. Let v be ((-1)/n)/(2/1876 + 0). Is v/(-21)*(0 + 3) a composite number?
False
Let b(y) = 2104*y + 781. Is b(28) prime?
True
Suppose 4 = 4*w, y + y - 29805 = w. Suppose 10*x = 17*x - y. Is x a composite number?
False
Let j(g) = -15*g**2 - g + 1. Let h be j(1). Let o = 20 + h. Suppose o*b - 52 = 78. Is b prime?
False
Is (127964/5)/(14/35) + -16 + 11 a prime number?
True
Let g be 13/(-104) + -2*25657/(-16). Suppose 2*x - g + 1123 = 0. Is x a prime number?
False
Suppose 192 + 144 = 6*t. Suppose -11*h - t = -9*h. Is (6/21 + (-34)/h)*134 a composite number?
True
Suppose -53*r = -50*r - 18621. Let u = 30 - 28. Suppose -r = -2*y - v, 2*v + 173 = -u*y + 6385. Is y prime?
False
Suppose 0 = 3*p - 5*r + 6, 0*p - 9 = 2*p - 5*r. Suppose -p*j = -4*j - 3*m + 1021, -4*j - m + 4040 = 0. Is j a composite number?
False
Let f(r) = 1185*r - 1. Let l be f(1). Let q(x) = 9*x**2 + 32*x - 89. Let g be q(-12). Let k = l - g. Is k prime?
False
Let i be (-2)/(5 - 249/51). Let r(c) = c + 9. Let p be r(i). Is (p/(-24))/(2/1074) a prime number?
True
Suppose 8*j - 51 = -11. Suppose -j*q + 31138 = 6303. Is q a composite number?
False
Suppose q - 5*z = 15, -2*z + 3*z = q - 7. Is (q + -2 + -4)/(1/(-1657)) prime?
True
Let r(k) = 33*k - 39. Let a(l) = 2*l**2 + 2*l. Let t be a(-2). Suppose 9*b - 7*b = -t*y + 70, 5*y = -5*b + 95. Is r(y) a composite number?
True
Let p(k) be the second derivative of 7*k**5/20 - k**4/12 + k**3/6 - 5*k**2/2 - 56*k - 2. Is p(6) a prime number?
False
Let v(t) = -34*t - 38. Let p be v(-2). Is 3/p*2 + (-21008)/(-10) a prime number?
False
Let h(k) = k**3 - 17*k**2 + 39*k + 45. Let p be h(14). Is (-55)/(-15) - p - 115130/(-6) composite?
True
Let w be ((-2)/(-9)*3)/(1/33). Suppose 0 = -s + 5*k + w, 22 = 5*s + 2*k - 5*k. Is s*((-478)/(-4) - (6 - 3)) prime?
True
Suppose -68*r + 4815448 = 20*r. Is r composite?
False
Let c(d) = -43 - 4 + 5*d - 4 + 16. Let m be c(9). Suppose -3*t + m = -t, 0 = 4*f - 5*t - 751. Is f a prime number?
False
Suppose 0 = 4*w + 5*d - 8, -3*w + 5*d = 15 + 14. Let k(z) = -37*z**2 - 3. Let b be k(w). Let r = b + 629. Is r composite?
False
Suppose -55536 = 126*j - 129*j. Let t = -10051 + j. Is t a composite number?
False
Suppose 4*j - 5*v = 3*j + 2, 4*j - 8 = -3*v. Let o(r) = -78 + 16*r**j + 3*r + 57 + 4*r. Is o(6) prime?
False
Suppose 0 = -3*n + 21, -2*b + n + 168358 + 1059513 = 0. Is b a composite number?
True
Let h = -3081 - -13433. Suppose -2*b + h = -b - 5*w, w = -b + 10370. Is b a composite number?
True
Suppose -5*k = 5*d - d - 83, 0 = k + d - 17. Suppose 29032 = -7*j + k*j. Is j prime?
False
Let i(r) = -r**2 + 2*r + 20. Let v be i(-3). Suppose -4*u + 152048 = 4*l, v*l - 190070 = 4*u - 7*u. Is l prime?
False
Suppose 88 = 3*a + 8*a. Is (-131*26/a)/(3/(-12)) a composite number?
True
Let k be ((-112)/60)/14 + (-152)/(-15). Is (k - -3)/(2*4/1256) prime?
False
Let u(v) = 48*v + 28 + 25 + 18*v - 39. Let h be u(-8). Is ((-36)/48 + (-1)/(-4))*h composite?
False
Let n(z) be the second derivative of 607*z**4/6 + z**2/2 - 4*z - 7. Is n(-2) prime?
False
Suppose -2*d + 5*l = -426073, 0 = 8*l - 12*l + 12. Let u = d - 141789. Is u composite?
True
Suppose 5353 = 4*h - 5*s - 5728, -5*h - s = -13873. Let l = 1687 + h. Is l prime?
False
Is -7 - (-510)/(-4)*((-2493)/27 + 7) prime?
False
Suppose 208 = 2*i + 6. Let m be (-10901)/(-22) + 1/((-2)/3). Suppose -w - i = -m. Is w a prime number?
False
Let m(t) = t**3 + 2*t**2 + 1943. Let o be m(0). Let i = 6784 - o. Is i prime?
False
Suppose -11*z = -0 - 33. Suppose -3*n - 5652 = -3*a, -2*a - z*n + 1435 + 2328 = 0. Is a prime?
False
Suppose -2*c - c - 4*k + 404 = 0, 0 = -5*c - 2*k + 650. Let g = 1243 - c. Suppose 7*x - g = 2336. Is x composite?
True
Let s(r) = -r**2 + 2*r + 589. Let z(k) = 14 + 11 + k**2 - 8*k - 8 - 2. Let f be z(5). Is s(f) a composite number?
True
Let t(o) = 38*o**2 - 18*o - 5. Let d be t(-12). Let h = d - 3368. Is h a prime number?
False
Let d(w) = 16*w**3 + 5*w**2 + 7*w - 10. Let q be d(9). Let o = q + -4960. Suppose 3*f = o + 3755. Is f composite?
True
Let s = 229 - 222. Suppose 3*n = u + 4*u - 24460, -4*n + 4869 = u. Suppose -u = -5*x + 2*q, 3*q = -5*x + s*x - 1960. Is x a prime number?
True
Let m(h) = 31*h**2 + 24*h + 9. Let q be m(-5). Let j = 1893 + q. Is j composite?
False
Let y(q) = -1025590*q**3 - 47*q**2 - 43*q + 5. Is y(-1) a prime number?
False
Let u(s) be the third derivative of 247*s**4/24 + s**3/3 + s**2. Let j(a) = 17*a + 3. Let d be j(0). Is u(d) composite?
False
Let j(m) = 32*m - 56. Let i be j(3). Suppose 13*x = i*x - 1130409. Is x composite?
True
Suppose 55*f - f - 112 = -2*f. Let r(b) = 439*b + 161*b - 15 + 161*b. Is r(f) a prime number?
False
Let m = -22 + 68. Let n = m + -49. Let g(o) = -126*o + 1. Is g(n) a prime number?
True
Let t(r) = -18*r + 175. Let y be t(2). Let v = -2044 + 3878. Suppose 5*z = -y + v. Is z a prime number?
False
Let f(d) = 476*d - 97. Let n(h) = 1428*h - 290. Let i(g) = 11*f(g) - 4*n(g). Is i(-5) composite?
False
Let u = 43 + -40. Let x be (9 - 816)/(u/(-10)). Suppose -5*n = -5*c - 6720, -2*n + 2*c = -2*c - x. Is n a prime number?
False
Let t = -366 + 363. Is ((-22)/(-8) + t)/((-15)/578940) composite?
False
Let o = -49730 + 103393. Is o a prime number?
False
Is (-2728)/220*4555/(-2) composite?
True
Suppose 0 = 843*p - 808*p - 4034765. Is p a composite number?
False
Let a = 44396 + -20791. Is a composite?
True
Let c = -10965 - -87382. Is c composite?
True
Suppose 0 = -5*y - 4*o + 1778917, 3*o = -14*y + 19*y - 1778861. Is y a prime number?
True
Let l(o) = 165*o + 111. Let w(m) = -2*m. Let a(t) = l(t) - 18*w(t). Is a(22) a composite number?
True
Let y(n) = 10704*n**2 + 167*n + 339. Is y(-2) a prime number?
True
Suppose -y - 23 = 5*r - 0*r, 3*r + 49 = -5*y. Let d(n) be the second derivative of -391*n**3/6 + 35*n**2/2 - 3242*n + 1. Is d(y) composite?
False
Let t(n) be the third derivative of -49*n**4/12 + 7*n**3/6 - 47*n**2. Let r be -3 + (0/1 - -1). Is t(r) composite?
True
Suppose 3*h = -0*h - p + 782, 4*p + 4 = 0. Suppose -c = -322 - h. Is c a prime number?
False
Suppose 2647253 + 6115198 = 111*o. Is o prime?
True
Let p be (323730/40)/(2 + (-14)/8). Let m = p - 19156. Is m a composite number?
False
Suppose -3*c = -130*h + 128*h - 2814681, 0 = 5*c - h - 4691149. Is c composite?
True
Suppose -20*n + 105968 = -12*n. Suppose -4419 = -p - a - 4*a, -3*p = 4*a - n. Is p composite?
True
Let c(t) = 179*t + 18. Suppose 1 - 21 = 10*h. Let x be (36 - 35) + (-4)/(2/h). Is c(x) composite?
True
Let i(l) be the first derivative of 4*l**2 - 17 + 2/3*l**3 - 23*l. Is i(-22) composite?
False
Let o(p) = -8*p**3 + p**2 - 11*p + 10. Let f(d) = -9*d**3 + 2*d**2 - 12*d + 11. Let u(s) = 4*f(s) - 5*o(s). Let g = 421 - 417. Is u(g) a prime number?
False
Let h(t) = 216*t**2 + 4*t - 1. Let i be h(-4). Suppose 4*c - i - 20918 = b, 3*c - 18239 = -5*b. Suppose 4*r - c = -4*r. Is r a prime number?
True
Let b = 11590 + 196461. Is b a prime number?
False
Suppose 547118 = 6*i - 177436. Is i composite?
True
Let z = 93 - 81. Is -7*(6/(-9) + (-3796)/z) a prime number?
False
Let c = 118627 - -21382. Is c prime?
True
Let c(g) = -4185 - 18*g - 38*g**2 + 4214 + 233*g**2. Is c(6) a composite number?
True
Let h = -993 - -3857. Suppose -h = 5*u + 631. Let s = u + 1020. Is s composite?
True
Let f be 14/7 - -23 - 7