rime?
True
Let v(b) = -b**2 + b. Let r = 5 + -5. Let d be v(r). Suppose d*s + 3*s = 93. Is s composite?
False
Let t(u) = 6*u**2 + 6*u + 5. Suppose -4*g + 5 = -7. Suppose 5 = -2*v - g. Is t(v) a prime number?
False
Suppose -b + 0*b = 3*q - 23, -2*q - 54 = -2*b. Is b composite?
True
Suppose -535 = -2*u + 195. Suppose o + 5*x = 4*o - u, -3*o = x - 341. Is o a composite number?
True
Let x = 8251 + -4862. Is x a composite number?
False
Suppose 3*m - 4*m + 1 = 0. Is m/(-2) - (-94)/4 a prime number?
True
Let w(r) = -r + 6. Is w(-15) prime?
False
Let k be (-1 - -1)/(9 + -7). Suppose k = -0*w - 4*w. Let q(y) = y**2 + 26. Is q(w) a composite number?
True
Let i(h) = -4*h**3 - 11*h**2 - 7*h - 5. Is i(-7) a composite number?
False
Let v(y) = -17*y**3 + 4*y**2 + 3*y. Let p be v(-2). Let g = p + -79. Is g prime?
True
Let n(k) = -k**3 + k**2 - k - 4. Suppose -3*f + 4*q = 1, -3*f + 0*f - 13 = 2*q. Is n(f) a composite number?
True
Suppose 5*y - 45 = -2*p, 4*y + 2*p - 29 = 9. Suppose 3*j = 3*g - 93, -4*j = -g + y + 12. Is g prime?
False
Suppose -578 = 2*l + 18. Let g = l - -429. Let h = -38 + g. Is h composite?
True
Suppose 4*u = 2*w - 2578, -w = 2*u - 3*u - 1287. Is w a prime number?
False
Let m be (6/(-4) - 0)*-2. Suppose -m*f - f = -16. Suppose -2*s - 70 = -4*u, -u + 0*s - f*s = 5. Is u composite?
True
Let l be 466 - (8/4 + -2). Is l + (-1 - 5)/(-2) composite?
True
Let f = 405 - -88. Is f a composite number?
True
Let b(w) = w**2 + 5*w + 2. Let m be b(-5). Suppose 0*p = -p + m. Suppose 2*x = 2*h - x - 59, 0 = p*h - x - 53. Is h composite?
True
Suppose 271 = 4*h - 37. Suppose 0 = -3*g - 4*j + 102, 0 = 2*j - 4*j + 6. Let o = h - g. Is o a composite number?
False
Suppose 5*k - 5 - 3 = -4*c, 6 = 3*c + k. Suppose c*b + g - 154 = 0, 6*b - 2*b - 3*g - 308 = 0. Is b a composite number?
True
Suppose 4*u = -4*c - u + 13069, -3*c + 9822 = -3*u. Is c composite?
False
Let o(f) = f**3 + 8*f**2 + 6*f + 1. Is o(-6) prime?
True
Let d(a) = -a**3 + 10*a**2 - 3*a + 9. Let z be d(8). Let c = 222 - z. Is c a composite number?
False
Let s(x) = 0*x**2 + 3*x - 1 + 3*x**2 + 6*x**2. Is s(5) a composite number?
False
Let a = 1 - -4. Is (-4)/20 - (-116)/a composite?
False
Let n = -37 - -90. Is n a prime number?
True
Let i = 14 + -10. Suppose 4*p + 4*b = 20, -i*p = -4*b + 3*b + 5. Suppose -d + p*l + 19 = l, 0 = -4*l + 16. Is d a composite number?
True
Let c be (-4)/2*(-266)/4. Suppose 4*n - c = 175. Is n a prime number?
False
Suppose -f = -4*f + 6. Let y be f/(-8) + 22/(-8). Is (y - 0)*(-212)/12 composite?
False
Suppose 7 = 3*y - 8. Suppose -4*u - 9 + 48 = v, 5*v = y*u + 220. Is v a prime number?
True
Let q = 90 - 128. Let s = -25 - q. Let n = s - -2. Is n composite?
True
Let x = -181 + 1272. Is x prime?
True
Let t(f) = f**2 + 16*f - 23. Is t(20) composite?
True
Let r(x) = -x**2 - x + 193. Let l be r(0). Let n = -30 + l. Is n prime?
True
Let y be 233 - 3*(-2)/3. Let q = 362 - y. Is q composite?
False
Suppose -4*d + 3 = c, -15 = -d + 6*d. Let r(b) = -c*b + 8*b - 30*b - 16*b. Is r(-3) a composite number?
True
Let a(x) = 9*x**3 - 7*x**2 + 12*x + 13. Is a(6) a composite number?
False
Let v = 118 - -3931. Is v composite?
False
Let r(d) = d - 1. Let f be r(3). Let n = 67 - 79. Let k = f - n. Is k a composite number?
True
Suppose -3*l - 2*l + 3*m + 2468 = 0, 4*m = -5*l + 2461. Is l a composite number?
True
Let k(q) = 15*q**2 - 9*q + 21. Let y(v) = 7*v**2 - 4*v + 10. Let m(n) = -6*k(n) + 13*y(n). Let x be ((-6)/(-8))/((-1)/4). Is m(x) composite?
False
Suppose -2*f = 5*t - 645, -f + 0*f + 5 = 0. Suppose 2*v - t = v. Is v a composite number?
False
Let o(s) = -s**3 + 2*s**2 - 7*s + 4. Let z be o(4). Let f = -7 - z. Is f a composite number?
True
Let f be (-14)/(-1 + (-16)/(-14)). Is f*(-1 + (-3)/(-6)) a prime number?
False
Suppose j = -n + 2*n + 87, 275 = 3*j + 4*n. Is j prime?
True
Suppose 0*n - 3*w = -n + 19, -5*n + 3*w + 35 = 0. Suppose 0 = s + s - n. Suppose 0 = -s*i - 3*i + 275. Is i a composite number?
True
Let v(c) = -3*c - 7. Let s be (-6)/(-4)*4/(-1). Let q be v(s). Let z(u) = -u**2 + 15*u + 5. Is z(q) prime?
False
Suppose 0*t = 3*t. Let c = t + 10. Is c a composite number?
True
Let i be (1 + 1)*(-65)/26. Let v(j) = -5*j + 10. Is v(i) prime?
False
Suppose -1015 = -a - 6*a. Is a a composite number?
True
Is (-156737)/(-119) + (-2)/17 a composite number?
True
Suppose 0 = 6*y - 3483 + 1353. Is y a composite number?
True
Suppose h - 44 = -4*j - 2, -2*j - 98 = -3*h. Let i(c) = -3 - 27*c - 13*c - h*c. Is i(-2) prime?
False
Suppose m = -u - 0*u + 182, -4*m - 167 = -u. Is u a composite number?
False
Suppose -b + 78 = b. Suppose -4*t + 3*y + 71 = -2*y, -b = -2*t - y. Is t composite?
False
Let t be 0 + 0 + 2 + -175. Let j = t + 318. Is j prime?
False
Suppose -2*f + 7 = -7. Let n(b) = 4*b**2 - 7*b - 4. Let c be n(f). Suppose 0 = 3*q - c - 10. Is q a composite number?
True
Suppose -3*t - 12 = 6. Let p = 49 - t. Is p a prime number?
False
Let k = 44 - -255. Suppose 897 = 3*z + 4*o + o, -2*o + k = z. Is z a composite number?
True
Is ((-731)/51)/(1/(-3)) prime?
True
Suppose 4*y + 554 = 3*d, 4*y - 20 - 186 = -d. Let r = d - 135. Is r a prime number?
False
Suppose 36 = -5*d + 146. Is d composite?
True
Let j be (4 + -1)/(-3) + -2. Let z = j - -1. Is z/(-6) + 204/9 a composite number?
False
Suppose 5*l - 10 = -3*t, -2 = 5*t + 4*l - 5*l. Suppose t = -0*h + 5*h - 195. Is h prime?
False
Suppose 28 = 2*u - 4. Suppose -42 - u = -2*b. Suppose 3*h - 16 = b. Is h composite?
True
Let g(t) = -37*t - 2. Let i be g(-2). Let f = 123 - i. Is f prime?
False
Suppose 4*a - 2184 = -5*g, -g = -3*g + 8. Is a composite?
False
Suppose -2*h + 2710 = -4120. Is h a composite number?
True
Let k(v) = -10*v**2 - v. Let r be k(1). Let s = -8 - r. Let d(p) = 2*p**2 - 3*p + 4. Is d(s) a composite number?
False
Suppose a - 5*x = 21, 4*a + 3*x = 15 - 0. Let s(c) = 4*c**2 - 6*c + 5. Let m be s(a). Is (1 - 0)*m/1 composite?
False
Is 7/28 - (-1411)/4 a prime number?
True
Let u(p) be the first derivative of p**3/3 - 2. Let n be u(0). Suppose a + 2*a - 267 = n. Is a prime?
True
Let a = 46 + -11. Is a a prime number?
False
Let a be 4280/14 - 4/(-14). Suppose 0 = -4*u + c - 6*c + a, -u = 3*c - 80. Is u a prime number?
False
Let v(q) = -q**3 + 9*q**2 - 9*q + 10. Let y be v(8). Suppose -y*x + 473 = -x. Is x composite?
True
Suppose -2*o = -o - 5. Suppose -o*v = -3*n + 18, 4*v + 44 = -0*v - 5*n. Is (4/v)/(1/(-69)) a prime number?
False
Suppose 6*s = t + s - 15, 4*t - 12 = 4*s. Suppose 5*i + 4*k - 585 = t, 0*i + i - 101 = -4*k. Is i a composite number?
True
Let z = 756 - 517. Let f = z + -112. Is f composite?
False
Let u = 1 - -3. Suppose -5*i + 10 = -5*l + u*l, -2*i + 26 = 4*l. Suppose -4*m - s + 113 = 4*s, 2*m = l*s + 19. Is m composite?
True
Suppose -c + 1025 - 85 = 0. Suppose 4*u - 288 = c. Is u a composite number?
False
Suppose -2*r = 8, 3*r + 1607 = 4*x + x. Is x prime?
False
Is ((-7)/14)/((-2)/508) a composite number?
False
Let h = -1 - -5. Suppose -2093 = -h*u + 5*z, 2*u + z = -u + 1584. Is u composite?
True
Let v(u) = -8*u - 3. Let x(h) = -17*h - 6. Let w(f) = -9*v(f) + 4*x(f). Is w(4) a prime number?
True
Let j(q) be the second derivative of 17*q**3/6 + 2*q**2 - q. Is j(7) composite?
True
Let f(r) = r + 19. Let k be f(0). Suppose 3*l = 3*j + 243, -4*l + 125 + 159 = 4*j. Let m = l + k. Is m composite?
True
Suppose -4*m = -0*m - 12. Suppose 0 = -m*j - 0*j + 2373. Suppose -5*s + 0*c = -3*c - j, -3*s = -5*c - 481. Is s a composite number?
False
Suppose -1020 = -2*u - 2*u. Suppose -98 - 42 = -2*n - 2*r, r = 4*n - u. Is n composite?
True
Let u(d) be the second derivative of -d**5/20 + 5*d**4/6 - 2*d**3/3 + 4*d**2 - 2*d. Is u(9) prime?
True
Suppose 4*n = -0*n + 656. Suppose -5*i + 5*q = -3*i - n, 4*i - 348 = 5*q. Suppose -r = r - i. Is r a composite number?
True
Suppose -4*y + 0*y + 5*c = -297, -c + 159 = 2*y. Let s = -55 + y. Is s a prime number?
True
Let z be (-1 - 1) + (2 - 2). Is 163/((z + 3)/1) a prime number?
True
Suppose -372 + 87 = -5*m. Suppose 5*y + 12 = m. Let x = 16 - y. Is x a prime number?
True
Let y be 9/(-6) - 519/(-2). Suppose 0 = -3*n - 0*n + y. Is n a prime number?
False
Let m be (2/(-3))/(4/6). Is (-2)/m + (-898)/(-2) a composite number?
True
Is (-4129 - -3)*4/(-8) composite?
False
Let s = -3 - -7. Let a(c) = c**2 - 4*c. Let b b