e
Suppose 6*b - 747 + 273 = 0. Is b a composite number?
False
Suppose 5*j - 473 = -z + 134, -4*z + 2364 = 4*j. Is z prime?
True
Is (-2)/(-15) + 10153/15 prime?
True
Suppose 4*j + 2*o + 4 = 0, 4*j + o - 3*o = 12. Let y(w) = 76*w - 3. Let q(x) = 38*x - 1. Let m(z) = 5*q(z) - 2*y(z). Is m(j) prime?
False
Suppose -34 = 21*r - 19165. Is r a composite number?
False
Let m(p) = -p - 2. Let f be m(6). Let x = -5 - f. Is ((-1)/x)/((-2)/66) a composite number?
False
Suppose -5*l = -4*w + 2169, 3*w - 1440 = -4*l + 179. Is w prime?
True
Let k = 3 + -1. Suppose -k*u = -0*u - 70. Is u composite?
True
Let x = 16 - 15. Let j(d) = 145*d**2 + d - 1. Is j(x) a prime number?
False
Let r(o) = 22*o**2 + 3*o + 4. Let h be r(3). Let k = -84 + h. Is k prime?
True
Suppose -u = -5*u + 12. Suppose -u*v = -6*v + 42. Is v a composite number?
True
Let t be (10/8)/(3/12). Suppose -88 = 7*w - 2*w + 2*s, -t*s = w + 13. Let h = w + 28. Is h prime?
False
Suppose -2*v - 5 = -3*l + 3, 3*l = v + 4. Suppose -g + 3 + 12 = l. Is g a composite number?
True
Is 24/(-18) + (-10695)/(-9) a prime number?
True
Is (-1 + -1)*(-127)/2 prime?
True
Let i(d) = 3*d - 7. Let x be i(9). Let l = 0 - -3. Suppose 6 = l*n, -h + 2*n + x = n. Is h a prime number?
False
Suppose -4*w + 0*w + 8 = 0. Suppose -15 = 5*x, 0*u = -w*u + 2*x + 536. Suppose 0 = -4*k - k + u. Is k a prime number?
True
Let f = 749 - 72. Is f a prime number?
True
Let i(l) = 2 + l + 77*l**2 - 4*l + 4*l - 1. Is i(-1) prime?
False
Is (-6)/(-18) - 1/3 - -587 a prime number?
True
Let g = -44 + 235. Suppose -4*s = -341 - g. Is s a prime number?
False
Let y = 43 + -67. Suppose -5*k + t - 36 = -12, -4*k - t = 21. Let m = k - y. Is m prime?
True
Suppose -6*n = -7*n. Suppose n = -19*u + 15*u + 4604. Is u prime?
True
Is (56008/(-8) + 2)*1/(-3) prime?
True
Suppose 8*h = 3*h + 15, 4*w = 2*h + 10. Suppose w*v - 95 = -v. Is v a prime number?
True
Let d = -29 + 32. Suppose d*f = -82 + 256. Is f composite?
True
Let z = 159 + -48. Is z a prime number?
False
Suppose 3*f + 648 = -3*p, 14 = 3*p + 2. Let z = -127 - f. Suppose 54 = o - 5*k, -3*k + 65 = 5*o - z. Is o a composite number?
True
Let g(p) = 4*p**2 - p + 4. Let j(c) = -c - 3. Let s be 1/(((-1)/6)/1). Let z be j(s). Is g(z) composite?
False
Let m(s) = 75*s**2 + 3*s - 7. Is m(-3) prime?
True
Let w(b) = -5*b + 12 - b**2 + 2*b**2 - 4*b + 5*b. Is w(-13) a composite number?
False
Suppose a + 2*a - 213 = 0. Let z = a - 41. Let b = 23 + z. Is b a composite number?
False
Let k be (-2)/8*-122*-2. Let h = k - 76. Let g = 286 + h. Is g composite?
False
Let l(n) = -37*n - 1. Let q(c) = -c. Let s(w) = l(w) + 2*q(w). Is s(-4) prime?
False
Suppose 5*x - 6 = -1. Let s = 1 + x. Let i = 39 - s. Is i prime?
True
Let k(t) = 132*t + 1. Let u be k(-1). Let g = u + 198. Is g prime?
True
Let w = -1 + 3. Let y be 1/((-3)/4 - -1). Suppose -y*b - 6 = -2*b, w*k = 5*b + 205. Is k prime?
False
Let t(y) = y**2 + y + 5. Suppose 3*p - 20 - 4 = 0. Is t(p) prime?
False
Let c be 84/9*6/4. Suppose 0 = 6*v - 4*v - c. Is v composite?
False
Suppose z - 1 = 2*z. Let t be (3/3 - z)/1. Is (t + 337)*1/3 prime?
True
Suppose -2*v + 3972 = 3*u + v, 5*v = 2*u - 2613. Is u composite?
False
Let n = -6 + 8. Let t(g) = 6*g + n*g - 6 - 4*g. Is t(4) a composite number?
True
Let t = 14 - 15. Is (3 - -32)/(t - -2) a prime number?
False
Let o = 11 + -2. Suppose -16 = 5*b - o*b. Is b prime?
False
Suppose 4*k + 1 = -19. Is (-426)/k + (-1)/5 composite?
True
Is (210/(-4) + -1)/(14/(-196)) prime?
False
Is 98710/90 - 2/(-9) prime?
True
Suppose -2*z = -1 - 9, 0 = -r - 5*z + 22. Is 115 + (0/(-2) - r) prime?
False
Let l(s) = -s**3 - 6*s**2 - 8*s - 4. Let a be l(-5). Let k(m) = 2 - 2 + 0 + a*m + 4. Is k(3) composite?
False
Let t = -7 + 5. Let g(i) = -i**2 - 9*i. Let p be g(-8). Let j = p + t. Is j prime?
False
Let u be (6/(-5))/(4/(-10)). Suppose -61 = -o - 3*l + 44, -u*o + l = -345. Suppose -i - 29 = -o. Is i a composite number?
True
Suppose 3*x - 631 = -2*c, 317 = 5*x + 4*c - 732. Is x a prime number?
False
Let f be (-3)/((-5)/(-3) + -2). Let a(q) be the second derivative of -q**4/12 + 8*q**3/3 + 2*q**2 - 4*q. Is a(f) composite?
False
Let r = 1613 + -1140. Is r a composite number?
True
Is ((-16)/(-16))/((-2)/(-322)) a prime number?
False
Suppose 7*d = 4*d + 12. Is 24/16 - (-50)/d prime?
False
Let u(f) = 9*f - 3. Let a be u(16). Let l = 260 - a. Is l composite?
True
Let a(o) = o - 3. Let h be a(5). Suppose 0 = -h*l + 3*r + 324, 4*r + 169 = l - r. Is l a prime number?
False
Let d = 5 + 9. Is 124/(-6)*(-105)/d prime?
False
Suppose 5*x + 4*f - 643 = 0, -2*x - 3*f + 387 = x. Is x prime?
True
Let c(b) = 3*b**2 + 5*b - 9. Let z = -4 - -10. Is c(z) composite?
True
Let c(u) = 8*u**2 - 2*u + 1. Is c(1) composite?
False
Suppose 2*u + 8 = 4*u. Suppose u*r + 0*l = 4*l - 768, -3*l = -6. Let j = -71 - r. Is j prime?
False
Suppose 5*f - 3 = -4*b - 112, -4*b - 139 = -5*f. Let d = -17 - b. Suppose 5*p = 119 - d. Is p composite?
True
Let b(l) = 2*l + 2*l - 5 - 4*l**2 + 2 + l**3. Let x be b(3). Is (52 - (3 + -4)) + x composite?
False
Let h(w) = -4*w - 3. Suppose 0*l = -3*l - 6. Let j be h(l). Suppose -32 = -j*g + 23. Is g prime?
True
Let d = 2 + -1. Let v = d + 4. Let m = v + -2. Is m a prime number?
True
Let d(z) = -3*z**3 - 13*z**2 + 15*z + 15. Let a(w) = -2*w**3 - 9*w**2 + 10*w + 10. Let o(t) = 7*a(t) - 5*d(t). Is o(5) composite?
True
Let x = 6 - 11. Let l(y) = 14*y**3 + 7*y**2 + 24*y + 26. Let c(n) = 5*n**3 + 2*n**2 + 8*n + 9. Let k(m) = 11*c(m) - 4*l(m). Is k(x) composite?
True
Let w(f) = 10*f**2 - 3. Is w(-4) a composite number?
False
Suppose 2*w + 35 = -447. Let t be 123/(-2)*(-32)/(-12). Let k = t - w. Is k composite?
True
Let c = -24 + 22. Suppose -5*v + 9 = -y, 2*v = 2*y + 4*v - 18. Is 711/y*c/(-3) a composite number?
False
Let h be 0*(1 + (-6)/4). Let i = 8 - h. Is (-45)/12*i/(-2) a composite number?
True
Let i(j) = -j**3 - 19*j**2 - 18*j + 3. Let u be i(-18). Let m be (-3 + -1)*2/(-4). Suppose -d - w = -17, -u*w = -3*d - m*w + 71. Is d a composite number?
True
Let g = -2656 - -4709. Is g prime?
True
Suppose 0 = 2*k - 75 - 665. Let t be (-74)/(-14) + 4/(-14). Suppose 0 = -m + 5*m + 3*f - k, -t*m - 2*f = -459. Is m prime?
False
Let d(b) = -b**2 + b + 2. Let k be d(4). Is k/6*1245/(-5) prime?
False
Suppose 6*x = 88 + 980. Is (x/3)/(14/21) a composite number?
False
Let c = 10 + -3. Let t(p) = 2*p**2 + 4*p + 1. Is t(c) prime?
True
Let v be (0/1 + 31)*-11. Let a = 639 + v. Suppose b - 3 = 0, b = 5*k - 3*b - a. Is k prime?
False
Suppose -293 - 1503 = -4*k. Is k prime?
True
Let q be ((-4)/(-6))/((-4)/(-66)). Let a = -6 + q. Is 1/a + 184/5 a prime number?
True
Let y(v) = v**2 - 5*v + 3. Let h be y(5). Suppose -2*m = 2*m - 8, 5*f - h*m = 439. Is f composite?
False
Is (-3 - 1)*(185/(-10))/1 a composite number?
True
Suppose -h + 147 = -1. Suppose -h = -t - 3*t. Is t a prime number?
True
Suppose -4*g = 5*y + 11, -2*y - 4*g + 0 - 14 = 0. Let k(o) = 111*o**3 + 1. Let n be k(y). Let t = n + -75. Is t a composite number?
False
Let j(k) = 11*k**2 - 47*k + 9. Is j(8) a prime number?
True
Let d = -2 - 2. Let k be d/14 - 102/(-14). Let w(x) = -x**3 + 8*x**2 - 4*x - 10. Is w(k) composite?
False
Let y be 175/63 - 4/(-18). Suppose -y*p + 487 = 130. Is p composite?
True
Let x = 1 + -1. Suppose x = -s + 5*s - 208. Suppose -7*r + 3*o = -3*r - s, -2*r + 26 = -5*o. Is r composite?
False
Let u(w) = w**3 - 4*w**2 + 5. Let s be u(4). Suppose -4 = -s*g + 6. Suppose -g*b + r = -16, b - 5*r = 3 - 4. Is b prime?
False
Suppose 0 = i + i. Suppose n = 3*r + 64, r = -0*n + 3*n - 208. Suppose -n = -i*m - 5*m. Is m a prime number?
False
Is (2228/(-6))/((-32)/48) composite?
False
Suppose 2*u = -0*u + 3*y + 7, -5*u + 31 = -3*y. Suppose -5*z = u - 703. Is z a composite number?
False
Suppose 0*r - 334 = -2*r. Suppose 0 = -5*c + 2*k + r + 12, 5*k = -10. Is c a prime number?
False
Let j(o) = 222*o**3 - o. Let q be j(-1). Let l = -6 - q. Is l composite?
True
Let v(i) = 4*i + 6. Let c(d) = 4*d**3 + 2*d**2 - 1. Let g be c(1). Suppose -6 - 29 = -g*b. Is v(b) a composite number?
True
Let u = 1 - -2. Suppose -2*c + 7*z - 3*z - 24 = 0, 2*c = u*z - 20. Is (70/c)/((-6)/12) a prime number?
False
Is (-14)/21*207/(-2) a prime number?
False
Let m = 187 - 92. Let i(g) = g**2 + 6*g - 3. Let t be i(-7). Is m/4 - 3/t a prime number