 - -6) + -13)/(2/716). Let z = u + j. Is z composite?
True
Let k(w) be the first derivative of 107*w**4/12 - w**3/2 - w**2 + 4. Let x(y) be the second derivative of k(y). Is x(4) a composite number?
False
Let q be 13 - (-2 - ((-24)/(-2))/(-3)). Suppose -38908 = -q*y + 16741. Is y prime?
True
Suppose 3 + 9 = 4*u. Suppose u*v - 19393 = 10940. Is v composite?
False
Let u = 4243 - -15939. Is u a prime number?
False
Let a be (-126)/(-441) + (5717/7 - 0). Suppose -8*f = -h - 12*f + 797, -h + f + a = 0. Is h a composite number?
True
Let s be 2*-1*(-9)/6. Let b = s - -12. Is 39 + 12/b*10/(-4) composite?
False
Suppose 15*m = 13*m + 3326. Suppose 0 = 9*k + m - 4408. Suppose 110 = 5*i - k. Is i a composite number?
False
Let u(m) = 7*m**2 + 7. Let t be u(5). Suppose -2*w + 4*f = 8*f - t, 0 = 5*w - 2*f - 503. Suppose 7*d = 5*p + 8*d - w, 4*p + d = 80. Is p composite?
False
Suppose 29*v = 26*v - 9. Is v/15 + 499092/60 prime?
False
Suppose -21*t + 65495037 = 4916526. Is t a composite number?
False
Let k(v) = -10*v**3 - 9*v**2 - 2*v - 64. Suppose 4*y - 32 = 2*u - 10, 0 = 5*y - 10. Is k(u) a prime number?
True
Let f = -43 - -1070. Let v = -406 - -1034. Let h = v + f. Is h a prime number?
False
Suppose 16*d - 17 - 79 = 0. Suppose -s = -d*s + 11965. Is s prime?
True
Let z be (2 - -1)*42/18. Suppose -2*t - 2*j = -z*t + 2369, -j + 944 = 2*t. Suppose 5*r - 1722 - t = 0. Is r a composite number?
False
Let h(o) = 2497*o**2 - 157*o + 819. Is h(5) prime?
True
Suppose 8*p - 46 = 31*p. Is -879*((-1)/3)/(-1 - p) a composite number?
False
Let o be (6/(-33))/((-3)/33). Is ((-15118)/2 + -4)*(1 - o) a composite number?
True
Is -43 - -361612 - (-5 + -3) a composite number?
False
Is (879/3)/(57/29697) composite?
True
Let f(o) = o**3 + 7*o**2 - 2*o - 9. Let r be f(-7). Suppose -r - 10 = -u. Is 13/2*109 + u/30 a prime number?
True
Suppose -17636 = 13*g + 3593. Suppose s - 24 = -956. Let r = s - g. Is r prime?
True
Suppose -3*b + 10*b - 35 = 0. Suppose 0 = 3*v + g - 32241, 9*g - 13*g = b*v - 53735. Is v a prime number?
False
Let b = -1803 - 1444. Let q = b + 6720. Suppose -3*h - q = -2*f - 4*h, 5*f - 8672 = h. Is f composite?
True
Let h(u) = 15*u**3 - 12*u**2 + 26*u - 24. Let c(o) = -o**3 - 8*o**2 + 17*o - 17. Let y be c(-10). Is h(y) a composite number?
True
Let y(s) = 5 - 2 + 16*s - 394*s - 10. Is y(-18) a composite number?
True
Is 2875102*-6*5/(-240) - 12/16 a composite number?
True
Let c be (-8)/36 + (-29)/(-9). Suppose 0 = -781*a + 768*a. Suppose a = -s + 4*w + 1331, -7*s = -c*s - 5*w - 5280. Is s composite?
True
Let t be 4/(-14) + (-373245)/105. Let j = t + 6352. Let v = j - 1104. Is v a prime number?
True
Suppose 5*p + 0*p + 48 = 4*z, -4*p = 5*z - 60. Suppose 8980 = 17*f - z*f. Suppose 4*q + 1360 = 5*b - 885, -4*b + f = -2*q. Is b composite?
False
Let h be (-4)/6 + ((-651665)/(-3))/7. Suppose 12*b = -b + h. Suppose 6*i = b + 1651. Is i a composite number?
False
Let m(w) = -w**2 - 14*w - 11. Suppose 7*l = 3*l - 52. Let b be m(l). Is b - 5/((-20)/4596) a prime number?
True
Suppose 5*r - 8 = -3*i, -3*r + 4*i = i - 24. Suppose -5*o = -5*l + 35, -4*l + 5*o = r*o - 13. Is ((-5)/l)/((-3)/534) a composite number?
True
Suppose -3*b - 16210 - 5 = -f, 5*f - b = 81145. Suppose 208*k - 214*k = -f. Is k a prime number?
False
Suppose 1529414 - 10071 = 13*i - 1420854. Is i a composite number?
False
Suppose 3*v = -5*w + 1215482, -3*v = -2*w - 0*w - 1215454. Is v a composite number?
True
Let q(j) = 31590*j**2 + 13*j - 38. Is q(3) composite?
False
Let q(w) = 4497*w + 368. Let g(c) = 1499*c + 123. Let u(a) = -11*g(a) + 4*q(a). Is u(10) composite?
True
Let p be (-13 + -1)/((-4)/(-72)*-3). Let n be 24/p + (-1018)/(-14). Suppose 76*g - n*g = 5163. Is g a prime number?
True
Suppose 11*p = -4*p + 45. Suppose -5*b - 1209 = -w, p*b - 1353 - 2310 = -3*w. Is w prime?
False
Let n(h) = 102866*h + 157. Is n(3) prime?
False
Suppose 30575 = -b + 90009. Is b prime?
False
Let v = -4273 - -6804. Is v a prime number?
True
Suppose -3816528 = -103*h + 7651183. Is h prime?
True
Let a(u) be the first derivative of u**4 + 2*u**3 - u**2/2 + 11*u - 46. Let h be a(6). Suppose -4*k + 8 = 0, 0 = r - 4*k - h - 58. Is r prime?
True
Let y(v) = 29*v**2 + 62*v - 21. Let n be y(12). Suppose 5*m + 3*q - 939 - n = 0, -m = q - 1168. Is m prime?
False
Let p(l) = 13*l + 8 - 8*l + 5*l. Let i be p(4). Is 7715*(i/15 + -3) composite?
False
Let i be 1*0*(-5)/10. Suppose -o - 5*o + 24 = i. Suppose -o*w = 2*w - 186. Is w composite?
False
Let u(f) = -179*f**3 - 4*f - 2. Suppose 0 = -3*n - 4*i - 21, 2*n + 2*n + 24 = -4*i. Is u(n) composite?
True
Let j be 103*(-1)/2*-1556. Is j/10 - (3 + 26/(-10)) composite?
True
Suppose -t + 3 = -0. Suppose t*i - 2*y = -3*y + 7, -i - 11 = 3*y. Suppose -18 - 122 = -i*u. Is u a composite number?
True
Let z be 1 + (2/(-3))/((-3)/(-630)). Let o = 493 - z. Suppose 4*r - 1293 = -s, s - 338 = -3*r + o. Is r a composite number?
True
Let j be (-1 - 778)/((-12)/36). Let t = 10648 - j. Is t prime?
True
Is (142/(-142))/((3/648953)/(-3)) a prime number?
True
Let w be (-4)/22 - (-10)/(-440)*-668. Let y(x) = 7*x**2 - 10*x + 82. Is y(w) a prime number?
False
Let y = 25 - 20. Suppose -y*i + 2*d = -9001 - 2036, -i + 2*d + 2209 = 0. Is i a prime number?
True
Let c(j) = -34 + 8 - 28*j - 5 - 4*j. Let f be c(-5). Suppose 48 = 3*b - f. Is b composite?
False
Let w(p) = -63*p - 6. Suppose v - 7 = 2*s - 5*s, 0 = -2*s - 5*v + 9. Suppose 5*d + 75 = -r - r, -s*d - 30 = -5*r. Is w(d) prime?
False
Suppose 386 = 2*n - 4*q, 0*q = -3*n - q + 600. Suppose -n - 559 = 2*k. Let r = k - -726. Is r composite?
False
Let q(g) = g**2 - 54*g + 442. Let u be q(10). Suppose 2*y - 362 = x, 0*x + 3*x = -3*y - 1059. Is u/4*(0 - x) prime?
False
Let p = 567746 - -372021. Is p composite?
False
Let q(f) = 19*f**3 - 7*f**2 - 9*f + 5. Let k be q(-6). Let m = -2406 - k. Suppose -z - z - 3*a = -m, 3*a = 5*z - 4696. Is z a prime number?
True
Let x = 168076 + 270039. Is x a prime number?
False
Let m(i) = 1 + 11 + 8 - 5 + 19*i. Let u be m(9). Suppose -4*w + 1598 = u. Is w composite?
False
Let j be (42/(-6) + 657)/1. Let q = j + -357. Is q prime?
True
Let d = 81 - 1658. Let k = d + 135. Let f = k - -2155. Is f composite?
True
Is (159/265)/(6/2467930) a prime number?
True
Let f be (8040 + 24)*(-6)/7. Let q = 14269 + f. Is q a prime number?
False
Suppose -16*h + 2829167 = 1556557 - 7224526. Is h prime?
True
Let l = 107878 + 226815. Is l a composite number?
False
Let u(g) = -334*g + 37. Let a be u(-18). Let i = a - 2490. Is i prime?
True
Suppose -5*j = 3*b - 2463, -8 = -b + 3*b. Suppose 112 = 16*u + 2384. Let d = u + j. Is d composite?
False
Suppose -h - 33950 = -5*n, -3*n + 0*h = 2*h - 20357. Let d = n + -4726. Is d a composite number?
False
Let p = 58857 + -31314. Is p a composite number?
True
Let f be ((-5)/5)/((-3)/8499). Let k = -1245 + f. Let l = -773 + k. Is l composite?
True
Let p be 2/3*(90/(-4))/(-5). Suppose -196 = 4*d - k - p*k, 98 = -2*d + 5*k. Let q = d - -95. Is q composite?
True
Let q(m) = m**3 - 35*m**2 + 66*m + 3. Let a be q(33). Suppose 6*s - 31260 = -4*x + 2*s, -a*s - 23457 = -3*x. Is x a composite number?
False
Let t be (80/35)/2 + 4/(-28). Is 134*-2*(t - 120/32) composite?
True
Let u(m) = m**3 + 2*m**2 - 10*m - 6. Let w(f) = -2*f**3 - 3*f**2 + 19*f + 11. Let s(g) = -5*u(g) - 3*w(g). Is s(8) a composite number?
False
Let q = 158 + -364. Is (q/6)/(102/(-31518)) prime?
False
Suppose -15*p = -42096 - 9834. Suppose 14*q - 21200 = -p. Is q a prime number?
False
Let f(m) = 4*m**3 - 4*m**2 - 5*m - 4. Let b(u) = -u**2. Let v(s) = 4*b(s) - f(s). Let n be -2 + -12 - (-26 + 17). Is v(n) prime?
True
Let u = 66240 + 2665. Is u a composite number?
True
Let z = -387960 + 1030363. Is z prime?
True
Let x = 6031 + 6292. Is x a prime number?
True
Let q(l) = -4 - 4 + 595*l + 188*l. Suppose 5 = -5*t + 30. Is q(t) a prime number?
True
Suppose -15*g + g = 616. Is 744336/132 + (-4)/g a composite number?
False
Let c = 104108 - -61179. Is c composite?
False
Let h be (-120)/25*(-75)/6. Suppose h*k + 28760 = 68*k. Is k prime?
False
Suppose 192*q - 204*q = -353676. Is q a prime number?
True
Let l = -209 + 214. Suppose -5*r - 1336 = -3*a - 19994, 18650 = l*r - 5*a. Is r a prime number?
False
Suppose 83*l = 3803681 + 14015921. Is l composite?
True
Suppose -2*r - 2*r + 2*c = 