se -1224 = 4*i - 15628. Is i composite?
True
Is (78935 + 9)/8*(-6)/(-8) prime?
False
Let f(d) = 11*d**2 + 4*d - 10. Let j(y) = -21*y**2 - 9*y + 19. Let a(k) = -5*f(k) - 3*j(k). Is a(4) a composite number?
False
Suppose 15 - 3 = 4*n. Suppose 3313 = 2*b - 3*k + 2*k, -6629 = -4*b + n*k. Is b a prime number?
False
Let n = -3 + 8. Suppose 2*c = n*k + 2302, 7*c + k - 5701 = 2*c. Is c a composite number?
True
Is 321027/105 + (-6)/15 composite?
True
Let f be -93*(36 - 1) + -5. Is (-14)/(-42) - f/3 composite?
False
Let f(x) = -3*x**3 + 25*x**2 - 8*x. Let z be f(8). Suppose -4*y + 0*m + 2*m = -7804, z = -4*y + 4*m + 7812. Is y a composite number?
False
Suppose 2 = l - 3. Suppose -l*j + 2*j + 1665 = 0. Let k = 806 - j. Is k a composite number?
False
Let w(b) = 4*b**2 - 13*b + 6. Let s(f) = -f**2 - f + 1. Let v(q) = -6*s(q) + w(q). Let r be v(-6). Is (r/(-9))/(6/(-9)) composite?
False
Let z = 4639 - 3098. Is z a prime number?
False
Let b = 15076 - 9153. Is b composite?
False
Let i be 1010 - -3*(-2 + 3). Let x = -528 + i. Is x composite?
True
Suppose -4*m + 21 = a, -1 = -2*a + 2*m + 1. Suppose -a*y + 0*y = 70140. Is y/(-44) - 4/(-22) prime?
False
Suppose -5*b - 5*y = -2*y - 12, -3*b = 2*y - 7. Let j be (-488)/(-64) - b/(-8). Suppose j*a - 7*a = 673. Is a a prime number?
True
Let z(b) = 3*b**3 + 2*b**2 - 2*b + 1. Let l be z(1). Let u be (-2)/(-3)*(-18)/l. Is ((-39)/u)/((-1)/(-17)) prime?
False
Let o(v) = 13*v**2 + 2*v - 13. Let l be o(6). Suppose -4*t + l = -1697. Is t a prime number?
True
Let z be (-1)/(-2)*(1 + -4 - -3). Suppose z*t + 3*t - 98 = -f, -f - 2*t = -95. Is f prime?
True
Let x = -8 - -10. Suppose -4*f = 8, 2*t - 412 = -x*t - 4*f. Suppose -t = -y + 56. Is y a composite number?
True
Let w = 25 - 25. Suppose -4 = -o, -2*o = -2*b - w*o + 1138. Is b a composite number?
True
Let x be 5/10*0/2. Suppose -m = -x*m - p - 43, -92 = -2*m + 5*p. Suppose g - m - 16 = 0. Is g composite?
True
Suppose -4*c + 3*g + 716 = 6*g, -4*g - 895 = -5*c. Is c prime?
True
Let o = 3758 - 2505. Is o a composite number?
True
Suppose 0 = 4*v + 5*m - 72610, 3*v - 54457 = -0*m - 4*m. Is v prime?
False
Let o(m) = m - 6. Suppose t - 11 = -t + 5*k, -t = -4*k - 4. Let g be o(t). Suppose 4*z - 270 = -2*c - 28, -5*z = g*c - 300. Is z a prime number?
False
Let z be (-2)/(-4)*(47 + -1). Suppose 7*i - 3*i = -d + z, -3*i = d - 20. Let n(u) = 44*u + 3. Is n(d) a composite number?
False
Let f = 969 - 683. Suppose -f = -w + 381. Is w a composite number?
True
Suppose 3*a - 91 = -4*a. Suppose 5*u = -3*o + 2548, -14*o = -a*o + 2*u - 851. Is o a composite number?
True
Let p(r) = 65*r**2 + 5*r - 13. Let m be -9*(-4 - (-55)/15). Is p(m) a prime number?
True
Suppose 0 = 7*d - 5*d - 4. Let b be (d/(-4) - 0)*-4. Suppose 4*i - 5*t - 1498 = 0, 0 = 4*i - 9*i - b*t + 1889. Is i a composite number?
True
Suppose -o + 5*q = -14908, 4*o - 5*o = q - 14920. Is o prime?
False
Suppose -4*n + 1053 = a - 5342, -31909 = -5*a + 2*n. Is a prime?
False
Let x = -1047 + 641. Is (x/(-6))/(15/45) a prime number?
False
Let d = -184 - -1665. Is d a composite number?
False
Let j(c) = -4*c - 10. Let x be j(-4). Let v(q) = 2*q**3 - 10*q**2 + 7*q + 1. Is v(x) a composite number?
True
Let y(s) be the second derivative of 14*s**3/3 - s**2 - s. Is y(1) a prime number?
False
Let c(i) = i**3 - 10*i**2 + 10*i. Let x be c(9). Let m = x - 2. Suppose t + m = -2*q + 46, 2 = q. Is t prime?
False
Let c(s) = -1418*s - 1. Let y be c(3). Let v = y - -6014. Is v prime?
True
Let m(p) = -62*p**3 - 2*p**2 + 3*p + 5. Is m(-6) composite?
True
Suppose -5*s - 5*i = -1815, 2*s - 4*i - 726 = -2*i. Let j be 34/8 - 5/20. Suppose -t - s = -j*t. Is t a composite number?
True
Is ((-587138)/(-57) + 3)/(1/9) prime?
False
Let r = 4 + 2. Suppose -r*w + 4 = -14. Suppose -w*j + 796 + 341 = 0. Is j a composite number?
False
Let h = 127 - -164. Suppose 820 + h = u. Is u a composite number?
True
Suppose -4*l + 1730 = 5*r, -4*r - 375 = -5*r + 5*l. Let q = 2129 - r. Is q/5 + 8/(-10) composite?
True
Let p(o) = o**3 + 10*o**2 - 3*o + 1. Let f(c) = -c**2 + 2. Let r be f(0). Suppose 0 = r*h - 4*h - 20. Is p(h) a composite number?
False
Let x(z) = -2356*z - 81. Is x(-20) prime?
False
Suppose -6107 = -9*f + 2812. Suppose 2*v - f = 963. Is v prime?
True
Suppose 0 = 5*q + 3*d - 35, -2*d + 12 = -2*q + 2*d. Suppose -x - 2805 = -2*x - q*t, 5*t + 5 = 0. Is x a prime number?
False
Let w be (-366)/(-18) - (-4)/6. Let m = w + -10. Suppose -m*z = -9*z - 6. Is z prime?
True
Let h(o) be the first derivative of o**3/3 - 2*o**2 - 3*o + 5. Let a be h(-5). Let r = 61 - a. Is r a prime number?
True
Let g = 150 + -222. Is 2 + -4 - (2*g + 3) a composite number?
False
Is (1693/(-3))/((-32)/96) a composite number?
False
Suppose 8 = 2*n + 4*w, 6 = -2*n - w + 4*w. Suppose n = -2*q - q + 3978. Suppose 11*b - 5*b - q = 0. Is b composite?
True
Let t = -151 - -280. Is t a composite number?
True
Suppose 2*o - 2059 = 1067. Is o a prime number?
False
Let h(l) = -40*l + 10. Let p be h(5). Let w = p + 368. Is w composite?
True
Let m(f) = -133*f - 83. Is m(-24) prime?
True
Suppose -33782 - 50834 = -8*b. Suppose 1124 = -4*s - 3*w + 9580, b = 5*s + 2*w. Is s composite?
True
Let u(s) = -s + 1. Let o be u(-5). Suppose 3*g = -5*n + 11 + o, n = 5*g + 9. Is 0 - (-1)/(n/524) a prime number?
True
Let c(y) be the second derivative of -y**5/20 - 7*y**4/12 - 3*y**3/2 - 3*y**2 - 9*y. Let r be c(-6). Is 640/r + 3/(-9) a prime number?
True
Let h = -114 - -203. Is h a prime number?
True
Suppose -2*r = r + 120. Let x = -25 - r. Suppose -o + 10 = -x. Is o prime?
False
Let a(o) = -37*o - 9. Let h(y) = -y**2 + 14*y - 18. Let x be h(13). Let l be x*(1 + (-3)/15). Is a(l) a composite number?
False
Let o(j) be the third derivative of -13*j**4/12 + j**3/6 - 4*j**2. Is o(-2) a prime number?
True
Suppose -1045 = -3*z - 100. Is (-1)/4 + z/12 a composite number?
True
Suppose -73*f + 1102755 = -620264. Is f a prime number?
True
Let p(j) = -3*j**2 + 2*j - 10. Let z be p(-5). Let x = z + 148. Is x a composite number?
False
Suppose 5*z + 12 = 4*h, 5*z + 3*h + 28 = -h. Is -2 + 3492 - (1 + z) prime?
False
Let a(c) = -c**3 + 4*c**2 + 5*c + 4. Let l be a(5). Suppose l - 209 = 2*v - q, -3*q - 507 = 5*v. Is 3 - 3/(9/v) a composite number?
False
Suppose -3*u + 15 = s, 0*s + 2 = 2*u - 2*s. Suppose -u*j = -x - 4*x - 1340, -3*j + 2*x = -1005. Is j a composite number?
True
Let m = -12 - 9. Let w(f) = f**2 + 15*f + 1. Is w(m) a prime number?
True
Suppose 0 = -0*k - k - 3832. Let a = -2573 - k. Is a composite?
False
Is 4 - (130683 - -2)/(-5) composite?
False
Let r be (-9)/(-15)*15/1. Suppose -14*f + r*f = -4965. Is f a prime number?
False
Let g be 16/(-20) + (-138)/15. Let n = -16 - g. Let l = 13 + n. Is l a composite number?
False
Let i = -33 + 21. Let b be (i/(-2))/((-2)/(-163)). Suppose d = -2*d + b. Is d a composite number?
False
Let h = -29559 + 50431. Suppose 0 = -0*m - 8*m + h. Is m prime?
True
Let k = -1869 - -5288. Is k a composite number?
True
Let r(a) = 1758*a - 61. Is r(15) a prime number?
True
Suppose 29 = -5*a + 19, -5763 = -f + 4*a. Is f a prime number?
False
Suppose 4*l - 21 = -3*f, -2*f = 3*f + 4*l - 27. Let u = 7 - f. Suppose 5*a - u*a = 259. Is a composite?
True
Let w(d) = 18*d**2 - 3*d + 8. Let u(n) = -6*n**2 + n - 3. Let p(b) = 8*u(b) + 3*w(b). Let a be (-2)/4*2 - 2. Is p(a) a prime number?
False
Suppose -4*h - 22490 = -4*b + 2294, -5*b - 3*h = -30996. Suppose 5697 = 5*p - b. Suppose -p + 134 = -5*l. Is l a prime number?
True
Let m be (-1)/(3 + -2) + -7. Let h be (86 + m)/(2/2). Let y = 1 + h. Is y composite?
False
Suppose 5*z - 105257 = -2*q, -z - 141*q + 145*q + 21069 = 0. Is z prime?
False
Let z = 2591 - 873. Is z composite?
True
Suppose d - 2649 = 5*k, -3*d + 1517 = -5*k - 6440. Is d a composite number?
True
Let w be 6/4 + 311/(-2). Let v = w + 290. Suppose 5*k + 41 = v. Is k prime?
True
Let y be (-54)/(12/(-144) + 2/8). Let j = 593 + y. Is j a composite number?
False
Let t = 18 - 13. Suppose 4*i + g + 339 = -4*g, t*i + 5*g + 420 = 0. Let j = 226 + i. Is j a composite number?
True
Suppose -2*i = 2*g - 309 - 8281, -4*i + 4 = 0. Suppose 4*v + g = -0*w + 2*w, -10800 = -5*w - 3*v. Is w a composite number?
True
Suppose -3*d = -3*w + 12, -4*d + 18 = 3*w - 1. Suppose 2*b - 3*b = -5*f - 2170, 0 = w*b + f - 10772. Is b composite?