*b - 555. Let p = 175 - w. Suppose 0 = 2*z + 20 - p. Is z a prime number?
True
Let d(l) = -4*l + 1. Let p(w) = 9*w - 3. Let o(g) = -7*d(g) - 3*p(g). Let u be o(-6). Let q(n) = 16*n**2 - 3*n - 3. Is q(u) a composite number?
True
Suppose 10 = 3*c + 2*c, -5*c + 1695 = 5*p. Is p prime?
True
Suppose 4*j - 4232 = -w + 5353, -28695 = -3*w + 3*j. Is w a composite number?
True
Let p(r) = -3*r**2 + 14*r - 7. Let l(s) = 5*s - 4. Let f be l(3). Let i(w) = -16*w**2 + 69*w - 36. Let k(t) = f*p(t) - 2*i(t). Is k(8) a composite number?
False
Suppose 5*i + 110550 = 4*t, -1118 = 3*t + 5*i - 84013. Is t composite?
True
Let g(f) = 3287*f - 27. Let l be g(5). Suppose -9*a + l = -a. Is a a prime number?
False
Let y = -596 + 999. Is y prime?
False
Suppose 2*m + 28056 = 2*g, -15753 = -g + 5*m - 1725. Suppose 8*l = -4*l + g. Is l prime?
False
Let a(n) be the third derivative of -5*n**4/6 + 13*n**3/6 + 14*n**2. Is a(-11) composite?
False
Suppose 3*l = -4*g + 41249, 0*g + 2*g - 20631 = 5*l. Is g prime?
True
Let j be 9 + -2 + -3 + 2. Is (-2)/j + 0 + 101108/69 composite?
True
Let q(b) be the first derivative of b**3/3 + 7*b**2 + 2*b - 10. Is q(12) prime?
False
Let n = 2137 + 1248. Is n a composite number?
True
Let x = -76 - -527. Let j = 208 - 438. Let t = x + j. Is t a composite number?
True
Let o be -990 - 0 - (-16 + 12). Let j = o - -1473. Is j composite?
False
Suppose 0 = g - 4 - 0. Let d(n) = -2*n**3 + 4*n**2 - 13*n + 7. Let i be d(-9). Suppose -3*k + 2*o - 199 + 1632 = 0, -5*o - i = -g*k. Is k composite?
False
Let m(r) = r**2 + r. Let z be m(-2). Let o(f) = -242*f - 1. Let p(v) = -487*v - 4. Let w(h) = -5*o(h) + 2*p(h). Is w(z) composite?
True
Let x be 2 - (2 + (0 - 1)). Let s be x*(-7 + 3 + 212). Suppose 2*m + 26 = s. Is m composite?
True
Suppose 25*x - 15144 - 162881 = 0. Is x a composite number?
False
Let v be -4 - -1*(-18)/(-3). Is v - -1 - -343*(2 + -1) a composite number?
True
Let n = 0 + 3. Suppose 0 = -n*l + 9*l - 474. Is l prime?
True
Suppose 4*u + 2 - 10 = 3*k, 2*k = -2*u + 18. Suppose -u*t + 1604 = -261. Is t composite?
False
Let o(i) = i**2. Let w be o(1). Let u be 1 + w - (-9)/3. Suppose -7*k + 42 = -u*k. Is k prime?
False
Let t(w) = -488*w + 77. Is t(-7) composite?
True
Let u be (-4066)/(-6) + (-3)/(-9). Let f = -1 + 2. Is u/(-4)*(-2)/f a composite number?
True
Suppose 4*p = 30 + 278. Suppose 2*w = 1425 + p. Is w a composite number?
False
Let v be 3/(-2)*(-48)/(-9). Suppose -2*a - 2*o = -0*a - 120, 4*o - 20 = 0. Let u = v + a. Is u a composite number?
False
Suppose -12*o = -7*o - 20. Suppose 2*x + 1530 + 708 = o*v, 0 = 2*v - 5*x - 1139. Is v a prime number?
True
Let y(q) = 4193*q**2 + 2*q - 7 - 3*q + 2*q + 8. Is y(1) a prime number?
False
Is (-2 - -1)/(7/(4 - 627)) a prime number?
True
Let v be (-1 + 3)/((-3)/(-36)). Let m = v + -40. Is (-2)/8 - 628/m a composite number?
True
Let t be 47/15 - (-2)/(-15). Let c(u) = 58*u**2 + 8*u - 5. Is c(t) a composite number?
False
Let h(v) = -220*v - 47. Is h(-34) a composite number?
False
Let p(r) = -7*r - 3. Let a be p(-9). Let q = -54 + a. Is q a prime number?
False
Let s = 7067 + -2423. Let d = s - 3273. Is d prime?
False
Suppose 10 = 3*b - b. Suppose -b*t + 1281 = -4*k, -2*t - 71 = 4*k - 561. Is t a composite number?
True
Let i be 12 + -14 - (314 + 0). Let c = -145 - i. Suppose 697 - c = 2*d. Is d a prime number?
True
Let g(n) = -7*n - 9. Let j be g(-5). Suppose 0 = -a + j + 14. Let u = 65 - a. Is u a prime number?
False
Is 12/(-21) - 274103/(-7) composite?
False
Let a = 17 - 19. Is a/10 + (16233/15 - 1) prime?
False
Let n = -1504 + 927. Let z = 90 - n. Is z a prime number?
False
Let q = 31692 - 20143. Is q prime?
True
Suppose -27 = -3*x + 3*m + 342, -4*x - 2*m + 468 = 0. Is x a composite number?
True
Let d(p) = -6*p - 6. Let v be d(-5). Let m be 6 + (-2 - (-3)/(-3)). Suppose k + v = u, u + 5*k - 15 = -m. Is u a composite number?
True
Suppose -l - 2*l + 4971 = c, -c - 1657 = -l. Is l a composite number?
False
Suppose 3*s = 5*s - 30. Suppose 3*p - s = -k - p, 6 = -3*p. Let f = 36 - k. Is f composite?
False
Is (-2889860)/(-84) + (-78)/819 composite?
False
Suppose 4*u = 25*a - 28*a + 168806, -126617 = -3*u + 4*a. Is u prime?
False
Is (-1803)/(-2) + 11/22*-1 prime?
False
Suppose -7*n = 13*n - 393220. Is n composite?
False
Let q(o) = 2*o**2 - 2*o - 4. Let f be q(3). Suppose 2*l - 4*l = -f. Suppose 0*u = -l*u + 376. Is u prime?
False
Let v(g) = -15*g**3 + 2*g**2 + 14*g + 41. Is v(-8) prime?
False
Let i = 109 + -65. Let w be (-5142)/(-33) + 8/i. Let z = -14 + w. Is z a composite number?
True
Suppose -5*j + 2265 = 5*y, -5*y - 453 = 3*j - 1802. Suppose 0 + 3 = 3*t, -j = -5*m + 2*t. Suppose -2*a = 3*f - 469, -5*f - m = -3*a - 861. Is f prime?
False
Let j(u) = -827*u + 41. Let m be j(5). Let s = m - -7187. Is s a prime number?
False
Let g(m) = 2*m**3 - 57*m**2 - 66*m + 21. Is g(32) prime?
True
Let h(k) = -2*k - 18. Let f be (-2)/(-9) + 830/(-90). Let y be h(f). Suppose 5*c - 370 = -y*c. Is c a prime number?
False
Let h be 0 + (9/6)/((-12)/(-16)). Is (965 + h)*(6 + -5) composite?
False
Suppose 5*o - 505 - 267 = 3*l, -2*o = -l - 259. Let t = l - -394. Is t prime?
False
Let r(q) be the second derivative of -22*q**3 + 11*q**2/2 - 9*q. Is r(-3) a composite number?
True
Let h(r) = 2*r + 11. Let s be h(14). Suppose 10059 = -32*k + s*k. Is k a prime number?
False
Suppose 28107 = 19*u - 164420. Is u a composite number?
False
Is (-4)/7 - 319887/(-63) composite?
False
Suppose 5 = -4*m - 5*d, -m + 3*d = 2*m - 30. Suppose m*i + 394 = 1154. Let s = i - -285. Is s prime?
False
Let y be -1 - -3 - (-2 + -1). Suppose 0 = 4*h - y*o + 184, 3*h + 5*o = 3*o - 161. Let i = -32 - h. Is i a composite number?
False
Suppose -2*n = -n - k - 597, 4*k - 1206 = -2*n. Is n a prime number?
True
Is (5 - 0) + 8 + (14745 - -3) prime?
False
Let y be ((-6)/4)/((-51)/356422). Suppose 6*z - y = 1283. Is z a prime number?
False
Let j = -3657 - -6838. Is j a composite number?
False
Let f = -3433 - -13920. Is f a prime number?
True
Let g(z) = 3*z**2 + 17*z + 5. Let p = -14 + 7. Is g(p) prime?
False
Is 4 + 4 + (-28)/4 - -2512 composite?
True
Let d(p) = -p**2 + 4*p - 4. Let j be d(2). Let t = -358 + 968. Suppose j = -3*v + 311 + t. Is v a prime number?
True
Let k(y) = y**3 + 5*y**2 + 4*y + 6. Let d be k(-4). Suppose 0 = -2*h + d*h - 148. Suppose x - 3*q = h, -q = 2*x + 2*x - 148. Is x a composite number?
False
Suppose 5*i = -0*i + 4*h + 29, -3*h + 57 = 5*i. Let m = 11 - i. Suppose -2*q - w = -m*w - 24, -73 = -5*q - 4*w. Is q prime?
True
Is -63762*(-7 + 143/22) prime?
False
Let i = 16 - 14. Suppose -i*k - 3 = -3*q, -3*q = -q - 4*k + 6. Suppose -q*p + 1454 = -799. Is p a composite number?
False
Suppose -j = 3*p - 1397, -1141 = -j + 4*p + 270. Let b = j - 846. Is b a composite number?
False
Suppose 5*b - 46 = -2*o, 3*b + 21 + 45 = 4*o. Let y = o - 14. Suppose 7*f - y*f = 381. Is f prime?
True
Suppose -s = 5*s + 744. Is s*34/(-20) + (-7)/(-35) a composite number?
False
Let v(p) = -p - 1. Let a be v(-9). Suppose 0 = 4*x - 2*i + a, 2*x + 1 = 2*i - 7. Let h(q) = q**2 + 55. Is h(x) prime?
False
Let p(q) = -598*q + 613. Is p(-12) composite?
False
Suppose 4*w - 5*f + 19162 - 121444 = 0, -102294 = -4*w - f. Is w prime?
False
Is (223/(-223))/((2/3004)/(-1)) prime?
False
Suppose 16674 - 891 = 3*o. Is o a composite number?
False
Let o = -2690 + 19559. Is o a composite number?
True
Suppose -7*t - 104062 = -21*t. Is t prime?
True
Suppose -2 = 2*w - 0. Let q be (4 + w - 3) + 0. Suppose q = 5*u - 32 - 2063. Is u prime?
True
Let a(c) = -c**3 - 16*c**2 - 4*c - 16. Is a(-17) composite?
True
Let u be 22/(-12) - 2/12. Let z(p) = -64*p + 5. Is z(u) a prime number?
False
Let i(s) = s**3 + 15*s**2 - 4*s + 7. Let c be i(-11). Let n = c + 1029. Suppose 0 = -2*l - 2*u + n, -5*l + u = -748 - 3192. Is l a composite number?
False
Suppose -2*f = -2*h - 10896, 0 = -5*f - 4*h + 20545 + 6731. Let j = f + -3693. Is j a prime number?
True
Suppose -781914 = -143*t + 129*t. Is t a composite number?
True
Let s(f) be the first derivative of f**2/2 - 14*f + 2. Let p be s(-6). Let c = 75 + p. Is c a composite number?
True
Is (0 - -6 - -8185)/1 a prime number?
True
Let g be 4/(-14) + (-390)/(-91). Suppose -4*f + 3*j = -j - 116, -g*j = 2*f - 70. Suppose -f = -6*q + 5*q. Is q a prime number?
True
Suppose 0 