alse
Let j be ((-7)/(-14))/((-3)/876). Let a = -72 - j. Is a a composite number?
True
Suppose 4 = -2*j, -2*z - 5*j + 2*j + 16532 = 0. Is z composite?
False
Let s be 1*(145 - -2)/(-3). Let a = 305 + s. Let j = a + -182. Is j a composite number?
True
Let k(i) = -265*i. Let x(w) = 531*w + 1. Let d(v) = 5*k(v) + 2*x(v). Is d(-1) a prime number?
False
Let c = -27 - -30. Suppose c*k - 215 = 262. Is k composite?
True
Suppose 2*y - f - 1399 = 3858, -2624 = -y - f. Is y a prime number?
False
Let q be 3/((-3)/2)*1626/(-12). Suppose -4*f = -4*d + 356, 3*d - q = -0*d + f. Is d a prime number?
False
Let r(c) = 106*c**2 + 35. Is r(9) composite?
True
Let j = 20 - 12. Suppose j*x - 3*x - 15 = 0. Suppose -3*g + 227 = -x*u - u, 5*g = -4*u + 389. Is g composite?
True
Suppose 4*l + 24 = 8*l. Let c(n) = -10 - 9*n + 10 + 3*n**2 + 5*n**2 - l. Is c(5) a prime number?
True
Let a(g) = 2 - 2 - 4 + 1 - 5*g. Let l be a(-4). Let j = -10 + l. Is j a composite number?
False
Let p = -8 - -2. Let j be 2*p*35/(-2). Is (-6)/(-2) - -1*j composite?
True
Suppose -13*l + 3668420 = 7*l. Is l a prime number?
False
Let i be (-3*8)/(6/(-3)). Suppose 0 = -i*b + 1693 + 299. Is b a composite number?
True
Let v = -39 - -259. Let u = v + 73. Is u composite?
False
Let s(f) = 452*f + 7. Let z(l) = 6 - 3 + 10 + 2 + 905*l. Let b(c) = 13*s(c) - 6*z(c). Is b(1) prime?
False
Let m(q) = -q**3 + 2*q**2 + 2. Let u be m(2). Suppose -g = a - 5*a - 1263, -1261 = -g + u*a. Is g prime?
True
Let v = 1852 - 1280. Suppose 4*r = 5*r - v. Suppose -4*o + 8*o - r = 0. Is o prime?
False
Let a be -4 + 6 + -5 + 3. Suppose a = 4*k - 2*k - 6. Is k prime?
True
Let l(a) be the third derivative of a**5/60 - a**4/24 + 293*a**3/6 - 15*a**2. Suppose 2*v + 2 = -3*u + 5, 0 = -2*v - u + 1. Is l(v) prime?
True
Let h = -8014 + 19923. Is h prime?
True
Suppose 4*m + 4*k - 40 = 0, -5*k = -2*m - 0*k + 27. Suppose 4 - m = 7*j. Let z = j - -150. Is z prime?
True
Suppose 0 = 126*z - 135*z + 108747. Is z prime?
False
Let o be (-3)/5 + 140/25. Suppose z - 3*x = 378, 3*z = o*z + 5*x - 811. Is z composite?
True
Let d(a) = 105*a + 11. Let c be (0 + 2/1)*(9 - 1). Is d(c) prime?
False
Suppose 0 = 4*l - 6*l + 1288. Suppose 4*o - 469 = -97. Let a = o + l. Is a a prime number?
False
Let j(l) = l**3 - 4*l**2 - 7*l + 10. Let v be j(5). Suppose -3*g + 557 + 2344 = v. Is g a prime number?
True
Suppose 0 = -12*f + 17*f - 130495. Is f composite?
False
Let k(i) = 20*i**3 + 3*i**2 - 5*i - 31. Is k(7) a composite number?
True
Suppose 5*w + 1 = 21. Is 4 + (347 - (w - 0)) a prime number?
True
Suppose 0 = 4*w - 4*y - 16, -w + 6 - 2 = 2*y. Is (-1)/(-2) + 154/w + -1 a composite number?
True
Let h be ((-12)/9)/((-2)/9). Let g(q) be the first derivative of 7*q**3/3 - 5*q**2 + 9*q + 10. Is g(h) composite?
True
Let q be (-1)/(-3) - (-237130)/69. Let b = -1696 + q. Is b a prime number?
True
Suppose 182 = 3*z - 1399. Is z composite?
True
Suppose 5*x = -10, 76 = -z + 5*z - 2*x. Let c be (-1 + 2)/(3/177). Let i = z + c. Is i a composite number?
True
Suppose 0 = 11*b - 20*b + 2889. Suppose 963 + b = 4*a. Is a prime?
False
Let c(s) = s**3 - 4*s**2 + 3*s. Let f be c(3). Is 892*(f - -2)/8 a prime number?
True
Let x be (12/(-8))/((-3)/6). Suppose -x*v = 356 + 517. Is v*(-2)/3 + -3 a prime number?
True
Let z = 67790 - 33803. Is z a prime number?
False
Let n(w) = w**3 + 9*w**2 - 8*w - 8. Let q be n(-8). Let k = 106 + q. Is k composite?
True
Is (-46132)/(-18) + 10/90 composite?
True
Suppose -2*x + 1 = -11. Is (-1)/3 + 440/x + -4 composite?
True
Let z be 11 + -7 - (-52934)/1. Suppose -19*o + 174017 = -z. Is o a prime number?
False
Let q = -3027 - -5473. Is q composite?
True
Suppose 0 = 2*c - 12 + 4. Suppose 0*x = -3*x + 3*r + 15, -2*x + c*r + 14 = 0. Suppose -5*q + 1392 = x*k, -37 = k - q - 509. Is k a composite number?
True
Suppose -5*g = -l + 177, 4*l - 61 = 2*g - 1. Let t = 1 - g. Is t a composite number?
False
Suppose -4*v = -7 - 13. Suppose -10*o = -v*o. Suppose 3*g + 329 - 818 = o. Is g prime?
True
Suppose -2*t + 31150 = 4*k, -2*t + 7*k - 3*k = -31126. Is t prime?
True
Let m = 2781 - -1082. Is m a prime number?
True
Let s(m) = 123*m + 4. Suppose -3 = 3*a - 0. Let i = a - -4. Is s(i) composite?
False
Suppose 2*t + 332 - 2106 = 0. Is t prime?
True
Suppose -3*a + 7*a - 52 = 5*k, -48 = -5*a + 2*k. Let h(p) = 34*p - 4. Let c be h(a). Suppose u - 3*l = 154, -2*u + l - 3*l = -c. Is u prime?
True
Let k(h) = -10*h - 3. Let l(j) = 11*j + 3. Let s(z) = 3*k(z) + 2*l(z). Is s(-7) a prime number?
True
Let s(t) = -2*t**2 - 1. Let o be s(2). Let k = 78 + o. Is k + 2*3/(-3) composite?
False
Suppose -c + 4864 - 15464 = -2*m, 3*m - 5*c = 15907. Is m composite?
True
Let w(l) = 6542*l - 33. Is w(4) prime?
False
Suppose 6*i = -2*i + 2168. Is i prime?
True
Let d(f) = -41*f. Let t = 2 + -5. Is d(t) prime?
False
Suppose -3*f + 8 = -f. Suppose 2*l - 296 = -5*u + u, 3*u = f*l + 200. Let a = u + 57. Is a prime?
False
Let a(g) = 29 - 29 - g. Let o(l) = 75*l - 3. Let b(r) = 4*a(r) + o(r). Is b(8) prime?
False
Suppose 22*u - 18*u = -3*i + 281120, 0 = -4*u - 2*i + 281124. Is u prime?
False
Suppose 5*c = 5*b + 205040, 3*b - 105224 = -2*c - 23193. Is c composite?
False
Let o(h) = -6*h - 4 + 4*h + 0 - 2. Let f be o(8). Is (-1 - 6)/(2/f) a prime number?
False
Suppose 7 = 2*j + 3. Suppose 13 = s - j. Is s prime?
False
Let y = 616 - 1402. Let l = 1681 - 468. Let r = l + y. Is r a prime number?
False
Is 1011 + 1/(7/(-14)) a composite number?
False
Let d(y) = y**3 + 8*y**2 - 13*y + 3. Let j(n) = -n**2 - 10*n + 18. Let t be j(-13). Let m = t - -12. Is d(m) composite?
True
Let g(v) = 30*v**2 - 14*v - 35. Is g(-30) a prime number?
False
Let z = 510 + -224. Suppose 3*v - z = i + 83, -5*v + 615 = -5*i. Is v prime?
False
Let r = -1792 - 2017. Let d = -2172 - r. Is d a composite number?
False
Suppose 7*q + 22735 = 12*q. Is q composite?
False
Let q = -46 - -60. Suppose -2401 = q*n - 34419. Is n prime?
True
Suppose -6*l + 2*l + 2652 = 5*z, -l - 2130 = -4*z. Suppose 0 = -22*u + 18*u + z. Is u a composite number?
True
Let x = -56233 + 83166. Is x composite?
True
Let f(q) = 7*q**3 - 6*q**2 - 2*q - 8. Let x(g) = -8*g**3 + 7*g**2 + 2*g + 9. Let a(o) = 7*f(o) + 6*x(o). Let i be a(-1). Is i*(2 - -5)*-73 prime?
False
Let s(g) = g**3 + 5*g**2 - 2*g - 3. Let q be s(-5). Let x(d) = d - 7. Let h be x(q). Suppose w - 5*r = -2*w + 283, -3*w + 3*r + 279 = h. Is w prime?
False
Let p(z) = z**3 - 6*z**2 - 2*z + 12. Let m be p(6). Let g(y) be the third derivative of -y**4/24 + 109*y**3/6 + y**2. Is g(m) prime?
True
Is (-9)/(-6)*4 - -6583 a composite number?
True
Let i = 51 - 34. Let w = i - 9. Suppose 11665 = w*j - 3*j. Is j composite?
False
Suppose d - 2673 = -2*d. Let m = -584 + d. Is m a composite number?
False
Let m = -3015 + 5295. Suppose 0*h = -h + 3*b + 746, 0 = -3*h - 5*b + m. Is h a composite number?
True
Let n be (25/(-2))/((-5)/10). Let c = n + 10. Suppose 0 = 3*w + s - 113, 2*s + 51 = 2*w - c. Is w prime?
False
Let k be 4/(-6)*9/6. Is (-37)/(-2)*(3 + k) composite?
False
Let c(x) = x - 12. Let a be c(14). Suppose 358 = a*k - 88. Is k a composite number?
False
Is -3 + -6 + (-13272)/(-6) a prime number?
True
Let x(f) be the third derivative of -145*f**4/24 + f**3/2 - 5*f**2. Is x(-2) prime?
True
Let s(j) = -111*j - 52. Is s(-9) a prime number?
True
Suppose 2*k = k + 6. Suppose 3*y + k = 5*y. Is (4 - y)/(-2)*-142 a composite number?
False
Let m = 28 + -26. Suppose m*u - 15 = -u. Suppose -p = 4*p - 2*y - 223, -152 = -4*p - u*y. Is p a prime number?
True
Let m(h) = -21*h - 6. Let x be m(-4). Suppose -4*i - x = -586. Let k = i - -255. Is k composite?
True
Suppose 0*f - 140 = 5*f. Is 9136/14 + 1 + f/49 composite?
False
Let b = 402 - 238. Let f = -37 + b. Is f a composite number?
False
Is (-12)/3*-1 + -1 - -18404 prime?
False
Let f(a) = -3*a - 11. Let j be f(-9). Suppose -4*i + 4 + 20 = 5*b, -5*b + 4*i = -j. Suppose 0 = -b*o + o + 45. Is o prime?
False
Suppose -16 = -4*i, -3*a + 2 = -6*a + 5*i. Let v(f) = -f**3 - 6*f**2 + 4*f + 6. Let p be v(a). Is (1 + 0)/((-3)/p) a composite number?
True
Let o(n) = 10*n + 2*n**2 + 2*n - 10*n + 11*n - 9. Let v be o(-12). Let s = -88 + v. Is s a prime number?
False
Let n(w) = 5*w**2 + w + 3. Let t(r) = -6*r**2 - 3. Let u(g) = -3*n(g) - 4*t(g). Is u(-4) prime?
False
Suppose 477 = 2*s + s. Suppose