o, o - 24134 = -5*d - 6706. Let p = 6733 - d. Is p composite?
True
Let d(x) = 53*x**3 + 23*x**2 - 10*x + 327. Is d(25) composite?
True
Suppose -9281 = -r + 166428. Is r a prime number?
True
Let p(t) = 2*t + 18. Let v be p(-9). Suppose v = 7*j - 35 - 0. Suppose -72 = -j*i - n, -2*i + 6*i = -2*n + 54. Is i prime?
False
Let r(z) = 6*z + 106*z**3 - 7*z + 112 - 83 + 7*z. Is r(7) prime?
False
Let m = -16 - -20. Let c be ((-2)/m)/(-3 + 75/24). Let a(p) = -226*p - 6. Is a(c) a prime number?
False
Let c(s) = s. Let f(h) = 4*h**2 - 39*h + 2. Let x(y) = 4*c(y) + f(y). Is x(19) a composite number?
True
Let v(z) = 0 + 6 - 17 + 175*z - 11. Let j be 3/6*-3*10/(-3). Is v(j) prime?
True
Is 914924/4*(-10 - -12)/((-2)/(-1)) prime?
True
Suppose -4*w = -0*w - 7*w + 998547. Is w a prime number?
False
Suppose -z + 146376 = 158*m - 159*m, z = -5*m + 146388. Is z a prime number?
False
Suppose 0 = 4*v + 156 - 8. Let r(q) = q**3 + 36*q**2 - 50*q + 40. Is r(v) a composite number?
False
Let k be (-305 - 1)*(-27)/(-54). Let t = 172 + k. Is t composite?
False
Let v(j) = -42416*j - 2361. Is v(-8) prime?
False
Let q = 616 + -664. Let d(c) = 435*c - 2. Let z be d(-3). Let a = q - z. Is a a prime number?
True
Suppose -4*r = r - 300. Let s(p) = p**2 - 7*p - 738. Let d be s(-25). Suppose r*a - d*a = -6054. Is a a composite number?
True
Let r = 14327 + 26250. Is r prime?
True
Suppose 7*k = k - 226314. Is (1 + k)/(5 + -7) a prime number?
True
Let l(f) = f**2 - 10*f + 79. Let x be l(18). Let s(b) = -b**3 - 3*b**2 + 2*b - 2. Let r be s(-5). Suppose 3*m = r + x. Is m a prime number?
False
Suppose -15*t = -180 - 180. Is -2722*2*(-6)/t composite?
False
Let i be (-5 + -6 + -59)/(-2). Suppose i*t = 23*t + 1740. Is t composite?
True
Let r be (-1)/((-1)/(7 - 4)). Suppose -3*p + 26 = -4*y, 2*p - r*y - 16 = -y. Suppose -3*u - 3231 = -p*u. Is u composite?
True
Let g(q) = q**3 - 7*q**2 - 2*q + 17. Let w be g(7). Suppose 15203 = w*p - p + 3*u, 2*u = 5*p - 38036. Is p a prime number?
False
Is (21 - 0 - 23)*(-261831)/2 a composite number?
True
Let b(m) = -58338*m + 827. Is b(-5) prime?
True
Let m be (-9)/6*(-56)/7. Let n(q) = q**3 - 7*q**2 - 27*q + 2. Let r be n(m). Let x = 275 + r. Is x a composite number?
False
Suppose -4*j - 15 = 1, k - 5*j - 38859 = 0. Is k a prime number?
True
Suppose 0 = -21*y - 46 + 151. Suppose y*v - 32103 = -2*d, -4*d - 40 + 36 = 0. Is v prime?
True
Let j = -66 + 194. Let y = -15 + j. Is y composite?
False
Suppose -5*t + 4*k + 275973 = 0, -6*t - 275987 = -11*t + 11*k. Is t composite?
True
Suppose a + 4 = 2*p, 9*a + 5*p - 16 = 10*a. Suppose -c - 6125 = -2*z - 29060, -a*z + 114647 = 5*c. Is c composite?
True
Let y(s) = -1776*s - 457. Is y(-9) prime?
True
Suppose -8*i + 12*i - 14349 = -3*u, 5*u + 2*i - 23915 = 0. Is u composite?
False
Let n be (-2)/(-6 + (-96)/(-18)). Suppose 5*m - 20399 = n*a - 2223, 10920 = 3*m + 3*a. Is m a composite number?
False
Let t be 4/6 + 2972/6. Suppose 193 = -g - 44*o + 48*o, -5*g - 873 = 3*o. Let b = g + t. Is b a prime number?
False
Suppose 105 = -4*f - h - 15, 5*h = 20. Let a(y) = 5*y**2 + 42*y - 114. Is a(f) a composite number?
False
Suppose 41*w + 6182893 = 112*w. Is w a prime number?
True
Let i = -130 - -163. Suppose 16551 = -6*j + i*j. Is j composite?
False
Suppose -3*k - 3*c + 387 = 66, 2*k - 3*c - 204 = 0. Suppose -k*p + 111*p = 14346. Is p a composite number?
True
Let k(j) = 68*j**2 + 20*j - 159. Let i be k(13). Suppose 3*l - 9235 - 2364 = -2*z, -z - i = -3*l. Is l a prime number?
False
Let h(u) = 25242*u**2 - 14*u - 27. Is h(-4) prime?
True
Suppose 6*p = 14117 - 51245. Let o = 327 - p. Is o prime?
False
Suppose -272*b + 274*b = 2516. Suppose 2*t - 2*q = -0*q + b, t - 641 = -2*q. Is t prime?
False
Let z be 4/(-8) - (3 - 175/14). Suppose -6*p - 27267 = -z*p. Is p a prime number?
False
Let s = -38 + 42. Let m be (4/3)/(3/(13 - s)). Suppose -m*p + 2*t = -5310, 5306 = 4*p + t + t. Is p composite?
False
Let f(q) be the second derivative of 101*q**6/180 + 7*q**5/40 + 7*q**4/6 - 5*q. Let s(z) be the third derivative of f(z). Is s(4) prime?
True
Suppose 3349 = -3*g - 2*d + 23560, -g = 5*d - 6724. Is g a composite number?
True
Is ((-16)/48)/(7/(-1385601)) composite?
False
Let a be (0 - 4)*42/(-28). Let m be (-189)/a*(-40)/12. Is 4 + 2 + -2 + m a prime number?
True
Let q(g) = 12*g**2 + g + 37. Let l be q(-7). Suppose -l = -10*w + 12992. Is w a composite number?
False
Let h = -136 - -145. Suppose h*o - 11713 = -8*o. Is o composite?
True
Suppose 3*y = -d - 37, -5*y + 279 - 63 = -4*d. Let j = -44 - d. Suppose -4*c + j*v = -997, -c + 202 + 54 = v. Is c prime?
False
Suppose -8 = -5*p + p. Let c(k) = 27*k - 8. Let r be c(p). Suppose -2*l = -r - 252. Is l composite?
False
Let p(m) = 1437*m**2 - 9*m + 47. Is p(5) a composite number?
True
Suppose 2*g - 4 = v, -2*g + 0*v = -3*v + 4. Suppose -g*q + 2351 = q + 2*y, -953 = -2*q - 5*y. Is q composite?
True
Let i(z) be the second derivative of 463*z**3/6 + 74*z**2 - 90*z. Is i(10) prime?
False
Let c be (-1 - 2)*(-4 + 2). Suppose c - 9 = -b. Suppose -3*s + 193 = b*i - 5*s, 0 = s - 1. Is i composite?
True
Is (4/(-16))/(23/(-1642936)) a prime number?
False
Let c = -42 + 41. Let b be (18/63)/(c/(-28)). Suppose 0 = -b*m - 0*m + 5192. Is m composite?
True
Suppose 14892 = 4*d - 972. Suppose 0 = -3*z + z + x + 2637, -d = -3*z + 5*x. Is z composite?
True
Let m(y) = -2*y**2 - 22*y - 12. Let a be m(-11). Let s be (134/2)/(a - -13). Suppose 0 = -5*w + 258 + s. Is w composite?
True
Let v(w) = -129*w**3 - 19*w**2 + 15*w + 53. Let t(x) = 64*x**3 + 10*x**2 - 8*x - 27. Let y(m) = -5*t(m) - 3*v(m). Is y(5) a composite number?
False
Let f(s) = 953*s + 8782. Is f(33) prime?
True
Suppose 3163 = 2*z - 5*a, 3*z + 6*a - 4682 = a. Let y = 7186 - z. Is y composite?
True
Let d = 33023 + -17256. Is d composite?
False
Let l = 324 - 295. Let h(c) = 2*c**2 - 17*c - 107. Is h(l) a composite number?
True
Let h(f) = 3*f - 11*f - 8*f - 7*f + 4195 + 3526. Is h(0) prime?
False
Suppose 14*s + 23481210 = 58*s - 14*s. Is s prime?
True
Let o(y) = -14*y**3 + 14*y**2 - 18*y - 237. Is o(-13) composite?
True
Let p be (-28)/4*-10*2. Suppose p*m + 26428 = 144*m. Is m prime?
True
Suppose 0 = -u + 5*u + 20. Let z(h) = -h**3 - 4*h**2 + 4*h - 5. Let q be z(u). Suppose -n + 30 + 3 = q. Is n prime?
False
Let a be 4/4 + 0 - -747. Let b = a - 485. Is b prime?
True
Suppose -6*v + 8 + 10 = 0. Suppose -5*d + 4*d = v*z - 306, 5*z + d = 510. Suppose 0 = -2*o + 424 + z. Is o composite?
False
Is 4 - (2185498 - 10)/(-16) a prime number?
False
Is (-90)/9 + (-294475)/(-5) prime?
False
Suppose -3*z - p = 3*p - 3537, 2*p = 6. Let q = -10 + z. Suppose q + 1152 = 7*h. Is h a prime number?
True
Suppose -2*y + 7058010 + 1036907 = d, 12142353 = 3*y + 4*d. Is y prime?
False
Let a be (-249)/12 - (-3 - (-27)/12). Let j be 1*-681*a/6. Let w = -1197 + j. Is w a prime number?
False
Is (((-12)/2)/12)/(((-15)/(-161166))/(-5)) prime?
True
Let u = -51210 - -107344. Let v = u + -38121. Is v composite?
False
Let l = 140 + -140. Suppose l = 2*n - 2*b - 34088 - 6478, -2*n - b = -40554. Is n prime?
False
Let g(y) = 5*y**3 - 2*y**2 - 5*y + 3. Let n be g(10). Suppose -w = -414 - n. Is w a composite number?
False
Suppose 5*i = 5, -2*i - 230784 - 257833 = -9*a. Is a a composite number?
True
Let i = 34711 - 1880. Is i a composite number?
False
Let k(x) = -39*x**3 - 4*x**2 + 11*x + 2. Let z be k(-6). Let a = -7605 - -1848. Let d = z + a. Is d a composite number?
False
Let a be (-22)/110 + ((-168)/(-10))/4. Let g be (-2)/4*6/(-1). Suppose 1506 = 3*r + g*z, r + 1507 = a*r + 2*z. Is r a composite number?
False
Let p be 0 - (-20)/15 - (-366546)/18. Suppose 2*b + 7*i = 4*i + p, i - 20363 = -2*b. Is b a prime number?
True
Let p be (2/(-4)*1)/((-3)/24). Suppose p*s + 2*a = 24, 5*s - a = 4*a. Let g(t) = 15*t**3 + t**2 + 6*t + 9. Is g(s) a composite number?
False
Let s(k) be the first derivative of -k**4/4 + 4*k**3/3 + 3*k**2/2 + 10*k - 7. Let r be s(5). Suppose r = -4*g + 12, c - 176 = 3*g + 2*g. Is c composite?
False
Let w(c) = -c**3 + 14*c**2 + c - 20. Let q be w(14). Let v be -10*q/4*2/6. Suppose -3*x + 13231 = -v*z, -2*x - 2*z + 8850 = 2*z. Is x a composite number?
True
Let j = 17 + -15. Suppose 4 = -3*k - 0*k + j*c, k - 2*c + 8 = 0. Suppose k*x = x + 1829. Is x a prime number?
False
Suppose -159*o + 