s j a composite number?
True
Let f = -306560 - -509359. Is f prime?
True
Let y(u) = 920*u**2 - 3*u + 68. Is y(-6) prime?
False
Suppose -7*o + 13522 = -133184. Suppose -3*d = 3*d - o. Is d a prime number?
False
Suppose q + 4*q + 4*x = 18506, -2*q + x + 7392 = 0. Suppose -2*b + 3*p - 2*p + q = 0, -4*p + 7372 = 4*b. Is b a composite number?
False
Let k(l) = 32*l**2 - 10*l + 355. Is k(19) a composite number?
False
Suppose h - 4 + 1 = 0. Is 1678*(2 - h/2) prime?
True
Let j = -146 + 703. Is j composite?
False
Let q = 18 - 16. Suppose -n - 1 = 5*f, -3*n + n - q = -3*f. Suppose -z + f*z = -505. Is z prime?
False
Suppose 16 = -0*h + 2*h. Is 4/h*-3017*-2 composite?
True
Suppose 5*o - 28845 = -7*c + 2*c, 0 = 4*o + 2*c - 23080. Is o a composite number?
True
Suppose 1572 = 2*r - 3*t, r - 513 = 5*t + 266. Is r a composite number?
True
Let z(v) = 21*v**2 + 7*v + 47. Suppose 14 + 26 = -4*r - 3*m, -r - 10 = -m. Is z(r) a composite number?
True
Let x(p) = -7*p**3 - p**2 - 2*p - 1. Let c = -4 - -3. Let s be x(c). Is -5*(3 + s)/(-2) a prime number?
False
Let b(z) = z**3 + 6*z**2 + 2*z - 7. Let d be b(-5). Suppose -5*w = -d*w - 1032. Let i = w + 502. Is i prime?
False
Suppose 5*x + 64*v = 69*v + 94470, -5*x + 94485 = -2*v. Is x a composite number?
False
Suppose -v = 4*v + 5*j - 2915, -4*j - 1777 = -3*v. Is v a composite number?
False
Let t(d) be the second derivative of 11*d**4/6 + 2*d**3/3 + 3*d**2/2 - d. Is t(4) prime?
False
Let m be (4 + 1)/((3/(-3))/(-2)). Is (0 - m)*4/24*-633 a prime number?
False
Let a be (1 + -1)/(-6 - -9). Suppose 0 = -4*v + 4*p - 12, 3*v + 3*p - 9 = -a*v. Suppose h - 3*o - 2*o - 20 = v, 0 = -2*o + 2. Is h a prime number?
False
Let q(k) be the second derivative of 4*k**3/3 - 57*k**2/2 + k - 3. Is q(22) prime?
False
Suppose -3*z = -2*q + 228 - 699, -q = 2*z - 314. Is z prime?
True
Suppose -7459 = -6*n - 433. Is n a composite number?
False
Let o(s) be the second derivative of 19*s**4/12 + 3*s**3/2 - s**2/2 + s. Is o(-4) prime?
False
Let q(r) = r**2 + 6*r + 63. Is q(38) prime?
False
Suppose -387834 - 18279 = -51*g. Is g composite?
False
Suppose n - 2002 = 97. Is n prime?
True
Let v(t) = -t**3 + 2*t**2 + 5*t - 4. Let j be v(3). Suppose j*g = 15 - 5. Suppose -g*u + 316 = -2*q, 3*u + 2*q - 118 = u. Is u prime?
False
Suppose -46*c + 60297 = -49873. Is c prime?
False
Let q be (165/4)/(33/880). Let h = q + -642. Is h prime?
False
Let n = 742 + 16923. Is n composite?
True
Let r be 2794 - (-7 + 5)*(2 - 1). Suppose -3*w + m + 835 = -r, 3*m + 2416 = 2*w. Is w a composite number?
True
Let y be (-12 - -7)/(1/(-53)). Suppose -7*d = -2*d - m - y, 0 = 4*d + 5*m - 212. Is d prime?
True
Let j = 574 + 30603. Is j a prime number?
True
Is 97/(-2)*(-5 - 6/(-2)) a prime number?
True
Suppose 3*h + 6*g - 19563 = 3*g, 4*g + 19542 = 3*h. Let u = h - 3978. Is (u/16 - 1)*4 composite?
False
Suppose -3*f + 5*u + 3302 = 0, -2*u = -5*f + 5714 - 217. Is f a composite number?
True
Suppose 287*m = 3*v + 291*m - 70293, -4*m = v - 23431. Is v a prime number?
True
Let m(i) = i**3 - 17*i**2 + 11*i - 9. Let a = 21 - 4. Is m(a) a prime number?
False
Suppose 4*p + 1 = y + 4, -4*y = p - 22. Let c = -3442 + 1982. Is (y/2)/((-10)/c) a composite number?
True
Let y = -850 - -3014. Suppose 0 = 5*g - g - y. Is g composite?
False
Let j be 1041/(-30)*-6*5. Is (j/(-6))/(1 - 21/18) prime?
False
Let j = -1 - -1. Let z be 63 + -2 + 1 + j. Let g = -27 + z. Is g a composite number?
True
Let b(a) = -1185*a - 7. Let i be b(-6). Suppose i = 8*c + 1191. Is c a composite number?
False
Let j be 1/((-8)/(-4) + -1). Let w(k) = 3*k**2 - 1. Let t be w(j). Suppose -2*z + 240 = -s - 83, -t*s + 169 = z. Is z a composite number?
False
Let r = 61 + -108. Let p = 144 + r. Is p prime?
True
Let k(d) be the first derivative of 111*d**2/2 + 4*d - 3. Suppose a + 9 = 4*a. Is k(a) prime?
True
Suppose 16*o - 80 = 8*o. Suppose -30343 = -o*u - 9*u. Is u a prime number?
True
Let w = -263 - 567. Is w/8*4*(2 + -3) prime?
False
Suppose 23*f + k = 19*f + 1920, 0 = -4*f - 5*k + 1936. Is f composite?
False
Let b(f) = 3*f + 6*f**2 - f**2 + 5 + 15*f**2 + 0*f**2. Let g(j) = -j**3 - 2*j + 1. Let v be g(1). Is b(v) a prime number?
True
Suppose -9*w + 31323 = 8112. Is w prime?
True
Let m(q) be the third derivative of 1/12*q**6 + 0 - 2/3*q**3 + 7*q**2 + 1/15*q**5 - 1/8*q**4 + 0*q. Is m(3) a prime number?
True
Let p(n) = -225*n**3 - 2*n**2 - 3*n - 2. Let u be p(-1). Suppose -5*r = -3*v + 18180, -3*v - r + 18422 = u. Is v a prime number?
False
Let s = 1454 - -963. Is s composite?
False
Let v = 0 + -1. Let r be v - (-1)/(1/11). Is 1572/r + 36/45 prime?
False
Let n = 473 + 416. Is n prime?
False
Let a = 2 + -4. Let p = 34 + -22. Is (1266/p)/(a/(-4)) a composite number?
False
Suppose -2*f - 7617 = -3*o, -7*o = -2*o - 4*f - 12697. Suppose 0 = 3*c - o - 304. Is c a composite number?
False
Let w = -7084 - -13131. Is w prime?
True
Let k = -6725 - -15794. Is k a composite number?
True
Let w(m) = -m**3 - m**2 + m + 1. Let p be w(-2). Let a(s) = 52*s + 7. Is a(p) prime?
True
Let s(a) = -816*a - 421. Is s(-14) a prime number?
True
Suppose 0*y = 5*y + 20. Let n(r) be the second derivative of -223*r**3/6 + 3*r**2/2 - 15*r - 5. Is n(y) composite?
True
Let l(w) = -w**2 - 27*w - 6. Let k be l(-12). Suppose -580 - k = -2*b. Is b composite?
True
Suppose -490 - 140 = -5*d. Let n = d - -205. Is n composite?
False
Suppose -5*w + 40 = -5*r, 2*w - 17 = -0*w + 3*r. Suppose 2*m - 1501 = -p, 2*p - m + 7496 = w*p. Is p composite?
False
Let r(l) = 9298*l + 17. Is r(15) composite?
False
Let c(k) = 20*k**2 + 10*k - 53. Is c(13) a prime number?
True
Suppose 0 = -9*s + 8*s, 3*s = -3*u + 10767. Is u prime?
False
Let o be (1 + -1)*(-4)/8. Let m(n) = o + 9*n + 11*n - 5 + 8. Is m(2) a composite number?
False
Let g = 354 - -2225. Is g a prime number?
True
Suppose -9 + 1 = -4*k. Let n be 1 + 1 + (736 - k). Suppose -n = -7*z + 279. Is z prime?
False
Suppose -54*j = -82337 - 71185. Is j composite?
False
Let z be -6 + -2*-1*(-1)/1. Is -4*z/(64/4314) a prime number?
False
Let s(h) = -3*h + 1. Let y be s(-3). Let c be ((-4)/(-3) - -4)*(-15)/(-10). Is (c/y)/(2/85) a prime number?
False
Suppose 2*w + 2*f + 2046 = f, w - 3*f + 1016 = 0. Let s = -675 - w. Is s a composite number?
False
Suppose -257 - 25 = -2*h. Suppose 965 = -b - h. Let q = 1995 + b. Is q composite?
True
Suppose 15*l - 10*l = 5415. Suppose -3*v + 3*p = -l, v + 0*p = 2*p + 363. Is v a prime number?
True
Suppose 0 = -z - 2*p - 3*p + 1557, 2*z - 2*p - 3138 = 0. Is z a prime number?
True
Let w = 286 - -88. Let l be (3/(-27))/(-1) + (-51)/(-27). Suppose 0*f = -l*f + w. Is f a composite number?
True
Suppose 0 = 2*o + 3*z - 1609, -o + 5*o - 3214 = -2*z. Is o a prime number?
False
Suppose 1032 = 97*a - 94*a. Let b = a + -125. Is b prime?
False
Let f(k) = 1957*k**2 - 54*k + 299. Is f(6) prime?
False
Suppose 18*z = 13*z. Suppose 3*k - 4*k + 557 = z. Is k prime?
True
Let z(u) = -12 + 2*u + u**2 + u**3 + u + 0*u**3 - 2*u**3. Is z(-5) prime?
False
Let i(u) = 3*u**2 + 19*u - 9. Suppose 0*h + 26 = 2*h. Is i(h) composite?
True
Let u = 51 - 317. Let g = 540 + u. Let q = g - 179. Is q composite?
True
Let y = -6380 - -11469. Is y composite?
True
Suppose 12 = -12*s + 18*s. Let j(v) = 363*v + 11. Is j(s) a composite number?
True
Suppose o = 3*o - 44. Let n = o - 19. Suppose -149 + 8 = -n*z. Is z prime?
True
Let s(r) = 2*r + 4. Let a be s(-10). Let h = -11 - a. Suppose h*b + q = 639, -5*b + 623 = -0*b - 3*q. Is b a prime number?
True
Is (-28524077)/(-333) + 4/36 prime?
False
Is (13 + -3)/((-22)/(-11429)) a composite number?
True
Let s(j) = -118*j - 1. Let y(g) = -116*g - 1. Let f(a) = 4*s(a) - 3*y(a). Suppose b + 6 = -b. Is f(b) prime?
False
Suppose 2*j = 10 - 26. Is 116*7/j*-2 a composite number?
True
Let t be 2/(-3)*(-6 - 6). Suppose x = -16 - t. Is 15/(-1)*344/x prime?
False
Suppose -3*c - 1086 = l - 7672, -26404 = -4*l + 3*c. Is l a composite number?
True
Let h = 76735 - 33344. Is h a composite number?
False
Let a(n) be the second derivative of -23*n**5/20 - n**3/2 - n**2/2 - 26*n. Is a(-3) prime?
False
Let q = 22 + -17. Let p(v) = 12*v + 11. Let z(k) = 11*k + 10. Let u(h) = q*z(h) - 6*p(h). Is u(-5) prime?
False
Suppose 595640 = 9*j + 198677. Is j a composite number?
True
Suppose 3*w = -x - 3*x - 7, 2*x - w = 9. Suppose 5*n - 3*i 