?
False
Suppose 3*a - 5802 = 5*m, -12 = -5*m + m. Is a prime?
False
Let x = 18 + 116. Is x a prime number?
False
Let j be (2 - 1)*0 - -3. Suppose -2*c = -2*k + 10, j*c - 18 = -5*k + 15. Is (37/(-2))/((-3)/k) composite?
False
Let a be 1 - (-1 + -1)/1. Let l be a/(-9) + (-2)/(-6). Suppose -4*i + 150 - 2 = l. Is i a composite number?
False
Let c(t) = t**3 + 4*t + 3. Let k be c(-2). Is 1/(-2)*(k + -271) composite?
True
Let q = 16 - -23. Is q a composite number?
True
Let s(h) be the second derivative of h**3/6 + 91*h**2/2 - h. Is s(0) a composite number?
True
Suppose -a - 55 = -2*a. Let i = 92 - a. Is i a prime number?
True
Suppose 2*v = -5*k + 13, -v = -0*k + 3*k - 7. Suppose v*m + 6 = 6*m. Suppose -p = -m - 6. Is p composite?
True
Let b = 1631 + 983. Is b prime?
False
Suppose 0 = 8*s - 9*s + 6. Is (-4)/24 + 1147/s a prime number?
True
Let m be (-190)/4*(-672)/(-35). Is 2/7 + m/(-42) prime?
False
Let r be 10/(3*3/315). Suppose -d + 155 = 3*h, -2*d + 0*h + r = -2*h. Suppose -2*c + 0*c = -d. Is c a composite number?
True
Suppose -4*p + 85 + 871 = 0. Let w = 98 + p. Is w a composite number?
False
Let k = 1426 - 669. Is k composite?
False
Suppose -2*w - 3*w = 15. Let z = -7 - -10. Is w/z - -1 - -37 composite?
False
Suppose 1 - 9 = -4*q. Suppose -12 + 4 = -4*f. Suppose -q*p - f*p = -140. Is p a composite number?
True
Suppose q = -4*q + 25. Suppose 36 = b + q. Is b a composite number?
False
Is (-4)/14 - (-2 + (-12505)/35) a prime number?
True
Let a(v) be the first derivative of -5*v**4/2 + v**2/2 + v - 6. Is a(-1) a prime number?
False
Suppose -17 - 1 = 3*g. Let d be g*(6/4 - 2). Suppose -3*y + 17 = 5*v, -d*y - v + 24 + 1 = 0. Is y a prime number?
False
Let l(w) = 3*w + 2*w + 0*w. Suppose -8*x = -2*y - 3*x + 4, -3*y = x - 6. Is l(y) a composite number?
True
Suppose -4*p - 5 = p + 5*o, -3*p - o = -5. Suppose p*u + 4*s = 356, s + 78 = u - 36. Suppose 0 = -0*f + 3*f + q - u, 2*q - 47 = -f. Is f a composite number?
False
Is 6/(-8) + 2365/44 a composite number?
False
Let m(j) = j**3 - 4*j**2 - 4*j - 4. Let q be m(4). Let p be ((-12)/q)/(1/5). Is (0 + -1)*(-106 - p) prime?
True
Let n(m) be the third derivative of -m**7/168 - m**6/240 + m**5/20 + 3*m**2. Let s(f) be the third derivative of n(f). Is s(-2) composite?
True
Suppose -5*g + i + 1074 = 0, -g - 206 = -2*g - 2*i. Is g composite?
True
Suppose 0 = -3*w - 2*l - 1465, -601 = 4*w + 2*l + 1355. Let q = -258 - w. Is q prime?
True
Let h(g) = g - 5. Let x be h(9). Suppose -x*f + 5*n - 6 = 0, 3*f + 2 = -3*n + 11. Is f + -3 - (0 + -4) prime?
True
Suppose 2*k + 3*n = -0*n + 1, 2*k = 4*n + 8. Suppose 0 = -k*t - t + 195. Is t a composite number?
True
Suppose -4*p - 1659 = -7*l + 4*l, 0 = -2*p. Is l composite?
True
Suppose 5*a = -0*a - 4*u + 12197, 5*u = 15. Is a a prime number?
True
Let j(i) = -7*i + 7. Let z = -28 + 18. Is j(z) a composite number?
True
Let v(d) = -293*d. Is v(-1) a prime number?
True
Is 6/(-9) - ((-1637)/(-3))/(-1) a composite number?
True
Let g(s) = s**3 - 6*s**2 + 4*s + 1. Let i be g(6). Suppose -5*m = -0*m + i. Let p(y) = y**2 + 3*y. Is p(m) a composite number?
True
Let w be ((-75)/(-10))/(2/32). Suppose -w = -3*o + o + 2*j, -5*j - 245 = -4*o. Is o composite?
True
Let v be 3 - (-1 - 28*2). Let o(n) = -3*n**2 - 3*n - 1. Let j be o(-4). Let h = v + j. Is h a composite number?
False
Let m(x) = -4*x**3 + x**2 - 4*x - 9. Let u(s) = 3*s**3 + 3*s + 8. Let i(k) = -5*m(k) - 6*u(k). Is i(4) prime?
True
Let m(o) = -5*o - 3. Let r be m(-3). Suppose -4*a + 0 = -r. Suppose 0 = -i + a*i - 14. Is i a prime number?
True
Let q = -6 - -2. Let w(g) = g**3 + 8*g**2 - 4*g + 5. Is w(q) a prime number?
False
Let z be (4 + 1)/((-1)/5). Suppose -6*s = -5*s - 6. Let g = s - z. Is g a prime number?
True
Let f(g) be the third derivative of g**6/120 - g**5/20 - g**4/24 + g**3/6 - 3*g**2. Is f(4) a composite number?
False
Let x(k) = 13*k**2 - 3*k. Suppose -2*v + 7 + 1 = 4*a, 2*v = -3*a + 6. Suppose -5*w = j - 9, v = -2*w + 4*w + 4*j. Is x(w) composite?
True
Let b(v) = -v + 6. Let r be b(3). Let s(j) = -2*j**3 + j**r - 3 - 6*j**2 - 3*j + 7. Is s(-6) prime?
False
Let m = -343 - -1964. Is m a composite number?
False
Suppose r - 3*r = 5*m + 23, 0 = 3*m - 4*r + 19. Let f(w) = -3*w. Is f(m) prime?
False
Let s(f) = 136*f - 3. Is s(1) a composite number?
True
Let k = 178 + -39. Is k prime?
True
Let b(t) = t + 2. Let o be b(8). Is (-6)/15 - (-374)/o composite?
False
Is ((-226)/(-8))/(1/4) a composite number?
False
Suppose 4*q - b - 5764 = 0, -4*b = 3*q + q - 5764. Is q composite?
True
Let w = 309 + -167. Is w composite?
True
Let n = -7 - -4. Let h = 5 + n. Suppose -2*j + 2*p - 381 = -5*j, 4*j - 508 = h*p. Is j a prime number?
True
Is (251/3)/(2/6) prime?
True
Is 1014/8 - 4/(-16) composite?
False
Is 3 + ((-32)/(-5))/(28/1330) prime?
True
Let g(k) be the second derivative of -1/3*k**4 + 1/20*k**5 + 2*k**2 + 0 - 3*k - 1/3*k**3. Is g(5) composite?
False
Let q = 5 + 5. Is q a prime number?
False
Let l(c) be the third derivative of c**6/120 - c**4/24 + 89*c**3/6 + c**2. Is l(0) a composite number?
False
Let k(u) be the third derivative of -23*u**6/30 - u**4/12 + u**3/6 + u**2. Let b be k(1). Is (1/(-3))/(1/b) a prime number?
True
Let f(m) = -m**2 - 9*m - 9. Let z be f(-9). Let c(u) = -u - 9. Let o be c(z). Suppose 5*k + o*k + 2*w = 191, -k - 4*w + 49 = 0. Is k a composite number?
False
Let y = 66 + -11. Let p be 1/(3 - 15/6). Suppose y = 3*l - p*l. Is l prime?
False
Suppose 5*z - 112 = 4*h, 3*z + 181 = -4*h + 37. Let g = h + 130. Is g composite?
False
Suppose 573 = 2*l + 107. Is l prime?
True
Suppose -3*b + 2*y + 3*y = -169, 5*y - 121 = -2*b. Let q = -117 - -80. Let l = q + b. Is l a prime number?
False
Suppose -s - 2035 = -5*w - 3*s, 2*w = -3*s + 803. Is w a prime number?
True
Suppose 0 = 2*b + 5*w - 689, 2*b - 677 = 2*w - 3*w. Is b composite?
False
Let x = 2904 + -1195. Is x a composite number?
False
Let h = 1 + 2. Suppose 0 = -h*t + 6*t - 267. Is t prime?
True
Let y(j) = -9*j - 10. Let q(s) = s**2 - 5*s - 6. Let n be q(7). Suppose -3*z = 3*l + 10 + n, 2*z - 5*l + 19 = 0. Is y(z) composite?
False
Let b = 173 - -134. Is b a prime number?
True
Let q = 92 + -37. Suppose x = 2*x - q. Is x a composite number?
True
Suppose 2*q + 58 = 2*u - 0*u, -4*u + 5*q + 120 = 0. Is u composite?
True
Let f be (-17)/(1*(-3)/12). Suppose -3*j + 3*l = 5*l - 99, 2*j + 2*l - f = 0. Is j a composite number?
False
Is (2/6)/(-1 - (-19136)/19128) composite?
False
Let g(s) = s**2 - 3*s. Let f be g(4). Suppose 5*v - 1 = 2*q + 5, -5*q + 3*v = -f. Is (1 + 6)/(q/6) composite?
True
Let o(h) = -2*h**3 - 4*h**2 - 4*h + 7. Let i be o(-7). Suppose -760 = -5*v + i. Is v composite?
False
Let p(w) be the first derivative of -2*w**2 + w + 3. Is p(-8) prime?
False
Let g = 0 + -3. Let m = -5 - g. Is -1 - m*24*2 prime?
False
Let t = -8 + 13. Suppose 4*n - 4*m = -0*n + 728, 2*m - 924 = -t*n. Suppose h - n = -3*h. Is h prime?
False
Suppose -4*v = -3*v. Suppose v*k - 5*k = 2*a - 55, 5*k + 50 = 5*a. Is a a prime number?
False
Let p(r) = 3 - 3 + 27*r - 1. Suppose -3*i = h - 6, 0 = 7*h - 3*h. Is p(i) a prime number?
True
Suppose 5*s - 4*s - 2 = 0. Let p be (0 - (-2 + 1)) + s. Suppose -c = p*c - 124. Is c a composite number?
False
Let a = 3485 - 852. Is a composite?
False
Let v be (-6)/(-10) + 8/(-5). Let l be (-2 - -3)*v*1. Is (l/2)/((-3)/444) a prime number?
False
Suppose 5*x - 3 = -3*q - 0*q, 2*x - 14 = 2*q. Let t(d) = -31*d + 3. Is t(q) a prime number?
True
Suppose 3*c - 7 + 1 = 0. Let u be 6 - ((-76)/(-28) - (-4)/14). Suppose -100 = -2*h + 3*q, -c*h = 8*q - u*q - 84. Is h prime?
True
Let q(h) be the third derivative of h**6/120 - h**5/6 + 5*h**4/12 + 2*h**3/3 - 4*h**2. Is q(9) prime?
True
Let f = 8 + -5. Suppose u = f*u - 26. Is u prime?
True
Suppose -7 + 19 = 3*k. Suppose 3*f + 2*i = k*i + 5, 4*f + 2*i = 2. Let v(t) = 12*t**3 + t**2 - t + 1. Is v(f) composite?
False
Let k = -4 + 0. Let h be (-2 + 0)/(2/k). Suppose 0 = s - 5*p - 7, -h*p + 6 = 5*s - 0. Is s a prime number?
True
Suppose -3*a - 4*v + 10 + 1 = 0, -2*a - 5*v + 5 = 0. Suppose 0 = -2*r + a*n - 19, 7*r - 4*r - 5*n = -16. Is r a composite number?
False
Let c be (56/(-6))/(5/(-15)). Suppose 0 = -3*q + 5*q - c. Is q a composite number?
True
Let h = 5 - 5. Suppose -3*f - 2*f + 10 = h. Suppose -73 = -3*l - 4*c, -2*l + 99 = f*l