5) - s/5 a prime number?
True
Let s(g) = 556*g**2 + g - 2. Let h be s(-2). Suppose -2*o = -5*o - h. Let l = -331 - o. Is l composite?
False
Let t(b) be the first derivative of b**3/3 - 3*b**2 - 11*b + 7. Let a be t(8). Suppose a*v - 3572 + 757 = 0. Is v a composite number?
False
Suppose 4*m = 5*m - 36. Let l(h) = 32 + 2*h + 149 - m + 4. Is l(0) prime?
True
Let r be (-410)/164*(2245 + 1)*-1. Suppose -5*z + r = -5*s, 3*z - 4476 = -z - 4*s. Is z a prime number?
False
Suppose 3*i + 3*q + 2*q - 665 = 0, q = 5*i - 1071. Suppose 0 = 3*k + 3*p + 2*p - 174, -4*k + i = p. Is k prime?
True
Suppose 16 - 4 = -4*u. Let m(b) = -b**3 - 5*b**2 + 2*b - 6. Let a be m(u). Is (-44024)/(-120) + (-4)/a a composite number?
False
Let q(u) = -u**3 + 5*u**2 - 3*u - 1. Let y be q(4). Suppose -4*a + 4*x = -2364, y*a + 4*x + 0*x - 1745 = 0. Is a prime?
True
Let j(h) = 3*h**2 - h. Let d be j(1). Suppose -d*c = 658 - 2012. Is c prime?
True
Let a(k) be the third derivative of 113*k**5/60 + k**4/12 - k**3/3 + 16*k**2. Is a(-2) a prime number?
False
Suppose f = -b + 5*b - 7, -1 = -f - 4*b. Let t(c) be the first derivative of 32*c**3/3 - c**2 + c + 1. Is t(f) a composite number?
True
Let z be 160/(-40) - ((-1)/1 + -1309). Suppose -v + 3*v - 4542 = 0. Suppose 2149 = 3*l + q, 5*l + 4*q - v = z. Is l a composite number?
True
Let h = 3 - 13. Let y = h + 9. Let o = 6 - y. Is o a composite number?
False
Let r(b) = -b**2 + 2*b + 38. Let x be r(0). Let v(t) = -t**3 + 749 + 38*t**2 - x*t**2. Is v(0) a composite number?
True
Let j(y) = y**2 - 6*y - 7. Let n be j(8). Let v be (-1599)/n + 3/(-9). Let z = 429 + v. Is z a composite number?
False
Let f(n) = 8*n + 126*n + 81*n + 59*n - 41. Is f(12) prime?
False
Let z = -73016 - -104107. Is z a composite number?
False
Suppose -36 = 5*d - 11. Is (-3487)/d + (-5)/((-25)/(-2)) a prime number?
False
Let n = 356 + -54. Suppose -y - n = -1684. Is y composite?
True
Suppose -5*g + 26342 = 3*s, 6*g - 5267 = 5*g - 2*s. Is g prime?
False
Suppose 109341 = 13*j + 8292. Is j a prime number?
False
Suppose -5*z = -t + 10, 0*t - 4 = 2*z + 3*t. Let u be (4 + z)/2*526. Let w = u + -264. Is w prime?
False
Let z be -1 + (-13 + 4 - -10). Let q be 5/3 + 2/6. Suppose -q*g + z = -358. Is g composite?
False
Let p(t) = -40*t - 5 - 65*t + 4 + 4. Let f be p(5). Let s = -125 - f. Is s a composite number?
False
Let n(l) = -l - 2. Let h be n(7). Let d = 12 + h. Suppose 45 = x + d*s - 97, -x + 4*s + 135 = 0. Is x a prime number?
True
Let v(r) = 123*r**2 + r + 4. Let c be v(3). Is (c/(-8))/(-2*(-3)/(-168)) a prime number?
False
Let n = 6925 + -2958. Is n a prime number?
True
Let b be (353/4)/(15/60). Let n = -99 + b. Is n a prime number?
False
Suppose 2*h = -h - 1113. Let m = -4 - h. Is m prime?
True
Let n be -2 + 1 - 0 - -6. Suppose 0 = -n*x + 4*m + 2, m = -x + 4. Suppose x*s + 5*u - 69 = -0*s, 2*s - 2*u - 76 = 0. Is s a prime number?
True
Let c(w) = w + 8. Let n be c(-8). Suppose 0 = -2*f - n*f + 716. Is f a composite number?
True
Let k = -23 - -78. Suppose 0 = -7*n + 3*n. Suppose n = -x + 32 + k. Is x prime?
False
Let r = 1137 + -666. Is r a composite number?
True
Let p(i) = 613*i**3 + 2*i**2 - i - 1. Suppose 12 = 2*f + 8. Is p(f) a composite number?
False
Let g(t) = -5*t**3 + t**2 + 4*t + 1. Let q be g(-3). Suppose 0 = 6*s - 385 + q. Let r = 80 + s. Is r a composite number?
True
Let x(m) = -m**3 - 7*m**2 + 5. Let l be x(-7). Suppose 0 = -9*j + l*j + 124. Is j composite?
False
Let k be -3 + (-4 - -54) + 3. Suppose -5*u - k = 2*j, -2*j = 4*u - 5*j + 17. Let y(g) = 2*g**2 + 6*g + 7. Is y(u) a composite number?
True
Let t(a) = 35*a - 25. Let b(f) = -f**3 + 7*f**2 - f + 19. Let l be b(7). Is t(l) composite?
True
Let z be 23715/6 + (-12)/8. Suppose -19*n = -22*n + z. Is n prime?
False
Let j = 361 + -669. Let w = j + 635. Is w prime?
False
Suppose -3*y - 210 + 12 = 0. Let f be (-8)/(-28) + y/(-14). Is 47*f/((-10)/(-14)) prime?
False
Let o(a) = -6*a - 2. Let q be o(-1). Suppose -q*j + j = -12. Suppose 5*d = -j*s + 227, 2 = 2*d - 4. Is s a composite number?
False
Is (11427/12 + 2)*(1 + 3) prime?
False
Suppose -1 + 9 = 8*k. Is (k + -24)/((-8)/328) a composite number?
True
Suppose u - 4 = -0. Let r(y) = -3 - 3 - u + 2 + 5*y. Is r(9) composite?
False
Let s(j) = -4*j + 19. Let x(i) = i**2 + 18*i - 28. Let n be x(-19). Is s(n) a prime number?
False
Suppose -3*y + 2*y = g - 765, 5*y + g = 3841. Suppose -4*r + y = -35. Is r prime?
False
Is (7 + -39888 + 13)/(-2) composite?
True
Let f(w) = -2*w**3 - 59*w**2 - 50*w - 57. Is f(-34) composite?
True
Suppose 8*j + 32 = 4*j. Let l = -115 + j. Let t = 234 + l. Is t prime?
False
Let h(b) = b - 2. Let x be h(6). Suppose -x*c + 805 = c. Is c prime?
False
Let x(n) = 8*n**3 - 4*n**2 + 5*n - 4. Let a = 8 + -5. Is x(a) a prime number?
True
Is 1301*3 + (77/7 - 7) prime?
True
Suppose -l - 1 = -3. Let h(k) = 28*k**3 + 4*k - 3. Let j be h(l). Let p = j - 108. Is p a composite number?
True
Let h(x) = -x**3 - 2*x**2 + x. Suppose -3*p + 8*p = -10. Let z be h(p). Is (-185)/(-10) - z/4 prime?
True
Let f(m) = -7*m**3 + 16*m**2 - 9*m - 16. Let k(z) = 8*z**3 - 17*z**2 + 8*z + 17. Let n(y) = -6*f(y) - 5*k(y). Is n(8) a composite number?
False
Let j(d) = 27 - 6 + 1027*d - 12 - 10. Is j(2) prime?
True
Let q(d) = 280*d**3 + d**2 + 22. Is q(3) a prime number?
True
Suppose 0 = -2*j + 4 + 6. Suppose -25 - 45 = -j*y. Is 2056/y*7/2 a composite number?
True
Suppose -3*v + 2*t + 31 = -0*v, v - 13 = 2*t. Is (-109 + -2)*((-39)/v - -4) composite?
False
Let o be 24/5 - (-2)/10. Suppose o*y - 4947 = 11168. Is y prime?
False
Let a(j) = j + 17. Let w be a(-12). Let m(t) = 69*t + 1. Let z(r) = 68*r + 1. Let x(b) = 6*m(b) - 5*z(b). Is x(w) composite?
True
Let l(w) = w**3 - w**2 - 3*w + 21612. Let d be l(0). Suppose d = -g + 13*g. Is g prime?
True
Suppose -3*f = f - 20. Suppose 74 = -f*z + 4*z. Is -3 + (-9)/(-3) - z a composite number?
True
Let n be (-1)/3*10*3. Let d = -14 - n. Is 59*(d - -2 - -3) a prime number?
True
Suppose 32*x = 255365 - 3877. Is x a composite number?
True
Let d = -31 - -34. Is (474/d - -3) + (4 - 2) prime?
True
Suppose -b + d + 564 = 0, 3*b - 1262 - 415 = -2*d. Let k = b + -352. Is k composite?
True
Suppose -5*g = -5*m - 54460, -4*g - 2*m + 43603 = m. Is g prime?
False
Suppose -37 = 5*n + 43. Let k = n - -20. Suppose -5*v + 88 = 4*u - 114, 3*u - 167 = k*v. Is u a composite number?
False
Let w(n) = -1087*n - 129. Is w(-8) a prime number?
False
Let x = -264381 - -370828. Is x prime?
False
Let g(j) = 827*j - 120. Is g(7) prime?
True
Suppose -29305 = -9*a - 838. Is a a prime number?
True
Let z be (-76)/(-40) - 2/(-20). Suppose 0 = 2*r - 2*v - 100, -z*r + 0*r = -v - 105. Is r a composite number?
True
Suppose 0*l - l + 2 = 0. Suppose p - 65 = -l*j + 20, 0 = -2*p + 2*j + 158. Suppose -4*b - 140 = -4*y - 0*b, 3*y + 3*b = p. Is y a prime number?
True
Let q(b) = -15*b - 4. Let s be q(-8). Let k = 21 - 40. Let a = s + k. Is a a composite number?
False
Suppose 3*z = -7*z + 393590. Is z composite?
False
Let g(z) = -4405*z**3 - z**2 + 2. Is g(-1) prime?
False
Is 5 + 1890 - 3 - (0 - 3) a prime number?
False
Let q = -1309 - -2357. Suppose o = -2*h - 3*o + 534, -2*o - q = -4*h. Is h a composite number?
False
Let q = 8773 + -5762. Is q composite?
False
Let h(z) = -z**3 + 2*z**2 - 7*z - 17. Suppose 15 = -s + 2. Is h(s) prime?
True
Is (-5971)/(10 + (-22)/2) a prime number?
False
Let c be -5*(-1 - (-3)/5). Suppose 3*p - c*p = 978. Suppose 0 = -2*q - 0*q + p. Is q composite?
True
Is 36669/33 - 4/22 composite?
True
Is ((-5)/(-5))/((-3)/(-156471) - 0) a prime number?
False
Let g = -897 + 3836. Suppose g + 2287 = 6*w. Is w a prime number?
False
Let j = -4 - -6. Is (-2992)/(-18) + j/(-9) prime?
False
Let t be ((-2316)/(-8))/((-3)/(-8)). Let w = -271 + t. Is w a prime number?
False
Suppose -19827 - 2315 = -2*h. Is h composite?
False
Let g be ((-51)/(-9))/((-3)/(-549)). Suppose 3423 - g = 2*t. Is t a prime number?
True
Suppose 7 = -c + 12. Suppose 2348 = c*o - 1742. Suppose o + 1024 = 6*i. Is i composite?
False
Is (-36)/(-108) - (-210880)/6 composite?
True
Suppose t - 2*o = 8 + 3, o = -5*t + 22. Suppose -6*j = -t*p - 3*j + 739, 2*j - 153 = -p. Suppose -5*w = 2*y - 372, 2*w - p = -4*y + 3*y. Is w prime?
False
Suppose 147 = 3*n - f, 5*f + 35 = n - 0*n. Let x = n - -109. Is x a composite nu