1 = -2*f, -3*f = -3*z - v + 186. Is z composite?
False
Is ((-47565)/(-28) - 4)*4 composite?
False
Suppose -4*q = -5*n + 108, -6*n + n - 4*q + 92 = 0. Suppose n = -r + 3*w, r + 0*w = w - 16. Let l = 25 + r. Is l prime?
True
Let x be (-2 - 39/(-15))*5. Let c = x - 9. Let b(u) = -3*u**3 - 7*u**2 - 8*u - 1. Is b(c) a composite number?
False
Let h(y) = -1709*y**3 - 7*y**2 + 3*y + 15. Is h(-4) a prime number?
True
Let l be (-9820)/(-28) - 8/(-28). Suppose 44 = 4*a - 2*q - 426, 3*a - 3*q = l. Is a a prime number?
False
Let l = 13 + -7. Suppose 2*k - 4 = -l. Is ((-590)/(-30))/(k/(-3)) a prime number?
True
Let v be 6*((-28)/(-6))/(-7). Is -7*(v + (-54)/(-21)) a prime number?
False
Suppose 5*d + 5 = -5*p, -p + 4*d = -3*p. Is -66*(15/10 + p) composite?
True
Suppose 75343 = 9*u + 22072. Suppose a + u = 4*a. Is a a prime number?
True
Is 5768 + -14 + (-5 - (3 + -3)) composite?
False
Let t be 255/10*(-16)/6. Suppose -i + o + 59 = 0, -i + 2*o = -6*i + 295. Let s = i - t. Is s a composite number?
False
Let u = 3896 - -1827. Is u a prime number?
False
Suppose 31 = 3*n + 5*q, -3*q - q + 20 = 0. Let s be (2 - -5) + n + 2. Let r(m) = 5*m**2 - 13*m + 11. Is r(s) composite?
True
Is 7479/15 + 1 - (-21)/(-35) a prime number?
True
Let f(w) be the third derivative of -w**6/120 + w**5/6 - 7*w**4/24 - w**3/2 + w**2. Let t(p) = 2*p - 9. Let d be t(8). Is f(d) composite?
True
Let j be -4*((-3)/6)/1. Suppose j + 1 = -n. Is 83 + -2 + 5 + n composite?
False
Suppose -5*u = -10*u - 21380. Let p = -2583 - u. Is p a prime number?
True
Suppose 63834 = 4*b - n, n = b + 4*n - 15965. Is b prime?
True
Let l = 17 - 14. Suppose -2*y - l*f = -2361 + 787, -3935 = -5*y + 3*f. Is y a composite number?
False
Let s = 16555 + -5744. Is s a prime number?
False
Let k be (-1323)/(-3) + 4/(-2). Let r = -8 - -13. Suppose 4*i - k = r. Is i composite?
True
Let d be 0*(3 + (-12)/3). Suppose 3*o - i + 604 = d, o + 2*i = -2*i - 223. Is -2*3/6*o prime?
False
Let a(t) = 10*t - 14. Let w be a(3). Is (202/(-3))/(w/(-168)) composite?
True
Suppose 5*j = -2*l + 69251, -13861 = -4*j + 3*j - 4*l. Suppose -15*t = -4*t - j. Is t prime?
True
Let v = 79851 - 34754. Is v prime?
False
Let r(x) = -x + 10. Suppose -16 = -q - q. Let o be r(q). Suppose o*s - 5*u = 476, 4*u = -0*s + s - 241. Is s a composite number?
False
Let d(q) = -2*q**2 - 2*q + 1. Let b be d(-1). Let r(c) = 282*c + 5. Is r(b) a prime number?
False
Is -2*(-6)/(12/821) a composite number?
False
Let g be (-60)/15*381/(-6). Suppose v + i + 5 = 0, 7*i - 2*i = -v - 1. Is (g/v)/(2/(-6)) a composite number?
False
Let m(a) = 9088*a - 11. Is m(3) a prime number?
True
Let v be (157 + 0)/((-5)/25). Let c be -6 - -4 - (-2 + -1). Is -2*c*v/10 a prime number?
True
Suppose -28 = 2*c + 4*y, -5*c - 3*y - 27 - 36 = 0. Is (746*3/12)/((-6)/c) a prime number?
True
Let x = 14741 + 12438. Is x composite?
False
Suppose -2*v + 7*v + 2 = 3*q, 18 = 5*q - v. Suppose 5*g - 14 = 3*g - 5*m, -m - 28 = -q*g. Is g a composite number?
False
Suppose -5*r + 34555 = -5*q + 343420, -2*r + 308851 = 5*q. Is q a prime number?
False
Let v be -11 - ((3 - 5) + 2). Let f = -7 - v. Suppose -f*q - 2*t = -364, 5*t = q - 22 - 47. Is q a composite number?
False
Let u = 159 - 156. Suppose -7*j + u*j + 4*z + 5924 = 0, j - 1489 = 3*z. Is j a prime number?
False
Suppose 0*b + x - 50 = -4*b, 0 = -3*b - x + 37. Let k(d) = -d**3 + 27*d**2 + 18*d + 9. Is k(b) a composite number?
False
Let x(y) = -133*y + 16. Let a be ((-12)/(0 + 4))/1. Is x(a) a composite number?
True
Let a(f) = f**2 + 5*f + 2. Let h be a(-2). Is (-6 - (h + 1)) + 77 a composite number?
True
Let l = 16656 - 1307. Is l a composite number?
False
Let f(v) = -v - 5. Let y be f(-10). Suppose -2*d = y*b - 2243, -2*b - 2*d + 250 + 646 = 0. Is b composite?
False
Suppose 21*k - 16*k = -20. Is ((-3086)/k)/((-6)/(-12)) composite?
False
Let d be (-6 + 0)*12/(-18). Let z(y) = 7*y**3 + y**2 + 29*y - 3. Let n(w) = -3*w**3 - w**2 - 14*w + 1. Let f(r) = d*z(r) + 9*n(r). Is f(7) a prime number?
False
Let m(u) = 169*u + 106. Is m(5) prime?
False
Suppose 4*k = -3*s + 11296, 0 = -3*k - 5*s + 7*s + 8489. Is k a prime number?
False
Is (-1)/((12 - 9) + 2599/(-866)) prime?
False
Suppose -2*o + 12694 - 2570 = 4*x, x - 2525 = -2*o. Is x composite?
True
Suppose -4*p = -6*i + i - 810, 0 = 3*i + p + 503. Let q = i + 177. Is q a composite number?
False
Let k(t) = -8*t + 23. Is k(-13) composite?
False
Let m be 16/64 + 1/(-4). Suppose 5*u = 0, m = -0*g + g + 2*u - 58. Is g a prime number?
False
Suppose 1 = -z, -23 = -u - 4*z + 15. Suppose -h + u = -181. Is h composite?
False
Let i = -1 - -1. Let j(o) = -5*o**2 - 9*o + 767. Let d(z) = z**2 + 2*z - 192. Let u(c) = -9*d(c) - 2*j(c). Is u(i) prime?
False
Let y(u) = u - 3. Let x(v) = -v + 7. Let b(p) = -3*x(p) - 5*y(p). Let c be b(-12). Is (733 + 1)*c/12 composite?
True
Suppose 0 = -0*k - k - 783. Let c = -97 - k. Suppose 30 = 4*s - c. Is s prime?
True
Let j(m) = -m**3 - 5*m**2 - 6*m - 8. Let k be j(-4). Suppose -123 = -c - 4*b, 3*c - 382 = b - k*b. Is c prime?
True
Let d = -3 - -7. Let v(g) be the first derivative of g**4/4 - 2*g**3/3 + 7*g**2/2 - 5*g + 42. Is v(d) prime?
False
Suppose -62777 + 159016 = 13*o. Is o a composite number?
True
Let w(q) = 408*q**2 - 18*q - 37. Is w(-8) composite?
True
Let v = 32 + -31. Let t(p) be the third derivative of 29*p**5/20 - p**4/8 + p**3/3 - p**2. Is t(v) a prime number?
False
Let r = 24 + -18. Is ((-3)/r)/(4/(-2568)) a composite number?
True
Suppose -10*w + 15*w = 2*r - 21677, -r + 10843 = -4*w. Is r composite?
False
Let b(l) be the first derivative of -l**2/2 - 6*l - 2. Let q be b(-10). Is q/(-12) + (-1722)/(-9) a prime number?
True
Let n be 0 - ((0 - -719) + -3). Let l = -532 + 289. Let k = l - n. Is k a composite number?
True
Let g be (-2 + (-114)/(-6))*(0 - -1). Is 22480/18 + g/153 composite?
False
Let l(x) = 5*x**2 - 4*x - 2. Let r be ((-45)/(3/1))/(-1). Let j be (2 - 1)*r/(-3). Is l(j) a prime number?
False
Suppose 40*o - 43*o + 2*m + 25663 = 0, 0 = -4*o - 2*m + 34208. Is o a composite number?
True
Suppose 20869 = o - 0*o - 2*u, -4*o = 4*u - 83488. Suppose 0 = -15*x + 10599 + o. Is x prime?
False
Suppose 51 = -m - 32. Let k = 274 + m. Is k prime?
True
Suppose 0*j + 4 = j + 4*h, -j + 5 = 3*h. Let y be 557*3/(12/j). Is (-2)/((-8)/y)*2 composite?
False
Suppose 0 = -2*w - 3*h + 32087, 4*w = h + 8420 + 55733. Is w a prime number?
False
Let c be (2 - 0)*3 - 2. Suppose 2*k = -c*i + 26, 2*k + 7*i - 2*i = 31. Suppose 0 = -k*b + 41 + 4. Is b composite?
True
Suppose -2*x = -4*x - 94. Let h = -354 - -718. Let i = h - x. Is i composite?
True
Suppose -4*n = 3*h - 20296, -10158 = -2*n - h - 3*h. Is n prime?
False
Suppose -5*g = -2*o + 180716, -4*g - 72747 - 17614 = -o. Is o composite?
False
Let q = -4 + 5. Let n = 3 + q. Suppose 0 = -n*a - z + 938, a = 6*a - 5*z - 1185. Is a composite?
True
Let h(j) = -j**3 - 5*j**2 + 8*j + 8. Let f be h(-7). Is -3*(-281)/6*(f + -4) composite?
True
Let g(r) = -38*r - 6. Suppose -2*c + 25 = 3*c. Let j be g(c). Let o = j + 330. Is o a prime number?
False
Suppose 0 = -5*y + 15, 4*y + 15063 = 3*j + y. Let d = 12093 - j. Is d prime?
True
Suppose 2182 = k - 9915. Is k a composite number?
False
Suppose 0 = -2*z - 4*l + 943 + 39, 3*z - 5*l = 1506. Suppose q = 2*q - z. Is q a prime number?
False
Let q(y) = -y**2 + 5*y - 4. Let n be q(3). Let k(o) = 2*o**2 - 3*o. Let d be k(n). Suppose -2*g = r - 7*g - 159, 2*r - d*g - 302 = 0. Is r a composite number?
False
Suppose 15682 = -31*l + 160824. Is l prime?
False
Let z = -284 + 359. Let x be 1*(-1 - 0) - -131. Let n = x + z. Is n prime?
False
Let t(f) = -f**3 - 11*f**2 - 11*f - 8. Let w be t(-10). Suppose -3*x + 0*x - 5*z = -27, -x - 3*z = -13. Suppose -134 = -x*m + w*m. Is m a composite number?
False
Suppose -7*m = 6*m - 193999. Is m composite?
False
Suppose 4*j - 2375736 = -84*j. Is j prime?
False
Let p = 9174 + 10397. Is p a prime number?
True
Suppose 0 = -0*h + h - 483. Let l be h + 3/1 + 0. Let a = l - 292. Is a prime?
False
Let g = -4222 + 9861. Is g a prime number?
True
Let f = -52 + 52. Suppose f = -d + 381 + 1004. Is d a composite number?
True
Let u(d) = 467*d**2 - 2*d + 10. Is u(3) a composite number?
True
Let o = -14 - -10. Let p(l) = -l**3 + 2*l**2 - 4*l. Let g be p(o). Is g - 5/(15/(-9)) a prime number?
False
Is (-100