5*c - 13*n = -10*n + 91630, 0 = -5*c - n + 91650. Is c a prime number?
True
Let o(g) = -435*g - 13. Let a(r) = 218*r + 7. Let z(p) = 5*a(p) + 2*o(p). Is z(12) composite?
True
Let l(b) be the first derivative of -102*b**2 + b - 1. Is l(-2) a composite number?
False
Is -5*((-297468)/60)/3 prime?
True
Let y = -531 + 2894. Is y a composite number?
True
Suppose m + 48 = 4*m. Let y = m + -13. Suppose -5*p = y*o - 154, -4*o - 118 = -p - 331. Is o a composite number?
False
Let m = 98903 - 59404. Is m prime?
True
Let b = 4 - -3. Suppose b*s + 328 = 9*s. Suppose -3*a - 4*f + 241 = -0*a, 2*a = -f + s. Is a a prime number?
True
Suppose -4*j - 72 = -2*b, -4*j = -5*b + 222 - 66. Let y = b - 26. Suppose s = -y*z + 69, -4*z = -4*s - 48 - 120. Is z a prime number?
True
Let g(f) = 32*f**2 + 3*f + 17. Is g(-22) composite?
False
Let n(x) = -3 + 3*x + 2 - 3*x**3 + x**3 + x**2. Let z be n(2). Let w(k) = 2*k**2 + 9*k. Is w(z) prime?
False
Suppose -286*m - 25195 = -287*m. Is m composite?
True
Let v = 17 - 10. Suppose v*j = 4*j. Suppose -422 = -j*l - 2*l. Is l a composite number?
False
Let g(f) = 279*f + 84. Is g(15) a composite number?
True
Let u be 3 - 0*((-2)/(-1) - 3). Is -838*(u/2 + -2) prime?
True
Let b(t) = 2*t**2 + 18 + 10*t - 9*t - 20. Let c be b(-2). Suppose 0*q + c*q - 524 = 0. Is q prime?
True
Let z be 0 + (0 - -2 - 1). Suppose 3 = -g + z. Let k(q) = 191*q**2 - 5*q - 5. Is k(g) composite?
False
Suppose -3*b = 15, -2*g = -7*g - 3*b + 10. Suppose g*j + 0*j = 4*v + 16, -20 = 5*v + 5*j. Is v/4 - 0 - -210 prime?
False
Suppose 5*r - 611 + 166 = 0. Suppose 170 + r = h. Is h prime?
False
Suppose k + 11*c - 15*c = 5587, 5*k = -3*c + 28004. Is k a composite number?
True
Suppose 17*m - 92134 = 3*m. Is m prime?
True
Suppose 2*u - 44 = 116. Suppose 0 = -2*l + l - u. Is -6 - -2 - (-1 + l) a prime number?
False
Let g(z) = -264*z**3 - 7*z**2 + 8*z + 27. Is g(-6) a prime number?
False
Let k(o) = 7*o**2 + 56*o + 152. Is k(51) a composite number?
True
Let p be 1080/14 - (-1)/(-7). Suppose 3 = -4*q - p. Let l = q - -42. Is l prime?
False
Let j = 34 + -31. Let x(w) = 18*w + 3. Let p(b) = 35*b + 5. Let d(y) = 6*p(y) - 11*x(y). Is d(j) a composite number?
True
Suppose -5*j + 2*o + 26 = 0, 2*j + 4*o + 32 = 7*j. Is j - 3 - 742/(-2) - 1 prime?
False
Suppose -3*l = -4*n - 3417, -5*n = -l + 521 + 607. Suppose -2*w + 3*d = -4831 + l, 5537 = 3*w - 2*d. Is w composite?
False
Suppose -4*g = 22*t - 26*t - 1180, -4*t = 5*g - 1511. Is g a composite number?
True
Suppose 0 = -h + 501 + 86. Is h a composite number?
False
Suppose -2*d + 24 = 4*d. Suppose k - d = 3*j, -3*k + 4*j + 38 = 8*j. Is k prime?
False
Suppose b - 447 = 1652. Is b composite?
False
Let x = -146 + 820. Is x prime?
False
Let o be 9/15 - (-171108)/(-30). Is (-10)/2*(-9)/(-27)*o a prime number?
False
Suppose 0 = 2*n - 4*c - 306, -9*n = -4*n + 5*c - 735. Is n prime?
True
Let k be (-5)/(-25) - 599/(-5). Suppose -2*a - k = a + g, -5*g = 15. Is 2/13 - 8691/a a composite number?
False
Let o be 65/(-78) - ((-22)/12 + 2). Is (530 + o)*(3 + 3 + -5) prime?
False
Suppose 3*v - 10 + 0 = -2*z, 4*v - 17 = z. Suppose 5*p = -5*g + 6117 + 293, v*g + 2*p - 5118 = 0. Is g composite?
False
Suppose -8*g = -17572 - 1092. Is g prime?
True
Suppose z - 4*a + 2*a = 22, 3*a = -5*z + 45. Suppose -3*p + z = 0, 4*p = -o - o + 126. Is o prime?
False
Let l = -3 + 6. Suppose 0 = 3*b + l*b - 4110. Is b a prime number?
False
Let j(f) = -3*f**2 + 6*f + 9. Let m be j(8). Let v = 472 + m. Let g = v + -126. Is g composite?
False
Let d(c) be the third derivative of -c**4/12 + 797*c**3/6 + 24*c**2. Is d(0) prime?
True
Let m = 4145 - -2196. Is m a composite number?
True
Let z(w) = -w**2 + 4*w - 3. Let s be z(5). Is (-8450)/(-6) - s/12 a composite number?
False
Suppose 21 = 5*y + 3*d, -4*y = -5*y + 5*d - 7. Let t = 17 + -10. Suppose -t*x + y*x + 228 = 0. Is x composite?
True
Let p be 74518/171 + (-4)/(-18). Suppose -p = -b - 178. Suppose 2*y - b = -4*y. Is y composite?
False
Let l be (-5)/(-5) - 2/(-1). Let a be 4*(-1)/(-4) + 307. Suppose l*n - 7*n = -a. Is n a composite number?
True
Suppose -3*k - 2*g + 4 = -1, 5*g - 5 = -5*k. Let o = 0 + k. Suppose 7*y - o*y - 892 = 0. Is y a prime number?
True
Suppose 3*l + 2100 = 3*x, 358 = -2*x + l + 1759. Is x composite?
False
Suppose -8*c + 7*c + 215 = -2*u, 0 = -3*u + 9. Is c a composite number?
True
Let m(h) = h. Let q(o) = o**2 + 2*o - 5. Let c(x) = -6*m(x) + q(x). Let b = 12 + -6. Is c(b) a prime number?
True
Suppose 3*u - 15 = 0, -3*d + 0*u + 5303 = u. Is d composite?
True
Let u(z) = 88*z**3 - 1. Suppose -10 = -r - 8. Is u(r) a prime number?
False
Let o = 2478 - 951. Is o composite?
True
Is 0 - ((-11)/(55/353600) - 1) a composite number?
True
Suppose 348 = 6*a - 3*a. Suppose 5*t - 399 - a = 0. Is t a composite number?
False
Let i be 208/6*27/12. Let s be -6*(20/(-3) - -4). Suppose i = s*u - 14*u. Is u a prime number?
False
Suppose -5*k + 168403 = 8*z, 67356 = 10*k - 8*k - 2*z. Is k a prime number?
True
Let y(f) = f**3 + f**2 - 13*f + 8. Let b(l) = -l**3 + 6*l. Let t be b(-3). Is y(t) prime?
True
Let v(z) be the first derivative of 127*z**2/2 + 4*z - 10. Let h be v(12). Is ((-1)/(-2))/(2/h) a prime number?
False
Suppose -2*v + 11542 = -2*u, v - 18*u + 20*u = 5777. Is v prime?
False
Let m be (-5 - -9) + (73 - 0). Suppose -5*t - 131 - m = -4*q, -q = -5*t - 67. Is q composite?
False
Let z(h) = 3*h**2 + 18*h - 20. Let i = 28 + -24. Suppose -2*l - 59 = 3*p, -2*p - 34 = l + i. Is z(p) a composite number?
False
Suppose -2*v = -4*o - 0*o + 18, 5*v + 19 = -3*o. Let f be o/6 + 23124/18. Suppose 0*d + 5*d - f = 0. Is d prime?
True
Let t be (4 + 1)*(-7 - -8). Suppose 5*u + 2760 = t*c, 3*u - 1111 = -4*c + 1132. Is c prime?
True
Suppose 0 = 2*t - 98 - 204. Suppose 13*s = 5*s + 2112. Let o = s - t. Is o composite?
False
Let t = 26857 - 13244. Is t a prime number?
True
Is (28/30)/7 - (-752543)/165 a composite number?
False
Let k(d) = -26*d + 7. Let o(x) = -27*x + 8. Let g(u) = 6*k(u) - 5*o(u). Let j be g(1). Let c = -5 - j. Is c composite?
True
Let q(c) = -5 + 63*c**2 - 69*c**2 + 27 - c**3 + 4*c. Is q(-11) a composite number?
True
Suppose 0 = -2*f - 9*o + 5*o - 8, 4*f = -5*o - 10. Suppose -s + 2104 + 1555 = f. Is s a prime number?
True
Suppose 0*k = 3*k - 1710. Let c be 4/(-10) + k/(-75). Is (-20)/c*(45 - -1) composite?
True
Suppose 3*c - 2298 = 3621. Is c a composite number?
False
Let x(c) = 1962*c**3 + 3*c**2 - 4*c. Is x(1) a prime number?
False
Let h(i) = i**3 + 12*i**2 - 2*i + 2. Let x be h(-12). Let d = 4 - x. Let u = 84 + d. Is u composite?
True
Let r = 10148 - 1745. Is r composite?
True
Let y(a) = 58*a**2 - a - 3. Let r(n) = -57*n**2 + n + 4. Let v(f) = 4*r(f) + 5*y(f). Is v(-2) a prime number?
True
Let m(j) = 101*j**2 - 4*j - 5. Suppose 25*v - 21*v + 8 = 0. Is m(v) prime?
False
Suppose 3*u - 8344 = -2*t, -4*t - 14*u + 16680 = -12*u. Is t prime?
False
Suppose 2*t + k = 12, -3*t + 2*k + 12 = -t. Let h = 0 - -4. Suppose 0 = -h*s + 78 + t. Is s composite?
True
Let p be (-11)/(-6) - (-4)/24. Let o be (-3)/p*4/6. Is -1 + 3 + (o - -10) a composite number?
False
Let b(z) = 3502*z + 27. Is b(2) prime?
False
Let l(j) = -j**2 - 4*j + 1. Let n be l(-3). Suppose -n*d + 2 = -3*d. Suppose -d*p = 3*z - 823, 0 = -5*z - 2*p - p + 1373. Is z composite?
False
Suppose 34626 = 4*j - 15*p + 13*p, 0 = 4*j - 3*p - 34625. Is j prime?
False
Suppose -r + 3 = n, 2*r = -3*n + 4 + 4. Suppose -4*f - 5*g - 14 = 3, -n*f - 2*g = 8. Is f*(254/(-6) - 0) prime?
True
Suppose -3*z - 4*p = -1242 - 1759, 0 = -4*z - 3*p + 3992. Let f = 0 - -4. Suppose -b = f*b - z. Is b a prime number?
True
Let g be 4/(-8)*(2 + -10). Suppose 0 = 2*p - r - 1471 + 389, g*p - 2152 = 5*r. Suppose 4*i - 183 = -2*t + 563, 4*t + p = 3*i. Is i a composite number?
True
Let w = 1365 + 339. Let m be 6/(2 + -5) - -9. Is (m/4)/(6/w) prime?
False
Let k = 6408 - 3415. Is k a prime number?
False
Let t = -1240 + 3619. Suppose 2*q - t = -f, -4*f = -q - 927 - 8553. Is f prime?
True
Suppose 2 = -72*o + 73*o. Suppose -4*p - o*p + 3138 = 0. Is p composite?
False
Is (-4593)/6*1*(9 - 11) a prime number?
True
Let b = -18 + 25. Suppose b*z - 1252 = 7113. Is z composite?
True
Let t be 402/15 - 3/(-15). Let k = t + -23. Is -39*(3 + k + -8) prime?
False
Let g(w) = w**2 + 3*w + 2. Let o be g(-3). Let a(c) = -c + 1. 