- -17. Is ((-6)/(-9))/((-3)/k) a composite number?
True
Let f(t) = 40*t - 2. Is f(3) a composite number?
True
Suppose 6*r = r + 895. Is r prime?
True
Let q(g) = -g**3 - 5*g**2 - 3*g - 7. Is q(-6) a prime number?
True
Let b be 0 - 102/(-3) - -1. Suppose 0 = 3*v - o - 0*o - 110, 0 = -v + 2*o + b. Suppose v = -2*r + 3*r. Is r prime?
True
Suppose m = -2*p + 265, -p - 2*p = -m + 245. Is m composite?
False
Let f(x) = x**2 - 11*x + 11. Let c be f(10). Is 7 + -8 + 90*c a composite number?
False
Suppose 0 = j + 2*h - 3161, j - 1977 = 4*h + 1190. Is j prime?
True
Let h(b) be the first derivative of 3*b**3 + b**2 - 4*b - 5. Is h(-5) a prime number?
True
Let b(j) = 3*j**2 + 18*j - 22. Is b(-9) composite?
False
Suppose -m - 1285 = -2*x, 0*x + 3*x - 4*m - 1935 = 0. Is x prime?
True
Suppose 10*y + y = 4202. Is y a composite number?
True
Let v(k) = -12*k**3 + 8*k**2 + 11*k - 1. Is v(-6) a prime number?
False
Suppose 3*m = -k - 18, 80 = -5*k + 2*m - 7*m. Is ((-203)/3)/(5/k) composite?
True
Let y = 3 - 4. Is y*382/(-4)*2 a prime number?
True
Is (10/30)/(2/3018) prime?
True
Let y = 15 + -12. Suppose -15 = -5*a + 5. Suppose -y*p + 351 = -3*f, a*p + 0*f - 454 = -3*f. Is p a composite number?
True
Let o be 0 + 1 + 16/4. Suppose 10*i - o*i = -25. Let l(u) = -u**3 - 4*u**2 + 2*u. Is l(i) a prime number?
False
Suppose -4*p + 288 + 236 = 0. Is p composite?
False
Suppose -2265 = -3*j - 3*i, -4*j = -j + 4*i - 2267. Is j prime?
False
Let a(h) = -h**3 + 6*h**2 - 6*h + 6. Let y be a(6). Let t = -11 - 8. Let k = t - y. Is k a composite number?
False
Let t be 142 - (0 - 3 - -2). Suppose l - t = -5*h, 2*h - 572 = -3*l - l. Suppose -l - 94 = -3*x. Is x a composite number?
False
Suppose m = -5*h + 22101, m - 3725 - 692 = -h. Is h a composite number?
False
Let p be 16/(-6) + 2/3. Let s be 1*-1*(10 - 5). Let g = p - s. Is g prime?
True
Let c(t) = -113*t**3 - 2*t**2 - 5*t - 5. Is c(-2) a prime number?
False
Let l = 77 + 42. Is l a composite number?
True
Let c(k) = k**2 - 9*k + 15. Is c(-11) composite?
True
Suppose 4*o + o = 2*n + 8683, 2*n = -4*o + 6932. Is o prime?
False
Let w be -3*(-1)/3 - 2. Suppose -14 - 20 = -d. Let b = d + w. Is b a composite number?
True
Is (-142 + 26)*(-10)/8 a prime number?
False
Let z(j) = -j**2 + 6*j + 10. Let p be z(7). Suppose p*h - 5*c + 5 = 0, 3*h = -4*c + 3 + 1. Suppose 3*r - 2*r - 47 = h. Is r a composite number?
False
Is 3787 + (-4 - 0) + -2 - -4 composite?
True
Suppose w = 4*w - 15. Suppose 0 = -w*b - 221 + 556. Is b a prime number?
True
Let w(d) = 31*d + 36. Let u(b) = -6*b - 7. Let x(p) = 11*u(p) + 2*w(p). Is x(-6) composite?
False
Let o = 32 + -53. Is -290*(o/6 - -3) composite?
True
Let v(b) = 4*b**3 + b**2 - b + 1. Let r be (-8)/16 - (-5)/2. Is v(r) prime?
False
Let f = 1213 + 564. Is f composite?
False
Suppose -3 = -l, 2*c = -2*c - 2*l + 2298. Is c a composite number?
True
Let f(p) = 74*p - 3. Let k(t) = -4*t. Let j be k(-1). Is f(j) a composite number?
False
Let d(y) be the second derivative of y**4/12 - y**3/6 - y**2/2 + 2*y. Let n be d(-2). Suppose -34 = -o - 6*l + 9*l, -n*l + 25 = 0. Is o composite?
True
Is (3 - 10)/(1/(-47)) a composite number?
True
Let j(k) = -4*k**3 - 8*k**2 + 6*k + 11. Is j(-8) composite?
False
Let r(q) = 3*q**3 + 2*q**2 - q. Let m be r(1). Suppose m*g - 2*g = n - 189, -3*g - 194 = -n. Is n prime?
True
Let i = -1782 - -3341. Is i prime?
True
Let k(c) = c**3 + 22*c**2 + 10*c - 8. Is k(-21) prime?
True
Let b = 13 + -7. Let u = -4 + b. Suppose 0*a + 138 = u*a. Is a a composite number?
True
Suppose -5*a + 130 + 305 = 0. Let b = -50 + a. Is b a composite number?
False
Is 1518/(-4)*4/(-6) prime?
False
Let n = 1763 + -886. Is n prime?
True
Let u = 4 + -6. Let v be u/4*2*-33. Suppose v = 3*p - 6. Is p composite?
False
Suppose 2*h + 4*q = 420, -4*h + 3*q - 177 = -973. Is h prime?
False
Let j(x) = 7*x**3 - 3*x**2 - 2*x + 6. Let v be j(-5). Is ((-3)/(-3))/((-2)/v) prime?
True
Is (-994)/(-8)*8/2 a prime number?
False
Suppose -3*n - 8 = -2*n. Let v(t) = t**2 + 7*t - 4. Let h be v(n). Suppose 4*s + 193 = 3*m, 0*s - 4*s - 260 = -h*m. Is m composite?
False
Let b = -20 - -23. Suppose b*a - 103 = -0*o + 5*o, -99 = -3*a + 3*o. Is a prime?
True
Let h = -13 - -9. Let u = -2 - h. Suppose 3*j = -u*j + 415. Is j prime?
True
Let k(d) = 3*d**2 - 5*d + 11. Let o(t) = 1. Let a(x) = k(x) - 4*o(x). Is a(-6) composite?
True
Let n = 7 - 10. Let w be (3 + (-530)/3)*n. Let p = w - 358. Is p composite?
False
Suppose -2*k + 2*n - 152 = -6*k, -2*n - 172 = -5*k. Let x = 59 - k. Is x composite?
False
Suppose -2*h - 1353 = -3*b, b - 5*h - 220 - 231 = 0. Is b composite?
True
Let a(m) = m**3 + 11*m**2 + 5*m + 9. Let h be a(-6). Let x = -68 + h. Is x a prime number?
False
Let w be (-4)/6 - (-2900)/(-15). Suppose 2*q - 1931 = -5*f, 0*f - q = -3*f + 1152. Let p = w + f. Is p a prime number?
True
Let d = 222 - 116. Is d prime?
False
Let s(g) = 14 - 5 - 20*g + 4*g. Let b(k) = k**3 + 5*k**2 + 2*k + 3. Let i be b(-5). Is s(i) prime?
False
Suppose -3*k + k + 437 = 3*x, 4*k - 5*x - 907 = 0. Let l = -112 + k. Is l composite?
True
Suppose 3*h + 2*d - 185 = 4*d, 0 = -3*h - 5*d + 199. Suppose 0*g + g = -2, 5*z - 4*g = -42. Let w = h + z. Is w a composite number?
False
Suppose 27 = 3*i - 54. Suppose -26 = -2*t + 4*b, t - 3*b - i = -3*t. Let s(p) = p**3 - 2*p**2 - 2*p. Is s(t) prime?
True
Let v(w) be the third derivative of w**6/120 - 7*w**5/60 - 3*w**4/8 + 5*w**3/3 - w**2. Let m be v(8). Is (-1108)/(-20) + m/(-5) a prime number?
False
Suppose -9*o + 1575 + 387 = 0. Is o a composite number?
True
Suppose 31 - 181 = 2*u. Let s = u + 202. Is s prime?
True
Suppose 5*t - 119 = 1946. Is t composite?
True
Let r(g) = 22*g**2 + g - 3. Is r(4) prime?
True
Is (-4)/(40/(-75))*244/6 composite?
True
Let v = 15 - 6. Let a = 128 - v. Is a a prime number?
False
Let i(j) = 7*j**2 - 8*j - 11. Is i(8) prime?
True
Let z = 6 + -6. Suppose 4*v - 7*v + 111 = z. Is v composite?
False
Let g(n) = -n**2 - 2*n + 4. Let u be g(-3). Is (u - 4)*(-602)/6 prime?
False
Let k(n) = n**3 + 7*n**2 - 9*n - 6. Let m be k(-8). Let l = m + 2. Is l composite?
True
Let x be -3*10*31/(-6). Let u = x - 66. Is u composite?
False
Is ((-7555)/10)/(2/(-1*4)) a composite number?
False
Is (-4)/(((-6)/3)/1) - -569 a prime number?
True
Suppose 7*a - 152 - 2326 = 0. Let w be 2/(-7) + 3744/21. Suppose 4*g = w + a. Is g composite?
True
Let p be 6/14 + 39852/63. Suppose -n + p = 2*n. Is n a composite number?
False
Let w(h) = -12*h - 10. Let i be w(-8). Suppose -2*z = 4*u - 333 + 111, 2*u - z - 109 = 0. Let p = i - u. Is p composite?
False
Let w(c) = c**2 + 5*c + 5. Let x be w(-5). Let u(n) = 53*n + 2. Is u(x) prime?
False
Is 46455/76 + 1/(-4) prime?
False
Let k be 128*(-7)/(21/(-6)). Suppose 2*f + 2*j + 73 = 3*f, -4*j = 4*f - k. Is f prime?
True
Let p(f) = 2*f - 5. Let g be p(-5). Let c = g + 5. Is (c/(-8))/((-5)/(-220)) a composite number?
True
Is ((-1784)/(-10))/((-16)/(-40)) a prime number?
False
Let x be 2/(-3)*9/2. Let f be -113*6/x - 3. Is f/2*6/3 a prime number?
True
Let x(q) = 3*q**2 + 11*q + 7. Is x(-7) a prime number?
False
Let z(o) = o**3 - 6*o**2 - 4*o - 7. Let c = 15 + -8. Is z(c) a composite number?
True
Let o = 9 - -44. Let i be 87/(-3) + (1 - 4). Let b = o + i. Is b a composite number?
True
Let d(n) = -3*n**3 + 6*n**3 + 0*n + 1 + n**2 - 2*n. Let o be d(1). Let x(q) = 18*q - 3. Is x(o) prime?
False
Suppose -2*i = m - 26, 5*m + i - 122 = -i. Let d = 75 - m. Is d prime?
False
Suppose -11 = -0*t - t. Is 1 - (t*14)/(-1) a composite number?
True
Let o(p) = 15*p**2 - 8*p - 13. Is o(-4) a composite number?
True
Suppose 15 = 8*n - 3*n, 5*n = 5*c - 205. Suppose -c = -0*g - 4*g. Let t = g + -9. Is t a composite number?
False
Let y = 7226 + -3927. Is y prime?
True
Suppose 3*h = 2*i - 62, 2*h + 29 = i - 4. Is i a prime number?
False
Let g(v) = v**2 - 2*v - 1. Let p(q) = -q**2 + 6*q + 5. Let z be p(7). Is g(z) a composite number?
False
Let z = 122 - -129. Is z composite?
False
Let c = 11 - 8. Let m be (2 - c)*79*-5. Suppose -m = -9*x + 4*x. Is x prime?
True
Let f(y) = -y + 2. Let d be f(6). Let t(j) = -4*j - 8*j + 5 - 10*j. Is t(d) a prime number?
False
Let q(u) be the second derivative of u**4/6 - u**3 + 5*u**2/2 - 5*u. Is q(5) a composite number?
True
Let c be (4 - 2) + 2 - 2. Suppose 0*a + c*a - 38 = 0. Suppose 2*n + 5*