-7) composite?
False
Let l(x) = -x**3 - 9*x**2 - x + 4. Let a be l(-6). Let k = 24 + a. Let t = k + 109. Is t prime?
False
Suppose 2*c + 12 = 3*w, 0*w + 3*c = -4*w + 16. Let q be 3/(-7) - 2579/(-7). Suppose -w*u + q = 132. Is u a composite number?
False
Let b(g) = -16*g + 35. Is b(-9) a composite number?
False
Let y be (2/5)/((-1)/(-5)). Suppose j = -y*j + 159. Is j prime?
True
Is (-3786)/(-1)*(-3)/(-9) a prime number?
False
Is 6 + 2/((-4)/(-6)) composite?
True
Let g be -6*2/(-8)*-2. Is (-358)/g - (-5)/(-15) a composite number?
True
Let c(k) = -k**2 + 8*k - 10. Let a be c(6). Is a - -2*1114/4 a prime number?
False
Is (-5)/(-2)*9930/25 composite?
True
Let q(s) = 15*s**2 + 7*s - 13. Let v(y) = -8*y**2 - 4*y + 7. Let z(k) = 6*q(k) + 11*v(k). Is z(-2) composite?
False
Suppose 5*h - h = 1060. Is h a prime number?
False
Let j = 6 - -7. Is j a composite number?
False
Let d = -15 - -18. Suppose 2*b + 0*b = 10, 82 = l + d*b. Is l a prime number?
True
Suppose 0*n - n + 4*y = 25, 2*y - 30 = 4*n. Let s(w) = -w - 2. Let z be s(n). Suppose -2 = -2*h, -v - 3*h = -z*v + 27. Is v a prime number?
False
Suppose 4*z - 5*r = 281, -133 = 3*z - 5*z + 5*r. Let j be 5*1/(10/4). Suppose -2*a - 34 = -j*q, 4*q = -0*q + a + z. Is q a prime number?
True
Is (-2 + 23)*11/3 a prime number?
False
Let d be 3*3 - (9 + -6). Suppose 0 = -v + d*v - 295. Is v prime?
True
Let s = -34 - -20. Let l = 129 - s. Is l a prime number?
False
Let u = -11 - -112. Let v = u - 41. Let x = v + -29. Is x prime?
True
Let p(k) be the first derivative of 3*k**4/4 - 5*k**3/3 + 5*k**2/2 - 5*k + 3. Is p(4) a composite number?
False
Let p(y) = 5*y. Suppose 0 = -q - q + 6. Suppose -2*s - 1 + 3 = -z, -2*z = q*s - 10. Is p(s) a composite number?
True
Let m be -62 - (0 - (-1 + -1)). Let w = 174 + m. Suppose 0 = 3*j - j - w. Is j a composite number?
True
Is 186/(-279) + 1076/3 + 0 composite?
True
Let x = 2210 - 1439. Is x composite?
True
Let s(d) = d**3 + d**2 + 2*d + 583. Is s(0) prime?
False
Let n(l) be the first derivative of l**4/4 + 7*l**3/3 - 5*l**2/2 + 2*l + 5. Is n(-5) prime?
False
Let f be 15 + 2 - -1*2. Let s = -42 + f. Let l = s + 112. Is l prime?
True
Let g(r) = 294*r**3 + r. Let t be g(1). Suppose -3*y - 2*y = -t. Is y a prime number?
True
Suppose 2*m - 1 = 9. Let q = -3 + m. Suppose -4*w = 3*k + w - 432, -4*k = q*w - 590. Is k composite?
False
Suppose -10 = -7*i + 2*i. Suppose -j = -i*j + 4. Is j/14 - 1015/(-49) a prime number?
False
Let h(t) = t + 15. Let l be h(-7). Let r be 5180/18 - l/(-36). Suppose -2*n - 3*n + 456 = 3*v, 3*v + r = 3*n. Is n composite?
True
Suppose -j - 5*i = 4*j - 195, 5*i = -j + 47. Suppose -2*x - x = u - 42, -4*x = -5*u - j. Is x composite?
False
Suppose 4*n - 48 = z, -n + 2*z + 36 = 2*n. Suppose 6*v = 2*v - n. Is 63/v*(-1)/3 composite?
False
Let v = 199 + -5. Is v composite?
True
Suppose 5*t = 554 + 531. Is t prime?
False
Suppose y - 5*a = 238, 4*y + 5*a = 174 + 653. Is y composite?
True
Suppose 0 = 3*w - 0*w - 5403. Is w a prime number?
True
Suppose -2 - 2 = -2*k + 4*v, 3*k = -5*v - 16. Is (1 + -7)*11/k a composite number?
True
Let c = -1 - -5. Suppose 0 = 5*w + 15, c*y + 3*w + 0*w + 21 = 0. Let v(i) = 9*i**2 - 4*i. Is v(y) a composite number?
True
Let h = 147 - -2. Is h a composite number?
False
Let j be (-16)/6*(-27)/(-2). Let n be j/(-15) + 2/(-5). Is ((-2)/3)/(n/(-57)) a prime number?
True
Let u(z) = 332*z**3 - z. Is u(1) composite?
False
Suppose q = -q - 2*z + 3388, 4 = 4*z. Is q prime?
True
Suppose -2*g = -6*g + 24. Let w be 20/g - (-2)/(-6). Suppose 265 = 2*s + w*s. Is s composite?
False
Suppose 5*f + 4*k = 1314, 2*f + 2*f - 1053 = -5*k. Is f prime?
False
Let d(x) = -250*x + 1. Let v(w) = -w**3 + 9*w**2 - 9*w + 7. Let l be v(8). Is d(l) composite?
False
Let u(z) = -197*z - 14. Is u(-11) prime?
True
Let p be 10/(-35) - 23/(-7). Suppose -97 + 11 = -4*w + 2*d, -p*d + 80 = 5*w. Suppose w = f + v - 48, 0 = -3*v + 15. Is f prime?
False
Let v(w) = 14*w**3 - w**2 - 2*w + 1. Suppose 3*d = 6, -4*a + 14 = 3*d - 2*d. Let k be v(a). Suppose i - k = -3*i. Is i a prime number?
False
Suppose -3*w - 663 = -126. Let n = -128 - w. Is n composite?
True
Let n(j) = 0*j - j**3 + 4*j**2 - 3*j**3 + 3*j**3 + j - 3. Is n(3) prime?
False
Let y(z) = z**2 + 2*z - 5. Let r be y(-5). Let d = r + 145. Is d a composite number?
True
Let u(j) = 0 - j - 1 + 3. Let o be u(-2). Suppose -303 = -o*t + 149. Is t composite?
False
Let s(q) be the first derivative of -8*q**4 - q**3/3 - q**2 + q + 3. Is s(-2) a composite number?
False
Is 201/(-6)*6/(-1) composite?
True
Suppose -2*g - p - 5 = 0, 2*g - 14 = 4*g + 4*p. Is ((-318)/(-2))/(-3)*g prime?
True
Suppose 4*k = -0*k + 20. Let d(c) = -8*c - 3. Let p(j) = j + 1. Let g(o) = -d(o) - 2*p(o). Is g(k) a composite number?
False
Suppose -3*a = 3*v - 0*v - 513, 0 = 3*a - 2*v - 488. Is a a prime number?
False
Suppose 4*h - 2*h = 0. Suppose h = -3*b - 15, 2*b + 0*b - 5 = -i. Is i a prime number?
False
Is (-9057)/(-2)*12/18 prime?
True
Let n(l) be the second derivative of 11*l**4/12 - 2*l**3/3 + l**2 + l. Let j be n(2). Suppose a - j = -a. Is a prime?
True
Let d(k) = -20*k - 11. Is d(-5) a composite number?
False
Let s(n) = -n + 4. Let v be s(6). Let t = 2 + v. Suppose 6*j - 2*j - 88 = t. Is j prime?
False
Suppose -g + 1 = x, -8*g + 3*g - 1 = -x. Suppose -2*f + 4*i + 22 + 192 = 0, g = -4*f - 4*i + 368. Is f composite?
False
Let j(k) = -k**3 - 4*k**2 + 4*k + 5. Let y be j(-5). Is (2954/(-35))/((-4)/y) composite?
False
Let n be 0/(-3)*2/(-4). Suppose n = 3*a + 4*o - 153, 0*o + 6 = -2*o. Is a a composite number?
True
Let o(u) = u**3 + 6*u**2 - 2*u - 8. Let v be o(-6). Suppose 536 = 4*w - v*f, -4*w + 0*w + 5*f = -539. Is w a prime number?
True
Suppose 3*b = -0*b - 2*d + 8, -4*b + 2*d = -20. Suppose b*j = -5*c + 4, -2*j - c + 20 = -3*c. Is 3/j*(0 + 134) composite?
False
Is ((-4)/6)/2 + 6410/15 a prime number?
False
Let x(g) = -g**2 + g + 48. Let v be x(0). Let p be 8/16*46/(-1). Let i = p + v. Is i prime?
False
Let b(l) = l**3 - l**2 - 23. Let w be b(0). Suppose 0 = -2*c + 4*c. Is (c - (3 + -2))*w composite?
False
Suppose 5*t - 1274 = -p - 56, 0 = t - p - 246. Suppose t + 138 = 2*m. Is m prime?
True
Suppose -4*n = 12*y - 11*y - 2297, 15 = 5*n. Is y a prime number?
False
Let y(r) = r**3 - 6*r**2 - 8*r + 6. Let c be y(7). Let n = c + 0. Is -37*(n + -1 + 1) composite?
False
Let d be 2/6 - 8/(-3). Suppose -54 - 3 = -d*o. Let m = o + -9. Is m composite?
True
Let c be (-14)/(-3)*(-9)/(-6). Let k = 11 - c. Suppose 9*z - 4*z + 143 = g, 125 = g + k*z. Is g prime?
False
Let l(k) = k**2 + 6*k + 1. Suppose 2 = 2*j + 8. Let m be l(j). Let c(u) = -u**3 - 6*u**2 + 9*u + 11. Is c(m) prime?
True
Suppose 5*a + 2*a - 3997 = 0. Is a a composite number?
False
Suppose 0*g = g - 53. Is g composite?
False
Let a(j) = 4*j - 11. Is a(12) a composite number?
False
Let i be (-8)/(-20) + (-4)/10. Suppose 3*b - 20 = -4*h - 5, 3*b = 5*h + 15. Suppose 2*g + 4*t - 30 = i, -g + h*g + 4*t + 27 = 0. Is g a composite number?
False
Is 1*2*(-1055)/(-10) prime?
True
Suppose 0 = -0*n - 3*n + 12. Let p(d) = -2*d - 10. Let q be p(-7). Suppose n*b - 4 = -5*w, 0*b + q*w = -2*b - 4. Is b composite?
True
Suppose 5*f = 4*j + 2722, 0*f + 2183 = 4*f - 5*j. Is f prime?
False
Let z(d) = -d**3 - 2*d**2 - 3*d - 3. Let i be z(-2). Is 129 - 0/((-6)/i) prime?
False
Suppose 5 = 4*f - 11. Suppose -45 = f*u + u. Let q(a) = -a**3 - 8*a**2 - 7*a - 13. Is q(u) a prime number?
True
Let q(j) = -j**3 + 7*j**2 - 6*j - 3. Let h be q(6). Let c be (-39)/(h*2/28). Suppose 5*u - c = 3*l, u - 79 = -u - 5*l. Is u prime?
True
Suppose -1405 - 670 = -5*a. Is a a prime number?
False
Let u = 2 + -1. Let z be -2*(-2 + u)*-2. Is (-14)/(1 - (-1 - z)) prime?
True
Suppose 6 = -2*k + 62. Let s = 177 - k. Is s composite?
False
Let r(w) = 2*w**2 + 3*w - 4. Let b be r(-4). Suppose -4*l - b = 0, 35 = 2*p + p - 2*l. Is p prime?
False
Suppose -2*w + 335 = 3*r, 0 = 5*w - 2*r + 128 - 1013. Suppose -w = -2*x + 7*x. Let c = 20 - x. Is c a composite number?
True
Suppose q - 236 = -5*j, 30 + 18 = j + q. Let b be (-10)/(4/6*-3). Suppose 5*c - r - j = -b*r, -c + r = -4. Is c a prime number?
True
Suppose 322 + 2478 = 2*d + 3*q, 2*q - 5592 = -4*d. Is d a composite number?
True
Let t = 85 + -136. Let a = t - 93. Let l = 302 + a. Is l a prime number?
False
Suppose 0 =