= 169 - 79. Let k be 6/3 + 2*-3. Let d = s - k. Is d a composite number?
True
Suppose -6 = -4*b - 3*k, 0*k + 8 = -2*b + 4*k. Is 8661/(-6)*(b - 2) a composite number?
False
Let x(a) = -a + 2. Let z be x(-7). Let q = z + -6. Is 29/q*(2 + 13) a composite number?
True
Let s(z) = 7*z**3 + 10*z**2 - 17*z - 19. Let x(i) = 8*i**3 + 9*i**2 - 18*i - 19. Let d(h) = 7*s(h) - 6*x(h). Is d(-16) prime?
True
Suppose -3*s = -74*w + 73*w + 2665, -s - 2 = 0. Is w a composite number?
False
Let x(m) = 3*m**3 + m + 2042. Let s be x(0). Let f = s - 757. Is f composite?
True
Is (-54)/135 - (-9)/30*141778 a prime number?
True
Let o = 1505 + 1128. Is o composite?
False
Let a = -3975 - -5840. Suppose -5*z = -0*z - a. Is z prime?
True
Let g = 5736 - 2347. Is g composite?
False
Let v = -6126 - -26999. Is v prime?
True
Let d = 318 + 184. Is d prime?
False
Suppose 0 = -2*l + 1 - 7, 4*p + 4*l = 0. Suppose 2*d - p*d = -839. Is d composite?
False
Let b = -114 + 129. Suppose b*g - 3492 = 16923. Is g a composite number?
False
Let o = -3738 + 14051. Is o prime?
True
Suppose 3*o + 9 = 6*a - 3*a, -2*o - 2*a - 26 = 0. Let d be 100/o - (-1)/(-2). Is (-2 - -1)/(d/299) a prime number?
True
Suppose 2*i - 15280 = -4*f, -f + 2924 = -i - 899. Is f composite?
False
Let j(l) = 11*l**2 - 26*l + 37. Is j(10) a composite number?
False
Is (-12646)/((-35)/5 + 5) composite?
False
Let y(z) = 4*z**2 + 13*z + 4. Let r be -1*(48/(-4))/3. Suppose r*l + l = -45. Is y(l) composite?
False
Suppose -3*c + 2*r = -22477, -c - 385 + 7879 = r. Is c prime?
False
Let i = 1160 - 655. Is i composite?
True
Suppose o - 12 = -3*o. Suppose -5*b = n - 1643, 2*n - o*b - 966 = 2372. Let z = n - 956. Is z composite?
True
Let s(c) = c**3 - 8*c**2 + 11*c - 6. Suppose -6 - 10 = -2*u. Is s(u) a prime number?
False
Is 12687/((-20)/(-4)*12/20) prime?
True
Let j = -7406 - -12189. Is j prime?
True
Let o(p) = 2*p**3 + 9*p**2 + 4*p - 71. Is o(14) prime?
True
Let u = 1475 + -4037. Let l = u + 3773. Is l composite?
True
Suppose 3*q = 4*q. Suppose 4*o - 9*o + 5 = q. Is (o + 1)*63 - -3 a prime number?
False
Let n(z) = -285*z**3 + 3*z**2 + 3*z. Let k be n(-2). Suppose -29*s = -26*s - 4*x - 51, -2*s - 4*x = -14. Suppose 7*f + k = s*f. Is f prime?
False
Let k(g) = 2*g**3 - g + 1. Let s be k(1). Suppose s*m - 7 = m. Suppose -m*n + 2*n + 3335 = 0. Is n a prime number?
False
Suppose -4*h - 2*h + 3960 = 0. Let i = -391 + h. Is i a composite number?
False
Let x be 15/(-5) - (-10)/5. Is (x - -354)/(-4*(-6)/120) a prime number?
False
Let g(h) = -h**2 - 12*h - 30. Let w be g(-9). Is (-265)/(-3) + (-2)/w composite?
False
Suppose 0 = 47*r - 45*r + 788. Let i = -35 - r. Is i a composite number?
False
Suppose 0 = 5*j - 3*a + a, 0 = -5*j - a + 15. Suppose -j*o = 4, -3*r + 5*r + o - 2 = 0. Suppose 0 = -r*n + 148 + 378. Is n prime?
True
Let y be -3 + -3 + 5 - -12. Suppose -6*h = -y*h + 25. Suppose m - 110 = -x, -x + 338 = 2*x + h*m. Is x a prime number?
False
Suppose 8*y - 3*y = 10. Suppose -f - 3*k + 286 = -618, -1788 = -2*f - y*k. Is f prime?
False
Is (9580/(-30))/(8/(-12)) prime?
True
Suppose -5*r - 5 = 0, -7*a - 3*r + 17 = -2*a. Suppose -406 = -a*c - s - 2*s, 3*c + 2*s = 304. Let l = 263 - c. Is l prime?
True
Suppose 54*f + 62012 = 266510. Is f prime?
False
Let h(r) = -4*r**3 + 38 + 4*r**2 + 6*r**2 - 55 + 7*r + 3*r**3. Is h(9) a prime number?
True
Suppose -3*k - 3*s = -111, -3*k - k + 128 = -s. Let f(m) = -m**3 + 2*m**2 + 3*m. Let x be f(3). Suppose x*c + k = c. Is c composite?
True
Suppose -3*k = -5*c + 2338, 0 = -4*c + k - 5*k + 1864. Is c a prime number?
True
Let r(m) be the second derivative of -95*m**3/3 + 3*m**2/2 + 6*m. Is r(-3) a prime number?
False
Suppose 39*a = 38*a + 3478. Let p = a - 1509. Is p prime?
False
Let h(a) = -46*a**2 + 49*a**2 + a - 6 - 2. Let f be h(-16). Suppose -v + f = 5*p, -p = -v - v - 151. Is p composite?
False
Let v = -6902 - -12615. Is v a prime number?
False
Let f = 2455 + -4355. Let n = f + 2853. Is n a prime number?
True
Let q = 9216 + -4069. Is q prime?
True
Let q(h) = -h + 2*h**2 + 1 + 53*h**3 - h**2 + h**2. Is q(2) prime?
True
Suppose -203 = -4*l - 4*x + 505, 4*l - 699 = -x. Let g = l - 55. Is g composite?
True
Let m = -12 - -14. Suppose m*z + 25 = 7*z. Suppose -q - 1348 = -z*q. Is q a prime number?
True
Let h(u) = 11*u + 19*u**3 + 5*u**3 + 3*u**2 + 7 - 16*u. Is h(3) a composite number?
True
Suppose p = y + 11266 - 114484, 0 = -5*y - p + 516084. Is y prime?
True
Suppose 1777 + 478 = 5*r. Is r composite?
True
Let n(p) = -64*p + 13 - 4 - 17*p. Let r be n(-13). Suppose -2*u + 3*z = -z - 534, 0 = 4*u - 5*z - r. Is u prime?
True
Let r = 4310 - 2261. Suppose 5*l - r = 2546. Is l a composite number?
False
Suppose -3*l = -2*z - 2662, 3*l + 4*z = 6*l - 2660. Let h = l - 615. Suppose -o + h = -4*d, -o + 8*d + 278 = 3*d. Is o prime?
False
Let x = -192 + 83. Let y = -76 - -2. Let g = y - x. Is g a composite number?
True
Suppose -4*t = -5443 - 17049. Is t a composite number?
False
Let q = 8 + 1181. Is q composite?
True
Suppose -5*h + 4*w = -10, 2*h = -3*w + 5 - 1. Suppose f + 407 = 6*f - 2*k, 4*f + 4*k = 320. Suppose h*c - 235 - f = 0. Is c composite?
True
Let f(w) = -w - 10. Let o be f(-8). Let t be (o + 2)/(7 + -6). Is (t - 15/(-12))*12 a prime number?
False
Is 4/((-56)/77)*-382 a composite number?
True
Let p(l) = -2*l**3 - 19*l**2 - 11*l - 16. Let k be p(-9). Suppose k*s + 25144 = 10*s. Is s a prime number?
False
Suppose s + 7 = 9, -4*v = -s - 24306. Is v composite?
True
Let r = -1 - -7. Let t(o) = 6*o + 16*o**2 + r - 12*o - o**3 - 2*o. Is t(7) composite?
True
Let q(y) = -1392*y + 593. Is q(-8) a prime number?
False
Let x(y) = -196*y - 7. Is x(-21) composite?
True
Suppose -y = -3*y. Suppose y = 5*g - 2337 - 43. Suppose -5*z = -z - g. Is z prime?
False
Suppose 35*m - 3581 = -4*v + 40*m, 3*v - 2652 = -3*m. Is v a prime number?
False
Let y(h) be the third derivative of 13*h**4/24 - 5*h**3/3 + 3*h**2. Let m be y(-5). Is 15/m - 2786/(-5) a prime number?
True
Let p(f) = -151*f - 17. Let i(r) = -150*r - 16. Let z(x) = -5*i(x) + 4*p(x). Let w be z(6). Is (-4)/(-3)*w/16 composite?
True
Suppose j - 4*c + 2*c - 1253 = 0, 2*j + 2*c - 2524 = 0. Is j prime?
True
Let z(y) be the third derivative of -9*y**4/4 - 31*y**3/6 - 4*y**2. Let c(d) = 18*d + 10. Let k(s) = 8*c(s) + 3*z(s). Is k(-9) composite?
False
Is (-83471)/(-2) - (-364)/104 composite?
True
Let i(g) be the first derivative of -1055*g**2/2 - 10. Is i(-1) prime?
False
Let l = 16 - 4. Suppose -l*g + 355 = -7*g. Is g prime?
True
Let v = -1211 + 2271. Suppose -v = -h - h. Suppose 0 = -t + h - 45. Is t prime?
False
Let x be (-2328)/(-10) + 2 + 10/50. Let s = x - 164. Is s a composite number?
False
Suppose -2*o + 254 = 5*r, 2*r - 5*o + 2*o = 113. Let c = r + -22. Is ((-10)/4)/((-5)/c) a composite number?
True
Let o be 12/9 + (-121)/3. Is (-1437)/o - 4/(-26) a composite number?
False
Let u(y) be the third derivative of -y**6/60 + y**5/30 + y**4/6 - y**3/3 + 3*y**2. Let a be u(4). Let i = a + 115. Is i composite?
True
Is ((-1)/2*2)/(13/(-171821)) prime?
True
Suppose -2 = -3*b + 2*b, -4*b - 1 = -3*r. Suppose 708 = 3*v - 0*v - 3*m, r*v - 716 = -5*m. Is v a prime number?
False
Suppose 0*q = -6*q. Let m = 2 + q. Suppose 0*t = m*t - 1082. Is t composite?
False
Let k = 7 + -7. Let z = 166 + -117. Suppose -l - u + 12 = -k*u, -5*u = 4*l - z. Is l a prime number?
True
Suppose 0*p - 3*u = -2*p + 7, -5*p = 4*u + 40. Is 4*p/(-80) - 133670/(-25) prime?
True
Let o(f) = 5*f**3 + 2*f + 16 + 11*f**2 + 9*f - 6*f**3. Let a be o(12). Is a/(-10) - (-327)/5 composite?
True
Let d = 6920 - 4341. Is d prime?
True
Let s = 298 - -93. Is s a composite number?
True
Suppose -2*s - 326 = -0*s. Let f = 430 + s. Is f a composite number?
True
Is (-5152416)/(-72) + ((-4)/3 - -1) a composite number?
True
Suppose 15*m - 14*m - 920 = 0. Suppose -m = -3*l - l. Suppose -5*b + 825 = -l. Is b composite?
False
Suppose 15 = 5*t - 10. Suppose -3*y + 2565 = -2*n, 4*n + 4277 = t*y - 0*n. Is y prime?
True
Let q(t) = t**3 - 6*t**2 + 2*t - 10. Let c be q(6). Is 1/c*(-7184)/(-8) prime?
True
Is 15217/((14 + -20)*1/(-6)) a composite number?
False
Let l(n) = -n**3 - 9*n**2 + n + 6. Let i be l(-9). Let g be 3 + -2 + i - -4. Suppose 0 = g*d - 1 - 43. Is d a prime number?
False
Let g(d) be the third derivative of -9*d**6/40 + d**5/15 - d*