9. Is d a composite number?
False
Let r(d) = 2*d**3 - 2*d - 7. Is r(4) a prime number?
True
Is ((-942)/(-15))/(2/5) a composite number?
False
Suppose 2*t + 2*v = 8, -2*t - 3*v + 20 = 2*v. Suppose t = -y - 0*y + 3. Is y prime?
True
Let i be 4220/(-15)*3/(-2). Suppose l = -l + i. Is l prime?
True
Let g = 499 - 844. Let o = g + 818. Let f = o - 264. Is f composite?
True
Suppose h + 0*d - 377 = 2*d, -5*h = -4*d - 1867. Is h a prime number?
False
Suppose 2*j + d - 10 = 0, 5 = j - 4*d - 9. Let l = 16 - 14. Suppose -4*b + j = -l. Is b prime?
True
Let s = -654 + 1257. Is (4/(-12))/((-3)/s) a prime number?
True
Let a(k) = k**3 + 3*k**2 + 1. Suppose -2*o = 2*o - 20. Suppose 5*h = -2*t - 19, 0 = -0*h - o*h - 25. Is a(t) a composite number?
True
Let a(r) = 3*r**2 - 2. Let m be a(2). Let t be 27/15 - (-2)/m. Is (-249)/6*(0 - t) composite?
False
Suppose 0 = -4*x + d - 5*d - 588, 2*x = -3*d - 299. Is -2 - 1 - (x + 12) prime?
True
Let x(j) be the third derivative of 13*j**6/360 - j**5/40 + j**4/24 - j**3/3 + j**2. Let q(c) be the first derivative of x(c). Is q(2) composite?
False
Suppose -15 = 2*c - c. Let t = 38 + c. Suppose -3*u + 168 = -i + t, -149 = -3*u + 2*i. Is u a composite number?
False
Suppose 5*g - 2*r - 3*r = 0, 0 = -5*g - 3*r + 24. Suppose g*s = 5*y + 12 + 15, 3*y = -2*s + 18. Suppose -l + 2 = -s. Is l a prime number?
True
Suppose 33 = -2*x + 5*x. Is x composite?
False
Let o = 5 + -5. Suppose o*j - 92 = -4*j. Suppose 4*v + j = 99. Is v a composite number?
False
Suppose 3*r - 31 = -3*s - 7, 0 = 4*r - 3*s - 32. Suppose x = -5*z + 44, -3*z + 67 = 2*x - 0*x. Suppose x - r = i. Is i composite?
True
Let z(q) = -q + 5. Let h be z(0). Suppose 0 = h*p - 2*p - 144. Suppose -5*t = -p + 18. Is t composite?
True
Let a(m) = 3*m + 17*m**2 - 5*m + 7 + 3*m**2. Let t be a(6). Suppose 9*u = 4*u + t. Is u a prime number?
False
Let s(z) = 24*z**3 + 2*z**2 - z. Suppose r = 2*u + u - 4, -2*r = -3*u + 2. Let g be (-16)/(-12) - r/6. Is s(g) a composite number?
True
Let b(p) = 29*p**2 - 7*p - 31. Is b(-6) composite?
True
Let j(o) = 2*o**2 - 18*o + 13. Let s be j(12). Is 1 + s + (-3)/1 a composite number?
False
Let z = 287 - -47. Is z composite?
True
Suppose 0 = 5*k - 0*k - 25. Suppose 4*g - k*y = 46, g + y - 3 = -2*y. Suppose 3*a = 4*a - g. Is a composite?
True
Is (-6 + 8)*7886/4 prime?
True
Let k be (28/(-6))/(4/(-6)). Suppose -k*x = -5*x - 142. Is x a composite number?
False
Let o(v) = -v**3 + 2*v. Let n be o(-2). Suppose 2*k - 45 = 1527. Suppose -3*h = -2*c + 317, -c + h + k = n*c. Is c a composite number?
False
Suppose 3*n - w = -4*w + 3, 0 = n + 2*w + 4. Let u(k) = k**2 - 7*k - 2. Let o be u(n). Is 44/(-2)*4/o a composite number?
False
Is ((-36)/(-30))/((-2)/(-115)) prime?
False
Let y be 670/7 - (-2)/7. Suppose -2*k = -5*k + y. Suppose 186 = 2*p + k. Is p a prime number?
False
Suppose -3*k + 77 = -2*k. Is k a prime number?
False
Let d(x) be the third derivative of 1/30*x**5 + 0 + 3*x**2 + 0*x + 1/6*x**3 + 0*x**4. Is d(-5) a prime number?
False
Suppose i - 1285 = -q, 6*i - 2*i - 1294 = -q. Is q prime?
False
Let u be -1*0/(-2) + 0. Suppose u = 4*b - 4*x - 128, -5*x + 0*x = 0. Is (-42)/(-8)*b/12 composite?
True
Suppose 4*y + 2 + 9 = 5*p, 2*y - p = -1. Let d = 12 - y. Let f = d - -26. Is f a composite number?
False
Let u(s) = -106*s - 32. Is u(-9) a composite number?
True
Let y(v) = -v**3 - 4*v**2 - v - 1. Suppose -z + 33 = 2*z. Suppose 2*f = -2*l + 4*l + 2, f + z = -2*l. Is y(l) a composite number?
False
Suppose 12 + 13 = -5*x, 0 = -2*u + 2*x + 206. Suppose 4*s = -2*h + u, 3*h - 39 = s - 3*s. Suppose 0 = -3*o - s + 84. Is o a composite number?
False
Let s(y) = 13*y - 1. Suppose 46 = -p - 2*p + 5*x, -2*x = 4*p + 18. Let m be (-1)/3 + p/(-3). Is s(m) composite?
True
Suppose 2*i + 4 = 14. Suppose -i*f = 129 - 14. Let t = 34 - f. Is t a prime number?
False
Let y = 0 + 1. Let c be -14*(y + (-3)/6). Is (c/(-2))/((-3)/(-6)) composite?
False
Suppose 2*b = u + 8, 5*b - 3*u - u - 26 = 0. Suppose i = 5*w - 156, 3*i + 64 = b*w - 1. Is w a prime number?
True
Suppose 6*i - 2057 = i - 4*y, -4*i - 2*y = -1648. Is i a composite number?
True
Let d(g) = -g**3 - g**2 + 3*g + 1. Let z = 6 + -8. Let q be d(z). Is (-7)/(21/(-198)) - q a prime number?
True
Suppose -3*s + 5*u + 144 = 0, 2*s - 3*u - 5 = 92. Suppose 16 = -v + s. Is v a composite number?
False
Suppose -z = -135 - 26. Is z a prime number?
False
Let i(n) = -n**3 + 10*n**2 + 13*n - 17. Is i(8) prime?
False
Let d be (-1 - 0)/((-4)/20). Suppose 5*k = -5*z + 241 - 96, 87 = 3*z + d*k. Is (-6)/(-4)*-2 + z prime?
False
Suppose -s - 4*s = -1255. Is s composite?
False
Suppose 483 = 5*c - 2*k, 5*c = -4*k + 161 + 328. Is c a prime number?
True
Suppose q = 2*q + 4*x - 1765, 3*q + 5*x = 5302. Is q composite?
True
Suppose 6 + 6 = 3*p. Suppose -p*v + c = -575, -v - c = 4*c - 128. Is v prime?
False
Let k be (15/(-12))/(2/(-16)). Suppose -s + 39 + k = 0. Is s composite?
True
Let k be 375/(-6)*8/(-10). Suppose -3*m - k = -5*m. Is m a composite number?
True
Suppose 0 - 25 = 5*n. Let d(j) = -j**3 - 4*j**2 + 6*j + 4. Let q be d(n). Is (3/q)/(3/(-14)) prime?
False
Let x = -11 + 49. Suppose 3*o = 4*o - x. Is (o + -2)/3 - -1 composite?
False
Suppose -5*a + 0*t + 5*t + 6815 = 0, -5*t - 2732 = -2*a. Is a a composite number?
False
Let t = -2 - 6. Let a = t + 10. Is (-3 + a)/((-6)/294) prime?
False
Suppose 5*x = h + h - 11, x = 3*h - 36. Is h prime?
True
Is 4 - ((-1)/7 - 122382/91) composite?
True
Is 102*29 - (-5)/1 a composite number?
False
Is -4 + (-3852)/(-3) + 15/(-5) composite?
False
Suppose -4*h = n + 192, -2*h = 3*h - 4*n + 240. Let q = h + -11. Is (-1 + 2)/(-1)*q a prime number?
True
Suppose a - 1343 - 1542 = 0. Is a prime?
False
Suppose -2*r + 5*r = -279. Let t = r + 180. Suppose t = d - b, -d - 2*b = 3*b - 99. Is d a prime number?
True
Suppose 2*q + 940 = 6*l - 2*l, 2*q + 8 = 0. Is l a prime number?
True
Suppose -6*h = -3*z - 3*h - 33, -2*z + 3*h = 19. Let w(o) = -o**3 - 12*o**2 - 15*o - 16. Is w(z) composite?
True
Suppose -a + 4*p = -2754 - 165, 0 = 2*a - p - 5866. Is a composite?
True
Suppose 225 = 3*o - 114. Is o composite?
False
Let l(q) = 1320*q**2 - 2*q + 1. Is l(1) prime?
True
Suppose 3*t = 4*f + 380, -2*f - 2*t - 106 = -f. Let z = 193 + f. Is z composite?
True
Let n = 10 - 5. Suppose t - 54 = 2*s, -4*s + 11 + 203 = n*t. Is t a composite number?
True
Let b = 993 - 142. Is b composite?
True
Suppose -5*x = -3*h + 11, -h = -0*h + 2*x. Suppose -4*r + 18 = -2*r. Let j = r - h. Is j a composite number?
False
Suppose -3594 = -0*a - 6*a. Is a a composite number?
False
Suppose 0 = -7*d + 11*d + 12. Let a = 28 + d. Is a composite?
True
Let f(n) = 4*n**3 - 7*n**2 + n. Let h(v) = -5*v**3 + 8*v**2 - v + 1. Let p(c) = 4*f(c) + 3*h(c). Let k be p(3). Is (28/3 - k)*3 a prime number?
True
Let a(z) = -5*z**2 - 8*z + 2. Let i be a(-6). Let j = 219 + i. Is j composite?
False
Let r = -24 - -595. Let c = r + -404. Is c a prime number?
True
Let x = -254 + 1341. Is x a composite number?
False
Let n(s) = 68*s - 9. Is n(26) a composite number?
False
Let j be 5/(((-7)/8)/(-7)). Suppose -10 = -5*l + j. Is l a prime number?
False
Suppose 3*m - 2*z - 15 = 13, -5*z - 26 = -2*m. Let b be m/(-6)*(-114)/4. Suppose -x + b = -39. Is x a composite number?
True
Let n be 7/(-1) + 16 + -13. Is -3*(n - 105/9) composite?
False
Suppose 3*s = s - 8, 0 = -5*r - 5*s + 550. Suppose -2*y + r = -0*y. Is y composite?
True
Suppose -17*w + 12*w - 15 = 0. Let s(t) = 7*t**2 + 3*t - 1. Is s(w) prime?
True
Suppose 51 + 29 = -5*k. Let r be k/(-3) - (-2)/(-6). Suppose -r*d = -17 - 53. Is d composite?
True
Let x(o) = 9*o - 1. Let y be x(1). Suppose m = 31 - y. Is m a prime number?
True
Suppose 5*w = -0 + 25. Suppose -4*a - w = -3*a. Let g(n) = -n**3 - 5*n**2 - 2*n. Is g(a) a composite number?
True
Let o(c) be the third derivative of -c**7/420 + c**6/240 + c**5/60 - 2*c**2. Let s(v) be the third derivative of o(v). Is s(-3) a prime number?
False
Is 1*(-2)/13 + (-64229)/(-143) composite?
False
Let z be (2 + -1)/(-3)*-21. Let i(r) = -1 + r + z*r**2 - 2 + 4. Is i(3) prime?
True
Suppose -6*i + 3*i - 15 = 0, 2*w + 5*i - 3637 = 0. Is w composite?
False
Let v = -8 + 10. Suppose -4*b = -v*b - 12. Is 74/2 + -4 + b a composite number?
True
Suppose d + 4*j = 3959, 2*d + 6*j - 7906 = j. Is d a composite numbe