 -2*c**3 - 6 + 3*c**3 + 2*c**3 + 10*c**2 - 2*c**3. Is y(-5) a prime number?
False
Is (-4665)/(-6)*(-1 - -3) prime?
False
Is ((-48235)/33)/(2/(-6)) prime?
False
Suppose 2*j - 1 = 4*l + 63, 4*j - 143 = 3*l. Is (j/(-4))/(8/(-16)) a composite number?
False
Let r(d) = -7*d. Let k be r(1). Let g = 44 + k. Is g prime?
True
Let q(k) = 3*k**3 - 10*k**2 + 4*k - 4. Is q(7) composite?
False
Let t(y) = 0 - 26*y - 10*y + 1. Is t(-4) a prime number?
False
Let j(c) = c**3 - 16*c**2 + 7*c - 1. Is j(16) composite?
True
Suppose 4*z - s = s + 30, -35 = -5*z + 2*s. Suppose -42 = -d + z. Is d composite?
False
Suppose 0 = -10*w - 1731 + 42641. Is w prime?
True
Let v(t) = -2*t**2 - 4*t - 5. Let y(l) = l**2 + 2*l + 3. Let j(u) = 3*v(u) + 7*y(u). Is j(0) a composite number?
True
Is -2 + 208 + 6 + -3 a composite number?
True
Let i(j) = j**3 - 3*j**2 - 4*j + 5. Let w be i(4). Let v = -61 - -99. Suppose g + 0*g + 106 = w*y, 2*y = -4*g + v. Is y composite?
True
Let o be 2/(-5) + (-9)/15. Let u = 1 + o. Suppose 0 = 4*b - 4*a - 68, 3*a + u - 24 = -2*b. Is b prime?
False
Suppose 929 = 3*d - 3016. Is d composite?
True
Suppose -5*k = 5*j, -2*k + j - 12 = 3*k. Let c be 0/k + (0 - -5). Let t(w) = 18*w + 7. Is t(c) prime?
True
Suppose -4*c = -t - c + 30, 3*t - 48 = -5*c. Is 1820/t + (-2)/(-6) composite?
True
Let l(a) = 2*a + 4. Let w be l(-6). Let y = w + 7. Let c = y - -20. Is c a composite number?
False
Suppose 4*u + 4*x = 3436, 0 = 2*u - 2*x - 2*x - 1736. Is u a composite number?
True
Let j = 2011 - 1052. Is j prime?
False
Let w = 2796 + -1261. Is w a composite number?
True
Suppose -4*d - d - 10 = 0. Is (228 - 5)/((-2)/d) a prime number?
True
Let s = -7 + 5. Is s/(12/69)*-2 prime?
True
Suppose 6*n - n - 10 = 0. Suppose n*u + 2*u = 124. Is u a prime number?
True
Suppose 0 = 4*r - 5*r + 2*z - 4, 0 = -2*z. Let f(y) = -19*y**2 + 2*y - 1. Let c be f(1). Let a = r - c. Is a prime?
False
Is (1/7)/(21/45129) prime?
True
Suppose -2*y - 1 = 5*j - 7, -3*j + 5*y + 16 = 0. Suppose 132 = -w - j*w. Let c = w + 65. Is c prime?
False
Suppose -2*x + 241 = -d - 275, 247 = x + 5*d. Is x a composite number?
False
Let x(y) = 5*y - 1. Let q be x(1). Suppose 24 + 116 = q*m. Is m a composite number?
True
Let g(p) = p**2 + 8. Is g(5) a prime number?
False
Let s be (140 - -7)*(2 - 1). Suppose -h - s = -4*h. Is h composite?
True
Let d be 1/((2 + 0)/(-32)). Let b = 10 + d. Is (-1)/(9/b)*15 a prime number?
False
Suppose -5 = l + 3. Let i be (-6)/l + (-3)/(-12). Is (i + (-2 - -54))*1 a prime number?
True
Let k be (-9)/(-6)*(2 - 0). Suppose -4*c + k*m + 740 = 0, -c - m = -2*c + 185. Is c composite?
True
Suppose -5*s = 3*n + 134, 3*n - s + 128 = -0*s. Let k(c) = -c**2 - 11*c + 34. Let o be k(-11). Let w = o - n. Is w prime?
False
Suppose 3 = s - 3. Let z = 13 - s. Is z composite?
False
Let n = 3 + -3. Suppose 0 = -v - n*v + 3. Suppose v*s - 7 = 14. Is s composite?
False
Suppose -1 = -g + 3. Suppose -6*r + 3*r - 2*z = -169, 4*r - 228 = -g*z. Is r prime?
False
Is 4 - (-3 + 5 + -3435) a composite number?
True
Let h(j) = 33*j - 2. Let t = 0 + 9. Is h(t) prime?
False
Let z(d) be the second derivative of 13*d**4/6 + 2*d**3/3 - d**2/2 + d. Is z(-3) a prime number?
False
Let l = -20 - -11. Let c(s) = -s**2 - 9*s + 3. Let g be c(l). Suppose g*m + 3*z = -12 + 360, -4*z + 234 = 2*m. Is m composite?
True
Suppose -5*c + 3 = 5*m - 27, -2*m + 13 = c. Let n = m - -23. Suppose -j - n = -6*j. Is j a prime number?
False
Let a(u) = 2*u**3 - 5*u**2 - 9*u + 10. Let d = 14 - 7. Let t be a(d). Suppose 4*i + 32 = t. Is i prime?
True
Let n(s) be the second derivative of 19*s**4/6 - s**2/2 - 6*s. Is n(1) a composite number?
False
Let d(u) = -10*u - 3. Let z(w) = 221*w + 65. Let v(m) = 65*d(m) + 3*z(m). Let k be v(6). Is k/8 + (-2)/(-8) a composite number?
True
Let r(x) = x**2 + 3*x + 6. Let c(b) = -b. Let q(t) = 2*c(t) + r(t). Is q(4) prime?
False
Suppose -2*f + f = 16. Let x = 26 + f. Is (-2)/10 + 832/x prime?
True
Suppose 0*b - 5*b = -u - 540, b - 3*u = 94. Is b composite?
False
Suppose i - 12 = 5*l, 0 = -3*l - 3*i + 4*i - 6. Let m be l/2*12/(-9). Is 87/3 - (m + -4) composite?
False
Let k(n) = -n**3 + 7*n**2 - 3*n + 4. Let v be k(6). Let z = v + -7. Is z prime?
False
Let d = -3936 + 6669. Is d prime?
False
Suppose -215 - 52 = -3*v. Is v a prime number?
True
Let j be 6*(-4)/4*-1. Suppose 10*g = j*g + 84. Is g a composite number?
True
Let p(l) = l**3 + 13*l**2 - l - 6. Is p(-13) a composite number?
False
Let u = 122 - -29. Let l be (-2)/(-4) - 418/(-4). Let k = u - l. Is k prime?
False
Let y = 443 + -302. Let x = 199 - y. Is x a composite number?
True
Let g(m) = 66*m**2 + 7*m - 4. Is g(3) a composite number?
True
Is ((-3)/(-6))/((-3)/(-834)) a prime number?
True
Let x(o) = 0 - 1 - 9 - 1 - 2*o. Let r(b) = -b - 10. Let d be r(0). Is x(d) a composite number?
True
Let n(v) = v + 12. Let p be n(-10). Is p*(-9)/6 + 86 a composite number?
False
Let d be (-594)/(-6) + 0 + 2. Suppose d = -3*x + 20. Is (333/x)/(1/(-3)) a prime number?
True
Let z(o) be the second derivative of o**6/36 + 3*o**5/40 - o**4/4 - 2*o. Let j(w) be the third derivative of z(w). Is j(7) composite?
False
Let j be (-2)/(-5) - 42/30. Let x be 1 - (0/(-1) - j). Suppose 0 = 2*w - x - 6. Is w prime?
True
Let p(u) = -u**3 - 5*u**2 - 4*u - 3. Let f be p(-4). Let l be (f - 1)*1/(-1). Suppose -l*v = -3*d - 539, 2 = -5*v - 4*d + 637. Is v a prime number?
True
Suppose -k = -2*u + 11, 0*k + 4*k + 5*u = 21. Let y = 18 - k. Is y prime?
True
Let h be (-4 + 0)/(3/15). Let c = -167 + 94. Let p = h - c. Is p a composite number?
False
Let n be (-3)/(-6)*-1*92. Let d = -32 - n. Is d composite?
True
Suppose 7 = 4*z + 31. Let h = z + 13. Is h a composite number?
False
Let r(q) = 13*q**2 - q + 1. Let j be (4 - 1)*-1 - -1. Is r(j) a composite number?
True
Let z(x) be the third derivative of -11*x**4/8 - 8*x**3/3 + 9*x**2. Is z(-13) a composite number?
True
Let q(h) be the second derivative of h**5/20 + h**4/3 - h**3/2 - h**2/2 + h. Suppose 3*l + 1 = 2*n, 0*n = 3*n - 15. Is q(l) composite?
False
Let l(a) = a + 55. Let d be l(0). Is 4335/d - 4/(-22) a prime number?
True
Suppose 2*a + 14*y - 1946 = 19*y, 2*y = -a + 991. Is a prime?
True
Suppose -5*n + 28 = 2*h, 6 = 4*h - 3*n + 2. Suppose h*t = 4*v + 28, v = 6*v + 15. Is (-3 + t)*(11 + 0) prime?
True
Suppose 15*w - 6 = 13*w. Is ((-186)/9)/((-2)/w) prime?
True
Suppose 0 = -3*w - 0*w + 9. Suppose 0 = 3*o + w*l - 318, -2*l - l = -2*o + 237. Is o composite?
True
Suppose 2*b - b = -4*a + 2209, -2*a + 1091 = 5*b. Is a a prime number?
False
Let a = 65 + -93. Is (-467)/(-7) - 8/a a composite number?
False
Suppose 2*y = -3*y + 2*v + 555, -5*v + 193 = 2*y. Is y a prime number?
True
Let u be (-4)/10 - 6/(-15). Suppose u = -0*f - 4*f + 524. Is f composite?
False
Suppose -4*p = -5*b - 18, b = 2*p + 4*b + 2. Suppose 0 = 4*k - 4*g - 4, p*g = -2*k - 2. Suppose k*l + 168 = 2*l - s, 2*l = -2*s + 174. Is l a prime number?
False
Let p = -736 - -2495. Is p composite?
False
Let k = 2 + 0. Let f be k/6 + 2/(-6). Is 1*35 + f + -2 composite?
True
Let r = -178 + 476. Suppose -5*n = -3*n - r. Is n composite?
False
Is (158/8)/(9/72) a composite number?
True
Suppose -38 - 4 = 3*d. Let p be d/(-3) - (-2)/(-3). Suppose 0 = p*q - 0*q - 28. Is q a composite number?
False
Let n(m) = 2*m**3 - 2*m**2 - m. Let h be n(2). Let b(o) = -o**3 + 6*o**2 + 2. Let u be b(h). Suppose v - y = 91, -u*v - 2*y = 2*v - 376. Is v composite?
True
Let g(r) = 7*r + 1. Let y be g(2). Suppose v + 3*k - 25 = y, 2*k + 4 = 0. Let z = 67 - v. Is z a composite number?
True
Suppose 1356 - 118 = 4*w + 3*x, 2*w - 614 = -4*x. Is w composite?
False
Let c(o) = -2*o**3 + 10*o**2 - 7*o + 1. Is c(-8) composite?
False
Let i = 9 + -9. Suppose 0 = f - i*f + 4. Is f*(-2 - (-3)/12) composite?
False
Suppose 0 = -4*r + 9184 + 3404. Is r a prime number?
False
Is (-1827)/42*2*-1 a prime number?
False
Let j(p) = 3*p**2 + 8*p + 1. Is j(-8) composite?
True
Let f be (-3 - -6)/((-3)/(-4)). Suppose f*r - 9 = r. Suppose r*y - 95 = -2*y. Is y a prime number?
True
Let j(c) = -c**3 - 7*c**2 - 7. Is j(-10) a prime number?
True
Let d(j) = 68*j**2 - 2*j + 7. Is d(4) a prime number?
True
Let d = 12 - 0. Suppose -3*o + 109 = -2*c, 4*o = 4*c + d + 136. Is o a composite number?
True
Let d = 10 + -10. Suppose 24 = 4*x - d*x. Is x composite?
Tr