 5*i - 120 = -y*f. Is f composite?
False
Let y(b) = 18*b**2 + 2*b - 1. Let u(a) = -5*a + 5. Let w(q) = 6*q - 5. Let z(p) = -5*u(p) - 4*w(p). Let v be z(6). Is y(v) composite?
False
Let y(x) = -x**3 + 6*x**2 - 5*x. Let a be (-3)/(-6)*6 + 2. Let v be y(a). Suppose v = -5*w + w + 92. Is w prime?
True
Is (84/10)/((-6)/(-15)) a composite number?
True
Let q(b) = b**2 - 8*b + 12. Let n be q(8). Suppose n = 6*t - 2*t. Suppose -2*y + 4*c = -84, -t*c - 59 = -y - 13. Is y a composite number?
True
Let b(a) = -a + 3. Let w be b(3). Suppose 1 = t - w*t. Is (7/1)/(t/3) a composite number?
True
Suppose -454 - 361 = -5*z. Is z composite?
False
Let f be 1/2*(-2 - -16). Is (7 - f) + 5*23 a composite number?
True
Let l = 6923 + 434. Is l a prime number?
False
Suppose -2*c + 118 = c - 2*b, -5*c + 2*b = -194. Is c prime?
False
Suppose 0 = -6*t + t - 25. Let l(b) be the second derivative of b**4/6 - 2*b**3/3 - b**2/2 - 4*b. Is l(t) prime?
False
Let l(y) = -2*y + 0*y + y + 0*y. Let q be l(6). Is 2*38/q*-3 composite?
True
Let m(j) = j + 12. Let h be m(-8). Let a = 11 - 5. Suppose 2*d = -0 + a, 0 = -t + h*d - 5. Is t prime?
True
Let s(g) = -1252*g + 3. Is s(-1) composite?
True
Let d be -2*(-3)/6 - -25. Let t(z) = 5*z**2 - z - 1. Let l be t(-3). Let c = l - d. Is c a prime number?
False
Is (14/(-4))/(4/(-2008)) a prime number?
False
Let l(s) = 2*s + 1. Let c(r) = -r - 4. Let v be c(-6). Suppose 0 = -v*n + 5 + 1. Is l(n) a composite number?
False
Suppose 0*t = 2*t - 4. Let u = -2 + t. Suppose u = w - b - 130, w + b + 2*b - 134 = 0. Is w prime?
True
Let s be (-4)/6 + (-896)/(-21). Let x = s + -27. Is x a composite number?
True
Let s(b) = 3*b**3 + 3*b**2 - 4*b - 2. Let x be s(-3). Let w = 199 + x. Is w composite?
True
Suppose 582 = 2*m - 776. Is m a composite number?
True
Let w(r) = -2*r + 10. Let f be w(7). Is (-2 - f - -110) + -3 a composite number?
False
Let y = 9 + -8. Let s(o) = 467*o**3 + o**2 - o. Is s(y) a composite number?
False
Suppose -4*n - 4*f + 4 = 0, -4*n + 5*f + 14 - 1 = 0. Let s(t) = -4*t**2 + 3*t**2 + 9*t + 0*t**2 + 13 + 0*t**n. Is s(9) a composite number?
False
Let v be 1 - (2 + -8 - -1). Suppose -d - 95 = -v*d. Is d a composite number?
False
Let v(g) = -109*g + 26. Is v(-15) a composite number?
True
Suppose -2*r + 2 = -2*p, 3*p + p + 3*r + 25 = 0. Let x(q) = -q**2 - 3*q - 1. Let c be x(p). Let t(y) = y**2 + 5*y + 2. Is t(c) composite?
False
Suppose -y + 1574 = y. Is y a composite number?
False
Let n(o) = 5*o**2 - 36*o - 41. Let y(s) = -s**2 + 9*s + 10. Let p(u) = -2*n(u) - 9*y(u). Let b be p(-7). Is -141*(-4)/b + 3 a prime number?
True
Suppose m - 4*j + 748 = 0, -2*m = -0*m + 5*j + 1535. Let k = m + 1077. Is k prime?
True
Suppose 2*n - 35 = -3*n. Let t(y) = -y + 7. Let z be t(n). Suppose z = -3*p + d + 290 + 74, 4*d - 117 = -p. Is p a prime number?
False
Suppose -a + 41 = 3*w - 7*w, -a + 5 = 0. Let d be (-3)/(w/(-6)) + 150. Suppose 0*y - 4*y + d = 0. Is y a prime number?
True
Let a = -567 + 1234. Is a a composite number?
True
Suppose -5*t - 14 = 2*x, x + 5*t = 8 - 25. Is -3 + (74 - (-3 + x)) prime?
True
Let v(w) = -w**3 - 13*w**2 - 2*w - 16. Let r be v(-13). Let u be 2/((-2)/2) - 3. Let y = r - u. Is y a prime number?
False
Let l(s) = -3*s + 2. Let c be l(3). Let g(v) be the third derivative of -v**5/60 - 11*v**4/24 - 7*v**3/6 + v**2. Is g(c) composite?
True
Suppose -17 = -3*g - 5. Suppose -7 = -g*v + 1. Suppose 40 = v*r - 2. Is r a composite number?
True
Suppose -y + 0 = f - 7, -4*f + 12 = 0. Suppose y*u - 382 = -50. Is u composite?
False
Let v be -4 + (-6)/(6/(-3)). Let y = v - -6. Suppose 2*m - 126 = 3*r, 0 = 2*m + y*r - 124 - 34. Is m a prime number?
False
Let s(i) = 11*i + 6. Let y be s(7). Suppose 3*z - 28 - y = 0. Is z composite?
False
Let v(q) = -q**3 + 17*q**2 - 17*q + 4. Let i be v(15). Let l = -19 + -53. Let c = l + i. Is c prime?
True
Suppose 0*r = -r. Suppose -2*h + 2*z = 1 + 5, r = 5*h + 4*z - 12. Suppose h = -0*f - f - 4*o + 45, 3*o = -5*f + 310. Is f composite?
True
Let d = -367 + 613. Suppose -5*p + 549 + d = 0. Suppose 0*o = 3*o - p. Is o composite?
False
Suppose j - 2 = 8. Suppose 7 + 7 = 3*g + 2*a, 2*g + 4 = 2*a. Suppose -3*u + j = g*u. Is u composite?
False
Let w(k) = -k**2 + 4*k + 4. Let o = 12 - 5. Let y be w(o). Let i = 32 + y. Is i composite?
True
Suppose -4*z = -134 - 1210. Suppose -2*c - g + z = 0, -4*c - 91 + 757 = -g. Is c a composite number?
False
Let x(r) = -r**2 - 19*r - 15. Let w be x(-12). Is (7 - 1)/(6/w) composite?
True
Suppose -u - u = 0. Suppose 2*o + 6 = -u*o. Let n(l) = l**3 + 8*l**2 + 2*l - 2. Is n(o) prime?
True
Let a = 4 - -115. Is a prime?
False
Let o be 4/(-26) + 469/91. Is (78 + 1)*o + 2 a composite number?
False
Suppose 26 + 1527 = 3*g + 4*y, 4*g - 2*y - 2078 = 0. Is g a prime number?
False
Let t = 212 + -115. Is t a composite number?
False
Is ((-233)/(-2))/(2/4) a prime number?
True
Suppose o - 6 = 2. Suppose 2*i - 6*i + o = 0. Suppose s = -i*j + 57, -4*s + 135 = -0*j + 5*j. Is j a prime number?
True
Let v(k) = 19*k - 4. Let w = -20 + 28. Let s = w + -5. Is v(s) a composite number?
False
Let d = 967 - 280. Is d a composite number?
True
Suppose 7*n - 8109 = -2*n. Is n composite?
True
Suppose o + 0*v = -2*v + 5, -5*o + 18 = 3*v. Suppose -10 = o*n + 2*n. Is 21 + (-3 - n - -1) prime?
False
Let u be 10/15 - 4/(-3). Suppose 5*s - u*s - 1185 = 0. Is s prime?
False
Suppose 0 = -4*s + s - 39. Is 3 - 4/2 - s a prime number?
False
Suppose 4*w - 8 = 0, 0 = -5*a - w - 3*w + 3543. Let h = a + -240. Is h a prime number?
True
Suppose -3*m = a - 922, 4*m = -5*a + 1907 + 2758. Let f = -541 + a. Is (2 - (-3)/(-1)) + f composite?
True
Let n = -15 + 17. Suppose -2*a - 428 = -2*f, 204 = f + 3*a - n*a. Is f a prime number?
False
Let j(u) = u**3 - 5*u**2 - u. Let h be j(5). Let x = h + 8. Suppose -3*a - 2*d + 193 = 0, -d - 16 = x*d. Is a composite?
False
Let r(i) = 47*i - 3. Let v(c) = c**2 + 8*c + 7. Let z be v(-7). Suppose z*o - 4*o = -8. Is r(o) composite?
True
Suppose -926 - 2230 = -4*y. Is y prime?
False
Suppose -4*x = -8*x + 668. Let f = 137 + x. Suppose -4*t = -588 - f. Is t composite?
False
Suppose -78 = -2*v + 2*q, -5*v + 105 = q - 78. Is v composite?
False
Let b be (6/(-5))/((-6)/20). Let d(q) = -q - 3*q**2 + 3 + 4*q**2 + q - 2*q. Is d(b) a composite number?
False
Suppose g - 8 = 3*g. Is (-1179)/6*g/6 a prime number?
True
Let m(z) = -57*z + 5. Let h be m(-5). Let d = h - -119. Is d prime?
True
Let k = 29 - -39. Suppose -62 - k = -2*r. Suppose -r = -4*y - y. Is y a prime number?
True
Let y(k) = 107*k**2 - 4. Is y(-3) prime?
False
Let s(m) = 3*m**2 - 2*m + 10. Is s(6) a composite number?
True
Suppose -3876 = -3*p + a, 3*p - 4*p - 2*a = -1285. Is p composite?
False
Suppose -2*r + q = 3*q + 182, 2*q = -r - 92. Let m = 379 + r. Is m prime?
False
Suppose 0 = 4*s + 19 + 1, 3*s - 125 = 5*l. Let c = -17 - l. Is c a composite number?
False
Suppose -11 = 5*l - 56. Let m = 38 + l. Is m a composite number?
False
Suppose -3*g = 4*p + 3 - 6, p = g + 6. Is (-154)/(-1 + p)*-1 a prime number?
False
Let g(k) = -90*k + 4. Let y be g(-3). Let z = 14 + y. Is (-4)/10 - z/(-20) a prime number?
False
Let n be (-2 - (-94 - 0)) + -1. Suppose 0 = q - 5*q. Suppose -n = -0*w - 4*w + 5*h, q = 3*w + 2*h - 51. Is w a composite number?
False
Suppose -2*l + 4*l + 2 = 0. Let x be (1/l)/(-1) - -1. Suppose -3*r + x*r + 187 = 0. Is r a composite number?
True
Let q(v) = -v - 15. Let s be q(0). Let b be 25 + (0 - -5) + -4. Let k = s + b. Is k a prime number?
True
Let s(o) = -o**2 + o + 1. Let h(n) = -15*n**2 + 7*n + 11. Let g(v) = -h(v) + 6*s(v). Let q be g(-4). Suppose -2*p - q = -3*z, 0*z - 4*p = 4*z - 184. Is z prime?
True
Let p(i) = i**3 + 2*i**2. Let o be p(-2). Let c(d) = d**2 + d + 257. Is c(o) a prime number?
True
Suppose 0 = -0*m - 2*m. Suppose 2*y + y - 3*f - 285 = m, -2*y = 4*f - 178. Is y prime?
False
Is (91 + 0 + -2)*1 a prime number?
True
Suppose -3*o + 294 = 3*j, 2*j = 6*j - 5*o - 356. Let c = -39 + j. Is c composite?
True
Suppose v + 3*v - 1304 = 0. Let g = 195 + v. Is g composite?
False
Suppose 580 + 65 = 5*f. Let t = 256 - f. Is t composite?
False
Suppose 100 + 152 = 3*o. Suppose 54 = 2*d - o. Is d a prime number?
False
Let u(r) be the first derivative of 10*r**3/3 + 3*r**2 - r + 1. Is u(6) composite?
True
Let a = -1 - 2. Let m = 18 - a.