 Is b(a) a composite number?
False
Suppose -3416 = -l - 3*s, -2*l - 4*s = -7*l + 17023. Is l prime?
True
Let i(l) = -9*l + 2. Let k be i(-2). Let w = 4 + -3. Let f = k - w. Is f prime?
True
Let s(b) = 4*b**2 + b + 5. Let k = 6 + -10. Is s(k) a prime number?
False
Suppose 0 = -2*r + 10 - 28. Is 3*((-96)/r - -2) composite?
True
Let c(x) = -x**2 + x + 55. Let k be c(0). Let d be (-2)/11 + 5015/k. Suppose 5*s - 3*m - 357 = -d, -4*s + 223 = m. Is s a composite number?
True
Suppose 4*a - 4 = -4*z, a + 3 = 4*z + 4. Let f be (z - -3) + (2 - -25). Is (-2)/(-5) - (-7878)/f a prime number?
True
Suppose -3*p + 4*j + 19 = -2*p, 4*j + 42 = 2*p. Is p a prime number?
True
Let v(q) = 170*q + 7. Is v(3) a prime number?
False
Let l(i) = i**2 + 4*i - 2. Let j be l(-4). Suppose v - 2 = -2*f, 0 = -2*f + v + 5 - 3. Is 212/(-2)*f/j a prime number?
True
Let f = 1225 + 192. Is f prime?
False
Suppose 6 = g + 1. Let b be (g/1*-1)/(-1). Suppose b*i = 79 + 36. Is i composite?
False
Suppose 5*g - 192 = g. Let f = 179 - g. Is f a composite number?
False
Let z be (-4)/20 - 22/(-10). Let o(c) = 21*c**2 + 3 + 3*c - 4*c**z + 48*c**2. Is o(-2) prime?
True
Is (-426)/(-4) - 1/2 composite?
True
Let r(u) = 7*u**3 + 2*u**2 - 3*u + 3. Let b(c) = c. Let n be b(2). Let i be r(n). Suppose -2*x + 219 = i. Is x a composite number?
False
Let t(c) = -98*c - 5. Is t(-2) composite?
False
Suppose 2*d - 104 = 2*f, -2*d - 3*f + 268 = 3*d. Is d a composite number?
False
Let r(b) = b**3 + 9*b**2 + 9*b + 8. Let a be r(-8). Suppose -s - 4*l + 395 = a, -2*l - 1129 = -3*s - 0*l. Is s prime?
True
Suppose -2*t = -390 - 314. Is t/6 + (-4)/6 a prime number?
False
Let v = 2 - 1. Is 124*v + (-12)/(-4) a composite number?
False
Let t be 0 - -1 - (6 - -1). Is 194 - t*4/(-8) a prime number?
True
Let w = 5 - 3. Suppose w*c = 2*u - 4*u + 210, 3*u - 321 = 3*c. Suppose u = -2*h + 4*h. Is h prime?
True
Let u = 710 + -487. Is u a prime number?
True
Let x = -4 - 4. Is 400 + x + 1*3 a composite number?
True
Let x(f) = f**3 + 15*f**2 + 14*f. Let p be x(-14). Suppose -2*q + p*q + 134 = 0. Is q a composite number?
False
Let n(q) = -q**2 - 4*q. Let k be n(-3). Suppose k*z - 295 = -2*z. Is z a prime number?
True
Suppose -39 = 3*m - 0*m. Let r = 18 + m. Suppose 2*p + 105 = r*p. Is p prime?
False
Is ((-16)/24)/((-6)/9873) a prime number?
True
Let y = 6228 - 2285. Is y a prime number?
True
Suppose 0 = -9*u + 1691 + 41194. Is u prime?
False
Suppose -2*p - 53 = -4*p + 5*w, 0 = 4*p - 4*w - 124. Is p prime?
False
Let o(f) = f**2 + 0*f**3 + 9 - f**3 + 3*f**3 - 3. Let h be o(5). Let j = -198 + h. Is j a composite number?
False
Let a(w) = -3*w**2 + 2*w. Let j(l) = -l - 5. Let s be j(-7). Let f be a(s). Is f*1/(-2) - 2 composite?
False
Suppose 11*j - 9*j = 2722. Is j a composite number?
False
Let y(o) = 3*o**2 + o + 3. Let q = -4 + 8. Suppose -9 = -q*i - 25. Is y(i) a composite number?
False
Suppose 2*m - 6 = -m, 0 = -2*t + 2*m + 1078. Is t a composite number?
False
Suppose -2*n = 3 - 9. Suppose -4*y + 251 + 77 = 4*m, 3*m - n*y - 276 = 0. Is m prime?
False
Suppose -3*s = g - 1259, 5*s = 4*g + 1857 + 230. Is s a prime number?
True
Suppose 13*k = 8*k + 10735. Is k a composite number?
True
Let j = -1724 - -2977. Is j a prime number?
False
Let l be 2 - 9/3 - 92. Let h = l - -304. Is h a prime number?
True
Let i(b) = 2*b**3 + 3*b**2 + b - 1. Is i(4) composite?
False
Suppose 2*f + 8 = 5*x, 6*x - 5*f = 3*x + 1. Suppose -y + x*y = 0, 3*s - 471 = y. Is s a prime number?
True
Let t(o) be the second derivative of 23*o**5/60 - 7*o**4/24 - o**3/6 - 3*o. Let a(v) be the second derivative of t(v). Is a(5) composite?
False
Let l = 2037 - 1130. Is l a prime number?
True
Let j(w) = -53*w**2 - w. Let m be j(-3). Is (5/(-15))/(2/m) prime?
True
Suppose -x + 803 = 14*i - 11*i, -2 = i. Is x a composite number?
False
Let n be 2/8 - (-1164)/16. Suppose 240 = -3*q - 2*q. Let d = n + q. Is d a prime number?
False
Suppose 7*k - k = 600. Suppose -k = -q - 26. Is q a composite number?
True
Let j(c) be the third derivative of c**5/60 + c**4/24 + c**3/3 - 2*c**2. Let s be j(0). Suppose s*o - 178 = -0*o. Is o a composite number?
False
Suppose -4*u - 627 - 61 = 0. Let f = u - -329. Is f a prime number?
True
Suppose -2*h + 0*h = -2. Is h + -3 + (-32)/(-4) a composite number?
True
Suppose -3*a = -5*j - 6920, 4*a + 2*j - 3287 = 5931. Is a prime?
False
Suppose -o + 3*o - 8 = 0. Let r be 2308/8*(o + -2). Let n = -270 + r. Is n a prime number?
True
Is ((-12)/(-2))/(-2)*-1*211 prime?
False
Suppose 3*x = -9, 3*f - 5*x - 2165 = -191. Is f a prime number?
True
Suppose -4*t + 61 = -1463. Suppose -6*n = -3*n - t. Is n a composite number?
False
Let g = -15 + 21. Suppose -g*a + 265 = -a. Is a a composite number?
False
Let v(m) = -3 - 2*m - 1 + 2 + 4*m**2 - m. Is v(3) a composite number?
True
Suppose 4*q - 8 = 2*q, 3*c - 5*q = 1219. Is c a prime number?
False
Suppose -5 + 15 = -2*a. Let u = -2 - a. Suppose -2*c + z = -29, 0 = c - u*z + 4 - 16. Is c a composite number?
True
Let a be (-3804)/15 - 6/(-10). Is (0 + 1)/((-1)/a) a prime number?
False
Let x = -61 - -41. Is 8/x - 2354/(-10) a composite number?
True
Let k = 1929 + -274. Is k prime?
False
Let b be ((-4)/2 + 2)/(-1). Suppose -760 = -b*p - 5*p. Suppose -5*j - 3*s = -p, 5*j - 5*s = -4*s + 156. Is j prime?
True
Let m(l) = 20*l**3 - l**2 + l. Let p be m(4). Let t be (-4)/(-10) + p/(-20). Let c = t + 110. Is c a prime number?
True
Suppose -9 = -5*u + 31. Is 2/((u/65)/4) a prime number?
False
Let h be 22/((-1)/(-1)*-2). Let i(l) = l**3 + 11*l**2 + 3. Let a be i(h). Suppose 2*z = 2, -2*z - 256 = -5*g - a*z. Is g a composite number?
True
Is 8/(-6)*(-6258)/56 a prime number?
True
Suppose -3*t + 8 = 2. Suppose -4*f = 6*c - 7*c + 137, -238 = -t*c - f. Is c a composite number?
True
Let o be -2*(4/(-2) + 0). Let n be 1 - 2 - (22 + -20). Is n/o - 254/(-8) a prime number?
True
Let q(k) = 37*k**2 + 2*k + 1. Let g(d) = d**3 - 5*d**2 + 5*d - 2. Let x be g(4). Let v be q(x). Is (-15)/(-20) - v/(-4) a composite number?
True
Let o = -734 - -1087. Is o a prime number?
True
Suppose 2*k - 4*p = -8, -3*p + 4*p + 5 = -3*k. Is (2 + 1 + -17)/k a prime number?
True
Suppose -3*r + 4*o + 611 = 0, 7*r - 814 = 3*r + 5*o. Is r a prime number?
False
Let i be (-2)/(-9)*6*-3. Is 2*(-2)/(i/11) composite?
False
Let f(o) = -o**3 + 5*o**2 + 7*o + 1. Let l be f(6). Let y = l - 3. Suppose -557 = -y*m + 39. Is m prime?
True
Suppose -11*o + 13*o = 254. Is o prime?
True
Suppose -2*b - 196 = -2314. Suppose -8*k + 5*k + b = 0. Is k a composite number?
False
Let a(v) = 34*v - 1. Let d be a(1). Suppose 5*g - 2*g = x - d, 0 = 4*x - 4*g - 164. Suppose -2*l + 5*l = x. Is l prime?
False
Let p = 3 - -1. Let j be 3/p + 1/4. Suppose r = -4*x + 33, 1 = -2*x - j. Is r a prime number?
True
Let i be (1/1)/(1/3). Suppose -279 = -i*r - 2*r + 2*g, -5*r = -3*g - 276. Is r composite?
True
Let y(t) = 99*t + 19. Is y(6) prime?
True
Suppose -o = -5*o + 4*z + 152, 0 = -5*o + z + 186. Is o composite?
False
Let u(l) = 2*l - 3*l - 6*l. Is u(-3) composite?
True
Let f = -888 + 1685. Suppose 0*d + 4*w = d - 141, -f = -5*d - 3*w. Is d a composite number?
False
Let q(u) = 117*u. Let h be q(3). Suppose 0*o - 3*o + 672 = 0. Let t = h - o. Is t a prime number?
True
Let y(m) = 0*m - m**2 + 8*m**2 - 1 + m. Is y(-3) composite?
False
Is -1 + (19*10 - 4) composite?
True
Let v = 4 - -1. Suppose -5*z + 0 + v = 0. Is z/(-3) + (-93)/(-9) prime?
False
Suppose 66 = 4*c - 6*c. Let p be c/12*5*-4. Let k = p + -6. Is k a prime number?
False
Suppose -4*x - q + 721 = x, 2*q - 717 = -5*x. Is x prime?
False
Let n = 25 + 25. Let a = n + -73. Let g = 11 - a. Is g prime?
False
Let r = -11 - -7. Let o be (-28)/(-5) + r/(-10). Suppose 35 = 3*u + 5*w, -21 = -u + o*w - 3*w. Is u a composite number?
True
Let l(r) = 12*r**2 - r - 1. Let m be l(2). Let g = 12 + m. Is g prime?
False
Let j(z) = z**2 + 7*z. Let v be j(-7). Suppose v = -5*c + 5, 117 - 20 = 2*b + 5*c. Is b a composite number?
True
Suppose a - 382 = -a. Is a composite?
False
Is (2 - -11)/(-3 + 70/23) a composite number?
True
Let m(r) = -r**2 + r + 49. Let l = -7 - -7. Is m(l) a prime number?
False
Let q be (20/12)/(1/66). Suppose 5*h - q = -3*g, 2*h = -5*g - 15 + 40. Is h prime?
False
Let l(p) = 2*p - 2. Let r be l(3). Suppose 0 = 4*s - 5*v - 13 - 37, s - r*v - 7 = 0. 