288 + -14911. Suppose d = 11*q - 1460. Suppose -3*n + 1242 = -q. Is n a prime number?
False
Suppose 138*z + 3*w = 140*z - 72458, 4*z = -4*w + 144836. Is z prime?
True
Let h(d) = -d**3 + 18*d**2 + 24*d - 68. Let p be h(19). Suppose p*o = -42447 + 311394. Is o a prime number?
False
Let b(a) = 92391*a - 304. Is b(1) a composite number?
True
Let i(w) = -466*w + 135358. Is i(0) prime?
False
Let c = 56649 + -6338. Is c prime?
True
Let l(i) = 15628*i**2 - 46*i - 45. Suppose 10 = -4*o - 3*s, -o + 8*s = 10*s + 5. Is l(o) a prime number?
True
Let b(y) = -2*y**3 + 4*y**2 - 12*y - 7. Suppose -4*c + 5*c = 14. Suppose 19*z = 17*z - c. Is b(z) prime?
False
Let n(z) = -z**2 + z**3 + 12*z - 6*z**2 - 2*z**3 + 631 + 6*z**2 + 0*z**2. Is n(0) a prime number?
True
Is 6 - ((-27)/(-81) - 1366752/9) a prime number?
False
Let v be 25/15*3 + -6 - -5855. Suppose 2*z = -13 + 23. Suppose 3*s + v = z*s. Is s a composite number?
False
Let r(s) be the first derivative of -s**3/3 - 4*s**2 - s - 13. Let j be r(-8). Is j/9 - (-1720)/9 prime?
True
Suppose -2*w - 23 = 3*h, 22 = 3*w + 5*h + 59. Let v(n) = 330*n - 9. Let r(y) = -989*y + 28. Let x(o) = w*r(o) - 11*v(o). Is x(4) a composite number?
False
Suppose 0 = -h - 3*w - 20, -5*h - 7*w - 60 = -2*w. Suppose 0 = 5*u - r - 6370, 3*r + 2548 = 5*u - 3*u. Is (-15)/60 - u/h a composite number?
True
Let x(h) = 257*h**3 + 6*h**2 - 42*h + 51. Is x(4) a composite number?
False
Let k be (-125)/(-2)*(-136)/(-85). Let x = k - 88. Is (2*18/x)/(6/1114) prime?
True
Let f = -13 - -16. Suppose 1 = -4*x + 2*h - 161, 0 = -f*x - 5*h - 89. Let r = 5 - x. Is r prime?
True
Let a = 16589 - 23864. Let l = a + 13024. Is l a prime number?
True
Let o = 415 + -383. Suppose o*g = 21*g + 72149. Is g a prime number?
False
Let q(n) be the first derivative of 2*n**2 + 995*n - 2 - 1/3*n**3. Is q(0) composite?
True
Let n(f) = -437*f + 223. Let x = -667 - -659. Is n(x) composite?
False
Let f(w) = -590*w**3 - 5*w**2 - 3*w + 3. Is f(-2) prime?
False
Let d(o) be the first derivative of o**3/3 - 3*o**2 + 17*o - 14. Let a be d(4). Suppose -4*f = -5*f + a. Is f prime?
False
Let x(d) = -37527*d + 2801. Is x(-4) a composite number?
False
Let n = 1982 - 3002. Let v be -3*(3 - 56)*n/(-9). Suppose 2*p - v = -5*l, -p + 10811 = 5*l - 2*l. Is l a composite number?
True
Let c(l) = -7*l - 11 + 61*l**2 - 53*l**2 - 15*l**3 + 55*l**3. Is c(4) prime?
False
Let m(w) = -w**2 + w + 15. Let j be m(3). Suppose -j*z + 7299 + 8838 = 0. Let g = -1026 + z. Is g a composite number?
True
Suppose 8 = 4*v, -y + 1 - 4 = 2*v. Let c(j) = -54*j - 59*j + 110*j - 18. Is c(y) a prime number?
True
Suppose -1888 = o + 3030. Let i = -2765 - o. Let v = -936 + i. Is v composite?
False
Let l(a) = -7*a - 49. Let h be l(-7). Suppose -3*s + 21937 + 962 = h. Is s composite?
True
Let j be -11 + ((-3)/(-1) - 0). Let i(f) be the second derivative of f**4/4 + 5*f**3/6 - 7*f**2/2 - 3*f - 1. Is i(j) composite?
True
Let k(g) = -2*g**3 + 10*g**2 + 14*g - 18. Let r be k(6). Is (1894/4)/(r/(-12)) prime?
True
Let n(k) = k**2 + 6*k + 1. Let d be n(-6). Let q(y) = 11*y**2 - y + 2. Let g be q(d). Is -1*3/(g/(-92)) a prime number?
True
Suppose 14*u + 13*u = -55*u + 17332258. Is u a composite number?
False
Suppose -3*x - 5*b + 644469 = 0, 5*x - 3*b - 4*b = 1074115. Is x composite?
True
Let d(a) = 61*a**2 + 17*a + 101. Is d(-34) a prime number?
True
Let f(w) = 70819*w**2 - 4*w + 8. Is f(1) a composite number?
False
Let p be (1294/(-3) - -1)*(54 + -57). Let i = p - 312. Is i a prime number?
False
Let v(a) = a**2 + a + 13. Let i(k) be the first derivative of k**3/3 - 3*k**2 - 3*k - 16. Let t be i(5). Is v(t) prime?
False
Suppose 33*j = -2*v + 29*j + 105686, 0 = 4*v - j - 211399. Is v prime?
False
Let p(l) = 191*l - 45. Let a be p(13). Let o be (a - (-3)/(-3)) + -4. Let b = o - 1036. Is b a composite number?
True
Let z = 28200 + -52445. Let r = -12538 - z. Is r a prime number?
False
Is (-331389)/(-12)*(-50)/75*-2 prime?
True
Suppose 0 = 2*w - 5*z - 6 - 14, w + 2*z = 1. Suppose 11*g - 8*g + 43112 = w*t, 5*t - 5*g = 43110. Is t composite?
False
Suppose j + 1 = 3. Let k = 1297 - 830. Is (-5 + 2)*j/(-6)*k prime?
True
Let j(h) = 2*h**3 - 12*h**2 - h - 10. Let v be j(6). Let o be v/(-6) + 4/3. Is 46/o*(14 - -44) prime?
False
Let k(q) = 3092*q - 1065. Is k(83) a prime number?
True
Suppose -2*n - 3*y = -341842, 5*n = -y - 33074 + 887653. Is n a composite number?
True
Let o(t) = t**3 + 29*t**2 + 19*t + 25. Suppose -15 = -4*z + 49. Let v = -10 - z. Is o(v) prime?
True
Let q be ((-2)/(-6))/(-1)*-12. Suppose 5*z = -r + 4110, -q*r = 5*z - 9*z + 3264. Is z composite?
False
Suppose -5*f + 4038997 = 4*s, 0 = 2*f + 152*s - 153*s - 1615578. Is f a composite number?
True
Suppose 27*w - 3503975 = -22*w + 24*w. Is w prime?
True
Let u(v) = 131*v**3 + 12*v**2 - 202*v + 34. Is u(9) prime?
True
Let w = -18485 + 32314. Is w a prime number?
True
Suppose 4*r + 47 = -p, -5*r = 4*p + 73 + 159. Is (-9)/p + 20/42*3954 a composite number?
True
Let q(a) = 1575*a + 1942. Is q(27) composite?
True
Let o(w) = 19828*w + 11. Let q(t) = 9916*t + 6. Let d(h) = -3*o(h) + 5*q(h). Is d(-1) a composite number?
False
Suppose -t + 13530 = 2*t. Let m(p) = p**3 - 13*p**2 - 163*p + 45. Let x be m(23). Suppose 0 = -2*u - 4*o + x, 512 = -5*u + o + t. Is u a prime number?
False
Suppose 4*h - 37 = -3*y, 0*y + 3*y + 3 = 0. Let i = h + -7. Suppose -o - 16069 = -2*p, -o - 2 = -i. Is p prime?
False
Let d(q) = -2*q**2 + 15*q - 2. Let k(y) = y**2 + y - 1. Let s(i) = -d(i) - 3*k(i). Let u be s(-18). Suppose 0 = u*h - 4753 + 1168. Is h a prime number?
False
Let j be (5/4)/5 - 386/8. Let l = 52 + j. Suppose 1551 = l*m - 2*m - 3*f, -2*m - 3*f = -1533. Is m prime?
False
Let p(c) = 105*c + 4*c**2 - 31 + 5 + 101*c - 196*c. Is p(6) a prime number?
False
Let i(s) = -s**2 - 2*s + 137. Let v be i(11). Let h(l) = -65*l**3 - 6*l**2 - 15*l - 29. Is h(v) a composite number?
True
Let v be 3*((-36)/30)/(8/(-20)). Is (-3)/6 + (35262/12 - v) a composite number?
True
Let y(k) = -k**2 + 6*k + 10. Let j be y(7). Suppose -t + 467 = -5*z, 5*t + j*z - 1389 = 1030. Let f = t + 1157. Is f a prime number?
False
Is (7009/86)/((-4)/(-11272)) composite?
True
Suppose 0 = 3*b + 4*a + 65 + 15, 2*b + 25 = 3*a. Let k(u) = -2*u**2 - 44*u + 49. Is k(b) composite?
True
Suppose -10*g = -2 + 112. Let u(m) be the first derivative of -m**4/4 + 11*m**3/3 + 13*m**2/2 + 24*m + 2. Is u(g) prime?
True
Let y = 25 + -207. Is (y - 199)*(10/(-6) + 0) prime?
False
Suppose -86857936 = -f - 279*f + 76142104. Is f a prime number?
False
Let d = -47 + 49. Suppose -d*p - 2*n + 15 = -7*n, -3*n - 17 = -2*p. Is (-4)/p - 5277/(-5) a prime number?
False
Let v(q) = q + 3*q - 64*q**2 - 3 - q + 77*q**2. Let g be v(6). Suppose 0 = -9*m - g + 14856. Is m a prime number?
True
Let z(y) = 1057*y - 5. Let v be z(4). Suppose 0 = -o + v + 4290. Is o prime?
True
Let u = -278 - -651. Suppose 2*g + u = l, -4*l = 18*g - 14*g - 1480. Is l prime?
False
Let m(k) = 5841*k**3 + 14*k**2 + 84*k - 511. Is m(6) a composite number?
True
Suppose 2*y = -18*o + 19*o - 15475, 2*o = -3*y + 30929. Is o prime?
False
Let i = 4023 - 2542. Is i a composite number?
False
Suppose -6*p = -97 - 23. Let i be (-10)/(-4) + 30/p. Suppose 0 = 5*j + 4*q - 1307, -15 = -q - i*q. Is j composite?
True
Suppose -20*d = -14*d - 762536 - 61066. Is d a prime number?
False
Suppose -10 = 3*l + 26. Let n = l + 14. Suppose 4*r + 2*p = n*r + 3724, 7463 = 4*r - p. Is r composite?
True
Is 16/(2240/39281585) - 2/(-8 - 0) a prime number?
True
Let k(m) = m**2 - 19*m + 56. Let d be k(12). Is (-99416)/d + 18/42 a composite number?
True
Let c(f) = -567*f**3 + 37*f**2 + 113*f + 1. Is c(-4) a composite number?
True
Suppose -4*f = -9 - 3. Suppose f*s - 4 = -5*p, 4*p + s + 2 = -4*s. Suppose v + p*v + 962 = z, 2*z - 1969 = -3*v. Is z a composite number?
False
Let o = 14 + -4. Suppose f + o = 13. Suppose -4*b = -5*b + f. Is b a composite number?
False
Let t = 38 - 37. Let f be -1*(2/t)/((-6)/(-9)). Is f/(-1)*(-971)/(-3)*1 a composite number?
False
Is (-18640)/(-64)*52/13 a composite number?
True
Let q = -1044349 - -2089026. Is q a composite number?
True
Let m(r) = 1614*r - 329. Is m(22) prime?
False
Let k(g) = 7*g + 7. Let a be k(-3). Let b(x) = -x**2 - 32*x - 11. Let u be b(a). Suppose 0 = -5*y + u + 1794. Is y a prime numb