?
False
Suppose -3*h = -3578 - 802. Suppose -1179 = -4*c - 3*q, 5*c - h = -q - 0*q. Is c a prime number?
False
Let q = 2103 + -1610. Is q a composite number?
True
Suppose 4*a + 4337 - 28389 = 4*v, -3*v - 24056 = -4*a. Is a a composite number?
True
Let p = 37 + -33. Suppose -1241 = -3*b + p*l, 2*l + 2661 = 5*b + 616. Is b composite?
True
Suppose -4*h = 1381 - 7545. Is h composite?
True
Suppose -1549*q + 259030 = -1539*q. Is q a prime number?
True
Suppose v + n + 2*n - 4279 = 0, -3*v + 12831 = 3*n. Suppose 2*j + v = 6*j. Is j composite?
False
Suppose 15 = 6*j - j. Let o(y) = y**2 + 5*y - 9. Let r be o(2). Suppose -r*q = -j*q - 502. Is q composite?
False
Let l(f) = -f**3 + 5*f + 39. Let q be 4/(24/9)*40/(-6). Is l(q) prime?
False
Let x(o) = -o - 7. Let q be x(-6). Let j(t) be the first derivative of 52*t**3 + t - 65. Is j(q) prime?
True
Let m(j) = 68*j**2 + 5*j - 7. Let d be m(2). Suppose 4*s + 4*k - 668 = 0, 0 = 2*k - 3 + 9. Let n = s + d. Is n composite?
True
Let m(t) be the second derivative of 2/3*t**4 + 3/2*t**2 + 9*t + 0 - 1/3*t**3 + 1/20*t**5. Is m(-6) composite?
True
Let n be 8/(-6)*54/12. Is ((-758)/3)/(n/9) composite?
False
Let d = -211381 - -298118. Is d prime?
False
Let i(a) = 555*a + 16. Is i(15) a composite number?
True
Suppose 15*g = 19*g - 4188. Is g a composite number?
True
Let w(l) = -5*l + 29. Let v be w(-15). Let x = v + -17. Is x prime?
False
Suppose 0 = s - k + 1 + 2, 0 = k - 3. Suppose s = 4*y + 5*w + 1444, -3*y + 2*w - 4*w = 1083. Let r = 506 + y. Is r prime?
False
Is (21/2)/(-7)*934/(-3) composite?
False
Suppose -5*m = -3*o - 1309, m + 841 = -2*o - 2*m. Let v = o + 1259. Is v a prime number?
False
Suppose 3*r = 14 - 8. Suppose 0 = -2*u - h + 9, r*u = 3*h + 5. Suppose s + 0*k - u*k - 21 = 0, 5*k - 20 = 0. Is s composite?
False
Suppose 3*i - 1 = 2*m - 2, 5*m = -4*i + 14. Suppose 8 = q - 4*w, -2*w + 4*w - 10 = -3*q. Suppose -q*d + m*d + 1366 = 0. Is d a composite number?
False
Suppose -t - 11506 = -4*v + t, 3*v + 3*t = 8652. Is v a composite number?
False
Suppose 0 = -78*r + 97*r - 244891. Is r prime?
True
Let h(g) = 287*g - 25. Let d be h(6). Let z = d + -888. Is z composite?
False
Suppose 5*g - 7*g - 123174 = -4*s, 4*g = s - 30811. Is s prime?
False
Is (-2 + 59227/(-21))/(3/(-9)) composite?
False
Let t(c) = -c**3 - 2*c**2 + 3*c + 3. Let u be t(-2). Let o be u/(-9)*0 - -2. Suppose -k = o*w - 104, -3*k + 2*k + 2*w + 108 = 0. Is k a prime number?
False
Suppose -43*v = -45*v + 59626. Is v a composite number?
True
Let n = 209 + -123. Is n + 3/(-2)*2 a composite number?
False
Is (1/7)/(-1) - (-18763844)/154 composite?
False
Suppose -25 = 5*p, -3*p - 3 = -7*x + 4*x. Let w = -19 - x. Is (-4)/10 + (-1941)/w a composite number?
True
Is (-3)/((-6)/15706) - (-56 - -51) composite?
True
Let m be (-7)/5 + (-6)/(-15). Let r = m - -9. Is 6/r + (-6055)/(-28) prime?
False
Let t be 3/(2 - 1)*61. Let a = t - -562. Is a a composite number?
True
Suppose 7*v - 16 = 3*v. Suppose v*g - 159 + 14 = -5*f, 4*f = -2*g + 68. Suppose 5*t - t = g. Is t prime?
False
Suppose -107*v + 342193 = -439870. Is v a prime number?
True
Let r = 1949 + -568. Is r a composite number?
False
Suppose c - 4*h - 48 = 0, -4*c + 0*h = 2*h - 192. Is (2332/(-6))/(4*(-8)/c) a composite number?
True
Suppose 2*j = 2621 - 543. Is j composite?
False
Let u(a) = a**2 - 5*a + 3. Let r be u(5). Suppose 0 = -r*p + 8 - 35. Is 15/10*(-2238)/p a composite number?
False
Let j be 40/220 + 14436/(-22). Let w = j - -1287. Is w prime?
True
Suppose 2*p + 4 = -2*f + 38, 0 = -4*p + 8. Suppose 10*h - 5*h = f. Is (-3)/h*-4 + 47 a prime number?
False
Suppose 5*w = 54*w - 59927. Is w a composite number?
False
Suppose -44*j = -142676 - 157272. Is j a composite number?
True
Let h = -198 + 347. Is h prime?
True
Let b be (-4)/(4/(2*-164)). Let d(n) = 107*n**3 - n**2 + 1. Let t be d(-1). Let g = b + t. Is g a composite number?
True
Let q(j) = -j**3 - 10*j + 17 - 12 + 4*j**2 + 2*j**3 - 2*j. Is q(6) a prime number?
True
Suppose g + 3*h - 6606 = h, 5*h - 33010 = -5*g. Is g composite?
True
Let a(d) = -d**3 + 5*d**2. Let w be a(5). Suppose w = 4*x - 8, 4*p + x = 6*x + 2. Suppose -s = -3*o - 196, -p*s + 567 = -o - o. Is s composite?
True
Suppose 415 = 6*m - 107. Is m prime?
False
Let g = -37 + 63. Suppose -5*d = -619 - g. Is d prime?
False
Let y be ((-1)/1)/((-1)/4). Suppose -2*q + 1362 = -y*c, -c = 5*q - 0*q - 3361. Is q prime?
True
Let f(a) = 162*a + 6. Let d(r) = 8*r. Let w be d(-1). Let c be f(w). Is c/(-8) + (-5)/20 prime?
False
Let w = 154473 + -99508. Is w composite?
True
Is (7 - ((-73)/2)/(-1))*-22 a prime number?
False
Let y = -28 - -38. Suppose y = 5*z, 3*z - 473 = -k - 0*k. Is k prime?
True
Let u be -2 + (-4)/1 + 8. Suppose 0 = 2*g + 2, -2*s + u*g + 750 = -2*g. Is s a composite number?
False
Suppose -3164 = -4*s + 4*i, 0 = 5*s - 3*i - 0*i - 3963. Suppose -s = -12*m + 9*m. Let q = -180 + m. Is q a composite number?
True
Let g(r) = -r**2 + 9*r - 16. Let y be g(5). Suppose 38532 = y*v + 4448. Is v a composite number?
False
Suppose 8*g - 25 = 7. Suppose -2*z = -g*p + 5314, 0 = p - 5*z - 10 - 1314. Is p prime?
False
Is (10262 - (-72)/(-6)) + -7 prime?
True
Let x be 2/(-1 - (-9)/15). Let j = 5 + x. Suppose j = -5*b + 3*b + 110. Is b prime?
False
Let v(l) = -91*l**3 - 5*l**2 - 3*l - 1. Is v(-2) prime?
False
Let h = -6 - -8. Let t(l) = -81*l**3 - 3*l**2 - 1. Let c(v) = 163*v**3 + 7*v**2 - v + 2. Let f(y) = -2*c(y) - 5*t(y). Is f(h) prime?
True
Suppose -396*o + 386*o = -45070. Is o prime?
True
Is (-1 - 16800/(-44)) + (-26)/(-143) composite?
True
Suppose -n - 6 = -4*n. Suppose 4*v + 3*f - f - 3866 = 0, -2*v + n*f = -1924. Is v a prime number?
False
Let n = -1442 - -2137. Is n a prime number?
False
Let o(g) = -g**2 - 3*g + 3. Let v be o(-4). Let j = v - -1. Suppose j*z - 4*z + 148 = 0. Is z prime?
True
Suppose -6*l + 94635 = 21*l. Is l a composite number?
True
Let n(m) = 331*m**2. Suppose 0 = 5*j - 2*o - 7, -6*j = -j + 3*o - 2. Is n(j) a composite number?
False
Let v = 7 + -10. Let b be ((-1)/(-1))/(v/(-6)). Suppose 5*d - 100 = -0*y - b*y, -2*d = -5*y - 69. Is d composite?
True
Let a(j) = 32754*j - 19. Is a(1) prime?
False
Let c be (-2*156/8)/(2/(-170)). Let n = 652 + c. Is n composite?
False
Is (12 - (-2047408)/64) + 2/8 prime?
True
Let p(b) = 413*b**2 + 6*b - 10. Let u be p(4). Suppose -7*i + u = 1169. Is i composite?
True
Let y = 16491 - 5650. Is y a prime number?
False
Suppose -2*h = 1 - 11. Let s be (-4)/(-10) + 13/h. Is ((-3)/(-6))/(s/1062) prime?
False
Let g(y) = y**3 - 2*y**2 - 12*y + 8. Let p be g(5). Suppose p*a - 935 = 18*a. Is a a prime number?
False
Let y(z) = 26*z - 3. Let q be y(7). Suppose 0 = 3*x - 5*n - 191, 2*x - 2*n - q = -x. Suppose 4*c = -1 + x. Is c composite?
True
Let i be (-18)/27*-1*3. Let g = i + 4. Let k(c) = 4*c**2 - 8*c + 1. Is k(g) a composite number?
False
Let c(f) = -9128*f**3 + f**2 - f + 1. Is c(-1) composite?
True
Let d(x) be the second derivative of -x**5/20 + x**4/12 - x**3/6 + 211*x**2/2 + x. Let c = -48 + 48. Is d(c) prime?
True
Let k(s) be the third derivative of 17/24*s**4 + 1/60*s**5 + 0*s - 7/6*s**3 + 0 + 13*s**2. Is k(14) composite?
True
Let q = 164980 - 81713. Is q composite?
False
Suppose c - 681 = 17354. Is c prime?
False
Suppose -15*x = 3*x - 14130. Is x a prime number?
False
Let f = 255 - 176. Is f prime?
True
Suppose -4*g = 2*i - 6*g + 3030, -2*i - 3*g = 3030. Let y be 1 + -934 + -1*1. Let v = y - i. Is v a composite number?
True
Let c = 19382 + -11571. Is c prime?
False
Let j(g) = -2*g - 7. Let w be j(-6). Let v(c) = -w*c - 2*c + 5*c**2 + 7*c - 6. Is v(-4) a composite number?
True
Let t(q) = 3 - 2 - q + 664*q**2 + 34*q**2 - 144*q**2. Is t(1) composite?
True
Suppose -3*d - n - 6 = -16, 2*n = -10. Suppose -d*p - 3*z + 1459 = 0, -2*p + z = -0*z - 588. Is p a composite number?
False
Suppose 511 = -27*g + 3724. Is g a composite number?
True
Suppose 1 = 4*b - 19. Is (-30)/(3 + 0 - b) composite?
True
Let u = 1243 - 672. Is u composite?
False
Suppose 10*q + 8 + 42 = 0. Let m = q + 786. Is m composite?
True
Suppose 5*j - 318 = s, -4*j - 333 = 3*s + 716. Suppose -104 - 116 = 2*u. Let f = u - s. Is f a prime number?
True
Is (((-75)/5)/(-5) - -691) + 3 a prime number?
False
Suppose w = 1 + 1. Suppose -w*o + 59 = -363. Is o prime?
True
Let f = 25 + -48. Is (2 + 6/(-4))*(