*3 + 9*z**2 - 20*z + 170. Is s(13) prime?
False
Let c(y) = -5*y**3 - 4*y**2 - 4. Let f be c(-4). Suppose 0 = -4*r - 3*l - 568, -2*l - 294 = 2*r + 2*l. Let b = r + f. Is b composite?
False
Let a(t) = -40*t + 2. Let x(y) = 1. Suppose 3*o - 7*o - 5*f = 11, -3*o + 2*f = -9. Let w(i) = o*a(i) + 3*x(i). Is w(-14) a prime number?
False
Suppose 4*f - 14 + 2 = 0. Suppose -u - 2*u = f*g - 4551, 2*g - 3006 = 5*u. Is g a composite number?
True
Let w(y) = 3169*y - 16. Is w(3) a prime number?
True
Let j(p) = -205*p**2 - 6*p + 4. Let i(c) = c. Let o(n) = -5*i(n) - j(n). Is o(2) prime?
False
Let o(a) = a - 2. Let q be o(5). Let y(k) = -135*k + 6. Let v(u) = 538*u - 23. Let h(i) = -2*v(i) - 9*y(i). Is h(q) prime?
True
Let w = -1979 + -2487. Let v = 6561 + w. Is v a prime number?
False
Suppose 88111 = c + 3*j, 74*c - 88113 = 73*c - 2*j. Is c a composite number?
False
Suppose 177651 = 8*u + u. Is u composite?
False
Let d = -6162 + 21101. Is d composite?
False
Let i(n) = 612*n - 85. Is i(2) a composite number?
True
Suppose -5*m - 920 = -170. Let d = -67 - m. Is d prime?
True
Let s be 12/8 + (-131)/2. Let v = -45 - s. Is v a composite number?
False
Let p(c) = -c**3 - 5*c**2 - 1. Let f be p(-5). Let w = f - -3. Let l(m) = 14*m**3 + m**2 + 2*m + 1. Is l(w) a prime number?
False
Suppose 23 = 2*l - 4*l + 5*m, -m + 19 = -l. Let v = l - -703. Is v a prime number?
False
Suppose -9*x + 33 + 3 = 0. Suppose -4*t + 643 = -l - x*l, 483 = 3*t - 4*l. Is t prime?
True
Let f be (-4)/(-3*8/(-108)) + 1. Let y(k) = 4*k + k**2 + 14 + 16*k - 4*k. Is y(f) composite?
False
Let g(n) = n**2 + n + 13. Let m = -26 - -40. Let y = 28 - m. Is g(y) composite?
False
Let u be -1 + (-1 - 1) - 2894. Is 12/78 - u/13 a prime number?
True
Suppose 0 = 3*n + 9, 2*s = s + 2*n + 1172. Suppose f - 4*o - o = 254, s = 5*f + o. Suppose -2*g - r = 3*r - f, -4*g = r - 454. Is g prime?
True
Suppose 2*y = 2*p - 0 - 6, -2*p - 36 = 5*y. Let b be (4 + 33/(-9))*y. Is b/1*(-88 - 9) prime?
False
Let q = -5 + 10. Suppose 0*z + 4575 = q*z. Suppose -4*x + z = -x. Is x a composite number?
True
Let s be (-2 - -30965)/3 + -3 + 3. Suppose k = -4*r + 2*k + s, 3*r - 5*k - 7762 = 0. Is r a composite number?
False
Let i be (27/(-18))/((-3)/(-4)). Is (i - 21886/(-22)) + (-10)/(-55) a prime number?
False
Let l = 2 + -1. Let f be -3 + (-6)/(-2)*l. Suppose -4*t + 193 + 115 = f. Is t a prime number?
False
Suppose -3*r = 3*w, r = w + 7 + 3. Let t(u) = -r + 2 + 2 + 12*u - 6. Is t(5) a composite number?
False
Suppose -904 - 4168 = -8*q. Is q prime?
False
Let g be (3785 - (-5 + 2)) + -3. Suppose -g = 3*w - 8*w. Is w a prime number?
True
Let t = 796 - 1158. Let v(x) = 26*x - 21. Let d be v(-3). Let r = d - t. Is r prime?
True
Is (-321930)/(-22) + ((-120)/(-66))/(-10) composite?
False
Suppose -4*b - 100 = -6*b. Let v be (-2)/(-10) - (-26840)/b. Suppose q + v = 4*q. Is q composite?
False
Suppose -4*d + 7*d - 14573 = -4*k, k - 19435 = -4*d. Is d a prime number?
False
Let z(u) = u**2 - 3*u + 1. Let j(m) = m**3 + 5*m**2 + 11. Let d be j(-5). Is z(d) a prime number?
True
Let u be ((-34)/6)/((-9)/9261). Suppose 0 = -3*z - 2*k + 4352, 4*z + u = 8*z - 3*k. Is z prime?
False
Let n(l) = -3*l + 2405. Let s be n(0). Suppose s = 5*b + 8*b. Is b prime?
False
Suppose -c + 57 = -1566. Is c a prime number?
False
Let d(r) be the first derivative of r**4/4 + r**3 - 9*r**2/2 + 6*r + 15. Is d(5) composite?
True
Let b(w) = 47*w**3 - 3*w**2 + 6*w - 3. Suppose 4*o + 3*y + 4 = -0*y, -3*y - 12 = 0. Let n = 4 - o. Is b(n) prime?
True
Let n(l) = -l**2 + 9*l. Suppose 0 = -4*s + 36 - 0. Let c be n(s). Is 55 + (2/(-1) - c) a prime number?
True
Let v be 1*5/((-15)/(-12)). Suppose -h + v*h = -582. Let t = -79 - h. Is t prime?
False
Let p(s) = 645*s - 148. Is p(6) a composite number?
True
Let m be (-7)/((-21)/4)*6. Let l be (-4)/(m/(-10)) - 0. Suppose -r = 4*b - 642, 2*r - l*r + 799 = 5*b. Is b composite?
True
Let i(f) = 170*f**2 - 42*f + 339. Is i(14) a prime number?
True
Suppose q = -n + 3 - 6, -5*q + 17 = -3*n. Let v(r) = 7*r - 3. Let g be v(q). Suppose 3*m + s - 331 = 16, -g*m + 5*s + 450 = 0. Is m a prime number?
False
Suppose 3*o - 54 = -3*o. Let v be (-3)/o*(-8 - -2). Suppose -u - 3*u - 2*q = -604, -2*u + v*q + 290 = 0. Is u a prime number?
True
Suppose -2*y = -5*a + 10779, -3*a + 10773 = 2*a + y. Is a a composite number?
True
Suppose 2*m - 56462 = -4*s, -2*m - 70594 = -5*s + m. Is s composite?
True
Let h be 15/(-20) + (-13)/4. Let i = h + 5. Is i/(-4) + (-375)/(-12) prime?
True
Let t(o) = -16*o**2 - 2*o + 3. Let k(r) = -15*r**2 - 2*r + 4. Let v(j) = 2*k(j) - 3*t(j). Let x be -3*25/(-15) - 4*2. Is v(x) prime?
False
Suppose 25 + 65 = 5*y. Let o(j) = j**3 - 8*j**2 - 14*j + 16. Let t be o(y). Suppose 0 = 9*a - 5*a - t. Is a composite?
False
Suppose 264*l - 6140 = 254*l. Is l a prime number?
False
Let s be (-63)/2*(-12)/(-6). Let k be (2/5)/(1/485). Let u = s + k. Is u composite?
False
Suppose -4*x = 5*i + 1481, -2*x - 3*x = 2*i + 606. Let f = 1044 - i. Is f a prime number?
False
Suppose -342034 - 193500 = -34*j. Is j composite?
True
Suppose 4*u = 3*j + 38, -u - j + 16 = -5*j. Let z = 29 + -12. Let s = z - u. Is s a prime number?
False
Suppose -5*x - 4*l = -0*l - 83049, 49828 = 3*x + l. Is x a prime number?
False
Suppose 5*a = 10*a - 5. Is (a - 0)/(11/99) composite?
True
Let b(g) = -388*g - 1. Let v be b(-2). Suppose -m - 2*r = 2*m - 467, 5*r = -5*m + v. Is m a composite number?
False
Let g(h) = -h**2 - 16*h - 5. Let i(j) be the first derivative of j**4/4 + j**3 + 2*j**2 + 4*j - 1. Let a be i(-3). Is g(a) a prime number?
True
Let s be 10488/10 - (-32)/(-40). Suppose -5084 = -4*b - s. Is b a prime number?
True
Let m be (4252/(-16))/(2/(-8)). Suppose -8*w + m = -585. Is w composite?
True
Let t(k) = -2*k - 16. Let m be t(-9). Is 6/(m/131 - 0) composite?
True
Suppose 287 = 5*j - 8. Let b(x) = 4*x**3 + 4*x**2 + 4*x + 2. Let k be b(-2). Let a = j + k. Is a prime?
True
Let b be ((-8)/(-20))/(2/20). Suppose 2*a - 319 = -b*n - 49, 5*n - 4*a - 305 = 0. Is n a prime number?
False
Let b(c) = -c**2 - 1. Let w(h) = -3*h**2 - 13*h - 11. Let v(t) = -2*b(t) + w(t). Is v(-8) a composite number?
False
Let j = -19 - -23. Suppose -2*h + 5*h - 4*i = 671, -j*h = 5*i - 843. Is h composite?
True
Let t = 6 + -6. Suppose 9*g = -g + 40. Is g*((-194)/(-8) - t) a composite number?
False
Let w(c) be the third derivative of c**5/20 - c**4/4 - c**3/2 + 13*c**2. Let u be 4 + -2 + -9 + 1. Is w(u) composite?
True
Suppose -87297 = -2*y - 5*r - 6594, 4*r = -y + 40353. Is y a prime number?
False
Suppose 2*s = p + 6837 - 64154, -114630 = -2*p + 2*s. Is p composite?
True
Let f = 110199 - 27604. Is f a prime number?
False
Suppose 3*b + 5*i = 8924, 10*i = 3*b + 13*i - 8922. Is b a prime number?
False
Let v(j) = 95*j - 17 - 20 - 7 - 20. Is v(15) prime?
True
Suppose 209381 = n + 8*d - 11*d, 0 = -4*n + 4*d + 837556. Is n a composite number?
False
Let l = -852 - -1531. Is l composite?
True
Let n be ((-8)/6)/((-2)/9). Suppose n*y = 10*y - 2540. Is y a prime number?
False
Suppose -20*n + 21*n = -6. Let j(o) be the third derivative of -o**4/12 + 7*o**3/6 + o**2. Is j(n) a composite number?
False
Suppose 0 = 4*f - 48325 - 18687. Is f a prime number?
False
Suppose r + 0 = 1. Let q(i) = 69*i**3 - i**2 - 50*i**3 + 261*i**3 + 322*i**3 + 72*i**3. Is q(r) prime?
True
Suppose 17473 = 3*s - 13976. Is s a composite number?
True
Suppose u = 2*u - 4*n + 8, -5*u + n - 21 = 0. Let g(o) = 74*o**2 + 3*o + 31. Is g(u) a prime number?
False
Let n be 976/2*(-9 - -10). Let m = n - -551. Is m prime?
True
Suppose -d + 8 = d. Let c(h) be the second derivative of 5*h**4/12 - 2*h**3/3 + 5*h**2/2 - 45*h. Is c(d) a prime number?
False
Let g = 5351 + 665. Suppose -4*o = -3*h - g, 0*h - 3002 = -2*o + 3*h. Is o prime?
False
Suppose k + 3 = 0, 3*o = -5*k + 62911 - 15049. Is o composite?
False
Let f = 17 - 21. Let g = -4 - f. Suppose g = -13*d + 17*d - 556. Is d a prime number?
True
Let h = 473 - 252. Suppose h = -4*k - 203. Is k*(7/2)/(-7) prime?
True
Let b(h) = -10*h + 15 + 8*h + 3*h - 12*h**2 - h**3. Let j be b(-12). Suppose -4*k = -j*z + 451, 3*z + 5*k - 415 = -0*z. Is z composite?
True
Let r = 22962 + -13453. Is r a composite number?
True
Is ((-4)/10)/(4*(-8)/540880) a composite number?
False
Let p(q) = q**3 - 9*q**2 - 2*q + 18. Let x be p(9