w = -13*w + i. Is w composite?
False
Let h(o) = 20 - 203*o + 106*o + 99*o. Let q be h(-9). Suppose -3*m - 40 = -s - q*m, 0 = 3*s + 3*m - 90. Is s a composite number?
True
Let b = 29 + -21. Let k(w) be the first derivative of 23*w**3/3 + 35*w + 598. Is k(b) a prime number?
False
Let i = 109131 - 1964. Is i prime?
False
Let f(a) = -11*a - 33. Let i be f(-5). Suppose i*k + 7*k - 449819 = 0. Is k a prime number?
True
Suppose 51273 = k + a + 11689, 4*a + 158360 = 4*k. Is k prime?
False
Let a(y) = 100*y**2 + 20*y - 61. Let l(b) = -101*b**2 - 21*b + 61. Let n(d) = 6*a(d) + 5*l(d). Is n(-9) a prime number?
True
Suppose 21 = 5*l - 4. Suppose q - 2*f = -6*f + 11969, 2*q + l*f - 23926 = 0. Is q a composite number?
False
Suppose -2*c - 5*j + 22 = 2, -20 = c - 5*j. Suppose c*t + t + 1 = 0. Is 4 - (-2 + t + -930) composite?
False
Let j be -2 - (-6 - -13)*10/14. Is 7/((-35)/(-124350)) - j prime?
True
Let y(f) = f**2 + 2*f + 37. Let o be y(18). Suppose -407*a + 3940 = -o*a. Is a composite?
True
Let h(f) = -364*f + 18. Let s(o) = -365*o + 20. Let v(g) = 6*h(g) - 5*s(g). Is v(-9) composite?
True
Let m = 3006 + 5843. Suppose -2987 = -4*v + m. Is v a prime number?
False
Let l(w) = w**3 - 8*w**2 + 7*w + 2. Let m be l(7). Let f(d) = -77*d - 21. Let u(a) = 38*a + 11. Let v(c) = m*f(c) + 5*u(c). Is v(10) a prime number?
True
Let h(l) = -l**2 + 74*l - 140. Let p be h(72). Suppose 0 = u - 4*u - 5976. Is ((u - 4)/p)/(-1) composite?
False
Suppose 2*v - 47838 = -15*v. Let b = 5692 - v. Is b composite?
True
Is (-204516)/(-13) - (3 + 2) prime?
True
Let n = 39688 - -6783. Is n composite?
False
Is 125527 - (34 + 16 + -30) prime?
True
Suppose -2*q = -4*p - 3062, -5*q + 5*p = -0*p - 7655. Suppose 5*n + u = 1892, 2*u + q = 4*n - 3*u. Is n prime?
True
Let x(u) = 201*u**3 - 8*u**2 - 104*u - 31. Is x(14) a composite number?
False
Let o(d) = 13*d + 102. Let j be o(-9). Let r(x) = -1111*x + 88. Is r(j) composite?
True
Suppose 0 = 4*p - 2*x + 1070969 - 4053891, 2*p - 5*x - 1491489 = 0. Is p prime?
True
Let p(o) be the third derivative of o**6/24 + o**5/30 - 7*o**4/24 - 7*o**3/6 + 20*o**2. Let k be p(6). Let h = k - 462. Is h composite?
False
Suppose -250*z + 17252439 = -25366811. Is z a composite number?
True
Is 4/(-6) - 1225/(-735)*230723/5 a prime number?
True
Suppose -6*b + 4118 + 22288 = 0. Let v be ((-2)/(-3))/(3/b). Suppose -t - t = -v. Is t a composite number?
True
Suppose -5*g = o - 23, 16 = 2*g + 2*g + 2*o. Suppose 3*r = -g*r + 56. Let c(p) = 67*p + 12. Is c(r) a composite number?
True
Let b be 6/4 - (-1 + 75/(-10)). Suppose -7*x = -4*w - b*x + 5030, -4*w = 5*x - 5026. Is w composite?
False
Let h = -581677 + 929646. Is h a composite number?
False
Suppose -157 = -18*c - 967. Is (15/c)/((-3)/13257) a prime number?
False
Suppose 3*t = -4*r + 861428, 430714 = 2*r - 117*t + 121*t. Is r a prime number?
False
Let x(f) be the second derivative of -46*f**3/3 - 15*f**2/2 + f. Suppose -63*w - 20 = 421. Is x(w) a prime number?
False
Is 120/(-90)*(230500/(-8) + (-6)/(-3)) a composite number?
True
Let v be 4 + 66/(-44)*(-8)/(-6). Suppose -2*c = v*a - 3876, -4*a + 2*c = -3*a - 1953. Is a a composite number?
True
Suppose 5*x + 2*h = 3*x + 22, 3*h - 45 = -4*x. Suppose -40 = x*b - 8*b. Is b/(-2) - 336/(-7) composite?
False
Let q(s) = 139068*s - 14833. Is q(4) a composite number?
False
Suppose 61274 - 13598 = 12*y. Is y composite?
True
Let u = 1450719 + 345754. Is u composite?
True
Let z = 332535 + -197704. Is z prime?
False
Is 19/((-380)/90) + (-4204665)/(-6) a composite number?
True
Is 9*(1 - 8812100/(-198)) prime?
True
Let x be ((-45)/60)/((-9)/48). Is 1/(-5)*(-24159 + x/1) prime?
True
Let t = -46 + 44. Let b be t + 2 + (-3 - -6). Is 3 - b - -1*326 prime?
False
Suppose 18*j + 2*x + 178 = 21*j, -2*x = 10. Is -4*7/j*22030/(-1) prime?
False
Suppose -19*w + 9 = -16*w. Is (-1 + (w - 1))*(260 - 3) a composite number?
False
Let z(s) = s**3 + 26*s**2 - 217*s + 425. Is z(44) a composite number?
False
Suppose 5*l - 33*d = -34*d + 15230, -4*d = 4*l - 12168. Is l a composite number?
True
Let a be (-2)/(-10) - (-5 + 66/30). Suppose -12 = 3*v, -a*h - 3*v = -v - 1321. Suppose 6*b - h = 19. Is b composite?
True
Let h(j) = -j**3 + 12*j**2 + 9*j - 31. Let q be h(13). Let n = q - -83. Suppose -2 = -2*y, n = -3*w - y - 2*y + 1614. Is w prime?
False
Let p be (-90)/(-15) + -1 + 8240. Let y = p - 36. Is y composite?
False
Let d(f) = -f**3 + 5*f**2 + 10*f - 23. Let q be d(6). Is (24228/252)/(q/7) composite?
False
Let l = 355255 - 203366. Is l a composite number?
True
Suppose -50 = u + 4*u. Let o be 11/((-33)/u)*-807. Let k = 4573 + o. Is k prime?
False
Suppose -3*r = -o - 34, 4*r + 36 = 10*r. Suppose -4*q = -6*q + 10. Is o/(-20) + 10581/q a prime number?
False
Let t(s) = 16*s**2 - 5. Suppose 5*f = -54 - 21. Is t(f) a composite number?
True
Let s = 10307 - 1657. Suppose 4305 = 2*p - 5*m, 0 = -4*p + 3*m - m + s. Is p a prime number?
False
Let w(o) = -34*o - 13. Let s be w(2). Is ((-54)/s)/((-2)/(-2073)) composite?
False
Let g(x) = -x**2 - 23*x - 20. Let a be g(-18). Let s = -11 + a. Is s a composite number?
False
Let q = 36235 - -10572. Is q prime?
True
Let f be (-36 - -1) + 5/((-20)/16). Let v = 346 + f. Is v composite?
False
Suppose 48*p = -246*p - 96*p + 341742570. Is p prime?
True
Let i(d) = -d**3 - 10*d**2 - 3*d. Let m be i(-10). Let q = 6 + m. Suppose 0 = -o + 2*o + 3*h - q, o - 5*h = 76. Is o a prime number?
False
Let u = 6794 + -3977. Suppose -33*c + 5 = -34*c + 4*s, -3*s = c - 9. Suppose 2*q - u = -p - 2*p, -2*p + c*q + 1865 = 0. Is p a composite number?
False
Let h(v) = 172*v**3 + 3*v**2 + 3*v. Suppose -2*b = r + b + 5, 5*r = 2*b - 8. Let l be h(r). Let g = l - -3663. Is g a composite number?
False
Let x = 9 + -6. Let z be (1*(2 + (-14)/6))/(19/(-171)). Suppose y + 1338 = x*w + 447, -w + 289 = -z*y. Is w a composite number?
True
Suppose 104*j - 84122569 = -66*j + 21*j. Is j composite?
True
Suppose 2*v + 3*g - 26725 = 0, 0 = -5*v + 25*g - 21*g + 66847. Is v composite?
False
Let d(c) be the third derivative of 1/30*c**5 + 5/3*c**3 + 0*c + 10*c**2 + 0 - c**4. Is d(-12) composite?
True
Suppose -4*r - 7644 = -4*h, 8143 = -3*r + 2*h + 2409. Let u = 3261 + r. Is u a prime number?
False
Is 7 - (3 - -2250765)/(-12) composite?
True
Let d = -566943 + 1370498. Is d prime?
False
Suppose 2*x + 66 = -4*f, -5*x + 4*f - 15 = -4*x. Is 3 - (102/(-4))/(x/(-3384)) composite?
True
Let q(f) = 36*f + 15809. Is q(0) prime?
True
Is 379436750/3430 - (-4)/98 a composite number?
False
Is -1*(8 - 6)*4194387/(-18) composite?
False
Let k(x) = -x**3 + 13*x**2 + 14*x + 1. Let j be k(14). Let i be (19 - 41)/(j - (-18)/(-20)). Is (i/12 + 0)/((-1)/3) composite?
True
Let s be (244/(-36) - -7) + (-2)/9. Suppose 4*w + 7985 = m, 4*m + s*w - 32000 = -4*w. Is m composite?
True
Suppose 4*t + 28 = -3*l, 2*l - 12 + 28 = -4*t. Let j(y) be the first derivative of -y**4 - y**3/3 - 11*y**2/2 - 19*y - 1. Is j(l) a composite number?
True
Let p(n) be the first derivative of -n**3/3 + 11*n**2/2 - 28*n - 1. Let m be p(7). Suppose m = 2*y - 1584 - 6998. Is y composite?
True
Suppose 6 = 7*h - 2*h + 2*m, -2*h - 2 = 3*m. Is h/(-6) + 3/((-9)/(-40246)) a composite number?
True
Let l(a) = -9786*a + 7005. Is l(-42) a composite number?
True
Let y = -140305 - -272634. Is y a prime number?
True
Let r(y) = 25*y**2 + 6*y + 15. Let p(c) = 76*c**2 + 17*c + 47. Let d(u) = -2*p(u) + 7*r(u). Is d(6) a composite number?
False
Let a be 1/(-2*3/30). Let q(k) = -k - 1. Let t be q(a). Suppose 0 = -5*x - t*u + 4327, -5*u = -4*x - 10*u + 3467. Is x a prime number?
True
Suppose 0 = -5*y + 5*w + 135, 2*y = -5*w + 4*w + 63. Let x(h) = 6 + 8 - 65*h**3 - 4*h - y - 38*h**3. Is x(-3) composite?
False
Suppose 4*r - 5*w - 115 = -0*r, 118 = 4*r - 2*w. Let n = 15 - r. Let g(j) = -33*j + 26. Is g(n) a prime number?
True
Suppose -28*k = -15*k + 39. Let r(b) = 182*b**2 - 5*b - 7. Let n be r(k). Suppose -868 = -6*w + n. Is w a prime number?
True
Suppose -7*x = -5*x - 282. Suppose -158*p + x*p + 11203 = 0. Is p a composite number?
False
Let m = -484 - 143. Let z = 1255 + m. Let d = z - 405. Is d a composite number?
False
Let c = 24372 + -14683. Is c a composite number?
False
Is 28/(-7) + -18 - -723799 a composite number?
True
Let v(p) = -34*p + 54. Let u = 5 - -7. Let t(s) = -s**3 + 12*s**2 - 5*s