s (-3)/(d - -1)*-6 a composite number?
True
Let g(w) = -2*w - 3. Let x be g(-2). Suppose h - x = 2. Is h composite?
False
Let y(l) = 31*l + 1. Let h be y(8). Let g = 128 - 288. Let i = h + g. Is i a prime number?
True
Let c(z) = -2*z**3 + 7*z**2 - 2*z - 222. Let y(k) = -k**3 + 3*k**2 - k - 111. Let j(d) = 4*c(d) - 9*y(d). Is j(0) a prime number?
False
Let q be ((-9)/6)/(6/(-304)). Is ((-3)/(-6))/1*q prime?
False
Is ((-4)/3 + 1)*-363 a composite number?
True
Let r = -8 - -24. Suppose -5*j - r - 4 = 0, 0 = -2*k - 4*j - 10. Suppose 0 = -k*q - q + 84. Is q a composite number?
True
Suppose 0 = w - 4*y - 11, 2*y = -3*w - 3 - 6. Is 159/(-9)*15*w composite?
True
Let b = -2 + -6. Let f = -49 - b. Let p = f + 72. Is p composite?
False
Suppose 0 = -5*t + 2*i + 157, 2*i + 1 = -t + 30. Suppose -6 = d - 0*d. Let q = t + d. Is q a prime number?
False
Suppose 3*h = -8*h + 15103. Is h a composite number?
False
Is ((-3)/6*-1558)/1 a prime number?
False
Let p = 5 + -3. Suppose -y = y + 2*w, -12 = -2*y + p*w. Suppose 0*z = -5*o + y*z + 53, -5*z = 5. Is o composite?
True
Let q(t) = -t**2 - 5*t + 3. Let j be q(-5). Let m(i) = 4*i**2 + 7*i - 6. Let w be m(5). Suppose -w = -5*n + j*g + 17, g - 158 = -5*n. Is n a prime number?
True
Let f = 84 + -47. Suppose -4*k + 99 = 3*n, -2*n + 36 = 3*k - f. Is k a composite number?
True
Suppose -b = -3*b + 4. Is 520/b - (0 - -1) a prime number?
False
Let u(z) = -z**3 + 5*z**2 - z + 1. Let k be u(5). Let o be (5 + k)/(2/10). Suppose 0 = o*h + s - 1014, 0 = -6*h + h + 3*s + 1018. Is h a prime number?
False
Let k(s) = s**2 + 3*s. Let j be (5 - -2)*(2 + -1). Let n be k(j). Suppose -2*d + 36 = -n. Is d prime?
True
Suppose 0 = 3*s - v - 21, s + 0*v = 2*v + 7. Suppose -2*b + s*b = 635. Is b composite?
False
Let x = 20 - 9. Is x composite?
False
Let j(i) = 17*i**2 + 11*i + 13. Is j(-11) prime?
True
Let p(o) = -86*o. Suppose -5*i + 2 = 7. Let d be p(i). Suppose 5*z - 2*z - 102 = 3*s, -2*z = 4*s - d. Is z a prime number?
True
Let l be (-24)/(-14) + (-4)/(-14). Suppose l*u = 267 + 121. Is u composite?
True
Let t = 8 + -6. Suppose 293 = 3*h - t*h. Is h composite?
False
Let w = -221 + 880. Let q = w - 280. Is q prime?
True
Let o(i) = 16*i**2 + 15*i + 1. Let v(b) = -8*b**2 - 8*b - 1. Let m(y) = 4*o(y) + 7*v(y). Is m(2) composite?
False
Let w be (-1 + 6)/1 + -2. Suppose 0 = -4*g + w*g + 31. Is g prime?
True
Suppose 0*f + 5*w - 124 = -f, 0 = 3*f + w - 358. Is f a prime number?
False
Suppose 3*o - l = 10, 8*o - 3*o + l = 30. Let p(z) = 3*z + 4. Is p(o) a prime number?
True
Suppose 5*a = 4*a + 2. Suppose -a*n = -4*n + 158. Is n composite?
False
Suppose m - 43 = -5*l + 279, 0 = 3*m + 5*l - 936. Is m composite?
False
Suppose 3*i + i = -4*z + 80, 4*i - 95 = -z. Let l = 50 - i. Is l a prime number?
False
Suppose 0 = -5*h - 4*c + 9725, 3*h = -2*h - c + 9740. Is h a prime number?
True
Suppose 0 = -3*z + 6*z + 93. Let y = 7 - z. Is y composite?
True
Let g be 21/(-28) + (-3)/(-4). Suppose -2*l - 2*q + 23 = q, -l - 3*q + 10 = g. Is l a prime number?
True
Is 709 - 0*(-3)/9 a prime number?
True
Let t(a) = -7*a**2 + 16 + 2*a**3 + 7*a - 5 - 3*a**3. Is t(-8) prime?
True
Is 8/(-12)*609/(-2) a composite number?
True
Suppose -2*x = -5*w + 1362, -w + 2*x + 266 = -0*w. Is w a prime number?
False
Let u be (-4)/(-10) - 5716/(-10). Is (u/(-6))/((-20)/30) prime?
False
Let v(a) = 13*a + 4. Let q be v(7). Suppose q = -5*l + 480. Is l composite?
True
Let h be (1 + -1055)*(-2)/4. Suppose a + 224 - h = 0. Is a a prime number?
False
Suppose 6*r + 2937 = 9*r. Is r prime?
False
Let b = 33 + -3. Is 12/b - 206/(-10) a composite number?
True
Suppose 48*z - 11156 = 44*z. Is z a prime number?
True
Let c(a) be the third derivative of -a**4/24 - a**3/6 + 2*a**2. Let d be c(-3). Suppose 2*r - 2*g = d*g + 94, -2*r = 4*g - 126. Is r a composite number?
True
Let g(b) = b**2 + 10*b + 2. Let h be g(-10). Suppose 5*x - 17 = -2*o + h*x, 15 = -5*x. Let l = o + -6. Is l a composite number?
False
Suppose -3*n - 10 = -5*n. Suppose c + 3*m = -1 - 4, -3*c = -n*m - 13. Let t(v) = 72*v**3 - 2*v**2 + 1. Is t(c) a composite number?
False
Let r(j) = 4 - 4*j**2 + 3*j + 0 - 8*j + 5*j**2. Let q be r(5). Is (1 + q)/((-2)/(-14)) prime?
False
Let s = 1 - -4. Let i be s/(-10) + (-1)/(-2). Suppose 5*n = -3*t + 43, -3*t + 0*t - 12 = i. Is n a prime number?
True
Let r = 30 - 18. Let w be (r/(-3))/(6/(-57)). Suppose 4*b + q = 665 - w, 0 = 5*q + 5. Is b a composite number?
False
Suppose 3*f = 8*d - 4*d - 22, -3*f = 4*d - 34. Suppose d*v = 2*v + 955. Is v a composite number?
False
Let w = 12 + -11. Is 636/4 - (1 - w) a prime number?
False
Let s(t) = 4*t + 6. Let l(q) = -3*q - 7. Let a(g) = g**2 - 7*g - 4. Let d be a(7). Let i(j) = d*s(j) - 5*l(j). Is i(-10) composite?
True
Suppose 3*l = -4*z + 2, -z + 2 = -2*l - 2*z. Let o be (6/(-4))/(l/104). Suppose 4*t = t + o. Is t a composite number?
True
Suppose 4*u - 9*u = -215. Is u prime?
True
Let k(s) be the third derivative of -9*s**4/8 - 2*s**3/3 + s**2. Let d = -4 + 1. Is k(d) prime?
False
Let r = -12 - -11. Is -2 - (88/(-4) - r) composite?
False
Let b be (-1)/(-2) - 6/(-12). Is -3 - b*(1 + -215) composite?
False
Suppose -y - 6 = -9. Suppose -354 = -3*x + h, x + 4*x - 604 = -y*h. Is x composite?
True
Suppose f + 4*w + 41 = -2*f, -4*f - 33 = w. Is (f - 152)*2/(-6) a prime number?
True
Let a(o) = -2*o. Let v be a(-1). Suppose 2*d = 5*i - 811, -v*i + d + 40 = -285. Is i a prime number?
False
Let k(l) = l**2 - l - 2. Let d be k(0). Is (-194)/(d - (-2 + 2)) a composite number?
False
Is (-102)/24 - -4 - (-1018)/8 prime?
True
Suppose -21*x + 23*x = 638. Is x a prime number?
False
Let j(d) = 9*d**2 + d + 1. Let r(k) = -k**2 + 4. Let q be r(-3). Let i = 3 + q. Is j(i) prime?
False
Is ((-12910)/15)/((-2)/3) a composite number?
False
Let p(h) = h - 4. Let m be p(7). Suppose d + m*v = v + 64, 281 = 4*d + 3*v. Is d a prime number?
False
Suppose -4*p + 980 = 136. Is p prime?
True
Suppose 4*m + 1410 = 10*m. Is m a prime number?
False
Suppose -w - 2*d - 5 = 0, 2*d = 3*w + d - 20. Suppose 3*l = -3*b - 0*l + 168, w*b - 2*l = 301. Is b prime?
True
Suppose 0 = -6*p + 2*p + 228. Is p a composite number?
True
Let v = -19 - -13. Let r be 2/3 - 332/v. Is (0/1 - -1) + r a composite number?
True
Let m be ((-8)/(-4))/(0 + 1). Let w = 0 + m. Suppose 5*z - 45 = w*z. Is z composite?
True
Let t be (-2)/6 + 119/(-21). Is ((-715)/(-15))/((-2)/t) prime?
False
Is (-2)/4*((-2516 - 4) + 2) a prime number?
True
Let o = 65 - -26. Suppose -4*z + 2*b = z - 10, z - 2 = -3*b. Suppose -2*r = 3*y - o, -z*y = r - 27 - 18. Is r composite?
False
Let r = 5438 + -1615. Is r prime?
True
Suppose -s = 2*z - 81, s - 350 = -3*s + 5*z. Is s prime?
False
Suppose d + 4 = 6. Let s(r) = -86*r + 16*r + d - 15*r. Is s(-5) a composite number?
True
Let y = -32 - -87. Is y prime?
False
Let k(r) = 5*r - 8. Let o(y) = 9*y - 15. Let l(x) = -9*k(x) + 4*o(x). Is l(-5) a composite number?
True
Let m = -18 - -85. Is m prime?
True
Suppose 0 = -3*z - z + 580. Is z prime?
False
Suppose 9 = 3*z, 1 + 6 = 5*o + 4*z. Is (1 - o)*(-307)/(-2) a composite number?
False
Let p(w) = -57*w**3 - w**2 + 2*w + 4. Let v be p(-2). Suppose v = -13*t + 17*t. Is t composite?
False
Suppose -3*k + 3*u = -2*k - 3830, 19161 = 5*k - 4*u. Is k prime?
True
Suppose 3*t = -0*t + 9. Is -1 - (-261 + t) - -2 a composite number?
True
Suppose 2*m + 35 = 7*m. Let v(h) = 4*h + 7. Is v(m) composite?
True
Let y = -10 + 15. Suppose -2*x + 19 = f - 27, y*x - 5*f - 100 = 0. Is x prime?
False
Is 480 + 2 + 1 + -2 prime?
False
Suppose -3*v = -5*n - 307, 3*v - 8*v = -4*n - 490. Is v a prime number?
False
Let n(c) = c + 1. Let m(w) = 76*w + 6. Let h(d) = m(d) - 5*n(d). Is h(2) prime?
False
Let g(o) = -o**2 - 3*o**2 - 5*o + 3*o - o**3. Let m be (1/(-1) - 4)/1. Is g(m) a composite number?
True
Let k(f) = 66*f. Let u be k(2). Let a be (-370)/4 + (-3)/6. Let j = u + a. Is j a composite number?
True
Let g = -2 - -4. Suppose 19 = 4*t - 7*t - 2*c, -5*t - 25 = g*c. Let i = t - -6. Is i a composite number?
False
Suppose 4*h - 1322 - 2138 = 0. Is h a composite number?
True
Let c = 24 + -10. Is 1156/c - (-12)/28 a composite number?
False
Suppose 0 = -n + 3*d + 242, -n + 0*d = d - 238. Is n a composite number?
False
Suppose -3769 = -3*k + 4*p, 3*p + 1820 = 2*k - 693. Is k a composite number?
True