130485, 4*u - 104388 = 2*l. Is u composite?
True
Let s(o) be the first derivative of 1/3*o**3 + 1 + 8*o + 0*o**2. Is s(-7) composite?
True
Suppose 25 - 50 = -5*b. Suppose -4*r - 576 = -2*o - 6*r, 25 = -b*r. Is o a prime number?
True
Let a be (-23 + 3)*(-1)/4. Suppose a*u = -5*l - 30, 6*l - 3*l = 5*u + 22. Let g(w) = -10*w + 9. Is g(u) composite?
False
Let v(t) = 6*t**2 + 24*t + 5. Let s(r) = -5*r**2 - 22*r - 6. Let k(f) = 5*s(f) + 4*v(f). Suppose -3*d - h = 20, -2*d - 5 = -0*d - h. Is k(d) a prime number?
False
Let d be (-2 - -4) + -4 - -15. Let c = d - -6. Let g(j) = 3*j - 20. Is g(c) composite?
False
Let x(u) = -133*u**3 - 2*u**2 - 4*u - 3. Is x(-2) a composite number?
False
Suppose -6*g = -12 + 6. Let i(w) = 96*w**2 + 64*w**2 - 17*w**2 + g - w. Is i(2) prime?
True
Is 6/9 + 4 + (-265783)/(-21) prime?
False
Suppose g - 4 - 12 = -c, -4*c + 52 = 3*g. Let v be 1 - (0 + g/(-4)). Suppose -670 = -v*w + 762. Is w composite?
True
Let w = 6655 + 292. Is w a prime number?
True
Let s = -22 - -26. Is (276/9)/(s/6) prime?
False
Suppose 4091142 = 61*a + 5*a. Is a prime?
True
Let v = -664 + 278. Let o = 369 - v. Is o a prime number?
False
Let w = 3935 - 2335. Let a = w + -771. Is a prime?
True
Suppose 5*l + w = -1, -l + 4*w - 1 = 5*w. Is l + 40386/9 + (-4)/12 a composite number?
True
Let b = 6 + -6. Suppose -10*f + 15402 + 10388 = b. Is f a composite number?
False
Let a be (32/6 + -4)*3. Suppose 3*o + 21786 = 3*j, 32672 = 4*j + a*o + 3600. Is j a composite number?
True
Let a(n) = -5*n**3 + 3*n**2 - 20*n - 19. Is a(-11) a composite number?
False
Let u = 37 - 37. Suppose u = -6*y + 654 + 3816. Is y composite?
True
Let k(d) = 6*d**2 - d + 6. Let s be k(-3). Let a be 24/(-14)*s/(-18). Suppose 4*m + 502 = a*m. Is m a composite number?
False
Let u(m) = m**2 + 2*m + 2. Let n be u(-3). Suppose -2*y - 2*i + 2705 = -3*i, -n*y = -i - 6758. Suppose 0 = -7*z + y + 658. Is z a prime number?
False
Suppose 5*a + 4*u = -87, 4*a = 4*u - 27 - 21. Let m = 20 + a. Suppose l + 2*l + m*c = 484, 5*l = -c + 792. Is l prime?
False
Let s be 1/3 + (-74)/6. Let i = 24 + s. Is 24/(-18)*(-603)/i a prime number?
True
Let d = 15827 - 7912. Is d composite?
True
Let h be (-4)/(-6) + (-60)/9. Is (-262)/(-6)*(h - -9) prime?
True
Let i(f) = -f - 8. Let l be i(-10). Suppose -3*y + j = -114, 7*j = 4*y + l*j - 152. Is y a composite number?
True
Let q be -3 - (-7)/((-21)/(-348)). Let k be -2 + q - (1 + -1). Suppose -4*o - t = 2*t - 149, -3*o + k = 2*t. Is o composite?
True
Suppose -5*n - 11 = -1, 3*u = 4*n + 5. Is ((-586)/(-10))/(u/(-5)) a composite number?
False
Let g(f) = -251*f + 242. Is g(-21) composite?
True
Is ((-250)/20 - -13)*(-1 - -20015) a prime number?
True
Is (-4 - (-3198)/(-12))*(-3 + -3) prime?
False
Suppose -4*m - 61 = 5*z, -2*z + 5*m + 5 = 3. Let b be 6/(-4)*12/z. Suppose -2*d + 3*v + 632 = 0, 4*d - 634 = b*d + 2*v. Is d composite?
True
Let o = -22 + 26. Suppose 0 = -4*u - 0*v - 3*v + 4843, -5*v = -o*u + 4867. Is u prime?
True
Suppose 4 = 4*d + c, 0 = -5*d - 5*c - 6 - 4. Let b(z) = 22*z + 28*z - 31 - d*z. Is b(9) a composite number?
False
Suppose i = 3*i - 4. Suppose -2*p - i*p = -308. Is p a prime number?
False
Let p = 5 - 5. Suppose p = -0*z + 5*z - 20. Suppose -203 = -z*h + 745. Is h prime?
False
Let b(d) = d**3 - d**2 + 2*d - 15. Let n(z) = -z**3 - z**2 + 5*z + 3. Let v be n(-3). Is b(v) prime?
False
Suppose 0 = -254*w + 259*w - 11185. Is w composite?
False
Let z(l) = -14*l + 23. Suppose -5*o = -o + 76. Is z(o) a prime number?
False
Let j = -207 + 389. Let m = -85 + j. Is m composite?
False
Is 5 - 314455/(-13) - 6/(-39) a composite number?
True
Let j(m) = 2*m - 6. Let u(k) = 0 + 0*k + 7 - 3*k. Let x(b) = 4*j(b) + 3*u(b). Is x(-5) prime?
True
Let r(s) = s**3 - 10*s**2 - 23*s + 19. Is r(19) a composite number?
True
Let i(n) = -446*n - 2. Let z be i(-6). Suppose -12*v = -5*v - z. Is v a composite number?
True
Suppose 142126 = 19*f - 4611. Is f prime?
True
Let u = 162854 + -89843. Is u composite?
True
Let k = 78215 - 41128. Is k prime?
True
Let g be (1 - 0)*24/(-4). Let m be -3*-2*3/g. Is 42 + 6/m + -1 prime?
False
Let m be (-3)/((-2)/(-28)*3). Let r = 5738 + -11552. Is r/m - 6/21 prime?
False
Suppose 7*v - n = 8*v - 914, -4*v - 5*n = -3659. Is v prime?
True
Suppose 2*l = 10, 0 = -c + 15*l - 17*l + 4899. Is c prime?
True
Suppose -4*j = -3*g - j, 2*j = -g + 15. Suppose 0 = -0*k + g*k - 3845. Is k a prime number?
True
Suppose -n - 4*n = 5. Let u be 1/n - (-1)/1. Suppose u*j - 3*j + 153 = 0. Is j composite?
True
Suppose 0 = -2*u - 3*r + 90, -4*u + 6*r + 144 = 3*r. Is 1/((-52)/(-50292)) + (-6)/u a prime number?
True
Suppose -x + 5*k + 4308 = 0, 4*k = -3*x + 1626 + 11317. Is x a composite number?
True
Suppose 4*y = -5*y. Suppose y = 7*a - 167 - 1191. Is a prime?
False
Suppose -2*q + 33918 = -4*o, 3 = 3*o + 18. Is q a composite number?
True
Suppose 12 = 2*b - 6*o + 3*o, -5*o - 20 = -3*b. Suppose 4*i - 8 = 2*m - b*m, i - 1 = m. Is i + -2 + -6 + 96 composite?
True
Suppose 0 = 2*s - 4*j - 298, 5*j = -4*s + 3*s + 149. Let a be (2/(-1))/2*-43. Let z = s - a. Is z a composite number?
True
Suppose 0 = -193*x + 190*x + 3366. Suppose -8*b - x + 21594 = 0. Is b a composite number?
True
Let i = 50450 + -16579. Is i a prime number?
True
Suppose 3*y - 2*y + 4*a - 277 = 0, -3*y - 2*a = -871. Is y composite?
False
Let f = -4570 - -2246. Let o = 4918 + f. Is o a composite number?
True
Let p = 4049 + -672. Is p prime?
False
Suppose 529*m - 504*m = 1063925. Is m a prime number?
True
Let x = 7493 + 1934. Is x a prime number?
False
Suppose -2*w + 3*w - 185 = 0. Let q be 10/25 - (-8)/5. Suppose -3*r - 2*r + 5*z + 450 = 0, q*r - z - w = 0. Is r prime?
False
Suppose -3*n + 6458 + 370 = 0. Suppose 5*f = 2*r - 1266, -5*r = 2*f - 889 - n. Is r a prime number?
False
Is (8 - (-8)/(-4)) + 1907 a composite number?
False
Let j be 13 + 2 + (-5 - (2 - 3)). Suppose -2*h + j*h - 25497 = 0. Is h a composite number?
False
Let b = 185 + -81. Is 1/(3 - b/35) prime?
False
Is -2*(-5)/40 + 105090/24 a prime number?
False
Suppose -2*h + 33 - 11 = 0. Is 52/(-286) + (5711/h - -2) composite?
False
Suppose -3*k - 16763 = -2*m, -7605 = -2*m - k + 9154. Let s = -3293 + m. Is s a prime number?
True
Let q(v) = -2*v**3 - v**2 - 3*v + 59. Is q(-11) a prime number?
True
Let t(w) = -3*w**2 + 10*w - 11. Let i(q) = 3*q**2 - 10*q + 11. Let b(v) = 5*i(v) + 4*t(v). Is b(-12) prime?
True
Let p = -14 - -22. Suppose -5*c = -2*x - 25, p*c = 3*c + 5*x + 40. Let i = c - -146. Is i prime?
True
Let i(y) = 2*y**2 + y - 2. Let l = -27 - -42. Suppose l = -z - 2*z + 2*f, -4*z - 24 = -4*f. Is i(z) a composite number?
False
Let n(s) = s**3 + 22*s**2 - s - 22. Let h be n(-22). Let x(i) = i - 5. Let v be x(5). Suppose r - 235 = u - h*u, 4*r - 5*u - 942 = v. Is r composite?
False
Let x be (7 - 6)/((-1)/(-8)). Let p = 8 + x. Is (-1)/4 - (-3476)/p prime?
False
Suppose 19561 = -4*b + 63125. Is b composite?
False
Let i = -72019 - -160118. Is i a composite number?
True
Is 12275 - (-9)/(-1)*(-82)/(-123) composite?
False
Let t(r) = -10220*r**3 + 3*r + 4. Is t(-1) a prime number?
False
Let l(s) be the second derivative of -237*s**5/10 + s**3/2 + s**2/2 + 33*s. Is l(-2) composite?
True
Suppose -4*h + 7 = -9. Suppose -2*u - 3*u = 5*a - 10, -u - h*a = -2. Suppose 0*b - 410 = -u*b. Is b prime?
False
Let h(d) = d**3 - 6*d**2 + 2*d - 7. Let s be h(6). Let r = -8 + s. Let u(g) = -29*g + 2. Is u(r) composite?
False
Let x = 1996 + -465. Let d = x - 830. Is d a prime number?
True
Suppose 15 - 3 = -n + 4*r, -3*n - 5*r = -15. Suppose 5*m - 5*q - 3060 = 0, n*q - 3040 = -5*m + q. Suppose 4*z - 157 - m = 0. Is z composite?
False
Let c = -31 - -34. Suppose -m - 2*k = c*k + 17, -2*m = -3*k - 18. Suppose 4*u + x = 105 + 1062, m*u = x + 870. Is u composite?
True
Suppose 2*x + s = -2*x + 21234, -3*x + 5*s + 15914 = 0. Is (x/(-6))/(4/(-6)) a prime number?
True
Let r = -536 + 2739. Is r a prime number?
True
Let j(t) = -72*t**3 + 8*t**2 + 13*t - 2. Is j(-5) composite?
False
Let r(i) = 418*i**2 + 6*i - 4. Let q be r(2). Let x = q - 1187. Is x a composite number?
True
Suppose -g + 0*g + 4 = 0. Suppose g = 2*t + 10. Is (-7)/(184/62 + t) a composite number?
True
Suppose 2 = -2*i, 3*i + 311 + 68 = 4*o. Let v = 12 + o. Is v/((6 - 3) + -2) prime?
False
Let c be 2 + 1 - (-242)/11. Let o = c - 18. 