/(6/(-7512)). Let l be 8/(-6)*-3 + -6. Is x/l - 2/4 prime?
False
Let x = 593 - -1289. Is x a composite number?
True
Is (-2 - -1403) + (2 - 4) a composite number?
False
Is 40594/12 + (-1)/(-6) a prime number?
False
Let i = 13 + -14. Is (-766)/(-4) - i/(-2) a composite number?
False
Suppose 0 = 12*u - 25303 - 4301. Is u a composite number?
False
Let b(l) = -817*l**2 + 12*l + 10. Let c(j) = -409*j**2 + 6*j + 5. Let n(t) = 3*b(t) - 7*c(t). Is n(-1) a prime number?
False
Let t = -5445 - -31286. Is t a composite number?
False
Let j(z) = z**2 - z - 6263. Let s be j(0). Let c = -4333 - s. Suppose 5*k - 1185 = c. Is k a prime number?
False
Suppose -2*q - 4 = -4*c - 0*q, 0 = 5*q. Suppose -y = -c - 3. Let o(f) = 219*f - 7. Is o(y) a prime number?
False
Let z be (-36)/(-162) + 14/18. Is -2*(1185/(-10) + z) a prime number?
False
Let w = 1118 - 329. Suppose 3*z + 129 = w. Suppose 1362 - z = 2*l. Is l prime?
True
Let i = 10 - 10. Let t(w) = 19*w**2 - w - 9. Let u be t(-9). Suppose -4*j + u = 5*l, -5*j + i*j + 5 = 0. Is l a composite number?
False
Let v be (0 - 1)*(-4 - -4). Suppose -3*k + 12034 + 9725 = v. Is k a composite number?
False
Let d(i) = i**3 - 4*i**2 + 4. Let o be d(4). Is (8/10)/(o + (-17956)/4490) prime?
False
Is (-13035 + -7)/(4/(-2)) composite?
False
Let k(s) = 2*s**2 + 4*s - 5*s - 3*s**2. Let n be k(0). Suppose n*d + 413 = d. Is d a prime number?
False
Let m(r) = -r**2 + 4*r - 1. Let c be m(3). Is (85 - c)*(2 + 5) a composite number?
True
Let l = 5016 + 2591. Is l a prime number?
True
Let c(b) = 3339*b + 235. Is c(4) prime?
True
Let g be (8/(-2) + 3)*-1. Is ((-966)/(-5 + 11))/(g*-1) composite?
True
Let u be (-8)/(-20) + (-211956)/15. Is (-6)/21 - u/14 prime?
True
Let a be (3 + 0)/(4/(4 + 0)). Let z(o) = -6*o**3 + 3*o**2 - 3*o - 3. Let l(w) = -12*w**3 + 5*w**2 - 6*w - 7. Let q(k) = 2*l(k) - 5*z(k). Is q(a) composite?
False
Suppose 0 = 5*n + 5*y - 6454 + 1214, 1052 = n + 5*y. Is n prime?
False
Let f(n) = 899*n**2 + 9*n - 25. Is f(4) composite?
True
Let a be (-2)/11 + (-171)/(-33). Suppose -4*n = -4*u - 28, 3*u + 2*u = -3*n + a. Suppose -4*x - 4*y + 772 = 0, -959 = -n*x - 3*y + y. Is x a prime number?
True
Let u(z) = -z**2 + 7*z - 6. Let g be u(5). Suppose n - 785 = -g*n. Is n composite?
False
Suppose 38*j - 31*j - 63203 = 0. Is j prime?
True
Let c be -2 + (-2)/4*2. Is 932/(2/(c/9*-3)) a prime number?
False
Suppose 2*i + i - 15 = 5*u, i - u = 3. Let q(a) = -a**2 + 10*a - 11. Let y be q(8). Suppose -y*n = -t - i*t + 158, -4*t - 4*n + 512 = 0. Is t composite?
True
Let b = -95375 + 159744. Is b a composite number?
True
Let r be 2/2 - 74/(2/(-2)). Let z(s) = s + 5. Let f be z(0). Suppose 3*d - 267 = -5*i, 520 = f*d - i + r. Is d prime?
True
Let m(c) = 23*c**2 - 8*c - 14. Suppose 2*b + 6 = -6. Is m(b) composite?
True
Let s(p) = 20*p**2 + 18*p - 295. Is s(-42) a prime number?
False
Suppose 13*z = 10*z + 14490. Suppose -4*a + 13322 = -2*h + z, 5*a - h = 10612. Is a a composite number?
True
Suppose 0 = -l - 2*u + 23133, l = 5*u + 16008 + 7160. Is l a prime number?
True
Suppose 15461 = 2*z - 0*d + 3*d, -z + 7717 = -3*d. Is z/12*(1 + (-5)/(-1)) a prime number?
True
Let q = 20527 - 11604. Is q a composite number?
False
Let w(k) = -k**2 + 11*k + 6. Let z be w(12). Let b(f) = -7*f**2 - 9*f - 7. Let i(t) = 13*t**2 + 19*t + 15. Let q(h) = z*i(h) - 11*b(h). Is q(-10) prime?
True
Suppose 0 = 4*o + o + 4*j, -3*j - 15 = 0. Suppose -325 = 3*z + o*a, 0*z + 3*z + 360 = 3*a. Let k = z - -182. Is k prime?
True
Let n be (-12181)/(-1) - (-3 + -1). Suppose 2*v - n + 3343 = 0. Is v composite?
False
Suppose 0 = -4*c + 5*c + 10. Let b = -13 - c. Is b/2 + 3844/8 prime?
True
Suppose -62*q + 59*q = -18. Suppose -509 = -4*w - h, -3*w = -q*w + h + 380. Is w a prime number?
True
Let m = 51 + -59. Let w = m + 41. Is w a composite number?
True
Suppose 4*d + 5*y = 316, 0*d - 2*d - 5*y = -168. Suppose 2*v + d = 680. Suppose z - v = b, -2*z + 0*b + 610 = -b. Is z composite?
False
Let y = -83 + 84. Is 6639 - (0/(-9) - (-2)/y) prime?
True
Suppose 0 = -30*h + 934891 + 205439. Is h prime?
True
Let p be (-2)/(-3) + (16/(-6) - -3). Let m(u) = 1166*u - 1. Is m(p) a prime number?
False
Let k(c) = -4*c**3 - 20*c**2 + 2*c + 71. Is k(-17) prime?
False
Let g(m) = 13*m**3 + 3*m**2 + 2*m - 4. Let o be g(6). Suppose 5*z - y - 16931 = 0, -2*z - 3*y + o + 3862 = 0. Suppose -5*j + z = 242. Is j prime?
False
Suppose 5*v - 31214 + 6079 = 0. Is v a composite number?
True
Let k be (-32)/(-18) - 2/(-9). Suppose 3*f - k*f = 15. Is (-5)/f - 896/(-6) a prime number?
True
Let s = 268 - -609. Is s prime?
True
Let k be (-28674)/(-72) - (10/8 - 1). Suppose k = 5*y - 2767. Is y a composite number?
True
Let z = 584 - -25907. Is z a composite number?
True
Suppose -1640 = q - 5*q. Suppose 0 = -5*o - d - 4*d + q, 0 = -d + 2. Suppose 0 = b - o - 26. Is b a composite number?
True
Suppose 2998 = 5*v - 4*n, -v - 1792 = -4*v - n. Suppose -2*l + 5*y + 2156 = 0, 2*y + v = l - 479. Is l composite?
True
Let o be (37/5)/(3 - 28/10). Suppose -2*g + 3*r + o = 0, 126 = 5*g + 4*r - 24. Is g a composite number?
True
Suppose 3*g - 2*v - v - 9 = 0, 3*g + 5*v = 33. Let l(y) = 9*y**2 + 14*y + 3. Let c(i) = -14*i**2 - 21*i - 5. Let u(o) = 5*c(o) + 8*l(o). Is u(g) composite?
False
Let m(g) = -g**3 - 7*g**2 + 5*g - 19. Let a be m(-8). Suppose 0 = 5*n + a*w - 2395, 0*w + 4*w = 0. Is n composite?
False
Let n = -120 - -121. Let b(i) = 291*i**2 + 3*i + 81*i**2 - 2*i. Is b(n) composite?
False
Let z = 29 + -18. Suppose 0*x = 2*o + x - 5, 4*o + 3*x = z. Suppose o*h + 234 = 544. Is h a composite number?
True
Let i be 3 + -131 + 2*-1. Let v(q) = -6*q + 27. Let m be v(5). Let f = m - i. Is f a prime number?
True
Let p = 94 - 94. Let s(f) = f**3 - f**2 + 967. Is s(p) composite?
False
Suppose -r - 10 = -3*r - 3*n, -r = 4*n - 5. Suppose -3*t - r*d + 2461 = -3*d, -2*d + 819 = t. Is t a prime number?
True
Let w be ((-6)/(-4))/((-18)/(-24)). Suppose -z = -w*k - 4, -3 = 3*z + k - 15. Suppose z*y - 2405 = -y. Is y composite?
True
Suppose -8*i + 4417 = -i. Suppose -5*h + i = -1234. Is h a composite number?
False
Suppose -15 = -0*s + 5*s. Let q be s/(-2)*(-260)/(-3). Let h = q - -69. Is h a prime number?
True
Let u be (-7)/((-34)/11 - -3). Suppose v + 6 = -4*l + u, -4*v - 2*l + 312 = 0. Is v composite?
False
Suppose 3*a - 5497 = -5*l, a = 2*a - 4*l - 1855. Is a a composite number?
True
Let p be (-48)/18*9/(-6). Let r be 3 + -1 + -12 + p. Let y(z) = -z**3 - 5*z**2 - 9*z - 11. Is y(r) prime?
True
Suppose 8*f + 1893 = 9*f. Is f prime?
False
Let b(d) = -d + 2. Let i be b(-3). Let a be (2 - i)/(2/20). Is (24/a)/(4/(-30)) prime?
False
Let n(i) = -i**3 + 3*i**2 + 2*i. Let d be 1 - (4 + (-7 - -2)). Let c be n(d). Suppose 0 = 2*b - c, 2*h - 334 = -0*b - 4*b. Is h composite?
True
Let f(h) = -4*h**3 + 10*h**2 + 6*h. Let j be f(-9). Let v = j + -2558. Is v a composite number?
True
Let b(w) = w**3 + 19*w**2 + 18*w + 22. Suppose 5*i - i + 236 = -4*c, 4*i - 5*c = -254. Let j = i - -43. Is b(j) composite?
True
Let a(q) = -1073*q + 537. Is a(-14) a prime number?
True
Let p(m) = -m**3 - 6*m**2 + m + 6. Let z be p(-4). Let i be z/105 + 36110/14. Let a = 3628 - i. Is a prime?
True
Suppose -5*f = 3*d - 1, 2*f + 5 = 2*d - 5*d. Is ((-2)/d)/(8/6)*5414 a composite number?
False
Let u(f) = 1 - 3*f + 56*f**3 - 12*f**3 + 0*f. Suppose -4*z - 14 = -3*c, 0 = 6*c - c + 2*z - 6. Is u(c) a composite number?
False
Suppose -5 = 5*k + x, -5*k - 2*x - 15 = x. Suppose 0 = 3*g + 4*m - 2081, k*g + g - 692 = -m. Is g a composite number?
True
Let d(g) = 2*g - 3. Let o be d(3). Suppose 0 = -a + o. Suppose -68 = -a*u + 10. Is u composite?
True
Let n(h) = 720*h + 57. Is n(6) a composite number?
True
Suppose -4*y = -2*u - 2, 2*u = 3*y + 2*y - 3. Is 4872/12 + y + 2 a prime number?
True
Suppose -2*g = g + 5*z - 3248, g = 4*z + 1094. Is (-3)/(-3) + 1*g composite?
False
Suppose -12*a + 15*a = 66. Let v = a + -20. Suppose f + 14 = -v*s + 7*s, 3*s - 70 = -5*f. Is f a prime number?
True
Is (-12251)/(-9) + 4/(-18) a composite number?
False
Let l = -5831 - -11196. Suppose -5*p + 5*a = -l, -p + 1065 = -2*a + 3*a. Is p a prime number?
True
Suppose -5340 = 4*v + v. Is v/(-30)*5/2 a prime number?
True
Let u(w) = w**3 - 5*w**2 - 20*w + 3. Let l be u(8). Let n = 27 + l. Is n a composite number?
True
Let v(g) = 229*g*