) = 8*u. Let p be j(1). Let w be (14/8)/((-2)/p). Is i(w) prime?
False
Suppose u + 0*u = 294. Let g be (-1)/((-3)/u) + 0. Let q = g + 33. Is q composite?
False
Suppose -b = -5*s + 163, -3*s - 13 + 124 = -5*b. Suppose 5*x = s + 18. Is (-1)/((-1)/x*1) a composite number?
True
Let t = 172 - 95. Is t a composite number?
True
Let g = 22 + -10. Let o = -6 + g. Is o a prime number?
False
Suppose -2*l - 8 = -4*l. Is l/8 + (-241)/(-2) a prime number?
False
Let u(w) = -w**3 - 5*w**2 + 13*w - 2. Let j be (2 + (-20)/8)*18. Is u(j) a composite number?
True
Suppose 4*p = 1 + 3. Is (18 - (0 - -3))*p a composite number?
True
Let t = 16 - 7. Suppose t*q + 962 = 11*q. Is q a composite number?
True
Let f = -18 + -37. Suppose 4*x - 360 = -3*t, 694 = 5*t - x + 94. Let m = f + t. Is m prime?
False
Is (2/(5 + 1))/((-7)/(-4431)) prime?
True
Let c(y) be the first derivative of 1/3*y**3 + 1/4*y**4 + 0*y**2 + 5*y + 2. Is c(4) composite?
True
Let y = -2 + -1. Let d be (y/9)/((-3)/36). Suppose 2*a - 7*a - 237 = -4*t, 4*t = -d*a + 192. Is t composite?
False
Let j = 170 - 87. Is j composite?
False
Let j(l) be the second derivative of -7*l**3/6 - 13*l**2/2 - 5*l. Is j(-14) prime?
False
Let t(s) = 106*s**2 + 4*s - 3. Is t(4) composite?
False
Let z(a) = a**3 + 7*a**2 - a + 4. Suppose -5*r - 22 = m, -3*r + 9 = -3*m + r. Is z(m) a composite number?
False
Let i be -4*(4 + (-9)/2). Suppose -196 = -6*m + i*m. Is m prime?
False
Let i(h) = -h**3 + 2*h**2 + h. Let t be i(2). Let y(u) = -5*u**3 - u**t + u - 2*u + 4*u + 1. Is y(-2) prime?
True
Suppose 2*s - 3*w = 25, 4*s - 35 = 4*w + 5. Suppose s*l - 219 = 4546. Is l composite?
False
Suppose 411 = 2*z - 267. Is z composite?
True
Suppose -11*l - 893 = -30*l. Is l composite?
False
Let o = 286 + -165. Is o composite?
True
Is (-132)/6*5/(-2) a prime number?
False
Let p(k) be the first derivative of k**4/4 + 10*k**3/3 - k - 5. Is p(-8) prime?
True
Is -3*2*(-141)/18 prime?
True
Is 120 - 1/2*-2 prime?
False
Let u = 8 - 11. Let n(c) = c**3 + 5*c**2 + 4*c + 3. Is n(u) composite?
True
Let n(f) = 23*f**2 - 14*f + 20. Let a(h) = 7 - 3*h**2 + h - 6*h + 11*h**2. Let w(x) = -17*a(x) + 6*n(x). Is w(-2) prime?
True
Let m(f) = 4*f**2 + f - 1. Let u be m(1). Suppose 0*i + u = -2*i + 4*a, 0 = 3*i - a - 4. Suppose g = 2*s + i*s - 389, -2*g = -3*s + 293. Is s a prime number?
True
Suppose -3*f = -5*f + 122. Let o = f - 38. Is o composite?
False
Suppose 2*a + a - 9 = 0. Suppose -2 = -2*k, 0 = a*w - 0*w - 3*k - 162. Is w a prime number?
False
Suppose 4*l = -l + 4*q + 3, 3*l + q = 12. Suppose -5*v - 5*a = -155, 0 = l*v + a - 6*a - 53. Is v a composite number?
True
Suppose 0 = -4*u - 5*g + 81, 2*u - g = -2*g + 39. Let c = 45 - u. Is c composite?
True
Let m(f) be the first derivative of f**3/3 + 3*f**2/2 + 4*f + 3. Let n be m(-3). Suppose -n*v + 115 = 3*a, -2*a - 3*a = 2*v - 187. Is a a composite number?
False
Let g = -11 - -6. Let u be 46/g*5/(-1). Suppose -4*s - u + 170 = 0. Is s a prime number?
True
Suppose -4*m - 920 = m. Suppose 4*h = b + 920, -2*h + 3*b = -h - 241. Let w = h - m. Is w composite?
True
Suppose 5*h = r - 3*r + 401, 2*h - 143 = 5*r. Is h prime?
True
Suppose -657 = -5*c + 1133. Is c composite?
True
Suppose -5*d + 208 = -d. Is d + (-2 - -2 - 1) composite?
True
Suppose u - 4*h - 2179 = 0, -4*u + 2*h = 7*h - 8653. Is u a composite number?
True
Suppose 6 + 9 = 3*f. Suppose f*s + 35 = 5*c, -2*c + 11 = -0*s - s. Suppose 3*b - 111 = h + c*h, -4*b + 148 = -4*h. Is b composite?
False
Let a(f) = 11*f**2 + 9*f + 3. Is a(-7) composite?
False
Let h(x) = 262*x - 3. Is h(1) a prime number?
False
Let n(q) = 23*q**2 - 10*q - q**3 + 14 - 8*q**2 - 1. Let a(k) = k**3 - 16*k**2 + 11*k - 14. Let p(f) = 6*a(f) + 7*n(f). Is p(7) a prime number?
False
Let d = -1297 - -2558. Is d a prime number?
False
Suppose 4*f - a + 5*a = 220, f - 53 = a. Suppose w - f = -j, w = 5*j - 54 + 138. Is w prime?
True
Suppose -20*i = -19*i - 543. Is i prime?
False
Let j be 24/2*14/8. Let z = j - -18. Is -2*(-3)/18*z prime?
True
Let c(b) = 19*b**2 - b + 4. Let n be c(-3). Suppose 336 = 4*g - 5*l, -2*g - n = -4*g + 5*l. Let z = 146 - g. Is z composite?
False
Suppose -3*b - 2*y = -965, -5*b + 4*b = 3*y - 331. Is b a prime number?
False
Suppose f - 1 = 290. Is f a composite number?
True
Let v = 6 + -11. Let w = v - -58. Is w composite?
False
Let u(w) = 5*w**2 - 3*w + 5. Let n be u(-4). Suppose 4*a - 5*b - 324 = 0, 2*a + b - n = 79. Is a prime?
False
Let t be 0 + 2 - (0 + 10). Let z = 5 + t. Is (0 + 14)*z/(-6) a composite number?
False
Let u(k) be the third derivative of 7*k**5/30 - k**4/3 + 7*k**3/6 - 7*k**2. Is u(8) a composite number?
False
Let d = 133 - 62. Is d a prime number?
True
Let m = 29 - -158. Suppose 3*q + 2*u - 6 = 0, 3*q = 4*q - 3*u + 9. Let f = m + q. Is f a prime number?
False
Let s(a) = 6*a**2 + 9*a - 7. Is s(6) a prime number?
True
Let x(r) = -r - 23. Let h be x(-6). Let a(g) = g**2 + 7*g + 6. Let z be a(-6). Is -1*(2*h + z) prime?
False
Let x be 101/4 + (-6)/(-8). Suppose z = -z + x. Is z a composite number?
False
Suppose -5*k - 2*t + 265 = 0, 2*t + 285 = 5*k - 0*t. Is k a composite number?
True
Let v(g) = 117*g**2 + 2*g + 1. Let p be v(-1). Suppose i - p - 46 = 0. Suppose -s - i = -3*f, 4*f - 274 + 56 = 2*s. Is f composite?
False
Suppose 2*a = -4*t - 394, -3*t - 276 = -7*a + 2*a. Is (1*t)/(3 - 4) a prime number?
True
Suppose 0*d - 204 = -3*d. Suppose 3*a - 5*a + d = 0. Is a prime?
False
Let p(b) = -b**3 + 7*b**2 - 8*b - 8. Let f be p(11). Let n = f + 858. Is n prime?
False
Let i = 1 - -3. Suppose i*f - 4*y = 308, -2*y = 4*f - 245 - 75. Is f composite?
False
Let i = 643 - 192. Is i composite?
True
Let s = 14 + 53. Is s a prime number?
True
Let t(n) = n**2 - n - 5. Is t(5) a composite number?
True
Suppose 5*o - 276 = o. Is o a prime number?
False
Let f = 3679 - 2610. Is f a prime number?
True
Let s(q) = 3*q**3 + 3*q**2 + 3*q + 1. Let f be s(-2). Let t = 11 + f. Is 5/t*-2*33 a prime number?
False
Let a = 17 + -10. Suppose 2*s = j + 50, 4*j + 4*s + 120 = j. Let i = a - j. Is i composite?
True
Let u be (-9)/6*2*-1. Suppose 191 = -u*j + 4*j. Is j a composite number?
False
Suppose -4*h + 2361 = 149. Is (-8)/(-20) + h/5 composite?
True
Suppose a - 144 - 301 = -2*w, 0 = -2*w + a + 439. Let n = w + -72. Is n prime?
True
Suppose z = -m + 4, m - 4*z = -0*m + 4. Suppose 3*w - 6*w - m*f - 5 = 0, 5*w - 5 = -4*f. Suppose 2*i = -2*y + 300, 3*y = w*y - 2*i - 296. Is y prime?
True
Let f = 691 - 320. Is f composite?
True
Let f = 291 - 28. Is 8/20 - f/(-5) composite?
False
Suppose -5*g = -136 - 234. Is g a composite number?
True
Suppose 15*v - 16*v + 51 = 0. Is v prime?
False
Let k(z) = z**2 + 2*z - 8*z - 7 + 3*z. Is k(7) a prime number?
False
Let n(f) = 13*f + 11. Let w = -11 + 17. Is n(w) a composite number?
False
Let k = 20 + 3. Is k prime?
True
Suppose 2*i + 2*b = -i + 6215, -4*b + 10357 = 5*i. Suppose -4*c = 5*r - i, -2*c + 1249 = 3*r + 3*c. Is r a composite number?
True
Let i(u) = 20*u + 5. Let z be i(4). Let h = -48 + z. Is h a composite number?
False
Let s be (-69)/(-21) + (-2)/7. Suppose -s*h = -2*h - 307. Is h prime?
True
Is (-1 - 0)/((6/1758)/(-1)) prime?
True
Let d(a) = a + 1. Let h be d(-2). Let r be (-242)/5*(h + -4). Is (r/(-8))/1*-4 prime?
False
Suppose -10*i = -8*i - 2722. Is i prime?
True
Let c = 7 - 8. Let g be c/(-2)*(2 - -4). Is ((-2)/6)/(g/(-207)) prime?
True
Let m = -531 + 1162. Is m a composite number?
False
Suppose 11*b = 9*b + 2330. Is b a composite number?
True
Let r = -779 + 1738. Is r a prime number?
False
Let g(s) = 3*s - 1. Let a be g(-3). Let f be -12*(a/4 - -2). Suppose -4*z + f*z = 246. Is z composite?
True
Let r(d) = -d + 5. Let h be r(5). Let c(n) = -n**3 + n**2 + 11. Is c(h) composite?
False
Let t be 10/25*20*1. Is (-1562)/(-4) - t/(-16) composite?
True
Is ((-1)/3)/(4/(-6876)) prime?
False
Is (1/(-3) + 60548/24)*2 composite?
True
Let q be 2/(-6) - (-194)/(-3). Let a be 252/(-6) - 2/1. Let c = a - q. Is c composite?
True
Let y = 58 - -81. Is y a composite number?
False
Suppose -2*f - 3 = -13. Let l(g) = g**3 + 6*g**2 + 6*g + 7. Let a be l(-5). Suppose -o = -f*j - 0*o + 809, a*o = 2*j - 330. Is j a composite number?
True
Let y(l) = l**2 + 7*l - 3. Let r be y(-8). Suppose 0 = 4*o - r - 3. Suppose -o*c = -4*h + 202, -5*h - 3*c + 25 = -211. Is h composite?
True