se 0 = -14*k + 20*k - 38412. Is 2 + (-5)/y*k a composite number?
False
Suppose -2*b + 170716 = 2*j, 242666 + 184130 = 5*b + 3*j. Is b prime?
True
Let x(b) be the first derivative of 175*b**2/2 + 30*b - 92. Is x(13) prime?
False
Is 22604726/1096 - 18/(-8) composite?
False
Suppose 3*t - 9 = 0, 4*s - 24814 = 2*s + 4*t. Suppose 0 = 5*f + 2*m - s, -3*f + m + 3*m + 7453 = 0. Is f a prime number?
False
Let l = 16 + -12. Suppose -l*i + 10 = 26. Let s(d) = 43*d**2 - d - 1. Is s(i) a prime number?
True
Suppose 3*z - 15 = -0*z. Suppose 0 = -z*i + k + 24832, -4*i = -7*k + 4*k - 19859. Is i prime?
True
Let b(x) = -62*x**3 - 10*x**2 - 9*x + 24. Is b(-7) a composite number?
True
Let k = 4165272 + -2217163. Is k a composite number?
False
Let r(w) = -42*w + 9. Let k(h) = -21*h + 5. Let l(m) = -7*k(m) + 3*r(m). Let x = 25 - 10. Is l(x) prime?
True
Suppose 5*b - x + 3 = 0, -4*x = -3*b - 0*x + 5. Let d be b*1 + 5 + -4. Let g(t) = t**3 + 2*t**2 - t + 177. Is g(d) a composite number?
True
Let d = -104 - -107. Suppose -2*u = -12 + 2, 0 = -d*k - 2*u + 10231. Is k a composite number?
False
Suppose 270669 = 8*k + 13*k. Is k prime?
True
Is (659006025/45)/71 - (-8)/6 a prime number?
True
Suppose -371*c = -461*c + 41060070. Is c composite?
False
Let a(t) = 233*t**2 + 46*t - 21. Is a(8) composite?
False
Suppose -4*f - f - 16 = w, -2*f = 2*w + 8. Let s be (14/f)/7*-6. Suppose a = -m + 2*m - 213, -s*a = 5*m - 1029. Is m prime?
False
Let j = 15 - 15. Suppose -16422 = -2*w + s, -w - 3*w - 2*s + 32828 = j. Is w prime?
True
Suppose 0*i - i = -7*i. Suppose 4*d + 5*d - 174969 = i. Is d a prime number?
True
Is (-57009)/(-4) - (-13)/(-104)*-6 a composite number?
True
Let h be -4*(189/(-132) + 6/33). Let s(l) = 389*l + 27. Let t(p) = 194*p + 13. Let c(w) = h*t(w) - 2*s(w). Is c(3) a composite number?
False
Suppose -t = 3 - 6. Suppose t*v = -f - 2*v + 251, 5*v = 5*f - 1135. Suppose 0 = -3*h - 4 + 16, 0 = q + 5*h - f. Is q a composite number?
False
Let g(d) = 3*d**3 + d**2 - 6*d + 4. Let s be 2/5 + 126/35. Let q be g(s). Suppose -3*j = 3*l - 203 - 88, -2*j + q = -l. Is j composite?
True
Suppose -5*y - 33250 = 58055. Let x be (-1)/2 - y/18. Let p = 1687 - x. Is p a composite number?
False
Let w(d) = -68*d - 5779. Is w(-168) a prime number?
False
Let p = 1961 + -1966. Let k(u) = u + 7 + 3 + 111*u**2 - 3. Is k(p) prime?
True
Suppose -91*x + 2271266 + 341185 = 75098. Is x a prime number?
True
Suppose 8*l + 29 = -227. Is ((-5240)/16)/(40/l) prime?
False
Is (30/4)/(819/4973514) prime?
False
Let i(f) = -1894*f + 19. Let t(q) = q**2 - 27*q + 58. Let o be t(24). Let n be i(o). Suppose -3*k - 2*k + n = 5*v, v - 5323 = 3*k. Is v composite?
True
Let v(m) = 46*m + 155137. Is v(0) composite?
False
Suppose 932416 + 375635 = 48*q + 388707. Is q a prime number?
False
Let x = -13848 - -25147. Is x composite?
False
Let r(s) = s**2 - 31*s + 2. Let h be r(31). Suppose -h*j = 2*o - 29982, -o = j + 4*o - 14975. Is j a composite number?
True
Let s(a) = 30381*a**3 - 5*a**2 + 20*a - 21. Is s(2) a prime number?
False
Let p(t) be the second derivative of -t**8/1120 + t**7/1260 - t**6/360 + t**5/24 - 3*t**4/4 + 18*t. Let r(y) be the third derivative of p(y). Is r(-3) prime?
True
Is (40491105/2175)/((-1)/10*-2) composite?
False
Let f = 215 + -989. Let c = f - -1255. Is c a prime number?
False
Suppose -948 = 3*n + 14184. Let d = -2025 - n. Is d composite?
False
Suppose m = -d - 3*m + 7, 2*m = 2. Suppose -5*w - 11 + 1 = 0, -d*w = -2*y + 12. Suppose -5*t - 843 = -5*z + y*z, 0 = -z + t + 420. Is z prime?
True
Let a(w) = -7 + 80*w**2 + 10 + 0*w - 3*w. Let k be a(-3). Suppose 553 = 5*i - k. Is i composite?
False
Let x(m) = 26822*m - 8957. Is x(30) composite?
False
Is (-227 + 109)*(-719)/2 prime?
False
Let h(n) = 67*n**3 - 38*n**2 - 111*n + 141. Is h(19) a composite number?
False
Suppose 0 = 2*c - 4*k + 2*k - 416946, -4*c - 5*k = -833856. Is c a composite number?
False
Let h(u) = 2*u**2 - 18*u - 71. Suppose -21 = -17*v + 18*v. Is h(v) composite?
True
Let q be (66/15)/((-1)/25). Let v be (-26006)/11 + (-20)/q. Let b = v + 4277. Is b prime?
True
Let q = 842149 - -167748. Is q a prime number?
False
Let v(a) = -25*a**2 - 3*a + 2. Let k(d) be the second derivative of 17*d**4/4 + 5*d**3/6 - 5*d**2/2 + 5*d. Let b(i) = 3*k(i) + 5*v(i). Is b(-6) prime?
False
Suppose 10 = 28*i - 29*i. Is ((-8)/(-12))/(i/(-23835)) prime?
False
Suppose 168*u - 176*u + 89224 = 0. Is u composite?
True
Let o = -248882 + 1022583. Is o prime?
False
Let h(c) be the third derivative of 23*c**5/30 - 37*c**4/24 - c**3/6 - 3*c**2 + 2. Let k(f) be the first derivative of h(f). Is k(19) a prime number?
False
Let m(f) = -317*f**3 - 4*f**2 - 7*f - 19. Is m(-6) a prime number?
True
Suppose -19*j + 584425 = -1093066. Is j composite?
False
Let n(m) = -m**2 + 9*m - 8. Let l be n(7). Let u be (-1 + 1)/(l - 5) + 2. Suppose 82 = -u*o + 2*i + 252, 5*i = o - 85. Is o a composite number?
True
Let h be (-208440)/84 + 8 - 6/(-14). Let v = -626 - h. Is v composite?
False
Let t = -3456 + 3796. Suppose -3063 = -u - 2*u. Let r = u - t. Is r a prime number?
False
Let k(g) = -8*g - 43*g - g**3 + 35*g**2 - 46 + 0*g**3. Is k(23) a composite number?
True
Suppose -641911 = -3*d + 12*u - 16*u, 4*d = 5*u + 855902. Is d prime?
True
Is (-135)/162 - 7019270/(-60) a composite number?
True
Let j(a) be the second derivative of 7*a**4/6 - 5*a**3/6 - 17*a**2/2 - 38*a. Is j(-6) a prime number?
False
Suppose -3*i + 21 = -2*g, -9 = -4*i + 5*g + 12. Suppose 3*w = 6*w + i, -2*w = 3*y - 13407. Is y composite?
True
Let r(i) = 11*i**2 - 8*i + 9. Let x be r(4). Let p be ((-68)/x)/(2/(-9)). Suppose 2*h + 4 = 0, -61 = -m + p*h + 106. Is m composite?
False
Let b(c) = -3*c**3 + 4*c**2 + c - 1. Let y(l) = 3*l + 16. Let h(s) = -s - 4. Let m(f) = -18*h(f) - 4*y(f). Let j be m(-2). Is b(j) composite?
False
Let l = -103 + 102. Let r be ((l - -3) + -2)/(-2 - 0). Let o(d) = -8*d + 71. Is o(r) a prime number?
True
Let b(o) = -2424*o + 223. Is b(-5) prime?
True
Suppose 61 = 3*w + 607. Let y = 14 - w. Let p = y + 699. Is p composite?
True
Suppose 8887 + 12393 = 10*c. Let p = c - 977. Is p prime?
True
Suppose 922 - 10360 = 6*o. Let r = -872 - o. Is r a prime number?
True
Let n be (-4)/10*3*100/(-30). Suppose -10*v + 185 = -5*v + 2*y, n*v + 3*y = 148. Is v a prime number?
True
Suppose -1 = -7*c + 10*c + 4*j, 1 = -c - j. Let v be ((-2)/6)/(625/210 + c). Is 2 - ((-35327)/15 - v/(-105)) composite?
False
Suppose 0 = 2*t - 520 + 534, i - 2*t = 127329. Is i composite?
True
Let k(s) = -101*s**2 + 3*s + 2. Suppose 0 = 9*o - 36 + 9. Let h be k(o). Let g = h + 1560. Is g a prime number?
False
Let c = -11393 - -18876. Suppose -3*h + 11773 = 5*f, -4*h + c = 5*f - 4286. Is f a composite number?
False
Is (105397688/(-8) + -2)/(-9) composite?
False
Let g = 223460 - 147583. Is g prime?
False
Let g = 927203 - 563616. Is g prime?
False
Let u(f) = 4873*f - 4989*f + 282 - 43. Is u(-16) a composite number?
True
Let t(l) = l**2 - l - 3. Let n be t(3). Suppose 4*v + n*a = -a + 312, -3*a = 3. Suppose -v + 933 = 2*d. Is d a prime number?
False
Let l(a) = -3*a**3 - 27*a**2 - 8*a + 103. Let c(v) = 13*v**3 + 109*v**2 + 33*v - 412. Let d(m) = 2*c(m) + 9*l(m). Is d(-25) composite?
True
Let a(u) = -15201*u - 415. Is a(-1) prime?
False
Let r be (0*(-7)/14)/(-1 - -2). Suppose r = -359*k + 353*k + 4794. Is k a prime number?
False
Let k = -37 - -99. Is (93/k)/((-3)/(-518)) composite?
True
Suppose 31 = 2*p + 5*k, 3*p + 5*k = -0*k + 44. Suppose -p*v + 72219 = 6*v. Let b = v - 2178. Is b prime?
False
Suppose 7*p - 243428 = 783479. Is p composite?
False
Suppose 2*z + 397*j = 392*j + 57187, 3*j + 85770 = 3*z. Is z composite?
False
Suppose -2*d + 452348 = 2*b, -33*d + 37*d - 904738 = 2*b. Is d composite?
True
Let z(p) = 339*p**2 + 3*p - 4. Let j(r) = 21*r - 10. Let w be j(-3). Let m = w + 71. Is z(m) a composite number?
True
Let h = -430300 - -789729. Is h a prime number?
False
Let p(u) be the third derivative of u**7/2520 - 13*u**6/720 + u**5/30 + 4*u**2. Let g(z) be the third derivative of p(z). Is g(12) a composite number?
False
Is (-3)/30 + 6404157/270 prime?
True
Suppose -52 = 9*p - 7. Is 6/((-300)/16370)*(p + 0) composite?
False
Let l(y) = -2881*y + 17. Let g be l(-2). Suppose 2*t - 3*h - 2873 = -0*t, 4*t = -5*h + g. Is t prime?
False
Suppose -18*r 