u, -5*j + j = -u - 1488. Is j a composite number?
True
Suppose -3*s - 221 = -3*x + x, 3*x + 5*s = 303. Let b = x - 57. Is b a prime number?
False
Suppose -m - 4*i - 313 = 31, m + 347 = -5*i. Let k = 1077 + m. Is k a prime number?
False
Suppose -4*h = -2*h + 1326. Let v = h - -1568. Is v a composite number?
True
Suppose 4*t + 253 = 2*k - t, -280 = -2*k - 4*t. Let s = 29 + k. Is s a prime number?
True
Let o(r) = -r**2 - 8*r + 11. Let j be o(-9). Let g be 3/j - 1526/(-28). Let m = -3 + g. Is m composite?
False
Let m(d) = -4*d**2 - 4*d - 4. Let n be m(-3). Let r be -1 + (-7)/(n/2344). Suppose r = 4*j + u, -u + 4 = -1. Is j a prime number?
False
Is 78/104 - (-20258)/8 a prime number?
False
Suppose -6*z + 1 = 25. Is (-17)/34 + (-894)/z a composite number?
False
Suppose -11*d - 25*d = -37980. Is d a composite number?
True
Suppose 3407 = 4*u - 8*n + 3*n, -4*u = 3*n - 3383. Suppose -3*h = 5*b - u, -4*h = -2*b + 3*b - 1142. Suppose 5 = 4*q + 3*v - h, 5*q = 4*v + 325. Is q composite?
True
Let m(s) = 91 - 8*s - 3*s + 5*s + 3*s. Is m(0) a prime number?
False
Suppose 0 = 6*r + 12*r. Let q be (-1 - -2)*(-2344)/(-4). Is (r - 2)*q/(-4) composite?
False
Let f be 5 + (-3 - -1) + -2 + -5. Is (-2)/f - (-2005)/10 composite?
True
Suppose -116*n = -102*n - 261814. Is n composite?
False
Let t = 15 - 18. Let w be (6/t)/((-4)/(-14)). Is w/(7/(-680)) + 3 composite?
False
Suppose 0 = a - 22036 + 4023. Is a prime?
True
Let t be 5/(-20) + 419/(-4). Let i be t/(-25) - 2/10. Is (2/i)/((-1)/(-514)) prime?
True
Let f = -7 + 6. Let g = f - -7. Suppose g*z = z + 2215. Is z a composite number?
False
Let y(m) = 9*m + 10. Let c be y(2). Is 8143/7 - 4*2/c a composite number?
False
Suppose -5*y + 28*y - 69989 = 0. Is y composite?
True
Is 10902 + (5 + -6 - (-4)/2) a composite number?
False
Let g = -46 - -111. Let d = g - -48. Is d a prime number?
True
Let s = -436 + 983. Let y = -252 + s. Is y a prime number?
False
Suppose -a + 1485 = -5422. Is a a composite number?
False
Let h(v) = -v**2 + 8*v - 8. Let x be h(6). Suppose 21 - 9 = x*p. Suppose -2*j = q - 357, -p*q + 171 = -j - 935. Is q a composite number?
False
Let c(g) be the first derivative of -g**5/60 + g**4/12 + 869*g**3/6 + 3*g**2/2 + 6. Let u(i) be the second derivative of c(i). Is u(0) a prime number?
False
Let k be ((-54)/(-15))/((-5)/100). Let n = 123 + k. Is n prime?
False
Let k be (-8932)/42*(1 - -2). Let f = k - -903. Is f composite?
True
Let a be -4 + (3 - (60 + 2)). Let k = 466 - a. Is k a composite number?
True
Suppose 27 = 3*h + 5*g, 0 = 4*h - g - 11 - 2. Let w(a) = a + 6. Let u be w(0). Suppose -4*t + 80 = -2*q, u*t - h*q - 76 = 2*t. Is t a prime number?
False
Let m(u) = 7*u**2 + 1 + 13*u**2 + 4*u**2 + 0*u**2. Is m(-2) composite?
False
Let f = -226 - -1017. Is f prime?
False
Suppose -x + 0*x = -3. Suppose -i + 417 = x*h + 2*i, h = -2*i + 134. Suppose 4*m - 60 = h. Is m a composite number?
True
Suppose -6*f = -3313 - 2585. Suppose -5*y - f = -4*m, 3*m + 2*m = 3*y + 1232. Is m prime?
False
Suppose -5*a + 2*p + 15 = 0, -2*a - 5*p = -3*a + 3. Suppose -a*h - 3*q = -1722, h - q - 4*q - 574 = 0. Suppose -l + h = l. Is l a prime number?
False
Let u = 25653 - 16562. Is u prime?
True
Suppose 3*n - 153 = 2*a, -n - 3*n = -4*a - 308. Is (-6)/(-4)*(-42692)/a a composite number?
False
Suppose -458 = -4*h - 2*d, -119 = -8*h + 7*h - 2*d. Is h prime?
True
Suppose 6*s + 15 = 7*s. Let q = s + 652. Suppose 3*h = 5*p - q, 2*h + 270 = 2*p + 4*h. Is p a prime number?
False
Suppose 0 = -2*z + 4*z - 10. Suppose -27 = -4*b + 3*t, z*b - 4*t = -9*t - 10. Is 1/b + 1760/30 a prime number?
True
Let s = 16 - 14. Let w be s + (-3)/3 + -5. Is (328 - 1) + 8 + w a prime number?
True
Let s(y) = -2*y**2 + 11*y + 1. Let l be s(-8). Let c = l + 474. Is c a composite number?
True
Let c be 20296/20 - (-2)/10. Let p be 2/(-2) - -1 - -6. Suppose -x = -p*x + c. Is x a composite number?
True
Let x be 0/(1/(-1)*2). Suppose 4*s = -x*s + 8. Suppose -s*a = -5 + 1, 3*p + 2*a = 757. Is p a prime number?
True
Let u = -31 - -36. Suppose -p - 5*o + 829 = 0, 2*p + u*o - 1635 = 23. Is p prime?
True
Let i(o) be the second derivative of o**5/20 - 3*o**4/2 + o**3 - 11*o**2 - 9*o. Let c be i(18). Is 0 + c - (-4)/(-1) composite?
True
Let k(l) = 1181*l**2 + 2*l + 1. Let o be k(-1). Suppose -98*g = -92*g - 12. Suppose g*a - o = -2*a. Is a prime?
False
Let d be 24/(-2)*2/(-8). Suppose -5*h = d*l + 7, -2*l - 2*h + 2 = -0*l. Is 1/((l/1191)/2) composite?
False
Let s = 121 + -119. Suppose p = -s*q + 304, -5*p + 569 = 5*q - 976. Is p composite?
True
Suppose 7*d - 12*d + 13505 = 0. Let b = d - -3546. Is b a composite number?
False
Suppose -405353 = -5*n - 5*h + 3*h, 5*h = 4*n - 324289. Is n composite?
False
Suppose 0 = -2*r - k + 18, 45 = 5*r - 3*k - k. Let g = r - 62. Let a = 306 + g. Is a a composite number?
True
Suppose -198297 = -5*p - 15982. Is p prime?
False
Let a(v) = v + 11. Let l be a(-8). Suppose -n + 1081 = 4*z, -4*n + l*n = 2*z - 1089. Is n a composite number?
False
Let i(s) = 6 - s**2 - 1 - 3 + 12*s. Let y be i(12). Suppose 4*t + t = -y*f + 121, t = 2*f + 17. Is t prime?
True
Let n = 146 - -51. Suppose g - 5*g - 12 = 0, -n = -t + 4*g. Is t a composite number?
True
Let o = -2 - 8. Let p be (-38)/o + 1/5. Suppose 0 = b + 2*g + 2*g - 355, 0 = -p*b - 5*g + 1365. Is b composite?
True
Let b(f) = 15*f**2 + 36*f + 26. Is b(11) a prime number?
True
Suppose z - 15 = -5*c, -5*c = 5*z - c - 12. Suppose -3*f - u + 2034 = -z*u, 2*f - 1339 = 5*u. Is f a prime number?
True
Let j = -60 - -62. Suppose 5225 + 405 = j*d. Is d a composite number?
True
Let q = 26 + -112. Suppose 4*p - 5*o = 56, 3*p - 5*o = 19 + 28. Is q/(-3)*p/2 prime?
False
Let g = -57 + -25. Let w = g + 162. Let f = -47 + w. Is f a prime number?
False
Suppose 0*u + z = -u, -z + 25 = -4*u. Let n(d) be the first derivative of -d**4/4 - d**3 - 3*d**2/2 + 2*d + 20. Is n(u) prime?
True
Suppose -5*v + 2*v - 5304 = 0. Suppose 0 = -3*w - 4917 - 4614. Let g = v - w. Is g composite?
False
Let p be (-3 - -944)/(1/3). Suppose p = 5*r + 2*l, -5*r + 3306 - 479 = 3*l. Is r a prime number?
True
Is 16/(-10) - 2243082/(-170) a prime number?
False
Suppose -2*o - 2*o = -4, 0 = 4*a - 3*o - 23169. Is a prime?
False
Suppose 5*y - 9253 = -4*l, 0 = -2*l - y - 4*y + 4639. Is l composite?
True
Let q = -1428 + 663. Let k = 2242 + q. Is k prime?
False
Let h(j) = 75*j - 3. Let t be 40/6 - (52/(-12) + 5). Is h(t) a prime number?
False
Let p(u) = 123*u + 20. Let r be p(5). Is -14*(-2 + r/(-10)) a composite number?
True
Let z = 1577 + 297. Is z a composite number?
True
Is (1477/(-3) + 2)/((-2)/6) prime?
True
Let v(d) = d**2 - 9*d - 7. Let o be v(10). Is (2 + 1039)*(o + -4)/(-3) composite?
False
Suppose -3*z - f = -0*f - 75008, -125010 = -5*z - 5*f. Is z prime?
False
Let x = 106328 - 48025. Is x composite?
True
Let m = 25 - 13. Let k be 3/m - 6/24. Suppose k = i - 57 - 28. Is i composite?
True
Let z = 28536 + -18907. Is z a prime number?
True
Suppose 3*x - 63 = -x + n, -2*x + 24 = 2*n. Let s(q) = 8 + q**2 - 2*q + 2*q**2 + 9 + x*q. Is s(15) composite?
False
Let v(p) = -2 + 1 + p + p - 4*p. Let j be v(-2). Is (-13064)/(-32) - j/(-4) prime?
True
Let y be (789/(-9))/(7/3 - 2). Let a(w) = -3*w**3 + 9*w**2 + 4*w - 10. Let o be a(7). Let t = y - o. Is t a composite number?
False
Let h be -3*6 + (8 - 6). Let z be (3/2)/((-6)/h). Is z/(-18) - (-886)/18 composite?
True
Let p be (0 + 1)/(11/143). Suppose -15*r + 20 = -p*r. Is 2/10 - (-458)/r a prime number?
False
Let o(u) = -u**3 - 17*u**2 + u - 4. Let f be o(-17). Let k be 7/2 + f/(-14). Suppose 0 = -k*m - 0*m + 1955. Is m prime?
False
Suppose 0 = -11*p + 12*p + k - 806, -2*p + 1617 = -3*k. Is p prime?
False
Let i be ((-8)/(-10))/(-3*8/60). Let g(u) = -122*u - 11. Is g(i) prime?
True
Suppose 239 = d - 4*a, -19*d + 14*d + 1285 = -2*a. Is d a composite number?
True
Suppose -6*w + 39 = -3*w. Is w composite?
False
Is -2 - (-5*2/(-10) - 3022) composite?
False
Suppose -7*k - 9*k + 149360 = 0. Is k composite?
True
Suppose 12*w + 0*w = 2388. Is w a prime number?
True
Let u(m) = -m**2 - 1. Let z(w) = -3*w**2 + 3*w + 21. Let n(o) = 2*u(o) - z(o). Is n(15) a composite number?
False
Is (4/6)/(37/639767)*3 a prime number?
False
Suppose 0 = -2*x, 2*x - 984 - 1091 = -5*k. Is k/1 + 6 + -8 a composite number?
True
Is 2795/(-559) + (