 = b**3 + 4*b**2 + 4*b + 3. Let a be t(-2). Is (-16533)/(-21) + 4/(-42)*a a composite number?
False
Suppose 0 = -f + 2*f - 9. Let d(c) = -50*c + 6 + 86*c - 23. Is d(f) composite?
False
Suppose 16 = -4*t, 1442987 = 5*w - 2*t - 267526. Is w a composite number?
False
Let r(m) = 29634*m + 83. Is r(1) composite?
False
Is (-37)/(((-6)/307)/(-6))*-1 prime?
False
Let n = -103 + 105. Suppose -n*a + 1338 = -i + 4*i, 2*a + i - 1338 = 0. Is a a prime number?
False
Suppose -7*f + 6*f = -3. Suppose g - 4*b - 183 = -7*b, b = f*g - 509. Suppose -4*w - g = -3455. Is w composite?
False
Suppose 6*r - 34 = 4*r. Let k(m) = m + m - r + m**2 + 6. Is k(8) a composite number?
True
Let d(y) = -3*y + 11. Let m be d(5). Is (-385 - 3)/m - 0 composite?
False
Let s(q) = 40*q + 4. Let o(k) = k**2 - 7*k + 1. Let d be o(6). Let h be s(d). Let t = 327 + h. Is t prime?
True
Let n = -5558 + 11609. Is n composite?
True
Let x(g) = -g**3 + 4*g**2 - 24*g + 20. Is x(-11) a composite number?
False
Let w = 4 + 0. Suppose -3*n = 3*l - 21, 0 = -5*n - 0*l - w*l + 33. Suppose -10 = -f + 2*b - 1, n*b + 16 = 2*f. Is f prime?
True
Let o = -332 + 517. Is o composite?
True
Let p(o) = -o**3 + 10*o**2 + 4. Let n be p(10). Suppose n*r - 2 - 2 = 0. Is r/2 + 11812/8 prime?
False
Let g(w) = 97*w**3 - 16*w**2 + 30*w + 13. Is g(6) a composite number?
True
Suppose -6*g + 16 = -2*g. Let f be 22/(34/(-8) + g). Let c = -14 - f. Is c a composite number?
True
Suppose w = -4*n - 12 - 0, 5*n + 15 = -2*w. Let f be 113 - (4/(-2) + w). Suppose t + f = 486. Is t prime?
False
Let n = 143 + 11516. Is n composite?
True
Let n(j) = 20*j**2 - 3*j + 15. Is n(-6) a prime number?
False
Let q(w) = w**3 + 6*w**2 + 14. Suppose -2*r - 9 - 3 = 0. Let b be q(r). Is (-2)/b - (-778)/7 composite?
True
Let y be (-10)/40 - 1282/(-8). Suppose 4*q = -2*s - 0*q + 4438, 4441 = 2*s + 3*q. Suppose 0 = -5*i - y + s. Is i a prime number?
False
Let n be -39*(-32)/(-42) - (-2)/(-7). Let q(t) = -3*t**3 - 2*t**2 - 1. Let z be q(-4). Let x = z + n. Is x composite?
True
Suppose -8 = -3*f + 7, -5*f - 1146 = -p. Is p composite?
False
Suppose -2*l = 3*u - 34099, -u + 56*l - 54*l + 11377 = 0. Is u prime?
True
Suppose 4*z + 47 = -5*s, -4*z - 3*s = -5*z - 16. Let m = 15 + z. Suppose -132 = b - m*p - 469, 674 = 2*b - p. Is b a composite number?
False
Let u(f) = -f**2 + 7*f. Let w be u(7). Suppose -o + w*o + 785 = 0. Is o a composite number?
True
Let z(b) = 11*b + 5*b**2 - 10 - b**2 + b**2 - 3*b**2. Let c be z(-10). Suppose 0 = 2*l - 6 - c. Is l prime?
True
Suppose 5*u - 6*u - 3*o + 19229 = 0, 2*u = -4*o + 38454. Is u prime?
False
Let y be 2*(-3)/2 - -76. Suppose -1654 = -3*m - y. Is m a prime number?
False
Suppose -3*z + f + 64 = 0, 5*z = z + 3*f + 92. Let j = z - 21. Let i(w) = -92*w + 2. Is i(j) prime?
False
Is (-933)/(-2)*(-2 - (-620)/15) a composite number?
True
Let k(a) = -a + 6. Let y be k(6). Is y - (-7 - -3) - -245 a prime number?
False
Let g = -8 + 12. Suppose a + g = 2*a. Suppose 63 - 211 = -a*z. Is z prime?
True
Let t = 1465 + 1782. Is t a composite number?
True
Let a(o) = o**3 - o**2 - 3*o + 1. Let l(z) = z**3 + 8*z**2 + 2*z + 2. Let y be l(-8). Let i be y + 19 + 2/(-2). Is a(i) a prime number?
True
Let z = -7824 + 13723. Is z prime?
False
Let w = 43596 - 11455. Is w a prime number?
True
Let z(o) = -4*o - 17. Let w be z(-5). Suppose -3*s + 3*h = -5*s + 229, -5*h + 342 = w*s. Is s composite?
True
Let t(x) = -x**2 - 7*x + 16. Let m be t(-9). Is (25/25)/(m/(-542)) prime?
True
Let l = 216 - -137. Is l a prime number?
True
Let h = 9518 + 38087. Is h a prime number?
False
Suppose 4*g + 3*j = -j - 52, g - 17 = 5*j. Let a(o) = -17 - 3*o - 3*o - 8*o - 10. Is a(g) composite?
True
Let c(h) = -32*h + 42241. Is c(0) a composite number?
True
Let j = 2743 + -1012. Is j composite?
True
Let s = -21 + 17. Let w = 14 + s. Is (-4)/(-10) - (-1146)/w a composite number?
True
Let y = 5 - 2. Let x(i) = 2*i**3 + 6*i**2 - 10*i + 3. Let a be x(4). Suppose y*j = -4*r + a - 70, r = -j + 40. Is j prime?
True
Let x(h) = -64*h**2 + 7*h + 14. Let l be x(-4). Let d = l - -1669. Is d prime?
True
Suppose 5*l + 74388 = 4*u, -141737 = -5*u + 3*l - 48752. Is u composite?
True
Let p = -5 + 5. Let j be (-4)/(-12) - (-58)/(-3). Let y = p - j. Is y a prime number?
True
Let z(v) = -v + 1. Let x be z(-4). Suppose -5*c = -3*a + 29, -x*a + 6*c - 3*c = -27. Suppose 0 = 4*s - a*p - 1231, 2*s - 3*p - 222 = 395. Is s prime?
True
Let t(j) = j**3 - 12*j**2 + 9*j + 7. Let g be t(9). Let s = g - -834. Is s a composite number?
True
Suppose 11 = 2*t + 1. Suppose -m + 106 = 5*y, 0 = -t*y - 4 - 1. Is m composite?
True
Let s be (-30)/(-2)*(-251)/(-3). Suppose -6*p + p = -s. Is p a prime number?
True
Is 100/175 + (-32455)/(-7) prime?
True
Let j(t) = -3*t. Let a(d) = -d**2 + 3*d - 3. Let z be a(2). Let w be j(z). Suppose -556 = -w*g + 17. Is g a prime number?
True
Let u = 387 - 262. Is u + 2/(4/4) prime?
True
Is (1724/3)/(-5 - 85/(-15)) a composite number?
True
Let l(v) be the first derivative of 40*v**3/3 + v**2 + 37*v + 4. Is l(9) a composite number?
True
Let x = -640 - -3939. Is x a prime number?
True
Suppose 0 = -b + 2239 + 1218. Is b composite?
False
Let v(t) = t**2 - 3*t + 15. Let x be v(7). Let r = 61 - x. Is 1158/4 - r/(-12) prime?
False
Let f(x) = x**3 - 5*x**2 + 6*x - 6. Let w be f(4). Suppose -w*d + 1122 = 4*d. Is d a composite number?
True
Suppose -2*v + 5*z = -1689, 4*v - 3383 = 8*z - 3*z. Suppose 0 = 5*c - v - 2058. Is c prime?
False
Let g(b) be the third derivative of -b**4/12 - 2*b**2. Suppose f + 7 = 2. Is g(f) composite?
True
Let v = 13 - 5. Suppose -3*d = -12, 2*d - v = -5*w + 30. Let g = w + 16. Is g composite?
True
Suppose 0 = 3*q - 0*q - 30. Suppose -5*f - 4*s + 3 = -6*s, q = -2*f - 2*s. Is 2028/(-6)*f/2 a composite number?
True
Suppose 18389 = 5*w + 3294. Is w a composite number?
False
Let h(m) = -12 + 15*m**2 + 17*m**2 - 28*m**2 - m**3. Is h(-9) a prime number?
False
Let o = 147 - 68. Suppose s + 2*t = 99, -s - 3*t = -2*s + o. Let l = s - -54. Is l prime?
False
Let d be 21/14 - 3/(-6). Suppose -3*l = k - d*k + 5, -l - 20 = -2*k. Suppose -k*j - 1497 = -14*j. Is j composite?
False
Let c(v) = -v**2 - v + 407. Suppose 0 = 5*n + 2*a + 8, -4*n + 4*a + 16 = -0*n. Is c(n) a composite number?
True
Let n(u) = 9*u**3 - 7*u**2 - 3*u + 6. Is n(5) prime?
True
Let t = 11 - 11. Suppose 3*a + a + 24 = t. Is 446*((-3)/a + 0) composite?
False
Suppose -3*v + 22184 = 5*d, -7*d + 4*d = -3*v + 22224. Is v composite?
True
Let w(c) = 24*c**2 + 8*c + 3. Let v be w(-7). Suppose x - v - 1895 = -l, -3*l = 4*x - 12068. Is x/8 - 1/(-4) a composite number?
True
Let w = 58 + -58. Suppose 5*j - c = 6996, w*j = -2*j - 3*c + 2795. Is j composite?
False
Is 3*(211/(-5))/((-10)/50) a composite number?
True
Let g(v) = -v**2 - 4*v + 5. Let b be g(-4). Suppose -27 + 7 = -4*i, 0 = b*q - 3*i - 15. Let a(l) = l**3 + 4*l**2 + 6*l - 5. Is a(q) composite?
True
Let c be (0 + -1)*2 - -1162. Let r = c - 825. Is r a composite number?
True
Suppose -228 + 1139 = m. Is m composite?
False
Let x = 20213 + -6256. Is x composite?
True
Let f = -6428 + 39465. Is f a prime number?
True
Suppose 0 = -h - 4*d + 2, 0*h - d - 8 = -4*h. Suppose 0*z = z - h*g - 57, 4*g = 3*z - 167. Is z a prime number?
True
Let x(b) = b**3 + 10*b**2 - 11*b - 3. Let o be x(-9). Suppose -d = 2*d - o. Is d composite?
False
Let h be -2 - (9 + -10)*(-3 + 1). Is (589/62)/((h/(-2))/20) a composite number?
True
Suppose 5*h + 18 - 48 = 0. Suppose -171*t = -157*t - 28. Suppose h*n = n + t*y + 6067, 2*y = n - 1215. Is n a prime number?
True
Let r be (-2)/(-8) - (-2574)/8. Suppose a + 182 = m, -2*m + 5*a = -r - 27. Is m prime?
False
Suppose 2*h + 2*s = 21818, -4365 = 4*h - 2*s - 47989. Is h prime?
False
Let y(a) = 29*a - 1. Let w(v) = v**3 - 5*v**2 + 6*v - 4. Let o be w(4). Let l be y(o). Let g = -64 + l. Is g composite?
True
Let z = 20 + -19. Is 2 - ((z - 0) + -148) prime?
True
Suppose l = -0*q - 4*q - 17, 5*q = -25. Suppose 287 = 5*u - 2*j, 0 = l*u + u + j - 240. Is u composite?
False
Let p(f) be the third derivative of f**4/3 + 31*f**3/6 - 12*f**2. Is p(7) a prime number?
False
Let o = 651 - -1868. Is o a composite number?
True
Suppose -3*b - 2*f = -4, 2*b = 4*b - 4*f - 8. Suppose -15*r = -13*r + b. Is (0 - 294)*r - 1 composite?
False
Let y(g) be the third derivative o