/4*21890/33 prime?
False
Let w(q) = -10*q - 7. Let y be w(-6). Suppose -3*m + 462 = 4*z - y, 2*z + 3*m = 253. Is z a prime number?
True
Let k(m) = -m - 2. Let b be k(-6). Suppose 86 = b*j - 46. Is j a prime number?
False
Let j = -57 - -142. Is j prime?
False
Let r(x) = 17*x**3 - 7*x**2 + 6*x + 5. Is r(5) a composite number?
True
Suppose 155 = 5*h + 3*b, -3*h + 5*h = -b + 63. Is h a prime number?
False
Let z(a) = -a + 1. Let q be z(-4). Let h(t) = t**2 - q + t + 3 + 3. Is h(-3) composite?
False
Let r(i) = i**3 - 11*i**2. Let u be r(11). Suppose -m - m + 2 = u. Is 1*(m + 8 - 0) composite?
True
Let v(o) = -o**2 + 7*o - 3. Let x be v(7). Let c(n) = -3*n**3 + 2*n**2 + 4*n + 2. Is c(x) a prime number?
True
Let g(a) = 9*a - 3. Let c be g(2). Is (-329)/(-2) + c/(-10) composite?
False
Let i(r) = 3*r - 4*r + 5 + 2. Suppose 4*y + 8 = o + o, -y + 7 = -2*o. Is i(o) a composite number?
False
Suppose -6*a = -1064 - 1174. Is a a composite number?
False
Let o = 4306 + -2763. Is o prime?
True
Suppose 0 = 2*h - 5*d - 16, -5*h + 3*h = d - 4. Suppose 2*c - 5*i - 15 = -5, -3*i - 6 = c. Suppose c = h*k - 30 - 12. Is k a prime number?
False
Suppose 2*d - 2*k - 820 = 0, -36 - 775 = -2*d - k. Is d composite?
True
Let v be 2*102/9*3. Suppose -5*a + 5*d = -60, -5*a + 2*d = -d - v. Let b = -5 + a. Is b composite?
False
Let f(m) = -13*m**3 + 5*m**2 + 3*m - 3. Let u be f(-3). Suppose 109 - u = -5*p + 5*j, p + 3*j - 63 = 0. Is p a composite number?
True
Let u(y) = -15*y**3 - y**2 - 5. Is u(-3) a composite number?
True
Let a be (8/32)/((-2)/(-24)). Is a + (-8 - -1) - -519 a composite number?
True
Suppose 0 = -3*b + m - 67 + 9, -3*m = 4*b + 99. Is 6/b + 5346/42 composite?
False
Suppose z + 3*m - 968 = 0, -9*z + 12*z - 2925 = -2*m. Is z prime?
True
Let t(q) = -3*q**3 + 9*q**2 + 12*q - 3. Let o(z) = 7*z**3 - 19*z**2 - 25*z + 5. Let y(i) = 2*o(i) + 5*t(i). Let r be y(8). Let f = -7 + r. Is f prime?
False
Let z(v) = -v**3 + 7*v**2 + 8*v + 5. Let x = 5 - -1. Is z(x) composite?
False
Let c(r) = r**2 - 5*r - 1. Let g be (-8)/5*75/(-10). Let k = g + -5. Is c(k) a prime number?
True
Let a(p) = p**2 + 7*p - 6. Let g be a(-8). Suppose 0 = -o + 3*k + 185, 390 = g*o - 0*o + 4*k. Is o composite?
False
Suppose -5*b + 1080 = -b. Suppose -m + 6*p = 3*p - 143, 2*m - b = 2*p. Is m prime?
True
Let r be 6/(-27) - (-1159)/(-9). Let v = 212 + r. Is v a prime number?
True
Let a be (-36)/(-15) + (-2)/5. Let t be 3 - -1*(-3 + a). Suppose t*b - 110 = -0*b. Is b a composite number?
True
Suppose -7*o = m - 2*o - 105, -m + o = -117. Suppose -g = -m - 181. Let q = -139 + g. Is q composite?
False
Let o(x) = -x**3 - 15*x**2 - 18*x - 19. Is o(-15) a composite number?
False
Suppose 0 = 2*m - 2 - 8. Is (2 - (m + -2)) + 114 composite?
False
Let h be (2/(-3))/((-4)/3048). Suppose 88 = -4*x + h. Suppose -x = -0*r - 3*r. Is r prime?
False
Let q be (-81)/(-18)*(-2)/3. Is q/6*(-232 + 2) prime?
False
Let s be ((-4)/(-6))/(6/9). Suppose -k = -12 + s. Let f = k - -3. Is f a prime number?
False
Is -2*((-4893)/(-6))/(-7) prime?
True
Let l(x) = -x**3 + 6*x**2 + 7*x + 3. Let g be l(7). Suppose 4*v + 5*d = 508, g*d = 4*v + v - 635. Is v composite?
False
Let l = -2 - 2. Let y be 616/18 - l/(-18). Suppose s - 15 - y = 0. Is s a prime number?
False
Let i(b) = b**3 + 6*b**2 + 5*b + 2. Let r be i(-5). Is (r/(-6))/((-3)/2745) a prime number?
False
Let h = 535 + -330. Is h a prime number?
False
Let b(a) = 8*a**2 - 9*a + 9. Let t be b(9). Suppose 2*r - 506 - 671 = -3*y, 0 = r - y - t. Is r a prime number?
False
Let t(a) = -3*a**2 - 2*a - 3. Let o be t(-2). Let p = o + 16. Suppose -p*u - 427 = -4*b, 3*b = -2*u + 130 + 219. Is b prime?
True
Let m(f) = -2*f - 4. Let p be m(-3). Suppose p*z = 4*n - 448 - 1346, -2*n + 5*z + 909 = 0. Is n prime?
False
Suppose 5*s + 40 = -3*t, 0*s - 2*t + 43 = -3*s. Let p(c) = 2*c**2 + 4*c + 5. Is p(s) a prime number?
False
Suppose 20*g - 21*g + 204 = 0. Suppose 5*i - g = i. Is i composite?
True
Let j be 14/21 + (-7)/(-3). Let r be (-4)/((-6)/9*j). Suppose 176 = r*s + 18. Is s prime?
True
Let f = 95 + -140. Let l = f - -76. Is l composite?
False
Is ((-2)/(-6)*-2)/((-50)/21825) prime?
False
Suppose -4 = -g - 3*g. Is 70*g*(-2)/(-4) a composite number?
True
Suppose -5*c + 361 = 2*w, c + 299 = 5*c + 5*w. Is c a prime number?
True
Let b = -18 - -92. Let u = 7 + -4. Suppose x = -u*h - x + b, 5*h + 5*x = 130. Is h prime?
False
Suppose -2*v + 8 = 2. Let y(p) = p**2 - p. Let a(s) = 1. Let j(t) = v*y(t) - a(t). Is j(-3) composite?
True
Is 1901*-3*(-1)/(-6)*-2 a prime number?
True
Let r be 0 - ((-170)/(-2) - 0). Let o = r - -348. Is o a composite number?
False
Let n = -125 + 516. Is n composite?
True
Let l be 152/(-36) - 4/(-18). Let b = 4 + l. Is b/(-1) - (-4 - 75) a composite number?
False
Let l = -6 + 2. Let x = l - -11. Let v(k) = 4*k**2 - 9*k - 6. Is v(x) a composite number?
False
Let f be (3/(-4))/(2/(-8)). Let w(a) = 11*a**3 + a**2 - 5*a + 2. Is w(f) a composite number?
False
Suppose 0 = -4*b + 2*k - 4*k + 2074, -4*b = -2*k - 2094. Is b a prime number?
True
Suppose 2*y = 3*y - 291. Is y prime?
False
Suppose 0 = 3*n - 5*t - 1962, 3*n - 1965 = 3*t + t. Let p = n + -368. Is p prime?
False
Let a = -1434 + 3275. Is a composite?
True
Let c(g) = g + 9. Let n be -6 - 1/(-2)*-4. Let f be c(n). Is ((-6)/12)/(f/(-18)) a composite number?
True
Suppose -4*i = 3*r + 5, -2*r - 2*r + 30 = -2*i. Suppose 10 = -2*m, 3*g - 94 = r*m + 90. Is g prime?
True
Let h be (42/5)/(3/10). Let j = 69 + h. Is j a composite number?
False
Suppose 0*l = 4*l + 4*v + 16, 2*l = -5*v - 20. Suppose 0 = -l*o + 2*o. Suppose o = 5*r + 4*c - 1297, 6 = -3*c + 5*c. Is r a composite number?
False
Suppose -2*l + 2*t = 6*t - 1042, -l - 5*t + 521 = 0. Is l a composite number?
False
Suppose -1 = b + 8. Let a(r) = r**3 + 10*r**2 - 4*r + 10. Is a(b) a prime number?
True
Suppose 3*c = 296 + 838. Let s = 769 - c. Is s composite?
True
Let x(z) = 2*z**3 - 5*z**2 + 2*z - 5. Let r(j) = -j - 3. Let g be r(-9). Let l be x(g). Suppose 6*b - 2*a = 3*b + l, -4*a = -b + 93. Is b a prime number?
False
Suppose -20*x + 23*x - 1329 = 0. Is x prime?
True
Suppose 8 = -f + 29. Let a = 31 - f. Is a a prime number?
False
Let z(n) = n - 1351. Let s be z(0). Is (s/4)/(-7)*28 composite?
True
Let a(h) = 4*h**2 - 3*h - 10. Let r be a(-8). Suppose -84 = -2*x + r. Is x composite?
True
Suppose -2*y + 13 = 3. Let a be (287/(-14))/((-2)/4). Suppose -4*j = o - a, -4*o + y*o + j - 47 = 0. Is o a prime number?
False
Suppose 0*p - 3*p + 6 = 0. Let c be (-2)/(-7) - (-24)/14. Is (-267)/c*p/(-3) prime?
True
Let k = -1044 + 3017. Is k prime?
True
Suppose 2 = 2*h - 4*h. Is 0 + (4*13 - h) a composite number?
False
Let s be (-57)/6 - 5/10. Let t(p) = -4*p - 15. Is t(s) a prime number?
False
Let z = 4 + -2. Let l(j) = 8*j - 3. Is l(z) prime?
True
Suppose -5 = -0*s + 5*s. Is 52 - 6/(-2)*s composite?
True
Let l be 2 + 1 + -333*1. Let m be (-5)/10*l/(-1). Let i = 326 + m. Is i a prime number?
False
Suppose 9*f + 124 = 13*f. Is f composite?
False
Suppose -15 = -7*x + 4*x. Let p = 1 + x. Is p a prime number?
False
Let z = -49 + 63. Is z prime?
False
Suppose 12 = 3*c, 2*f + 2*c = 116 + 250. Is f a composite number?
False
Let u(g) = -g. Let t be u(-1). Let w be (2 - (t + 2)) + 4. Suppose -69 + 14 = -4*x - 5*f, -5*f = w*x - 45. Is x composite?
True
Suppose 2444 = 2*g + 2*n, -4*g - 5*n + 4885 = -2*n. Is g a composite number?
True
Suppose -3*j + v = 5*v + 7, -v + 5 = 3*j. Suppose 1038 = j*r - r. Is r composite?
True
Let s be (-1)/(9/(-6))*-3. Is (1 - s)*69/9 a prime number?
True
Suppose 0 = -h - 2*c + 497, 3*c - 549 = -h - 49. Is h a composite number?
False
Suppose -4*d = -9*d + 95. Suppose d = 5*k + 4. Is k a prime number?
True
Let f(q) = 21*q**2 + 2*q + 7. Let g(a) be the second derivative of -5*a**4/6 - a**3/6 - 2*a**2 - 2*a. Let k(t) = 4*f(t) + 7*g(t). Is k(-1) composite?
False
Suppose 3*a = 4*b - 2*a + 17, -a + 7 = b. Suppose 0 = k - b*k + 2. Is k - (0 + -1)*19 a composite number?
True
Let j = -1 + 12. Is j a composite number?
False
Let z(k) = 2*k**3 + 3*k**2 - 3*k + 3. Is z(7) a prime number?
False
Is 20/8 - (-1274)/4 prime?
False
Let u(a) = -355*a**3 + a**2 + a. Is u(-1) composite?
True
Suppose -265 = -x - 4*s, 0 = x - 2*x + 3*s + 272. Is x a composite number?
False
Let f(o) = o**2 - 3*o - 6. Let i be f(