13 = 3*l. Is (2 - -90) + (l - -5) prime?
True
Suppose -4*i = -3*j + 9, -j = -5*j + 2*i + 12. Suppose j*b = -0*b + 1473. Is b a prime number?
True
Let f be 1*5 + (-12)/4. Let t be (f/2)/(2/4). Suppose t*o - 148 - 114 = -4*b, -5*b = 5*o - 330. Is b prime?
False
Let m be (-7143)/(-9) + (-2)/(-6). Suppose 3*u - m = 127. Is u composite?
False
Suppose -5 = -5*j + 5. Let s = 4 - j. Suppose 2*c - 308 = -s*c. Is c a prime number?
False
Let w = -52 - -100. Suppose d - w = 47. Is d a prime number?
False
Let n be -1 + 12/(-3 - -5). Let f(c) = 15 + 5*c**3 - 8*c - 8*c**2 + n*c - 7*c - 4*c**3. Is f(10) a composite number?
True
Let j = -277 - -984. Is j a prime number?
False
Let x = -6 - -9. Let n be (-10)/6*3 - -369. Suppose x*z - 1621 + n = 0. Is z a composite number?
False
Let r be ((-48)/(-10))/6*10/4. Suppose -2*q + 948 = r*u, 4*u - 5*q = 2*u + 913. Is u prime?
False
Suppose 7*t + 299 = -443. Let s = 27 - t. Is s a prime number?
False
Is (-2008775)/(-76) + (-1)/4 composite?
False
Suppose x = -3*d, 3*d + 4*x - 6 = x. Let f be (-121)/(-33) - d/3. Suppose 0 = -3*y - 3*n + 1392, -f*y - y = -2*n - 2341. Is y prime?
True
Let t be 17/(5/(-180)*-4). Let h = 336 - t. Is h prime?
False
Let r(q) = -11*q + 17. Let v be r(4). Let a = v + 1124. Is a prime?
True
Let m = -41 - -38. Let l be (-6)/(2/(-2) + 0). Is 2*((-99)/l)/m a prime number?
True
Suppose -4*d + 3 = -17. Let z(g) = -9 + 20 + d*g + 78*g. Is z(6) composite?
False
Is 2*(-86)/16*(-248)/2 prime?
False
Suppose -2*m + 3502 = -4*g, 0 = -m + 3*g + 2023 - 276. Is 1*(3 + -5) + m composite?
True
Let c be (568 - -1) + (1 - -2). Suppose -6*r + 1942 = -c. Is r a prime number?
True
Let l(m) = -2*m**3 - 14*m**2 - 11*m - 22. Is l(-9) prime?
True
Suppose 488 + 174367 = 15*v. Is v prime?
True
Let o be (-4)/14 - (-9948)/(-21). Let u = o - -170. Let t = -193 - u. Is t a prime number?
False
Suppose -u - 4*l + 103845 = -9*l, -2*u + 207704 = -3*l. Is u prime?
False
Let u = 7651 - 5233. Is (2/2*13)/(78/u) composite?
True
Let o be ((-4)/10)/((-1)/1135). Let m = -147 + o. Is m composite?
False
Let h(b) = -b**2 + 11*b. Let x be h(11). Suppose -5*o = -x*o - 2235. Is o composite?
True
Suppose 4*g + 15924 = 4*y, -18*y - 4*g = -16*y - 7986. Is y a prime number?
False
Is 8 + 1 + (-5 - -1083) a prime number?
True
Suppose 11*u - 1590 = u. Suppose -650 = -4*n + 3*s, 0 = n + 3*s - 2*s - u. Is n a prime number?
False
Suppose -20657 = 3*v - 74960. Is v composite?
True
Suppose 0 = 2*c - 4802 - 428. Is c a composite number?
True
Suppose -r - 5 = 4*o, 7 = -5*r - 2*o - 0*o. Let j = r - -35. Let l = j + 5. Is l prime?
False
Suppose 0 = -p - 3*u + 4 - 20, 0 = p + 4*u + 21. Let f(k) = -26*k**3 - 1. Let n be f(p). Suppose -5*x + 45 = 2*t, 3*x + 5 = -t + n. Is t prime?
False
Let l(o) = 102*o**3 - 8*o + 10. Is l(4) a prime number?
False
Suppose -2*g + 3*q = -18939, -g = -5*g - 4*q + 37908. Let t = -6595 + g. Is t prime?
True
Suppose 8*h + 26*h - 367234 = 0. Is h a composite number?
True
Let u be (-1)/(-3) - (-74)/3. Let y = u - -142. Is y a prime number?
True
Suppose -t + f - 277 = 0, 2*t - 582 = 4*t + 5*f. Suppose -r + 767 = n - 6*n, 2*n - 5*r + 293 = 0. Let i = n - t. Is i prime?
True
Suppose -5*y + 17 = -2*b, -3*y + 6 + 5 = -b. Suppose 0*p = b*p - 12. Is 21 - (3 - 2 - p) a composite number?
False
Is -10 - (-11 - 0) - -2721 composite?
True
Suppose -4*f - 2*d = 18, -d - 19 = 4*f - 4. Let b be f*((-13)/3 + 3). Suppose 5*l + 4*w = 460 - 17, -4*l = -b*w - 376. Is l prime?
False
Let p(g) = -19*g + 544. Is p(-43) composite?
False
Let j(v) be the third derivative of v**6/40 + v**5/20 - 7*v**4/24 + v**3/2 + 5*v**2. Let p = 48 + -44. Is j(p) a prime number?
False
Let f be (-1)/(-2) + (-3143)/(-2). Suppose -m + f = -4*m. Is ((-6)/(-12))/((-2)/m) composite?
False
Let w be (-2596)/(-14) + 24/42. Is 3*w - (-2 + 3) a composite number?
False
Let m = 14 - -8. Let n = 39 + m. Suppose 16 = -5*s + n. Is s composite?
True
Let n(q) = -q**3 - 16*q**2 + 13*q - 19. Suppose -4*u = -4*t - 5*u - 83, 0 = -5*t - 4*u - 101. Is n(t) a prime number?
True
Let p(r) = -3*r + 1. Let l be p(5). Let d be (-18)/(-126) + 30/l. Is (-36 - 1)*d + -3 composite?
False
Let h(i) be the first derivative of 57*i**4/4 - i**3/3 + i**2/2 - 1. Is h(1) a prime number?
False
Suppose -3*z + 0*f = 4*f + 62, -5*z + 2*f - 60 = 0. Let v be 4/z - 16/(-56). Suppose v = 2*h + 3*b - 782, 4*b - 3*b + 1195 = 3*h. Is h a prime number?
True
Suppose 4*x = -m + 2562, 0*m + 7730 = 3*m + x. Suppose 4*s = -5*u + m, 2*u - 6*s - 1020 = -2*s. Let y = u - 225. Is y a composite number?
True
Let c(s) = 4*s**2 + 7*s + 2. Suppose 2*t = -t + 30. Let i be (-3 + 0)*-1 - t. Is c(i) composite?
False
Let s be 6/21 + (-32)/14. Let c = s - -7. Suppose -c*t = -1605 - 550. Is t a composite number?
False
Is (-37296441)/(-567) - 8/(-18) a composite number?
True
Suppose 46*j + 5614 = 53*j. Is j a composite number?
True
Let k(j) = 2*j + 16. Let d be k(-8). Suppose 166 = -d*c + c. Suppose -x = x - c. Is x a composite number?
False
Let g(j) = -j**2 - 2*j - 3. Let k be g(-2). Let c be (-40)/6 + k/9. Let n(d) = 4*d**2 + 7*d + 2. Is n(c) prime?
True
Let d = -12 - -15. Suppose d*b + 33 - 9 = 0. Is 2/b*-4 + 210 a composite number?
False
Suppose 4*h + 5*d - 11148 = 6*d, 4*d = -5*h + 13935. Is h a prime number?
False
Suppose k = -2*k - s + 3545, 4*k - 5*s - 4695 = 0. Let v = k + -629. Is v a prime number?
False
Let p = 69895 - 45236. Is p a prime number?
True
Suppose 0 = 160*h - 162*h + 1718. Is h composite?
False
Suppose -41*k = -39*k - 3418. Is k prime?
True
Suppose -2*h - 2*c = -c + 16, 43 = -5*h - c. Let a(u) = 125*u**2 - 18*u + 14. Is a(h) a prime number?
True
Suppose 3*p - 10 = 5*l, 6*l - l = p + 10. Is 1817*(-5)/p*-2 a prime number?
False
Let u be ((-8)/(-3))/(-2)*6. Let q(y) = y**2 + 101*y + 163. Let b be q(-40). Is u/(-12)*b/(-6) a prime number?
False
Is -32 + 38 - (44*-15 + -3) composite?
True
Let k(f) = -f**3 - 4*f**2 + f - 4. Let n be k(-6). Let l = 4 - 4. Suppose u + u - n = l. Is u prime?
True
Let q(o) = 1017*o - 16. Is q(2) a prime number?
False
Is 1/14*-4 - (-79854)/42 a composite number?
False
Let n(b) = 6 + 165*b + 10 + 4 - 21. Is n(10) a prime number?
False
Let r(l) = -l**3 - 17*l**2 - 14*l + 32. Let s be r(-16). Suppose 2*m - 358 = -s*m. Is m prime?
True
Let l = -19 + 21. Let c = 5 - l. Suppose 5*b - 4*h - 712 = c*b, -3*b - 3*h + 1023 = 0. Is b composite?
True
Let d be ((-54)/6)/((-3)/2). Let a be 12/(-18) - (-28)/d. Is ((-762)/a)/(6/(-12)) composite?
True
Let j(w) = -w**2 + 5*w - 6. Let c be j(3). Suppose c*a - 9*a + 6462 = 0. Is a composite?
True
Let z(v) = 6*v**2 - 6*v + 7. Suppose 17 = 5*y + 2. Let k = 8 - y. Is z(k) composite?
False
Suppose 0 = -6*w + 17*w - 1947. Let v be (-2670)/(-8) + 1/4. Let k = w + v. Is k a prime number?
False
Suppose 0 = -18*f + 25*f - 349433. Is f prime?
True
Let y(z) = z + 992. Let x be y(0). Suppose -5*v + x + 938 = 0. Let d = 549 - v. Is d prime?
True
Let d(q) = -26*q - q + 2 - 21 + 12*q. Suppose -5*s + 70 = -10*s. Is d(s) a composite number?
False
Let a(l) = -11*l + 1. Let z be a(-4). Let w(j) = -j + 58. Let t be w(39). Let x = z - t. Is x a prime number?
False
Suppose -6*s = -8685 - 14073. Is s prime?
True
Suppose 3*z - 1610 = 910. Suppose 4*o - 5*s + 106 = 945, -4*o + z = -4*s. Is o a composite number?
False
Let a be (-5)/(-2)*(-132 + 10). Is 2*(a/(-10) + -3) a composite number?
True
Let n(x) = 13*x**3 - x**2 + 5. Let h be n(3). Let a = -214 + h. Is a composite?
True
Suppose -5*q = -4*y - 14083, 0 = 5*y - 6*y - 2. Is q prime?
False
Suppose -r + 6*f + 24 = 2*f, -3*f - 23 = -2*r. Is -3 + 1062 + -2 + r a prime number?
True
Suppose 5*l = 4 + 6. Suppose r + 564 = 3*q, r + l*r = 0. Let j = q - -119. Is j a prime number?
True
Suppose -7 = 4*x - 15. Suppose 0 = 4*y + x*z - 1946, 5*y - 1458 = 2*y - z. Is y prime?
False
Suppose -i - t + 29039 = 0, -4*t = 3*i - 3*t - 87121. Is i prime?
False
Let g(m) = -m**3 + 4*m**2 + 6*m - 6. Let k be g(5). Is 1673 + k/(4/16) prime?
True
Suppose 5*n = 15, 5*n = -5*a + 2*n + 14059. Suppose -3463 = -9*s + a. Is s a prime number?
False
Let q(f) = 29*f**2 - 3*f + 11. Is q(-6) a composite number?
True
Suppose -3*n = -0*n - 6, -5*m + 29 = 2*n. Suppose -m*d - 2*j = -1173, 2*d - 128 - 358 = -5*j. Is d prime?
True
Let r(j) = j**2 + 11*j - 517. Is r(-34) composite?
True
Let g b