 prime?
False
Let r(t) = t**2 - 5*t + 1. Let n(k) = -49*k**2 - 8*k + 12. Let l(m) = -n(m) + 2*r(m). Suppose -3*i - i + 20 = 0. Is l(i) composite?
True
Suppose 5*p - 372023 = 2*s, 5*s + 59 = 89. Is p a composite number?
True
Suppose -183*t = 170*t - 368*t + 1371615. Is t composite?
True
Suppose 33*d + 17*d - 98481 = 33*d. Is d prime?
False
Let j = 69 - 65. Suppose -5*r + 25 = -4*b, -j*r + b - 6*b + 20 = 0. Suppose -r*k + 1543 = -m - m, 2*k - m = 618. Is k composite?
False
Let c(g) = 81*g**3 - 99*g**2 + 95*g - 21. Is c(14) composite?
True
Suppose s - 487 = 3*k, 0 = 5*s - k - 2143 - 334. Let x be ((-3)/6)/((-1)/s) - -3. Let n = 520 + x. Is n prime?
False
Let o(x) be the second derivative of -105*x**4/8 + 13*x**3/6 + 9*x**2/2 - 25*x. Let z(q) be the first derivative of o(q). Is z(-3) prime?
False
Is (82549/(-2))/(26/(-52)) a prime number?
True
Let a = 959 - -965. Let n(k) = -k**2 - 59*k - 582. Let r be n(-14). Suppose 44*d - r*d = -a. Is d a composite number?
True
Let s(r) = -r**2 - 13*r - 27. Let k be s(-6). Suppose -k*x = -3450 - 6585. Is x a composite number?
True
Let r be (-2)/(-5) + (-180)/(-50). Suppose -14 = r*z - 18. Is (2 + -3)/(z - (-528)/(-526)) a composite number?
False
Let j(a) = -171*a - 52. Let m(q) = 513*q + 155. Let p(c) = 8*j(c) + 3*m(c). Let f be p(13). Let l = 4446 - f. Is l a composite number?
True
Let i(p) be the second derivative of 41*p**4/6 + 5*p**3/3 + 17*p**2/2 - 8*p - 3. Is i(7) a composite number?
True
Let w(p) = -64 + 337*p - 354*p - 145 + 2081*p. Let o(h) = 413*h - 42. Let u(b) = -11*o(b) + 2*w(b). Is u(-5) prime?
False
Let h(c) = 4 + 4*c**2 - 4*c**2 + c**2 + 0*c + c**3 + 4*c. Let u be h(-1). Suppose -2*r = 5*m - 775, 1592 = 4*r - 4*m - u*m. Is r a composite number?
True
Let q(j) be the third derivative of j**6/120 - j**5/5 + j**4/2 - j**3 - 22*j**2. Let f be q(12). Suppose 6*i = f + 1164. Is i a composite number?
True
Let w = 272605 + 312174. Is w a composite number?
True
Suppose -t - 4*g + 3*g = 1750, -5*g + 3528 = -2*t. Let y = t - -2505. Is y a composite number?
False
Suppose -9*g + 403 + 245 = 0. Is (-3390)/(-6)*(-3 + g/20) composite?
True
Suppose -94*g + 52000 = -98*g. Let p = 23007 + g. Is p a prime number?
True
Suppose -5*s = r - 386910, -4*s + 188277 + 121267 = 4*r. Is s a composite number?
True
Suppose 76*w = 212*w - 2946032. Is w a composite number?
True
Let a = -25356 - -63857. Is a prime?
True
Suppose 0 = -100*v - 0*v + 33112700. Is v prime?
True
Suppose -2*v + 1841*t = 1838*t - 689926, 344963 = v - 5*t. Is v composite?
False
Suppose 11*i - 28 = -3*i. Suppose -i*j = -4*y + 25540, -2*y = -3*j - 8172 - 4598. Is y a composite number?
True
Suppose 8*i = -1712 - 1384. Suppose 3*y + 987 = -3*v - 2340, 4*v = -3*y - 4433. Let s = i - v. Is s composite?
False
Let f be -303*(-15)/9 + 3 + -3. Let v = f + -973. Let k = v - -1389. Is k a prime number?
False
Let z(r) be the first derivative of r**2/2 + 23*r - 15. Let n be z(-15). Let b(l) = -l**3 + 18*l**2 + 10*l - 11. Is b(n) composite?
False
Let g be (-5)/(-25) + (4 - 18/15). Suppose g*c - 2323 - 387 = -2*v, -1349 = -v - 3*c. Is v prime?
True
Suppose 2*m - 4 = -0. Suppose -7*i = -9*i. Suppose -2*z - 3*l + 1258 = i, 1258 = m*z - 0*l - l. Is z composite?
True
Suppose -16*n + 1374031 - 920859 = -4451484. Is n prime?
True
Suppose 6*g = 6 - 18. Let y = g + 11. Is (-1 + 1)*-1 + (304 - y) composite?
True
Suppose 46253*n + 11884063 = 46272*n. Is n prime?
True
Let o = 13240 - 9250. Let j be 4/(-2)*(-36302)/(-28). Let x = o + j. Is x a prime number?
False
Suppose 3*v = -3*o - 2*v - 59, 4*o + 4*v + 92 = 0. Is 0/o + (-4)/2 + 1716 a prime number?
False
Let m(w) = 271*w**2 + 34*w - 187. Is m(6) a composite number?
True
Suppose -2*m - 3*m + 2*h - 4 = 0, 5*h - 10 = -5*m. Suppose m = -3*l - 2*a + 7*a + 19059, 0 = 5*a. Is l prime?
True
Let n = 42 + -44. Let i be 24/(-15) - n/(-5) - -2. Suppose 168 = 2*a + 5*u, i = -4*a - u + 271 + 47. Is a prime?
True
Suppose 33 + 107 = 5*n. Suppose -n - 24 = -4*k. Suppose k*a - 1843 = 8154. Is a a prime number?
True
Suppose -53*t + 15586994 = 310221. Is t a prime number?
True
Let d = -441810 - -1234763. Is d prime?
False
Let w(r) = 7*r + 175. Let b be w(-24). Suppose 2*o + 4*d = b*o - 7187, 5*o = -2*d + 7199. Is o a prime number?
True
Let u = 27 + 19. Suppose -b + u = 3*z - 3*b, -b = 2. Let w(k) = 48*k + 22. Is w(z) a prime number?
False
Let w = -124 - -115. Is w + 2 - -13 - -409 a prime number?
False
Suppose -19*m = -5*m - 56. Let l(f) = 222*f + 13 - m + 227*f + 6. Is l(8) composite?
False
Let r be 41 + -42 + (-1)/((-1)/3). Suppose 6041 = r*n - 2841. Is n prime?
True
Let a = 15 - 11. Suppose -4*g + 2*i + 17 = -1, 0 = -a*g - i + 21. Suppose g*m = -2*o + 2232, -7 = -o - 6. Is m composite?
True
Let c(p) be the third derivative of 167*p**4/12 - 9*p**3/2 - 58*p**2. Is c(11) a composite number?
True
Let t be (-230)/6 + 2/(-3). Let z(h) = 6*h**2 - 20*h - 43. Is z(t) a composite number?
True
Let t = 8479 + -14797. Let y = 16325 + t. Is y a composite number?
False
Suppose z = -4*t + 27017, 3*z + 10*t - 15*t - 81136 = 0. Is z prime?
False
Let z = 692 + -377. Suppose 4*g - 1302 = 5*d, 0*d = -g - 4*d + z. Suppose -g - 187 = -6*o. Is o prime?
False
Suppose 4*u - 25136 = -4*v, -23*v = -3*u - 18*v + 18876. Is u a prime number?
True
Let r = 30220 - -4519. Is r composite?
False
Let q = 861252 - 489485. Is q a composite number?
True
Suppose 5*q + 29007 = 3*v, 3*q = v - 3*v - 17389. Let i = 15244 + q. Is i a prime number?
False
Suppose 14*v + 2425159 - 16283326 = -55*v. Is v composite?
False
Let w = -12 + 39. Let u be (3*(-3)/w)/(2/24). Is 42/56 + (-3009)/u a composite number?
True
Suppose -42104 = -q - 29880 + 63689. Is q a composite number?
False
Suppose 9*q - 6*q - 54 = 0. Let u(p) = -10 + p + 56*p - q + 2*p. Is u(6) composite?
True
Let z(h) = -2*h**3 + 113*h**2 + 3*h + 215. Is z(-57) a composite number?
False
Suppose p = 3*p - 3*q - 154408, 4*q + 308804 = 4*p. Is p composite?
True
Let k = -493 + 494. Is (-62 + 73)*k*257 composite?
True
Let v(p) = -p**3 + 40*p**2 + 128*p + 49. Let a be v(43). Let o(r) = 2*r**3 - r**2 + 8*r + 3. Is o(a) a composite number?
True
Let l = 2357 - 1351. Suppose r - 1000 = 7*i - 6*i, -r - i + l = 0. Is r prime?
False
Is (-3)/2*(-2)/(-12) - 3067353289/(-3124) prime?
False
Let t be (-9)/(-1) - (-90)/(-18). Suppose 4*i - 48196 = -t*w, -i + 60237 = -7*w + 12*w. Is w composite?
True
Let z = 9466 + -5685. Suppose 4*g - 55 = z. Suppose -4*v + g + 544 = 5*w, -2*w + 604 = 3*v. Is w a prime number?
False
Suppose 2*a = a + 3*a. Suppose -5*p + 10204 = -4*i, 5*p - i - 4550 - 5666 = a. Suppose -3*s + p = -1733. Is s a prime number?
True
Let h(y) = -y**2 + 18*y + 251. Suppose p = 5*p - 2*p. Is h(p) a prime number?
True
Suppose 2027 = -13*s - 38962. Let g = s - -5630. Is g composite?
False
Let p be 974 - ((-6)/(-15) + 14/(-10)). Suppose -p = 4*u - 2899. Suppose 0 = -2*t + 337 + u. Is t composite?
False
Is -1*3/(-13 - 5)*3744282 a composite number?
False
Let n be (35*2)/((-20)/(-20)). Suppose -t + 3944 = -v, 2*t + 67*v = n*v + 7889. Is t a composite number?
False
Let q(m) = 526*m + 3*m**3 - 508*m + m**2 + m**3 - 3*m**2 - 5. Is q(5) composite?
True
Let c(d) = -3*d**3 + 3*d**2 - 2*d + 1. Let h be c(1). Let t be (0 - h)*1*3. Suppose -t*j + 1265 = -133. Is j a prime number?
False
Let u be 2/9 - ((-400)/(-90))/2. Let t(c) = -175*c**3 + 3*c**2 + 4*c - 2. Is t(u) a prime number?
False
Suppose -8*h - 3823 = -12*h + 5*o, 4*o - 4789 = -5*h. Let w = h - 631. Is w prime?
False
Let p(a) = a**3 - 5*a**2 + 8*a - 4. Let u be p(3). Suppose -u*n - 798 + 7180 = 0. Is n prime?
True
Let n be 61995/6*(-1 - -3). Suppose 39*i - 34*i = n. Is i a prime number?
True
Suppose -1196 = -4*n + 4*u, -4*n - 3*u + 1171 = -2*u. Let b = -133 + n. Is b composite?
True
Let r(k) be the first derivative of k**4/4 + 3*k**3 + k**2 - 18*k + 2. Let t be r(-8). Let m = -16 + t. Is m composite?
True
Let n(w) = -w - 9*w + 5 - 7*w**3 - 4*w**2 + 8*w**3. Let x be n(6). Let a(z) = 31*z - 42. Is a(x) a composite number?
True
Suppose -j + 4*f = -2*j + 3320, -4*j - 2*f = -13210. Let d = 13 + j. Is d a composite number?
False
Suppose 21*k - 29*k = 32. Let r(d) = 943*d**2 + 4*d + 29. Is r(k) a prime number?
True
Let a(x) = -3*x + 143. Let o be a(41). Suppose -o*t = -9*t - 163999. Is t composite?
True
Let 