 Let m(q) = 4*q - q + 9 + 5*q. Is m(k) a composite number?
False
Let l = 468 + -160. Is l/3 + 2*(-4)/(-24) composite?
False
Suppose 0 = -4*r + 8, 0*v - 3*r - 74489 = -5*v. Is v a prime number?
False
Let a(o) = o**3 - 9*o**2 - 6*o - 1. Let u be a(8). Let i = 44 - u. Is i composite?
False
Let s(u) = -15*u**3 + 11*u**2 - 2*u + 9. Let k be s(-8). Suppose k - 1197 = 4*t. Suppose -5*v + t = 688. Is v a prime number?
True
Suppose 5*z + 3*r = 6*r + 34, 5*z - 37 = 4*r. Suppose 62 = z*a - 263. Is a composite?
True
Is -12 - -15 - (-83596)/(-2 + 4) a composite number?
False
Let u(y) = -3*y**3 + 21*y**2 + 6*y + 5. Let n(g) = 7*g**3 - 42*g**2 - 11*g - 9. Let k(s) = 2*n(s) + 5*u(s). Is k(12) prime?
True
Let x(j) = -1498*j - 1. Let z be x(-2). Suppose -4*k = -u + 733, 5*k - z = 3*u - 7*u. Is u a prime number?
False
Let l = -2871 - -1685. Let i = 2285 + l. Is i a prime number?
False
Let r(c) = 2*c - 6. Let q be (-266)/(-63) - 4/18. Let b be r(q). Suppose 2*f - 3*n = 26, -5*f = b*n - 6*n - 79. Is f composite?
False
Let g(h) = h**2 - 3*h + 1. Let d be g(7). Suppose 2 = -0*x + x - 2*j, 3*j + d = -5*x. Let m(n) = 15*n**2 - 2*n + 3. Is m(x) prime?
True
Suppose 5*h - 74615 = -j, 39*j + 14923 = h + 35*j. Is h prime?
True
Let l be 716/(-6)*(-16 + 1). Is l/12 + (-15)/90 prime?
True
Suppose 327 + 335 = h + 5*g, 2597 = 4*h + 3*g. Let y = -330 + h. Is y a composite number?
False
Let h(q) = -q**3 + 23*q**2 - 10 + 13*q + 1 - 33*q. Is h(22) prime?
False
Let q(u) = -u**2 - 23*u + 45. Let x(j) = -2*j**2 - 2*j + 5. Let s be x(3). Is q(s) a composite number?
True
Let x = 138 + -309. Let c = 1058 + x. Is c prime?
True
Suppose 64*z = 106*z - 219198. Is z prime?
False
Let d be 0*(-5)/(-10) + 3. Suppose -5552 = d*n - 11*n. Is n a composite number?
True
Let a = 38 - 24. Let x be (-24)/14 - 4/a. Is x/(-6) - (-2908)/6 a prime number?
False
Suppose 118*l - 117*l - 18479 = -3*w, -55381 = -3*l + 5*w. Is l a composite number?
True
Suppose 31*a - 52 = 258. Let q be (6/(-9))/((-2)/9). Suppose -a*z = -q*z - 1477. Is z prime?
True
Suppose 6*j = 5*j - 543. Let z = j - -1080. Is z a composite number?
True
Suppose -5*j + 20 = 115. Let b(t) = t**3 - 6*t**2 - 2*t + 6. Let u be b(6). Let n = u - j. Is n prime?
True
Suppose -3*j + 2 = -4. Suppose -2*o - j*r = -6, 3*o + 2*r - 5 = 3*r. Suppose 3*u - 43 = 4*x, -u + o*x = -18 + 3. Is u prime?
True
Let o be (-292)/7 + (-10)/35. Let u = o - -109. Is u prime?
True
Let p be (-1 + -1)*(-3)/(-6) - -1. Suppose -4*g - 31 + 867 = p. Is g a prime number?
False
Suppose 0 = d + 3*d + 32. Let u = 12 - d. Suppose -n = -13 - u. Is n composite?
True
Let i(a) = -6*a - 1. Let u(t) = -t - 1. Let m(f) = i(f) - 4*u(f). Let o be m(2). Is (o - (-6)/(-3)) + 37 a composite number?
True
Let j(y) = y + 16. Let i be j(-5). Let o(p) = p - 16. Let v be o(i). Is 7/2*(v - -15) a composite number?
True
Let c be 48/9 - 6/(-9). Suppose 15 = -n + c*n. Suppose 0 = -n*d + 1142 + 61. Is d composite?
False
Is ((-1757)/(-14))/((-1)/(-2)) composite?
False
Suppose 0 = 4*a - 11 - 1. Let b(x) = 3*x + 4*x + 5*x + 16*x + 7. Is b(a) composite?
True
Let f be 93*(2/6 + 0). Let y(w) = -31 + 34*w + f. Is y(1) a prime number?
False
Let n(f) = f**3 + 18*f**2 + 2*f + 11. Let z = -8 - -12. Let g be (-10)/(z + -4 - -1). Is n(g) prime?
False
Suppose 276735 = -513*b + 528*b. Is b composite?
True
Let g be ((-60)/(-24))/(-1 - 3/(-2)). Suppose 4*x = -g*b + 1964 + 1030, -x = -4*b - 759. Is x composite?
False
Let u(t) = -t**3 - 18*t**2 + 74*t - 10. Is u(-22) prime?
False
Let g be (85/68)/(1/(-58489 - -1)). Is (-3)/((-146202)/g + -2) composite?
True
Let d = -1 - 8. Let z(u) = -71*u + 2. Let f be z(14). Is (-3)/d - f/3 a composite number?
False
Let m be (448/12)/(-8)*327. Let n = m - -3349. Is n a prime number?
True
Suppose -9 = -2*t - 1. Let x be (-6)/t - 71/(-2). Is x + 1*(2 - 3) prime?
False
Let p(v) be the second derivative of v**4 + 5/2*v**2 + 0 - 1/2*v**3 + 3*v + 1/20*v**5. Is p(-11) a prime number?
False
Suppose -2*c - 435 = -i, 0 = -i + 5*i + c - 1704. Is i a composite number?
True
Let p be (1 - (-4)/(-3))*-24. Suppose -p*z + 3*z - 20 = 0. Is (28 - (z + 4)) + -3 a prime number?
False
Let t(s) = 87*s**2 + 11*s + 33. Is t(-5) prime?
True
Let g = 3116 - -3615. Is g composite?
True
Suppose -14*p = -16*p + 22. Let a = p - 1. Is a a prime number?
False
Let g(v) = 4*v - 6. Let j be g(-6). Let d be j/(-8) - 12/16. Suppose -9*k + 3*f = -4*k - 245, 133 = d*k + f. Is k a prime number?
False
Let q be 201/8 - 4/32. Suppose 4*u + 26 = 5*c, -5*u - 5*c = q + 30. Let p(s) = 4*s**2 - 3*s + 2. Is p(u) composite?
False
Let z(c) = 66*c - 1. Let b = -13 - -13. Suppose 4*s + b*t + 3*t - 11 = 0, 0 = -2*s + 5*t + 25. Is z(s) prime?
False
Suppose -4*z + 11 = -29. Let b be 670/15 + 0 - (-2)/6. Suppose -y = -j + 4*y + b, 5*y = -z. Is j composite?
True
Let c = 835 - -5620. Is c a composite number?
True
Let m(y) = 25*y - 32. Let b(l) = 2*l**2 - 17*l + 12. Let u be b(9). Is m(u) a composite number?
True
Let m be 1/4 - 429/(-44). Is (-4376)/(-40) + (-4)/m composite?
False
Suppose -62*v = -54*v - 314392. Is v a composite number?
True
Let l be 26/(-7) + (-8)/28. Is (98/l)/(-7)*466 a prime number?
False
Let l(v) = v. Let s be l(7). Let q(x) = -9*x**3 + 21*x**2 - 8*x + 29. Let r(j) = -4*j**3 + 11*j**2 - 4*j + 14. Let w(y) = s*r(y) - 3*q(y). Is w(12) prime?
True
Let t = 19 - 14. Suppose -3*r + t*w = -2*r - 388, 0 = -5*r + 4*w + 2045. Is r a composite number?
True
Let j(c) = -c**2 + 1. Let z(m) = -8*m**2 + 4*m - 17. Let o(p) = 3*j(p) - z(p). Is o(9) composite?
False
Let f = -1716 + 3605. Let u = f - 1012. Is u a composite number?
False
Suppose -2*z - 663 = -u - 4*z, u - 5*z - 684 = 0. Suppose 8*q - u = 971. Is q composite?
True
Suppose -3*q + 13 = -3*i + 2*i, 3*i + 4*q - 13 = 0. Is (-3 + (-213)/2)/(i/2) composite?
True
Let t(x) = -355*x + 7. Let w be t(-7). Let o(p) = 3*p**2 + 21*p + 2. Let n be o(-7). Suppose -n*l = 2*l - w. Is l prime?
False
Let h be (0 + -10 - 0) + 3. Let q(l) = l + 6. Let r be q(h). Is r/((-3)/1437 - 0) prime?
True
Let j = 5708 + 1907. Is j composite?
True
Suppose 15894 = 9*o - 3*o. Suppose 4*q - o = 3267. Suppose l + 2*h = 3*h + q, 3*l = -5*h + 4453. Is l a prime number?
True
Suppose u + 0*j - 6 = 4*j, 0 = -2*u + 3*j + 7. Suppose -u*v + s + 75 = 0, 3*s = 5*v - v - 147. Is v composite?
True
Let s(l) = 73*l**2 - 5*l + 1. Is s(5) prime?
True
Let f = 27775 + -19404. Is f composite?
True
Is 3*(0/(-3) - (-4191)/9) composite?
True
Let w be (2 - 1)/(1/1498). Let p be ((-7)/(-2) - 3)*w. Let k = p - 360. Is k composite?
False
Let j(n) = -30*n + 4. Let t be j(-3). Suppose 2 = z - t. Let l = z + 1. Is l a prime number?
True
Let c = -19874 + 27852. Is c a prime number?
False
Suppose -21*u + 20562 = -15*u. Is u prime?
False
Let g = -1152 + 2081. Is g a composite number?
False
Suppose 13*v - 14881 = 1213. Suppose 0 = g + 5*h + 243 - v, 0 = -4*g - h + 3980. Is g prime?
False
Suppose -75*s = -71*s - 3*y - 10219, 0 = s - 4*y - 2571. Is s a prime number?
True
Let q(o) = -o**3 - 5*o**2 - 5*o - 1. Let a be q(-4). Suppose -2*j = -a*j + 651. Suppose 3*u - 2*u = -5*w + j, 3*u = 3*w - 405. Is w a prime number?
True
Suppose -9*w + 89195 = 12686. Is w a prime number?
True
Let g(j) = 5*j**3 - 12*j**2 - 5*j - 3. Let x(h) = -h**3 + h**2 + h + 1. Let w(s) = g(s) + 6*x(s). Is w(-8) prime?
False
Let n be 2/1 + (1 - 0/3). Suppose p - 3*v = 847, -n*p + 845 = -2*p - 2*v. Is p prime?
False
Let c = -85 + 119. Suppose 89 + c = -3*w. Is (w/(-3))/(1/15) prime?
False
Suppose -2279541 = -12*c - 21*c. Is c a prime number?
False
Suppose 0 = -4*s + 5 + 7, -5*s + 59 = 2*x. Suppose -3*y = -m - 198, 3*y - 120 - 63 = -4*m. Suppose -y - x = -d. Is d prime?
False
Let x be (28/12 + -2)*0. Suppose 4*w - 48 = -0*y + 4*y, -4*w - 3*y + 83 = 0. Suppose x = i - 14 - w. Is i a composite number?
False
Suppose 0 = 5*z - 23*a + 26*a - 72436, 15 = -5*a. Is z composite?
False
Suppose 15 = -0*x + 3*x. Suppose 4*j + j = x. Suppose 2*y - 234 = 3*i, 15 = -4*i - j. Is y a prime number?
False
Suppose -41*u + 44*u - 19401 = 0. Is u a composite number?
True
Let t(g) = -3*g**2 - 16*g - 10. Let i(v) = 10*v**2 + 48*v + 29. Let z(s) = 2*i(s) + 7*t(s). Let h be z(-12). Is (2616/h)/((-2)/(-9)) a prime number?
False
Suppose 0 = -2*q + 3505 + 23695. Suppose 2*v - o = -v + q, 5*o = v - 4510. Is v prime