 = 4*b - 25368. Is b composite?
True
Let i(j) = 4*j + 7. Let m be 18/(-24)*(0 - 16). Is i(m) a composite number?
True
Let d = 10 + -6. Suppose 5*y - y + 116 = 3*u, -2*u + d*y + 72 = 0. Suppose 15 = 5*h - 3*m, -u = -5*h + h - 4*m. Is h a prime number?
False
Let y = 3543 - 2036. Is y prime?
False
Suppose 4 = -3*j + 4*j. Let h(s) = s - 5. Let r be h(5). Suppose 5*y - j*y - 3 = r. Is y composite?
False
Let q(b) = -2*b**3 + 10*b**2 - b - 2. Let o(t) = 2*t**3 - 11*t**2 + 1. Let d(x) = -4*o(x) - 5*q(x). Is d(5) prime?
True
Let y be -4 - -3 - (299 - 0). Let s = y - -487. Is s a composite number?
True
Suppose -5*m = -1147 - 1188. Is m composite?
False
Suppose 3332 = 5*t + 887. Is t a composite number?
True
Let m = -166 - -357. Is m composite?
False
Let u be (0 - 1)/((-2)/336). Let l be 1/(-4) + (-1042)/(-8). Suppose 2*b - l = u. Is b composite?
False
Let y(z) be the third derivative of 67*z**5/60 + z**4/24 - z**3/6 + 2*z**2. Is y(1) a composite number?
False
Let z(f) be the first derivative of 13*f**2 - 3*f + 1. Suppose -2*n - 4*a + 10 = -7*a, 5*a = -10. Is z(n) a prime number?
False
Let f be (-3 - -5)*(-2)/(-4). Let j be (-1 + 2)*(f + 0). Let w(b) = 7*b**3 - b**2 + 2*b - 1. Is w(j) prime?
True
Let s be 2 - 3/((-3)/16). Let f(d) = 12*d - 2. Let r be f(-1). Is 4018/s + r/63 a composite number?
False
Suppose 6*c - 2*c = 3260. Is c a prime number?
False
Let x(b) = -b**3 - b**2 - b + 15. Let u be x(0). Suppose 4*z = -3*y + 13, 0*y + 5 = -5*y. Suppose -u = -z*a - 3. Is a prime?
True
Let d(b) = -46*b + 5. Let m(l) = -l**2 + l - 3. Let j be m(0). Is d(j) a prime number?
False
Let c be 0/3*(-2 + 3). Suppose 4*z + z - 1055 = c. Let v = z - 102. Is v composite?
False
Is (-4)/24 - (-417)/18 a prime number?
True
Suppose 0 = 13*o - 9*o - 18268. Is o a prime number?
True
Let p(w) = 442*w**2 + w. Let g be (-63)/(-105) + 4/10. Is p(g) a prime number?
True
Let m = 610 - 343. Is m composite?
True
Suppose 9*q - 17*q = -28696. Is q prime?
False
Suppose -4*g = 3*d - 0*g - 1815, -4*d = 3*g - 2420. Suppose -4*m - 5*b = -d, 2*b + 178 = m + 17. Suppose 0*o = o - m. Is o a prime number?
False
Suppose 2*p + 10 = 4*v + 4*p, p - 5 = v. Suppose 3*c - 522 - 111 = v. Is c composite?
False
Let g = 47 + -44. Let p(v) be the second derivative of 5*v**4/12 - 2*v**3/3 + v**2 - v. Is p(g) a prime number?
False
Let f = -93 + 37. Is (f/(-12))/((-2)/(-123)) a composite number?
True
Let o(h) = 122*h**2 - h + 2. Let j be o(2). Suppose 0 = -3*n + 235 + j. Suppose 87 - n = -2*d. Is d prime?
False
Let a be 0/(-3 - 2/(-1)). Let b(y) be the first derivative of -y**2/2 + 14*y + 1. Is b(a) a composite number?
True
Suppose -4*a + 2*a = 0. Suppose a = 5*v - 0*z + 5*z - 1060, z + 214 = v. Is v prime?
False
Suppose k + 3*i + 37 = 336, -905 = -3*k - 5*i. Is k a composite number?
True
Let v(n) be the second derivative of -91*n**6/720 - n**4/6 - 3*n. Let q(r) be the third derivative of v(r). Is q(-1) prime?
False
Let j(y) = -36*y - 1. Suppose -w + 0 + 1 = 0. Let a be w*(-3 - -2)*1. Is j(a) a composite number?
True
Is (-2)/9 - (-14660)/36 prime?
False
Suppose -b = 5*y - 470, 0*y + 455 = 5*y + 4*b. Is y a prime number?
False
Suppose -1468 = -5*c + 3*k, -6*k = -4*c - 2*k + 1176. Is c composite?
False
Let b(f) = f**3 - 5*f**2 + 5. Let g be b(5). Suppose -2*n = -g*n + 15. Suppose -4*t - 19 = 3*h - 258, 0 = -n*h - 2*t + 417. Is h composite?
True
Suppose -27*l + 23*l = -6620. Is l a prime number?
False
Let t(o) = o**3 + 7*o**2 + 5*o + 5. Let y = -3 + 1. Let k be y*(1 + 2) + 0. Is t(k) composite?
False
Let o(i) be the second derivative of i**5/20 + i**4/2 - i**2 - 2*i. Is o(-5) composite?
False
Suppose 3*o + 5*o = 9368. Is o a composite number?
False
Let c be 0/(2*(-1)/2). Suppose c = -2*f + 59 + 135. Is f prime?
True
Let k be (-2)/1 + 12/2. Suppose -k*v + 4 = -8. Suppose -2*o = -v*t - 3, o + 0 = -5*t + 21. Is o a prime number?
False
Suppose -a = -2*a. Is (-2 + a + 3)*43 a prime number?
True
Let w(z) = z**3 - 9*z**2 + 6*z - 3. Let k = 37 - 67. Let a = -21 - k. Is w(a) composite?
True
Let h(z) = 8467*z**2 + 4*z - 4. Is h(1) prime?
True
Let n be ((-4)/10)/(10/1400). Is ((-145)/4)/(14/n) a prime number?
False
Is (-5124)/(-36) - (-4)/(-3) a prime number?
False
Let l = 6 + 16. Suppose l = 5*v - 4*v. Is -2 + 0 - v/(-2) prime?
False
Is (1 + -3)*(2 + (-442)/4) composite?
True
Let s(a) = -19*a - 2. Let c(i) = i**3 - 4*i**2 + i + 1. Let r(n) = n**3 - 2*n**2 + n + 1. Let t be r(2). Let d be c(t). Is s(d) composite?
True
Let s be 1/2*(-3 + 7). Suppose -5*d + 7 + 6 = -4*h, s = -h + d. Suppose 5*j - 2*z - 3*z = 480, -h*j + 282 = -z. Is j prime?
False
Suppose 5*w - 63 = 2. Let x = w - -1. Is x prime?
False
Let r(n) = -n**2 + 4*n - 8. Let c(k) = k**2 + k. Let o(f) = 4*c(f) + 2*r(f). Is o(11) composite?
True
Let v be 2/5*3*-5. Is (-4)/v - (-2737)/21 composite?
False
Suppose 2*x - 2*t - 520 = -3*t, -249 = -x + 5*t. Is x a composite number?
True
Suppose -4*h - 45 = -5*z, 0*z = -3*z - 4*h + 27. Let j be (-1 - -2)*(z + -4). Suppose -5*t + 2*t = -5*b - 28, j*b = -10. Is t a prime number?
False
Suppose -l + 54 + 223 = 4*n, -4*l + 2*n = -1054. Is l prime?
False
Let c(k) = 2*k - 11. Let u be c(8). Suppose 2*g - r - 532 = -g, -u = -r. Is g a composite number?
False
Suppose -14 = 4*y - 66. Let s = y + -22. Let j = 170 + s. Is j a composite number?
True
Suppose 3*u + 3*o = -o - 14, u + 13 = -3*o. Suppose 2*p = u*z - 0*z + 8, 5*z - 4 = -p. Suppose -p*q - q = -175. Is q prime?
False
Suppose -4*i = -y + 468, 5*i - 1458 = -3*y - 122. Suppose -2*h + y = 2*h. Is h prime?
True
Let u = -26 - -40. Let v be ((-8)/u)/((-2)/7). Is v + -3 + 1 + 23 a prime number?
True
Suppose -4*f + 227 = 4*g - g, -3*f + 2*g = -183. Is f composite?
False
Let x(k) = k**2 - k - 11. Let c be x(0). Let o = 26 - c. Is o a prime number?
True
Let k be (1 - -4)/(0 - -1). Let p(b) = b**2 + 19*b - 1. Let a(f) = f**2 + 10*f - 1. Let h(j) = k*a(j) - 3*p(j). Is h(-5) a prime number?
True
Suppose 2*k = -3*a + 6*k + 157, -3*k - 3 = 0. Is a a composite number?
True
Let h(l) = -20*l + 2. Let a = 4 + -7. Is h(a) a prime number?
False
Let s = -123 - -1962. Is s a composite number?
True
Let t(u) = -8*u. Let m be t(-1). Suppose 4*n + m = -k, -8 = 4*n + 8. Is (155/(-4))/((-2)/k) a composite number?
True
Is 135 + (84/63)/((-1)/(-3)) a prime number?
True
Suppose 0 = -4*k - 2*y + 45 + 29, k + 4*y = 36. Let a(t) = 15*t + 17. Is a(k) a prime number?
True
Suppose 0 = -3*f + 1982 + 895. Is f composite?
True
Let q be 24/40 - 87/(-5). Let d be ((-24)/q)/(1/(-3)). Suppose d*y = 3*y + 14. Is y a composite number?
True
Suppose 2*l = -3*l. Suppose -3*t + 2*o + 2 + 3 = 0, t - 3*o - 11 = l. Let q = 32 + t. Is q a composite number?
False
Let f(p) = -5*p**3 - 2*p - 1. Let m(j) = 6*j**3 + 3*j + 1. Let r(c) = -3*f(c) - 2*m(c). Let d be r(1). Is (-3)/(-6) + 866/d composite?
True
Let c be (4 + -2)/((-2)/(-71)). Let o(a) = -a**3 + 2*a**2 + 2*a + 3. Let w be o(3). Is c - 4 - (0 - w) a composite number?
False
Let s = 699 - 221. Is s composite?
True
Let m = 3 + -9. Let k(i) = i**2 + 3*i + 3. Is k(m) composite?
True
Let m be (-1)/2 - (-9)/18. Suppose -u = -m*u. Suppose 4*o - 36 - 40 = u. Is o a prime number?
True
Suppose -u = -2*b - 3 + 16, -5*u + 2*b - 33 = 0. Let j(d) = -2*d**3 - 5*d**2 - 7*d - 3. Let c be j(u). Suppose 5*i - c = -4*p, p + 0*i = 3*i + 52. Is p prime?
True
Let i be -1 + 2 + -4 + 2. Let c(b) = -b**2 - 6*b - 6. Let y be c(-6). Is 159/y*i*2 prime?
True
Let m(v) = 3*v**3 + 5*v**2 - 4. Is m(3) prime?
False
Let g(j) = -j + 2 + 0*j - 7. Let n be g(-9). Suppose 2*r - n*p = 24, -2*r + 0*r + 3*p = -19. Is r a prime number?
True
Suppose -20 - 295 = -3*y - 4*p, 0 = y - 4*p - 121. Is y a composite number?
False
Let h = 3 - -2. Suppose h*x = -180 + 985. Is x prime?
False
Let d(c) = c**2 - 8*c + 10. Let s be d(7). Suppose 2*m = -s*m. Suppose m*k = 4*k - 100. Is k a composite number?
True
Let o be 2/(-6) - 22/(-3). Let q(w) = w**3 - 8*w**2 + 10*w - 7. Is q(o) a composite number?
True
Let g = 3020 + -1402. Is g prime?
False
Let t(d) = d**3 - d**2 + 9*d + 11. Let p be t(10). Suppose 4*y - 867 - p = 0. Is y composite?
False
Let g = 2230 + -1577. Is g a prime number?
True
Let c = 1 + -2. Let d = c - -5. Suppose 0 = 2*g + d*j - 102, -4*g + 4*j + 2 = -214. Is g composite?
False
Let r = -2619 - -4450. Is r composite?
Fa