 composite number?
True
Let a(b) = -2*b + 26. Let l be a(12). Let n be l + 1/((-3)/(-1497)). Is n*2/4 + (-2)/(-4) a prime number?
True
Let s = -368 - -370. Suppose n + 0*n - 4*b - 7177 = 0, s*n - 4*b = 14354. Is n a composite number?
False
Let p(b) = b**3 + 17*b**2 + 30*b + 6. Let c be p(-15). Let y(a) = 2*a + 3*a - c*a + 127. Is y(0) composite?
False
Let u(q) = -4*q**3 + 3*q**2 - 2*q + 1124. Let k(c) = 5*c**3 - 4*c**2 + 3*c - 1124. Let a(v) = 3*k(v) + 4*u(v). Let w be a(0). Let m = w - 795. Is m composite?
True
Is -1*4*-124*(-29731)/(-208) composite?
True
Suppose 0 = -2*r - 14, -10*w + 42588 = -8*w - 2*r. Is w a prime number?
False
Suppose 8*n = -1 + 33. Suppose -q + 3*k - n*k + 9 = 0, -3*q + 4*k = 8. Is (-3)/((-1)/(-2)*q/(-166)) a composite number?
True
Let n be (1 + (-4)/8)*-6. Let a be (-2)/2 - (0 - -4). Is 30804/15 - n/a composite?
False
Let p be (-2 + (5 - -2))*(2 + -1). Suppose -p*z + 32 = 3*z. Suppose z*u = -3*u + 22421. Is u a composite number?
False
Suppose 3566329 = -61*o + 74*o. Is o composite?
False
Let f(p) = p**3 - 5*p**2 - 6*p - 2. Let j be f(6). Let q be 460/(-60)*6/j. Let r(c) = -c**3 + 23*c**2 + 14*c + 17. Is r(q) a prime number?
False
Suppose 0 = 5*a + 3*o - 148220, -3*o + 15 = -0*o. Is a composite?
False
Let k = -147 - -140. Is 5 + (-2)/(5 + k) - -11635 a prime number?
False
Let g(f) = f**3 + 35*f**2 - 26*f - 20. Let a be g(25). Suppose a + 18180 = 5*m. Is m a prime number?
False
Let h(m) = -2*m**2 + 448*m - 409. Is h(93) a prime number?
True
Let t be 1 + 1 - 9/6*-10. Suppose -49803 = t*b - 20*b. Suppose -14*n + n + b = 0. Is n composite?
False
Let f(w) = -26*w**3 + 9*w**2 + 268*w - 62. Is f(-37) composite?
False
Let m be 8/(-2) + 1 + 4. Suppose -v + i + 4236 = 0, 0*i - i = -m. Is v a composite number?
True
Suppose 2*l = -c + 88120, 2*c = -14 + 18. Is l composite?
False
Let f(j) = -19713*j + 595. Is f(-16) prime?
True
Suppose 77*v + 197238 = 81*v - 5*p, -4*p - 197236 = -4*v. Is v a composite number?
False
Is (-4)/((-288)/2115774)*(-4)/(-1) a composite number?
True
Suppose 16*j - 5*j - 69 = 4232. Is j a prime number?
False
Let d be -3*(-4)/(-12) - 35. Let y = -40 - d. Is 222*((-7)/2 - y) a prime number?
False
Let a(y) = -y**2 + 8*y + 10. Let n be a(8). Let d be (-1 + n/4)*(3 + -1). Is (4 - (-644)/(-12))/((-1)/d) composite?
False
Let f = 247 + -231. Suppose -c + 4*c = -32820. Is -4*(c/f - -3) a prime number?
False
Let g(r) = -r**2 + 37*r - 28. Let l be g(36). Suppose -4526 = -l*k - 23*k. Is k a composite number?
True
Let k(s) be the third derivative of 11*s**5/60 - 11*s**4/8 - 73*s**3/6 - 53*s**2. Is k(-20) composite?
False
Let n = -329 + 418. Suppose -n*v + 77*v = -36492. Is v a prime number?
True
Let y(i) = 90*i + 18. Let j be y(5). Suppose -4*s + j = -2*r, -r + 0 = 4. Is s prime?
False
Let l = -12618 + 25276. Suppose 0 = 2*a - h - 0*h - 12658, -2*a = -3*h - l. Is a composite?
False
Suppose 0*a + 3*a = -2895. Let h be 3/7 - (-83163)/(-399). Let r = h - a. Is r a prime number?
True
Suppose -3*v = 2*k - 152127, -128*k = 5*v - 124*k - 253547. Is v a prime number?
True
Suppose 22*c - 1722710 - 974082 = -34*c. Is c a prime number?
True
Let n(v) = 790*v - 84. Let u be n(17). Is (6*(-9)/54)/((-2)/u) a prime number?
True
Let p = -65494 + 275959. Suppose 45*y - p = 18*y. Is y a composite number?
True
Let k = -111 + 1092. Suppose 6*j + 10809 = -k. Let p = j - -3658. Is p prime?
True
Suppose 0*d = 4*d - 4*z - 20, 4*z + 17 = d. Let l = -16 + 28. Is d/1 + (l*27)/2 composite?
False
Is (1 - (-2)/(-1))/(38/812326)*-1 a composite number?
False
Suppose 6*n - 3*n - 3 = 0. Let a be 1 - (n - 5)/4. Is 3831/12 - a/8 prime?
False
Let l(t) = t**3 - 8*t**2 + 6*t + 10. Let q be l(7). Let k be q*4/18 - 28/6. Is (8/k)/((-6)/9) + 34 composite?
False
Let c = 9773 + -6974. Is -4*(-4)/32*(-5 + c) composite?
True
Let v(a) = a**3 - 5*a**2 - 15*a + 29. Let i(p) = -p**3 + 3*p**2 + 8*p - 15. Let j(g) = -5*i(g) - 2*v(g). Is j(5) a prime number?
False
Let v be (-16)/(-28) + (-40)/(-28). Suppose -4*u = v*a - 7*u - 4489, 5*a = 4*u + 11233. Is a composite?
True
Let k = 172353 - -109996. Is k composite?
False
Let t = -481 + 485. Suppose -1137448 = -56*f + t*f. Is f prime?
False
Let v(y) be the third derivative of 94*y**5/15 - 25*y**4/24 - 109*y**3/6 - y**2 - 7*y. Is v(-4) prime?
True
Let u(c) = 8*c**2 + 8*c - 4. Let g be u(-4). Let v = g - 90. Suppose 8114 = 5*p - 3*a, v*p - 3230 = -4*a - 0*a. Is p prime?
True
Let g(z) = z - 1. Suppose 2*c = 3*u, -4*c + u = 4*u - 18. Let w(o) = 18*o + 23. Let f(v) = c*g(v) + w(v). Is f(11) prime?
True
Let i = 90 - -354. Is i/48*(3 - -1)*17 composite?
True
Let j(b) = 1060*b - 17. Let s(t) = -t**3 - 2*t**2 - 2*t. Let z be s(-1). Is j(z) a composite number?
True
Suppose -12 = 2*s - 16. Suppose -s*n = -3*n - o - 61, o = -4*n - 238. Let q = n + 141. Is q a composite number?
True
Let y = -34 + 42. Let c(z) = 8 - z**2 - 140*z**3 + 0*z**2 - y. Is c(-1) a composite number?
False
Suppose 2*h - 712 = -6*h. Let n = h + -90. Is (1 - n)/(-3 + 3345/1113) a composite number?
True
Suppose -3*m = 3*u - 10776, 2*m + 0*m = 4*u - 14392. Let f = u + -2083. Is f composite?
True
Let v(j) = -5*j + 3 - 33*j**2 - 12 + 32*j**2 + 12*j. Let o be v(2). Is 2/(o - -1)*1049 a composite number?
False
Is 21658 + 58 + (-1 - 4/(-1)) prime?
False
Let c(n) = -n**2 + 18*n + 23. Let p be c(19). Suppose -4*g + 8 = y, -p*g - 6 = 5*y - 30. Is 380 - (5/5 + (1 - g)) prime?
True
Suppose 9*o - 36*o = 81. Is (-3 - o - 20/(-5)) + 3487 a prime number?
True
Suppose -5*m + 4*f = -1081659, -152*m - 4*f = -153*m + 216351. Is m composite?
True
Let l = -8578 - -12774. Suppose -m = -5*m + l. Suppose -46*z - m = -47*z. Is z prime?
True
Let x(u) = 9*u**3 + 30*u**2 - 28*u + 66. Is x(19) composite?
True
Let g = -1248 - 139. Let z = g - -3902. Is z a composite number?
True
Let d(q) = -q + 13. Let o be d(14). Let v be 3 - 1/(-2 - o). Suppose l = -r - 663 + 2416, -l - 7032 = -v*r. Is r prime?
False
Let w(n) = -409872*n + 2561. Is w(-4) prime?
True
Let j(b) = 974*b**2 + 10*b - 19. Is j(-18) a prime number?
True
Suppose 37*y + 127*y - 56124530 = -221*y. Is y prime?
False
Suppose -34042 = -u + 5*p, -3*u = 2*p - 84680 - 17446. Let w = -23151 + u. Is w composite?
False
Suppose 29*i + 40*i = 266*i - 222433685. Is i a prime number?
False
Let p = 66 - 46. Let q be p/(-8)*118/(-5). Let b = q - -155. Is b a composite number?
True
Is 1902833/18 + (-77)/(-1386) composite?
True
Let l(d) = 243*d + 5. Suppose 0 = 4*j - v - 29, 2*j - 2*v = 2*v + 32. Suppose 5*t - 4*c = 24, t + j*c - 20 = 3*c. Is l(t) prime?
True
Let k = 315 + -9. Suppose 2*a - 152 = -3*w, -4*a + 8*a = -5*w + k. Is a a composite number?
False
Let q(h) = -2*h + 13. Let y be q(5). Let o(l) = -43*l - 6 - 684*l + y - 36*l. Is o(-2) a prime number?
True
Let c = 704 - 1540. Let w(p) = -4*p + 16. Let z be w(7). Is -9*4/z - c a composite number?
False
Let p(m) = 156150*m**2 + 31*m + 51. Is p(-2) a composite number?
True
Suppose 0 = 70*i - 75*i + 2*c + 114205, -i = -c - 22838. Is i a prime number?
False
Let t(x) = -x**2 + 19*x - 5. Suppose 7 = -u + 9. Suppose -o = 4*d - 32, 0*d - 10 = -2*d - u*o. Is t(d) a prime number?
False
Suppose -61 = -6*v - 37. Suppose 7*u = s + v*u - 2393, -5*s - 3*u = -12001. Is s a prime number?
True
Suppose 5*v - 56 = 44. Suppose 8*g - v*g + 11436 = 0. Is g a composite number?
False
Is ((-2)/24)/((-323479275)/24883020 + 13) a composite number?
False
Let k = -27585 + 59176. Is k a prime number?
False
Let x be (6/(-15))/((-1)/(-305)). Let l be -115*((-6)/(-21) + (-322)/98). Let g = l + x. Is g a composite number?
False
Suppose r - 2*n - 660047 = 0, -3*r + 2513*n = 2515*n - 1980069. Is r a composite number?
False
Suppose 0 = -3*f - 6, 26*l + 4*f = 21*l + 19177. Is l composite?
True
Suppose 8341317 = 207*t - 7368714 + 2082393. Is t composite?
True
Let f be (-164815)/(-7) + -1 - 4. Suppose -23*p = -f - 37893. Is p composite?
False
Suppose 9 = 4*x + 1. Suppose x*m = 2*o + 6996, 0*m + 13991 = 4*m - 5*o. Suppose 2*n = -3*y + m, 0 = 2*y + y - n - 3493. Is y composite?
True
Is 75301 + (-5 - -6) - 13 a prime number?
True
Suppose 4*k + 5*t = 1025, 12 = 5*t - 13. Is (-20)/k - 20385/(-125) prime?
True
Let b be 281/(6/9*6/8). Suppose 919 + b = v. Is v prime?
True
Let c be (-4)/(-10)*(-5)/(-2). Let u(g) = 57*g**2 - 48*g + 3. Let p be u(13).