 i = -5 - h. Is 397/3*(5 + i) a prime number?
True
Let r = -1751 - -2898. Is r composite?
True
Suppose 2*j = y + 100306 + 30203, 4*y = 2*j - 130494. Is j prime?
True
Let t be (-1 - -1)/(1 - (-4)/(-1)). Is (23198/3 - t)/(18/27) a prime number?
False
Let u = -560 - -236. Let y = -195 - u. Is y a prime number?
False
Let j(g) = -3111*g**2 - 2*g + 1. Let y be j(-2). Is (y/14)/((-2)/4) a composite number?
False
Is (0 + -1997)*-19 - -7 - -1 composite?
False
Is 7 + (-2)/1*(-2045 - -23) a prime number?
True
Let u be (-4)/(-2) - 5 - 2. Is 10*(u/(-2) + 1) a composite number?
True
Let b = 21604 + -4593. Is b a composite number?
False
Let m(z) = -10*z**3 - z - 1. Let n be m(2). Let u be 376 - 2/(-4)*0. Let i = u + n. Is i a composite number?
False
Suppose 2*i + 4*b = 92, -3*b + 4*b + 285 = 5*i. Let f = -3 + i. Is f composite?
False
Let d(q) = -q**3 + 3*q**2 - 2*q - 7. Let z(h) = h**2 + 6*h - 5. Let y be z(-6). Is d(y) a composite number?
True
Suppose -16*u - 3265 = -11*u. Let m = 1140 + u. Is m prime?
True
Let s(p) = 192*p**2 - 3*p + 3. Let z be s(-3). Is (z/18)/((-4)/(-6)) prime?
False
Let z = 1073 + 48336. Is z a prime number?
True
Let y = 24 + -22. Suppose 3124 = 2*h - u + y*u, 5*u - 10 = 0. Is h a prime number?
False
Let l(z) = 17 - 7*z**2 + z**3 + 34*z**2 - 13*z**2 + 14*z. Let g be l(-13). Suppose -o - 2*o + 4*j + 111 = 0, -j = g*o - 148. Is o a composite number?
False
Let f(h) = 23*h + 19. Suppose -5*i - s = -2*i - 27, 49 = 5*i + 3*s. Is f(i) a composite number?
True
Let p = -10 - -14. Let l(o) = 19*o**3 - 4*o**2 - 3*o + 3. Let u be l(p). Suppose -s + u = 2*s. Is s prime?
False
Let d = 20550 - 9785. Is d composite?
True
Let d = 4601 + -2088. Is d composite?
True
Let z be (-2 + -40516)/3*14/(-21). Suppose 0 = 5*f - j - z, 4*f + 2*j - 3604 = 2*f. Is f prime?
True
Suppose 4*k + 55322 = 2*y - 7832, 5*k = -3*y + 94676. Is y composite?
False
Suppose q - 32 = 3*v + 73, -5*q = 2*v - 457. Let a = 509 + -319. Let u = a - q. Is u a composite number?
False
Let u = -5365 + 12433. Suppose 0 = 15*i - u + 2103. Is i composite?
False
Let q(i) = 1318*i**2 + 4*i - 10. Let p be q(-8). Suppose 3*h - v + 3*v = -p, 0 = -2*v + 2. Is ((-4)/(-6))/((-16)/h) prime?
True
Suppose -276*m = -273*m - 172011. Is m a prime number?
False
Let b(h) be the second derivative of -6*h - 3/2*h**2 - 113/3*h**3 + 0. Is b(-2) a prime number?
True
Let v = -42320 + 62409. Is v prime?
True
Suppose 4*a = 3*a - 23. Let p = 19 + a. Is ((-134)/p)/((-1)/(-22)) a composite number?
True
Let b be 4096/6 + (-2)/3. Let k be 8*1 - 235/47. Suppose v = k*v - b. Is v a prime number?
False
Let z(o) = -2539*o + 267. Is z(-10) a composite number?
False
Let d(k) = -k**3 - 13*k**2 - 21*k + 14. Let z be d(-11). Suppose z*l = 36 + 69. Is l a prime number?
False
Let k(g) = -2*g + 16. Let t be k(7). Suppose -4*c - t*j - 1179 = -9*c, 4*j = -2*c + 462. Is c a composite number?
True
Suppose -3*x + 0*x = 2*l - 1848, 2*x - 1231 = -l. Suppose 1535 = 5*h - c, -2*h + x = c - 5*c. Is h a prime number?
True
Suppose 3 - 30 = -a. Let b(u) = u**3 + 9*u**2 + 2*u + 10. Let w be b(-7). Let o = w - a. Is o composite?
False
Suppose -5*q = 6 + 4. Let b be -4 + 0*q/(-6). Is 6/b*2532/(-18) a composite number?
False
Suppose 5*m + 0 = 10. Suppose 0 = 2*j + 4*r + 4, 5*j + m*r - 7*r + 40 = 0. Let d(o) = -o**3 - 4*o**2 - o - 1. Is d(j) composite?
True
Let h(t) = -7*t**3 - 7*t**2 + 2*t + 1. Is h(-5) composite?
False
Let m = 21961 - 11406. Is m composite?
True
Let d = 107 - -1112. Is d a composite number?
True
Let t be 562/7 + (-12)/42. Let w = 59 + t. Is w a composite number?
False
Suppose -42591 = 16*w - 19*w. Is w a composite number?
False
Let b = -3514 - -7303. Suppose -4*a - 241 = -b. Is a a prime number?
True
Suppose 0 = -0*h + 8*h - 32. Suppose -3*b = 4*x - 1524 - 355, -b - h*x + 613 = 0. Is b a composite number?
True
Let v(k) = k**2 - 9*k + 20. Let y be v(6). Suppose 3059 = 5*i + y*m, 4*i - 2434 = 4*m + m. Is i composite?
True
Suppose -3*n = -772 - 923. Is n composite?
True
Let z(l) = 3*l**2 + 3*l - 2. Let r be z(1). Suppose 3*o = r*o - 97. Is o prime?
True
Let n(y) be the first derivative of 7*y**5/60 - y**4/6 + y**3/3 - 3*y**2 + 3. Let f(l) be the second derivative of n(l). Is f(5) a prime number?
True
Let k be (337 - 0) + 6/3. Suppose 0 = -4*h + k + 3209. Is h prime?
True
Is (-12318)/(-9) - 7 - 4/6 a prime number?
True
Let q(c) = 221*c**3 + c**2 + 12*c - 11. Is q(4) a prime number?
True
Let z be 11 + -7 - (1 - -1). Suppose 4865 = 3*y + 2*o, 3*y + 0*y = z*o + 4849. Is y composite?
False
Let c(l) = -2*l**2 - 15*l - 14. Let o be c(-6). Is o/(-2)*(-1)/((-4)/(-4782)) a composite number?
True
Suppose 0 = 14*h - 9*h - 2*u - 135297, -h - 2*u = -27057. Is h composite?
False
Let j(c) be the second derivative of c**5/10 - 3*c**4/2 - 10*c**3/3 + 11*c**2/2 + 9*c. Is j(13) prime?
True
Suppose w + 2*x + 4 = 0, -5*w + w + 4*x + 32 = 0. Suppose y - w*r = 5*y - 324, -4*y + 4*r + 340 = 0. Is y composite?
False
Suppose -5292 = -4*p + 2*g - 4*g, -4*p + 5302 = -3*g. Let v be p/8*4/2. Suppose 5*c - 6*c + v = 0. Is c prime?
True
Suppose 0 = 3*q + y - 3046, -3*q + y - 6*y + 3026 = 0. Let h(l) = 241*l**2 - l. Let r be h(1). Suppose q - r = 3*p. Is p a prime number?
False
Suppose -3*f = -2*f. Let l be 696/(4 + -1) - f. Suppose c + l = 3*z, z - 2*c = 96 - 27. Is z prime?
True
Is 1/2*1*(9512 + -10) composite?
False
Suppose 25*s - 23*s - 2*c = 58526, 4*s + c - 117052 = 0. Is s a prime number?
False
Suppose -3*r + 6676 = -4265. Suppose -4*k - 3*l = -r, -3*k + 3659 = k - l. Is k a prime number?
False
Let j = 16063 - 9576. Is j prime?
False
Let t(f) = -f**3 + 15*f**2 - 13*f - 11. Let p = 13 + 1. Let b be t(p). Suppose -b*m - 493 - 284 = -3*y, -y = 5*m - 277. Is y composite?
True
Let n(k) be the second derivative of -k**5/20 - k**4/2 - 3*k**3 - 7*k**2/2 - 2*k. Is n(-8) composite?
True
Suppose 5*r = 2*v + 65153 - 21057, -4*r - 3*v + 35263 = 0. Is r composite?
True
Suppose -i = -2*l - 1129, i + i = -2*l + 2282. Suppose 5*h = -3153 - i. Let d = h - -1231. Is d a prime number?
True
Let p(o) = -4*o**2 + 1. Let f be p(1). Let u(x) be the first derivative of 31*x**3/3 + 5*x**2/2 + 3*x + 325. Is u(f) composite?
True
Let b = 4 + -2. Suppose 0 = -b*n + 3*o + 304, n = -5*o + 80 + 72. Let d = 179 + n. Is d a prime number?
True
Suppose -34 = -7*u - 13. Suppose u*i - 1806 = 213. Is i a prime number?
True
Let y = 21 + -19. Suppose 5*h + 335 = p, 5*p + h - 1005 = y*p. Is p a composite number?
True
Let q(d) = -35*d - 7. Let l be q(-3). Let g = l + 248. Is g composite?
True
Suppose n + 2*n = -w - 11, 5*n = -3*w - 13. Suppose -2*x = -w*x - 4. Is 58 + -1 - (-4 - x) a prime number?
True
Suppose 3 + 2 = x. Suppose 0 = -0*r + x*r - 575. Is r composite?
True
Let j(y) = 70*y**2 - 42*y + 183. Is j(23) composite?
True
Let q(l) = 507*l - 55. Is q(18) a prime number?
False
Suppose 805 = 11*q - 1307. Suppose -2*z + q = n - 7*z, 5*z - 182 = -n. Is n a prime number?
False
Let u(s) = 877*s**2 - s - 1. Let a be u(-1). Suppose 7*i - 2354 = -a. Is i a composite number?
False
Let m be 3/((-1)/(-10)*-6). Is 1914/4 - m/10 a prime number?
True
Let k(w) = -2599*w**3 + 3*w**2 - 6. Let r be k(-2). Suppose 7*b - r = -7239. Is b composite?
True
Let h(w) = w - 33*w**2 + 0*w + 4*w - 2*w - 8. Let v be h(3). Let s = -185 - v. Is s prime?
False
Suppose -49*n + 65*n = 517520. Is n prime?
False
Suppose 0 = a - 5*w - 817, -10*a + 7*a + 2439 = -3*w. Let s = 5 + -3. Suppose s*h = -2*h + a. Is h prime?
False
Let l = -21 - -30. Let q = l + -8. Is ((-118)/(-6))/(q/15) prime?
False
Suppose 8*g - 58032 = -10*g. Let b = g + 3129. Is b a prime number?
True
Suppose 2*n - 7*n = 3*r - 20, -16 = -5*r - 4*n. Let f be 10*(4/10 + 0). Suppose 2*s + 2*j - 984 = r, -f*s + 3*j - 4*j = -1953. Is s a prime number?
True
Let a be ((-184)/12)/(10/(-1905)). Suppose -6*t = -6481 - a. Is t composite?
False
Let d = -13877 + 24156. Is d composite?
True
Suppose -3*p + 5*o + 438 = -1011, 1927 = 4*p - 5*o. Is p prime?
False
Let h = 9 - 13. Is 708/(-9)*6/h prime?
False
Suppose -4*c + 56178 + 694 = 4*w, -5*c = -w + 14188. Is w prime?
False
Let f(t) = 178*t + 3. Is f(20) prime?
False
Let x be 1/(-2)*(-120)/15. Is -74*14*x/(-16) composite?
True
Suppose -2*w = -7*w + 4955. Let b = 1408 - w. Suppose 0 = 2*o - 5*o + b. Is o a composite number?
False
Let x(a