5*u - 20. Suppose 3*z + 1222 - 10027 = k. Is z a composite number?
True
Let x = 34 + -32. Suppose 3*t = -x*s + 5028, 2*t - 2*s - 3417 = -55. Is t composite?
True
Let g be (15/(3 + 2))/3. Let t(n) = -310*n + g + 5 + 12 - 3. Is t(-22) prime?
False
Let h(j) = -j**3 + j**2 + 2*j - 1. Let v be h(-2). Let y be ((-20)/(-10))/((-7)/(-34622)). Suppose -v*n - y = -11*n. Is n composite?
False
Suppose 2*y + 1012 = 2*m - 3*y, -3*y = 6. Let d = -951 + m. Let x = 937 + d. Is x prime?
True
Let a(s) = -273*s - 643. Is a(-12) composite?
False
Suppose 0 = -5*i + 7063 + 73697. Suppose 0 = -4*b + 5*a + 16157, 3*b + b - 4*a - i = 0. Is b a composite number?
True
Let n = -27225 + 42703. Suppose -c + j + 2*j + n = 0, 3*c - j = 46474. Is c composite?
False
Let b(n) = -n**3 + 15*n**2 + 2*n - 25. Let w be b(15). Let k(u) = 128*u**2 + 11*u - 22. Is k(w) prime?
False
Is 8/(-6)*(-8504280)/96 prime?
False
Let k(t) = 5739*t**2 - 4*t + 82. Let b be k(6). Suppose 5*q = p + b, -3*p = -5*q + 224441 - 17785. Is q a prime number?
True
Suppose -5*u + 25 = 5*b, -b + 6*u - 2*u = 5. Suppose -4*g = -2*g - 4*f - 4, -b*g = 5*f + 16. Is -2*(1*505/g + -2) composite?
False
Let j(q) = 17*q**3 + 7*q**2 - 9*q - 23. Suppose 10*v + 26*v = 288. Is j(v) prime?
False
Let u = 6005 - 4884. Is u a prime number?
False
Let x = -85 - -99. Let l = 18 - x. Suppose -d - 1529 = -l*o - 2*d, 0 = o - 4*d - 361. Is o a composite number?
True
Let v be 0 - (-4 - -76)/(-3). Suppose 13*g = 7*g + v. Suppose -9*r = -g*r - 1775. Is r a composite number?
True
Let j(p) = -2*p**3 + 9*p**2 + 71*p + 2051. Is j(-47) composite?
False
Let n be 5/((-35)/(-16)) + (-6)/21. Let g be (n/2*-586)/(14/49). Is (2 - 1)*0 - g a prime number?
False
Suppose -2*l + 21 = 3*d + 2*d, 2*d + 41 = 3*l. Suppose l*q = 93972 + 142589. Is q a composite number?
True
Suppose 5*y = -3*s + 40, 8*s - 5*s = -4*y + 41. Suppose 0 = -s*c + 9*c + 2694. Is c prime?
True
Let k = -214788 + 310831. Is k prime?
True
Let k be -6*2/(-9)*(1 + 2). Let c be ((-21)/(-49))/(k/28). Suppose -4*g - 167 = c*x - 581, -157 = -x + 5*g. Is x a composite number?
True
Suppose -3*w + 239489 + 22088 = 2*r, r = 5. Is w composite?
True
Let r = -2 + 4. Suppose 1566 = -r*f + t + 8408, -4*f - 2*t = -13684. Is f a prime number?
False
Suppose -139229 - 87563 = -8*n. Is n a prime number?
True
Let f(q) = -q**2 + 24*q - 44. Let x be f(21). Is ((-2)/(-4))/(x/100054) composite?
False
Let u(t) = t**3 + 3*t**2 - t + 2. Let b be u(-3). Suppose 0 = -3096*z + 3085*z + 33594. Suppose -2*d + 3*g = d - z, 0 = -4*d - b*g + 4072. Is d a prime number?
False
Let w(j) = -7*j**3 - 5*j**2 - 35*j - 66. Is w(-19) a prime number?
True
Is 5 - -166798 - 532/(-38) a prime number?
False
Suppose 41*k - 2 = 42*k, 0 = 4*q - 5*k - 26. Suppose -q*j - 8*y = -7*y - 57123, -5*y = 4*j - 57119. Is j a composite number?
False
Suppose 5*i = -2*r + 203849, 22*r - 18*r - i = 407665. Is r a prime number?
True
Let d(w) = -134 - 489*w + 47 + 45 - 109. Is d(-8) composite?
False
Suppose 34*c + 98 + 140 = 0. Let m(a) = -63*a**3 - 4*a**2 - 3*a - 1. Is m(c) prime?
True
Let d be ((-333)/(-36))/((-2)/8*-1). Let i = d + -30. Let m(w) = 62*w**2 - 7*w - 8. Is m(i) a composite number?
True
Let l(g) be the third derivative of 0 - 9*g**2 - 67/6*g**3 + 0*g + 7/12*g**4. Is l(13) prime?
False
Let v be 5328/297 + 6/99. Suppose -5*c + 36553 = -4*f, 22*c - 29258 = v*c - 2*f. Is c a prime number?
False
Let d(a) = 468*a - 69. Let k be d(-7). Let u be ((-8)/10)/(2/(-15)). Is -28*(4/40)/(u/k) composite?
True
Let c(v) = -v**3 + 10*v**2 + 18*v + 8. Let u be 29/1 - (22 - 27). Suppose 0*w - 5*w + 4*q = 29, 0 = 2*w + 4*q + u. Is c(w) a composite number?
True
Let l = 4602 - 1828. Let x = l + -705. Is x prime?
True
Suppose -1570 = -26*y + 16*y. Suppose 3141 = 5*t + 4*s - y, -5*t = 5*s - 3295. Is t prime?
False
Is ((-4)/9)/(212/(-159)) + (-1772320)/(-6) a prime number?
True
Suppose 0 = -3*j + 5*u - 14, 0*j + 5*j + 18 = 3*u. Let r be 6*-3*j/18. Suppose r*h = 495 + 36. Is h a prime number?
False
Let b = -66 + 71. Let s be (16 + (b - 4))*329. Suppose 10*i = 3*i + s. Is i a prime number?
False
Let f = -563 + 571. Suppose -2986 - 2494 = -f*o. Is o a composite number?
True
Suppose -7*c + 2*c + 10 = 0. Suppose -c*d = -4*b - 1526, d + 0*d + 2*b - 743 = 0. Is d prime?
False
Let v(s) = 3*s**2 + 2*s - 1. Let f be v(2). Let z(g) = 9*g**2 + 3*g - 17. Is z(f) prime?
True
Let t = 17848 - 9597. Is t prime?
False
Is (21051 + 1 - 14) + 5 a prime number?
False
Suppose -5616*y = -5633*y + 1828333. Is y a composite number?
True
Let q(a) = -11957*a + 42. Is q(-5) prime?
False
Let p(g) = -34937*g - 3104. Is p(-25) prime?
False
Let w be (44 - -10) + (-2)/1. Let n be ((-172)/8)/((-2)/w). Let x = -12 + n. Is x a prime number?
True
Let u = -3889 - -7033. Let c = u + -1315. Is c a composite number?
True
Let s = 164 - 162. Suppose 36*n - 31*n + 5*d - 1970 = 0, s*n - 803 = 3*d. Is n prime?
True
Let s(o) = -9442*o - 20. Let m be s(-1). Suppose b + 3477 = -3*p + 17610, -2*p + m = -3*b. Is p a composite number?
True
Suppose 0*b = -2*b + 3*l - 53, b + 49 = -3*l. Let j = 36 + b. Suppose 4*a - 2958 = -2*v - 0*a, 4*a + 2926 = j*v. Is v a prime number?
True
Let f(b) = b**3 - b**2 + b. Let m(y) = -54*y**2 + 11*y + 29. Let o(u) = 3*f(u) + m(u). Is o(24) a prime number?
False
Suppose 4*j = 5*j - f + 38, 0 = -5*f + 15. Is 3759 + 7*(-10)/j composite?
False
Let o be 6/(-8)*(-80)/3. Let q(x) = x**3 - 15*x**2 - 48*x + 17. Is q(o) a composite number?
True
Let b(d) = -301*d - 99. Suppose 3*j = 2*g - 38, 0 = 2*j + 5*g + 7 + 50. Is b(j) composite?
True
Let t(m) = 60*m**2 + 47*m + 16. Is t(-27) a prime number?
True
Let k be (-972)/(-69) + (-4 - 270/(-69)). Is (28407/(-6))/(k/(-28)) prime?
False
Is (-24 - (21 + -38))/((-2)/15838) a prime number?
False
Suppose 42*d = 10563977 + 36325621. Is d prime?
True
Let j = 723 + -1242. Let f = j - -1852. Is f composite?
True
Suppose -4*f - 106786 = -7*d + 5*d, 3*f = d - 53396. Is d a prime number?
False
Let j(i) = 2*i + 693. Is j(-35) composite?
True
Suppose 4824618 = 19*v + 31*v - 6812432. Is v a prime number?
True
Let p(g) = -21 - 594*g + 22 + 33. Let x be p(-17). Suppose 22*a = 18*a + x. Is a a prime number?
False
Is (11478 - (15 - 1)) + 19 a composite number?
False
Let m = 109222 + 201661. Is m composite?
False
Suppose 3479242 - 721878 + 122356 = 8*m. Is m a composite number?
True
Let h = 51244 - 35843. Is h composite?
False
Let k = 2657 - 199. Let r = k + 373. Is r prime?
False
Let m(p) = p**3 + 95*p**2 + 65*p + 46. Is m(-93) a prime number?
True
Is 241192/9 + -2 + ((-9)/(-9))/(-9) a composite number?
True
Let c(k) = 6*k - 128. Let d be c(22). Let m(p) = 5123*p + 81. Is m(d) a composite number?
True
Let x be (1535 - -3) + (11 - 2). Suppose 3*q - x = 394. Is q composite?
False
Let h = -71286 + 102505. Is h a composite number?
False
Let f(r) = -30*r**3 - 5*r**2 + r + 9. Is f(-5) prime?
False
Let g = 179502 + -66859. Is g prime?
True
Suppose -4*q + 2*d = 14, 0 - 2 = -5*q - 4*d. Let k(o) = 85*o + 121. Let a(y) = 17*y + 24. Let u(m) = q*k(m) + 11*a(m). Is u(17) a composite number?
False
Let t = -239728 + 403805. Is t prime?
False
Suppose 15*f - 17*f - 4*b + 174106 = 0, 3*f + 4*b = 261159. Is f a prime number?
False
Let v = -39 + 29. Let w be 12/(-18) - v/(-3). Is 3/4 - 6737/w composite?
True
Suppose 5*m - 20 = 0, -l - 3*m + 3 = -6. Let v be (l + (-20)/(-8))*-8. Suppose 4*x - 5*o + 4*o = 6767, -v*o - 3366 = -2*x. Is x composite?
False
Suppose 21*v = 5*j + 23*v + 34, 5*v + 22 = -2*j. Is (2 + (-10)/4)*1380/j a prime number?
False
Let q = 24428 + 47701. Is q a composite number?
True
Let c = 455 - 451. Suppose 2*q - 361 = c*r - 7625, r = -5*q + 1794. Is r a composite number?
True
Let k(s) be the second derivative of 0 + 14*s - 21/2*s**2 - 1/12*s**4 + 53/6*s**3. Is k(25) a prime number?
False
Suppose 0 = 4*y - 8*y, 0 = -3*b - 3*y - 22932. Let d = -841 - b. Is d prime?
True
Let g(n) be the third derivative of -n**6/120 + n**5/30 + 5*n**4/24 + 3*n**3/2 - 17*n**2. Let x be g(5). Let v = x - -156. Is v prime?
False
Let u = 167175 + 121414. Is u a composite number?
True
Let n be 5 - (-40)/25*(-2030)/(-4). Suppose -2*y + 2 = -4. Suppose n = y*q + 64. Is q composite?
False
Let g(c) = 5*c - 10. Let u be g(2). Suppose -5*j = 2*a - j - 4186, u = -4*a + 3*j + 8405. Is a a prime number?
Tr