osite number?
False
Let b(h) be the third derivative of 25*h**4/2 + h**3/6 - 4*h**2. Is b(1) composite?
True
Let h = 16 + -3. Is h prime?
True
Suppose 0 = -3*y + 1980 - 87. Is y a composite number?
False
Let q be (-156)/42 - (-2)/(-7). Is (-180)/(-8) - (-2)/q composite?
True
Let k = 12 - 7. Let p = k + -4. Is (2/(-4))/(p/(-110)) a composite number?
True
Suppose c + c - x - 7199 = 0, 5*c - x = 18005. Is c/14 + (-6)/21 a composite number?
False
Suppose 0 = -4*d + 7*i - 8*i + 3551, 0 = d + 2*i - 893. Is d composite?
False
Suppose 2*n = 3 + 1. Is n prime?
True
Is (2/(-8))/(1 - (-7359)/(-7356)) a composite number?
False
Suppose 3*m = s - 3*s - 12, 4*m + 16 = 2*s. Suppose s*u - u + 139 = 0. Is u prime?
True
Let r = -318 + 905. Is r a prime number?
True
Let o(q) = 80*q**3 - 2*q**2 + 1. Suppose -2*v - 3*v + 34 = 3*x, v - 8 = -x. Let s be -2 + x*(-1 - -2). Is o(s) composite?
False
Let s = -16 - -22. Let z(u) = -u**3 - 7*u**2 + 7*u + 8. Let p be z(-8). Suppose a = s + p. Is a a prime number?
False
Let y(a) = -23*a - 4. Let m(o) = o - 1. Let r(n) = 3*m(n) + y(n). Is r(-5) composite?
True
Let o(g) = g + 2. Let n be o(8). Suppose 0*t + n = -5*t. Is t/(-7) - (-887)/7 composite?
False
Let i = 288 + 1073. Is i a prime number?
True
Suppose 357 = 7*i - 56. Is i composite?
False
Is (-218 - (5 - 4))*-1 a prime number?
False
Let n = 117 + -58. Is n composite?
False
Let s(u) = u**2 + 10*u + 1. Let m be s(-10). Let h(i) = -i**3 - 6*i**2 - i - 4. Let f be h(-6). Is 2*(m - (-67)/f) composite?
True
Suppose z + 10 = 3*n - 10, -2*z = -n. Suppose -110 = 3*r - n*r - 5*f, 79 = 4*r + f. Is r a prime number?
True
Let h = 172 - 270. Let w be 3/(-6) - h/4. Let s = w + 9. Is s a composite number?
True
Suppose 0 = k - 0*k + 1. Let p = 4 + -2. Is k/(p + 150/(-74)) prime?
True
Let a(i) = -84*i**3 - 7*i**2 - 6*i - 3. Is a(-2) a prime number?
True
Let f = 170 + -49. Is f composite?
True
Suppose 0 = 5*w + 4*d - 102, -2*w - 2*w - 3*d + 82 = 0. Suppose 3*l + 9 = 0, -5*j - 3*l + w = -2*l. Is 4/(3 - j) - -69 composite?
False
Let b(p) be the third derivative of 7*p**6/12 - p**5/20 + p**3/6 - p**2. Let o be b(2). Suppose -6*z + o = -3*z. Is z a composite number?
True
Suppose 13*c = 6*c + 9695. Is c composite?
True
Is (-2 - -3) + 2*186 a prime number?
True
Suppose 2*w = -2*w - 20. Let m = w - -3. Is m/2*11*-1 composite?
False
Suppose -3*u + 4*n + 1 + 1 = 0, 5*u - n - 9 = 0. Is u/11 + (-10482)/(-66) prime?
False
Let v = -8 + 10. Is 96 - 1/(-2)*v composite?
False
Suppose -2 = 2*h - 3*h. Is 14/(-21)*(-9)/h a composite number?
False
Suppose 0 = 2*h - 3*h + 3. Let z be ((-189)/(-6))/h*74. Suppose 4*f = z + 427. Is f composite?
True
Is (1 + 1168/4)/1 composite?
False
Suppose 3*w - 23 = p, -3*p + 4*p = -w + 5. Is w a prime number?
True
Let t(v) be the third derivative of v**5/15 - 5*v**4/24 + 2*v**3/3 - 5*v**2. Is t(-7) a prime number?
False
Let o = 3 - 2. Let f be -1 + 141 + (o - -1). Suppose f = 4*n - 3*b, 3*b - 3 = 3. Is n composite?
False
Let t be -2 + 54/3 + -3. Let b = t - -7. Let i = 29 - b. Is i a composite number?
True
Suppose 4*o - 1466 = 1098. Is o composite?
False
Suppose 384 = k + 3*k. Let w = 319 - k. Is w a composite number?
False
Let g(u) = -u**2 - 8*u + 8. Let n be g(-9). Let h = 6 + n. Let v(a) = a**3 - 4*a**2 + 2*a - 4. Is v(h) a composite number?
False
Let h(m) = -m**3 - 6*m**2 + 7*m - 2. Let w be h(-7). Let d(x) = -5*x**3 - x**2 + 4*x + 3. Is d(w) a prime number?
True
Let u = 823 - 468. Is u prime?
False
Let n(o) = -71*o**3 + o**2 - 7*o - 10. Is n(-3) a composite number?
True
Let s = -4 + 43. Suppose -5*p - 4*g = 50, 2*g = -4*p - g - s. Let v = -3 - p. Is v prime?
True
Let s = 3 - 2. Is (-222)/12*s*-2 composite?
False
Let v(g) = 5*g + 27. Is v(8) a prime number?
True
Let t = -2156 - -4101. Is t composite?
True
Suppose -x + 3684 = 5*x. Is x prime?
False
Let y be 18/24 - (-110)/(-8). Suppose -71 = -3*c + 5*r, -4*c + 102 + 41 = 3*r. Let t = c + y. Is t prime?
True
Suppose h + 419 = 3*l - 248, 5*h - 249 = -l. Suppose b = 2 + 1, 4*j - 4*b - l = 0. Is j composite?
False
Suppose -377 - 128 = -5*r. Suppose 5*g = r + 504. Is g prime?
False
Suppose 5*f + 4*s - 2817 = -90, -4*s - 2196 = -4*f. Is f a composite number?
False
Is (-51)/(1 - 5 - -3) a composite number?
True
Suppose -4*h + 8 = -0. Is (h - (-2 + 3))*31 a composite number?
False
Let g be 16/(-12) + (-2)/3. Let n be (-2 + -2)*1/g. Suppose -2*h = -6, -4*i - n*h = -216 - 298. Is i composite?
False
Suppose 0*f = f - 20. Suppose -6 = -h + 5*b + f, -3*b - 121 = -4*h. Suppose p - h = 48. Is p prime?
True
Let h(f) = 22*f**2 + f. Let u be h(1). Let z = u - -14. Is z composite?
False
Let t be (8/(-20))/(2/(-10)). Suppose -2*k - 3*u - 8 = 0, k - 3*k - t*u - 4 = 0. Is (-178)/(-14) - k/(-7) a prime number?
True
Suppose -3*x + 3*y = y - 71, 3 = -3*y. Suppose -4*c - 2*t = -0*c - 26, -x = -2*c + t. Let f = c - -208. Is f a composite number?
True
Let r(h) = -3*h + 7. Let v be r(-7). Let j = v + 46. Is j prime?
False
Suppose 2*b - n - 1260 = 0, -4*b = b + 5*n - 3165. Is b composite?
False
Let b(w) = 2*w**2 - 2*w + 2 - 1 + 0*w**2. Let h be b(1). Suppose d = -4 - h, 2*a - 185 = 3*d. Is a composite?
True
Let q = 19 - 12. Let j(a) = 2*a**2 - 6*a + 9. Is j(q) a prime number?
False
Let y(h) = 2*h**3 + 4*h**2 + 5*h + 7. Is y(5) prime?
False
Let d = 1 - 1. Let p = 0 - d. Suppose p = j + 2 - 33. Is j a prime number?
True
Let f(o) = o**3 - 6*o**2 + 3*o - 3. Suppose -k + 1 = -5. Let x be f(k). Suppose 8*q - 3*q = x. Is q a composite number?
False
Let k(v) = 34*v - 19. Is k(7) a prime number?
False
Let r = 926 + -619. Is r a prime number?
True
Let i(t) = 308*t**2 + t - 2. Is i(1) prime?
True
Is 1/(3/(-12)) - -275 prime?
True
Let k = -576 + 911. Is k a composite number?
True
Suppose -2*v - 1044 = 3*o, 3*o + 110 = -4*v - 940. Let p = o + 551. Is p prime?
False
Suppose 0 = 4*j - 5*d - 46, -2*j + 3*d - 76 = -7*j. Is j composite?
True
Let p(x) = 1 + 4*x**2 + 1 - 7 - x**3 + 6*x + 3*x**2. Is p(-5) a prime number?
False
Suppose 5*u - 4343 = 4*n, -2 - 10 = -4*n. Is u a prime number?
False
Suppose 8 = 2*x - 0. Suppose z - r = 46 + 76, -486 = -x*z + 2*r. Is z a composite number?
True
Suppose v = 3*b + 9682, v = -2*b - 2*b + 9647. Is v a prime number?
False
Let s = -28 + 26. Is 134/(-4)*s - 0 prime?
True
Suppose -77 + 21 = 2*o. Let x = o + 42. Is x a composite number?
True
Suppose -3*m + m + 14 = 0. Suppose -4*a = -m*a + 9. Suppose 3*x - 166 = -2*c, 2*c - 2*x - 166 = -a*x. Is c a prime number?
True
Let k be (-2)/(4/(-2)) + 80. Let f be (-4)/(-18) + (-464)/(-18). Let g = k - f. Is g composite?
True
Suppose -2*d - 3*d - 558 = 4*i, -5*i - 120 = d. Let k be d/3 + (-1)/3. Let a = -6 - k. Is a a prime number?
True
Let y(u) = 2*u**3 - 2*u**2 - 1. Let m be (-1)/((1/(-3))/1). Is y(m) a composite number?
True
Suppose -37 = -f + 5*x, -x = 5*f + 2*x - 185. Is f a composite number?
False
Let v(s) = 4*s + s**2 + 152 - 4*s - 156. Suppose -4*r - 18 = -2*r. Is v(r) composite?
True
Suppose 0 = -9*q + 4*q. Let s(t) = 5*t**3 - 2*t - 62. Let z(j) = -2*j**3 + j + 31. Let g(f) = 3*s(f) + 7*z(f). Is g(q) a prime number?
True
Suppose -3*a + 4*s + 5 = 2*s, -5*a + 5*s + 15 = 0. Let i = 0 - a. Suppose -13 = -4*b - i. Is b a composite number?
False
Let h be (-3 - -1)/(6/81). Let i = 1 - h. Suppose 5*t - i - 22 = 0. Is t composite?
True
Let d(q) = q**2 + q - 2. Suppose 0 = -2*w + 4*b - 3*b - 9, 5*w + 15 = -5*b. Let t = -1 - w. Is d(t) a composite number?
True
Let l be (-2 + 1)/(2/(-10)). Suppose -l*g = 5 - 15. Suppose 0 = 5*a + 2 - 22, -5*i = g*a - 103. Is i prime?
True
Suppose 6*u - 4 = 4*u. Suppose -l - 15 = -5*v, v - 5 = -u*l - 2. Is (-35)/(-3)*(v + 0) a composite number?
True
Let c = 1625 + 1314. Is c a prime number?
True
Suppose 0 = 2*o - 4*o. Suppose 0 = 3*i - 4 - 5, o = 4*j + 2*i - 138. Is j a prime number?
False
Let m(x) = 349*x - 7. Let f be m(10). Is f/63 + 2/(-7) prime?
False
Let o be -1*((-14 - -1) + -2). Let a be (-2*1)/((-10)/o). Is 203/a - (-4)/(-6) composite?
False
Let h = -342 + 1141. Is h a composite number?
True
Suppose -7510 = -8*j - 2*j. Is j composite?
False
Let d(s) = 5*s**2 - 25*s - 19. Is d(18) a composite number?
False
Let y(p) = p**3 + 2*p**2 - p. Let f be y(-2). Suppose 4*q - 2*r - 4 - 26 = 0, 5*q - 40 = 2*r. Suppose f*k - q = 12. Is k prime?
True
Is (-246)/(-5) + 2/(