*m - 2*t - 571 = d*t, -2*m - 5*t = -235. Is m a prime number?
False
Let i(p) = p**2 - 4*p - 6. Let y be i(6). Is 2/3*1017/y a composite number?
False
Let q = 1 + 1. Let k(a) = 2*a - 3. Let f be k(q). Is 1*(33 + -1 + f) a composite number?
True
Let a be ((-8)/4)/((-3)/(-6)). Is 29790/(-27)*6/a a prime number?
False
Let q = -1322 + 2075. Is q prime?
False
Let v(b) be the second derivative of -b**5/20 + b**4/2 - b**3/6 - 3*b**2 + 9*b. Is v(5) a composite number?
True
Let f be (1*11)/(4/4). Let d = f + 20. Is d a composite number?
False
Is (2 - 111/(-15))*15 prime?
False
Suppose 4*m - 1172 = -0*m. Is m prime?
True
Let t be 2 + (1 - 4) + 19. Suppose -2*h = 3*h - 2*s - 21, -2*h + t = -4*s. Suppose -i + h*y = -151, 2*i - 288 = -2*y + y. Is i a composite number?
True
Suppose 2*y - 10 = -3*y. Suppose -y*z + 25 - 7 = 0. Let l = z + 1. Is l prime?
False
Let n = 2809 + -1250. Is n a composite number?
False
Suppose 5*x - 10*x = 115. Let w = x - -35. Suppose 4*s = 12, h + s - 52 + w = 0. Is h a prime number?
True
Let k be 6/4*(-60)/(-9). Suppose 3*f + 5*p + 4 = -0*f, 3*p = 2*f - k. Suppose -f*g + 3*g - 49 = -i, -4*i = 3*g - 200. Is i composite?
False
Let n(l) = 34*l**2 + l - 7. Is n(4) a composite number?
False
Let v be 16/72 - 38/9. Is (6/v)/((-12)/1192) a composite number?
False
Is 4 + 4 + (284 - 1) a prime number?
False
Suppose 0*j = 4*o + 2*j - 72, -91 = -5*o - 2*j. Is o a composite number?
False
Let x be ((-3)/12)/(2/8). Let f(v) = -45*v + 2. Is f(x) a prime number?
True
Let g(k) = -4*k**2 - 5 - 8*k**3 + 1 - 4*k + 2*k**3. Let r be g(-3). Suppose d - r = -d. Is d prime?
True
Suppose 2*n + 3*f = n + 36, -5*n + 3*f = -162. Is (-2)/(-11) - (-4713)/n a composite number?
True
Suppose 4*b - 1 = 7. Suppose -5*w + 575 = -5*t, -48 - 67 = -w - b*t. Is w a prime number?
False
Suppose g = 4*d - 2*d - 3554, -5*g = -4*d + 7108. Is d a composite number?
False
Let f(m) = -m**3 + 12*m**2 + 6*m + 13. Is f(12) a composite number?
True
Let k(r) = r + 8. Let j be k(-6). Suppose 6*f - j*f - 5*t - 35 = 0, 3*f + 5*t = 0. Let v(c) = 11*c. Is v(f) a composite number?
True
Suppose -3*w - w = -10468. Is w a composite number?
False
Let t = -7 + 5. Let g be -4*1*t/2. Is (g - 0)*(-11)/(-2) a composite number?
True
Suppose -a + 2 = -c, -2*a + 7 = -2*c + c. Let b be (-1)/(-3) - 22/(-6). Suppose c*x - x + 444 = 4*u, 5*u = -b*x + 581. Is u a prime number?
True
Let u = -5 - -10. Is (-5)/(u/(-2)) - -53 a composite number?
True
Suppose -2397 - 5517 = -6*k. Is k a prime number?
True
Let d(z) = 2*z**3 - 4*z + 4. Is d(3) composite?
True
Let t be 5 + (0 - (2 - 3)). Let j(i) = i**2 - 7*i + 7. Let o be j(t). Is 3/2*2/o prime?
True
Suppose 8*f - 20 = 4*f. Let p(j) = 8*j - 3. Is p(f) a prime number?
True
Let r(m) = 96*m**2 + 4*m - 3. Is r(1) a prime number?
True
Let r(h) = -42*h - 6. Let n be r(3). Let b = n + 889. Is b a prime number?
True
Let m(p) = p**3 + 12*p**2 + 14*p + 6. Let t be m(-10). Is 23/(-3 - t/(-21)) a prime number?
False
Suppose -3 + 10 = a. Suppose 0 = -2*b + a + 7. Is b a prime number?
True
Let d be (-12)/(-16) - (-2)/8. Let g(w) = 130*w**2 + w. Is g(d) a prime number?
True
Let f(j) = -j**3 - 6*j**2 - 2*j - 9. Let h be f(-6). Suppose 0*s - s + h*x = -34, -x = -3*s + 110. Is s composite?
False
Suppose -5*t + 8*t = 6. Suppose -5*r + t*r = -39. Is r a prime number?
True
Let b(z) = z**3 + 9*z**2 + 9*z + 12. Let o be b(-8). Suppose -3*k = r + r - 505, -5*k + o*r = -827. Is k a composite number?
False
Let q be (4 + -4)/(1 + 0). Suppose -39 = -o - q*o. Is o prime?
False
Is 3 - (-354)/9 - (-2)/3 composite?
False
Let c = -50 - -77. Is (c/6)/(1/2) a prime number?
False
Let s(l) = l**2 + l - 3. Let q be s(-3). Let j(u) = u - 3. Let h be j(q). Suppose h = -p + 4*f + 45, -116 = -4*p + f + 19. Is p a composite number?
True
Suppose -h + 546 - 224 = -4*y, 0 = -3*h - 5*y + 1000. Suppose i = -2*s - s - 66, h = -5*i + 4*s. Is -3*(i/9 - 0) a prime number?
False
Suppose 5*m - 3*b + 3 = 0, 0*m - 2*m - 3*b + 3 = 0. Suppose -z + g = -g - 15, -2*g - 20 = -2*z. Suppose 5 + m = n, 0 = -z*p + 2*n + 925. Is p composite?
True
Suppose -3*n - 410 = -o - 6*n, 822 = 2*o + 4*n. Is o a prime number?
False
Let p be (4 + 16)*(-4)/10. Let n(w) = -14*w + 7. Is n(p) a prime number?
False
Suppose -4*a = -15 - 17. Suppose 0 = 3*w - a*w. Suppose 3*z + z + 12 = w, -j + 5*z + 46 = 0. Is j a composite number?
False
Suppose i - 1251 + 198 = 4*z, 2*z = -2. Is i a composite number?
False
Let d be 7/5 + 3/5. Let i(k) = 8*k - 3. Is i(d) a prime number?
True
Suppose 3*d - 2*d = -2. Suppose 5*o + 4 + 26 = 0. Is (o/1)/(d + 1) composite?
True
Let n(m) = -8*m**3 - m**2 + 8*m - 2. Let h(x) = -x**3 + x - 1. Let g(i) = 6*h(i) - n(i). Is g(3) a composite number?
False
Let z be -2*(0/2 + -2). Let w = -2 + z. Is (-1)/(w/(-106)) + 2 a prime number?
False
Let p(j) be the second derivative of 4*j**4 + j**3/6 - 4*j. Is p(1) prime?
False
Suppose 22*l - 17*l = 0. Suppose l = 3*r - 520 - 113. Is r prime?
True
Let k(c) be the third derivative of c**6/120 - c**5/30 - c**4/8 + c**3/3 + c**2. Let i be k(3). Suppose 4*m - 5*m - 5 = 0, -5*l - i*m + 315 = 0. Is l prime?
False
Let f = 2 - -4. Let j = f + 105. Suppose -4*y + j = -y. Is y composite?
False
Let k(o) = 3*o**3 + 5*o**2 - o - 2. Is k(3) a prime number?
False
Suppose 2*w - 1992 = -0*w - 2*z, 0 = -5*w + 4*z + 4953. Is w prime?
False
Suppose 4 = -p + 76. Suppose 0 = -s + 115 + p. Is s a composite number?
True
Suppose -1081 = -4*l - 305. Suppose -2*s + 0*s = -l. Is s a prime number?
True
Let o be ((-40)/(-25))/((-2)/(-10)). Let g(d) = 1 + 5 - 2*d - 4 + o*d**2 + 1. Is g(3) prime?
False
Let o be (-6530)/(-30) + (-2)/(-6). Let r = 589 - o. Is r a composite number?
True
Suppose 382 = 10*a - 8*a. Is a composite?
False
Suppose 4*a - 8*a - 224 = 0. Is (26/(-8))/(2/a) prime?
False
Suppose -2*d + 267 = d. Suppose -y = -3*z - 14, -3*y = -2*y - 2*z - 11. Suppose 4*b + 3*k = 51, -5*b + 3*k - y = -d. Is b a composite number?
True
Let q(h) = -6*h**3 + 2*h**2 - 7*h + 21. Let z(s) = 3*s**3 - s**2 + 4*s - 11. Let a(y) = 6*q(y) + 11*z(y). Is a(-5) prime?
False
Let j(c) = -3*c**3 - 10*c**2 + 2*c - 10. Is j(-7) a prime number?
False
Let w(u) be the first derivative of 25*u**2/2 + 2*u + 1. Is w(5) prime?
True
Let h(w) = 5*w**2. Let c be h(1). Suppose 2*b + c*y = 4*b - 95, b - y = 40. Is b prime?
False
Let a(t) = 39*t**2 - 3*t - 1. Is a(6) composite?
True
Let m(x) = x**3 + 8*x**2 + 3*x - 5. Is m(6) prime?
False
Let d(f) be the first derivative of -3 - 23/2*f**2 + 0*f. Is d(-5) composite?
True
Suppose 2*c = 3*d + 80 - 1263, -4*d - 5*c + 1562 = 0. Is d prime?
False
Suppose 0 = c - 4 + 1. Suppose -2*u = c*u - 795. Is u prime?
False
Suppose 2*m = m - 8. Let q(g) = -2*g**3 - 12*g**2 - 4*g + 3. Is q(m) prime?
False
Let k be 2/(2 - 153/78). Let o = k + -1. Is o a composite number?
True
Let u be 264/27 + (-4)/(-18). Suppose -s + t - u = -2*t, -s = 2*t - 10. Suppose -s*g + 17 + 11 = 0. Is g composite?
True
Suppose 7*c = 15180 + 4259. Is c prime?
True
Let c(r) = -r**3 + 5*r**2 + 2*r - 3. Let w = 8 + -3. Suppose 4*j + 16 = -3*t + w*j, t + 12 = 2*j. Is c(t) a composite number?
True
Let s(r) = r**3 + 2*r**2 - 4*r - 4. Let j be s(-4). Suppose -g = -5*q - 1, -g - 27 = -6*g + 3*q. Is (j/g)/(4/(-66)) a prime number?
False
Let q(d) = 5*d**2 + 7 - 8*d - d**3 + d + 2*d**2. Let y be q(6). Is 25 - (2 - 0/y) prime?
True
Let m = 238 + -99. Is m prime?
True
Let u = 163 - -256. Is u a composite number?
False
Let c = -195 - -332. Let m = -78 + c. Is m a composite number?
False
Let p(y) = -y**3 - 9*y**2 + 4. Let r be p(-9). Suppose 3*z = -2*d + 275, -5*d = -z + r*z - 260. Is z prime?
False
Let h(o) = -o**3 + 7*o**2 - 6*o + 4. Let d be h(6). Suppose d*s - 430 = 3*s. Suppose -m - m = -s. Is m a composite number?
True
Suppose 165 = 3*z + 3*m, -2*z + 165 = 3*m + 53. Suppose -4*q = -5*q + z. Is q a prime number?
True
Is (1324/(-8))/(2/(-4)) prime?
True
Let h(k) = -6*k + 1. Let x(a) = -1. Let l(o) = h(o) + 6*x(o). Is l(-4) a composite number?
False
Let r = -620 - -873. Is r composite?
True
Suppose 0 = 3*f - 7*f + 6484. Is f composite?
False
Let k(b) be the third derivative of b**5/60 + b**4/6 - 4*b**3/3 + b**2. Let o be k(6). Suppose -o = 2*d - 6*d. Is d composite?
False
Let h be (-1)/2 + (-14)/(-4). Is (2/h)/((-4)/(-12)) composite?
False
Suppose 0 = 