- -12 a composite number?
False
Let t = 856 - 413. Is t composite?
False
Suppose 2*q = 6*q. Let v be 2*((-5)/(-2) + q). Suppose v*x = 5*w - 135, 3*w - 5*x + 6*x - 73 = 0. Is w prime?
False
Suppose 5*h - r = 3*r + 4765, -4765 = -5*h + 5*r. Is h composite?
False
Let x be 1477/(-4) - 4/(-16). Let m = x + 560. Is m a prime number?
True
Suppose -2872 = -9*n + 5*n. Let q = 1341 - n. Is q composite?
True
Let j(f) = f**2 + 6*f. Let x be j(-6). Suppose 2*p + 3*p = 4*u - 51, x = 4*u - p - 39. Let i = 32 - u. Is i a composite number?
False
Suppose 2*h + 10158 = 8*h. Is h composite?
False
Let w be -2 - 0/(6/3). Is (w + (-114)/(-4))*2 composite?
False
Is ((-88)/(-12) + -7)/(1/13251) a composite number?
True
Suppose -3*c - 6 = 3*h, h + 2*h - 26 = 5*c. Suppose h*k + 125 = 3*i + 2*i, -3*k + 100 = 5*i. Is i a prime number?
True
Suppose 62 = -3*a - 2*h, 2*h = -2*a + 5*h - 50. Let g = a + 80. Is g a composite number?
True
Let k(s) = s**2 - 3*s - 2. Let n be k(5). Let q(g) = g**2 - 9*g + 12. Let r be q(n). Suppose r*a + 165 = 7*a. Is a a composite number?
True
Let b(x) = -x**3 + 8*x**2 - 4*x + 4. Let h(u) = -u**2 + 13*u + 5. Let w be h(13). Is b(w) composite?
False
Suppose -2*g = -0*g. Suppose 4*t + 4*c = -g*t + 852, 2*c = 5*t - 1051. Is t prime?
True
Let w = -128 - -27. Is -3*(w + 0) + -2 prime?
False
Let w = 73 - 10. Let b = -26 + w. Is b composite?
False
Suppose 2*f + 38 + 12 = 0. Suppose -n = -3*n - 4. Let l = n - f. Is l a composite number?
False
Let t(z) = 16*z**2 + 5*z - 40. Let h(p) = -3*p**2 - p + 8. Let g(r) = -11*h(r) - 2*t(r). Is g(-6) composite?
True
Is 738/4 - (-1)/2 composite?
True
Suppose -5*u = -10*u + 440. Let b = 7 + u. Is b prime?
False
Let d(q) = -174*q + 2. Let f be d(-2). Let h = f - 165. Is h prime?
False
Let z be 65/20 - (-2)/(-8). Let l be 35 + 3/z + -1. Suppose -43 - l = -2*k. Is k composite?
True
Let z = 909 + -1453. Let v = z - -989. Is v a prime number?
False
Let l(h) = -h**3 + 22*h**2 + 41*h + 11. Is l(20) a composite number?
True
Let k(l) = l**3 - 2*l**2 + 4*l + 3. Let b(x) = x**3 - 2*x**2 + 3*x + 3. Let v(f) = -6*b(f) + 5*k(f). Is v(-4) composite?
True
Suppose 0 = 3*l + l - 228. Is l a prime number?
False
Let h(o) = 7*o - 2*o + o - 4*o. Let p be h(3). Suppose -n = -l + 86, -2*n = -0 + p. Is l composite?
False
Let m(d) = d**2 + 4*d + 1. Let f be m(-4). Let k = 79 - f. Is k - (-2 + -1)/3 composite?
False
Is ((-13790)/21)/(-5)*(4 - 1) prime?
False
Suppose 2*g - 1414 = 120. Is g a prime number?
False
Suppose 2*q - q - 91 = -2*v, v - 364 = -4*q. Is q a composite number?
True
Let n(w) = 9*w. Let z be n(-1). Let u = 1 - z. Suppose -m - u = -47. Is m composite?
False
Let m be ((-12)/8)/(2/4). Is 0 - -36 - m/3 a prime number?
True
Let x = 324 + -17. Is x a prime number?
True
Suppose 5 = -3*w + 41. Suppose -q - i - 26 = 4*q, 4*q = -3*i - w. Is (-764)/(-16) - q/(-8) a prime number?
True
Is 409 - 0*(-2)/8 a prime number?
True
Suppose 0 = -w - 1 - 15. Is ((-76)/w)/((-2)/(-8)) prime?
True
Let d = 203 - 144. Let p = 20 + d. Is p a prime number?
True
Let w be 8/(-3)*9/6. Let j be w/3*(-6 - -3). Suppose 0 = j*p - 442 + 134. Is p a prime number?
False
Let p = -14 - -45. Suppose -44 = 3*y - 140. Suppose -3*j = -p - y. Is j composite?
True
Suppose 0*k - k = -t + 526, 0 = -4*t - 4*k + 2104. Is t a composite number?
True
Let j(s) = -2*s**3 - 3*s**2 + 2. Let u be j(-2). Let g(q) = -q**3 + 8*q**2 - 2*q + 5. Is g(u) a composite number?
True
Suppose 6*o - 977 = 5*o. Is o a prime number?
True
Let r = -524 + 49. Is (r/(-20))/((-2)/(-8)) a prime number?
False
Is (2 + 1233/12)/((-1)/(-4)) composite?
False
Let g(d) = -33*d**3 - d**2 - d. Suppose 0 = -5*r - 5. Is g(r) prime?
False
Let u = 7 - -1. Let c = u + -6. Suppose 4*a = -o + 69, -c*o + 3*a = 4*a - 110. Is o a prime number?
True
Suppose 0 = 5*y - 0*t - t - 800, 3*y - 3*t - 468 = 0. Is y a prime number?
False
Suppose -2*i - 3*i + 65 = 0. Is i prime?
True
Suppose 0*j - j = -4*a - 593, -j + 588 = -5*a. Is j a prime number?
True
Let m be -2 - (-7)/(14/12). Suppose -5*z - 8 = -m*z. Let g = 15 - z. Is g a prime number?
True
Let t = -15 + 11. Is 2/((32/(-1028))/t) composite?
False
Let c be -1 - 2/(4/(-1306)). Suppose 3*g - 40 + 67 = 0. Is (c/6)/((-6)/g) a composite number?
False
Is -1 + (497 - (4/(-4) - 0)) composite?
True
Suppose -2*k = 3*k - 25, 20 = -5*r - 2*k. Suppose 2*x + t = -48, 3 + 13 = -4*t. Is (13 + r)/((-2)/x) a prime number?
False
Is 19323/7 - -4*2/14 a composite number?
True
Suppose -2*p + 2317 - 14272 = -5*a, -4*p - 7159 = -3*a. Is a composite?
False
Suppose -3*a + 7 = l - 3*l, 4*l = -3*a - 23. Let q(g) = g**2 - 7*g - 13. Let c be q(10). Let f = c - l. Is f a composite number?
True
Is (-1354)/(-1)*4/8 prime?
True
Is (-15)/(-25) - (-5302)/5 composite?
False
Let f(m) = -m**2 + 55. Suppose -5*l = -9*l. Is f(l) prime?
False
Let a(z) be the second derivative of -7*z**3/3 - 7*z**2/2 - 5*z. Is a(-6) a prime number?
False
Let z(h) = h**3 + 6*h**2 + 5*h + 1. Let w be z(-5). Suppose 5*r - 5 = -0*r. Is (w/(-2))/(r/(-6)) prime?
True
Let v(l) = -22*l - 10 + 6*l - 4*l + 9. Is v(-9) prime?
True
Let p(d) = -d**2 + 7*d + 3. Suppose -9 = -0*q - 2*q + w, -q - 3*w = -8. Suppose 3*s - q = 2*s. Is p(s) a prime number?
True
Let w = 10188 + -2951. Is w composite?
False
Suppose -d + 523 = -0*d. Suppose d = 5*t + 4*z, -3*z - z - 301 = -3*t. Suppose -u + t = 14. Is u prime?
True
Let y = -3 - -1. Is 1/(1*y/(-68)) a prime number?
False
Suppose 4*s = 242 - 30. Is s prime?
True
Suppose 4*g - 10 = 30. Suppose 3*o = 2*o + g. Suppose 0 = -n + 79 + o. Is n composite?
False
Is (2282/3)/(((-4)/6)/(-1)) a prime number?
False
Suppose 6*s = 2*s - 2*m + 62, -4*s + m + 47 = 0. Is s composite?
False
Suppose 2*t = b + 4304, -4*b = -3*t + 2*t + 2145. Is t a prime number?
True
Let a be (-12)/(-6)*(-14)/(-4). Suppose 0 = -3*n - a + 118. Is n a prime number?
True
Suppose -3*h + 7 = -2. Suppose -h*m - m + 158 = 2*l, -5*l - 160 = -5*m. Is m composite?
False
Let d = 4271 - 1254. Is d prime?
False
Suppose 1523 = -13*z + 4344. Is z composite?
True
Let u(q) be the first derivative of -1 + 1/3*q**3 + q - 1/2*q**2. Is u(2) a prime number?
True
Let d = 238 - 161. Let b be (-93)/(-2) - (-1)/(-2). Let n = d - b. Is n a prime number?
True
Is (1449/18)/(2/4) composite?
True
Let p = -25 + 179. Let s = p + -87. Is s composite?
False
Let r = -10 + 13. Is r a prime number?
True
Suppose 0 = -5*x - 177 + 842. Let u = x - 75. Is u composite?
True
Let v = -4838 + 7875. Is v prime?
True
Let v = -62 - -922. Is v/(16/4) - 0 a prime number?
False
Suppose -5*i + 418 = -3*i. Is i a prime number?
False
Let s = 116 - -3. Is s prime?
False
Is 4 + -3 - (-625 + 3) a prime number?
False
Suppose 26*y + 2365 = 31*y. Is y a prime number?
False
Let r = 3 + 0. Suppose -14 = -5*g - 4*v, 3*v = r - 0. Suppose -4*u = -0*u + p - 39, -g*p - 65 = -5*u. Is u composite?
False
Let z be ((-2)/4)/1*0. Suppose 3*l + 53 - 146 = z. Is l a composite number?
False
Is ((-2)/(-6))/(14056/4683 + -3) prime?
True
Let i = -15 + 11. Let f(k) = -3*k**3 + k**2 + 5*k - 3. Is f(i) composite?
True
Let h(l) = 6*l**2 - 3*l - 3. Let c be h(3). Suppose 4*m - y + c = 0, 34 = -6*m + 3*m + 2*y. Let w = -1 - m. Is w a composite number?
True
Suppose 2*v = -0*v + 226. Is v composite?
False
Let c = 23 - 12. Suppose c + 72 = t. Is t a prime number?
True
Let h = -11 - -14. Suppose 2*a = -h*a + 395. Is a a prime number?
True
Let n be (-39)/9*(6 + -3). Let g be (-4)/2 - (3 + n). Is ((-62)/g)/((-2)/56) a prime number?
False
Suppose 4*x + 5*n - 71 = 76, 4*x + n = 135. Is x a prime number?
False
Suppose -20 = -0*l + 2*l. Is ((-2)/(-2))/((-1)/l) prime?
False
Let p(o) = -19*o - 6. Let v(k) = 29*k**2 - 13*k - 5. Let i(n) = -7*n**2 + 3*n + 1. Let c(y) = 9*i(y) + 2*v(y). Let r be c(1). Is p(r) prime?
True
Suppose b + 1 = 2*a - 11, 0 = -4*a + b + 22. Suppose -f = -2, o - a*f = -15 + 5. Suppose o*s = 3*s - 57. Is s a prime number?
True
Let j = -80 + 140. Suppose -2*m + 2*v - v - 1 = 0, -5*m = -v + 4. Is j/9 + m/(-3) a composite number?
False
Suppose 3*o - o - 6 = 0. Suppose 0 = -6*r + o*r. Is 77*(r/3 - -1) prime?
False
Suppose -i + 2*j = j - 5, -39 = -5*i - 2*j. Is i prime?
True
Let y = 3 - 3. Suppose -4*z + p + 12 + 42 = 0, -z + p + 12 = y. Is z prime?
False
Suppose -3*x + 0*f = 4*f, -3*x + f + 15 = 0. Suppose x*n + 9 - 21 = 0. Is