r - 2*r + 18 = -2*l, -2*l + 9 = 5*r. Suppose r*s - 48 = 27. Is s a composite number?
True
Suppose t - 499 - 543 = -4*x, -2*x - 2*t = -524. Let o = x - 177. Is o composite?
False
Let v(w) = -64*w + 15. Let f(k) = -96*k + 22. Let q(r) = -5*f(r) + 7*v(r). Is q(5) composite?
True
Let d(p) = p**2 + 19*p + 4. Let x be d(-8). Let c = -31 - x. Is c prime?
True
Let v = -11 - -21. Suppose 0 = s - 123 - v. Is s composite?
True
Let q(b) = -9*b**3 - 3*b**2 - b - 12. Is q(-5) composite?
True
Let r be ((-377)/4 + 0)*-4. Suppose 0 = 2*a + 199 + r. Let j = 407 + a. Is j a prime number?
False
Suppose -2*w = k - 275, -6*w + 545 = -2*w + k. Let d be (-14)/(0 + -2) + -2. Suppose -5*j + d*o + w = 0, 3*o - 2 = -j + 9. Is j prime?
True
Let g(d) = -12*d + 13. Is g(-6) composite?
True
Let p = -24 - -27. Let l(u) = 5*u**3 - u**2 - 6*u + 5. Is l(p) a prime number?
True
Let x(p) be the third derivative of 113*p**6/120 + p**5/60 + p**4/24 + p**2. Let o be x(-1). Let t = 36 - o. Is t a prime number?
True
Let w(u) = -10*u + 47. Is w(-22) composite?
True
Let q(j) = -j**3 - 3*j**2 + 6*j + 2. Suppose -6*l + l = 25. Is q(l) composite?
True
Suppose -885 - 12537 = -6*j. Is j prime?
True
Let y(u) = -187*u - 1. Let d be 7/42 + 13/(-6). Is y(d) composite?
False
Let d(s) be the second derivative of -s**4/12 - 8*s**3/3 - 11*s**2/2 + 2*s. Is d(-8) a prime number?
True
Let z = -407 - -570. Is z prime?
True
Suppose -5*u + 190 + 3331 = -4*j, 5*j + 20 = 0. Is u a prime number?
True
Let w(s) = -4*s**2 + 5*s**2 - 2 + 4*s**3 - 3*s**3. Let h be (-30)/5*2/(-4). Is w(h) prime?
False
Suppose -2*i - 1 = -7. Let s = 3 - 3. Suppose 4*q - 2*a - 230 = s, i*q - a - 16 = 158. Is q prime?
True
Suppose 4*k + 1477 = b, 8133 = 4*b - 4*k + 2213. Is b a prime number?
True
Is -4 - -3 - 7/(7/(-744)) a prime number?
True
Is 1/5 - (-205568)/160 prime?
False
Suppose -2*o = -6*o + 868. Suppose -110 = -3*v + o. Is v prime?
True
Suppose 2*g + 3*g = 5. Let u be (16/3)/(4/90). Is u - (g - -3 - 3) a composite number?
True
Let g(t) = -10*t - 5. Is g(-6) prime?
False
Is 5/((-50)/115)*-14 prime?
False
Let n = -1252 - -2205. Is n a composite number?
False
Is (0 + 0 + 1038)/(-2 - -4) a composite number?
True
Let v(m) = 4356*m**3 + 4*m**2 - 5*m + 2. Is v(1) a prime number?
True
Suppose 3*l - 5*l = -238. Is l a composite number?
True
Let x = 1725 - 638. Is x a prime number?
True
Let j be (-1)/(3/(-18)*2). Suppose -j*r - 5 = -v, -7 = 3*v + 2*r - 0*r. Is (3/(-3))/(v/37) composite?
False
Let l(z) = z**2 + 6*z**3 - z**2 - z**2. Let f be l(1). Suppose 175 = -0*n + f*n. Is n prime?
False
Let m(g) = -4*g - 27*g + 1 + 15*g - g**2. Let u(x) = -3*x**3 + 4*x**2 - 2*x. Let w be u(2). Is m(w) composite?
True
Suppose s - 111 = 34. Is s prime?
False
Let b = 1060 - 608. Suppose 4*f - b = -4*w, 0*f + f = -2*w + 117. Is f prime?
True
Let z = -8 - -8. Let x(p) = 42 + 43 + p**2 + 0*p**2 - p**3. Is x(z) a composite number?
True
Suppose -1271 = 3*c - 7808. Is c a prime number?
True
Let v = 1757 + -3204. Let f = v - -2199. Is ((-1)/2)/((-8)/f) prime?
True
Let f = -14 - -6. Let z(y) = -18*y + 5. Is z(f) prime?
True
Let f(a) be the third derivative of -a**4/24 + 23*a**3/6 - 2*a**2. Is f(0) a composite number?
False
Suppose v - 50 = 2*v + 5*d, -4*d + 104 = -4*v. Let k = v - -77. Is k prime?
True
Suppose -2*o = 0, 3*o - 108 = -3*r + o. Suppose 0*l + 2*l - r = -c, -20 = -4*l. Suppose -2*m + 48 + c = 0. Is m prime?
True
Let c(q) = -q**3 + 7*q**2 + q - 3. Let l be c(7). Is (l/(-12))/(1/(-747)) composite?
True
Let m(j) = -j. Let s(d) be the second derivative of d**5/20 - d**4/3 - 8*d**3/3 + 9*d**2/2 + 4*d. Let i(t) = -5*m(t) + s(t). Is i(7) a prime number?
True
Let z = -404 + 759. Is z prime?
False
Suppose -1 + 5 = -4*u. Let d be u/(2 - (-494)/(-248)). Let v = d + 239. Is v a composite number?
True
Let i(m) = m**3 + 5*m**2 - 2*m - 5. Let l be i(-5). Suppose -l*g = -13 + 3. Suppose -q + z = -3*z + 1, 4*q - 86 = -g*z. Is q a prime number?
True
Let l(y) = y**3 + 15*y**2 + 5*y - 1. Let z be ((-16)/12 + 2)*-9. Is l(z) a prime number?
True
Suppose 3*w + 5*p + 3899 = 273, 4*w = 3*p - 4825. Let s = -533 - w. Is s prime?
False
Let x = -2231 - -3226. Suppose 3*t + x = -121. Let m = t + 665. Is m a prime number?
True
Let g = -455 + 802. Is g prime?
True
Suppose 3*v = 2 + 4. Suppose 3*x = -v*x + 395. Is x prime?
True
Let j = 645 + -308. Is j composite?
False
Suppose y + 3*j = 175, y + 6*j - 2*j = 170. Suppose -k + y = 4*k. Is k prime?
False
Suppose 4*y - 1581 - 199 = 0. Is y composite?
True
Let a(d) = -22*d - 15. Is a(-8) composite?
True
Let a = 19 + -14. Suppose -a*x + 13 = -1242. Is x prime?
True
Suppose 0*h - 2*h + 12 = 0. Let x be 0 - -4*3/h. Suppose v + 2*f = 67, x*f + 259 = 4*v + f. Is v prime?
False
Let g = 2521 + -212. Is g composite?
False
Suppose -3*f + 58 = -53. Let z = -22 + f. Is z prime?
False
Let b = -122 - -64. Let h = b + 151. Is h composite?
True
Let y(n) = 739*n**2 + 5*n - 1. Is y(1) prime?
True
Is 1/4 - (-7)/(-28) - -653 prime?
True
Let g(s) = -s**2 - 6*s + 2. Let c be g(-6). Suppose -144 = c*h - 5*h. Suppose 4*i - 268 - h = 0. Is i a composite number?
False
Suppose 0 = -4*d - 3*t - t + 2172, 0 = 5*d - 2*t - 2701. Is d a composite number?
False
Suppose -2*w - a = -343, 0 = 3*w + w + 4*a - 688. Let c = w - 82. Is c composite?
False
Let f = 360 + 213. Is f a composite number?
True
Suppose 5*v - 8 = -2*k + 4, 4*k + 4*v = 0. Let c(h) = h**2 + 3*h - 3. Let z be c(k). Let b(i) = 66*i**3 + 2*i**2 - 2*i + 1. Is b(z) a composite number?
False
Let g(p) = p**2 - 10*p + 7. Let m be g(9). Is 1/((m + 4)/154) prime?
False
Let x(v) = 3*v - 6. Let a be x(4). Let u(t) = t**2 + 7*t + 2. Let l be u(5). Is 9/a*l + -2 a composite number?
True
Suppose 5*r = d - 1762, 4*d + 5*r = 2324 + 4799. Is d prime?
True
Let n = -243 - -445. Is n composite?
True
Suppose -3*m + 3 = -f - f, 0 = -4*m + 4. Suppose f = -2*l + 229 + 37. Is l a prime number?
False
Let i(l) = l**3 - 6*l**2 - 9*l + 4. Let w be i(6). Let v = -22 - w. Suppose v = d - 10. Is d a prime number?
False
Let l = -99 - -152. Suppose -3*f = 2*f - y + 1, -3*f + 2 = 2*y. Suppose -x - u + 28 = f, -5*u - l - 57 = -5*x. Is x composite?
True
Let i = -10 + 9. Is (i/(-2))/(2/596) composite?
False
Let h(o) = 2*o - 9. Let w be h(6). Suppose -a - 2*c = -123, -c = w*a - 462 + 83. Is a composite?
False
Let n = -10 - -11. Is n*259*(-2 + 3) composite?
True
Let f(p) = -2*p. Let r = 8 - 5. Suppose 2*y + 6 = x, 2*y - 4*x = r + 3. Is f(y) prime?
False
Is ((-148095)/(-21))/3 + 2/7 a prime number?
True
Let u(x) = x + 11. Suppose 0 = -5*y + y + 4. Let k be 0/3*y/2. Is u(k) a prime number?
True
Let y be (-5658)/22 - (-4)/22. Let q be 3/(-12) + y/(-4). Suppose 0 = 3*n + i - q, n - 3*n + i = -46. Is n a composite number?
True
Let i be (14*-4)/(3/(-6)). Let o = i + -57. Is o a prime number?
False
Let w(b) be the third derivative of -b**5/60 - b**4/24 + 41*b**3/2 - 4*b**2. Is w(0) prime?
False
Suppose 5*x - 2*d = 6937, -3*x + 2*x + 2*d + 1389 = 0. Is x a prime number?
False
Let l = -3 + 3. Suppose 3*u + 9 + 48 = l. Let m = 3 - u. Is m composite?
True
Suppose -49*m + 55*m - 13812 = 0. Is m composite?
True
Let s(d) = -8*d + 7*d**2 - 5 + d + 4*d. Let h be s(-6). Suppose -4*a = a - h. Is a composite?
False
Let y = -25 - -67. Let r(o) = -6*o + 3. Let u be r(5). Let v = u + y. Is v composite?
True
Suppose -3*d - 377 + 2702 = 0. Suppose -2*n + 310 = 5*k, 5*n - 2*k + 6*k - d = 0. Is n prime?
False
Let q = -23 - -16. Let g = q - -9. Is g/5 - (-2892)/20 prime?
False
Is (178 + -1)*2/6 a prime number?
True
Let z be (-76)/(-16) - (-1)/4. Let c = z + -2. Suppose -5*h = 5*m - 95, 0*h - 2*h - c*m + 34 = 0. Is h a composite number?
False
Suppose l = -5*n + 5*l + 5, 0 = -2*n - 2*l + 20. Suppose 0 = -n*w + 2*t - 3*t - 55, w - 3*t = -11. Let k = 20 + w. Is k composite?
True
Let i = 109 + -60. Is i composite?
True
Let y be (-4 - 0)*(-1)/2. Is (1 - 3)/(y/(-163)) prime?
True
Let a(h) be the first derivative of h**4/4 + h**3/3 + h**2/2 + 11*h + 4. Let u be a(0). Let w = 3 + u. Is w a composite number?
True
Suppose 0*m + 23 = 3*m - 4*z, -m + 3*z = -11. Let r be 291 - (-5)/(10/4). Suppose 0 = -4*b - 3*w + r, -m*w + 14 = -4*b + 347. Is b prime?
False
Let c = 13 - 6. Let u = c + -2. Let z(g) = g**3 - 5*g**2 + g - 3. Is z(u) a composite number?
False
Is ((-1958)/8 - -3)*-