= -181*j**3 + 3*j**2 + 7*j + 11. Is v(-2) composite?
True
Let i = -72202 + 133407. Is i a composite number?
True
Suppose 89161 = 142*h - 141*h - 5*k, h - 2*k - 89167 = 0. Is h a composite number?
True
Suppose -13 = -2*q + 3*t, -4*t - 1 = -3*t. Suppose b - 3 = q*k, -5*k = 2*b - 3 - 3. Is (-1)/(k - (-3)/(-555)) prime?
False
Suppose -2*r + 72 = 3*t, r - 4*t - 14 = -0*t. Suppose 2*i + 3*i = r. Suppose -2*k + i*k - 308 = 0. Is k composite?
True
Suppose 2*n - 5*q = -35 - 11, -3*n - 4*q - 23 = 0. Let y = -9 - n. Let b(p) = 105*p - 1. Is b(y) a composite number?
False
Suppose -4*p = -5*u + 47, 0 = 4*p + 3 + 9. Suppose 0 = u*d - 2*d - 425. Is d prime?
False
Let y be (3/((-6)/(-2)))/(1 - 2). Is 1 + 1802 - (-1 - (-4 - y)) a prime number?
True
Let a = -5 - -7. Suppose -d - 153 = 2*n + a*n, -629 = 4*d - n. Let x = 278 + d. Is x composite?
True
Suppose -22*q + 33*q = 58861. Is q composite?
False
Let f be 12/(-54) - (-238)/18. Suppose 0 = 18*x - f*x - 6985. Is x a prime number?
False
Suppose 5*p - 4*m - 133795 = 73506, 5*m = -3*p + 124388. Is p a prime number?
False
Suppose -9*d + 282984 = 15*d. Is d a composite number?
True
Let v(m) = 2*m**2 - 31*m - 4. Let q = 66 - 95. Is v(q) a composite number?
True
Suppose -7*u + 1537 + 2110 = 0. Is u composite?
False
Let h = 2505 + -1144. Is h a composite number?
False
Suppose -5*i - 64908 + 230086 = -t, 2*t = 3*i - 99111. Is i a composite number?
True
Suppose -8*q = -5*q - 30219. Is q composite?
True
Let x = -5615 + 9604. Is x prime?
True
Let q(j) = -2*j - 10. Let i be q(-6). Suppose 0 = -0*k + 3*k - 5*y - 2, 4 = i*y. Suppose -k*d + 83 = -0*d + 5*l, 2*d + 2*l - 42 = 0. Is d prime?
False
Let n = -8470 - -12177. Let v = 6166 - n. Is v a composite number?
False
Suppose -4*h + 2*h - 112 = 0. Let w be (-2)/3 - h/12. Suppose 4*a = w*t - t + 809, -3*a + 613 = 4*t. Is a prime?
False
Suppose 0 = 2*c - k - 10759, -3*c + 16128 = -6*k + k. Is c a composite number?
False
Let f = 19 + -14. Suppose 5*g - g - 8 = 4*r, -2*r - 4 = f*g. Suppose -5*o = -3*h + 2381, g = 3*h - 6*h - 4*o + 2399. Is h a composite number?
False
Let a = 20 + -28. Let m(i) = -96*i + 10. Let f be m(5). Is 7/28 + f/a prime?
True
Suppose -r - 35 + 37 = 0. Suppose -2*g + 4*m = -276, 0 = -2*g - 0*g - 2*m + 252. Suppose -3*p + g = r*p. Is p prime?
False
Let r(j) = -9 + 21*j - 2 - 3*j. Let u be -14*((-102)/(-12) + -9). Is r(u) a prime number?
False
Let w = -578 + 1434. Let q = 1265 - w. Is q composite?
False
Suppose -5*k - 5 = 3*z - 23, -4*z = -5*k + 46. Let c(t) = 5*t**3 - 6*t**2 - 2*t + 19. Is c(k) a composite number?
True
Let k(m) = -3*m + 225 - 69 + 175 - m**3. Is k(0) a prime number?
True
Let o(s) = 30*s**2 + 19*s + 9. Let q be o(-5). Let i(u) = -u**3 + 9*u**2 - 8*u + 2. Let g be i(8). Suppose 2*w - q = -g*w. Is w a prime number?
False
Let t(i) = -i**2 + 142*i + 449. Is t(70) a composite number?
True
Suppose -33*x + 38790 = -3*x. Is x prime?
False
Suppose 0 = -4*v - 57 - 51. Let z = 35 - v. Suppose q - z = -q. Is q a composite number?
False
Let r(m) = m**3 + 9*m**2 + m - 7. Let g be r(-8). Let y be (138/(-2))/((-7)/g). Suppose -c = 2*c - y. Is c composite?
True
Let l = 19313 + 17064. Is l composite?
True
Suppose -110 = -0*c - 5*c. Suppose -5*n = c - 7, n + 28 = 5*z. Suppose z*j = -4*o + 4661, -2*o + 3293 = 2*j + 961. Is o a composite number?
True
Let p = 16 - 14. Is (-127)/(p - 0 - 3) a prime number?
True
Suppose 3*i = -258 + 729. Is -1*i/2*-2 a prime number?
True
Let g = 1431 - 560. Is g prime?
False
Is 2 + -10 + 7 - -15728*1 composite?
False
Let w(d) = -d**3 + 5*d**2 - 3*d - 1. Let y be w(4). Let j(m) = 7 - y*m - m + 5*m + m. Is j(0) composite?
False
Let j = 4 + 4. Suppose -b - j = 4*s - 2, -6 = 3*s. Is -1*(b - (18 + 3)) composite?
False
Let f(r) = 3720*r - 206. Is f(7) a prime number?
False
Let x = 11294 - 4285. Is x composite?
True
Let v(q) = -4*q - 8. Let m be v(-6). Suppose -5*f = 6 - m. Is (9 - f)/(2/122) composite?
True
Suppose 16 = 3*y + 4*u - 3, 5*y - 5*u = 20. Suppose -y*b = -7*b + 1686. Is b a composite number?
True
Suppose -30 = -6*z, b - 33*z + 30*z - 33994 = 0. Is b a composite number?
True
Suppose -8 = 30*p - 28*p. Let u be (-1 - (3 + -14)) + p. Is ((-33)/u - 0)*-34 a prime number?
False
Let z = 1187 + -652. Let t = 866 - z. Is t a prime number?
True
Let f = 36 + -14. Let d = 7 + -3. Suppose -t = d - 1, -f = -w - 5*t. Is w a composite number?
False
Let p be ((-4)/(-5))/((-10)/50). Let n(d) = -d**3 - 3*d**2 - 5*d + 1. Let h be n(p). Suppose -2*s - 225 + h = -2*v, -2*s + 382 = 4*v. Is v composite?
True
Suppose -9 = 2*m + 5*v, 3*m + 3*v + 13 = -2*m. Let z be m + 0 - (1 - -119). Is (z + 1)/(-2 + 1) prime?
False
Suppose 23 = 2*v + 3*h, 3*v - 11 = 4*h + 15. Let a = 1 - -1. Suppose -a*w + 10 = -v. Is w composite?
True
Let c = 29 - 30. Is c*(1 + 1380)*-1 prime?
True
Let a be ((-6)/2 - -1) + 4. Let h(d) = 1 - 7*d - d**a - 6*d - 2 + 3. Is h(-12) a prime number?
False
Suppose 12 = 3*z, 2*f + 3*f - 5*z + 20 = 0. Suppose 2*i - 1438 = -f*i. Is i a prime number?
True
Suppose 379113 = -107*d + 128*d. Is d a composite number?
True
Suppose o = 2*b - 94174, -5*b - 4*o + 47087 = -4*b. Is b composite?
False
Suppose -5*g - 16 = -g. Let m be (1/2)/(g/272). Is m*(-1)/(1/1) a composite number?
True
Let r(n) = -n**2 + 14*n - 22. Let c be r(12). Is 3 + 11499/39 - c/(-13) composite?
True
Let v be 3*(276 - 0/(-4)). Suppose -175 = f - v. Is f composite?
False
Let r = -2537 - -3798. Is r a composite number?
True
Suppose 5*j = 5*z + 3*j, 15 = 3*j. Suppose h - 2*o - 13 = z*o, 5*h - 5*o = 50. Let l(k) = -k**3 + 14*k**2 - 11*k - 13. Is l(h) a prime number?
True
Let i = -2 - -5. Suppose -w + 1 = -5*n + 20, -3*n = w - 13. Suppose 0 = -3*l + n*y + 639, -i*l = l + 5*y - 821. Is l a composite number?
True
Is 2 + 4 - 0 - (-16 - 2541) prime?
False
Let p be 1/2 - (-12)/8. Suppose -4*m + 92 = -4*g + 3*g, -4*m + 92 = p*g. Suppose -m = -b - 4*v, 0*b - 91 = -3*b - v. Is b composite?
False
Let o = 32953 - 8039. Is o a composite number?
True
Let w = 1 + -12. Let c = 4 + w. Let d(v) = -v**3 - 6*v**2 - 8*v - 2. Is d(c) a prime number?
True
Suppose -5*r + 17 = -2*r - 4*k, 2*r + 2*k = 2. Suppose 3*w = 2*a + 1755, -r*a - 1418 = 5*w - 4362. Is w a prime number?
True
Suppose 0 = 2*b - 5*o - 2508, 595 = b + 2*o - 641. Let k = b + -884. Suppose -2*c + 226 = -k. Is c prime?
True
Suppose -12094 = -3*r + 19367. Is r prime?
True
Let o = 12 - 71. Let h = o + 432. Is h prime?
True
Let v = 0 - -1. Suppose -g + 2 = -v. Is 158 + (-12)/2 + g composite?
True
Suppose -i - 5*n + 8 = 0, 4*i + 0*n - 11 = n. Suppose -118 = -i*w - 2*m + 747, 2*m + 881 = 3*w. Is w a prime number?
False
Let f be (-46)/(-10)*2*(1 + 234). Suppose 4*y - 17699 = -5*m, 5*m + y - 15549 - f = 0. Is m prime?
False
Let j(z) = z**2 + 397. Let k = -2 - -16. Let g = 14 - k. Is j(g) a prime number?
True
Let o(b) = 34*b**2 - 9*b + 10. Let i be o(5). Suppose -10*v = -15*v + i. Is v a prime number?
True
Let j be (-2)/(2/2 - 2). Suppose -j*a - 1043 = -3*a. Is a a composite number?
True
Let y(b) = 8*b + b**2 + 0 - 2 - 2*b**2 + 0. Let k be y(7). Suppose w = -5*i + 720, w - k*i + 2210 = 4*w. Is w a composite number?
True
Let i be (10 - 11)/((-1)/2). Suppose -4*v - i = 14. Is (-579)/v + 3/12 a composite number?
True
Let u(x) = 27*x**3 - 5*x**2 - x + 1. Let d be u(4). Let s = 1146 - d. Let b = s + 896. Is b a prime number?
True
Let j(a) = 58*a + 10. Let g be j(-13). Is (3 + -1 - (g - -3))*1 a composite number?
False
Suppose -t = 4*i - 46627, 3*i + 17*t - 22*t - 34976 = 0. Is i composite?
False
Let y = -35 - -34. Is (-53 - -36)/((1/29)/y) a prime number?
False
Suppose 9870 + 42545 = 5*s. Is s a prime number?
False
Let q(v) = -9*v - 1. Let b be (1 - 6/9)*9. Let d be q(b). Let r = 125 + d. Is r composite?
False
Let f be (12/(-36))/((-2)/42). Let c = -14 + f. Is 552/14 - (-3)/c composite?
True
Let c(s) = -3 + 85 + 123 - 15 + s. Let x be c(0). Suppose -l = l - x. Is l a prime number?
False
Let j(l) = -359*l - 211. Is j(-30) prime?
True
Let d be (-1 + 25)/(14/(-994)). Let m be (2 + -1)/((-4)/d). Is m/(-4)*(-16)/24 composite?
False
Suppose 5*v + 1695 + 1264 = 4*c, -2*c - 3*v = -1485. Let d be 0 - ((-1)/(-1) - 1). Suppose 2*l - j - c = 0, -2*l + d*j = 5*j - 771. Is l a prime number?
True
Suppose 4*k - 71 = 373. Is k a composite number?
True
Let z(g) = g**3 - 4*g**