r?
False
Let p(b) = -b**2 - 7*b - 1. Let z = -19 + 13. Let t be p(z). Suppose -3*q - 6 = 2*l + 2*q, -3*q + 23 = t*l. Is l a composite number?
False
Let s = 2 - 1. Is (-6)/(-12)*(s + 525) a prime number?
True
Let p(y) = y**3 + 1. Let h be p(1). Let c = h + 1. Let n(u) = u**3 + u**2 - 2*u + 3. Is n(c) prime?
False
Is 57/2*2/3 prime?
True
Suppose -87 + 36 = -h. Is h composite?
True
Suppose 7 = 4*w - 13. Suppose -5*d + 253 = 4*k - 378, w*k + d = 794. Suppose -4*p + k = -53. Is p composite?
False
Let p be ((-4)/(-12))/(1/9). Suppose p*n - 6 = 12. Is n/4*114/9 composite?
False
Let v(i) be the third derivative of i**5/60 + 5*i**4/24 + i**3/2 - 3*i**2. Let u be v(-4). Is 1*u*127/(-1) composite?
False
Suppose 4*j - j - 9 = 0. Suppose -j*m = 5*w + m - 917, m - 183 = -w. Is w composite?
True
Suppose 0 = -0*f + 2*f - 970. Is f composite?
True
Let a(d) be the first derivative of -3*d**4/2 + 4*d**3/3 - 3*d**2 + 6*d + 2. Let t(v) = 6*v**3 - 5*v**2 + 7*v - 7. Let g(n) = -6*a(n) - 5*t(n). Is g(2) prime?
True
Is 2/((6/267)/1) prime?
True
Let z be 34/(-4) + (-5)/10. Is 74/6 + (-6)/z a composite number?
False
Suppose u - 5*a = -a + 25, -5*u + 3*a + 40 = 0. Suppose -5*g + 30 = -3*n + 2*n, 2*g - u*n = -11. Suppose 2*m - g*m + 445 = 0. Is m a composite number?
False
Suppose -2*m - p = -4*p - 2513, 0 = 3*m + 3*p - 3732. Is m composite?
False
Let w(j) = -20*j - 2. Let g be w(-4). Suppose -2*z + g = -36. Is z composite?
True
Suppose 3*l = 2*l + 53. Is l prime?
True
Let z = 8 - 5. Suppose 0 = p + z - 6. Is p a prime number?
True
Suppose -2*r - 76 = -3*j, -2*j + 4 = -j. Let b be ((-1)/(-2))/((-4)/r). Suppose b*w - 31 = -3*a - w, -4*w + 24 = 2*a. Is a a composite number?
False
Let t(k) = -k**3 - 8*k**2 - k - 9. Let i be t(-8). Is (0 - -6)/(1 - i) prime?
True
Suppose w - 2*t - 85 = 0, w = -2*w - t + 234. Is w composite?
False
Suppose -3*p - 5*n - 1 = 1, 0 = -p - 3*n - 2. Is p + (0 - 3) + 225 composite?
False
Let o(z) = -z**2 + 7*z - 7. Let p be o(5). Suppose 3*y - c - 179 = 175, 4*y = p*c + 467. Is y a composite number?
True
Suppose 2*v - 5656 = 3*b - b, b = 3*v - 8482. Is v prime?
False
Suppose 13*y - 364 = 9*y. Is y a prime number?
False
Let y(t) = t**2 - 4*t - 10. Let f be y(8). Let q(a) = 2 + f*a**2 + 1 - 2*a - 2 - a**2. Is q(-2) prime?
True
Suppose 0 = -3*x - 27 + 9. Let m be (-3)/((-3)/(-2))*-2. Is (1*x)/(-3) + m a composite number?
True
Let o = 439 - -10. Is o a prime number?
True
Let l(o) = o**3 + o**2 - o + 59. Is l(0) prime?
True
Let d = 3 + 0. Suppose 0 = -f - 0 + d. Let s = f - -7. Is s composite?
True
Suppose 0 = 2*c + 3*b - 362, -5*c + 3*b = -953 + 6. Is c prime?
False
Suppose 70 - 7 = z + 5*a, -419 = -5*z + a. Is z composite?
False
Let q = 17 + -6. Suppose -z - 2*m + 4*m = -q, z - m - 12 = 0. Is z a composite number?
False
Let x = -172 + 362. Suppose 3*j + z = 2*j + x, -j + 4*z + 195 = 0. Is j composite?
False
Suppose g - 441 = -2*g. Let x = -62 + g. Is x a prime number?
False
Let x = 19 - 6. Let l be (3 + -1)*x/2. Suppose 5*t = 2 + l. Is t a prime number?
True
Suppose -2*u = -5*u + 492. Let l = -72 - 9. Let o = u + l. Is o composite?
False
Suppose f + 3 = 0, 5*q + 29 = 2*f + 1410. Suppose 0 = 5*z - 0*z - q. Is z a composite number?
True
Suppose 3*t - 3 = 0, 0 = -2*n + 3*t + 2*t + 11. Let l = 13 + 25. Suppose -3*o + w + 37 = 0, n - l = -2*o + 2*w. Is o composite?
False
Is ((-6)/(-18)*3)/((-2)/(-874)) prime?
False
Let x = 5 - 4. Is (-1 - x) + 1 + 54 a composite number?
False
Let n(y) be the second derivative of -y**5/20 - y**4/4 + y**2/2 - y. Let t be n(-4). Suppose 5*d - 438 = t. Is d composite?
True
Let z = 50 - 27. Suppose -5*n + 4*i = 40 + 46, -4*n - i - 52 = 0. Let r = n + z. Is r prime?
False
Suppose -3*z = -2*z - 1. Let r be 2/(-7) + 74/14. Suppose -z = -p + r. Is p a composite number?
True
Suppose 0 = a - 0*t + 2*t - 4, 0 = -2*a + t + 8. Suppose 2*r + h + 2 - 11 = 0, a*r - 3*h - 13 = 0. Let c = r - 0. Is c a prime number?
False
Let i(a) = -3*a**3 + a**2 + 5*a + 19. Let u(b) = -2*b**3 + 2*b + 10. Let t(f) = -3*i(f) + 5*u(f). Is t(-10) composite?
False
Let k be (8/(-10))/((-4)/10). Suppose -k*x = 5 + 3. Is ((-6)/x)/3*254 a composite number?
False
Let a(v) = -v**2 + 4*v + 7. Let p be a(6). Let h = p + 8. Suppose -4*x + 47 = -h*x. Is x a prime number?
True
Suppose d - 502 = -o, d - 782 = -5*o + 1716. Is o a composite number?
False
Let n(l) = -3*l - 1. Let c be n(-1). Suppose -c*r + 11 = 2*p + 3*p, 0 = -p - r + 1. Is p*2*(-238)/(-12) prime?
False
Suppose 7*c - 15 = 2*c. Suppose -18 = c*a - 6*a. Is 182/a - 8/(-12) prime?
True
Suppose d = 1452 - 72. Suppose -f + d = f. Is (-1)/(-3) + f/9 composite?
True
Suppose -3*x + 139 + 20 = 0. Let a(j) = -j**2 - 4*j + 9. Let s be a(-5). Suppose -s*r = -83 - x. Is r a prime number?
False
Let m(o) = 2*o**2 + o - 7. Let f(b) = 4*b + 2. Let x be f(-2). Is m(x) composite?
False
Suppose f = -386 + 2107. Is f prime?
True
Suppose 5*j - 100 = 5*p, -5*j + 11 = 4*p - 116. Is j composite?
False
Let u be 1*(147 + 2)/1. Suppose 2*k + 57 = u. Is (k/6)/(2/6) composite?
False
Let y be 3 + 2/(-4)*-4. Let w be 6*((-12)/(-9) - 1). Let i = y + w. Is i composite?
False
Let t = -21 - -48. Suppose 3*w + 2*w = -3*g + t, g - 1 = w. Suppose -5*z - w*c + 1071 = 0, c - 1073 = -5*z - 3*c. Is z a prime number?
False
Let o = -180 - -275. Suppose 0 = -3*a - a. Suppose a = t + 4*t - o. Is t prime?
True
Let k be -4 + (3 - 1) + -1. Let v(z) = -27*z + 15. Let g(u) = 9*u - 5. Let q(x) = k*v(x) - 8*g(x). Is q(4) a composite number?
False
Let m(j) = j**3 - j**2 - j + 100. Suppose 4*q - 8*q = 0. Let w be m(q). Let x = w + -47. Is x a composite number?
False
Is (29693/(-69))/(2/(-6)) a composite number?
False
Let q(j) = -4*j**2 + 2*j**2 + 3*j + 3*j**2 + 2. Let x be q(-5). Suppose -3*p = 0, 4*t - x = t + 2*p. Is t a composite number?
True
Let k(h) = 3 - 24*h + 3 + 0. Let z be k(-8). Suppose 4*i - 110 = z. Is i a composite number?
True
Suppose -4*r = -2*r - 4. Let m = r - 4. Let w(f) = -2*f**3 + 2*f**2 - 2*f - 3. Is w(m) prime?
False
Let c be (-3)/4 - (-1027)/4. Suppose 540 = 4*f - c. Is f prime?
True
Let l(s) = s**2 + 5*s - 5. Let b = 0 + 4. Is l(b) a prime number?
True
Let y(w) = w + 13. Let u be y(-8). Suppose 3*g = -2*n + 160, 4*n - 93 = 3*n + u*g. Is n prime?
True
Let u = 9 - 9. Suppose -3*n + 0*n + 291 = u. Is n prime?
True
Let j = 5206 + -3575. Is j composite?
True
Suppose 5*h + 246 = 2*h. Is (12/(-4) - h) + 0 a composite number?
False
Let q(f) = 3*f**2 + 18*f - 10. Is q(11) a prime number?
False
Let o(p) = -p**3 - 2*p**2 + 2*p - 1. Let f be o(-2). Let b = f + 11. Is b a prime number?
False
Is (-411)/(-9) + 4/3 composite?
False
Suppose -5*x = y - 8, -6 = -2*y - 4*x + 4. Suppose -211 = -b - y*m, -5*b = -2*m + 6*m - 1055. Is b prime?
True
Let t(q) = -14*q + 19. Let m(s) = 9*s - 13. Let g(i) = -7*m(i) - 5*t(i). Is g(5) prime?
True
Suppose -4*w - 2*g - 6 = -4, 18 = -w - 4*g. Let r(o) = 340*o - 1. Is r(w) a prime number?
False
Let r = -3 + 6. Let u = 5 - r. Suppose 0 = -b - u*b + 447. Is b composite?
False
Let l(o) = o**2 - 7*o + 4. Let p be l(7). Suppose 0 = 3*i + 15, p*m - 318 = -i + 3*i. Is m prime?
False
Suppose -4*j = -31 - 9. Let t be 56/(-5) - (-2)/j. Let w = 50 + t. Is w composite?
True
Suppose 4*c = -y - 0*c - 19, -5*c = y + 24. Let j be (-56)/(-4) - (y - 0). Suppose -42 = -5*a + j. Is a composite?
False
Let j(x) = x**3 + x**2 + 27. Let k be j(0). Let a = -12 + k. Is a prime?
False
Suppose -2*m - 3*t - 1 = -4, -2*t + 2 = -3*m. Suppose m = -4*k - 0*k + 8. Is (-83)/(-4) + k/8 composite?
True
Let f(u) = -20*u + 9. Is f(-4) prime?
True
Is -5 - 7/((-42)/4344) composite?
False
Is (-5)/((-5)/1498) - (1 - 0) composite?
True
Let t(b) be the third derivative of -13*b**6/720 + b**4/8 - 3*b**2. Let y(a) be the second derivative of t(a). Is y(-3) a composite number?
True
Suppose 2*d - 134 - 192 = 0. Is d prime?
True
Suppose -5*j = 5*f - 770, -3*j + 6 = -5*j. Is f a prime number?
True
Let d(c) = -c - 2. Let j be d(-3). Let r(q) = q**2 - 2*q. Let o be r(j). Let n(y) = -7*y**3 - y - 1. Is n(o) a composite number?
False
Let y be ((-3)/5)/(2/(-10)). Suppose -m - g + 11 = g, 0 = 3*m + y*g - 18. Suppose 2*x - 11 = m. Is x composite?
True
Let c be -398*-1*2/4. Suppose l = -2*u + 169, -4*l + c = 2*u - 9*l. Suppose u = 3*w - 72. Is w composite?
False
Let h(b) = -226*b -