 = -2*m, 3*v - 11 = -k*m. Suppose -2 = -t + v. Is t a prime number?
False
Let y(x) = -x**3 - 3*x**2 + 4*x - 1. Let a be y(-3). Let q = -10 - a. Is 129 - -4*q/(-6) prime?
True
Suppose -2*q - 70 + 452 = 0. Is q prime?
True
Let p be -1 + 5 - (1 + 1). Suppose p*z = -2*z + 8. Suppose -z - 103 = -3*g. Is g prime?
False
Suppose -c = -0*l - 3*l + 1079, 5*c - 1445 = -4*l. Let n = -215 + l. Is n a composite number?
True
Suppose i = -2 + 4. Suppose -3 = -n - i. Is (3/6)/(n/44) composite?
True
Let g = 18 + -13. Suppose 0*y = g*y - 355. Is y a composite number?
False
Suppose -6*z + 2*z = -t - 84, -21 = -z + 2*t. Suppose 0 = -2*l - 3*d + z + 16, -l = -d - 26. Is l a composite number?
False
Let s(a) = -3*a**2 + 12*a + 0 + 5*a**2 - 18. Let f(o) = o**2 + 6*o - 9. Let k(v) = 7*f(v) - 3*s(v). Is k(-8) prime?
True
Is 29 + -1 + (-3)/(-1) a composite number?
False
Let m = -396 + 1211. Is m composite?
True
Let w be (-2)/2 + 3 + 26. Is (13/(-2))/((-2)/w) a composite number?
True
Let v(i) be the third derivative of -i**5/60 - i**4/24 + 13*i**3/6 - 2*i**2. Suppose h + 1 = -5*p, 2*p + h + 0 + 1 = 0. Is v(p) a prime number?
True
Let k be 10/35 + (-299)/(-7). Suppose -3*j - 10 = -k. Is j prime?
True
Let x(v) = 2*v + 13. Let i be x(-11). Is 5/((-15)/i) - -84 prime?
False
Suppose -6*v + v + 40 = 0. Let l = v + -9. Is l + 3 + (-2 - -9) a prime number?
False
Let y be (-16)/(-3) + (-6)/18. Let a(l) = -l**3 + 4*l**2 + 5*l. Let t be a(y). Suppose -q - 46 + 299 = t. Is q a prime number?
False
Let x(l) = 37*l**3 - l**2 + 3. Let d be x(-2). Let w = -184 - d. Is w a prime number?
True
Let c(p) be the second derivative of 19*p**3/6 - 2*p**2 + 2*p. Is c(3) a composite number?
False
Suppose -6 = 3*k, 2*g + 4 = 2*k + 2. Let j(v) = v**3 + 5*v**2 + 5*v + 4. Let w be j(g). Suppose 285 = w*s - 2*s. Is s a prime number?
False
Suppose 2*v = -3*z - 2*z + 68, -3*z - 162 = -4*v. Is v a composite number?
True
Let s be (4 + -4)/(1 + 1). Suppose 2*v = 5*x - 226 + 742, -2*x - 3*v - 214 = s. Is 2/(-5) + x/(-10) a prime number?
False
Let k(j) = 542*j**3 - j. Is k(1) a prime number?
True
Let u(r) = r + 3. Let j be u(-2). Is ((-932)/(-8))/(j/2) composite?
False
Let o be (-4)/14 + (-38)/14. Let s be (0/1)/(-5 - o). Is 19 + -1 + 1 + s prime?
True
Let s(x) = -58*x - 15. Is s(-23) a prime number?
True
Let h be 0 - (-1 + (-2)/(-1)). Is h + 3 - (-2 + -85) a prime number?
True
Let x = 30 + -51. Let f be 1/(2 + x/12). Suppose -f*s = -255 + 67. Is s prime?
True
Let h = 82 - 56. Suppose 8*q - 475 = 3*q. Suppose -3*z + q = h. Is z prime?
True
Let u(c) = c**3 + 10*c**2 - 8*c - 11. Suppose 5*o = 3*y - 4*y - 37, 0 = -2*y + 6. Is u(o) prime?
True
Let s be (-6)/(-4) - 635/(-2). Suppose 3*c - s = 578. Is c a prime number?
False
Is 3/(-12) - 663/(-12) prime?
False
Suppose -5*q + 4*s + 18 = 0, 3*q + s - 15 = 6. Suppose -4*u = -6 - q, -4*u + 40 = 4*m. Is m a composite number?
False
Let l be (-46)/(-14) - 6/21. Suppose -3*q + 102 - l = 0. Suppose 4*j = 4*c + c + 138, -j + q = -2*c. Is j composite?
False
Let m be 10*(2 + (-8)/5). Suppose 0 = -4*y + y + 5*a + 180, -m*y + 5*a = -245. Suppose -2*l - 3*l + y = 0. Is l prime?
True
Suppose 4*f - 257 = 71. Is f prime?
False
Is (-14)/21*4257/(-6) a prime number?
False
Is 14/(-6)*(6 - 39) composite?
True
Suppose 6*a - 2*a + 4 = 0. Let x(i) = i**2 - 1. Let y be x(-4). Is 2410/y + a/(-3) a composite number?
True
Suppose 6*a - 1356 + 18 = 0. Is a a composite number?
False
Suppose -635 = -5*a + 3840. Is a composite?
True
Let i(m) = 14*m + 3. Let s be i(3). Let a = -27 + s. Is 27/a*(-46)/(-3) a composite number?
False
Suppose 130 = 3*q + 3*k + 16, -40 = -q + k. Suppose 3*c - q - 3 = 0. Is c a prime number?
False
Let a(n) = 5*n**2 - 7*n + 4. Let l be a(-6). Suppose 4*b = 6*b - l. Is b a prime number?
True
Let q = -15 + 32. Let o = 2 + q. Is o a composite number?
False
Suppose 4*k = 676 + 372. Is k a composite number?
True
Suppose d = 73 + 8. Suppose -25 = -x + w, -3*x + 2*w = -3*w - d. Is x composite?
True
Suppose -4*o + 460 = 3*r, o - 48 - 66 = -r. Is o prime?
False
Let q(d) be the first derivative of 9*d**2/2 + 4*d - 3. Is q(5) composite?
True
Let m = -2 - -3. Is (m - -3) + (-2244)/(-4) a prime number?
False
Let a = -4 + 4. Suppose 3*p - 7*p = a. Let o(g) = g**2 - g + 95. Is o(p) a prime number?
False
Let w = -3 + 7. Suppose r + 2*g = 4*g + 45, 0 = -3*r - w*g + 185. Is r a composite number?
True
Let z(u) = u - 5. Let w(k) = k - 4. Let v(j) = 4*w(j) - 3*z(j). Let r be v(3). Suppose -3*c = s + r*s - 186, s + 2*c = 65. Is s a composite number?
False
Suppose 0*a + 15 = 3*a. Let z(t) = t**2 - 6*t + 5*t - 2 - a*t. Is z(-5) composite?
False
Let i = 147 - 20. Suppose 4*c = i + 253. Is c composite?
True
Let m(v) = -5*v + 3. Let b(p) = 9*p - 6. Let w(f) = 6*b(f) + 11*m(f). Let s be w(-5). Suppose -n + 169 = 2*n + 2*k, -s*k + 10 = 0. Is n a prime number?
True
Suppose 0 = -2*h + 3*h - 3. Let r = -15 + 12. Is -10*r*h/6 composite?
True
Suppose 0 = 4*x + 4, 4*m - 2*x - 243 = 67. Is m composite?
True
Let u = 2 - 0. Suppose 2*m = -5*l + 201, 153 = u*l + 2*l - m. Is l composite?
True
Suppose 160 = 3*a - k - 82, 3*a - 3*k = 234. Is a a prime number?
False
Is ((-42)/(-9) + -4)*159 a prime number?
False
Suppose 5*v + 0*v = -5*l + 10, 4 = -2*l. Suppose -v*h + 5*h = 113. Is h composite?
False
Suppose -2*d + 1671 = d. Is d prime?
True
Let k(h) be the second derivative of -h**4/12 + 5*h. Let t(v) = -3*v**2 - 3. Let q(x) = k(x) - t(x). Is q(4) composite?
True
Suppose -h = -3*x + 21 + 4, 5*h = 3*x - 5. Let y = 23 + x. Let k = -22 + y. Is k a composite number?
False
Let l(g) = 3*g**3 + 19*g**2 - 5*g - 1. Suppose 0 = -4*x - 0*x + 20. Let r(j) = -j**3 - 10*j**2 + 2*j + 1. Let u(d) = x*r(d) + 2*l(d). Is u(12) a prime number?
True
Let b be 216/6*2/6. Is b/42 - 1559/(-7) composite?
False
Let x = -1 + 3. Let f be (19/2)/(1/6). Suppose x*c - f = -c. Is c prime?
True
Let q = 298 - 171. Suppose -4*h = -5*h + q. Is h a composite number?
False
Suppose b - 2*i = -2 + 3, 0 = -2*b + 3*i + 2. Suppose b = 2*x - 5. Suppose 7*p - x*p = 212. Is p a composite number?
False
Let j(m) be the first derivative of -m**4/4 - m**2/2 + m + 2. Let i be j(0). Is i + -1 + (-10)/(-1) a composite number?
True
Let s be (-4)/10*(-37 - 3). Let l = s - 11. Suppose -5*d = -1530 - l. Is d composite?
False
Suppose -b + 1672 = 6*n - 2*n, 0 = n + b - 415. Is n composite?
False
Let j be 2/10 - 248/40. Let r(u) = u**3 + 8*u**2 + 7*u - 8. Is r(j) prime?
False
Let d be (-3)/2*2 - 1116. Is (-4)/(12/d) + -2 a composite number?
True
Suppose -5*i = -w + 162, 2*i = 4*w - 2*i - 568. Suppose 2*f + w + 65 = 0. Is 8/(-36) + f/(-9) prime?
True
Suppose 3*s - 41 = -2. Is s composite?
False
Suppose 359 = s + 2*q, s + 70 = q + 429. Is s composite?
False
Let h(t) = -t**3 - 4*t**2 - 8*t - 7. Is h(-6) composite?
False
Let n(d) = -34*d**3 - d**2 - 2*d - 1. Let m(g) = g**3. Let y(v) = m(v) + n(v). Is y(-1) a prime number?
False
Let a be 14/(-10) - 3/5. Is 33 - ((2 - 0) + a) a composite number?
True
Suppose 5*h - 2*h - 297 = 0. Suppose -x + 103 = 3*q - h, -5*x = 3*q - 950. Is x prime?
False
Suppose -5*n = -a - 2763, 1653 = -0*n + 3*n - 3*a. Is n prime?
False
Let y(x) = -5*x + 2. Let b be y(-2). Let a = b + 1. Is a a composite number?
False
Let p be 376/56 - 2/(-7). Is ((-7833)/(-6))/p*2 prime?
True
Let l(k) = 6*k**2 - k. Is l(-3) a composite number?
True
Let x(d) = -d**2 + d. Let r = -5 + 9. Let o(w) = -7*w**2 - 2. Let z(v) = r*x(v) - o(v). Is z(-2) a composite number?
True
Let o be 2150/6 - 2/(-3). Suppose -4*z + 15 = -1. Suppose o = z*v - 293. Is v composite?
False
Is (-2 - -1)*(-5 + -312) composite?
False
Let q(h) = h**3 + 26*h**2 + 14*h + 1. Is q(-24) prime?
False
Suppose 0 = 4*h - 4*c - 2088, -c - 3*c + 532 = h. Suppose 0 = -4*v + 240 + h. Is v prime?
True
Let w = 412 + -191. Is w prime?
False
Let i be (10/(-15))/(2/48). Is ((-8)/i)/(2/340) prime?
False
Let x(p) = 34*p + 4. Let o be x(-7). Let q = o - -754. Suppose 2*w - 5*v - 274 = 0, 4*w + 0*w - q = 3*v. Is w composite?
False
Let o(k) = -k**2 + 4*k + 1. Let p be o(4). Suppose 0 = 5*c - h - 10, 3*h = c - 1 - p. Let q = 25 - c. Is q a composite number?
False
Suppose 0 = 4*a - a - 6. Is a prime?
True
Let p(n) = -16*n - 7. Is p(-2) a prime number?
False
Suppose -780 + 198 = -6*i. Is i prime?
True
Let n(v) = 13*v**3 - 2*v**