40 + 0/(3 - -2). Suppose -c = -9*s + 5*s. Is s a prime number?
False
Let q(w) = -w + 20. Let l be q(6). Suppose -4*m + l = -4*h + m, 4*h + 2*m = 0. Is ((-53)/(-3))/(h/(-3)) prime?
True
Suppose -3*y - 12 = -6*y. Suppose -y*d + 0*t = t - 22, -d + 11 = 3*t. Suppose 0 = -d*w + 357 + 1498. Is w composite?
True
Suppose 3*q - 766 = 20. Suppose -4*b + 6*b = -4*y + q, 3*b + 344 = 5*y. Is y composite?
False
Suppose 4*r + 28 = 4*m - 0*r, 7 = m - 3*r. Is (m + 151 + -1)/(0 + 1) prime?
True
Is 28/(-1862)*-19 - (-38771)/7 prime?
False
Let o = 14035 - -53400. Is o a composite number?
True
Suppose 0 = -0*z - 4*z + 36. Let b be (z/(-6))/((-2)/(-20)). Is (-3045)/(-6) + b/(-10) a composite number?
False
Suppose 6*i = 7*i. Suppose -3*t + i*t + 26 = 4*y, -t + 17 = 3*y. Suppose k = y*o + 2*k - 395, 3*k + 158 = 2*o. Is o prime?
True
Suppose 0 = 80*n - 2788530 + 602210. Is n prime?
True
Suppose 5*p = -3*d + 4927, -4*p - 2*d = -5557 + 1617. Is p a prime number?
True
Suppose -2*b = 2*b - 5*q - 2565, 0 = 5*b - 5*q - 3210. Let o = -58 + b. Is o composite?
False
Let z(d) = 5*d**3 - d**2. Let r be z(1). Suppose r*a - y - 3 = 6, 4*a - 10 = 2*y. Suppose a*n = -t - 0*n + 679, n - 1355 = -2*t. Is t composite?
False
Let b(m) = -16*m**2 - 2*m + 20*m**2 - 8 - 10*m**2 - m**3. Let y be b(-6). Is y*(-3 + 378/8) a prime number?
False
Suppose -w = 3*w - 16. Let u(v) = 173*v**2 - 2 - 4 + w - 2*v. Is u(-3) a prime number?
False
Let o be (-1)/4 + 132/16 + -6. Suppose 0*x - l = -o*x + 504, 4*x - 3*l = 1010. Is x a composite number?
False
Let y be ((-128)/8)/((-3)/6). Let o = y + 77. Is o prime?
True
Suppose -9*t - 13722 = -11*t. Is t composite?
True
Suppose 3*f - g - 27 = 0, -2*f = -2*g - 8 - 14. Let s(q) = 8 + 5*q**2 + 1 + 3*q - 15*q. Is s(f) composite?
False
Let l(b) = 2*b**3 - 3*b**2 - 3*b + 8. Let f be l(6). Let y = 711 - f. Suppose 6*n = 3*x + 3*n - 282, y = 4*x + 3*n. Is x a composite number?
False
Suppose 5*u - 212 = 3*u. Suppose -5*f - 7 = -o + 15, 4*o - u = 2*f. Suppose -35 = -2*m + o. Is m a composite number?
False
Suppose -s - 3*j = -421, s + j + 2089 = 6*s. Let h = s - 810. Let z = 261 - h. Is z prime?
True
Let m(x) = 10*x**2 - 53*x - 4. Let c(l) = -13*l**2 - 6*l + 2. Let a be c(1). Is m(a) a prime number?
False
Let k(m) = 313*m - 1. Let w be k(-4). Let v = 1794 + w. Is v composite?
False
Let p be 33/(-1)*(-23)/(-3). Let a = 47 + -49. Is p/a + 2/4 a composite number?
False
Let s = 3 - 1. Suppose -2*m - s*t + 9 = -m, 5*m - 58 = 3*t. Is m a prime number?
True
Let a(m) = 26*m**2 - 6*m + 7. Let o be (16/(2 - -2))/2 - -1. Is a(o) a composite number?
False
Let a(c) = -5*c**3 - 6*c**2 + 41*c - 11. Is a(-13) a composite number?
True
Let t = -1250 - -3159. Is t composite?
True
Let o = 3 + 21. Let x = o + -19. Suppose y = -x*f + 398, -388 = -y - 4*f + f. Is y a prime number?
True
Let d(q) = 2*q**2 + 22*q - 16. Let u be d(-11). Is 1/(3 - u/(-6)) - -3862 prime?
False
Let w = 166 - -703. Is w a prime number?
False
Let i = -56481 - -84554. Is i composite?
True
Let d be -1 - (-5 + 0/1). Is (6/d)/((-6)/(-1780)) composite?
True
Let l = 692 + -56. Suppose 0 = 3*c - 243 - l. Is c composite?
False
Let y = 5557 + 2640. Is y prime?
False
Let m = -60 - 157. Let b = m + 335. Is (1/1)/(2/b) a composite number?
False
Let s(h) = -h**2 - 3*h + 4. Let v be s(-4). Let n be (-2 + 3)*v + -4. Is (n - -5)*1*191 composite?
False
Let y(q) = 654*q**2 + 11*q + 44. Is y(-3) composite?
False
Let s(k) = 223*k**3 - k + 1. Suppose -5*f - 5*h = 10 - 0, 2*h - 4 = 0. Let a be ((-1)/f)/(3/12). Is s(a) a prime number?
True
Let y(b) = 2*b - 2. Let n be y(1). Let l = 4 + n. Suppose -4*x = -4*j - 142 - 190, 5*j - 296 = -l*x. Is x a prime number?
True
Suppose -m = -3*k - 5*m - 1, k - 2*m - 13 = 0. Let d = -693 - -697. Suppose -91 = -k*s + d*s. Is s a prime number?
False
Let c(y) = 2*y**2 + 6*y - 16. Let g(d) = d**2 - 1. Let f(i) = 7*i**2 - i - 7. Let u(x) = f(x) - 6*g(x). Let v(h) = -c(h) + 5*u(h). Is v(8) composite?
True
Let r(x) be the second derivative of -1/6*x**3 + 0 + 39/2*x**2 + 2*x. Is r(0) a composite number?
True
Let u be (0 + (-26)/(-3))*4347/14. Let l = -1714 + u. Is l a composite number?
False
Let c(a) = 2*a**3 - 117*a**2 + 90*a + 87. Is c(58) composite?
True
Suppose 4*y - 42894 = -3*v + 4*v, 5*v = 3*y - 32179. Is y a composite number?
False
Is 113675/(-5)*(-77)/55 composite?
True
Suppose -u + 3102 = s, u + 15518 = 6*u - 3*s. Is u composite?
True
Suppose 3*l + 2*l = 510. Let f = l + 168. Suppose 5*u - 4*k - 1311 = 0, 0 = -3*u + k + f + 518. Is u a prime number?
True
Suppose -3*s - 3*i = -8*i - 235, -65 = -s + 5*i. Suppose 3*w = w + z - 35, -5*w = -3*z + s. Let t = 167 - w. Is t a composite number?
True
Suppose 0 = -17*u + 3046 + 16725. Is u prime?
True
Suppose -4*f + 2*a = -10, f - 1 = -0*f - a. Suppose -f*p = -5 - 5. Suppose 396 = p*l - 719. Is l a composite number?
False
Suppose 4*q = 2*t - 2, 2*q = -t - 2*q + 13. Suppose -t*x + 2840 = -13505. Is x prime?
False
Suppose -2*t - t + 5*o + 35 = 0, 4*t = -4*o + 4. Suppose 0*r + 1976 = f + 5*r, 0 = 2*f - t*r - 3907. Is f a composite number?
True
Let h = -11893 - -27980. Is h a composite number?
False
Let v = 8 - 15. Let d be (v + -1)/(2/(-8)). Let l = 91 - d. Is l composite?
False
Is (18/(-36))/(0 - (-2)/(-33412)) composite?
False
Let a = -2 - -1. Let y be 6 - (a + (-3 - -7)). Let x(g) = 9*g**2 + 2*g - 2. Is x(y) a prime number?
False
Suppose -2*l = -l. Let o = l + 5. Suppose -3*x + x = -u + 133, -2*u + o*x = -269. Is u a composite number?
False
Let i(h) = -6135*h - 68. Is i(-2) composite?
True
Suppose 2*m = a + 13, 0 = -2*a + 8 + 2. Suppose 13*c - 764 = m*c. Is c prime?
True
Let j(x) = 15*x + 4783. Is j(0) composite?
False
Let u be (-3)/((-3)/(-235))*1. Let t be (48/(-5))/(-1*10/25). Let o = t - u. Is o composite?
True
Let h(y) = -2*y**2 + 13*y + 3. Let p be h(5). Let k = 239 - p. Is k prime?
False
Let y = 1384 - 1373. Let h(p) be the second derivative of 31*p**3/6 + p. Is h(y) a composite number?
True
Let s(h) = h**2 - 5*h + 10. Let j be s(10). Let r(d) = 4*d + j*d**2 - 2*d + 68*d**2 + 1. Is r(-1) composite?
False
Suppose 2*o - 9210 = x, 1213 = -4*o - 2*x + 19617. Is o prime?
True
Suppose -2*f - 4*s = -3*s - 5366, -10724 = -4*f - 4*s. Let u = f + -1246. Is u a prime number?
True
Let c(f) = -32*f**2 - f - 13. Let w(l) = 11*l**2 + 4. Let j(m) = -4*c(m) - 11*w(m). Is j(11) composite?
True
Suppose -2*n = 2*n - 12. Suppose -c - 14 = -x, -c + 29 = -n*c + x. Is 125 - (-5)/(c/(-6)) a composite number?
False
Suppose 0 = -i + 3*m + m + 33725, 0 = 4*i + 2*m - 134954. Is i a composite number?
True
Is ((-8)/6)/(176/(-9362892)) prime?
False
Let z(l) be the second derivative of 0 - 2*l - 1/12*l**4 + 1/6*l**3 + 3*l**2 - 1/20*l**5. Is z(0) composite?
True
Let t be 9/(-2)*(-12)/18. Let x be 194/t + 1/3. Let n = -10 + x. Is n a composite number?
True
Let s be (-56)/35*(-10 + 0). Suppose 0*b + 4*b = s. Suppose -2*x + 68 = 2*u, 72 + 40 = b*x - 4*u. Is x prime?
True
Let a(n) = 313*n**2 + 15*n + 39. Is a(-6) prime?
False
Let w be 1*-684 + (-3)/(9/(-12)). Let z = w + 1246. Is z a prime number?
False
Let u(h) be the second derivative of -h**5/20 - 7*h**4/6 - 11*h**3/6 + 17*h**2/2 + 16*h. Is u(-15) composite?
True
Suppose -28 - 2 = -5*s. Suppose -i - 3*c + 19 = -38, 0 = -3*c + s. Let d = i + 2. Is d a prime number?
True
Let q be (-18084)/(-27) - (-2)/9. Suppose 5*w = 7*w - 16. Suppose -w*m + 3*m = -q. Is m composite?
True
Suppose 2*z - g + 9 = -0*z, 24 = -5*z + 4*g. Let x = -6 - z. Is (-1)/(-2)*(-4772)/x a composite number?
False
Suppose -5*f = -5*u + 45, 3*u - 4*f - 28 = 4. Suppose 0 = u*t + 308 - 1212. Suppose -2*k = -0*k - t. Is k a prime number?
True
Suppose -5*s = 790 + 80. Suppose 0 = -2*y + 150 - 144. Let c = y - s. Is c a prime number?
False
Let m(s) = 65*s**2 + 35*s - 81. Is m(26) composite?
True
Suppose 0 = -4*r + r + 9. Let o(f) = -12*f**2 + 160*f - 31. Let w be o(13). Suppose -r*k - 2*j + 720 - w = 0, 5*k - 1184 = 3*j. Is k a prime number?
False
Let y(h) = -h**2 + 18*h - 25. Let d be y(16). Let j(m) = -m**2 + 6*m - 4. Let i be j(4). Is -5 + i - d*-14 a prime number?
True
Suppose -7 = -a - 2. Suppose -594 = -2*r + 5*k, 0 = -r - 0*k + a*k + 287. Is r a prime number?
True
Let u = 35589 + -18442. Is u composite?
True
Is (23/69)/(-1 + (-46884)/(-46881)) prime?
True
Let b(g) = 4*g**