 (-12129)/(-27) - r/(-72) prime?
True
Suppose 0*x = -6*x - 0*x. Is ((-1106)/(-42))/((-1)/(-39) + x) composite?
True
Let p = -883 + 1106. Is p composite?
False
Let s be (-1 + (-6 - -1))/(-3). Suppose s*j = -8*j + 1790. Is j a composite number?
False
Let z = -4046 - -66505. Is z prime?
True
Let z(s) be the first derivative of 6*s**2 - 3*s + 4. Let i be z(2). Let h = 142 - i. Is h a prime number?
False
Suppose 5*i - 2*g = 25, 0*i - 3*i - 2*g - 1 = 0. Suppose y + 7*n = i*n + 1509, n - 7640 = -5*y. Is y composite?
True
Suppose 48 + 2 = -3*i + 2*k, -5*k - 28 = i. Let q = -16 - i. Suppose -q*a - 110 = 2*g - 342, -5*g = -a + 98. Is a prime?
True
Let c(l) = 7 + l + 0*l + 3 + 4. Let u be c(-12). Suppose u*w + 171 = 481. Is w a prime number?
False
Let j = -10 - -14. Let g(k) = 37 + 0*k + j*k - 3*k. Is g(0) prime?
True
Is 28*49 - (-4)/4*-3 prime?
False
Let g be (-8)/(-2) - 28/14. Suppose 0 = g*j, -853 - 1070 = -3*l + 4*j. Is l a composite number?
False
Let c(r) = -6*r**3 + 23*r**2 + 15*r - 43. Let h(j) = -3*j**3 + 11*j**2 + 7*j - 21. Let x(t) = -4*c(t) + 9*h(t). Is x(-6) prime?
False
Suppose 2*v - 824 = 4830. Is v a composite number?
True
Suppose -4*t - 2*r = -2*t + 22, 5*r + 25 = 0. Let i be t/(6*2/366). Let o = -101 - i. Is o a composite number?
True
Let t(p) = -2282*p + 627. Is t(-10) a prime number?
True
Suppose 0 = 28*z + z - 45269. Is z composite?
True
Let a(m) = 1050*m + 77. Is a(26) composite?
True
Let r = 1858 + -1181. Is r composite?
False
Suppose -5*o - 2*l = 16, -2*l = -4*o - l - 5. Is (-1 - 0)/(o - (-1634)/818) a composite number?
False
Let h = -3 + 5. Suppose 30 = -7*b + h*b. Is b/(-39) + 720/52 composite?
True
Suppose -37 = 5*s + 98. Let a = -22 - s. Suppose 5*z = 2*z + a*r + 97, 2*r = -3*z + 104. Is z a prime number?
False
Suppose -4*w - 17946 = -2*a, -4*w + 6953 = 2*a - 11025. Is a a composite number?
True
Is (-4299)/(-3) - (23 + -29) composite?
False
Let b(s) = s**3 + 6*s**2 - 6*s + 6. Let o be b(-6). Suppose a - 4*l = 3*a + 24, o = -5*a - 4*l. Let q(i) = -46*i + 17. Is q(a) prime?
True
Is -2 + (18 + -17)/((-1)/(-3085)) prime?
True
Let q = 161 - 116. Suppose -3*s + q = 3*t, 12 + 16 = 4*s - 4*t. Is s a prime number?
True
Let w = -7 - 19. Let a = 29 + w. Is 94 - (3 - 0/a) prime?
False
Suppose 47*s = 34*s + 727337. Is s a prime number?
True
Let b be 2/3*-3 + 17. Suppose 5*u + 0*u = b. Let k(i) = 6*i**2 + 4*i - 1. Is k(u) a composite number?
True
Let n(v) = -2*v + 3*v + 3*v - v. Let c be n(1). Is (3 - 6)/c*-15 composite?
True
Let f(a) = 2*a - 15 + 7*a + 0*a - 12*a**2 - a**3. Suppose 52*v = 59*v + 91. Is f(v) a composite number?
False
Let g = 923 - 194. Suppose 0 = j + g - 1896. Is j prime?
False
Suppose 4*z - 2122 = 5*s, 5*s - s - 520 = -z. Suppose z + 1057 = 5*j. Is j prime?
True
Suppose 20 = -3*y + 7*y. Let q = 4 + y. Is 84/q*(-18)/(-12) a prime number?
False
Suppose 2726 = -8*f + 113790. Is f a composite number?
False
Let i be 1 + -4*2/(-8). Suppose d - 7*m - 2178 = -6*m, d - i*m = 2173. Is d a prime number?
False
Let y(w) = w**3 - 21*w**2 + 2*w - 30. Let d be y(21). Suppose -5864 = -d*n - 20. Is n composite?
False
Let x = 4169 - -130. Is x prime?
False
Suppose 0 = 3*w + n - 8, w - 4*n = 4 + 16. Suppose 6632 = w*f + 2*i, 4*f - 2*i = -2056 + 8680. Is f composite?
False
Let r = 666 - 966. Let w = -121 - r. Is (-2*w - 0)/(-2) prime?
True
Let y = -71 - -41. Let a = y - -99. Is a prime?
False
Let j(k) = 3*k + 9 + 10 - 23*k. Is j(-16) a composite number?
True
Let g be (-5 + -1)*(-2 + -7). Suppose v - 264 = -n - g, -2*n = -3*v + 655. Is v composite?
True
Suppose 5*x - 5*c + 10 = 3*x, 3*x + 5 = 5*c. Suppose x*l + t = l + 749, -3*t = -3*l + 558. Is l prime?
False
Suppose 2*r - 5073 = -u - 2*u, 5*u + 5*r - 8460 = 0. Is u composite?
True
Suppose 0 = -4*w - 5*t - 15, 4*t = -2*w + t - 9. Suppose w = -3*i + 8*i - 10. Suppose -i*c + 2987 = -5*g, -c + 4453 = 2*c - 2*g. Is c composite?
False
Let k be ((-16)/(-3))/(30/45). Let a(t) = 10 - 4*t**2 - 4*t + 14*t - k - t**3. Is a(-9) a composite number?
False
Let t(q) = -q - 2. Let l be t(-1). Let a(s) = -s. Let d(v) = -5*v**2 - v + 7. Let k(p) = l*d(p) + 5*a(p). Is k(6) prime?
True
Let g = 3700 + -1723. Let k = g - 596. Is k a composite number?
False
Let x = -1560 - -2895. Is (4/10)/(3/x) a composite number?
True
Is (20/5 - 3)/((-1)/(-11302)) a composite number?
True
Let r(y) = 2*y - 5*y + 4*y**2 - 3*y**2 + 0*y + 11. Is r(-9) composite?
True
Suppose -5*x = -2*x - 768. Let l = x + 27. Let f = l + -106. Is f a prime number?
False
Let w(z) = 65*z**2 + 10*z + 6. Suppose 5*t - 3 = -23. Let y be w(t). Suppose -2*m = -0*m - y. Is m composite?
False
Let c(s) = -75*s**3 - 2*s - 2. Let r be c(-1). Suppose r = o - 4. Is o a prime number?
True
Let b(t) = 17*t**2 - t + 6. Let y be b(-5). Suppose -54*c = -53*c - 145. Let g = y - c. Is g a prime number?
False
Let p = 155970 + -95431. Is p prime?
True
Let q(c) = -182*c + 4. Let y be q(9). Let o = y - -2397. Is o prime?
False
Let u(j) be the third derivative of -65*j**4/24 - j**3/2 - 23*j**2. Is u(-2) a composite number?
False
Let o = -789 + 2606. Suppose o = 2*w + 743. Is w prime?
False
Suppose -15*z = 4*z - 95. Let b(k) = k**2 + 3*k + k**2 - 7 - 4*k. Is b(z) prime?
False
Let u be 5/(-2)*(-54)/(-45). Let f be (-10)/15 + (-20)/u. Is ((-4)/f)/((-26)/4953) prime?
True
Suppose -10*b + 12 = -4*b. Suppose 3*f = 4*y - 764, 2*y + 5*f = -2*y + 732. Suppose -b*s + 7*s - 3*i = y, 0 = -5*s + i + 186. Is s composite?
False
Let l = -8 + 6. Let r be (825/(-4))/((-17)/(-136)). Is l/(-8) - r/24 a prime number?
False
Let r = 2719 - 1865. Is (-4 - (4 - 5)) + r a composite number?
True
Suppose -7 = 2*a + 2*d + 191, -297 = 3*a - 2*d. Let h = -11 + 123. Let j = h - a. Is j a composite number?
False
Is 3799 + 0 + 0 + 38 + -40 composite?
False
Let y be -1 + 1 + (-1 - -22). Let b = -331 - -59. Let a = y - b. Is a prime?
True
Suppose -4 = 5*m - 4*m. Let s be (-9)/m - 30/(-40). Suppose 0 = v - 2*z - 185, 0 = -0*z - s*z + 9. Is v a composite number?
False
Let n(u) = 20*u**2 + 9*u + 15. Is n(-4) composite?
True
Suppose 1 - 9 = 2*t. Let r(m) = -141*m - 1. Is r(t) composite?
False
Let l(f) = 3*f + 11. Let w(t) = -4*t - 12. Let q(h) = 6*l(h) + 5*w(h). Let j be q(-12). Suppose -6*x + 8*x = j. Is x prime?
False
Let l = 5182 - 3647. Is l prime?
False
Let m be 1/2 - (-806)/(-4). Suppose -d - d + 664 = 0. Let f = d + m. Is f a prime number?
True
Let r be (-13)/(-26) - 33/(-2). Suppose 20*w = r*w + 2985. Is w a composite number?
True
Let x be (-2)/8 + 105/20. Suppose x*w = 5*c - 3190, 2549 = 5*c - c - 3*w. Is c prime?
False
Suppose 0 = m - 4*t + 4, 3*t + 0*t - 22 = -4*m. Suppose -4*b + b - c - 6 = 0, -3*c + 8 = -m*b. Let q(z) = 138*z**2 - 4*z - 3. Is q(b) a prime number?
True
Suppose -3882 = 5*f - 4*j, 3*f - f + 1554 = j. Let r = 75 - f. Is r a prime number?
True
Let q(g) = 36*g**3 + 10*g**2 - 21*g + 49. Let j(r) = -7*r**3 - 2*r**2 + 4*r - 10. Let d(w) = 11*j(w) + 2*q(w). Is d(-5) a prime number?
False
Let g be (3 - 3) + (-1)/(-1) + 2. Is g/(21/221228)*1/4 a composite number?
False
Suppose 2*i + 2*z = 47948, 2*i - z - 32639 - 15324 = 0. Is i prime?
False
Suppose 0 = -22*z + 151770 - 25864. Is z a prime number?
False
Suppose 8*b - 2 = 7*b. Suppose g + 5 = b*g. Let u(j) = 33*j + 14. Is u(g) a composite number?
False
Let c(o) be the third derivative of 11*o**6/24 - o**5/60 - o**4/12 - o**3/6 - 2*o**2. Let b be c(-1). Let m = b - -392. Is m prime?
True
Suppose b + 2 - 4 = 5*n, n + b - 2 = 0. Suppose 3*x = n, 4*x = 5*a - 35 - 35. Suppose 4*r - 707 = -z, 0 = -3*z - 1 - a. Is r a prime number?
False
Is 92/(-138) - (-19042)/6 a composite number?
True
Let n = -157 + 347. Suppose -4*w + 772 = -v, 0*w - w = -v - n. Is w prime?
False
Suppose 0 = -p - 5*q + 12421, -5*p = -5*q + 31032 - 93017. Is p composite?
False
Let m be 35/14*4/(-5). Is (m - 1)/((-25)/15175) a composite number?
True
Let a = -5998 + 10391. Is a a composite number?
True
Let l(f) = -f**2 + f + 8. Let p be l(-2). Let g(w) = 569*w + 25. Is g(p) composite?
False
Let z = 23943 - -6772. Is z a prime number?
False
Suppose -3*u = -12*u + 1206. Is (-4 + 5)/(1/u) composite?
True
Suppose -x = -5*p + x + 2, 5*p = x + 6. Suppose -131 = p*l - 1105. Is l a composite number?
False
Let y(h) = -h**2 + h + 4. Let a be y(3). Is (a + (0 - -1))*-1*1361 a composite number?
Fa