- -8865. Is h prime?
True
Let m(s) = 3*s + 14. Let j be m(-7). Let w(u) = -u - 4. Let h be w(j). Suppose -i + 31 = 2*p + h*p, -p = i - 47. Is i a prime number?
False
Let g(z) = -2*z + 0*z - z + 4 + 63*z**2 + 19*z**2. Let y be (-12)/(-12) - 1*-1. Is g(y) prime?
False
Let h be -3 - (-1 - -468 - 0). Let s(q) = -2*q + 14. Let k be s(8). Is (h*1/k)/1 composite?
True
Is 3777*1*((-14)/(-6))/7 prime?
True
Let v = 40 - 38. Is (v - (-629 + 2)) + 4 a prime number?
False
Suppose 0*f = 5*f + 70. Let k(x) = x**3 - 10*x**2 - 7*x - 4. Let q be k(11). Let d = q + f. Is d prime?
False
Suppose w - 5 = -m, -m + 4*w - 1 + 6 = 0. Let t(y) = y + 8. Let f be t(7). Suppose -7*b + 4*b - 4*p = -2043, f = m*p. Is b a prime number?
True
Let c(z) = -z**3 + 5*z**2 + 7*z - 1. Let d be c(6). Let v(h) = h**3 - h. Let p be v(d). Is (7 - p)*(0 - 1) composite?
False
Suppose 0 = -4*o + 5*o. Suppose o = 5*t - 119 - 371. Let b = -61 + t. Is b composite?
False
Let p be (-1)/2*(2 + -44)/7. Suppose -692 = -l + p*y + 2*y, l - 687 = 4*y. Is l composite?
True
Let s = 11219 - -12663. Is s prime?
False
Let b be (-13)/(-4) - (-1)/(-4). Let u(i) be the first derivative of i**4/4 - 2*i**3/3 + 2*i**2 + i - 10. Is u(b) composite?
True
Is (5 + (-6 - 3492))/(-1) a prime number?
False
Let b = -649 - -1812. Let r = 2202 - b. Suppose 0 = -3*a + 5*l + r, 3*l - 622 = -2*a + 96. Is a a composite number?
False
Let g(t) = t + 1. Suppose o = -3*j - 8, -4*j - 14 = -3*o + 14. Let c be g(o). Suppose 0 = -4*n - c*u + 1963, 5*n - 4*u - 2008 = n. Is n prime?
False
Let p(y) be the second derivative of 17*y**6/144 - y**5/30 - y**4/6 + 6*y. Let r(c) be the third derivative of p(c). Is r(3) composite?
False
Suppose 2198*l + 454043 = 2217*l. Is l a composite number?
True
Let f(y) = 6*y - 2. Let s be f(-4). Suppose -3*l - 128 = -2*x - 0*l, -4*l = 2*x - 156. Is (s/(-4))/(5/x) composite?
True
Suppose 3*z - 6963 = -285. Suppose z = 2*h + 5*h. Suppose -4*v - 2*v + h = 0. Is v a prime number?
True
Suppose 4*l = -l. Suppose -h + l*h = -958. Let w = h - 684. Is w a composite number?
True
Let x be 4/(-3 - 1)*-471. Let r = 331 - 199. Suppose -3*q - r + x = 0. Is q a composite number?
False
Let q(x) = 88*x**2 - 3*x - 39. Is q(8) a composite number?
False
Let b(x) = x**2 - x. Let q be b(2). Let v be 1 + (-3)/4 - (-10010)/88. Suppose 368 = q*h + v. Is h a prime number?
True
Let h(s) = -2 - 33*s**3 + 5 + 3*s**2 - 2. Let a be h(-3). Suppose 0 = -3*c - 2*r + a, c = 6*c - 3*r - 1538. Is c a prime number?
True
Is (-22)/55 + 36474/20*2 a composite number?
True
Suppose -3*t + 3240 = -j, -2*t + 2160 = j - 3*j. Suppose -5 = -i, -i = 5*v + 3*i - t. Suppose -4*y = -5*f - v, -3*y + 0*y + 159 = 3*f. Is y a prime number?
True
Let d = 9 - 5. Suppose 0 = -3*s + i + 11, -d*s + 18 = -3*i - 0*i. Suppose 0 = 5*q + 2*b - 17 - 163, -s*q + b + 97 = 0. Is q a composite number?
True
Let a(i) = 5645*i**2 + 48*i + 8. Is a(-3) a prime number?
False
Let v(j) be the third derivative of -j**5/60 + j**4/4 - 2*j**3/3 + j**2. Let d be v(6). Is (-942)/d*(-4)/(-6) a composite number?
False
Let m(w) = 11*w**2 + 10*w + 138. Is m(35) a prime number?
True
Let c(l) = l**2 - 4*l + 2. Let h be c(4). Let b(j) = 2*j + 5*j**2 + h - 2*j**2 + 0 - 9. Is b(-5) a composite number?
True
Let y(o) = 153*o - 19. Let l be (-3 - 1) + 16/(-4)*-4. Is y(l) a prime number?
False
Let j = -9 - -10. Let n be 1*(-1)/j - 0. Is 1 + (n - -1) - -48 prime?
False
Let h be 0*((-14)/(-4) + -3). Let t = h + 1. Is t/1 - -8*20 a prime number?
False
Let a(b) = b**3 - 6*b**2 - 7*b + 2. Let v be a(7). Suppose 5*m - v*m - 2019 = 0. Is m prime?
True
Let o be -2*2*(-1)/(-2). Is 2 - (o - (5865 - -4)) composite?
True
Suppose -11*t - 4*t = 1065. Let d = 1 + -19. Let u = d - t. Is u a prime number?
True
Let d(z) = 120*z + 9. Let j(s) = 40*s + 3. Let u(w) = -6*d(w) + 17*j(w). Is u(-8) composite?
False
Let u be 41 - -4*(-2)/(-4). Suppose -3*c - u = -682. Is c a prime number?
False
Suppose 4*p - 1143 = -3*a + 8*p, -a + 5*p = -381. Suppose 3*j = 1176 - a. Is j composite?
True
Let l = 580 - 866. Let n = l - -851. Is n prime?
False
Let p(f) = 47*f**2 + 4. Let b be p(3). Let j = -824 + 827. Suppose -m - 3*x + 146 = x, x = -j*m + b. Is m a prime number?
False
Is -1*6701*-2*(-275)/(-550) prime?
True
Suppose v - 9*v = -24. Is v - -20 - (0 - -2) a prime number?
False
Is (225/(-90))/((-1)/274) composite?
True
Let h = 2144 + 387. Is h composite?
False
Let u(t) = t**2 - 2*t + 7. Let g(c) = -5*c**3 - c**2. Let r be g(-1). Suppose -p = r*p - 15. Is u(p) a prime number?
False
Is (2*8/16)/((-5)/(-58445)) a composite number?
False
Suppose 0 = 8*j - 2777 - 815. Is j a composite number?
False
Let z be 2/(-5) + 2603/95. Is 1588/6 + 9/z composite?
True
Suppose 7*r - 2*r = -3*i + 29480, i = -5. Is r a composite number?
True
Let t = 24 + -20. Suppose -t*d + 3*y + 251 = 0, 2*d - 138 = -0*y + 4*y. Is d prime?
True
Let a(y) = 6*y - 3. Let k be a(8). Suppose 2*s = 7*s - k. Is 26 - s/(2 - -1) a prime number?
True
Let c(d) = d - 1. Let k be c(1). Suppose -4375 = -k*p + 5*p. Let m = 1294 + p. Is m composite?
False
Suppose -u + 34095 = 8*j - 3*j, 4*u = 2*j - 13638. Is j a composite number?
True
Suppose -4*f = 5*l + 9 - 6, 4*f = l + 15. Let g = f - -52. Is g prime?
False
Let z = 15 - 4. Suppose 0 = -4*g - 3*p - z, 4*p + 1 = -g - 5. Is g/(-8) + 492/16 a composite number?
False
Let a = 2411 - 1677. Is a a prime number?
False
Suppose -70 + 77 = d. Suppose -2*q + d*q + 40 = 0. Let c = q - -117. Is c a composite number?
False
Suppose 20 + 16 = 4*t + 4*k, 0 = 5*t - 2*k - 17. Suppose -o + t*h = -46, -3*h = o + h - 1. Is o a prime number?
False
Suppose -41 = -4*j + 3*g + 2*g, 30 = 5*j - 2*g. Suppose j*p + 267 - 4871 = 0. Is p composite?
False
Suppose -2*o = -0*o - 5*d - 10247, -4*d = 2*o - 10274. Is o composite?
True
Let c be 5*(-8)/(-220) + 30486/33. Let d = c + -271. Is d composite?
False
Suppose 0 = -2*o + 4*d + 568592 - 99722, -2*d = -4*o + 937728. Is o a prime number?
True
Suppose 0 = s + 4, -3*c - 4*s + 630 + 173 = 0. Let f = c - 114. Is f a composite number?
True
Let c = 2978 - 931. Is c composite?
True
Let o(k) = 254*k - 17. Let z = 55 - 53. Is o(z) a composite number?
False
Let q(i) = 23*i**2 + 6*i - 18. Let d(a) = -a + 1. Let t(y) = -3*d(y) + q(y). Is t(14) composite?
True
Suppose -4*p - 2*z + 28 = 2*z, 0 = -3*p - 5*z + 25. Suppose -5*w + p*b + 527 + 98 = 0, 0 = -3*w + 5*b + 371. Is w a prime number?
True
Suppose 2*a - 4 = -2*s + 4, -3*s - 2*a + 13 = 0. Suppose -37 = s*r - 192. Is r a prime number?
True
Suppose -5*s = 4*k - 83681, 2*s - 2*k - 17576 = 15882. Is s prime?
False
Let j = 13819 - 8672. Is j a prime number?
True
Suppose -28*s = -985368 - 522404. Is s a composite number?
False
Is 1775 + (-1)/((-4)/8) composite?
False
Let m(g) = 5*g**2 - 8*g - 10. Let o(y) = y**3 - 4*y**2 - 4*y + 7. Let c be o(5). Is m(c) a prime number?
False
Suppose 134 = -0*j + j - 4*i, -4*i = -4*j + 548. Suppose d - 129 = j. Is d a prime number?
False
Suppose -o = 0, -3*o = b - 1680 - 1409. Is b a prime number?
True
Suppose -5*m - 4*g + 7296 = 173, 2*m + 3*g - 2852 = 0. Let o = m - 452. Is o a composite number?
False
Let r be (-9)/(-12) + 1/4. Let j be (2/(-6))/(r/(-6)). Is (j + 450)/2 + -3 composite?
False
Let u = 10 + -10. Let o(c) = -c**2 - 25. Let d be o(u). Is 10/(-4)*13610/d a prime number?
True
Let b be 1*1150/(-5) - 3. Let w = b - -652. Is w a prime number?
True
Let f = -16 + 11. Let o(n) = -10*n**3 + 2*n**2 + 6*n - 6. Let q be o(f). Suppose 4*k + 4*v = q, -2*v = 5*k - v - 1592. Is k a composite number?
True
Is 18776 - 14/((-42)/(-9)) a prime number?
True
Suppose -3*a = a, 12 = 3*n + 4*a. Suppose -2*r + 160 = -q - 2*q, 304 = n*r + 2*q. Suppose 0 = 3*v - r - 124. Is v a composite number?
False
Let u be 34/(-10) + 8/20. Is 259 - (0 + 5 + u) a prime number?
True
Let o(f) = 650*f**2 - f + 23. Is o(6) prime?
True
Is (-144804)/(-165) + 3/(-5) a prime number?
True
Suppose -5*u - 81730 = -3*q, 5*q - 18*u = -21*u + 136228. Is q composite?
True
Let n(i) = i**3 - 19*i**2 + 8*i - 67. Is n(27) a composite number?
False
Let a(y) = 344*y**2 + y - 3. Let b be a(1). Is (-594)/(-27)*(b/4 + 1) composite?
True
Suppose 1881 = 4*f - 5*q, 3*q + 1407 = f + 2*f. Let r = f + 269. Is r a composite number?
False
Suppose 0 = 5*j - 20, -5*n = 3*j - j - 46963. Is n a prime number?
Tru