e
Suppose 2*b - 1628 = -q + 6*q, b = 5*q + 1624. Let a = 200 + q. Is (a/6)/((-6)/27) prime?
False
Let d(p) = p**3 - p - 3012. Let q be d(0). Let n = -2101 - q. Is n a composite number?
False
Let k(i) = i**3 - 17*i**2 + 16*i + 12. Let t be k(16). Let s be 3/t - (-10844)/16. Suppose s = 2*z - 2*q, 4*q - 2*q = z - 339. Is z prime?
False
Let c = 15505 + 2998. Is c composite?
False
Suppose -4*o = -15 + 7. Suppose -3*g = -2*u + 3*u - 245, -o*u = -2*g - 514. Is u a composite number?
True
Let q(w) = -w**3 + 2*w**2 - 5*w - 10. Let d be q(-2). Suppose -d*s + 10*s = -834. Is s prime?
True
Suppose -5*c - 164 = -2*u + 792, 0 = -2*u + 2*c + 950. Is u composite?
True
Let o(s) = s**2 - s + 1. Let n(l) be the second derivative of -4*l**4/3 - 7*l**3/6 - l**2 + 12*l. Let j(h) = -n(h) + 5*o(h). Is j(-4) prime?
False
Suppose -x + 15 = -3*q, 0 = -4*x + x - 2*q + 34. Let t = -10 + x. Suppose 2*k = -t*k + 88. Is k a prime number?
False
Let c(u) = -u**3 + u**2 + u - 1. Let j be c(2). Let t be 0*j/3*1. Suppose t = -5*k + 5*b - 45 + 185, 5*k + 3*b - 180 = 0. Is k prime?
False
Let j = -44344 + 80307. Is j a prime number?
True
Let h be (5/2)/(3/6). Suppose b = -h, 0*z + 16 = z - 2*b. Suppose -4*c = -z*c + 974. Is c a composite number?
False
Let q(x) = -2*x - 11. Let h be (-9)/2 + 1/(-2). Let v be q(h). Let s = v + 8. Is s composite?
False
Suppose -30*d + 26*d = 12. Is 1140/16 - d/(-12) a prime number?
True
Let g be 5 + 39/(-15) + (-4)/10. Suppose g*b + 214 = 5552. Is b composite?
True
Suppose 74*l - 789104 = 58*l. Is l a composite number?
True
Suppose -4*m + 84 = -3*t + 253, 0 = t - 4*m - 59. Is t a composite number?
True
Is (-1 + (-1893)/6)*(-246)/9 prime?
False
Let l = 11068 - 5567. Is l a composite number?
False
Let q = 85628 + 22451. Is q composite?
False
Let u(b) = 913*b + 5. Let r be u(8). Suppose -4*d - 2*c + 4040 = 0, -c = -5*d - 2252 + r. Is d a prime number?
False
Let p = -437 - -730. Is p a prime number?
True
Let x(q) = q**3 + 11*q**2 + 17*q - 7. Let f be x(-9). Suppose 3*w + u = 785, -6 - f = 2*u. Is w a prime number?
True
Let r(t) = -216*t. Let v be r(-3). Suppose 12*u - 14*u - v = 0. Let x = -191 - u. Is x prime?
False
Suppose 55*k = 27*k + 157556. Is k a composite number?
True
Let u(v) = 4*v**2 - 15*v + 16. Suppose 3*g = -5*w + 3*w + 12, 0 = -4*w + 2*g + 40. Is u(w) a composite number?
True
Let w = -27 + 30. Suppose -453 = -w*b + 180. Is b composite?
False
Let m(f) = -153*f + 3. Let b be 4/3*3/(-2). Is m(b) composite?
True
Suppose 15*n - 119043 = 43422. Is n a prime number?
True
Suppose 0 = 5*l + c - 127, -4*l + 85 = 3*c - 10. Let a = l - 35. Is (a/27)/(2/(-8166)) prime?
True
Suppose -59*q = -51*q - 222328. Is q a composite number?
False
Let x = 14 - 9. Suppose 2*t + 4 + 36 = -2*h, -x*h = -5*t + 90. Let v = h - -42. Is v prime?
True
Let p(w) = -54*w + 31. Is p(-10) a prime number?
True
Let d(a) = 2*a + 32. Let z be d(-21). Let b be 118/8 - 3/(-12). Is b/z*(-506)/3 prime?
False
Let v = 32 - 10. Let s = v - 18. Suppose -268 = -s*o + 1072. Is o a prime number?
False
Let i(u) = -u**3 - 8*u**2 + 2*u + 12. Let r be i(-8). Let v(b) = -49*b + 7. Is v(r) prime?
False
Suppose 605 - 3082 = -p. Is p prime?
True
Let n = 1046 + 925. Suppose -13*j = -5608 - n. Is j a composite number?
True
Let f(s) = s**3 + 3*s**2 + 4. Let z be f(-3). Suppose 2*h = 4*n - 1580, -4*h - 393 = -z*n + 1179. Is n a composite number?
False
Let l be ((-35)/25)/((-1)/5). Suppose -6*t = -l*t + 419. Is t prime?
True
Let w(n) = 7*n**2 + 2*n + 10. Let g(u) = 13*u**2 + 3*u + 19. Let r(m) = -2*g(m) + 5*w(m). Is r(7) composite?
True
Suppose 2*j - 2 + 0 = 0. Let z be j + 0 + 8/2. Suppose 155 = z*p - 0*p. Is p a prime number?
True
Let o = 240 + 4621. Is o a composite number?
False
Suppose -7*o + 494880 = 147841. Is o a prime number?
False
Let h be (-2)/5 + 9594/10. Suppose i + 346 = h. Is i prime?
True
Suppose -5*s + 2*n = -20, -2*s - 1 = -0*s + n. Suppose 0 = 4*f - s*z - z - 5322, 5306 = 4*f + 5*z. Is f a composite number?
True
Let i(k) = -k**2 + 2*k + 1. Let r be i(-3). Let o be (-4)/r - (-2010)/70. Let x = o + 2. Is x prime?
True
Let a(w) be the first derivative of 10*w**3/3 + w**2 - 3*w + 2. Let z be a(4). Let h = z - 80. Is h a prime number?
False
Let j = 12274 + 1807. Is j composite?
False
Suppose 5*c - h + 25 = 0, 2*h - 16 = -c - 2*h. Is (46/c*1)/(4/(-88)) a composite number?
True
Let p = 42521 + -18922. Is p a composite number?
False
Let v(m) = -m + 9. Let r be v(7). Suppose -1090 = -12*i + r*i. Is i a composite number?
False
Suppose 0 = -50*o + 46*o - 3*m + 147320, -3*m = 3*o - 110493. Is o prime?
False
Let q be (4/6)/(73633/(-14727) + 5). Suppose 0 = -2*a + 3*k + q, -a - 6*k + 2*k + 2471 = 0. Is a prime?
True
Suppose 5*o - 30344 = -4*w + 3*o, 0 = -3*w - 2*o + 22756. Suppose -64*y + 60*y + w = 0. Is y composite?
True
Let l be 1 + 108*(6 - -3). Let b = l + -639. Is b a composite number?
True
Let x(l) = l**2 + 7*l - 5. Let s be x(-7). Let q(p) = -29*p - 10. Let a be q(s). Is a - 4*(-3)/(-6) composite?
True
Let h = 273 - 143. Suppose -h + 1019 = 7*g. Is g a prime number?
True
Suppose -15 = -7*d + 2*d. Suppose -d*r - r = -12. Suppose r*u - 2*u = 21. Is u a composite number?
True
Let q = -192426 - -406555. Is q prime?
True
Let v = 27 + -23. Suppose 5*q - 1 = 3*o - 2*o, -2*q = -o - 1. Is 1 + (q - v)*-22 prime?
True
Suppose -4*y - 1155 = -3*u - 8*y, -385 = -u - y. Let i(c) = 2*c**3 - 2*c**2 - 9*c - 14. Let a be i(-4). Let g = a + u. Is g composite?
True
Let i(b) = 3*b**2 - 6*b - 6. Let y(l) = -l + 8. Let s be y(12). Let m be i(s). Suppose -4*g + 155 = 4*t + 59, -3*g - m = -3*t. Is t composite?
False
Let c = -35 - -30. Let y(r) = -716*r + 13. Is y(c) a composite number?
False
Suppose -24 = -m - 5*m. Suppose 5*h - 3205 = -3*f, -4*h + 5*h - m*f = 641. Is h composite?
False
Suppose 75*u - 2*c - 237097 = 72*u, 3*u = -3*c + 237087. Is u a prime number?
True
Let w(r) = 5977*r**3 + 26*r**2 - 4*r - 17. Let c(i) = -2989*i**3 - 12*i**2 + 2*i + 8. Let m(h) = 13*c(h) + 6*w(h). Is m(-1) composite?
True
Let t be 0 + 4 + (-2634 - -1). Let x = t - -4682. Is x a prime number?
True
Let a = -96 + 139. Is a composite?
False
Let o(a) = -8*a + 8. Let q be o(-16). Let p = q + -2. Is p a prime number?
False
Let g = 5 + 43. Suppose 0*j = j - 29. Suppose j = m - g. Is m composite?
True
Suppose 0 = 13*u - 9*u - 40892. Is u a composite number?
False
Suppose 0 = -2*o - 0*g - 2*g + 1100, -3*g = 5*o - 2756. Is o prime?
False
Suppose d = u - 5051, 3*u + 4*d + 5112 = 20279. Is u composite?
True
Let w be 3 + 0/(-2) - 0. Let q(i) = 2*i + 14. Let j be q(24). Suppose -w*a - 5*z + 239 = 63, -z + j = a. Is a a prime number?
True
Let r(q) = 2*q - 5. Let y be r(5). Suppose -b + 248 = 4*s - y*b, -4*s = b - 263. Suppose 93 = 2*i - s. Is i composite?
False
Suppose 94770 = -27*r + 358101. Is r composite?
True
Let c = 1351 - 760. Is c a composite number?
True
Suppose -3*j + 26*j - 204746 = 0. Is j a composite number?
True
Suppose 0 = 2*u - y - 11, 0 = 4*u - 2*u - 3*y - 9. Is u/15 - (-12)/(-20)*-481 a composite number?
True
Let a = 7992 - 5129. Is a prime?
False
Suppose -1 = -i - 2, -d - 41 = 5*i. Is (306/d)/(1/(-14)) composite?
True
Suppose 2*f - 5*f + 5*y - 13 = 0, -2*y + 10 = 0. Suppose 0 = f*i - 5*m - 339, 2*i - m + 345 = 6*i. Is i a composite number?
True
Let r(f) = -f**3 - 5*f**2 - 17*f + 21. Is r(-16) a composite number?
False
Let b be 1 - 6/(-3) - -2. Suppose 0*q + 2161 = q - 4*w, b*w + 2160 = q. Is q a composite number?
True
Suppose -2*q - 12 + 4 = 0. Is (-97)/q*6*88/12 prime?
False
Let q(y) = -3*y**3 - 2*y**2 - y. Let b be q(-1). Suppose -b*c = -5*t + 19, 4*c = -2*t - 0 - 2. Is c + (12 - (-3 + 0)) composite?
False
Let r be (-668076)/(-132) - 2/11. Let s = r + -2728. Is s composite?
False
Let a(u) = -u**3 + 6*u**2 + 8*u - 1. Let d be a(7). Let h be (d/2)/(3/5). Suppose -222 = -h*n + 1433. Is n a prime number?
True
Let r be (-5 - (-31)/(-3))/((-1)/(-3)). Let a = -43 - -186. Let k = r + a. Is k prime?
True
Let k(p) = -p**2 - 10*p - 15. Let v be k(-6). Suppose 2 = 10*q - v*q. Suppose q*l = -2 + 824. Is l a composite number?
True
Let f = 719 - -209. Suppose -j = 225 - f. Let x = -366 + j. Is x prime?
True
Let b = -47 - -86. Suppose -2*y - l + b = -1555, 3985 = 5*y + l. Is y a prime number?
True
Let o(c) = -29*c + 169. Is o(0) composite?
True