
Suppose -3*u - 12 = 0, 0*m + 5*u = -m - 39. Let y = m + 20. Let o(v) = 69*v**3 + v**2 - 1. Is o(y) composite?
True
Let o(c) = c**3 - 11*c**2 + 10*c - 4. Let d be o(10). Is -1 + ((-582)/(-8))/(d/(-64)) composite?
False
Suppose 12 = -3*j - 6. Let z be ((-3)/(-2))/(j/(-200)). Suppose z + 61 = 3*o. Is o composite?
False
Suppose -26*o - 10 = -31*o. Suppose -p + 1253 = -0*u + 3*u, -4*p + 4992 = o*u. Is p prime?
False
Let u(o) = 5*o**2 - 217*o + 107. Is u(44) composite?
False
Is (26/91)/((-2)/(-80962)) prime?
False
Let g(r) = 26*r**2 + 23*r - 14. Is g(-7) a composite number?
True
Let r be 9/(-3) + 0 + 11. Let n be (6 + 9)*r/6. Suppose -l + n = 5. Is l composite?
True
Let b(j) be the first derivative of 22*j**3/3 - 3*j**2/2 - j + 8. Suppose y + d + 1 = 0, d + 7 = -4*y - 0*y. Is b(y) prime?
False
Let c be -6 - -3 - 3/(-3). Is 879 + (-2 + 3)*c prime?
True
Is (-5454)/(-8) + -1 + 38/152 a composite number?
True
Suppose z = -5*z + 180. Is 1018/4 - 45/z prime?
False
Let z = 10 - 6. Suppose -n + 194 = -z*v + 19, -3*n + v = -536. Is n a prime number?
True
Suppose -2*p + 5*z = 1, 4*z - 4 - 8 = -4*p. Suppose p*r - 3*o - 629 = 0, 7*o - 972 = -3*r + 2*o. Is r composite?
True
Let r = -12980 + 19491. Is r prime?
False
Suppose -2*g - 1 = -4*o - 29, 5*g - 5*o = 50. Suppose -4*m + 2 = -g*m. Is m + 66 - (3 + -5) prime?
True
Suppose 3*k = -5*y + 40967, -2*k - 4*y = 4883 - 32197. Is k a prime number?
True
Suppose 1247 + 2336 = q. Let d = 5220 - q. Is d composite?
False
Suppose -5*z - 10233 = -2648. Let a = -720 - z. Is a composite?
False
Let d(j) = -18*j + 5. Suppose 3*s + 24 = 5*s. Suppose -5*i = -2*i + s. Is d(i) prime?
False
Let s be (2*(-5 - -2))/1. Let v be s/(-9) - (-619)/3. Suppose 0 = 3*j - v - 1146. Is j composite?
True
Let q(a) = 2*a - 1. Let b be q(6). Suppose 2*c - b + 5 = 0. Suppose 5*r + 43 = 3*k - 2*k, -3*k + 183 = c*r. Is k a composite number?
True
Let r = 8885 + -5846. Is r a composite number?
True
Suppose 340 = 4*v + 6976. Let o = 3058 + v. Is o a composite number?
False
Let g be -16 - (-5)/(-15)*0. Let w = -12 - g. Suppose -539 = -2*d + 4*j + 707, 0 = 2*d + w*j - 1278. Is d a prime number?
True
Let g(n) = 163*n**2 - n + 1. Suppose 1 = 4*i + 3*a + 12, -i = -2*a. Is g(i) composite?
True
Suppose 0 = 5*f - 28 - 12. Suppose 21 = -h + f*h. Is 791/3 - 2/h composite?
False
Let p be (16/((-20)/5))/(-1). Is ((-1118)/4)/((-2)/p) a composite number?
True
Let t = 10482 + -6065. Is t prime?
False
Suppose -2590 = -3*o + 1841. Is o a composite number?
True
Let q be 404/12 + 2/6. Let o = 93 + q. Is o a composite number?
False
Let r = -30 - -37. Suppose 2*m + r*m - 8919 = 0. Is m a prime number?
True
Let f(a) = 34983*a + 410. Is f(3) a composite number?
False
Let i = 974 + -427. Is i prime?
True
Let a = -5435 - -10576. Is a composite?
True
Suppose -5*b + u + 48 = 0, 0 = -b - 4*u + 2 + 16. Let v be 454/b + (-2)/5. Suppose -2*z + v = o, 5*z + 2*o = 5*o + 96. Is z a prime number?
False
Let o = 4 + -8. Let l be (1 - o) + -1 + -1. Suppose l*f - 24 = -d, 0*d = 3*d - 2*f - 61. Is d a prime number?
False
Suppose -6*j = -j - 45. Suppose j = 2*i + i. Is -1*127*(2 - i) a prime number?
True
Suppose -158372 = -11*q - 56941. Is q composite?
False
Let a = 55 + -53. Suppose -5*r + 2545 + 157 = -h, 2*r - 1088 = -a*h. Is r a prime number?
True
Let k(c) = -c**3 - 11*c**2 + 14*c + 16. Let u be k(-12). Is (-7094)/(-8) - 2/u a prime number?
True
Suppose -605 = 5*j - f - 2588, 3*j = 4*f + 1183. Is j a prime number?
True
Let o(f) = -5017*f**3 + 2*f**2 + 4*f + 2. Is o(-1) a composite number?
True
Suppose -30*c = -60*c + 316770. Is c a composite number?
False
Let v(z) = -3342*z - 235. Is v(-12) prime?
True
Let z = 54003 - 32216. Is z composite?
False
Let o = 79 + -68. Suppose o*p - 220 = 7*p. Is p composite?
True
Suppose 830 = -2*q + 3*m - 561, 1390 = -2*q + 4*m. Let v = 1406 + q. Is v composite?
False
Let a = 96 + -94. Suppose f - 3*y = -a*f + 57, 3*f = -3*y + 33. Is f composite?
True
Let c(l) be the second derivative of -132*l**5/5 - l**4/6 - 2*l**3/3 - l**2/2 + 4*l. Is c(-1) composite?
True
Let p(n) be the first derivative of 3*n**3 - n**2/2 + n + 16. Is p(-4) a composite number?
False
Let o = -668 - -281. Let k = o + 854. Is k a prime number?
True
Let m(s) be the third derivative of s**6/120 + 7*s**5/60 + 5*s**3/6 - 7*s**2. Let l be m(-7). Suppose 0 = -5*f + y + 479, -l*f + 360 = -f + 5*y. Is f prime?
False
Let z(i) = 2933*i**2 + 27*i - 55. Is z(2) a composite number?
False
Let q(x) = 648*x + 5. Let m be q(-1). Let k = m + 1442. Is k a prime number?
False
Suppose -8*q + 4*q = -4*j - 51932, -2*q + 25970 = -3*j. Is q a prime number?
True
Suppose 0 = 2*w + 2*w. Suppose w*o = o + 83. Let t = o - -134. Is t a prime number?
False
Is (725/(-50) + 17)*(-28636)/(-10) a composite number?
False
Let a = -4 - -6. Suppose 0*y - 1002 = -3*c - a*y, 2*c - 670 = -2*y. Let p = c + -129. Is p composite?
True
Let u be -3*(-6)/((-36)/(-10)). Let s(i) = 19*i - 3. Let a be s(u). Suppose -b = b - a. Is b a prime number?
False
Let g = -57 - -61. Is (22/g)/(8/2512) a prime number?
False
Let j(h) = 6 - 3 + 6 + h + 0*h. Let d be j(-10). Is d + 4 - (-197 - -9) composite?
False
Let v(y) = 346*y**2 + y + 2. Let h(f) = -346*f**2 - f - 2. Let p(d) = 5*h(d) + 6*v(d). Is p(-1) a composite number?
False
Suppose -3*b - 4*o - 16871 = 0, -b - 4*o + 28065 = -6*b. Let q = b - -9564. Is q a prime number?
True
Let k(b) = 1434*b**3 + 11*b**2 - 6*b + 3. Is k(2) a prime number?
False
Let w(x) = -7*x**3 - 1. Let t be w(-1). Let p(l) = 2*l - 3 + 2 + 149*l**2 - t*l + 3*l. Is p(-1) a composite number?
False
Suppose 0 = 2*k - 3 - 3. Suppose -k*l + 2*l = -1171. Is l a prime number?
True
Suppose -8*l + 5*l = -15, f + 5*l + 100 = 0. Let u = 644 + f. Is u prime?
False
Suppose 5*z + i - 9 = 0, 5*i = 2*z - 3*z + 21. Suppose -u + 2*u - 5*g - 11 = 0, z = -3*u - 2*g. Is (122 - 4) + 2 + u prime?
False
Suppose 1 + 17 = 2*y. Let g be (-2)/(-9) + 3192/(-27). Let p = y - g. Is p prime?
True
Suppose -2*c = -3*s - 33 + 3, 5*c = -5*s + 25. Suppose -56 = 5*u + 4*b - 7*b, 3*b + c = 0. Let p = u - -35. Is p a prime number?
False
Let f = -38 + 42. Suppose 2*r - f*l = 4*r - 774, 5*r - 1887 = 2*l. Is r composite?
False
Let a(c) = -c**3 + 9793. Is a(0) a composite number?
True
Suppose 0 = 2*t - t + 5*m - 19, 4*t - 4 = -2*m. Is t/((-2)/(-230)*-1) prime?
False
Let o(q) = -q + 1. Let l be o(-2). Suppose -h - l*h = -4468. Is h composite?
False
Suppose 86*z - 62293 = 75*z. Is z prime?
False
Let t(w) = -5*w**3 - 3*w + 14*w**3 + 2*w**2 + w**2 + 4. Suppose 15*o - 19*o = -12. Is t(o) a composite number?
True
Suppose -5*s - 2 = 218. Let a be ((-3)/6)/(2/12). Is (99/s)/(a/8) composite?
True
Let b = -187 + 270. Is b prime?
True
Suppose 0 = -b - 0 + 4. Suppose 19 = b*d + 3. Suppose 1334 = d*o - 606. Is o a composite number?
True
Let m = -18 - -52. Suppose -5*x + w = -m, -x - 4*w = -2*x + 22. Is (308/x)/((-6)/(-9)) composite?
True
Suppose 0*b = 3*b + b. Let l(q) = q**3 + q + 541. Is l(b) prime?
True
Suppose -5*p + 35 = 5*o, 4*o - 18 = -3*p + 7. Suppose -3*n + 1007 + 718 = -3*w, 2280 = o*n + w. Is n a composite number?
False
Let f be -9*1/((-3)/(-42)). Let c = 395 + f. Suppose -57 + c = 4*y. Is y a composite number?
False
Let b be 77 - (1 + -3 - 1). Suppose -4*d + 464 = b. Suppose -4*t = -140 - d. Is t prime?
True
Suppose 826 - 211 = 5*c. Let f = c + -64. Is f a prime number?
True
Let j(s) = 1510*s + 221. Is j(17) a composite number?
True
Let a(j) = -6*j**3 - 29*j - 5. Is a(-8) prime?
True
Let b(g) = 6*g + 32. Let d be b(-5). Suppose z - 222 = 45. Suppose -d*h - z = -5*h. Is h prime?
True
Let z(v) = -v**3 + v**2 + 671. Let r(k) = k**3 - k**2 + k - 1. Let g be r(1). Is z(g) a prime number?
False
Suppose 2*u + 3*u + 51 = 2*x, x + 3*u = 42. Is 1 - 11/(x/(-252)) a prime number?
False
Let l = 79 + -197. Let j(z) = z**3 - 6*z**2 - 20*z + 31. Let f be j(7). Let b = f - l. Is b prime?
False
Let p(n) = -62*n**2 + 7*n + 17. Let v be p(-5). Let c = v - -3067. Is c prime?
True
Let l = -2 - -8. Let t = 6 - l. Suppose -h - 3*h + 2588 = t. Is h a prime number?
True
Let s be (-1)/(-2)*(-20 + 24). Suppose -4*u = 2*c - 5112, 2*c + 1273 = -s*u + 3*u. Is u a composite number?
False
Suppose t = -t + 1262. Suppose -4*o = -4, -5*o - 2241 = -3*i + t. Let b = i + -264. Is b prime?
False
Suppose -4*u