0*v, -5*m + 2*v = 0. Suppose m*a = -a + 3165. Is a composite?
True
Let r(b) = -43*b - 28. Let p be r(-8). Is p/(-6)*2*12/(-16) a prime number?
True
Let q be (-1)/((-25)/40)*(-45)/(-6). Suppose q = -3*y, -3*y - 1101 - 181 = -5*u. Is u prime?
False
Let t = -19 - -24. Suppose -2*g - 3*u + 6*u = -362, -t*g + u = -931. Is g composite?
True
Let d = 2522 - 3762. Let v(y) = 551*y - 10. Let x be v(-1). Let b = x - d. Is b a prime number?
False
Let t(o) = 4*o**2 + 2*o + 5. Let w be t(4). Let v = w - -284. Is v prime?
False
Let a be 1 - (-3 + 3) - -10. Let w be (-13)/((2/a)/2). Let z = w + 396. Is z composite?
True
Let m = 9 - 4. Let p(x) = -x**2 + 6*x - 2. Let f be p(m). Suppose -76 = -f*g + 65. Is g prime?
True
Suppose -1739 + 16495 = -7*g. Let b = 2962 + 507. Let y = b + g. Is y prime?
True
Suppose 46 + 102 = 2*i. Suppose -i + 174 = 4*r. Is 2/5 - (-140)/r composite?
True
Suppose -95 = -2*a - 35. Let c = 158 + a. Let l = -47 + c. Is l a prime number?
False
Let m(x) = 7*x**2 - 7*x - 7. Suppose -50 = -7*o - 15. Is m(o) a composite number?
True
Suppose -t + 5 = 1. Suppose 5*z + b - 3*b = -68, -t*z + 3*b - 53 = 0. Is (-3482)/z + (-2)/(-7) a composite number?
True
Suppose 1255 = -6*w + 11*w. Suppose -n - v = -w, 10*n - 5*n - 3*v = 1255. Is n a composite number?
False
Let x(f) = f**2 + 6*f - 4. Let b(m) = -m**2 - 5*m - 1. Let j be b(-6). Let o be x(j). Is 53/(-3)*(o - 6) composite?
False
Let u = -27 + 36. Suppose u*m + 72 = 5*m. Is (6/m)/((-1)/267) a prime number?
True
Let c be (-17 + 884)*(-5)/(-3). Suppose 804 = o - c. Suppose 758 = j - r, 3*j + 3*r = r + o. Is j a prime number?
False
Suppose -4*r = 12, 5*v = 2*v - 3*r + 1212. Is v prime?
False
Let j(t) be the third derivative of -t**6/120 + t**5/6 - t**4/3 - 5*t**3/6 + 4*t**2. Let s be j(9). Suppose s*o - 2*o - 102 = 0. Is o a composite number?
True
Let r(u) = -u**3 - u**2 + u - 3. Let h be r(0). Let a = h + 8. Suppose 2*w + 0*x - 634 = -4*x, 0 = -2*w - a*x + 634. Is w a prime number?
True
Suppose -3*i + 2564 = -1834. Is i a composite number?
True
Suppose -4*x + 3867 + 37289 = 0. Is x a composite number?
False
Let z = -2694 + 4793. Is z prime?
True
Let h be (-4)/6*(-60)/8. Suppose -209 + 534 = h*n. Is n prime?
False
Suppose -97927 = 12*v - 427987. Is v composite?
True
Let p be (-4)/22 - 6/(-33). Let h(x) = x**3 + x**2 - 1. Let f be h(p). Is -1 + f - (-2 + -34) composite?
True
Let p(r) = r**2. Let a be p(2). Let s(y) = y**3 - 5*y**2 + 3*y - 3. Let q be s(a). Is (30 - -1)*(-77)/q prime?
False
Let f = -16 + 19. Suppose x = f*x + 4, 3*n - 775 = -x. Is n a prime number?
False
Suppose 0 = -5*g - 2*y + 33665, 3*y + 40234 = 5*g + 6569. Is g composite?
False
Let u be -5 - (-189)/39 - 628/(-26). Suppose -u*p - 1027 = -25*p. Is p composite?
True
Let u = 521 + -773. Is (-1)/(u/251 - (5 - 6)) prime?
True
Let b = 3 + 2. Suppose -4*p = b*r - 528, -3*r + 397 = 3*p + r. Is p a composite number?
False
Suppose 4*y = -2*k + 12, -5*k = -4*y + 32 - 6. Suppose -4*i - 5*r = -2204, 6*i - 1102 = y*i - 2*r. Is i a prime number?
False
Let a(b) = b + 8. Let x(h) = h + 9. Let p(f) = -6*a(f) + 4*x(f). Let v be p(-9). Let t(l) = -l**3 + 6*l**2 + 2*l - 1. Is t(v) a composite number?
False
Suppose 0 = 3*z + 5*g - 7314, -2*z - 4*g + 1262 + 3612 = 0. Is z a prime number?
False
Let v = 4 + 0. Suppose -4*i + 33 = 5*a, i + 14 + v = 4*a. Is (i + 89)/(4 - 3) composite?
True
Suppose -l - 3*l - 14119 = -t, 4*t + 3*l = 56419. Is t prime?
True
Let c(r) = 11*r**3 - 4*r**2 - 6*r - 4. Let b be c(-2). Let x = 38 - b. Is x a composite number?
True
Let o be 120/(-45) - (-1)/(-3). Is 1/o + (-2611)/(-21) + 3 a composite number?
False
Suppose -62*i = -66*i - 3612. Let n = 1325 + i. Is n a prime number?
False
Is 4*(-3)/6 - -3183 a prime number?
True
Let u = -81 - -83. Suppose -602 = -k + 3*j, -u*j + 6*j = 4*k - 2368. Is k a composite number?
False
Let r(o) = 4*o**3 - 6*o**2 + 6*o - 3. Let y(a) = -3*a**3 + 6*a**2 - 5*a + 3. Let x(i) = -2*r(i) - 3*y(i). Let b = 29 - 21. Is x(b) composite?
False
Suppose -7 = -3*p + u, 0*u + u = -4*p + 21. Suppose p*s = s + 15. Suppose 3*c - 2*l = 1023, 1705 = s*c + 3*l - 6*l. Is c composite?
True
Suppose 2*k + 1614 = 4*c, -2*k - 795 = -2*c + 3*k. Let o = -330 + 832. Let a = c + o. Is a a composite number?
False
Let s = -12704 - -18609. Is s prime?
False
Let g(i) = 4*i**2 - i - 1. Let f be g(4). Let u = f + 107. Suppose 0 = x - u + 17. Is x a prime number?
True
Let a = -1350 + 1971. Suppose 0 = 2*c + c - a. Let l = 19 + c. Is l composite?
True
Let r = -547 + 1038. Is r prime?
True
Let c be 1 + 592 - (10 + -7). Suppose -5*x - 3*h = -c, 2*x + 16 = -3*h + 243. Is x a composite number?
True
Let h(j) = 139*j**2 + 24*j + 153. Is h(-8) a prime number?
False
Let y = 190 + -510. Let m = y + 931. Is m composite?
True
Suppose 0 = -k + 797 + 80. Is k prime?
True
Let k = -25 - -28. Suppose k*n - n - 5502 = 4*d, 2*n - 2*d - 5508 = 0. Is n composite?
True
Suppose 78481 = 33*b - 20*b. Is b a composite number?
False
Let t = -3 + 6. Suppose -2*r + t*b = -940 - 1336, 5*b = -2*r + 2292. Is r composite?
True
Let h(g) = 6*g + 1045. Is h(-66) a composite number?
True
Let d(t) = -76*t + 265. Is d(-7) prime?
True
Let x(b) = b**2 - b + 10207. Is x(0) composite?
True
Suppose -6*u - 5*u + 71797 = 0. Is u composite?
True
Suppose 4*t - 2*k = 79860, 0 = k - 5*k + 16. Is t prime?
False
Let q(i) = 5*i - 3. Let f be q(3). Is 458 - -1 - (5 - f/4) prime?
True
Let f(d) = d**3 - 20*d**2 + 71*d - 73. Is f(23) a prime number?
False
Suppose -4*q = -3*q - 747. Let r = q + -290. Is r composite?
False
Let o = -1 - -5. Suppose -4*m = o*k, 2*k + 2*k = 0. Suppose m = 4*s - 3*h - 124, -s + h + 132 = 3*s. Is s a composite number?
True
Let s = 45 - 10. Suppose 0 = -5*t - 0*t + 30. Suppose t*r - s = 5*r. Is r composite?
True
Is (-85)/17 + 0 + 2164 composite?
True
Let n(y) = y**3 + y. Let q(x) = 12412*x**3 + 1. Let t(d) = -2*n(d) - 2*q(d). Let b be t(-1). Is b/26 + (-6)/(-39) a composite number?
True
Is 31732/(-6)*960/(-128) prime?
False
Let y(r) = -r + 3. Let g be y(0). Suppose -772 = g*q - 103. Is q/(-6) + (-1)/6 a composite number?
False
Let d(v) = -98*v - 47. Is d(-17) composite?
False
Suppose 92292 + 102312 = 12*u. Is u a prime number?
True
Suppose -12*f + 10*f + 3*z = -13290, 6619 = f + 5*z. Is f a prime number?
False
Let d(f) = -f**3 + 3*f**2 + 9*f + 1. Let z be d(7). Let b = z + 410. Suppose 0 = k + 57 - b. Is k prime?
False
Let w(n) = -n**3 + 9*n**2 + 7*n + 22. Let p(j) = -3*j**2 + 6*j + 1. Let o be p(2). Suppose -3*m + o - 43 = -5*k, 2*k - 3*m - 15 = 0. Is w(k) a prime number?
False
Let i(a) = -4*a**2 - 4*a - 12. Let z(l) = 2*l**2 + 6*l. Let d be z(-4). Let s be i(d). Let f = s + 589. Is f a composite number?
True
Let v be (-738)/(-6) - (4 + -1). Let w = -62 + v. Suppose -o - w = -2*o. Is o composite?
True
Let x(t) = -72*t**3 + 9*t**2 + 6*t - 12. Is x(-5) prime?
False
Suppose -20*l + 19*l + 4961 = 2*k, 5*k + 3*l = 12404. Is k a prime number?
False
Let x = 1454 - 741. Suppose n + 4*a = x, 4*n - 3*a + 1065 = 3841. Is n a composite number?
True
Let b(l) = l**2 + 1. Let q(r) = -2*r**2 + 2*r - 7. Let k(z) = 3*b(z) + q(z). Let o be k(2). Suppose 0 = -a + o*a - 501. Is a a composite number?
False
Is (-12)/(-24)*((-9)/(-3) + 19435) composite?
False
Suppose 0*m - 17 = -p + 4*m, 3*p = -4*m + 3. Suppose 0 = -p*j - 198 + 913. Suppose -g + 0*g = 4*a - j, -2*g - 4*a + 270 = 0. Is g prime?
True
Suppose m - 5*b = 34, -2*m + 4*b + 31 = -m. Suppose -2103 = 16*q - m*q. Is q a composite number?
False
Let n be (-1 + 0)/(22/(-154)). Let b(i) = i + 1. Let f(r) = 8*r + 11. Let o(u) = 2*b(u) + f(u). Is o(n) a composite number?
False
Let v = 28 - 19. Is ((-6)/v)/((-2)/537) prime?
True
Let m(i) = 280*i - 2. Let n(f) = 2*f - 1. Let k(p) = -m(p) - 3*n(p). Is k(-9) composite?
False
Let w be (-3 - -4)/(2/(-6)). Let g be (1 + w/(-2))*2. Is 2/g - (-113)/5 prime?
True
Suppose -3*w + 0*w - 5*x + 24669 = 0, 24669 = 3*w - 4*x. Is w prime?
False
Let q(o) = -221*o - 215. Is q(-14) a prime number?
True
Suppose -7*s = -20*s + 51779. Is s composite?
True
Let u be 40/30*(-27)/(-2). Let n be (-16)/72 + 22/u. Is (2 - 4) + (n - -132) a prime number?
True
Suppose -112614 = -4*r - 2*y, y + 0*y = 5*r - 140750. Is r a composite number?
False
Let m = -48 - -30. Let l(u) = u + 1. Let h be l(-10). Let v = h - m. Is v 