 + f - 4. Suppose 3*o - 12 = r, 3*b - 4*o = 225 + 50. Is b prime?
True
Let m(r) = 340*r - 3. Is m(2) a prime number?
True
Suppose -3*a - 5*g + 6047 = 0, -g = 5*a - 4*g - 10101. Is a a prime number?
False
Is 5/(-5)*(-633)/6*2 prime?
True
Suppose -k - 4*b + 48 = k, 4*b = 2*k - 40. Let o = 16 + k. Is o a prime number?
False
Suppose 5*z + a - 75 = -2*a, -3*a = 0. Suppose -3*s = -s - 3*f - 8, 0 = 2*s - 4*f - 10. Let b = z - s. Is b prime?
False
Let m(p) = p**3 + 14*p**2 + 9*p + 3. Let i(b) = -3*b + 2. Let k be i(5). Is m(k) prime?
False
Let k(m) = -m**3 + 6*m**2 + m - 4. Let z be k(6). Let f(a) = z*a + 8*a + 2 - 5. Is f(4) prime?
True
Let a(r) = -r**2 + 5*r - 2. Let k be a(4). Let b be (4/6)/(k/6). Is 17 + b*(3 + -2) prime?
True
Let u(z) = -z + 6*z + z**2 - 1 + 0. Let k be (-4 + 0)/(2/4). Is u(k) composite?
False
Suppose -2*k - 3*k + p - 28 = 0, -3*p = -3*k - 12. Let x(v) = -v**3 - 4*v**2 + 3*v - 1. Is x(k) a prime number?
True
Suppose 4*d = 0, 5*d - 63 = -v + d. Suppose v = 5*m - 112. Is m composite?
True
Let t(n) = 10*n**2 + n + 5. Let b be 2/(2/(-6)*-3). Suppose b*y - 6*y = 16. Is t(y) a composite number?
True
Let t be (-10)/(-15) - 2/3. Suppose t = 2*l - 6 + 2. Is l a prime number?
True
Let m = -60 + 245. Suppose 4*f - m = -f. Is f a prime number?
True
Suppose -7*x + 0*x + 182 = 0. Is x a prime number?
False
Suppose 4*m + 13 = 1, 5*f + 4*m - 6183 = 0. Suppose 3*w - 3*b - b = f, 3*w = -5*b + 1239. Is w a composite number?
True
Suppose -4*j + 408 = -6*j. Let a = -49 - j. Is a prime?
False
Suppose -4*v - 115 = -9*v. Suppose -5*f + 7 = 4*l, -f = 2*l + 2*f - 1. Let h = l + v. Is h a composite number?
False
Let i(v) = v**2 + 7*v - 1. Let y be ((-1 - 0)*-14)/2. Is i(y) composite?
False
Suppose -j + 0 - 6 = 3*v, 4*v = -4*j - 16. Let s be ((-248)/(-20))/(v/(-10)). Suppose 40 = -4*t + s. Is t a prime number?
False
Suppose -56 = -2*s + 558. Is s prime?
True
Suppose s - 2 = i, 4*i - 20 = -2*s + 2*i. Let k(r) = -5*r - 2. Let h(m) = -1. Let t(z) = -5*h(z) - k(z). Is t(s) a prime number?
True
Suppose r = -w + 88, 5*r + 141 = 3*w - 83. Is w prime?
True
Let o be 12/(-2)*(-3)/9. Suppose -o = x, 179 - 592 = -z - 3*x. Is z prime?
True
Let a(d) = -137*d - 18. Is a(-5) prime?
False
Let y = -12 - -21. Suppose -4*f - m = -552, -11 - y = 5*m. Is f a prime number?
True
Suppose -287 = -3*a + 160. Is a a composite number?
False
Suppose -6*y + 284 = -994. Suppose y + 232 = 5*u. Is u prime?
True
Let h(x) = x**3 + 11*x**2 + 10*x - 8. Let c be h(-10). Is (-9979)/(-68) + 6/c a prime number?
False
Let y = 120 + 171. Suppose -2*i - i + y = 0. Is i composite?
False
Let l(v) = v**3 + 19*v**2 + 18*v + 6. Is l(-14) a composite number?
True
Suppose 2*c - 4 = 0, -4*h - 5*c - 1 + 27 = 0. Let n(d) = 8*d**2 - d + 1. Let a be n(2). Let t = h + a. Is t a composite number?
True
Suppose 491 = 5*q - 254. Is q prime?
True
Let g(l) be the second derivative of l**5/10 - l**4/6 + l**3/6 - 3*l**2/2 - 3*l. Is g(4) composite?
False
Suppose 3*b = -2*b - 10. Suppose -w - 82 = 6. Is (1/2)/(b/w) prime?
False
Let w = 53 + 26. Is w a composite number?
False
Suppose -3*f - 4 = -2*k, 1 = k - 3*f - 1. Suppose -130 = -p - 3*m, -5*p + 365 = k*m - 298. Is p composite?
True
Let h(u) = 239*u**3 - u**2 + u - 3. Is h(2) prime?
True
Let y(s) be the second derivative of s**4/12 + s**3/6 - 7*s**2/2 + 3*s. Is y(6) composite?
True
Is (58/(-4))/(2*(-1)/44) a composite number?
True
Let d(y) = y**2 + 2*y + 3513. Is d(0) composite?
True
Is ((-4764)/(-18))/((-2)/(-3)) composite?
False
Suppose 2*k + 2*j - 4 = 4*j, -2*j - 18 = 5*k. Is -39*k*(-1)/(-3) a composite number?
True
Let p be -2*(-1 - -2) + 21. Let t = -10 - 4. Let k = p - t. Is k a composite number?
True
Suppose 7*n - 2*n = 360. Suppose m = 4*s - 0*s + 37, 0 = m + 3*s - n. Is m composite?
True
Is (-125 + (-4 - -2))/(-1) prime?
True
Suppose 2 = n + 6. Let c(v) = -9*v - 2. Let x be c(n). Suppose 2*w + l = 3*l + 26, 4*w = -2*l + x. Is w composite?
True
Is (-8)/(-6)*7449/26 a prime number?
False
Suppose -2 = 2*r, 3*m - r - 1993 = 243. Is m composite?
True
Let b = 2170 - 529. Is b composite?
True
Let s = 77 + 72. Is s a prime number?
True
Let g be 1 - -1 - (-2 + -1). Suppose -r - 28 = -2*r + b, 4*r = -g*b + 157. Is r prime?
False
Is 3 - -1 - -377*1 prime?
False
Is 126 - (-2)/4*2 composite?
False
Let u be 0/(-1 + -1 - 0). Suppose -4*y + y + 30 = u. Is y a prime number?
False
Let w be 1 + -1 - 18/6. Is (2 - w)*194/10 a composite number?
False
Let n(h) = h. Let x(w) = -21*w**2 - 8*w + 1. Suppose 11 + 4 = -3*o. Let i(f) = o*n(f) - x(f). Is i(2) prime?
True
Let h = 17 + -80. Let u = h + 142. Is u a composite number?
False
Let s = -56 - -194. Is s/12*(2 + 0) a prime number?
True
Suppose 9 = 2*m + p, -m = -2*m - 5*p + 9. Let r be 3 + -2 - 2*-2. Suppose -x + 189 = r*y - m*x, -10 = -5*x. Is y a prime number?
False
Suppose 2*r - 100 = 4*j, r - 158 = -2*r - 2*j. Let u(d) = -d**2 - 3*d + 7. Let a be u(-7). Let q = a + r. Is q a composite number?
False
Let n(g) be the first derivative of 3*g**2 + g - 1. Is n(6) a prime number?
True
Let h = -3507 + 5566. Is h a composite number?
True
Suppose 0 = 16*z - 15467 + 2715. Is z prime?
True
Let n be 4*(3 + (-938)/8). Is n/(-9) + 2/9 a composite number?
True
Let r(o) = o**3 + 10*o**2 - 10*o - 3. Let h be r(-11). Let a be 3/(1 - h/(-13)). Let b = -17 - a. Is b prime?
False
Suppose 3*r - 3 = 78. Suppose -4*y - 270 = -5*y - 2*q, -4*y - 3*q + 1060 = 0. Suppose -5*n - r = -y. Is n a composite number?
False
Let d be 27/6*(-2)/(-3). Suppose -2*a = a + d. Is (-2 - (-13 + -1)) + a composite?
False
Suppose -t + 0*t - a = -7, 19 = 5*t - 3*a. Suppose t*b = -5, -5*f + 4*b + 216 = -f. Let v = f - 30. Is v composite?
False
Let q(w) = -54*w**3 - w**2 + 6. Let f(h) = -55*h**3 - h**2 + 7. Let i(z) = 6*f(z) - 7*q(z). Is i(1) a prime number?
False
Suppose 223 + 7 = 5*y. Is y a prime number?
False
Let z = -925 + 1814. Is z a composite number?
True
Let j be (-15)/(-18) - 1/(-6). Is j/(4/(-98))*-2 a prime number?
False
Let x be (-2)/(-4)*0/5. Suppose x = -4*c + 8*c - 2716. Is c composite?
True
Let i(f) = 44*f + 5. Is i(4) a prime number?
True
Let m be 4 - 3 - (2 - 4). Suppose -m*q + 4 = -q. Suppose 0 = -0*d - 2*d + q*y + 66, 0 = -3*y + 6. Is d prime?
False
Suppose -5*t - 2 = -17. Suppose 144 = t*m + r, -2*r - 132 = -3*m + r. Is m a composite number?
False
Suppose -25*c = -17*c - 19288. Is c a composite number?
False
Suppose -9 = -5*p + 2*p. Suppose p*i - 16 = 7*i, -2*i - 11 = -3*c. Is c/(-4) + (-399)/(-12) composite?
True
Is ((-733)/(-1))/(19/19) a prime number?
True
Is (-3 - 25/(0 + -5))*13 composite?
True
Let m(d) = 6*d - 4*d + d**2 - 3 + 2*d. Let z be m(-5). Suppose 38 = z*v - 5*j, -4*j = -2*j. Is v prime?
True
Suppose -2*f - 4*a = -2*a - 2296, a - 2299 = -2*f. Is f a prime number?
True
Let w(i) = 8*i - 10. Let q be w(-8). Is q/(1 - (-7)/(-5)) composite?
True
Suppose -c = -x - 7, -c + 5*x = 3*c - 24. Is (-56 - c)*(0 + -5) prime?
False
Let o(h) = h**3 - 6*h**2 + 5*h + 1. Is o(6) a composite number?
False
Suppose -17*q + 915 = -14*q. Is q prime?
False
Let d = 123 - -88. Is d composite?
False
Let p(a) = a**3 + 4*a**2 - 2. Let w be p(-3). Suppose 1 = -k + w. Is (-4)/k - (-334)/6 composite?
True
Let g(m) = -14*m**3 - m**2 + 13*m + 1. Is g(-7) a prime number?
True
Let a = -660 - -1333. Is a composite?
False
Let d be ((-21)/12)/(2/(-24)). Let g = -9 - -14. Suppose -d = -g*p + 84. Is p a composite number?
True
Let y(w) = 18*w**2 + 4*w + 5. Is y(-2) prime?
False
Suppose 3*n - 3182 = 730. Suppose -4*o + 411 = 2*t - 259, -4*t + n = -4*o. Suppose -r = 4*r + 3*b - t, 0 = -2*r + 4*b + 142. Is r a prime number?
True
Is 0/(4/(-1)) - (0 - 55) a composite number?
True
Let a = 6 - 2. Suppose 2*h - a*h = -582. Is h prime?
False
Suppose -l + 0*l = -3*f + 769, 3*f - 5*l - 761 = 0. Is f a prime number?
True
Suppose 0 = c - 2. Is -2 - (39*-1 - c) prime?
False
Suppose 5*d - 5*g = -g + 305, 4*g + 110 = 2*d. Suppose x + 0*x - 5 = 0, 5*m - 2*x = d. Is m composite?
True
Let z = -373 + 551. Is z prime?
False
Suppose 0 = -20*h + 16*h + 17624. Is h a composite number?
True
Let d(h) = 41*h - 6. Is d(5) a prime number?
True
Suppose -7*r = -18*r + 51458. Is r a composite number?
True
Suppose 0 = t - 3*t + 6. Suppose -t*o + f = -64, -3*o = 4*f - 65 - 24. Is o a composite number?
False
Let z(y) =