 -8602. Let m = a - -1635. Is m prime?
True
Let d(h) be the third derivative of 4*h**2 + 0*h + 191/6*h**3 + 1/24*h**4 + 0. Is d(0) composite?
False
Suppose 80*o = 72*o + 6920. Is o prime?
False
Let o = -35 - -36. Is -2 + 256 + o + 2 a prime number?
True
Suppose -p + 7 = 2*o - 2*p, 3*o - 13 = 4*p. Let l(c) = o - c**2 - 2*c**2 + 2*c**2 + c - 3*c**2 + c**3. Is l(7) a composite number?
False
Suppose 4*w = 5 + 3. Suppose -2*t = -4*u - 566, -t = -w*t - 3*u + 293. Is t a prime number?
False
Let k = 1 + 1. Let i(z) = z**2 - 3*z + 1. Let t be i(k). Let r(q) = -293*q**3 + q**2 + q. Is r(t) prime?
True
Is 2 + 1314 + (-24)/(-8) a prime number?
True
Let z = 74 + -26. Let y = z - 83. Let v = -20 - y. Is v composite?
True
Is 11056210/176 - (21/8)/7 a composite number?
False
Let g(f) = -67*f + 12. Let h be g(-3). Suppose i = h + 374. Is i a prime number?
True
Let v(p) = 12833*p + 117. Is v(4) composite?
False
Suppose 0 = 25*g - 29*g + 28004. Is g a prime number?
True
Let r be 1 + -1 + 441/7. Suppose 5*p - 1018 + r = 0. Is p a composite number?
False
Suppose -3*o + 4*o = 0. Suppose -12*v + 51 - 3 = 0. Suppose o = -0*f - v*f + 372. Is f composite?
True
Let w be (15/9)/(3*2/18). Is 26/(1 + 6*w/(-34)) a composite number?
True
Suppose 16*y - 13*y - 6 = 0. Suppose 3*h - 400 - 441 = -5*t, y*t = 3*h - 869. Is h composite?
True
Let k = 29228 + -15733. Is k prime?
False
Let o(y) = -48*y**3 - 3*y**2 + 5*y - 3. Is o(-5) a prime number?
True
Let i = 42 - 21. Let t(x) = -8*x**2 + i*x**2 + 0*x + 3*x - 5*x - 1. Is t(-2) composite?
True
Let g = 53 - 53. Suppose -4*l + 4*m = -556, g*l + 286 = 2*l + 2*m. Is l composite?
True
Let z(c) = 787*c**2 - 2*c - 2. Is z(-1) a prime number?
True
Suppose -2*n + 4*u + 609 = -1137, 0 = n + 2*u - 885. Is n composite?
True
Is (-71538)/(-21) - (-9)/21 composite?
False
Suppose -4*o + 2*o = 0, 0 = -4*c + 3*o + 3624. Suppose u + 0*u - 611 = 2*p, 3*p = -2*u - c. Let v = p + 431. Is v a prime number?
True
Let j be 2/(5/(-45)*-6). Suppose -7*m = -j*m - 348. Is m composite?
True
Let g(l) = l**2 + 9*l - 8. Let s be g(-10). Is 143 + 4*(s + -3) a composite number?
False
Let a = -499 - -54. Let f = 295 + a. Let w = -67 - f. Is w a composite number?
False
Let y(r) = -r**3 - 23*r**2 - 9*r + 34. Is y(-25) a composite number?
True
Let r = -291 + 1606. Is r a composite number?
True
Suppose 179953 - 12004 = 9*z. Is z composite?
False
Is 2/(4/(13820/(-17265)) - -5) a composite number?
False
Suppose 13 = 8*y - 35. Suppose 2*f = 5*d + 1836, y*f - 5*f - d - 915 = 0. Is f a prime number?
False
Let g(d) = -3*d + 11. Let a be g(2). Is (-19 - 1)/a - -115 prime?
False
Let d(v) = 2*v**3 - 5 + 8*v + v**2 + 0*v**2 - 3*v**3 - 2*v. Suppose 0 = -3*j + 1 - 16. Is d(j) a prime number?
False
Let a(m) = 34*m + 1. Let s(w) = 3*w**2 + 5*w + 4. Let d be s(-3). Let z = d - 7. Is a(z) composite?
False
Let a(r) = 101*r**3 + r**2 - 4*r + 3. Let n be a(2). Let t = n - 358. Is t prime?
True
Let a(o) = o**3 - o**2 - 6*o - 7. Let q be a(-3). Let v = q + 23. Is ((-183)/9)/(v/42) a composite number?
True
Let k be (28/(-6))/((-8)/12). Let x(j) = -j + 7. Let t(v) = -v + 8. Let i(s) = 7*t(s) - 6*x(s). Is i(k) a prime number?
True
Let k(s) = 12*s**2 - 4*s**2 + 4*s + 6 - 3*s. Is k(-7) a prime number?
False
Let o be 10/(-6)*(4 - 7). Let d(y) = -y**3 + 6*y**2 - 3*y - 1. Let j be d(o). Is 1182/9 + (-3)/j a composite number?
False
Let u be ((-16)/10)/((-2)/5). Let a = -8 + u. Is ((-14)/(-4))/(a/(-136)) a prime number?
False
Let t(s) = 13*s**3 - 5*s**2 + 6*s + 8. Let i be t(6). Suppose -5*v = -3*v + 5*q - 1803, q = -3*v + i. Is v prime?
False
Let d(n) = 2*n**2 - 4*n - 1. Let m be d(-6). Suppose -7*h = -8*h + m. Is h a composite number?
True
Let h(v) = -v**3 - 8*v**2 - 9*v - 8. Let t be h(-7). Let z = 79 - t. Let o = 162 - z. Is o a prime number?
True
Let h(a) be the third derivative of -115*a**6/12 + a**5/60 + a**4/12 + a**3/3 - 27*a**2. Is h(-1) a prime number?
True
Let k(o) be the second derivative of 17*o**4/4 - 2*o**3/3 - 3*o**2/2 - 6*o. Is k(4) a prime number?
True
Suppose 38*u - 29*u = 3780. Let f be 86/18 + 6/27. Suppose 2*k - v = 124 + 59, 5*v - u = -f*k. Is k a prime number?
True
Let i be 13/13*16*-1. Let u = i + 49. Is u a prime number?
False
Let j be -1*(-1)/((-2)/(-16)*4). Suppose -1424 - 494 = -j*m. Is m a composite number?
True
Let y be (-196)/(5/((-20)/4)). Let v(t) = 2*t - 1. Let m be v(2). Suppose y = 4*x - 2*d - m*d, x = d + 49. Is x a prime number?
False
Let c be ((-3)/(-6))/((-2)/(-12)). Suppose b - c = 0, d - 2*d - 5*b = -648. Is d prime?
False
Suppose -62950 = -1810*a + 1800*a. Is a a composite number?
True
Let h(u) = u**2 - 7. Let t be h(3). Let i = -3 + 5. Suppose -i*v = t*v - 344. Is v composite?
True
Let z(r) = 86*r - 15. Let t be (5 - 9) + 38/1. Suppose 5*s - t = 4*d - 6, -d + 3 = 0. Is z(s) a composite number?
False
Let o(c) = -6*c - 10. Let i be (-1)/3 - (-21)/9. Suppose 2*d - i*j = 3*j - 31, -3*d - 27 = -j. Is o(d) prime?
False
Let k(r) = 2*r - 22. Let t be k(13). Suppose -38 = t*g - 114. Is g composite?
False
Suppose 0 = 4*f - f - 5*z + 5, 0 = -5*f - 3*z - 31. Let x(m) = 17*m**2 - 18*m - 10. Is x(f) a prime number?
False
Let h(n) be the first derivative of -n**2 + n - 1. Let l be h(3). Let t(x) = 10*x**2 + 12*x + 1. Is t(l) composite?
False
Let i = 185 + -353. Is (-2)/(-7) - 51528/i composite?
False
Is (-2)/9 + 2415622/342 a prime number?
False
Let k be 9/3 - (4 - 3). Let l be (8/12)/(k/6). Suppose p + 144 = 4*v, -l*p = -5*v + 194 - 11. Is v a composite number?
True
Suppose -7*v = -128 - 89. Is v composite?
False
Suppose 8*q + 36900 = -18988. Is (-23)/5 + 5 - q/10 composite?
True
Suppose 5*b + y = 2*b + 2302, -3*y - 764 = -b. Is b a composite number?
True
Let b be (-1 - 0/2)*-5. Suppose b*o - 7 = 4*o. Is (-161 - 2)/(o/(-7)) a prime number?
True
Let k = -6 + 8. Suppose -5*f + 0*q + k*q = 773, -f + 4*q = 169. Let n = f - -218. Is n composite?
True
Suppose 3*z = 4*r - 1, 4*r - 2*z + 7*z + 23 = 0. Let g(o) = 341*o**2 - o - 3. Is g(r) composite?
True
Let a(u) = 9*u**2 + 5*u - 2. Suppose 0 = 4*z - 4*b + 12, -2*z - 5*b - 55 = 3*z. Let l be a(z). Let q = 615 - l. Is q a composite number?
False
Let v = -49 - -33. Let r be 3 - v*18/3. Let o = 190 - r. Is o a composite number?
True
Is 42/7 - (-6 - 14959) composite?
True
Let q(k) = 2*k**2 - 55*k + 190. Is q(43) a prime number?
True
Let p be 12/6 + (0 - -1). Suppose -p*d + 4567 = 1306. Is d composite?
False
Is -17 + (-224)/(-16) - 16506/(-1) a composite number?
True
Let q(s) = -7*s + 4. Suppose -36 = 4*o - 3*b, -2*b - 3*b = -2*o - 32. Let x be (-19)/3 + 4/o. Is q(x) composite?
False
Suppose 0*c + 2*h = -2*c + 37274, h - 93177 = -5*c. Is c a composite number?
True
Let l be (-11)/22 + 9/2. Suppose 0*o + l*b = -3*o + 17929, 11938 = 2*o - b. Is o prime?
False
Let a = -46674 + 66625. Is a prime?
False
Suppose l + 19381 = 5*h, 5*l - 5607 = -h - 1710. Is h a composite number?
False
Let k be -2 - (-1)/2 - (-69063)/2. Suppose -16*t = 3586 - k. Is t a composite number?
True
Let d(l) = 386*l**3 - l**2 - 2*l. Let f be d(-2). Let x = -2033 - f. Is x a prime number?
False
Let q = -1812 + 3290. Let c = -489 + q. Is c prime?
False
Let m = -4094 + 9261. Is m a prime number?
True
Let a(x) = x**3 - 7*x**2 + 9*x - 10. Let k be a(9). Let z = k + -42. Is z composite?
False
Let b(i) = 78*i**2 - 47*i - 129. Is b(22) a prime number?
False
Is 5/(315/1857438) - 1/7 a prime number?
True
Let k(v) = 2060*v - 67. Is k(7) prime?
False
Let p(q) = 26*q**2 + 5*q - 57. Let n(j) = -26*j**2 - 6*j + 57. Let r(y) = 3*n(y) + 4*p(y). Is r(-9) a composite number?
True
Suppose -r - 3*t = -13, -t - 2*t - 7 = -4*r. Suppose -n - r*n + 430 = 0. Is n a prime number?
False
Suppose 3186 = 4*k + 5*k. Suppose 0 = t - 5*v - k, 3*t + v + 4*v = 1162. Is t a composite number?
False
Let s = -3 + 9. Is -3 + s - (-808 + 2) composite?
False
Let s(a) = -96*a**3 - a**2 - 15*a + 5. Is s(-4) a composite number?
True
Let c(f) = 5*f**3 - 2*f**2 + 4*f - 3. Let l be c(2). Suppose 0*x - l = j + 3*x, x = -3*j - 95. Is 2*-1*j/2 composite?
False
Let n(f) = 4*f**2 + 8*f + 163. Is n(-39) composite?
True
Suppose 21*y - 251478 = -73839. Is y composite?
True
Suppose 5*w + 3090 = -3*p + 26907, -5*p + w = -39667. Is p a prime number?
False
Suppose k + 2*k + 6 = 0. Let z be -18*k/((-4)/(-90)). Suppose -v + 4*