5*d + 5*s = 355. Let t(j) = 20*j - 12. Let m be t(6). Let x = m + d. Is x prime?
True
Let g = 634 - 212. Is g a composite number?
True
Let v be -7 + 2 - 0 - 1. Let a = v + 25. Is a prime?
True
Suppose 0 = 2*b + b + 4*i - 25, -5*b = 2*i - 23. Is 341/3 - 2/b a composite number?
False
Suppose 0 = 5*j + 565 - 5480. Is j prime?
True
Suppose -4*r + r = -5*u + 4, 0 = -5*r + 10. Suppose -u*l = -3*l. Suppose -2*m = -l*m - n - 195, -3*m = -4*n - 295. Is m prime?
True
Let o = 6 - 5. Let u(x) = -3*x - 3 - 1 - o + 2*x**2. Is u(4) a composite number?
True
Suppose -4*v + 2858 = 5*x - 1657, 0 = -x - v + 902. Is x a composite number?
False
Suppose g - 4*v - 843 = 0, -2*g = -0*g - 3*v - 1706. Is g composite?
False
Let v(i) be the first derivative of 50*i**3/3 - i - 2. Is v(-1) composite?
True
Suppose -r - 2*r = -435. Is r a prime number?
False
Suppose 405 = 4*r - 823. Is r composite?
False
Let g be ((-16)/(-20))/((-2)/20). Let c = 5 - -6. Let t = c + g. Is t a prime number?
True
Let t(a) = -2*a - 12. Let g be t(-6). Suppose g*o = 2*o - 838. Is o composite?
False
Suppose 5*x + 3*x = 7608. Is x a composite number?
True
Let f(u) = 1 + 6 - 6 - 5*u. Is f(-2) prime?
True
Let q = 269 - -314. Is q composite?
True
Let m = 929 - 29. Suppose -2*g = 4*l - m, -l = -4*g - 186 - 21. Is l a prime number?
True
Let v = 1031 - 672. Is v a prime number?
True
Let s(m) = -41*m**3 - 2*m + 1. Let o be s(1). Let z = o + 93. Is z a composite number?
True
Is (-436)/6*3/(-2) a composite number?
False
Let p = -7 + 6. Let b be ((-14)/35)/(p/(-325)). Let f = 183 + b. Is f a composite number?
False
Suppose 3*c - 11 = -5*d + 18, c = -d + 7. Suppose x + c*x - 820 = 0. Is x composite?
True
Suppose 6*l - l - m - 294 = 0, -m = -4*l + 235. Is l prime?
True
Is 4/10 + 2672/20 a prime number?
False
Suppose 0*h - 1935 = -5*h. Suppose r + 2*r = q - h, 1151 = 3*q + r. Is q/20 + (-1)/5 prime?
True
Suppose -2*d + 16 = 2*d, -3*d = -4*p + 20. Suppose -u = -5*u + p. Suppose 2*x - s - 7 = 0, -s - u*s + 27 = 2*x. Is x a composite number?
True
Let j(a) = a**2 + 10*a + 29. Is j(-22) prime?
True
Suppose -o = -3*o. Suppose -j - 4*c = -137, o*c + 3*c + 593 = 5*j. Let k = j - 42. Is k a composite number?
False
Let k(g) = 2238*g**2 - 5*g - 6. Is k(-1) composite?
False
Suppose -259 = -k + 80. Suppose p - k = -3*d, -d - 3*d + 452 = -2*p. Is d prime?
True
Suppose 4*f + 5 = -f - 5*u, 6 = -3*f - 4*u. Suppose -f*s + 0*s + 3*r + 29 = 0, 3*r - 59 = -2*s. Is s a prime number?
False
Suppose 160 = -2*n - 2*n. Let s = 167 + n. Is s composite?
False
Let b = 10 - 10. Suppose 4*p - z - 576 = b, -6*z = -4*p - z + 592. Is p prime?
False
Suppose -7*p + 5*p = -428. Suppose 788 = 4*t + 2*j - p, -5*j + 734 = 3*t. Is t composite?
True
Suppose 0 = -5*m + 2503 - 848. Is m a composite number?
False
Let a = -3 - -3. Suppose -c = -a - 7. Is c a composite number?
False
Suppose 148 = 4*p + v, -5*v + 4*v = 0. Is p prime?
True
Suppose -5*k + 5201 = -3*i, 4*k + 0*k = 4*i + 4164. Is k a prime number?
True
Let q = -4012 + 6407. Is q a prime number?
False
Let u(w) = w**3 - 13*w**2 - 5*w - 20. Let l = -25 + 39. Is u(l) prime?
False
Let o = 201 + -95. Let j = o - 53. Is j prime?
True
Let g = 1741 + -1184. Is g composite?
False
Let h be 2/1 + -2 + 154. Suppose -4*n - 4*q = -n - h, 5*n = -5*q + 265. Is n a prime number?
False
Let f be 2 + 0 + -4 + 8. Let h(k) be the third derivative of 13*k**4/24 - 3*k**3/2 - k**2. Is h(f) a prime number?
False
Suppose 3*y - 12 = 5*b, -5*y + 20 + 0 = 3*b. Let q(h) = 4*h - 2*h + h**3 - 3*h - 5 - h**2. Is q(y) a composite number?
True
Let g(m) = 229*m**3 + m**2 - m - 11. Is g(3) a prime number?
False
Suppose -4*c - i + 38 + 42 = 0, 2*i - 65 = -3*c. Is c a prime number?
True
Let j = -168 - -242. Is j prime?
False
Let w be 1*(-3)/(9/(-60)). Suppose 0 = -x + 5*x - w. Suppose -x*y - 30 = -l, -2*y = 4*l + 2*y - 144. Is l a composite number?
True
Let q(t) = -6*t**3 - 5*t**2 - 2*t + 4. Is q(-3) a prime number?
True
Let c(i) be the second derivative of -i**5/10 + i**4/6 + i**3/6 + 2*i. Let d be c(-1). Let j = d - -12. Is j a composite number?
True
Let b be (-2)/3 - 56/(-12). Suppose b*i + w - 3 = -i, 2*i + 3 = w. Suppose i = -n - 5*h + 51 + 65, 5*n = 3*h + 440. Is n composite?
True
Let b = -2 + -22. Let o = b + 43. Is o a prime number?
True
Let n(x) = 2*x**2 + 3*x + 1. Let w be n(-2). Suppose -2*s + 302 = 4*c, -w*s + 465 = -0*s + 2*c. Is s a prime number?
True
Suppose 6*y = 2*y + 2568. Suppose x = -2*n + y, -4*x = -5*n - 0*x + 1579. Is n prime?
False
Let i(s) = -s**3 + 15*s**2 - 13*s - 12. Is i(13) a composite number?
False
Is (-8)/(-48) + 7570/12 prime?
True
Suppose -d = 5*l - 2198, 0*l - 5*l - 10900 = -5*d. Is d composite?
True
Suppose -5*y = -y - 2712. Suppose -v - 4*b = -4*v - y, -2*b = -3*v - 678. Is v/(-2) - (1 - 1) a composite number?
False
Let u(d) = 51*d - 43. Is u(10) a prime number?
True
Let o = 154 + -67. Is o prime?
False
Let k be 0 + 2 + (-12)/3. Let d(c) = 7*c + 3. Let w(z) = 28*z + 13. Let h(v) = -9*d(v) + 2*w(v). Is h(k) prime?
True
Let q(d) = 2*d**2 - 29*d - 47. Is q(28) composite?
False
Is -2 - -1015 - (-12)/(-3) prime?
True
Let i = 7 - 4. Suppose -2*d = -i*d - 2*g + 173, 4*d + 2*g - 662 = 0. Suppose 5*m - 22 = d. Is m a composite number?
False
Let k be (24/20)/((-6)/(-20)). Suppose 5*l = -k*a - 32, 0 = a + 4*a - l + 40. Is (-18)/(-8) + 2/a composite?
False
Suppose -4*a + 3*d - 4*d = -373, 5*a - 461 = 4*d. Suppose -2*p = w - 4*w + 56, 4*w + p - a = 0. Is w prime?
False
Let w(y) = -201*y + 1. Let m be w(1). Is (-3)/1 + m/(-2) composite?
False
Let z = -8 - -10. Suppose -3*y - 21 = 5*i - 275, -z*i + 2*y + 92 = 0. Is i composite?
True
Let m be 46/10 - 8/(-20). Suppose 2*o - a - 3*a = 38, -2*o + m*a + 43 = 0. Is o composite?
True
Let r be (-38)/(-9) + (-2)/9. Suppose -4*m + 1 = -2*u + 13, 0 = -4*m - r. Suppose 0 = c - u*q - 3, -4*c + q + 82 = -q. Is c composite?
False
Suppose -4*k + 534 = -902. Is k a composite number?
False
Let i be 1/(-3)*2*3. Let d be (-3 - i)*(-33 + -2). Let u = 58 - d. Is u prime?
True
Is 331/3*9*12/18 a prime number?
False
Let x be 94/14 + (-2)/(-7). Suppose x*n - 4*n + 3*d - 102 = 0, -5*d + 22 = n. Is n a composite number?
False
Suppose 2*y = -3*y. Suppose 3*j - 207 = 4*u, -4*j - 2*u - 2*u + 248 = y. Is j composite?
True
Let t(y) be the third derivative of 73*y**5/60 - y**4/8 - y**3/6 + 4*y**2. Is t(3) a prime number?
True
Suppose j - 5*a = 257, 3*j + 2*j - 4*a = 1327. Is j prime?
False
Let x(u) = 3*u**3 + 3*u**2 - 3*u + 1. Is x(2) a prime number?
True
Suppose -9 = 6*o - 3*o. Let k be 3/(o/2*-1). Let p(z) = z + 2. Is p(k) prime?
False
Suppose -3*v = 2*h + 4, -v + 10 = 3*v - 5*h. Suppose v*j - 23 = -j. Is j a composite number?
False
Is 0 - 758*(-14)/4 prime?
False
Let s(m) = 15*m**3 - 2*m**2 + 11*m - 5. Is s(4) prime?
True
Is 5/25 - (-289)/5 a composite number?
True
Let w be 0 + 1 + 3 + 0. Suppose -266 = -2*r - 3*u, w*r + 5*u = 231 + 297. Is r prime?
True
Let b(h) = h + 289. Let m be b(0). Suppose 0*t = t - 4. Suppose t*p = 27 + m. Is p a prime number?
True
Suppose u = 6*u - 395. Let n = -86 - -128. Let b = u - n. Is b prime?
True
Let x(a) = 301*a - 16. Is x(3) a composite number?
False
Let o(l) be the third derivative of l**5/30 - 3*l**4/8 - 2*l**3 + 3*l**2. Is o(11) a prime number?
True
Is (-98)/(-28)*2*167 a composite number?
True
Suppose 0 = 2*m - 7*m. Suppose m = -2*c + 65 + 41. Is c composite?
False
Let i(c) = -c**3 - 2*c**2 + 2*c + 3. Let a be i(-2). Let h be ((-10)/(3 - 1))/a. Suppose 28 = s - h. Is s prime?
False
Suppose 12 = -3*x, n = -0*n - 2*x - 5. Suppose -n*w - 15 = -6. Let h(o) = -2*o**3 + 4*o**2 + 5*o + 2. Is h(w) a prime number?
False
Let b = -24 + 289. Is b composite?
True
Let c(q) be the first derivative of -q**4/4 + 5*q**3/3 + q**2 - 5*q + 2. Let h be c(5). Suppose -37 = -i + 4*b, 0*b - 185 = -h*i - 2*b. Is i composite?
False
Suppose -10*y = -8*y - 188. Is y prime?
False
Suppose 0 = 2*c - 4*c + 318. Is c a prime number?
False
Let w(r) = 74*r**2 - 3*r + 2. Is w(-3) prime?
True
Let o(y) = y + 2. Let l be o(2). Suppose -u - 187 = -3*t - 0*u, 4*u - 8 = 0. Suppose -l*g + 77 = -t. Is g prime?
False
Suppose 0*v + 2*k = 4*v - 68, -3*k = -4*v + 66. Is 629/3 - (-24)/v prime?
True
Let p(f) = -f + 12. Suppose -4*b = -0*b. Suppose -i + 5 = -b*i. Is p(i) prime?
True
Let k(o) = o**2 - o