y be m/8*(-6 + -2). Let u = 71 - y. Is u composite?
True
Suppose -11*h + 2 = -13*h. Is h*(-189 + (2 - 0)) a composite number?
True
Suppose 4*b - 951 = -5*k, 0*b = 3*k - 4*b - 577. Is k composite?
False
Let d be 2*1/2*27. Suppose j = d - 8. Is j a prime number?
True
Suppose 3*z - 6*z = -6. Suppose 5*p + 109 = -t, -4*t + z*t + 2*p - 206 = 0. Is 3 + -6 + t/(-2) composite?
True
Let x = 15 - 15. Let z(n) = -n**3 - 4*n**2 - 2*n - 6. Let i be z(-4). Suppose r + i - 21 = x. Is r prime?
True
Let y(x) be the third derivative of -x**4/24 - x**3 - 2*x**2. Let n be y(-6). Suppose -l = -n*l - 7. Is l a prime number?
True
Is (1921/(-2))/(24/(-48)) composite?
True
Suppose -61 + 337 = -4*b. Is b/(0 + -1) - 0 prime?
False
Let f be ((-2)/(-5))/(2/40). Let w(g) = 26*g + 24*g - 37*g - g**2 + 9. Is w(f) composite?
True
Let b = 1169 - 534. Is b prime?
False
Is (-151284)/21*(2 - (-9)/(-4)) a composite number?
False
Let v(i) = 5*i**2 - 13*i + 2. Is v(8) prime?
False
Let b be ((-10)/25)/((-1)/(-5)). Is b*(111/(-6))/1 a composite number?
False
Let n = 1038 - 608. Let g = n + -179. Is g prime?
True
Is 49122/24 - (2 - 18/8) a composite number?
True
Let y = 1 - -2. Suppose 0 = -5*q - g + 142 - 18, 70 = y*q + 5*g. Is q a composite number?
True
Suppose -2*z + 357 + 317 = 3*f, -z + f + 327 = 0. Is z composite?
False
Let a(i) = -50*i + 3. Let v be a(-4). Suppose 12 = k - 5*k, 4*k = q - v. Is q prime?
True
Let i = 1091 - 724. Is i composite?
False
Let d(l) = 7*l**2 + 9*l - 17. Is d(9) composite?
False
Let d be (-249)/(2/(-4)*2). Suppose 2*k - d = -k. Is k composite?
False
Let f = 5 + 332. Is f a composite number?
False
Let a(q) = q**2 - 3*q + 1. Suppose 0 = -2*v + 3*v - 4. Let w be a(v). Suppose z + 7*y - 2*y - 170 = 0, 0 = w*z + 5*y - 750. Is z a composite number?
True
Suppose 0 = -4*f - 2*s + 432, 4*s = 4*f - 0*f - 432. Suppose 0 = -3*a - x + f, 0 = 5*a - x - 4*x - 200. Is a prime?
True
Let c = -3 + 13. Let d(h) = h + c*h + 2 - 4. Is d(3) composite?
False
Let t(n) = 77*n + 8. Is t(9) a composite number?
False
Is 15738/21 - (-9)/(-21) prime?
False
Let k(z) = -40*z + 1. Is k(-5) prime?
False
Let u be 6/21 + 33/7. Suppose -3*y = -u*y - 118. Let a = y - -174. Is a a composite number?
True
Suppose 2*z = 0, 4*c = c + 2*z + 1293. Is c a composite number?
False
Let l = 40 - 76. Let j be (-6)/10 - l/10. Is ((-3)/(-1))/j*59 a prime number?
True
Suppose -47 = -h + 2*o + 172, -4*o = 0. Is h a composite number?
True
Suppose d = 4*v - 11, 2*v + 2 = 5*d + 3. Let k be (4 - d - 1) + -6. Is (-1)/4 - 77/k a prime number?
True
Let l = 85 - -724. Is l a composite number?
False
Let g(r) be the first derivative of 88*r**2 - r - 3. Let b be g(1). Suppose 2*o + 3*o = b. Is o a prime number?
False
Let b(p) = 63*p**3 + 3*p**2 - 2. Let k be b(2). Suppose -k = -4*w - 3*x, -5*w + 2*x + 553 = -78. Is w composite?
False
Suppose -5*c = -3*c + 6. Let x(q) = 2*q**2 - 4. Is x(c) a composite number?
True
Let g(o) = -o**2 - 2*o + 9. Let r be g(8). Let k = r - -102. Is k composite?
False
Is (4 + -1286)/(-2 + 0) a prime number?
True
Let i(y) = -14*y**2 + 1 - 2*y + 19*y**2 + 31*y**2. Suppose 2*x = 4*x + 4. Is i(x) a prime number?
True
Let p(y) = y - 8. Let l be p(0). Let i(a) = -a**2 - 13*a - 9. Is i(l) prime?
True
Suppose 8*o - 4*o - 70 = 2*k, -2*k + 92 = 5*o. Suppose 56 = 5*i - 2*r, 4*i - o = 2*i + 3*r. Let z = 33 - i. Is z composite?
True
Let g be (-1 - 9/(-3)) + 2. Suppose g = z - 261. Is z composite?
True
Let k be ((-18)/8)/(6/24). Let m(l) be the first derivative of -l**3/3 - 11*l**2/2 + 3*l + 2. Is m(k) a composite number?
True
Suppose h - 99 = -0*h. Suppose -2*k = k - h. Suppose -k = -2*r - 3. Is r prime?
False
Let v(z) = 521*z + 33. Is v(8) a composite number?
False
Let w(n) = 6*n**2 + 8*n + 16. Is w(-7) prime?
False
Let s = 568 - 269. Is s prime?
False
Let f = 242 + -117. Suppose b = w - 3*b - 55, -3*w + 4*b + f = 0. Is w prime?
False
Let b = -153 + 266. Is b a composite number?
False
Let l = -2436 - -3891. Suppose -s = -4*s + l. Is s prime?
False
Let s(c) be the first derivative of -c**2 + c + 1. Is s(-9) a prime number?
True
Let v(r) = -7*r - 5. Let u be v(-4). Is (2 - (-2 - -3))*u a prime number?
True
Let x(s) = s**3 + s + 1261. Is x(0) a composite number?
True
Let k = -57 - -148. Is k a composite number?
True
Let v(h) = 11*h - 1. Let u be v(-7). Let l be u/(-5) + (-2)/(-5). Suppose -w + 4*k = 11, -w - l = -5*k - 0. Is w composite?
True
Let l be -2*5/((-5)/(-2)). Is l*(1 + 123/(-12)) prime?
True
Let s = 3 + 3. Suppose 0 = m + 2*g - 49, -s - 47 = -m - g. Is m prime?
False
Let b(g) = 57*g - 4. Let j be b(5). Suppose 520 = 3*u - j. Is u prime?
False
Suppose -2*b + 3*b = 1. Let n be (-1)/(b + -1 + -1). Let x = 14 + n. Is x prime?
False
Suppose n - 18 = 3*n + 4*v, v = -5*n - 18. Let d(t) = -39*t - 2. Is d(n) prime?
False
Suppose -5*v + 3 = -22, -2*v + 546 = 4*w. Suppose -370 + w = 4*u. Let b = 126 + u. Is b a composite number?
False
Suppose t + 49 = g - 153, 0 = -5*g - 4*t + 1001. Is g composite?
True
Let m = 1201 + -698. Is m prime?
True
Let q(v) = -v - 3. Let f be q(-3). Suppose 5 = -5*n + 10. Suppose f = -x + 3*z + 16, 2*x + 0*x + 5*z = -n. Is x composite?
False
Let x(a) = a**2 + a - 2. Let h be x(3). Let i be 10/15 + h/3. Suppose 0*n - i*n = -84. Is n composite?
True
Is 0/(-4 - 21/(-3)) - -267 a prime number?
False
Suppose 0*g - 103 = -5*k - 4*g, k + 4*g = 27. Suppose 0 = -3*h - 52 + k. Is 2/(-11) + (-167)/h a composite number?
True
Suppose 6*b - 233 = 3*b - 2*f, f - 1 = 0. Is b composite?
True
Let g(n) = 170*n**3 + 2*n - 3. Is g(2) composite?
False
Suppose 4*x - 1 = r + 1, 13 = 5*r + 3*x. Suppose -5*u - 4*g + 1255 = 0, -g - 1004 = -4*u + r*g. Is u a composite number?
False
Let z = 1868 - 859. Is z prime?
True
Let s = -17 - -72. Suppose 136 = g - s. Is g composite?
False
Let k(f) = -26*f**3 + f**2 + 4*f + 2. Let x be k(-3). Suppose -303 = -4*n + x. Is n composite?
False
Let p(l) = l - 5. Let o be p(7). Let w be (0 - 1)*(o - -2). Let h(f) = -f**3 - 3*f**2 + 2*f - 2. Is h(w) a prime number?
False
Let a = 16 + -11. Let i be (-4)/(-12) - a/(-3). Is ((-3)/(-6))/(i/308) a prime number?
False
Let g = -172 - -1311. Is g a prime number?
False
Let m(n) = 13*n - 1. Is m(4) a prime number?
False
Is ((-6)/(-8))/((-3)/(-492)) a composite number?
True
Let j(b) = -13*b**3 - 3*b**2 - 9*b - 3. Let h(c) = -20*c**3 - 4*c**2 - 14*c - 5. Let q(t) = -5*h(t) + 8*j(t). Is q(-3) composite?
False
Let y(w) = -2*w - 6. Let i be y(-5). Let b = i + -1. Suppose -4*t + a = -49, t + 7 = 3*t + b*a. Is t prime?
True
Let o = -251 + 718. Is o a composite number?
False
Let b(g) = -125*g + 11. Is b(-12) prime?
True
Let o(l) = 3 + 3 - 5 + 3*l**3 - 4*l**2 - 4*l**3. Is o(-5) composite?
True
Let i = -5 - 2. Let m = 7 + i. Is (m - -47)/((-6)/(-18)) a prime number?
False
Let j be (11 - 9) + (0 - -2). Let p(c) = 5*c**2 + 3*c - 5. Let b be p(5). Suppose j*x = x + 3*f + b, 5*x = 2*f + 237. Is x a prime number?
False
Let o be -2 - ((-184 - 1) + 0). Suppose -o = -5*k + 2. Is k prime?
True
Let d(w) = -5*w**3 - w**2 + 5*w + 5. Is d(-4) a composite number?
True
Let g(c) = -c**3 + c**2 + c + 1. Let s(l) = -4*l**3 + 5*l**2 + 6*l + 3. Let i(j) = 5*g(j) - s(j). Let a be i(0). Suppose 148 = a*k + 2*k. Is k a prime number?
True
Suppose -4*m - 3*m - 42 = 0. Is (-705)/m*30/25 composite?
True
Suppose -9*m + 20*m - 4873 = 0. Is m prime?
True
Let x = -5 - -11. Let c = 38 + x. Suppose -a = -c + 7. Is a prime?
True
Suppose z - 6*z + 5*o + 1700 = 0, -2*z - 2*o = -668. Is z a composite number?
False
Suppose -197 = -5*i - 3*l, 3*i - l = l + 103. Is i composite?
False
Let l(u) = 156*u - 61. Is l(7) composite?
False
Suppose -5*p + 0 = -25. Suppose 4*r - p - 227 = 0. Is r a composite number?
True
Let x be (-2)/(-1) - (-828)/4. Let k = x - 362. Let q = -70 - k. Is q a prime number?
True
Suppose -2*f - 6*r = -2*r + 4, 0 = 3*f - 2*r - 10. Suppose -p = 2, q - f*q + 123 = -2*p. Is q composite?
True
Let j be 4*(15/4)/5. Suppose 359 = j*g - 526. Is g a composite number?
True
Suppose i - 5*h = 5864, 7*i - 29430 = 2*i + 3*h. Suppose 5*q - i = -1219. Suppose -5*z - 2*b + q = -3*b, 5*z - 4*b = 931. Is z prime?
False
Is 1563 - (3 - 4/((-16)/(-4))) composite?
True
Let r(m) = 71*m**2 + 40*m**2 - 7*m**2 + m + 116*m**2. Let u = -3 + 4. Is r(u) prime?
False
Let a(x) = x**3 + x**2 - x + 1