5*k = 4*o + 1111. Is k composite?
False
Let d = -3619 - -5242. Is d a composite number?
True
Let o = 7 - 7. Is (o + -22)*35/(-10) prime?
False
Let y be 5163/2 + 3/(-2). Is y/8 + (-1)/(-2) a composite number?
True
Suppose -4*u - 23 - 17 = 0. Let p = 24 - u. Is p composite?
True
Is 2/(11150/2785 - 4) composite?
False
Is (0 - 1) + 3 - (-6946 - -1) a prime number?
True
Suppose 0 = -3*s + 5 - 2. Suppose 3*v + 5*n - 2 = 0, v + 0*n + 2*n + 1 = 0. Is v - (-3)/(2 + s) a composite number?
True
Suppose 273 = -2*f - 45. Is 1/((-162)/f + -1) a composite number?
False
Let g(s) = s. Let a(b) = 30*b + 4. Let z(q) = -a(q) + 12*g(q). Let v be z(3). Let c = -23 - v. Is c a composite number?
True
Is 2/4*(1104 + 10) prime?
True
Suppose -4*u + 2072 = -4*b, -u + b = -2*b - 512. Is u a composite number?
False
Let d(o) = 5*o**2 + 1. Let f be d(1). Let q = 85 + -83. Suppose 2*w + q*u + 90 = f*w, 3*w = 3*u + 66. Is w a prime number?
True
Let a = 41 + -10. Let c = a + 82. Let s = c - 24. Is s prime?
True
Let j be -1 + -135 - (-1)/1. Let p = j + 488. Is p prime?
True
Let m be -1 + 1 - (-3 + 102). Let x = -32 - m. Is x a composite number?
False
Suppose -5*u = -4*a - 4, -4 - 12 = -a - 3*u. Suppose -s = s - a, 2*s = l + 4. Suppose l = 2*t - 6*d + 2*d - 50, 0 = -4*t - 4*d + 64. Is t a prime number?
True
Let s(c) = -c**3 - 5*c**2 + c - 1. Let y be s(-5). Let i(a) = -4*a + 7. Is i(y) composite?
False
Suppose 57 = 2*d + 2*s - 119, -5*s = -3*d + 264. Suppose -4*u + 89 = -0*m + 3*m, -5*u = -4*m - d. Let x = u + -11. Is x a composite number?
True
Let w = 13 + -10. Suppose 4*k - 48 = 4*i, w*k - 2*k + 3*i = 24. Is (-4)/(-6) + 2315/k prime?
False
Suppose 0 = -n + 3*n - 2, 5*n = -5*i + 145. Suppose 162 = 4*r - 13*r. Is 1 + r/(-4)*i a prime number?
True
Let r = 118 + -79. Suppose t = 3*c - 15, t + r = 5*c + 4*t. Is (c/(-3))/(-2) + 2 a prime number?
True
Suppose 3357 = 3*z - 4692. Is z a composite number?
False
Suppose -4*b - 3*b = -11753. Is b a composite number?
True
Let z(k) = k**3 - 2*k**2 + k. Let r be z(1). Suppose r + 6 = 2*l. Suppose 0 = -m, -i - 3*i + l*m = -444. Is i composite?
True
Let q(n) = n**3 - 7*n**2 - n - 7. Let c be q(7). Let u = 157 + c. Is u a prime number?
False
Let t(u) = 2*u**2 - 5*u + 1. Let r be -10*(-1 - 3/(-5)). Is t(r) prime?
True
Let d = 909 + -518. Is d prime?
False
Let u(h) = h**3 + h**2 - 4*h + 1. Let l(n) = n**3 + n**2 - 3*n. Let y(r) = -3*l(r) + 2*u(r). Let f be y(-2). Suppose -f*z - 3 = -5*z. Is z a composite number?
False
Let c = 206 - -463. Is c composite?
True
Let c(h) = h**3 - 6*h**2 + 6*h + 1. Let t be 4 + 1 + (-2)/(-2). Is c(t) a composite number?
False
Suppose -5*l - 28 = -128. Suppose p = b - l, 2*p + 0 = 6. Is b prime?
True
Let d be -2 - -2 - (0 + -6). Is ((-2)/d)/((-2)/198) prime?
False
Let o be (-2)/2 - (-452 + 3). Let i = -143 + o. Let u = 454 - i. Is u a prime number?
True
Let s(a) = a - 3. Let r be s(7). Suppose -2*n + r*n = 502. Is n composite?
False
Suppose 0 = 6*o + 7*o - 19643. Is o prime?
True
Let k(c) = 2*c**3 - 6*c**2 + 2*c - 3. Is k(4) composite?
False
Let z = -22 - -309. Is z a composite number?
True
Suppose 0 = x - 4*x. Suppose 2*o + x*o = 154. Is o prime?
False
Let j(y) = -5*y - 5. Suppose -5*b - 10 = 25. Let i be j(b). Suppose -2*r = r - i. Is r a composite number?
True
Let n(f) = -3*f**3 + 6*f**2 + 13*f - 5. Let q(p) = 7*p**3 - 12*p**2 - 27*p + 10. Let b(a) = -5*n(a) - 2*q(a). Is b(9) composite?
False
Let l(z) = z**2 + 8*z + 7. Let d = -14 + 8. Let g be l(d). Let r(m) = 4*m**2 + 7*m + 4. Is r(g) a composite number?
True
Let g(j) = j**2 - 2*j + 3. Let y be g(2). Suppose -4*x - x - 2*o = -236, -y*x = 5*o - 134. Suppose -5 = z - x. Is z composite?
False
Suppose -5*z = -3*y - 1505 - 582, -5*y + 2055 = 5*z. Is z prime?
False
Let l be 290/4*(-24)/(-10). Suppose -2*o - 70 = -o - 4*w, 3*o + l = 3*w. Let d = -21 - o. Is d a composite number?
True
Suppose -3*k + 1 - 8 = -n, -n - 5 = k. Let z(t) = -4*t**3 - t**2 - 2*t - 1. Is z(n) a prime number?
True
Suppose -4 = -4*d, p + d = -0*d + 2834. Is p a prime number?
True
Suppose -6*d + 3*d + 62 = 5*g, -2*g = 4. Suppose 27*q - d*q = 18. Is q composite?
True
Suppose 7*c = 14362 - 173. Is c composite?
False
Suppose 3*q - q = -3*i + 12, -i = -4. Suppose -4*g + 107 = -81. Suppose q = 5*l - g - 28. Is l composite?
True
Let x = 3 - -5. Let u = -4 + x. Suppose u*g = -0*g - 12, -3*j + 2*g = -45. Is j prime?
True
Let p(u) = 11*u**2 + 12*u + 14. Is p(-7) prime?
False
Let k(h) = -h. Let m be k(-3). Suppose 5*b = 462 + 688. Suppose -p - b = -m*p. Is p composite?
True
Suppose 0 = -2*u + i + 2514, -4 - 8 = -3*i. Is u composite?
False
Suppose 2*y = -y + 2049. Is y a prime number?
True
Let f = -8 + 17. Is ((-3)/(-2))/(f/402) a composite number?
False
Let n = -7 - -10. Suppose 0 = -2*l - 3 - n. Is 0 + 2 - 63/l a composite number?
False
Suppose -13*g + 373 = -12*g. Is g prime?
True
Suppose -5*w = 4*l - 2*w - 234, -281 = -5*l + 2*w. Let g be (1/2)/(1/18). Is 1/g*3*l a composite number?
False
Let y(c) be the first derivative of 20*c**3/3 + 3*c**2/2 - c + 1. Let r be y(-3). Let a = r + -39. Is a a prime number?
True
Let k(j) = -j**3 + 9*j**2 - 8*j - 3. Let o be k(8). Is ((-402)/24)/(o/12) prime?
True
Let m(n) be the third derivative of -61*n**4/12 - n**3/2 + n**2. Is m(-7) a prime number?
False
Suppose -4*y + 5*v + 1952 = v, -2*v = 4*y - 1946. Is y prime?
True
Suppose 49 = 4*h - 5*m, -4*h - 2*m + 5 = -65. Is 5876/h + (-2)/8 a prime number?
True
Suppose 0 = 5*f, 0 = -3*w - w + f + 12. Suppose 67 = w*l - 74. Is l a composite number?
False
Let c(i) = i**3 - 3*i**2 + i + 2. Let r be c(2). Let b(t) = t + r*t - 2*t. Is b(-7) a composite number?
False
Let b(f) = 9*f + 7. Is b(3) composite?
True
Let y be ((-14)/3)/((-2)/3). Let w(k) = -k**2 + 9*k - 3. Is w(y) a composite number?
False
Let d(m) = 8*m**3 + 3*m**2 - m - 1. Is d(3) a prime number?
True
Let q(a) = 175*a**2. Let c be q(-2). Suppose -3*j + c - 184 = 0. Is 4/6 + j/12 prime?
False
Let y(b) = 4*b**2 + 5*b - 1. Let g be y(-4). Suppose 85 + 48 = 3*a - 5*s, -a + 2*s = -g. Is a a composite number?
True
Let m be 33/15 - 3/15. Suppose -m*g + 8 = 2*g. Is (308/(-8))/(g/(-4)) composite?
True
Let j(u) = 3*u**2 - 14*u + 54. Is j(13) a composite number?
False
Suppose 8*v + 4 = 4*v. Is v + 93 + 1/(-1) a prime number?
False
Suppose -45 = -5*u - 4*i - 10, -2*i + 7 = -u. Suppose -u*s + 146 = -13. Is s a prime number?
True
Suppose -5*v = -3*v - 4*u + 364, 5*u = -5*v - 895. Let a = 275 + v. Is a prime?
False
Suppose -2*u - 45 + 515 = 0. Suppose 0 = -4*c + u - 51. Let k = c - 25. Is k a prime number?
False
Suppose 0 = j + 136 - 767. Is j a composite number?
False
Is (-275)/20*(-4 - 0) prime?
False
Let w be ((-3)/2 + 1)*2. Let v(j) = -73*j. Let n be v(w). Suppose n = m + 3*t, 2*t = -m + 85 - 14. Is m composite?
False
Let x(f) = 9*f**3 - f**2 + 1. Suppose 1 = 3*a - 2. Let d be x(a). Let m = 48 - d. Is m a prime number?
False
Suppose -2883 = -5*b - 2*y, -3*b - 2*y + 1729 = -0*b. Suppose -3*r = -t - 3*t + 2329, -r = t - b. Suppose 0 = -2*s - 2*s + t. Is s prime?
False
Suppose -6 = -3*o, 0*t + t - 55 = -4*o. Is t a composite number?
False
Is -2 - (-1060)/8*2 a prime number?
True
Suppose k - 4 + 3 = 0. Let s(t) = 76*t + 1. Is s(k) a composite number?
True
Let g = 1570 - 940. Suppose -n - 4*n = 3*h - g, 5*h = 5*n - 590. Is n a composite number?
True
Let m(o) = -4*o + 1. Let g be m(-1). Suppose g*l = -5*d + 7 + 8, -2*l = -d - 18. Is l prime?
True
Suppose 3*x = 2 + 7. Suppose -12 = -x*g, 0 = -t - t + 5*g. Is (-4)/6*(-2865)/t composite?
False
Let v(u) = -u**3 + 4*u**2 - 3*u - 1. Let w be v(3). Let r(y) = 10*y**3 - y. Let n be r(w). Is -33*(15/n + 0) prime?
False
Suppose 5*z = 2*r - r + 10311, -4*r = 2*z - 4120. Is z composite?
True
Let q(x) = 2*x**2 + 15*x + 5. Is q(10) a prime number?
False
Suppose 0 = 4*g + 198 - 1346. Is g prime?
False
Suppose 0 = 3*o + 1 + 38. Let u = -8 - o. Suppose 4*q - 104 = -3*y, -2*q + u*y + 49 + 3 = 0. Is q prime?
False
Let s = 23 + -20. Suppose -s*h - j + 401 + 86 = 0, 5*j + 785 = 5*h. Is h a composite number?
True
Let c be (10 - 0)*2/4. Suppose 0 = c*i - 187 + 2. Is i a composite number?
False
Let t(f) = -f**3 - 2*f**2 + 5*f + 4. Let l be t(-3). Let r be (-2)/l + 1 + -7. Let j(y) = y**3 + 9*y**2 - 5*y - 4. Is j(r) composite?
True
Let m be 33/9 - (-2)/6. Supp