176)/(-5) + 2/f prime?
False
Suppose -42863 = -4*p + 3845. Is p a composite number?
False
Let b(q) be the first derivative of 0 + q - 1 - 9*q**2 + 2*q. Is b(-3) a prime number?
False
Let f = 463 - 252. Is f a composite number?
False
Suppose -2*a = -5*a + 6. Let x(t) = 8*t**3 - t**2 - t + 1. Is x(a) a composite number?
False
Suppose -3*y - 1876 = -7*y. Is y composite?
True
Let o be (3 - 8/3)*699. Suppose 0 = f + 5*h - o + 64, -4*f - 4*h + 644 = 0. Is f a prime number?
False
Is (-1 + 2)*(150 + 7) a prime number?
True
Suppose -5*c = -15, -10 - 13 = -y + 5*c. Is y a prime number?
False
Is (115/20)/((-1)/(-8)) composite?
True
Suppose -3*y + 2 = -y. Suppose -k + y = 0, 50 = -2*l + 3*l + k. Is l composite?
True
Suppose -4*z = -5*m - 28, -2*z + m + 6 = -z. Suppose 5*k + 5 = -z*p - 14, -4*p - 14 = 2*k. Is (p - -220) + (3 - 6) composite?
True
Let l(g) be the first derivative of 5*g**4/8 - 5*g**3/6 - g**2 - 3. Let u(d) be the second derivative of l(d). Is u(10) a prime number?
False
Let n(c) = c**2 - 1. Let f(z) = z**3 - 4*z**2 - z + 6. Let i(h) = -f(h) - 5*n(h). Let b be i(0). Is (-573)/(6/2)*b prime?
True
Let q(c) = -3*c + 7. Is q(-8) prime?
True
Let g be (-1 - 0)*24/(-8). Suppose 2*w = 10 + 2. Suppose -w*x - g*c + 348 = -3*x, 5*x = c + 598. Is x a prime number?
False
Suppose 0 = t - 3*t - y + 1, 0 = -5*t - 4*y + 7. Is 1*(t + 1) - -19 prime?
True
Let c = 16 + -22. Let v(f) = -34*f - 3. Let h be v(c). Suppose h = m + 2*m. Is m a composite number?
False
Suppose 3*k = -3*a + 1614, -a + 538 = k + a. Suppose -3*r + 3*j = -1455, -j - k - 432 = -2*r. Is r prime?
False
Let h(o) = o + 13. Let u be h(-9). Is 3/(u*(-2)/(-16)) composite?
True
Suppose -3*x + 1387 = 424. Is x a prime number?
False
Let m = 2 + 1. Suppose 0 = m*j - 4*j + 127. Is j prime?
True
Let s = 101 - -1080. Is s a prime number?
True
Let n be (-6)/9*(-6)/(-4). Let o(k) be the third derivative of -7*k**6/120 - k**5/60 - k**4/24 - 2*k**2. Is o(n) a prime number?
True
Suppose -2*w + 13*w - 14707 = 0. Is w composite?
True
Suppose -2*h - 58 + 318 = 0. Suppose -h = -n - 37. Is n a prime number?
False
Suppose -37 = -2*f + 5*g, -5*g - 20 = -g. Is (16/10)/(f/15) a prime number?
False
Suppose 7 + 5 = 4*n. Suppose -n*d + 8*d = -4*t + 1061, 4*t = d + 1031. Is t a prime number?
False
Let d(f) = -f + 4. Let c be d(7). Let m = 6 + c. Suppose m*u - 7 = 56. Is u a prime number?
False
Suppose 0 = -4*h + 7*h - 12. Suppose -5*f + h*f + 95 = 0. Is f a prime number?
False
Let n = -5240 - -9183. Is n a composite number?
False
Let r be 82 + -4 + 4 + 1. Suppose -d = -32 - r. Is d a composite number?
True
Let f = 677 + -303. Suppose f + 581 = 5*v. Is v a composite number?
False
Suppose 4*s - 5 - 3 = 0. Is ((3 + -31)/(-1))/s a composite number?
True
Suppose 21 = -5*w + 56. Suppose 2*v + 395 = w*v. Is v composite?
False
Suppose 0 = 4*g + g - 80. Suppose 0 = 2*q - 42 + g. Is q prime?
True
Let m(g) be the second derivative of g**3/6 + g**2/2 + g. Let n be m(4). Suppose -165 = -n*x - 40. Is x a composite number?
True
Let l = 512 + -301. Is l a prime number?
True
Is (4 + 51/(-12))*-35444 a prime number?
True
Suppose 13*f - 9445 = 8*f. Is f a prime number?
True
Suppose -3*a + 12 = a. Suppose -a*x = -4*u + 752, -u - x - 569 = -4*u. Is u a composite number?
False
Let a(j) be the first derivative of -5*j**4/4 - 7*j**3/3 + 2*j**2 - 7*j + 1. Is a(-6) a prime number?
True
Suppose 5 = 2*n - 1. Suppose -n*v + 3*h + 62 = -46, -3 = -h. Is v a composite number?
True
Suppose 2217 + 2738 = 5*l. Is l prime?
True
Is 12/(-6) + (-1 - -290) a prime number?
False
Let x(g) = -g**2 + 2*g + 223. Is x(0) prime?
True
Suppose -2*b = -b - 1259. Is b a composite number?
False
Let p be (-5)/(10/(-92))*1. Let u = p + 133. Is u composite?
False
Is 2/11 + 1281/33 a prime number?
False
Suppose s - 3*s - 2 = 0, 2*s = -3*i + 784. Is i composite?
True
Suppose -4*a + 228 = -3*a. Suppose 5*d - 17 = 4*p - a, 2*d = -6. Suppose -3*b - 7 = -p. Is b a composite number?
True
Is 3 + (6/4)/(21/23884) a prime number?
True
Let a(b) = -2*b - 8. Let f be a(-9). Is (-2)/f - 2980/(-25) prime?
False
Let p(o) be the second derivative of 103*o**5/120 - o**4/8 + 5*o**3/6 + 3*o. Let m(g) be the second derivative of p(g). Is m(4) a composite number?
False
Is (-223)/((-1)/((-1)/(-1))) a prime number?
True
Is ((-14)/(-4))/(-7)*-1942 composite?
False
Suppose -h - 4*l = 234, 2*l - 744 = 6*h - 3*h. Let b = h - -367. Is b prime?
False
Let x(n) = n**2 - 6*n + 7. Let c be x(6). Let z = 11 - c. Suppose -t + 2 = 3*b, -4*t + b + 8 = -z*b. Is t composite?
False
Let o(u) be the third derivative of -u**4/8 + 13*u**3/6 - 2*u**2. Let x be o(11). Let b = x + 55. Is b a prime number?
False
Let k(y) = -2*y**3 - 18*y**2 - 15*y - 9. Is k(-10) a prime number?
False
Suppose 34 = r - 8. Let d be 16/24*r/4. Suppose -d*h + 665 = -2*h. Is h composite?
True
Suppose 8*z - 20 = 3*z. Let f = 1 + 2. Suppose 0 = z*w + d - 160, -d + 105 = f*w - 4*d. Is w a composite number?
True
Let p(m) = 348*m - 1. Is p(3) a prime number?
False
Let q(m) = -4*m**2 + 8*m - 10. Let o(l) = 5*l**2 - 8*l + 11. Let t(j) = -5*o(j) - 6*q(j). Let x be t(-6). Is 0 + x + 9/(-3) a composite number?
True
Suppose 0 = -4*p - 6 + 22. Suppose -4*m + p = -4. Suppose 0 = 4*c + 4*w + w - 356, 5*w = -m*c + 178. Is c a composite number?
False
Suppose 4*j + j = 0. Suppose j*p + 3*p - 237 = 0. Is p prime?
True
Let c be 1430 + 3/(-2)*2. Suppose b = 4*y - 1202, 3*y - 5*b - c + 534 = 0. Is y composite?
True
Let r = 28 + -51. Let o = r - -16. Let w = o - -20. Is w a prime number?
True
Suppose -4*y + 2*y = 3*s - 13, 2*s + 3*y = 7. Suppose s*k + 285 = -5*z + 1815, -302 = -z - 5*k. Is z prime?
True
Suppose 2*z - c - 32 = 0, -3 + 83 = 5*z - 5*c. Suppose -v = -z - 15. Is v composite?
False
Let g(o) = o**3 + 5*o**2 + 6*o + 3. Let r be g(-3). Suppose 7 = y + 4*y + 4*j, -r*y = -j - 11. Is y composite?
False
Let p = 5591 + -2958. Is p prime?
True
Let j be (-1)/(-4) + (-35)/(-20). Is (j/3)/(4/894) a composite number?
False
Let c = 538 - 351. Is c a composite number?
True
Suppose 0 = -3*b + o + 2394, 3*b - 3182 = -b - 2*o. Is b composite?
False
Let w(y) = -y**2 + 11*y - 13. Let z be w(10). Is 53/(z - (1 - 5)) a prime number?
True
Let u = 1 + 3. Suppose 2*p = 4*w - 10, 2*w + u*p - 2*p - 8 = 0. Suppose 5*m = 3*h + 262, w*m + 6*h - 163 = 2*h. Is m prime?
True
Let j be 1*-2 + 1 + 2. Is 72 + -3 - j*-2 composite?
False
Let z = 973 + -468. Is z composite?
True
Suppose -3*l - 123 = 4*h + 608, 0 = -l - 4*h - 249. Let v = l - -432. Is v prime?
True
Let z(w) = 2 + 3 + 0 - w - 4. Let f(t) = -t**2 - 5*t + 213. Let h(o) = f(o) - 4*z(o). Is h(0) a composite number?
True
Let c(n) = 8*n**2 + 3*n - 3. Suppose 4 = 2*s - 4. Suppose 4*d = -s*p - 12, 13 = -0*p + 4*p - d. Is c(p) a composite number?
True
Let p(t) = 3*t**2 - t - 8. Is p(-6) prime?
False
Let x(h) = -6*h + h**3 + 2 + 5*h - 3*h**2 + 4*h**2. Suppose 4*u - 2*u + 3 = -v, 0 = 3*v + 3*u. Is x(v) composite?
True
Let w = 488 + -325. Let k = 107 - 40. Suppose w = 5*n + 4*o, n + o = -n + k. Is n prime?
False
Suppose 2*t + 3*g = 2285, 0 = 2*t + 5*g - 163 - 2116. Is t composite?
True
Let p(d) be the third derivative of -d**6/120 + d**5/6 + d**4/12 + 7*d**3/3 - 8*d**2. Is p(10) a composite number?
True
Suppose 0 = 2*f + i + 3, f - 2*i = -4*f + 6. Suppose f = -2*l - l + 663. Is l a prime number?
False
Suppose -2*y + 13251 = y. Is y prime?
False
Let s = 255 + -128. Is s composite?
False
Let u(l) = 2*l - 3. Let h be u(3). Let z(c) = 3*c**3 - 4*c. Is z(h) prime?
False
Suppose -5*i = -w + 25, -5*w = -5*i - 28 - 17. Suppose -w*q + 312 + 133 = 0. Is q a prime number?
True
Let c = 295 + 996. Is c a composite number?
False
Is 3 + 0/(-1) - -1652 prime?
False
Suppose -4*v = -a - 4*a + 107, 2*a + v - 35 = 0. Suppose -2*g + 93 + a = 0. Is g + -1*(0 - -1) composite?
True
Let c = -7 + 11. Suppose 2*l + 1777 = 5*i, -694 = -2*i + c*l + l. Suppose -i = w - 4*w. Is w composite?
True
Let k = 186 + -40. Is k a prime number?
False
Suppose 15*w - 75925 = -10*w. Is w a prime number?
True
Is 21/(-3)*(0 + -23) prime?
False
Is (-631)/(-1)*(10 + -9) a composite number?
False
Let o = -233 + 352. Is o a composite number?
True
Suppose -2*k = -51 - 347. Suppose 144 = -3*q + 5*q. Let o = k - q. Is o a composite number?
False
Let y be (-2)/2 - (-4 - -1). Let k(q) = 61*q**