 a composite number?
True
Let k(j) = j. Let t be k(-4). Let b(o) = o**3 + 7*o**2 + 4*o + 3. Let i be b(t). Suppose 0 = -8*q + 3*q + i. Is q composite?
False
Let g = -10 + 10. Suppose 5*w - 3*s = 368 + 84, g = 5*w - 5*s - 450. Is w composite?
True
Let g(z) = -z + 1. Let l(p) = -4*p**2 + 4*p - 3 + 2*p**2 + 2. Let w(b) = 3*g(b) - l(b). Is w(5) a composite number?
False
Suppose a + 4*a = 15, 20 = 4*w + 4*a. Let n = w + 31. Is n composite?
True
Let u be (-3)/(-2 - 1)*4. Let m be (-94)/(-6) + u/(-6). Is 696/m + (-2)/5 a prime number?
False
Let p(i) = 2*i + 13. Is p(-3) a composite number?
False
Is 6/8 + (-30992)/(-64) prime?
False
Let q be ((-1)/3)/((-3)/27). Suppose 45 = -3*m - 4*g, -m + 2*m + 20 = -q*g. Let t = -4 - m. Is t a composite number?
False
Let f(o) = o**2 - o. Let q be f(2). Suppose -5*w = -q*w - 201. Is w a prime number?
True
Let c(x) = -5*x - 1. Let s be c(-1). Is (26/s)/(1/6) a prime number?
False
Let q = 525 - 178. Is q prime?
True
Suppose 8*n - 4*n - 20 = 0. Suppose n*r = -0*r + 715. Is r a composite number?
True
Let l be (4 - 2) + 3 + 1. Suppose l*n = 2*n + 44. Is n composite?
False
Suppose -3*g + 3928 = 5*g. Is g composite?
False
Is (-1)/2*4 - -37 a composite number?
True
Let t(w) = -30*w + 11. Is t(-8) a prime number?
True
Let g be (-6)/4 + (-117)/(-6). Let l be (-328)/g + 10/45. Is (-950)/l - (-16)/72 prime?
True
Is 15426/22 - (16/22)/4 a prime number?
True
Suppose 2*q - 5*f + 31 = 0, 2*f = -5*q - 0*f - 5. Let k(s) = 4*s + 24. Let h be k(-5). Is h + 4 + q + 1 a composite number?
True
Let h = -2 + 2. Suppose b - 4 = h, g - b - 38 = -g. Is g prime?
False
Suppose 5*o + 2*q = 4*q - 28, 3*q = -2*o - 15. Let x = -5 - o. Is 0 + (-1 - -14) + x prime?
False
Let v be 8 - 5 - (1 + -2). Suppose 18 = v*t - 170. Is t a composite number?
False
Let s(o) = 29*o**2 - 7*o + 11. Is s(4) a composite number?
True
Let t = -1 - -3. Suppose t*f - 182 + 4 = 0. Is f a composite number?
False
Suppose -y + 4 + 29 = 0. Suppose 4*g = y + 115. Is g a composite number?
False
Suppose 2*g = -3*m + 933, 0*m - 621 = -2*m - g. Is m a prime number?
False
Let n = -22 + 19. Is (1 - (0 + n)) + 255 a composite number?
True
Let k = 803 + -432. Is k composite?
True
Let y(o) = o**2 - 6. Suppose 0 = 4*d - 3*d + 5. Is y(d) composite?
False
Let u(s) = 2*s**2 + 12*s - 15. Is u(7) a composite number?
False
Let j(c) = 6*c + 10. Let g(o) = 18*o + 29. Let p(s) = -3*g(s) + 8*j(s). Suppose -5*a - 40 - 10 = 0. Is p(a) a prime number?
True
Let n(x) = 7*x**2 + 19*x + 7. Let t(k) = -11*k**2 - 28*k - 10. Let g(p) = -4*p**2 + p. Let u be g(-1). Let s(a) = u*t(a) - 8*n(a). Is s(-9) composite?
True
Let v = 8633 + -4842. Is v prime?
False
Suppose 5*p - 388 - 1002 = 0. Suppose -5*j - p = -3*b + 275, j + 114 = 4*b. Is 20*(j/(-8))/5 prime?
False
Let i = 0 - -4. Is 694*(10/i - 2) a composite number?
False
Suppose -5*a = -j + 21, -30 = -3*j - 3*a + 7*a. Let f be ((-2)/2)/((-3)/j). Is 49*(f + -1) + -2 a composite number?
False
Let a(f) = f**2 - 5*f - 1. Let n be a(6). Suppose -3*k + 3*t - 87 = -2*k, -n*k - t - 435 = 0. Is k/(-6) + (-1)/(-2) a composite number?
True
Let x(i) = 8*i**2 + 3. Let v(n) = 16*n**2 + n + 5. Let l(h) = 4*v(h) - 7*x(h). Is l(4) prime?
False
Is (-20825)/(-21) + 12/9 composite?
True
Let g be (-1545)/(-25) - (-2)/10. Let c = -37 + g. Is c a prime number?
False
Suppose -31 = -5*j - 0*j + 4*f, 0 = -5*j + 2*f + 23. Is (-34)/(-6) + 1/j a prime number?
False
Let f(d) = -d**2 - 2*d + 1. Let s be f(-3). Is (-3 + s)*(-70)/25 a prime number?
False
Suppose 2*f = 7*f - 25. Suppose -445 = -f*t - 60. Is t a prime number?
False
Let g(y) = 4*y + 3*y**3 - 1 - 5*y**3 + 2*y**2 + 0. Let d be g(-5). Suppose 5*z + 94 - d = 0. Is z a composite number?
False
Let v be 97/(3*(-1)/(-6)). Let d = v + -132. Is d prime?
False
Let q(m) = m**2 + 1. Let a be q(2). Suppose 4*x = -5*n + 193, -n = n + a*x - 84. Is n a composite number?
False
Let n = 0 + 5. Suppose -l - l + n*q = -181, 2*q = -6. Is l composite?
False
Let z(d) = -d**3 + 13*d**2 - 11*d + 10. Is z(11) a composite number?
False
Let x = -3 - 3. Let q be 2/x + 38/6. Suppose 0 = -4*b + w + 146, 2*b + 5*w - q*w - 72 = 0. Is b a prime number?
True
Suppose -8*x + 10122 = -4*x + y, -4*x = -y - 10126. Is x prime?
True
Suppose -4*s - l + 7392 = -0*s, 0 = 5*l - 20. Is s prime?
True
Let h(m) = -3*m + 2. Let t be h(3). Suppose -y - 4*s = -8, 5*y = -5*s - 0*s + 40. Let q = y - t. Is q a prime number?
False
Let a be (0*(-2)/4)/2. Suppose -y + 22 + 99 = a. Suppose 0*l = l - y. Is l prime?
False
Suppose -5*g - 1042 = -2*x - g, 5*x = -4*g + 2605. Is x composite?
False
Let y = -729 - -1232. Suppose 3*b = y + 1042. Is b prime?
False
Suppose -c = c - 2. Let s be 5/c + (-3)/(-3). Is s/9 + 73/3 prime?
False
Suppose -d = -5*q - 32, -5*d + 14 = 5*q + 64. Is (q - -6)/(1/(-10)) a composite number?
True
Suppose 2*o = 623 - 47. Let a = o - 103. Is a prime?
False
Is (123*1)/(21/14) composite?
True
Let r(h) = -h**3 + 3*h**2 + 2*h - 2. Let u be ((-3 - -2) + -3)/(-2). Is r(u) prime?
False
Let w = 59 + -44. Is w a prime number?
False
Is (-22437)/(-45) - 1*(-2)/5 a prime number?
True
Suppose -3*j + 4*l = -13 + 1, -j - 3*l = 9. Suppose 4*y - 4 = j, -2*m + y + 4*y = -261. Is m prime?
False
Is 2/2 + 1560 + 10 a prime number?
True
Let d(a) be the third derivative of -a**6/120 - a**5/20 + 3*a**4/8 + a**3/2 - 2*a**2. Is d(-8) composite?
False
Is (-5)/((-16)/(-24) - 418/618) prime?
False
Suppose -31 + 165 = 2*s. Is s a composite number?
False
Let l(x) = -138*x - 26. Is l(-4) a composite number?
True
Let i = 7 - 13. Is 3/(-6) + (-2889)/i a composite number?
True
Suppose 2*x = -5*w - 0 + 19, -7 = x - 3*w. Suppose 2*d = 3*s - 3*d + 1, -d - 4 = -x*s. Suppose -5*v + 425 = 5*n, s*v - 162 = v - 4*n. Is v a prime number?
True
Let w(p) = 2*p - 4*p**3 - 4*p**2 - 1 - 8*p + 6*p**3. Is w(8) a prime number?
True
Let z = 146 - -15. Is z composite?
True
Let z(o) = -7*o + 6. Let w(b) be the first derivative of -29*b**2/2 + 24*b - 1. Let a(y) = -2*w(y) + 9*z(y). Is a(-5) composite?
False
Let b(d) = 15*d - 5. Let t be b(8). Suppose 5*c + 5*q - 135 = 0, 3*c + 4*q + 29 - t = 0. Is c prime?
False
Suppose 4*k - 24 + 8 = 0. Suppose 32 + 96 = k*q. Let b = q + 27. Is b a composite number?
False
Let l = 1833 + -1160. Is l prime?
True
Suppose 3*h - 2*c = 2*h + 49, -2*c = -8. Is h prime?
False
Suppose j - 3 = -4*u - 0, -2*j - 4*u = -6. Suppose -1 = l + j. Is -46*(2 + 10/l) prime?
True
Let f = 10 - 5. Suppose -2*j = 4, f*x - 48 = -5*j + 37. Is x composite?
False
Let b(n) = 7*n - 4. Let t be b(2). Suppose -5*h + t + 9 = 3*m, 3*h + 64 = 4*m. Is m composite?
False
Let o(b) = b**3 - b**2 - 10*b + 9. Is o(7) a composite number?
False
Suppose 0 = 4*d - 11 + 3. Suppose 4*s = -2*h - 533 + 1379, -2*h = -d. Is s a composite number?
False
Let j be 20/6 + 4/6. Suppose -2*w = -0*w + 2*z - 14, 5*w - 7 = 2*z. Is j/3*w*1 a composite number?
True
Let v(a) = a**3 + 5*a**2 + 6*a. Let f = -7 + 3. Let r be v(f). Let u = 61 - r. Is u composite?
True
Let x be (3 + -2 + 0)*6. Suppose -3*d = -x, 4*r - 8*r = d - 6. Is 115/2 + r/(-2) a composite number?
True
Suppose 0 = -46*h + 49*h - 5505. Is h a prime number?
False
Suppose 5*p - 4*w - 8 = 0, -w = -2*p - 4*w - 6. Let x(h) be the third derivative of h**5/60 + 83*h**3/6 + 3*h**2. Is x(p) prime?
True
Suppose t = -2*v - t - 4, -7 = -v - 4*t. Let s(w) = 19*w - 19. Let g(b) = -9*b + 10. Let p(u) = -5*g(u) - 3*s(u). Is p(v) a prime number?
True
Let r(b) = -b**3 - 6*b**2 + 14*b + 6. Is r(-9) composite?
True
Let p(k) = -103*k - 5. Is p(-2) a prime number?
False
Suppose 0 = v + 56 - 257. Is v composite?
True
Let t = 708 + -459. Let k = t - -16. Is k composite?
True
Let j be 1/(-6) - 196/(-24). Is (-3)/(-4) + 1298/j a composite number?
False
Let k(u) = 115*u + 7. Suppose 2*l - 5*j + 1 - 34 = 0, -12 = 2*l + 4*j. Is k(l) prime?
True
Let j(o) be the third derivative of -o**6/120 - 7*o**5/60 - 11*o**4/24 - 4*o**3/3 - 3*o**2. Is j(-7) composite?
True
Let x(r) = r**3 - 4*r**2 + 6*r + 7. Let l be x(5). Suppose -j = j - l. Is j composite?
False
Let k = 3308 + -2113. Is k prime?
False
Suppose -3*b + 5*b - 5*f = 451, -5*b + 1080 = -3*f. Let w = b + -146. Is w composite?
False
Suppose 0 = -2*m + 288 - 1376. Suppose 5*l + 6110 = 1325. Let i = m - l. Is i prime?
False
Let a(v) = v + 7. Let j be a(-6). Let o be j + 