1/341) a prime number?
False
Let f = 8 + -7. Let y be 3 + f/(3/12). Is y/(14/144) - 1 prime?
True
Let f(j) = 4*j**3 + 18*j**2 - 25*j + 2. Is f(11) a prime number?
True
Let a(b) = 10*b - 17. Let u be a(5). Suppose -p - u = -o, -5*p + 52 = -o + 3*o. Suppose 43 = r - o. Is r prime?
False
Suppose 0 = -3*r + 24 + 21. Suppose 20*n - 10 = r*n. Suppose 2*t - 2227 = -n*t + p, 2*t = 2*p + 1112. Is t composite?
False
Let m(r) = -22*r + 213. Is m(-29) a prime number?
False
Is ((-967)/2)/((-3)/6) a composite number?
False
Suppose -161*v + 165*v - 59595 = -3*f, -v + 19864 = f. Is f a composite number?
False
Suppose 4*g - 8 = 0, -2*g + 3264 = 4*z - 0*g. Let d = 463 - z. Let v = d + 675. Is v a composite number?
True
Suppose -4*g + 294 = -q + 10379, -2*g = 3*q - 30297. Is q a composite number?
True
Let l(d) = 30*d**2 + 31*d + 8. Let p(q) = -29*q**2 - 30*q - 8. Let o(t) = 3*l(t) + 2*p(t). Is o(19) composite?
True
Suppose 4*i = -0*i + 2*w + 14, 5*w = -i + 20. Suppose -4*x - i*x = -24849. Is x a composite number?
True
Suppose 5*q = 8*q - 78. Let f = 28 - q. Let j(l) = 72*l**2 + 5*l - 5. Is j(f) prime?
True
Let t = 2499 + -1138. Is t a composite number?
False
Let o = 3957 + -1466. Is o a composite number?
True
Let r(a) = -a**2 - 14*a + 19. Let h(u) = -u**3 - 5*u**2 - u - 3. Let n be h(-4). Let i be r(n). Suppose 27 = -i*j + 5*j - 4*k, k - 36 = -2*j. Is j prime?
True
Suppose -4*l = -3*l - 9. Let r(s) be the third derivative of s**4/12 + 5*s**3/6 - 11*s**2. Is r(l) a composite number?
False
Suppose -2*l = 812 - 4758. Is l prime?
True
Let u(t) = -240*t - 1. Let y be (-498)/(-26) + 2/(-13). Suppose 17*r - 4 = y*r. Is u(r) composite?
False
Let n = -40 + 69. Let b = -16 + n. Let k(h) = h**3 - 12*h**2 - 2*h + 2. Is k(b) prime?
False
Let t(m) = m**2 - 9*m + 22. Let k be t(6). Is -4604*(7/(-14) - (-1)/k) prime?
True
Suppose -5*h - 3*j = -9760, 2*h - 3893 = -j + 2*j. Is h composite?
False
Let t = 58677 - 31900. Is t prime?
True
Suppose -18*g = -6562 - 18368. Is g a composite number?
True
Let s be 3 + (-3 - (-2 - 0)). Suppose -s*u - 2*w + 8 = -3*u, -17 = -u - 3*w. Suppose -u*o = 0, -5*h + 0 + 175 = o. Is h a prime number?
False
Let r(m) = 8*m - 1. Let y be r(3). Let x(u) = -24 + 4*u + y + 6*u. Is x(5) composite?
True
Let d be 0/(-2)*(-13)/26. Suppose d = -7*l + 3*l + 3452. Is l a composite number?
False
Is (-17764)/(-12)*(1 - -14) a composite number?
True
Let l = 52 - 50. Let h(t) = -t**3 - 2*t**2 + t - 3. Let d be h(-3). Suppose -l*u = -3*x + 3167, -5*x + d*u + u = -5277. Is x prime?
False
Let z = 121 + 22. Is z a composite number?
True
Let v(p) = 8 + 8*p + 8*p - 3*p. Let y be v(6). Suppose 3*j - 617 = -k, j - y = -2*k + 123. Is j a composite number?
True
Suppose 4*k = -2*r + 10, -2*r - 5*k + 9 = -6. Is (-4216)/(-20) + (-1)/r a composite number?
False
Suppose -168*k = -163*k - 1470. Let v be (32 - 1)/((-2)/(-6)). Let a = k - v. Is a prime?
False
Let m(z) = -2*z**3 + 65*z**2 - 14*z + 70. Is m(31) composite?
True
Suppose -6*y = -8 - 4. Suppose 5*m = -4*v + 3952, y*m = -0*v + v - 1001. Is v a composite number?
True
Let o be 70/6 - 10/15. Let a(s) = s**3 - 10*s**2 + 5*s - 27. Is a(o) a composite number?
False
Let b be 519/1 - (2 + -3). Let w be b + ((-48)/(-4))/(-4). Suppose n + w = 2*n. Is n a prime number?
False
Let r(t) = 2*t**3 + 4*t**2 + 30289. Is r(0) a prime number?
False
Suppose -55*q = 645850 - 1851505. Is q composite?
True
Suppose -3*v = -v. Suppose v + 27 = -s. Let x = 66 + s. Is x prime?
False
Suppose 6*g - 19613 + 1235 = 0. Let w = -1922 + g. Is w composite?
True
Is 7955/2 - (-3 + (-15)/(-10)) composite?
True
Suppose -3*q = -10*q + 41832. Suppose 0 = 7*l - 1367 - q. Is l prime?
True
Let f = 605 - -18. Suppose -5*b - f = -6*b. Is b a prime number?
False
Let p(m) = 671*m + 35. Is p(4) a composite number?
False
Suppose 114 = -12*n + 15*n. Is (2*5)/(n/4351) a composite number?
True
Let h(j) be the second derivative of 41*j**4/6 + j**2/2 + 11*j. Is h(3) a composite number?
False
Let g(x) = x**3 - 6*x**2 + 8*x - 2. Let o(m) = -3*m - 10. Let f(d) = 13*d + 40. Let c(l) = -2*f(l) - 9*o(l). Let w be c(-4). Is g(w) a composite number?
True
Suppose -7*x + 2*x - 4715 = 0. Let o = 456 - x. Is o composite?
False
Let s(w) = -16*w + 0*w**2 + 7*w**2 + 12 - 4*w**2. Suppose 0 = -v - p + 3*p + 11, 5 = v + 4*p. Is s(v) a composite number?
True
Let k be (1 - 1)/(1 - 3). Let v(o) = 2*o + 2. Let f be v(k). Suppose 0 = -f*x + 168 + 68. Is x composite?
True
Suppose 13*z - 23143 = 12*z + 3*l, -2*z - 2*l + 46286 = 0. Is z composite?
False
Suppose 25*x - 839309 = -42*x. Is x a prime number?
True
Suppose 12 = -0*l - 2*l. Let c be 3/2*(-8)/l. Suppose -c*y - 15 = -3*y. Is y a composite number?
True
Suppose -7 + 4 = 3*o, -5*m - 2*o = -48953. Is m a prime number?
True
Let m be -5*(4 - 1824/10). Let i = 658 + m. Suppose 4*y - 2*u - 1238 = 0, -5*y + u = -2*u - i. Is y composite?
False
Let a(u) = u**3 - 6*u**2 - 39*u + 55. Is a(17) a composite number?
True
Let u = 10 - -161. Suppose 0 = -3*f - 0*f + u. Is f a composite number?
True
Let i be (3 - -2) + -6 - 9399. Is 0 - (4 + i - -5) a prime number?
True
Let j be 93*-4*1/(-12). Suppose -26*n - 815 = -j*n. Is n composite?
False
Let u(m) = -7*m**2 + m - 1. Let t be u(1). Let n = t + 5. Is 23/(2 + n + 1) prime?
True
Let k = -2469 + 4228. Is k composite?
False
Suppose 4613 = 4*u - 267. Suppose -4*v - 2*z + u = 0, 0 = -2*v - 6*z + 3*z + 602. Is v composite?
False
Suppose 3*f + f - 42968 = 4*s, 5 = -5*s. Is f prime?
False
Let l = 133 - 79. Let z = l + -18. Suppose -2*q + 70 = -z. Is q a composite number?
False
Let w(p) = -5*p**3 + 2*p**2 + 3*p - 9. Let i(q) = -q**3 - 14*q**2 + 16*q + 11. Let z be i(-15). Is w(z) composite?
False
Let a(u) be the third derivative of u**4/24 + 29*u**3/6 + 4*u**2. Let q be a(0). Suppose -3*n = 2*z - 29, 3*n - 2*z = q + 20. Is n composite?
False
Let w(p) = -16 + 30*p**2 - 28*p**2 + 7*p - 2*p**3 + 0. Is w(-7) a composite number?
False
Is (1 - 3)/((-16)/40024) composite?
False
Suppose 3*s + 2*s + 10 = 0. Is s/(-2)*(-15117)/(-3) a composite number?
False
Suppose 2*x = 3*i - 70951, 2*i = 5*x - 9*x + 47290. Is i prime?
False
Let a(v) = 6*v**2 - 2*v + 541. Let o(s) = 7*s**2 - 2*s + 541. Let m(f) = 6*a(f) - 5*o(f). Is m(0) prime?
True
Is ((-6)/(-4))/(-3)*(-15018)/3 prime?
True
Let m(i) = i**2 + 42. Is m(19) prime?
False
Suppose -w - 4*w = f + 353, 0 = w + 2*f + 67. Let t = -38 - w. Is t a prime number?
False
Suppose 3*m + 5*s = 3*s + 77342, 2*m + 3*s = 51568. Is m prime?
False
Let c(b) = -4*b + 10. Let a(y) = -y + 1. Let j(k) = 5*a(k) - c(k). Let u be j(-6). Is 1 - (3 + u*-235) a prime number?
True
Let l = 6975 + -3959. Suppose 7*b = j + 11*b - 763, -4*b + l = 4*j. Is j composite?
False
Let x = -25 + 45. Is 8 + x/(-5) + 445 prime?
True
Let u(k) = -288*k + 3. Suppose 3*r + 30 = -5*m, -3*r = 4 + 11. Let a be u(m). Is (-12)/8 - a/(-6) prime?
False
Let j = -291 - -441. Suppose 0 = -t + 2 + j. Let v = -7 + t. Is v a prime number?
False
Let o = 0 - -4. Suppose t + u - 3 = 0, 0 = -3*t - u + o*u - 9. Suppose -3*r + 160 + 221 = t. Is r a composite number?
False
Let i(w) be the second derivative of w**4/12 - w**3/2 + 7*w**2 + 20*w. Is i(0) a composite number?
True
Suppose 44 = 6*d - 4. Suppose -c = d*c - 1413. Is c a prime number?
True
Is (-1496013)/(-30) - (-3)/(-150)*5 composite?
True
Let z(y) = -25*y**3 - 4*y**3 + y + y - 41*y**3 + 1 + 2*y**2. Suppose -14 = 4*d - 0*d + 5*j, -3*d - 1 = -j. Is z(d) composite?
False
Let x be (-3)/12 - 27/(-12). Let m be ((-1)/4)/(2/(-40)). Suppose -u + 39 = -4*l, -l + 94 = x*u - m*l. Is u a prime number?
False
Suppose -366 = 11*w - 1807. Is w prime?
True
Let c(l) = 288*l + 37. Is c(4) prime?
False
Let w(c) = 40*c + 4. Let m be w(-10). Let y = m + 607. Is y a prime number?
True
Let u(h) = h**3 - 10*h**2 + 3. Let m be u(10). Let o be m - -13*(-3 - -2). Is 5/(o/(-296)) - -1 composite?
False
Let m(h) = -3051*h**3 + 2*h - 2. Let s be m(1). Let k = -1984 - s. Is k a prime number?
False
Suppose 395 - 192 = q. Is q a prime number?
False
Suppose -11*s = y - 8*s - 3982, -5*s = 3*y - 11934. Is y prime?
False
Let q = 18353 - 9712. Is q a prime number?
True
Let s(n) = 82*n + 35. Let g be s(15). Suppose -g = -c - 4*c. Is c composite?
True
Let t = -15 + 15. Suppose i + 3*n + 20 = t, -i - n - 35 = i. Let s = 34 - i. Is s a c