15)/(-6 + 3) composite?
True
Let a(w) = 1 - 1 + 4 + 5*w**2 + 7*w - 14. Is a(-8) a composite number?
True
Let p(g) = -g**3 + 8*g**2 - 13*g + 8. Let d be p(6). Suppose m = 4*z + 1532, 0*m = -d*m + z + 3064. Let u = m + -789. Is u a composite number?
False
Let b(s) be the third derivative of -s**6/120 - s**5/10 + s**4/8 + 4*s**3/3 - 2*s**2. Let w be b(-6). Is ((-191)/2)/(5/w) prime?
True
Let u(j) = -j**2 + 4*j + 3. Let q be u(4). Is -1 + q + 296 + -3 composite?
True
Is -6505*3*8/(-24) a composite number?
True
Let o(f) be the third derivative of 149*f**5/60 + f**4/12 - f**3 + 26*f**2. Is o(-5) composite?
False
Suppose -5*z = f - 4*z - 16, -20 = -f - 5*z. Is 743*f/(-6)*(-4)/10 composite?
False
Suppose -1 = -0*x - x. Let i be -3 - -2 - (-131 - x). Suppose -4*g - i = -367. Is g a composite number?
False
Let t(d) = 236*d - 7. Let c be t(11). Suppose -6*b = -3*b - c. Is b prime?
True
Suppose 0 = -9*j - 5 + 50. Suppose 0 = 3*t - x - 333, -j*t - 8*x + 555 = -7*x. Is t prime?
False
Let h(w) = -4*w + 1. Let l be h(-2). Let k be 4381/9 - (-2)/l. Let v = 898 - k. Is v a composite number?
True
Let b be (4/(-2) - -1)*-4. Suppose -8*x = -b*x. Suppose -3*d + 8 = 2, x = 2*z - 2*d - 166. Is z composite?
True
Suppose 5*q - 1079 - 1721 = 0. Suppose 3*h + 5*p = -0*h - q, -4*p = -h - 181. Let g = 706 + h. Is g a composite number?
False
Let d = -32925 + 46210. Is d a composite number?
True
Let d = -9 - 46. Is (4 + -110)*d/10 a composite number?
True
Let l(m) = m**3 + 18*m**2 - 14*m + 22. Let q = 18 + -27. Is l(q) composite?
False
Let h be -3 + (3 - 7) + 1. Let v be (0/(-1))/(-5 - h). Suppose v = 4*x - 3*x - 127. Is x composite?
False
Suppose -3*l + 1 + 1 = 4*a, -4*l = 5*a - 2. Let y be (10/(-4) - 0)*(-12)/(-2). Is y/12*(a - 846) prime?
False
Let d = 2040 + -1434. Let g = d + 25. Is g prime?
True
Let m be (-333)/4 + 1/4. Let o = -141 + 282. Let a = m + o. Is a a composite number?
True
Let g(s) = -29*s**3 - 2*s + 2. Let z be (-4 + 1)/(7/7). Is g(z) prime?
False
Let p(j) = 2*j**3 - j. Let g be p(1). Suppose -z = 2*z - 4*c - 25, 5*z + 4*c + g = 0. Suppose -4*w + m + 2081 = 4*m, z*m = w - 524. Is w a composite number?
False
Suppose -2*u - z + 15 = 3*u, 0 = 5*z + 25. Is ((-3896)/(-20))/(u/10) composite?
False
Let m(h) = -h**3 + 393. Let g be m(0). Is -62*g/(-18) - (-3)/9 composite?
True
Suppose 642110 = -98*r + 108*r. Is r a composite number?
True
Let s(n) = 21*n**3 - 4*n**2 - 5*n - 4. Let o be s(-2). Let u = 471 + o. Is u composite?
False
Let t(k) = 11*k**2 - 15*k + 39. Is t(4) a prime number?
False
Let w(h) = h**2 + 17*h - 14. Suppose 5*n - 9*n - 5*q - 80 = 0, 3*n + 60 = q. Is w(n) composite?
True
Suppose -5*b - 59126 = -3*t, 3*t - 2*b - 13317 = 45806. Is t a prime number?
False
Let u = -1754 + 4771. Is u prime?
False
Let g = 1258 - -10699. Is g composite?
True
Let a(w) = w**2 - w + 5. Let x be a(0). Suppose 0*m - 3*m - x*d + 763 = 0, 0 = m - d - 249. Is m a prime number?
True
Let f = -22371 + 103424. Is f a prime number?
False
Suppose 2*r + 16243 = 3*f, 0*f + 2*f - 10827 = 3*r. Let h = 8026 - f. Is h a composite number?
True
Suppose 0 = 5*x - 5*m - 6600, 4*x - 3950 = x + m. Is x prime?
False
Let m be (6/(-4))/(9/(-6)). Is (m*-3)/(18/(-2286)) a composite number?
True
Let k(o) = -2015*o + 3. Suppose -x - 2 = 3*x + s, 5*x - 1 = -3*s. Is k(x) a composite number?
True
Suppose 13 = 2*r + 4*h - 15, 5*r - 2*h - 46 = 0. Let u = r + -7. Is 201 + 1 + u + -6 a composite number?
False
Suppose -u + 11010 = -2695. Is u prime?
False
Is (4 + -1 - 4) + 808/2 a composite number?
True
Let j be (2/(-3))/(8/(-372)). Let h = j - -22. Is h composite?
False
Let x = 27 - -17. Let u be 8/x - 40/(-22). Suppose -c = -u*c + 109. Is c a prime number?
True
Let t(z) be the first derivative of 16*z**3/3 - 3*z**2 - 5*z + 2. Let k(i) = -i**3 - 13*i**2 - 10*i + 17. Let l be k(-12). Is t(l) a composite number?
False
Suppose -54*h - 23253 = -189087. Is h composite?
True
Let x(v) = 278*v**2 - 8. Let w be x(5). Is w/6*(3 - (0 - -2)) a prime number?
False
Let v = 20277 - 9575. Is v a composite number?
True
Let n = 1310 + 683. Is n prime?
True
Is (3 - (-18)/(-36))*(-39602)/(-5) a composite number?
False
Let t(a) = 105 - a + 3*a + a**2 - 105. Let h be t(-7). Let x = 78 - h. Is x prime?
True
Suppose -6*q = 2*u - 3*q - 41269, q = 5*u - 103130. Is u a prime number?
True
Suppose 2*b = 0, -3*q + 3943 = -2*q + 3*b. Is q a composite number?
False
Suppose 4*g + 3*x - 164 = 0, 4*g - 132 = 2*x + 3*x. Suppose 2*l - g + 20 = 0. Is l a prime number?
False
Let g(m) be the third derivative of 4*m**5/15 - m**4/6 - 7*m**3/6 + 4*m**2. Suppose 14 - 4 = 2*n. Is g(n) prime?
True
Let y be (-12)/4*-1 + -11. Let z = 48 + y. Suppose -2*k + 74 = -z. Is k a composite number?
True
Let r(k) = 47*k**2 - 6*k. Let j(t) = t**2. Let q(c) = 2063*c**2 - 265*c. Let w(m) = 4*j(m) + q(m). Let p(d) = 265*r(d) - 6*w(d). Is p(-1) composite?
False
Let o be 2/6 - (-6160)/24. Let b = o + -180. Is b composite?
True
Suppose 5*k = 3*d - 6874, -3*d + 6876 = 5*k - 8*k. Is d a prime number?
True
Suppose -16*f + 17074 = -14*f. Is f a composite number?
False
Suppose -n + 348 = 3*h, -4*n + 2*n = 4*h - 700. Let l = 503 - n. Let p = l - 0. Is p composite?
False
Suppose -5*m = -1225 - 1530. Let q = 379 - m. Let d = 299 + q. Is d prime?
True
Suppose -42 = -0*r - 7*r. Suppose -r*o + 0 + 12 = 0. Is (o - -3)/(1/13) a prime number?
False
Suppose n - 16 = -n + 4*x, -2*n - x = 4. Let o(u) = u - 1. Let q(b) = 5*b + 63. Let d(z) = -4*o(z) + q(z). Is d(n) composite?
False
Let f be 50/(-175) - (-2)/(-21)*-3. Suppose 10*l = 5*l - o + 2401, l + o - 477 = f. Is l a prime number?
False
Let j(x) = 2115*x - 29. Is j(2) a prime number?
True
Suppose 5*t - 7*t - 24 = 0. Is (t + 6 - -1653) + (1 - -3) a composite number?
True
Suppose 2*j - 19 = -5*z, -5*z - j = -25 + 3. Suppose -z*r + 450 = r. Let m = 334 - r. Is m prime?
False
Let w(z) = -425*z + 8. Let n be w(-3). Suppose -4*q + 3029 = 2*o - 7547, 0 = q - 5*o - 2644. Let j = q - n. Is j composite?
False
Suppose 4*w + 15 = -o, -5*w - o - 10 - 8 = 0. Let c(x) = 4*x - 26*x**3 - 3*x**2 - 3*x + 1 - 4*x. Is c(w) a prime number?
False
Suppose p - 24 = -2*c - 2*p, 3*c - 2*p = 49. Let o = 12 - c. Let x(w) = -42*w + 1. Is x(o) a prime number?
True
Let j be (1 - 7 - -1) + 8. Let b = 6876 - 4168. Suppose -j*c - c = -b. Is c prime?
True
Suppose -2*o + 2994 = 2*h + 1052, -2*o - 4*h = -1936. Is o prime?
False
Is 2509 + -4*18/(-12) a composite number?
True
Let i = -481 + 4530. Is i a prime number?
True
Let l be 25/5 + -6 - -128. Let u = l - 36. Is u a composite number?
True
Let o be 275/75 - (-4)/(-6). Let h(p) = p**o - 13*p + 13*p + p**2 + 293. Is h(0) a composite number?
False
Is (-10920)/(5 - 12) + -2 + 1 composite?
False
Suppose -5 + 11 = -2*v, -2*h - 5*v = -35. Suppose 5*r - h = 0, 3*p - 31 - 21 = -2*r. Is p a composite number?
True
Let k be (-236)/(-3)*(-27)/(-9). Let j = -324 + 455. Suppose -k - j = -s. Is s composite?
False
Suppose 5*u - o = 1172, -3*u + o = -4*u + 232. Suppose f = 3*a - 4*f + u, -78 = a + 3*f. Let j = -7 - a. Is j a composite number?
False
Suppose -97*r = -98*r + 7841. Is r a prime number?
True
Let k(h) = 10*h**2 + 4*h + 21. Is k(-5) a prime number?
True
Suppose 2*s = -s. Let c(u) = 3 - 52*u + 4 + s - 6. Is c(-1) prime?
True
Is 36 - -11662 - 2/(-2) composite?
False
Suppose 0 = -g + 5*o + 11638 - 3401, -4*o = 4*g - 33044. Is g a composite number?
True
Suppose -5*w + w = 4*y, 5*y = w. Let v(h) = 5*h**3 + 8*h**2 + 5*h - 3. Let q be v(-5). Is q/(3 - (4 - y)) prime?
False
Let v(p) = -p**3 + 7*p**2 + 10*p + 11. Let j be v(8). Let a be (-8)/18*j/(-6). Suppose -a*o + 4*o = 1006. Is o composite?
False
Let o(f) = -f**3 + 7*f**2 + 2*f - 6. Suppose c = 3*c - 14. Let t be o(c). Suppose -t*v = 2263 - 5391. Is v a prime number?
False
Let a(u) = 57*u**3 + 2*u**2 + u - 3. Let s be a(-2). Let x = -214 - s. Is x a prime number?
True
Is (-44494)/(-8) + (-45)/60 composite?
True
Is (17/3 - 6)*-4629 composite?
False
Suppose 5*g - 1 = 9. Suppose -3*d = g*d. Suppose 4*v - 4 = -0*v, d = 4*x + 5*v - 1993. Is x a prime number?
False
Suppose 68*i + 1719 = 71*i. Is i a prime number?
False
Suppose -4*o - 1 = 5*d + 11, 0 = 2*d + o + 3. Suppose 2*p = p - 3*n + 1271, d = 4*n + 8. Is p composite?
False
Let z(h) be the second derivative of h**5/20 + h**3/3 + 57