40 = -4*t. Is h(l) a composite number?
True
Let g(y) = -2*y - 14. Let f be g(-7). Suppose 5*t - 1859 - 1626 = f. Is t prime?
False
Let q(y) = 3*y**3 + 9*y**2 - 21*y + 2. Let o(u) = -2*u**3 - 6*u**2 + 14*u - 1. Let s(x) = 8*o(x) + 5*q(x). Let h be s(-5). Let n(g) = 134*g - 33. Is n(h) prime?
False
Is -17 + (-1014)/(-60) - 728582/(-20) composite?
True
Let a be 372/217 + 2/7. Is -10*(-1)/a*11805/75 prime?
True
Let c(x) = -x**3 - 2*x**2 - 2*x + 2. Let y = 8 + -6. Suppose -o = -5*k - 0*k - 41, -y*k + 5*o = -2. Is c(k) prime?
True
Suppose -6352 = -v + 3601. Is v a prime number?
False
Let j = -207 - -209. Is 1164279/148 - j/(-8) a composite number?
False
Suppose 9*c - 32 = 4. Suppose -2378 = -2*q + 4*y, -8*q + c*q + 4768 = -4*y. Is q a prime number?
False
Suppose -2*c + 7*c = -5*k + 10, 0 = 4*k - 4*c - 8. Suppose -2*q - 2*q - 2*j + 24052 = 0, -k*q + 4*j = -12006. Is q prime?
True
Let n(k) = 4*k**2 - 4*k - 1. Let m be n(-6). Let y = m + 31. Suppose 0 = -6*f + 10*f + 3*q - 797, q = -f + y. Is f a prime number?
False
Let m = 107232 + -55309. Is m a prime number?
False
Let v be (-95)/(-25) + (-4)/5. Let o be ((-98)/v)/(8/(-1356)). Suppose 861 = -4*q + o. Is q composite?
True
Let q(v) = 4*v**2 - 62*v - 27. Let t be q(16). Suppose 0*p = p + t*f - 4160, -4*p - 2*f + 16586 = 0. Is p a composite number?
True
Suppose -1 = 2*w - g - 4, 12 = 4*g. Suppose -w*o + 12*o - 21933 = 0. Is o a prime number?
True
Suppose -8*g + 4*d = -10727424, 0 = -27*g + 22*g + 4*d + 6704637. Is g composite?
False
Let d(k) = 13*k + 21. Let q be d(6). Suppose -2*s - q = s. Is (-2 - s/9)*177 a prime number?
False
Let v = -19543 - -36460. Suppose -3*o - 2*o = 4*b - v, 0 = -2*o - 2*b + 6766. Is o a composite number?
True
Is (4/(-3))/(8 + -16)*69942 a composite number?
False
Let l = -2007 - -2936. Suppose 545 - 1812 = -4*o - n, 3*o = -5*n + l. Suppose 7*j = j + o. Is j prime?
True
Suppose -23*k = -7*k - 480. Suppose k*v - 52*v = -787534. Is v a prime number?
True
Let m(j) = 9*j**3 - j**2 + 106*j + 326. Let p be m(-3). Let u be 8/20 - (-4346)/10. Let f = p + u. Is f a prime number?
True
Let p(a) = -4*a**3 + 8*a**2 + 15*a - 98. Let i be p(-23). Let n = -31950 + i. Is n prime?
True
Let z(w) = 173*w**3 - w**2 - 2*w - 11. Let s be z(4). Suppose -2*o = -5*y + s, -5*y + 5*o + 11034 = 6*o. Is y a prime number?
True
Suppose -4*j - 46 = -66. Suppose -1821 = -4*b + g + 5148, -j*g - 25 = 0. Is b composite?
False
Let u(y) = 7*y**3 + 17*y**2 - 16*y - 87. Is u(14) composite?
False
Is 22/(-4)*(-230764)/62 a composite number?
True
Suppose -2*h = -h + 3, 0 = 5*r + 3*h - 4531. Suppose -4*f = r - 220. Let c = 287 + f. Is c composite?
True
Is (-102)/72*-1*107372 - (-44)/66 a prime number?
True
Let a(o) = -4*o**3 - 10*o**2 + 3*o + 8. Let z be a(-5). Let c = -212 + z. Is c a composite number?
False
Let m be 19*(0 - (0 - -1)). Let f(k) be the third derivative of -k**4/24 + 2*k**3/3 - 1778*k**2 + 2*k + 2. Is f(m) prime?
True
Let t = -290 + 281. Is 2/18 - (-37)/t - -15897 prime?
False
Let k be 4/3*18/12. Suppose 5*b = 4*b + k. Suppose 2*t - 3*s - 2771 = 0, -3*t - 5*s = -b*t - 1418. Is t prime?
False
Suppose -3*o - 22 = 5*z, -3*o - 2*z + 4*z - 8 = 0. Is 5/o + 176625/100 composite?
True
Let x(u) = 273*u**3 + 15*u**2 + 2*u + 22. Let r(y) = -137*y**3 - 8*y**2 - y - 11. Let l(t) = -11*r(t) - 6*x(t). Is l(-3) prime?
True
Let i be 5613 - -1 - (-1 - -2). Let k be (-3 - (-12 + -2))*i. Suppose -13*n = -k + 25772. Is n a prime number?
True
Let s = 204 - 222. Is (-493)/(-3*(-6)/s) a prime number?
False
Let u = 16623 + -11084. Is u a prime number?
False
Let o(h) be the third derivative of -445*h**4/24 - 8*h**3/3 - 195*h**2. Is o(-9) a prime number?
True
Let w be (-5)/(-1)*(15 - 14). Suppose -4*b - 2*j = -20, -w*b + 0*j = j - 22. Let h(c) = 3*c**3 - 5*c**2 + 2*c - 5. Is h(b) prime?
False
Suppose -12*k + 1284544 + 1817492 = 0. Is k prime?
False
Suppose -4*y = -34*l + 33*l - 9, -3*y + 3 = -2*l. Suppose 2*g - 4*z = 44798, -16599 - 5795 = -g + y*z. Is g prime?
True
Suppose -4*q + 0*q = -312. Let j = 83 - q. Suppose -j*f + 1878 = -187. Is f a composite number?
True
Let i = -21622 + 37019. Is i composite?
True
Let w(g) = g**2 - 5*g - 1. Let b be w(7). Let c(s) = -6*s - s**2 - 9*s + s**3 + 521 + b*s. Is c(0) a composite number?
False
Let q = -85056 + 179825. Is q prime?
False
Let a be (18/(-4))/((-3)/108). Is 1047843/a - (-5)/6 prime?
True
Suppose -2*x = -5*j + 41309, -12*j + 4*x + 8269 = -11*j. Suppose 26*l = 37*l - j. Is l a prime number?
True
Let v = 379 + -225. Let g(m) = -126*m - 626. Let u be g(-5). Suppose z + u*z = r - v, -410 = -3*r + 2*z. Is r prime?
False
Suppose -5*v + 329240 = -30815. Is v composite?
True
Let b(t) = -2*t - t - 4*t - 9 - t**2 + 5*t. Let s be b(0). Is (-2 + 0)*(10143/14)/s a composite number?
True
Let a(t) = 1735*t + 634. Is a(3) a prime number?
True
Let j be (-772)/(-2 + -1 + 20/8). Suppose -4*r - 8 = 0, 3*v - 6299 = 5*r + j. Is v a composite number?
True
Let r be 48/(-112)*(-1 + -20). Suppose 9580 + 2669 = r*u. Is u a composite number?
False
Suppose -5*d + d = -2*t - 264294, 5 = -5*t. Is d a prime number?
False
Let i(z) be the first derivative of -z - 1 + 22*z**2 + 60*z**2 + 235*z**2 + 11. Is i(1) a composite number?
True
Let c = 76043 - -5913. Suppose -12*l + c = 2*l. Is l a prime number?
False
Suppose 76*x - 89*x = -333112. Suppose -27*k - x = -35*k. Is k a composite number?
False
Let q = 31476 + -1426. Suppose 0 = 6*x - 70988 + q. Is x prime?
True
Suppose 24*k - 1170183 - 649521 = 0. Is k a prime number?
True
Let y = -1749 - -4966. Suppose 10*t = y + 12553. Is t composite?
True
Let y(d) = 3509*d + 228. Is y(5) composite?
True
Suppose -2*z = 6 - 8. Let f(o) = -o**3 + 3*o - 2. Let w be f(z). Suppose w = -18*i + 14*i + 1148. Is i a composite number?
True
Let v(y) be the third derivative of 409*y**4/6 + 13*y**3/3 + 33*y**2. Let a(i) = 818*i + 13. Let f(n) = -7*a(n) + 3*v(n). Is f(-4) a composite number?
False
Is ((-2298740)/(-136))/(3/6) prime?
False
Let l = 135 + -132. Suppose -l*k + 3*d = -43185, k - 2*d = 2*d + 14395. Is k composite?
True
Suppose -204 = -0*d + 2*d. Suppose -301*h = -263163 - 1359126 - 1898207. Is -1 - h/(-6) - 68/d composite?
False
Let g = 1953 - 1762. Is g a composite number?
False
Suppose 134*w = 109*w + 4605225. Is w composite?
True
Let b(x) be the third derivative of 1/30*x**6 - 7/3*x**3 + 0*x + 1/5*x**5 - 3/8*x**4 + 0 - 33*x**2. Is b(11) a composite number?
True
Let c(b) = 14748*b + 172. Let r be c(8). Suppose 9799 - r = -19*k. Is k prime?
False
Let k be 5633/(-86)*(-1 + -1). Is (1 + 3 - k)*(-12 - -1) composite?
True
Let x(o) = -40*o - 6. Let k(p) = 41*p + 6. Let b(m) = -5*k(m) - 6*x(m). Let v be b(4). Suppose -v = 2*u - 1740. Is u prime?
True
Suppose 5*a = -4*r + 10552, 2638 = r + 2*a + 2*a. Suppose -30*o + r = -28*o. Is o a composite number?
False
Let f(c) = c**3 + 10*c**2 + 7*c - 16. Let k be f(-9). Suppose h + h = -5*z, k*z = 0. Is (0 - -13*37) + h composite?
True
Let m(o) = 743*o - 40. Let y(f) = -744*f + 42. Let c(l) = 7*m(l) + 6*y(l). Is c(3) prime?
False
Suppose 0 = -5*x - 3*w + 35336, 8278 + 27082 = 5*x - 5*w. Is x a prime number?
True
Suppose 0 = -3*j + a - 10 + 16, 2*a = -4*j - 2. Let n(s) = 4928*s**3 - 3*s**2 + 2*s. Is n(j) composite?
True
Let k = 403 - -368. Let c = -218 + k. Is c composite?
True
Suppose -93110 = 2*o - 4*o - 4*d, 0 = -2*o - 3*d + 93112. Is o a composite number?
False
Suppose 0 = -35*f + 38*f - 2*w - 1470921, 5*w - 980633 = -2*f. Is f composite?
False
Let p be (8 + -7 - 2)*(-1 - 2). Suppose -67 = p*k - 448. Is k composite?
False
Let q = 316341 - 29960. Is q a composite number?
False
Let j(l) = -69*l + 5. Suppose 9*w - 20 = 7*w. Let r be j(w). Let t = -378 - r. Is t composite?
False
Let l(s) = 48*s**2 - 14*s - 64. Let f be l(-16). Suppose q + 2*d = -4*q + 15577, -5*d = 4*q - f. Is q composite?
True
Let k(n) = -2*n**2 + 7*n - 2. Let r be k(1). Let h(v) = 1335*v**2 + 17*v + 5. Is h(r) composite?
False
Let a be ((-99)/(-4))/(14/(-56)). Let x = a - -99. Let j(p) = -6*p + 2963. Is j(x) composite?
False
Let m = 176 - 168. Suppose -m*v - 2055 + 15727 = 0. Is v a composite number?
False
Suppose -41*g - 29023 = -5*b - 45*g, -4*b + 4*g = -23240. Is b a composite number?
False
Suppose -523837 = -4*n + 2*m - 124241, 399592 = 4*n - 3*m. Is n a prime number?
True
L