- r + 13 = 0. Is a composite?
False
Suppose -3*l = -2*m + 221, 0*l + 330 = 3*m - 4*l. Is m a composite number?
True
Let c = 14 + -12. Let x(w) = 32*w**3 + w**2 - w + 1. Is x(c) composite?
True
Let w(c) = -c - 2. Let v be w(-6). Let t(j) = -4*j + 4*j - v*j - 6 - 16*j. Is t(-4) prime?
False
Suppose -2 = -4*w + 2, 5*h - 2*w = -2. Suppose q - 67 = -3*z, h*q - q = 2*z - 67. Is q a prime number?
True
Suppose 2*q + 3*q - 105 = 0. Is 4/14 - (-141)/q composite?
False
Suppose 1011 = -5*y - f - 3*f, -199 = y + 4*f. Let r = -76 - y. Is r composite?
False
Suppose -3*b = -9, g - b + 315 = 69. Let h = -134 - g. Is h prime?
True
Let n = 201 - 107. Is n a prime number?
False
Is 6/(-8) + 847/4 composite?
False
Let v(r) = -1 + 3*r**2 - r**2 - r - 4*r. Is v(4) prime?
True
Let y(m) = -m**3 + 8*m**2 - 6*m + 7. Suppose 0 = o + l - 6 - 5, -2*o - 6 = -5*l. Is y(o) a prime number?
False
Suppose 0 = -4*g + 31 - 7. Let k = -9 + g. Is k/6 + 78/4 a prime number?
True
Let y = -230 - -357. Is y a prime number?
True
Suppose 0*r - 188 = -3*r + w, 5*r + w = 300. Suppose -5*o + r = 4*b, 0 = 4*o + 4*b - 48. Is o a prime number?
True
Suppose 4*s + 0*s - 5444 = 0. Is s prime?
True
Let o be 3 - 1 - 195/(-5). Is o*4 + 0 + 3 a composite number?
False
Let b(c) = 4*c**3 - 4*c**2 - 5. Is b(4) composite?
True
Suppose -5*a + 43 = -12. Let j(m) = -m**2 + m. Let l be j(0). Let x = l + a. Is x a composite number?
False
Is -21*-1*(-907)/(-3) composite?
True
Suppose 2*f - 2 = -s, -5*f = 4*s - 0*f - 11. Is (-2)/s - (-1164)/8 prime?
False
Let q(l) = 2*l**2 + 6*l - 13. Is q(-13) a prime number?
False
Suppose 0 = -k + 2*k - 1124. Suppose u = 5*v - k, -2*v = -4*v - 5*u + 428. Let h = v + -141. Is h a prime number?
True
Is (-3)/(-6)*(37934 - 4)/5 a composite number?
False
Let m(d) = 5*d - 16. Let z(w) = 3. Let f(v) = -3*m(v) - 15*z(v). Is f(-2) a composite number?
True
Let v = -8 - -196. Suppose 0*c = 4*c - v. Is c a composite number?
False
Is (-3)/6 + (-2)/(12/(-6525)) composite?
False
Let h(s) = 16*s**3 + 6*s**2 - s + 10. Is h(5) a composite number?
True
Let h = 583 + -337. Suppose -3*k + 249 + 54 = 0. Let q = h - k. Is q a composite number?
True
Suppose -3*n - 2*n - 4*m = -7373, -m = 3. Is n a prime number?
False
Let i(r) = r**2 - 8*r + 6. Let k be i(8). Suppose 0 = p + 4*o - 141, 4 = 2*o - k*o. Is p a prime number?
False
Let s = -346 - -550. Suppose 0 = -4*c - 4*p + s, 0*c + c = 2*p + 39. Is c a composite number?
False
Suppose -3*n - n = -16, -3*x + n + 314 = 0. Is x prime?
False
Let t(p) = -4*p**2 + p**2 + 9 + 4*p**2. Let n be t(0). Is 382/18 - 2/n a composite number?
True
Let u(v) = -4*v**2 - v. Suppose -a + 2 = 3. Let x be u(a). Let j = 10 + x. Is j prime?
True
Suppose 4 = -d + 1. Let t(n) = -13*n - 2. Is t(d) prime?
True
Suppose 5*f - 6 = 4. Let z = f + 0. Is (-3)/((-3)/z) - -45 prime?
True
Suppose 7*s + 8 = 3*s. Let f be 3*(2 - s/(-3)). Is (-1)/f + 114/8 a prime number?
False
Let x(b) = -145*b - 1. Is x(-2) prime?
False
Let d = 422 - 211. Is d a prime number?
True
Suppose 2154 + 362 = 4*w. Is w a composite number?
True
Suppose -638 = 7*i - 14512. Is i composite?
True
Let z(u) = 413*u**2 - u + 1. Is z(1) a prime number?
False
Let u = 189 + -123. Suppose -4*d = -5*d + u. Is -1 + (2 - 2) + d prime?
False
Is (-3 - (-2 + 10))/(-1) composite?
False
Let x(q) = -2*q**3 - 3*q**2 - 2*q + 1. Let c be x(-3). Let m = c + -20. Suppose m = 5*k - 56. Is k a prime number?
False
Suppose d - 5*r - 113 = 0, 2*d = -4*r + 12 + 242. Is d composite?
True
Let g(j) = 4*j**2 + 16*j + 13. Is g(-14) a prime number?
False
Let x = 13 + -10. Suppose -5*l - 4*j = 227 - 4992, 0 = x*l + 4*j - 2859. Is l composite?
False
Let c(x) = x**2 - 6. Let i(j) = 6*j**2 - 1. Let w be i(-1). Let t be c(w). Suppose t = 4*k - 3*k. Is k a composite number?
False
Let o(w) = -w**3 - 9*w**2 - 6*w - 9. Let u(s) = s**3 + 8*s**2 + 5*s + 8. Let t(i) = -4*o(i) - 5*u(i). Let k be t(-4). Suppose k*a + 8 = 2*a. Is a composite?
True
Suppose 2*o + 14 = -4*b, 3*b = 5*o - b + 35. Is 8*1 + o + 5 a prime number?
False
Let v(i) = -5*i - 14. Let z(h) = h**2 - 6*h + 3. Let y be z(4). Is v(y) composite?
False
Suppose 5*f + q + q = 5309, -5*f + 2*q + 5301 = 0. Is f prime?
True
Let u be ((-3)/(-6))/((-3)/(-12)). Is 33 - (u + (-1 - 1)) composite?
True
Let j = 245 + -34. Is j a prime number?
True
Suppose -2*w + 99 = -83. Is w a composite number?
True
Suppose -400 = -5*u - 5*q, -u - 312 = -5*u + 4*q. Is u prime?
True
Let x(r) = 64*r**2 - 20*r - 1. Is x(6) a prime number?
False
Let z be (-889)/(-3) - 2/6. Suppose -2*y - y + 78 = 0. Suppose y = 2*f - z. Is f a prime number?
False
Let n = 17 + -18. Is 1/(4*n/(-460)) prime?
False
Let t = 599 + -412. Is t prime?
False
Is ((-1)/4)/((-3)/3684) composite?
False
Suppose -1 = -i - 4, 2*i = -5*h + 9. Suppose 2 = 2*x - 6. Suppose p - h + 2 = -x*k, -3*k = 4*p - 69. Is p a prime number?
False
Let v(f) = 2*f**2 - 5*f + 5. Is v(18) prime?
True
Suppose 4*q - 20 = 24. Let w(f) = 4*f - 13. Let u be w(q). Is (0 - u)/((-3)/3) composite?
False
Is (2/((-6)/771))/(-3)*3 a composite number?
False
Suppose h + 20 = 5*w, -3*h + 3*w + w - 16 = 0. Let s = h - -2. Suppose 0 = 2*n + n - s*o - 103, 4*o = 5*n - 175. Is n composite?
False
Let f = -69 - -67. Let r(x) = -26*x**2 - 11*x - 7. Let i(n) = 13*n**2 + 6*n + 4. Let z(k) = -5*i(k) - 3*r(k). Is z(f) a prime number?
True
Suppose -11*t + 2286 = 7*t. Is t a prime number?
True
Let q(m) = -512*m - 10. Is q(-1) prime?
False
Let i = 221 + 336. Is i composite?
False
Suppose 0 = -n + 2*d + 8177, 4*n - 32724 = -3*d + 7*d. Is n composite?
True
Let z = 9 - 6. Suppose -40 = -z*p + p. Let h = p + 15. Is h a composite number?
True
Suppose -4*y = 2*l - 160 - 644, -l + 999 = 5*y. Is y a prime number?
True
Let f(w) = w**3 + 4*w**2 - w + 4. Let t be f(-5). Let b = t - -30. Let y = 25 - b. Is y a composite number?
False
Let n(b) = -83*b - 1. Let g be n(-1). Let q(m) = m**3 + 6*m**2 + m + 7. Let l be q(-7). Let r = l + g. Is r prime?
False
Suppose 0 = 4*y - 2802 - 1270. Let c = y + -671. Is c a composite number?
False
Let t(j) = 17*j + 11. Is t(18) a composite number?
False
Let r(l) be the third derivative of 7*l**4/24 + 7*l**3/6 + l**2. Let g be r(5). Suppose -u + g = -11. Is u prime?
True
Let a = 5500 + -3845. Is a prime?
False
Let k = 75 - 192. Let c = -71 - k. Is c a prime number?
False
Suppose 3380 = 5*u + 3*b, u - 2712 = -3*u - 4*b. Is u a composite number?
False
Let k(f) = f - 1. Let b be k(6). Suppose b*u - 113 = -18. Is u a prime number?
True
Let s = 12 + -9. Is (-458)/(-4) + s/6 composite?
True
Let d be (1 - 1)/(-4 + 3). Suppose d = h - 3*h + 3*y - 5, 5*h - 5 = 4*y. Suppose h*v = -n + 61, 2*v + 0*n - 38 = 3*n. Is v prime?
True
Let m = 148 + 51. Is m a composite number?
False
Let k(g) = -19*g + 27. Is k(-14) composite?
False
Let n = 61 + 28. Let i = 340 + -171. Suppose -3*j - 5*x + i = 0, n = 2*j + 5*x - 27. Is j prime?
True
Let k(a) = -7*a + 2. Let l be k(2). Let v be 6/2 + l/(-6). Suppose v*j = 3*o + 196, o = -j - 0*o + 36. Is j composite?
True
Is (-3)/(-15) + (-41976)/(-20) a prime number?
True
Let a(c) = -c - 12. Let v(j) = -j**2 - 6*j - 9. Let r be v(-6). Let k be a(r). Is (-13)/(-4)*(-132)/k prime?
False
Suppose 3*a - 8 = -2*d, 4*d - 3*a - 41 = -d. Suppose 0 = -d*h + 4*h. Suppose o + n = 64, h = -o - 2*n + 34 + 35. Is o composite?
False
Suppose -m = 4*v - 12, -3*v + 2*v = -2*m - 3. Suppose v*x + 3*b = -x + 23, 5*b = 25. Suppose 0 = x*i - 3*a - 214, -3*a - 63 = 5*i - 640. Is i composite?
False
Suppose 0 = 3*i + 12, 2*o - 28 = 2*i + 1578. Is o prime?
False
Let t be 3/(-15) + (-9)/5. Let u(j) = -j**3 + 3*j**2 + 2*j - 2. Is u(t) a prime number?
False
Let s be ((-10)/30)/(1/(-9)). Suppose o = s*g + 1 + 15, -4*o - g = -12. Suppose -2*d - 182 = -o*d. Is d a composite number?
True
Let f(x) = x**3 - 13*x**2 + 11*x - 6. Let y be f(10). Is y/(-3) - 5/15 prime?
False
Is (1*1217)/(-10 + 11) prime?
True
Suppose 8 = -2*q + 3*v, 0 = 5*v - 14 - 6. Is ((-573)/(-6))/(q/4) prime?
True
Let r = 354 - -1327. Is r prime?
False
Suppose -2*v + 5*b + 0*b = -379, 2*b - 722 = -4*v. Let f = v + 149. Is f prime?
True
Let w(d) = d**3 - 7*d**2 - 10*d + 7. Let z be w(6). Let o = 2 - z. Is o a composite number?
True
Let c = -1906 - -3113. Is c a prime number?
False
Let r(l) = 18*l**2. Let w be r(1). Suppose q + w = 4*q. Suppose -12