3*h - 5 = m + 12, 4*m + p = -3*h. Is h/33 + 765/33 a composite number?
False
Let f(a) be the first derivative of a**4/4 - 2*a**3 - 5*a**2/2 - 10*a - 10. Let s be f(6). Is 552/s*(2 - 7) composite?
True
Suppose -3*m + 30 = 2*m - 5*i, 2*i = 4*m - 24. Suppose 0 = -8*h + 6*h + m. Suppose 2*y - 2525 = -h*y. Is y composite?
True
Let q = -1047 - -11076. Is q composite?
True
Let q(s) = s**3 + 801. Suppose -4*o + u = 2, -3 = -5*o - u - 1. Let p be q(o). Is (2 + p/3)*1 prime?
True
Let n(r) = 718*r**2 - 3*r - 2. Suppose 5*p + 6 = 4*h, 3*p + 11 = -0*h - 5*h. Is n(h) composite?
False
Let n be (-1)/((-6)/(-80))*(-2847)/52. Let l = 1499 - n. Is l a prime number?
True
Let c be ((-7)/(-4))/((-3)/(-696)). Let m = c + -183. Is m prime?
True
Let d(c) = 52*c**2 - 4*c + 113. Is d(-11) a prime number?
True
Let u(f) = 4*f - 5. Let i be u(2). Suppose -357 = -0*m - i*m. Is m composite?
True
Suppose -2*c - 21369 + 60691 = 0. Is c a prime number?
True
Let s be (-3)/((-15)/24 - -1). Let f be 5 + (-3 - s/4). Suppose -f*y + 2519 = a, -2*y - 2*a = -a - 1257. Is y a prime number?
True
Is (0 - -21859)*(-82 - -83) a prime number?
True
Suppose -3*c - c = 2*y - 16, 4*y + c - 25 = 0. Suppose 0*p + 6018 = y*p. Is p composite?
True
Let q = -880 + 325. Let n = q + 2406. Is n composite?
True
Let p = -13132 - -77247. Is p a prime number?
False
Let u(l) = 2*l - 7*l + 14*l**2 + l - 1. Is u(6) a prime number?
True
Let w be (-5176)/(-3)*30/20. Suppose 3*n = -5*q + 2828, 329 - w = -4*q + n. Suppose 2*d - 215 = 3*m, 4*d + m + 128 = q. Is d prime?
True
Is ((-25)/(-6) - 4) + 4853/6 a composite number?
False
Let u(s) = 6353*s - 29. Is u(2) composite?
True
Let f be 2 + (-3 - -1) - (-1 - 0). Is ((-4034)/4)/(f/(-2)) a composite number?
False
Suppose 2*y + 15 = 3*o, -3*o + 3*y + 24 = -2*y. Suppose 32 = 4*n - o*h - 134, -5*n = 3*h - 194. Suppose -v + 1 = -c + n, 2*c + 4*v = 66. Is c a prime number?
True
Suppose -1 = h + 3, -3*i = -2*h - 20. Let g(k) = 76*k + 3. Is g(i) a composite number?
False
Let i(y) be the third derivative of -5*y**6/24 - y**5/60 + y**4/8 + y**3/6 + y**2. Suppose -2*k - 7 = 3*k + s, k + 11 = 3*s. Is i(k) a composite number?
False
Is (2*5549)/(4/2) a composite number?
True
Suppose 0 = -3*o + 2*f + 2631 + 12880, 0 = -3*o - 2*f + 15503. Is o a prime number?
False
Let k(h) = 479*h**3 - h**2 - 2*h - 7. Let m(b) = b**3 + b + 2. Let x(s) = k(s) + 3*m(s). Let i = 3 - 2. Is x(i) prime?
False
Suppose -3*j - 5*p + 1178 = 0, 3*j - 4*j = -4*p - 387. Suppose 2*a + 3*i + j = 3*a, a - 403 = -3*i. Is a prime?
True
Is (937 - 0)*(7 + 10 + -12) a composite number?
True
Let k = -32 + 41. Is 7005/k + (-4)/(-6) a composite number?
True
Let v = 3 - -3. Suppose -5*b - v + 1 = 0. Is 2 + 20 - (b + 1) a composite number?
True
Let x = 545 - 70. Suppose 34*s - 29*s + 2*z = -900, -3*s - 4*z - 526 = 0. Let a = s + x. Is a a prime number?
True
Suppose -5*w + 12655 = 5*t, 3*t + 4*w - 5052 = t. Suppose 5*u - 9*u = -t. Suppose -u + 3272 = 2*j. Is j composite?
False
Suppose -3*k - s + 5 = 0, k + 2 = -7*s + 3*s. Let h(o) = o**3 - o**2. Let y be h(k). Suppose -v + a + 697 = y*v, 0 = -2*v - 3*a + 272. Is v prime?
True
Suppose 152*s = 150*s + 13546. Is s composite?
True
Suppose -102345 = -8*x + 318943. Is x prime?
False
Let b(n) = -5*n**3 - n**2 + 4*n + 5. Let l be b(-5). Is -24 + 23 + -1 + l composite?
True
Let c(j) be the third derivative of -3*j**4/4 + j**3/6 + 4*j**2. Let w be c(1). Let b = 70 - w. Is b composite?
True
Let j = -4413 - -8552. Is j a composite number?
False
Suppose 2*y - 3*z = 412, -y = 2*z + 2*z - 228. Suppose -275 - y = -j. Is j a composite number?
False
Is 20944/6 - (92/12 - 8) prime?
True
Suppose 2*g + 3*l - 3 = 0, -2 - 13 = -3*l. Is 1 + -3 - (-279 - g/1) a composite number?
False
Let n be 40/18 - 8/36. Suppose -4*p - 20 = -4*k, -3*p - 3 + n = 4*k. Suppose -2*f + 5*v = -128 + k, -2*f + v + 118 = 0. Is f prime?
False
Let r be 8/(-10) - (-1012)/(-110). Let b be 14 - -2*(-1)/(-2). Is (-6224)/r - b/(-25) a prime number?
False
Suppose j = 1, 5*i + 4*j - 5*j + 1 = 0. Suppose 8*w - 3*w = i. Suppose -5*g = -4*g + 5*z - 216, -2*z + 10 = w. Is g prime?
True
Suppose 0 = -5*t - 3 - 7. Let j(y) = 24*y**2 + y. Let f be j(t). Suppose -4*k + 278 = f. Is k prime?
False
Let v = -25124 + 38385. Is v composite?
True
Suppose -3*x + x = 1294. Let u = 1064 + x. Is u a composite number?
True
Let s be ((-72)/(-15) - 3)*10. Suppose 409 = -17*g + s*g. Is g a prime number?
True
Suppose -8928 = -4*k + 4*l, -3*k + 1025 = -2*l - 5670. Is k a composite number?
True
Let y(t) = t**3 - 13*t**2 - 10*t - 37. Let w be y(15). Suppose 262*j = w*j - 3377. Is j a composite number?
True
Let r(i) = i**3 - i**2 - 22*i + 19. Is r(33) a composite number?
False
Suppose 2*b - 3186 = g, 2*b + g - 3188 = 3*g. Let m = b + -1122. Let y = m - 151. Is y a composite number?
True
Suppose 0 = 15*i - 14*i - 853. Is i prime?
True
Let k(a) = -1281*a + 16. Is k(-9) prime?
False
Let z = -2342 + 15595. Is z a composite number?
True
Let s(h) = h**3 + 10*h**2 - h - 13. Let d be s(-9). Is -1 + 12*d + 0 a prime number?
False
Suppose 4*z = -103 - 117. Let n = z + 106. Is n a prime number?
False
Let f(v) = v**3 - 11*v**2 - 4*v + 3. Suppose 5 = s + u, u - 18 + 43 = 5*s. Let y(t) = t**3 - 12*t**2 - 5*t + 3. Let q(c) = s*y(c) - 6*f(c). Is q(4) prime?
False
Let c(x) = x**2 - 4*x + 52. Let v be c(0). Is 2/(v/9174) - 10/(-65) a prime number?
True
Suppose 10906 = 5*d - 22489. Let w = d - 3542. Is w composite?
False
Suppose 0 = 2*p - 89 + 79. Suppose -2*c + 16626 = 2*g, 0 = 4*g - p*c - 15336 - 17880. Is g a composite number?
True
Let q = 100 - -59. Let y = q - 110. Is 12285/y + (-4)/(-14) a composite number?
False
Suppose -28 + 1 = -s. Let k = s + -21. Suppose -k*y = -1128 - 2358. Is y a prime number?
False
Is ((-3)/9)/(5/(-177945)) composite?
False
Suppose -4*d + 528 = -2*v, -4*d - 63 = 5*v - 591. Suppose 17*i - 21*i = -d. Is i a composite number?
True
Let j(l) = -l + 0*l**2 + 0*l**2 + 2*l**2 - 3 - 5*l**2. Let s be j(5). Let h = 141 + s. Is h a prime number?
False
Is 560432/32 - (-4)/16*-2 a prime number?
False
Let m be 0/(-2 - 2/2). Suppose 0 = y + 7*q - 3*q, -5*y + q = m. Is 115 + (0/(-2) - y) prime?
False
Suppose -48*c + 29166 = -42*c. Is c a composite number?
False
Let v(h) = 3*h**2 + h. Let t(i) = i**3 + 11*i**2 - 11*i + 11. Let r be t(-12). Let m be v(r). Suppose -m*f = f - 543. Is f composite?
False
Suppose -6*u + 9*u - 5850 = -4*i, 2*i = -2*u + 3900. Suppose 0 = -4*r + 6 + 14, 0 = -5*z + r + u. Is z composite?
True
Suppose -b = -2 + 4. Let g(d) = -13*d + 2. Let r be g(b). Suppose -n + u + r = 0, -3*n + 150 = 5*u + 42. Is n a prime number?
True
Let p be (-838 + 0)*-1*(-2)/(-4). Is p + 0 + 5 + -7 - -2 composite?
False
Is 1050 + (-8)/(8/(-5)) a prime number?
False
Suppose -8*t = -6*t - 420. Let x = t + 591. Suppose -648 = -4*w - s, -5*w + s = -0*s - x. Is w a prime number?
False
Is (2203/(-2))/(28/(-392)) prime?
False
Let b be (-6)/(-4)*-5*246/45. Let m = 133 + -195. Let a = b - m. Is a a prime number?
False
Let n = 238 - 336. Suppose -5*d = -4*v - 981, -29 = -d - v + 160. Let a = d + n. Is a prime?
False
Let u be 2/4 - ((-148)/(-8) + -4). Is (-1 + (-42)/4)*u prime?
False
Suppose -9 + 6 = 3*y, -l - 4*y + 22329 = 0. Is l prime?
False
Let y = 173653 + -78966. Is y prime?
True
Let m(n) be the first derivative of -3*n**5/40 + n**4/24 + 2*n**3 + 1. Let l(r) be the third derivative of m(r). Is l(-6) a prime number?
False
Is 2/(-17) + 471295/323 prime?
True
Let r be 0 - (1 + -5 - 1352). Suppose -2*h + 2*q = -r, h - 846 + 164 = -3*q. Is h composite?
True
Suppose 6*t = -3*t - 1107. Let d = t + 314. Is d prime?
True
Suppose 4*x - 20 = 0, 4*d - d = 2*x + 212. Suppose 5*y - 153 = q + 85, -4*y + 173 = 5*q. Suppose 0 = -f + y + d. Is f prime?
False
Let u(c) = -c**3 - 3*c**2 + 4*c. Let f be u(-6). Let s be 1 + -76*(-8)/4. Let b = s - f. Is b a composite number?
True
Suppose -5*q = -4*n + 6*n - 12649, -n + 2*q + 6311 = 0. Is n a prime number?
True
Let s = -57575 - -83064. Is s prime?
False
Suppose -3*a + h + 20 = 3*h, -2*a - 2*h + 10 = 0. Suppose a*i - 2825 = 2145. Is i a prime number?
False
Let a = -194 + 375. Suppose -188 = 6*g - 4*g. Let d = g + a. Is d a prime number?
False
Suppose 7*b + 119 = -0*b. Let x(i) = i**2 + 4*i - 10. Is x(b) composite?
False
Let x be (19 + 1)*-1 - 