 0. Suppose r - 4 + 0 = i. Suppose r*j - v = 2787, -2*v + 6*v = j - 678. Is j a composite number?
True
Let z = -52736 - -75321. Is z composite?
True
Let q = -401 + 401. Suppose q = z - 5*b - 256, -5*z = -3*z - 4*b - 506. Is z composite?
False
Suppose 28*j - 301730 = 15*j. Suppose -30*r + 20*r = -j. Is r prime?
False
Suppose 9*g - 8*g = 2763. Suppose -d = 2*i - 1841, -3*i = 11*d - 9*d - g. Is i composite?
False
Is ((-3)/(-9) - (-56)/336) + (-2386650)/(-4) a prime number?
True
Suppose 4*x - 3*s + 6*s + 3 = 0, -s = -4*x - 15. Let g be (4 + (-13)/3)*x. Is (-390)/(-3 - 2) + g composite?
False
Let f = 36 - 34. Suppose f*p = 10*p - 2120. Is p - (-2 - -4) - 4 composite?
True
Suppose -3*u - 7*m = -2*m + 9, 6 = -2*m. Suppose -z = 2*z - u*s - 529, 167 = z + 4*s. Let p = z + 783. Is p composite?
True
Suppose -23*j + 9587023 + 7329090 + 1562478 = 0. Is j composite?
False
Let a(s) = s + 3. Let o be a(-3). Let z be (5 - (8 + -2))/((-39)/6 - -6). Suppose -z*w + 12563 + 4071 = o. Is w prime?
True
Let z(j) = 333*j**2 - 127*j + 4685. Is z(33) a prime number?
False
Let u(n) be the third derivative of -265*n**4/24 - 67*n**3/3 - 30*n**2 + 2. Is u(-7) composite?
False
Suppose -28 = 129*q - 286. Let v be (2 + 9/(-2))*-2. Suppose -2*r - q*r + 424 = 4*c, v*c - 530 = 3*r. Is c prime?
False
Let z be 2*-4*15/(-24). Suppose i - 2*i = 3*s - 7049, z*s = 2*i - 14076. Is i a composite number?
False
Suppose -5*o = 4 - 49. Suppose 0*w = o*w + 1503. Is (0 + (-20)/4)*w composite?
True
Let u be 9/(-6) - -1 - (-13396)/8. Suppose 1624 = 17*t - u. Is t a prime number?
False
Suppose -d - 5 = -5*k + 15, -3*k - 4*d + 12 = 0. Suppose -k*u - g = -19625, -5*g - 4098 = 2*u - 13897. Suppose 0 = -s - 6*s + u. Is s prime?
True
Let c(y) = y**3 - 33*y**2 - 64*y + 51. Let r(a) = a**3 + 9*a**2 + 17*a + 34. Let j be r(-6). Is c(j) a composite number?
True
Let v = -91 - -103. Let x be (329/4)/(v/144). Suppose 6*k - 1309 = 2*k + 5*c, x = 3*k - 2*c. Is k prime?
True
Is (13619 - 0)*18/45*45/18 a prime number?
True
Suppose -8*k + 6866764 - 1584533 = 29*k. Is k prime?
False
Suppose -122 - 33 = 4*r + 3*g, r - 4*g + 15 = 0. Let j = 31 + r. Is (-16)/8*(2 - (-2334)/j) composite?
False
Suppose -18*j + 3091680 + 3433279 = -3710003. Is j prime?
True
Let v(i) = 4*i**3 + 7*i**2 - 10*i + 6. Let l be v(-9). Let c = l + -2013. Let g = -1907 - c. Is g a prime number?
False
Suppose 129 + 4 = 7*k. Let x(r) = 16*r**2 - 45. Is x(k) prime?
False
Let n(i) = -i**3 + 21*i**2 - 101*i + 494. Is n(-53) a composite number?
False
Let o = 85 + -61. Let v be 709/6 - (4 + (-92)/o). Suppose 45 + v = c. Is c a prime number?
True
Suppose z - 485448 = -2*t + 219760, 2*z - 705202 = -2*t. Is t a prime number?
True
Let u = -6 - -11. Suppose f - 6*f - 6154 = -2*g, -4*g = -u*f - 12288. Is g a composite number?
False
Let g be (-10)/6*(-36)/10. Let p(w) = -7 + g + w + 28*w**2 - 7. Is p(-7) a composite number?
True
Is (130 + -126)/(2*1)*34019/2 a prime number?
True
Let o(x) = -3*x + 9. Let w be o(3). Suppose -3*n + 2*p + 1140 + 417 = w, -5*p = -n + 506. Is n a prime number?
True
Let g(r) = 222 - 454 + 213 + 530*r. Is g(2) a prime number?
False
Let i be (-38)/(-6) - (16/12 - 1). Let o be (-13)/i*-51*10. Let y = 1974 - o. Is y composite?
True
Suppose z = -367*x + 368*x + 356904, -z + 356894 = x. Is z composite?
True
Let j(q) = -178114*q + 2095. Is j(-10) composite?
True
Let b(y) be the second derivative of y**5/20 + y**4/4 - y**3 - 5*y**2/2 - y. Let f be b(-4). Suppose f*t + 628 = 7*t. Is t composite?
False
Let m(a) = -10139*a - 4177. Is m(-16) prime?
True
Let p be (3/(-2 + -1))/(1/(-4107)). Suppose -13*r + 10*r = -p. Is r composite?
True
Let i = -40706 - -129757. Is i a composite number?
False
Let k(i) = -i**2 + 21*i + 3. Let b be k(21). Suppose 3*d = a - 1957, -3*d + 4*d = -b*a + 5911. Is a a prime number?
False
Suppose 16*v - 197849 = -12025. Let f = v - 3877. Is f composite?
True
Suppose -5*y + 5*o = -15, 6 = -2*y - 2*o - 8. Is ((9/y)/3)/(24/(-1328)) composite?
False
Let b(i) = -802*i + 2*i**3 + 33 + 786*i + 4*i**2 + 8*i**3. Is b(4) a prime number?
True
Let a(o) = o**3 - 56*o**2 + 148*o + 202. Is a(55) a prime number?
False
Suppose 0 = -388*u + 301*u + 8603169. Is u composite?
False
Is (-103775379)/(-4444) + 6/(-11) - (-2)/(-8) composite?
True
Suppose 0 = -13*f - 8272 + 129965. Let m = f - 5856. Is m a prime number?
False
Let o(m) = -7152*m + 350. Let z be o(-13). Suppose 47*r - 59001 = z. Is r a prime number?
False
Suppose 20 = -8*p + 52. Suppose -5*a = -5*l - 9770, 3*a = p*l - 3678 + 9535. Is a composite?
True
Suppose 3079*h - 3083*h = -219684. Is h a composite number?
True
Suppose -7*i - 6 = -10*i. Suppose i*g = 147 + 137. Suppose -g = -l - 3*j + j, 2*l - 288 = -5*j. Is l prime?
False
Suppose -4*w + 133*k + 144596 = 135*k, -w + 36139 = 3*k. Is w a composite number?
False
Is 4 - (-11755 + 156/(-13)) a composite number?
True
Suppose 5*b + 5*x = 1339770, -4*x = 3*b - 202640 - 601217. Is b a composite number?
False
Let f = 528 - -410. Suppose -10*u + 2763 + 487 = 0. Suppose -f + u = -t. Is t a prime number?
True
Let y be ((-30)/24 + 6 + -3)*40. Suppose y*p - 69*p = 671. Is p composite?
True
Let l = 610231 - 432642. Is l prime?
True
Suppose 5*o = 3*l - 33, -2*o + 3*l = -o - 3. Let v be o/3 - 5/(5/(-4)). Is (-1262)/(-2)*(2 - v) a prime number?
True
Let m be 1 - 1 - 4188/(0 + -2). Suppose -h = -2*h - j + 523, 4*h + 5*j = m. Let i = h - -1236. Is i composite?
True
Let y be 32/(-48)*(-18)/4. Let q be 3112/9 + 4/54*y. Let z = q + -93. Is z composite?
True
Let x(o) = -32*o + 41. Let b be x(1). Let p(z) = 6902*z - 91. Is p(b) a prime number?
False
Let r = 615 + 9. Let x(j) = j**3 - 10*j**2 + 16*j - 11. Let v be x(6). Let k = v + r. Is k a composite number?
True
Suppose -76*f + 5*k = -72*f - 1848380, 5*k = -3*f + 1386285. Is f a prime number?
False
Let s(i) = -3*i + 2. Let p be s(0). Suppose p*m + m = -4*r + 51, -m + 16 = r. Suppose -m*n + 4358 = -933. Is n composite?
True
Suppose -368*n + 4 = -366*n. Suppose -n*j = -4*s + 2*j + 5884, 0 = -4*j. Is s a composite number?
False
Is 32715393/(-58)*(1 + -3) a prime number?
False
Let v = -410655 - -767602. Is v a composite number?
False
Let m(w) = -8699*w - 75. Is m(-2) composite?
True
Let v(r) = -r**2 + r + 6. Let c be v(3). Suppose -3*d + c*q - 2*q + 22 = 0, 4*d - 1 = 3*q. Suppose -10 = -2*m, d*l - 2*m = -4*m + 2358. Is l composite?
False
Let u = -69 - -71. Suppose z = 2*q - 1173, -3*z - 2*z + 1179 = u*q. Is q composite?
False
Let m(q) = -64*q - 2. Let f be m(-3). Suppose -f = -c + y, 4*y = -2*c + y + 370. Let j = c - -557. Is j prime?
False
Suppose -2*w + 5886 = -4*f, 4*w - 5*f = 7383 + 4380. Let p = w - 1394. Is p a composite number?
False
Suppose -130009 = -8*l - 6905. Suppose 18*f = 22*f - l. Is f a composite number?
False
Let v(t) = 130*t**2 - 19*t - 19. Is v(6) a composite number?
False
Let p(u) = 115*u**2 + 2*u + 8. Let f be 4 + (2 - (7 + 3)). Let h(y) = 116*y**2 + 3*y + 9. Let v(o) = f*h(o) + 5*p(o). Is v(3) composite?
False
Let q(f) = -f + 13. Let m be q(-5). Let s = -16 + m. Suppose 2*o - l - 325 = -o, -5*l = s*o - 228. Is o composite?
False
Let i = -696995 - -1202562. Is i composite?
True
Let d = -337790 + 475773. Is d composite?
False
Let w(h) = -h - 1. Let p(z) = 37*z - 3 + 14*z + 12*z. Let l(u) = -p(u) - 2*w(u). Is l(-2) a composite number?
False
Is (-5)/(-5)*(-38)/(-76)*1*405442 a prime number?
False
Suppose -26*u + 21960 = -171298. Let d = u - 3930. Is d prime?
False
Suppose -5*t - 4*y = -111523, -87*t + y = -92*t + 111517. Is t a prime number?
True
Suppose -9*v - 184 - 275 = 0. Let u = 350 + v. Is u composite?
True
Let f be -4 + 1 + -22 + 1 + 0. Let o = f + 26. Suppose -5*h - o*n = 2*n - 13071, -10428 = -4*h + 4*n. Is h a prime number?
False
Let d(r) = 7*r**3 + 13*r**2 - 182*r - 467. Is d(58) a prime number?
True
Suppose g - 2*d + 8 = -0*d, 4*d - 8 = 0. Let r be 27/6 + (-2)/g*1. Is (3 + -2)*(r + 302) a prime number?
True
Suppose 0 = -5*l + 5*s - 6*s - 12, 4*l - 2*s + 4 = 0. Let d(m) = 1889*m**2 + 4*m + 10. Is d(l) a prime number?
False
Let g(v) = 972*v + 37. Let j be g(4). Suppose 122*k - j = 117*k. Is k a composite number?
True
Let o(t) = -132547*t - 426. Is o(-4) a prime number?
False
Suppose -3*s = 2*u + 8, -4*s + 21 = -5*u + 1. Let q = 873 - 875. Is (q/4 - s)/(3/(-8826)) composite?
