u a prime number?
False
Let o(g) = -126*g**2 + g - 1. Let n(c) = c**2 - c - 1. Let l(u) = 60*u**2 + 2*u + 3. Let r(k) = l(k) + 3*n(k). Let h(d) = 3*o(d) + 7*r(d). Is h(-2) composite?
False
Suppose 0*w + 587 = -w. Let r = -47 - 283. Let a = r - w. Is a composite?
False
Suppose -a = -3*a. Suppose -91 = x - a*x. Let f = x - -212. Is f composite?
True
Let m(y) = -y - 11. Let a be m(0). Let b be 120/55 + 2/a. Suppose b*s - 3*s + 4*d = -203, -3*s + 3*d = -582. Is s a composite number?
False
Let t(z) = -z**3 - z + 1. Let i(j) = -3*j**3 - 6*j**2 - 9*j. Let a(o) = -i(o) + 4*t(o). Suppose -2*y = 2*y - 24. Is a(y) prime?
False
Suppose 3*y + 5*c - 7 = 0, 20 = -y + 5*y + 4*c. Suppose -7*q + y*q = 1486. Is q composite?
False
Is ((-4)/(-6) + (-4213)/33)*-5 composite?
True
Let i = 1048 - 639. Is i prime?
True
Suppose x + x - 5*q = -20, -5*q + 15 = -x. Let c(w) = -66*w + 5. Let t be c(x). Suppose 3*y - t + 98 = 4*o, -12 = -4*o. Is y a composite number?
False
Let d(s) = 4*s**2. Let g be d(-1). Let t(a) = 81*a - 17. Is t(g) a composite number?
False
Let m be (-5)/4*(-5 + 1). Let a = -187 + 190. Suppose -a*j + m*j - 22 = 0. Is j composite?
False
Suppose -2*g - 329 = -c - 40, 287 = c - g. Let z = 252 + c. Is z a prime number?
False
Suppose 0*u + 4*u + 284 = 0. Is (-4 + 2 + 1)*u prime?
True
Suppose 12*t + 18 = 6. Let n be (-2)/8 - 14/8. Is (-646)/n - (3 + t) prime?
False
Suppose 30 = 12*q - 7*q. Let p(y) = 140*y**2 + 2*y - 13. Is p(q) a composite number?
False
Let d(p) = p**3 - 4*p**2 - 4*p - 5. Let z be d(5). Suppose -4*r - m + 374 = 4*m, z = -3*m + 6. Is r prime?
False
Let d(t) = 1650*t - 481. Is d(5) prime?
False
Is (-300)/(-240) + (-575415)/(-4) composite?
True
Suppose 2*z = p + 2*p + 41, -2*z + 2*p + 44 = 0. Suppose -2*b - z = -3*b. Is ((-6)/10)/((-1)/b) composite?
True
Let g = 491 - 165. Is g prime?
False
Let c(j) = 412*j**2 + 10*j. Let u be c(-3). Suppose 112*m - 114*m = -u. Is m composite?
True
Let l(f) = -1361*f**3 + f**2 + f. Suppose -4 - 24 = -4*z. Suppose -i = 5*u + z, 5*u + 5*i = 2*i - 11. Is l(u) composite?
False
Let o(y) be the second derivative of 24*y**3 + 13*y**2/2 + 5*y. Is o(6) prime?
True
Let y(q) = 19*q**2 - q + 7. Let m(u) = u - 4. Let r be m(8). Is y(r) prime?
True
Suppose 68544 = 15*w - 8361. Is w a composite number?
True
Is ((-2)/2)/(5/(-3985)) composite?
False
Let b(i) = 2432*i - 35. Is b(3) a prime number?
False
Let s(l) = -8*l - 7 + 5*l**2 + 3 - 6*l**2. Let v be s(-7). Suppose -v*k + 59 = c + k, -5*k = c - 54. Is c a composite number?
False
Suppose 0 = -3*t + u + 2001 + 1291, -5*u = -25. Suppose 4*j + 5*f = 4837 - t, -1884 = -2*j + 5*f. Is j a composite number?
False
Suppose -h + 5*h - 20 = 0. Is 587 + 2*h/(-10) composite?
True
Is (-3)/18*6*71458/(-1) a prime number?
False
Let w(q) = 2*q**2 + 2*q - 2. Let a be w(-2). Suppose 0 = a*l - 561 - 685. Is l composite?
True
Let b(k) = k. Let u(z) = -2*z - 8. Let o = 7 + -2. Let d(q) = o*b(q) + u(q). Is d(6) composite?
True
Suppose -h = 3*n + 877, 0 = -3*n + 2*h - 6*h - 871. Let y = n - -426. Is y a prime number?
False
Let f(v) = 269*v + 1 + 163*v - 4 + 0*v. Is f(5) prime?
False
Let v be ((-2)/4)/(2/(-924)). Suppose -2*i = -5*h - 995, 4*i - 3*h = 1743 + 226. Let n = i - v. Is n composite?
True
Let m be (-4)/18 - (-187)/(-9). Let j = m + 21. Suppose j = -4*y - 3*b + 27 + 13, 0 = -4*b - 16. Is y a prime number?
True
Let g(d) = -3*d - 14. Let q(c) = -374 - 160*c + 108 + 104*c. Let k(o) = 77*g(o) - 4*q(o). Is k(-5) composite?
True
Let j(c) = c**3 - 7*c**2 + 2. Let d be j(7). Suppose 17 = u + 3*g, -3*g + 21 = d*u + u. Is u/16 - 17775/(-72) prime?
False
Let b(o) = -o**3 + 5*o**2 - 5*o. Let g be b(5). Let u = -70 - g. Let a = u + 136. Is a a prime number?
False
Suppose -3*m - 48 = 5*m. Let p be (1 - 1) + (-4 - m). Is (39/p)/(19/38) a composite number?
True
Suppose 4*c = -c + 10. Suppose -v - p + 450 = 0, 1807 = 2*v + c*v - 3*p. Is v a prime number?
False
Let g(w) = 211*w**2 - 2*w. Is g(3) a composite number?
True
Suppose 0 = 3*i + 14 - 20. Suppose -i*w + 1268 = 2*w. Is w composite?
False
Let u = 473 + 698. Is u prime?
True
Suppose 4*k + 419 = 367. Let h(z) = -2*z**3 + 14*z**2 - 14*z + 14. Let f(o) = -5*o**3 + 41*o**2 - 42*o + 41. Let j(n) = -3*f(n) + 8*h(n). Is j(k) composite?
True
Let g = 1171 + -424. Suppose g - 157 = 2*j. Is j a prime number?
False
Let k = 4028 - 2175. Is k prime?
False
Let a(f) = f + 4. Let v be a(-2). Let w(l) = 331*l - 3. Let m(n) = -664*n + 6. Let r(o) = 3*m(o) + 7*w(o). Is r(v) composite?
False
Suppose 0 = 3*w - 3*z - 6, -4*w - 2*z - z = -29. Let l(m) be the third derivative of m**5/60 + m**4/24 + 7*m**3/6 - m**2. Is l(w) prime?
True
Suppose 2*g - 1849 = -7*y + 6*y, -3*g + 7391 = 4*y. Is y prime?
True
Let a(u) = -1950*u + 21. Let d be a(-3). Let p = d + -3940. Is p a composite number?
False
Let i(v) = -v - 5. Let s be i(-8). Suppose 5*p - 3*h = 29, 4*h + s = p - 13. Suppose 0 = p*y - 491 - 153. Is y composite?
True
Let r(n) = 7*n - 2. Let h be r(1). Suppose -5*i = -2*w + 5 + 1, w = h*i + 8. Is i/(3/78*-4) composite?
False
Let y(u) = -u**3 - 6*u**2 - 6*u - 2. Let o be y(-5). Suppose -18 = o*k - 6*k. Is 5/15 - (-8164)/k a composite number?
False
Let h(m) = 17*m - 5. Let f be h(2). Let u = f - 17. Let g(y) = y**2 + 15*y - 17. Is g(u) a composite number?
False
Suppose 0 = w - 4*z - 404, -w + 5*z - 3*z + 398 = 0. Suppose -4*y - 4*y = -w. Is y prime?
False
Let d = -12834 - -19221. Is d a prime number?
False
Suppose -5*g - 16 = 2*w, 5*g + 12 = -0*g - 4*w. Let p = g + 8. Suppose -4*v = -3*c - 1797, p*v + c - 6*c - 1803 = 0. Is v composite?
True
Let y(t) = 2*t - 7. Let k be y(7). Let o(s) = 181*s - 8. Is o(k) prime?
True
Let z(y) be the first derivative of 3*y**3 + 5*y**2/2 - 5*y + 1. Let g = -192 - -196. Is z(g) a prime number?
False
Let k(q) be the first derivative of 594*q**2 - 15*q - 26. Is k(2) prime?
False
Let z(c) = -c - 1. Let q(p) = -35*p**2 - 2*p - 2. Let x(r) = -q(r) + 5*z(r). Is x(-2) composite?
True
Suppose -49*i + 52*i - 8355 = 0. Is i a prime number?
False
Let p(c) = c**3 + c**2 - 3*c - 2. Let h be p(3). Suppose 140 = -4*m + 5*w, h + 10 = -m + 4*w. Let o = m + 86. Is o a prime number?
False
Let k(o) = 493*o**3 + o**2 + 3*o - 5. Is k(2) composite?
True
Let k = 20 + -16. Let l be -1902*1/((-3)/k). Suppose 4*j = -0*s + 3*s + l, 0 = s + 4. Is j a prime number?
True
Suppose 0 = -0*t + 13*t - 227747. Is t a composite number?
False
Let v(q) = 24320*q**2 - 4*q - 2. Let j be v(-1). Let b = j + -13427. Is b composite?
True
Let l(t) = 113*t**3 + 2*t**2 - 2*t - 1. Is l(2) composite?
False
Let g(h) = -2*h**3 - 37*h**2 - 20*h - 227. Is g(-34) a prime number?
False
Let p be 84/126 + 3227/(-3). Let g = p + 7612. Is g composite?
True
Suppose -4*d + 20 = -3*w + 1, 3*d = 2*w + 15. Let s(g) = -g + 13. Let b be s(d). Is (2/b)/((-5)/(-10185)) composite?
True
Let z = -359 + 774. Is z a prime number?
False
Let j(y) = 110*y**3 + 2*y**2 - 10*y + 19. Is j(3) a prime number?
False
Suppose 0 = 3*i - 70 - 23. Let g be (47 - 1)/(2/i). Let l = -334 + g. Is l prime?
True
Suppose 4*w - 11281 - 142803 = 0. Is w prime?
False
Suppose -k - b + 121 = -2*b, -3*k - 3*b = -363. Let y = 151 - 104. Let h = k - y. Is h composite?
True
Let y(i) = i**2 + 7*i - 9. Let p be y(-6). Let v(m) = m**2 + 4*m + 4. Is v(p) composite?
True
Let l(v) be the third derivative of 5*v**4/8 - v**3 + 14*v**2. Is l(3) composite?
True
Let y = -353 + 1168. Suppose 2*m = y + 1175. Is m a composite number?
True
Let i = 42178 - 28985. Is i composite?
True
Let b = -1446 + 2340. Suppose b + 2476 = 2*q. Is q prime?
False
Suppose -2*u + 870 = -5*a, 3*a + 351 = -4*u - 197. Let x = a + 703. Is x a composite number?
True
Suppose t + 4*t = -20. Is (-171)/(-12) + 1/t composite?
True
Suppose 11 + 14 = w. Is (33 + 4)*(w + 4/(-2)) prime?
False
Let n = 303884 + -164295. Is n composite?
False
Let w(a) = -2*a**2 - 26*a + 4. Let j be w(-13). Suppose o = 3*c + 53, 3*o - 15 = -j*c + 170. Is o prime?
True
Let x = -22 - -10. Is 916/10*(-7 - x) a composite number?
True
Suppose 14750 = -4*w - w. Let m = 2302 - w. Suppose -4*c + m = 1216. Is c composite?
False
Suppose 3*y + 6885 = 3*s, -4*s = -5*s - 5*y + 2313. Let i = -1039 + s. Is i a composite number?
False
Suppose 0*x - 26072 = -8*x. Is x composite?
False
Suppose -33 = -3*q - 9. Is 3410/q - (-9)/12 prime?
