/(-15). Let v be 4 - -877 - (p + -3). Suppose -v = 13*c - 17*c. Is c prime?
False
Suppose c + 11*c = 36. Suppose c*j - 1505 = -g - 0*g, j + 5*g = 497. Is j prime?
False
Let j(m) = -4*m**2 - 1 - 4 + 6*m**2 + m**3 - 3*m**3 + 4*m. Let a be j(-5). Suppose -a = -2*b + 177. Is b composite?
True
Let w(v) = v + 8. Let y be w(-4). Suppose -3*s + 15 = 0, -3*o + y*o = s + 30. Suppose 4*c - o = -k, 3*c + 53 + 6 = 2*k. Is k a prime number?
True
Let y = 9 + -3. Let b(v) = 43*v**2 - 7*v + 1. Let s be b(y). Suppose -5*u = 4*d - 889, 5*d + 3*u - s + 399 = 0. Is d a prime number?
False
Suppose 3*x = 5*g + 17, 4*x + 4*g - 12 = -0*x. Suppose 0 = -u - 4*o + 115, -x*o = -3*u - 2*u + 503. Is u composite?
False
Let q(j) be the first derivative of j**6/360 - 7*j**5/120 - j**4/24 - 4*j**3/3 + 3. Let p(u) be the third derivative of q(u). Is p(-17) a composite number?
True
Suppose 109*i = 96*i + 20293. Is i a composite number?
True
Suppose -24*b + 18*b = -25962. Is b a composite number?
False
Let a = 1124 + 569. Is a prime?
True
Let c(u) = -8*u + 16 + 0*u + 1 + 0*u. Is c(-12) a prime number?
True
Suppose 0 = 8*o - 1422 + 7318. Is o*(9/3 + -4) a composite number?
True
Suppose 0 = -4*j - 2*a + 17914, 2*j + 4*a - 1636 = 7306. Is j composite?
False
Suppose 3370 = 5*b - y, 3*y + 629 = 2*b - 732. Is b a composite number?
False
Suppose 0 = 2*q - 3*q. Let n(v) = -v + 6. Let t be n(q). Is 2/12 - (-353)/t a prime number?
True
Let k = -6282 - -11481. Is k a composite number?
True
Let u(m) = -2087*m - 6. Is u(-1) composite?
False
Suppose w - 1 = 2*p, -4*p + 0 + 3 = -w. Suppose 6*g - p*g = t + 55, -4*t = 4*g - 80. Is g prime?
False
Suppose -2*j + 0*j - 3164 = -4*v, 0 = -5*v + 2*j + 3957. Is v composite?
True
Let o(v) = -157*v + 45. Let z = -95 - -91. Is o(z) composite?
False
Suppose 0 = -4*a + 4*h + 24, 3*h + 5 = -2*h. Suppose a*c + 314 - 1649 = 0. Is c prime?
False
Let u(g) = -12*g + 1. Let n be u(5). Let j = n - -244. Is j composite?
True
Let o be 383*(35/2 - 2/4). Let x = o + -2802. Is x composite?
False
Is (-2)/(-5) - (-7888401)/285 a composite number?
True
Suppose -160*h = -156*h - 13636. Is h a prime number?
False
Let k = 2460 - -121. Is k a prime number?
False
Let v = 37 - -74. Let y(p) = p**2 - p - 7. Let l be y(4). Suppose 5*q + z - 66 = 51, l*q - 2*z = v. Is q a prime number?
True
Let x(p) = p**3 + p**2 - 1. Let o(l) = -l**3 + 4*l**2 + 7*l + 3. Let m(w) = o(w) - 2*x(w). Is m(-6) composite?
False
Suppose 0*f = -f + 5*h + 24, -3*h - 76 = -5*f. Suppose -5*m + 4*m = -f. Is 997/5 + m/(-35) a composite number?
False
Let u(n) = -n**3 - 20*n**2 - 18*n + 25. Let a be u(-19). Is 522/(-4)*(-2 - (-8)/a) a prime number?
False
Let a(o) = -3*o**3 - 5*o**2 + o + 2. Let c be a(-7). Let z = -36 + c. Is z composite?
False
Let i be (16113/12 + -1)/((-2)/40). Is i/(-35) + (-4)/(-14) prime?
False
Let w = -34 - -5243. Is w a prime number?
True
Let k = 53 - 51. Is k*(4 - (-6645)/10) composite?
True
Let f be (-8)/3*6/(-4). Suppose -8*w + 13*w - 25 = 0. Suppose 632 = w*v - 3*m, v + v - f*m - 250 = 0. Is v a composite number?
False
Suppose r - 4*r + 24 = 5*s, -r = s - 8. Let o(g) = 21*g - 13. Is o(r) a prime number?
False
Let r(x) = -x**3 + 23*x**2 - 3*x - 2. Is r(19) a prime number?
False
Let l = -904 + 1609. Suppose l = -17*u + 20*u. Suppose 0*f - u = -f. Is f prime?
False
Let m(z) = 104*z - 35. Let u be m(9). Suppose 0 = -3*i + 1004 + u. Is i composite?
True
Let x(w) = 3*w**2 + 2*w - 11. Suppose 0 = -5*l - 0*l + 65. Let n = l - 19. Is x(n) composite?
True
Suppose 0 = 27*c - 1000049 + 424598. Is c composite?
False
Let i be (-1 - 0)/(4/12). Let m(s) = -2*s - 3. Let h be m(i). Suppose 0*y + h*y = 195. Is y a composite number?
True
Suppose 8*n + 73 - 801 = 0. Is n prime?
False
Let i = 81 - -2. Is i a prime number?
True
Let b(l) = 396*l**2 + 6*l - 4. Let k be b(4). Suppose 6356 = 4*h + n, -6*h + 2*h - 5*n + k = 0. Is h a prime number?
False
Suppose -3*p - 2*k = k - 5775, 5*p + k = 9617. Is p prime?
False
Let v(u) = 22 + 26 + 2*u**2 + 22 - 68 + 9*u. Let c be 1/((-1)/26*2). Is v(c) a composite number?
False
Let v be -1*(-1)/4*0. Let w(x) = 19 + 3*x - 2*x - x + x**2. Is w(v) prime?
True
Let h(r) = 5*r**2 + 2. Let s be h(-3). Let v = 108 - 101. Is s/(-3 + v - 3) a composite number?
False
Let x(i) = i**3 - 7*i**2 - i + 10. Let h(z) = -8*z - 1. Let w be h(-1). Let q be x(w). Suppose -2*k - 127 = -q*k. Is k prime?
True
Suppose 4*v + 108*h = 112*h + 38248, 28710 = 3*v + 5*h. Is v prime?
False
Suppose -4*s + 11013 = -7739. Let g = -3217 + s. Is g composite?
False
Let n(i) = -i**3 - 7*i**2 + 5*i + 7. Let b = 4 + -2. Suppose -b*c + 5*t = -c + 13, -42 = 5*c - 2*t. Is n(c) prime?
True
Let t(p) = 38*p + 25 - 13*p - 17*p + 2*p**2. Is t(9) composite?
True
Let g be 1068*(-3 - (-9)/2). Let x = g - 820. Let b = x + 177. Is b a composite number?
True
Suppose -3*c = g - 6*c + 9, 5*c - 15 = -3*g. Let z(l) = 3*l + 443. Is z(g) a prime number?
True
Let q be 3 - 3 - 2 - -544. Suppose 5*d - q = 2*x, 5*d - x = 291 + 250. Suppose 312 = 2*l + 2*f - d, 0 = 5*l - f - 1020. Is l a prime number?
False
Let c(p) = 1562*p**2 - 79*p + 337. Is c(4) a prime number?
True
Let s = 262230 - 164575. Is s a prime number?
False
Let j(p) = -458*p + 19. Is j(-8) a prime number?
False
Suppose 4*f = 8*f. Suppose 0*s + 5*s - 670 = f. Is s a prime number?
False
Let w be 44/8 + 1/2. Suppose 4*d - 6 - w = 0. Suppose n - d*o - 2*o = 98, -5*n - 5*o = -400. Is n a composite number?
False
Let p = -787 - -539. Let c = 71 - p. Is c a prime number?
False
Let n(z) be the third derivative of 4*z**5/15 - z**4/12 + z**3/6 + 5*z**2. Let p be n(2). Let i = p + 50. Is i a composite number?
True
Let p(k) = 7 - 16 - 2*k - k. Let r be p(-4). Suppose -4*i + 423 = -3*i - 5*b, -b + 1333 = r*i. Is i composite?
False
Let l = -69 - -626. Is l composite?
False
Let y(n) = -108*n**2 + 8*n + 1. Let o be y(7). Let q = 9326 + o. Is q composite?
False
Let o = 590 + -246. Let q = 609 - o. Suppose -l + 131 = 2*n, 0*n + q = 4*n + 5*l. Is n a prime number?
False
Suppose -4*w = -2*w - 64. Let k = w - 30. Suppose 114 = k*d - 28. Is d a prime number?
True
Let l = 2738 - 301. Is l a prime number?
True
Is ((-1256)/(-6) + 1)/(1/3) a prime number?
True
Let p(j) = -j**2 + 9*j + 40. Let l be p(12). Is 2 + -1 - -2524 - l a composite number?
False
Let h = -277 - -280. Let w(u) = 13*u**2 + 9*u**2 - 1 - 4*u**2. Is w(h) composite?
True
Let j = -41 + 19. Is 254/(-5)*(3 + j/4) a composite number?
False
Let l(a) = 2*a**2 - 41*a - 14. Is l(25) a prime number?
True
Suppose 19*p - 14*p = 3790. Suppose 2*x + 2*j + 2274 = 5*x, j = x - p. Is x composite?
True
Suppose 0 = -4*f + 2*t - 2, 4*t + 2 = -4*f + 18. Is ((-9708)/(-4))/3*f a prime number?
True
Let f(u) = 480*u**2 - 69*u + 581. Is f(8) composite?
True
Let z be ((4 - -59)*1)/(1/3). Suppose -3*u - 16 = -5*l + 3, u + 2*l = 12. Suppose u - z = -o. Is o composite?
True
Let y(i) = 51*i - 5. Let g(s) = -50*s + 4. Let x(m) = -4*g(m) - 5*y(m). Let t be x(-5). Suppose -4*f + t = -2*f. Is f a prime number?
False
Let g(b) = 29*b**3 - 5*b**2 + 5*b - 4. Suppose 3*f + 0*f = 5*o - 6, 15 = 4*f + o. Is g(f) composite?
True
Let o be ((-21)/(-12))/((-2)/(-128)). Let g(m) = -m + 2. Let c be g(-5). Let w = o + c. Is w prime?
False
Let n(x) = -177*x - 6. Let b be (-1)/(3/(36/3)). Let o be n(b). Suppose o = 4*d + 74. Is d a composite number?
False
Let u = -72 - 13. Let m = -82 - u. Is m prime?
True
Suppose 0 = -2*b + 3*i + 392933, 8*b = i + 845958 + 725763. Is b a prime number?
False
Suppose -14 = -4*t + 2, 5*t - 32 = -3*h. Suppose 3*w = h*w + 3*l - 62, 0 = 4*w - 2*l - 318. Is w a composite number?
True
Suppose 5*n - 46 + 16 = 0. Let a be 4/(-12) + 50/n. Let t(f) = 2*f**2 - 6*f - 1. Is t(a) a composite number?
False
Let n(d) be the second derivative of -94*d**3/3 - d**2/2 - 9*d. Is n(-1) a prime number?
False
Suppose -2*i + 7*i = -880. Let d = 11 - i. Is d composite?
True
Suppose -3245 = -8*y + 31787. Let w = y - 2740. Is w composite?
True
Suppose -4*i - 103 + 1051 = 0. Is i composite?
True
Let n be 10/3 + (-20)/(-30). Suppose -3*v + v = -4*j - 2470, -6147 = -5*v - n*j. Is v prime?
True
Suppose -c + 0*c + 35 = -p, -3*p - 75 = 3*c. Is 1984 - p/(12/(-2)) a composite number?
False
Let p = 35 + -25. Let s(c) = 2*c - 2 + p*c - 1 + c**2. Is s(8) prime?
True
Suppose 0 = -6*q + 3*q 