 -9*j + 13*j, 0 = 3*a - 2*j - 46. Is m(a) a prime number?
True
Suppose 5*y = -s + 92943, 0 = 2*s - 7*y + 5*y - 185970. Is s a composite number?
True
Let y(n) = 50072*n**2 - 3*n - 4. Let v be y(2). Suppose -60609 = -11*g + v. Is g a composite number?
True
Suppose -2*s + s + 967 = 0. Suppose 2*t + j = 1736, 5*j - 2499 = -4*t + s. Is t prime?
False
Suppose -21*x = -20*x + 108. Let t = x + 117. Suppose 70 = 5*q - s, q + t*s + 12 = 4*s. Is q prime?
True
Let n(f) = -5*f**2 - 3 - f + 2*f**3 - 13 - 3*f**3 - 6*f**2. Let i be n(-12). Suppose -i = 4*o - 1488. Is o composite?
False
Let x(h) = h**3 + 7*h**2 + 3*h - 4. Let b be 0 - 15/5 - 3. Let y be x(b). Let r(k) = 17*k - 15. Is r(y) a composite number?
False
Let p = 16 + -6. Suppose -9 = -3*n - 3*t, -5*t + 14 = -n + 5*n. Is (0 + 645 + (p - 14))*n composite?
False
Suppose -b - 4 + 2 = 0. Is 15942*(b + (-114)/(-36)) a composite number?
True
Suppose -20*x - 4*x = -229344. Suppose -5*q - 245 = 3*c - x, q = -2. Is c a prime number?
False
Let z(k) = 122*k + 17. Let y be z(1). Suppose 134*a = y*a - 26365. Is a a prime number?
True
Suppose -8*f + 96*i - 99*i + 1335254 = 0, -667642 = -4*f + i. Is f a composite number?
False
Let o(j) = -566*j - 7. Let q = -111 - -105. Is o(q) composite?
False
Suppose 0*j + 19*j = 48545. Suppose 23*v - 16*v - j = 0. Is v composite?
True
Suppose 3*i - 5*z - 152789 = 0, 4*z - 189675 = -3*i - 36922. Is i composite?
False
Let a = 18 + -13. Suppose 0*o - 18355 = -a*o. Is o prime?
True
Let t(z) = 229*z**3 + z**2 - 10*z + 19. Let j be (-528)/(-297) - (-2)/9. Is t(j) prime?
False
Suppose -22*d - 4*d + 412672 = 0. Suppose -d = -19*r + 185319. Is r a prime number?
True
Suppose -2824190 + 35481421 = 71*v. Is v prime?
True
Let i(k) = 38*k**3 - 5*k**2 - k - 235. Let d be i(11). Suppose 7*v - 4*v - 27 = 0. Suppose -d = -v*j - 2270. Is j a prime number?
True
Suppose 3*z = f - 4*f + 18, 4*z = f - 16. Suppose 0 = -f*t - 37 - 19. Let h(m) = -2*m**3 - 8*m**2 + 13*m + 8. Is h(t) a composite number?
False
Suppose -5*s + 44995 = 5*w, 5*w - 15*s - 45004 = -17*s. Let d = 16983 - w. Is d composite?
True
Let x = -449450 + 769563. Is x a composite number?
False
Let c(y) = y**3 + 3*y**2 - y - 19. Let o be c(0). Is ((866115/(-36))/o)/((-1)/(-4)) a composite number?
True
Is ((-54)/(-6) - 4)*3/((-45)/(-2026533)) a prime number?
True
Let s = 124 + -124. Suppose s = -a + 3*i + 3674, 5 = -4*i - 15. Is a prime?
True
Suppose -9970 - 13490 = -6*x. Suppose 5*r + 515 = x. Is r composite?
True
Suppose 369294 = -280*s + 281*s - n, 35 = 5*n. Is s a composite number?
False
Suppose j + 1187339 = 5*n, 94*n - 92*n - j = 474938. Is n a prime number?
True
Let u(q) be the third derivative of -q**5/60 + q**4/3 + 2*q**3/3 + 10*q**2. Let i be u(7). Suppose -3590 = 9*n - i*n. Is n prime?
False
Let j(c) = 3*c**3 + 12*c**2 - 8*c + 3. Let v be j(10). Let a = 6506 - v. Is a a prime number?
True
Let m be 29/2*56/14. Let u be (-1)/2*-1 + (-145)/m. Let d(a) = -252*a - 2. Is d(u) prime?
False
Let x be (56/(-20))/(-7) + 131926/10. Let z = 34660 - x. Is z a composite number?
False
Let g = 13 + 12. Suppose 15*q - g = 10*q. Suppose 22 = q*x - 33. Is x prime?
True
Let x be 0/((-1)/(4/20)). Suppose x = 2*s + l - 1909 - 3369, 3*s - 5*l = 7904. Is s prime?
False
Let t = -2 - -2. Let m(o) = o. Let a be m(t). Suppose -n + 38 + 261 = a. Is n a composite number?
True
Let s be ((-6)/9)/((-4)/18). Let z = -139 + 138. Is 146 + -3 - (s - z) a prime number?
True
Suppose -2*d + 0*d + 38 = -2*h, 64 = 3*d + 4*h. Is 59888/24 + d/12 a composite number?
True
Let r(t) = t**2 + 15*t + 30. Let m be r(-12). Is 9527 - (-4 - (-12)/m) prime?
True
Suppose -344809 = -l - 194*t + 196*t, -12 = -4*t. Is l a composite number?
True
Let y(c) = c**3 + 6*c**2 - 9*c - 12. Let p be y(-7). Suppose -3*n = -4*i + 42245, -17*i + 10565 = -16*i - p*n. Is i prime?
True
Let k(p) = -p**3 + 22*p**2 - 20*p - 13. Let l be k(21). Suppose -19361 = -l*a + 33735. Is a composite?
False
Suppose 3*w - 286275 = -3*n, -6*n - 3*w + 95429 = -5*n. Is n a composite number?
True
Let b(v) = -104*v**3 + v**2 + 7*v + 7. Let c be b(-5). Suppose 4*g - c = 3*n + 9028, 3*g = -3. Is n/(-21)*(3*-1)/(-1) a composite number?
False
Let t(r) = -148*r**2 - 5*r - 54. Let i be t(12). Let s = 42515 + i. Is s a composite number?
False
Let v(i) = 21*i + 19661. Is v(0) prime?
True
Let i be (10/(-30))/((-2)/(-12)). Let d be ((-2)/i)/((-5)/(-60)*4). Suppose d*f - 3*a + a = 871, -2*f + 5*a = -566. Is f composite?
False
Suppose -44*s = 4*d - 41*s - 143852, -2*d + 71926 = -3*s. Is d composite?
False
Is (-7553491)/(-403) - (3 - (-111)/(-39)) composite?
False
Let f(t) be the third derivative of t**4/8 + 41*t**3/6 + 3*t**2. Let p be f(-8). Let n = p + 42. Is n prime?
True
Suppose g - 11 = -4*o + 12, -3*o + 15 = 0. Suppose 0 = -g*d - d. Suppose -3*m + 951 = -d*m. Is m composite?
False
Let w(a) = a**3 - 4*a**2 + a + 1. Let c be (0/(2 - -1))/(-3). Suppose c = -8*u + 72. Is w(u) a prime number?
False
Suppose 2*m = -v + 1231, -1980 = -3*v - 3*m + 1701. Suppose 4*o - 449 - v = 0. Suppose -12 = 4*b, -b = -q - 0*b + o. Is q prime?
False
Let q be ((-30)/(-75))/((-2)/(-130)). Let d = -40 + q. Is (-1776)/d + (-11)/(-77) a prime number?
True
Let c = -583 + 1419. Let s = c + 734. Suppose 5*t - s = 5235. Is t a prime number?
True
Let w(l) = -l**3 + 5*l**2 + 15*l - 5. Let m be w(7). Let h be 6/(-21) - (-216)/21 - m. Is -4*((-540)/h - 1) a composite number?
True
Suppose -p - 3*x + 399187 = 0, 2*x = -2*p + 718250 + 80144. Is p a composite number?
True
Let w be (-2)/1 - (11 + -10) - -17. Let x be (w/(-42))/(2*2/(-36)). Suppose -615 = -5*o - x*b, -o + 49 + 74 = 4*b. Is o prime?
False
Suppose 4*q + 1 = 5. Let y be (q - 960120/25) + 8/10. Is (-8)/20 + (y/(-15))/3 a composite number?
False
Suppose -z = h - 1418917, 5675620 = 4*h - 232*z + 230*z. Is h a prime number?
False
Suppose -54 = -s + 5*k, -2*s - 2*k = -83 - 37. Suppose 60*y - 2843 = s*y. Is y a prime number?
True
Suppose 0 = 9*d + 7*d. Suppose -88*n + 89*n - 8962 = d. Is n composite?
True
Let s(u) be the second derivative of u**5/20 + 13*u**2/2 + 65*u. Is s(12) a prime number?
True
Suppose -46*c + 1 = -47*c. Let w be 5 - c*(-1 - -1). Suppose -1271 = -2*d - w*v, d + 3*d - v = 2487. Is d a prime number?
False
Let b be 2/3 + (-3)/(45/(-95)). Let i(z) = 3*z - 1656*z**3 - 12 - b + z**2 - 15 + 35. Is i(-1) composite?
True
Suppose -3*d = 3*m + 293322, 3*d - 5*m + 0*m = -293314. Is 16 + -20 + (2 - d) a prime number?
True
Let s = -2460 - -6935. Suppose 6*b - s = b. Let f = -210 + b. Is f composite?
True
Suppose 6 = -f + 20. Suppose -n + f = 15. Is 141*n*(-65)/15 composite?
True
Let p(n) = 16*n - 124. Let u be p(8). Suppose -3*j = -u*q - 59489, -9401 = 4*j + 4*q - 88757. Is j a composite number?
True
Suppose 0 = -0*t - t - 61. Let k = -57 - t. Suppose 4*q = -4*j + 5604, q + 4*j = k*q - 4175. Is q prime?
False
Let h(u) = u**3 + 5*u**2 - 13*u + 7. Let l be h(-7). Suppose x - f + 450 - 4797 = l, 2*x - 8692 = 3*f. Is x prime?
True
Suppose 0 = 2*v - 5*o - 4470, -6 = 5*o + 4. Suppose 22553 - v = m. Is m prime?
True
Is 16/(-88)*1 - (8 - (-43730187)/(-33)) composite?
True
Let p(h) = 10260*h**2 - 117*h - 235. Is p(-2) a prime number?
True
Let q(z) = -20468*z + 6323. Is q(-82) prime?
False
Suppose 909282 + 583705 = 37*p. Is p a composite number?
False
Let i be 747/9 + (-5)/1. Suppose 72*m + 38886 = i*m. Is m a composite number?
False
Is (220 - 215)*302711/5 prime?
True
Let t = 429983 - 236334. Is t a prime number?
True
Let y(g) = 189*g - 8. Let u be 10 - (-3 - (-5)/1). Suppose 0 = -s - 4*m - 3 + 4, -4*m = u. Is y(s) composite?
False
Let c = 32485 - -295348. Is c composite?
True
Let d(a) = a**3 + 27*a**2 + 35*a - 43. Let j(r) = -r**3 + r**2 + 10*r - 10. Suppose -5*n + 12*n = 28. Let p be j(n). Is d(p) prime?
True
Let y = 529 + 5973. Suppose 44*w = 42*w + y. Is w composite?
False
Let x(n) = -n + 6. Let y(c) = -338*c - 109. Let i(h) = -6*x(h) - y(h). Is i(19) a composite number?
True
Let q(r) = 242*r + 51*r**2 - 8*r**2 + 63*r**2 + 20*r**2 - 7. Is q(-8) prime?
True
Let d(b) be the first derivative of -745*b**3/3 - 3*b - 11. Let i be d(-2). Let y = -1832 - i. Is y prime?
True
Let o = 232 - 209. Let f(n) = 3*n**3 + 10*n**2 - 41*n - 77. Is f(o) composite?
False
Suppose 27 = 18*a - 45. Suppose -18587 = -3*g - n, -a*g - n -