Suppose m - 4*n + 17 = 2*m, 42 = m - n. Let o = 52 - m. Is 831/o + 4/(-10) a composite number?
True
Suppose -3*r = 3*y - 747, 0*r - r - 2 = 0. Is y a composite number?
False
Let o(j) = -j**3 + 4*j**2 - 4*j + 3. Let b be o(2). Let d = b - -38. Suppose 3*u + d = 6*u + x, 2*u = -x + 28. Is u a prime number?
True
Suppose 0 = g + v - 7, -4*v + 11 = -2*g - 5. Suppose -g*a + 4464 = 2*a. Suppose 2*n - 394 = o + 355, 3*n - a = -o. Is n a composite number?
False
Let c = 2 + -4. Is 64 - 1*2/c prime?
False
Let a = 1624 + 89. Is a prime?
False
Suppose -d + 6 = 2, 4*d - 41 = -5*s. Suppose -s*z + 16 = -z. Suppose 0 = -4*u + h + 388, z*u - 97 - 291 = 4*h. Is u prime?
True
Let r(w) = -w**3 + 4*w + 6. Let s be r(-4). Let v = s + 239. Is v prime?
True
Suppose 14*g - 69 = 15. Is g a composite number?
True
Let y = 1083 + -630. Let d = -248 + y. Is d prime?
False
Let i = -51 + 106. Suppose 3*t - i = -k, 0*t - 5*t = 2*k - 111. Is k prime?
False
Suppose 3*n + 4*o = 16, 0 = -n + o - 4*o + 12. Suppose 0*u - 151 = -3*r + u, n = -u - 1. Let c = -28 + r. Is c composite?
True
Suppose -s + 2008 = 3*s. Suppose -5*x = -3*x - l - 502, 5*l = 2*x - s. Is x a prime number?
True
Suppose 2*h = 4*h. Suppose h = -5*d + 3 + 2. Let r(v) = 20*v - 1. Is r(d) a composite number?
False
Suppose -3 + 1 = -q. Is (-2 - -2) + q + 19 prime?
False
Suppose g + 4*g = 15. Let k = 9 + -4. Suppose 74 = -g*x + k*x. Is x prime?
True
Is (4 + 2/2)*(0 - -71) composite?
True
Let a(q) = -127*q. Is a(-1) a composite number?
False
Suppose -m + 4*m = -3*x + 24, -5*m + 4*x = 5. Let b be (0 - (-1)/m)*3. Suppose -3 - b = -l. Is l a prime number?
False
Let s(o) = -o**3 + 9*o**2 - 8*o - 5. Let g be s(8). Let f = g - -9. Suppose -5*u - 34 = -y, 5*y - f*u - u - 110 = 0. Is y a prime number?
True
Let c be ((-208)/20)/(4/(-70)). Suppose c = n + 19. Is n prime?
True
Suppose -2*w = 3*w + 5. Is -1 + (-2 - w) - -55 prime?
True
Suppose 0 = 3*y + 9, 12 = 2*q + q - y. Suppose 5*j - 5*l = 185, q*j + 0*j - 5*l = 115. Is j prime?
False
Let q be 0 + 8/3*-3. Let d = 14 + q. Is (348/15)/(d/15) prime?
False
Suppose 2*x - 12*x = -3070. Is x a prime number?
True
Suppose 4*g - 8*g = -76. Is g a composite number?
False
Suppose k - 16 = 2*k. Let r be ((-2)/(-4))/((-2)/k). Suppose -r*d + 5*p = -19, 3*p - 7*p + 9 = -d. Is d composite?
False
Suppose -3*h + 0 = -12. Let i be h/(4 + -2)*2. Suppose -3*v = 4*o - 0*v - 9, -3*v = -i*o + 15. Is o a composite number?
False
Let b(q) = 3*q + 3. Let u(o) = -4*o - 2. Let f(w) = -6*b(w) - 5*u(w). Let i be f(6). Suppose -2*x + 162 = i*p, x = -5*p + 2*x + 220. Is p prime?
True
Suppose 4 - 8 = -m. Suppose 0*v - 601 = -m*v - 5*b, 3*v - 4*b - 443 = 0. Is v a composite number?
False
Let l = 1 + 3. Is l/10 + 2506/10 prime?
True
Suppose -5*l + 15 = -15. Let g = -3 + l. Suppose 0 = -g*s + s + 134. Is s prime?
True
Suppose 0 = -w - 2*w + 39. Let q = -2 + 0. Let z = w - q. Is z prime?
False
Let y be (-6)/(-9)*(-9)/(-1). Let v be 1/(3/y + 0). Suppose -q + 104 = 2*f + v*q, 0 = -3*f - 2*q + 151. Is f a composite number?
True
Let r(t) = -62*t + 2. Let g be r(-3). Let y = g - 105. Suppose 5*p - q - 98 = 0, 4*p - y = -p - 4*q. Is p a prime number?
True
Suppose 2*i + 8 = -2*i. Is 229/11 - i/11 a prime number?
False
Let a = 131 + 570. Is a a composite number?
False
Let p(f) = 798*f - 1. Is p(1) prime?
True
Let t = -22 - -41. Let w = t + -10. Is w a prime number?
False
Suppose -3*l - 3*a + 440 = 2*l, -5*a = -2*l + 207. Is l prime?
False
Suppose -2*f - 12 = 2*l, 3*f - 24 = -0*l + 4*l. Let y(d) = -6*d**2 + 11*d - 5. Let i(b) = -13*b**2 + 23*b - 11. Let p(w) = 4*i(w) - 9*y(w). Is p(l) prime?
False
Let l = -428 + 619. Is l a composite number?
False
Let x = -479 - -963. Suppose 0*y - x = -4*y. Is y composite?
True
Let l(d) = d**3 + 8*d**2 + 7*d + 2. Let x be l(-6). Suppose r - 2*s + 9 = 0, -3*r - 63 = -0*r + 3*s. Let i = r + x. Is i a composite number?
True
Let v(b) = 20*b**2 - 9*b**2 - 5 + 4*b + 5 - b**3 - 7. Is v(11) a prime number?
True
Let i(s) = -s**2 - 7*s - 7. Let j be i(-5). Suppose -2*k = -j*k + 92. Suppose 0 = 5*d + x - 38 - k, 3*d - 78 = -2*x. Is d a composite number?
True
Let z(k) be the first derivative of -11*k**3/6 - 3*k**2 - 3*k - 3. Let u(g) be the first derivative of z(g). Is u(-5) composite?
True
Suppose d + 1 = 2*i + 2, -8 = 2*i. Let c(a) = a**2 + 6*a - 3. Let w be c(d). Suppose 13 = 5*v - w*v. Is v prime?
True
Let y(z) be the third derivative of -25*z**4/24 + z**3/3 + 3*z**2. Let u be y(-4). Let x = 47 + u. Is x a prime number?
True
Is (-2 + -4)*(-97)/2 composite?
True
Let a be (-2)/(-8) - 269/4. Let o = a - -98. Is o composite?
False
Suppose 5*p - 3*y = y + 26, 0 = -2*y - 8. Suppose p*z = z + 11. Is z a prime number?
True
Is (1 - (-6267)/(-9))*(-9)/6 a composite number?
True
Let p(g) be the third derivative of g**6/120 - 11*g**5/60 + g**4/6 - 3*g**3/2 - g**2. Is p(11) a prime number?
False
Is (7 - 6)/(2/86) prime?
True
Let p = 34 + -1. Is p composite?
True
Let o = -3 - -3. Suppose 4*i + o*i = 8. Suppose -f = -i*f + 21. Is f a prime number?
False
Suppose v = 5*p - 4*v - 1775, -1404 = -4*p - 4*v. Is p a prime number?
True
Let d(n) be the third derivative of n**6/120 - n**5/60 + n**4/24 + 13*n**3/6 + 2*n**2. Let v = 4 + -4. Is d(v) prime?
True
Let k = 899 + -400. Is k prime?
True
Let p = 2 + 34. Suppose 4*h + 2*j = 5*h - 41, -p = -h + j. Is h composite?
False
Let l be (-280)/21*(-9)/2. Suppose -5*o = -0*o + c - 172, -2*o = -4*c - l. Is o a composite number?
True
Suppose 0 = -2*y - 3*y + 2065. Is y composite?
True
Let v(l) be the third derivative of -19*l**4/12 + l**3/2 + 5*l**2. Is v(-4) a composite number?
True
Let w = -9 + 9. Suppose w*r = 5*r - 105. Is r a prime number?
False
Let v(j) = -46*j + 13. Is v(-7) a composite number?
True
Suppose 0 = 2*b + 4 + 2. Let x(d) = 62*d**2 + 3*d + 2. Is x(b) a prime number?
False
Suppose 823 = 2*n - 165. Suppose 5*m - 141 = n. Is m composite?
False
Let y = 4992 - 3389. Is y a prime number?
False
Suppose -3*a - 1340 = -8*a. Suppose -4*d + a = -0*d. Is d a prime number?
True
Let l = -26 - -16. Let d be (-132)/l - 2/10. Let u = -3 + d. Is u a composite number?
True
Let r be 2 - (0 + 0 + 8). Let f(y) = -y**3 - 4*y**2 + 3*y + 5. Is f(r) a composite number?
False
Let p(g) = -g**3 + 7*g**2 + 4*g - 6. Suppose -5*n + 0*y + 2*y + 45 = 0, -y - 12 = -n. Is p(n) a composite number?
True
Let b(o) = o. Let c(a) = -4*a + 21. Let l(y) = 5*b(y) + c(y). Suppose -3*x = -5*u - 6, -2*u = -3*u + 2*x - 4. Is l(u) a composite number?
True
Let z = 165 + -38. Is z a composite number?
False
Let y(u) = 4*u**2 + 31*u + 36. Is y(-15) prime?
False
Let a(m) = -2 + m + 2 - 1 - 4. Let l be a(7). Suppose 0 = -s - 2, 6*z - l*s - 1259 = z. Is z a prime number?
True
Let w(v) = v**2 + 86 + 0*v**2 + v**3 + 80. Let n be w(0). Suppose 4*t + 65 = g, -2*t = 2*g + 2*t - n. Is g prime?
False
Let j(t) = -2 + 3 + 94*t**2 + 0. Is j(1) prime?
False
Let u = -7 + 5. Is (-27)/(-3) - (0 + u) composite?
False
Let r(q) = 6*q - 6. Let m be r(4). Suppose -p = -5*k + 564, 0 = -k - p + m + 96. Is k composite?
False
Suppose -2235 = -5*l - 0*l. Is l a composite number?
True
Let s(w) = -2*w**2 + 1 + 5*w**2 + 6*w - 6 - 2*w**2. Is s(-10) a composite number?
True
Let n(q) = -5*q**3 + 14*q**2 - 3*q - 16. Let h(g) = -g**3 + g**2 + g - 1. Let i(b) = 6*h(b) - n(b). Is i(-9) a composite number?
True
Is -3*((-2750)/6 + 6) a prime number?
False
Let t be ((-2)/4*2)/(-1). Let n be (t - -3) + -3 + 1. Is 23 + (0 - (n + 0)) prime?
False
Let f = 0 + 4. Suppose 0 = f*c + c - 30. Is c composite?
True
Suppose -3*d + 2*d = -18. Suppose -5*s + 427 = -d. Is s a prime number?
True
Let u(y) = 3*y + 11. Let h = -3 + 11. Let c be u(h). Let v = c - 21. Is v prime?
False
Let b(k) = -18*k - 1. Let p be b(-2). Suppose -4*y = -6*y - 6. Is p - (y - -2)*0 a composite number?
True
Let i(p) = 6*p**3 - 8*p**2 + 2*p - 7. Is i(4) a composite number?
False
Let g(b) = -b**3 + 3*b**2 - b - 2. Let n be g(2). Suppose r = -n*r. Suppose r = 3*o + 5*d - 134, -42 = -o - d + 6. Is o a prime number?
True
Let z = 415 + -170. Suppose -4*t - t - 5*s + z = 0, 0 = -5*t + 2*s + 259. Is t a prime number?
False
Let a be 1 + -2 - 1*-6. Let z(j) = 3*j - 18. Let o be z(6). Suppose 112 = a*w - k, o*w - w = 3*k - 16. Is w prime?
False
Suppose 6*s + 23 = -v + s, 3*s = 2*v - 6. Let t be ((-6)