x = 4*a. Is a composite?
True
Let k(p) = -307*p + 8. Is k(-5) composite?
False
Let n be 110/25 + (-4)/10. Let y be n/((-32)/(-118))*4. Suppose -2*m - y + 217 = 0. Is m composite?
False
Let g(f) = 14*f + 3. Is g(8) prime?
False
Let q be 2/3*15*1. Let z(i) = -i + 5*i - 3*i + q*i. Is z(1) composite?
False
Let y(n) = -4*n - 3. Let f be y(-2). Let w = -3 + 5. Suppose -p + 29 = -5*b, 0 = f*p - 4*b + w*b - 99. Is p composite?
False
Let j(q) = 4*q**3 + 2*q**2 - 4*q + 5. Is j(3) a composite number?
True
Suppose -3117 = -7*i + 2476. Is i a prime number?
False
Suppose 0 = -3*q - 3*d + 8*d + 339, -4*d = -12. Is q prime?
False
Is ((89/4)/(1/4))/1 a prime number?
True
Let l be 7 - 5 - (-4)/2. Is 10/l*(-11 - -33) a composite number?
True
Let k(c) = -c**3 - 10*c**2 - 3*c + 5. Let x(f) = -5*f**3 - 51*f**2 - 15*f + 25. Let q(t) = -11*k(t) + 2*x(t). Is q(-5) prime?
False
Let a = -6 - -3. Is (1 + 0)/(a/(-39)) composite?
False
Suppose -u + 2*u - 5*b - 759 = 0, -b = -u + 743. Is u prime?
True
Let f(u) = 6 + 1 + 0 + u**2 + 2*u**2 + 7*u. Is f(-5) composite?
False
Let h be 0 - (9/3 + -4). Suppose -6 + h = -5*w. Is 1/(w/(220 - -3)) composite?
False
Let s be 0 - 289 - (-6)/2. Let j = 409 + s. Is j composite?
True
Suppose -2*k - 3*y = -61, -3*k = -0*k - 2*y - 111. Is k a prime number?
False
Is ((-22)/8)/((-3)/84) prime?
False
Suppose 0 = 12*s - 7*s - 1435. Is s a prime number?
False
Let n(k) = k - 11. Let f be n(5). Is f/4*2876/(-6) a prime number?
True
Let j(g) = -9*g**2 - g + 1. Let t be j(1). Let n be 6/(-9) + (-33)/t. Is 1 - n - -2 - -35 composite?
True
Let y be 6*4*1/6. Suppose 0 = l + 1, -z - y*z + 4*l + 34 = 0. Suppose -2*k = -252 + z. Is k composite?
True
Let n(m) = -12*m - 9. Is n(-5) a prime number?
False
Suppose 15 = -0*a + 3*a. Suppose -5*i = -20, -2*i = 2*y - a - 5. Is 33 + (y - (-2)/(-2)) a prime number?
False
Let s be 4/2 + 5 + -20. Let j = 44 + s. Is j a composite number?
False
Let m(g) = g**2 + 8*g - 10. Is m(-13) composite?
True
Let r(h) = -100*h + 7. Is r(-4) composite?
True
Let j(l) = -l**3 + 95. Let d(q) = q**2 - 2*q. Let p be d(0). Is j(p) composite?
True
Let p(u) = -3*u - 2. Suppose 2*s - y = -45, 4*y + 25 = -2*s - 15. Let o = s - -15. Is p(o) prime?
True
Suppose 3*r + 6 = 39. Let u(k) = 13*k**2 + 5*k - 24. Let v(n) = -7*n**2 - 2*n + 12. Let i(x) = r*v(x) + 6*u(x). Is i(-11) prime?
False
Let i = -8 + 22. Is (-332)/(-5)*35/i a composite number?
True
Let p(u) = 30*u - 17. Let g be p(12). Suppose -5*c = -3*w - 1022, 2*c = -3*w + 70 + g. Is c a composite number?
True
Let w(f) = -f**3 - 6*f**2 + 4*f - 1. Let l be w(-7). Suppose -5*o = -l, 5*u - 2*o + 47 = -36. Let q = u + 64. Is q composite?
True
Let m = 0 - -4. Let h(w) = -4 + 0 + 21*w - m + 1. Is h(6) a composite number?
True
Let q be (3/(-1))/(0 - 1). Suppose -5*h = -q*h - 124. Is h prime?
False
Let r(h) be the first derivative of h**4/4 - 5*h**3/3 + h**2/2 - 3*h - 2. Is r(5) prime?
True
Let k(a) = a + 5 + 2*a**2 + 2*a**2 - 4. Let s be k(-1). Is (0 - -2)/(s/62) prime?
True
Suppose b - 5*t - 93 = 0, b = 5*b + 4*t - 420. Let d = b - 64. Is d composite?
True
Suppose 0*l - 5*h = 3*l - 368, 4*l - 480 = 4*h. Is l composite?
True
Let p(x) = -14*x - 1. Suppose 0 = -3*k + k - 8. Is p(k) composite?
True
Let r(x) = 1 + 2 + 2*x + 8*x. Is r(5) a prime number?
True
Let r(u) = 32*u**3 - u**2 - 3*u + 3. Let h be -1*(3 + -5) - 0. Is r(h) prime?
False
Let g(n) = -4*n**2 + 1. Let l be g(1). Let t be 9/l - (-185)/1. Suppose 4*h = 2*h + t. Is h a prime number?
False
Suppose 4*m - 1583 + 267 = 0. Let c = m - 142. Is c composite?
True
Let p = -5 - -8. Suppose c + 1 - p = 0. Suppose 2*x + c*y + 156 = 4*x, 2*x - 158 = 4*y. Is x prime?
False
Suppose -m - 3*z - 2*z + 492 = 0, -4*z + 20 = 0. Let t = m - 282. Is t prime?
False
Let u(b) = b**3 - 9*b**2 + 10*b + 7. Let q be u(8). Suppose 7 = 4*j + q. Let f(s) = 21*s**2 - 5*s - 3. Is f(j) composite?
False
Let d be 15/6 + (-1)/2. Suppose -m = d*m - 6. Suppose -5*g + 3*a = -m*a - 50, 2*g - 4*a = 10. Is g a prime number?
False
Suppose 5*s - 785 = -0*s. Is s a composite number?
False
Suppose 481 - 3765 = -4*y. Is y a prime number?
True
Is (-2)/(-8) - 336475/(-100) composite?
True
Suppose 0 = -5*o + 123 - 38. Let w = o + -5. Suppose 163 = 5*i - w. Is i composite?
True
Suppose -8*a + 4*a = -860. Is a prime?
False
Suppose 0 = h + 4*h - 20, 0 = 2*r + 2*h - 138. Is r prime?
False
Let w = 54 - -76. Suppose -w - 159 = -i - 3*v, 5*v + 909 = 3*i. Is i prime?
False
Let d(u) = -2*u**3 - 2*u**2 + 2*u + 2. Let h be d(-2). Suppose 0 = -2*a - 30 - h. Let v = a + 57. Is v a composite number?
True
Let m = 242 - 108. Is m composite?
True
Suppose -d + 988 = 3*d - 3*t, -3*t + 988 = 4*d. Is d composite?
True
Let u(y) = 5*y**2 - 2*y + 2. Let m be u(3). Is (m - -2 - 0)*1 prime?
True
Let i be (-1995)/(-9) - 2/(-6). Let q = i + -131. Is q a prime number?
False
Is -6 - -3 - (-911 - -1) prime?
True
Let y = 2 - -3. Suppose -y*w - 4*t + 2*t = -177, 4*t + 201 = 5*w. Is (w/2)/((-2)/(-4)) prime?
True
Suppose 0*b + b = r + 4, -3*r - 20 = b. Let j(d) = d + 4. Let p be j(r). Let k = p + 4. Is k a composite number?
False
Suppose 5*a - 19 + 2 = -y, -23 = -5*a - 4*y. Is (-23)/(a + 44/(-14)) a composite number?
True
Is ((-46)/(-23))/(2/3433) composite?
False
Let c = -177 - -410. Suppose 6*k - k - g - c = 0, -4*g = -k + 39. Is k a prime number?
True
Let y(g) = -2 - 1 + 2*g**2 + g - 2 + 13*g. Is y(-10) a composite number?
True
Suppose 0 = 3*z - 6*z + 255. Suppose 3*s - z = -22. Is s prime?
False
Let t = 194 - 416. Let a = t + 529. Is a prime?
True
Let u be ((-27)/(-12))/((-6)/16). Is u/(-9)*(-1062)/(-12) composite?
False
Let q(g) = 0*g**2 - 6*g**2 - g**3 - 3 + 3*g - 2. Suppose 0*y = -4*y - 28. Is q(y) a composite number?
False
Suppose -895 = -h + s, 3*h - 3580 = -h - 5*s. Suppose f - 5*v = 218, -4*f - v + h = 2*v. Is f a composite number?
False
Let u(f) = 807*f + 9. Is u(2) prime?
False
Let y = -1563 + 2612. Is y a prime number?
True
Let h(t) = t + 34. Suppose 0 = 5*s - s. Let o be h(s). Is 1/((-2 - -3)/o) a prime number?
False
Suppose 4*h - 5*i - 41 = 0, h + 0*h = -i + 8. Let k = 15 - h. Is k a composite number?
True
Let t = -1 + 1. Suppose b - 2*q - 7 = 0, -4*q = 5*b - 1 - 6. Suppose 0*y + 25 = 2*j + b*y, t = 4*j + 4*y - 52. Is j a prime number?
False
Let s(f) = f**3 + 4*f**2 + f + 4. Let c be s(-4). Suppose 5*n - 850 + 0 = c. Suppose 0 = -5*k - 3*j + 8*j + n, -j = k - 40. Is k prime?
True
Let x = -49 - -33. Let n = x - -32. Is ((-28)/n)/(1/(-20)) prime?
False
Let t(k) = 24*k - 13. Is t(18) a composite number?
False
Suppose 4*o = 3*u - 5*u + 10, -5*u + 25 = o. Suppose 0 = -u*l - 2*q + 772, 3*q - q + 8 = 0. Is l/5 + (-1)/5 composite?
False
Let j be -2*(734/(-4) - 0). Suppose 2*k = -2*k + 240. Let m = j - k. Is m prime?
True
Let u = 14 - 37. Let o = 44 + u. Is o a composite number?
True
Let r be 2/(-8) - (-1602)/8. Let m = -129 + r. Is m*(-3 + 0)/(-3) a composite number?
False
Let x(r) be the third derivative of r**6/120 + 2*r**5/15 - r**4/6 - 3*r**3/2 + r**2. Is x(-6) composite?
True
Let w(r) = -r**3 + 4*r**2 + 7*r - 4. Let a be w(5). Let m(h) = 8*h - 9. Let j(p) = 39*p - 46. Let l(k) = -2*j(k) + 11*m(k). Is l(a) a prime number?
True
Let i(o) = -o**3 - 8*o**2 - 4*o + 27. Is i(-14) a composite number?
False
Suppose -2*q + 15 = -5*q, 5*n + 15 = -4*q. Let w = -2 - n. Is 1 + w/(-1)*6 a composite number?
False
Suppose 22*d - 10*d = 13404. Is d prime?
True
Suppose -3*m - 149 = -x, -2*x - 4*m = -24 - 224. Is x prime?
False
Suppose -4*z + 5 + 623 = 0. Is z a prime number?
True
Suppose -1350 = -5*w + 4165. Is w prime?
True
Let b(h) = -34*h - 9. Let s(w) = -23*w - 6. Let c(n) = 5*b(n) - 7*s(n). Let j be c(4). Let m = j - -113. Is m prime?
False
Suppose 0*d = 4*d - 24. Is d prime?
False
Is (-6)/21 - (-1866)/14 prime?
False
Let k(a) = -a**3 + 5*a**2 + 7*a - 4. Let f be k(6). Is f + (-1 + 2)*35 a composite number?
False
Suppose 3 = -o + 2*c, -o - c = -0*o - 6. Let j be (-476)/(-12) - 2/o. Suppose 2*a - 67 = j. Is a prime?
True
Let q(g) = -g - 8. Let d be q(-10). Suppose -c = x - 9, -d*x - 7 = -2*c + 19. Is c prime?
True
Is (2 - -1) + 3528/9 a prime number?
False
Let j(x) = 140*x + 79. Is j(6) prime?
True
Let k be 4/6*-3*1. Is (k - 36)/((-8)/28) prime?
False
Let x(a) = -3*a + 106. Is x(0) prime?
False
Let n = 33 - -32. Let b be 2/(6/