= 2*a(h) + 7*v(h). Is l(y) a composite number?
False
Suppose 0 = -148*w + 155*w - 112735. Is w prime?
False
Let w = 202401 + -99758. Is w a prime number?
True
Suppose -4*v = 4*d - 12, 3*v - 2*d + 7 = 26. Let n(w) = w**2 - 3*w - 10. Let k be n(v). Suppose r + 5 = k, -5*o + 103 + 92 = -5*r. Is o a composite number?
True
Let c(h) = h**3 + 5*h**2 - 13*h + 51. Is c(20) composite?
False
Let z(t) = -3*t + 179. Let a be (-1 + 1)/(2/2). Suppose 0 = 3*d - 5*u + 25, 0 = d - a*d - 4*u + 20. Is z(d) a prime number?
True
Let r = -1181 - -715. Let s = r - -843. Is s prime?
False
Let z(a) = -a**2 - 5*a - 2. Let m be (20/15)/(2/(-3)). Let b be z(m). Is b/(-18) + (-1091)/(-9) a composite number?
True
Let y(w) = -w**3 + w**2 - 2. Let x be y(-2). Let j(c) = -1000*c + 5 + 4*c**2 + 988*c - c**2. Is j(x) a composite number?
True
Let z be ((-6)/(-7))/(3/(-21)). Let p = -6 - z. Suppose 2*v - 9 + 3 = p. Is v a composite number?
False
Let o = 94 + -157. Let p be ((-5)/15)/((-3)/o). Is 191/(-5)*(2 + p) a composite number?
False
Suppose 28*m = 51*m - 223859. Is m prime?
True
Let s(p) be the first derivative of -4*p**2 + 5*p + 15. Suppose -4 = -2*a + 3*a. Is s(a) a composite number?
False
Suppose -2*g - 20797 = -2*t - 7*g, 5*t + 3*g - 51964 = 0. Is t composite?
False
Suppose 2011 = 5*j + 2*r, 0 = -j + r + 2*r + 392. Suppose -2755 = -2*w - j. Is w a composite number?
True
Let j = 8235 - -8018. Is j a prime number?
True
Suppose 0 = 4*i + 5*o - 14432, -2*i - 5*o + 375 + 6831 = 0. Is i a composite number?
False
Is (-160)/280 + (-2262)/(-14) a prime number?
False
Let f = 22 - 19. Suppose 0 = 3*i - 6, -3*i = a - f*a + 116. Suppose 3*u - a = 8. Is u prime?
True
Let h(p) = 16*p**3 + 12. Let v be h(-2). Let f(r) = -49*r - 3. Let k be f(4). Let l = v - k. Is l a composite number?
False
Suppose 0 = -4*c - 12*r + 11*r + 75190, 8 = 4*r. Is c a composite number?
False
Let s(l) = -l**2 - 2*l + 3. Let b be s(3). Let m = -12 - b. Let c(y) = y**2 + y + 87. Is c(m) a composite number?
True
Let g be ((-8)/(-10))/(10/25). Suppose 2*d + 18 = 2*a, 5*a - g*d - 28 = 11. Suppose -635 = -a*i + 2*i. Is i a prime number?
True
Let u = -71 - -74. Suppose u*h - 5*h + 5*g = -748, -2*g = -5*h + 1891. Is h prime?
True
Suppose -h = k - 2702 - 293, -k + 2*h = -3007. Is k a prime number?
True
Suppose -130 = 3*d - d. Is 4036/(-10)*(d/10 - -4) a composite number?
False
Suppose 81*t - 12*t - 1045281 = 0. Is t prime?
True
Suppose 2*n = -h - 152 - 191, 0 = 4*n + 3*h + 689. Let k = n - -267. Is k prime?
True
Let b(q) = 5462*q + 59. Is b(6) composite?
False
Let f = 149 + -182. Is -1 + 11/(f/(-534)) a prime number?
False
Let c = 2 + 15. Let r = c - -18. Is r prime?
False
Let s(w) = w**2 - 5*w - 7. Let u be s(7). Let q(y) = -6*y**2 - 24*y + 47*y + 2*y**3 - 32*y. Is q(u) composite?
True
Let j = 45 + -42. Is -1419*(0 - j)/9 a prime number?
False
Suppose -5*v - 20 = i - 6*i, -5*i - 3*v - 4 = 0. Let n be 4438/21 + i/(-3). Suppose 0 = -5*h + 6*h - n. Is h prime?
True
Let j = -18 - -21. Suppose 13*n - j*n - 830 = 0. Is n a composite number?
False
Is (-116)/(-522) + 673970/18 + -2 a prime number?
True
Let l(t) = 3*t**2 + t - 6. Let n be l(-4). Let a be (n - 4)*73/2. Suppose 0*d + 930 = 3*d + 4*o, a = 4*d + 5*o. Is d composite?
True
Let l = -100 + 1168. Suppose 0 = 3*u + 2*q - 1903, 3*u - q - l - 820 = 0. Is u composite?
False
Suppose 11*w = 28221 + 3195. Suppose -4*k - 3*z + w = -1940, -z + 3597 = 3*k. Is k a prime number?
False
Suppose -4*j + 2*r = -160392, 4*r - 7338 = 2*j - 87528. Is j a prime number?
True
Suppose -5*f + 3*v - 94 = 0, -3*v + 24 + 36 = -3*f. Let g = f + 22. Suppose g*k + o = 3352, 5*k = -0*o + 3*o + 3364. Is k a composite number?
True
Let u(w) = 2*w + 34. Let r be u(-16). Let v(s) = 5*s**3 - 4*s**2 + 7*s - 11. Let q be v(6). Suppose 0 = -5*j + k + 4835, -3*j = -r*j - 4*k - q. Is j prime?
True
Suppose -5*u + 46 + 16 = -3*m, 16 = 2*u + m. Let n be (-12)/8*(0 - u). Is 981/n - (-4)/(-10) composite?
True
Let f = -329 - -560. Let x = -76 + f. Is x composite?
True
Suppose 0 = -4*n - 4*g + 44708, 2*n + g - 4*g = 22364. Is n prime?
False
Let z be (-1 + 2 + -1)/2. Suppose 7*a - 291 - 836 = z. Is a prime?
False
Suppose 5*t = 19*t - 56. Suppose 5*a - a = 2*u + 162, t*a - 141 = -5*u. Is a a composite number?
True
Suppose 5*f = n + 4*n + 22815, 9130 = 2*f - 3*n. Is f a composite number?
True
Is 4*(-2)/(-4) - 114478/(-14) composite?
False
Let v = 1 + 0. Suppose -1 = g + v. Let o(t) = -12*t**3 - 3*t**2 - 4*t - 3. Is o(g) a prime number?
True
Is (-94)/376 + 194*(-6490)/(-16) a composite number?
False
Let l(i) = 28 + 2*i**2 + 29 + 2*i - 59 - 6*i. Let m be l(3). Is 1*17*(m - -9) prime?
False
Suppose 4*n + 15*g - 10*g = 56413, n = -3*g + 14098. Is n prime?
True
Suppose 10 = -2*w, 3*p - 2905 = -4*w + 3*w. Let s = -1970 + p. Let g = -367 - s. Is g composite?
True
Suppose -19*n = -18*n - 2. Let q(p) = 0*p**3 + 7*p + 13*p**2 - 4 - 2*p**n + p**3. Is q(-9) prime?
False
Suppose -16*t + 10*t + 24 = 0. Suppose -t*n + 3278 - 666 = 0. Is n prime?
True
Suppose 0 = -5*c - 2*w + 23512, c + 0*w - 3*w - 4699 = 0. Let b = -1995 + c. Is b prime?
True
Is ((-2)/(-6))/((-44160)/6309 + 7) prime?
True
Suppose 0 = -60*s + 64*s - 26556. Is s composite?
True
Let k(d) = -7*d - d**2 - 1 + 2*d**2 - 1 - 6*d**2 - d**3. Is k(-7) a composite number?
True
Let p = 1243 + -866. Is p a prime number?
False
Suppose -5*d + s = -28, -5*d + 3*s + 2*s = -40. Suppose -17 - 8 = 2*a - 5*p, -d*a - 10 = -2*p. Suppose 3*g - 188 = 2*o - 6*o, a = 4*o - 5*g - 188. Is o prime?
True
Let d(c) = -c**3 + 8*c**2 + 2*c - 4. Let t be d(8). Suppose -24*h + 28*h - 284 = 0. Let m = t + h. Is m a prime number?
True
Let n = 8 + -8. Suppose n = -5*k + 2139 + 466. Is k prime?
True
Suppose 0 = 5*q - w - 208215 - 226238, 173786 = 2*q + 2*w. Is q a prime number?
False
Let a be (-2)/(-6) - 44/(-12). Let k = -290 + 295. Suppose 2*o - 4*o + 14 = a*y, -4*y = -o - k. Is o a prime number?
True
Let p(l) = 265*l**2 - 22*l + 14. Is p(3) prime?
True
Let c(m) = -m**2 + 7*m - 7. Let d be c(5). Let f(i) = -7*i + 2*i**2 - 4 + 4*i + i**3 + 3*i**3. Is f(d) prime?
True
Let w = -394 + 7155. Is w a composite number?
False
Let y be 456/36 + (-1)/(-3). Suppose 5*c = y - 3. Suppose -c*i - 12 = i, 5*u = 2*i + 563. Is u a composite number?
True
Let w be (-2)/8*2*-22. Let z = w + -7. Suppose z*b - 2*b + 2 = 0, -5*d + 1514 = b. Is d prime?
False
Let h = 12 - 10. Suppose h*f + 38 = -84. Is -1*((f - 2) + -2) a prime number?
False
Suppose -1 = -u + 1. Suppose u*n + 283 = -153. Is 12/((-16)/(-4)) - n a prime number?
False
Suppose -25 = 5*c, 2*l - 2*c + 1910 = 5982. Is l composite?
True
Suppose -5*v + 4*w + 31243 = 0, -24998 = -6*v + 2*v + 5*w. Is v a prime number?
True
Let u(b) be the third derivative of 1847*b**4/24 + 19*b**2. Is u(1) a prime number?
True
Suppose 5*v - 35 = 4*q - 6*q, 20 = 5*v - q. Suppose 0 = v*m - 4*m + 5. Is (79 - m) + (1 - 0) a prime number?
False
Let c(a) = -2*a**3 + 2*a**2 - 3*a + 2. Let j be c(2). Let i = 12 + j. Suppose -3*l + 175 - 61 = i. Is l composite?
True
Suppose 5*r + 124 = 49. Let f be (-14)/(-21)*(3 + -9). Is 411*(-5)/r + f a composite number?
True
Suppose 43*u - 163446 = 140005. Is u a composite number?
False
Let y(f) be the third derivative of f**5/30 - 11*f**4/24 - f**3/2 + 37*f**2 + 2. Suppose -8*c + 40 = -3*c. Is y(c) composite?
False
Let a(d) = -42*d**3 - d**2 + 10*d - 47. Is a(-8) composite?
False
Let a(f) = 331*f + 1. Let x be a(-6). Let g = x + 2944. Is g prime?
False
Let p = -7011 + 16122. Is p prime?
False
Let x(j) = -j**3 - j**2 - 2*j + 2. Let m be x(-4). Suppose -3*n - 558 = -5*p, -3*p - 5*n - m = -386. Is p composite?
True
Let v = -2237 - -4138. Is v prime?
True
Let z(o) = o**3 + 19*o**2 + 15. Let r be z(-14). Suppose 0 = 114*m - 119*m + r. Is m a composite number?
False
Let r be (-1)/(4 + -3)*(-2 + 10). Let f = 2 - r. Is f a composite number?
True
Let z be 3*(-21)/(-18)*4/7. Suppose -z*k = -5328 + 1182. Is k prime?
False
Suppose -2*d + 3294 = -4*q, -q + 759 = d - 903. Suppose -3*v - 2*i = -1249, 2*i - 3*i + d = 4*v. Is v prime?
False
Let z be -25436*2*4/(-32). Let h = z - 3138. Is h prime?
True
Suppose -2905 = 3*y - 8*y. Let h = 1063 - y. Suppose 4*j = h + 338. Is j prime?
False
Let x be ((-530)/15)/(6/(-27)). Suppose -x + 985 = 2*m + 3*l, 4*m - 1692 = 4*l. Is m prime?
T