Is y composite?
True
Suppose 10*h - 43548 + 10318 = 0. Let g = h - 1922. Is g a composite number?
True
Let z = 1705 + 141. Let i be z/6 + 2/6. Suppose 8*g - i = 4*g. Is g composite?
True
Let k be (5775/125)/(((-7)/330)/(-7)). Suppose 13*b + 2675 = k. Is b composite?
False
Suppose 34*a - 71907 = 2179. Is a a prime number?
True
Suppose 0 = 76*w - 78*w + 4822. Is w composite?
False
Let k = -81 + 103. Let y(i) = 2*i**2 - 44*i + 3. Is y(k) a composite number?
False
Let i(z) = 6*z + 28. Let g(y) = 2*y + 9. Let c(l) = -16*g(l) + 5*i(l). Let k be c(-3). Is k/(0 - (-1)/163) a composite number?
True
Let l(h) = 424*h**2 - 11*h + 92. Is l(-31) a composite number?
True
Suppose -2*u + 18 = 5*v, u = -5*v + 4*u - 2. Suppose -2*s + 2260 = v*s. Is s composite?
True
Let u be -10*3/(6/(-37)). Let j(w) = w**3 + 19*w**2 + 6*w - 16. Let k be j(-19). Let m = u + k. Is m prime?
False
Let y(t) be the third derivative of 37*t**4/12 + 2*t**3/3 + 5*t**2. Let n be y(-4). Is -5 + 6 + n/(-1) a prime number?
True
Let x(d) = -25*d**2 - 11*d + 28*d**2 - 21 + 5*d + 37*d**2. Is x(-7) a prime number?
False
Suppose 5*h + 19 = 3*d, 0*d + 3*d + 5*h = 29. Let y be d/2 + (1 - 0). Suppose -y*w + 8*w = 1329. Is w prime?
True
Suppose -9*i = -2*i - 119. Suppose -i = -2*q + 21. Is q prime?
True
Suppose 42*p - 60824 = 34*p. Is p prime?
True
Let j(i) = -3*i**2 + 473. Let f(r) = -4*r**2 + 710. Let l(c) = 5*f(c) - 7*j(c). Is l(0) a composite number?
False
Is (-3946)/(-8)*(12 + (8 - 8)) a prime number?
False
Let m be -1*(0 + 2 - 21). Suppose m = -3*j + 85. Is 422/(-8)*(2 - j) composite?
True
Let z = 1006 - 412. Let j = z - -1792. Suppose j = 4*u + 534. Is u a prime number?
True
Suppose 5*m = 2*i + 5, 3*m + 2 - 5 = 2*i. Let c be i - 4 - (0 + -3). Is 294 - (c + (-4 - -6)) a prime number?
True
Let p = -13 - -13. Suppose p = 3*z - 1619 + 128. Is z a composite number?
True
Suppose 0 = 3*w + 3*k - 1834 - 287, -4*w = -4*k - 2796. Is w a composite number?
True
Let q be 4/(-16) - 108/16. Let x(a) = 14*a**2 + 13*a - 8. Is x(q) a prime number?
True
Suppose -198*m + 185419 = -181*m. Is m a composite number?
True
Suppose 0 = 13*y - y - 0*y. Is 783 - (1 + y + -5) a composite number?
False
Let c = 5 - 3. Let x be c/(3 + 20/(-8)). Suppose -2*r - x - 2 = 0, -5*r = 3*b - 654. Is b composite?
False
Suppose 0 = -j - 5*p + 352, 5*j - p + 1880 = 10*j. Is j a prime number?
False
Let x(i) = 678*i**3 - i**2 + i + 1. Let w be x(-1). Let m = -348 - w. Suppose 7*p + f = 3*p + 266, 2*f = -5*p + m. Is p composite?
False
Let l = -14 - -14. Suppose 0 = 3*y - 3*h - 6752 + 1817, l = -h - 3. Is y composite?
True
Let x(g) = -g - 2. Let f be x(-2). Suppose -2*a - a = f. Is 127*(1 + a + 0) composite?
False
Let j be 14/6 + 3/(-8 - 1). Suppose -n = j*n - 1653. Is n prime?
False
Suppose 3*a = -4*g - 27, -g = 4*a - 1 + 24. Is (-1)/2*(-8075 - g/(-1)) composite?
True
Is 11 - (-234352)/36 - 4/(-18) prime?
True
Suppose -4*m - 3137 = 435. Suppose -4*d = 3*a - 1591 - 3979, 0 = 5*d - 3*a - 6976. Let u = d + m. Is u composite?
True
Let q(v) = 2*v**3 + 4*v**2 + 5*v**2 - 2*v**3 + v**3 + 1 - v. Let o be q(-8). Let d = o - -54. Is d prime?
True
Let h = 1157 + -234. Is h a prime number?
False
Is ((-3)/6)/((-5 + 2)/21618) composite?
True
Suppose -z - 5*h + 0*h = -10, 4*z - 40 = -3*h. Let i be z/(-65) - 356/52. Is i/28 + (-1690)/(-8) a prime number?
True
Let x be -5*917 + (-5 + 2 - -1). Let a = -2594 - x. Is a prime?
True
Let l be 5/(20/12) + 309. Suppose 4*g + 90 = 2*d - l, 2*g = -5*d + 945. Is d a prime number?
True
Suppose -2*y - 3*a = -2457, 3*y + a = -0*a + 3696. Suppose -4*h + h = -y. Is h prime?
False
Suppose 0 = 3*f - 4*r - 118, -5*f + 4*r + 124 = -86. Suppose f = -2*y + 266. Let o = 91 + y. Is o a prime number?
False
Suppose -26*m = 3252 - 231506. Is m a composite number?
False
Suppose 5416 + 844 = 4*u. Is u prime?
False
Let f(r) = 6*r**2 + 9*r + 4. Let s(x) = 6*x**2 + 10*x + 5. Let l(o) = 4*f(o) - 3*s(o). Is l(2) a prime number?
True
Let r(z) = -57*z**3 + 219*z**3 + z**2 + 574*z**3. Is r(1) prime?
False
Suppose -3*g + 5 = -1. Let u = -396 + 430. Suppose u + 32 = g*r. Is r composite?
True
Let l(f) = -5*f + 6. Let u be l(-5). Suppose 0*n + 5*n + u = -3*g, 3*n + 27 = g. Is 3/6 - 2340/n a prime number?
True
Let j(o) = -5*o + 3691. Is j(0) composite?
False
Let b = 2 + 1. Suppose -2*h - 2 = -q, 3*q - 3 = b*h + 3. Is (-795)/(-9) + q/3 prime?
True
Let f be (5/10)/((-1)/12). Is -4 - -677*f/(-6) a prime number?
True
Let n = 37 - 33. Suppose n*z - 6*z + 194 = 0. Is z a composite number?
False
Let l be 2/(8/668*-1). Suppose 4*s - 553 = 4*h + 591, 4*s - h = 1144. Let y = s + l. Is y composite?
True
Let c(f) be the third derivative of 73*f**4/24 + f**3 + 4*f**2 - 14*f. Let a be (0/2 + 5)*1. Is c(a) composite?
True
Suppose -4*r = c - 314, 0*c + 4*c = 3*r + 1275. Suppose 5*s = c + 137. Is s a prime number?
False
Suppose 970 = k + 75. Is k composite?
True
Let x = -885 + 1552. Is x a prime number?
False
Suppose 4*r + 9 - 21 = 0. Suppose 2050 = 2*z + r*z. Let m = 611 - z. Is m a prime number?
False
Suppose 0 = 2*g + 5*h - 6044, -15181 + 86 = -5*g - 5*h. Is g prime?
False
Let f = -409 - -275. Let g be (0 - -1 - f) + 2. Suppose -1724 = -3*c - g. Is c a prime number?
False
Let m(h) = -72*h**3 + 2*h**2 - h. Let g be m(1). Let u = g + 322. Is u a composite number?
False
Suppose -8*c + 67 = -5. Let r(t) = 2*t**3 - 21*t**2 - 31*t - 3. Let k(v) = -v**3 + 11*v**2 + 16*v + 1. Let w(x) = 7*k(x) + 4*r(x). Is w(c) a prime number?
False
Suppose 3966 = 6*c - c + 3*g, -c - 5*g + 802 = 0. Let s = 1174 - c. Suppose 0 = -i - i + s. Is i prime?
True
Suppose 0 = -8*k - 3847 + 19167. Is k prime?
False
Suppose g + 4*x = 3358, 4*x - x - 12 = 0. Suppose 0 = 3*p - 5*p + g. Suppose 0*h + p = 3*h. Is h composite?
False
Suppose -629 = -8*v + 6979. Let x = v - -16. Is x a composite number?
False
Suppose 4*j = 3*j - 395. Let c be (30/(-25))/(2/j). Suppose -196 - 41 = -3*i - 2*s, -3*i + s = -c. Is i composite?
False
Let b = 607 + 28. Is b prime?
False
Let t(q) = 577*q + 13. Let o(i) = -288*i - 6. Let v(h) = -5*o(h) - 3*t(h). Is v(-2) a composite number?
True
Is 3043995/225 - 6/(-45) prime?
False
Suppose 0 = -3*g + 15, -3*r - g + 43 = -2*g. Suppose -r*s = -11*s - 3760. Suppose -2*u = 2*k - s, -3*u - u - 3*k = -1507. Is u a prime number?
True
Let n(k) = k**2 - 13*k - 3. Let c be n(13). Let f be (1/(-1))/(c/3012). Suppose f = 6*y - 2*y. Is y a prime number?
True
Let l(u) = u**3 - 15*u**2 + 19*u + 31. Let v(i) = i**2 + i. Let y(b) = -l(b) + 6*v(b). Is y(16) prime?
False
Let x(k) = 1348*k - 21. Let t be x(-2). Is -2*(-3)/(-24) - t/4 a prime number?
False
Is 18/63 + (-198754)/(-14) prime?
True
Let d(u) = 8*u**2 - 22*u + 179. Is d(47) a composite number?
True
Let g = -662 + 465. Let l = g - -555. Is l composite?
True
Let y(s) = s + 23*s**3 + 2*s**2 - 5*s**2 - 24*s**3 + 3. Let g be y(-3). Is 3 + g + (-7 - -237) prime?
True
Let z(p) be the third derivative of -p**6/120 - p**5/20 + 5*p**4/12 + 11*p**3/6 - p**2. Is z(-8) a prime number?
True
Suppose -2*z = c + 109, -c - 4*z + 5*z = 97. Let y = c + 510. Is y composite?
False
Let u = -14 - -64. Suppose -u*x + 53*x = 6063. Is x a prime number?
False
Let g(a) = 52*a**2 - 4*a + 5. Let p = -105 + 107. Is g(p) a prime number?
False
Let u = 14259 - -142. Is u composite?
False
Suppose 0 = -14*n + 58*n - 1353308. Is n composite?
False
Let v(o) = 14*o + 3. Let j(q) = 5*q - 6. Let b(m) = -m + 1. Let i(n) = 11*b(n) + 2*j(n). Let d(x) = 4*i(x) + v(x). Is d(2) a prime number?
True
Let t(h) = -h**2 - 9*h + 14. Let y = -12 + 2. Let d be t(y). Suppose -d*m - 40 = -428. Is m composite?
False
Let n be 1*5*(0 + (-168)/40). Let q(j) = -4 - j**2 - 4 - 32*j - 20. Is q(n) a prime number?
False
Is 1399/(-5)*(10 - (7 - -8)) a composite number?
False
Let n be (-16 + 14)*((-849)/6 - 2). Suppose 2*r + 2*b - 203 = -3*b, -4*b = 3*r - n. Is r composite?
False
Let a be 21/49 + (-636)/14. Let h be a/(-4) - 12/(-16). Let f(q) = q**2 - 10*q + 2. Is f(h) a composite number?
True
Suppose 10*x = 2012 + 3398. Is x prime?
True
Is 4162/(-6 + 2 + 6) composite?
False
Suppose -13*d = 4*d. Let f be (-326)/(-6) - 4/12. Suppose -b + w = 3*w - 69, -b + w + f = d. Is b prime?
True
Let z(b) = -b. Let v(c) = 2548*c. Let o(f) = v(f) + 24*z(f). Let u be o(1). Suppose -4*i + 8 = 0, -2*j - u = -4*j - 3*