 -3*l = 3*n - 9. Suppose -k = 4*u - 11, n*u - 2 - 2 = 0. Is k a prime number?
True
Let b = 3484 - 1730. Is b prime?
False
Suppose 3*p - 5 = 7. Suppose 139 = p*u - 5*a, u - 3*a = 3*u - 53. Is u prime?
True
Let n = -77 + -73. Is 1 - 3 - (n + 3) a composite number?
True
Suppose 0 = -5*h - 138 + 808. Let j = 193 - h. Is j prime?
True
Let d be 4/(-8) + (-5)/(-2). Suppose -d*n = -4 - 0. Suppose -2*j = -5*p + 777, -3*p + 514 = n*j + 35. Is p composite?
False
Suppose n - 20655 = -5*t - 287, -4*t + 16298 = 2*n. Is t a composite number?
False
Suppose 7780 = 31*r - 27*r. Is r prime?
False
Let q(p) = -p - p + p - 3. Let s be q(-8). Suppose s*c - 12 = -0*c - 2*w, -4*c - w + 12 = 0. Is c a composite number?
True
Is (-15)/(-15) - (-418)/1 prime?
True
Let s(u) = 2*u**3 + 6*u**2 - 4*u + 15. Is s(7) prime?
True
Suppose -3*m = -9, m + 73 = -2*z - 0*m. Is 3*z/(-24)*44 prime?
False
Let u(w) = -2*w**2 - 14*w + 9. Let p(s) = s - 1. Let j(a) = -3*p(a) - u(a). Is j(-8) a composite number?
True
Let g be (-8)/(-20)*10*1. Suppose -2*i - 190 = -g*i. Is i composite?
True
Let w(u) = u**2 + u + 59. Is w(0) a prime number?
True
Suppose -8*w = -3*w. Let g = w - 2. Is 2/4 + (-41)/g composite?
True
Let s be 6/10 + (-1486)/10. Let h = -64 - s. Suppose d + v - h = 0, -2*d - d + 3*v = -282. Is d a composite number?
False
Suppose 0*u - 5*k + 155 = 5*u, 2*u + 3*k - 67 = 0. Let l(n) = n**2 + 6*n - 3. Let v be l(-7). Suppose -u = -v*b + 58. Is b prime?
False
Is 250 + -5 + (4 - 0) a prime number?
False
Let k(z) = 9 + z - 3*z + z. Let m be k(8). Is 48 + (0 - -1)/m composite?
True
Suppose 0 = 4*o + 12, 2*z - 15 - 2 = 5*o. Let v(s) = -2 + 2*s + 2*s**2 + 16*s**2 + z. Is v(1) a composite number?
False
Let m(c) = -4*c + 22*c**2 + 3*c + 3*c + 1 + 2*c. Is m(3) a prime number?
True
Let c = 155 - 110. Let t = c - -52. Is t a composite number?
False
Let k(m) = m**3 + 21*m**2 + 6*m - 5. Is k(-17) composite?
False
Let h(l) = -l**2. Let t be h(0). Let o(x) = x + 511. Is o(t) prime?
False
Let q = 374 + -211. Is q a composite number?
False
Suppose 538 = 3*x + 4*b - 5*b, 0 = -2*x - 2*b + 356. Is x composite?
False
Let m = -370 - -1613. Is m a composite number?
True
Let u(w) = 6*w**2 - w. Let f be u(1). Suppose -f*k = 25, 5*r - 2*k + 7*k = 2060. Suppose -2*a + r = 5*q, 2*a + 2*a + 79 = q. Is q a composite number?
False
Let z = 4 + -2. Let h(f) = f - z*f - 3 - 12*f**3 - 2*f**2 - f. Is h(-2) prime?
True
Suppose 2*d + 3 = 7. Suppose -3*o - 4*b = o - 40, 5*o + d*b - 38 = 0. Is o a composite number?
True
Let b be (10/7)/((-1)/(-7)). Is 45/b*82/3 a composite number?
True
Let b be (-5 - -1)*(-318)/8. Let m(p) = p**2 + 2*p + 2. Let x be m(-2). Suppose 0 = -x*n - n + b. Is n prime?
True
Suppose 4*r + 0*r - 12 = 0. Let h be 1/(-2) - 21/(-2). Let p = h - r. Is p a prime number?
True
Suppose -l + 8 = -0*l. Let m be (-1)/(-1*2/l). Suppose -20 = 2*a - m*a. Is a prime?
False
Let o(z) = z**2 + 3*z + 1. Let m be o(-4). Let a(r) = r**3 - 4*r**2 - 4*r - 4. Let q be a(m). Is (q + 0)*-1*-15 a composite number?
True
Let z(b) = 2922*b + 5. Is z(1) composite?
False
Suppose 0 = 3*v - 5*l - 1701, -6*l - 1136 = -2*v - 2*l. Is v prime?
False
Let u(m) = 2*m - 20. Is u(13) composite?
True
Let w be (-4)/10*(2 - 7). Let t(n) = -n - 1. Let q be t(-5). Suppose -w*d = -3*c - q + 503, c + 4*d - 143 = 0. Is c a prime number?
True
Suppose 2*w - 7*w + 1105 = 0. Suppose -2*i + 4*l + w = 67, 5*i - 360 = 5*l. Is i prime?
True
Suppose j - 221 - 86 = 0. Is j a composite number?
False
Let u = 17 - 11. Suppose u = 5*f - 3*f. Suppose 3*n + 104 = 5*d, -f*d + 4*d = 4*n + 14. Is d prime?
False
Let w(l) = -l**3 + l + 1. Let i(s) = -5*s**3 - 7*s**2 + s + 7. Suppose -4*h = 2*m - 3*m - 21, -m - 5 = 0. Let z(u) = h*w(u) - i(u). Is z(-6) a composite number?
True
Suppose 0 = 3*m - 2*m. Suppose m*q - 2*q - 5*l = -26, -2*l = -2*q - 2. Suppose 0*k + 4*b - 10 = -q*k, 10 = k - 2*b. Is k a composite number?
True
Let q(b) = 116*b**2 + 8*b - 13. Is q(3) a composite number?
True
Let w = 326 - 187. Suppose -4*q + w = -1. Is q composite?
True
Let f = -10 + -1. Is 2/f - 981/(-11) a composite number?
False
Suppose -b = -4 - 7. Suppose 4*c = b + 17. Let i = 12 + c. Is i a composite number?
False
Let a = -1 + 20. Let p(m) = -m**2 + 17*m - 5. Let o be p(7). Let n = o - a. Is n composite?
True
Is (16 + -14)/(2/353) a composite number?
False
Let b be ((-3)/2)/((-1)/(-2)). Let o(u) = -5*u**3 - u**2 - u - 3. Let j be o(b). Suppose -v + 13 = s - 11, 0 = 5*s + 2*v - j. Is s composite?
True
Let g = -13 + -217. Let f = g + 343. Is f a composite number?
False
Let l(x) = -12*x**2 - 16*x + 10. Let b(r) = r**2. Let o(f) = -10*b(f) - l(f). Is o(-12) composite?
True
Suppose 0*p = 4*p - i - 16, -20 = -5*p - 5*i. Suppose 0 = 5*m - 14 + 4. Suppose -3*k = m*j - 222, p*j - 4*k - 755 = -311. Is j a composite number?
True
Let d(g) = 54*g - 1. Suppose 0 = 3*x - 1 - 2. Is d(x) a composite number?
False
Let j(r) = 2*r - 3. Is j(11) a prime number?
True
Let r be 3 + 2/(2/1). Suppose -r*d = n - 1226, 0 = 5*d + n - 5*n - 1543. Is d a prime number?
True
Let p be (-2*(2 - -293))/(-2). Suppose 2*n - p = o + 124, o + 630 = 3*n. Is n composite?
False
Is (0 - 163)/(1*-1) composite?
False
Is ((-52)/(-16) + -3)*172 a composite number?
False
Let g(n) = n**2 + 7*n - 9. Suppose 4*z + 2*h - 15 + 49 = 0, -37 = 4*z + 3*h. Let l be g(z). Is 6/l*(-225)/6 a prime number?
False
Let m(y) be the second derivative of -y**8/6720 + y**7/2520 + 169*y**5/120 + y**4/3 - 3*y. Let b(f) be the third derivative of m(f). Is b(0) a prime number?
False
Let t = 50 + -70. Let x(g) = -12*g + 9. Let a be x(8). Let u = t - a. Is u prime?
True
Suppose -3*u + 2 = 5*a, -2*u + 13 = -2*a + 1. Suppose 2 = b + d, d = 5*b - u*b. Is (-164)/(-16) - b/4 a composite number?
True
Suppose -3*y = -y - 120. Let s = y + -27. Is s a composite number?
True
Let q = 3169 - -738. Is q a composite number?
False
Let p(w) = -w**3 - w**2 + w + 3. Let z be p(0). Suppose -5*j + z*b = -58, 2*b - 6*b + 72 = 4*j. Is j a prime number?
False
Suppose -2*o = -0*o - 446. Is o a composite number?
False
Let c(h) = h**3 + 7*h**2 - 2*h + 3. Let m be c(-5). Suppose m - 12 = l. Is l a prime number?
False
Let v(g) be the second derivative of 11*g**3/2 - 5*g**2/2 - 4*g. Is v(4) a prime number?
True
Let z(v) = -17*v + 59*v + 3 + 2. Is z(6) prime?
True
Let v = 312 - 185. Is v a prime number?
True
Let y(a) = a + 3. Let t be y(0). Let o(u) = 22*u + 1. Is o(t) a composite number?
False
Suppose 0 = -4*k + 2*y + 1858, -8*y = -4*k - 4*y + 1848. Is k a prime number?
True
Let r be 182/3 + (-22)/33. Suppose -20 = 2*j - 6*j. Let h = r - j. Is h a prime number?
False
Let r = 79 + -53. Is r a composite number?
True
Let h = -15 - -16. Is (-446)/((-6)/3*h) a composite number?
False
Suppose -f + 79 + 30 = 0. Is f a prime number?
True
Let m be 2 + (-5)/(20/(-212)). Let b = 132 - m. Is b prime?
False
Suppose 5*g = -5*o + 7 - 2, 0 = 4*o - 4*g + 4. Suppose o = s + 4*s + 525. Let i = 202 + s. Is i composite?
False
Suppose n + 1 = -0*n. Is -3*-5*(0 - n) prime?
False
Suppose 3*i - 64 - 2 = 0. Suppose 0 = -0*a + 2*a - i. Is a a composite number?
False
Let q(o) = 4*o**2 + 19*o - 2. Is q(-5) prime?
True
Let x(y) = -324*y + 1. Is x(-2) a prime number?
False
Let c be 1*(2 - 0) - 3. Is (-130 + c + 0)*-1 prime?
True
Let k(w) = 2*w - 8. Suppose 3*b = -5*x + x + 2, 5*x + 8 = -2*b. Let t be k(b). Suppose -s = t*s - 425. Is s a prime number?
False
Let j be (24/(-14))/1*-7. Suppose m + j = -5*b, 4*m + 3*b - 7 = -4. Suppose 0 = z + d - 150, 4*z = m*z + 2*d + 165. Is z a prime number?
False
Let m be (-10)/(-6) + 1/3. Let x(o) = 4*o + 2. Let z be x(m). Suppose -2*p + 56 = -2*q, 4*q = 2*q - z. Is p a composite number?
False
Suppose -3*r + 40 = -5*o, r + 2*o - 28 = -0. Is (652/r)/((-1)/(-5)) a composite number?
False
Suppose 3*r - 4*r = -17. Let v = 24 - r. Suppose 0 = -3*w + a + 3 + v, 0 = -a - 1. Is w a composite number?
False
Let c(s) = -s. Let d = 6 - 9. Let q be c(d). Suppose -y = -q - 32. Is y a composite number?
True
Suppose -3*s - y = -0 - 8, 0 = 5*s - 5*y - 40. Let f be (-377)/(-5) - s/10. Suppose 0 = -d - 2*d + f. Is d composite?
True
Is 4/(-2) - (-1449)/9 prime?
False
Suppose -2*j - 2*j + 12 = 0. Suppose 2*d - p - 4 = 3, -j*d - 6 = 4*p. Let s = d + 1. Is s composite?
False
Suppose 0 = 5*b + 4*r - 668, 3*b -