 (3 + y)/(1/31) composite?
False
Let a(w) = 83*w + 5. Is a(10) a composite number?
True
Suppose -7*d + 4*d = w + 23, 60 = -4*w + 4*d. Let g = w + 37. Is 5/4*g/1 composite?
True
Let i(y) = -444*y**3 - 3*y**2 - 4*y - 7. Is i(-2) a prime number?
True
Suppose 10*m = 1091 - 421. Is m a prime number?
True
Suppose 6*y = 3*y + 9. Suppose -5*i + 4*f = -i, y*i - 25 = -2*f. Suppose 5*u + 805 = i*l, -989 = -5*l - 2*u - 184. Is l prime?
False
Let b(v) = 26*v + 3. Let d be 16/(-3)*(-12)/8. Is b(d) composite?
False
Let c(g) = -g**3 + 3*g**2 + 2. Let k be c(3). Suppose 48 = k*r - 50. Is r prime?
False
Suppose x = 5*x - 8. Is (-1*77)/((-2)/x) prime?
False
Let p = -5 + 29. Suppose -2*w + 12 = -p. Suppose -w = -4*j + 10. Is j a composite number?
False
Suppose 642 = b - 2*g, -4*b - 5*g - 1169 = -3711. Let v = b + -343. Suppose v = 3*t + 2*t. Is t a composite number?
False
Suppose 8*n - 6*n - 52 = 0. Is n composite?
True
Let t = 906 - 532. Is t/10 + (-4)/10 a composite number?
False
Suppose 4*k - 2 = 3*k. Let t be 1/k*(4 + -6). Is 11/(1*(t - -2)) a composite number?
False
Suppose 4*v - 1692 - 246 = 5*i, 2425 = 5*v - 5*i. Suppose 0*r = 4*o - 2*r - 384, v = 5*o + r. Is o a composite number?
False
Let p = 42 + 137. Is p a prime number?
True
Suppose 5*g - 2*x - 14 = -0*g, 12 = g - 5*x. Suppose -g*r - 2*r + 1348 = 0. Is r a prime number?
True
Let m = -216 - -427. Suppose -4*u + 3*u = -m. Is u prime?
True
Let h = 6 - 0. Let l be 3/9 + h/9. Is (10/4)/(l/26) a composite number?
True
Let u be (0 + (-6)/(-3))*1. Suppose y + 5 = 2*o + u*o, 3*o - 12 = -2*y. Suppose 0 = -2*m - o*i + 408, -2*i + 7*i = 4*m - 807. Is m prime?
False
Let f(v) = v**3 + 10*v**2 + 4*v + 23. Is f(10) a prime number?
True
Let i(v) be the third derivative of 0 - 3*v**2 + 0*v - 11/6*v**3 - 5/12*v**4. Is i(-10) prime?
True
Let g(l) = l - 1. Let a be g(-6). Let t(m) = 2*m**2 + 5*m - 8. Is t(a) a prime number?
False
Let o(l) = -3*l**3 + l**2 + 8*l + 7. Is o(-8) composite?
False
Let u(s) = -8*s. Let g be u(7). Let h = -7 - g. Is h composite?
True
Let r(k) = -78*k + 5. Let o be r(-8). Suppose g + 4*t - 88 = 61, 0 = -4*g - 5*t + o. Is g a composite number?
True
Let r(l) = -1. Let j(q) = -6*q**2 + q + 2. Let v(o) = -j(o) + 4*r(o). Is v(-5) a prime number?
True
Let c be ((-3)/(-4))/(2/200). Let b(z) = -z**2 + 5. Let o be b(0). Suppose -o*p + 35 = -c. Is p a prime number?
False
Suppose 17*j - 18*j = 0. Let m = 3 + j. Is m a prime number?
True
Let n = -9 - -15. Is ((-2)/3)/(n/(-441)) a prime number?
False
Let d(z) be the first derivative of z**4 + z**3/3 + 3*z**2/2 + z + 2. Let w be d(-2). Let u = w - -68. Is u prime?
False
Let q(s) = -s**2 + 23*s - 23. Is q(14) a prime number?
True
Suppose a + 4 = -2. Let j(d) = 36*d**3 - 6*d**2 - 8*d + 5. Let c(w) = 36*w**3 - 5*w**2 - 7*w + 4. Let n(y) = a*c(y) + 5*j(y). Is n(-1) prime?
False
Let x = -72 + 34. Let h = 75 + x. Is h composite?
False
Let f = -14 + 191. Is f prime?
False
Let i = -28 - -137. Is i composite?
False
Suppose -p + 67 = -3*v, -3*p - 2*p + 335 = 5*v. Is p a prime number?
True
Suppose -149 = -0*h - h + 4*a, a + 783 = 5*h. Is h prime?
True
Let o be (2 - -2)*172/(-8). Let j = o - -223. Suppose 3*d = 2*d - 1, 4*u - d = j. Is u composite?
True
Suppose 886 = 5*f - 3*f - 5*n, 4*f - 1772 = 5*n. Is f a prime number?
True
Let y(z) = 1 + 6 + z + 0*z + 2*z. Let o be y(-9). Is 1/(-4) + (-185)/o a prime number?
False
Suppose -2*v = r - 1952, 5*v + 3*r + 2*r = 4875. Is v a composite number?
False
Suppose -4*a + m = -2196, -5*a = 4*m - 2453 - 292. Suppose a = 4*z - 167. Is z prime?
True
Suppose 13 = 3*y + 7. Suppose -203 = -y*f + 19. Is f a prime number?
False
Let i be 554/(-6) - (-2)/(-3). Is (2 + 7/(-3))*i a prime number?
True
Let w be ((-10)/(-15))/((-2)/(-6)). Suppose w*d + 384 = 2*u, u + 4*u - 3*d - 950 = 0. Is u composite?
True
Is 5 + -2 - 1*-1*1211 a prime number?
False
Let q be ((-1)/(-3) + 0)*6. Suppose -4*k = -q*s - 18, -5*k = -10*k + 5*s + 25. Suppose v = -5*o + 159, 0*v + v = k. Is o composite?
False
Let h be (-1366)/(-4) - 2/(-4). Suppose 0 = -4*a - 8, 4*n - h = 2*a + 3*a. Is n a composite number?
False
Let q = 191 - -120. Is q composite?
False
Let o be ((-1)/(-1))/(2/1758). Is -1*o/(-1 + -2) composite?
False
Suppose -3*i + 45 = 2*i. Let u(w) = -w + 1. Let j be u(i). Let n(v) = -v**3 - 8*v**2 - 4*v + 2. Is n(j) prime?
False
Let u(i) = -15*i + 2. Let y be (-17)/3 + 8/12. Is u(y) a prime number?
False
Suppose -f + 10439 = 12*f. Is f composite?
True
Let g(c) = 96*c + 2. Let h be g(3). Suppose -p + h = 5*i - 6*p, 0 = 2*i + 4*p - 98. Suppose -3*o + 176 + i = 0. Is o composite?
True
Let k be 2/4*10/1. Suppose -3*x + 2 + 4 = 0, 3*u - k*x - 371 = 0. Is u prime?
True
Suppose 3 = 3*f, 5*b - f - 3 = 1. Is b*(623 - 0 - 0) composite?
True
Suppose 0 = -8*r + 7616 + 16008. Is r a prime number?
True
Let n = -6 + 10. Suppose -n*g = -266 - 90. Is g composite?
False
Let f(k) = -k**2 + 5*k + 3. Suppose -4*v + 16 = v - 3*m, v + 5*m = 20. Let p be f(v). Suppose -3*h - c = -7*h + 136, -p*h = -c - 103. Is h prime?
False
Suppose 5*g - 3*h - 9 = -h, -2*h = 2*g - 12. Suppose g*j - 2*j = 159. Suppose -5*l + j = -2*l. Is l a composite number?
False
Let k be ((-5)/4)/((-3)/12). Suppose 232 = 2*v - 2*s, -2*v + 358 = v - k*s. Suppose -4*n - 74 = -3*a - 225, -4*n - 5*a + v = 0. Is n composite?
True
Suppose -3*d - 3*i - 3 = 0, -i = -0*i + 3. Suppose -4*m + 20 = -4. Suppose -d*u = -5*u + m. Is u prime?
True
Let s = 3 + 4. Let r = 5 - s. Is (-11)/r - (-2)/4 a composite number?
True
Let h(z) = -z**2 - 9*z + 10. Let l be h(-10). Let k be (-6)/(3/(-4)*1). Suppose l = 3*v - k*v + 165. Is v composite?
True
Suppose -891 = -5*c - 2*y + y, 2*y = c - 176. Let u = 256 - c. Suppose -f + 18 = -r, r - 3*r = -5*f + u. Is f prime?
False
Suppose 3*g = 4*g - 173. Suppose 2*a + g = 4*v + 3*a, -175 = -4*v - 3*a. Is v composite?
False
Suppose 17 = -3*j + 2. Let w(t) = -162*t - 4. Let b be w(j). Suppose 5*o - 3*n = b - 244, 2*o - 230 = -4*n. Is o prime?
True
Is (21 + -23)/((-1)/(493/2)) a composite number?
True
Is 6/(-30) + 2352/10 prime?
False
Let i(m) = m**2 + 7*m - 13. Let r be i(-9). Suppose 554 = r*n - 501. Is n prime?
True
Let b be -1 + 4 + (1 - -2). Suppose b*i - i - 805 = 0. Is i prime?
False
Suppose 347 = 5*i - 248. Is i prime?
False
Suppose 3*p - 60 = 63. Suppose 3*l + p = 2*z - 34, 2*z + 2*l - 80 = 0. Is z a composite number?
True
Suppose 2*c + 3 = 1. Let l(i) = 179*i**3 - 2*i - 1. Let w be l(c). Let u = 289 + w. Is u a composite number?
True
Let v(m) be the third derivative of m**4/6 - 5*m**3/6 + m**2. Is v(6) a composite number?
False
Let w = -8 - -11. Suppose -1605 = -6*s + w*s. Is s a composite number?
True
Let u be (-9)/(-3) + -1 + 1. Let p(n) = -1 + 0*n**2 + 2*n**2 - n - 3*n**u - 6*n**2. Is p(-3) composite?
False
Let j(u) = -u**3 + 5*u**2 - 3*u + 1. Let n be j(5). Let d = -10 - n. Suppose -c + d*c - 30 = 0. Is c a prime number?
False
Let q be (-24)/15*-1*5. Let i = q + -1. Is i a composite number?
False
Let m = 110 + -44. Let u be (-4)/(-14) + m/14. Suppose 0 = -2*g, 10*n = 5*n + u*g + 725. Is n a composite number?
True
Suppose 2*y - 4*y = 0. Suppose 0 = -4*a - 2*q + 482, y*a + 2*a - 250 = -4*q. Is a composite?
True
Let z be -1 - -1 - (0 - -2). Let h = 6 + -10. Is ((-53)/(-2))/(z/h) a composite number?
False
Let c be (-10)/15 + (-2)/6. Let q be (3/(-4))/(c/8). Is ((-9)/q)/(-3)*106 a prime number?
True
Let a = 16 - 46. Is (-356)/(-10) - (-18)/a a composite number?
True
Suppose 11*r - 2668 = 7*r. Is r composite?
True
Let l(q) = 3*q**2 + 4*q. Is l(-5) composite?
True
Suppose -7*p + 12 = -3*p. Suppose p = 3*k, -2*q + 2*k + 186 = 2*q. Suppose -t - 12 = -q. Is t a prime number?
False
Let g(x) = -x + 6. Let f be g(6). Suppose -v + 15 - 8 = f. Is (v/(-4))/(1/(-12)) prime?
False
Let z(j) = 5*j + 8*j**2 - 1 - 4 + j**3 + 6*j**2. Is z(-6) a composite number?
True
Let s(f) = f**3 - 9*f**2 + 7*f + 11. Let g be s(8). Is -2 + 15/g + 184 a prime number?
False
Suppose h = -i - 4*h + 27, 0 = -5*h + 25. Let o(b) = -5 + b - 3*b - 7*b + 2*b**i. Is o(8) prime?
False
Suppose -10 = 5*k - 4*u, -2*k - 2*u - 6 = -20. Suppose -s - l + 9 = s, k*s + 2*l - 14 = 0. Let o = 4 - s. Is o prime?
True
Let i = 74 - -375. Is i a prime number?
True
Let g = 99 + 78. Is g prime?
False
Is 3*(71 - (-12)/(-3)) a composite number?
True
Let n