-10)/(-6). Let j be b(k). Is h(j) a prime number?
True
Suppose 2*z = 3*z - 125. Let k = z - 82. Suppose 0 = -4*l + 4*i + 224, 3*i + k = -3*l + 205. Is l a prime number?
False
Is (-8)/12*156/(-8) composite?
False
Let u be 1 - -1 - (-9 + 6). Suppose -u*w = -3*l - 175, 3*w - 2*l + 0*l - 105 = 0. Is w composite?
True
Suppose -3*r + 1 + 8 = 0, 5*d - 6758 = -r. Is d a prime number?
False
Is 4/(-14) - (-11078)/14 a prime number?
False
Let f(a) = -a**3 + 6*a**2 + 7*a + 3. Let l be f(7). Let g be 2*-1 + (8 - l). Is ((-158)/(-3))/(2/g) prime?
True
Let f = -5 - -7. Is (-2)/f + (90 - 2) composite?
True
Let r = 483 + -70. Is r a composite number?
True
Suppose -5 + 17 = 3*n. Suppose 0 = -2*o - 2*y + 4*y - 120, o + n*y + 60 = 0. Is -1 + (2 + o)/(-1) prime?
False
Suppose -2640 = -5*a - 345. Suppose -6*b = -1287 - a. Is b a prime number?
False
Let r = 4339 + -1918. Let w = r + -1438. Is w a composite number?
False
Suppose -3*k + 4*b - 20 = 0, -5*k + b - 10 = -b. Suppose -5*n + 0*n = k. Suppose n = 4*u - 0*u - 44. Is u composite?
False
Let l(p) = 4*p + 4. Let f be l(3). Suppose 1 = 3*v - 4*w + 11, 2*v - 5*w = -f. Suppose -u + v*u = 19. Is u prime?
True
Let u(w) = -2*w**3 + 10*w**2 + 5*w + 2. Let n be u(-7). Suppose 0 = 4*o - 20, -5*f + n - 428 = -4*o. Suppose 2*h - f = -h. Is h a prime number?
False
Let t(z) = -z**2 - 7*z - 3. Let x be t(-6). Suppose -x*v = 2 - 65. Is v prime?
False
Suppose -3*m = -44 - 46. Suppose s + 4*s = m. Is (237/s)/((-1)/(-2)) a prime number?
True
Suppose 0*j - 2*x = j - 1839, -5*x = 0. Is j a composite number?
True
Suppose s - 12 = 3*s. Let t be 1 + 2*5*-1. Is (-500)/s + 3/t composite?
False
Let h(j) = -2*j**3 - 9*j**2 - 9*j - 3. Is h(-6) composite?
True
Suppose 418 = 5*z + 128. Let w = z + -37. Is w a composite number?
True
Suppose -2*b = l - 190, 3*l = -2*b + l + 194. Suppose 5*v - v + 224 = 0. Let y = b + v. Is y prime?
True
Suppose -2*l + 160 = 3*l. Let s be l + -1*(-2)/(-2). Let d = 96 + s. Is d composite?
False
Let r(q) = -2*q - 9. Let o be r(-6). Let x(c) = c**3 + c**2 - c + 1. Let k(t) = -2*t**3 - 2*t**2 + 2*t + 8. Let f(a) = o*x(a) + k(a). Is f(0) composite?
False
Let w = -6 - -9. Let v be -3*1 - 6/w. Let r(i) = -2*i. Is r(v) a prime number?
False
Suppose -3*a + 5*n = -0*a - 432, -2*a - 2*n + 288 = 0. Suppose 4*h + 12 = a. Is h a prime number?
False
Let x(n) = 683*n**3 + n - 1. Is x(1) prime?
True
Let u(s) = 4*s**2 - 8*s - 1. Let v(b) = 3*b**2 - 2*b. Let d be v(2). Is u(d) composite?
False
Let w be (-3)/(1 + 87/(-78)). Suppose -3*g = -2*g - w. Suppose -3*f = -4*b - 22, 3*f - 21 = -b + g. Is f composite?
True
Let f be (-10 + -1)/(9/(-198)). Let i be f - (0 - (3 + -6)). Suppose 3*v - i = 2*d - 7*d, -45 = -d - 2*v. Is d composite?
True
Let p be 29 + 5/((-10)/4). Let k = 190 + p. Is k composite?
True
Let g(l) = -2*l + 1. Let m be g(1). Let f be ((-4)/(-2) + -2)*m. Suppose -3*b + 0*b + 333 = f. Is b prime?
False
Let v = -2 + -14. Let w be v/(-28)*(-7)/(-2). Suppose w*y = -2*y + 1148. Is y prime?
False
Let h(m) = 14*m**2 - 7*m + 1. Is h(-14) prime?
True
Let b(s) = s**3 + 6*s**2 + s + 6. Let o be b(-6). Suppose 2*v + 3*f = 7*f + 18, 3*v + 3*f + 9 = o. Is 2/(-2)*(-118 - v) a prime number?
False
Suppose -5*g = 0, -29 = -4*t + g + 11. Let f(q) = -q**2 + 11*q - 2. Let s be f(9). Let w = s - t. Is w prime?
False
Suppose 47*v - 44*v - 609 = 0. Is v composite?
True
Let l = -4 - -6. Suppose 0 = 3*z + l*w - 117, -34 = -z + 4*w - 3*w. Is z prime?
True
Let l be 2/(-8) - 477/12. Let u be (l/(-12))/((-6)/(-27)). Is (-6)/u - 224/(-10) prime?
False
Let i = 21 + -17. Suppose 0 = -i*x + 1246 + 1294. Is x composite?
True
Is 2962*4/14*(-42)/(-24) composite?
False
Let u(r) = 2*r**2 + 4*r + 1. Suppose k - 63 = 3*k - s, -4*s - 100 = 3*k. Let m = k - -22. Is u(m) prime?
False
Suppose x = 2*x - 5. Suppose -t - d = -198, x*t - 996 = -d - 2*d. Is t a composite number?
True
Let d(i) = i**3 + 6*i**2 - 2*i - 9. Let f be d(-6). Suppose 5*m - 8 = f*m. Suppose -175 = -m*p - 19. Is p composite?
True
Suppose 4*u + 12 = -28. Let b(k) = k**2 - 6*k + 4. Let r be b(4). Is r/u + 1206/10 prime?
False
Let s(i) = -i**2 - 7*i - 5. Let h be s(-4). Let k(y) = -y**3 + 7*y**2 + 9*y - 5. Is k(h) composite?
True
Is ((-26)/(-3))/(16/72) composite?
True
Suppose 0 = 2*r - 6*r + 64. Suppose 0 = -4*u - r + 108. Is u prime?
True
Let y(c) = -59*c. Let h be y(2). Let p = h + 281. Is p prime?
True
Is (-1626)/(-2) + (-36)/9 composite?
False
Let q be (34/(-4))/(1/(-22)). Suppose q = -2*i + 509. Is i prime?
False
Let s(r) = r**2 + 2*r + 3. Let o be s(-2). Suppose -b - o*b + 240 = 0. Suppose -2*a - 10 + b = 0. Is a a prime number?
False
Let m(b) = -62*b + 39. Is m(-14) prime?
True
Let d(u) be the first derivative of u**2 + 8/3*u**3 - u + 3. Is d(2) prime?
False
Suppose -5*c = 4*j - 406 + 138, 335 = 5*j - 5*c. Is j prime?
True
Suppose -5*g - 5*h - 20 = 0, -1 = -h + 3. Is -5 + 166 - g/(-2) prime?
True
Suppose s = 3 - 2. Let p(i) = 140*i**3 - i**2. Is p(s) a prime number?
True
Let u be ((-2)/5)/((-1)/50). Suppose 0 = 5*z - 85 - u. Is z a prime number?
False
Let k = -42 - -25. Let w = 32 - k. Is w a composite number?
True
Let a(c) = 47*c**2 - 10*c - 27. Is a(-8) composite?
False
Let f be ((-12)/7)/(1/7). Let w = -24 + 36. Is f/(-5) - w/30 composite?
False
Let m = 34 - -129. Is m composite?
False
Let k(b) be the third derivative of -b**6/5 - b**5/60 + b**4/24 + b**3/6 + 2*b**2. Suppose 5*w + 4*a = -12 - 1, 3*w = a - 1. Is k(w) prime?
True
Let a(i) = -i**3 - 7*i**2 + 4*i - 1. Is a(-8) composite?
False
Is 4/(-8)*314*-1 composite?
False
Suppose -j + 4 = -0. Suppose -5*p + d - 6 - j = 0, -p - 6 = -d. Is -1 - -21 - (-3 - p) composite?
True
Let n = 2116 - 825. Is n a prime number?
True
Suppose 3*a = 4*a. Suppose 3*z - 3*h + 6 = a, 2*h + 24 = 3*z + 5*h. Is z prime?
True
Let w(h) = h**3 - 8*h**2 + 8*h + 2. Let s be w(7). Suppose -12 = -5*i - l, -i = -6*i - 2*l + s. Let y(m) = 2*m**3 - 3*m**2 - 4. Is y(i) composite?
False
Suppose -4*w + 8 = -2*p, -3*w - 4*p + 6 = -2*p. Is (1/w)/(2/124) a prime number?
True
Let l(y) = -10*y**3 - 4*y**2 - 2*y - 7. Is l(-4) a composite number?
False
Let g(p) = p**2 - 4*p + 2. Let q be g(4). Suppose -4 = -q*s + 2. Suppose s*i + 2*b - 161 = -0*b, -4*i + b = -233. Is i a composite number?
True
Suppose -463 = -c + 78. Is c composite?
False
Let r = -3 + 12. Let a(u) = -u**2 + 10*u - 10. Let l be a(r). Is 3 - 0 - (-37 - l) a prime number?
False
Let q(m) = 22*m**2 + 2*m + 7. Is q(3) composite?
False
Let w be 4 + 1688 - 3/1. Let g be (-4)/10 + w/(-15). Let i = g - -262. Is i prime?
True
Let c = 341 - 178. Suppose -c = -o + 60. Is o prime?
True
Suppose -5*v - 716 = 4*a - 2371, -2*v = 2*a - 828. Is a a composite number?
True
Let u(p) = -p**3 - 2*p**2 - 3*p + 1. Suppose -4*k + f = 2*f - 8, -12 = 3*f. Let b = -6 + k. Is u(b) a prime number?
True
Suppose -69 = -2*r - 7. Suppose -4*y + r + 121 = 4*w, 38 = w + 3*y. Let i = 85 - w. Is i prime?
True
Let o(j) = 2*j + 2. Let x be o(2). Suppose 2*s = -s - x. Is s/6 + (-680)/(-6) a prime number?
True
Suppose -s + 2 = -3. Suppose -s*d - 10 = 0, v = 2*v + 4*d - 77. Is v a composite number?
True
Suppose -5*n + 2*g + 11 = 0, 0 = 3*n + g + 6 - 17. Suppose -4*a + 1 = -j + 5, n*a = -3*j + 12. Suppose a = -5*t + 5*c + 43 + 122, 0 = 3*t + c - 115. Is t prime?
True
Is 2/(-8) - 1707/(-12) prime?
False
Let f be 212/(4 - (-1 - -4)). Suppose -2*g + 5*r - 3*r = -f, -2*r - 530 = -5*g. Is g composite?
True
Let s = 764 - 445. Is s composite?
True
Let j(x) = -98*x - 13. Let p be j(-9). Suppose -4*u + 293 - 1445 = 2*d, 3*u + p = d. Let g = 470 + u. Is g a prime number?
True
Suppose 2*l + 34 = 124. Let c = -10 + l. Is c composite?
True
Suppose -8 = -b - 3*f, 0 = -2*b + 4*b + 5*f - 13. Let u be ((-28)/(-2))/((-2)/b). Suppose 0 = -4*v, 5*d - v = 118 + u. Is d a prime number?
False
Let s = 504 + -313. Is s prime?
True
Suppose -k - 5 = 0, 0*i - i + 5*k + 444 = 0. Is i prime?
True
Let q = -5 + 7. Suppose -q*z - 44 = -4*w + w, -z = 4. Suppose w = -0*l + 4*l. Is l prime?
True
Let g = 3 - 1. Let m = 6 - g. Suppose -m*d + y + 0*y = -107, 2*d - 49 = -y. Is d prime?
False
Let n = 3 + -5. Suppose 0 = -8*t + 3*t + 55. Is t*(-1 + (-12)/n) a prime number?
False
Let f(r) = 19*r**2 + 5*r - 7. Is f(4) a prime number?
True
Let k = 10 + -5. Suppose -4*o + 2*l + 52 = -2*l, -k*o + 4*l =