 + d. Is k a composite number?
True
Let k(a) be the second derivative of -245*a**3/3 - 12*a**2 - 24*a. Is k(-5) prime?
False
Let h = -247 - -4224. Is h a composite number?
True
Let l = 35 - 31. Suppose l*q - 790 - 246 = 0. Is q a composite number?
True
Let l = -10409 + 21282. Is l prime?
False
Suppose 4*a = -5*z + 28, -18 = -2*z + 4*a - 9*a. Is z/(-14) + (-9373)/(-49) prime?
True
Suppose 4*l = -0*c + c + 78646, -2*l = -c - 39324. Is l a composite number?
False
Let x(y) = 2*y**3 + 19*y**2 - 7*y - 13. Is x(9) composite?
True
Let v = 3889 + -1728. Is v composite?
False
Let y(j) = 18*j**2 - 14*j + 5. Let a be y(-8). Suppose 2*t - 689 = a. Is t composite?
True
Let c = -1231 + 1740. Is c prime?
True
Let j be 1/((-130)/25 + 5). Let k(g) = 67*g**2 - 2*g - 12. Is k(j) a composite number?
True
Let f = 54 - 52. Suppose 758 = f*m - 5*a, -4*m = 3*a + 289 - 1805. Is m a composite number?
False
Suppose 2*h - 1345 = -4*k + 7*h, 2*h = 3*k - 1007. Suppose -y + k = -44. Is y a prime number?
True
Let q = -251 - -376. Let c be q/45 + 4/18. Suppose -256 - 329 = -5*p + 5*y, c*p + y = 335. Is p prime?
True
Let k = 2566 - -7701. Is k a composite number?
False
Let z(n) = 54*n - 7. Suppose 0 = 4*p, 2*v = -0*p - 4*p + 4. Let r be 4 - (-3 + v + -2). Is z(r) a prime number?
False
Suppose -27*o - 3 = -28*o. Suppose 0 = m + 1, 5*l - m - 22 + 1 = 0. Let f = o + l. Is f prime?
True
Let k(g) = 3*g - 8. Let y = 7 - 0. Let w be k(y). Suppose -w = 5*m - 198. Is m a composite number?
False
Suppose 2*a - 25 = -7. Let d = a - 10. Is -2 + (-21*9)/d prime?
False
Let z be (3570/9)/7*9. Let r = 139 - z. Is (16 - 18)*r/2 prime?
False
Suppose -3*f + 24 = -5*r, -4*r + 22 = 3*f - 29. Suppose 0 = 5*m + 412 + f. Let x = -3 - m. Is x composite?
True
Let q(x) = x**3 - 2*x**2 - 9*x + 9. Let o(v) = v**3 + 6*v**2 + 3*v - 4. Let w be o(-4). Let r = -9 + w. Is q(r) composite?
False
Let g = 24 + -23. Is ((-869)/(-4))/((-3)/(-12)*g) a composite number?
True
Let r be (1 - -113)/((4 - 4) + 1). Is (-102)/8*(r/(-9) - -6) prime?
False
Let c(b) = 4*b + 2 - 3*b**2 - 3*b - 254*b**3 + 3*b - 5. Let m(u) = -u**3 + u. Let a(i) = c(i) - 6*m(i). Is a(-2) prime?
True
Let h = -28 - -18. Let u(g) be the third derivative of -7*g**4/12 - 13*g**3/6 - 24*g**2. Is u(h) prime?
True
Let c = -14086 - -23673. Is c composite?
False
Suppose -19404 = 9*q - 82458. Suppose -4*y + 1208 = 2*w - q, 3*y - 8216 = -2*w. Is w a prime number?
True
Let c = 18748 - 10289. Is c a prime number?
False
Let h be (-2 - 2/(-6))*9. Let s be (-3)/h + (-12)/(-15). Is 2 + (s - 102/(-3)) a prime number?
True
Suppose -22*n = -29*n + 137333. Is n a prime number?
False
Let n(t) = 4*t**2 + 8*t - 6. Let h be n(-3). Let y(o) = 15*o**3 + o**2 - o + 7. Is y(h) a composite number?
True
Let x = -45 - -1772. Is x a composite number?
True
Suppose -5*w = -26 - 54. Suppose w = 4*g + 4*v, -5*v = -6*g + 3*g - 28. Is 206 + 20/5 - g a prime number?
True
Let j = -89 - -159. Suppose -5*g - 621 = -3*n, n - 154 = -4*g + j. Suppose 2*k + 2*k - n = 0. Is k prime?
True
Let h(x) = 3*x**3 + x**3 + 4 - 44*x - 3*x**3 + 10*x**2 + 28*x. Let i(u) = -u**2 - 10*u + 13. Let n be i(-12). Is h(n) prime?
True
Let c(m) = -m**2 - 4*m. Let g be c(-4). Let p be (6*(g - 1))/2. Is (-2)/p*-3 - -141 prime?
True
Let s = -5 - -7. Suppose -5*l - 3*d = -25, -2*d + 28 + s = 5*l. Is -34*((-4)/l + -1) a composite number?
True
Suppose -4*p - p - 20 = 0. Let s(y) = 2*y**2 + 6*y + 1. Let a be s(p). Let v = 6 + a. Is v a composite number?
True
Let p(k) = -k**2 + 19*k - 24. Let m be p(14). Suppose j - 327 = -m. Let o = -58 + j. Is o composite?
False
Is 15448/6*-3*2/(-8) a composite number?
False
Suppose -593*g = -602*g + 34137. Is g composite?
False
Is (-1156 - (7 - 12))*(-2)/2 a composite number?
False
Suppose 26767 - 208920 = -19*i. Is i a prime number?
True
Suppose 0*p - 3*p = -39. Let n = p + -8. Suppose n*x - 451 = -2*m + 6*m, 269 = 3*x - 4*m. Is x a prime number?
False
Let s be (-14)/(-6) - (-2)/(-6). Suppose 2*w + 6036 = 5*g - 3705, s*g + 3*w - 3904 = 0. Is g a composite number?
False
Suppose -2*q = 4, -2*q - 28117 = 9*j - 12*j. Is j prime?
True
Suppose -4*z - 193 = h, -1 = -3*z + 2. Let w = h + 288. Is w a prime number?
False
Let h(p) = p**3 + 22*p**2 - 36*p + 29. Is h(-18) a prime number?
True
Suppose -2*h + 159042 = 4*b, b + 9*h - 39768 = 10*h. Is b a composite number?
True
Let g(v) = v + 3. Let w be g(1). Suppose 4*i + 4*j = 2788, -w*j - 131 - 1988 = -3*i. Is i composite?
False
Suppose 2*s - 20678 = -5*s. Suppose p = 2*x + 407 + s, x = -5*p + 16794. Is p composite?
False
Suppose 0*o - 2*o = -3*v - 34, 3*v - 17 = -o. Suppose -o*z + 4916 = 1329. Is z a composite number?
False
Let o(r) = 20083*r**2 - 2*r + 3. Let x be o(1). Suppose 3*u - 7*u - 2*b - 40164 = 0, 2*u + 2*b + x = 0. Is 2/3 - u/24 prime?
True
Suppose -8*c - 22 = -19*c. Suppose -8*p + 9550 = c*p. Is p a prime number?
False
Let p = 2839 + -594. Is p composite?
True
Let w = 6 + -2. Suppose 974 - 354 = w*d. Is (d/15)/(3/117) a composite number?
True
Suppose 9*d + 2 = 8*d. Let s be 2*(-2)/d*-1. Is -382*-1*s/(-4) composite?
False
Let g be ((-18)/36)/((-1)/10). Suppose -4*v - o + 1054 = -3*o, g*v - 4*o - 1313 = 0. Is v composite?
True
Let b = 2197 + -757. Let q = b + -971. Is q composite?
True
Let u = -15 + 13. Let g(m) = -2*m**2 + 7. Let d(k) = 5*k**2 - k - 21. Let t(v) = u*d(v) - 7*g(v). Is t(9) a composite number?
True
Let u(l) = l**3 - 8*l**2 - 12*l + 30. Let z be u(9). Suppose 5*h = z*t + 10739, -2*h + 6*h = 5*t + 8586. Is h composite?
True
Let n(g) = -160*g + 8. Let l(z) = -z. Let f(q) = -3*l(q) - n(q). Let c be f(2). Is -8 + 12 - (-1 - c) a composite number?
True
Let l(g) = -g**3 - 21*g**2 - 26*g - 53. Let t be l(-16). Let f = t + 2260. Is f prime?
False
Suppose 3*c = 3*r + 7*c - 1345, -r + c = -439. Is r prime?
True
Let x(s) = -73*s - 1. Let d = 10 - 12. Is x(d) a composite number?
True
Let t = -679 - -100. Let r be 1127 + (6 + -7)*7. Let c = t + r. Is c prime?
True
Suppose -1 = -4*b + 3*b, -4*b + 14 = 2*q. Suppose 1555 - 5270 = -q*t. Is t composite?
False
Let k(v) = -v**3 + 11*v**2 - 2*v + 22. Let h be k(11). Suppose h = -3*x + p + 751, -2*x - 3*x + p + 1249 = 0. Is x a composite number?
True
Let k(j) = -j + 10. Let y be k(7). Suppose -y*n = 6*n - 23697. Is n a prime number?
True
Let f(a) = 58*a**2 - 5. Let l be f(-3). Let b = l + -187. Suppose b + 796 = 2*i. Is i a prime number?
True
Is -2 - (-7 + 0 + -50) a prime number?
False
Let f be 6 - 1 - (-15418 + -18). Let l = f + -10750. Is l composite?
False
Let h = 60010 - 35663. Is h composite?
True
Suppose 0 = 5*y - w - 19287 - 39038, -3*y = w - 34995. Suppose 11*q - 6*q = y. Is q composite?
False
Let m(d) = 1396*d + 49. Is m(3) prime?
False
Let n = 32 - 23. Suppose n - 4 = d. Suppose -4*t + 174 = d*h, 4*h = -2*t + 2*h + 88. Is t a prime number?
False
Let m = 581 - 192. Is m prime?
True
Let a be -2*(-6)/4*2578/6. Suppose -a = -4*x + 1035. Is x a composite number?
True
Let k be (-1 + 2 - 9/(-3)) + 1905. Let w = 3548 - k. Is w a prime number?
False
Suppose -6*y + 5*y - 2*l = 1200, 2403 = -2*y - 5*l. Let q = -325 - y. Is q prime?
False
Let f(m) = m**3 - 3*m**2 + m + 2. Let x be f(2). Suppose -4*n + 7*n = x. Let d(p) = -p**2 + 1009. Is d(n) prime?
True
Suppose -2*n = 2 - 4. Is n/((-66)/(-124) + 8/(-16)) prime?
True
Suppose d = -0 + 10. Suppose -2*p + 187 = -6*p + 3*t, -2*t + 53 = -p. Let z = d - p. Is z composite?
False
Suppose h + 16 = -3*h. Is 6*207/6 - h prime?
True
Let n(l) = 147*l + 23581. Is n(0) prime?
True
Let k(p) = -p**3 + 39*p**2 + 32*p - 69. Is k(-28) a prime number?
True
Let u(j) = 210*j**2 + j - 6. Let z(n) = -210*n**2 - 2*n + 7. Let b(l) = 5*u(l) + 4*z(l). Is b(-1) a prime number?
True
Suppose 3*a + 27346 = j - 30534, 57900 = j + a. Is j a composite number?
True
Suppose -3*g = g - 52. Suppose -7*d + 3*d + 80 = 0. Suppose g + d = q. Is q a prime number?
False
Suppose u = 3*s - 30, -10 = -s - 2*u - 2*u. Let o = -6 + s. Suppose 17 + 59 = o*h. Is h composite?
False
Let p(i) = -107*i**2 - i + 6. Let k(t) = -t**2 + t + 1. Let m(g) = 4*k(g) - p(g). Let l be m(7). Suppose 2*h + l = 10*h. Is h a composite number?
True
Suppose 0 = 6*m - 3*m - 5*k - 51190, 0 = -m - 5*k + 17070. Is m prime?
False
Let n = 14 + -11. Suppose 0 = -n*a + 3*k - 4*k + 36, -5*k + 26 = a. Suppose -6*r - 415 = -a*r