) = -l - 1. Let m(s) = c(s) + 6*p(s). Is m(-1) prime?
True
Suppose -4*k + 0*k + 892 = 0. Suppose -2*x = -4*x, -k = -u + 4*x. Is u prime?
True
Suppose -3*y - 20 - 25 = 0. Let j(r) = -6*r - 2. Let m be j(-2). Is (-6)/y + 96/m a composite number?
True
Let w = 2 + -2. Suppose w = -4*c - 4*o + o + 520, -3*c + 389 = 2*o. Is c a composite number?
False
Let n = 5 + -5. Suppose t - 3*t + 132 = n. Suppose 40 = 2*s - t. Is s prime?
True
Suppose -2*c + 5*c - 1227 = p, 2*c + p = 818. Is c composite?
False
Let c = 110 + -40. Suppose 3*x = x - 3*p + c, -4*x = -5*p - 96. Is x/2 - 2/(-4) a prime number?
False
Let n be 180/2*6/(-12). Is -7*(1 - n)/(-2) a composite number?
True
Suppose -4*c - 342 = -2*z, 509 = 3*z - 0*z - 5*c. Is z a prime number?
True
Suppose -5*c + 71 + 24 = 0. Suppose 2*n = -3*n + 2*k - 16, -5*n = -3*k + c. Is (1 + 0)*(-22)/n composite?
False
Let p be 5 + -2*(-1)/(-2). Suppose -2*l + 2 = 0, 3*m + 2*l = 18 - p. Suppose -o + m = -7. Is o prime?
True
Suppose 397 = 5*z - 1468. Is z prime?
True
Let y be (-4)/(-6)*(4 - -2). Suppose -a = y*a. Suppose 2*w - 26 + 0 = a. Is w a prime number?
True
Suppose 0*m = -2*m + 4. Let g(h) = h**2 - 3*h - 2. Let b be g(4). Suppose m*k - 5*i = 30, -b*k + i + 32 = k. Is k composite?
True
Let n be 4/((-16)/2262)*-2. Suppose 246 = -5*u + n. Is u a composite number?
True
Let a(x) = 428*x**2. Suppose -2*c = -5*b - 3, 5*c + 7 = -4*b + 2*b. Let g be a(c). Suppose 80 = 4*i - g. Is i a composite number?
False
Suppose 2*d - 3*w + 0*w - 1748 = 0, d = -5*w + 887. Is d a composite number?
False
Let c = 168 - 115. Is c prime?
True
Is 8*3/((-48)/(-412)) a prime number?
False
Suppose -9 = -5*k + 6. Suppose -2*f - 2*s = k*s - 103, 4*f + 4*s = 200. Is f a prime number?
False
Let y(i) = 187*i**2 - i - 13. Is y(-4) a prime number?
False
Let o(a) = -a**2 - 11*a + 4. Let y be o(-11). Suppose -389 = -5*q - y*m, 155 = 4*q - 2*q + m. Is q composite?
True
Is (34/(-4))/((-2)/44) composite?
True
Suppose -h = -z + 3, z - 3*h - 5 = -2. Suppose 4*y = z*y + 211. Is y a composite number?
False
Let j = 2909 - 856. Is j composite?
False
Suppose t - 22 = x, 0*x + 4*x - 4 = 0. Is t a composite number?
False
Let s = -9 - -13. Suppose 0 = s*b - b - 222. Is (1/(-2))/((-1)/b) prime?
True
Let g(c) be the second derivative of c**4/12 - c**2 + 2*c. Let n be g(2). Is -2*(-55)/n + -2 a composite number?
False
Let w(c) = 502*c. Is w(1) a composite number?
True
Suppose 0*t + 5*t + 3270 = 0. Let n = t - -1559. Is n a composite number?
True
Let s(z) = -z**3 - 25*z**2 + 22*z - 9. Is s(-26) a composite number?
True
Let s(i) = i**3 + 7*i**2 - 7*i + 1. Let k be s(-8). Let g = k - -9. Suppose 0 = -n - g*d + 267, -4*n - 4*d + 793 = -n. Is n composite?
True
Suppose 4*s + 0*w - 2335 = -w, -5*s = -3*w - 2906. Suppose 0 = -5*k + 5*c + 1588 - s, 0 = k + 3*c - 209. Is k composite?
True
Let f(b) = 5*b - 7. Suppose -5*i - 49 = -7*z + 3*z, 0 = -5*z + 3*i + 45. Is f(z) prime?
True
Let g(l) = l**3 - 6*l**2 - 6*l - 7. Let b be g(7). Suppose 0 = 5*k + c - 113, -3*k + b*k = 3*c - 75. Is k a prime number?
False
Let l(p) = 2*p**3 - 11*p**2 + 2*p + 1. Let t = 4 - -4. Is l(t) prime?
True
Let s = 2433 + -1636. Is s composite?
False
Let g = 1 + -1. Let w(q) = -2*q - 8. Let f be w(-5). Suppose -14 = -f*b - g*b. Is b a prime number?
True
Let y = 21 - 5. Suppose 2*o = o + y. Suppose -o = -w - 6. Is w a composite number?
True
Let h(m) = 3*m + 2 - 6*m + 3 + 2*m. Let k be h(3). Suppose 3*i - k*z = 259, i + 350 = 5*i + 2*z. Is i prime?
False
Let z = 431 + -722. Is -1*(z + 0 + 2) prime?
False
Let y = -8 + -4. Is ((-4)/y)/((-1)/(-201)) prime?
True
Let d(k) = 50*k**2 + 3*k - 1. Is d(-4) a prime number?
True
Suppose 2*h + 3*h = 85. Suppose -4*w = -149 + h. Is w prime?
False
Suppose 4*p - 764 = -0*p. Is p a prime number?
True
Let q(m) = -m**2 + 2*m**2 + m + m - 3 + 4*m**2. Is q(2) composite?
True
Let b(x) = -5*x - x**2 - 8 - 2 + 22*x. Let q = 18 - 9. Is b(q) prime?
False
Suppose 1 - 4 = -3*d. Is d - (-3)/((-12)/(-152)) a composite number?
True
Is 1524/4*1 + -3 + -1 composite?
True
Suppose 0 = 3*h - 0*h - 1923. Is h a prime number?
True
Let h(j) = 60*j**2 - 2*j - 5. Let z be h(-4). Suppose -5*k - 148 = -z. Is k prime?
True
Let u(f) = 115*f + 11. Let t(z) = -58*z - 6. Let p(i) = 5*t(i) + 3*u(i). Is p(4) a prime number?
True
Let w(z) = 53*z**2 + 9*z - 11. Let i(j) = 26*j**2 + 4*j - 5. Let c(s) = 8*s**2 + 2*s - 1. Let q be c(1). Let m(t) = q*i(t) - 4*w(t). Is m(1) a composite number?
True
Let c be (-105)/(-2 + 2/4). Is (c/(-3))/((-6)/9) composite?
True
Let n = 116 - 19. Is n a composite number?
False
Suppose 8 = -3*v - v. Let j(d) = -d**3 - 3*d**2 + 2. Let u be j(v). Is (-3)/(1*u/10) a prime number?
False
Let t = -14 + 17. Let v(n) = 11*n**3 - 9*n - 9. Let h(z) = 5*z**3 - 4*z - 4. Let y(k) = -13*h(k) + 6*v(k). Is y(t) composite?
False
Suppose -4*m + 1 = -7. Is 83 - (m + 1 + 1) a composite number?
False
Suppose 3*y + u = -249 + 697, 3*y - 3*u - 444 = 0. Is y composite?
False
Let y(z) = -z**3 + 3*z**2 - 4*z + 3. Let s be y(2). Is (1 - 3) + (-60)/s a composite number?
True
Let j be 0/(-5 + (2 - 0)). Suppose j = -v + 34 + 79. Is v composite?
False
Let j be 2/3 - (-2)/6. Suppose -2 = 2*i - 3*f + j, i = 3*f - 3. Suppose t - 4 = i, -5*t + 2*t = 2*m - 26. Is m composite?
False
Let k(p) = 2*p - 6. Let t be k(4). Is (0 + t - -5)*7 prime?
False
Is ((-96 - 2) + 1)*-1 prime?
True
Let d = 268 + 265. Is d a prime number?
False
Let t = -89 + -3. Let g(h) = 157*h + 11. Let k be g(-2). Let r = t - k. Is r prime?
True
Let h be -3 - ((1 - 3) + -138). Suppose -3*b + j + h = 0, -b + 0*j + 5*j = -41. Is b composite?
True
Let k(p) = -p**2 - 9*p - 1. Let z be k(-4). Suppose -4*n = n - 2*v - 149, -n = 5*v - z. Suppose y - 14 = -3*b, -3*y + 4*b = -0*b - n. Is y composite?
False
Suppose -n = -0 - 2. Is ((-19)/(-2))/(1/n) composite?
False
Let h be (3/(-2))/((-2)/332). Let s = 574 - h. Suppose 3*u + 25 = 2*g + 480, -2*u - 3*g + s = 0. Is u a prime number?
False
Suppose 0 = -3*f + 124 + 539. Is f a prime number?
False
Suppose 0 = -6*q + 2*q + 8. Suppose 2*s - 5 = q*l + 1, 0 = -4*s + l + 12. Suppose 0 = 4*j + s*v - 211, -j + 180 = 2*j - 5*v. Is j a prime number?
False
Suppose -u + 6*u + 3*r = 417, 0 = -3*u + 5*r + 257. Let j = -181 - u. Is j/20*-1*4 a composite number?
False
Let d be -55 + (1 - 5 - -2). Is (-28)/(-6)*d/(-2) a prime number?
False
Suppose f = -4*f + 955. Is f a prime number?
True
Let y be (-1)/3 + 26/6. Suppose 0 = d - y*q - 8, 5*q = 5*d - 0*d - 55. Suppose 0 = 4*m + 3*n - 87 + d, -4*n + 35 = m. Is m a composite number?
True
Let i be (-3)/(6/20) - 2. Suppose 0*m + 2*m + 54 = 0. Let l = i - m. Is l composite?
True
Let l(a) = 165*a + 7. Is l(10) prime?
True
Suppose -12587 = -7*v - 3060. Is v a prime number?
True
Suppose -8*v + 174 = -6*v. Is v a prime number?
False
Suppose 0 = -5*g + 4449 + 801. Suppose 7*k - 2*k = g. Suppose 2*t = 5*m - 285, -4*m + k = 4*t - 2*t. Is m prime?
False
Suppose 2*k = 5*v + 303, 5*k - 399 = -2*v + 344. Is k a composite number?
False
Suppose -4*j + 32 = -0*j. Let c be (-3)/12 + 8922/j. Suppose -3*g - c = -5*h, -3*h - g = -209 - 460. Is h a composite number?
False
Let m be 1*(-3 - -74)/1. Let h = 11 + m. Is h a composite number?
True
Suppose 2*w - 825 = 4*h + 277, -h = 5*w + 259. Is h/(-12) - (-5)/30 composite?
False
Suppose -4*t + 7 + 5 = 2*f, 2*f = 2*t - 12. Is t/(-10) - (-748)/20 prime?
True
Let h(y) = 12*y**3 - y**2 + 2*y - 1. Let x be h(1). Suppose -2*w + 5*r = 2*w - 61, 4*r - x = 0. Is w a prime number?
True
Is (-2)/8 + (-2982)/(-56) prime?
True
Is ((-2229)/9)/(((-3)/(-9))/(-1)) a prime number?
True
Suppose -3*g = -3*b + 702, 5*b + g + 2*g = 1162. Is b prime?
True
Let p(u) = u + 1. Let n(b) = -25*b + 5. Let z(r) = n(r) + 2*p(r). Is z(-8) prime?
True
Let m = -173 + 242. Is m prime?
False
Is 3 - 3 - 0 - -53 a prime number?
True
Let r(k) = -k**2 - 8*k + 2. Let v be r(-8). Let b(x) = -x + 2. Let y be b(2). Suppose y = -j, v*o - 4*j - 166 = -j. Is o prime?
True
Suppose 0*s - 2*s - 4*q + 22 = 0, 0 = -5*s - 4*q + 37. Let r be (-6)/s*(-50)/15. Suppose 2*g - 54 = 3*a + 209, -3*g - r*a + 403 = 0. Is g a composite number?
True
Let u(x) = 6*x. Let f be u(-6). Let t = 70 + f. Is t composite?
True
Suppose -5*l + 5220 = 865. Is l a prime number?
False
Let g(z) = z**3 - 9*z**2 + 5*z + 3. Let d be g(10).