*l + 2*l. Is m composite?
True
Suppose o = -2*o + 6. Suppose -o*k + 162 = -4*y, 4*y - 11 = 5. Is k composite?
False
Let u = 721 - 508. Is u prime?
False
Let x = -4 - -4. Suppose 3*b + b = -m + 12, -5*b + m + 6 = x. Is (-3)/(2/(-8)*b) composite?
True
Suppose 2*p + 20 = -4*s + 64, 0 = 2*p + 2*s - 46. Suppose -2*o = 3*u - 8*u - 69, -5*u - 61 = 2*o. Let l = p + u. Is l prime?
True
Suppose -k + 0*k + 4*y + 2 = 0, -2 = 2*y. Let d be (-2)/(-4) - (-1)/k. Suppose d = 3*m + 9 - 102. Is m a prime number?
True
Let i(m) = 6*m**2 + 10*m + 3. Is i(4) a composite number?
False
Let y(v) = -11*v + 2. Suppose 5*k = -0*z - 3*z + 67, -z = 4*k - 34. Suppose -z = 4*r - 2*r. Is y(r) composite?
False
Is (4156/(-6))/(-1*(-2)/(-3)) composite?
False
Let j = -76 - 27. Let o = j + 366. Is o prime?
True
Is (-1 + 0)/(1/(-271)) a composite number?
False
Suppose -5*f = -t - 432, f + f - 168 = 2*t. Is f composite?
True
Is (306 - 2) + (0 - 3) a composite number?
True
Let s = 10 - 9. Let p be 150/5*s/3. Suppose i - 9 = p. Is i prime?
True
Let x(i) be the first derivative of i**3 - 3*i**2/2 + 7*i - 1. Let o be x(-5). Let a = 150 - o. Is a a composite number?
False
Let u = -4 + 1. Let w = u + 3. Let g(d) = -d**2 + 14. Is g(w) prime?
False
Suppose 1130 = 2*m - o, 3*m + 5*o - 355 = 1314. Is m composite?
False
Suppose b = -5, 4*u - 4 = 4*b + 20. Is 312/32 - u/(-4) a composite number?
True
Let s(n) = n**3 - 9*n**2 + 4*n + 9. Let a be s(9). Suppose -3*z - x = -4*z + 15, x - a = -5*z. Is 498/4*z/15 composite?
False
Suppose 0*z - 3*z - 5311 = -5*c, 2116 = 2*c + 3*z. Is c a composite number?
False
Suppose 2*k + 740 = 6*k + 4*y, -8 = -4*y. Is k composite?
True
Suppose 2*d - d = 38. Suppose 3*g - d = g. Is g composite?
False
Suppose 4*t + 0 = 4, 2*r + 4*t = 28. Suppose -5*m + r = 2. Suppose m + 1 = x. Is x a prime number?
True
Suppose -5*c - 3*g = -16, -11 - 3 = -4*c - 3*g. Suppose c*d - 6*d = -20, 3*z + 5 = -2*d. Is (1/(-2))/(z/350) a composite number?
True
Suppose 5*h - 3*c - 3393 = 0, 6*c = h + c - 661. Is h prime?
False
Let f(l) = l**3 - 5*l**2 - 1. Let j be f(5). Let r(w) be the second derivative of -8*w**3 + w**2/2 + w. Is r(j) a composite number?
True
Let c be (-2 + -1)*(-12)/9. Suppose 2*q - 186 = -2*x, -x - q = -c*x + 295. Is x a composite number?
False
Let q = -147 - -224. Is q a prime number?
False
Is (2194/3)/((-42)/(-63)) composite?
False
Let i(v) = v + 1. Let q be i(-2). Is 2/((-153)/159 - q) a composite number?
False
Let u be 8/(-36) + 4/18. Suppose 0 = -5*f - u*f. Suppose f = 3*k - 107 - 40. Is k a prime number?
False
Is 321 - -6*1/(-3) prime?
False
Let p(m) be the second derivative of m**4/12 + 2*m**3/3 + 9*m**2/2 + 6*m. Is p(7) prime?
False
Let c = -1 + 4. Suppose 13 = 2*z + q, -2*z - q + c*q = 2. Is z a composite number?
True
Let c = -899 + 1500. Let p = -194 + c. Is p prime?
False
Is (6/(-18))/((-1)/474) composite?
True
Suppose 0 = -8*v + 2100 + 6212. Is v prime?
True
Let w(m) = m**2 + m. Let y(b) = 8*b**2 + 5*b - 4. Let f(z) = -6*w(z) + y(z). Let u be f(-3). Let h = 24 - u. Is h a composite number?
False
Let v = -179 - -383. Suppose -5*o - v = -629. Is o composite?
True
Let r = -76 + 37. Is 3*(-1)/3*r a composite number?
True
Suppose -7*i - 963 = -5*m - 9*i, -5*m + 939 = -4*i. Is m prime?
True
Suppose 0 = b - 0*n + n - 73, -8 = -2*n. Let i = b - 44. Is 240/i - 2/(-5) a composite number?
True
Suppose -2*y + 3*y = -3*w + 6, -3*w = 4*y - 15. Let k = 6 - w. Suppose k*z - 3*z - 46 = 0. Is z composite?
False
Let k be 131/2 - (-1)/(-2). Suppose -p - 3*a + 12 = 4*p, 3*a - 6 = -3*p. Suppose -p*u - k = -4*u. Is u a composite number?
True
Let g = 39 + -109. Let o = -48 - g. Is (1 - o)*-1*1 prime?
False
Let s be 8/6*9/6. Suppose 3*h - s*u - 2 + 1 = 0, 0 = h + 5*u - 23. Suppose h*z - 93 = -0*z. Is z composite?
False
Let a(i) = -i**2 + 8*i - 6. Let b be a(6). Let g(u) = u - 4. Let r be g(b). Is r/6 - 312/(-9) prime?
False
Let n = -40 - -75. Is n composite?
True
Let d(o) = o**2 + o + 4. Is d(-10) prime?
False
Let p(f) be the third derivative of -f**5/60 - 5*f**4/24 + 2*f**3/3 - f**2. Is p(-3) a prime number?
False
Let w(r) = r**3 - 2*r**2 - r - 1. Let a be w(3). Suppose 0*l = -a*l + 455. Is l a composite number?
True
Suppose 2*m = -102 + 11180. Is m a composite number?
True
Suppose 5*u + 19 = 84. Suppose 5*c - u = -2*j, c - 9 = -j - c. Is j a composite number?
False
Is 71/((-3)/15*-1) a composite number?
True
Is 2340/100 + (-4)/10 prime?
True
Suppose 2*k = -2*k - 2*v + 516, 4*k = v + 528. Is k a prime number?
True
Let n = 706 - -505. Is n prime?
False
Suppose -2*b + 4*c = -23 + 89, 0 = 2*b - 3*c + 67. Let u = b - -61. Is u a composite number?
True
Suppose -5*c - 2 + 12 = 0. Suppose -8 = 2*t + c, 2*t = 5*y - 5. Is y/(-4) - (-300)/16 a composite number?
False
Suppose -4*g + 1063 + 4593 = 4*u, 4*g - 5*u - 5611 = 0. Is g a composite number?
False
Let b = -876 + 1325. Is b a composite number?
False
Suppose -2*o + 0*o = 5*s - 36, -3*o = 3*s - 54. Let j be o/4 + (-5)/10. Suppose y + 159 = j*y. Is y a prime number?
True
Let q = -41 + 75. Suppose 49 = v - q. Is v composite?
False
Let v = -4 + 81. Is v composite?
True
Let v(m) = 2*m**3 - m**2 - 6*m + 4. Let w be 8*(2/(-4))/(-1). Let o be v(w). Suppose 3*z - 67 - o = 0. Is z a composite number?
False
Let t(n) = n**2 + 2*n + 2. Let c be -2*(-2)/(-1 + -1). Let b be t(c). Suppose 42 = -0*i + b*i. Is i a prime number?
False
Suppose 4*t - 10 = -5*g - 0*g, 2 = g. Suppose t = -0*b - 2*b + 8. Suppose b*a + 2*j - j - 316 = 0, 0 = -5*a - 3*j + 395. Is a a prime number?
True
Is 57/1 + 2/3*-3 composite?
True
Suppose -5*z + 2105 = 4*j, -5*j = -z - 1882 - 742. Suppose 2*s - 5*u - j = 0, -4 = -2*u - 2*u. Is s a composite number?
True
Suppose -m = -2*k - 37, 5*m - 162 = 4*k - 1. Suppose m = 2*z - 9. Is z prime?
True
Suppose -2740 = -x - 7*v + 2*v, -2*x + 4*v + 5550 = 0. Suppose -5*j = -10*j + x. Is j a composite number?
True
Suppose 1059 = 5*f - 2*p, 4*f - 5*f + 3*p + 217 = 0. Let a = f + 40. Is a a composite number?
False
Let g be (0 - -2)/((-6)/(-15)). Let p(s) = -24*s - 6. Let x be p(g). Let u = -80 - x. Is u a prime number?
False
Suppose 0*i + 3*i = 0. Suppose i = -g - g + 422. Is g prime?
True
Suppose 5*j - 1 = 4. Let d(m) = 84*m**2 - 1. Is d(j) a composite number?
False
Let t = 414 - 273. Suppose 2*l = -l + t. Is l composite?
False
Let n = -101 - -228. Is n prime?
True
Let p(d) = -22*d**2 + 2*d - 1. Let m(q) = 110*q**2 - 9*q + 5. Let i(a) = -2*m(a) - 11*p(a). Is i(-3) composite?
False
Suppose 0 = p - 1 - 1. Suppose 4*d - 4*z = -9 - 7, -p*d - z = 2. Is ((-2)/(-3))/(d/(-99)) a prime number?
False
Let m(r) = -2*r**2 + 14*r - 8. Let x be m(6). Is (-410)/(-4) - (-2)/x a prime number?
True
Let d = 0 - -4. Let t be d - (-2)/(-1 + 2). Is ((-254)/(-6))/(2/t) a composite number?
False
Let n = -203 - -443. Suppose n = 4*r - 4*a, 0*r - 5*r + 2*a + 285 = 0. Is r prime?
False
Let j(s) = 3*s + 1 - 3*s + 2 - 5*s. Is j(-10) a prime number?
True
Let h be (-2 - 1 - -2)*1. Is (-1)/h*215*1 composite?
True
Let t(a) be the second derivative of a**5/20 - 11*a**4/12 - 17*a**3/6 + 5*a**2 - 10*a. Is t(13) a prime number?
True
Suppose -16 = 4*r + 24. Let f be 2/5 + 4/r. Is f + 4 + -2 + 209 a prime number?
True
Suppose -5*t + 3186 + 989 = 0. Is t composite?
True
Suppose -2*v + 24 = 5*c, 3*c - 21 = -4*v + 5*v. Suppose 6*i = s + i + 16, 5*i = 20. Suppose -s*l = -c*l + 94. Is l prime?
True
Let y be (380/2)/(-2)*1. Let q = -42 - y. Is q composite?
False
Let n = 0 + -2. Let a = 1 - n. Suppose -a*x - 46 = -121. Is x a composite number?
True
Suppose 2*g - 3*g + 2 = 0. Suppose j = 4*a - 19, g*a - 5*j = a + 19. Suppose -3*y + a*h = -49, -2*y - 3*h + 30 = -14. Is y a prime number?
True
Let z(f) = f**2 + 2*f + 2. Let g be z(-2). Suppose 0 = g*c + 38 - 540. Is c composite?
False
Suppose -3*k + 228 = -0*k. Suppose -u + 3*u = k. Suppose 2*g + 12 = u. Is g a composite number?
False
Let z be 8/28 - (-150)/14. Let v(l) = -11*l**3 - z*l**2 + 10*l**3 + 6*l + 14 + 1. Is v(-12) a composite number?
True
Suppose m + 0*m = -5*k + 6349, 0 = -3*m + k + 19079. Is m composite?
False
Let u(s) = -s**3 + 12*s**2 + 19*s - 5. Is u(-8) prime?
True
Let y = 860 + -494. Suppose -d = 2*d + y. Let m = -69 - d. Is m a composite number?
False
Suppose -3*d = w - 433, 4*d + 419 = -w + 2*w. Is w a prime number?
False
Suppo