 a(v) composite?
False
Suppose 0 = -4*u - 5*f + 23353, -f + 5838 = -10*u + 11*u. Is u a composite number?
True
Let p = -1616 + 2469. Is p prime?
True
Suppose 4 = 4*c - 24. Let g(q) = -30*q**2 - 6*q - 12. Let i be g(c). Is (i/24)/(2/(-4)) composite?
False
Let l(y) = -263*y - 6. Let g be l(-6). Let b = g - 864. Suppose -2*v + 281 = u, u - 4*u - b = -5*v. Is v prime?
False
Suppose 4 - 24 = -4*n. Suppose n*p - 2035 = -j - 4*j, -j + 4*p + 417 = 0. Is j a composite number?
False
Let j(g) be the second derivative of 71*g**4/6 + 5*g**3/6 + 5*g**2/2 + 18*g. Is j(-2) a composite number?
False
Is (-115820)/(-35) + (-1)/7 composite?
True
Let n = 26170 - 7953. Is n prime?
True
Let m(n) be the second derivative of 158*n**3/3 + 14*n. Let q be m(-1). Let j = 579 + q. Is j composite?
False
Let v(n) = -13*n**2 + 4*n. Let q(m) = -64*m**2 + 21*m + 1. Let p(w) = 2*q(w) - 11*v(w). Let s be p(1). Suppose -2*k + 131 - s = 0. Is k a composite number?
True
Let o(g) = 3*g**3 + 7*g**2 + 2*g + 3. Is o(5) a composite number?
False
Suppose 33812 = -6*k + 87986. Is k prime?
True
Suppose 7 - 1 = -2*v. Let n be (8/6)/((-1)/v). Let k(m) = 28*m**2 + m - 5. Is k(n) a prime number?
False
Let j(l) = 319*l**2 - l - 1. Is j(-1) prime?
False
Let x = -42368 + 62977. Suppose 0 = 8*r - 8759 - x. Is r composite?
False
Let q(j) = -9*j - 62. Is q(-16) composite?
True
Let l be (-1)/5 - 6436/20. Let v = 91 - l. Is v a prime number?
False
Let k = 5385 + -1552. Is k a composite number?
False
Let n(p) = -3*p**3 + p**2 + 131. Is n(-18) a composite number?
True
Suppose 3*s = 3*j + 30, 3*j + 2 = -5*s - 28. Suppose -2*x + 10 = 4*c, c - 2*c - 14 = -5*x. Let m = c - j. Is m prime?
True
Let u = 331 - 170. Let c = u - 2. Is c a prime number?
False
Suppose 11*f - 12*f = 8. Let h = 13 + f. Suppose h*c - 49 = -4*r, 5*r - 2*c = -0*c + 53. Is r a prime number?
True
Suppose -2*l + 6 = 4*a, -5*a + l + 3 = -1. Suppose -2*h = n - 1819 + a, -4*n = 4*h - 3644. Is h a prime number?
True
Suppose u + 2 = -2. Is u/10 + 3188/20 composite?
True
Let m = 245 - 22. Is m prime?
True
Let p = 73930 + -51860. Suppose 4*s + 4506 = p. Is s composite?
False
Suppose 4*l - 110 = -7*l. Is ((-105)/l)/7*3548/(-6) a composite number?
False
Let b be -3*271/(-12)*-16. Let k = 165 + b. Let m = -128 - k. Is m a prime number?
False
Suppose 3*v - 1 = 5. Let o = 1 + v. Is (-1)/(o/(-9)) + 386 a prime number?
True
Let b(r) = 3*r**3 - 4*r**2 - 5*r + 1155. Let l(v) = 4*v**3 - 5*v**2 - 5*v + 1156. Let c(z) = 5*b(z) - 4*l(z). Is c(0) composite?
False
Let q(i) = 7*i**2 - 5*i**2 - 3*i - i**2 + 1 + 1. Let f be q(3). Suppose -4*x + f*x = -1270. Is x a composite number?
True
Let b(z) = -z**3 - 13*z**2 - 6*z + 3. Let g be b(-17). Let v = g - 720. Is v prime?
True
Let l(u) = -24*u**3 - 4*u**2 - 1. Let r = 39 - 45. Let a be 1/((10/r)/5). Is l(a) prime?
False
Let y = 25445 - 17736. Is y composite?
True
Suppose 0 = -8*o + 20036 + 26196. Is o composite?
False
Let i(y) = -y**3 + 5*y**2 + 10*y + 5. Let s be i(-8). Let j = -438 + s. Is j a prime number?
False
Suppose -2*w = -6*w + 32. Let i(r) = 2*r**3 - 10*r**2 - 7*r - 10. Let f be i(w). Suppose 3*k + 379 + 416 = 5*c, -2*c + k + f = 0. Is c a composite number?
True
Let r be (2/3)/(12/(-18)). Let f be r/3*-2*21. Let p = 33 - f. Is p composite?
False
Let i(x) = 4*x - 31. Let d(l) = -13*l + 94. Let y(n) = 6*d(n) + 17*i(n). Is y(-6) composite?
False
Let p(u) = -18*u + 2. Let x be p(-1). Let q = x + -17. Suppose 4*t - 89 = -g, -5*t - 445 = q*g - 8*g. Is g composite?
False
Let r(y) = 7 - y + 25 - 5*y + 3*y**2 - 10. Is r(9) prime?
True
Let m(y) = 2*y**2 - 27*y + 25. Let a be m(13). Is (-3)/a*-2725 + (-1)/4 a prime number?
False
Suppose -2*h + 0 = -2, -7 = -x - 3*h. Suppose f - 10 = -x*f. Suppose -f*t = t - 21. Is t prime?
True
Let c be 28/2 - (-2)/(-2). Let f(i) = 160*i - i**2 - 145*i - 13 - 6. Is f(c) prime?
True
Suppose 0 = g - 4*g. Suppose 0 = 4*f + 4*t - 68, g*f + 2*f = -t + 38. Is f composite?
True
Let b = 472 + -283. Let s = 1087 + b. Suppose -2*w - 2*w + s = 0. Is w a composite number?
True
Suppose t - 1463 = -2*d, 5*t = 4*d + 61 + 7184. Let l = t - 866. Is l a prime number?
True
Suppose 0*c - 2 = -2*c + 2*n, 3*c = 2*n + 7. Suppose -c*q + 2*x + 11983 = 0, 3*x - 7772 = -2*q - 2994. Suppose 2*z = -3*z + q. Is z a composite number?
False
Let j(h) = -h**3 + 24*h**2 - 2*h + 45. Let z be j(24). Suppose -2*q = -356 - 6. Is (-1)/((-2)/(q + z)) composite?
False
Suppose 1418 = 8*p - 190. Suppose 53 = s - 4*w, -p = -s - 2*s - 2*w. Is s composite?
True
Is 1/(-3 - 32340/(-10779)) composite?
False
Let d = -93 + 98. Suppose -4*s = d*r - 412, -2*r = 3*r. Is s prime?
True
Let p = 15 - 11. Let a be (-4)/(1 + 0/2) - -7. Suppose o = 9*k - p*k + 223, o + a*k - 223 = 0. Is o a prime number?
True
Let y = 8002 + -4511. Is y composite?
False
Let b(h) = 8*h + 8. Let v be b(-4). Let z = v - -29. Suppose 0 = 4*o + 2*u - 476, -5*o + z*u + 357 = -2*o. Is o prime?
False
Let x be (-15)/(-45) - 50/(-3). Let i = x - 17. Suppose -o + i*o - v = -187, 0 = -o - 4*v + 175. Is o composite?
False
Let p(h) = 226*h - 19. Let x(a) = -45*a + 4. Let c(r) = -2*p(r) - 11*x(r). Let t be c(4). Is t + 4/(-8)*6 a prime number?
True
Let m(p) be the first derivative of -p**4/4 + 2*p**3 + 4*p**2 - 5*p - 2. Suppose -5*v = g + 2*g - 29, -3*v = -g - 23. Is m(v) a prime number?
True
Suppose -2*z = -v + 23, -114 = -7*v + 3*v - 3*z. Suppose 15 + 1 = -4*l. Is (l - v/6)*-10 composite?
True
Suppose 5*i - g - g + 3955 = 0, -4*g = 2*i + 1558. Is i*1/(-2)*2 prime?
False
Suppose 0 = 2*a - 2*c + c - 3, 0 = -4*a - 3*c + 11. Suppose -6*d - 2872 = -a*d. Is d/(-14) + (-8)/28 composite?
True
Suppose 4 - 8 = -2*c. Suppose -4604 - 402 = -c*p. Is p composite?
False
Let v = 10976 - 4267. Is v a composite number?
False
Suppose p = -5*o + 239, -5*o + 0*o = 4*p - 956. Let a = -82 + p. Is a a composite number?
False
Let g(q) = -392*q + 2. Let x be g(5). Let u(w) = 186*w**2 + 4*w + 37. Let o be u(-4). Let c = x + o. Is c a prime number?
True
Let o = 1680 - 488. Suppose 2*v - o = -4*u, 0 = 2*u - 7*u + 4*v + 1477. Suppose -5*s + u = -338. Is s prime?
True
Let k(j) be the first derivative of j**4/4 + j**3/3 - j**2/2 + 254*j - 5. Let n be k(0). Suppose r + 3*r = i - n, 0 = -r. Is i a prime number?
False
Let u(w) = 4*w**3 + 31*w**2 - 12*w + 35. Let o be (4/8)/((-3)/(-12)). Let b(q) = q**3 + 8*q**2 - 3*q + 9. Let t(g) = o*u(g) - 9*b(g). Is t(-11) a prime number?
False
Let k(n) = -224*n**3 - 6*n**2 - 6*n + 4. Let c(p) = 224*p**3 + 5*p**2 + 5*p - 3. Let j(d) = -5*c(d) - 4*k(d). Is j(-1) composite?
False
Suppose -29*x + 18*x = -7381. Is x prime?
False
Let z = -171 - -287. Suppose -13*j + 1559 - z = 0. Is j composite?
True
Let r = 156 + -88. Suppose 5*q - r + 18 = 0. Let t(x) = 63*x + 1. Is t(q) composite?
False
Let o = -57 + 54. Is (-483)/(-1) + (o - (-1 - -2)) prime?
True
Suppose -2*u - 16113 = -5*s, 0 = 2*s - 2*u + 3*u - 6438. Is s prime?
True
Let b(g) = 46*g + 1. Let k be -6 + 9 - 0/1. Suppose 16 = v + k*t, 5*t = 12 + 8. Is b(v) a composite number?
True
Let p be (-515)/(-40) - (-4)/32. Let o(j) = -3*j**2 + 18*j - 9. Let f be o(p). Let w = f - -409. Is w prime?
True
Suppose -5*h + 512 = -h. Suppose 2*k - h - 220 = 0. Let q = 248 - k. Is q composite?
True
Let j be (1408/22)/(0 - (-2)/(-24)). Let k = -509 - j. Is k a composite number?
True
Let a(z) = z**3 - 11*z**2 + z + 1. Let o be a(11). Let v(m) = 5*m**2 - 3*m - 17. Is v(o) a prime number?
False
Let i(n) = n - 1. Let s(q) = -8*q**2 + 9. Let t(r) = r**2 + r - 1. Let h(x) = s(x) + 4*t(x). Let f(d) = -h(d) - 4*i(d). Is f(10) composite?
True
Suppose -17*v = -578612 - 26061. Is v composite?
False
Suppose 6*o = -17*o + 486933. Is o prime?
False
Suppose -5*r - 52 + 7 = 0. Is (1932/r - 3)*-3 prime?
True
Suppose -i + 2246 = 7*c - 2*c, -3*c + 1344 = -3*i. Is c prime?
True
Suppose -23*s + 21*s = 34. Let t = s + 19. Let a(d) = 337*d - 1. Is a(t) composite?
False
Suppose q - 2433 = -4*r, -q - 4*q - r + 12222 = 0. Suppose 5*l = q + 820. Suppose 0 = 4*a - d - l, 2*a + 2*a = 2*d + 654. Is a a composite number?
False
Suppose 4*f = -r + 112109 - 15316, -4*r = 3*f - 72611. Is f prime?
True
Let p(r) = 278*r**2 - 11*r + 65. Is p(6) composite?
False
Suppose 0 = -3*m + 3, -11 = 2*i + 2*m - 7*m. Let q be (0 + 1)*i - -114. Suppose 433 = 2*j + q. Is j composite?
True
L