1 - 4/12 - 78762/(-9). Suppose 6*q = 3*h + 3*q - n, 0 = -5*h + 4*q + g. Is h composite?
True
Suppose 178*l = 486467 + 574933 - 280870. Is l a prime number?
False
Let y(a) = 1667*a**3 + 4*a - 2. Let c(u) = -2*u + 51. Let k be c(25). Is y(k) prime?
True
Suppose 0 = s + 3*l + 10, -3*s - 3*l = -7*s + 20. Suppose -4*j - 5*q + 15643 = -0*q, 4*j - s*q - 15622 = 0. Is j a composite number?
False
Let s(j) = 205*j + 17. Suppose -10 = -5*p - 3*l + 39, 2*p + 4*l - 28 = 0. Let b be s(p). Suppose 5*z - 3*r - b = 0, 0 = 2*r - 3 + 11. Is z composite?
True
Let i = -22 + 26. Suppose -i*x + 2*x = 8, -48192 = -4*j + x. Is j a composite number?
True
Let j(a) be the second derivative of -101*a**3 + 55*a**2/2 + 295*a. Is j(-6) a composite number?
False
Suppose 3*o = -4*y + 155867, 16905 - 172771 = -3*o - 5*y. Suppose -2029 + o = 8*f. Is f composite?
True
Let n = 56330 - 20839. Is n a prime number?
True
Let a(t) = t + 1. Let x be 3*15/9*-1. Let v(w) = 111*w - 10. Let d(c) = x*a(c) - v(c). Is d(-12) a prime number?
False
Let r = 174 - 164. Suppose 2*k = 5*k - 6. Is 4/r*(2626/k + 2) composite?
True
Suppose 4*c + q - 2241 - 6067 = 0, 2077 = c - 2*q. Suppose -p + d + 983 = -c, -4*d = 4*p - 12280. Is p a prime number?
False
Let a = 531 + -530. Is a*79*(-7)/((-21)/33) prime?
False
Let s be (-11 - -5)*164/(-8). Let l = 374 - s. Is l prime?
True
Let s be (50/20)/((-2)/(-4)). Suppose 2*j + 3*j - 325 = -s*o, -5*j = -o + 89. Is o a prime number?
False
Suppose 22*o = 19*o - 207. Let a(i) = -i - 57. Let v be a(-19). Let r = v - o. Is r prime?
True
Let n be 1173174/2 + 9 + -4. Is ((-34)/14 - -2) + n/161 a prime number?
True
Let f(k) = 10*k**2 - 82*k + 9. Let y be f(8). Let a(b) = -18 - 4 - 16*b - 7. Is a(y) a composite number?
False
Suppose 140*a = 648*a - 198448676. Is a prime?
True
Let h be ((-6)/(-12))/((-4)/(-176)). Suppose -34524 = -h*k + 91118. Is k a composite number?
False
Let h(u) = 1165*u**2 + 177*u - 1000. Is h(6) a prime number?
False
Let l(t) = 4*t**2 + 10*t + 4. Let q be l(-3). Is (-8 + 75/q)/(1/(-4058)) composite?
False
Let y(c) = 6*c - 33. Let x be y(6). Is 18339/6 - (-2 - x/(-2)) a prime number?
False
Suppose 0 = -2*x - x + 6. Suppose 2646 = 5*d - x*j + 4*j, 2654 = 5*d - 2*j. Suppose 9*b = 14*b - d. Is b a composite number?
True
Is (-36)/(-48)*(-43388256)/(-72) prime?
True
Suppose 12550 = 12*o - 75842. Is (o/5)/(9 + 86/(-10)) composite?
True
Let g = 56662 + -6935. Is g prime?
True
Suppose -8*c = -15 + 135. Is c/(-6)*33714/15 + -4 a composite number?
True
Suppose -23 + 13 = -2*g. Let q be 25/g - 2 - 0. Suppose -z - 2598 = -q*i, -z = 4*i - 2*z - 3463. Is i prime?
False
Let c(g) = -12*g + 24. Let p be c(-5). Is 172476/p - (-2)/(-7) a composite number?
False
Suppose 0 = -6*s + 3*s + k + 8, 16 = 5*s - 3*k. Suppose -2*u = s*j - 6926, 2*j + 3*j - 2*u = 17336. Let f = -2067 + j. Is f a composite number?
False
Is (6/(-10))/(51/(-2700365)) prime?
True
Let f(u) = -8*u**2 - 22*u + 6. Let z(w) = -2*w**2 + w + 3. Let t(x) = -f(x) + 3*z(x). Suppose 2*y = 5*a + 59, 0 = 3*y - 2*a - a - 66. Is t(y) prime?
False
Let v be -6016 - (0 + 4 + -5). Let k = v - -15372. Is k prime?
False
Let l = -40 - -47. Suppose -307 = -l*z + 505. Let k = 705 + z. Is k prime?
True
Let z(r) = 167*r**2 - 8*r + 80. Suppose 5*p - 105 = -10*p. Is z(p) composite?
True
Suppose -2*w + 12 = p, -p - 3*w + 8*w = 9. Let o be -128 + -2 + 2*(-3)/p. Let m = o - -310. Is m prime?
True
Suppose 54*l - 1703752 = 46*l. Is l a prime number?
True
Let p = -4994 + 2765. Let s = 1029 - p. Let k = -1255 + s. Is k prime?
True
Let m(s) = 334*s + 9 + 1897*s + 1115*s - 228*s. Is m(1) prime?
False
Suppose 15934513 = 112*i - 8669871. Is i prime?
False
Let d(v) be the third derivative of -55*v**6/4 - v**5/12 - v**4/3 - v**3/2 - 177*v**2. Is d(-2) prime?
False
Let a(l) be the second derivative of l**6/360 + l**4/3 + 11*l**3/6 - 7*l. Let t(i) be the second derivative of a(i). Is t(5) composite?
True
Let p(w) = -271*w - 48. Let l be p(-4). Let z = 3405 + l. Is z a composite number?
False
Let h be 6*(-3)/((-6)/251). Suppose 0 = 20*v - 8504 - 12456. Let a = v + h. Is a composite?
False
Suppose 0 = 3*c + g + 2132, 65*g - 66*g + 4 = 0. Suppose -2*u = -5*k - 3*u + 5359, -3*k + u + 3209 = 0. Let n = k + c. Is n a composite number?
False
Let r(z) = -10*z**3 + 9*z**2 + 6*z + 5. Let v(s) = -28*s**3 + 27*s**2 + 17*s + 16. Let n(b) = -11*r(b) + 4*v(b). Is n(-6) a prime number?
False
Let r be (9 + 252/(-30))*11405. Let u = r + 1380. Is u composite?
True
Suppose -9*o = -5*o + 5*l - 2, 3*o - 4*l = -14. Let t(z) = -6320*z + 47. Is t(o) composite?
True
Suppose -2*j + 4*j + 2080 = 0. Let a = -2820 - j. Is (a/(-6))/(6/9) composite?
True
Let t be (-516)/(-48) + ((-6)/(-8))/(-1). Is ((-9854)/t)/(38/(-190)) a composite number?
True
Suppose i + 16 - 17 = 0. Let r be 8 - 7 - (3/(-1) + i). Suppose r*c = z - 1244, 3*z - 5*c - 2036 - 1716 = 0. Is z a composite number?
False
Let x = -34 - -28. Let z(d) = -126*d + 75. Is z(x) prime?
False
Let w(x) = 67709*x**2 + 78*x - 56. Is w(3) prime?
False
Let u be (-3570)/75 - 4/10. Let p be (-24)/u*(-1 + 1). Suppose -2*f - 3*b + 2*b + 1257 = p, -4*f - 3*b + 2509 = 0. Is f prime?
True
Suppose -3*j + 5*y + 86452 = 0, 9*j - 2*y = 7*j + 57632. Is j a prime number?
False
Suppose 0 = 5*k, 18075 = v + k + 2975 - 14229. Is v a composite number?
True
Suppose -3*k + 94110 = 4*o - 6*k, -23493 = -o - 5*k. Is o composite?
True
Let m(v) = 17*v**2 + 2*v + 7. Let h be m(-6). Suppose -7*z + 12*z + 27 = c, 3*z - 6*c + 27 = 0. Is h/11 - ((-159)/33 - z) a prime number?
False
Let w be ((-2)/4)/(16/(-96)). Suppose -5*v + 0*v = 2*g + 10, -4*g - w*v = -8. Suppose -u + 521 = -5*i, g*i = -3*u - 0*u + 1643. Is u composite?
False
Let u = 111 + -115. Let v be 14138/10 + 2 - u/20. Let a = v + -763. Is a a composite number?
False
Suppose -2 + 1 = -d - 2*w, -3*d = 5*w - 3. Suppose -2*i + d + 5 = 0. Is (1 - (-12)/i)*149 composite?
True
Let i(k) = -k**2 + k + 1. Let y(v) = 5*v**2 + 33*v + 5. Let p(s) = -6*i(s) + y(s). Is p(5) a prime number?
True
Let x(n) = 7*n - 145. Let c be x(23). Suppose -y - c*y + 19567 = 0. Is y prime?
True
Suppose 4*m - 2*c - 1142 = 0, 0 = -3*m + 5*c - 0*c + 867. Suppose -116*f = -112*f - m. Is f prime?
True
Suppose 35 = 5*o + 5*u, 3*u - 7 = 2*o + 4. Suppose p - 3813 = 5*t - o*t, 4*t = -2*p - 5084. Let v = t - -2340. Is v prime?
True
Is 2*(-4 - 5124945/10*(-12)/28) composite?
False
Let k(f) be the second derivative of 37*f**7/504 - f**6/720 + f**5/120 - f**4/3 + 15*f. Let s(w) be the third derivative of k(w). Is s(-1) a prime number?
False
Let n be 14 - ((-3)/3)/(1/3). Suppose 24*a - n*a - 931 = 0. Suppose -2853 = -136*q + a*q. Is q composite?
True
Suppose 10*o - 7*o + 3*f - 285210 = 0, o = f + 95056. Is o composite?
False
Let q be ((-13918)/4)/(9/6 + -1). Let i = -3268 - q. Is i composite?
False
Let c = -73 - -23. Let b = c - -50. Suppose -7*k - k + 7208 = b. Is k a prime number?
False
Let m(i) = -5*i + 155. Let s be m(-10). Let b = s - -214. Is b a composite number?
False
Suppose -4732 = -4*z + 2*y, -5929 = 2*z - 7*z - y. Let g = z - 803. Is g a prime number?
False
Suppose 0 = -5*r - y + 73, 44 = 4*r - y - 3*y. Suppose r*x - 8805 = -x. Is x prime?
True
Let t be 1*2 - (-19)/(171/36). Is (-1)/(-2)*(1 - (-12771 - t)) composite?
False
Let s be 117/27*(-2)/((-2)/3). Suppose s*j = -3099 + 15514. Is j a prime number?
False
Let i be (-8 + 4)*81*3. Let x = -1531 - i. Let l = -268 - x. Is l a prime number?
False
Let p(a) = 755*a - 87. Let g be 5/(-7) - -1 - 13716/(-1778). Is p(g) a prime number?
True
Let p(t) = -1624*t - 5. Suppose 2*k = 2*b - 5 - 1, -3*b = -3. Let y be p(k). Suppose -3*a + 3164 = 5*h - 87, 0 = -5*h + a + y. Is h a prime number?
False
Let w = 2821 - 1802. Let r = -441 + w. Let d = 871 - r. Is d composite?
False
Suppose 4*z + r + r - 4384 = 0, -4*r - 1087 = -z. Suppose -14*w + 9*w = -z. Is (-3 + w/12)*44 prime?
False
Suppose 5*x = 2*z - 204997, -253*z = -257*z - x + 410049. Is z prime?
False
Suppose -q = 3*i + 2*q + 3, 8 = -3*i + 2*q. Is (-7)/7 - (i - 630) composite?
False
Let d be 68/16 - (-2)/(-8). Suppose d*f - 10 = -f. Suppose f*v - 4*p = 586, -p - 581 - 283 = -3*v. Is v composite?
True
Let n(m) = 6*m**2 + 146 + 8*m - 2*m**2 - 9. Is n(-30) composite?
True
Let a(v) = -40*v**3 + 151*v**2 + 100*v - 216. Let m(f) = 14*f**3 - 