2*m - 432 = -5*y, -2*m - 4*y + s = -6*y. Is m a prime number?
True
Let j(n) = -2*n**3 - 9*n**2 - 4*n + 13. Suppose 3*v - 11*x + 13*x + 23 = 0, 0 = -3*v - 4*x - 19. Is j(v) a prime number?
False
Let t = -95 - -106. Suppose -t*y + 12*y - 2 = 0. Suppose -x + 2*k + 687 = 3*k, -3449 = -5*x + y*k. Is x a prime number?
False
Suppose 4*a = 3*t - 350, -51 + 275 = 2*t + 2*a. Is 27610/14 + t/133 a prime number?
True
Let o = -220 + 206. Let m(j) = -5*j**3 - 10*j**2 - 9*j + 1. Is m(o) composite?
False
Is 5449*(2/(-4))/((-67)/6298) a prime number?
False
Let d(k) = 156*k. Let n(a) = -24*a. Let f(t) = -5*d(t) - 32*n(t). Let b be f(-1). Is (-2 - (-32)/b)*6 a composite number?
True
Let s(r) = -248*r + 113. Suppose 6*l - 7*l + 2*y - 25 = 0, -4*y = -l - 35. Is s(l) composite?
False
Let v(q) = 341*q**2 + 3*q + 5. Suppose 6 = -5*u - 9. Let s be v(u). Let m = 984 + s. Is m composite?
False
Let g = 176 - 169. Is ((-309)/g + 1)/(10/(-70)) a composite number?
True
Suppose 206 = -w + 4*o, -759 = 2*w + 5*o - 295. Let k(h) = -2*h**3 + 77*h**2 + 46*h + 134. Let s be k(39). Let g = w + s. Is g prime?
False
Suppose 3956 = -2*n - 3854. Let p = -2214 - n. Is p prime?
False
Let c = -19241 + 40345. Let v be (-1)/3 + (-50)/(-6). Suppose -8*b = v*b - c. Is b a composite number?
False
Suppose 2*i - 672336 = 2*y + 159822, 416119 = i - 6*y. Is i composite?
False
Let l(o) = o - 1. Let q(m) = 557*m + 2. Let u(f) = l(f) - q(f). Is u(-4) a composite number?
False
Suppose 101*d - 104*d = 21. Let j(b) = -b**3 - 6*b**2 + 7*b + 2. Let k be j(d). Suppose -6*v + 3*v + 3*l = -9027, -k*l = 4*v - 12048. Is v a composite number?
False
Let a be (-6)/(-10) - (-6)/(-10). Suppose 9*w - 3*w - 66 = a. Suppose -4*y - 217 = -w*y. Is y a composite number?
False
Let l = 48 - 44. Let f(a) = 976*a + 29. Let i be f(l). Suppose -i + 863 = -5*h. Is h a prime number?
False
Let n(w) = -8*w**3 - 5*w**2 + 7*w + 4. Let r(b) = 7*b**3 + 4*b**2 - 7*b - 5. Let t(a) = 6*n(a) + 7*r(a). Let d be t(-4). Is -1*(d + 0/4) a prime number?
True
Suppose -5*d + 14839 + 10826 = 0. Let b = 1236 + -1230. Suppose -5*g = 4*o - d, 2*g - b*g = -20. Is o prime?
True
Suppose -212748 + 560862 = 6*s + 5*a, 2*a + a = 0. Is s a composite number?
True
Let z = 2 + 67. Let i = 73 - z. Suppose 0 = -i*x - x + 465. Is x a prime number?
False
Let w be (31 - 63)*(-1)/4. Is -733*(-402)/w - (-3)/(-12) a prime number?
True
Let b = 131 + -131. Suppose 6*v - 2*v - 12396 = b. Suppose 0 = 5*p - v + 1034. Is p a composite number?
True
Let u = -2784 - 301. Let a = u + 9620. Is a composite?
True
Let z be 14 + (-9)/(5 - 4). Suppose z*p + 18131 = 8*p - 2*s, 0 = -4*s + 20. Is p prime?
True
Let r(y) = 31*y**3 - 17*y**2 - 4*y - 109. Is r(15) composite?
True
Is 893709/1194*(-3)/(9/(-158)) prime?
False
Let m be (4 + 2 + -7)/(5/(-15)). Suppose -2*r - m*s + 13211 = 2*r, -4*s = -4*r + 13176. Is r a composite number?
False
Suppose -5*j + 17 = i, i - j = 4*j - 13. Suppose i*q = -q. Is ((-5)/(-20) - q) + (-8582)/(-8) prime?
False
Suppose -3*i - 42*u + 37*u + 262527 = 0, 5*i - 4*u = 437545. Is i prime?
True
Let q(i) be the second derivative of 0 - 22*i - 1/3*i**3 - 7/2*i**2 - 1/6*i**4 + 11/10*i**5. Is q(4) prime?
True
Let o(x) be the second derivative of 14/3*x**3 + 3/2*x**2 + 0 + 23*x. Is o(1) composite?
False
Let k be 24/6*(0 - -19). Let n = k + -73. Is 1138/1 - (0 - -4 - n) composite?
True
Let t be (5 + -70591 + -3)*(1 + 0). Is (-189)/(-45) + -5 + t/(-5) composite?
True
Suppose 0 = -w + 4, 15*w = -r + 14*w - 66982. Let j = r + 98653. Is j a composite number?
False
Let z(p) = 128696*p**3 + 9*p**2 - 3*p - 35. Is z(2) composite?
False
Let h(p) = -20*p**2 + 35*p - 36. Let a(m) = -13*m**2 + 23*m - 24. Suppose -6 = -4*c + 14. Let b(f) = c*h(f) - 8*a(f). Is b(5) prime?
True
Suppose -u - 23 = -4*p, 4*u + 5*p - 3 = -11. Let l = u - -13. Suppose 3*v + 5 = -d + l, -3*v - 27 = -3*d. Is d a prime number?
True
Is 210/126*(-95643)/(3 - 6) a composite number?
True
Let c be (-12)/(-15)*-5 - (-241 + 1). Let x = -950 - -2051. Let b = c + x. Is b prime?
False
Suppose 12*l = 76 + 44. Suppose -40*a + 74130 = -l*a. Is a prime?
False
Suppose 249*c - 67300885 = 60270032. Is c a composite number?
False
Suppose -138 - 107 = -5*m. Let u = -60 + m. Let y(j) = -j**3 - 5*j**2 + 15*j - 4. Is y(u) a prime number?
True
Let l(a) = -61502*a + 109. Is l(-9) a composite number?
False
Suppose 14*o = -179795 + 45689. Let b = o - -20596. Is b composite?
True
Is 41774 + (57/95 - 48/5) a prime number?
False
Is 12/36*8508 - -1 a composite number?
False
Suppose 549 = 5*p - 3856. Let j(b) = 472*b**3 + b**2 - b. Let c be j(1). Suppose -11*o = -p - c. Is o a composite number?
True
Let b(r) = -913*r + 7. Let c(j) = j + 1. Let w(g) = -2*g - 2. Let d(q) = 7*c(q) + 4*w(q). Let h be d(3). Is b(h) prime?
True
Let x(u) = -u**3 + 8*u**2 - 7*u + 6. Let k be x(7). Suppose 14*y = k*y + 224. Is -1 - 615/(-2)*y/21 prime?
True
Suppose -165 = 11*x + 22*x. Let z(j) = -43*j**3 + 10*j**2 + 9*j - 23. Is z(x) composite?
False
Suppose -66 = -3*u - 48. Let n be (-9)/u*(-8)/(-12). Is n + -3 - (-4 + -293) composite?
False
Suppose 3*h = h + 4*o - 6, -5*h + 2*o = -17. Suppose -20 = h*w, 0*q - 2*w = -2*q + 26194. Is q composite?
False
Let h = -25325 + 45344. Is h a composite number?
True
Suppose 0 = -4*m - 2*c + 4174440, -139*m - 2*c + 2087222 = -137*m. Is m composite?
True
Let h be (-144066)/702 + -1 + 11/9. Let o = h + 3851. Is o prime?
False
Let a = -839 + 2603. Suppose a = -2*r + 7802. Is r composite?
False
Let v = 8751 + -3610. Is v a composite number?
True
Suppose -h = -l + 2582, -l + 1617 = 5*h - 959. Is l a prime number?
False
Let x(t) = 3*t**3 + 13*t**2 - 9*t - 8. Suppose -7*h - 35 = -12*h. Let u be x(h). Suppose 9*y = 4*y + u. Is y prime?
False
Is -2*(-1206445)/(-2)*(15 - 152/10) a prime number?
False
Let v = 47813 - 26572. Is v composite?
True
Is 7 + (-7)/((-21)/1551546) prime?
True
Suppose -5*l + 2689196 = w, 2*l - 101*w = -100*w + 1075677. Is l prime?
False
Let b(j) = -7*j + 6. Let w be b(-1). Let h = w + -13. Suppose h = -3*z + 1052 + 511. Is z a composite number?
False
Let x(j) = j**3 - 12*j**2 + 18*j + 24. Let d be x(10). Suppose -4*o = -d*u + 5908, 5437 = 5*u + 4*o - 1984. Is u prime?
True
Suppose -5*z + 4*k + 580870 + 13489 = 0, 4*z + 3*k - 475481 = 0. Is z prime?
False
Let c(k) = -26*k + 24 - 13 - 10. Let j be (-2)/5*(-30)/(-6). Is c(j) prime?
True
Suppose -3*w + 3*x = 2*x - 2*x - 12327, x = 0. Is w a prime number?
False
Let x be ((-648)/8 - 1)/(-1 + 0). Let v = -78 + x. Suppose -k = v*k - 655. Is k a prime number?
True
Let z(f) = -3*f**3 + 43*f**2 + 73*f - 33. Let s(a) = 4*a**3 - 44*a**2 - 72*a + 32. Let y(w) = 2*s(w) + 3*z(w). Is y(42) a composite number?
True
Let p(q) = -2128*q - 71. Let g be p(-3). Suppose -2*w + 4*m + 7907 = 3*w, -4*w - m + g = 0. Is w a composite number?
False
Let t be ((-252)/70)/((-3)/20). Let i(m) = -5*m + t*m + 49*m - 1. Is i(6) a prime number?
False
Let x(t) = t**3 + 3*t**2 - 9*t + 2. Let v be x(-4). Suppose 3*i = -4*b + v, 2 = -4*b + 6. Suppose i*q - 2954 = 4*q. Is q prime?
False
Suppose 0 = -23*b - 26*b + 884891. Is b a prime number?
True
Let r = -479 + 479. Suppose -b - 3*a + 10835 = r, 2*b = 17*a - 16*a + 21649. Is b a prime number?
False
Let u be (5 - 185/35) + (-6436)/14. Let a = -153 - u. Is a a prime number?
True
Let n(p) = 40*p + 7. Let v(o) = 41*o + 6. Let u(q) = 2*n(q) - 3*v(q). Suppose 0*t - 4*t = 44. Is u(t) a composite number?
True
Suppose -g - 50863 = -5*b + 16783, 4*g = b - 13533. Is b composite?
True
Let y(f) = -186*f**3 + 20*f**2 + 39*f + 21. Let x(d) = 124*d**3 - 13*d**2 - 26*d - 14. Let u(i) = 7*x(i) + 5*y(i). Is u(-6) a prime number?
False
Let l = -902649 - -1311998. Is l composite?
False
Suppose 3270378 = 281*h - 29060639. Is h prime?
True
Suppose -4*q + 14 - 1 = 5*l, -5*l + 16 = 3*q. Let c = 8 - l. Suppose c*k - 41 = 70. Is k a composite number?
False
Suppose f - 1455 - 1620 = -3*i, f = 3*i + 3063. Let b = f - 2114. Is b prime?
False
Suppose -11 = 5*q + 69. Let p(z) = z**3 + 15*z**2 + 3*z - 20. Let n be p(q). Let f = n - -965. Is f a composite number?
False
Let h(y) = y**3 + y - 18. Let k be h(0). Let d(l) be the second derivative of l**5/20 + 19*l**4/12 - 3*l**3/2 - 19*l**2/2 - 27*l. Is d(k) a composite number?
False
Let n be -14 + -4 + (-3)/(-1). Let c be n/(-60) + (-3)/