1 - (m + a))*-265 composite?
True
Suppose -4*s - 10 = -p, 5*p - 18 = -0*s + 4*s. Let u be s/(-3) + 790/30. Suppose -c + 19 = n + 2, -3*n + 3*c + u = 0. Is n a prime number?
True
Let a be (-2 - -2)*(0 + -1). Let i be -1 - (1 - 1) - a. Is ((-4)/(-8))/(i/(-102)) a composite number?
True
Suppose 3*r - 76862 = -2*n, 4*n - 15845 = -5*r + 137879. Is n a prime number?
True
Let o be (-3736)/(-108)*51 + (-2)/9. Let u = -877 + o. Is u composite?
False
Suppose 2*n + 40 = 4*v + 14, -3*v - 2*n + 2 = 0. Suppose -2*u + 5 + 1 = 0. Suppose -u*d + x = -353, 2*x - 496 = -v*d - 3*x. Is d prime?
False
Suppose 6*f - 1072 - 10586 = 0. Is f prime?
False
Suppose -g + 539 = 2*o, 0 = 2*o - 3*g - 573 + 14. Suppose -5*m = -4*h - 40, m + 5*h = -0*h - 21. Suppose -4*k = 4*d - o, d + k - 64 = -m*k. Is d composite?
True
Is -2 + (4 + -1)*1349 composite?
True
Let q(u) = 8 + 11*u + 51*u - 3 - 23*u. Is q(8) prime?
True
Suppose -64*g = -633527 - 245385. Is g composite?
True
Suppose 7 = 3*g + 1. Let n be g + (5 - (2 - 1)). Suppose 0 = -n*v + 1750 + 1412. Is v prime?
False
Let c(g) be the first derivative of g**3 + 29*g**2/2 + 15*g + 10. Let x(k) = 10*k**2 + 86*k + 45. Let d(n) = -7*c(n) + 2*x(n). Is d(-17) a prime number?
True
Suppose 5*y - 5293 = -v + 2*y, 4*v = -3*y + 21181. Suppose -4*m + 2*h + 3700 = -550, -5*m = 3*h - v. Is m a composite number?
False
Suppose -2*b + 2*p - 22 = 0, 2*p - p = -5. Is (13689/12)/3 - 12/b a composite number?
True
Suppose -2*f = -4*t + 61646, -2*t - f + 30841 = 4*f. Is t a prime number?
True
Is ((0 - 4)*-1 - -4977) + 6 composite?
False
Let m(n) = 3 + 10*n**2 + 13*n + 6 + n**3 - 23*n. Let p be m(-9). Suppose -488 = -4*u - p. Is u a composite number?
True
Let y = 17 - 31. Is 7/(y/(-1000)) + -1 prime?
True
Let y(i) = 8*i**2 + 15*i + 11. Let n be y(-7). Let x = 511 - n. Is x a prime number?
False
Let k = -6 - -14. Let j(w) = k*w**3 + 191 + w - 7*w**3 + 0*w - 2*w. Is j(0) composite?
False
Let q(h) = 124*h - 71. Let z(j) = 186*j - 107. Let o(l) = -8*q(l) + 5*z(l). Is o(-8) prime?
False
Let k(a) = a**3 - 6*a**2 + 6*a + 9. Let m be k(6). Let v = -10 - -14. Suppose -p = -v*p + m. Is p prime?
False
Suppose -3 = 4*i - 3*i, g = -3*i - 14. Let a = g + -7. Is -8*(3 + 57/a) composite?
True
Suppose -5*y = 0, 6*n = 4*n - 2*y - 3138. Let t = -928 - n. Is t composite?
False
Suppose -6 - 2 = -2*k. Suppose 0 = 4*c + 3*z - 2717, 3*c + k*z = 283 + 1760. Is c prime?
True
Let p = 4584 + -737. Is p composite?
False
Let j be (-105)/14 + 7 + (-5445)/(-2). Suppose j = 5*m - 3*m. Is m a prime number?
True
Let q be (-4)/(-6)*12/2. Suppose -q*a - 26 + 210 = 0. Suppose -4*k = -a - 202. Is k a prime number?
False
Is 1/((-1)/(3 + -2371 + -3)) composite?
False
Suppose 24 = -5*c + c. Let n(t) = t + 2. Let i be n(c). Is (-110)/i*(-10 - -12) a composite number?
True
Suppose g = 5*f - 110322 - 18645, g + 25795 = f. Is f prime?
True
Let q(m) = -m + 2. Let r be q(5). Is (1 - r) + -3 - -82 a prime number?
True
Let t(c) = -c**2 + 14*c - 11. Let g be t(13). Suppose 0 = g*q - 6*q - 4. Is -3 + (0 - -393) - q a prime number?
False
Let u = 151801 - 107400. Is u composite?
True
Suppose -4*a - 913 = -n, 4 = 2*a - 0. Is n a prime number?
False
Suppose -4*k + k = p + 5, -4*p = -2*k - 22. Is (4 - 518/p)*-2 prime?
True
Let y(f) = 7*f + 14. Let o(a) = -a. Let n(z) = 5*o(z) + y(z). Let x be n(11). Is 157/(x/8 - 4) a composite number?
True
Let m = -44 + 44. Suppose -5*z - 948 = -2*v, 3*v = -m*z + 3*z + 1431. Is v composite?
False
Let q(w) = 45*w**3 - 2*w**2 - 14*w - 8. Is q(5) a prime number?
False
Suppose 0 = 2*w + 4*r - 19082, -47681 = 24*w - 29*w - 4*r. Is w prime?
True
Let b(j) = 7*j + 11. Let n be b(7). Is -4 - (n/(-1) + 3) a composite number?
False
Let g(o) = -811*o + 2. Is g(-11) a prime number?
True
Suppose 2363 = o - a - a, 2*o = -4*a + 4750. Is o composite?
True
Suppose -3*r = 920 - 5. Let u = 142 - r. Is u a prime number?
False
Suppose -3*v + 0*v = x + 9, 3*x - 4*v = 12. Suppose x = -l - l + 66. Is l prime?
False
Let i(x) be the first derivative of -3*x**2/2 - 21*x - 7. Let s be i(10). Let n = 44 - s. Is n a composite number?
True
Let j = -6 + 319. Suppose j = u - 344. Let z = u - -22. Is z prime?
False
Suppose 15 = 11*m - 18. Is (1143/2 + m)*(0 - -2) a prime number?
False
Suppose 152*c + 7025 = 157*c. Is c composite?
True
Suppose 0 = l + 3*a - 86, l - 2*a = -l + 180. Is l a composite number?
False
Suppose -7*h + 2165 - 25034 = 0. Let q = h + 6014. Is q prime?
False
Suppose 33 - 119 = t. Let p = -9 - t. Is p a composite number?
True
Suppose -1 = -4*b + 3, 0 = 2*h + 2*b. Let y(m) = -842*m**3 - 1 - 11*m + 10*m + 2*m**2 + m. Is y(h) a composite number?
True
Let v be 0 + (-3 - -5)/(-1) - 0. Is v - (-1 - -1 - (-4995)/(-15)) a prime number?
True
Let s = 10 - 6. Suppose 3*n - 1798 - 1041 = -d, -s*d + 961 = n. Suppose 0 = a - n + 258. Is a a composite number?
True
Suppose -5*t + 5 = -5. Let d be ((-1)/t)/((-1)/12). Is (6/9)/(d/63) a composite number?
False
Let d be (-5)/3*(3 - -12). Let u be d/4 + (-2)/(-8). Is 15/(-90) - 1855/u composite?
True
Let t be -10*1*(-32)/40. Let f(d) = 1 - 13*d + 4*d**2 - 2*d**2 + 5 + 4. Is f(t) a prime number?
False
Suppose -2318 = -0*u + 2*u. Let y = u + 2722. Is y a composite number?
True
Suppose 6902 = 16*r - 138362. Is r composite?
True
Suppose -2*m - 3*i + 4*i = 4767, -2378 = m + 5*i. Let w = m + 3534. Is w a prime number?
True
Let f(b) = 9*b - 3*b - b**2 - 3 + 3*b - 1. Let x be f(9). Is 562/4 + x/(-8) a prime number?
False
Suppose 0 = -11*l - 15696 - 1574. Let k = -209 - l. Is k prime?
True
Suppose -2*f - 1 = 2*u + 3, -6 = -f - 5*u. Let m be f/(-8) - 7/(-2). Suppose -w + 181 = -2*n, -m*w - 2*n + n = -769. Is w a composite number?
False
Let r(h) = 4*h**2 - 6*h - 14. Let i be r(6). Let v = i - 47. Is v prime?
True
Let m(a) = 6*a - 3. Let d be m(-3). Let u = 36 + d. Let n = 62 - u. Is n a composite number?
False
Is -11801*(4/(-24) + 55/(-66)) a prime number?
True
Suppose 4*r + 2*f = 2*r + 16994, 3*f + 12 = 0. Is r prime?
True
Suppose -9*u + 43777 - 17686 = 0. Is u a prime number?
False
Let l be 26/(-10) + 15/25. Let t(x) = -65*x**3 + 3*x**2 + 3*x. Let f be t(l). Suppose -f = -4*n + 630. Is n a composite number?
True
Let t = -7 + 13. Suppose 2*q + z = 512, -5*z = t*q - 2*q - 1012. Suppose 5*a - 3*h = q, -3*h - h = 4. Is a prime?
False
Suppose -11*h = -260678 + 9295. Is h composite?
False
Suppose 301920 = 16*q + 5296. Is q a prime number?
True
Let v be 332/((-5)/(-80) - 0). Suppose v = 3*a + 509. Is a prime?
True
Let a = -2 + -92. Let s = a + 255. Is s prime?
False
Is (23 - 7064)*17/(-3) a composite number?
True
Let b = 14 - 12. Suppose b = -0*z + z, -2*m + 2*z = -1786. Is m a prime number?
False
Is 3/2*(-112546)/(-21) a composite number?
False
Let z(t) = 3*t**2 + 7*t + 4. Let i be z(-7). Let o(n) = 3 + i*n**3 + 2*n**2 - 4 - 60*n**3. Is o(1) a composite number?
False
Let n = -577 + 135. Let m = 7 + -5. Is 4/m - (n + -2) composite?
True
Is 1/(-4)*-4*15815 a prime number?
False
Let r = 53 + -49. Is (1 + 995)/r + 2 prime?
True
Suppose 4*p + 0*p = 0. Let b be 1 - (p + (-3 - -1)). Is 8712/27 + 1/b a composite number?
True
Is 31455/63 - 2/7 prime?
True
Let b(q) = 633 + 9*q - 4*q - 4*q. Let y be b(0). Is y*(-3)/(-27)*3 a composite number?
False
Is 3/(105/138560) - (-2)/14 a composite number?
True
Suppose -3*t + 6 = 3. Let r(f) = 102*f**2 + 4*f - 3. Is r(t) a prime number?
True
Let h = 24 - 19. Let d be (2/h)/(1/985). Let v = -91 + d. Is v a prime number?
False
Suppose 4*c = -16, 2*k = -k + c + 30187. Is k a prime number?
True
Suppose -23*r + 197526 = -2*r. Is r a composite number?
True
Let l = -72897 + 156542. Is l a prime number?
False
Suppose 2*g = 40 - 492. Suppose 0 = -7*y - 1509 + 6045. Let d = y + g. Is d a composite number?
True
Let y(l) = 17*l**3 + l**2 + l - 1. Let i be y(1). Let s be (-861)/i + 1/(-6). Is 422/8 - 12/s a prime number?
True
Let j = 28125 - -23522. Is j a composite number?
False
Let n = -539 + 1902. Is n prime?
False
Suppose 0 = 2*w - 49*w + 46483. Is w prime?
False
Let k = -21646 - -69237. Is k prime?
True
Let j(s) = 6*s - 6. Let f be -1 - (-1 + -6 - 0). Let h be j(f). Is 2290/12 + 5/h prime?
True
Let g be -2*4/((-24)/9). Suppose -m = g*o - 242, 2*o = 3*m + o - 756. Is m a composite number?
False
Let f be (-1 - -2)/((-4)/(-24)). Suppose -3*r + 2*h = 1, 