et w be r(-20). Suppose 0 = 5*l + w - 4025. Is l a prime number?
False
Let i be 2020/170 - 4/(-34). Is (1 + 1)/(i/666) composite?
True
Let c(o) be the second derivative of o**3/6 - 2*o**2 - 4*o. Let k be c(6). Suppose -111 = -x - k*x. Is x prime?
True
Suppose -5*p + 3*z + 12659 = 0, 4*z - z - 6 = 0. Is p a prime number?
False
Let v be (1/((-3)/(-2)))/((-22)/(-106689)). Suppose u + 4324 = 4*d, -u + 8638 - v = 5*d. Is d a composite number?
True
Let q(d) = d**2 + 7*d - 2. Let k(o) = o + 1. Let s(n) = 4*k(n) + q(n). Let b be s(-11). Suppose h - 71 = 4*c, 4*h - 242 = -0*c + b*c. Is h a prime number?
True
Suppose -3*v = -4*v - 4. Is (1801/(-2))/(v/8) a prime number?
True
Let l = 532 - 279. Suppose -3*j = -2*j - l. Is j a composite number?
True
Suppose 0 = 2*t - 6*t + 12. Suppose 5*h = -24 + 29. Is (-1)/(t/(-384)) - h a prime number?
True
Suppose 6*u = -5*u + 28699. Is u prime?
True
Suppose y = -4*i + 54273, 36*i - 41*i = 25. Is y a prime number?
True
Let c(m) = 251*m - 108. Is c(7) a composite number?
True
Let y(d) = -7*d**2 + 5*d - 9. Let x(j) = -16*j + 2*j + 26 + 7*j**2 - 3*j**2 + 16*j**2. Let t(n) = 6*x(n) + 17*y(n). Is t(-5) composite?
False
Let c(d) = -3*d. Let m(h) = h. Let p(j) = -2*c(j) - 7*m(j). Let l(w) = -83*w + 1. Let f(a) = -l(a) - 6*p(a). Is f(2) a prime number?
False
Let b = 26387 - 8196. Is b composite?
False
Suppose -o + 5*s + 1 + 3 = 0, -o = -2*s + 2. Let h(u) = 33*u**2 - 5*u + 1. Is h(o) a prime number?
False
Let l(y) = 31*y**2 - 2*y + 2. Let f(o) = o**3 - 2*o**2 + o - 5. Let x be f(0). Is l(x) prime?
True
Suppose 10*q + 10156 = 41246. Is q prime?
True
Let m(p) = -133*p + 15. Let y(l) = -666*l + 74. Let s(k) = -11*m(k) + 2*y(k). Is s(6) prime?
True
Suppose -4*h = -0*h + 1048. Let p(j) = -3*j**2 - 3*j - 15. Let r be p(-6). Let c = r - h. Is c prime?
True
Let a be 1/1 - (-1 - 0). Let c be ((-73)/(-2))/((-7)/70*-5). Suppose 0 = a*l - 309 - c. Is l prime?
True
Suppose -38 = -2*h - 2*x + 7*x, -2*h - x + 14 = 0. Suppose h*o = o + 472. Is o composite?
False
Let a(h) = h**2 - 1. Let g be a(1). Suppose -5*o - 55 = -g*o. Let j(k) = 2*k**2 - k - 2. Is j(o) prime?
True
Is (-11)/22 - 30092/(-8) prime?
True
Let s(r) be the second derivative of r**3/3 - r**2/2 - 2*r. Let o be -1*(-4)/(-4)*-7. Is s(o) a composite number?
False
Suppose -91 = -4*c + 121. Is c a prime number?
True
Let w(j) = -63*j**3 + 4*j**2 - 4*j - 2. Let a be (-1)/2*(-14 - -4). Let r be w(a). Is r/(-27) + (-2)/(-9) a prime number?
False
Suppose -11 - 13 = -4*b. Suppose b*z = 24 + 6. Suppose 0 = -l - 2, l + 0*l + 487 = z*c. Is c a prime number?
True
Suppose -3 = 5*t - 13, 0 = -y - 5*t + 2609. Is y a prime number?
False
Let a(j) = -j**2 + 6*j - 2. Let t be a(5). Let u(b) = -b**3 + 24*b**2 - 16*b + 4. Let d be u(23). Suppose d + 21 = t*m. Is m a composite number?
True
Suppose 7*o + 3*w - 12 = 3*o, -4*w = 3*o - 9. Suppose 0 = -0*f + 12*f - 8964. Suppose -o*z = -s + 2*z + 192, z = -4*s + f. Is s a composite number?
True
Let k be 18/54*(-1 - 2). Let s be (12/30)/(k/(-10)). Suppose -s*h + 818 = -338. Is h a prime number?
False
Suppose -3*a + 341 = -73. Suppose a = -j + 4*j. Is j composite?
True
Suppose 0 = 21*q + 9*q - 940710. Is q prime?
True
Suppose y + 0 = -3*q + 5, -4*q - 5*y = -25. Suppose 2*s = -q*s - 8. Let t(a) = 19*a**2 + 3*a + 3. Is t(s) a composite number?
True
Let k be (-8)/(-52) + 96/52. Suppose 0 = d + 3*o - 128, -d + k = 4*o - 125. Is d prime?
True
Suppose 5*m - 7*m + 3022 = 0. Suppose 4*u - m = 1005. Is u prime?
False
Let r = 23 + -18. Suppose r*b - 4*k - 44 = 3*b, 0 = -3*b + 5*k + 71. Let x = -11 + b. Is x a composite number?
True
Let s(t) = 360*t + 59. Let r(y) = -2*y + 1. Let j(c) = 4*r(c) - s(c). Is j(-6) a composite number?
False
Is 2/(4 - (-1029)/(-259)) a composite number?
True
Let q(a) = 156*a**2 + 4*a - 57. Is q(5) prime?
True
Let u(m) = 9*m + 0 - 9 + 0*m - 3 - 20*m**2. Let z be u(5). Is 5/(-15)*3*z prime?
True
Let l(f) = -207*f + 170. Is l(-29) composite?
False
Let f(j) = 5*j**2 + 2*j - 5. Let t be f(-6). Let g = t + 70. Suppose 0 = -5*v - 10, 0*v + v = -5*m + g. Is m prime?
True
Let y be 0*(-4)/8 - -2. Suppose 0*p - 1060 = -2*t + y*p, -4*t = p - 2135. Is t a composite number?
True
Let a(l) = -10*l + 15. Let b(f) = -7*f + 9. Let c be b(2). Is a(c) a composite number?
True
Let o(n) = 22*n**2 + 3. Let j be 21/(-5) - 1/(-5). Let k be 3*1/j*-4. Is o(k) prime?
False
Suppose -15494 = -2*l + 5616. Is l a prime number?
False
Let b(t) = t**3 + 3*t**2 - 3*t - 5. Let p be b(-3). Let i be 56 - (2 + p + -7). Suppose 2*f + i = 2*y - 473, 0 = 2*y - f - 532. Is y a prime number?
False
Let d(k) = 2*k**2 + 9*k - 8. Suppose 38 = -2*m - 2*z, -2*m + 0*z - 5*z = 50. Is d(m) a composite number?
False
Is 42/(-77) - 5/110*-312346 a composite number?
False
Let g be 3*(-1 - -6)/(-5). Is 1543/2*(-12)/18*g a composite number?
False
Let i(w) = 4*w**2 - 3*w - 7. Let a be i(4). Suppose 4*x = -5*k - 0*x + 181, 0 = k + 3*x - a. Is k prime?
False
Let g = -7 + -2. Let k be (0 + 3)*6/g. Is ((-19)/k)/((-1)/(-22)) a composite number?
True
Suppose -26 - 24 = -10*d. Let w be (-4)/(16/(-6))*-2. Is 710*(d/(-2) - w) a prime number?
False
Suppose -3*g + 1602 = -g. Suppose g = 11*c - 8*c. Suppose -2*a = -c - 439. Is a a prime number?
True
Let h = 18233 - 7912. Is h a composite number?
False
Suppose -5*x + 39 + 6 = 0. Suppose 5*o = -w - x, 0*o = w - 5*o - 21. Suppose 3*h = w*h - 417. Is h composite?
False
Suppose -3*i - 2*i = -1680. Is 0 + (i - 3) - 2 prime?
True
Let i = 8 + -7. Let v be (-4)/(-2) + (i - 4). Is v/((6 - 4)/(-438)) prime?
False
Let p(n) = -n**2 + 1. Let j be p(1). Suppose -4*m - 2*d = -8, -3*m + 8*d - 4*d + 28 = 0. Suppose 6 = 3*i - j*i + m*f, i = 5*f + 21. Is i prime?
False
Let g = 17521 - 10538. Is g prime?
True
Let b(a) = a**2 + 10*a + 9. Let p be b(-7). Let z = p - -13. Let o(q) = 210*q**2 + 1. Is o(z) prime?
True
Let q(p) = -p + 1. Let j be q(-7). Let i(u) = -1 + 5*u + 1 - j. Is i(9) prime?
True
Let y be (-2 + 4 - 4)*(-10)/(-20). Is 1/(y/2 + 1538/3068) composite?
True
Suppose 6 = -f + 4*b, -2*f + 5*f - 4*b + 34 = 0. Is ((-634)/(-3))/(f/(-21)) a composite number?
False
Let q be -15 - -12 - (3 + 1). Is (-3635)/q - 8/28 composite?
True
Suppose -3*q + 10 = 4*m, 4*q + 7*m - 3*m - 12 = 0. Suppose 3*i - 6986 = 2*w, 2*i + q*w = 4*w + 4660. Is i prime?
False
Let z(f) = 43*f - 13. Let c(m) = 42*m - 16. Let q(h) = -3*c(h) + 2*z(h). Let w(j) = -3*j + 3. Let l be w(4). Is q(l) composite?
True
Let h be 1*3 - (10 - 9). Suppose h*z = 290 - 12. Is z composite?
False
Let k = -59 - -65. Suppose -8*b = -k*b - 118. Is b a composite number?
False
Suppose 0 = -q - 1494 + 4883. Is q a composite number?
False
Let x(z) = -z**3 - z**2 - z. Let s be x(-2). Let c be -2 + s + -8 + 400. Suppose 4*i + 0*i + c = 4*t, -2*t + 4*i = -202. Is t a prime number?
True
Let r(m) = 8*m - 8*m - 2*m. Let b be r(-9). Let t = b - -1. Is t a composite number?
False
Suppose -214 - 620 = -c. Suppose s = -3*u + 5*u - c, -u + 417 = -5*s. Is u composite?
True
Let c = -8 - -53. Let m = 22 + c. Is m composite?
False
Let b = -55443 - -82856. Is b a prime number?
False
Suppose -2*f + 2*w + 13 = 5*w, 0 = -f + 5*w. Suppose 2*d - 3*q - 2099 = 0, f*q - 4148 = -4*d + q. Is d prime?
False
Suppose -3*h + 20 = 2*h + 3*j, 2*j = -2*h + 12. Let k(i) = i - 1. Let t(d) = -126*d - 1. Let p(y) = 2*k(y) - t(y). Is p(h) a prime number?
True
Suppose 5*g - 81 = -4*p + 3*p, 5*p - 2*g = 351. Suppose 2*z = -p + 585. Is z composite?
False
Let u(s) = 6*s**3 - 18*s**2 - 31*s + 16. Is u(13) a composite number?
True
Let t(v) = v**3 - v + 1. Let w(z) be the second derivative of -3*z**5/20 + 2*z**4/3 + 2*z**3/3 - 7*z**2/2 - 8*z. Let s(p) = -4*t(p) - w(p). Is s(-10) prime?
False
Suppose 5*d = 10 - 0. Let s be 1/((4/6)/d). Suppose -g - 16 = -5*y - 105, -s*g + 5*y = -247. Is g composite?
False
Suppose -34*l + 66*l - 30688 = 0. Is l composite?
True
Let r = -28 + 28. Let o be r/((-2)/2) - 52. Let m = -14 - o. Is m composite?
True
Suppose -3*r - 5*l = -768, -2*r - 4*l = 317 - 831. Is r a prime number?
True
Let p(c) = -3*c + 1. Let f be p(1). Let h be (3 - (-27)/(-6))*f. Suppose 814 = 5*t - 5*j + 94, -4*j = h*t - 467. Is t a composite number?
False
Suppose 121*h - 69*h = 7655284. Is h prime?
False
Suppose 12*n = 4*n - 120. Is (-5052)/(-15) - 3/n prime?
True
Let q = -41 + 41