 (-5)/(-2) + 1/(-2). Suppose -f*k + 11 = 1. Suppose -4*d + k*d - 301 = 0. Is d a composite number?
True
Let i be (-2)/11 - 136/(-22). Let l = i + -2. Suppose -2*g - 10 = 0, -2*x - l*g + g = -367. Is x composite?
False
Suppose -z = -0*z - 889. Is z a composite number?
True
Is (-6)/(-10) - (-60160)/25 a composite number?
True
Let v(g) = -g - 6. Let o(u) = -u - 7. Let s(a) = -5*o(a) + 6*v(a). Let y(j) = -12*j - 7. Let c(f) = -4*s(f) + y(f). Is c(-5) composite?
False
Let z be (18/(-12))/(1/(-4)). Suppose -5*v = -b - b - z, -3*v - 4 = -5*b. Suppose 46 = 2*s + 4*i, -v*i = -7 - 1. Is s a prime number?
False
Let t be 3/1 - -3 - 0. Is (4/(-6))/(t/(-603)) a prime number?
True
Let d(c) = 2*c**2 + c. Let h be d(1). Suppose -5*y + 1055 = 3*v, -2*y + 422 = -h*v + 4*v. Is y prime?
True
Let w = 11 + -10. Let r = w + 18. Is r composite?
False
Is (-6 - -9) + 249 - -5 a prime number?
True
Let t = 3 + 0. Is 2/t*3 - -77 prime?
True
Suppose 0 = -5*p + 3*s - 33 - 59, -p + 4*s = 32. Let m = p - -37. Suppose b + m = 4*b. Is b composite?
False
Is 6/(-45) - 3021/(-45) a prime number?
True
Let y(j) = j**3 + 11*j**2 - 11*j - 4. Is y(-7) a composite number?
False
Let b be 2/(-7) + 438/14. Let n = 285 - b. Is n a composite number?
True
Let c = 2 + 3. Suppose -2*j - 5*u - 16 = 0, c*j - 4*u + 27 = -13. Let m(k) = k**3 + 9*k**2 - 5*k - 9. Is m(j) a prime number?
False
Suppose -2*b + 383 = 33. Suppose -5*z = -10*z + b. Is z a composite number?
True
Let i = 3011 + -1840. Is i a prime number?
True
Let b(y) = -105*y + 5. Is b(-6) prime?
False
Let m = 26 - 30. Is 0 - (-2)/m*-1174 a prime number?
True
Let u = 2282 + -1221. Is u composite?
False
Suppose 0 = -2*w - v + 20, 5*w + 4*v - 61 = -14. Is w prime?
True
Let v(w) = 39*w**2 + w - 7. Is v(3) composite?
False
Suppose 0*o + 5*a - 1820 = 2*o, 4*o = -4*a - 3584. Let q = -593 - o. Is q a composite number?
False
Let c(x) = -1. Let l(b) = b + b - 4*b + 5 - 4*b. Let g(v) = -2*c(v) - l(v). Is g(6) prime?
False
Suppose 3*f = 7*f - 3868. Is f a composite number?
False
Let t = -153 - -472. Is t a composite number?
True
Let p be 4388/18 + (-2)/(-9). Suppose 0 = 4*g - 3*o - 255 - p, 4*g - 5*o = 493. Is g prime?
True
Suppose -6 = -3*w + w. Suppose -3 = -p + 3*k + 228, 3*p - 753 = -w*k. Suppose p = 3*q - 3*c, -2*q + 167 = -0*q - 3*c. Is q a composite number?
False
Let z be 2 + 26*2 + -1. Let n be (-16)/(-4)*(-2)/(-4). Suppose n*a - z = a. Is a prime?
True
Let c = -360 + 1181. Is c a composite number?
False
Suppose 5*d - 6*d = -2719. Is d composite?
False
Suppose -3*f = 4*y - 7*f - 4, -22 = -2*y - 3*f. Let o be 1/(-1) + y + 0. Suppose 3*i + 40 = x, -2*x + 295 = 3*x + o*i. Is x prime?
False
Let j = -680 + 2351. Is j a composite number?
True
Suppose -5*z = -3*l - 3934, 0 = z + 10*l - 6*l - 773. Is z composite?
True
Suppose -2*f - 3*f = -3225. Suppose -f = -5*p + 4*l, 0*p + 3*l + 387 = 3*p. Is p prime?
False
Let n(j) = -6*j**3 - j - 1. Let x(t) = -t**3 - 4*t**2 - 3*t. Let s be x(-2). Is n(s) composite?
True
Let z(s) = -s**2 + 6*s - 3. Let p be z(2). Suppose -p*y + 25 = 0, y + 1072 = -2*d + 5*d. Is d composite?
False
Let m = -4 - -10. Suppose 2*y - m*y = 0. Suppose 3*l = 6*l + 3*u - 15, y = 2*u - 4. Is l composite?
False
Suppose 2*k = -11 + 243. Let h = 239 - k. Is h prime?
False
Let o(g) be the third derivative of g**6/120 - g**5/15 - 5*g**4/24 + 3*g**2. Let x be o(5). Suppose -m - 2*r = -3*m + 64, 4*m + 3*r - 163 = x. Is m prime?
True
Let p be 10/(-45) + 2/9. Is 304 - (p - (1 + 2)) prime?
True
Let q(s) be the third derivative of 11/24*s**4 + 0*s + 2*s**2 + 0 + 5/3*s**3. Is q(7) a composite number?
True
Let s(d) = -d**2 - 3*d - 3. Let w be s(-3). Let b = w + 16. Is b composite?
False
Is 1*404 - (8 - 11) prime?
False
Let m = 2195 + 2450. Is m a composite number?
True
Let q(y) = -y - 2. Let r be q(-6). Let m = 17 + r. Is m a prime number?
False
Let u = 769 - 315. Is u a composite number?
True
Let l = 258 + 637. Is l a prime number?
False
Suppose -111 = b - 322. Is b a composite number?
False
Suppose 19*q - 18*q = 1024. Suppose -5*g + 21 = -q. Is g prime?
False
Suppose 2*l + 9 - 3 = 2*x, 0 = 3*l - 5*x + 9. Let j be (0 + -69)*1/l. Suppose 2*n - j = n. Is n a prime number?
True
Suppose -j = -3*j + 4. Let a(d) = d**3 - 2*d**2 + 3*d - 2. Let h be a(2). Suppose -j*m - 170 = -h*m. Is m a prime number?
False
Suppose 45 = 3*z + 2*z. Let d = z + -2. Is d a composite number?
False
Suppose c = 5*c - 192. Suppose 2*u - 4*q - c = 0, 2*u - 20 = q - 4*q. Suppose -4*b - 2*y + u = 0, -b + y + 9 = 4*y. Is b a prime number?
True
Is (-4)/1 - 59/(-1) prime?
False
Suppose -3*s - j + 11 + 16 = 0, 5*s - 31 = 3*j. Let w(v) = -v + 5. Let o be w(s). Is o - 1*-1*22 composite?
False
Suppose 0*u - 6 = -3*u. Suppose u*x - 37 = x. Is x a composite number?
False
Is ((-844)/(-6))/(2/6) a prime number?
False
Is -2 - -2 - 68/(-2) a composite number?
True
Suppose 0 = o - 216 + 13. Is o a prime number?
False
Let k(n) = 5*n**2 - 46*n - 52. Is k(-27) a prime number?
False
Is ((-12)/9 + 1)/((-6)/82494) composite?
False
Let o(h) = -7*h**2 + 6*h + 1. Let z(y) = -7*y**2 + 7*y + 1. Let g(f) = -5*o(f) + 4*z(f). Suppose -5 = -3*i + 1. Is g(i) a prime number?
True
Let j = -30 - 97. Let b = 72 + j. Is (b/2)/(4/(-8)) composite?
True
Let p(u) = -u**2 - 8*u. Let h be p(-10). Let n = 49 - h. Is n a composite number?
True
Let p = -338 - -1245. Is p a prime number?
True
Let j be ((-4)/5)/((-1)/20). Suppose -5*l - g = -12 - j, 2 = l - g. Suppose 2*r - 4*i = i + 95, 3*i + 190 = l*r. Is r a prime number?
False
Let g be 17/3 - (-6)/18. Let c be g/(-9)*9/(-2). Is (2 - c) + 2 + 25 a composite number?
True
Let f(p) = -5*p**3 + 2*p**2 + 3*p - 1. Is f(-3) a composite number?
True
Suppose 5*b - 60 = -5*r, 2*r + 4*b - b - 27 = 0. Let l(y) = 3*y**2 - y. Let a be l(1). Suppose a*t - r = -t. Is t a composite number?
False
Suppose 5*r - 619 - 2446 = 0. Is r prime?
True
Let g(o) = 2*o**2 - 5*o + 1. Let w be g(4). Let z = -21 + 39. Let i = z + w. Is i prime?
True
Let g(v) = 76*v + 8. Let o be g(10). Let u = o + -545. Is u a prime number?
True
Let q(d) = 24*d**2 + 4*d - 5. Is q(3) a composite number?
False
Suppose -5*u - d + 690 = -4*u, -2*d = u - 695. Is u a prime number?
False
Let t be -8*3/12*-2. Suppose -j + 190 = t*j. Is (1 + -2)/((-2)/j) prime?
True
Let c = 514 - 331. Is c a composite number?
True
Let i = -221 - -862. Is i prime?
True
Suppose -4*m + 2*p + 468 = 0, -9*m + 476 = -5*m - 4*p. Is m prime?
False
Let p(l) = 2*l**2 + 6*l + 23. Is p(16) composite?
False
Suppose 2*q + 0*c + c - 269 = 0, -2*c - 534 = -4*q. Is q a prime number?
False
Suppose 4*f - 1162 = -2*x - 0*x, f + 1172 = 2*x. Suppose 4*y - 493 = -3*z, -5*y - 3*z + x = -29. Is y composite?
True
Let q(x) = x**3 - 4*x**2 + x - 1. Let u be q(4). Let j(z) = -4*z**3 - 3*z**2 + 2*z**u - z + 2*z**2 - z - 1. Is j(-2) composite?
True
Suppose -5*a = -9*a + 332. Is a a composite number?
False
Let h = 7 - 3. Suppose -h*b + 173 = 33. Is b a prime number?
False
Let p = -2 + 8. Suppose -263 = -4*b + b + 5*x, 3*x = p. Suppose -174 - b = -5*k. Is k prime?
True
Suppose 0 = -4*k + k + 1692. Suppose 5*y = y + k. Is y a prime number?
False
Let r = 28 - 4. Suppose 0 = -5*f - 1 - r, 2*s - 5*f - 767 = 0. Is s a composite number?
True
Let k(j) = j**2 + 2*j - 1. Let o be k(-3). Suppose 3*a + 61 = o*q + 2*a, 0 = q + 2*a - 43. Is q a composite number?
True
Let d be (54/8)/((-9)/648). Let a = -229 - d. Is a prime?
True
Let u be (-184)/(-3) + (-1)/3. Let z(f) = 5*f + 1. Let r be z(-5). Let k = u + r. Is k prime?
True
Let u(b) be the second derivative of -3/2*b**3 + 0*b**2 + 2*b + 0 - 1/12*b**4. Is u(-7) a composite number?
True
Let h be (-4)/5*(-5)/2. Suppose -2*a - 12 = -z, -h*z = 3*a + a + 8. Suppose -2*u + z*u - 134 = 0. Is u composite?
False
Let t = -1 + 1. Suppose -3*g + 207 = -t*g. Is g a prime number?
False
Let q(w) = -1185*w**3 + w**2 - 2*w + 1. Let d be q(1). Is 2/(5/(d/(-6))) composite?
False
Let z be ((-5)/4)/((-4)/16). Suppose -4*q + z = -11. Suppose -54 = -q*p + 526. Is p a prime number?
False
Let b = 5 + -1. Suppose -3*w + i = -i - 30, b*w + i = 40. Is w prime?
False
Let z be 85/1 - (1 - 0). Suppose z = 5*b - 101. Is b a composite number?
False
Let r = 380 + -193. Is r a composite number?
True
Let r(x) = 69*x**3 + x**2 + 1. Let k(s) = s**3 + s**2. Let g(u) = 2*k(u) - r