= a + -107. Is n composite?
True
Let u(m) = 50*m**3 - 4*m**2 - 2*m - 2. Let b be u(-3). Let p = -309 - b. Is p prime?
False
Is 5396 - (-2 + (3 - 6)) prime?
False
Let w be 0 - (0 - (-1 + 1)). Let t(l) = -l**2. Let x be t(w). Suppose x*u = -2*u - 3*d + 421, -u - 4*d = -218. Is u a composite number?
True
Let x be -3*(0 - (-1046)/(-6)). Let m be -1*1/2*202. Let r = m + x. Is r a composite number?
True
Let k(z) = z**2 + 2*z - 17. Is k(-8) composite?
False
Let h(z) = 65*z**3 - z**2 + z**2 + z - 1 + z**2 + 47*z**3. Let w be h(-1). Let a = w + 336. Is a a prime number?
True
Let u = 629 + -330. Is u a composite number?
True
Let f be (3/(-9) - 1)*3. Let o be (2/f)/(2/(-20)). Suppose -k + o*v + 382 = 0, v - 5*v + 20 = 0. Is k a composite number?
True
Let q(g) = 656*g + 3. Is q(29) a prime number?
False
Let v(y) = y - 14 + 0*y + 3*y. Suppose -3*g - 15 = 0, 4*t - 14*g = -17*g + 13. Is v(t) a composite number?
True
Suppose 0 = l - 3*d - 2503 - 795, 5*l + 2*d - 16541 = 0. Is l prime?
True
Let j(r) = 35*r - 19. Let b(y) = -y**2 - 7*y + 4. Let s be b(-6). Is j(s) composite?
False
Is (138/(-24) + 6)/(9/553428) a composite number?
False
Let l be -1 + 2 + 6/2. Suppose l*k = 3*k. Suppose 2*o - 298 = -4*r, k = -2*r - 0*o - 2*o + 150. Is r a prime number?
False
Let b(s) = -3*s - 20. Let c be b(-8). Suppose 5*x - 844 = -c*v, -5*v + x = -x - 1055. Is v prime?
True
Let a = -46 - -48. Let t(g) = 1368*g + 5. Is t(a) a prime number?
True
Is (-8185*6/(-20))/(3/4) a prime number?
False
Suppose -24 = -5*m - 64. Let k be (m + 10)*(-6)/(-4). Is (-7)/(((-6)/38)/k) a composite number?
True
Suppose 4*g - g - 12 = 0. Suppose h + 1 = 0, -141 - 12 = -o + g*h. Is o a composite number?
False
Let d(a) = 11*a**3 + 9*a**2 - 4*a - 23. Let l(n) = -5*n**3 - 5*n**2 + 2*n + 12. Let g(p) = 3*d(p) + 7*l(p). Is g(-7) a composite number?
True
Let b be (1 - -1)*(-51)/(-34). Suppose -d + 217 = b*h + 77, -593 = -4*d - h. Is d prime?
True
Let q = 2704 - -10717. Is q a composite number?
False
Let z(x) = 143*x - 8. Let t = -12 - -17. Is z(t) a composite number?
True
Suppose -4*q - 2*c = 3*c + 4, 0 = -q + c + 8. Suppose 0 = -2*g + q*n + 1518, 3*n = -5*g + n + 3855. Is g composite?
False
Suppose -4*d - 7*n = -3*n - 52128, 2*n - 39097 = -3*d. Is d composite?
False
Suppose 3*o + 4*y - 19 = 0, y - 26 = 3*o - 8*o. Suppose 453 - 83 = o*z. Is z a prime number?
False
Let r(b) = -73*b**3 - 5*b**2 - 8*b + 1. Suppose -38 = 5*s - 13. Is r(s) composite?
False
Let i(v) = v**2 + 46*v - 197. Let r be i(4). Let m(j) = -j**2 + j - 10. Let s be m(0). Is ((-5)/s)/(r/1578) a prime number?
True
Suppose -2*k + 2090 + 3358 = 0. Let i = k - 971. Is i a prime number?
True
Let z(k) = -38095*k - 181. Is z(-2) a composite number?
True
Let j(n) be the second derivative of -n**4/12 - 2*n**3/3 + 6*n**2 + 7*n. Let l be j(-6). Suppose -4*c + l*c + 484 = 0. Is c prime?
False
Suppose 5*d + 5*a - 3590 = 0, 5*d - 3690 = -4*a - 103. Suppose 3*k - 62 - d = 0. Is k a prime number?
False
Suppose 0 = 2*b - 4*d - 2, 0*d = 4*b - d - 18. Suppose 0 = n - 171 - 170. Suppose 0*h - 4*h + n = j, -972 = -3*j + b*h. Is j a composite number?
True
Let h = -185 - -408. Let c be 1/(-2)*20/(-5). Suppose c*a - h = a. Is a a prime number?
True
Let b(r) = 31*r**2 - 188*r + 14. Is b(-11) a composite number?
True
Suppose 8 = 4*g - 0. Suppose 9 = -g*b + 5. Is -13*(b + 0 + 0) a prime number?
False
Suppose 2*c + 2*c - 12 = 0. Suppose c*l - 51 - 78 = 0. Let q = 78 - l. Is q a prime number?
False
Suppose 0 = 18*t - 4*t + 22092. Let m = -901 - t. Is m a prime number?
True
Suppose 5*u = -0*u + 780. Let t(a) = 3*a**2 + 5*a + 8. Let r be t(6). Let d = r + u. Is d a prime number?
False
Let c = -28 - 12. Is (-2534)/(-10) - (-16)/c composite?
True
Let p = -27 - -27. Suppose p = 5*h - 4*y - 359, -h - 2*h = 2*y - 211. Is h a composite number?
False
Let v be -12*1/(-1)*2/(-6). Let p(w) = w**3 + w**2 + 4. Let r be p(0). Is (-1)/v + 483/r prime?
False
Let u = -319 + 149. Let r = -91 - u. Is r composite?
False
Let j(r) = 252*r**3 - 24*r**2 + 147*r + 8. Is j(7) a prime number?
True
Let r be (1 + -1)/(-2)*-1. Let a be (-8)/(-4) + (-1 - r). Is 205 + 0 + 0/a a prime number?
False
Suppose -2 = -x - 3, 5*a + 463 = -3*x. Let r = a - -164. Let h = r + -37. Is h a composite number?
True
Suppose -3*i - w = -11, -3*i + 4*w - 1 = -2. Suppose -i*p + 2 = -5*p. Is (-83 - -4)/(p - 0) composite?
False
Let o(y) = -473*y - 3. Let u be o(-2). Suppose 0*n = -5*n + 8650. Let d = n - u. Is d composite?
False
Let w = 11390 + -2449. Is w a composite number?
False
Suppose 0 = -4*s + i + 24, 3*i = 3*s - 8*s + 47. Suppose -2*c + s = -31. Suppose -c = -x + 34. Is x a prime number?
True
Let q = 802 - 371. Is q a composite number?
False
Suppose 2*m + 0 = 4, 0 = p + m - 5. Suppose 0 = 7*a - 8*a - p. Is (28 + 3)/((-3)/a) composite?
False
Let d = 3559 + 46082. Is d composite?
True
Suppose 52*m - 57*m = -13165. Is m a composite number?
False
Let c be 18/(-4)*10/(-15). Suppose -c*u = 168 + 180. Is 1 - (1 + -3 + u) a composite number?
True
Let f(y) = -18*y - 17. Is f(-4) a composite number?
True
Suppose -11*x + 22996 = -7*x. Is x prime?
True
Is (-691)/((2 - 0) + -3) prime?
True
Suppose 2*t - 15 - 21 = -2*s, 2*t = -4. Suppose s = 4*p + p. Is 157*(p - 0)/4 a composite number?
False
Let q(o) = 93*o - 101. Is q(20) a composite number?
False
Suppose 0 = 4*l - 11273 + 3477. Is l prime?
True
Suppose -2*g - 8 = -0. Let y be ((-10)/g)/((-3)/(-6)). Suppose -y*c = -c - 356. Is c a composite number?
False
Let u(f) be the third derivative of 2*f**5/15 + f**4/8 + f**3 + f**2. Let m be u(-3). Let h = -10 + m. Is h a prime number?
True
Suppose 0 = -0*f - 4*f + 5*s - 7, 2*f = 4*s - 8. Suppose -2*z + 5924 = f*z. Is z prime?
True
Suppose 4*z = -4*v + 12632, 4*z + v - 14559 + 1912 = 0. Is z composite?
False
Suppose -4*v + 20055 = -v - 4*w, -4*v + 26740 = 5*w. Suppose 3*t + 5*r - 4011 = 0, 2*t + 3*t - v = -5*r. Is t composite?
True
Let t(f) be the second derivative of -2*f**5/5 - f**4/2 + f**3/2 + 5*f**2/2 - 15*f. Is t(-4) a prime number?
True
Let m = -20 + 10. Is (-1 - m/(-5))*-11 prime?
False
Let w = 7 - 5. Suppose -3*p + 18 = 2*v, w*p + v = 4*p - 5. Let t = 3 + p. Is t a prime number?
True
Let i = 425 - 225. Suppose 0 = 4*s - 4*l + i, s + 3*l = -s - 75. Let j = s + 76. Is j a composite number?
False
Let m be (-2 - 27/(-6))*2. Suppose m*w - 293 = 2*w + 2*a, w - 2*a = 99. Let z = 254 - w. Is z composite?
False
Let x = -1372 + 153. Is 1 - x - 1/((-3)/(-3)) a prime number?
False
Suppose 3*t + 3*a - 19566 = 7425, t = -5*a + 8985. Suppose 10*w = 3590 + t. Is w composite?
False
Let f = 141 - 140. Is 5/1 + 532*f composite?
True
Suppose -2*j = 4*i + 2*j - 76740, i - 3*j = 19169. Is i composite?
False
Let n = -15444 + 9227. Let c = 10202 + n. Is c prime?
False
Let j(l) be the third derivative of l**5/60 + l**4/6 + 2*l**3/3 + 14*l**2. Let u be j(-15). Suppose 5*a - u = 5*s + 76, 4*a - 228 = -4*s. Is a a prime number?
True
Suppose 5*l - 9*l + 16 = 0. Suppose -4*m = -0*b + l*b + 1188, 1483 = -5*b - 3*m. Is (b/(-6))/((-52)/(-78)) a prime number?
False
Let p = -19752 - -29039. Is p a prime number?
False
Let p(d) = 4660*d + 39. Is p(1) a prime number?
False
Is ((-12)/(-30))/(((-32)/568840)/(-2)) composite?
False
Suppose 2*x = -a + 6*x + 8367, 2*x - 8391 = -a. Is a a prime number?
False
Let g = 180116 - 77529. Is g a prime number?
True
Suppose 5839 = 5*p - 3*s - 2446, -5*p - 2*s = -8285. Is p prime?
True
Let f = -1 + 5. Suppose -m + 681 = -f*d - 740, -4*m = 5*d + 1750. Let x = d + 565. Is x a prime number?
True
Let b be (3 - 2)*(1 - -2). Suppose 0*l - 166 = -l + u, 2*u = -b*l + 503. Let o = 16 + l. Is o a prime number?
False
Suppose -13 = -4*m + 27. Let r = m - -12. Is r prime?
False
Let s(j) = -26*j + 7. Let r(d) = d + 10. Let q be r(-6). Suppose 6*b + 3*y + 18 = 2*b, -b - q*y = -2. Is s(b) composite?
False
Is (-507584)/(-336) + 2/6 a prime number?
True
Suppose -182*d = -208*d + 332306. Is d a prime number?
True
Let q(n) = n**2 - n - 1. Let h(k) = 4*k + 13. Let j(s) = h(s) + 2*q(s). Is j(-10) composite?
False
Let g = 16714 - 8811. Let f = -4110 + g. Is f a composite number?
False
Let r(p) = 5 - 105*p**3 - 7*p + 0*p**2 + 20*p**2 + 106*p**3. Is r(-19) composite?
False
Let s be -2*(-4)/(-16)*0. Suppose 4*g - 2*p - 6358 + 2536 = s, 4*g = -2*p + 3802. 