 3*x + 330. Let n = 169 + x. Is n a prime number?
True
Suppose -3*o + 2165 - 296 = 0. Is o composite?
True
Let f = 459 - -328. Is f a composite number?
False
Let o be 32/10 - (-1)/(-5). Is (o + -14)/((-1)/5) prime?
False
Suppose 3*l = 4*l - 5*u + 20, 0 = 2*l - u + 4. Suppose g = 3*t - 677, -5*g + l*g + 231 = t. Is 12/8*t/3 a composite number?
False
Let j = 28 + 113. Let b(o) = -o**2 - 9*o - 9. Let t be b(-7). Suppose j = t*d + 11. Is d prime?
False
Let p be (-160)/24 - (-4)/6. Is -2 + (6 - 3) - p a composite number?
False
Let t(m) = -77*m**3 - m**2 - 2*m - 1. Let x = 6 + -7. Is t(x) a composite number?
True
Let j(z) = -2*z + 2*z - 6 - z. Let b be j(-7). Let t(g) = 46*g + 1. Is t(b) prime?
True
Let q(z) be the third derivative of z**6/120 + z**5/10 + z**4/12 + z**3/6 + z**2. Suppose 3*f + 15 = 3. Is q(f) a composite number?
True
Suppose -x + 286 = 5*a, -159 - 119 = -x - a. Is (-2)/(-3)*x/8 a composite number?
False
Let p = -6 + 1. Is ((-38)/2 + 0)*p composite?
True
Let p(a) = -a**2 + 6*a - 1. Let v(s) = 4*s**2 - 31*s + 5. Let i(w) = -11*p(w) - 2*v(w). Suppose 8 = 2*g - 4*r, -r - 10 = 2*g + 2. Is i(g) a prime number?
False
Suppose -213 = 2*x - 547. Is x a composite number?
False
Let a = -53 - -128. Let d = -19 - -21. Suppose 0 = -d*i + 2 - 4, 0 = -y - 2*i + a. Is y prime?
False
Let n = 14 - 14. Suppose 0 = c + 3, n*c = -3*y - c + 126. Is y composite?
False
Let c be (212/(-8))/((-2)/4). Let a(s) = s + 32 + c - 8. Is a(0) a composite number?
True
Is 1*(2184 - -1 - -4) composite?
True
Suppose -3*c + 211 = -4*w, 2*w = 4*c - 6*c + 164. Is c composite?
True
Let p = 304 + -138. Is p composite?
True
Suppose -4*a + 2*a - 4*w = 16, -3*w - 15 = 3*a. Let j be a/(-3) - 52/(-12). Suppose -j*s = -v - 24, -s - 5*v = 2*s + 8. Is s a prime number?
False
Let k be (-1)/(-1) + -5 + 0. Let b be 0 + k/(12/63). Is (-9)/(-6)*(1 - b) composite?
True
Suppose -4*h - 596 = -8*h. Is h a composite number?
False
Let z(k) = 2*k**2 - 2*k + 79. Is z(0) prime?
True
Let x = -3 + -1. Let v(p) = p**3 + 6*p**2 - p - 5. Is v(x) a prime number?
True
Let v be (-2 - -9) + (1 - 3). Suppose -3*g + v*o + 704 = 0, -2*g - 2*g - 4*o + 928 = 0. Is g composite?
False
Let w be (3 + -5 + 0)*-2. Let h = -7 - -3. Is w/8 + (-22)/h a composite number?
True
Let h(b) = b + 24. Let g be h(0). Let m = 36 - g. Suppose 3*l - m = l. Is l composite?
True
Let l = 869 + 2362. Suppose -4*v + l = -453. Is v prime?
False
Let i(g) = -6*g - 4. Let u be i(-5). Let f = -41 + u. Let d = f + 74. Is d a prime number?
True
Let u = -14 + 7. Let n(r) = -r**3 - 7*r**2 + 3. Let f be n(u). Is (f*1)/((-3)/(-22)) composite?
True
Suppose -2*l = -4*l + 4. Suppose 2*m - 277 + 5 = l*u, -3*m + 4*u = -413. Is m a composite number?
False
Let j(k) = k + 2. Let a be j(0). Suppose w + a*w + 12 = 3*m, 4*m - w - 13 = 0. Suppose m*l - 2*l = 58. Is l a prime number?
False
Let c = -263 - -440. Is c a composite number?
True
Let o = -2 - -4. Suppose -o*l = 2*l + 100. Let u = 39 + l. Is u composite?
True
Let d(s) = 26*s. Let k be d(-2). Let w = k - -275. Is w composite?
False
Let m = -399 + 950. Is m a prime number?
False
Suppose -1055 + 322 = -v. Let j = v - 482. Is j a composite number?
False
Is 1/(-4) - 27450/(-72) composite?
True
Let r be (-2)/((-6)/(-27)) + 1. Let x be r/12 - (-236)/3. Suppose 5*a - x = 3*a. Is a a composite number?
True
Let o(p) = -p**3 - 2*p**2 + 2*p + 1. Let c be o(-3). Suppose -43 = -c*z + 153. Is z a prime number?
False
Is -3 + (740 - (4 + -4)) a prime number?
False
Let c be ((-4)/(-3))/(4/6). Suppose -3*j = -5*i + 382, 0 = -c*i - 2*i + 3*j + 305. Is i prime?
False
Let k be 0 - (-1 + 3) - -101. Suppose -4*w + k = -257. Is w prime?
True
Let l = 3 - 1. Let v(j) = 111*j**2 + 1. Is v(l) composite?
True
Suppose 2*j + 9 = 5*j. Suppose 5*v = -3*l - 2*l - 5, j*l + 4 = -4*v. Suppose 0*x + 2*x - 10 = l, -4*b + 2*x + 2 = 0. Is b prime?
True
Is (-9 + 4 - (-4 - 0))*-943 prime?
False
Let a(z) = -z**2 + 3*z + 4. Let k be a(4). Suppose 3*y + u - 1089 - 520 = k, y - 3*u = 523. Is y composite?
True
Let y be -1 + 3 + 6/2. Suppose -17 = 3*m - 5*m - y*b, m = -5*b - 4. Is m prime?
False
Suppose -2*u + 9 = 3*g, 2*g = -u - 2*g + 7. Suppose -2*m + u*m - 55 = 0. Is m a composite number?
True
Is ((-1 - -5879)/(-2))/(-1) composite?
False
Let i be -75*(1/(-3))/1. Let h = i + 66. Is h prime?
False
Is (-2 - 3)*(-1128)/40 prime?
False
Is 844*-3*(-1)/12 a composite number?
False
Let p(z) = -z + 1. Let c be p(3). Let v(w) = -15*w**3 - w**2 - w + 1. Is v(c) composite?
True
Let f = 4 - -1. Suppose -f*g = -383 + 78. Suppose g = 2*d + 5*a, 0 = -2*d + a - 3*a + 64. Is d a prime number?
False
Suppose l = -5*u - 165 + 595, 0 = -2*l - 2*u + 884. Is l a composite number?
True
Let i(w) = 153*w**2 - 2*w + 16. Is i(-3) a prime number?
True
Suppose 4*w + 0*w - 3*l = 3690, -5*l = -2*w + 1852. Is w prime?
False
Suppose -4*w + 22 = -5*r - 6, 0 = -2*r - 8. Let d(t) = 105*t**2 - 2. Let p be d(w). Let j = p + -291. Is j a composite number?
False
Is (-1 - -2) + 183 + -5 a composite number?
False
Let l be (5 - 1)/(-2) - -93. Suppose 0 = 3*w + 4*z - 74, 3*z = 5*w - l - 13. Is w a prime number?
False
Let x(c) = 115*c**3 + c - 2*c**2 + c**2 + 5 - 5. Is x(1) a prime number?
False
Is (-4016)/(-12) - (-5)/15 composite?
True
Let a(p) = -33*p + 19. Is a(-6) prime?
False
Let j(u) = -u**3 - u**2 + 19. Suppose -b - 4*b = 0. Is j(b) a prime number?
True
Let j(t) be the second derivative of 5*t**3/6 + 2*t**2 + t. Let z be j(7). Suppose -3*h - 295 = -8*h - 5*i, 0 = -h + 4*i + z. Is h prime?
False
Let s(i) = 2*i + 397. Is s(0) a prime number?
True
Let y(m) be the second derivative of -20*m**3/3 + m**2/2 + 3*m. Is y(-4) a composite number?
True
Suppose n = -1, 6 = -g + n + 4. Let f(a) = -19*a + 2. Is f(g) prime?
True
Let q be ((-34)/(-3))/(8/144). Suppose q = u + y, -2*u - 3*u + 3*y = -1060. Is u prime?
False
Let j(b) = -9*b**3 + 2*b**2 - 3. Is j(-2) a composite number?
True
Let d = -63 - -26. Let m = 160 + d. Suppose y = -r + 5*y + m, 5*r + 4*y = 639. Is r prime?
True
Let k(i) = -i**3 - i**2 + 3*i - 6. Let w be (-3)/(-2)*4/(-6). Let d be -5 + w/(-3)*0. Is k(d) a prime number?
True
Let j = -68 + 279. Is j a prime number?
True
Let p be (-3)/(-1) + (-2 - -3). Let r = 0 + p. Suppose 5*d + 0*d = -r*x + 105, 2*d = x + 55. Is d a prime number?
False
Let f = 49 - 34. Is f a composite number?
True
Suppose -2*k + 318 = 5*i + 2*k, -4*k + 256 = 4*i. Is i composite?
True
Let x = -3 + 6. Suppose 4 = d + x. Is (15 + -2 - 2)/d composite?
False
Let t(a) = a**3 + 2*a**2 + a + 1. Let h(z) = -z**3 + 7*z**2 - z + 6. Let c be h(7). Let x be t(c). Is x + 36/2 + 0 a composite number?
False
Suppose 25*q = 16*q + 10539. Is q composite?
False
Is (-1737)/9*(-6 + -1) a prime number?
False
Suppose 580 = -10*d + 14*d. Is d prime?
False
Suppose -l - 658 = -2*f, 780 = 5*f + 4*l - 891. Is f a composite number?
False
Let z(m) = 0 - 2*m + 3 - 4. Suppose 4*w + 2 = -22. Is z(w) a composite number?
False
Is 10*178 + 6/2 composite?
False
Suppose 19*x - 26*x = -6139. Is x prime?
True
Let j(w) = -29*w**3 + 4*w**2 + 3*w + 1. Let s be j(-2). Suppose -b - 8 = -s. Is b composite?
True
Suppose 5*r - 2*r = -2*u + 37, -84 = -3*u + 5*r. Let x = 0 + 2. Suppose -k = -u + x. Is k prime?
False
Is (1528/(-32))/((-2)/8) composite?
False
Let j(a) = -a**3 - 33*a**2 + 21*a + 37. Is j(-34) a prime number?
True
Let c = -262 + 639. Is c composite?
True
Suppose 2*c + 2*r = -0 + 8, -15 = -4*c - 5*r. Suppose 23 = -2*l + 99. Suppose -397 = -c*v + l. Is v a composite number?
True
Let s(t) = -t**3 + 8*t**2 - 8*t + 10. Let c be s(7). Suppose 0 = -c*j + 6*j - 291. Is j a composite number?
False
Suppose 0*i + i = 9. Suppose 5*p + 76 = i*p. Is p prime?
True
Suppose 5*w - 3*p = 6, -27 = -4*w - w - 4*p. Suppose w*s - 1538 = -5*q, 2*s - 1 = s. Is q a prime number?
True
Let p(v) = -v**3 - 2*v**2 + v. Let z be p(2). Is (4 + -2)*(-2933)/z composite?
False
Suppose 12 = 4*y, 0 = 3*t - 0*y - 5*y + 9. Suppose 0 = 3*f - t*f. Is 2 + 0 + f + 109 prime?
False
Let w be 6*((-2)/(-4) - 0). Suppose 177 = w*t + 3*i, t + 0*i = -3*i + 65. Suppose 2*k = -10 + t. Is k a composite number?
False
Let r = -1214 + 2749. Is r composite?
True
Let m(l) = 45*l - 7. Is m(2) prime?
True
Suppose -4*p - 4*l - 3 - 5 = 0, 0 = 4*p - 4*l + 40. Is (-2)/p + 800/12 composite?
False
Let i be 6/(-21