0*s + 4*r + 331 = -s. Let v = 640 + s. Is v prime?
True
Suppose 8*k + 90 + 86 = 0. Suppose 13 + 12 = 5*v. Is (1 - k)/((2/v)/2) a composite number?
True
Suppose -5*w - 2*c = -5, -20 = -5*w - 0*c - 5*c. Let l be 282/(2 + (-4)/(-8) + w). Suppose 6*u + l = 878. Is u a prime number?
False
Let x(j) = 2*j**2 - 20*j - 27. Let s be x(-9). Suppose 314*k = s*k - 2359. Is k a composite number?
True
Suppose d = -0*d - 33. Let m = -32 - d. Is -4348*m/(-28) + 2/(-7) prime?
False
Let w(h) be the third derivative of h**5/60 - 3*h**4/8 + 10*h**3/3 - 21*h**2. Let b be w(6). Suppose -2002 = b*p - 6036. Is p a composite number?
False
Let y(w) = -93*w**3 - 5*w**2 - w - 3. Let r be (-4 + 5)*(-2 + 5 - 0). Suppose r*d + d + 8 = -4*a, a = -3*d - 10. Is y(d) prime?
False
Let b(p) = p**3 - 14*p**2 + 4*p + 28. Suppose 2*u + 3*u + 2*f = 88, -4*u - 2*f + 70 = 0. Let d be b(u). Let w = d - 323. Is w composite?
True
Let l(o) = -3884*o - 2785. Is l(-9) prime?
False
Suppose -4*g = n + 2, 5*n - 8 = -0*g - 2*g. Is (9/(-27))/((-1)/(-2235)*g) prime?
False
Suppose 59*v = 54*v + 25. Is (-3*5/(-45))/(v/118005) a composite number?
False
Let q(i) = -i + 35. Let o be q(32). Suppose -5*z + o*b + 1852 = 0, 5*b + 297 = 3*z - 811. Is z a prime number?
False
Let f(j) be the first derivative of 7 - 22*j + 5/2*j**2 + 1/4*j**4 + 5*j**3. Is f(-11) a prime number?
False
Let d(c) = 1216*c**3 - 1 - 7237*c + 3*c**2 - 7233*c + 14469*c. Suppose 6 = 4*s + 2. Is d(s) a prime number?
True
Suppose 2*z + 14 = 5*q, -26*z + 27*z - 4*q = -13. Suppose 0 = z*v - 4*u - 9617, 2*u = -2*v + 4*u + 6408. Is v composite?
True
Let g(j) = -31*j**3 - 17*j**2 + 108*j + 1433. Is g(-12) prime?
True
Let i(q) = 67031*q**2 + 40*q + 38. Is i(-3) a prime number?
False
Let p(r) = 2*r + 2. Let t be p(1). Is ((-4)/(-6))/(t/85674) - -2 a prime number?
True
Let c(p) be the third derivative of 73/24*p**4 + 0*p + 6*p**2 + 0 + 2/3*p**3. Is c(3) a composite number?
False
Suppose -4*s = -0*s - 360. Let g(x) = -17*x - 5. Let n be g(3). Let f = s + n. Is f prime?
False
Let o be 3/3*(0 - -4). Suppose -o*u - 18830 = -0*f - 2*f, 28217 = 3*f + u. Is f prime?
False
Suppose -2*t + 4*v + 936355 = -t, v - 2809156 = -3*t. Is t prime?
False
Is 2/7 - ((-50923620)/126)/22 composite?
False
Suppose -b + 5*b = 4*v + 32, 85 = 5*b + 4*v. Suppose b*o - 10*o = -2*y + 17, -2*y + 5 = -o. Suppose -1169 - 2235 = -y*c. Is c a composite number?
True
Let q(w) be the first derivative of 11*w**3/6 + 12*w**2 + 14*w + 14. Let i(h) be the first derivative of q(h). Is i(17) composite?
False
Let p = -275177 - -576106. Is p a prime number?
True
Let k be (19 + -20)/((-1)/(-5)). Is -3 + 10330/(-25)*k prime?
True
Let g = 362 + -725. Let a = 614 + -1494. Let c = g - a. Is c prime?
False
Suppose 0 = -1046*b + 982*b + 5148608. Is b prime?
True
Is (1845030/(-44))/(12/(-8)) composite?
True
Suppose -2843538 + 35895960 = 26*i. Is i prime?
False
Let p = 344220 - 126661. Is p a prime number?
True
Is (-70818685)/(-255) - (4/3 + -2) a composite number?
True
Let i be (0/(-1))/(7/7). Suppose 18 - 3 = 15*m. Is (-4 - -1 - -2930)/(i + m) composite?
False
Suppose -5002 = 4*r - 5*r + 5*l, 4*l = r - 5003. Is r composite?
True
Let d be (-10)/(240/(-901746)) - (-2)/8. Let a = d - 21516. Is a a composite number?
False
Let t = 49580 - -1959. Is t prime?
True
Let t(m) = -m**2 + 15*m - 60. Let r be t(10). Let p(k) = -79*k + 11. Let c(v) = 236*v - 33. Let n(x) = -4*c(x) - 11*p(x). Is n(r) composite?
False
Suppose 2*w - 981 = -h + 2607, 5*w = -4*h + 14343. Let c = 5449 - h. Is c composite?
False
Suppose 20*x - 190 = x. Suppose -j - 45059 = -2*k, 0 = -x*j + 7*j + 9. Is k a prime number?
True
Is ((-1754412)/198)/(4/(-6)) prime?
True
Let c(d) = 18*d**2 + 8*d - 141. Suppose 18*b = -370 - 188. Is c(b) prime?
False
Suppose f = -3, -517*l - 2*f + 50659 = -512*l. Is l composite?
False
Suppose -265 = -4*s - 1233. Let b be s/(-33) - (-4)/6. Is (3*(-3656)/(-36))/(b/12) composite?
False
Let p(r) = r**3 + 3*r. Let q be p(3). Let m = q + -35. Is (-190)/(-4) - 12*m/8 a prime number?
False
Is ((-34536)/(-464) - (-4)/58)/((-6)/(-4764)) a composite number?
True
Let u(o) = 1958*o**2 + 2*o. Let y be u(1). Suppose 3*l = 7*g - 12*g + 1168, 5*g + y = 5*l. Is l composite?
True
Is -1285265*(((-121)/(-165))/(-11))/((-1)/(-3)) prime?
True
Suppose 11*r - 16*r + 4865270 = 4*f, 3*r + 3*f - 2919162 = 0. Is r a prime number?
False
Is ((-6585267)/(-13))/(9 + -6) prime?
False
Suppose 3*b + a - 11 = 1, -2*b + 3*a = 3. Suppose -y + 5*r - 2461 = b*y, -y + 4*r = 629. Let f = 1354 + y. Is f a composite number?
True
Suppose 0 = 2*w + 2*u - 18, w + 4*u = 6*u - 3. Let s be 3 + -6 - -5 - -3. Suppose 2*v = d + 151, s*v - 169 = 3*v - w*d. Is v a composite number?
True
Is (-11957140)/(-325) + (-1)/5 composite?
False
Let q be -1*(2 + (-1 - 1)). Suppose 2*s + 4*j = -q*s - 24, s = -j - 7. Let z(l) = -168*l - 7. Is z(s) prime?
False
Let s(b) be the first derivative of -7/2*b**2 - 9 + b**3 - 9/4*b**4 + 7*b. Is s(-6) prime?
False
Let h(z) = z**2 + z + 6585. Let s(b) = 3293. Let f(o) = -o**3 - 22*o**2 - 23*o - 37. Let p be f(-21). Let q(c) = p*s(c) - 2*h(c). Is q(0) composite?
True
Let r(w) = -3*w**2 + 21*w - 71. Let q be r(26). Let d = q - -2812. Is d a prime number?
True
Suppose -177*r = 195*r - 420368556. Is r prime?
True
Let d = -34 - -22. Let i(p) = -33*p + 14 - 16*p + p - 27. Is i(d) a composite number?
False
Let m(l) = 8*l - 152. Let d be m(22). Is (23524/(-8))/(-1) - (-12)/d a prime number?
False
Is (12 + -8)*(10 + -9 - 412874/(-8)) composite?
True
Suppose 5*f - 36*l = -31*l - 64545, 0 = f + 3*l + 12913. Let j = 22773 + f. Is j a composite number?
True
Let n(v) be the second derivative of v**4/12 + v**3/6 - v**2/2 + 4*v. Let a(l) = -24*l**2 - 3*l + 8. Let y(m) = -a(m) - 3*n(m). Is y(-4) composite?
False
Suppose 0 = 5*u + 14*u + 627. Let a(z) = -881*z + 338. Is a(u) a prime number?
True
Suppose 5*j + 3*c + 19874 = 61281, -1 = c. Suppose -3*x = u - j, -2*x + 0*x = 2*u - 5520. Is x composite?
True
Let d(a) = 5*a**2 + 3*a + 4. Let t be d(3). Suppose 0 = -t*c + 60*c - 2. Is (((-42)/12)/c)/((-2)/1948) a prime number?
False
Let q be (8/3)/(-4) - 1948882/(-69). Let j = 105 + q. Is j a prime number?
True
Let w = 39 - 37. Let l(x) = 17*x + 15*x**2 - 9*x**w + 13*x**2 - x**3 - 1. Is l(12) composite?
True
Suppose 4*y = -n + 21360, 0 = n - 4*n - 2*y + 64130. Suppose 2*r + 3*r - n = 0. Suppose 6*z - 2*z - r = 0. Is z composite?
False
Suppose -2*z - 3*p + 1094285 = 0, 49*z + 2735750 = 54*z - 5*p. Is z composite?
True
Let l = 274 + -171. Suppose 4*g + 3*m = 442, g - l = 3*m - 0*m. Is g a composite number?
False
Suppose 30*y - 19440112 = 10446878. Is y prime?
False
Let g be (-14)/(-5)*65/26. Suppose g = -7*k + 350. Is k composite?
True
Let y(f) = 174*f**2 + 10*f - 6. Let j(d) = 10*d + 261*d**2 + 266 - 271 - 88*d**2. Let v(q) = 7*j(q) - 6*y(q). Is v(-4) a prime number?
True
Let x(s) = -4*s**3 - 23*s**2 + 28*s + 32. Let q(d) = d**3 + 1. Let r(p) = 5*q(p) + x(p). Is r(25) prime?
True
Let d(c) = 1. Let i(v) = 9*v**2 - 3*v + 20. Let j(r) = -3*d(r) + i(r). Is j(-5) composite?
False
Suppose 433*c - 456*c = -17282453. Is c prime?
True
Let z = 419956 + -95183. Is z a composite number?
False
Suppose 6014 + 13776 = 5*j. Let c = 5829 - j. Is c a composite number?
False
Let q(f) = -f**3 - 10*f**2 - 6*f - 6. Let k be q(-9). Let l = 37 + k. Is l/(-18) - (-13882)/18 prime?
False
Let o = 375 + -370. Suppose -h = -2*h + u + 3050, -3*u + 15226 = o*h. Is h composite?
True
Let y(d) = d**3 + 22*d**2 + 14*d + 67. Suppose 3*q + 45 = -3*h, 4*q - 6*h = -8*h - 70. Is y(q) a prime number?
True
Let h be (-1)/4 - (-4)/16. Suppose -10*z - 6*z + 9808 = h. Is z prime?
True
Let k = 12 - -32. Let h = k - 42. Suppose j - 5*f = 5*j - 5819, -h*j = 2*f - 2912. Is j a prime number?
False
Let f be -53562*(5/3 + -2). Suppose 7*p + 473 = f. Is p composite?
True
Let d = -415773 - -701116. Is d a prime number?
True
Let r(q) = 121*q**2 - 193. Is r(24) composite?
True
Let b(s) = 2*s**2 - 15*s + 27. Let h be b(5). Suppose -h*a + 2*k = -5302, 4*a - 5*k - 10602 = -0*a. Is a a composite number?
True
Let j(c) = -5*c + 24. Let s be j(-12). Suppose 79 = -5*g + s. Let z(x) = 919*x + 4. Is z(g) a composite number?
True
Let l(h) = 262*h + 2043. Is l(43) a prime number?
True
Let g = -828 - -829. Is (-91511)/(-7)*1/(g 