Suppose -4*h = 4*g - 30672, 5*h + 15*g = 16*g + 38310. Is h prime?
False
Let i(k) = 2*k + 5. Let c be i(12). Let p = c - 29. Suppose -m + 588 = 2*z, -2*m + 0*m + 4*z + 1168 = p. Is m a composite number?
True
Is -12531*3*(-9)/27 a prime number?
False
Let v = 12 - 10. Suppose -9 = -a + v. Let c = a - -8. Is c composite?
False
Let m be 6/(-4)*(-20)/2. Let w(g) = -g**3 + 16*g**2 - 7*g + 7. Is w(m) prime?
True
Is (-260)/(-104)*6684/10 a prime number?
False
Is (-132)/9*-1077*(-7)/(-28) composite?
True
Suppose -6*v - 13495 = -9*v + 2*a, a = -v + 4500. Is v a prime number?
False
Let n = -25 + -74. Suppose 2*j - 2*u - 490 = 0, 2*j + 4*u = -0*j + 460. Let w = j + n. Is w composite?
True
Let r be 1*(349/(-3))/(2/(-6)). Suppose 0 = -3*o + 2*l - 721 + 253, o - l = -155. Let i = o + r. Is i a prime number?
True
Suppose 0 = -s + 2*s - 9. Suppose 0*z = -3*z + s. Suppose z*p = 41 + 28. Is p a prime number?
True
Suppose 2*s = -3*x + 1479 - 522, x - 5*s = 319. Is x a composite number?
True
Let o(f) be the second derivative of 97*f**5/120 - f**4/4 + 13*f**3/6 - 7*f. Let x(m) be the second derivative of o(m). Is x(5) a prime number?
True
Let z be (5/2)/((-6 + 5)/(-2)). Suppose -867 = -r + j, 0*j - 4327 = -z*r + j. Is r a prime number?
False
Suppose -5*z = -x + 1179, -33 = x + 3*z - 1228. Is x prime?
False
Let s = 119 + -123. Let z(w) = 113*w**2 + 10*w + 1. Is z(s) a prime number?
False
Let s = 13536 - 6157. Is s prime?
False
Let d = -605 + 7384. Is d a composite number?
False
Suppose 0*v = -p + v + 33, 4*p + v = 142. Let z be 14/p - 4/10. Suppose -l - 2*l + 1335 = z. Is l prime?
False
Suppose 12*u = 6*u - 300. Let b = 2463 - u. Is b prime?
False
Let z = 15727 - -27652. Is z composite?
True
Let d be (2/3)/((-2)/(-12069)). Suppose -d = -7*o - 2*o. Is o prime?
False
Suppose -6*m + 8682 + 377712 = 0. Is m prime?
True
Let q = 6148 + -4049. Is q prime?
True
Let q = -560 - -1062. Suppose 2*j = -0*j + q. Is j a prime number?
True
Let a(x) = -5*x - 1. Let j be a(0). Is -4 - (j + 576/(-4)) prime?
False
Let r(x) = 48*x**2 + 3*x + 4. Let f = 9 + 0. Suppose 0*l - 3*l = f. Is r(l) a composite number?
True
Is (9222/(-4) - 0)*(-26)/39 prime?
False
Let x be (-2)/(2/515*5). Let r = -24 - x. Is r a composite number?
False
Suppose 58 = -5*m - 7. Let t = 19 + m. Suppose t*j = 4*j + 262. Is j prime?
True
Suppose 8*m - 2 = 7*m. Suppose -y + 2*z + z - 5 = 0, m*y + 4 = 4*z. Suppose 0 = -y*i + 2*o + 7024, -5*i + 2*o = -2*i - 5267. Is i a prime number?
False
Suppose 5*g - 13045 = -4*p, 5*g + 12*p - 11*p - 13030 = 0. Is g prime?
False
Suppose 4*t - 5*a = 11630 - 505, 5*t - 13897 = -3*a. Let w = -1855 + t. Let u = -602 + w. Is u a composite number?
True
Let f = -100 - -462. Suppose 11*b - f = 9*b. Is b a composite number?
False
Let x(r) = 5 - 5 + 12*r - 25*r + 17 - r**2. Let z be x(-14). Suppose u + 74 = z*u. Is u a composite number?
False
Suppose -2290*s - 1403224 = -2298*s. Is s prime?
True
Suppose 9*p - 6097 = 23396. Is p a prime number?
False
Let w = 1819 + 16332. Is w a prime number?
False
Let m be (1/(-2))/(12/1752). Let z = m + 126. Is z composite?
False
Suppose 18*n = 15*n - 9. Is ((-362)/4)/(n/6) a composite number?
False
Suppose a + 4 = -3*t, -4*t = 5*a + 8 + 12. Let z(n) = 2*n + 209. Is z(t) prime?
False
Let s(k) be the second derivative of -20*k**3/3 - 19*k**2 - 5*k. Is s(-10) prime?
False
Let g be (-5)/((-15)/24) - 3. Let q be (-2 - -3)*116*2. Suppose -i - k = i - 93, 3*k - q = -g*i. Is i prime?
True
Suppose -23*o - 156 = -21*o. Let m = 319 - o. Is m a composite number?
False
Let z be 0 + (2 - 3) - -4765. Suppose -4*p = -0*p + 5*t - 3807, 5*p + t = z. Is p prime?
True
Suppose -5*m + 25 = 3*b, 5 = -m + 4. Is b a composite number?
True
Let a(y) be the third derivative of 133*y**4/24 + 31*y**3/6 - 4*y**2. Is a(10) a prime number?
True
Suppose -t + 4*q = -29, 4*t - q - 3*q = 164. Suppose 0 = -6*r + 12*r - 72. Let s = t - r. Is s composite?
True
Let q(k) = -4*k - 20. Let y(l) = -l + 1. Let s(h) = -q(h) - 5*y(h). Let n(i) = 9*i + 16. Let j(p) = 5*n(p) - 6*s(p). Is j(-5) a prime number?
False
Let n(b) = -b**3 - 12*b**2 - 9*b + 25. Let r be n(-11). Suppose 2*v = r*y + 1754, -v + 0*v - y = -877. Is v a composite number?
False
Suppose -w = -4*x - 3*w + 14, 4*w = -5*x + 19. Suppose -2*s = -x*d + 3*s + 1099, 4*d - 1496 = -s. Is d prime?
True
Let d = -67 + 65. Is d + 5 + (1523 - 3) composite?
False
Let k = -2070 - -3693. Is k a prime number?
False
Suppose -3*k - s = 175, -2*k = -4*k - 5*s - 95. Let j be k/45*-24*1. Is j/(-16)*(-199)/2 a prime number?
True
Let a be 104/(-6) + (-2)/3. Let z be ((-200)/(-12))/((-1)/a). Let n = z - 139. Is n composite?
True
Let k(g) = 97*g**3 - 12*g**2 + 15*g - 1. Is k(6) prime?
False
Let l = 52 + -66. Let v(n) = -n**3 - 14*n**2 - 11*n - 41. Is v(l) composite?
False
Let d be 4/(-10) - (-154)/35. Suppose -t + 3*t = -d. Is (-1 - (83 - t))/(-1) composite?
True
Let i(c) be the third derivative of 11*c**6/120 + c**5/10 + 5*c**4/24 - 7*c**3/6 + 24*c**2. Is i(5) composite?
False
Suppose 5*a = 0, -7*k - 8488 = -3*k - a. Is 2*(k - 0)*3/(-12) prime?
True
Let f(y) be the third derivative of y**6/180 + y**5/30 + y**4/8 - 4*y**3/3 - 6*y**2. Let s(m) be the first derivative of f(m). Is s(-2) composite?
False
Let f be -22 + -3 + 4 - -3. Is 6/f - (-283)/3 a prime number?
False
Is 100610/22 + (140/(-55))/14 a composite number?
True
Let r be (9/(-6))/(9/(-48)). Suppose -3*n - 1073 = -f, 4*f + 3*n = r*f - 4256. Is f prime?
True
Suppose -13 = -5*b - 2*d, -5*b + 3*d = d - 17. Let o be (-2 + b)*(-10 - -7). Let n = 7 - o. Is n a prime number?
False
Let t be (-1)/2*288/8. Is (838/(-6))/(t/54) composite?
False
Let p be (-5)/2*44/(-55). Suppose 0 = -7*o - p*o + 11295. Is o prime?
False
Suppose -340655 = -17*s - 18*s. Is s composite?
False
Suppose -4*t = -769 - 5435. Suppose t = n + 2*n. Is n prime?
False
Suppose 2*a + 57 - 538 = -3*o, -a + 208 = -5*o. Is a a prime number?
True
Is 92368/6 + (16 - 940/60) prime?
False
Let c(u) = u**2 - 15*u + 56. Let j be c(8). Let f be 260/6 - 4/(-6). Suppose j*w = 4*w - f. Is w a composite number?
False
Is (-1722420)/(-150) + 2/10 composite?
False
Let u = -24 - -26. Let p be (-2)/(u - 0 - 4). Is -116*p*35/(-20) composite?
True
Let a be 1175 + -1 + 2 + -2. Let n = a - 417. Is n a composite number?
False
Suppose x = -0*x + 28. Let l = 8 - 8. Suppose -x = -2*h - l*h. Is h prime?
False
Let f = 619 - -271. Suppose f + 374 = 16*a. Is a composite?
False
Let l(v) be the first derivative of 63*v**2/2 + 16*v + 5. Is l(5) composite?
False
Let l(d) = -d + 9. Let a be l(13). Is a/(-20) + 3470/25 a prime number?
True
Let c = 144 + -33. Let l be 29/2*(9 + c). Let f = l + -1223. Is f a prime number?
False
Suppose 3*c - 15 = -6. Suppose -6*y + 3*y + 2*r = -17, -5*y = -c*r - 29. Suppose -m = 5*k - 623, -y = -3*k - 1. Is m composite?
False
Suppose p - 10 = -5*j, -j - 2*p + 9 = -2*j. Let b(a) = 635*a**3 + a**2 - 3*a + 2. Is b(j) composite?
True
Let h be 6*(10/8)/((-3)/(-148)). Is h + (3 - 1)/2 prime?
False
Suppose 5*d = 5*b - 3180, -5*b + 3190 = -0*d - 3*d. Is b prime?
True
Let v(b) = 9*b**3 - 5*b**2 + 4*b + 6. Let z be v(-5). Suppose -5*x - 3440 = -4*p + 381, 3065 = -4*x - 5*p. Let j = x - z. Is j a prime number?
True
Suppose 5*c + 2 + 3 = 0, -c = 4*w - 18111. Let y = w + -3225. Is y a prime number?
True
Let g be ((-6)/(-10))/(8/40). Suppose -q = -0*k + g*k - 356, k - 717 = -2*q. Is q prime?
True
Let u = -3 + 11. Is (303 - -2)*u/20 composite?
True
Suppose -b = -1, b - 91 = 2*n - 816. Let a = n - 236. Is a prime?
True
Suppose -d + 3*h = -3*d + 87, -5*d + 3*h + 249 = 0. Let n = 107 - d. Is n a prime number?
True
Let q = -5934 - -9383. Is q a prime number?
True
Let b(r) = -319*r - 6. Let w = 31 - 25. Suppose -2*t - w = -0*t. Is b(t) prime?
False
Suppose 0 = -2*c + 12 + 4. Let n = c - 2. Let p(h) = 37*h + 15. Is p(n) prime?
False
Let t be -12 - (-2)/(-4)*4. Let s = t - -51. Is s composite?
False
Suppose -56*g - 132036 = -68*g. Is g prime?
True
Let q be (12/(-8))/(6/(-32)). Suppose -q*m = -9*m + 887. Is m a prime number?
True
Let a(c) be the first derivative of c**2 - c - 2. Let k be a(-2). Is 31 - ((5 - 3) + k) composite?
True
Let m(v) = -7*v - 10. Let p be m(6). Suppose -11 = 3*o + 2*i, -2*i + 3 = o + 4. Let n = o - p. Is n composite?
False
Let u be (-1)/(-6) - 595/(-30).