a - 314, 3*f + f = a + 1271. Let r be 3/((-3)/f*-3). Let y = -47 + r. Is y composite?
False
Let k = 14 - 9. Suppose -2426 = -k*b - 601. Is b prime?
False
Let n(t) be the first derivative of t**3/3 - 3*t**2/2 - 2*t - 1. Let z be n(4). Is (-6)/z + 89 + 5 composite?
True
Suppose -u + 2*r = -325, 0*u = 5*u + 5*r - 1700. Is u a composite number?
True
Let c = 14 - -131. Suppose 0 = p + 2*p + 5*x - c, 2*x = -4*p + 212. Is p a prime number?
False
Let z(u) = 15*u + 40. Is z(7) composite?
True
Suppose -5 = n + 3. Let s(d) = -d**3 - 7*d**2 + 9*d + 11. Let l be s(n). Suppose -3*r - 4*z = -13, -5*z = l*r - 5 - 6. Is r a prime number?
True
Suppose -3*y = 2*y. Suppose y = 4*h - 3*h + 3. Is (-1 + (-2)/h)*-141 a composite number?
False
Let q(g) = g. Let j(f) = 180*f. Let n(z) = -2*j(z) + 14*q(z). Is n(-1) prime?
False
Let n = 311 - 213. Let x = 29 + n. Is x a composite number?
False
Let q be (36/(-24))/((-6)/40). Suppose q*n = 7*n + 66. Is n a prime number?
False
Suppose 0*y - 4*y + 3164 = 0. Is y prime?
False
Let f(d) = d**2 - 4*d - 9. Let y be f(8). Suppose 4*k - 181 = y. Suppose 0 = 2*w - k + 13. Is w composite?
False
Let g be (-6)/9 + (-186)/(-9). Suppose 0 = -h + 2*a + a + 14, 5*a = 5*h - g. Is (h - 2)/((-3)/21) prime?
False
Let p = -11 + 13. Is p - 2/(-2) - -44 prime?
True
Let j = -768 + 2921. Is j a prime number?
True
Suppose 5*t + 486 = 3*d + 1447, -4*t - 3*d = -785. Is t a composite number?
True
Let u be 68/20 + -3 + (-3474)/(-15). Suppose 2*x = -v + 115 + 651, -x = -3*v - 369. Let c = x - u. Is c a prime number?
True
Suppose 18 = 5*k - 2*k. Suppose 2*d - k = -d. Suppose -5*x + 4*n + 105 = -6, 8 = -d*n. Is x composite?
False
Let o(d) = 396*d**2 - 21*d - 11. Is o(6) composite?
True
Let t be 3 + (-6)/(-3) + -3. Suppose 0 = -2*v - 6 + t. Is -1 - -76 - (v - 0) a composite number?
True
Suppose 9 = 4*b - d, -3*b - 3*d + 2 = -1. Suppose 19 = 3*h - 0*h - b*o, -4*o - 5 = 5*h. Suppose h*w - 137 = -2*m - 2*m, 5*m = 2*w - 99. Is w a composite number?
False
Is 2394 - (34/(-30) + (-4)/(-30)) a prime number?
False
Suppose 106 = 4*p - 18. Suppose 3*n = -c + p + 275, -5*c - 4*n + 1519 = 0. Is c a composite number?
True
Let k(w) be the first derivative of -w**4/4 + 3*w**3 + w**2 + 4*w - 9. Suppose -5*n - 4*r + 11 = -14, 37 = 3*n - 2*r. Is k(n) a composite number?
True
Let y = 4 + -2. Suppose -5 = -y*b + 1. Suppose -b*r - 4*p = -3*p - 108, 4*r + p = 143. Is r prime?
False
Let o(z) = z**2 - 2*z + 47. Suppose 0 = s - 4*g + 1 - 5, -5*g = 3*s + 5. Is o(s) prime?
True
Suppose 2*d = 6*d. Suppose -j = 6*f - f - 80, -4*f - j + 65 = d. Suppose -6 - f = -3*o. Is o composite?
False
Suppose -2*p = -3 + 9. Is 48 + 1*p/3 a prime number?
True
Suppose 16*l = l + 31425. Is l a prime number?
False
Let m be ((-6)/4 + 0)*-8. Suppose 5*n - m = n. Suppose -4*i - 106 = -2*x - n*i, 2*i = 0. Is x composite?
False
Let r be 3/12*-2*-516. Is (-1 - -16)*r/18 a prime number?
False
Suppose -4*y = -v + 3*v - 424, -4*y = -4*v - 424. Is y a composite number?
True
Suppose -2*w - 5*y = -619, y + 332 = w - 4*y. Suppose -w = -5*q + 458. Is q prime?
False
Is ((-1044)/3)/(-4) - 2 a composite number?
True
Suppose -4*z + 946 = -606. Suppose g = -3*g + z. Is g composite?
False
Suppose 5*z = 2*v - 524, 0*z + 1038 = 4*v - 5*z. Is v composite?
False
Let l(y) = 30*y**2 + 11*y + 4. Is l(3) a composite number?
False
Is 6/24 - 2707/(-4) a composite number?
False
Let l = 7 - -109. Suppose -d - 5*v + l = 0, -v = 2 + 1. Is d composite?
False
Is (17 - 16)/((-1)/(-203)) composite?
True
Let m(c) = 2*c - 9. Let i be m(6). Suppose -i*u + 561 = -0*u. Is u a composite number?
True
Let m(r) = 14*r + 3. Let p be m(4). Suppose s + p - 237 = 0. Is s a composite number?
True
Suppose 0 = -4*s - 2*s + 7278. Is s a composite number?
False
Suppose -2*n - 5*o = -0*n + 3, 5*n - 21 = -3*o. Let m(p) = p - 5. Let v be m(n). Suppose -x - v = -54. Is x a prime number?
True
Suppose -2*x - 14 = 2*i + 2*x, 0 = -i - 5*x - 22. Suppose 976 = i*t + 55. Is t composite?
False
Let b(a) = 11*a - 6. Suppose -3*k + 0*f + 12 = f, 5*f - 18 = -k. Suppose 4*t - k*d = 17, -2*t + 3*d + 14 = 7*d. Is b(t) composite?
True
Suppose -6 = -u - 0*u. Is 898/u*15/5 a composite number?
False
Suppose 5*z + 45 = 5*t, 3*t = -z + 14 + 17. Let d = -3 + t. Is d a composite number?
False
Suppose 3*p + 105 = -3*d + 5*d, 3*p + 15 = 0. Suppose 0*m - m = -d. Let c = 100 - m. Is c composite?
True
Suppose a - 555 = -4*a. Is a prime?
False
Let y(t) be the second derivative of t**4/4 - 7*t**3/6 - t**2/2 + 3*t. Is y(6) prime?
False
Let c(g) be the first derivative of -7*g**4/4 + g**3 + g**2 + 3*g + 8. Is c(-2) a composite number?
False
Suppose -h = -159 - 214. Is h composite?
False
Suppose -9*m + 561 = -1338. Is m prime?
True
Let i(x) = -3*x - 3. Let l = -16 - -10. Is i(l) a composite number?
True
Let k = -297 - -508. Is k composite?
False
Suppose -3*i - 74 = -4*u + 106, -2*u - 2*i + 76 = 0. Let c be 4/14 + 786/u. Let w = c + 0. Is w a composite number?
False
Let v be -2*(-6)/(-4) - -7. Suppose -v*m + 25 = m. Suppose 0 = -8*d + m*d + 447. Is d composite?
False
Is 1*(1254 + (4 - 3)) a composite number?
True
Let j(o) = 3*o - 1. Let v be j(1). Is -26*(15/(-6) + v) prime?
True
Let u = 1 - -30. Let a = 62 - u. Is a a prime number?
True
Let g be 12/(-1)*2/(-4). Suppose 6 = 3*y - g*y. Is 1/y - 223/(-2) a composite number?
True
Let x = 690 + 127. Is x a composite number?
True
Is 8*(-218)/(-4) + 4 + -3 composite?
True
Let a(d) = -11*d + 12. Is a(-5) composite?
False
Suppose 3*d + 0 + 6 = 0. Let m be (1 - -2)*(-5 - d). Let c(n) = n**2 + 4*n - 10. Is c(m) composite?
True
Let w(o) = 61*o - 32. Is w(6) a prime number?
False
Let p = 103 + 31. Is p composite?
True
Suppose 2*x - x - 744 = 0. Let l = -477 + x. Is l a composite number?
True
Suppose 0 = 5*w - 15, -6*b - 23 = -b - w. Is (-122)/(-6) - b/6 a prime number?
False
Let z be (-1)/(-5) - (-728)/10. Suppose 5*j + 79 = 2*r, 2*j + z = 2*r + 3*j. Is r a prime number?
True
Suppose 5*r - 2*o - 165 = 0, 5*o = r - 0 - 10. Is r a prime number?
False
Suppose -4*v + 2*n + 692 = 0, 5*n - 2*n = v - 173. Let x = -108 + v. Is x a prime number?
False
Let b(n) = 234*n - 29. Is b(4) composite?
False
Let u be 0 + 114/((-9)/3). Is (u/3)/((-1)/3) composite?
True
Suppose 2 + 28 = -3*i. Let u be i/25 + (-147)/(-5). Let g = -18 + u. Is g a prime number?
True
Let h = -679 + 1331. Suppose -1520 = -4*k + 4*d, -3*k + 2*d = -485 - h. Is k a prime number?
False
Is 194/4*(24 + -22) composite?
False
Let q(i) = -i**2 - 6. Let k be q(0). Let h be -3*1*14/k. Let s(z) = z**3 - 5*z**2 - z - 8. Is s(h) a prime number?
True
Let h(m) = m**2 + 2*m + 3. Let y be h(-3). Suppose 2*t + 2*n + 58 = 4*t, -3*n = -y. Is t prime?
True
Let q(i) = -3 + i**3 - 3 + 6*i**2 - 2*i**2 - 4*i. Let x be q(-4). Is x/2*-1*-53 a composite number?
True
Let i = -2856 - -1599. Let h = i - -2234. Is (-1)/(-6) + h/6 a composite number?
False
Let j(h) = -2*h**3 - 8*h**2 + 3*h + 16. Let t be j(-7). Let s = 160 + t. Is s composite?
False
Suppose 3*f + 2*n + 22 = 10, 5 = 2*f - 3*n. Let m(b) = -146*b + 1. Is m(f) prime?
True
Suppose 4*t + 363 = 5*t. Let x = t + -214. Is x composite?
False
Suppose -8*r + 531 = 219. Is r prime?
False
Let i(x) = -2*x + 3. Is i(-14) composite?
False
Suppose -4*m + 16 + 20 = 0. Suppose -m = -4*b - 1. Suppose -228 = -b*p - 2*p. Is p a prime number?
False
Let z(f) = f**3 + 7*f**2 + 7*f + 7. Let d be z(-6). Let a be d*(-4)/((-12)/(-63)). Is 1474/8 - a/28 prime?
False
Let n = 7 - 46. Let t be n/(-15) - 4/(-10). Suppose -t*b + 123 = 3*a, -4*a + 10 = 2*b - 146. Is a a prime number?
True
Suppose -90 = -3*s - d + 77, 0 = 3*s - d - 163. Let f = -9 + s. Is f composite?
True
Let t(z) = -z**3 + 6*z**2 - 6*z + 2. Let o be t(-5). Suppose -1250 = 5*q - 380. Let s = o + q. Is s a prime number?
False
Let z(j) be the first derivative of -26*j**2 - 6*j + 3. Let g be z(5). Is (-1)/(-3) + g/(-3) a prime number?
True
Is 964*1/2 + 5 prime?
True
Let h = 19 - 17. Suppose -172 = -h*n + 18. Is n a prime number?
False
Suppose -2*i - i + 12 = 0. Suppose -a + 5*p + i = 0, -6*p + p = -3*a + 12. Is a a prime number?
False
Suppose -16 = -4*h + 4*n, 4*h - n - n - 8 = 0. Let p(x) = -x**2 + 2*x - 1. Let u be p(2). Is h - u - (-24 - 1) a prime number?
False
Let c(t) be the second derivative of -t**4/12 + t**3/6 + 3*t**2 + 4*t.