+ -538. Is y a prime number?
False
Let n(l) = 204*l**2 + 17*l - 18. Is n(1) composite?
True
Suppose 0 = -h - 0*h. Let b be 4/(-2) + (h - -44). Is (-1975)/(-6) + (-7)/b composite?
True
Let u(n) = -4*n - 5. Let f be u(-2). Suppose -2*m = f - 9. Is 165/10*10/m a composite number?
True
Let u = -281 + 308. Suppose -2*g + 2*d + 3*d + 372 = 0, d - 4 = 0. Let k = u + g. Is k a composite number?
False
Suppose 9*d = -0*d + 495. Is (-2)/11 + 46925/d a composite number?
False
Is (-111015)/(-9) - (-9 - -1) prime?
True
Suppose -n - 13548 = -w, -5*w + 2*n = -n - 67750. Is w a composite number?
False
Let x be (1 + 8/4)*1. Suppose -x*d + 6*c - 7102 = 4*c, 2*d + 4*c = -4708. Is -2 - d/4 - -2 composite?
True
Let s be (10/(-15))/(-2) + (-220)/12. Let f(p) = -p**3 - 16*p**2 - 3*p + 35. Is f(s) a prime number?
False
Let g = 5339 + -2862. Is g composite?
False
Is 5 - 120/25 - (-4204)/5 prime?
False
Suppose 8*s + 35 = 13*s. Suppose -2*j + s*j + 10 = 0. Let i(k) = 58*k**2 - 2*k - 3. Is i(j) a composite number?
False
Let s(m) be the third derivative of -m**7/840 + m**6/60 + m**5/24 - m**4/24 + m**3 - m**2. Let h(r) be the first derivative of s(r). Is h(-4) prime?
True
Suppose 7*q = 501 + 143. Let d(u) = -u**2 + 3*u + 3. Let c be d(3). Is q/20 + c/(-5) a prime number?
False
Let v(a) = 42*a - 17. Let m be v(7). Let f = m - -354. Is f a prime number?
True
Let g be (-45)/6 + 5 + 1/(-2). Is 2/(-9)*g + (-154227)/(-9) composite?
False
Let y(d) = 2*d - 7. Let v be y(9). Suppose t = -4 + v. Suppose -9*g + 266 = -t*g. Is g a composite number?
True
Let p = 1073 + 1298. Is p a prime number?
True
Let o(b) = b + 20. Let a be o(-10). Suppose -3*n = a*n - 1261. Is n composite?
False
Let p(r) = r - 8. Let n be p(6). Let c be ((-1)/((-1)/22))/n. Let i = c + 48. Is i composite?
False
Suppose -6*f - 10 = -34. Suppose -o - 4*c - 6 - 28 = 0, c = f*o + 51. Is 4/o + (-7041)/(-21) composite?
True
Suppose 18*m - 21732 - 104214 = 0. Is m prime?
True
Suppose -25*w + 224288 + 129287 = 0. Is w composite?
False
Let g(m) = -22*m - 219. Is g(-19) a composite number?
False
Let f(h) = h**3 - 15*h**2 + 28*h - 17. Is f(19) prime?
False
Let w be ((-13131)/(-4))/(30/80). Suppose -4*b - 3406 = -w. Is b prime?
False
Let u = 7310 - 4329. Let a = -202 + u. Is a prime?
False
Suppose 3*r = 28 - 13, 4*r = s + 14. Is (-156)/(-2) - (1 - s/3) composite?
False
Let c(x) = x**2 + 19*x + 38. Let r be c(-19). Is 2035/7 + r/133 a prime number?
False
Let t = -18 - -1525. Let l = -668 + t. Is l a composite number?
False
Suppose -4*d + 6*d = 760. Let t = d + -11. Let k = t - 210. Is k a composite number?
True
Let m(q) = 985*q**2 + 4*q + 8. Is m(-3) a prime number?
True
Suppose 75154 = 7*z + 17593. Is z a composite number?
True
Suppose 3*u = 9, 0*u + 3*u = -5*g + 43314. Is g composite?
True
Let l(d) = 2*d**3 + 11*d**2 - 50*d + 19. Is l(18) a prime number?
True
Suppose -26*d = 2*d - 289268. Is d a composite number?
False
Let o be (-4)/2 + 4 + 4. Suppose 0*h = -3*v + h - 3, -5*v + o = 2*h. Suppose -2*q - 76 = -u - u, 2*u - 3*q - 80 = v. Is u prime?
False
Let b(q) = 86*q**2 - 7*q + 40. Is b(-19) a prime number?
True
Suppose s - 3*z + 5*z - 79 = 0, -3*z = -2*s + 137. Suppose 5*r - 76 = -2*h + s, -4*r - 107 = -h. Is h composite?
True
Let u = -4074 - -7255. Is u prime?
True
Suppose -b - 47049 = -3*q, 3*q - 12*b + 7*b = 47049. Is q prime?
True
Suppose 7*l + 5*u = 9*l - 2491, 4*u = 4*l - 4976. Is l prime?
False
Let w(q) = -29*q**3 - 10*q + 1. Is w(-10) a composite number?
False
Suppose -3*d - 17 = -g - 0*g, g = -3*d - 1. Is 208 + (1 - g/(-4)) a prime number?
True
Let h(w) = 7*w**2 + 11*w + 3. Let g(n) = -3*n**2 - 5*n - 1. Let o(x) = 9*g(x) + 4*h(x). Let u be o(0). Suppose l + 2 = 0, -5*r + u*l + 2*l = -575. Is r prime?
True
Let g(y) = -y**3 + 25*y**2 - 4*y + 5. Let a be g(17). Suppose 21*d = 22*d - a. Is d prime?
False
Let c = 3327 - 1748. Is c a composite number?
False
Let c = -1481 + -66. Is (c + 4)*(2 + -1)*-1 a composite number?
False
Let n(j) = 3*j**2 + 10*j - 10. Let s be n(-10). Suppose -110 - s = -3*i. Let c = 153 - i. Is c composite?
False
Let a(o) = o**3 - 15*o**2 + o - 3. Suppose -3*z = s - 18, 0*z = -s + 4*z + 11. Let w be a(s). Is -231*2/w*-2 composite?
True
Let t(r) = 10*r + 14. Let j be 6/1 + 0/(-2). Let k be t(j). Suppose -k - 247 = -v. Is v prime?
False
Suppose -5*b = -13*b + 16. Is (3793/b + 0)*(-4)/(-2) prime?
True
Suppose 9519 = 11*h - 7102. Is h composite?
False
Let o(h) = 2*h**3 + 5*h**2 + 8*h + 3. Let u be o(6). Suppose 5*y - 4048 = -u. Is y composite?
False
Let a be (-2)/9 + 29/9. Let q(k) = -5*k**2 + 0*k**3 + 3*k**a - 4*k - 5 - 2*k**3. Is q(7) a composite number?
True
Suppose -o - t = -1099 - 934, 5*o - t - 10177 = 0. Suppose 4*u - 9*u + o = 0. Is u prime?
False
Suppose -7*a + 139 = -99. Is a composite?
True
Let k(x) = -2*x**2 - 16*x + 4. Let o be k(-8). Is (-2 - -6)/o*331 composite?
False
Let q = 67 - 19. Suppose 333 = 3*u - q. Suppose 19*p - 20*p + u = 0. Is p a composite number?
False
Let p(g) = 10*g + 591 + 2*g**3 - 12*g - 3*g**3. Is p(0) a composite number?
True
Suppose -2*p = -5*p + 4947. Let h = 3450 - p. Is h prime?
True
Let f = -4933 - -3485. Let v = f + 2613. Is v a prime number?
False
Let j(r) = 6*r + 2. Let z be j(-5). Let v = z - -42. Is -1*1*(-182)/v a composite number?
False
Let a = 6 + -3. Suppose 0 = z - 16 - a. Is (z/(-3) + 0)*-3 a prime number?
True
Let z = 3303 + -1466. Is z a composite number?
True
Let m be (2/10)/((-11)/(-275)). Suppose m*x - 23 = -p, -6*x = -3*p - 2*x - 7. Suppose -3*v + 0*v + 2*b = -4079, -p*v - 3*b = -4089. Is v a composite number?
False
Let r be (-24)/16*4276/(-3). Suppose -5*g + 0*g = 4*a - 2147, 5*g - r = -a. Is g a composite number?
True
Let o = 643 - 532. Is o a composite number?
True
Let u be 4/(-18) - (-60)/27. Let x = u - 12. Is 282/4 + (-5)/x a prime number?
True
Suppose -174091 = -3*t + 4*i, 5*t + 5*i - 290171 = 2*i. Is t a prime number?
False
Is 6982/5 - 3/(-5) a composite number?
True
Suppose 0 = -8*l + 4*l - 272. Let a = -37 - l. Is a a composite number?
False
Let d(x) = x - 6. Let a be d(12). Suppose -p - 1325 = -a*p. Is p composite?
True
Let h(c) = -7*c + 24. Let y be h(3). Suppose 4*l - 36931 = -0*a + a, a - 27700 = -y*l. Is l a prime number?
False
Suppose -3*i = -i + 3*j - 968, -4*i - j + 1946 = 0. Let y = 2540 - i. Is y a composite number?
False
Suppose 36*f - 31*f - 24485 = 0. Is f a composite number?
True
Suppose 64*k = 76*k - 210828. Is k prime?
True
Suppose 0*r + 234 = r. Let d = 755 - 424. Let m = d - r. Is m composite?
False
Is 6 + 6/(-18)*-18033 a composite number?
True
Let a = 5850 + 859. Is a a composite number?
False
Let x = 22 + -19. Suppose -4*u = -2*o + x*o - 461, -5*u = o - 463. Is o a prime number?
False
Let o(g) = 10*g**3 - 2*g**2 - 2*g - 2. Let j(y) = y**2 + y + 1. Let i(s) = j(s) - o(s). Suppose 0 = 148*x - 159*x - 22. Is i(x) composite?
False
Let i(w) = -w - 5. Suppose -4 - 25 = 3*k + 2*y, 3*k - 5*y + 43 = 0. Let t be i(k). Let q(n) = n**3 + 3*n**2 + 6*n - 1. Is q(t) a prime number?
True
Let n(u) be the second derivative of u**5/20 + 4*u**4/3 - u**3/2 + 19*u**2/2 + u. Is n(-15) prime?
False
Is 2 + 58/(-4)*(-7 - 39) a prime number?
False
Let a = -14786 - -197773. Is a a prime number?
False
Let o(y) = -2 - y**2 - 5*y**3 + 0 + 3*y**2 + 2*y**3. Is o(-3) a prime number?
True
Let j(p) = p**3 + 14*p**2 + p + 14. Let g be j(-14). Suppose -d + 3*f - 1 = -7, g = 5*d - f + 40. Let i(x) = 10*x**2 + 6*x - 11. Is i(d) a composite number?
True
Let j(s) = s**2 - 2*s - 3. Let o be j(-2). Suppose -2*x + o*x - 359 = -2*l, 4*l - 355 = -3*x. Is x a composite number?
True
Suppose -k - 85 = x + 4*x, 0 = 3*k - 5*x + 235. Is 950/8 - 20/k a composite number?
True
Let l(n) = 7*n**2 + 3*n - 5. Let w = 97 - 109. Is l(w) a composite number?
False
Is (2/(-1))/((-48)/50424) a composite number?
True
Let p = 63701 - 29788. Is p a prime number?
False
Suppose 5*v = 9*v - 8. Suppose v*q - 257 = -a - q, 763 = 3*a + 5*q. Is a prime?
True
Suppose 0 = 2*r - 6*r - 4*k - 28, 2*r + 5*k = -23. Is 21/84 - 3411/r a composite number?
False
Suppose -4228 = -3*n - n. Let g = -723 + n. Is g composite?
True
Let r = 13812 + 1157. Is r a prime number?
True
Let z = -434 + 145. Suppose -3 - 843 = -2*r. Let d = r + z. Is d a composite number?
True
Let g be (-15)/(-4) - (-9)/36. Let d