30 composite?
False
Let v(k) = 3*k. Let d be v(1). Suppose -d*w - 208 = -589. Suppose 0 = -0*b - b + w. Is b prime?
True
Let h = -9 - -12. Suppose 5*i - h = 7. Suppose 0 = o - i*q - 31, 28 = 3*o + 3*q - 83. Is o a prime number?
False
Let w(j) = 431*j - 1. Let i(g) = -431*g + 1. Let d(y) = -6*i(y) - 7*w(y). Let v be d(-3). Is (-18)/(-99) - v/(-22) composite?
False
Let p(b) = 26*b**2 - 6*b + 1. Let q be p(5). Let u = q + -420. Is u composite?
True
Let h = -36 - -39. Suppose p - m = 35, h*m = -2*p + 19 + 61. Is p composite?
False
Let m = -11127 + 28192. Is m composite?
True
Suppose -451427 = -44*x + 119649. Is x a prime number?
True
Let t = -3412 - -5721. Is t a prime number?
True
Let a(o) be the second derivative of 29*o**7/2520 - o**6/720 + o**5/120 + o**4/4 - 3*o. Let m(i) be the third derivative of a(i). Is m(-2) composite?
True
Suppose 27*p = 59751 + 28350. Is p prime?
False
Let x be (10/(-6))/((-11)/33). Let y(v) = -1 - x - 1 + v**2 + 3*v. Is y(-7) prime?
False
Let h(c) = -c**2 - 3*c. Let o be h(-2). Suppose 1 = k + d, -33*k = -35*k - 4*d + 2. Suppose 29 = o*y - k. Is y prime?
False
Suppose 1 = -v, 0 = -3*u + v - 25188 + 161320. Is u prime?
True
Suppose 5*h - 32 = 4*s, 4*h = 3*s + 2*s + 31. Suppose 4*i + 0 = b - 8, -3*i - 97 = -h*b. Is 15/2*b/6 a composite number?
True
Let w(m) = -817*m + 26. Let u(z) = 272*z - 9. Let t(j) = -17*u(j) - 6*w(j). Is t(3) a prime number?
False
Suppose 0 = 26*w - 32608 - 400890. Is w a composite number?
False
Let p be 0/(-22) - (1 + -15). Is (1113/p)/((-3)/(-58)) a composite number?
True
Let m be (-60)/(-9) - (4 - (-10)/(-3)). Let w(u) = 4*u**3 - 5*u**2 - 7*u - 1. Is w(m) a prime number?
True
Suppose 6*t + 56 - 74 = 0. Let z(u) = u**3 - 3*u**2 + u + 1. Let h be z(3). Suppose -3*g + 0*g + 1038 = 2*j, h*j + t*g - 2076 = 0. Is j composite?
True
Let f = -63 - -35. Let b = f + 30. Suppose -3*l - 6*p = -5*p - 934, 3*l + b*p - 935 = 0. Is l prime?
True
Suppose 193*b - 69614 = 191*b. Is b composite?
False
Suppose -12*d + 9*d + 12 = 0. Suppose 3*v - 11 = -2*m + 318, -d*m = -4*v + 472. Is v a prime number?
True
Suppose -12724 = -9*q + 7*q - 2*i, 4*q = 2*i + 25430. Is q a prime number?
True
Let k = -179 + 231. Suppose -75 = g - 6*g. Let s = k - g. Is s a prime number?
True
Let g be (-1146)/(-2) - (-30)/(-6). Let w = 3659 - g. Is w composite?
True
Let u = 71 + 48. Suppose -753 = -4*a - q, -a - 3*q + u + 72 = 0. Let m = a + 23. Is m composite?
False
Suppose -5*a + l = -144802, 2*a - 4*l - 29492 = 28418. Is a prime?
True
Let w(i) = -i**2 - 11*i - 30. Let r be w(-8). Is r*4/(-6) + (18 - 0) prime?
False
Suppose -4*g = -4*y - 364, 4*y + 4*g = -g - 337. Let o = 200 + y. Is o - (-6 - -3 - -2) prime?
True
Suppose -5*q - g = 37, 0 = 4*q - 0*q - 2*g + 24. Let m be (-6 - q)/(2/1016). Suppose -4*y = -144 - m. Is y prime?
True
Suppose -7143 - 1044 = -3*g. Is g a composite number?
False
Let j(n) = -n**2 + 9*n + 4. Let l be j(9). Suppose -4*y + 84 = -l*b, y - b + 94 = 5*y. Is y composite?
False
Let f(p) = 2*p**2 + 8*p - 4 + 9*p**2 - p**3 - 6. Let d be f(10). Suppose -4*r - 3*a = -827, 0 = -2*r - 3*a + 251 + d. Is r prime?
False
Suppose -73*z - s + 94403 = -70*z, -z = -4*s - 31485. Is z composite?
False
Suppose 5*y = 2*y, 5*a + y = -15. Let f be (-2)/a*45/6. Suppose -f*c - 658 = -7*c. Is c prime?
False
Let o = -7 + 10. Suppose c = 0, -o*z - 4*c - 3 - 3 = 0. Let u(s) = 9*s**2 + 3*s + 3. Is u(z) a composite number?
True
Suppose 3*j - 4*l - 5698 = 0, -13*l = -5*j - 14*l + 9535. Is j prime?
False
Let z = 326 - 6289. Let s = -2773 - z. Suppose 2*x - 1070 = x - 3*h, 3*x + 5*h = s. Is x a composite number?
True
Let n = -814 - -1983. Is n composite?
True
Let s(i) = 24 + 28 - 45 - 150*i. Is s(-3) a prime number?
True
Suppose -2*s = 2*q, 0 = -3*q - 4*s + 3*s + 10. Suppose c + 4 = -c + 2*m, -2*m = -q*c + 5. Suppose c*o + 402 = 3*a, -4*o - 243 = -2*a - 7*o. Is a composite?
True
Suppose i - 20 = -14. Suppose 4589 = -i*k + 12983. Is k a prime number?
True
Suppose -4*g + 2*q + 36 = -2*q, 4*g - 5*q - 34 = 0. Let p = -7 + g. Suppose 2*r - p*t = 998, -2*r = 2*r - 3*t - 2011. Is r a prime number?
False
Let t(c) be the third derivative of c**5/60 + c**4/6 + c**3/2 + c**2. Let v be (-1)/(10/8 + -1). Is t(v) prime?
True
Let c = 13 + -31. Let b be (-519)/c - (-1)/6. Is -2*b*21/(-6) prime?
False
Suppose -4*o + 5 = -2*g - 23, 3*o - g = 19. Let u be (-1917)/45 + (-2)/o. Let w = u + 64. Is w a composite number?
True
Suppose 56*i + 4430 = 61*i. Is i a composite number?
True
Let x be 6/2*-10 - -1. Let l(k) = 3*k + 11. Let j be l(-4). Is 2/(-1) + (j - x) prime?
False
Suppose -28*k = -33*k + 3730. Suppose -2*o = -0*o - k. Is o prime?
True
Let m(f) = -27*f**3 + f**2 - 10*f + 4. Let b be m(-4). Let w(j) = 2*j + 1. Let v be w(2). Suppose -n - b = -v*n. Is n composite?
True
Let a(p) = -p**2 - 7*p + 3. Let t be a(-7). Let j(r) = 1 - 3*r**3 - 5*r - 2*r**2 + 1 + 15*r**3. Is j(t) a composite number?
False
Is (8/(-24)*3)/(2/(-14902)) a composite number?
False
Let w(f) be the second derivative of f**3/3 - 11*f**2/2 - 7*f. Let d be ((-60)/8)/(3/(-6)). Is w(d) prime?
True
Suppose 0 = -4*s + 8, 0*j - 3*s = 3*j - 27. Let u(b) = 101*b + 12. Let o(v) = 50*v + 6. Let p(n) = -5*o(n) + 3*u(n). Is p(j) composite?
True
Is (-220752)/(-40) + (-2 - 55/(-25)) a prime number?
True
Let k(p) = 35*p**2 - 4*p - 8. Let g(u) = -72*u**2 + 8*u + 15. Let v(n) = 3*g(n) + 7*k(n). Is v(6) a composite number?
False
Let y be (-2 + (-23)/(-1))*-7. Let a = y - -314. Is a composite?
False
Let v(j) = 216*j**2 + 3*j + 10. Let d be (-9)/(-2)*(-2)/3. Is v(d) prime?
False
Let q = -68 + 70. Suppose -4*c + 2444 = 5*z - 1452, 987 = c - q*z. Is c prime?
False
Suppose 1259 = 2*r - 485. Let i = -335 + r. Is i prime?
False
Let l = 42 - 40. Let m(g) be the third derivative of 2*g**5/5 - g**4/12 + g**3/2 - 2*g**2. Is m(l) prime?
False
Let k(g) = 81*g - 5. Let u be k(4). Suppose 49 = 3*o + 3*s - 263, 287 = 3*o - 2*s. Suppose 4*x + o = u. Is x a prime number?
False
Suppose 5*p = -2*y + 32549, -5*p + y + 17574 = -14984. Is p a prime number?
False
Suppose 3*k + 5*t - 75 = 8*k, 5*k + 105 = -t. Let p = 26 + k. Suppose -5*q - 127 = -p*q. Is q a prime number?
True
Let s be 0*(15/(-12))/(-5). Suppose 3*k - 2*k - 237 = s. Is k prime?
False
Let z(n) = -21*n + 11. Let i be z(7). Is 1 - i*6 - 2 composite?
True
Let o(y) = 118*y + 177. Is o(10) a prime number?
False
Let b(w) = -8371*w + 1. Is b(-2) prime?
False
Suppose 892 = -2*o + 4*o. Suppose -o - 1899 = -5*s. Is s prime?
False
Suppose -2*b + 13 = 4*s - 9, 3*s + 4*b = 29. Suppose f + s*j - 374 = 377, 1502 = 2*f - 2*j. Is f composite?
False
Let a be (1 - 200/6)/(1/(-6)). Suppose -o + 713 = -a. Is o composite?
False
Suppose 7*k + 5*j + 5 = 2*k, 2*j = 3*k - 2. Let v be 2/(-4)*(-2 + 2). Suppose -5*f + 3*q + 3106 = v, k*q - 3*q = 4*f - 2501. Is f a composite number?
True
Suppose -1220 - 1961 = -i. Is i prime?
True
Let i(c) = 11*c**2 - 2*c + 1. Let s(m) = m - 1. Let x(n) = i(n) - 6*s(n). Is x(-6) prime?
False
Let h = -1 + 4. Let z = -3 + h. Suppose -4*c = 2*b - 2*c - 74, z = 3*c - 6. Is b a prime number?
False
Let w(a) be the first derivative of 2*a**3 + 13*a**2/2 - 6*a - 14. Is w(11) a prime number?
True
Let a(n) = n + 9. Let f be a(-7). Let i(l) = 49*l - 5. Is i(f) prime?
False
Let w = -34 - -35. Let b(h) = 298*h - 3. Is b(w) a prime number?
False
Let v(c) = 22*c**3 + 3*c**2 - 2*c + 3. Let f be v(2). Let l = -90 + f. Let t = l - 66. Is t prime?
True
Let w(u) = -u**2 - 5*u - 4. Let i = -3 - 2. Let f be w(i). Let a(v) = -v**3 + 5*v**2 + 4*v - 1. Is a(f) composite?
False
Suppose -4*j + 3*w + 2*w - 17 = 0, 0 = j - 4*w + 18. Let g = j - -19. Let p = g + 12. Is p prime?
False
Let z(d) = -3*d + 9*d**2 + 0*d - 16 + 17*d**2 + 20. Is z(7) prime?
False
Suppose -39 = 7*t - 95708. Is t a prime number?
False
Suppose -s + 1 - 13 = 0. Let g(k) = -k - 6. Let u be g(s). Is 3/u*-134*-2 a prime number?
False
Let u(z) = 9*z**2 - 17*z - 31. Let q(f) = 9*f**2 - 16*f - 30. Let n(t) = 7*q(t) - 6*u(t). Is n(11) a prime number?
False
Let h(f) = -7722*f + 23. Is h(-5) a composite number?
True
Let r be ((-2)/(-2) - 6)/(8 - 7). Is (-2)/((40/(-502))/r)*-2 a prime number?
True
Is 31338 - (-6 + 10 + -9) a prime number?
False
Let o(a) = -3*a + a + 3*a + 2*a. Let s be o(2). Suppose s*l = l + 185. Is l composite?
False
Sup