 = q + 3*s - 436, -2*q - 2*s = -660. Is q composite?
True
Let b be (-2)/(24/45)*-4. Is (66/(-10))/((-3)/b) a prime number?
False
Suppose -2566 = -v - 213. Is v a prime number?
False
Let o(a) = -a - 4. Let u be o(-4). Suppose u*m - 148 = -2*m - 4*c, 0 = -3*c - 6. Suppose -2*k = 2*r - 158, k - m = -4*r - 11. Is k a composite number?
False
Is (-4)/(-18) - 4219/(-9) prime?
False
Let a(n) = -n + 14. Let c be a(11). Suppose c*u - 6*u = -231. Is u a composite number?
True
Let r = -7 + 55. Suppose 4*l - 2 = 3*l. Suppose -92 = -5*w - 3*h, -4*w + r = l*h - 26. Is w prime?
True
Is (58/8)/(6/72) prime?
False
Let r(p) = p**2 - 6. Suppose 2*q + 3 = -q. Let m be q*(-1 + (0 - -6)). Is r(m) composite?
False
Is -26*(-2 - 3/6*27) a composite number?
True
Let g = -8 + 12. Suppose g*m = -0*m + 2564. Is m a composite number?
False
Let g(s) = 32*s**2 - 4*s - 7. Is g(-3) a prime number?
True
Let a = 65 + -71. Let u(p) = p**2 - 1. Let r(l) = 4*l**2. Let f(g) = r(g) - 3*u(g). Is f(a) a prime number?
False
Let o(z) be the third derivative of 2*z**5/15 + z**4/24 - 5*z**3/6 - 3*z**2. Let h = -2 - -6. Is o(h) prime?
True
Let j(l) = 32*l + 2. Let o be j(-2). Let d = o + 129. Is d a composite number?
False
Let r(j) = -j**2 + j - 1. Let o be r(3). Let g(z) = 9*z**2 + 9*z - 4. Let h(l) = -13*l**2 - 13*l + 6. Let y(c) = o*g(c) - 5*h(c). Is y(3) composite?
True
Let f = 1392 - -216. Suppose a + 4*a + 3*u = -f, -u + 320 = -a. Is (-3)/6 + a/(-6) prime?
True
Let h be 204*(42/9 + -2). Suppose 2*t = -4*c + h, 5*c - 813 = -4*t + t. Suppose 5*f = -o + t, 0*f - 58 = -f - 5*o. Is f composite?
False
Let f(h) = h + 7. Let t be f(-5). Suppose t*y = 4*u + 30, 3*y + 3*u - 63 = -0*y. Is y composite?
False
Let k(n) = 101*n**2 + 3*n + 7. Is k(-3) a composite number?
False
Suppose -3*t + 4 = -11. Let r(m) = -2*m + 2. Let h be r(-6). Suppose 3*q + h = t*q. Is q composite?
False
Let w = 7 - -7. Suppose -2*o - 5*m + 18 = 0, -w = -3*o - 3*m + 4. Is (o/(-12))/(1/(-165)) prime?
False
Suppose -x + z = -3 - 2, 5*z = 2*x - 19. Let t = x + -3. Is t/2 - 62/(-4) prime?
False
Let r = 4 + 0. Suppose 107 - 335 = -r*w. Is w a prime number?
False
Let g = -15 - -8. Let v(k) = -k**2 - 14*k + 3. Let t be v(g). Let b = 101 - t. Is b a prime number?
False
Let d be (-4)/(-3)*(-15)/(-10). Suppose -d*b = b - 105. Is b a composite number?
True
Suppose -3*c - 63 + 24 = 0. Is (-6099)/c - (-4)/(-26) a prime number?
False
Suppose w - 314 = 3*d + 345, -3*w + 1933 = 2*d. Is w a composite number?
False
Let t(g) = 4*g - 6. Let k(j) = -j**2 - 7*j + 6. Let f be k(-9). Let v = f - -17. Is t(v) composite?
True
Let u(j) be the second derivative of -23*j**5/10 - j**4/6 + j**3/6 + 3*j. Let q be u(1). Let n = q + 84. Is n a prime number?
True
Suppose w - 51 = -h, 2*w - w - 99 = -2*h. Suppose -3*l + h = 4*j + 2*l, -5 = j - 3*l. Is j a composite number?
False
Let z be 6/39 + 37/13. Suppose -v - 2*i = -15, -v + 2*v = -5*i + 30. Suppose v*p - z*p = 52. Is p prime?
False
Let j = -10 - -17. Let h(z) = 5*z - 8. Let d be h(j). Is 3045/d + (-2)/(-9) a prime number?
True
Suppose 4*v = 5*x + 5923, 6*v - 3*x = v + 7394. Is v composite?
True
Let x = 80 + -56. Let h = x - 9. Is h composite?
True
Let x = 104 - -93. Is (x - -2) + 12/6 a prime number?
False
Suppose -2*j - 3*j + 205 = 0. Let m = 36 + j. Is m a prime number?
False
Let y(r) = 1 - 5 + 3 + 3 + 349*r. Is y(3) a composite number?
False
Let f(y) = 12*y**2 + 5*y - 5. Let i = 11 + -8. Is f(i) prime?
False
Let s(y) = -y**2 - 7*y - 2. Let w be s(-7). Let l(v) = -v**3 - 5*v**2 + 11*v + 4. Let k be l(-7). Is (k - 2/1) + w a composite number?
True
Let t(m) = 4*m**3 + 2*m**2 + m - 36. Is t(11) a prime number?
False
Let b(q) = -q**2 - 3*q. Let w be b(-5). Is w/35 - 2043/(-21) a composite number?
False
Let u be -4*1*(-339)/6. Let b = u - -169. Is b composite?
True
Let n(k) = -k**3 - 10*k**2 - 10*k - 6. Let x be n(-9). Let p(a) = 26*a**2 - 2*a - 2. Let f be p(x). Suppose l + l - f = 0. Is l a prime number?
True
Suppose -2*a = 4*q, -q - 2*q = 5*a + 14. Let u be 1 + (89 - q - 2). Suppose u + 46 = 4*f. Is f a composite number?
True
Suppose d + f + 170 = 6*d, -3*f - 15 = 0. Suppose w = 44 + d. Is w composite?
True
Let c be (-2)/4 + (-373)/(-2). Suppose -2*b + 3*f + 143 = -0*b, -5*f = 3*b - c. Is b a prime number?
True
Let i(l) = -l**3 - 2*l**2 + l - 6. Let d be i(-6). Suppose 3*w - 2*c = -d, -4*w - 2*c - 196 = 2*c. Let m = w - -69. Is m a composite number?
False
Suppose -1 + 5 = y. Suppose -5*r + 110 = 5*w, -y*r + 5*r = 2*w - 41. Is w a prime number?
False
Suppose -223 = -2*m + m. Is m composite?
False
Let r(h) = 835*h + 4. Is r(1) prime?
True
Let u = -460 + 1325. Is u prime?
False
Let r = 2133 + -1412. Let o = r - 452. Is o a composite number?
False
Let r(x) = -x**3 - 3*x**2 + 6*x + 6. Let c be r(-4). Let n(a) = 4*a**2 - 1. Let t(v) = 4*v**2 + v - 1. Let l(h) = 3*n(h) - 2*t(h). Is l(c) a prime number?
True
Let y = -114 + 119. Let r be 6/(((-9)/(-2))/3). Suppose x - 32 = -4*w, 2*w - y = -w + r*x. Is w a prime number?
True
Let d(c) = c**3 - 3*c**2 - 5*c + 9. Suppose 4*t - 2*t = 2. Let g = t + 5. Is d(g) a composite number?
True
Let c be 77/(-1 - 6/(-5)). Let t(o) = -o**2 - 11*o + 3. Let h be t(-11). Suppose h*z + 2*z - c = 0. Is z a composite number?
True
Suppose -2*i - 2661 = -5*i. Is i prime?
True
Let i = 537 + -314. Is i a composite number?
False
Let n(h) = 165*h**2 - 9*h - 43. Is n(-6) a prime number?
False
Suppose f + 4*f = j + 57, 0 = 3*j + 3*f + 153. Suppose 0 = 4*h - 3*p + 117, 5*p = -3*h - 111 - 13. Let z = h - j. Is z prime?
True
Let l(c) = c**3 - 3*c**2 + 2*c. Let n be l(2). Let i(w) = -w**3 + 4638. Let a be i(n). Is 4/(-14) + a/14 prime?
True
Is (-4 + -1)/((-5)/835) composite?
True
Let d be ((-8)/3)/(1/6). Let u = -3 - -2. Let f = u - d. Is f composite?
True
Is (3367/14)/((-3)/(-6)) a composite number?
True
Is (10/8*2)/(25/11150) a prime number?
False
Suppose -5*c + 6*q + 900 = q, 5*q = 4*c - 717. Suppose 22 = 2*x - 72. Suppose 2*k - x = c. Is k composite?
True
Suppose -4*a + 11*a = 3353. Is a a composite number?
False
Is (-6)/(-36) - (-2 - (-1858)/(-12)) a composite number?
False
Let j be (4/(-6))/(6/(-9)). Let p = -216 - -136. Is (p + j)/(-4 - -3) composite?
False
Let r(m) = 13*m**2 + 2*m + 8. Let f be r(-7). Suppose 5*h = 534 + f. Suppose -5*a = -0*a - 2*x - h, 0 = 2*a - 2*x - 92. Is a prime?
True
Suppose -4769 = -4*k - 3*i, 5*k + 5*i - 3574 = 2*k. Is k composite?
False
Let x = -3059 - -6040. Is x prime?
False
Let o(n) = 3*n**2 - 20. Let p(h) = h**2 - 7. Let w(b) = 3*o(b) - 8*p(b). Let l be w(-4). Suppose -3*f - 4*u + 10 = -l, -2*f - 4*u = -8. Is f a prime number?
False
Let m(h) = 73*h + 2. Let c be m(-2). Let p = c - -201. Is p a prime number?
False
Is (-28 - -2)*29/(-2) + 4 a prime number?
False
Suppose r = 4*z + 2, -3*z + 0*z = -2*r - 1. Let t = r + 4. Is 111/3 - 0/t a prime number?
True
Let x be 7/3 + (-4)/(-6). Suppose -3*d + 7*d - 1164 = 0. Suppose d = x*u + 5*p, u - 3*p - 194 = -u. Is u prime?
True
Suppose -2*t = 3*t + 15. Let n be (t/2)/((-3)/4). Suppose -4*y + 4*c = -104, -n*y + 49 + 8 = -3*c. Is y a prime number?
False
Let p(l) be the first derivative of l**4/24 + l**3/2 + l**2 + 3. Let r(b) be the second derivative of p(b). Is r(7) prime?
False
Is ((-769)/2)/(-2 - (-7)/4) a prime number?
False
Let z(s) = -8*s**3 - 2*s**2 - 1. Let d be 2 - 4 - 0/2. Is z(d) prime?
False
Suppose 3*v - 100 = -3*k + 533, 0 = -3*v - 4*k + 629. Is v a composite number?
True
Let p(a) = -6*a + 4. Let n be p(-6). Let z = 71 - n. Suppose 0 = 5*y - 2*j - 118, -y + 3*j + z = -3. Is y a composite number?
True
Let u(o) = 149*o**2 + 3*o - 15. Is u(-5) prime?
False
Suppose 3*j - 2364 = -3*i, j + 4*i = -2*j + 2363. Is j a prime number?
False
Let m be (-1 - 20/3)*3. Let f be m/7 + 2/7. Let c = f - -17. Is c composite?
True
Let n(a) = 6*a**2 - a + 6*a**2 - 3 + 5*a + 0*a**2. Suppose 0 = -3*h + 7*h - 8. Is n(h) prime?
True
Suppose -4*j + 8*j - 4 = 0. Let o be (j + 74)/(2/12). Suppose -o = -5*s + 5*q, 4*q = 5*s + 2*q - 465. Is s a composite number?
True
Let n be 89 - (-1 - -1)/(-3). Let j = n - 46. Let u = j - -34. Is u a composite number?
True
Let m = -11 - -15. Suppose m*g = -h + 35, 2*h - 125 = g + 2*g. Suppose a - o = 55, -a - o + h = -0*o. Is a a composite number?
True
Suppose 0*z + 4*x + 23 = 3*z, z - 5*x - 15 = 0.