) a prime number?
True
Suppose 0 = -13*m + 788207 + 546464. Is m a composite number?
False
Suppose 0 = -2*r - 2*k + 6712, -16 = -4*k - 0. Let t = r - 1244. Is t/10 - 3/(-15) a prime number?
True
Let j = 134429 - -66140. Is j a composite number?
False
Suppose -5*x = 5*w - 739195, -2*x - 7278 + 450797 = 3*w. Is w composite?
True
Let z(x) = -2*x**2 + 697. Let i be z(0). Suppose -i = d - 1811. Suppose -4*h + d = -0*f + 2*f, 3*f + h - 1671 = 0. Is f composite?
False
Suppose 421*u = 9*u + 154206244. Is u a prime number?
True
Let t = 9858 - 5901. Let w = t + -1148. Is w a prime number?
False
Let a be (-2)/(-4) - (-9)/6. Let u be 15/(-45) - (-4670)/6. Suppose -a*h + 0*h + u = 0. Is h prime?
True
Let h = 426 - 399. Is 45/h + (-2 - 76784/(-6)) a composite number?
True
Let g(b) = 929*b + 404. Is g(43) a prime number?
True
Let j(q) = q**3 - 17*q**2 + 16*q + 12. Suppose 3 = -2*k + 31. Let a be j(k). Let p = -13 - a. Is p a prime number?
False
Suppose 0 = -t + 5*t + 2940. Let z = t + 525. Let v = z - -463. Is v prime?
False
Let o = 5577 - 11323. Let b = o + 8565. Is b a composite number?
False
Suppose -5*d + 4*d = 5*r - 1298, -6 = 3*d. Suppose 0 = 5*m - r - 480. Is m + (-6)/3 + -1 a composite number?
True
Suppose 365 = -7*v + 386. Suppose -5*r + 9937 = -3*r - 5*w, 0 = v*w - 15. Is r prime?
False
Let w be (-632)/6*-9*2/3. Suppose 755 = 5*o + 5*b, -4*b + w = 4*o - 7*b. Let q = -22 + o. Is q composite?
True
Is (-24 + 19 + 10)/(1 + 176/(-178)) a prime number?
False
Let z(k) = 9*k - 46. Let i be z(6). Suppose 22158 + 1258 = i*x. Is x composite?
False
Let f(o) = 3074*o - 8823. Is f(8) a composite number?
True
Let k(i) = 299*i**3 + 11*i**2 + 8*i - 129. Is k(8) composite?
True
Let h = -63694 - -113111. Is h a composite number?
False
Suppose -5*u + 5*a = -431335, 431347 = 5*u + 35*a - 34*a. Is u prime?
True
Let l(s) = -156*s**3 - 8*s**2 + 53*s + 614. Is l(-13) composite?
True
Let s(m) = 54*m**2 - 11*m + 2. Let w(q) = q**2 - 12*q + 39. Let k be w(8). Is s(k) a composite number?
True
Let x = -6 - 989. Let h(p) = -11*p**2 - 9*p + 16. Let c be h(11). Let o = x - c. Is o a prime number?
True
Let j = 1590 - 4728. Let q = j - -4561. Is q a prime number?
True
Let s(n) = 37*n**3 + 16*n**2 - 233*n - 29. Is s(14) a prime number?
False
Let r(s) = -11045*s - 2933. Is r(-2) prime?
True
Let b(j) = -7 - 14*j - 6 - 8*j**2 + 163*j**3 - 227*j**3 + 5*j. Is b(-4) prime?
False
Suppose -5*g + 2*y = -35788, -g + 5*y = 8*y - 7161. Let n = g + 943. Is n a composite number?
False
Suppose -5*t - 93 = f + 72, 0 = 2*t - 2. Let l(z) = z**3 - 3*z**2 + 2*z + 419. Let j be l(0). Let h = j + f. Is h composite?
True
Let x(p) = 211*p**2 + 33*p + 7. Let w(g) = g + 9. Let c be w(-4). Is x(c) composite?
True
Suppose 251971 = 3*x - 0*x + y, 0 = 3*x - 5*y - 251947. Is x composite?
True
Let d = 10217 - 17016. Let n = d + 10934. Let r = n - 1698. Is r a composite number?
False
Suppose 2*y + 34149 = -20169. Let l = -18640 - y. Is l a prime number?
False
Let i be (-6)/12 + 2989506/12. Suppose -17*l + 28502 = -i. Is l a prime number?
False
Let t be 2 + 9/((-27)/(-6)). Suppose -t*g - 3*g = 2065. Let s = 518 + g. Is s prime?
True
Let p(c) = c**3 + 10*c**2 + 19*c - 17. Let d be p(-6). Is 4/((-4)/(-8709))*d/39 a composite number?
False
Let n be 2/2*(-5956)/(-4). Suppose -295 + n = 6*m. Let z = m + -60. Is z prime?
True
Is 12/(-606) + (-4945014375)/(-6969) a prime number?
False
Let x be (-1 - 8) + (-9)/(-9). Let z = x + 11. Suppose -4*t = -16, -t = z*d + t - 707. Is d composite?
False
Let t(b) = -b + 1. Let f be t(3). Let z(d) = -d**3 - d**2 + 2*d. Let c be z(f). Suppose c = -5*i + 5*q + 950, -2*q - 514 = 5*i - 1429. Is i prime?
False
Let t = 126 + -75. Suppose 0 = -4*h - 13 - t. Is 4/h + (-1269)/(-4) a composite number?
False
Let h(q) = 8*q**3 - 5 - 2*q**2 + q + q**3 + 8*q**3 - 24*q**3. Let r(a) = a**3 + a**2 - a. Let w(c) = -h(c) - 6*r(c). Is w(5) a composite number?
True
Suppose 2*a - 5 = 3*a, 4*d + 5*a - 8743 = 0. Let g = 3789 - d. Is g composite?
False
Let n = 291106 + -116277. Is n a composite number?
False
Let k(a) = 23*a**2 + 4*a - 2. Let y be k(4). Let r be 186/(-48) + 4 + (-177289)/(-56). Suppose r = 4*c - y. Is c a prime number?
True
Is ((-24)/(-180) + (-22)/(-60))*(567874 - 0) prime?
True
Let o be 0/2*(2 - 1). Suppose o = 43*n - 77850 + 23713. Is n a prime number?
True
Let f = -123 + 129. Suppose f*v = -18*v + 43896. Is v a prime number?
False
Let r be (-6)/4 - (-7395)/(-6). Suppose 3*g + 0*g - 2*b - 1585 = 0, -4*g - b = -2128. Let j = g - r. Is j composite?
True
Suppose -4*r + g - 128 = -g, -3*r - 2*g - 96 = 0. Let q = r + 35. Suppose -q*x + 541 = p, 2*p - x = -2*x + 1082. Is p a composite number?
False
Let m be (14/(-10))/(6/120*-4). Suppose 0 = -m*v + 1078 + 259. Is v a composite number?
False
Suppose 1808 = -j + 5*b, j + 3*b - 5376 = 4*j. Let x = 3149 + j. Is x a composite number?
False
Let i = 763209 + 130072. Is i a composite number?
False
Is (-4545342)/(-10) - (207/135*6 - 10) prime?
False
Suppose 8*i - 35507 = 7*i - 5*s, 5*i + s = 177391. Is i prime?
False
Suppose -4*d = -4*n - 7192472, -d = -0*d + 4*n - 1798073. Is d a prime number?
True
Let d(l) be the second derivative of -26*l**4/3 + 2*l**3/3 + l**2 - 4*l. Let a be d(-7). Is (-8)/32 + a/(-8) + 1 a prime number?
True
Let r be (-2)/(-8) + (-187)/44. Let c(y) = -y**3 - 4*y**2 - 2*y - 5. Let l be c(r). Suppose -l*d + 626 = 5*t, 0 = 5*d + 7 + 8. Is t a composite number?
False
Let o(n) = 12*n**2 - 3*n + 1. Let q be o(1). Let i(p) = -24*p + p + 6 + 4212*p**3 + q*p + 6*p. Is i(1) prime?
True
Suppose -8*i = 22*i - 22260. Suppose -4*q - 4*y - 185 = 1111, 4*y - 993 = 3*q. Let k = q + i. Is k a prime number?
False
Suppose -2*d = -2*a + 2*d + 22, -6 = -a + d. Let k(r) = 14*r**3 + 8*r**2 - 5*r - 1. Let i(p) = p**3 + p**2 - 1. Let w(m) = a*k(m) - 4*i(m). Is w(2) prime?
True
Is 8/3*180/(-80) + 26375 prime?
False
Suppose 2 = w + 5. Suppose -4*b - 60 = -5*h - 7*b, -36 = -3*h + 2*b. Is h + 98 - w/1 composite?
False
Let g(i) be the first derivative of 11*i**5/60 - 7*i**4/12 - 5*i**3/6 - 11*i**2 - 23. Let v(x) be the second derivative of g(x). Is v(6) a prime number?
True
Suppose -14*q - 7*q = 36535 - 300736. Is q a composite number?
True
Let x be (33/(-33))/((-2)/(-12)). Is x/15 + -142*(-32)/10 prime?
False
Let w(n) be the second derivative of -205*n**3/6 - n**2/2 + 6*n. Let y be w(-1). Suppose 3*a = -3*a + y. Is a composite?
True
Let w = -352 - -354. Suppose 17*t = -w*t + 87077. Is t a composite number?
False
Let m(r) = 2*r**2 + 49*r - 21. Let b be m(-25). Suppose 9*i - 285467 = -b*i. Is i prime?
False
Let j(c) = 3*c + 16. Let n be j(-4). Suppose 16066 = -n*m - 28106. Is m/(-15) - (-12)/15 a prime number?
False
Let x(m) = 3020*m + 23. Let s be ((0 - -2) + -4)*15/(-30). Is x(s) prime?
False
Let y = 1082 + 757. Suppose 2809 = 3*l - 2*h, -6521 = -5*l + 3*h - y. Is l composite?
False
Let m(r) be the first derivative of -r**2/2 - 5*r - 3. Let c be m(-17). Is (1 + (-4)/c)*501 prime?
False
Is ((-1)/(-3))/(9/1880199) a composite number?
True
Let c(s) = -11*s - 2 + 18 + 121*s**2 + 21*s**2. Is c(3) a prime number?
False
Let f be (-27)/(-6 + 6 - (-1)/(-345)). Let h be f/39 + 4/26. Let n = h - 116. Is n prime?
False
Let c be (-2 + -4*4/(-8))/3. Suppose d - 2*i - 473 = c, -2*d + 944 = -0*d - 3*i. Suppose -5*l = 5*m - 485, -3*m = 5*l - 2*m - d. Is l a composite number?
True
Suppose 0*r = 4*r + 6384. Suppose 2857*j - 2841*j - 31648 = 0. Let l = j - r. Is l prime?
False
Let j be 2 - (4 + 2) - -9. Suppose 2*l - j = 5. Suppose -377 = -l*q + 4*q. Is q composite?
True
Let x(j) = -j**3 + j**2 - j + 1. Let r(u) = -5*u**3 - 6*u**2 - 8*u + 27. Let a(t) = r(t) - 6*x(t). Let l be a(12). Is l/(-2) + (-931)/(-2) composite?
False
Suppose -t + 4*v = -24, 4*t - 44 = t - 2*v. Suppose -3*k + 205789 = t*k. Is k a prime number?
True
Let v(g) be the first derivative of 41*g + 13*g**3 + 15/2*g**2 - 32. Is v(-5) a composite number?
False
Suppose -3*p - 114 = 4*x + 570, -3*x + 2*p = 513. Let c = 1356 - x. Is c composite?
True
Suppose p - 27*n = -28*n + 164177, -5*n + 328342 = 2*p. Is p composite?
True
Let t be (-60)/8*(-8)/3. Suppose -t = 10*s - 0*s. Is (70 - (1 + s))/(43 + -42) a prime number?
True
Let n be (12/(-3) - -3)*-1466. Suppose n + 2926 = 6*j. Let z = j - 463. Is z prime?
True
Let x = 