 - 2*x + 7 = -29, 3*x + 6 = 0. Let a = 12 - u. Suppose -72 = -a*t - 3*g, 0*t + t - g = 41. Is t composite?
True
Let c be (12 + 3)*(-1)/(-3). Suppose -1 + 41 = c*s. Suppose s*r - 3*r = 385. Is r a prime number?
False
Suppose -2*h = -3*h + 21. Let k be -7*(36/h - 2). Suppose -15 = -5*o, 2*f = -0*f + k*o + 56. Is f a composite number?
False
Suppose 6769 = 4*w - 175. Let t = w + -1020. Suppose 2*o = 6*o - t. Is o prime?
True
Let p(y) = -2*y**2 + 3*y. Let s be p(2). Let q be s/((-1890)/(-946) + -2). Let v = q - 569. Is v prime?
False
Let k(x) = 2*x - 17. Let n be k(0). Let d = n + 243. Is d a prime number?
False
Let x(k) = k + 13. Let m be x(-8). Suppose m*a + 19 + 606 = 0. Is -1 + 5 + -2 - a a composite number?
False
Let l be 46*(57/6 - 0). Suppose -2*j = -511 - l. Let b = -217 + j. Is b a prime number?
True
Is (2/(-4))/(1*4/(-90808)) composite?
False
Let w be (-2)/(-6) - (-410)/(-15). Let d be (-760)/(-6) - (-18)/w. Suppose -2*t - 3*t + d = 3*x, 0 = -4*x - 5*t + 163. Is x a prime number?
True
Suppose 3*x + 971 = -5*p, x + 321 = -0*x + p. Let i = -49 + -50. Let g = i - x. Is g a prime number?
True
Suppose 7*b - 8*b = -1573. Suppose w = -2*w + 1386. Suppose -w = -5*i + b. Is i prime?
False
Let x be 8366/(-10) - (-4)/(-10). Let k be x*((-6)/(-2))/(-3). Suppose 3*a + 798 + 837 = 4*n, -2*n = 5*a - k. Is n a composite number?
True
Suppose 2*t - 8 - 2 = 0. Suppose 9465 = 10*z - t*z. Is z prime?
False
Suppose -1397 - 631 = -12*s. Let i(l) = -94*l**2 - l. Let c be i(1). Let z = s + c. Is z prime?
False
Let i(r) be the third derivative of r**4/24 - r**3 - 5*r**2. Let q be i(6). Suppose -4*b + c + 820 = q, -205 = -4*b + 3*b + 3*c. Is b prime?
False
Let j(u) = u**3 - 3*u**2 - u + 7. Let w be j(3). Let q(c) = 275*c - 3. Let m be q(3). Is (4*m/w)/2 prime?
False
Let s = -2744 + 12511. Is s a composite number?
False
Suppose 4*t = 4*h + 4724, -5*h + 6*t - 2*t - 5909 = 0. Let y = 2193 + h. Suppose 5*f + 373 - y = 0. Is f composite?
False
Let i(o) = o**3 + 8*o**2 - 8*o + 13. Let q be i(-9). Suppose a - 19 = -w + 7, -q*w + 5*a = -77. Is w a prime number?
True
Let a(t) be the second derivative of -t**6/720 + 533*t**5/120 + t**4/12 - 8*t. Let b(f) be the third derivative of a(f). Is b(0) a composite number?
True
Let r(q) = 29*q**2 - 9*q + 233. Is r(-42) a prime number?
True
Suppose 1826 = -3*d + 2*y, 0*d + 4*y - 1828 = 3*d. Let w = 311 - d. Is w a prime number?
True
Suppose -14986 = -3*p - z, 0 = -2*p - 4*z + 5056 + 4938. Suppose -9*k + 14382 = p. Is k prime?
False
Suppose -d - 25 = -6*d, 5*f = d + 3000. Let g = f - 206. Is g a composite number?
True
Let k be 1/(9/6)*(-3)/(-1). Suppose -v + 41 = k*y - 0*v, 0 = -4*y + 3*v + 67. Is y composite?
False
Let v(a) = -26*a - 1. Let i(q) = -1. Let w(z) = 2*i(z) + v(z). Is w(-7) a composite number?
False
Suppose -8*p + 3*p + 277 = u, 6 = -2*p. Suppose 50 - u = -2*s. Is s prime?
False
Let z(t) = 3*t**3 - 5*t**2 - 15*t - 16. Let p be z(7). Let c = p + 578. Is c composite?
True
Suppose -18626 = -5*i + 7319. Is i composite?
False
Let h = 436 + 200. Suppose 1163 = u - 4*o, 1660 = 2*u + 2*o - h. Is u a prime number?
True
Let s(y) be the second derivative of 121*y**3/6 + 3*y. Let r(w) = 2299*w. Let o(f) = -4*r(f) + 77*s(f). Is o(1) prime?
False
Let p be (-64658)/(-8) - (-2)/(-8). Suppose 6770 = 5*o - 5*b, -4*o = -2*b + 2660 - p. Is o a composite number?
True
Let k(y) = -y**3 + 6*y**2 - 9*y + 12. Let l be k(5). Is (l/(-4))/((-6)/(-609)) a composite number?
True
Let l(x) = 3*x**3 + 9. Let s be l(0). Let i(n) = n**3 - 2*n**2 - 10*n + 8. Is i(s) composite?
True
Suppose 39*r - 35*r - 6532 = 0. Suppose 5*z + 2*q = 4947 - 836, -3*q - r = -2*z. Is z a composite number?
False
Let p be (-12)/(-21) + 177/21. Let u(z) = z**3 - 5*z**2 - 4*z + 7. Let i be u(p). Suppose 10*n - i = 5*n. Is n a composite number?
False
Let v = -302 - -66. Is (-1)/(4 + 948/v) a prime number?
True
Suppose 69 - 27 = 2*t. Is (-31840)/(-35) - 3 - (-6)/t composite?
False
Let k be (-2)/1 - -3 - -2. Suppose 15 = k*w, 0*y + 3*w = y + 15. Suppose -11 = -y*x - x. Is x composite?
False
Let l(z) = -1. Let b(p) = 204*p - 3. Let i(t) = -b(t) + 4*l(t). Is i(-2) prime?
False
Let g = -208 - -139. Is (g/2)/(18/(-36)) a composite number?
True
Suppose 0 = 4*i - 2*i - 1762. Let y = i - 612. Is y prime?
True
Suppose -22 = -3*l + 14. Suppose 0 = -4*m + l, 3*m + 0 - 5 = o. Suppose 0 = b + o*b - 275. Is b composite?
True
Is (314/6)/(3/9) a composite number?
False
Is ((-72)/144)/(3/(-298230)) a composite number?
True
Let l(x) = 137*x + 106. Is l(5) a composite number?
True
Let s = -39 - -57. Suppose 0 = 20*i - 5*i + 270. Is 1562/s + (-4)/i prime?
False
Let z be (-3)/(-9) - (-106)/6. Suppose z = 3*o - 45. Is 3248/o - 2/(-6) prime?
False
Let c be -3 - (-6 - -2)*797. Suppose 7*w - 3577 = c. Suppose -r + 5*u = -292, -u - 2*u = 3*r - w. Is r a prime number?
True
Let g(p) = p**3 + 2*p**2 + 4*p + 211. Let l(q) = -3*q**3 - 5*q**2 - 11*q - 633. Let b(f) = -8*g(f) - 3*l(f). Let x be (-3 + (1 - -2))*1. Is b(x) a prime number?
True
Let j = -2 + -8. Is 887/2 - (-5)/j composite?
False
Let p = -1087 - -2744. Is p a composite number?
False
Suppose -211*b + 230456 = -203*b. Is b prime?
True
Let o(t) = -5*t - 5. Let p be o(-2). Suppose -p*l = -4 + 19. Is (4 - 4)/l - -127 a prime number?
True
Let o be 3*271*(-14)/(-42). Let f = o - -106. Is f prime?
False
Let o(l) = 257*l - 185. Is o(12) a composite number?
True
Suppose -s + 29*z - 25*z = -26221, -3*s + 78707 = -z. Is s composite?
False
Let t be -12*(-4)/40*-80. Let h = 54 + t. Is ((-22)/(-4))/((-3)/h) prime?
False
Suppose -13*v + 24 = -16*v. Is 2/v*(-62636)/7 prime?
True
Let i = -146 - -252. Suppose -b - i = -3*b. Is (0 - 1)/((-1)/b) composite?
False
Let v(f) = -35*f**3 - 2*f**2 - 5*f - 4. Let j be v(-3). Let i(g) = 5*g**3 - 12*g - 2. Let n be i(-5). Let l = j + n. Is l a composite number?
True
Let y(h) = h + 20. Suppose -4*q = -0*q - 200. Suppose -3*t - 4*i - q = 0, 0 - 20 = 2*t - 4*i. Is y(t) a composite number?
True
Let i(h) = -98*h**3 + h**2 + 3*h + 3. Let x = 42 - 44. Is i(x) composite?
True
Suppose 2860 = -92*m + 97*m. Suppose 0 = q + 5*t - 304, 3*q + 2*t = 5*q - m. Is q prime?
False
Let i(h) = 5*h**2 + 20*h + 19. Let b = -104 - -98. Is i(b) composite?
False
Let f = -1119 + 4156. Is f a prime number?
True
Is (-3234)/(-38) - 0 - 10/95 a composite number?
True
Suppose -11*k = -32*k + 18417. Is k a composite number?
False
Let l = -265 - -152. Let x(f) = 14*f**2 + 12*f + 8. Let o be x(-4). Let t = o + l. Is t a prime number?
True
Let a(w) = -64*w + 511. Is a(-54) composite?
False
Let t be (-31)/((0 + -1)/21). Let s(a) = -a**3 - 12*a**2 + 18*a + 22. Let u be s(-10). Let g = u + t. Is g a prime number?
True
Suppose m = 4*m - 5*y - 29, 0 = -3*y - 12. Suppose -w + 3*d = -399, -2 + 11 = m*d. Suppose -2*i + 3*v + 412 = 0, 0 = -3*i + i + v + w. Is i prime?
False
Let i(c) = 35*c**2 + 11*c - 7. Is i(9) a prime number?
True
Let y = 2 + -7. Let b be (202/4)/(y/10). Let u = 54 - b. Is u composite?
True
Suppose 183 + 1092 = 3*c. Suppose -c + 1591 = 2*f. Is f a composite number?
True
Let l(z) = -2*z. Let x be l(-1). Suppose 0 = -x*d + 5 - 19. Let i(r) = r**3 + 12*r**2 + 4*r + 6. Is i(d) a composite number?
False
Let m(o) = 2 + 0*o**2 - o - 4 - o**2 + 5*o. Let f be m(6). Is ((-123)/6)/(1/f) a prime number?
False
Let i be (-3724)/(-8) + (-1)/(-2). Let l = -212 + i. Is l prime?
False
Let f(b) = 36*b - 99. Let s(k) = 5*k - 14. Let p(v) = 2*f(v) - 15*s(v). Let g be p(13). Is (g/(-9))/(6/46) a composite number?
False
Suppose -n + 5*a + 3942 = 0, -4*n + 6178 = 4*a - 9566. Is n a composite number?
True
Suppose -s = -5*p - 5081 - 488, -4*s - p = -22318. Is s a prime number?
False
Let z(a) = -a**3 + 12*a**2 + a - 8. Let i be z(12). Suppose -3*m - 5*b + 7 = -9, -4*m = i*b - 16. Suppose 0 = 4*s - m*s - 974. Is s prime?
True
Let t(b) = 4232*b - 447. Is t(10) a composite number?
True
Suppose -4*t + 3064 = -8*t. Is (t/3)/(1/(-3)) prime?
False
Suppose 2*r = -5*o + 40, -3*r = -3*o - 8*r + 43. Suppose o*s - 3*s - 1713 = 0. Is s a composite number?
False
Is (-2)/(-7) + 88039/49 a composite number?
True
Let y(f) = -21*f**3 - 24*f**2 + 17*f - 67. Is y(-12) a composite number?
False
Is 81109 + (-8 - -8)/(-3) composite?
True
Let w be ((-15)/6 - -2)/(4/8). Is -1*w/(-1) + 0 - -1050 prime?
True
