pose 4609 = -d*w + 13*w. Is w prime?
True
Let t(c) = c**2 - c + 1. Let w be t(2). Suppose 2*z - 2 = 2*r, 6 = -5*z - 4*r + 2. Suppose -w*u + z*u + 195 = 0. Is u prime?
False
Is ((-3)/9)/((-4)/(-27624)*-2) prime?
True
Let x be 27/6*4/6. Let s be 4/8 - 225/(-2). Suppose p + 0*a = -x*a + 103, s = p - 2*a. Is p a composite number?
False
Let d(k) = -82*k - 6. Let h be d(-12). Suppose -2*v + h = v. Let a = 580 - v. Is a composite?
True
Let m(u) = 2*u**2 - 29*u - 262. Is m(-21) a prime number?
True
Let p = -64 + 132. Let o = 151 - p. Is o a prime number?
True
Suppose -4*h = 4*z - 180, -135 = -3*z - 6*h + h. Let m = z + 100. Is m a composite number?
True
Let n = -6115 - -3434. Let s be 2 - 3 - (n + -2). Is (-6)/(-4)*s/27 prime?
True
Let h(y) = 68*y**3 - 5*y**2 - y + 1. Let p(k) = 137*k**3 - 11*k**2 - 3*k + 1. Let o(v) = 5*h(v) - 2*p(v). Is o(2) composite?
False
Suppose 10*u - 2*u = 32. Suppose -138 = l - 4*l. Suppose j = -j + x + l, -96 = -u*j + 4*x. Is j composite?
True
Let r(x) = x**2 - 6*x - 2. Let k be r(7). Suppose k*f = 4*f + 3. Suppose -12 = -f*c + 57. Is c a prime number?
True
Let s(a) be the second derivative of a**3/6 + 397*a**2/2 + 10*a. Is s(0) a prime number?
True
Let y be (1 - -56)/(1 - 0). Suppose -m = -y - 32. Is m composite?
False
Let q(y) = 2*y**3 - 18*y**2 + 19*y + 5. Let o be q(13). Suppose -o = -6*z + 1138. Is z composite?
False
Suppose -4 = -2*r + 2*d, 0 = 2*r - 0*r + 3*d - 4. Suppose 3*n + r = a, 5*n + 3 = -3*a - 19. Is (6/(-9))/(a/1266) a composite number?
False
Suppose 0 = 3*x - 4*w - 34, 3*x = 2*x - w + 2. Let v be 1/(0 - (-3)/x). Suppose v*s = 527 + 359. Is s prime?
True
Let j = -7 + 9. Let o be -9*j/(-9 + 3). Suppose -2365 = -5*s - o*b, -2*s = -s - b - 473. Is s composite?
True
Let f = -18 - -18. Suppose f*t + t = 142. Suppose -3*d = 31 - t. Is d a composite number?
False
Let d be -98*((-15)/6 - -2). Let t = d - -84. Is t prime?
False
Let s be 8/(0 + -4)*30/12. Let m(z) = -3*z**3 - 4*z**2 + 6*z + 8. Let v(q) = -7*q**3 - 7*q**2 + 13*q + 16. Let f(t) = -5*m(t) + 2*v(t). Is f(s) composite?
False
Let y be -3 - 9/(-6)*6. Let b = 389 - y. Is b a prime number?
True
Let z(s) = -s**2 - 7*s - 5. Let h be z(-5). Suppose 6*u = h*u + 635. Is u prime?
False
Let j be 153*1 - (4 + -2). Suppose 0 = -10*q + 512 + 2208. Let h = q - j. Is h composite?
True
Let x(r) = 542*r - 421. Is x(6) composite?
True
Let m = 30639 + 38566. Is m a prime number?
False
Let u = -27704 + 40042. Suppose 7*i + 921 = u. Is i a prime number?
False
Let o = -26690 - -38141. Suppose 5*v + o = 8*v. Is v a prime number?
False
Let p be (-1)/(30/35 + -1). Suppose p*w - 435 + 22 = 0. Is w a composite number?
False
Suppose 3*j - 337 = 260. Let a = j - -58. Is a composite?
False
Let d = -1048 + 7851. Is d a prime number?
True
Let n = 13214 - 6855. Is n a prime number?
True
Let c = 3736 + -665. Is c a prime number?
False
Let d = 484 + 2735. Suppose -12*v + 15*v = d. Is v a composite number?
True
Is 140025/60 + (-9)/12 a prime number?
True
Let r(p) = 2*p - 24. Let i be r(12). Suppose -4*v + 5*g + 314 = -v, -v - 2*g + 123 = i. Is v a composite number?
False
Suppose 6*k - 112222 + 6520 = 0. Is k prime?
False
Let o be ((-21)/(-28))/(6/16). Let n(p) = 124*p + o - 3 + 6 - 2. Is n(5) a composite number?
True
Let o(n) = -n**2 - 20*n + 5. Let q be o(-20). Suppose -2*s - 165 = -q*s. Is s a composite number?
True
Suppose -q + 3*q - 4*l - 12262 = 0, 0 = q + 3*l - 6131. Is q a prime number?
True
Let a(n) = 719*n**2 + 5*n - 5. Suppose 6 = 2*s + 2*b + 2, 3*b = 3. Is a(s) a composite number?
False
Let t = -63 - -67. Suppose 4*i - 20 = 0, -t*h = -6*h + 2*i + 1608. Is h composite?
False
Let b be (37/(-2))/(4/(-464)). Suppose 15*l - 7800 = 7*l. Let p = b - l. Is p composite?
False
Let n be ((-4)/(-8) - 2/8)*12. Is 650 - n/3*1 composite?
True
Suppose 27*t - 32*t + 2030 = 0. Let a be ((-3)/(-6))/((-2)/(-24)). Suppose -3*q = -4*b + 542, 3*b + 2*q = a*b - t. Is b composite?
True
Is (6/4 - -1)*145106/65 prime?
True
Suppose -5*t + 7 = -8. Suppose -8*p - a + 17 = -3*p, 0 = -t*p + 5*a + 27. Suppose -2*u + 5*y - y = -64, p*y = 3*u - 98. Is u composite?
True
Let x = 3 - 6. Let m be 2*x*(-52)/12. Suppose -2*i = -m - 448. Is i composite?
True
Suppose 0*s = -79*s + 2378611. Is s composite?
False
Is 0 + 5 + (5040 - (-4 + -4)) composite?
True
Suppose 0 = -5*a + 7*a - 8. Suppose 0*j = a*j - 260. Is j a composite number?
True
Is 2206*(6 + 25/10) prime?
False
Let p = -58 - -62. Suppose -3360 = -3*i - 3*l, p*l + 0*l - 1129 = -i. Is i prime?
True
Let m = -5291 - -11484. Is m a prime number?
False
Let d be (-1 - -418)*(-12)/(-9). Suppose 0*a - 2*z + d = -3*a, a + 174 = -5*z. Let m = -99 - a. Is m composite?
True
Suppose -2*m + 13 = 4*o - 5, 2*o = 0. Let f(q) = 37*q**2 - q + 8. Let u be f(9). Is (-2)/m + u/36 composite?
False
Suppose 5 - 33 = -4*k. Is (-2)/k + 30591/77 a composite number?
False
Is (17892 + 11)/(-2 + 3) composite?
False
Let n be (-44)/(-10) + (-10)/25. Let q be (2 - 167/n)*-4. Let m = q - -106. Is m prime?
False
Let o(w) = -9*w**3 + 2*w + 3. Suppose -5*i = a - 31, 6 + 38 = 4*i - 4*a. Let n = i + -9. Is o(n) composite?
False
Let q = -30863 + 43440. Is q prime?
True
Suppose -2*p + 2521 = -o, 3*o = -3*p - 2*o + 3775. Suppose b - p = 863. Is b prime?
False
Let w = -27412 - -40049. Is w a prime number?
True
Let h = 2817 + -1808. Is h a composite number?
False
Let z(i) = 2605*i + 419. Is z(30) composite?
False
Suppose 0*j - 5 = j, -3*s - 11 = 4*j. Suppose -q = -s*g + 8*g - 3, -5*q + 4*g - 14 = 0. Is -1 + q + 2 + 34 a prime number?
False
Suppose 5*q - 2*t - 38059 = 0, 2*q + 22*t - 15241 = 17*t. Is q prime?
False
Let i = -7417 - -19664. Is i a composite number?
True
Let i be 2/(-2)*8394/(-3). Suppose 4*f - 1670 = i. Is f a prime number?
True
Let x(q) = 1694*q + 3. Let w(b) = 1129*b + 2. Let j(z) = 8*w(z) - 5*x(z). Let t be 2/7 + (-35)/(-49). Is j(t) a composite number?
False
Let v(q) = 348*q - 1. Let x be ((-2)/(-5))/(2/40). Suppose x = 4*z + 4. Is v(z) a composite number?
False
Let d(m) = 24*m**3 + 8*m - 9. Suppose 0*y - y = -7. Suppose -20 = -y*k + 2*k. Is d(k) composite?
False
Suppose 261*r - 285*r = -1170456. Is r composite?
True
Let u be (-2 + -1)*(3435/(-9) - 3). Let y = -423 + u. Is y prime?
False
Let r be 3/(-12)*(-54 + 2). Suppose 0 = r*u - 7*u - 60. Is u a composite number?
True
Let x = 914 + 3155. Let a = x - 2082. Is 1*(2 - 1)*a a prime number?
True
Suppose 0 = 3*o + 4*f - 13 - 19, f - 25 = -5*o. Suppose 3*u - 2*u - o*s = 303, -s = -1. Is u composite?
False
Let p = 14960 + -7606. Is p composite?
True
Let u(c) = 5*c**2 + c + 7. Let g(s) = s**2 + 13*s - 21. Let d be g(-15). Suppose 3*i = 6*r - 4*r - d, 3*r = 2*i + 1. Is u(i) a prime number?
True
Let r = 5 - 11. Let v be 2 + (2 - (4 - 2)). Is 142 - r - (v + 1) a composite number?
True
Suppose -18 = 7*x - 11*x + 2*u, 25 = 5*x - 3*u. Let g = -1 + 2. Is (x/(-4))/(g/(-662)) prime?
True
Let p(y) = -y**3 - y**2 + 2*y + 2292. Let k be p(0). Suppose -2*j + k = 2*j. Is j a prime number?
False
Let n(b) = -7 + 8*b**2 - 2*b - 4*b - 2*b**2. Let j be n(5). Suppose 4*x + j = 445. Is x prime?
True
Is (-39524)/(-28) - 28/49 prime?
False
Let t be (-8)/44 + 897/33. Let b be 5937/(-2)*(-18)/t. Suppose 4*u - 5*c = 1598, -3*u + b = 2*u + 3*c. Is u composite?
False
Is (-26618)/(-2) + 9 + 2 + -13 prime?
False
Let b(v) = 1770*v**3 + v - 2. Is b(1) a composite number?
True
Let p = -55 - -70. Is 2*p/(-20)*-2374 a composite number?
True
Let b(z) = 21*z**2 + 0*z - 2 + 6 + 2*z. Let k(d) = -3*d**2 - 23*d + 5. Let h be k(-8). Is b(h) a composite number?
True
Let v be (2/3)/(5/90). Let b = v + -12. Is 3 + -2 + (9 - b) a prime number?
False
Suppose -2*a = -5*o - 636, 0 = 4*o - 3*a - a + 516. Let z = o - -283. Let c = 348 - z. Is c composite?
False
Suppose 0 = 3*z + 3*t - 10200, -3*z - 7*t = -8*t - 10204. Is z a prime number?
False
Let b be (-3)/(-2)*(5 - 41). Let z = 13 - b. Suppose -5*r = z - 1712. Is r prime?
False
Suppose n = 7 + 2. Suppose n*c = 4*c + 3065. Is c a prime number?
True
Let h = -13 + 16. Suppose z + 2*b = 64, -h*b - 44 = -2*z + 70. Suppose -r - 399 = -2*j, -3*r + 672 = 3*j + z. Is j prime?
False
Let k = 365 - -2334. Suppose 2*z = -4*b + 1074, -5*z - 3*b + k = -0*b. Is z prime?
True
Suppose 0 = y - 2*u - 9, -4*y - 1 = 5*u + 2. Let g(m) = 10 - 13*m**y + 6*m**3 + 6*