x = -4*x - v. Let f = 452 - x. Is f prime?
False
Let a(c) = 61*c**3 + 2*c**2 - 3*c + 5. Let r be a(2). Let s = r + -284. Is s a composite number?
False
Let m(j) be the second derivative of j**4/2 + 4*j**3/3 - 11*j**2/2 + 15*j. Is m(6) a composite number?
True
Let z = 10059 - 3442. Is z a composite number?
True
Is (-202365)/(-108) - 2/(-8) a prime number?
False
Let s(r) be the first derivative of -3*r**5/10 + 7*r**4/24 + 5*r**3/3 + 3. Let j(q) be the third derivative of s(q). Is j(-3) prime?
False
Suppose 11 = 5*z + 1. Suppose 232 + 22 = z*x. Is x a composite number?
False
Suppose -2835 = -8*t + 11813. Is t prime?
True
Suppose -81969 = -3*r + 2*g, -2*r + 109292 = 2*r + 2*g. Is r a prime number?
False
Let u(z) = -4*z**3 + 4*z + 3. Let v be u(4). Let w = v + 474. Suppose 0*r - w = -3*r. Is r a composite number?
False
Let b(s) = -340*s**2 - s + 2. Let r be b(1). Let x = 646 + r. Is x a prime number?
True
Suppose 6*k - 3*k = 1332. Let u = -235 + k. Is u composite?
True
Let h be 6*((-92)/8 - -2). Suppose -174 = 2*x + 26. Let u = h - x. Is u prime?
True
Let j = -581 - -1012. Suppose -o - 5*z = -7*z - j, 2*o = -2*z + 880. Is o a prime number?
False
Let x(t) = -t**2 - 1. Let y(v) = -6*v**2 - 6*v - 11. Let k(p) = -6*x(p) - y(p). Is k(-7) a prime number?
True
Let q be 3*(0 - -1 - 0). Suppose q*i - 5*f - 973 = 0, -4*i = -i - 2*f - 985. Is i a prime number?
True
Suppose u - 4*u - 18 = 0. Is (u/(-8))/(2/1016) a composite number?
True
Suppose 3649 = h - 39384. Is h prime?
False
Let y be 2 + (-1 + 49)/2. Let l = y + -30. Is (-126)/12*l/6 prime?
True
Let x = 5930 - -9797. Is x composite?
False
Let w be ((-5)/((-10)/138))/(0 + 1). Let x = 302 - w. Is x prime?
True
Suppose 5*w = 5*t + 29160, t + 11665 = -3*w + 5*w. Is w a composite number?
True
Is -2 - (20/4 + 0 + -2174) composite?
True
Let k = 6772 + -3690. Let w = k - 9. Is w composite?
True
Let z(l) = l**2 - 3*l - 14. Let f be z(6). Is (-9675)/(-5) - 0 - f a prime number?
True
Suppose -56*x + 86*x - 616110 = 0. Is x a prime number?
False
Let y(j) = j**2 + j + 1. Let h(f) = -27*f**2 + 4*f - 6. Let r(p) = -h(p) + 2*y(p). Let b be r(6). Let g = -709 + b. Is g composite?
False
Let o be 16/(-10)*30/(-12). Suppose o*l - 232 = m - 5*m, 3*m = l - 62. Is l a composite number?
False
Let n(z) be the third derivative of 37*z**5/20 + z**4/24 + 2*z**2. Let d be n(1). Let r = 161 - d. Is r a prime number?
False
Let t(c) = c**3 + 11*c**2 - 3*c + 18. Let z be t(-11). Is 268/(-1)*z/(-68) composite?
True
Suppose 0 = -163*c + 170*c - 156471. Is c a composite number?
True
Is 6/4 - (118236/(-8) - 2) a prime number?
True
Suppose 0 = -4*c - 0*m + 4*m - 12, 4*m - 26 = -3*c. Is (-422)/1*c*(-5)/20 composite?
False
Suppose 11*v - 3*v = 16. Suppose -4*y + 298 = v*o, 0 = -4*y - 0 + 8. Is o composite?
True
Let h(t) = 3*t - 27. Let j be h(9). Suppose j = 3*v + v - 4540. Is v a composite number?
True
Let q(r) = 290*r**2 + 22*r - 37. Is q(-7) a prime number?
False
Let a(j) = j**3 - 3*j**2 - 1. Let y be a(-3). Let f be 2/(-5) + 442/5. Let k = f + y. Is k a composite number?
True
Is ((-525695)/94)/(-1 - (-1)/2) prime?
False
Let p = 23 - 22. Is p - -485*(5 + -3) a prime number?
True
Let a(q) = 189*q**2 + 3*q + 11. Is a(4) composite?
True
Suppose -a + 1 + 4 = 0. Let n(b) = 2*b**2 - a - 1 + 4 - b - 6. Is n(-9) a prime number?
True
Suppose 2*x = -f + 6*f - 16, -2*f = 8. Let t = 30 + x. Is t/(-42) + 583/7 a composite number?
False
Suppose 4 = -9*s + 5*s. Is (((-39)/(-6))/13)/(s/(-662)) a prime number?
True
Suppose 5*b - 3*h = -1195, -7*h + 1205 = -5*b - 2*h. Let n = -221 - -142. Let o = n - b. Is o composite?
False
Let q(z) = -16*z - 1. Let r(i) = -15*i - 1. Let l(g) = 6*q(g) - 7*r(g). Suppose -p + 3 = -d, d - 4*p + 28 = 5*d. Is l(d) a composite number?
False
Suppose 0 = -2*y - p + 4*p + 12, -3*y + 37 = 5*p. Suppose -y*c + 20 = -4*c. Suppose -j = 2*n - 232, c*n + 3*j - 342 = n. Is n prime?
False
Let l = 12501 - 5350. Is l a prime number?
True
Let f be 3 - 5 - 2*(-892)/8. Let m(c) = -2*c**3 - 8*c**2 + 7*c + 6. Let y be m(-6). Let j = f - y. Is j a composite number?
False
Suppose -4*j + 42745 - 2829 = 0. Is j prime?
False
Let n(d) = 4*d**3 - 11*d**2 - 29*d + 41. Is n(11) prime?
False
Suppose 4*v + 4*w = 134672, -8*v = -13*v + 5*w + 168310. Is v a composite number?
True
Suppose -2*r + 6 = r. Suppose -4*l + 4*j - 5*j = -7141, -4*l - 3*j = -7143. Suppose -29 - l = -r*h. Is h composite?
False
Let g(j) = 371*j - 47. Is g(8) prime?
False
Suppose 232*c = 249*c - 134317. Is c prime?
True
Suppose -64077 = -2*d - 21103. Is d a prime number?
True
Suppose -5*i + x = -13832, -3*x = 10*i - 6*i - 11077. Is i a composite number?
False
Let c be (30/(-25))/((-14)/10 - -1). Suppose c*w - 2387 = -4*w. Is w prime?
False
Let a be (-5 - -5)/(2/(-2)). Suppose 4*o - 4*l - 4 = a, 2*o = -4*l + l + 2. Is o/(3028/(-1516) + 2) composite?
False
Let c be (16 - (-780)/(-45)) + (-2480)/3. Suppose -j = 2584 - 275. Let b = c - j. Is b a prime number?
True
Is (1 + 0)/((-16)/(-177439 - -15)) prime?
False
Let o(r) = -7 + 0 - r + 3. Let q be o(-7). Is (30/4)/(q/6) composite?
True
Suppose -109*g - 37050 + 551639 = 0. Is g composite?
False
Suppose 2*g - 4*r = -6, 2*r - 4*r + 8 = 0. Suppose 9 = -f - 4*t + 2*t, -g*f - t = 18. Is (-1 - -39) + f + 0 a prime number?
False
Let i(q) = -3*q**3 + 2*q**2 - q + 1. Let d be i(-3). Suppose 4*s = 0, 8*j - 12*j + 1176 = 5*s. Let c = j - d. Is c prime?
True
Let q(y) be the second derivative of 11*y**6/720 + y**5/40 - y**4/4 + y. Let r(z) be the third derivative of q(z). Is r(8) composite?
True
Suppose 3*n + 3*q - 23 = 19, q = -4*n + 65. Let i = n - 35. Let x = 28 - i. Is x a composite number?
True
Let c = -19550 - -32119. Is c a prime number?
True
Let t(a) = 0 + 173*a - 2 - 21*a + 7. Is t(4) prime?
True
Let s(w) be the second derivative of w + 1/6*w**4 - 1/2*w**3 + 3/2*w**2 + 0. Is s(4) prime?
True
Suppose -120*w - 829173 = -11294973. Is w a composite number?
True
Is (-2635215)/(-330) - (-2*1)/(-4) a prime number?
False
Suppose -c + 20619 = -5*p, -5*p + 41298 = 2*c - 0*c. Is c a composite number?
False
Let m(a) = 216*a**2 + 12*a - 25. Is m(7) a prime number?
False
Suppose -152 + 32 = 10*o. Let j = o - -218. Is j prime?
False
Suppose 20*u - 16*u = -72. Is 712/6 + 12/u prime?
False
Let z be 2*(-2)/(-12) - (-14)/(-42). Suppose z = -5*c + 1108 + 1797. Is c a composite number?
True
Let f(d) = 201*d - 3. Let t(p) = -100*p + 1. Let c(w) = 3*f(w) + 7*t(w). Is c(-3) composite?
True
Suppose -3*x + 10*x - 7280 = 0. Let k = -709 + x. Is k a composite number?
False
Let f = -3534 + 9515. Is f composite?
False
Let g(x) = -343*x - 57. Is g(-4) composite?
True
Suppose 12*i = 11*i + 2590. Suppose 4*s + 266 - i = 0. Is s composite?
True
Suppose 4*l - 4 - 7 = g, 2 = 2*g. Suppose 4*u + l = u, -5*i - 5 = -5*u. Is (-3 - 2)*(-15 - i) composite?
True
Suppose -4*f - 2734 = -2*b + 816, -3*b - f = -5353. Is b a prime number?
True
Let f = 125 + -782. Let g = f - -974. Is g a prime number?
True
Let a(f) = 2*f - 8. Let r be a(6). Suppose -r*b = b - 25. Suppose 4*i - 3*j = 475, b*j - 499 = -6*i + 2*i. Is i composite?
True
Let c be 5/(-2)*(-4)/(-10). Is (2*(-835)/10)/c prime?
True
Let f = 27442 - 17577. Is f prime?
False
Let a be (-9)/(-5) - 15/(-75). Let g be 1*a/(-2) - -94. Suppose -12*r = -15*r + g. Is r prime?
True
Let l(f) = 153*f - 83*f - 7 + 138*f. Is l(2) a prime number?
True
Suppose -17210 = -d + 3*i + 2574, -19794 = -d + i. Is d composite?
True
Suppose 0 = 13*t - 17*t + 16124. Is t prime?
False
Let w(o) = 27*o**2 + 21*o - 3. Is w(-3) prime?
False
Let m be 1 - (-6 + 2 + 0 + 2). Suppose m*k - 379 = 1184. Is k prime?
True
Let t(d) = 2414*d**2 + d + 1. Let j be t(1). Suppose 300 = 4*b - j. Is b prime?
False
Let o be -1 - 6*(-2 + 0). Let s = -5 - -20. Let w = o + s. Is w a composite number?
True
Suppose 4*c + g = 1568, 5*c + 2*g - 1686 = 277. Is c composite?
True
Let n be (-4 + 2)*(1 + 3). Let m be (n/4 + -80)*7. Let w = m - -841. Is w prime?
False
Suppose s = -3*p + 5, 0 = -s - 1 - 0. Let l be (2*2)/(p + -3). Is 625/20 + 1/l a prime number?
True
Let n be 39/(-26)*(-20)/6. Let z(r) = -r**2 + 4*r + 10. Let j be z(n). Suppose 4*s - 5*s + 59 = -4*m, 2*s = j*m + 106. Is s a composite number?
False
Let i be (-14)/(-3) - (-8)/24. Let c(f) = 85*f + 8. Let s(o) = 127*o + 12. Let w(b) = i*