= -2*u - 4*t + 294 + p. Is u composite?
True
Let w = -364 + -2068. Let f = w - -3562. Suppose 0*a - 2825 = -5*v - 5*a, -4*a + f = 2*v. Is v a composite number?
True
Suppose 2*k + 4*q - 256366 = 0, 4*k - 512708 = -0*k - 2*q. Suppose -k = -14*a + 863. Is a prime?
False
Let h be (1/3)/(6/(-54)). Let i(o) = -1434*o + 9. Let z be i(h). Suppose 85 + z = 4*t. Is t a composite number?
True
Suppose -884*h + 851*h = -289806. Is h prime?
False
Suppose -3663 = 11*c - 22*c. Let o be (2 - 1) + -1 - -1220. Let x = o - c. Is x a prime number?
True
Let d be 0*((-1)/(-4))/(1/(-2)). Suppose -3*h = -y + 31, -1 + d = -h. Is 99/2*y + -2 a prime number?
False
Suppose 5223 + 3707 = 10*k. Let j = -265 + k. Let l = j + 1893. Is l a prime number?
True
Let a(p) = 32*p**2 - 8*p - 4. Let x(s) = 6*s**2 + 1. Let c(k) = a(k) - 5*x(k). Let n(d) = d**2 - 7*d + 5. Let z be n(4). Is c(z) a composite number?
True
Suppose 2*a = -2*u + 88488, -6*a + 10*a = -2*u + 88478. Is u a composite number?
False
Let f be 19951/2 + 42/(-28). Let u = f - 14124. Let a = 7221 + u. Is a a composite number?
True
Suppose 423*h - 938063 = 394*h. Is h a prime number?
False
Suppose -4*z + 2*s - 8 = 2, -z = 2*s. Let u(m) = -118*m - 7 - 133*m - 967*m. Is u(z) prime?
False
Let n = 32 + -29. Suppose 0 = 2*b - n*t + 933, -5*b - 3*t - 2275 = t. Let m = -10 - b. Is m composite?
False
Suppose -1 = n, -4*n - 8 = -2*h + 2. Suppose h*r - 6 = 0, -5*a - 12533 = -6*a - 3*r. Is a composite?
False
Suppose 2*y = 2*o + 244562, o - 222972 = -4*y + 266132. Is y a prime number?
False
Let n(s) = 2750*s - 67. Suppose 10*p - 8*p - 3*h - 35 = 0, -4*p + 25 = 3*h. Is n(p) a composite number?
True
Let g = 5012 + -8713. Let f = -2340 - g. Is f a composite number?
False
Suppose 28*g = -4*g + 5*g + 7650963. Is g composite?
False
Suppose 0 = -3*p - 4*t + 11802, -3*p - 3932 = -4*p - 2*t. Let b = 3957 + p. Is b composite?
True
Let h = -33873 + 93382. Is h prime?
True
Suppose 3636487 = 19*z + 34*z - 2555026. Is z composite?
True
Suppose 44 = 2*w + 4*k, -w - 55 = -5*w + 3*k. Suppose w*a = 20*a - 4172. Is a a composite number?
True
Let f(h) = 2520*h**2 + 246*h + 749. Is f(-3) a composite number?
False
Suppose 7 + 18 = 5*l, 883 = 4*d + 3*l. Is d a composite number?
True
Let l(k) = 5*k + 663. Let r be 11/(-22)*0/(-2). Let z be l(r). Let q = z - -508. Is q a prime number?
True
Suppose 13*b = -4*z + 10*b - 9, 0 = 5*z + 5*b + 15. Suppose z*w + 391368 = 24*w. Is w a composite number?
True
Let p(v) = -1 - 12 - 7 + 1 - 4*v**3. Let r(b) = 8*b + 111. Let k be r(-15). Is p(k) prime?
True
Let y = 1758 + -1006. Suppose -4*p = -4*f - y, 4*p - f - 564 = p. Let i = p + 113. Is i composite?
True
Let j(u) = -17469*u + 48 + 47 - 97. Is j(-1) composite?
False
Let t = 53 - 55. Is (-38439)/(-108)*6*(0 - t) a prime number?
True
Let m(y) = y**2 + 3*y - 6. Suppose 2*q = -0*q - 10, 4*q + 20 = -5*p. Let z be m(p). Let c(l) = 2*l**2 - 23*l + 13. Is c(z) a prime number?
True
Suppose -3*u - 174996 = -12*u. Is ((-4)/8)/((-2)/u) composite?
False
Suppose -2*s + 191794 = 2*y, -11*y = -7*y - s - 383598. Is y composite?
True
Let f = -895 - -905. Suppose f*p - 14*p + 9932 = -4*k, 0 = -5*p + 3*k + 12407. Is p a composite number?
True
Let x = 205772 - 16645. Is x prime?
True
Suppose 5*w = -0*w - 4*h + 236867, 2*w - 94736 = 2*h. Is w composite?
True
Suppose -468*a + 464*a = 2*r - 64124, 2*r = -8. Is a prime?
True
Suppose -14510409 - 9492792 = -62*a - 7929887. Is a a prime number?
False
Suppose -9 = -3*y - 58*w + 57*w, -3 = -y - 3*w. Suppose -5*h + 4*s + 5307 = -4235, -y*h + 5709 = 3*s. Is h prime?
False
Let i be ((-152)/57)/((-4)/(-6)). Is ((-1082)/(-4))/(i/(-40)) prime?
False
Suppose 2*f - 6 = -3*m + 8, -10 = -m - 2*f. Suppose l - m*o = 751 - 58, 3*l + 4*o = 2069. Is l a prime number?
True
Let y = 36131 - -357371. Is y composite?
True
Let p be 14 - (11 + 1) - 6/(-2). Let g(r) = 764*r**2 + 21. Is g(p) a prime number?
True
Let b = -501274 - -912515. Is b a composite number?
False
Is (377814/(-15))/(-17 - (-1494)/90) a prime number?
True
Suppose -3*x = -d - 6 - 5, 4*d = 2*x - 4. Is 9 + 8 + x*2067 prime?
False
Suppose -2*t + 3*y = 1336, -2*y - 2014 = 3*t - 4*y. Suppose -6*r - 4*v - 1224 = -2*r, -5*r - 2*v = 1521. Let n = r - t. Is n prime?
False
Let d = 12 - -3. Suppose -17*n = -d*n. Suppose -2*l + 3901 = -t + 2*t, n = l - 2*t - 1943. Is l a composite number?
False
Suppose 0 = -109*r + 47*r + 2237146. Is r a prime number?
True
Let f(p) = -3*p - 24. Let m be f(-8). Suppose m = 2*j - 2*y, -j = -2*j + 3*y - 8. Suppose -j*x - 1578 = -6*x. Is x a prime number?
False
Let x(w) = 2*w**3 - 5*w**2 + 6*w + 26. Let v(u) = u**3 - 5*u - 3. Let f be v(3). Is x(f) a prime number?
False
Let p be (49/21)/((-3)/(-9)). Suppose -5*t + p*t - 506 = 0. Is t a prime number?
False
Is (-64941)/(-15)*(-65)/(-13) prime?
True
Is 4/((68/78357)/17) a composite number?
True
Let f(t) = 20*t**2 + 16*t - 19. Let x = 57 - 39. Is f(x) a composite number?
True
Suppose 9*r - 26465 = -8*r + 1101638. Is r a composite number?
False
Let w(y) = 28*y + 52. Let x be w(-35). Let s = -491 - x. Is s a prime number?
False
Let c be (-90)/(-21) - 2/7. Suppose -c*v = -57 + 9. Is (1/(-3))/(v/(-1188)) a prime number?
False
Suppose 0 = 9*p - 18*p - 72. Let s(g) = -11*g**3 - 10*g**2 - 18*g + 11. Is s(p) composite?
False
Let p be (-2)/(-7) + (-1340)/35. Let d = p - -54. Let u(z) = -z**3 + 17*z**2 - 3*z + 13. Is u(d) prime?
False
Suppose -4*j + w = -881131, 5*j + 2*w - 1101413 = 4*w. Is j a prime number?
False
Let g be (-5)/(1*(-3)/6). Let d(m) = 10*m**2 + 22*m - 2. Let p(x) = -6*x**2 - 12*x + 1. Let j(a) = -4*d(a) - 7*p(a). Is j(g) a composite number?
True
Suppose 2*w = 2*i + 22, -3 = -2*w + 5*i + 28. Suppose w*j + 1 - 25 = 0. Is 647/((1/j)/((-3)/(-9))) prime?
True
Let d be (-64)/(-20) + (-4)/(-5). Suppose -p - d = p. Is ((-2)/(-2 - 0))/(p/(-998)) prime?
True
Is 5/(-18) + (-6)/(-12) + (-140338968)/(-297) composite?
True
Suppose 0 = -b - 3*l + 19838, 4*b + 5*l = 53617 + 25742. Is b a prime number?
True
Suppose 32*q + 3*g = 27*q + 35, 5*q - 25 = -g. Suppose 212 = -3*y + 5*y - 2*p, 5*y + q*p = 557. Is y a composite number?
False
Is (-106735833)/123*2/27*-3 a composite number?
True
Suppose 0 = 3*c - 2*c + c - 125986. Is c a composite number?
True
Suppose -5*b - 2*c = -131, -3*b - c + 87 = 8. Let s(f) = 2*f**2 - b - 3*f + 18 - f - 4*f. Is s(8) composite?
True
Let g(q) be the first derivative of 3*q**2/2 + q + 25. Let x be g(1). Suppose x*h - 1018 = 162. Is h a prime number?
False
Let x = 6215 - 3695. Is -14 - -14 - (-1 - x) a composite number?
False
Let z(u) = -3*u - 70. Let t be z(-24). Is t*(-2 - (-4)/(-16)*-31822) a prime number?
True
Let j(b) = 2*b**2 - 34*b + 23. Let z be j(-17). Let y = 8547 - z. Suppose -3*l - 5*l + y = 0. Is l prime?
False
Suppose -101*v = -107*v - 134856. Is (1 + -2)/7 - v/42 a composite number?
True
Let q = 84 + -133. Let v = q - -51. Is v/(-8)*((-1 - -3) + -94) composite?
False
Let n(q) = -483*q - 797. Is n(-18) prime?
False
Let i(m) = 2089*m**2 - 41*m - 31. Is i(-13) composite?
True
Is 10/((-15)/3)*(-171621)/18 a composite number?
False
Let y be -580*((-2)/(-9) - (-2726)/(-36)). Let a = 62383 - y. Is a prime?
True
Let v = 28 - 2. Let t = -25 + v. Is 2047/t*(-2)/(-2) a prime number?
False
Is 69171 + (145/25 - 5)*-10 a prime number?
True
Let p be 1 + 39/(-33) - 42/11. Let d be 5 + (0 + -4 - p). Suppose -4*j - 4*g + 7112 = -2*g, d*g + 5347 = 3*j. Is j composite?
True
Let a(i) = 21*i**2 + 9*i + 12. Let y be a(-6). Suppose 4*r + 86 - y = 0. Is r a composite number?
False
Let t be 1/(1/(-2)) - (1 - -40). Let m = 1461 + t. Is m composite?
True
Let k(g) = g**2 - 3*g - 94. Let x be k(-7). Is (29454/(-8))/(x/32) a composite number?
False
Suppose 0 = -55*a + 57*a - 12. Suppose -25 = -a*r + 23. Suppose -r*g = -11*g + 2049. Is g a composite number?
False
Let r be (14/21)/(1 + 38/(-42)). Suppose -12 - 9 = -r*x. Suppose -3062 = -4*a + 5*f - x*f, -4 = -4*f. Is a prime?
False
Let f(j) = -402*j**3 + 4*j**2 + j - 2. Let d(w) = -w**3 - 4*w**2 - w - 7. Let h be d(-4). Let z be f(h). Suppose 8080 = 5*i - z. Is i a prime number?
True
Let o = -144257 - -235416. Is o a composite number?
False
Suppose -j - 13 = 2. Let p be ((-696)/(-15))/((-6)/j). Let m = -51 + p. Is m composite?
True
Suppose -5*j - 30 = w + 349, 5*j + 395 = -5*w. Is (12