. Suppose -5*d - h*m = -65, 4*m - 3*m = -2*d + 26. Is d prime?
True
Let u(c) be the third derivative of c**5/60 - c**4/4 - 2*c**3/3 + 2*c**2. Let q = 16 - 23. Is u(q) composite?
True
Let p(y) be the third derivative of y**5/30 - y**4/8 + 5*y**3/2 + 4*y**2. Is p(10) prime?
False
Suppose 3*i + p = 2031, -i + 0*i = -4*p - 677. Is i a composite number?
False
Suppose 0 = -5*j + 3*m + 30, -j = 2*j + 2*m + 1. Let n(b) = 11*b**2 - 2*b - 4. Is n(j) a composite number?
False
Let x be (-6)/(-15) - (-13)/5. Suppose -x*b = -r - 10, 2*r - 19 + 3 = -3*b. Suppose -51 = -3*u - 5*d, -3*u - 5*d - 37 = -b*u. Is u prime?
False
Suppose -525 = -4*b - b. Suppose 2*u = -2*f + 40, 0*f - 4*u + b = 5*f. Is f a prime number?
False
Let g = -2476 - -3591. Is g prime?
False
Let n be 204/(-10) + (-24)/(-60). Let d = n - -26. Is d composite?
True
Let w(g) = g. Let n be w(6). Let i = -14 + n. Let y(o) = o**2 + 8*o + 7. Is y(i) a prime number?
True
Let d(f) = -3*f**3 + 4*f**2 - 6*f - 20. Is d(-7) a composite number?
True
Let h be ((-12)/10)/(6/(-20)). Suppose -h*a + 9 = 1709. Is a/(-20) + 2/(-8) composite?
True
Suppose 5*c = -0*c + 4*z + 2219, -5*c = -3*z - 2223. Is (-3)/(18/c)*-2 prime?
True
Suppose -2*p - c + 16 = 1, 5*p - 3*c - 10 = 0. Suppose -5*g - 5*k = 0, 9 + 41 = 5*g - p*k. Suppose 22 - 128 = -2*t - g*i, 0 = -i. Is t prime?
True
Suppose 2*d - 4*c + 132 = 0, 3*d + 5*c = 4*d + 60. Let q = 197 + d. Is q composite?
False
Let h = -3254 + 2279. Is h/(-9) - 6/(-9) prime?
True
Let g = 669 - 154. Is g a composite number?
True
Let f(t) be the second derivative of t**4/12 + 51*t**2/2 + t. Is f(0) a prime number?
False
Let i = 381 + -224. Is i a composite number?
False
Suppose 0*x = -3*x - 33. Let l = 39 - x. Suppose 5*d + l + 46 = a, 3*d = -2*a + 179. Is a composite?
True
Suppose g = 3*b - 10 - 0, 4 = 4*g - b. Let t = -11 + g. Let w(a) = a**2 + 8*a + 12. Is w(t) a composite number?
True
Suppose 7*x = 1220 + 1013. Is x a composite number?
True
Let q = 155 + -96. Is q a prime number?
True
Suppose -8 = 5*i - i. Let s = 0 - i. Suppose 2*p - 212 = -s*p. Is p composite?
False
Let j be 0 + 2 + (-366)/(-2). Suppose 2*r = -3*r + j. Suppose -b + r = -120. Is b a composite number?
False
Suppose 3*h - 1964 = 2719. Is h prime?
False
Suppose -1332 = 8*j - 4*j. Let l = 664 + j. Is l a prime number?
True
Is (-42)/8*2*16914/(-9) prime?
False
Is -2*1868/8*-1 a composite number?
False
Is (-2)/3 + 28341/27 a composite number?
False
Let u(k) = 5*k**3 + k**2 - 5*k - 2. Let v be u(5). Suppose 3*g - v = -5*l, -3*l = g - 407 + 30. Is l prime?
True
Suppose z - 767 - 462 = 0. Is z composite?
False
Suppose 2*q + 2 = 2*u, u = -u + 5*q - 7. Let k(x) = x + 10. Let z be k(-7). Is (2/z)/(u/858) prime?
False
Let j(n) = -68*n - 59. Is j(-18) a composite number?
True
Suppose -13*v = -9*v - 716. Is v a composite number?
False
Suppose h - 4*b = 47, -h + 2*b - 6*b + 23 = 0. Is h a composite number?
True
Let k(g) = -107*g - 27. Is k(-14) prime?
True
Let h(a) = 2*a**2 - 4*a - 1. Let b be h(3). Is (4300/8)/b*2 a composite number?
True
Suppose 0 = 6*b - b - 745. Is b composite?
False
Suppose -5*v - 490 = -0*v. Let k = v + 137. Is k a composite number?
True
Let f(h) = -428*h - 14. Is f(-2) prime?
False
Let s = -80 + 167. Is s composite?
True
Let j(b) = -b - 1. Let k be j(-4). Suppose 0 = k*w - 3*y + 165, 18 = -w + 3*y - 35. Let i = w - -93. Is i composite?
False
Suppose 0 = -18*h + 11*h + 19327. Is h a prime number?
False
Suppose 0 = -9*g + 13*g - 1196. Is g composite?
True
Let u(q) = -q**2 - q + 1. Let o(c) = -5*c**3 - 2*c**2 + c + 5. Let p(l) = o(l) - 2*u(l). Let m(f) = -f**3 + 5*f**2 - 4*f - 2. Let n be m(4). Is p(n) prime?
True
Suppose 274 + 203 = 3*y. Suppose c - 74 = y. Is c a prime number?
True
Suppose 4*z + 316 = 6*z. Is z/8 - 18/24 composite?
False
Let o(t) = -5*t**2 - 11*t + 12. Let h(l) = -l**2 + 1. Let q(s) = 6*h(s) - o(s). Is q(7) a prime number?
False
Suppose 0 = 6*q - 3*q - 651. Is q a composite number?
True
Let d be 6/(-8) - 114/(-24). Let t be (-2)/(-2) + -3 + d. Is (3 - (-14 - 0)) + t a composite number?
False
Suppose -3*o + 0*o = 0. Let b(v) = -v**3 + 2*v + 365. Is b(o) composite?
True
Suppose -z = -t + z + 93, 0 = 4*z + 16. Suppose -m + 0*m = -t. Is m composite?
True
Let b(v) = v**2 - v. Let s(a) = -a**3 - 4*a**2 - 4*a. Let r be s(-3). Let x be b(r). Suppose -i = -x*i + 3*m + 56, -i = -2*m - 7. Is i prime?
True
Suppose 5*k - 4*n - 47 = 11, 20 = 3*k + 5*n. Suppose -k*s = -9*s - 226. Is s prime?
False
Let u be (-3)/(-5) + (-24)/(-10). Let m(h) = 46*h - 7. Is m(u) a prime number?
True
Let s = 257 - 96. Is s prime?
False
Let m = 358 - 179. Is m prime?
True
Suppose -14 = 4*q + 142. Is q/2*(4 + -6) a prime number?
False
Let r = 249 + -468. Let k = 362 + r. Is k composite?
True
Let p(h) = -h + 4. Let f be p(5). Is f/(2*2/(-148)) a prime number?
True
Suppose 0 = -3*u - 0*u + 6. Suppose -7*t = -2*t, t = -u*c + 76. Is c a composite number?
True
Let x = -6 - -8. Suppose -u + 293 = -x*a, 802 = 3*u + a - 77. Is u a composite number?
False
Suppose 0*v = -v + 179. Is v prime?
True
Let i = 1673 - 904. Is i a composite number?
False
Let t(g) = -458*g - 26. Is t(-6) prime?
False
Is ((-2)/4)/((6 + -8)/892) prime?
True
Let x = -18 + 205. Is x prime?
False
Let b(d) be the second derivative of -d**5/10 - d**4/6 + 2*d**3/3 + 5*d**2/2 + 11*d. Let o(t) = -t**3 + t**2 + 4*t + 1. Let w be o(3). Is b(w) composite?
True
Let n be 1/1 - (-1)/1. Let k = 1 - n. Is (0 - k)*(-5 + 40) a composite number?
True
Let i be -1 + 2 + -2 - -3. Is (-2)/(i/(-3))*7 a prime number?
False
Let p(b) = 4*b**2 - 5. Is p(7) a composite number?
False
Suppose 2*b + b - 3*x = 15, 9 = 3*b + 3*x. Is 531/6 - 6/b a prime number?
False
Let w(p) = p**2 + 2*p - 9. Is w(10) a prime number?
False
Let j(c) = -c - 5. Let u = 97 - 64. Let l be (-1)/(-4) - u/4. Is j(l) composite?
False
Let d(o) = -o**3 + 3*o**2 - o + 1. Let m be d(2). Suppose m*g - 237 - 504 = 0. Is g composite?
True
Let v be (2/(-6))/((-6)/234). Let o = v - -102. Is o a prime number?
False
Suppose 5*v = -3*z + 467, -v = 4*z - 0*v - 600. Is z prime?
True
Let n(d) = 3*d**3 + 5*d + 3. Is n(4) prime?
False
Let m = -1419 - -2188. Is m composite?
False
Suppose -2*w - 4 + 2 = 0, 4*k = -2*w + 234. Is k prime?
True
Suppose 2*w + 6 = -0*w. Is 16 - (-9)/(w + 6) a composite number?
False
Let y(n) = 3*n**3 + 4*n**2 - 5*n - 3. Is y(7) composite?
False
Suppose -8*j + 3*j - 2*n + 23 = 0, 5*j = -5*n + 35. Is -67*(-1 - 0/j) a prime number?
True
Let d be -4*(-4)/((-32)/6). Let p be (-14)/(-4) - d/(-2). Suppose 5*a - 20 = 5*x, -a + x + 8 = p*x. Is a prime?
False
Is 6/(-15) + (-66321)/(-15) a composite number?
False
Suppose -u = 2*u - 9. Suppose -u*k = 4*t + 300, 0*t - 511 = 5*k + 3*t. Let s = -67 - k. Is s a composite number?
False
Let k(j) = 45*j - 20. Is k(17) prime?
False
Let v = -89 - 56. Suppose 5*i + 2*q = -q - 456, 2*q - 446 = 5*i. Let z = i - v. Is z prime?
False
Suppose 0 = 3*a + 3*a - 666. Is a a prime number?
False
Let v = -814 - -3147. Is v a prime number?
True
Let j be 89 - (-2)/(-4)*0. Let n be (-3)/(j/46 + -2). Suppose 4*a = 2*a + n. Is a a composite number?
False
Let s(f) = 9*f**3 - f**2 + 5*f - 2. Is s(5) a composite number?
False
Is (-16)/(-8) + 37/(-2)*-126 a prime number?
True
Suppose -u + 2*p = 2, p + 1 = 4. Suppose 4 + 2 = -3*b, -w + 41 = -u*b. Let q = w - -2. Is q a prime number?
False
Suppose 2*y + 3*d - 2305 = 0, -4590 = -4*y + 3*d - 5*d. Is y prime?
False
Suppose 2*q + 8 = -2*q. Let n be 0 + -2 - 0/q. Is (-2)/((n/3)/1) a prime number?
True
Suppose 5*k = -4*o + 49, 2*o - 2*k = 9 + 29. Let a(v) = -5 + 6*v - v**2 - 2*v - 2 + o*v. Is a(8) a composite number?
False
Let b(y) = 2 + 7*y + 4 + y**2 + y. Let k be b(-8). Let a(l) = 3*l**2 - l - 5. Is a(k) composite?
False
Let m(g) = -g**2 - 8*g + 1. Let c be m(-9). Let b = c - -14. Is (b/(-4))/(1/(-10)) a prime number?
False
Let l(q) = -q**3 + 4*q**2 + 3*q - 1. Is l(-4) a composite number?
True
Let j(o) = o**3 + 5*o**2 - 2*o - 6. Let q be j(-5). Suppose -q*c = c - 20. Suppose 4*f = c*k - 0*k - 108, 3*k - f - 77 = 0. Is k composite?
True
Suppose -3*b = -2*b + 272. Let v = -157 - b. Is v prime?
False
Suppose -116 = -2*l - l + 5*o, -2*l - 4*o = -48. Let h = -11 + l. Suppose -i + h = 2*i. Is i a prime number?
True
Suppose j + 194 = 4*j - 4*f, -4*f + 302 = 5*j.