 17*j + 41. Let v be w(-19). Suppose v*r + 0*i - 860 = -i, 5*r - 1431 = -4*i. Is r composite?
True
Let l(c) = -92*c**3 - 7*c**2 - 6*c - 2. Is l(-2) prime?
False
Let b(t) = 3 - t + 4 + 3*t - 3*t. Let v be b(5). Is 5/v*(-4194)/(-45) prime?
True
Suppose -4*b = -5*t - 3*b - 19, -3*t - 3*b + 3 = 0. Is -5 - 9678/t*1 a composite number?
False
Is 7789/(3/(8 + -5)) prime?
True
Suppose 9*j = 6*j. Suppose j = -v - 4*z + 395, -3*v + 835 = -3*z - 335. Is v a composite number?
True
Let b(x) = -22*x**2 - 13*x. Let n(o) = -23*o**2 - 12*o - 1. Let l(d) = 6*b(d) - 7*n(d). Is l(6) composite?
False
Let s be (-6)/(3*8/12). Is (-101*9)/s - -4 a prime number?
True
Suppose -2*p = 2*g, 0 = -2*g + 7*p - 2*p + 14. Let q(z) = 5*z**2 + 1 - 4*z**2 + 12*z + 3*z**2 + g*z**2. Is q(-9) composite?
False
Let z(w) be the second derivative of -w**3/3 - 14*w**2 - 12*w. Let o be z(-16). Suppose -r + 547 = 2*j, j + 833 = 4*j + o*r. Is j a prime number?
True
Suppose -4*v + 10322 = 3*x, 0*x - v - 6885 = -2*x. Is x prime?
False
Suppose -6*h + 9*h = 4*f - 3287, 4*h + 1656 = 2*f. Is f a prime number?
False
Let y(x) = 33*x**2 + 52*x + 30 - 29 + 40*x**2. Is y(8) prime?
False
Suppose -24557 = 2*c - 15*c. Is c composite?
False
Let h = 1352 + 549. Is h a prime number?
True
Suppose 3*m = j - 46, -3*j - 5 - 11 = 2*m. Let d = m + 17. Suppose 1 - 278 = -5*i - 3*y, 0 = -d*y + 12. Is i a prime number?
True
Let x(f) = f**2 + 13*f - 13. Let b be x(-14). Suppose -b + 5 = p. Suppose 0 = p*z - 5*h - 171, -5*z = -2*z - 3*h - 126. Is z a prime number?
False
Suppose -5*s + 60 = -0*s. Let a(x) = 40*x**3 - 32*x**3 + 2*x**2 + 3*x - 4*x + s. Is a(5) prime?
False
Let s(p) be the first derivative of 193*p**3/3 - p**2 - 2*p - 4. Let f be s(-4). Let u = -1617 + f. Is u composite?
True
Suppose -3*h + 1425 = 2*h. Is h - -1*2/1 composite?
True
Suppose -4*l + 44 = 2*b - 5*l, -5*b + 110 = -4*l. Suppose 5*a = -3*r - b - 26, 5*r + 43 = 4*a. Is (-2)/(-11) + (-999)/r composite?
True
Suppose 0 = -5*z - 4*d + 5781, -2*z - 33*d + 34*d = -2315. Is z composite?
True
Let u(y) = y - 30. Let h be u(24). Is (-1 - -1 - (h - -5))*161 composite?
True
Let l = -1 + -46. Let f = l - -270. Is f prime?
True
Let d = 12 - 13. Let j be (2/(-4))/(d/4). Suppose -2*y = -0*y - 3*w - 449, j*w = y - 225. Is y prime?
True
Let w = -7 + 12. Suppose -9 = -3*z, -11 + 0 = -w*t + 3*z. Suppose t*q + 432 = 1268. Is q composite?
True
Let n = 217 + -391. Suppose 5*w - 3*a = 1562, 2*a + 936 = 3*w - a. Let m = w - n. Is m a prime number?
True
Let z = 937 + 3598. Is z composite?
True
Suppose -y + 17 = 210. Suppose 0 = 5*m - 121 + 1. Let o = m - y. Is o a composite number?
True
Suppose 2*r = j + 14750, -r + 0*j + 7381 = j. Is r composite?
True
Is (7613/5)/((-12)/(-60)) prime?
False
Let x(i) = -58*i**2 + 5*i + 6. Let j be x(-3). Let d = -184 - j. Is d composite?
False
Let m be (15/(-6) - -2)*524/(-2). Is -2 - (-1 - 10)*m a composite number?
False
Suppose 5*v - 2*q - 2804 = 0, -6*q = 5*v - q - 2790. Suppose -3*w = 196 + 149. Let a = w + v. Is a a composite number?
True
Suppose 4*z + 7*z = 308. Is 61439/z + (-6)/(-8) composite?
True
Let x(j) = 16*j + 1348. Let v(h) = -5*h - 449. Let m(r) = -7*v(r) - 2*x(r). Is m(0) a composite number?
True
Suppose 0 = 4*b - 7*b + 5*q - 2, 0 = 3*b + q + 14. Is (0 - b) + 123 + -2 + 2 prime?
True
Let k(b) = b + 9. Let w be k(-6). Suppose -q + w = -2*x - 0, -15 = 5*x + 5*q. Is (-780)/x + (-6)/(-6) a prime number?
False
Let w(j) = j**3 - 20*j**2 + 19*j - 18. Let s be w(19). Let n be ((-4530)/s)/((-2)/(-6)). Suppose 2*q + 3*z + 0*z = n, -759 = -2*q + z. Is q composite?
False
Suppose 2*o + 55703 = 3*x, -4*x + 108*o - 103*o = -74266. Is x a composite number?
True
Let i(h) = -37*h**2 + 3*h - 1. Let q be i(-6). Let f(k) = 257*k + 3. Let w be f(9). Let x = w + q. Is x a composite number?
True
Let s = 12 - -170. Suppose s = n - 111. Is n composite?
False
Let h = -1014 - -2128. Is h a prime number?
False
Suppose -y = -5*k - 4, -3*y + k + 20 = 2*y. Let d be (8 - (-152)/(-16))/((-6)/20). Suppose -z + 2550 = y*z + 5*n, -d*z + 2500 = -5*n. Is z prime?
False
Let k(x) = -x**3 + 11*x**2 + 12*x - 13. Let r(p) = -2*p + 12. Let u be r(5). Let c be (-1)/u*0 - -11. Is k(c) a composite number?
True
Is 5/2*(-15986590)/(-925) a composite number?
False
Let v = -1251 + 534. Let c = -1011 - v. Let l = c + 551. Is l a prime number?
True
Suppose -2*w = -0*w - 4. Let c(j) = -6 + 5 + 5*j**2 - 4*j**w + 7*j. Is c(4) a prime number?
True
Let g(c) = -c**3 - 15*c**2 + 17*c + 23. Let a be g(-16). Is (-20)/(-70) + 1097/a composite?
False
Suppose -6*n = -82 + 322. Let l = 126 + n. Is l prime?
False
Let b be (4/((3 - 5)/2))/2. Is b/((-30)/(-75)*(-5)/89) prime?
True
Let l be (12540/(-24))/(1/(-2)). Suppose -836 = -4*y + 3*m, -10*y + 5*y = m - l. Is y a prime number?
False
Is (70/(-21))/(8/(-20316)) composite?
True
Is (-1431 - 20)/(2 + 189/(-93)) a prime number?
False
Let d(w) = -w**3 + 3*w**2 + 2*w + 3. Let a be d(4). Let f be (1*-1)/(a/55). Suppose f + 66 = l. Is l a prime number?
False
Let u = 12776 - 627. Is u prime?
True
Let w be 3/5 + 44/10. Suppose 10 = -w*d - 0, l + 4*d + 6 = 0. Suppose -5*h + 270 = -2*u - 3*u, -l*u - 273 = -5*h. Is h composite?
True
Let b = 881 - 1614. Let d = 2029 + b. Is 2/(-10) - d/(-5) composite?
True
Suppose 6 = 3*a, -2*w - a = -7*w - 32. Let j be 3*(w/(-2) - 2). Suppose 128 = j*c - 145. Is c a prime number?
False
Let d = 92 + -88. Is (42/(-30) - d/(-10)) + 3272 a prime number?
True
Suppose 13*j - 218801 = 44930. Is j a composite number?
False
Suppose 23*t = 62*t - 2311023. Is t composite?
True
Is 6522/(-8)*(124/(-12) + 1) a prime number?
False
Suppose -2*p - 25365 = -7*p + 2*r, 0 = r + 5. Is p a composite number?
True
Let r(c) = 2*c**2 + 8*c - 7. Let x be r(-5). Let i(w) = 22*w**3 - 2*w**2 - 5*w + 4. Is i(x) a composite number?
True
Let h(c) = 2*c + 8. Let w(v) = -3*v - 7. Let t(u) = -6*h(u) - 5*w(u). Let z be 3 - 6 - (0 + -11). Is t(z) prime?
True
Let r(c) be the second derivative of 141*c**3/2 + c**2/2 + 12*c. Is r(4) a prime number?
True
Suppose 0 = -31*l + 741 + 468. Is l a prime number?
False
Let w(v) = -191*v + 5. Let z(s) = 192*s - 6. Let n(i) = 4*w(i) + 3*z(i). Is n(-18) prime?
False
Suppose 3*u - 95 = -2*z, 5*z - u - 105 - 158 = 0. Is 120731/z + 3/(-4) a prime number?
False
Let s = 5844 - -16026. Is (-3)/5 - s/(-75) a prime number?
False
Suppose 5*j + 2838 = 5*l - 3087, -8 = -4*j. Is l prime?
True
Let j be 1/(-2) + 4/((-8)/(-3)). Is 17600/30 - ((-4)/(-6) - j) a prime number?
True
Suppose -2*q - 2*k = -q - 17332, 2*k = -4*q + 69322. Suppose -39*i - q = -44*i. Is i a composite number?
True
Let r be (-3)/((-100)/(-56) - 2). Let v(s) = 17*s + 15. Is v(r) a composite number?
True
Let l = -15044 - -21813. Is l a composite number?
True
Let x = -164 + 243. Is x a prime number?
True
Let u(a) = -a - 3. Let z be u(-7). Let m(x) = -x**3 + 5*x**2 - 4*x + 1. Let h be m(4). Suppose 77 = z*v + h. Is v prime?
True
Suppose -264 = -s + 5*h, -5*s - h + 6*h + 1360 = 0. Suppose -4*n + 294 + s = 0. Suppose -5*q = -2*y - q + n, -5*y - 5*q = -325. Is y prime?
True
Let w be -2 - (-2 - (4 - 0)). Suppose 4*a = -4*z + 768, -w*a = -5*z - 408 - 369. Let h = a - 102. Is h a prime number?
False
Suppose 5*l - 2*i = 17, 5*l - 10 = -i + 4. Suppose -5*f + 2*g = -3395, 0*f = 2*f - l*g - 1369. Is f a prime number?
True
Let w(v) = v**2 + 9*v - 6. Let a be w(-10). Let o(d) = d**2 - 8*d - 3. Let m(q) = 3*q**2 - 17*q - 7. Let j(t) = a*m(t) - 9*o(t). Is j(-6) prime?
True
Let q(n) = -n**3 - 12*n**2 - n - 8. Let k be q(-12). Is (k/(-6))/((-18)/39717) a composite number?
False
Let b(p) = -2*p + 6. Let f be b(4). Let w be (f + 9)*(3 + 66). Is 8 + -4 + 0 + w a composite number?
False
Let c(i) = i**3 - 14*i**2 + 5*i + 7. Let d(b) = -24*b + 9. Let l be d(-3). Let f be (-18)/l + 128/9. Is c(f) prime?
False
Let j be ((-115)/(-3))/(2/78). Let q = 2136 - j. Is q a prime number?
True
Let x(v) = 364*v**2 - 2*v - 9. Is x(4) a composite number?
False
Suppose -i = -6*i + 3*m + 59945, 5*m - 35967 = -3*i. Is i prime?
False
Suppose 135 = -2*o - 2*p + 443, -3*o + 2*p = -477. Is o a composite number?
False
Let q(b) = 7*b**2 - 3*b - 1. Suppose 9 - 5 = -2*r. Let f be q(r). Suppose -f = -2*y - 3. Is y a composite number?
True
Suppose 13*b = 7*b. Suppose 0 = -b*p - p + 493. Is p prime?
False
Suppose -