76. Is d a prime number?
True
Let v(z) = -4*z**2 - 13*z + 3. Let o be v(9). Let r = o + 848. Suppose -n + 3*n = r. Is n prime?
False
Suppose -f + 4*i = -18, 5*i + 8 = f - 15. Let a = f + 309. Is a prime?
True
Suppose 0 = 2*h + b - 11, -2*b = 3*h - 4*b - 20. Let c(t) = -t**3 + 7*t**2 - 4*t - 4. Let g be c(h). Is 2/4 + 2068/g composite?
True
Let c be -2 + (-24)/(-14) + 115/35. Suppose n = -3*l + 5081, 2*n = -l + c*n + 1691. Is l a composite number?
False
Let a = 21 - 24. Let j be 112/(-21) - (-2)/a. Is 2286/(-54)*j/2 a composite number?
False
Let u(m) = 1. Let x(g) = g + 246. Let b = 18 + -13. Let w(p) = b*u(p) + x(p). Is w(0) prime?
True
Suppose 26*j - 151464 = 2*j. Is j composite?
False
Let h(p) = 467*p + 7. Is h(2) composite?
False
Let y(b) = -b**2 - 5*b + 9. Let g be y(-6). Suppose 2*z + 5*r - 15470 = 0, -g*z - r = z - 30976. Is z a prime number?
False
Suppose -706557 - 349817 = -22*i. Is i a prime number?
True
Let i(l) = 4*l + 2*l**3 + 0*l - 13*l**2 - 5 - 3*l**3 - 2*l. Let f be i(-6). Let x = 402 + f. Is x a prime number?
False
Let p(o) = 2170*o**2 + 12*o - 39. Is p(5) composite?
True
Let g = 67 + -65. Suppose g*j + p - 21 - 1700 = 0, 25 = -5*p. Is j prime?
True
Let q(s) = -150*s + 28*s + 29*s - 5 - 149*s. Is q(-2) a composite number?
False
Let q(f) = 1156 - f + 0*f**3 - 1156 - f**3. Suppose 0*t - 10 = 5*t. Is q(t) prime?
False
Suppose -4*k - 2*m = -533 - 437, 5*m - 745 = -3*k. Let t = -440 + k. Let f = t - -1167. Is f a prime number?
True
Let n = -24151 + 50088. Is n a composite number?
True
Is (93880/((-32)/(-4)))/1 prime?
False
Let q be -3 + -10 - -3*4/12. Let j(d) = -d**3 + 18*d + 23. Is j(q) composite?
True
Let s = 2267 + 16278. Is s prime?
False
Let n(m) = -m**2 - 7*m + 6341. Is n(0) a composite number?
True
Let s(m) be the third derivative of 79*m**4/12 + 61*m**3/6 + 21*m**2. Is s(12) prime?
False
Suppose w = -2*w - m, -3*w - 9 = 4*m. Suppose -4*f - 10 = -3*f - 4*c, 0 = f - c + w. Suppose k = 1, -f*l + 8*k + 249 = 3*k. Is l a composite number?
False
Let g(y) = 5*y**2 - 74*y - 261. Is g(44) a composite number?
False
Let o(p) = 96*p - 1. Let h = 9 + -2. Let u = h - 2. Is o(u) a prime number?
True
Let x(n) = -n**3 + 13*n**2 - 11*n + 11. Suppose 13 = -5*o + c, 18 = -o - 2*o + 4*c. Let i be 6/(o + 0) - -15. Is x(i) a prime number?
True
Let y(u) be the second derivative of u**4/12 - 11*u**3/6 - u**2 - u. Let i be y(11). Is (-491)/(-3) + i/3 composite?
False
Let u(k) = 513*k - 308. Is u(3) composite?
False
Suppose 5*x + 2*v - 2016 = -2*v, -3*x + 1196 = -v. Let d = -29 + 0. Let y = x + d. Is y a prime number?
False
Let x = 5919 - 737. Is x composite?
True
Is 8/(-32)*-16*9533/4 a composite number?
False
Suppose -2*g + 50 = -g. Let x = -37 + 30. Let n = x + g. Is n composite?
False
Let a(u) = -4079*u - 117. Is a(-4) a composite number?
True
Let m(k) = -7*k + 4. Let y(i) = -11*i + 1. Let x be y(3). Let f be 40/6*48/x. Is m(f) a composite number?
True
Suppose -113 = -v + m, -4*m - 227 = -3*v + 107. Let g = v + 88. Is g a prime number?
False
Suppose 0 = 2*a - 4*a. Suppose 2*x + 851 + 227 = a. Let w = -120 - x. Is w a composite number?
False
Suppose 0 = -g - 3*y + 4*y + 1, -3*y = 4*g - 25. Suppose -5*a + 386 = g*k + 123, 5*k - a = 365. Suppose -4*p = -460 + k. Is p prime?
True
Suppose 2*i + 159 - 471 = 2*p, -i = -5*p - 140. Suppose 7 + 47 = n. Let r = i + n. Is r a composite number?
True
Let m = -36 - -39. Let a be (36/12)/(m/4). Suppose 3*s - 1832 = -a*u - 59, 3*s = -5*u + 1776. Is s prime?
True
Let c(r) = r**2 + r - 6. Let o = 2 - 6. Let y be c(o). Is ((-80)/12)/((-4)/y) a composite number?
True
Let h(j) = -j**2 + 9*j + 14. Let m be h(7). Let p = -22 + m. Is 115/2 + p/12 a prime number?
False
Let f(q) be the second derivative of 4*q - 17/2*q**3 + 0 + 3*q**2. Is f(-3) composite?
True
Let i = -36 + 41. Suppose -i*n + 1367 = -5*a - 2608, 2*a = -3*n + 2395. Is n a composite number?
False
Let d = 0 + 2. Suppose 3*k - 2*g = -1052, d*k + 0*k = -g - 699. Let x = 1283 + k. Is x composite?
True
Let u = 146158 + -94135. Is u a prime number?
False
Let y(z) = 5*z + 2. Let u be y(2). Suppose -u*j = -8*j - 1324. Is j prime?
True
Suppose 3*q = 8770 + 17267. Suppose -5923 = -3*k + a + 2765, 4*a = 3*k - q. Is k prime?
True
Let d be 6*(-2 + 1)*-1. Suppose 7*p = 4*p - d. Is -40*(p + -2) + -1 a composite number?
True
Let d(z) = z**3 + 7*z**2 - 3. Let u be d(-7). Suppose -21 = -5*w + 39. Is u/w + 1349/4 a prime number?
True
Let y(u) be the first derivative of -u**4/4 + 10*u**3/3 + 9*u**2/2 + u + 3. Suppose 8*d = -3*l + 3*d + 41, 2*l + 5*d - 34 = 0. Is y(l) composite?
False
Let g = 25638 - 18205. Is g prime?
True
Let k(o) = 4*o + 2. Let v be k(-1). Let s be ((-1 - -121)/(-4))/v. Is 2/s - 192344/(-120) composite?
True
Suppose 1 = -2*d + 5. Let j(i) = 52*i - 23*i - 28*i + 5*i**2. Is j(d) a composite number?
True
Suppose -9*z + 15*z = 32598. Is z composite?
True
Suppose -5*w - 100347 = -44*w. Is w composite?
True
Let x(y) = 422*y - 11. Let u be x(4). Suppose 10*q - u = 7*q. Let n = q + -336. Is n prime?
True
Suppose 1356 + 1988 = 3*g - 2*u, 1120 = g - 2*u. Let p = g + -343. Is p prime?
True
Is (1 - -12)*563*1 a prime number?
False
Let h be 4/8 + 9/2. Let g(n) = -2*n**3 + 6*n**2 - 6*n + 12. Let y be g(h). Let c = 195 + y. Is c a composite number?
True
Is 36109/3*(17 + -37 - -23) a composite number?
False
Let d(a) be the first derivative of 5*a**3/3 + 2*a**2 + 2*a - 5. Let i be d(-2). Let q(y) = -y**2 + 15*y - 7. Is q(i) prime?
True
Let k(g) be the first derivative of g**3/3 + 3. Let l be k(2). Let n(q) = 8*q**2 - q - 3. Is n(l) composite?
True
Is (0/(-3) + 4729)*(3 - 2) composite?
False
Let p = 127 - 124. Let w(j) = 85*j**2 + j + 2. Let q be w(-3). Suppose p*d = -d + q. Is d composite?
False
Let c = -5 + 84. Let d(h) = 13 - 5 - 6 + 2*h + c*h**2 - 3. Is d(2) a composite number?
True
Suppose -11 = 2*h - 15. Suppose 0 = -h*d - 303 + 1237. Is d composite?
False
Suppose 0 = k - 4, 4*k = 6*v - 4*v - 18250. Is v prime?
True
Let g = 6633 + -2974. Is g composite?
False
Suppose 4*u + 2*v = 20, 2*u + 2*v = -0*v + 14. Suppose u*b - 302 = 55. Is b composite?
True
Let g(s) = 157*s**3 - s**2 + 8*s - 9. Is g(2) prime?
True
Let v be 7/(35/(-10)) + 9 + -2. Suppose v*u - 5935 = 2*x, -3*x = 6*u - 2*u - 4771. Is u prime?
False
Let l be (-50 - -8)/(2*-1). Let a = 2 + 4. Is l/a*2*197 a composite number?
True
Suppose -3989426 = -159*j + 30242797. Is j composite?
False
Suppose 0 = -s + b + 3, 1 = s - 0*b - 3*b. Suppose -s*w + 150 = -386. Is w a prime number?
False
Suppose 0 = -y - 2*q + q + 6, y + 2*q = 10. Suppose 3*l - 112 = -2*b, -96 = 5*b + y*l - 387. Is b a prime number?
True
Let j be 3/(1 - -2)*4. Suppose t + 1 = j*i + 8, t + i = 2. Suppose t*m - 48 = 2*n + 23, -2*m + 42 = 4*n. Is m composite?
False
Suppose -w - 3*w = 5*j - 2297, j + 2864 = 5*w. Is w a prime number?
False
Let r(v) = 5*v - 8. Let m(f) = 5*f - 7. Let h(t) = -6*m(t) + 5*r(t). Is h(-13) composite?
False
Let k = 3028 + -95. Is k prime?
False
Let o(w) = -w**2 + 11*w - 23. Let s be o(4). Suppose -s*l + k + 11219 = 2*k, 2*k + 8964 = 4*l. Is l composite?
False
Let j be 5/20 + (-2979)/(-4). Suppose -281 = -4*t - j. Is (1/2)/((-1)/t) prime?
False
Is 5635 - (-15)/(45/(-24)) a prime number?
False
Let w be (0 - -1)*(1 + 1). Suppose w*b + 146 - 798 = 0. Suppose -b = -s - s. Is s a composite number?
False
Is (-13)/((-390)/69984) + 8/40 a prime number?
True
Let h(p) = 6*p**2 + p - 2 + 2*p - 7*p**2 - 9*p. Let f be h(-5). Suppose 5*t - 3*n - 171 = t, -f*n - 54 = -t. Is t prime?
False
Is (-2)/(5 + (-102459)/20489) composite?
False
Let z(j) = 9*j + 5. Let g be (4 + -2)*21/2. Let n = -13 + g. Is z(n) a prime number?
False
Suppose -34*l - 225660 = -46*l. Is l prime?
False
Let x(q) = 9*q**2 + 5*q + 3. Suppose 13*a + 9 = 100. Is x(a) prime?
True
Let s = 1 + -1. Is (s - (-21)/6)*(1 - -1225) a prime number?
False
Suppose -129*o = -131*o + 97294. Is o prime?
True
Let d(r) = 125*r + 160. Is d(17) a composite number?
True
Suppose -a - 4*u - 56 = -5*a, -4*u = -2*a + 32. Let j be 6/8 - 135/20. Let d = a + j. Is d a prime number?
False
Let d = 122 - 118. Let f(w) = 9*w**3 + 5*w**2 - 8*w + 5. Is f(d) a composite number?
True
Suppose 139239 = 5*i - 2*g, 5*g - 139248 = -5*i + 4*g. Is i composite?
True
Let h = -13 + 16. Suppose h*o + 104 = 2*n + 4*o, -5*o