 10706 = 162. Suppose 2176 = 4*l + 3*d, -y = -0*l - 5*l - 3*d. Is l prime?
True
Let z = -20 + 32. Is ((-8)/z)/(4/(-462)) composite?
True
Let j(k) = 9*k**3 + 5*k - 7. Is j(3) a prime number?
True
Is (-11208)/16*(1 - 3) a composite number?
True
Suppose -3*n = -n - 282. Is n a composite number?
True
Suppose 2*r + 306 = 1348. Suppose 0 = 5*v - r + 91. Is v prime?
False
Let t = -3 + -3. Let b(i) = -2*i - 5*i - 4 - 5. Is b(t) a prime number?
False
Suppose -x + 6*x = 705. Is x a prime number?
False
Let k(q) = 59*q + 5. Let u be k(-8). Let r = -168 - u. Is r a composite number?
True
Let a(l) = -15*l + 1. Let c be a(-4). Suppose c + 29 = -5*j. Let m = 25 + j. Is m a composite number?
False
Is 4/7*11/((-110)/(-19145)) a prime number?
False
Suppose -5939 = -3*i + 4*d, -3*i + 5929 = 6*d - 8*d. Is i prime?
True
Let x(y) = 18*y - 5. Suppose 0*b - 4 = -b. Suppose -b*g - 5*f + 11 = 0, -2*g = -0*f + 5*f - 3. Is x(g) prime?
True
Let t(m) = 11*m**2 - 3*m. Let w = -4 - -6. Is t(w) a composite number?
True
Suppose -3*k = -2*l + 10, 2*l + 3*l + k = 8. Let f(n) = -3 - n**2 + n**l - n**3 - 4*n. Is f(-2) composite?
False
Let k = 24 + -24. Is 292 - k - (-1 - 0) a composite number?
False
Suppose 2*r - 12 = -2*i, 4*i = 2*r + 3*r - 3. Let n(k) = 30*k - 1. Is n(i) a prime number?
True
Suppose 5*n = c + 63, -5*c = -n + 3*n - 36. Is n composite?
False
Let x be 6 + (-1)/1 + -1. Suppose 4*s - 5*g - 127 = -0*s, 0 = x*s + 5*g - 137. Is s a composite number?
True
Let x = -10 - -12. Let j(l) = 100*l + 3. Is j(x) a composite number?
True
Let d = -14 + 27. Is d prime?
True
Let g(j) = j**2 - j - 2. Suppose 2*h + 9 = 5*h. Let a be g(h). Suppose -124 + 40 = -a*n. Is n a composite number?
True
Let q(b) = -3*b - 4. Let k be q(-3). Let g(l) = l**3 - 5*l**2 + 7*l + 2. Is g(k) prime?
True
Let r be 1 + (0 - 3)/3. Suppose 3*q - 14 = 1, p - 4*q + 21 = r. Let s = 8 + p. Is s prime?
True
Let j(x) = -266*x - 7. Suppose -2*k - k - 2*z = 16, -3*k - 13 = 5*z. Is j(k) prime?
False
Suppose -63*x - 10645 = -68*x. Is x a prime number?
True
Let d(y) = -y**3 + 16*y**2 + 26*y + 38. Is d(17) a composite number?
False
Let g = 1625 - -3644. Is g prime?
False
Let s = -557 - -291. Let l = 20 - s. Suppose 100 = -2*k + l. Is k a prime number?
False
Let v = -4 - -4. Suppose v = t - 74 - 67. Suppose 0*y = 3*y - t. Is y prime?
True
Suppose -2*b - 32 = -7*b + 3*h, -4*h - 36 = -5*b. Suppose -2*t + b + 3 = -3*a, 2*a - 2 = -2*t. Is t composite?
False
Suppose y = 1 - 0. Let k be -1*(y*-2 + 0). Suppose -k*d - 489 = -5*d. Is d prime?
True
Suppose 4 = -0*x + 2*x. Let a = 5 - x. Is a composite?
False
Suppose -2*j - 380 = -5*d, -2*d + 133 = -j + 4*j. Suppose -5*k = -d - 716. Is k a composite number?
True
Let j(y) = -y**3 + 5*y**2 - 4*y + 4. Let o be j(4). Suppose -1 = a + 3*l, 2*a = 5*l + 15 + 5. Suppose 65 - a = o*s. Is s prime?
False
Let v(n) = 81*n. Let u(c) = c. Let z(w) = 3*u(w) - v(w). Let l be z(-1). Suppose 3*m + 3*h + 2*h = l, 4*m + 5*h = 104. Is m composite?
True
Suppose 270 = -3*c + 4*z + 1157, 889 = 3*c - 5*z. Is c a composite number?
False
Let o(k) be the first derivative of k**4/4 + 5*k**3/3 - 3*k**2/2 + 3*k - 3. Is o(-4) a prime number?
True
Suppose -125 - 405 = -5*h. Is h prime?
False
Suppose 5*q - 316 = -2*y, 6*y - 5*q - 499 = 3*y. Is y a prime number?
True
Let z be (-26 + 0)*91/(-14). Suppose l = -5*h + z - 11, 3*h = -4*l + 649. Is l prime?
True
Let v(a) = -97*a**3 + 2*a**2 - 3*a - 5. Is v(-2) prime?
False
Let c be (2/5)/((-4)/180). Let q be 732/c*18/(-4). Let t = 310 - q. Is t composite?
False
Let w(u) = 2*u**3 - 4*u**2 + 5. Let r be w(4). Suppose 86*i - 10 = 81*i. Suppose -i*q + y - 6*y + r = 0, -q + 2*y + 12 = 0. Is q a composite number?
True
Suppose 8*o = 3*o + 10. Suppose -3*i - 159 = -3*s + 219, 4*s - 510 = -o*i. Is s a composite number?
False
Let p = -66 - -150. Is (p/(-18))/((-6)/477) a prime number?
False
Let x = 39 - 20. Is x prime?
True
Let m(c) = -5*c**2 + c**2 - c**3 - c - 3*c**2 - 3. Let r be m(-7). Suppose 5*b + 2*g = 33, 3*b - r*g + 10 = 35. Is b composite?
False
Suppose -2*z + 92 = -5*p + 415, p + 5*z - 70 = 0. Is p a prime number?
False
Suppose 3*n + n = 4220. Is n prime?
False
Suppose 0 = -4*s + s + 393. Let k = s + -38. Is k a prime number?
False
Is 2 + (-189)/((-12)/4) a composite number?
True
Let u(t) = 8*t**2 + t + 1. Let z be u(-6). Suppose 47 - z = -4*j. Is j prime?
True
Is (-130)/(-35) + -4 - 6687/(-7) composite?
True
Suppose -20 = -4*q + 192. Is q a composite number?
False
Let i be (736/12)/((-3)/(-9)). Let r = i - -7. Is r a composite number?
False
Suppose -s + 2*s = -3*y + 151, 4*s - 5*y = 655. Let j = -47 + s. Is j a prime number?
True
Let q be (-1 + -5)*1*-1. Suppose -r + q*r - 60 = 0. Is ((-66)/r)/((-2)/4) a composite number?
False
Let x(m) be the second derivative of -11*m**3/3 + 3*m**2/2 + 4*m. Is x(-5) a composite number?
False
Is 3/(-15) + (-8028)/(-15) prime?
False
Suppose 4*x - 15 = 5. Suppose 0 = -2*q + 7 + x. Is q prime?
False
Let w be 2/(-3)*654/(-4). Suppose 81 = 2*z - w. Is z composite?
True
Let i be (0 - 2)*(0 + 2). Let s(x) be the third derivative of -x**6/120 - x**5/30 - 5*x**4/24 + x**3/6 + 3*x**2. Is s(i) a prime number?
True
Let f(b) = -103*b - 3. Is f(-4) composite?
False
Let g = 8 - 3. Suppose 0 = 2*b - s - 325, 3*s = g*b + s - 811. Is b composite?
True
Let s = 440 - 650. Let c = -115 - s. Is c a prime number?
False
Suppose -6*a = -5*a - 3. Let r(x) = x**3 - 2*x**2 + 2*x. Let m be r(2). Suppose -2*h + 3*u + 50 = 0, 64 = m*h - 0*h + a*u. Is h a composite number?
False
Let u = 747 + 910. Is u composite?
False
Let c be 20*-1*114/(-5). Suppose 5*y + 6 = 1, 4*r - c = -4*y. Is r a prime number?
False
Is ((-10)/4)/(1/(-106)) a prime number?
False
Suppose 636 = -k - 2*k. Let o = -17 - -356. Let v = o + k. Is v composite?
False
Let s be (-2)/(-5)*1*10. Suppose s*o = 9 + 15. Suppose 2*z - o*z + 88 = 0. Is z prime?
False
Suppose 0 = i + i - 4. Suppose 2*k + i*k = 556. Is k composite?
False
Suppose 4*i - 283 - 5 = 0. Let u = i + 115. Is u a composite number?
True
Suppose 3*u = -u - 4. Is (2/4)/(u/(-14)) a prime number?
True
Suppose -6*y - 232 = -4*y. Let x = y - -214. Suppose 3*h = 5*t - x, 3*h = -t - 0*h + 16. Is t prime?
True
Let l(z) = -z**3 + 7*z**2 - 5*z + 2. Let m be l(6). Let t(u) = 1 + m*u**2 - 2 + 3*u + 0. Is t(2) a composite number?
False
Let m be 2599/9 + 2/9. Suppose 15 = z - m. Suppose -2*u + 934 = 4*l + 332, -2*l + z = 2*u. Is l composite?
False
Let r(y) = 4*y**2 - 16*y + 7. Is r(12) composite?
True
Let m(c) = c - 4. Let w be 5 - -2 - (-2 + 1). Let s be m(w). Is ((-8)/5)/(s/(-10)) composite?
True
Suppose 0 = 2*w - 4*m - 16, -3*w + w - 2*m - 8 = 0. Let d = w + 3. Suppose -5*f + 80 = d*s, 22 = 2*s + 5*f - 23. Is s composite?
True
Let u = -5 - -3. Is ((-4)/6)/(u/465) a composite number?
True
Let s = 99 + -65. Is s a prime number?
False
Suppose 0*h - 175 = 5*h. Is 1208/14 - (-10)/h prime?
False
Suppose 2*i = -2 + 4. Let l(f) be the second derivative of 11*f**4/12 - f**3/3 + f**2/2 - f. Is l(i) prime?
False
Let u(c) = 10*c**3 + 15*c**2 + 13*c - 13. Is u(9) a composite number?
False
Suppose k - 5*k = 0. Suppose k = t + 3*n - 67, -3*n + 139 + 244 = 5*t. Is t a prime number?
True
Is (633/(-12))/(2/(-8)) prime?
True
Is (-4341)/(-27) + 6/27 a prime number?
False
Suppose -5*o + 5*t + 610 = 0, -5*o + 193 + 411 = t. Suppose -28 = l + o. Is -2*(2 - l/(-2)) a prime number?
False
Suppose 4*u = -890 + 266. Let k = u - -249. Is k prime?
False
Let f(g) = -g**3 + 7*g**2 - 1. Is f(2) a prime number?
True
Suppose -29796 = -6*p - 6*p. Is p a prime number?
False
Let j(x) = 682*x**3 - x**2 + 3*x - 1. Is j(1) a composite number?
False
Suppose -3*m + 35 = -13. Let x(q) = m + 2 - q + 31. Is x(0) composite?
True
Let t(f) = -f - 1. Let n(c) = c + 11. Let h be n(-12). Let j(m) = 95*m + 114. Let b(v) = h*j(v) - 114*t(v). Is b(2) a composite number?
True
Is 2 + -4 + 2153 - 2 a composite number?
True
Let t(k) = -11*k - 1. Suppose -2*c = -3*r + 17, -5*c - 4 = 3*r + 7. Is t(c) prime?
True
Let g = -985 + 2346. Is g composite?
False
Suppose 0*b + 4 = -b - 3*x, 5*x = 3*b - 16. Let h(s) = 37*s**2 + 38*s**2 - 11*s**2 - 18*s**b - s. Is h(-1) prime?
True
Suppose -4*k + 30 = 5*a, 7*k - 2*k - 3*a = 19. Suppose -5*y = -k*w + 5, -3*w - 2*w + 2*y + 14 = 0. Suppose -2*l + w = 2*l, -257 = -3*o - 2*l.