 = 0. Is l prime?
False
Let p(y) = y**3 + 6*y**2 - 6*y + 1. Let g be p(-5). Let b be g/(-12) + 2/(-6). Let t(x) = -x**3 - 5*x**2 - 2*x - 1. Is t(b) composite?
True
Suppose -4*r + 6 = -3*r. Let w = -2 + r. Suppose -w*o = -72 - 60. Is o composite?
True
Let g(l) = -l**2 - 13*l + 19. Let m be g(-14). Suppose m*n - 22 + 7 = 0. Suppose 96 = n*i + 5*a - 290, -3*a = -i + 124. Is i a prime number?
True
Is (3 - -1) + (622 - -5) composite?
False
Suppose -h = 2*h. Suppose -z = 5*q - 440, -3*z = -3*q - h*z + 246. Is q prime?
False
Let f be 5751/6 + (-2)/(-4). Let n = -544 + f. Suppose -p + 6*p - n = 0. Is p a composite number?
False
Suppose 5*q - 43 = -8*t + 4*t, -4*t + q + 25 = 0. Let m(u) = 2*u - 4. Let l be m(6). Let n = t + l. Is n a composite number?
True
Let d(p) = 6*p**2 + 5*p - 43. Is d(-9) composite?
True
Suppose 0 = -2*y + 251 + 31. Suppose y = g + 2*g. Is g prime?
True
Let s(c) = 3*c**2 - 15*c + 9. Is s(10) a composite number?
True
Suppose 4*q = 5*z - 89, -4*q - 3*z - 3 - 78 = 0. Let a = q + 36. Is a a prime number?
False
Let v(y) = -y**3 - y**2 - 2*y - 3. Let x be (-45)/(-10) - (-2)/4. Let i be v(x). Let c = -89 - i. Is c composite?
True
Suppose -4*o + 4*k + 730 - 234 = 0, 2*k + 121 = o. Is o a composite number?
False
Suppose -3*f = f - 4, -2*m + 5*f - 1227 = 0. Let l = m - -983. Suppose -6*p + 2*p = -l. Is p a composite number?
True
Let x(l) = -l - 4. Let y be x(-4). Suppose y = 4*f - 1018 + 254. Is f a composite number?
False
Let q(x) = -x**3 + 8*x**2 + 5*x - 7. Let y(o) = -2*o**3 + 15*o**2 + 10*o - 14. Let k(p) = 5*q(p) - 3*y(p). Let f be k(5). Let u = -7 - f. Is u prime?
True
Let f(h) be the third derivative of -h**4/3 - 5*h**3/6 - 2*h**2. Let l be -1*(-1)/((-2)/10). Is f(l) a prime number?
False
Is ((-74)/3)/((-6)/9) prime?
True
Suppose -356 = -8*x + 4*x. Is x prime?
True
Let n = -3 + -10. Let o = n - -180. Is o a composite number?
False
Is ((-2)/6)/(26149/(-6537) + 4) prime?
True
Let k be 201/9 - (-2)/(-6). Let i = 44 + -12. Let l = i - k. Is l composite?
True
Let v(i) be the first derivative of -i**4/2 - 8*i**3/3 - 5*i**2/2 - 7*i + 4. Let z be v(-7). Suppose 3*j - z = j. Is j a composite number?
True
Suppose -i + 2*i + 54 = 0. Is 3 - (i + (1 - 3)) a composite number?
False
Suppose -1008 = -2*t + 2*y, -5*t = -y - 1540 - 1000. Is t a prime number?
True
Let i be (30/4)/((-12)/(-560)). Suppose -3*z = -5*b + 2*z - 5, 9 = -b + 3*z. Suppose -5*p + 4*v + 55 = -i, -4*p + 325 = -b*v. Is p prime?
False
Let q = -422 - -1923. Is q a prime number?
False
Let q(u) = -3 + 6*u + 0 + 4 - 3*u. Let d be q(1). Suppose -170 = d*g - 6*g + 2*s, -3*s = 5*g - 457. Is g composite?
False
Suppose 4*c = -4, 3*o - 4 = -o + 4*c. Suppose j - 4*z - 36 = o, -3*j + 98 = -2*z - 0*z. Suppose 2*x - j - 6 = 0. Is x a prime number?
True
Let f(r) = r**2 - 7*r. Let b be f(8). Let w = -5 + b. Let v(i) = 14*i + 4. Is v(w) composite?
True
Let k be (1113/6 - -3)*2. Is k + -2 + (-4)/(-1) a prime number?
True
Let o = 153 + 140. Is o a composite number?
False
Suppose c = -2*g, -2*g + c - 12 = -4. Let r be g*3/6*-3. Suppose -3*t + 4*s - s = -57, 2*t - 38 = r*s. Is t a composite number?
False
Suppose 116 = 5*x + v, 0 = 5*v + 21 - 1. Suppose z + x = 5*z. Is z composite?
True
Let f(o) = 127 - o + 0*o**2 + o**3 + o**2 + 0*o. Is f(0) composite?
False
Suppose 3*y + 19 = 4*c - 15, -4*y = -2*c + 42. Let u = -3 - y. Is u composite?
False
Let m(w) = 2*w**2 + 2*w + 1. Let b be ((-2)/3)/((-1)/6). Let l be m(b). Suppose 3*g = 58 + l. Is g prime?
False
Is 2763/7 - (-2)/7 a prime number?
False
Let k(q) = -59*q + 6. Let a be k(3). Let g = 410 + a. Is g prime?
True
Suppose 3*c - 6 - 12 = 0. Let g(b) = 3*b + 1. Let m be g(c). Suppose m + 16 = y. Is y a prime number?
False
Is (-3 + 26 - -1) + -3 a prime number?
False
Suppose -r + 1615 = 4*r. Let x = r + -127. Suppose 0*t + 4*t - x = 0. Is t composite?
True
Let k(n) = -n**3 - 3*n**2 - 2*n - 1. Let b be k(-2). Let z(h) = -3*h - 1. Let f be z(b). Suppose 2*u = -f*u + 76. Is u a composite number?
False
Let f = -365 + -120. Let z = f - -679. Suppose 3*n - 447 = -5*r, -r = r + 5*n - z. Is r composite?
True
Suppose 0 = -m - 0*m + 3. Suppose -2*p + 677 = 3*a, 3*p = -m*a + 2*p + 673. Is a a composite number?
False
Let m(f) = f**3 - 4*f**2 + f - 1. Let p be m(4). Suppose -6*a + 4*b + 187 = -p*a, -a + 5*b + 77 = 0. Suppose -2*n + a = n. Is n prime?
True
Suppose -1969 - 1157 = -6*d. Is d a composite number?
False
Suppose -1444 = -4*k + 328. Is k composite?
False
Let x(c) = -26*c - 6. Let w be x(-4). Let g = w - -76. Suppose 2*r + 0*r = -4*d + g, -3 = 3*d. Is r a composite number?
False
Let n(o) = -4*o**3 - 5*o - 5. Is n(-2) composite?
False
Let x(d) = d**2 + 7*d - 1. Let p be x(-8). Suppose -5*w = -p*w + 278. Is w a composite number?
False
Let f(p) = p**2 + 3*p + 2 - 4 + 3. Is f(8) a prime number?
True
Let i be 49 + 1*0/2. Let h = i - -110. Is h a composite number?
True
Suppose -2 = 2*f - f. Let j = f + 4. Is 211/11 - j/11 a composite number?
False
Let o = -2134 + 3248. Suppose -722 - o = -4*q. Is (-4)/(-10) + q/15 a composite number?
False
Suppose -q + j - 5*j + 23 = 0, -4*q = -j - 109. Suppose 4*v + 0*i = 2*i + 94, v = -3*i + q. Let k = v + 139. Is k composite?
False
Let l(u) = -3*u - 9. Let v be l(-4). Suppose -5*n - 217 = -v*g - n, 0 = -2*g - 4*n + 178. Is g composite?
False
Let p = 5 - 3. Let s(q) = 8*q**3 - q**2 + 2*q + 1. Let k be s(p). Is (2 + 0)*k/10 a prime number?
True
Suppose l - 68 - 4 = 0. Is -1*(l + -2)/(-2) prime?
False
Let k be ((-4)/(-6))/((-1)/3). Suppose -w = -4*t, t = -2*w - 8 - 1. Is (94/w)/(1/k) a prime number?
True
Suppose -7 = -3*t + 2. Suppose 2*i + t*i - 350 = -5*j, -i + 54 = 5*j. Suppose q = -q + i. Is q a composite number?
False
Let w be 1*4/3*3. Let p = 9 - w. Suppose 0*y - 165 = -p*y. Is y prime?
False
Let b(x) = -44*x**3 - x**2. Let r = -10 + 6. Let f be r/3 + 2/6. Is b(f) a composite number?
False
Suppose 0 = f + 2*f, -4*f + 230 = 5*u. Let o = 31 + u. Is o a prime number?
False
Let x(u) = -u**2 - 13*u - 4. Let j be x(-12). Is 382/j - (-15)/(-20) a composite number?
False
Let m = 6 + -10. Let l = m - -8. Suppose 4*r + q - 647 = -2*q, -4*r + l*q = -640. Is r prime?
False
Suppose -4*a + 3*a = -1195. Is a composite?
True
Let s(g) = 228*g**2 - g + 3. Is s(-2) a composite number?
True
Let z = 11 - 12. Is -177*(3/z)/9 a prime number?
True
Suppose -3*z = -5*f + 9618, 3*f + 0*z - 5772 = 3*z. Is f a composite number?
True
Suppose 4*g - 12 = 0, -4*u - 3*g = -2*u - 883. Let a = 1223 - u. Is (2/1)/(12/a) composite?
False
Let h = -89 + 202. Is h a prime number?
True
Let q(i) = i**3 + 10*i**2 + 7*i - 6. Let n be q(-9). Let a be (-35)/2 - (-1)/(-2). Is n/a + (-161)/(-3) a composite number?
False
Let c(x) = 2 - 3*x + 3*x + 2*x + 31*x**2. Is c(3) composite?
True
Let d = -1 - -5. Suppose j - 3*j = d. Is (54*1 - j) + 1 a prime number?
False
Suppose 2*h = 2*n - 4, 0 = -3*h + 2*h - 3*n + 18. Let j be (-5)/(-15) + 14/h. Suppose 0 = -5*p - 10, 141 = -j*f + p + 538. Is f a prime number?
True
Let j(b) = b - 8. Let w be j(8). Suppose -5*a + 24 = -w*c + 3*c, -5*c + 6 = -3*a. Suppose -c*h - 93 = -3*l, -25 = -l - h + 4*h. Is l composite?
True
Let b be (6/9)/(6/45). Suppose -250 - 545 = -b*u. Suppose -u = -0*r - 3*r. Is r composite?
False
Let a(u) be the second derivative of u**3/2 + 5*u**2/2 + u. Let l be a(6). Suppose l = 2*q + 3. Is q a composite number?
True
Suppose n = 3*n - 3*x + 449, 0 = 2*n - x + 447. Let g = -96 - n. Is g composite?
False
Let j be 2/9 - 50/(-18). Suppose -3*f + 149 = 4*c, j*f + 5*c - 93 = 52. Is f composite?
True
Let f(t) = 14*t**3 + 2*t**2 + 3*t - 3. Let y be f(3). Let q(d) = 8*d + 1. Let o be q(-2). Is (5/o)/((-2)/y) a prime number?
True
Suppose -2*a - 2 = -6. Is -3*a/((-12)/166) a composite number?
False
Suppose 3*b - 2629 = -8*b. Is b prime?
True
Let h(q) = q**3 + 6*q**2 - 4*q - 1. Suppose -2*i = -2*n - 22, 0 = -5*i + 35 - 10. Let c = -12 - n. Is h(c) a composite number?
False
Let r = 13 + -7. Let f = r - 10. Let x(p) = 3*p**2 + 5*p - 3. Is x(f) a prime number?
False
Suppose 10*q - 5*q - 3245 = 0. Is q a prime number?
False
Let v be 10/(-2)*(-10)/25. Let t be v/8 + (-455)/(-4). Let o = t - -1. Is o composite?
True
Let x = 12 - 10. Let g(f) = -f**3 + 5*f**2 - f - 1. Let z be g(x). Suppose -8*n + z*n - 58 = 0. Is n a composite number?