p = -2*s - 4. Is (74/(-6))/(p/6) prime?
True
Suppose -24 = -i + 5*i. Let c(k) = 3*k**2 - 6*k + 7. Let x(w) = -8*w**2 + 18*w - 21. Let t(j) = 17*c(j) + 6*x(j). Is t(i) a composite number?
True
Let y = 5 - -3. Suppose -x - 3*s + y*s = -17, -s = 3*x - 67. Is x a prime number?
False
Suppose -2*x + 7 = 5*k - 1, 7 = 4*k + x. Let i(j) = -2*j + 3. Let b be i(k). Is (1/b)/(2/(-66)) composite?
True
Suppose -3*x + 55 = -3*q - 20, 4*q = 5*x - 122. Is x prime?
False
Suppose 4*f + 4*o = 6*f + 16, 0 = -5*f - 3*o - 14. Let k = f + 6. Suppose k*g + 3*n - 46 = 19, -4*g = 3*n - 139. Is g a composite number?
False
Suppose 2*u = -8, 0 = 5*a + u - 6*u - 30. Let p(k) = k + 95. Let n(i) = -2*i - 96. Let m(y) = a*n(y) + 3*p(y). Is m(0) a composite number?
True
Let a = 2 + -1. Is 156/8 - a/2 a prime number?
True
Let p(i) = -11*i - 2. Let w be p(-5). Let m = w + 4. Is m prime?
False
Let o(u) = 6*u**3 + u**2 - 3*u + 1. Let j = -2 - -3. Suppose j + 1 = l. Is o(l) prime?
True
Let c(u) = u - 9. Let h be c(13). Suppose 0 = h*a - 2*a - 586. Is a composite?
False
Let s = 153 + 1408. Is s a composite number?
True
Let d = 1170 - 529. Is d prime?
True
Let f(l) = -26*l - 7. Is f(-3) composite?
False
Let w(b) = 28*b**2 - 8*b + 2. Let p be w(-6). Suppose -538 = -2*a + 5*n - 121, 3*n - p = -5*a. Is a a composite number?
False
Let q(l) = l**3 - l**2 + 1. Let t(w) = -5*w**3 - 5*w**2 - 16*w - 11. Let x(d) = -6*q(d) - t(d). Is x(12) prime?
True
Let p(i) = -105*i + 4. Let g be p(-5). Suppose -579 = -4*f + 5*x, -4*x = 4*f - g - 23. Suppose 3*j - 3*n - 141 = -n, -3*n - f = -3*j. Is j a prime number?
True
Let i = 11 - 16. Let t(s) = s**3 + 10*s**2 + 7*s + 1. Is t(i) a composite number?
True
Let b(n) = -n**3 - 9*n**2 + 9*n + 12. Let l be b(-11). Is l/2 - 6/12 prime?
False
Suppose 0 = 5*a, -3*f + a - 597 = 4893. Let z = -1189 - f. Is z prime?
True
Suppose -4 + 2 = -x. Suppose -135 = -7*j + x*j. Suppose 3*y = -z + 128, -y + 2*z + 18 + j = 0. Is y a composite number?
False
Let w(l) be the first derivative of -18*l**2 - l + 8. Is w(-7) composite?
False
Suppose -4*t - 5*r + 108 = -6, -3*r - 99 = -3*t. Let h = t + -17. Is h composite?
True
Let g(a) = 10*a - 4 - 1 + 5*a. Let j be g(4). Let u = j - 33. Is u a prime number?
False
Let f(u) = -u**3 + u**2 + 2*u - 7. Suppose -5*d - 2*x - 45 = 0, -5*x - 2 + 5 = -4*d. Is f(d) composite?
True
Suppose o = -z - 6, o = -3*z + 4*z + 4. Let u be (9/15)/(o/(-115)). Is ((-14)/21)/((-2)/u) composite?
False
Suppose 363 = f - 4*l, 5*f - l - 1751 = 3*l. Is f composite?
False
Let j = -1019 + 1828. Is j composite?
False
Suppose -5*s = 68 + 457. Let a be (s/6)/((-1)/6). Suppose -4*k + 168 = y + 8, -a = -3*k + 3*y. Is k composite?
True
Suppose 0*x - 15 = 5*x, 0 = 3*q - 3*x - 480. Is q a prime number?
True
Suppose 2*t - 16795 = -3*t. Is t a prime number?
True
Let k(x) = -54*x - 20. Is k(-7) prime?
False
Suppose -3 = f + 1. Let u(b) = -6*b - 3. Is u(f) a prime number?
False
Let l be 3 + 2*(-6)/4. Suppose l = 5*c - 3*p + p - 5751, -c + 1161 = 5*p. Is c prime?
True
Is (5654/(-44))/(2/(-4)) a composite number?
False
Suppose -5*h - 14 - 6 = 0. Let g be (-2)/(-4)*-1*h. Let q(y) = 7*y + 1. Is q(g) a composite number?
True
Let p be 138/(-4)*(-4)/(-3). Let c = 17 - p. Is ((-8)/(-6))/(6/c) a prime number?
False
Let m(z) = -z**3 + 7*z**2 + 4*z - 4. Let i be m(8). Let p be 486/8 + (-1)/(-4). Let x = p + i. Is x a composite number?
True
Let h(s) = s**2 + 2*s - 4. Let k be h(-4). Let x(t) = 4*t + t**2 - t + 0*t - 2*t**2 + t**3 - 1. Is x(k) composite?
False
Let s = 15 + -9. Suppose 3*v = s*v - 6. Is 1/(-1) + v + 10 a composite number?
False
Let l(v) = v**3 - 5*v**2 - v + 3. Let w be l(5). Is (-5)/(-10) - 21/w a composite number?
False
Let a = 88 - -3369. Is a a prime number?
True
Suppose -5*l = -0*l + 5*x - 30, 5*l - 5*x = 20. Suppose 0 = -4*z + 8, 1148 = l*w - 4*z + 101. Is w composite?
False
Is (-34)/(-8) + -4 - (-3894)/8 composite?
False
Let s = 3 - 0. Let a = s - 0. Suppose 0 = -z - b + 96, 2*z + a*b = -2*b + 207. Is z a prime number?
False
Suppose -5076 = -4*h + s, 2*h - 4*s - 1191 = 1333. Is 2/(-3) + h/6 composite?
False
Is (508/(-8))/((-2)/4) a prime number?
True
Let s(y) = 59*y**2 - 2*y + 7. Let g(v) = -v - 13. Let h be g(-9). Is s(h) a prime number?
False
Is -2*3/6 - (3 + -891) prime?
True
Suppose 0 = 6*o - 5*o - 127. Is o a prime number?
True
Suppose 5*c = 2*b - 1667, 3*b - 122 - 2373 = 2*c. Is b a composite number?
True
Let o = -472 - -255. Let j = o + 386. Is j a composite number?
True
Suppose 2*r - 55 = 3*g, 4*r + 10 = -2*g - 0. Let l = 104 + g. Is l prime?
True
Suppose -5*l + 9*l - 2668 = 0. Is l composite?
True
Suppose -30901 = -3*i + 4*k, 34563 + 6632 = 4*i + k. Is i a prime number?
False
Suppose 0 = -4*s + s. Is -194*((-3)/6 + s) a prime number?
True
Suppose 3*y - 443 = 2*y. Is y composite?
False
Suppose -6*b - 1 = -1147. Is b a composite number?
False
Let n = -5 + 46. Suppose 4*d = 3*y - 63, 2*y - n - 1 = -d. Is y composite?
True
Is 1763/5 + 9/((-135)/(-6)) a composite number?
False
Suppose 5*l + 1046 = x + 4*l, -2*l = 6. Is x composite?
True
Let a(v) = 358*v - 23. Is a(7) a composite number?
True
Let y = 7 - 5. Is y/2 + 1 + 51 prime?
True
Suppose 3 = -4*n - 5*y - 2, 5*n + 4*y + 4 = 0. Suppose n = 4*v - 15 - 25. Is v composite?
True
Let s = 2873 - 1518. Is s a prime number?
False
Is 0 - (1 + 3) - -995 composite?
False
Let f(b) = b**3 + 2*b**2 - 1. Let v be f(-1). Let n be -202 + v*1/(-3). Let a = -117 - n. Is a composite?
True
Let t = 589 - -96. Is t composite?
True
Suppose -2*j = -4*s - 1458, -467 - 1736 = -3*j + 2*s. Is j a prime number?
False
Suppose n + 5*u = 639, 6*u + 1879 = 3*n + 2*u. Is n a prime number?
False
Let t(z) = 663*z**3 - 2*z**2 + z. Let r be t(1). Suppose 3*n - r = n. Is n composite?
False
Let c be (-4 + 1)/((-30)/(-13340)). Is c/(-3) + 14/42 prime?
False
Suppose 3*r - 6*r = 12. Let c be (r/(-2) + -1)*0. Is c + 1/(-1) + 80 a prime number?
True
Let y = 7 + -4. Suppose 3*t = -2*u + 1556, -y*u - 2*u + 3877 = t. Suppose -5*v + 5*z = -u, -82 = -3*v + 4*z + 381. Is v composite?
False
Is 1/((-4)/(-1654 - -2)) a composite number?
True
Let v = 54 + -88. Let l = -52 - v. Let s = l - -55. Is s a prime number?
True
Suppose 2*t - 555 = -3*t - h, 2*t = -3*h + 222. Is t a composite number?
True
Let d(i) = i + 5. Let m be d(-4). Is (m - 224)/(4/(-4)) composite?
False
Let x = -1 - -5. Suppose -x*f - 4*i + 252 = 0, -2*i = 3*f - 0*i - 184. Is f a prime number?
False
Let x(k) = 3*k**2 - 3*k + 2. Let l be x(1). Suppose 0 = 4*u - 6*u + 5*j + 34, -l*j = -3*u + 29. Is u prime?
True
Is -5*((-24)/15 + 1) + 1123 a prime number?
False
Let d(h) = 2*h - 5. Suppose 0 = -5*v + 2*v - 15. Let q be d(v). Is 10/q*1266/(-4) prime?
True
Suppose 8*d + 3247 = 25*d. Is d prime?
True
Let s = 88 - 41. Suppose -4*y + 12 = -3*y. Let w = s - y. Is w a composite number?
True
Suppose 4*g = 2*d - 946, d + 2*g - 485 = -0*d. Is d prime?
True
Suppose -2*r + 191 = -z, 5*r + 0*r = 3*z + 478. Is r a prime number?
False
Let x be ((-18)/2)/(3/2). Let q(v) = -v + 1. Let h(b) = 12*b - 1. Let y(s) = -h(s) - 6*q(s). Is y(x) a prime number?
True
Let p(g) = -5*g**3 + g**2 - 2*g - 9. Let f(d) = d**3 + d**2. Let b(y) = -2*f(y) - p(y). Is b(7) a prime number?
False
Suppose 0 = -4*l - 2*c - 106, -2*l - 14 = 4*c + 30. Let d = 115 - l. Is d a prime number?
False
Let l(b) = -4*b**2 - b**2 + 9*b**2 - 3 + 6*b. Let q be 57/(-12) + 2/(-8). Is l(q) composite?
False
Is (-4192)/(-5) + (-6 - 140/(-25)) a composite number?
True
Let c(w) = 77 - w**3 - 2*w**2 - w + 0*w**2 + 2*w**3 + w**2. Let n = 0 + 0. Is c(n) prime?
False
Suppose -5*f = 10 - 5. Let j(c) = 0 + 15*c**2 + 2*c - 3*c - 1. Is j(f) prime?
False
Suppose -2*k + 168 = -6*k. Suppose 56 = 2*f - 6*f. Is (-240)/k - 4/f a composite number?
True
Suppose -38*h = -42*h + 1276. Is h prime?
False
Let n = 5 + 3. Let d(l) = -12*l + 3. Let x be d(-5). Let t = x - n. Is t composite?
True
Suppose 0 = 4*t - 2019 - 5833. Is t composite?
True
Let p(k) = 2*k**3 + k**2 + 2*k + 5. Is p(4) a composite number?
False
Suppose -6*n = -7*n + 122. Is n prime?
False
Is (2192/6 - -6)/((-2)/(-3)) a composite number?
False
Let r be (1/(-2))/((-1)/10). Suppose -5*h = 2*x + 6, r*x + 1 = -2*h + 7. Suppose x*g + 185 = 7*g. Is g prime?
True
Let h(a) = -2*a + 1. Let w be h(-1). Suppose w*c + 339 = 5*l, -