0*u + j, 2*j = 6. Is u a composite number?
True
Suppose 0 = 4*d + 20, -2*q + 128*d = 126*d - 718292. Is q composite?
True
Suppose -32 = -26*w + 254. Let v(y) = -y**2 - 10*y. Let t(b) = -b**2 - 10*b + 1. Let j(z) = 2*t(z) - 3*v(z). Is j(w) prime?
True
Let t = 94850 - 55441. Is t a prime number?
True
Suppose 4*d + 4 = -0, 0 = -5*z - 5*d + 10. Suppose -2*c - 8 = -4*n, -11 = -z*n - 2*n + 2*c. Is ((-887)/2)/(n/(-6)) a composite number?
False
Let u = 1602 - 253. Suppose -3*s + u = 5*f, -239 = -5*s - 2*f + 1984. Is s a composite number?
False
Suppose -3*s + 5*s + 2 = 0. Suppose 0 = -14*v + 3*v + 495. Is s/(-5) + 7326/v a prime number?
True
Let n be (6 - 0)*(-1)/3 + 165. Let z = n - 60. Is z composite?
False
Let t(g) = -g**3 - 9*g**2 - 11*g - 15. Let h be t(-8). Let f = 5 - h. Is 749 - (0/(-2 + 3) + f) a composite number?
True
Is (-14)/2 + 39 + -36 - -392387 prime?
True
Is 5214377/(-49)*7*-1 composite?
False
Suppose -8*b = v - 6*b - 488, -5*v = -b - 2429. Suppose 0*k = 2*k + 4*i - 176, 3*k + 5*i = 269. Suppose k = m - q, m - v = -4*m + 4*q. Is m a prime number?
False
Let q = 109 - -10. Suppose -3*x + 598 + q = 0. Is x a prime number?
True
Suppose 4*r - 3*j - 6738 - 3615 = 0, j - 5 = 0. Suppose a + 3*a + 3*z = 5132, r = 2*a - 5*z. Suppose 4*f = 3742 - a. Is f prime?
False
Suppose -3*a = -5*a - 3*m + 228203, -114094 = -a - 3*m. Is a prime?
False
Let h be (12/(4 - 7))/(2*-1). Suppose 2*i + 5*t + 25 = 0, 15 = 4*i - t - h*t. Is (3 - i)*2/(-3) + 237 a prime number?
False
Suppose -20*w - 870 = -23*w. Let n = -151 + w. Suppose -2*c = 3*f - 0*f - n, 395 = 5*c - 2*f. Is c a prime number?
False
Let r(s) = -12*s - 64. Let a be r(-6). Let p be 4 + -26*((-4)/a - -1). Is p - -10 - (1 - 23) a prime number?
True
Let d(t) = 9*t + 1 - 2*t - 7*t - 2*t. Let v be d(-2). Suppose 3218 = 5*f - 2*b - 4169, v*b = -5*f + 7380. Is f composite?
True
Let d(c) = 352*c + 3. Suppose f - 21 = 18. Let n = -36 + f. Is d(n) composite?
True
Let l = -776 + 434. Is 695*(-29)/(-6) - (-57)/l composite?
False
Suppose -10*q = -116 + 106. Let f(a) = 1404*a**3 - 5*a + 6. Is f(q) composite?
True
Let s = -208648 + 782217. Is s a composite number?
False
Suppose 0 = 2*u + 2*z - 16, z + 3*z = 4*u + 8. Suppose -u*a - a = -3052. Is a composite?
True
Suppose -50*i + 2350700 = -25*i. Suppose 5096 = -12*z + i. Is z composite?
False
Suppose 122*u - 121*u = -1. Is ((-8)/20)/u + (-147087)/(-45) prime?
False
Let x(d) = 6*d**2 + 12*d + 45. Let l(o) = 2*o**2 + 4*o + 15. Let t(y) = 7*l(y) - 2*x(y). Let r(m) = m**2 - m - 9. Let c be r(0). Is t(c) a prime number?
False
Suppose -5*o + 16 = -q, 7*o + q = 4*o + 8. Suppose -o*a = 4*j - 11432, 3*j - 6*j + 5*a + 8545 = 0. Is j a prime number?
False
Is (-8)/40 - 10420720/(-100) a prime number?
True
Let i = -527 - -529. Suppose -5*m + w = -165476, -i*m + 77952 - 11765 = 3*w. Is m composite?
True
Suppose 0 = -d + 6*d + 4*v - 18, -3*d + 5*v - 4 = 0. Suppose -d*a - 10 = -264. Is a a composite number?
False
Suppose -376535 = -2*q - 2*s + 115511, 4*q + s - 984092 = 0. Is q composite?
True
Let z be ((60/(-50))/(-3))/(2/10910). Let l = -273 + z. Is l prime?
False
Let p(z) = 130*z**2 + 14*z + 11. Suppose 27 = -2*r - 3*u + 11, 0 = 3*r + 5*u + 24. Is p(r) composite?
False
Let b be ((-16)/3 + 0)*(0 + -3). Suppose -8*w = -9*w - b. Is 62388/84 - (2 + w/7) a composite number?
False
Let l = -12 - -15. Suppose 5*j + 3*y = 0, l*j = 2*j + y. Suppose -4*m = 5*p - 11150, j = -p - 2*p + 5*m + 6727. Is p a composite number?
True
Is -8 + (-21337)/2*806/(-31) prime?
True
Let h be (4 - (-40)/(-12))*-60. Let i be 20/110 - h/22. Is 7 - 8 - -4*337/i a composite number?
False
Let v(a) = -3*a**3 + 43*a**2 + 2*a - 1. Is v(6) a prime number?
True
Let j(f) be the first derivative of -f**4/4 + 6*f**3 - 27*f**2/2 - 45*f + 16. Is j(14) composite?
True
Suppose 551441 = -187*t + 72712463 + 29949767. Is t a composite number?
False
Let z(w) = 20*w**3 + w**2 + 2*w + 1. Let i be z(-2). Suppose 3*o - 8*o = 4*b - 1598, 0 = -5*b - 15. Let t = i + o. Is t a prime number?
True
Suppose -5*a = -2*w - 12, -a - a = 0. Is ((20772/15)/w)/(1/(-5)) composite?
True
Suppose 10987 + 6413 = 8*v. Suppose 0 = -m + v + 1462. Is m a prime number?
True
Let j(k) = 3*k + 1982. Suppose 12*q = 4*q - 80. Let g be (-4)/10 - (24/q - -2). Is j(g) a composite number?
True
Let o(s) = 398*s + 2. Let i be o(-2). Suppose 84*z = 130*z - 169326. Let x = i + z. Is x a composite number?
False
Let o be (1445*4/8)/((-2)/(-4)). Suppose 2*t - 2645 - o = 0. Is t a composite number?
True
Suppose -32*c - 10 = 182. Is 6/9*1 - 6938/c a composite number?
True
Let t(r) = -1427*r + 51. Let i be t(-8). Suppose 6*a - i = 5*a. Is a composite?
False
Let a be ((-1072)/40)/(1 + (-35)/25). Suppose a*s = 51*s + 33568. Is s a composite number?
True
Let t(a) = 191*a + 113. Let u be t(16). Suppose u = x + 390. Is x a prime number?
False
Suppose -6*m + 3*p - 1842 = -m, 2*m - 5*p = -733. Let g = m - -667. Suppose 2*y + 44 - g = 0. Is y prime?
True
Let m(r) = -2 + 7*r**2 - 13*r + 6*r + 9*r - 10. Let i be m(5). Suppose j - u - 596 = i, -5*u + 757 = j. Is j a composite number?
True
Suppose -12*n = -352 + 292. Let j(q) = -q**2. Let p(g) = -7*g**2 - g + 8. Let i(v) = -18*j(v) + 2*p(v). Is i(n) composite?
True
Let c = 590 - 582. Is (-5 - -2 - 274/c)*-4 prime?
True
Let o = -83 - -85. Suppose 2*n = o*r - 3*r + 2181, -2 = -2*n. Is r composite?
False
Suppose -p = -3*t - 2 + 5, -4*t = -3*p - 4. Suppose p*l - 14194 = -l + 3*w, -l + 14206 = w. Is l prime?
False
Let g(h) = 223*h**2 + h - 1. Suppose -2*u + 18 = u. Let i be 4/(-6) + u/9 + 1. Is g(i) prime?
True
Suppose -1196435 = -2*z + 3*c, 160*z - 2*c = 164*z - 2392878. Is z a prime number?
True
Let b = -523 - -528. Suppose -4*j - 5*y + 47817 = 0, b*j - j + 2*y = 47814. Is j a composite number?
False
Suppose -4*t + s = -7*t + 114583, 3*t = -5*s + 114551. Is t composite?
False
Suppose 6152 + 36709 = 21*d. Let o = d - -538. Is o prime?
True
Let o(l) be the second derivative of -3*l**5/20 - 2*l**4 - 7*l**3/6 - 87*l**2/2 - 2*l + 129. Is o(-20) prime?
False
Let l = -312 - -355. Suppose 28*h - l*h + 27915 = 0. Is h prime?
True
Suppose -5*c = 2*s - 3*s - 7, -3*s - 2 = 4*c. Let m be 40/32 + s/8. Let t(k) = 161*k**2 + 5*k - 5. Is t(m) a prime number?
False
Let v = 158443 + -113066. Is v prime?
True
Suppose 2*g - 22 = -4*j, 5*j - 35 = -5*g + 5. Suppose -j*x = i - 1059 - 6718, -3*x = 2*i - 15566. Is i prime?
True
Let x(d) = 0*d**2 + 48*d**2 - 7 + 26*d**2 - 20*d**2. Let c(l) = -2*l**2 - 25*l + 16. Let f be c(-13). Is x(f) a composite number?
False
Let u(o) be the third derivative of o**5/60 - 5*o**3/6 + 19*o**2. Let k be 36/10*(-20)/6. Is u(k) a composite number?
False
Let l(c) = 8*c**3 - 183*c**2 - 3*c - 51. Is l(25) prime?
True
Suppose 2*w - 110607 = -z, 0 = 3*z + w - 256574 - 75267. Is z prime?
False
Let m(d) = 24969*d**3 + 15*d**2 - 2*d + 9. Is m(2) composite?
True
Suppose 0 = 2*r + f - 19, 2*r = -6*f + f + 31. Suppose -3*w - 2550 = -r*w. Suppose 3*g - 773 + 11 = 3*x, 2*g - 4*x = w. Is g composite?
True
Let y be 2944/12 - 2/(-3). Let x = -123 + y. Is x prime?
False
Suppose 0 = 5*y + 1 - 76. Suppose 11*q = y*q - 13004. Is q composite?
False
Let u(j) = -j**2 + 4*j + 21. Let o be u(18). Is (-614)/7*o/66 a composite number?
False
Let n(y) = 0*y - 12 - 17*y**2 + 4*y + 6*y**2 - 4*y**3 + 2. Let k = 21 - 30. Is n(k) a prime number?
True
Is (-2)/(((-6)/112206)/(1/2)) composite?
False
Let v(a) = 220*a + 15. Let t be 4*((-85)/(-20) - 3). Let w be v(t). Suppose 0 = -21*g + 16*g + w. Is g a prime number?
True
Let p be (63/(-28))/(21/(-12152)). Suppose 2*q + p = -5*i + 22711, 4*q = i - 4273. Is i a composite number?
True
Suppose -4*p - 12 = -2*d + 6*d, -2*p - 10 = 0. Suppose d*k - 6358 = -4*n, 0*k + k - 3187 = 2*n. Is k composite?
True
Let c(x) = 41*x - 14. Let h be c(8). Let q = 565 - h. Is q a prime number?
True
Let k = -84 - 15. Suppose 2*w = 20 + 228. Let c = k + w. Is c a composite number?
True
Let r(s) be the third derivative of 14*s**5/5 + 19*s**4/24 + 2*s**3/3 + 10*s**2. Let d(z) be the first derivative of r(z). Is d(4) prime?
False
Suppose 0 = -2*l + 7*l - 3*h - 7, 5*l + 21 = -4*h. Let p be 134*3/10*20 + l. Suppose -u - 4042 = -5*g, 4*u - 2*u + p = g. Is g a prime number?
True
Suppose 0 = -t + 6, -4*t - 2110621 = -849*h + 844*h. Is h composite?
Fals