
Let h(j) = 2*j**2 + 2*j - 15. Is h(-8) composite?
False
Suppose l - 114 = 125. Is l a composite number?
False
Let b be 3/1 + -3 - -2. Suppose -4*r + b*m = 908 - 2418, -5*r + 1882 = 3*m. Is r a composite number?
True
Let q(u) = 11*u - 20. Is q(9) composite?
False
Let v be (-2)/((2/(-1))/4). Let t(a) = -a + 4. Let b be t(v). Suppose 4*y = 5*h - b*y - 177, 0 = 5*h + 3*y - 156. Is h a prime number?
False
Is 305 + 4/(16/12) + -1 a prime number?
True
Let w = 5 + -1. Let z(u) = 8*u + 1. Is z(w) a prime number?
False
Let v(d) = -d**2 - 9*d + 4. Let u be v(-5). Let b be (-1)/4 + (-84)/(-16). Suppose 0 = q - b*q + u. Is q a composite number?
True
Is -2 - -319 - (-3 + 3) prime?
True
Suppose -d + 260 - 49 = 0. Is d a prime number?
True
Suppose 0 = v - 5*v. Suppose v = 4*f - 20 - 136. Is f prime?
False
Suppose -4*i - 5*m + 0*m = -5, -6 = 2*m. Suppose -6 = 3*p - i*p. Suppose -n + p*n = 98. Is n prime?
False
Let w be 1*(-3 + 0 + 3). Suppose 0 = -3*b - w*b + 237. Is b a composite number?
False
Let a be (-2 + -60)*1/(-2). Let b = 32 - 30. Is b*(-2)/(-2) + a a prime number?
False
Suppose -h - 1 = -x, 8*h = -5*x + 4*h - 4. Suppose x*f + 3*m = -f + 47, 2*m = 2*f - 110. Is f a composite number?
False
Let h = 9993 - 661. Is (-4)/18 + h/36 composite?
True
Let p = -19 + 28. Suppose 2*j - p = j + 4*x, -x = -j + 3. Is (-5 - -4)*j*-31 a prime number?
True
Let l be 2/(-8) + (-13)/(-4). Suppose -g + 408 = l*g - o, -2*o + 8 = 0. Is g composite?
False
Suppose 2*b + 915 = 3*v - 0*b, 2*b = -4*v + 1234. Is v prime?
True
Let g(n) be the third derivative of n**6/60 - n**5/10 - n**4/24 - 2*n**3/3 - 4*n**2. Is g(5) a composite number?
True
Let d(n) = -6*n - 77. Is d(-15) composite?
False
Let l = 20 - 22. Is 116 + 4 + (-4 - l) a composite number?
True
Let n = 12 - 10. Suppose -4*k - 2*f + 238 = 0, -2*f = -n*k + f + 107. Is k prime?
False
Suppose -l = -5*l + 8. Let f(u) = 2*u - 1. Let r be f(2). Suppose 0 = r*w - j - 156, w - l*j - 41 = 16. Is w a composite number?
True
Let t be 0 + (0 - (-3)/1). Suppose -b - 885 = -t*y + 2*b, b - 578 = -2*y. Is y a composite number?
True
Let y(v) = -168*v**3 + v**2 - 1. Let p be y(-1). Suppose -p = 4*f - 628. Is f a composite number?
True
Let m(u) be the first derivative of u**2/2 + 10*u + 1. Let a be m(-5). Suppose 0*y - 95 = -a*y. Is y a composite number?
False
Suppose 0 = -5*t - 5*u + 39 - 4, 0 = -2*t - u + 11. Suppose -2*s = -v - 241, s + v = t*v + 128. Is s prime?
False
Is ((-4)/(-8))/((-2)/(-76)) prime?
True
Let a = 188 - -3. Is a composite?
False
Suppose 2*j + 3*j - 15 = 5*x, 2*j - 5*x = 18. Is 2 + -3 - (j - 23) a composite number?
False
Let k(o) = 15*o + 9. Is k(4) prime?
False
Let f(y) = -y**3 - 8*y**2 + 3*y - 3. Suppose -d + 3 = 0, -5*o - 3*d - 2*d + 15 = 0. Let k be -9 - (-1)/3*o. Is f(k) a prime number?
False
Is 5 + (-2262)/(-3) + 8/2 composite?
True
Suppose -40*j = -36*j - 15172. Is j composite?
False
Let u(z) be the third derivative of -z**6/120 - 11*z**5/60 - 7*z**4/24 + 23*z**3/6 - 6*z**2. Is u(-12) a composite number?
False
Suppose 2*o = -3*j + 154, -j + 3*o - 7*o + 58 = 0. Let c(s) = s**3 + 5*s**2 - 4*s - 1. Let p be c(-6). Let f = p + j. Is f prime?
True
Let k(d) = -d**3 - 2*d**2 - 4*d - 7. Let n be k(-5). Let h = n + -132. Is (-2)/(-11) + (-5580)/h prime?
True
Suppose -5*y - 5*k = -1070, -y + 2*k + 3*k = -196. Is y a composite number?
False
Suppose 3*m - 2*n = 1413, -2*m + 490 + 452 = 4*n. Is m a composite number?
True
Suppose 2*y - 12 - 4 = 0. Let h(c) = -c + 3. Let i be h(y). Let j = -2 - i. Is j a prime number?
True
Let y be 50/15*36/10. Suppose -2*x = 4*l - y, l - 3*x + 7 = 17. Is ((-134)/4)/((-2)/l) a prime number?
True
Let p = -18 - -7. Let f(c) = c**3 + 12*c**2 + 5*c + 13. Is f(p) prime?
True
Suppose 4*c + 368 = 4*g, -4*g - 5*c = -0*c - 395. Is g a composite number?
True
Suppose o - 2 - 5 = 0. Suppose 712 = -3*f + o*f. Is f composite?
True
Let z(i) = -i**2 + i - 6. Let r be z(0). Is ((-74)/r)/(-1)*-3 prime?
True
Suppose 4*d = d. Is (94 - d) + 1 + 2 prime?
True
Let z = -132 - -361. Suppose 179 = -3*y - z. Let m = y + 231. Is m a composite number?
True
Let w = -356 + 835. Is w prime?
True
Let f be -1*(-2 + 5)/3. Is 89 - ((2 - 1) + f) composite?
False
Let h(f) = -f**2 + f - 1. Let g(j) = 20*j**2 - 8*j + 7. Let a(b) = g(b) + 6*h(b). Let q be a(-2). Suppose -2*c + c + 78 = 4*r, 3*r - q = -2*c. Is r prime?
True
Let o(i) = 4*i + 21. Is o(12) prime?
False
Let j(u) = u**3 - 2*u + 1. Let n be j(1). Suppose -k + 0*k = n, 5*c = k + 545. Is c prime?
True
Let k(o) = 4*o - 9. Let r(z) = 3*z - 8. Let n(g) = 2*k(g) - 3*r(g). Let s be n(0). Is 41 - s/(-3)*1 prime?
True
Let r = 14 + -9. Let k be -2 + r + -2 + 169. Suppose -k = f - 6*f. Is f a prime number?
False
Let h be -12 - 1/(2/(-4)). Let k = -14 - h. Is 220/(-8)*k/2 composite?
True
Suppose 10*r = 5*r. Suppose -n + 148 = 4*y, n + r*n + 74 = 2*y. Let a = y + -6. Is a a prime number?
True
Let j(t) = t - 5. Let i be j(5). Let l be i*(1 + 0)/1. Suppose -3*b = 4*o + 2*b - 65, l = -o - b + 16. Is o prime?
False
Let v(p) = p + 1. Let r(w) = w**3 - 4*w**2 + 4*w - 3. Let o(h) = r(h) - 2*v(h). Let g be o(4). Is 6/4*106/g prime?
True
Let i(g) = 3*g**3 - 5*g**2 - 2*g + 7. Let d(j) = 8*j**3 - 15*j**2 - 5*j + 21. Let a(f) = -4*d(f) + 11*i(f). Let l be (-2)/5 - 46/10. Is a(l) composite?
False
Let g(t) = -40*t + 3. Suppose 20 = -4*q - p, -16 = 3*q + 2*p - p. Is g(q) prime?
True
Let h be 1584/7 - 8/28. Suppose u + u - h = 0. Is u a prime number?
True
Let g(t) = -2*t - 1 - t + 1 - t**2. Let a be g(-4). Let z(b) = 3*b**2 + b + 3. Is z(a) a prime number?
True
Suppose 6 = -3*v, -v = -2*x + 3*x - 1421. Is x composite?
False
Suppose -n = -438 + 145. Is n prime?
True
Let x(t) = t**3 - 3*t**2 + 4*t**2 + 2*t + 5*t**2. Suppose -20 = 2*p - 2*i, -15 = i - 4*i. Is x(p) composite?
True
Let f = 3 + -1. Suppose -4*z = -4*q + 1216, -2*q - f*z = 41 - 637. Is q prime?
False
Let k = 123 + -68. Is k a composite number?
True
Let j(p) = -631*p - 1. Let u be j(-1). Suppose 4*f - i - 509 = 0, 2*i + 3*i - u = -5*f. Is f composite?
False
Suppose -3*a + 5 = -13. Let d(g) = g**3 - g - 3. Let l be d(0). Let k = a + l. Is k a composite number?
False
Let d be -4*((-15)/6 + 2). Suppose 0 = 5*a - d*p - 26, -p = -4*a - 11 + 33. Is a composite?
True
Suppose -j - 4*m + 4288 = 3*j, -2139 = -2*j - m. Is j a prime number?
False
Let h be (0/2)/(-4 + 5). Let k(y) = -y**3 + y**2 + y + 49. Is k(h) composite?
True
Let q(u) = 109*u + 3. Is q(4) a composite number?
False
Is ((-2)/6)/(16/(-13296)) a prime number?
True
Let z(t) = -t**3 + 5*t**2 - 3*t - 1. Let f be z(3). Suppose 5*h = -a + 34, -3*a + 4 = -f. Suppose -h = 2*p - 5*p. Is p a prime number?
True
Suppose -s = -3, -5*f + 1571 = 4*s - 1026. Is f composite?
True
Let g = 2 - -6. Suppose -4*x = 5*s + 12, 4*s + 4*x + g + 4 = 0. Suppose s*z - 99 = -3*z. Is z composite?
True
Let c(h) = 14*h**2 + 10*h + 7. Is c(-4) a composite number?
False
Let d = -61 + 138. Let u = 110 - d. Is u a composite number?
True
Suppose -5*d - 3*v = -32, 0*d + v = -2*d + 12. Suppose -d = -5*p + 4*p. Suppose 19 = g + p*r - 34, 131 = 3*g + 5*r. Is g prime?
True
Suppose 3*g = 371 + 616. Is g a composite number?
True
Let r(i) = -1 - 4 + 14*i**2 - 2*i + 4. Is r(2) composite?
True
Suppose -2*m + 4 + 34 = 0. Suppose -d = 4*s - m, -4*s - 23 = -2*d - 3*d. Is d a prime number?
True
Let k(w) be the first derivative of -w**6/120 - w**5/10 - w**4/4 + w**3/3 + w**2 + 3. Let r(m) be the second derivative of k(m). Is r(-5) prime?
True
Suppose -19*a + 155 = -14*a. Is a a prime number?
True
Let z(x) be the third derivative of -x**6/120 - 2*x**5/15 + 5*x**4/8 + 5*x**3/6 - 6*x**2. Is z(-11) composite?
True
Suppose 0 = 4*j - 12. Let s(v) = -8*v**2 - 6*v**2 + 7 + 5*v**2 - 2*v**2 + 4*v + v**j. Is s(11) prime?
False
Is -1*(-2 + -2 + -303) a prime number?
True
Let q = -11 - -16. Suppose 0 = q*a - 0*a - 10. Suppose a*y - u = -0*u + 37, 0 = -3*y + 3*u + 48. Is y a composite number?
True
Let r(k) = k + 5. Let d be r(0). Let b(z) = 17*z - 33. Let q(m) = -4*m + 8. Let h(l) = -2*b(l) - 9*q(l). Is h(d) a prime number?
False
Suppose 3*z - 5*h = 278, -2*h + 184 + 152 = 4*z. Is z prime?
False
Let o be (6/(-5))/((-2)/5). Suppose 0 = 3*m + o*y - y - 155, -3*m + y = -170. Is m a composite number?
True
Suppose 4*i - r = 14, r = i + 4*r - 10. Suppose -i*z -