rime?
False
Suppose -4*a + 631 + 977 = 4*d, -2*d = 4*a - 794. Is d a prime number?
False
Let h = -5 - -8. Suppose 4*j = -h*i + 891 - 158, -4*i = 2*j - 994. Is i a prime number?
True
Is (0 - 1709)*5/10*-2 composite?
False
Suppose 2*y - 4*o = 852, 2*o = -o + 9. Suppose 4*g - 2*a - 2*a - y = 0, 5*a = -2*g + 195. Suppose -5*l - g = -8*l. Is l composite?
True
Suppose 0 = -2*q + d + 1914, 0 = 8*q - 6*q + 4*d - 1924. Is q a prime number?
False
Let d(g) = 38*g**2 - 5*g + 3. Let z(h) = 75*h**2 - 9*h + 5. Let f(t) = -5*d(t) + 3*z(t). Let j be f(2). Suppose 0 = x - j - 115. Is x a composite number?
False
Let a be 2/4*(1 + 1). Let x be (20/6)/(a/3). Let o = -7 + x. Is o prime?
True
Let k = -3 + 4. Let h = 3 + k. Suppose 4*z + h*v = 68, -4*z - 5*v + 55 = -z. Is z a prime number?
False
Let a(t) = t - 6. Let w be a(0). Is (w/3)/(8/(-2284)) prime?
True
Let m = 142 - 89. Is m a composite number?
False
Suppose -756 = -3*k + 2*n, -2*n + 499 = 2*k - 5*n. Is k a composite number?
True
Suppose 32 = q + u + 4*u, -2*q - 2*u + 24 = 0. Suppose 0 = -l + 8 + q. Is l prime?
False
Suppose -4*z + 3*w = 60 + 12, z - w = -17. Let b = z - -136. Is b prime?
False
Suppose -14*v + 5*v = -1611. Is v a composite number?
False
Suppose -1 = -l + 3. Suppose 2*s - l = s. Suppose 3*k = -4*n + 208, 8 + s = 3*k. Is n a prime number?
False
Suppose -2*d = 3*m - 2 + 8, d = 5*m + 10. Suppose 4*r + d*r - 348 = 0. Is r composite?
True
Let y(g) = -g**3 + 4*g**2 + 6*g - 2. Let c be y(5). Suppose -4*s - 3 + 19 = 0. Is c/2*(14 - s) prime?
False
Let p(r) be the third derivative of 0*r - r**2 + 1/6*r**3 + 1/24*r**4 + 0 + 1/20*r**5. Is p(2) prime?
False
Is (4220/6)/((-8)/(-12)) prime?
False
Let z = -314 - -20. Let q = z - -457. Let j = q + -110. Is j a composite number?
False
Let z(y) = y**2 + 2*y - 3. Let s be z(-4). Suppose 416 = s*a - 19. Is a a prime number?
False
Suppose 3*n = -6 + 21. Suppose -z + 2 = -0*x + 3*x, 6 = 3*z - n*x. Is z/6 - (-800)/12 a prime number?
True
Let p(l) = -l - 1. Let y be p(0). Let f be (3 + y)*(-2)/(-2). Is 3/(f/(-2)) - -142 composite?
False
Suppose -o + 336 - 17 = 0. Is o a composite number?
True
Suppose 0 = -5*d - 5*s + 10, 0 = 4*d - s - 4 - 4. Let w be 1445/d*4/5. Let h = w - 321. Is h a composite number?
False
Let n(w) = 2*w**2 - 4*w + 2. Let s be n(2). Suppose -s*q - 3*q = -50. Is q composite?
True
Let l(t) be the first derivative of -t**3/3 + t**2/2 - t + 3. Let w(r) = 7*r**2 - 13*r + 10. Let m(p) = 3*l(p) + w(p). Is m(6) prime?
False
Let f = 28 - 22. Is (-3)/2 - (-3939)/f a prime number?
False
Let y(t) = 2*t**2 - 7*t + 2. Let q be y(4). Let d(u) = -u - 2*u**3 + 3*u**3 - 8 - 5*u**2 + 0*u**2. Is d(q) a composite number?
True
Let m = -91 + 152. Let g = m + 18. Is g a composite number?
False
Let n(s) be the second derivative of 85*s**4/12 + s**3/3 - s**2/2 + 3*s. Is n(-2) a composite number?
True
Suppose 2*i - 2*k - 2*k = 3678, -3*k + 9182 = 5*i. Is i a prime number?
False
Let v(a) = 105*a - 4. Let w be v(-5). Is w/(-9) + (-2)/(-9) a composite number?
False
Let d be (-2)/(6/4 + -2). Let q(u) = -u**2 + 5*u - 2. Let s be q(d). Suppose 4*b - 13 = 5*o, b + 3*o - 30 = -s*b. Is b a prime number?
True
Is (-1 - 1) + 298 - 3 prime?
True
Let n(h) = -h**3 + 9*h**2 + 10*h + 4. Let o be n(10). Is ((-2)/o)/((-4)/464) prime?
False
Suppose -p + 4 = -3*g, -p - 4*p + 20 = -g. Suppose -5*x - 4*t + 45 = g, -20 = 3*x - 6*x - t. Suppose s + x*n - n - 31 = 0, -s + 10 = -3*n. Is s a prime number?
True
Suppose -4*p - a = -p - 7310, -5*p + 12183 = 2*a. Is p a composite number?
False
Suppose -3*o + 24 = -3*z, -4*o + 5*o + 10 = -5*z. Suppose r = -3*l + l - 7, -l - 2*r = o. Is (-8)/12 + (-167)/l composite?
True
Let k(f) = f**2 - 10*f - 3. Let b be k(10). Is (-12)/b*83/4 prime?
True
Let a(t) = -62*t**2 - 4*t - 3. Let g be a(-2). Let d = -149 - g. Suppose 3*i - d - 287 = 0. Is i a prime number?
True
Is -1 + (-860)/4*-1 a composite number?
True
Let v = -74 + -52. Let p = -64 - v. Suppose -2*y = -0*y - p. Is y a composite number?
False
Suppose -2*f + 319 = 5*k + f, k + 2*f = 68. Suppose -4*c = -2*y - 10 + k, -50 = -2*y + 3*c. Is y a prime number?
False
Let g = -113 + 175. Suppose 0*w + 5*n = w - 53, n - g = -2*w. Is w a composite number?
True
Let x(q) = q + 8. Let i(u) = u - 16. Let k be i(9). Let z be x(k). Let y(n) = 38*n**3 - 2*n**2 + 1. Is y(z) a composite number?
False
Suppose -4*s = -2*s - 1726. Is s a prime number?
True
Let f be (3/(-6))/((-1)/236). Let b = f + -65. Is b a prime number?
True
Is (-1)/(-4) + (87919/(-4))/(-13) composite?
True
Is (-8)/6*78/(-4) a prime number?
False
Let p(c) be the first derivative of c**5/60 + c**4/6 + c**3/3 + c**2/2 + 1. Let y(s) be the second derivative of p(s). Is y(-5) prime?
True
Suppose -l = 3*l - 20, -4*s - 3*l = -643. Is s composite?
False
Suppose -4*x + 16 = -44. Suppose -2*z = -3*z + x. Is z a composite number?
True
Let n = -21 + 23. Suppose 3*b - 233 = n*b. Is b a prime number?
True
Suppose 3*l - 20 = -2*m, -5*m = 4*l - 2*m - 27. Let g = -4 + l. Suppose 4*z = g*z + 286. Is z a prime number?
False
Let y(r) = -6*r**3 - r**2 - 4*r - 3. Let k be y(-4). Suppose -5*d + 2*d + k = 0. Is d composite?
False
Suppose -j - 15 + 94 = 0. Is j composite?
False
Is 1/(3 + (-3340)/1114) a prime number?
True
Let a(v) = -977*v - 4. Let p be a(3). Let b = -5053 - p. Is (b/6)/(1 - 2) a composite number?
False
Let u be -3*3/(27/48). Let v = 41 + u. Is v a prime number?
False
Let a = 11 - 5. Let q(z) = -z**2 + 13*z - 2. Let f be q(a). Is (3 - 0)*f/12 prime?
False
Let m(b) = 6*b - 1. Let p be m(1). Suppose 0 = p*f - 67 - 128. Suppose 0 = x - 7*z + 3*z - f, -3*x - 3*z + 87 = 0. Is x a prime number?
True
Let i be (-3)/9 + (-143)/3. Let c = 212 - 127. Let q = i + c. Is q composite?
False
Suppose 3*x + 0*x - 13 = -o, o - 19 = -5*x. Let m = x - 4. Let j(p) = -13*p + 1. Is j(m) prime?
False
Suppose 4*a - 3*l - 47 = 0, 82 = -3*a + 8*a + 4*l. Let u(y) = y**3 - 7*y**2 + 5*y - 6. Let s be u(6). Is (-3 - 4)*s/a prime?
False
Let k be 2/(-3) - 65/15. Let m(s) = -5 + 2 - 21*s - 5*s. Is m(k) a prime number?
True
Let n(i) = -8*i**3 + i**2 - 2*i - 3. Suppose 2*j = 7*j + 10. Is n(j) a prime number?
False
Let j(z) = 13*z**2 + 1. Suppose 4*t - 4 = 2*m, m - 5*m = 0. Suppose t = -2*w + 5. Is j(w) a prime number?
True
Let o be (69/6)/((-1)/6). Let f = o - -115. Is f composite?
True
Let c = -8 - -121. Suppose -5*r + c = g + 18, 0 = -r + 4. Let z = -40 + g. Is z prime?
False
Suppose -14 + 3 = -t. Is t prime?
True
Suppose 94 + 378 = j. Let u = -58 + 61. Suppose -4*k + j = 5*s, -u*k + 222 = -k - s. Is k composite?
False
Is (-4)/(-24)*-4197*4/(-2) a prime number?
True
Let s(l) = -78*l**3 - l**2 + l + 1. Let i be 2*(-3)/6 + 0. Is s(i) a prime number?
False
Suppose -1 = m - 3. Is (m + -1)/((-3)/(-21)) a prime number?
True
Let r = 11 - -1. Suppose 0*m + 4*m - r = 0. Is m prime?
True
Suppose -3*i + 495 = -3*v, 4*v + 452 = 2*i + 132. Let d = i - 89. Suppose -4*o + d = -59. Is o composite?
True
Suppose -2 = -3*l - 5. Let a be 1 - (2/l - 3). Is a/15 + (-128)/(-5) prime?
False
Let n = 394 - 569. Let u be (8/(-5))/(2/n). Is u/3 - (-2)/6 a composite number?
False
Suppose 5*w + 2*c = 465, 2*w - 209 = c - 32. Is w prime?
False
Let l = 29 + -6. Suppose -4*k + 171 = l. Is k prime?
True
Let w = 67 - 28. Is w prime?
False
Let b = 521 + -230. Is b a prime number?
False
Suppose 584 = 5*l + 3*v - 666, 3*v = -2*l + 491. Suppose 2*f - l - 781 = 0. Is f a prime number?
False
Suppose -r + l = -784, -5*r - 2*l + 1001 = -2933. Suppose 10*d = 12*d - r. Suppose x + 2*x = d. Is x prime?
True
Let l(a) be the third derivative of 23*a**4/6 - a**3/6 + 5*a**2. Is l(2) composite?
True
Let f(j) = j**2 - 13*j - 1. Let w(l) = -2*l**2 + 27*l + 2. Let u(o) = -13*f(o) - 6*w(o). Let s be u(7). Is (-14)/7 - s*-129 composite?
False
Let w(o) = -19*o + 5. Let f be w(5). Let q = 1 - f. Is q composite?
True
Let p(c) be the third derivative of 3*c**4/8 - c**3/6 - c**2. Let x be p(2). Let y = x + 8. Is y prime?
False
Let i(s) = 15*s - 4. Let b = -2 - -7. Is i(b) a composite number?
False
Suppose 0 = 3*o + 2*g - 130, -5*o = -5*g - 0 - 250. Suppose l - 37 + 1 = 5*d, -2*l + o = 3*d. Suppose -27 = -s + l. Is s a prime number?
True
Suppose 23 = h + 2*h + 4*s, 17 = 5*h - 4*s. Suppose 3*a + z + 64 = -2, 6 = -a + h*z. Let k = 36 + a. Is k prime?
False
Let