s (5 + -3)*i + 3 a composite number?
True
Let b(v) = -v**3 + 6*v**2 - 5*v + 4. Let w be b(5). Suppose -3*d - 2*d + 5*r = -2330, 0 = w*r - 12. Is d a prime number?
False
Let q = 11 + -6. Suppose 2*p = q*w - 2765, 3*p - p = -2*w + 1106. Is w prime?
False
Let j(y) = -y**3 + 5*y**2 + 2*y - 5. Let a be j(5). Let l(n) = -n**3 + 5*n**2 + 5*n - 4. Is l(a) a prime number?
False
Suppose 5*f - 2*v - 2 = 0, 5*f + 4*v = 9 + 17. Let i(y) = 2*y**f - 4 + 16*y - 13*y + 1. Is i(-3) composite?
True
Let n = -6 + -26. Let c = -19 - n. Is c a composite number?
False
Let i = -57 - -40. Is 6/(-4)*(i + -5) prime?
False
Let i = 7 + -4. Let t(n) = 4*n**2 + 3*n - 5. Let s be t(-4). Is (-6)/9 + s/i composite?
True
Suppose 0 = 2*t + 4*u - 642, 5*u - 961 = t - 4*t. Is t a prime number?
True
Suppose -3*b = -5*b - 2*x + 6, 2*x - 6 = -3*b. Let m be 5 - b - (3 - 1). Suppose a = m*a - 78. Is a prime?
False
Let c(d) = d**2 - 2*d + 7. Is c(6) composite?
False
Let x = 168 + -99. Let r = x + -14. Suppose a + a + r = d, 4*a - 303 = -5*d. Is d composite?
False
Let d(i) = -38*i + 4. Let l be (3 - 0) + (-7 - -1). Is d(l) prime?
False
Suppose 4*t - 9 + 1 = 0. Suppose -t*k = -6*k + 532. Is k a prime number?
False
Suppose 3*s - l - 17 = -2*l, 2*s = 5*l - 17. Let g(b) = b**3 - 2*b**2 + b. Let i be g(s). Suppose i + 38 = 2*o. Is o composite?
False
Let d(c) be the first derivative of -c**4/4 - 11*c**3/3 - c**2/2 - 16*c + 2. Let r be d(-11). Is -46*(10/4)/r a prime number?
True
Let w(n) = -318*n + 1. Let x = -4 - -3. Let m be w(x). Suppose 3*r + 102 = 4*d + m, -5*d = 4*r - 248. Is r composite?
False
Let k(p) = 1 + 4*p - p + 1 - p. Let v be k(-4). Is (-4)/v*(-2637)/(-6) composite?
False
Suppose 35 + 25 = -2*t. Let i = t + 43. Let c = -4 + i. Is c composite?
True
Suppose -4*n + n + 6 = 0. Suppose 5 = n*u - 3*u. Let p = u + 31. Is p a prime number?
False
Let h(s) = s**3 - s**2 - 5*s + 3. Let m be h(3). Let g(a) = 4 - m*a + 14*a + 2*a**2 + 0. Is g(-5) a composite number?
True
Let f(s) = -1293*s**3 + s**2 - 1. Is f(-1) composite?
True
Let x(y) = -y - 28. Let i be x(-10). Suppose 0 = -2*p + 3*d, -4*d + d = 3*p + 15. Let z = p - i. Is z prime?
False
Let q = -52 - -86. Suppose -3*b + l - 10 = -3*l, -5*b - 2*l = q. Is (-3)/4*(b - 14) a prime number?
False
Let j = 3 - -7. Is j a prime number?
False
Let t = 1 + -1. Suppose k - 3*r - 16 = t, 2*k + 4*r = -0*r - 8. Suppose b - 57 + 0 = 2*v, k*b + 5*v - 280 = 0. Is b composite?
True
Suppose 235 = -4*o - 429. Let q = o - -272. Is q a prime number?
False
Let r(o) = -282*o**3 + 10*o**2 - 13*o + 3. Let h(p) = 188*p**3 - 7*p**2 + 9*p - 2. Let f(y) = 7*h(y) + 5*r(y). Let n be f(1). Is 1*-4*n/8 a composite number?
False
Suppose -2*y - 4*i + 18 = 0, -3*y - 2*y + 4*i + 31 = 0. Is (-2)/y + 1548/28 a prime number?
False
Let z(u) = 60*u**2 - 9*u + 1. Is z(-4) composite?
False
Let s be (16 + 0)/((-10)/(-5)). Is (2 + (-194)/s)*-4 a composite number?
False
Suppose -4*c + 5*c = 5. Suppose c*o - 1055 = -0*o. Is o prime?
True
Suppose 2*g = -2*g + 396. Suppose -g = -5*x + 81. Suppose 3*d - 36 = y - 4*y, -2*y + 4*d = -x. Is y prime?
False
Suppose -4*u = u - 5. Is (-78 - 1)*-4 + u a composite number?
False
Let u(w) = w**2 - 79. Let d be u(0). Let z = d - -144. Is z composite?
True
Let b(a) = a + 8. Let s be b(-5). Let t(c) = -11*c**3 - 1 - 5*c**s - 2*c + 4*c**3. Is t(-1) a prime number?
True
Is 556/12 + (-5)/15 a prime number?
False
Suppose -4*n + 2*z - 98 = -0*z, -2*z = -2*n - 48. Is (1 - 2)*(n + 2) prime?
True
Let q(g) = -2*g**3 - 7*g**2 + 8*g + 39. Is q(-10) a prime number?
True
Suppose -489 + 1280 = z. Is z composite?
True
Let a = 6 + -10. Suppose -w - 4*b + b = -28, 0 = -b + 5. Let n = a + w. Is n a prime number?
False
Let p(w) be the third derivative of w**6/40 + w**5/20 + w**4/6 - w**3/6 - 4*w**2. Is p(3) prime?
False
Let m be 7005/11 - 4/(-22). Suppose m = 3*z - 5*x, -4*z - 4*x = -0*x - 828. Is z prime?
False
Suppose -m + 223 = 4*m + 4*c, -m - 3*c + 38 = 0. Is m a prime number?
True
Let d(h) be the third derivative of 0*h**3 + 0*h + 0 - 3*h**2 + 1/8*h**4. Is d(1) a prime number?
True
Is (-224466)/(-165) - -3*(-1)/(-5) a composite number?
False
Suppose -4 = -2*j - 0. Let v = 2 - -1. Suppose 138 = 4*i + s, -j*i - v*i + 173 = s. Is i a prime number?
False
Suppose -a + 67 = -30. Suppose 0 = -w + 5*l - l + a, -2*w + l = -222. Is w prime?
True
Suppose 0 = f + 2*f + 18. Is (f + 9)*446/6 prime?
True
Let z be (-8)/3*(-18)/12. Suppose -z*m + 0*m = -268. Is m prime?
True
Suppose 3*u - 134 = 67. Is u prime?
True
Suppose -42 = o - 3*o. Is o prime?
False
Let q(v) be the third derivative of v**6/120 + v**5/6 - v**4/8 + 7*v**3/6 - 2*v**2. Is q(-10) composite?
False
Let h(v) = v**2 - v + 556. Let d be h(0). Suppose -115 = -3*s - d. Is 1*(1*s)/(-3) composite?
True
Let f(a) = a**2 - 9*a + 8. Let d be f(8). Suppose d = 5*t - 13 - 17. Is t prime?
False
Suppose -2*p = 2*p - 132. Is p composite?
True
Let z(f) = -2*f**2 + 4*f - 5. Let k(v) = v - 1. Let o(t) = 12*k(t) - 3*z(t). Let u be o(5). Suppose 3*n - u = -42. Is n prime?
True
Let u be (-16)/(-20)*(-10)/4. Let i be 2 + u - (-66)/2. Let g = -18 + i. Is g composite?
True
Let l = -6 + 10. Suppose 2*w = -3*b + 53, 99 = 2*w - l*b + 25. Is w a prime number?
True
Suppose -463 = -3*c + 4*f, 5*c - 708 - 77 = 4*f. Is c a composite number?
True
Let h(r) = r - 18. Let i be h(10). Let t = i + 87. Is t a prime number?
True
Suppose 5*l + 1844 = 4*r - 2527, 0 = -2*r - l + 2203. Is r a prime number?
False
Suppose 3*q = q. Suppose q = -4*a + y - 0*y + 23, -y - 8 = -a. Suppose -m + a*t = -94, -3*t + 172 - 752 = -5*m. Is m a composite number?
True
Let m(l) = -l + 14. Let h be m(9). Let n be ((-4)/10)/((-1)/h). Suppose n = j, -12 = -4*z + 3*j + 10. Is z composite?
False
Let q be 6/(6/(-81)*-1). Let z be q/15 - (-6)/(-15). Let b = 9 - z. Is b a prime number?
False
Let o(h) be the third derivative of h**7/1260 - h**6/90 + h**5/24 - h**4/24 - 2*h**2. Let k(a) be the second derivative of o(a). Is k(7) prime?
True
Let d be 4 + (-2)/1 - 2. Suppose d*l - 4*l + 40 = 0. Is l a composite number?
True
Let p(g) = -g**3 + 8*g**2 + 8*g - 5. Is p(8) a composite number?
False
Suppose 43 = -5*p + 4*q, 2*p - 1 = -4*q - 7. Let c(v) = -2*v**3 - 9*v**2 + 10*v + 10. Let x be c(p). Suppose 0*s - x = -5*s. Is s composite?
False
Let m(a) = a**3 + 4*a**2 - 2*a - 4. Let o be m(-4). Suppose o*y - 5 = 3*y. Suppose 0 - 15 = -y*j. Is j a prime number?
True
Is (-5)/5 + (-1478)/(-3)*3 a composite number?
True
Suppose 0 = -o + 3*o - 358. Is o composite?
False
Suppose 0 = 3*b - 3*j - 369, 4*b - b - j = 377. Is b prime?
True
Suppose 3*i - 31 = -4*g, 2*g - 13 = -2*i + 7*g. Let l = i + 3. Suppose 3*w = 9 + l. Is w composite?
False
Suppose -s + 16 = -3*p, -2*p + 0*p = 4*s + 6. Let m be (s - 1) + 100/4. Let q = 24 + m. Is q a composite number?
True
Let w(r) = 2*r**3 - 4*r**2 + 5*r - 2. Let k = 2 - -1. Is w(k) a prime number?
True
Let d = -8 + 4779. Is d a composite number?
True
Let f(m) = 155*m - 9. Is f(16) composite?
True
Suppose 0 = 5*f - 140 - 55. Is f a composite number?
True
Suppose -4*z = -5*v + 33, 6*z = -5*v + 4*z + 21. Suppose v*r - 6 = 29. Is r composite?
False
Suppose -5*f = -0*f - 20. Let b(v) = 156*v**2 + v - 1. Let m be b(1). Suppose -4*w = -x + 2*x - 53, -2*w + m = f*x. Is x composite?
False
Suppose 0 = -q + 4*i + 172 + 107, 4*i = -3*q + 757. Is q prime?
False
Suppose -1798 = -0*f - 4*f + 2*r, 2*f - 896 = -2*r. Is f prime?
True
Let s(g) be the second derivative of -g**4/12 + g**3/6 + 77*g**2/2 - 4*g. Let y(n) = -n**3 - 3*n**2. Let r be y(-3). Is s(r) a prime number?
False
Is (-22 - -289)*(-10)/(-6) prime?
False
Suppose 0 = 4*a - 6 - 2. Suppose -30 = 2*g + 264. Is 1/(g/74 + a) prime?
False
Let y be ((-1)/(-2))/((-1)/(-1258)). Suppose -3*g + y = -2*g + p, 0 = 4*g - 2*p - 2528. Is g prime?
True
Let g = 13 - 11. Is 77/21*12/g a composite number?
True
Let v(s) = -2*s - 9. Let t = 15 - 9. Suppose u + t = -0*u. Is v(u) a composite number?
False
Suppose -w - 2*w + 54 = 0. Suppose -2*y - 63 = 5*h - y, -27 = 2*h + y. Let l = h + w. Is l prime?
False
Let v(c) = -c**2 + 2. Suppose -3*k = x - 4, -7*x + 5*x + 8 = -5*k. Let d be v(k). Suppose -d*i + 4*q + 162 = 0, -4*q = -5*i + 31 + 362. Is i prime?
False
Let s = 13 - 18. Let j(m) = -m**3 - 5*m**2 - 5*m. Is j(s) prime?
False
Suppose -d - 6153 =