13). Let u = y - -56. Suppose 0 = 3*o + u*r - 257, -229 = -4*o + o + 5*r. Is o a prime number?
True
Let w be 6/(-8)*(-4 - 0). Let z be (-85)/10*w*(2 + -86). Suppose 0 = -6*n + z + 1704. Is n a composite number?
False
Let s = -4584 + 7907. Is s composite?
False
Let c = 431 - -206. Let q = c - -64. Is q prime?
True
Suppose -1 = a, 3*i - a - 3 = 2*a. Let f = -13 - i. Let z(v) = v**3 + 14*v**2 - 10*v + 8. Is z(f) prime?
True
Let p(a) = -10*a + 32317. Is p(0) prime?
False
Let g(w) = 152*w**2 - 105*w - 333. Is g(-34) composite?
True
Is (-272)/(-176)*11 + 92492 a prime number?
False
Let z = -37095 - -38752. Is z a prime number?
True
Suppose d - 14 = -6*d. Suppose 2*f + 4*i - d*i = -10, i + 17 = -5*f. Is ((-58)/(-6) - f)*948/8 a prime number?
False
Suppose 3*w + 0 = 12, -4*j = -5*w + 44. Is j/(6/(-7)) + 1390 prime?
False
Let h be (25/15)/5 + 97/(-3). Let f be (-3)/2*(h/6 + 2). Suppose 3*r = -f*x - 2524 + 9116, 2*r - 4*x - 4358 = 0. Is r composite?
True
Suppose 0 = -20*r + 10711 + 37189. Suppose -j + 2*j = r. Is j a composite number?
True
Let q be -1*12409*(-17 - -18). Is (-32)/(-336) + q/(-21) a composite number?
True
Let v be -14855 - (3 + -2 + 3). Let x(g) = g**3 - 13*g**2 - 13*g - 10. Let z be x(14). Is v/(-26)*z/6 a prime number?
False
Let a = -18043 + 26524. Let l = -1958 + a. Is l composite?
True
Is ((33/9)/(-11))/(3/334602*-2) a composite number?
True
Let a(k) = -k**2 - 25*k - 62. Let r be a(-22). Let j(f) = 527*f - 9. Is j(r) a composite number?
False
Suppose 11 + 19 = 15*v. Suppose 17317 = 3*g - v*r + 6*r, -5*r = -2*g + 11514. Is g prime?
False
Let k(c) be the first derivative of 1297*c**3/3 - c**2/2 + c + 253. Is k(-3) a prime number?
True
Suppose 13*d + 48 = 35. Is (62/62)/(d/(-4258)) prime?
False
Suppose 5*b - 5*d - 100 = 0, 6*d - 12 = -b + 5*d. Let y(n) = 5 - 6*n**2 - 30*n - n**2 + 25*n**2 - 6*n**3 + 5*n**3. Is y(b) composite?
False
Suppose 0 = 350*j - 346*j + 812. Is 62/(-2)*(-30 + j) composite?
True
Let w = 173 + -173. Let f = 7 - 4. Suppose w = 5*p + f*p - 920. Is p a prime number?
False
Let o = 14208 - -14699. Is o a composite number?
True
Let u be 22/(-6)*(1 - 7). Suppose -18*l + 1056 = -2*l. Is u/l*(581 + 1) a prime number?
False
Let w(f) = f**2 - 9*f + 5. Let v be w(7). Is (v/(189/(-14)))/(4/39354) prime?
False
Is 22790797/155 - (-14)/(-35) composite?
True
Let t(r) = -58*r**2 + 12. Let q(f) = f**2 - f - 1. Let u(w) = -5*q(w) - t(w). Suppose 3*p = -2*m + 12, -m - p = -4*p + 3. Is u(m) prime?
False
Suppose 0 = -10*z - 0*z + 428102 + 371208. Is z a composite number?
True
Let a be ((-63)/(-147))/(2/14). Let l = 2600 + -1301. Suppose 6532 = 2*g - 5*s + l, a*g + s - 7824 = 0. Is g a prime number?
True
Let z(d) = -1631*d**3 + 8*d**2 - 16*d - 22. Let g be z(-9). Suppose 5*i - g = -44*i. Is i a prime number?
True
Let w(s) = -s**3 - s**2 + 2*s + 177693. Let n be w(0). Suppose n + 11957 = 10*x. Is x composite?
True
Suppose -4*j + 82 = -1002. Suppose j*x = 278*x - 46193. Is x a composite number?
False
Suppose 0 = 2*n - 0*n - 3*o - 19, o = -4*n + 3. Let j be -28 + 1 + -4 + 0 + n. Is j*(0 + (-68)/4) a composite number?
True
Let s(i) = -3*i + 10646. Suppose 7*c = 5*c. Let w be s(c). Suppose -20*l = -22*l + w. Is l a composite number?
False
Suppose -12*y = -10 - 14. Suppose -y*o - 2*z + 9151 = -5*z, -3*o = 2*z - 13707. Is o a prime number?
False
Suppose -4 = -2*m - 42. Let q = -23 - m. Is (0 + -1)*(q - 79) a prime number?
True
Is (-2 - 2)/(-2)*(1640425/10 + 9) a prime number?
True
Let c = -62 + 65. Suppose 3*s = 6 + c. Suppose 0 = -6*j + 9*j + 12, s*j + 5702 = 2*q. Is q prime?
False
Suppose 2*k = -5*m + 136543, -68294 = -k - 59*m + 64*m. Is k a composite number?
False
Suppose -v + 4*v = -6, -4*f - 5*v = -129582. Suppose 7*n = -10040 + f. Is n prime?
False
Suppose 24*m - 2*m - 550 = 0. Is 6/2 + m + 12115 a composite number?
False
Suppose -37 + 237 = 8*h. Suppose -h*i + 31*i = 66858. Is i a prime number?
False
Suppose 3*r = -3, 15*b - 29 = 11*b - 3*r. Suppose -58261 = -b*m + 72147. Is m composite?
False
Let v(n) = -n**2 - 8*n - 5. Let m be v(-10). Let k be (40/m - -1)*-5. Is k/9 - (2 + (-7640)/12) a composite number?
True
Suppose 13266 = -15*s + 37*s. Let v = s - 352. Is v composite?
False
Is 227945*1 - (-170 + 152) a composite number?
True
Let q be -346*((-6)/(-4) - 2). Suppose -7273 = -44*d + 8567. Suppose -d = -s + q. Is s a composite number?
True
Suppose -3*r - i = 4*i - 947, 2*r - i = 627. Suppose 309*m + 35915 = r*m. Is m prime?
False
Suppose 2*b - 142 = -4*z, 5*z + 0*z - b = 181. Suppose 39*c - z*c - 13749 = 0. Is c prime?
True
Let d be 9/(-1)*(-35)/35. Suppose 4031 = d*p - 10882. Is p prime?
True
Let s be (4/6)/(3/9). Suppose -4*p = -5*g + 7661, -s*g - 3*g + 2*p + 7663 = 0. Let m = -344 + g. Is m a prime number?
False
Let u(i) = i**2 + 13*i + 12. Let s be u(-12). Suppose 5*n + 1 - 6 = 0, s = 5*r + 5*n - 135. Is (-18)/117 + 44022/r a prime number?
True
Suppose -4*f = 4*f - 3*f. Suppose -4*n = -8 - f. Suppose 0 = 2*s - 4*i - 3110, 0*s + 5*s = n*i + 7767. Is s a prime number?
True
Is ((-1110213)/(-234))/((-3)/(-2)) composite?
False
Is 1621263/4 - 4/(32/(-10)) composite?
True
Let v(i) = i**3 + 16*i**2 - 4. Let k be v(-16). Let t be 6*(-1)/8*k. Suppose -t*o = d + 4*d - 1320, 2*o + 4*d = 878. Is o prime?
False
Let f(z) = 1188*z**3 - 3*z**2 + 23*z - 13. Is f(3) composite?
True
Let r = 23 - 59. Let a = -43 - r. Let q(v) = 2*v**2 + 10*v + 19. Is q(a) a prime number?
True
Suppose -4*w = 5 - 5. Suppose -p - 2*l + 308 = -w*p, -l + 628 = 2*p. Let b = 81 + p. Is b prime?
True
Suppose i + 311400 = g - 33426, 10*i - 1724025 = -5*g. Is g a composite number?
False
Let o(y) = -693*y**2 + 72*y - 3. Let d be o(3). Let m = 9169 - d. Is m prime?
True
Let o = 611212 + 1208365. Is o prime?
True
Suppose 13*k - 8*k = 30. Suppose -q + 7 = k. Let c(o) = 878*o**3 - 3*o + 2. Is c(q) a composite number?
False
Let v(a) = a**2 - 11*a - 21. Let g be v(13). Suppose g*i = 2*i + 3. Is 1285*(i + -2)*(0 - 1) a composite number?
True
Let g(r) = r**3 + 8*r**2 + 12*r - 2. Let q be g(-5). Suppose -3500 = -5*f + x, -q*x + 14*x - 706 = -f. Is f composite?
False
Let o = -6383 + 3456. Let j = 6884 + o. Is j a prime number?
False
Suppose -145*w - 1767581 = -149*w + m, -2*m - 883792 = -2*w. Is w composite?
True
Let o(l) = l**3 - 4*l**2 - 3*l + 3. Let a be o(5). Suppose -a*q + 34067 = 3790. Is q a prime number?
False
Let w(d) = 92986*d**2 - 70*d + 71. Is w(1) a prime number?
True
Let i = -48 + 76. Let n(r) = -1 + r**3 + 49*r**2 - 34*r**2 + 20 + i*r. Is n(-12) prime?
False
Suppose -58*v = -60*v + 20. Suppose 0 = 3*y - 5 - v. Suppose -3*h + y*o = -7*h + 6256, -2*o = 2*h - 3126. Is h prime?
True
Let p(a) = 111*a**2 + 13*a - 11. Suppose -21 = 2*r - 3*u, r + 4 - 13 = -5*u. Is p(r) a prime number?
True
Suppose -3*p - 1004129 = -4*l, 0 = -2*l - 6*p - 82837 + 584909. Is l prime?
True
Is (-105)/84*-18416 - (3 - (-4)/2) composite?
True
Suppose 29*q = 30*q - 11. Suppose 2*t + 16 = 5*x - q, 2*x - 4*t - 14 = 0. Suppose x*l - 7*l = -1282. Is l a prime number?
True
Let z(p) = 27829*p**2 - 129*p + 3. Is z(-2) a prime number?
True
Let o = 8867 + -2107. Suppose 2*l = -3*l + o. Let g = -831 + l. Is g composite?
False
Let c be 1 - 5 - 7/((-21)/27). Suppose -c*b + 1 = 1. Suppose -2*k - 2*m + 592 = 0, b = -5*k + 2*m - 6*m + 1482. Is k a composite number?
True
Suppose 4*u = -j - 4*j + 51970, -4*j - 5*u + 41585 = 0. Let d = 15426 - j. Suppose -6*r + d = -2*r. Is r composite?
False
Let k(i) = -i**3 + 14*i**2 + 30*i + 25. Let t be k(16). Is t/(-49) - (-3)/((-21)/(-72988)) a composite number?
False
Suppose -12*i + 16*i + 7264 = 0. Let s be 21/(-49) + i/(-7). Suppose -r + 0*f + 130 = -f, 0 = -2*r + 3*f + s. Is r a prime number?
True
Suppose 3*s = 4*r + 2327 + 1754, -r = -5*s + 6813. Suppose 4*h - 508 = -5*g + s, -5*g + 2*h + 1847 = 0. Is g prime?
False
Let x(b) = b**3 - 9*b**2 - 5*b - 3. Suppose -2*o + 35 + 25 = 0. Suppose -27 = -2*s - q, -2*q = -7*s + 5*s + o. Is x(s) prime?
True
Is 105/42 - (-496877)/2 prime?
True
Let i(g) = -135*g + 8. Let l be i(-5). Suppose o - 5*z - 141 = 0, o - z - 5 = 124. Suppose -l = -k + o. Is k a composite number?
False
Is (-11 - (-50)/5)/((-5)/(-11492385)*-3) composite?
True
Let k be 1/(-2)*(87 + (-12)/(-4)). Let u be k + 5 + -1 + 2. Is (-13)/(u/4986) - -1 a prime number?
True
Suppose