ppose -14*c + b = -c. Is c composite?
True
Let y = 623045 + -343906. Is y prime?
False
Suppose -126*q + 162 = -132*q. Is ((-302733)/q)/(6/18) a composite number?
False
Suppose -4*s - 7218 = -2*l, -9*l - 4*s + 10777 = -6*l. Is l composite?
True
Suppose -7*m - 63 + 266 = 0. Let r = m - 15. Let a(t) = 10*t**2 - 17*t + 37. Is a(r) a composite number?
False
Suppose 0 = -3*m + 6*m - 6. Suppose -m*o - 6 + 24 = 3*y, -2*o + 4*y + 4 = 0. Suppose -o*t + 712 = -2*t - 3*w, 0 = 2*w. Is t a composite number?
True
Let c = 144725 + -99748. Is c a prime number?
False
Let p = 189 - 161. Suppose p*f + 1497 = 29*f. Is f a prime number?
False
Suppose -2*u = -3*r - 14, 3*r + 15 = -4*u + 7. Is ((-45058)/(-10))/(u + (-4)/5) prime?
False
Suppose -211669 + 3885799 + 6016287 = 33*o. Is o composite?
True
Let j(r) = -r**2 + 8*r + 3. Let z be j(8). Let w be (1 - z/9)/((-2)/(-6)). Suppose w*k - 12*k = -850. Is k a prime number?
False
Let o(h) be the first derivative of 53/3*h**3 + 1/2*h**2 - 5*h - 40. Is o(-4) prime?
True
Suppose -20254 = -5*h + 4*h - y, 3*y = 3*h - 60804. Is h prime?
True
Let z(y) = 55*y + 13. Suppose 4*t + 3*p = 26, p = -4*t - 0*p + 30. Let l be z(t). Is 1 + l + -3 + 0 prime?
False
Let g be 77/55 + (-48)/(-5). Suppose -16*m = -g*m - 26115. Is m a prime number?
False
Let y(a) = -a**3 + 48*a**2 + 28*a - 637. Is y(46) a composite number?
True
Suppose 7394 = 2*j - 4*p, 0 = 4*j - 5*p - 4400 - 10391. Suppose -14*d + 1775 = -j. Is d composite?
True
Let k(y) = 258*y**2 + 19*y + 42. Is k(11) a composite number?
False
Let s(w) be the second derivative of 53/6*w**3 - 2*w + 27/2*w**2 + 0. Is s(10) a prime number?
True
Suppose 0 = -2*s - p + 2285848, -2*s + 3*p - 802569 = -3088441. Is s composite?
True
Suppose d - 329937 = -23*f + 21*f, -3*d + 5*f = -989833. Is d a prime number?
True
Suppose 3*u - 410696 = -3*s + 463255, -2*u = -12. Is s a prime number?
False
Let p = -27 + 64. Suppose -39*d - 6 = -p*d. Is ((0 + -1)*422)/(1 + d) a prime number?
True
Let h = 595 - 595. Let r(m) = -m**3 - 8*m + 13859. Is r(h) a composite number?
False
Suppose t + 4 = 4*p + 1, -13 = -3*t + p. Suppose 0 = 4*l - 6*a + 4*a - 11860, -t*a - 14835 = -5*l. Is l prime?
True
Let z = -910104 - -1654775. Is z a prime number?
False
Let b be 2021/423 - 2/(-9). Suppose 23546 = b*r - 114269. Is r composite?
True
Let q = -182 + 176. Let m(i) = 165*i**2 + 41. Is m(q) prime?
True
Suppose 0*t - 3*c - 26 = -5*t, 2*c + 4 = 0. Let g be (-324)/10*(-20)/t. Let f = 101 + g. Is f a prime number?
True
Suppose -3*u + 231633 = 3*a, -3*a = -51*u + 56*u - 231629. Is a prime?
True
Let n be 0 + 28/(3 + 4). Is (-4)/(n*(-4)/892) a composite number?
False
Suppose -2*y + 5*y = q + 10, -2*y = q - 15. Let h be 0*(0 + 0 + (q - 6)). Suppose h = 3*p - 2213 + 602. Is p a prime number?
False
Let p be 3/(-24) - (-1)/8. Suppose 1221 = 3*v + 5*g - 435, 5*g + 15 = p. Is v a prime number?
True
Let i = 88141 + 5782. Is i a prime number?
True
Suppose 34*t = 826592 + 83214. Is t a prime number?
True
Let r(m) = -m**2 + 2*m + 4751. Let f be r(0). Suppose -f = -3*q + 2*q. Is q prime?
True
Suppose 4*k - 235917 = 5*s, 0 = 4*k + 3*s - s - 235910. Suppose 11428 - k = -5*a. Suppose -9*u + a = u. Is u a composite number?
True
Let h(q) = q**2 - 33*q - 74. Let m be h(37). Suppose m*g = 77*g - 14793. Is g prime?
True
Let x be (0 - (-81762)/4) + (-13)/26. Let d = x - 2919. Is d a prime number?
False
Let j = 124 + -120. Is (9836/(-8))/(j/(-8)) a prime number?
True
Let m(q) = 873*q**3 - 11*q**2 + 11*q - 1. Is m(6) composite?
True
Suppose 16*k - 11*k = 78485. Suppose k = 6*i + 1699. Is i composite?
False
Suppose -5*i = -3*i - 8. Is 6/(i + -10) + 628 + 2 composite?
True
Suppose 26071 = 2*t + p, t + 88*p = 91*p + 13018. Is t prime?
True
Suppose -2*q = -4*x + 719454, 5*q = 2*x - 53051 - 306680. Is x prime?
False
Let o = -440 + 463. Let v(k) = 2*k**2 + 118*k + 7. Is v(o) a prime number?
True
Let d = 88459 - 7970. Is d prime?
True
Let k(c) be the first derivative of 735*c**4/4 - c**3/3 + 3*c**2/2 - 4*c + 7. Let l be k(2). Suppose 2*p + l = 4*p. Is p composite?
False
Suppose -5*v - k = -11, -3*k - 2*k = -3*v + 1. Suppose v*c - 2*c - 2*c = 0. Suppose c = -2*i + 6*i - 212. Is i a prime number?
True
Let y(w) = -1902*w**2 + 39*w - 41. Let f be y(1). Suppose -5*n = -3*v - 14550, -7*v = 3*n - 3*v - 8759. Let m = n + f. Is m a composite number?
False
Suppose 3*o + 3 = -0. Let u be (o - 0)*(-95)/19. Suppose 5*k - 805 = u*h, -h + 0*h + 171 = k. Is k composite?
True
Let a(k) = -72494*k + 14349. Is a(-47) a prime number?
True
Suppose 0 = -0*w - 3*w + s + 4564, 0 = -3*w + 2*s + 4568. Suppose 2*p + 3*b - 10845 = -3*p, 0 = 2*p - 4*b - 4338. Let d = p - w. Is d a prime number?
False
Let w = -2597 - -11795. Let t = w - 4192. Is t composite?
True
Let q(g) = -7*g + 32. Let t be q(5). Is t/7 + (-7)/(147/(-76470)) a prime number?
False
Let d(w) = 38*w - 27. Suppose -4*a - 73 + 13 = 0. Let z = a - -31. Is d(z) a prime number?
False
Let h(k) = -5*k**2 + 6*k - 5. Let p(w) = 14*w**2 - 17*w + 15. Let x(b) = 11*h(b) + 4*p(b). Let s be x(6). Is (2 + 78/(-2))/((-1)/s) a prime number?
False
Let h(k) = -k**3 - 3*k**2 + k + 8. Let p be h(-3). Suppose 3*j - p*j = -j. Suppose 0*a + 14*a - 34538 = j. Is a a composite number?
False
Let i be (-13)/((-52)/1368) + (-2 - 2). Suppose 0 = -i*u + 333*u + 9445. Is u a prime number?
True
Let i(v) be the third derivative of 155/6*v**3 + 17*v**2 - 1/60*v**5 + 0*v**4 + 0 + 0*v. Is i(0) a prime number?
False
Let x(g) = -2*g**3 + 30*g**2 + 5*g - 75. Let u be x(15). Suppose -3*r + 6 = u, -3*r + 50041 = -60*c + 65*c. Is c composite?
False
Suppose -2*q - 4840 = -f, 863 = q - 3*f + 3288. Let h = -386 - q. Is h a prime number?
False
Suppose 15*f + 24680 = -5965. Let n = f - -3992. Is n prime?
True
Suppose -93*d + 89*d = 0. Let f be 27/18*(-4 + d). Let p(w) = -34*w + 7. Is p(f) prime?
True
Let u(d) = d**3 + 2*d**2 - 7*d - 15. Let h be u(-6). Let n = -15 - h. Let b = n + -35. Is b composite?
False
Suppose 3*s - 1 = 5. Let t be -3 + (488 - -4) - s. Is (-14 - -15)*(t*1 + 0) composite?
False
Suppose -12 = -3*g + s, g - 4*s - 11 = -6*s. Suppose 23400 = g*n - 3695. Suppose -4*q + n = 5*a, 6*q - 2*q - 3245 = -3*a. Is a prime?
True
Suppose 0*n = 4*n - 2*k - 8300, -4*k = -4*n + 8308. Suppose n = -14*p + 17*p. Suppose 0 = 3*h - p + 22. Is h prime?
True
Let w = -138778 - -86207. Let g = w - -102772. Is g composite?
True
Let c = -274289 - -534075. Is c a composite number?
True
Suppose 361*h + 17125276 = 63371219 + 24690196. Is h a prime number?
True
Suppose 2*t - a - 4759 = 12534, t - 8636 = 4*a. Let n = 23779 - t. Is n prime?
True
Let f = -242 + 245. Suppose 6*c - 3*c - 7170 = -5*v, 0 = -2*v - f*c + 2859. Is v a composite number?
True
Suppose 1901 = -5*j + 3*i - 5*i, j + 5*i + 371 = 0. Let s(b) = 26*b - 8. Let w be s(-7). Let n = w - j. Is n composite?
False
Let d(p) = -p**3 + 8*p**2 - 7*p - 2. Let b be d(7). Let v = -297 + 300. Is (-6356)/(-12) + b/v composite?
True
Suppose -5*r + 32920 = 5*f, 0 = 5*f - 4*f - 3*r - 6568. Let l = -3074 + f. Is l a composite number?
True
Suppose 340*m - 418*m - 1732822 = -19190080. Is m a composite number?
True
Let x(f) = -2*f**3 - 47*f**2 + 21*f - 32. Let w be x(-28). Let u = w + -3371. Is u prime?
False
Let p = -68901 + 256106. Is p a composite number?
True
Let v = 41 - 51. Let x = 15 + v. Suppose -m = x, -3*m + 0*m - 2723 = -4*f. Is f composite?
False
Let g = -291640 + 720563. Is g a composite number?
True
Let k = -20008 - -36817. Suppose -4*z + k = -16963. Is z composite?
False
Suppose -3*a + 1 = -y, 2*a + 3*y = 5*a - 3. Is 856 - -1 - (1 - (a - 3)) a prime number?
True
Suppose 417749 = 8*s - 137257 - 120010. Is s composite?
False
Let h(k) = 22*k**2 - 19*k - 17. Let f = 614 - 628. Is h(f) prime?
True
Let l be ((-2)/5)/((-6)/(240/8)). Suppose -v = -l*w + 443, 2*v = 9 - 3. Is w composite?
False
Suppose -3*w + 4160 + 6439 = 0. Suppose -2*q = -3*q - 2*t + 12, 0 = -t + 4. Suppose 0 = -q*c + w + 2375. Is c a composite number?
True
Is (5/20 + 3/4)/((-22)/(-2928970)) composite?
True
Let q = 2111 - 979. Let d = q - 2564. Let s = d - -2747. Is s a composite number?
True
Let k be (-6)/(-20)*(-4)/(-3)*5. Suppose -2*s = s + 3*y - 63, 3*s - k*y = 88. Suppose -s = g + 3*f - 112, -2*f = 4*g - 294. Is g a prime number?
True
Let l(a) be the first derivat