er?
True
Suppose -10572 = -51*l + 116265. Is l a prime number?
False
Let f(i) = i**3 + 11*i**2 - 13*i - 4. Let v be f(-12). Let r be 4431/(-14)*v/6. Let a = r - -1129. Is a a prime number?
False
Let c = 3406 + -1118. Suppose -k = 3*g - 2308, 0 = 3*g - 2*k - 2*k - c. Let z = g - 547. Is z a composite number?
True
Let h = 142 + -140. Suppose 5*z - h*k = k + 5426, 5*k - 5450 = -5*z. Is z a prime number?
True
Suppose 136 = -3*u + 7*u. Suppose 35*h - 37 = u*h. Is h a prime number?
True
Let y = 3931 - -1122. Is y a composite number?
True
Let p be (-1)/1 + 3 - -64. Let i = -36 + p. Is 5/i - 2578/(-12) prime?
False
Let b(s) = -s**2 - 3*s - 1. Let a be b(-2). Let v be 6/9*(20 + a). Let k = v - 8. Is k prime?
False
Let k be (-145)/(-10) + 2/(-4). Suppose 0 = 3*p + 2 - k. Suppose -2*r + 3*g + 791 = 0, 2*r + p*g - 3*g = 779. Is r a prime number?
False
Let i(s) = -8*s**3 + 11*s**2 + 14*s - 22. Is i(-7) a prime number?
True
Let n be -2*(1/2 - -1). Let y be (-8)/18*-3*n. Is y/22 - (-28699)/121 prime?
False
Let s be (1 + 2)*20/12. Suppose -1 + s = 2*k. Suppose -95 = -3*u - k. Is u a prime number?
True
Is (-9 + 3)*(31082/(-12) + 5) a prime number?
True
Suppose -597 = m + 71. Let b = m + 969. Is b prime?
False
Let y be (-894)/(-4)*64/12. Let k = -555 + y. Let c = -256 + k. Is c prime?
False
Let l(v) = 2*v + 3. Let j be l(1). Is j/(-25) - (-744)/20 a prime number?
True
Let n be ((-2)/6)/(3/(-63)). Let q = n - 7. Suppose q = -5*f - 4*p + 193, -21 = 3*f - 2*p - 128. Is f a composite number?
False
Let f(p) = -p. Let i(h) = -22*h**2 - 6*h - 5. Let d(y) = -3*f(y) - i(y). Is d(-6) a prime number?
True
Suppose -3*m - 1 = -16. Suppose m*r - p - 723 = 0, 3*r - p - 255 = 178. Is r a composite number?
True
Suppose 12 + 18 = k. Let l be (9/((-27)/k))/1. Is (l/4)/5*-194 a prime number?
True
Let x = 95 + -251. Let z = x + 297. Is z composite?
True
Suppose 4*h = 3*h + 3. Suppose 2*z + z - 7 = u, 2*z = -h*u + 1. Suppose -z*j - 3*k + 122 = -k, 16 = -4*k. Is j prime?
False
Suppose -3*m + 4*x + 7097 = -2552, 2*m - 6456 = -2*x. Is m a composite number?
True
Let u(m) = 26*m**3 - 3*m**2 + 14*m - 15. Is u(8) a composite number?
False
Let l(p) = 2*p**2 + 40*p + 68. Let f be l(-28). Let z = f + 583. Is z prime?
False
Let l(b) = -224*b + 17. Let d(r) = r**3 - 9*r**2 + 8*r - 6. Let k be d(8). Is l(k) a composite number?
False
Suppose 7*h + 28 = -0. Is (-4)/(-18) - (h - 798/54) prime?
True
Let u(g) = 29*g - 7 - 5*g - 5*g - 5. Let w(l) = l + 4. Let c be w(6). Is u(c) composite?
True
Suppose -3*l - 15*h + 19*h = -48829, 16283 = l - 3*h. Is l a composite number?
True
Let b(w) be the third derivative of w**5/20 + 11*w**4/24 + 5*w**3/6 + 3*w**2. Let t be 2/(-6) + 26/(-3). Is b(t) prime?
True
Let b(s) = -3*s + 3. Let d be b(-1). Let p(i) = 2*i**3 - 7*i**2 + 3*i - 7. Is p(d) prime?
True
Suppose 0 = -w - 4*y + 23 - 8, 0 = -w - y + 6. Suppose r = -w*r - 5*d + 500, 0 = 2*r + 4*d - 256. Suppose 26 = -l + r. Is l prime?
False
Let i be 107/1 + (26 - 27). Is (-3 - i/4)/(7/(-518)) composite?
True
Let v(d) = -2*d**3 - 7*d**2 - 14*d - 9. Let o(b) = -b**3 - 6*b**2 - 15*b - 9. Let m(f) = -3*o(f) + 2*v(f). Is m(-13) a composite number?
True
Let x = 1983 - -1166. Is x composite?
True
Is (-1 - (-344)/(-24))/(6/(-11331)) a prime number?
False
Let n be 2/5*(67857/6 - 2). Let y = n + -3162. Is y prime?
True
Suppose -10*k = -29*k - 6403. Let l = 40 - k. Is l a prime number?
False
Let l(w) = -w**3 - 3*w**2 + 3*w + 155. Is l(0) a prime number?
False
Suppose -5*g + 14595 = 3130. Is g composite?
False
Suppose v - 260 = -0*v. Suppose 4*w - v + 60 = 0. Let q = 96 - w. Is q prime?
False
Let g be (-9 - -7)/(1/(-1)). Suppose 0 = 2*x + m + 5, g*m - 15 = 5*m. Suppose 5*j + j - 618 = x. Is j prime?
True
Let c(k) = 2*k**3 + 2*k**2 + 2*k + 1. Let f be c(-1). Let r be f/(-4) + 838/8. Suppose 4*x + 36 - 111 = -q, x + r = 2*q. Is q prime?
False
Let t = 320 + 263. Is t composite?
True
Is (-6)/(-8) - (390705/(-20) - 5) a composite number?
False
Let b = -468 - -972. Let s = -287 + b. Is s a prime number?
False
Let j be 4/22 + (-13)/(429/204). Is (j/(-21) - 0) + 5297/7 a prime number?
True
Let v = -43 + 39. Is 6 + v - -27*39 a prime number?
False
Suppose 0 = -0*t - 2*t - 522. Let j = 40 - t. Is j prime?
False
Suppose 63*h + 14695 = 64654. Is h a prime number?
False
Suppose -x + 429 = d, 3*x + 7*d - 5*d = 1283. Let r be 3/2 - x/(-10). Is r + -3 + 4 + 1 a prime number?
False
Suppose 0 = -9*i - 19702 + 137944. Suppose -p + 0*k - 3*k + 2630 = 0, 5*p + 3*k = i. Is p a composite number?
True
Is ((-17)/2 + 6)*(-18478)/5 prime?
True
Let j(d) = -d**3 + 13*d**2. Let a be j(13). Suppose -24 = 4*v - a. Is 116/2*v/(-4) a composite number?
True
Suppose 4*a + 3*f - 1525 = 12656, -a - f = -3546. Is a a prime number?
False
Is (-1590)/(-1) - (-1)/(3/3) a prime number?
False
Suppose -5*y + h + 22 = -3*h, h = -y - 1. Suppose -y*c = -0*c. Suppose c = -0*v + 3*v - 141. Is v prime?
True
Suppose -727 = -p + 1390. Suppose p + 3205 = 3*f. Suppose 0 = -5*u + k + f, 3*u - 471 = 2*k + 592. Is u prime?
False
Let a(o) = o**3 + 7*o**2 + o + 7. Let v be a(-7). Suppose 7*l + v*l + 70 = 0. Let w = 133 - l. Is w a prime number?
False
Let l(x) = 231*x + 76. Is l(7) a prime number?
True
Let t(u) = u**2 + u. Let p(o) = 4*o**2 + 4*o - 11. Let n(s) = -p(s) + 5*t(s). Is n(-8) prime?
True
Let u = 0 + 0. Suppose -2*p - p + 111 = u. Suppose -3*x + p = 2*z, 0 = 5*z - 8*x + 5*x - 40. Is z a prime number?
True
Is -1*(-3323)/(3 - 40/15) a prime number?
False
Suppose 5*h + 20 = 0, -f + 17 + 5 = -4*h. Is 1354/3 - 2/f a composite number?
True
Suppose -w - 5*s = -2*w - 15, -s - 18 = 4*w. Let d be (20/6)/(w/15). Let i(y) = -y**3 - 11*y**2 - 14*y - 9. Is i(d) a prime number?
True
Suppose -11*m = -2*m - 52092. Let w be (-2)/(-8) - m/(-16). Let a = -253 + w. Is a prime?
True
Let m = -1112 + 1747. Suppose -m = -4*q + 3*q. Is q composite?
True
Let u = -1 - -3. Let c(f) = -5*f**u - f + 2*f - 5*f**2 + 9*f**2 + 89. Is c(0) a prime number?
True
Let s = -6 + 15. Let d(v) = 2*v**2 + 8*v + 5. Is d(s) a composite number?
False
Let h(b) = -b**2 + b + 201. Let s be h(0). Let i = s + -46. Is i prime?
False
Suppose 2*x = 884 + 2534. Is x a prime number?
True
Let u(k) = 0*k + 0*k**2 + 3*k**2 + 9*k + 0*k**2. Let j be u(-6). Let x = j + -31. Is x a prime number?
True
Suppose 0 = -5*i - 2*c - 55, -i + 0*c = -4*c - 11. Let x = i - -9. Suppose -115 = -x*f - 5*f. Is f composite?
False
Is 8/(-14) + (-9 - (-390852)/49) a composite number?
True
Let r(c) = -5*c**2 - 2*c - 20. Let a(f) = -5*f**2 - f - 19. Let p(k) = -3*a(k) + 2*r(k). Is p(-6) composite?
True
Suppose -4*q + 3550 = -19398. Is q a prime number?
True
Let l be -2 + -1*(-3 + -3). Suppose -l*m = -m - b - 1641, b - 1094 = -2*m. Is m composite?
False
Let t = -7 + 8. Let a be (-18)/(-6) + (t - 2). Is (-1)/a*(4 - 78) composite?
False
Let r(b) = -2*b + 1. Let k be r(-9). Let z = k - 17. Let x(d) = 79*d - 3. Is x(z) a prime number?
False
Let o be 3 - (-6)/(-5)*(-240)/(-18). Suppose -5*l = -373 - 837. Is -1*2 + (l - o) prime?
False
Suppose 0 = -213*x + 215*x - 8566. Is x a prime number?
True
Suppose -3*z + 34736 = -9709. Is z composite?
True
Let z(t) = 14*t**3 + 3*t**2 + 7. Let r be z(3). Suppose -2*a + 0*k = 2*k - r, -3*k - 226 = -a. Is a a composite number?
False
Let p(i) = -155*i - 34. Let d be p(8). Let f = d + 1943. Is f prime?
False
Let g be (7 + -3)/4 - -4. Suppose 0 = 3*z - 4*a + 15, -20 = -z + g*z - 5*a. Is z/((-15)/246) + -3 composite?
False
Suppose -12262 = -13*r - 2772. Let a = -413 + r. Is a a composite number?
False
Let q = 7446 + -623. Is q a prime number?
True
Let n(b) = 2*b + 10. Let j be n(-7). Let l(z) = -z**3 - 5*z**2 - 4*z - 1. Let y be l(j). Is y*13*(3 + -5) prime?
False
Let g(i) = i**3 - i**2 - i + 3629. Is g(0) composite?
True
Suppose 6*n - 8427 - 4347 = 0. Is n composite?
False
Let o(f) = 34*f - 20. Let v be o(9). Let g = v - -3865. Is g prime?
False
Let h(w) = 6 - 29 - 3*w**3 + 3*w + 6 + 12 - w**2. Let l be 2/5 + (-66)/15. Is h(l) composite?
True
Let j(q) = -3*q**3 - 16*q - 12. Let l be j(-6). Suppose 0 = 5*r - l - 6073. Is r a composite number?
False
Suppose -62*o = -66*o + 10012. Is o a prime number?
True
Is 104674/7 - 56/(-98) - -5 a prime number?
False
Let m(s) = -747*s - 106 - 109*s - 742*s + 113. Is m(-2) prime?
True
Let s(h) b