r?
False
Let x = -86 - -325. Is x composite?
False
Suppose -2 = -n - 0. Suppose -n*f + 25 = 3*f. Is (-194)/(-10) + (-2)/f a prime number?
True
Suppose 5*t = 3*t - 16. Let k(a) = -a - 4. Let m be k(t). Suppose 1 = m*z - 59. Is z a prime number?
False
Is -3 + 232 + -2 + -4 prime?
True
Let m be (-6)/(-5)*(-40)/(-12). Suppose -o - 54 = -m*o. Suppose 0*x - 4*f = -x + o, 3*x - 3*f = 27. Is x composite?
True
Suppose -2*c - 6 = -2*b, 19 = -3*c - 0*b + b. Let z(j) = -j**3 - 7*j**2 + 5*j + 9. Let y be z(c). Suppose h + 2*h = y. Is h a prime number?
True
Suppose -4540 = 3*w + 2*w. Is w/(-8) + (-9)/(-6) a prime number?
False
Let i(o) = -o**3 + 9*o**2 - 9*o + 5. Let d be i(8). Let j(u) = 17*u**2 + 3*u - 3. Is j(d) a prime number?
False
Let b = -6 - -65. Is b prime?
True
Let n(m) = m + 3. Let c be n(0). Suppose -j - k = -c*k + 8, -4*j - 5*k + 33 = 0. Is 113*(3 - j) + 2 a composite number?
True
Let l be (121 - (0 + 3)) + 3. Let n = -84 + l. Is n composite?
False
Let h(v) = -v**3 - 4*v**2 - 3*v. Let q be h(-3). Suppose -3*x = s - 1401, q = 2*x + 3*s - 666 - 268. Is x a prime number?
True
Let w(n) be the second derivative of -19*n**4/12 + n**3/6 - n. Let v be w(2). Let h = -35 - v. Is h a prime number?
False
Suppose 2*w = 5*o - 16, 4*w + w = -5*o + 30. Suppose q = -o*g + 265, 2*g + 2*q = -3*g + 335. Is g composite?
True
Let o = -222 + 431. Is o composite?
True
Let f(v) = -v**3 - 3*v**2 + 11*v - 6. Is f(-9) prime?
False
Let d = -112 - -235. Suppose -4*p - 4*q + 5 = -d, -2*p + 67 = 3*q. Let a = p + 134. Is a composite?
False
Suppose 535 + 759 = 4*s - q, -313 = -s - 5*q. Is s a composite number?
True
Suppose 64 + 411 = -5*i. Let k = 400 + i. Is k composite?
True
Let t = -614 + 370. Let g = t - -507. Is g a prime number?
True
Suppose 0 = -z + 4 - 6. Is (-4)/z - 954/(-6) a prime number?
False
Let x(q) = -1 + 5*q + 0 + 21*q. Let t be x(1). Suppose 0 = r - 3*r - 6, -4*r - t = -z. Is z a composite number?
False
Suppose 20*h = 23*h - 381. Is h composite?
False
Let z(p) = 6*p**2 + 25*p - 6. Is z(-13) a prime number?
True
Is -1*1*(15 + -34) composite?
False
Is (-1786)/(-8) + (-1)/4 a prime number?
True
Let f = -169 - -481. Suppose -4*t + 1028 = f. Suppose -4*z - 81 = -x, 4*x - z - 130 = t. Is x prime?
False
Let i = 108 + -71. Is i composite?
False
Suppose -2*l + 3*q - 4*q = -173, 4*q = -2*l + 170. Is l prime?
False
Let r be (-6)/1 - (6 + -3). Let f = 3 - 1. Is f/r - 87/(-27) a prime number?
True
Let u(f) be the second derivative of 73*f**3/6 - 3*f**2/2 + 3*f. Let r be u(4). Suppose 2*d - 4*q - r = -3*d, d - 54 = -3*q. Is d a prime number?
False
Suppose o = -4*o - 3*g + 23, -2*o + 18 = -g. Let x = 1 + o. Suppose -2*z = -x - 66. Is z composite?
False
Is (1 - (-8)/(-6))*-159 prime?
True
Suppose -10 = -4*q + 10. Suppose -2*w - 4*s - 21 - 19 = 0, q*s + 44 = -2*w. Is (1 - w) + (-2 - -3) a prime number?
False
Let f(h) = -h**2 + h + 8. Let b be f(0). Let l be 316/6*(b + -11). Is l/(-2) + 2 + 2 a composite number?
False
Suppose 0 = 5*t - 2*t - 489. Is t a composite number?
False
Let l(x) = 5*x - 4. Let t = -14 + 21. Is l(t) a composite number?
False
Let k(n) = n + 7. Let w be k(-5). Suppose -w*a - 4*l = -108, 2*a - 4*l = -l + 136. Is a a prime number?
False
Let c be (-6 + 2)*3 + 2. Is 12/c*170/(-4) a prime number?
False
Let w = 28 - -127. Is w a composite number?
True
Suppose 0 = 3*m + 4*w - 7*w - 1722, 0 = -3*m + 4*w + 1725. Is m composite?
False
Let n(p) = -p**3 - 6*p**2 + 3. Suppose -5*r - y = -0*y + 31, y - 11 = 2*r. Is n(r) a prime number?
True
Suppose -2*r - 3*d = -311, 5*r - 765 = -7*d + 2*d. Let s = r - 61. Is s composite?
True
Suppose -5*q = 3*i - 5, 4*q + i - 3*i - 26 = 0. Let m be -2 - -3 - (-4 - 351). Suppose -8*f + m = -q*f. Is f composite?
False
Suppose 0 = 6*u - 2*u - 664. Suppose -5*l - 3*q = -u, 0 = -4*l + 3*l - q + 32. Is l a prime number?
False
Let z(n) = -n**3 - 4*n**2 + 9*n + 1. Let k be z(-6). Let l = k + 130. Is l a prime number?
True
Let j = -2 - -3. Let s(v) = 11 + 14*v - 12 + 4*v - 2*v. Is s(j) a prime number?
False
Let x = 861 - 596. Is x a prime number?
False
Let y = 15 - 10. Let l(c) = 18*c - 3. Is l(y) composite?
True
Suppose -5*n + 1045 = 5*p, 0 = -4*p + 2*n + 458 + 402. Is (-3)/12 + p/4 a prime number?
True
Is (-4)/10 + 1784/10 composite?
True
Let l = 188 + 161. Let u = -10 + l. Is u a prime number?
False
Suppose 0 = 7*s - 3*s - 1004. Is s prime?
True
Let p(x) = -53*x**3 - x**2 + x + 1. Is p(-2) a composite number?
False
Let d(v) = 10*v**3 - 4*v**2 + 12*v + 11. Is d(6) a composite number?
False
Suppose 3*y + 0*y = -36. Let l be (y/15)/(1/(-10)). Let d = l - 6. Is d composite?
False
Let v(u) = -12*u - 7. Suppose 0 = -4*b - 2*q + 48, 36 = 2*b - 10*q + 5*q. Suppose 4*k + b = -11. Is v(k) composite?
True
Suppose 0 = -0*a + 5*a + 15, 0 = -3*n - 2*a + 15. Let z(w) = 2*w - 9. Let j be z(n). Let b(r) = 2*r**2 + r - 2. Is b(j) a composite number?
False
Suppose -5*a = -3*s + 162, 44 = 2*s - 3*a - 65. Is s a prime number?
True
Let o be -1 + 17 + -2 + 0. Let c(w) = 11*w - 15. Is c(o) composite?
False
Let c be 1355 + 0/1 + 1. Suppose 3*s - c = -3*w, 3*w + 0*w = 3*s - 1338. Is s prime?
True
Let h = 25 - 10. Suppose 0 = -3*j, -3*j + 2*j + h = u. Is u a composite number?
True
Suppose -r + 3*r + 6 = i, -3*i + 8 = 4*r. Suppose -8680 = -2*c - 6*c. Suppose x - c = -i*x. Is x prime?
False
Is 10256/(-24)*3/(-2) a composite number?
False
Suppose -11 = r + 3. Is -14*(-2 - r/(-4)) composite?
True
Suppose 0 = -h - h + 10. Let n(t) = 2*t**2 + 2*t - 7. Is n(h) a composite number?
False
Let y = 138 - -1. Is y composite?
False
Suppose 5*v + 413 = 4*j + 1, 0 = -3*j + 9. Let a = 21 + v. Is (0 - a)*(4 - 3) prime?
True
Is (-12)/(5 - -1)*(-191)/2 composite?
False
Is (-3579*1/9)/(1/(-3)) composite?
False
Suppose -11 + 1 = -5*q. Suppose -q*a + 77 = -161. Is a composite?
True
Suppose -9*z = 9*z - 17838. Is z composite?
False
Let m = 6 + 30. Let v = m + 30. Suppose v = 2*t - 32. Is t prime?
False
Let g(a) be the second derivative of a**5/20 - 5*a**4/12 + 2*a**3/3 - 5*a**2/2 + a. Is g(5) a prime number?
False
Let o(p) = 2*p**2 + 2*p - 5. Let l be 2/(-8) - 125/(-20). Is o(l) prime?
True
Let s(d) = 52*d + 31. Is s(9) composite?
False
Suppose -1 = 5*r - 36. Let q(p) be the second derivative of -p**5/20 + 7*p**4/12 + 5*p**3/6 + p**2 - 4*p. Is q(r) prime?
True
Let b = 9 - 4. Suppose -b*s - 44 = -244. Let r = s - 7. Is r a composite number?
True
Let c be (2 + -1 + 242)*1. Suppose -a + x = a - 169, -3*a + c = 2*x. Is a composite?
False
Let f be 8/5*(-10)/(-4). Let d(c) = c**2 + 4*c + 5. Is d(f) prime?
True
Let n(m) = m**3 + m**2 - m - 1. Suppose -d - 1 = -0. Let w(g) = -5*g**3 - 14*g**2 + 11*g - 2. Let x(p) = d*w(p) - 6*n(p). Is x(7) composite?
True
Let s = 538 + -65. Is s a prime number?
False
Suppose 0 = -3*m + 6 - 0, 0 = -4*i + 3*m - 10. Is (-12 - i)*-5 + 0 a prime number?
False
Suppose 18 = 5*a + w, -5*w + 2 = 3*a - 0. Suppose -4*d - 2 = -2*x + 16, d - a*x + 1 = 0. Let h(n) = 14*n**2 + 3*n + 6. Is h(d) a composite number?
True
Let o(r) = 24*r**2 + r + 4. Let d(k) = -24*k**2 - k - 5. Let c(b) = 4*d(b) + 5*o(b). Let f be (1*2/2)/(-1). Is c(f) a prime number?
True
Let v be (1/3)/(2/18). Let g(u) = 2*u**2 - u**3 + 3*u**2 - 3 + 4*u**2 + v*u. Is g(8) a prime number?
False
Suppose 5*f - 1634 = -2*d - 2*d, 0 = 5*d + 5*f - 2045. Is d a composite number?
True
Let n(u) = u**3 - 3*u**2 - 2*u - 5. Let g be n(4). Suppose g*h - 438 = -3. Is h composite?
True
Is (818/(-4))/(12/(-24)) a prime number?
True
Let w(x) = -x**2 - 4*x. Let i be w(-3). Suppose 3*f = -4*p + 4, -2*p + i*p = 2*f + 12. Suppose -p*n + 249 = -395. Is n a composite number?
True
Suppose -3*r - 2*u + 10 = 0, 4*u - 14 = -2*r + 6. Let b = r - -15. Is b prime?
False
Suppose 1551 = 3*j - 2205. Suppose j = 4*t - 0*t + 4*p, 2*t - 591 = 5*p. Suppose 0 = -v + 5*v - t. Is v prime?
False
Suppose 2*s = 7*s - 20. Is (-996)/(-8)*s/6 a composite number?
False
Let j(r) = 4*r**2 - 15*r - 13. Is j(-12) composite?
False
Suppose -7*g + 4*g = -681. Suppose 0 = z + 4, -z + 5*z + g = m. Is m prime?
True
Let t(h) = -h**3 - 3. Let k be t(-4). Let a = k + 142. Is a composite?
True
Let n = -6 - -11. Suppose 0 = -n*z + z + 268. Is z a prime number?
True
Suppose -6*g + 84 + 42 = 0. Is g a composite number?
True
Let l(d) = -9*d - 8. Let g(z) = 9*z + 7. Let m(c) = 