 c + 276. Is j composite?
False
Suppose -3*n + 5*n - 2974 = 0. Let s = n + -834. Is s a prime number?
True
Suppose 0 = 3*y + 4*v - 11 + 5, 2*y - 4 = -4*v. Suppose h - 5 = -y. Suppose -3*g + 4*b = -153, 2*g - h*b - 52 = 51. Is g composite?
False
Suppose 0 = 5*c - 7*c + 2174. Is c prime?
True
Let w(a) = -266*a - 3. Let n be w(-2). Suppose -i - 722 = -5*i + 3*v, -4*v + n = 3*i. Is i a prime number?
True
Suppose -2*l - 2*l + 424 = 0. Let v = l + -51. Is v composite?
True
Suppose -23 = -3*r - 2*x, -5*r = -2*x - 2*x - 31. Suppose -4*v + 53 = 3*l - r, -l = -v + 8. Let g = -5 + v. Is g prime?
True
Suppose 0*x + 4*x = k + 240, -12 = 3*k. Is x prime?
True
Suppose -8*o = -4*o - 84. Is o a prime number?
False
Let t(s) be the third derivative of s**6/120 - s**5/10 + 3*s**4/8 + 11*s**3/6 - s**2. Let f = -34 - -42. Is t(f) prime?
True
Let m be 4/(-4) - -3*1. Suppose 230 = -0*c + m*c. Is c composite?
True
Let b be 0 - -7 - 3 - 2. Suppose -b*m + 7*m = 665. Is m a composite number?
True
Let p(t) = -6*t**2 - 6*t - 4 - 2*t - t**3 + 1 + 3*t. Let c be p(-3). Let q = c - -28. Is q prime?
True
Is 11*86/4*2 a composite number?
True
Let g = 383 + -192. Is g a composite number?
False
Suppose -4*k + 118 = -10. Suppose -2*v = -a + 14 + 9, -k = 2*v + 2*a. Let g = v - -38. Is g composite?
True
Is 85/51*(-402)/(-2) prime?
False
Suppose 7 = 2*n - n + 2*p, 3*n - 4*p = 11. Let u(c) = 26*c - 3. Is u(n) a prime number?
True
Let y be ((-4)/(-6))/((-3)/9). Let a be 13*(3/(-3) - y). Suppose a + 24 = z. Is z a prime number?
True
Let d = 36 + -25. Let z be (d*2)/((-4)/(-8)). Suppose z - 5 = 2*m + 5*i, -5*i = -25. Is m a prime number?
True
Let c(o) = 21*o**2 - 4*o + 1. Let b be c(-4). Suppose 4*j - b = 5*k, -2*j + 2*k = 3*j - 437. Is j composite?
True
Is ((-18)/135 - 6334/(-30))/1 a composite number?
False
Let v = -541 - -1902. Is v composite?
False
Suppose -4*b - 3 - 1 = 0. Let w be 0 + (-1 + 3 - b). Suppose 0 = 2*p + 2*x - 70, -154 = 2*p - 6*p + w*x. Is p prime?
True
Suppose -5*v = 3*x - 6*x - 1246, 0 = v + 3*x - 260. Is v a composite number?
False
Let m = -1473 + 3010. Is m a prime number?
False
Suppose 320 = 5*p + 5*c, 0 = -4*p + 2*c + 170 + 92. Let s(g) = g**2 + 6*g - 2. Let h be s(-7). Suppose 0 = h*i - p - 60. Is i composite?
True
Suppose 30 = 5*n - 80. Is n composite?
True
Is (88/(-12))/(4/(-6)) prime?
True
Let k(a) = -a**2 - 8*a + 3. Let b be k(-8). Let t be b/(-2)*-2 - 2. Is -2 + t + 2 - -36 prime?
True
Suppose -i - 3*i = -1012. Is i a prime number?
False
Suppose -17 = -3*r - 5. Let o = 16 + -5. Suppose -2*z = 6*k - k + o, k + 33 = r*z. Is z composite?
False
Suppose 8*l - 1885 = 3*l. Is l composite?
True
Let w be 3 - -323*(1 + 3). Is 3/2 + w/10 a prime number?
True
Suppose 2 = 4*s - 14. Suppose -24 = -s*h - 4. Suppose -5*q = h*j - 60, j - 11 - 3 = q. Is j a prime number?
True
Suppose l = -109 + 1644. Is l a composite number?
True
Let i(g) be the first derivative of g**4/4 + 11*g**3/3 + g**2 + 5*g + 2. Is i(-5) a prime number?
False
Let c(p) = p + 14. Let d be c(-12). Let a = 6 - 4. Suppose -d*v - a*v = -204. Is v a prime number?
False
Suppose 0 = -2*a + 5*j + 1872 + 444, 0 = 5*j. Is 1/(-5) - a/(-15) prime?
False
Let p(s) = s**3 - 5*s**2 + s + 1. Let m(k) = 2*k + 6. Let q be m(-6). Let t be (1 + -1 - q)/1. Is p(t) composite?
False
Let n(y) = 4*y**2 - 7*y - 2. Let m be n(5). Let c = m - 10. Is c a composite number?
False
Let b = 10 - 8. Suppose -57 = -b*l - l. Is l a composite number?
False
Let k(x) = -x**3 - x**2 - 13*x. Let t(g) = g**2 + g + 1. Let w(b) = -k(b) - 6*t(b). Is w(4) prime?
False
Suppose 5*w - 2823 = 352. Is w a prime number?
False
Let m(l) = -5*l**3 + l**2 - 2*l + 1. Suppose 0 = 2*u - 0*f + 4*f, -4*u - f = 7. Is m(u) prime?
False
Suppose i = 3*i - 818. Is i composite?
False
Let z(t) = 4*t**2 + 2 + 6*t**2 - 3. Is z(-3) a composite number?
False
Let n be 4/(-10) + 4/10. Suppose n = -2*a - 3*a + 25. Suppose 0 = 5*w - 15, 6*k + a*w = k + 70. Is k a composite number?
False
Let c(a) = 2*a**2 + 2*a - 6. Let q be c(-6). Let l = -23 + q. Is l composite?
False
Suppose 0 = s + 5*m, -2*m = 3*m. Suppose -5*n + j - 287 = s, -n - 218 = 3*n + 5*j. Let w = 22 - n. Is w a composite number?
False
Let o = 12 - -5. Suppose 2*s - 25 - o = 0. Is s prime?
False
Let g = 400 + -261. Is g a prime number?
True
Let x = -66 + 130. Let b = x - 31. Is b a composite number?
True
Suppose -3*f + 2*f + 3 = 0. Suppose 0 = s + f*s - 636. Is s composite?
True
Let t(o) = 1 + 0*o - 2*o + 0*o - 3. Let h be t(-2). Suppose h*y + 3*l = 5 + 176, 0 = 4*y + l - 337. Is y a prime number?
True
Let m(p) = p**2 + 4*p**2 - 6*p**2 + 0 + 1 - 139*p**3. Is m(-1) a prime number?
True
Let y(z) = 2*z**3 - 13*z**2 - 16*z - 7. Is y(12) composite?
True
Suppose 0 = -0*d - 4*d + 4, a - 2*d = 738. Let w = a + -416. Is 4/10 + w/15 a prime number?
False
Let j(h) = h**2. Let i(z) = 14*z**2 - 3*z - 3. Let m(g) = i(g) + 6*j(g). Let u be m(4). Let o = u - 172. Is o a composite number?
True
Suppose 3*b - 1054 = -2*p, 3*b = -5*p + 156 + 2461. Is p composite?
False
Suppose -31 - 199 = -5*c. Is c a composite number?
True
Suppose -4*w + 44 = -0*w. Is 2/w + (-1734)/(-22) composite?
False
Let o(q) = q - 3. Let a be o(6). Suppose 8 - 3 = -h + a*j, -3*h + 2*j + 6 = 0. Is h prime?
False
Suppose 2*u = -u + 4767. Is u prime?
False
Suppose -y = -4*k + 24 + 3, 0 = 5*y + 15. Suppose -k*s = -2*s - 44. Is s a composite number?
False
Suppose -2*t + 4*t + 3*a - 3340 = 0, a - 6690 = -4*t. Is t prime?
False
Let w = -2 + 4. Suppose 4*v + 24 = w*z, -4*v + 0*v + 64 = 2*z. Suppose 0*a = -a + z. Is a a composite number?
True
Suppose 0 = -v - v - r - 1, 0 = 5*r - 25. Let s(j) = -j**3 - 3*j**2 + 2. Let a be s(v). Suppose 2*f - a*t = 66, -5*f + 264 = 4*t + 63. Is f prime?
True
Suppose -4*i + g + 80 = -3*g, 2*g = -2*i + 20. Is 484/(-6)*i/(-10) composite?
True
Let f(o) = -o + 2. Let i be f(0). Suppose 24 = 2*h + i*h. Is h a composite number?
True
Suppose -5*t + 258 = -2*t. Suppose 0 = -y - y + t. Is y prime?
True
Suppose -4*g + 3240 = 2*w, w = -2*w - 12. Suppose 2*f + 2*f - 812 = -5*t, -4*f + 4*t = -g. Is f a prime number?
False
Let t(o) = 2*o**2 + 2*o. Let q be t(2). Is 1436/q - (-4)/(-6) a prime number?
False
Is 809/(-4)*(-6 + 2) a prime number?
True
Suppose -2*s = -6*s. Suppose s = -0*c + 5*c - 5. Is -2*c*1 - -81 a prime number?
True
Let n be (-62)/4 + (-1)/2. Suppose 2*g - 85 = p, 2*g + 2*p - 117 = -g. Let l = n + g. Is l a prime number?
False
Let n(c) = -c**2 - 12. Let t(v) = -v**2 - v - 13. Let i(q) = -6*n(q) + 5*t(q). Is i(8) composite?
False
Suppose -5*m + 23 = -6*q + 2*q, -5*m + 16 = -3*q. Let a be q - (-2 - -1) - 0. Is 1172/12 + 4/a a composite number?
False
Is (-509*2)/(-5 + 3) a prime number?
True
Let z = 9 + -5. Suppose d + z*d = 150. Suppose -3*c = 2*c - d. Is c a composite number?
True
Let a(c) = 3*c**2 - 1 - 3*c - 2*c**2 + 0*c**2. Is a(5) a prime number?
False
Let r(h) = h**3 + h**2 + h - 1. Let k(c) = -2*c**3 - 7*c**2 + c. Let b(d) = -k(d) - 3*r(d). Is b(2) composite?
False
Let c(t) = -53*t**3 - 2*t**2 - t + 1. Let j(w) = w + 8. Let l be j(-10). Is c(l) a prime number?
True
Suppose -5*k + 3*k = -48. Let l = 2 + k. Is l/1 + 0 - 1 composite?
True
Let o = 8 - 6. Let u = -44 - -149. Suppose -121 = -o*c + u. Is c prime?
True
Let m = 0 + 1. Let s be (-207)/6 + m/(-2). Is (s/(-3))/(2/6) a prime number?
False
Suppose -11 = -5*l + t, -t - t = l. Suppose 3*g + 238 = m, l*g = -5*m - 2*g + 1095. Is m prime?
True
Suppose -169 + 1857 = 2*z. Suppose -1 = -5*h + z. Is h prime?
False
Suppose 5*z - 136 = -3*l + 1619, 0 = 3*l - 15. Suppose 3*p = 747 + z. Is p composite?
True
Let w be (18/(-9))/((-4)/(-446)). Suppose f + 695 = -5*l, -4*f - 88 - 312 = 3*l. Let o = l - w. Is o a prime number?
True
Let n = 2 + -3. Let p(a) = -98*a. Let o be p(n). Suppose 3*g + 63 = 3*v, -3*v - 2*g + o = 30. Is v a composite number?
True
Let m = 18 + -7. Suppose -2 = -0*k - k. Let d = m + k. Is d composite?
False
Let t = -1 + 3. Suppose -t*o - 28 = -4*o. Suppose m - 5*m = 0, -2*l + o = -m. Is l a composite number?
False
Suppose -4*r - 4*t + 51 = -505, 0 = -3*r - 5*t + 409. Is r a prime number?
False
Suppose 4*p = -14 - 10. Let w(r) = -1 + r**2 - 5 + 1 + r. Is w(p) composite?
True
Let d(f) = f**2 + 1. Let c(h) = 6*h**2 - 2*h. Let v(o) = c(o) - 3*d(o). Let m = 13 + -9. Is v(m) prime?
