3, -5*u = -u - 2*r. Is (-266)/(-4) + u/(-2) a prime number?
True
Is 482/3 - 8/(-24) composite?
True
Suppose -5*k + 20 = -25. Is k composite?
True
Let d(z) = -z**3 + 2*z**2 + 4*z - 3. Let f be d(3). Let m(a) = -a**2 + 295. Let q be m(f). Let w = q - 162. Is w prime?
False
Let s(i) = i + 7. Let v be s(-5). Suppose 38 = v*m - 38. Suppose -4*k - 4*o + 30 = -3*k, -2*k + 3*o + m = 0. Is k composite?
True
Let x(s) = 6*s**2 + 6*s + 5. Is x(-6) prime?
False
Suppose 2*p - w = -0*w + 751, 3*p + 5*w = 1094. Is p composite?
False
Let v(f) = 2*f + 5. Let n(m) = -2*m - 5. Let t(s) = 5*n(s) + 6*v(s). Is t(4) prime?
True
Let k = 57 + -31. Is k prime?
False
Suppose -2*i - 64 = -20. Let x = i + 37. Is x a composite number?
True
Let m = -14 - -7. Let z = m + 12. Suppose 2*s - 43 = -z. Is s prime?
True
Suppose -4*b = -0*h - 4*h + 516, -3*b - 516 = -4*h. Is h a prime number?
False
Let v be (-4 - 0)/4*0. Suppose 4*w - n - 29 - 59 = v, 2*w + 3*n = 58. Is w composite?
False
Let h = -451 - -1014. Is h prime?
True
Let m be (-206)/((-3)/6*2). Suppose -4*b = u - 87, -3*u - b = -0*b - m. Is u prime?
True
Let s(w) = w**2 + 2*w - 5. Let r be s(-4). Let h(a) = -r + 1 + 37*a + 2. Is h(1) composite?
False
Suppose 0 = -2*r + 5 + 5, 0 = 2*k - 5*r + 21. Suppose 0*m - 322 = -k*m. Is m prime?
False
Let v(j) = 2*j**2 + 2*j + 7. Let o(l) = -2*l**2 - 3*l - 6. Let s(q) = -4*o(q) - 3*v(q). Is s(5) composite?
False
Let a(g) = -g**2 - 6*g + 5. Let n be a(-6). Suppose n*o - 25 = 15. Let w = o + 1. Is w a prime number?
False
Let s(z) = z + 5. Let j be s(-6). Let h(b) = -4*b**3 - 2*b**2 - b. Let p be h(j). Suppose -o - o + 3*v + 28 = 0, 27 = 3*o + p*v. Is o composite?
False
Is (-409)/(-3*3/45) a prime number?
False
Let s be (-1)/2*1*0. Suppose 4*g + 5*n = 1467 + 326, 2*g - n - 893 = s. Is g a prime number?
False
Let i = 63 + -136. Let r = -47 - i. Suppose -9 = -j + r. Is j composite?
True
Suppose -2*l = -3*l - n - 2, 0 = 4*n + 20. Is (-1)/3*(-783)/l composite?
True
Let h = -7 - -9. Suppose -y + n = -2*n - 13, -104 = -5*y + h*n. Is y composite?
True
Suppose 5*c - 2059 = -2*f, -2*c + f - 4*f = -828. Is c a composite number?
True
Suppose 130 = -5*x - 105. Let l = x + 82. Is l a prime number?
False
Let h = 8 + -7. Let p be (h/2)/(2/(-92)). Is 2 - (0/(-1) + p) composite?
True
Let i(w) = 15*w + 10. Is i(9) prime?
False
Suppose 0 = -2*o + 2*l + 2516, -2*l + l = 4*o - 5037. Is o a prime number?
True
Let t(s) = 94*s**3 + s**2 + 3*s + 1. Is t(2) prime?
False
Suppose -b = -6*b - 2*l + 1161, -3*b = -l - 701. Is b prime?
True
Suppose -4*m + 2888 - 240 = 0. Is m composite?
True
Suppose -m + 2*m + 140 = 0. Let w = 251 + m. Is w composite?
True
Let w(n) = n**3 - n**2 + 5*n - 2. Is w(5) a prime number?
False
Let b(d) = -7*d**3 + d**2 - d + 1. Let l be b(1). Is (8 - 1)/((-3)/l) a prime number?
False
Let r(l) = 14*l**2 - 5*l - 1. Let j(u) = -u**3 - 7*u**2 - u - 3. Let t be j(-7). Is r(t) a composite number?
True
Let w(h) = 2*h**2 - 4*h + 3. Let g be w(2). Suppose -39 = g*j - 462. Is j a prime number?
False
Let l = 0 - 29. Let j = 144 + l. Is j prime?
False
Let r = -18 - -13. Let g(p) be the first derivative of -22*p**2 - 3*p - 1. Is g(r) prime?
False
Let a = -33 + 88. Let l = a + -92. Is -4 + (0 - -2) - l composite?
True
Let v(n) = -n**3 - 5*n**2 + 4*n - 7. Let p be v(-6). Let q = -6 + p. Is 0 + q/1*-79 composite?
False
Let x = 5 - 11. Let l = 9 + x. Suppose -6*c = 3*n - l*c - 216, -4*n + 4*c = -328. Is n a composite number?
True
Let h be (20/(-6))/((-4)/6). Suppose -2*z + 18 = -z + h*g, -z + 5*g = 12. Let p = z + 0. Is p a prime number?
True
Let a = -49 - -116. Is a a composite number?
False
Let f be 5/(-30) - 38/(-12). Is 93 + (-2)/f*3 a composite number?
True
Let g(f) = -18*f**3 - 2*f**2 + 1. Let h be g(-1). Suppose i + 10 = 4*d + d, -3*i - h = -2*d. Is 30 - d*(-1 + 0) a prime number?
True
Let j(n) be the first derivative of 2*n**4/3 - n**3/3 - n**2/2 + 2*n - 1. Let y(t) be the first derivative of j(t). Is y(-3) a composite number?
True
Let u be ((-6)/5)/(6/(-40)). Let a be u/(-6)*(0 - 3). Suppose -15 = 3*b - a*b. Is b prime?
False
Let k(a) = -12*a - 5. Is k(-5) a composite number?
True
Let d be (-4)/(-18) + (-1025)/(-45). Suppose o - d = 90. Is o a composite number?
False
Suppose -635 = 3*q - 8*q. Is q prime?
True
Let i(c) = 17*c + 7. Let q be i(14). Suppose q = 4*u - 63. Is u prime?
False
Suppose 3*v + 3*u + 365 = 5*v, 0 = -4*u - 20. Suppose 0 = -5*a + v + 100. Is a a prime number?
False
Let y = -607 + 1194. Is y composite?
False
Suppose y - 2*y = 3*n - 64, 2*n - 39 = 3*y. Is n prime?
False
Suppose 8*a - 4*a = 0. Let n(d) = -3*d + 25 + 2*d + d**3 + 2*d + d**2. Is n(a) prime?
False
Let u = -1383 - -2482. Suppose 590 = n - 3*f - 513, u = n - 5*f. Is n a prime number?
True
Suppose 13*p + p - 6874 = 0. Is p prime?
True
Let d(p) = -p**2 - 11*p - 6. Let r be d(-6). Suppose 4 = -4*g - r. Is 1065/21 + (-2)/g a composite number?
True
Let m = -9 + 14. Suppose 0 = -5*b - m*q + 825, 4*b = -b + 2*q + 853. Is b a prime number?
False
Let f(g) = -g**3 + 2*g**2 - 3*g + 1. Let u be f(2). Let a be 60/u*77/(-3). Let o = a + -211. Is o a prime number?
True
Is 0 - -97 - (-1 + 4) prime?
False
Let o(t) = t**2 - 6*t + 3. Let x be o(6). Let d(m) = 9*m + x - 23*m - 18*m. Is d(-5) prime?
True
Suppose -c + 12 = 2*x + c, 3*c = 4*x - 3. Suppose -x*q + 4 = q. Is (-1 - -8) + (-1)/q a composite number?
True
Suppose 2*v - 2*s - 115 = 79, 0 = 5*v - 3*s - 479. Suppose b = 3*b - 2*d - v, -b - 3*d + 47 = 0. Is b a prime number?
True
Let k = -96 - -241. Is k a composite number?
True
Is 4/(-6)*-1*201 composite?
True
Suppose 0 = -5*g + 20 + 255. Is g a prime number?
False
Suppose -3*l - 4*d = -1987, 2*l - 3*d + d = 1348. Is l composite?
True
Suppose 0*d + 3*a = d - 173, 0 = 4*a + 20. Let l = d - 58. Suppose -5*n + 25 = -l. Is n composite?
True
Suppose -2361 = g - 4*g. Is g a prime number?
True
Let l(v) = -9*v**3 - 8*v**2 - 13*v - 1. Is l(-6) a prime number?
True
Suppose 2*l - 21 = 3*i - 4, -18 = 2*l + 4*i. Let r(n) = -l + 5 - 2 + 2*n + 5*n**2. Is r(3) a prime number?
True
Let a(t) = t**3 - 5*t**2 + 3*t + 3. Let q be a(4). Let f(z) = -z + 1. Let b be f(2). Is 23 + (q - b) + -2 composite?
True
Suppose -2*o + 433 = -u, -5*o - 4*u + 1085 = -6*u. Is o a prime number?
False
Suppose -5*y - y = -4038. Is y a prime number?
True
Let g(a) be the first derivative of a**4/4 - 2*a**3 + 5*a**2/2 - 5*a + 1. Let d be g(6). Let k = d + -10. Is k a prime number?
False
Let u be (-6)/(-4) + (-70)/(-20). Suppose -4*q - 2*d + 130 = 0, -2*q - 100 = -u*q + d. Is q a prime number?
False
Let f(p) = 11*p**2 + 8 - 8 - 5 + 3*p. Let a be 2/(2/(-12)*2). Is f(a) prime?
True
Suppose s - 1 = 2*s. Let a be (93 - (-1 + 3))*s. Let k = 158 + a. Is k prime?
True
Let n(g) = g**2 - g + 2. Suppose -13 - 2 = 3*k + 3*h, -3*k - 2*h = 10. Let q be n(k). Let i(t) = 8*t**3 - 3*t**2 + 2*t - 3. Is i(q) a composite number?
False
Let w = 53 - 22. Suppose 0 = -i - 5*t + w + 288, -5*i - t = -1595. Is i a prime number?
False
Suppose m + 24 = -m. Let f = m - -69. Is f composite?
True
Suppose s - 92 = -s. Suppose z + 0*z = -s. Let b = z + 80. Is b prime?
False
Let d(j) = -j - 1. Let r be d(2). Let o(q) = 25*q - 5. Let k(v) = 13*v - 2. Let i(w) = -9*k(w) + 4*o(w). Is i(r) a prime number?
False
Suppose -5*n = -3*f - 2*f - 795, 0 = -n - 3*f + 179. Let v = n - 35. Is v a prime number?
False
Let b(v) = v**3 - 8*v**2 - 9*v + 2. Let r be b(9). Suppose -3*a = -r*a - 35. Is a a composite number?
True
Let a(k) = -17*k - 13. Is a(-10) composite?
False
Suppose 357 = 5*w + 7. Let i = 2 + -2. Suppose 2*k + 3*k - w = i. Is k a prime number?
False
Let v be (-23)/5 - 4/10. Let z = v + 10. Suppose -5*r - 5*i - 342 + 922 = 0, -z*i + 104 = r. Is r a prime number?
False
Let n = -216 + 655. Is n a composite number?
False
Suppose -4*a + 6 = -a. Suppose -3*s + 76 = -a*m - 153, 4*s - 308 = 2*m. Is s composite?
False
Let r = 11 - 19. Suppose 2*p - 24 - 30 = -2*l, 2*p - 10 = 0. Let a = l + r. Is a prime?
False
Let c(j) = -12*j + 60*j + 21*j - 5 - 5*j. Is c(4) composite?
False
Let i be (-1 + 138/(-1))/1. Let x = -5 - 52. Let n = x - i. Is n composite?
True
Let f(b) = -863*b**3 + 2*b + 2. Is f(-1) a prime number?
True
Let p(d) = 40*d + 5. Let n(c) = -13*c - 2. Let s(x) = 11*n(x) + 4*p(x). Let o be s(3). Suppose 3*i = -10 + o. I