412 = 2*d, -4*d + 3*g + 859 = n. Is d prime?
True
Let b = 70 + -150. Let f = b + 165. Is f composite?
True
Let d be 4/3 + 2/3. Suppose -4*c + t + 651 = -349, d*t = 8. Is c composite?
False
Let j(w) = -12*w + 19. Is j(-6) composite?
True
Suppose -2*a - 2*a = 16. Is (-201)/a - 6/(-8) prime?
False
Let m(c) = 137*c - 6. Is m(5) a prime number?
False
Is (-1)/((-2)/38*11/979) a composite number?
True
Let o = -10 - -19. Let k = 1 + o. Is k a prime number?
False
Let j be (-2 - -4)/((-6)/(-15)). Suppose 5*y = -7*c + 2*c - 65, j*y = 4*c + 52. Let n = c - -36. Is n prime?
True
Let b = -535 + 966. Suppose 3*m - 322 = b. Is m a prime number?
True
Let w(p) = -2*p - 6. Let f(q) = -q**2 + 5*q + 1. Let o be f(6). Let l be w(o). Suppose -l*n = 4*k - n - 22, -5*k + 3*n = -41. Is k a prime number?
True
Let j(y) = -y**3 + 19*y**2 - 10*y + 41. Is j(17) a composite number?
False
Suppose 6*u - 378 = 4*u - 5*t, u = 2*t + 171. Is u a composite number?
False
Suppose -21 = -2*v + 49. Is v prime?
False
Suppose 6*n = 2*x + 4*n - 4828, -3*x = 4*n - 7277. Is x a composite number?
True
Suppose -3*x + 464 = -547. Is x a prime number?
True
Let g(y) = -y**3 - y**2 + 2*y - 2. Let r be g(-3). Let o = 116 - r. Is o composite?
True
Let k(z) = -20*z - 15. Let o be k(-7). Suppose -2*v = 7 - o. Is v a composite number?
False
Suppose 0 = 6*r + 29 - 59. Let y be 145/2*1*2. Suppose -3*v = l - y, -170 - 555 = -5*l + r*v. Is l a composite number?
True
Suppose 0 = -2*z - 5*m + 327 + 7653, 19933 = 5*z + 4*m. Is z prime?
False
Let v(h) = 12*h**2 - 2*h + 6. Let u(l) = 2*l**2 + 3*l - 2. Let g be u(-3). Let q be v(g). Suppose p = -3*p + q. Is p a composite number?
True
Let h(v) = v + 6. Let a be h(-4). Suppose 4*o = 5*i + 288, -a*i + 144 = 2*o + 18. Is o prime?
True
Let z(x) = 46*x**2 + x - 1. Let g be z(2). Suppose -196 = -3*j + g. Is j a composite number?
False
Let t(m) = m + 1. Let v be t(8). Suppose 3*j - 2*o = v, j - 2*o = 4*j - 9. Suppose j*c - 5*p = -0 + 2, 4*p - 28 = -5*c. Is c prime?
False
Suppose 3*u = -2*k + 299, 4*u = 4*k + 5 + 367. Is u prime?
True
Suppose -q + 5*c = -23 - 44, -3*q + 144 = 4*c. Is q + (2 - (-3 + 4)) a composite number?
False
Let o(g) = 53*g**2 - 1. Is o(-2) a composite number?
False
Let p(g) = 414*g. Let m be p(-1). Let q = -115 - m. Is q a prime number?
False
Let p = 9 - 3. Suppose 2*h - p*h = -316. Is h prime?
True
Suppose -3*i - 2 + 11 = 3*o, o - 5*i = -3. Let h = 12 - 8. Is (h/6)/(o/69) composite?
False
Let u(f) = f**3 - f + 28. Let v be u(0). Let d = -6 + v. Is d prime?
False
Suppose -10 = -5*g, 3*b + g + 119 = 2*g. Let t = -19 - b. Suppose 0 = -2*j + 7*j - t. Is j prime?
False
Suppose -2*q + q - 168 = 0. Let l = q - -359. Suppose -4*p + l = 51. Is p prime?
False
Suppose -4*d + 393 + 251 = 0. Is d prime?
False
Suppose -5 = 5*c, -3*v + c + 4916 = 2*v. Is v composite?
False
Let u(t) = 4*t**2 + 5*t. Let k be u(5). Suppose -2*w = -5*s + 2*w + k, 5*w = -25. Is s a composite number?
True
Suppose -3*y + 4*y - 2 = 0. Suppose t - 82 = -3*a, 4*t - 339 = -3*a + y*a. Is t composite?
True
Let n(c) = -1 + 2*c**3 - 2*c + c + 2*c**2 + 0 - 1. Let k be n(-2). Is (-147)/(-4) - 2/k prime?
True
Suppose -5*h - 2*k = 1564 + 95, 3*k + 990 = -3*h. Let u = -458 + 968. Let o = h + u. Is o prime?
False
Let q = -12 + 20. Let k = 39 + q. Is k composite?
False
Let d(j) = j**3 + 5*j**2 - j - 3. Let r be d(-4). Suppose -r = 5*h - 52. Is h composite?
False
Let i = 11 - 8. Suppose 260 = 4*k + i*l, 3*k - 43 - 152 = 2*l. Is k a composite number?
True
Suppose -3*y - 4*r - 25 + 5 = 0, 2*y + 25 = -5*r. Suppose y = -5*z - 156 + 446. Is z prime?
False
Let y(r) = 0*r**2 - 3*r - 2*r + 4*r**2 - r**2 - 4. Is y(-3) a prime number?
False
Suppose -3*q - 15 = 0, 2*q - 1253 = -4*j + 7*q. Is j a composite number?
False
Is (-12 - -12) + 2*2606/4 prime?
True
Let r = 27 - 12. Suppose -3*g + 0 + r = 0. Suppose -11 = -4*m + 5*f + 54, -5 = -3*m - g*f. Is m a prime number?
False
Let t(r) = r**2 - 2*r - 4. Let w be t(-5). Suppose 4*k + l - w = 206, -5*l = 2*k - 123. Suppose -5*o = 5*q - 295, o + 7*q - k = 2*q. Is o a composite number?
False
Suppose 3*m = -1 + 16. Suppose 2*y + 3*t + 35 = 684, -2*y = m*t - 643. Is y composite?
True
Let x be ((-2)/(-4))/((-1)/(-6)). Let c = x + -3. Let h(w) = -w**3 - w**2 + 49. Is h(c) a composite number?
True
Let r(j) be the second derivative of -j**5/20 + 5*j**4/12 + j**3/3 - 7*j**2/2 + j. Let k be r(5). Suppose -k*p = h + 3 - 4, -2*h - 5*p = -4. Is h composite?
False
Let g(u) = -40*u + 1. Let j be g(-2). Let w(p) = j + 0*p**3 - p**3 + 30 + 8. Is w(0) prime?
False
Let h = 11 - 6. Let w = h + -5. Suppose -3*o + 4*d + 157 = w, o + 4*d - 283 = -4*o. Is o prime?
False
Let j(l) = l - 3. Let n be j(-9). Suppose 22 = 4*s - 5*s. Let o = n - s. Is o prime?
False
Let z(d) be the first derivative of d**4/4 - 4*d**3/3 - 4*d**2 + 4*d + 1. Let q be z(5). Let p = q - -21. Is p composite?
True
Let p = -261 - -566. Suppose 2*s + 3*s = p. Suppose -3*o + 6*r - 2*r + s = 0, -4*o = 3*r - 73. Is o a composite number?
False
Let d = -43 - -61. Let a = -8 + d. Is a composite?
True
Suppose -4*u + 22 = c + u, -4*c = -u - 4. Suppose -4 - 2 = -c*m. Suppose z - 76 = -m*z. Is z prime?
True
Is 5/(-55)*-4193 + 2/(-11) a composite number?
True
Suppose -29 = -2*g + 5*o, 5*g - 150 = -3*o - 0*o. Let f = g - -10. Is f composite?
False
Suppose -57744 = -0*n + 3*n + 2*r, 4*n + 3*r + 76992 = 0. Is n/(-30) + 9/(-15) composite?
False
Is 488 - (2/(-1) + -1) prime?
True
Let d = -14 - -17. Is (-248)/(-16) - d/2 prime?
False
Let o = 876 - 581. Is o a prime number?
False
Let o = 20 + 42. Is o a prime number?
False
Let j = 14 + -24. Let c = j - -56. Is c prime?
False
Let w(c) = 46*c**2 + 2*c - 1. Is w(3) composite?
False
Suppose 0 = -5*f + 68 + 102. Suppose 91 = 3*l + f. Is l a prime number?
True
Let g(y) = -y + 1. Let c(n) = 23*n + 7. Let x(i) = -c(i) - 4*g(i). Let m be x(-10). Suppose -4 = -2*j - 2, -2*b = -3*j - m. Is b prime?
False
Suppose 1995 = -8*l + 9*l. Let v = -260 + l. Is v composite?
True
Let g(s) = -2*s + 214. Let x(p) = -p**3 - 3*p**2 - 3*p - 2. Let k be x(-2). Is g(k) prime?
False
Suppose 2*f - 3*h - 6 = -21, 4*h = 20. Let x = 4 + f. Suppose 0 = -4*v - 2*k + 8 + 10, -2*v + 18 = x*k. Is v composite?
False
Suppose 3*p - 58 = -7. Suppose 2*n - o = p, 0 = -3*n + 8*n + 5*o - 65. Let f = 45 + n. Is f composite?
True
Let i be (-274)/(((-8)/(-2))/2). Is (i/(-3))/(3/63) composite?
True
Suppose -2*q + 3*a = 7*a - 1454, 0 = -5*q + 2*a + 3635. Let x = 1514 - q. Is x a composite number?
False
Let l = -2793 - -4946. Is l prime?
True
Let k(f) = -f**3 + 6*f**2 + 8*f + 5. Let a(s) = 6*s**2 + s - 1. Let j(m) = m - 3. Let b be j(4). Let v be a(b). Is k(v) a prime number?
True
Let z = 1 + -13. Let s be z/8 + (-10)/4. Is 7/s*-4*3 prime?
False
Let k = -79 + 210. Is k a prime number?
True
Suppose -4*j - d + 6*d = 9, -d = -5. Suppose -18 = j*g - 222. Is g a composite number?
True
Let i(x) = -2*x**2 + 2*x + 5. Let f be i(6). Is (3 - 5)/(2/f) a prime number?
False
Let z be (-6)/15*1300/(-2). Let i = z + -139. Is i composite?
True
Let f = 916 + -623. Is f composite?
False
Let k be 13/5 - (-4)/10. Suppose -102 = -0*x - k*x. Is x composite?
True
Is (-1293)/(-7) - 6/(-21) a composite number?
True
Let m = -577 + 1274. Is m composite?
True
Let m(x) = 4*x**2 + 4*x - 3. Let p(a) = -2*a - 2. Let q be p(-3). Suppose 2*s + q = -6. Is m(s) a prime number?
False
Suppose -2*u - 949 = -3*y + 2*u, -3*y + 948 = -3*u. Suppose 163 = 2*j - y. Suppose -2*b = -j + 9. Is b composite?
True
Suppose -2*j - g = -155, 2*j + 2*g + 2*g = 158. Suppose -j - 38 = -5*w. Is w composite?
False
Let i = -305 + 1086. Is i composite?
True
Let o(f) = 99*f + 10. Is o(3) a composite number?
False
Let d = 509 + 353. Is d a composite number?
True
Suppose -4 = 7*w - 5*w. Is (-3 - -401)*(-1)/w prime?
True
Let o = 5 + 0. Suppose 1 = n + 2*t - 3*t, 5*n + 3*t = 13. Suppose 0 = -d + n*b, b + 2*b + 14 = o*d. Is d a composite number?
True
Let a(g) = 21*g**2 + 10*g - 5. Is a(4) a prime number?
False
Suppose o - 2*t - 4 = 0, -3*o - t + 0 = 2. Suppose -2*h - h = o. Suppose -3*f - 2*f + 485 = h. Is f composite?
False
Let r(k) = -k**3 + 6*k**2 - 5*k + 1. Let y be r(5). Let z be (-27)/(-9) + -1 + y. Suppose -h - 4*p = -66, p = -1 - z. Is h a composite number?
True
Let a(s) = -s**2 + 4*s + 4. Let p b