30. Is r(n) a composite number?
True
Let c(b) = -61*b - 4. Let v be c(-9). Suppose -2*q + 629 + v = 0. Is q composite?
False
Let g = 111 - 108. Let u be 4/(-10) + (-127)/(-5). Suppose -5*x + u = -3*c + 8*c, x - c - g = 0. Is x a composite number?
True
Let p(d) = d. Let a(u) = -u**2 - 7*u - 4. Let f(s) = a(s) + 3*p(s). Let h be f(-3). Is 55/(-11)*(h + -172) composite?
True
Let l(a) = -a**2 - a + 4. Let d be l(0). Suppose h = -d*x - 0*h + 8, -2*x + 2 = h. Suppose -3*v + 57 + 27 = -3*s, -s + 96 = x*v. Is v composite?
False
Let z = -508 - -1386. Let a = -1474 + z. Let c = a + 1039. Is c prime?
True
Suppose -5*v - 2*h - 29 = 0, 0 = v + h + 5 + 2. Let l(m) be the second derivative of 7*m**4/12 - 7*m**3/6 + m**2/2 - 10*m. Is l(v) a prime number?
True
Suppose 6*p - 3 = 45. Let h(f) = 9*f**2 - 4*f - 1. Is h(p) composite?
True
Suppose -x + 0 = -2*b - 14, 16 = x - 3*b. Suppose -2 = -3*s + x. Suppose -s*w - 4*y + 114 = -246, -3*w + 268 = 5*y. Is w prime?
False
Let r(u) be the first derivative of 7*u**3/3 + 3*u**2/2 - 3*u - 6. Let g be r(1). Suppose g*o - 545 = 2*o. Is o a prime number?
True
Let f(s) = -556*s + 131. Is f(-11) a prime number?
True
Suppose 3 = -4*v + 7. Let l be -2 + 283 + (v - -2). Suppose -25 + l = s. Is s a prime number?
False
Let r = -4 + 9. Suppose -3*d + r*g = 0, 0 = 3*d + 5*g - 42 + 12. Suppose -x - 2180 = -d*x. Is x a prime number?
False
Let y(b) = -b**2 - 4*b + 3. Let v be y(-6). Let r = -1 + v. Is (-5174)/(-65) + 6/r a prime number?
True
Let g be -37 - (-3 - -2 - 0). Let q(o) = -3*o**2 + 10*o - 7. Let y be q(6). Let j = g - y. Is j a prime number?
True
Suppose 5*h - 10 = 5. Suppose 0 = m + h - 1. Is (-6)/(24/2086)*m composite?
True
Let p = 29 + -29. Suppose p = 3*b - f - 0*f - 6292, 4*f - 2106 = -b. Is b composite?
True
Let s = -2 - 6. Let h = s - -12. Suppose 2*g - 2*d - 488 = d, -2*d + 992 = h*g. Is g prime?
False
Let h(u) = -1444*u**3 - u**2 + 8*u + 13. Is h(-2) a composite number?
True
Let h be ((-60)/(-5))/2 - 4. Suppose 9*p = h*p + 38045. Is p a composite number?
True
Suppose -z - 116 = -b, 4*z + 15 = z. Suppose 6*v - 219 = b. Is v prime?
False
Let q = 178 + -173. Let a be (-4)/(-15)*3*10. Suppose 1185 = -q*t + a*t. Is t a prime number?
False
Suppose -5 - 1 = 2*f. Is 3 + -2 + 421 - (f + 3) prime?
False
Suppose 3*x - 390 = 4*c, -5*x = -4*c - 63 - 587. Let z be (6/10)/(13/x). Let d = 10 - z. Is d composite?
True
Suppose 4*c = -3*f + 5755, c - 4973 - 2696 = -4*f. Let m = f + -1289. Suppose 3*l - 5*w - 845 - m = 0, 1964 = 4*l + 4*w. Is l composite?
False
Let s be (-4)/22 + (-951)/33 + -4. Let w = 449 - s. Is w prime?
False
Suppose -2*i - 5*c + 8414 = 0, -10*c = -3*i - 7*c + 12579. Is i composite?
True
Is -6 + -11663*(4 - (-20)/(-4)) a prime number?
True
Let a(y) be the first derivative of y**2/2 + y + 10. Let d be a(0). Is 2*(-33)/(-6)*d a composite number?
False
Suppose 5*y + 10 = 35. Suppose y*d + 2*a - 1055 = 0, -4*d = -2*d + 2*a - 422. Suppose 0 = -n + 160 + d. Is n a prime number?
False
Let v = -6310 + 11339. Is v a prime number?
False
Let a(i) be the first derivative of 8*i**3 + 19*i**2/2 + 4*i + 4. Is a(-9) prime?
True
Suppose -2*f + 4*t + t = -7, -5*t - 25 = -5*f. Suppose f*j - j = 465. Is j composite?
True
Suppose 2*c - 5*c + 8212 = 4*s, 0 = 5*c. Is s a prime number?
True
Let t be (-96)/80*(-20)/(-6). Let a(h) = -2*h**3 - h**2 + 9. Let f be a(t). Is -3 + (f - 3) + -2 prime?
True
Let f(t) = t**2 - 7*t + 3. Let z be f(8). Let l(b) = -b**3 + 12*b**2 - 7*b - 20. Let x be l(z). Is (3440/x)/((-4)/(-6)) prime?
False
Let w(k) be the second derivative of k**5/20 - k**4/2 + k**3 - 6*k**2 - 14*k. Is w(7) a composite number?
False
Let b be 775/(-4) + (-1)/4. Let g = b - 8. Let y = -96 - g. Is y prime?
False
Let v(q) = 3*q - 3. Let c(l) = -l + 1. Let o(r) = -2*c(r) - v(r). Let k be o(-1). Suppose w = -k*w + 69. Is w a composite number?
False
Suppose -5*p + n = -1110, 2*n + 432 = 2*p + 4*n. Suppose p + 287 = 4*a. Is a a prime number?
True
Let j(w) = 173*w**2 - w + 3. Let d be (1/7)/((-16)/(-64))*7. Is j(d) a prime number?
True
Suppose 4*q = 6*d - 3*d - 30474, -4*d - 4*q + 40604 = 0. Is d prime?
False
Let m be 9/(-3) + 16*-7. Let y = 814 + m. Is y a composite number?
True
Suppose -5*j = -3*v + 12084, 3*v = -3*j + 12650 - 566. Suppose v = 3*h + 1181. Is h prime?
False
Let f = -4940 + 2654. Is ((-6)/18)/((0 + 2)/f) composite?
True
Let f be 2119 - (4 - (5 - 6)). Suppose 0 = 2*v - 1364 - f. Is v a prime number?
False
Let s(d) be the second derivative of d**5/20 - 3*d**4/4 - d**3/6 + 4*d**2 - 3*d. Let m be s(9). Is (1524/(-72))/(m/6) a composite number?
False
Let c be 2 - (3 - -3) - -7. Suppose -1435 = -c*r + 2*n, 960 = 2*r + 3*n - n. Is r composite?
False
Let v(x) = -x**3 + x. Let i be v(0). Suppose 25 = 5*u, i = -3*a + u - 1 - 4. Suppose a = 5*o - 169 - 226. Is o a prime number?
True
Suppose t - 12310 - 26769 = 0. Is t prime?
True
Let p(o) = -41 + 0*o + 6*o + 12*o + 22*o. Is p(7) a prime number?
True
Suppose b = 3*j + 3422, 5*j = 3*b - 9767 - 495. Is b prime?
False
Let r = 10 - 9. Let f be r*0/4 + -1. Is (-3 - f)*47/(-1) a composite number?
True
Let o be (2/3)/((-7)/63). Is o/(-9)*627*2/4 a prime number?
False
Let q = 19 - 28. Let d(x) = -x**3 - 2*x**2 + x. Let r be d(-2). Is r - (q + 3 + -6) a composite number?
True
Suppose -7075 - 4892 = -3*h. Is h a composite number?
False
Let m = 594 - 341. Is 1*(-6 + 4 + m) a composite number?
False
Let y(q) = -q**3 + q + 1. Let n be y(0). Let h be (-128)/(-24) - n/3. Is (-3)/h + (-9086)/(-35) prime?
False
Let g(m) = 5 + 3*m + 6*m**2 - 5*m**2 - 7 - 4 - 7*m**3. Is g(-5) composite?
True
Suppose 2*p - 14 = -6. Suppose t = -2*t + 5*f + 35, 3*t + 1 = -p*f. Suppose 10*q = t*q + 590. Is q composite?
True
Let q(r) = -115*r - 14. Let h be q(-7). Suppose -5*g + 36 = h. Let c = 338 + g. Is c prime?
False
Let q be (24/(-54))/(2/(-9)). Let w(l) = 448*l**2 + 4*l - 5. Is w(q) a prime number?
False
Let m(a) = -a - 466. Let k be ((-4)/4)/(2/6). Let n(p) = p - 1. Let l(x) = k*n(x) - m(x). Is l(0) prime?
False
Suppose 0 = 4*n + 20, -h + 5*n + 397 = 3*h. Suppose h + 427 = 4*d. Is d/(-30)*-1*21 composite?
True
Is 38364/36 - (-8)/6 composite?
True
Let x = 3 - 1. Is x/15*5 + (-1982)/(-6) a composite number?
False
Let y(d) = d**3 + 11*d**2 + 25*d + 10. Let q be y(-8). Suppose q*a - 2142 = -2*w, 0 = 4*w + a + a - 4276. Is w a prime number?
False
Let o(z) = -15*z + 13. Let v be o(-14). Suppose -3*k = -2*c - 3203, -k = -2*c - v - 842. Is k a composite number?
False
Let l(k) = k**3 - 9*k**2 + 18*k - 7. Let p be l(7). Suppose 0 = 31*s - p*s - 7190. Is s a composite number?
False
Suppose 4*c - 12976 = -4*l, 5*c - 9692 = 2*c + 5*l. Is c a composite number?
True
Let z be 234/45 - (-1)/(-5). Suppose -a = -5*l - 5*a + 154780, z*a - 30935 = -l. Is l/54 - 2/6 a composite number?
True
Suppose 6*g = 2*g + 12. Suppose -g*f + 11*f - 10984 = 0. Is f composite?
False
Let x be (-1)/((-3)/3 - -2). Let n be -18 + 18 - x*818. Let r = n + -523. Is r a prime number?
False
Let d = -243 - -53. Let c = 317 + d. Is c composite?
False
Let n(i) = -10 + 2 + 2*i + 6 + 1511*i**2. Is n(1) a composite number?
False
Let j(g) = -116*g**3 + 3*g**2 - 5*g - 6. Let s be j(-3). Suppose 1016 - s = -8*o. Is o a composite number?
False
Let h be 0 + 2 - (-333 - -6). Let i = 1540 - h. Is i composite?
True
Let c be (-1)/3 + (-2606)/(-6). Suppose 2*j - 5*z - c = -8*z, -860 = -4*j - 4*z. Is j a prime number?
True
Let g = -7 - 3. Let o = -7 - g. Suppose 95 = 2*h + o*h. Is h a composite number?
False
Let u(t) = 3*t - 5. Let m be u(5). Suppose -8*p + m = -6*p. Suppose -2*f - 4*b + 45 + 89 = 0, p*f - 327 = -2*b. Is f a prime number?
False
Let v(s) = 88*s**2 - 18*s - 29. Is v(-6) a composite number?
True
Let d = -55 + 53. Is (2229/12)/(3/(-24)*d) composite?
False
Suppose 5*i + 6533 = 3*r - 218, 4*r + 5*i - 9048 = 0. Is r a composite number?
True
Suppose f + 4*u - 20 = -6, -1 = -2*f + u. Is (-232092)/(-48) + f/(-8) composite?
True
Let z(c) = 24*c**3 - 4*c**2 + 1. Let p be z(-3). Let l = p + 1058. Suppose 0*t - 4*j + 393 = 5*t, -5*t + 5*j + l = 0. Is t prime?
False
Let v(j) = 599*j + 4. Is v(5) a composite number?
False
Let h(b) = -313*b**3 - 5*b**2 - 6*b - 5. Is h(-3) a composite number?
False
Let f(c) = 0 + 3*c + 13*c**2 - 1 + 7 - 3. Let d(p) = -p**3 - 7*p**2 - 2. Let l be