True
Let r be (-18)/(-117) + 2/(-13). Let q be 2 + r + 920/(-4). Let z = q + 479. Is z composite?
False
Suppose -5 = -4*w + 3. Suppose 5*j + 2*b = 3*b + 47, 5*b + 5 = w*j. Is j a prime number?
False
Suppose -o - 8*o + 71127 = 0. Is o a composite number?
True
Suppose -m + 54915 = x, -1865 + 166626 = 3*x - m. Is x a composite number?
False
Let q = 73 - 74. Is (2/3)/(q/((-1143)/6)) prime?
True
Suppose -3*v - 1742 = -0*s - 2*s, -2*s + v = -1738. Let l be ((-6)/(-7))/(4/s). Is l/14 + 4/(-14) composite?
False
Let r(z) = -z**3 + 7*z**2 - z - 1. Let n be r(7). Let p be (1 - -3) + 14 + n. Let i(w) = 2*w**2 + 11. Is i(p) a composite number?
False
Suppose 0 = c + 2*c. Suppose c = -2*g - g + 2142. Suppose g = y + 5*d, -4*y + 2*d - 426 = -3304. Is y prime?
True
Let d = -10 - -10. Suppose d = 4*x - 4*i - 556, 3*i = -3*x - 0*x + 387. Is x composite?
True
Is 44/(-132) + (-146012)/(-6) + 8 a composite number?
True
Let n(a) = 66*a + 115. Is n(31) a composite number?
False
Let f = 15458 + -29360. Is ((-6)/9)/(4/f) a composite number?
True
Let f(o) = -o**3 - 4*o**2 - o + 4. Let s be f(-3). Let h be (s - 1) + (0 - -140). Suppose h + 51 = 4*m. Is m prime?
True
Suppose 25 = 5*p, 3*p - 3510 = -5*g + p. Is (g/(-4) - 3)*7/(-2) a prime number?
False
Suppose 8*y - 2793 = 6287. Is y a composite number?
True
Let p be 5/((-20)/16) - -4. Suppose -4026 = -4*q + 5*u, p*q - 3*u - 4030 = -4*q. Is q composite?
False
Is 8380/5 - (-5 - 0) a composite number?
True
Suppose 4*l = -4*y + 680, 0 = 2*y + 3*l - 0*l - 345. Suppose 5*m + 1050 = 5*b, 4*m + y - 1013 = -4*b. Is b a prime number?
True
Let m be (-1884)/(-27) + 6/27. Is 10822/m - 4/(-10) a prime number?
False
Let m(w) = 292*w**3 + 5*w**2 - 10*w + 1. Is m(6) a composite number?
True
Suppose 0 = 4*h + 5*v - 2486, -3*h = 4*v - 2743 + 878. Is h a prime number?
True
Suppose 0 = 52*v - 499845 - 1337367. Is v a composite number?
True
Let h = -25 + 28. Suppose h*d + 4000 = s, 0*d + 7992 = 2*s + 2*d. Is s composite?
True
Let j be (-20)/15*(-18)/(-4). Let p = -64 + 37. Let b = j - p. Is b composite?
True
Let p(m) = 65*m - 1. Let o be p(-2). Suppose -534 - 2126 = -14*r. Let u = o + r. Is u a composite number?
False
Suppose c + 108 = -0*g + g, 0 = 2*g + 3*c - 241. Is g a composite number?
False
Suppose 0 = -9*t + 6*t. Let q(s) = t + 4*s - 5 + 7*s. Is q(8) a prime number?
True
Let f be 308/20 + 1 + (-8)/20. Let l(c) = c**3 - 15*c**2 - 8*c - 9. Is l(f) composite?
True
Let a(w) = 7*w**3 - 17*w**2 + 2*w + 35. Let s(m) = -m**3 + m**2. Let q(t) = a(t) + 6*s(t). Is q(15) a composite number?
True
Let r = -548 - -997. Is r a prime number?
True
Suppose -2*x = -5*d - 6391, -4*x + 2550 = -d - d. Let w = d - -472. Is 12/(-8) + w/(-6) prime?
False
Let m be (-88)/(-20) - 2/5. Suppose -1 = n, -3*a - 2*n = a - 18. Suppose 2*t - 134 = -m*c, 150 = a*c - 0*t - t. Is c prime?
True
Let b(g) = 2*g**3 + g**2 - g. Let w be b(-1). Suppose w = 11*u - 7*u - 12. Suppose u*z + 224 = 5*n + 6*z, 2 = -z. Is n a composite number?
True
Let f = -230 - -161. Let b = f + 132. Is 36/b + 4094/14 a prime number?
True
Let f(l) = -l. Let h(o) = 40*o - 6. Let y(r) = 2*f(r) + h(r). Let w(d) = 1. Let b(k) = w(k) - y(k). Is b(-6) prime?
False
Suppose -3*d + d = -144. Let h be 90520/d + 6/(-27). Suppose 6*q - 9*q = -h. Is q a prime number?
True
Suppose -5*l = 5*w - 580, l + 448 = 3*w + 104. Suppose 4*h - 1573 - w = 0. Is h a prime number?
False
Is 3/(((-144)/(-18606))/8) a composite number?
True
Suppose -2*y + 15*m - 10*m + 12009 = 0, y - 5*m - 6002 = 0. Is y composite?
False
Let h(s) = -62*s. Let j be h(-3). Suppose j = 2*g - 722. Is g a composite number?
True
Suppose 5*a = 16 - 46. Let s be ((-10)/6)/(2/a). Suppose 3*r = -2*p + 17, p + 12 = 2*p + s*r. Is p composite?
False
Let f(j) = 62*j - 9. Let x be f(-7). Let c = 680 + x. Is c composite?
True
Let i(y) = 111*y**2 - 33*y - 23. Is i(-11) composite?
True
Let m be (5/((-15)/(-148)))/(2/87). Suppose 1065 = k + i, k - 3*k + 2*i = -m. Is k prime?
True
Suppose 0 = -5*q + 24 + 11. Suppose 0 = -3*t + q + 17. Suppose -230 = t*o - 10*o. Is o prime?
False
Suppose 56410 = 5*b - 5*q, 3*b = 2*q + 17592 + 16255. Is b prime?
False
Suppose 4*j - i - 1670 = 0, -j + 407 = 3*i + 2*i. Let o = j + 134. Let k = o - -128. Is k a prime number?
False
Is ((-1)/(-3))/((-34)/(-1064166)) prime?
True
Suppose -1518 = 3*b + 4*l - 9*l, -3*b - 5*l = 1518. Let g = b - -949. Is g a prime number?
True
Suppose c = -4*c - 13410. Let b = 3755 + c. Is b a composite number?
True
Let y(t) = -505*t + 344. Is y(-19) prime?
False
Suppose -b - 1028 = -4*r - 6*b, 3*b + 1028 = 4*r. Is r composite?
False
Let c(b) = 2*b + 11. Let z be c(4). Let l = 336 - z. Is l a prime number?
True
Let d = 59 - 26. Is 11/(d/3018) + 3 prime?
True
Let i = 18 - 17. Suppose -4*t = -4*b + 4, -4*t + i = -2*b + 3*b. Is (t - 1191)*(-8)/24 prime?
True
Is 55544/6 - (99/(-27) - -4) prime?
True
Let w be 4 - (-4 + -49) - 0. Let b = w - 46. Is b composite?
False
Let i = 5510 - 3267. Is i a prime number?
True
Let g(r) = 21*r - 1. Let i(h) = -h**2 + 8*h + 3. Let n be i(8). Suppose 4*v = -n*f + 40, -5*f - v + 44 = -17. Is g(f) a composite number?
False
Suppose -4*z - 33 = -7*z. Let n = z + -9. Is (156 + 0 + 2)/n a composite number?
False
Suppose 2*x - 16 = 198. Let u = x - -42. Is u a composite number?
False
Suppose 558 = 3*r - 8*t + 3*t, -3*t = -5*r + 930. Let x = r - -173. Is x composite?
False
Let d = 20 - 18. Suppose d*f + p - 1478 = 0, -5*f - p = 3*p - 3701. Is f a prime number?
False
Let s(o) = 114*o**2 + 7*o + 5. Is s(-2) a prime number?
False
Suppose 0 = 13*q - 11*q + 5*s - 64612, -3*q - 3*s + 96927 = 0. Is q composite?
True
Suppose 0 = -i + 2*o - 4, -2*i + 4*o - 6 = i. Let q(r) = 8 + 7*r**2 + 8*r - 3*r**i - r**2. Is q(7) prime?
True
Suppose 0*g + 3*g - 4*f = -3, -14 = 4*g - 2*f. Is 4 + (-17510)/g + -1 prime?
False
Is (532/(-6))/(2 - 64/24) a prime number?
False
Let o(c) = 3*c**2 - 6*c - 5. Let j(v) = -v**2 + v. Let k(r) = -4*j(r) - o(r). Let d be k(-4). Suppose 0 = -d*x + 8*x + 35. Is x composite?
False
Suppose -4*v = 2*v + 756. Let c = v - -661. Is c a prime number?
False
Let x be -37 + (-4)/(-20)*5. Let s(j) = 10*j - 5. Let o be s(6). Let m = x + o. Is m composite?
False
Let t(z) = 5*z - 10. Let n be t(-5). Is (-2779)/n - (-4)/(-10) a prime number?
True
Suppose 3*x = -b + 190713, -69*x = -66*x - 3*b - 190713. Is x a prime number?
False
Suppose -4*b + 465 = -b. Suppose 63 + 237 = -3*j. Let y = b + j. Is y a composite number?
True
Suppose -30721 = -3*h + s - 956, 0 = -3*s + 12. Is h a prime number?
True
Let f = -16794 - -28581. Is f a prime number?
False
Suppose -10*j + 58136 = -78354. Is j a prime number?
True
Suppose o - 6 = 7*o. Is -1 - (-2 + -2997) - o a composite number?
False
Is (6 - 9 - -11) + 7061 composite?
False
Suppose 0 = 5*x - 3*m - 5060, -3*x + 5*m + 4217 = 1165. Is x a composite number?
False
Let d(n) = -12031*n - 906. Is d(-37) composite?
True
Suppose -7*z + 15*z = -1152. Let t(x) = 8*x**2 - 3*x - 4. Let s be t(-5). Let m = s + z. Is m a composite number?
False
Let r(x) = 202*x**2 - 6*x - 3. Let q(u) = -u**3 + 2*u**2 - u. Let v be q(2). Is r(v) composite?
True
Let a(l) = -13*l**3 + 13*l**2 + 4*l + 9. Is a(-7) a prime number?
True
Is -10*30/20*(-347)/3 prime?
False
Let n(h) = 45*h**2 - 9*h - 7. Let c be (-2)/(-9) + 130/(-18) + 3. Is n(c) prime?
False
Suppose -2*x = -3*x + 12856. Is x/16 + 3/(-6) composite?
True
Suppose 3*c - 2682 = -3*u, -2*u = 3*c - 1237 - 550. Let f = -506 + u. Is f prime?
True
Let c = 733 - -52. Is c prime?
False
Suppose 38*m - 256954 + 72540 = 0. Is m a prime number?
False
Suppose -521*v - 199544 = -529*v. Is v a prime number?
True
Let c = -1714 + 4193. Is c prime?
False
Suppose -4*c = -13999 - 79849. Is c prime?
False
Let d(y) = 5*y**2 + 5*y + 0*y**2 - y**3 + 6 - 2*y**2 + y**2. Let c be d(-5). Is c/8 + (-2)/(-8) composite?
True
Suppose -5*n - 1 + 16 = 0. Suppose -7*p = -n*p - 1060. Is p composite?
True
Let x(d) be the third derivative of 11*d**5/5 - d**4/24 - 2*d**3/3 - 2*d**2. Let c be x(-4). Is 1/(-5) - c/(-10) prime?
True
Let d = 1981 + -254. Is d a prime number?
False
Let h = -9 + 12. Suppose 975 = 3*i - h*s, 5*i + 5*s + 112 - 1777 = 0. Is i a prime number?
False
Let j(y) be the third derivative of 0*y - 1/15*y**5 + 6*y**2 - 7/6*y**3 + 0 - 1/60*y**6 - 5/12*y**4. Is