x - 3*w + 456176 = 0, -5*x - 144411 = 3*w - 2425351. Is x a prime number?
False
Is (-2)/6*1680327/(-33) a prime number?
False
Let z = -116103 - -162958. Is z prime?
False
Let b(t) = -537*t**2 + 30*t + 28. Let u(p) = -1073*p**2 + 58*p + 55. Let l(q) = 7*b(q) - 4*u(q). Is l(-5) a prime number?
True
Suppose -5*o - 11 + 26 = 0. Let h(u) = 126*u**2 + 2*u + 11. Let s be h(-3). Suppose o*r = 1114 + s. Is r composite?
False
Let h(r) be the third derivative of 1649*r**5/20 - r**4/12 - r**3/2 + 209*r**2. Is h(2) a composite number?
True
Suppose 80235 = 12*n + 23709 - 85590. Is n a prime number?
False
Suppose -2456870 = -88*m + 62*m. Is m a composite number?
True
Suppose 0 = -14*h + 105 + 91. Suppose 1695 = s + h*s. Is s composite?
False
Suppose -7*q + 10590 = -q. Suppose 0 = 4*m + m + q. Let r = m - -602. Is r composite?
True
Suppose 15*z + 0*z - 30 = 0. Suppose z*j - 2 = -4, 3*h - 5*j = 29270. Is h prime?
False
Suppose 0 = -9*v + 54*v - 1358145. Is v prime?
True
Let i(c) = -c**2 - 2*c + 20. Let o be i(-5). Suppose m = -o*u + 6, 3*m - u = -m + 24. Suppose -4*t + y + 2953 = 0, m = t + 5*y - 706. Is t a composite number?
True
Let f = -1277 + 479. Let m(y) = -3*y**3 - 8*y**2 + 10. Let i be m(7). Let b = f - i. Is b prime?
True
Suppose -r = q - 672, -4*r = q - 581 - 2107. Let s(z) = -2*z**3 + 21*z**2 - 29*z + 21. Let g be s(9). Suppose 2689 = 4*p - g*f, -p + f = -0*p - r. Is p prime?
True
Let b(c) = -c**2 + 19*c - 22. Let n be (4 + (2 - 4))*1*8. Let h be b(n). Is 5/(65/9111) + 4/h a prime number?
True
Suppose -2*w = -4*s + 1372, w - 2*s - 3*s = -683. Let t = 1557 + w. Suppose -m = 5*n - 4587 + t, -2*n - 4*m = -1498. Is n composite?
False
Let m(y) = 11*y**3 - 12*y**2 + 3*y - 1. Suppose 3*p - 24 = -u, -3*u + 9 = p + 1. Let w be m(p). Suppose -5*c + 566 = -2*j - 4315, -j = 5*c - w. Is c composite?
False
Let i be 32/12 - (0 + 6/9). Suppose 0 = -2*b + h + i, 3*b - h - 2 = 7*b. Suppose -2*m + 10120 = 3*c - 7*m, b = 3*c - 4*m - 10115. Is c a prime number?
False
Suppose 0 = -4*k + 236 + 356. Let p = 1423 + k. Is p prime?
True
Let g(y) = -y**2 - 179*y + 100753. Is g(0) a composite number?
True
Let d = 632 - 430. Let j = 1279 - d. Is j composite?
True
Let a be 3/(-9) + (-32)/(-6). Suppose -2*d + m + 488 = -m, -3*m + 990 = 4*d. Suppose a*h = o + d - 997, -4*h - 755 = -o. Is o a composite number?
True
Let b be 27/5 + (-21)/(-35). Suppose -4*k = -v - 21, -k + b*k - 2*v = 27. Suppose 3*s - k*s + 722 = 0. Is s composite?
True
Suppose -21*f + 8*f - 57915 = 0. Let m = f - -6574. Is m a prime number?
False
Let s(z) = -151*z + 15. Let f be s(10). Let j = 1381 - 1899. Let l = j - f. Is l a composite number?
False
Suppose 0 = 3*l - 9, 4*p = 21*l - 19*l + 88214. Let t = p + 28652. Is t a prime number?
True
Suppose -13*n + 14482 = -32227. Is n composite?
False
Suppose 1830*d = 1844*d - 2360498. Is d a prime number?
False
Let v = -44 + 55. Let i(a) = a**3 - 9*a**2 - 23*a + 13. Let z be i(v). Suppose -z*w + 3357 = 7*w. Is w composite?
False
Let x(g) = 2*g + 27. Let l be x(-11). Suppose 0 = -4*i - 2*v + 4608, 5*i + 0*v - 5765 = -l*v. Is i a prime number?
True
Suppose 45*x - 21723981 - 44546122 = -8144998. Is x prime?
True
Let c(v) = -425*v**3 + 5*v**2 + 126*v - 53. Is c(-11) a prime number?
False
Let t = 16728 + 7957. Is t a composite number?
True
Suppose -a = -4*i + 45, -25 = i - 3*i + a. Let u be 4/i + (-11169)/(-15). Is (1 - -1)/(10/u) a composite number?
False
Let p = 78566 + -54009. Is p composite?
True
Let b be 3/(-3)*-6 + (0 - -2). Suppose -2150 - 2434 = -b*s. Let f = 954 - s. Is f a prime number?
False
Suppose 0 = 2*z + 4*p, 3*z = -13*p + 17*p + 10. Is ((-68984)/(-16))/(27/12 - z) a composite number?
True
Suppose 30*l - 25*l = -65. Let r(o) be the second derivative of o**4/2 + 3*o**3 + 17*o**2/2 - 6*o. Is r(l) a composite number?
False
Let m(p) = p**3 - 15*p**2 - 17*p + 25. Let q be m(16). Is ((-4220)/2)/(q + -11) prime?
False
Is 6*4/(-84) - (-3 - 435236/14) a prime number?
True
Suppose -15 = -26*x + 23*x. Suppose -6*u = x*u - 10*u. Suppose u = -y - y + 606. Is y composite?
True
Let p(x) = 3*x**2 - 26*x + 25. Let w be p(8). Suppose -12 = 2*k - 4*t - 36, k + t = w. Suppose -5*m = -k*m + 2045. Is m a composite number?
False
Let m(g) = -g**2 + 21*g + 224. Let u be m(-7). Is 115850/u - (-1)/(-2)*-3 a composite number?
False
Let t = -428 + 432. Suppose -3*a - t*a + 37429 = 0. Is a prime?
True
Let a = 27446 - -27993. Is a a composite number?
False
Let g(o) = 47 + 60*o + 21*o - 85*o + 44*o. Let t be g(6). Suppose 340 = 3*p - t. Is p composite?
True
Is ((-4170034)/(-242))/(-4*(-9)/396) composite?
False
Suppose -269*v + 11301 = -266*v. Suppose 3*h = 5*u - 11101, -3*u + v = 3*h - 2884. Suppose k = 4*d - 7889, 1718 + u = 2*d - 3*k. Is d prime?
True
Let p(s) be the third derivative of 19*s**5/10 - 5*s**4/6 + 4*s**3/3 + 4*s**2. Let t be p(-14). Is 2/(-11) + t/88 a prime number?
True
Let y(t) = 7*t**2 + 7*t + 5. Let c(j) = -j**2 - 10*j + 51. Let o be c(-15). Is y(o) prime?
False
Let n be -3 + 98553/12 - (-2)/8. Suppose 3*q + 19 = 5*z + q, -5*q = -15. Suppose -z*u + n = 5*w, -u - 4906 = w - 4*w. Is w prime?
True
Let r(k) = -18*k - 133. Let m be r(-8). Suppose -m*b + 6419 + 6968 = 0. Is b composite?
False
Let u = -355 + 712. Suppose -349*v = -u*v + 63208. Is v a prime number?
True
Suppose -b - 5 = -2*b + 4*p, 2*p = 2. Suppose -b*k = -86228 - 32563. Is k a composite number?
True
Suppose -34*d = -37*d + 9. Suppose -d*m - 201 - 348 = -4*u, -4*m - 410 = -3*u. Suppose -8*b = -8638 - u. Is b composite?
False
Let d be (-5)/(30/(-12) + 3). Is ((-4838)/8 + 2)/(d/40) prime?
True
Let f = -11982 + 27941. Is f prime?
True
Suppose -2*x + 450 = 9*v - 6*v, -5*v = 4*x - 904. Suppose -11*z + x + 33 = 0. Is 4/(-12) - (-66272)/z a prime number?
False
Let i be 6/(-16) - 60/(-160). Suppose 4*j - 4*g - 2 - 10 = i, -j - 5*g = 3. Suppose -j*f + 19545 = 3*f. Is f a prime number?
False
Suppose 3198 = -2*g + 5*g. Suppose -f - l + 1163 = 0, f - g - 97 = -2*l. Is f a composite number?
False
Let y(s) = 7 + 143*s + 13 - 12. Suppose 4*f + 3*n = 22, 0*f - 4*n = -2*f + 22. Is y(f) a prime number?
True
Is (-2)/(-8) + 9/(-132) + 43017852/132 a prime number?
False
Let u = 60784 - 15261. Suppose 8*x - u = -15179. Is x prime?
True
Let d be (3 - 1)/((-4)/6324*-2). Let i = -352 + d. Is i a composite number?
False
Suppose 37*t + 6 = 40*t. Suppose -3*f + n - 2 + 35 = 0, t*f = -2*n + 14. Is (-5784)/(-56) + f/14 + -1 prime?
True
Let z(f) = 2*f**2 - 3*f - 17. Suppose -8 = -2*r - 3*q, -q = -3*q. Let c be z(r). Let m(g) = 30*g**2 - g - 2. Is m(c) a prime number?
False
Suppose -9*p - 3*p + 21048 = 0. Suppose 13*t = 15*t - p. Is t prime?
True
Suppose 0 = -l - 12*c + 462013, -38*c + 39*c = l - 462039. Is l a composite number?
True
Let k be 626*(3 + (-76)/8). Let c be 0 + 4 - (k - 2). Suppose 2*x + c = 7*x. Is x prime?
False
Let j(p) = 6*p**2 - 10*p + 1. Let m be j(-12). Suppose 5*s = 991 + 1689. Let l = m - s. Is l prime?
True
Let f be ((-6)/(-2))/1 - (-42 + -7). Suppose 37 - f = -5*h. Is 2721/((-5)/(-25)*h) prime?
False
Suppose 0 = -2*l - 2*l, 0 = -p - 5*l + 1470. Let u = 20484 - 20063. Let j = p + u. Is j composite?
True
Let b = 22 - 17. Let k(g) = b*g**2 + 12*g + 2 - 22 + 2. Is k(-13) a composite number?
True
Let t(s) = 583*s - 2. Let o be t(-11). Let d = -1254 - o. Is d a composite number?
True
Let z(m) = -m**2 + m + 2. Let c be z(2). Suppose -5*b - 4*p + 4204 = c, p - 1684 = -b - b. Let r = b - 497. Is r prime?
True
Suppose -12*g = 2*g + 49*g - 28624113. Is g prime?
True
Let d = -47849 + 71550. Is d a prime number?
False
Let i(h) = 450*h**2 + 29*h + 7. Let d be i(-5). Suppose 0 = -3*c + 11121 + d. Is c a prime number?
True
Let v(a) = -22 + 2637*a - 23 + 1817*a**2 - 2623*a + 11 - 666*a**2. Is v(3) prime?
False
Suppose q + 36 = 38. Suppose -q*i = -2*c - 2*c - 3490, 5*i = 5*c + 8745. Is i prime?
True
Let v be (10 + -13)/(((-3)/74)/1). Let k = v - 69. Suppose k*j - 256 = 3089. Is j composite?
True
Let w = 5623 + -1519. Let n = 5761 - w. Is n composite?
False
Let g = 11229 - 7129. Let o = g + -2749. Is o composite?
True
Let a(g) = 3*g**2 - 7*g + 1. Let k be -1 + (0 + -4 - -6). Suppose -u - k + 5 = 0. Is a(u) composite?
True
Let i be 1612 - (39/(-12) + 3 - (-17)/4). Let j = -1238 + 383. Let w = i + j. Is w a composite number?
True
Suppos