j(-6) a prime number?
False
Suppose -2*m + 32 = -4*x, -4*x - 9 = -x. Suppose -5*g + m = -3*f, g - 3*f + 2*f = 0. Suppose g*t = 4*q - 0*q - 488, -16 = -4*t. Is q prime?
True
Suppose 0 = 3*o - 2*c + 70, -5*c - 86 + 14 = 2*o. Is o/117 - ((-3503)/9 + 0) a composite number?
False
Let n(a) = 329*a - 24. Let j be n(7). Suppose -3*i + j = 698. Is i a prime number?
False
Let w(o) = 10*o**3 - 2*o**2 - 39*o - 50. Is w(17) a prime number?
False
Suppose 3*r - 4*r + 9268 = -2*b, 4637 = -b + 2*r. Let w = -2730 - b. Is w a composite number?
True
Suppose 0 = 4*c - 2*w + 164, -2*c + 0*c - 3*w - 74 = 0. Is 5403*(4 - (-3 - c/6)) a prime number?
True
Let r = -5311 + 12072. Is r composite?
False
Let y = -35 - -33. Is ((-1)/y)/(13/25922) a prime number?
True
Let y = 17 + -9. Suppose -n = -2*v - 5*n - 18, -3*v + n + y = 0. Is (204 - v) + 3 + -3 a composite number?
True
Suppose -2*w + 2 = -w, -3*w = z - 23. Let c be 9/(-12) + z/(-4). Is (298/c)/(22/(-55)) a composite number?
False
Suppose -3*m - 3*c - 9 = 0, 0 = -4*m + m + 2*c - 9. Let a(o) = -28*o**3 - 4*o**2 - o - 2. Let u be a(m). Let w = u - 434. Is w a prime number?
False
Let k(c) = 79*c**2 + 12*c + 34. Is k(-5) a composite number?
False
Let y = 1226 + 2561. Is y a composite number?
True
Let l(a) = 387*a - 36. Let m(x) = -x + 1. Let w(j) = -l(j) + 2*m(j). Is w(-3) a composite number?
True
Suppose -5*u = -3590 - 4695. Is u prime?
True
Let r be 0*((-3)/2)/(-3). Suppose 0 = -4*d + 95 + 117. Suppose o - d = -r*o. Is o prime?
True
Suppose -5*q = -9*q - 16, -q = -2*g + 4. Let v = g - -14. Is v composite?
True
Is (-2 - -8)/3*(-258370)/(-140) prime?
True
Let r(u) = 70*u - 7. Suppose -5*s + 12 = -3. Is r(s) a composite number?
True
Suppose 0*j = -j - 5*j. Let h(u) = u + 31 + u**2 + 28 + 60. Is h(j) composite?
True
Suppose 0 = -7*q + 81 - 1425. Let i = q - -82. Let x = 781 + i. Is x a composite number?
True
Let q = -16516 - -66633. Is q a prime number?
False
Let w(i) be the third derivative of -i**4/8 + 2*i**3 - 5*i**2. Let h(x) = -x - 1. Let r(p) = 6*h(p) + w(p). Is r(-7) a prime number?
False
Let p(x) be the first derivative of x**4/2 - 4*x**3 + 15*x**2/2 + 3*x - 7. Is p(8) prime?
True
Let w be -4 + 2 - (781 - 2). Let i = -398 - w. Let u = 970 - i. Is u prime?
True
Suppose 58*y = -107640 + 1009598. Is y a composite number?
False
Suppose 55 = -9*h + 4*h. Let o(f) be the second derivative of f**4/12 + 11*f**3/6 + 7*f**2/2 + 26*f. Is o(h) composite?
False
Suppose 0 = j + 3*j - 11696. Suppose -4*u - 6*w = -w - 2908, 4*u - j = -w. Is ((-4)/(-3))/(8/u) a composite number?
True
Suppose 37 = 2*o + 21. Suppose -1040 = -o*q + 384. Is q a prime number?
False
Suppose 4*t = -21 + 13. Is t/4*(-3687 + 42/(-6)) composite?
False
Suppose -3*l = -6*l. Suppose -2*q = -3*r + 809 + 92, 5*r + 2*q - 1491 = l. Suppose v - 410 - r = 0. Is v composite?
False
Suppose -5*g - 23 = -j, -4*j - 3*g = -8*g - 17. Is 9/(54/13956)*(-1)/j composite?
False
Suppose 8*z - 93 = 3*z - 4*n, 2*z = 3*n + 51. Suppose -z*d + 17*d = -1060. Is d composite?
True
Suppose 0 = -4*n + 5*d + 21654, 2*n - 9615 - 1203 = -2*d. Is n composite?
True
Suppose -2*i + 25025 = b, 4*i = 5*b - 9*b + 100088. Is b a prime number?
False
Suppose 6*k + 38118 = 8*k. Is k prime?
False
Suppose 0 = 34*c - 30*c - 3052. Is c a composite number?
True
Let c = -29 - -34. Suppose 2*h - 5*x = 351, -c*h + 895 = 3*x + 2*x. Is h composite?
True
Suppose 2051 + 1117 = 4*y. Let c = 1181 - y. Is c a composite number?
False
Let b(q) be the second derivative of -37*q**5/20 - q**3/3 - q**2/2 + 4*q. Let x be b(2). Let t = x + 590. Is t composite?
True
Let s(u) be the third derivative of -u**5/30 + 2*u**4/3 - 2*u**3/3 - 8*u**2. Is s(5) a prime number?
False
Let y(x) = 2416*x**2 - 5*x - 73. Is y(-4) composite?
False
Suppose 2*x - 74689 = -3*j, 0 = 2*x + 2*j - 36536 - 38148. Is x a composite number?
False
Is 0 + -1 - (-555864)/12 a composite number?
True
Suppose 0 = 36*f + 132819 - 1209543. Is f a composite number?
True
Is (-469546)/(-98) - (-6)/(-21) composite?
True
Is (-4182)/(-3) - (-1 - 4) composite?
False
Let q = 52375 + -32468. Suppose -9*k = 530 - q. Is k composite?
False
Suppose 5*l + 4*m = -21, -2*m - 1 = -4*l - 23. Let o = 0 - l. Suppose o*w - 130 = -4*c, -2*c + 6*c - 42 = -w. Is w composite?
True
Let a(c) = -c - 6. Suppose -24 = -0*i + 4*i. Let k be a(i). Is 1 + (1 - -85) + k composite?
True
Suppose -4 = -o + 3*o - 2*c, o - 13 = -4*c. Suppose -2 - o = -r. Suppose -296 = r*a - 7*a. Is a prime?
False
Let b(q) = q**2. Let y be b(0). Suppose -240 = -2*h - 5*r, 5*h - 3*r - 432 - 137 = y. Is h a composite number?
True
Let c(k) = -313*k + 425. Is c(-8) composite?
True
Suppose 10*f - 7*f = 519. Suppose -f = -4*r + 535. Is r composite?
True
Let u(y) = -25*y**3 - 5*y**2 + 14*y + 4. Let v(r) = 25*r**3 + 6*r**2 - 15*r - 5. Let k(l) = -5*u(l) - 4*v(l). Let w be k(10). Is w/56 - 3/7 a prime number?
False
Suppose 0 = -10*j + 1058 + 11512. Is j prime?
False
Suppose 0 = 2*a + 6, 2*a - 6486 = -2*v. Suppose 0*p + 806 = -p - 5*s, 4*p - 2*s + v = 0. Let n = 1545 + p. Is n a prime number?
False
Let r = -634 + 1003. Let s(g) = -g**3 + 4*g**2 + 4*g + 10. Let b be s(5). Suppose -b*o + r + 986 = 0. Is o a prime number?
True
Let c = -1392 + 2543. Is c composite?
False
Let h(s) = 1272*s**3 + 3*s**2 + s - 5. Let y be h(2). Suppose y + 15237 = 6*t. Is t a prime number?
False
Suppose 29*g = 278379 + 64430. Is g prime?
True
Let b(j) be the second derivative of j**4/6 + j**3/3 - 7*j**2/2 + 5*j. Let i(t) = -t**3 + 4*t**2 - t + 18. Let z be i(5). Is b(z) composite?
False
Let l(m) = -52*m + 103*m - 1 + m**3 - 6 - 52*m - 6*m**2. Let v(w) = 3*w - 5. Let z be v(4). Is l(z) composite?
True
Suppose -14*h + 7665 = -4781. Is h composite?
True
Is (18/12)/(39/1270126) composite?
True
Suppose -v + 2636 = 841. Is v a prime number?
False
Let w = 690 - 1555. Let q = 1236 + w. Is q a prime number?
False
Let l be (-44)/(-10) - (1 - 3/5). Let p(g) = 11*g**3 + g**2 + 2*g - 9. Is p(l) a prime number?
True
Let a(u) = u**3 + 15*u**2 + u + 4. Let m be a(-8). Let b(g) = -g**2 - g + 2. Let r be b(-2). Suppose 5*p - p - m = r. Is p prime?
False
Let l = 10 - 11. Is 1500/14 + 2 - l/(-7) prime?
True
Let o(d) = 160*d**2 + d - 1. Suppose 4*r - 4 = -2*k, -4*k + 2*r + 8 = r. Is o(k) a prime number?
True
Is 3/5 + 60167/5 - 3 a composite number?
True
Let p(k) = 66*k**2 + 18*k + 23. Is p(-21) prime?
True
Let w = 166 + -67. Let a = 56 + w. Is a composite?
True
Is 64314/22 - 116/319 a prime number?
False
Is (-123)/82*(-8188)/6 composite?
True
Let g(i) = 328*i + 39. Let x be g(5). Suppose 0 = 2*o - 4*f - 1674, -x = -o - o - f. Is o a prime number?
True
Let t = 3077 + -1810. Is t a composite number?
True
Suppose -5311 = 4*u - 331. Let s = 1964 - u. Suppose 3197 = 5*b + 2*j, -6*b + b = -j - s. Is b a composite number?
False
Let t(i) = i**3 - 13*i**2 - 10*i - 20. Let k be t(-16). Let c = k + 13265. Is c a prime number?
True
Let r(i) = 107*i**2 - 5. Let n be r(4). Suppose 0 = q + 2*c - n, 4*q + 0*q - 6841 = 5*c. Is q a composite number?
False
Let o be (55/20)/(2/8). Suppose i + 1 = 3*s, -s = s - 3*i + o. Suppose s*q + 66 = 220. Is q composite?
True
Suppose -24 = -z - z. Suppose -4*h - 2*o - z = 0, 2*o + 10 + 6 = -5*h. Is (2/(-4))/(h/296) composite?
False
Let q(w) = 56*w**2. Let l be q(-1). Is ((-1078)/l)/((-1)/4) a composite number?
True
Suppose y + 4*o = 167, 5*o = 10 + 5. Suppose 166*p - 162*p - 336 = 0. Let v = y - p. Is v prime?
True
Let f = 7914 - 3787. Is f prime?
True
Let q(u) = 17*u**3 - 5*u**2 - 2*u - 3. Let a be q(4). Suppose -a + 235 = -2*m. Is m + 7/(7/(-2)) a composite number?
False
Let o(j) = 109*j - 4. Let f be o(13). Suppose 3*c - 3453 = 5*s, 2*s + f = c + 262. Is c prime?
True
Is (-3 + (-3104)/24)/(2/(-222)) composite?
True
Let h be ((-32)/(-24))/((-2)/(-60)). Suppose 3*a + 5*d = h, 4*d - 10 = 2*a - 0*d. Suppose -a*l - 2*y + 230 = -1689, 0 = 4*y - 8. Is l composite?
False
Is (-638)/(-5) - (-9)/(-15) a prime number?
True
Suppose s + z - 25113 = 0, -3*s + 12908 + 62421 = -2*z. Is s composite?
False
Is 51992/32*-2*-2 a prime number?
False
Let b = -46 + 74. Let h = 87 - b. Is h prime?
True
Let o(t) = -7*t**3 + 2*t**2 + 9*t + 21. Is o(-5) composite?
True
Let o(l) = 54*l + 6 + 10*l + 51*l. Let b be o(10). Is (b/8 - -2)*2 composite?
False
Let c = 64 - 59. Suppose -u 