ose 0 = 2*w + a - 2018. Suppose 2*d + w = 6*d - 2*j, 1083 = 5*d + 2*j. Is d prime?
False
Suppose 0 = 4*y + 5*n - 121586, -5*y - 8*n = -7*n - 151993. Is y composite?
True
Let k = -25 - -38. Suppose -k*m - 4468 = -17*m. Is m prime?
True
Suppose 0 = -50*w - 9*w + 1739497. Is w a prime number?
True
Let j = -33 + 28. Is ((-420)/(-75))/((-2)/j) a composite number?
True
Let t(u) = -14*u**3 - u**2. Let p be t(1). Let c(b) = b**2 + 9*b - 17. Let g be c(p). Suppose -g = -5*a + 192. Is a a prime number?
True
Let a(l) = 2789*l - 4. Is a(1) prime?
False
Let r(j) be the second derivative of 0 - 7/6*j**3 - j - 2*j**2 + 1/12*j**4. Is r(-6) a prime number?
False
Suppose -38 = -2*d - 34. Let g(o) = 2*o + 46*o**3 - 33*o**2 + 13*o**d + 3 + 16*o**2. Is g(2) a prime number?
True
Let f(d) = 4125*d - 2. Is f(3) a prime number?
True
Suppose 2*t = -4*y + 4*t - 6, -4*y + 4*t = 16. Let a(n) = -2*n + y - 4*n**2 + 2*n + 18*n**2. Is a(-3) a prime number?
True
Let t = -3 + 4. Is (t - (3/(-3) + -671)) + -4 composite?
True
Let d = 1 + 3. Is 118 - (72/d)/6 a composite number?
True
Suppose 0 = 4*j + o - 3616, -3*j - 6*o = -8*o - 2723. Is j a prime number?
False
Suppose 133*q = 134*q - 15259. Is q composite?
False
Let f(u) = 38*u**2 - 3*u. Let n = 9 + -7. Let b be f(n). Is (2 + b)*(-35)/(-20) a prime number?
False
Suppose -5*m = -11 - 49. Is -1*m/(-8)*-6*-1 a prime number?
False
Suppose 0 = 3*i - 6*o + o - 3, 3*o = -5*i + 39. Let f be 1*i*11/33. Suppose 2*z - 372 = -4*y + 6*z, f*z = -2*y + 202. Is y prime?
True
Let s(q) = 1. Let z(g) = g - 22. Let c(i) = -3*s(i) - z(i). Let b be c(14). Suppose 3*j - 4*x - 697 = 0, -b*j + 3*x + 1179 = 5*x. Is j prime?
False
Let c be (-2)/((-52)/(-20) + -3). Suppose -5*s - i = -449, c*i = -3*s - 0*i + 287. Is s composite?
False
Is (13/(-26))/(((-9)/27186)/3) a prime number?
False
Suppose -1 = -y + 4. Suppose -4*q - 399 = -3*c, 2*c - y*q + 501 = 6*c. Is c a prime number?
False
Suppose -2*k = -3*k. Suppose -4*v - 4933 + 14429 = k. Is v prime?
False
Suppose -2*o = -6, p = 3*p + 5*o - 6461. Is p prime?
False
Let t be (-14)/(-4) + 21/6 + -2. Suppose -2*s = 5*x + 1699 - 6046, -t*x = -3*s - 4367. Is x a prime number?
False
Let r be (-1)/2*(0/(-3) - 0). Is 1064 + (-10)/(-2) + r + 0 a prime number?
True
Let s(r) = r - 1. Let j be s(1). Let o = -30 - -37. Suppose j = -g + o. Is g a composite number?
False
Let v be 3 - (-2)/(-2)*1. Suppose 6*j = 4*a + v*j - 8, -3*a - 5*j + 38 = 0. Suppose -2 + a = 2*t. Is t prime?
True
Suppose -4*f = -9*f + 75. Suppose -10*x + 5*x = f. Let g = x - -226. Is g a prime number?
True
Let z(b) = 41*b**2 - 14*b - 7. Let x be z(11). Let d = -3143 + x. Is d prime?
True
Suppose 57376 + 32043 = 11*u. Is u a prime number?
False
Suppose -23*x + 150225 + 361042 = 0. Is x prime?
True
Let k be 17 - 17 - 1/(2/4). Let f(o) = 33*o - 3. Let t be f(4). Is t + (0 + 1)*k composite?
False
Let f = 1762 - 1233. Is f a composite number?
True
Let s(u) be the second derivative of -1/10*u**5 + 0 + 3/2*u**2 + u + 1/12*u**4 + 5/6*u**3. Is s(-4) prime?
True
Is 957/4 - (-10 + 287/28) composite?
False
Suppose 2*c + 2 = -y + 4, -2*y + 4 = -2*c. Let r(m) = 3*m + 10. Let b be r(c). Is 212/b + (-4)/20 a composite number?
True
Let t(b) = 17*b + 419. Is t(6) prime?
True
Let c be 1*5*(2 + -1). Let g be -5*(4/(-20))/(-1)*-2. Suppose g*p + 234 = 2*n, -212 + 789 = c*n - 3*p. Is n a prime number?
True
Suppose 0 = 2*r + 4*s - 30, 0 = 4*r - r - s - 24. Suppose 0*i + r*i - 56223 = 0. Is i a composite number?
False
Is ((-23)/(-2))/(15/(4695 + 15)) composite?
True
Let x(m) = 10*m**2 + m - 10. Let j(f) = -f**3 - 4*f**2 - 3*f - 2. Let b be j(-3). Let w = -3 + b. Is x(w) composite?
True
Let c(b) = b**3 + 26*b**2 + 26*b + 30. Let m be c(-25). Suppose 5*u + 4*h - m*h = 5333, 3*u - h - 3199 = 0. Is u prime?
False
Let p be -4 - (-11 - -3) - -1208. Is p/18 + (-1)/3 composite?
False
Let v be (4/(-3))/(14/21). Let r be (-3 - (v + -219))/(-2). Let u = -63 - r. Is u a prime number?
False
Let p(o) = o**2 - o - 2. Let d be p(3). Let f be (1 - (-20)/d) + -2. Is ((-74)/f)/((-5)/110) prime?
False
Let x = 1847 - 1146. Is x a prime number?
True
Let z = 7039 - 2990. Is z a composite number?
False
Is 21866 + (-1 - (-2 + 4)) prime?
True
Suppose 2*c - 97730 = 5*q + 7610, -c = -5*q - 52675. Suppose -12*t - 3*t = -c. Is t composite?
False
Let b(h) = -5543*h + 132. Is b(-5) a composite number?
False
Suppose 0 = 2*w + 2*w - 136. Let o = w - 23. Is 4/22 + 1791/o a prime number?
True
Suppose 0*a = 3*a + x - 7, -2*a - 4*x = 2. Suppose -c + 16 = a*c. Suppose -285 = -c*b - 3*d, 43 = 5*b + 5*d - 317. Is b composite?
True
Let n be (-1 - -2)*0/3. Suppose 4*x - 710 - 606 = n. Is x prime?
False
Suppose 22*f - 29327 = 25739. Is f composite?
False
Let d = 1234 + 745. Is d a composite number?
False
Is (7 - 2*(-2 - -5)) + 4906 a composite number?
True
Let h(a) = -a**3 - 5*a**2 + 6*a + 3. Let m be h(-6). Let v be (-45)/(-30) - 2/(-4). Suppose 0 = -2*k - 4*b + 206, -m*k - 4*b = -v*b - 297. Is k a prime number?
True
Suppose 0*d - d = -5. Suppose 5*f + 3*s - 3019 = -962, -2029 = -d*f + 4*s. Is f a composite number?
False
Suppose 5*n - 44609 = -2*f, -n + 2*f + 8908 = 7*f. Is n a prime number?
True
Let k(o) = o**2 - o + 126. Let y be k(0). Let j be (-2)/(-5) - y/(-35). Is 2/j + (-3087)/(-6) a prime number?
False
Let s be (10/3)/(28/42). Suppose 0*q - 5*q = -10. Suppose -s*z - 4*g = -57, -3*z - 3*g + 18 = -q*z. Is z a prime number?
False
Let i(w) = 97*w**2 + w + 1. Let v be i(-2). Suppose -n + 22 - 146 = 0. Let z = v + n. Is z a prime number?
True
Let z(c) = c**2 + 4*c - 6. Let h = 13 + -19. Let a be z(h). Is ((-134)/a)/(1/(-9)) a composite number?
True
Let m(c) = 59*c**2 - 8*c - 8. Is m(-5) a composite number?
True
Suppose 3*i + s = 13160 + 5034, -4*i - 4*s + 24256 = 0. Is i a composite number?
True
Suppose -2*y + 337 = 5*n - 662, y + 1008 = 5*n. Is n composite?
True
Let y(q) = -43*q - 51. Let c be y(21). Let j = -437 - c. Is j composite?
True
Let p(j) = -43 + 24 + 18 + j**2 + 254*j**3. Is p(1) composite?
True
Suppose 4*b = -2*v + 43206, -10*v + 14*v = 20. Is b prime?
True
Let h(p) be the first derivative of p**4/4 + 14*p**3/3 - 15*p**2/2 + 4*p + 7. Let a be h(-15). Is (a - 2)*388/8 a prime number?
True
Let u = 419 - -3358. Is u a composite number?
True
Let o = 78381 + -54534. Is o composite?
True
Let y(p) = 12*p**2 - 6*p + 2. Let l be y(1). Suppose 16*v - 5560 = l*v. Is v prime?
False
Let z(b) = -8*b**2 + 17*b - 12. Let q be z(15). Let v = q + 3380. Is v a prime number?
True
Let c be 0*(2 - 21/9). Let p(b) = b**3 - 6*b**2 + 9*b - 1. Let z be p(4). Suppose d - 83 = -x, z*x = -c - 6. Is d a prime number?
False
Let f(j) = -2 - 29*j - 40*j + 33*j - 58*j. Let b be f(-3). Suppose -5*y + 90 + b = 0. Is y prime?
False
Let p = 6104 - 2497. Is p a prime number?
True
Let r(v) = -2*v**3 - 26*v**2 + 12*v - 29. Is r(-20) a composite number?
True
Suppose 6 = 2*l, -u + 854 = 5*l - 245. Suppose 3*s - u = 8405. Is s a prime number?
True
Suppose 0 = -2*q - t + 23141, -60*t = -64*t + 12. Is q a composite number?
True
Let w(h) = 302*h + 262. Is w(26) composite?
True
Suppose 5*u - 146 + 181 = 0. Let a(z) be the second derivative of -z**5/10 + 3*z**4/4 + 2*z**3 + 6*z**2 - z. Is a(u) composite?
True
Suppose 33*n - 84*n = -74307. Is n composite?
True
Is ((-717426)/27)/(2/(-3)) composite?
False
Suppose 4*a - 4012 = -m - 519, -3*m = 3*a - 10506. Is m composite?
True
Suppose 6*q - 70 = 9356. Is q a prime number?
True
Suppose 3*q - 10893 - 8266 = 2*p, -4*p - 2*q = 38294. Is 7/(4 + p/2395) prime?
False
Suppose -3*v + 12*v + 4248 = 0. Let r = v - -761. Is r a prime number?
False
Let q = 19 + -16. Suppose -3*a = -q*s - 2*a + 1139, -3*s = 3*a - 1131. Is s composite?
False
Let j(k) = 43*k**2 - 2*k - 19. Let w be j(5). Suppose n - w = -3*q, 5*q + 1199 = 4*n - 3070. Is n a prime number?
True
Let u(p) = -p - 3. Let l be u(-4). Is (-4 + l - -6) + (1057 - 1) prime?
False
Let d = 7 + 4. Suppose d + 4 = 5*z. Suppose -2*s - 4073 = -z*c, -2*s + 1544 = c + 173. Is c a prime number?
True
Suppose -757 + 184 = 3*x. Let u = x + 382. Is u a prime number?
True
Suppose -2*r = 3*d - 2372, -2*d + 996 = -r - 583. Suppose -d = -0*g - 5*g. Is g composite?
True
Let s be (2 + -3)/(3/(-42)). Let c = 0 + s. Suppose 2*i + 3*t - 41 = 0, -2*i + 5*t = i - c. Is i composite?
Fals