 = 5*o + 1. Let u(r) = -1. Let b(h) = f(h) + 4*u(h). Let l = 12 + -10. Is b(l) a prime number?
True
Let h(d) = -d**3 + 4*d**2 + 5*d. Let l be h(5). Suppose -u + 2 = m, -3*u - 8 + l = -4*m. Suppose -m*n + 196 = 2*n. Is n prime?
False
Suppose 0 = 18*m - 14679 - 13743. Is m composite?
False
Suppose -a + 6096 = 2*o, -5*a + 998 + 2041 = o. Is o a prime number?
True
Let y(o) = o**2 + o - 13. Is y(12) composite?
True
Let m(n) = -2 + 11 + 4*n - 1 + 5. Is m(9) composite?
True
Is (-20)/(-90) + (-9770)/(-18) composite?
True
Let n(k) = 2*k**2 - 3*k + 3. Let p(b) = 3*b + 1. Let z be p(5). Suppose -z = -4*v - 0*v. Is n(v) composite?
False
Suppose 143 = o - 4*d, 6*o - 221 = 4*o - 5*d. Is o a composite number?
True
Let n = 2931 + -1492. Is n composite?
False
Is ((-6056)/6)/((-18)/27) composite?
True
Let h(g) = -g**3 - 12*g**2 + 5. Let z be h(-12). Is 0/(-1) + z + 246 prime?
True
Let x = 309 + -86. Is x prime?
True
Is ((-916)/8 + -2)*-22 prime?
False
Let w(d) = -5*d**3 + 13*d**2 - 139. Suppose 4*z - 3*z = 2. Let l(v) = -v**3 + 3*v**2 - 35. Let y(g) = z*w(g) - 9*l(g). Is y(0) a composite number?
False
Let h = 5 - 1. Suppose h*j - 220 = -0*j. Is j composite?
True
Let j(a) = 21*a**2. Let b(i) = -i + 4. Let k be b(3). Let z be j(k). Suppose d - 12 = z. Is d prime?
False
Is (134/4)/((4/(-40))/(-1)) prime?
False
Let a = -453 + 1282. Is a prime?
True
Let u(r) = r - 4*r**2 + 9 + 4*r - 9*r + r**3 - 5*r. Is u(7) prime?
False
Suppose -3*f + 2*f + 215 = 0. Is f composite?
True
Let y(x) = -x**2 + 8*x. Let h(s) be the first derivative of -s**2/2 - s - 3. Let z be h(-8). Is y(z) prime?
True
Let z = -1285 - -3638. Is z composite?
True
Suppose 2*v = -3*a + 60, -a + 8 = -2*v - 12. Let q = 31 - a. Is q prime?
True
Suppose 0*s + 3*s = -n + 402, 4*s + 4*n - 544 = 0. Is s a composite number?
True
Let u be ((-22)/8)/((-1)/(-4)). Let r be (u - (-1 + 1))*-1. Suppose 44 = 5*j - r. Is j prime?
True
Let h(v) = -v**3 - 4*v**2 + v + 3. Let z be h(-4). Let q be ((0/z)/2)/2. Is (-2 - q/1) + 23 prime?
False
Suppose 22 = -5*z - h - h, -z - 2*h - 6 = 0. Let x be -2*(2/z + -2). Is x + -3 + (-1 - -33) a composite number?
True
Suppose 0 = 3*t - 47 - 37. Suppose f - 14 = 2*s, 0 = -f - f - 3*s. Let b = t + f. Is b composite?
True
Let r be -1 + 0/(-1) - -5. Suppose 0 = -r*s + 6 + 190. Is (-21 + -1)/((-14)/s) prime?
False
Suppose -2 = -4*k + 6. Suppose 63 = 2*n + 5*o, 2*n + 0*o + 4*o = 60. Suppose 0 = 2*g + k*u - n + 2, -g = 3*u - 13. Is g prime?
False
Let n be 1 + (2 - 1) + 18. Let u(q) = -22*q**3 - 1 - q + 2 + 0*q**2 - n*q**3 - q**2. Is u(-2) composite?
True
Let l be 95/(-10)*(0 + -2). Let i = l - -12. Is i composite?
False
Let g be 1/(-3) + 1/3. Suppose 5*w + 4*k - 91 = g, k + 26 = 2*w - 0*k. Suppose j + p = 6*j - 75, -5*p = -j + w. Is j a composite number?
True
Let h = 20 + -98. Let d = h - -165. Is d prime?
False
Is (0 - 3/(-3))*(-3 + 1934) composite?
False
Let k(s) = 9*s**2 + 6*s - 1. Is k(5) a composite number?
True
Let h(k) = 9*k**2 + 3*k - 1. Is h(-3) a prime number?
True
Let x = -56 + 78. Let w = x + -15. Let k = w + 14. Is k a prime number?
False
Let y be 2/6*2*3. Is (-109)/(-5) - y/(-10) a composite number?
True
Let d(f) = -21*f + 5. Let v be d(-5). Let r = 411 - v. Is r prime?
False
Let w(s) = 14*s**2 + 4*s - 1. Let i be w(-4). Let c = i - 58. Is c a prime number?
True
Suppose t + 45 = r + 4*t, -t + 183 = 5*r. Is (-8)/r + (-2085)/(-27) a prime number?
False
Is 23*21 + (-8)/(-12)*6 a composite number?
False
Is (2/6)/(2/(-6))*-1861 composite?
False
Let n(w) = -w - 9. Let l be n(-5). Suppose h + 219 = 4*h. Let a = h - l. Is a composite?
True
Let s(n) = 32*n**2 - n + 1. Suppose -3*q + 0 + 7 = 5*z, 4*z - 7 = -q. Is s(z) composite?
False
Suppose -2*p + 254 = -0*p. Is p prime?
True
Suppose 0 = -11*o + 1362 + 6239. Is o a prime number?
True
Suppose 211 = 4*j - 5*c, 3*j + 4*c - 87 = 110. Suppose -j = -3*s - 5*p - 9, -4*s + 4*p + 24 = 0. Is s composite?
True
Let c(s) = -s**3 + s + 2. Let r be c(0). Suppose -2*x + n = -4, 3*n - 14 = -4*x + 2*n. Is (r - x - 2) + 6 a composite number?
False
Suppose 6*m - 7 = 5*b + 2*m, m = -3*b + 6. Is b/3 + 688/6 a composite number?
True
Suppose -133 - 245 = -2*d. Let v = -115 + d. Is v composite?
True
Let q be -22*(1 + 9/(-6)). Suppose q*y - 1835 = 6*y. Is y composite?
False
Let m = 702 + -335. Is m a composite number?
False
Suppose 0 = 2*m + 3*k + 6, 29 = 5*m - 2*m - 5*k. Let n(g) = 3*g**2 + g + 3. Let i(y) = 4*y**2 + y + 4. Let d(v) = 4*i(v) - 5*n(v). Is d(m) a prime number?
True
Let j(d) = 24*d**3 + d - 3. Is j(2) composite?
False
Is (-2)/(-6) - (-21352)/51 a prime number?
True
Let z(d) = -3*d**2 + d - 7. Let o(q) = -5*q**2 + q - 15. Let j(n) = 2*o(n) - 5*z(n). Is j(-4) a prime number?
True
Let d = 3 + -5. Let i = 4 + d. Suppose -t = i*t - 30. Is t prime?
False
Suppose -3*q - 100 = -5*q. Let m = -28 + q. Is m prime?
False
Let k(p) = 11*p**2 - 2*p - 2. Is k(-3) prime?
True
Suppose 4*t = 2*t + 2. Suppose -t - 3 = 2*d. Is 286/2 - d - 2 composite?
True
Let d be 963/5 + (-2)/(-5). Suppose -4*u + 287 = 3*o, -2*o - u = -0*u - d. Is o composite?
False
Let y be 88*2 - (-4 + 3). Suppose 0 = -0*h - 3*h + y. Is h prime?
True
Let b(l) = -l**2 - 2*l + 7*l + 5 - l. Let n be b(4). Suppose h - 38 = -n*u, 3*h + 2*u = 3 + 46. Is h a prime number?
True
Suppose -2*d + 9 = -m, 4*m - 2*d + 6 = -0. Is 3*m*(-74)/(-2) a prime number?
False
Suppose 19 = d - 58. Is d a prime number?
False
Let v(p) be the third derivative of p**4/24 + p**3/2 + 2*p**2. Let a be v(3). Is (3*-1)/(a/(-66)) composite?
True
Is (6/(-30))/(3/(-33645)) composite?
False
Let g = 0 - 0. Let p = 3 - g. Suppose -150 = -4*r + n, -p*r + 4*n = -6*r + 103. Is r composite?
False
Is (-1 + 4/2)*751 prime?
True
Suppose -10 = -2*j, -3*l + 1400 = -5*j - 597. Let f = -463 + l. Is f a prime number?
True
Let t = -250 + 441. Let y = 68 + t. Is y a prime number?
False
Suppose -5*n + b = -170, -4*b - 102 = -3*n - 5*b. Is n composite?
True
Let p = -9 + 7. Let y be (-6)/(-1) + 6/p. Is (y/(-2))/(12/(-16)) a prime number?
True
Suppose 3*h + s - 7 = 0, -9 = 3*h + 4*s - 1. Suppose 3*g = 6*g - 276. Suppose -h*d + g = 16. Is d composite?
False
Let v(g) = 14*g - 4. Let j be v(-5). Let y = -19 - j. Is y a composite number?
True
Suppose 2 = o - 2. Suppose o*x - 4*n = -6*n - 590, -5*n = 5. Is (3 - x/(-6))*-2 composite?
False
Let l(h) = 6*h**3 - 2*h**2 + 7*h - 4. Is l(3) a composite number?
True
Is 2/3 + 2065/3 a prime number?
False
Let g be (1*-2 + 1)*-1. Let q be -1 + g + 0/1. Suppose -4*a = -4*d - q*d - 336, -321 = -4*a + d. Is a composite?
False
Let l = -40 - -297. Is l a prime number?
True
Let j be -3 - (296/(-1) - -1). Suppose 8*w = 4*w - 3*a + 549, -2*w + j = -2*a. Is w prime?
False
Suppose 0 = -3*s - 2*s + 2*f - 5830, -1183 = s + 3*f. Let a = -203 + s. Is (-2)/7 + a/(-21) a prime number?
False
Let f(r) = 15*r**2 - 11*r + 5. Is f(-9) a prime number?
True
Let g(d) = -d**2 + 4*d - 6. Let t be g(7). Let c be 64/(-8) + (-1)/1. Is (-6)/t - 196/c a composite number?
True
Let m = -6 + -3. Let c = -5 - m. Suppose 3*r - 37 = -4*i, 3*i - c*r - 18 = -3*r. Is i composite?
False
Let n be 2 + 1*-2*1. Suppose 4*x + t = 19, n*t + 7 = x - 2*t. Suppose v - 3 = x*v - 3*j, -4*v + 27 = 3*j. Is v prime?
True
Suppose -3*g - 84 = -3*r, -r - 33 = -2*r + 2*g. Suppose -4*v + 63 + r = 2*a, 0 = -4*a - 4*v + 160. Is a a prime number?
True
Let m = -7 + -11. Let d be (-140)/m - (-2)/9. Is -1*307*(7 - d) prime?
True
Suppose -h = -5*h + 4*i + 6636, 0 = -4*i. Suppose -h + 405 = -3*t. Suppose -3*y = -5*y + t. Is y a composite number?
True
Suppose 4*j + 5*b - 635 = 0, 2*b - b = -5*j + 778. Is j composite?
True
Let a(y) = 7*y**2 + 3*y - 3. Let b(j) = 2*j + 4. Suppose -17 + 1 = 4*x. Let p be b(x). Is a(p) prime?
True
Suppose l + 3 = t - 2, 2*t + 4 = -5*l. Suppose -t*c + c = -6. Is c prime?
True
Let v(u) be the second derivative of 7*u**5/20 - u**4/12 - 2*u**3/3 + 3*u**2/2 - u. Suppose 0 = -3*w + 2*x + 12, 0*w + x = -3*w + 3. Is v(w) prime?
True
Let m(w) = -w**3 + 13*w**2 + 9*w - 13. Is m(6) composite?
False
Let p(g) = 23*g. Is p(7) a composite number?
True
Suppose 6*g - 10550 = -4*g. Is g prime?
False
Suppose -2*c + 1709 = -2*j - 3349, -12605 = -5*c - 3*j. Suppose -m = 5*a - 518, m - 6*m = 3*a - c. Is m a prime number?
True
Let f = 257 - 108. Is f a prime number?
True
Suppose 