15*r. Suppose 5*m - r = -3*m. Is m composite?
False
Let y(a) = -3282*a + 13. Is y(-30) composite?
False
Suppose -13 - 1 = -4*h - 5*l, -2*l - 28 = -4*h. Suppose 3 = 7*k - h*k. Is 4*k/48 - (-29148)/16 a composite number?
True
Is ((69837/(-6) - 3) + (-33 - -41))*-14 prime?
False
Let z(s) = -s**3 + 10*s**2 - 2*s - 14. Let m be z(7). Let q be 26/14 - (-17)/m. Suppose q*a = -4*j + 8262, -4*j + 4260 = 3*a - 4007. Is j a prime number?
True
Suppose -3*k + 540549 = 3*r, 0 = -62*r + 65*r - 2*k - 540559. Is r composite?
True
Suppose 30*u = 16*u + 25816. Suppose 12*f - 7*f - 9190 = -5*c, f - c = u. Is f prime?
False
Is 46820 - (-676)/(-234)*45/10 prime?
True
Let k(j) = -84849*j - 95. Is k(-2) composite?
True
Suppose -5*w + 4*h = 5*h + 13797, 4*w = 4*h - 11028. Let a = -310 - w. Is a a composite number?
True
Suppose -556*p - 8527888 = -500*p - 27251432. Is p a prime number?
True
Let v(t) = 248*t - 14. Let r be v(-4). Let p = 103 - r. Is p a prime number?
True
Suppose -126*q - 2205365 = -4*i - 127*q, 0 = -3*i - 2*q + 1654035. Is i composite?
False
Let q(v) be the second derivative of -v**5/20 + 5*v**4/4 - v**3/6 - 19*v**2/2 + v. Suppose 5*c + 5*m = 85, 0 = -11*m + 9*m + 6. Is q(c) prime?
True
Let a be ((-2392)/39)/23*(-13017)/4. Suppose 3*u - 11311 - a = 0. Is u a prime number?
False
Let t(i) = 2*i - 32. Let n be t(23). Is 141732/84 - (0 - (-4)/n) a composite number?
True
Let c = 895 + -586. Let t = -12185 - -12303. Suppose -u - t = -c. Is u a composite number?
False
Let g(h) = -12*h - 5. Let b(s) = 24*s + 12. Let z(n) = 3*b(n) + 5*g(n). Suppose -4*i = 4*j - 16, 5 = -4*i - 3. Is z(j) composite?
False
Let n be (-2 + (-104)/(-5))/((-3)/1545). Let j = 15489 + n. Is j prime?
True
Let m be ((-4)/6)/((16 + -8)/(-3416112)). Suppose 20*j - 32*j = -m. Is j prime?
False
Let u(w) = -w - 15. Let m be u(-18). Suppose 5*x - 4*k = 36, m*x + 2*k - 12 = -2*x. Is x/38 + 28323/57 a prime number?
False
Let h = -161 - -146. Is -2 + ((-117276)/h - 15/(-25)) a composite number?
False
Let b(x) = -17*x**3 - 42*x**2 - 20*x - 2. Is b(-13) prime?
True
Let n(t) = -25709*t + 9645. Is n(-8) composite?
False
Let k = 50 + -60. Let b = 14 + k. Is (b/3)/(-2)*381/(-2) composite?
False
Let d(r) = 1. Let s = 10 + -11. Let f(o) = -55*o**2 - 2. Let p(h) = s*f(h) + 2*d(h). Is p(-3) prime?
True
Let s(x) = -6*x**3 - 2*x**2 - 15*x - 61. Let g be (-1 - (-52)/28)*(-7)/1. Is s(g) prime?
False
Let k = -86 - -89. Suppose -2*y + k*t = -1828, -4*y = 107*t - 104*t - 3656. Is y a prime number?
False
Let j be (-23703 - 1)*4/(-8). Suppose j = -131*p + 133*p. Suppose -5*z + 2989 = -p. Is z a prime number?
True
Let k(j) = -5780*j + 5819. Is k(-10) composite?
True
Suppose -5*i + 67 = -8. Suppose 7091 = -14*n + i*n. Is n composite?
True
Let u = -166804 + 353885. Is u composite?
False
Let a(k) = -1727*k + 28. Suppose u + 328 - 325 = 0. Is a(u) prime?
True
Let a(z) = -2*z**2 - 7*z + 1. Let j be a(-5). Let u be (-3)/6*7/(j/(-16)). Is 257 - (u + 8 - 0) composite?
True
Suppose -4*s - 56 = -18*s. Let w(n) = 483*n - 71. Is w(s) composite?
False
Let b = -23 + 25. Let r(u) = 9*u**b + 13 - 12 - 8*u - u. Is r(7) a composite number?
False
Let h be (-185)/(-4) - 15/60. Let x = 49 - h. Suppose x*r = -w + 992, 0*r - 3*r + 991 = 2*w. Is r a composite number?
False
Let c be (18 - -5)*(1 - 0). Let w be (-558 - -1)*(-46)/c. Suppose -3*i + w = -i. Is i a composite number?
False
Let g(c) = 4219*c**2 - 205*c + 1187. Is g(6) composite?
False
Suppose -6678897 - 30139292 = -239*o. Is o a composite number?
True
Suppose 9*n + 0*n - 72 = 0. Suppose -n*s - 2*h = -9*s + 8437, 3*s - 2*h - 25323 = 0. Is s prime?
True
Let o(l) be the third derivative of -47*l**7/2520 + l**6/240 + l**5/20 + l**2. Let f(m) be the third derivative of o(m). Is f(-1) prime?
True
Suppose 4*x = 4*q - 999212, 585767 = 3*q - 2*x - 163636. Is q a composite number?
False
Suppose 3*n = -2*n - 27210. Let j be (n*1)/((-18)/9). Suppose j = -8*h + 11*h. Is h prime?
True
Let p be (3/(-6))/(410061/51258 - 8). Suppose w + 0*w = p. Is w a composite number?
False
Let o = 1424 + -552. Let b = 3981 - o. Suppose 2673 = 14*q - b. Is q a prime number?
False
Suppose -o - 2*s - 8910 = -5*o, -5*o + 2*s = -11137. Let d = 5660 - o. Is d prime?
True
Let k be (-80)/(-32)*(-1 - -3). Suppose 20876 - 1811 = -k*l. Is l/(-3) + 12/6 a prime number?
False
Let c be (-7 + (-135)/(-20))*-20. Suppose -29*f = c*f - 800054. Is f composite?
False
Let y be 2/(-5) - (5 - 310/25). Is 8 + y + 24477 + 1 composite?
True
Let i(f) be the second derivative of -f**5/10 + 11*f**4/2 + 4*f**3/3 + 31*f**2/2 - 78*f. Is i(33) a prime number?
False
Let o be 2/12 + 239847/18. Let v be 1*(-1)/(-2) + o/10. Suppose -3*s - 4*j + v = 0, s + j + 0*j = 444. Is s a composite number?
False
Let a = 1407 + 3756. Suppose 12*w - a - 23469 = 0. Is w prime?
False
Suppose 15*q - 10 = 10*q. Suppose q*s + 0*s + 5*h + 3 = 0, -3*s = 4*h + 8. Is s/(-16) + (-435)/(-4) prime?
True
Suppose -337562 + 9426 = -8*g. Suppose 0 = -3*h + d + 103806, 62807 + g = 3*h + 5*d. Is h prime?
True
Suppose -21*t + 72559 - 28438 = 0. Is t a composite number?
True
Let h = 479 - 485. Is (h - -10 - -2468) + 1 a prime number?
True
Let c(y) = 401*y + 6. Let k be c(-1). Let m = k + 183. Let i = 373 + m. Is i composite?
True
Let t be 3 - 0*(-2)/8. Let h(q) = 873*q**3 + q**2 + 3*q + 10. Is h(t) composite?
False
Suppose 0 = m + m + v + 1, 2*v = -5*m. Suppose u + m*u = 2*t - 4633, -3*t + 6937 = -2*u. Is t a composite number?
False
Let j(y) = 26783*y**2 + 115*y - 4. Is j(-3) prime?
False
Is (-7)/(1260/24) - (-16940077)/165 prime?
True
Let j(p) = -237*p - 8. Suppose 9*h + 160 = 11*h. Suppose -84*a = -h*a + 20. Is j(a) a prime number?
False
Let j(q) = 397*q + 1437. Is j(8) prime?
False
Suppose 3*x + 45471 = -4*m, x - 11359 = m - 0*m. Let f = m + 16392. Suppose -26*l + 30*l - f = 0. Is l a prime number?
False
Let r be ((-14)/6)/((11/(-6))/(-11)). Let k be (12/(-9))/(r/24423). Suppose -4*d - q + k = q, 3*d = 5*q + 1764. Is d prime?
False
Let m = -95076 - -199695. Suppose -26266 = -5*k + m. Is k prime?
True
Suppose u - 10 = -q + 36, 5*u - 5 = 0. Is 29916/15 + (-18)/q a prime number?
False
Is ((-2)/4 + 1)*(-7 - (-3147027)/39) prime?
True
Let m(q) = 2944*q + 241. Let u be m(-8). Let a = u + 35292. Is a a composite number?
False
Let n = 43 - 106. Let t = n + -180. Let r = -109 - t. Is r a prime number?
False
Let p(q) = -81674*q + 6019. Is p(-6) a composite number?
False
Is -214*((-7450)/20 - -3) a composite number?
True
Suppose -3*u + 30*l - 32*l + 103201 = 0, -9*u = -3*l - 309639. Is u a composite number?
False
Let y(b) = 65938*b**2 + 1148*b - 8015. Is y(7) a composite number?
True
Suppose 3*o + 4*m - 22669 = 0, -6681 = -2*o + 5*m + 8470. Suppose l - o = 2*c, -3*l - 5*c + 37800 = 2*l. Is l prime?
True
Is ((-574748)/(-12))/(((-22)/(-33))/2) composite?
False
Let f(d) = 7*d**2 + 3*d - 24. Let a be f(-7). Suppose a = c + 3*o, 5*o = -c + 3*c - 596. Is c composite?
True
Suppose 9*l - 5*z - 28543 = 8*l, 0 = -3*l + 4*z + 85607. Is l prime?
False
Let x(o) = 6*o**2 + 37*o + 8. Let h be x(-6). Let b(w) = 57 + w**3 + 7*w**h + w**3 - 56 - 9*w. Is b(6) composite?
False
Let t(p) = 2727*p**3 - 4*p**2 + 107*p - 331. Is t(3) a composite number?
False
Suppose 8*x - 2486 + 470 = 0. Suppose 8*f + x = 9236. Is f a composite number?
False
Let m be 3/2*(-8)/3 - -7308. Suppose 0 = -4*b + 1680 + m. Is b composite?
True
Suppose -20 = 2*x + 4*u, 7*u + 22 = -4*x + 5*u. Is (-6)/21 + 438613/(-196)*x a composite number?
False
Let n(x) = -x + 15. Let f be n(8). Suppose -6*g + f*g - 6709 = 0. Is g a prime number?
True
Suppose 366*w - 377*w = 33. Let k(a) = -133*a + 5 - 141*a + 88*a. Is k(w) a composite number?
False
Let q(l) = 17*l**2 + l - 2. Let i be q(-2). Let m be ((-21)/(-6) + -3)/((-4)/i). Is 4626/4*m/(-12) a prime number?
False
Suppose 55 = 7*m + 20. Suppose -m*f = g - 201, -4*f + 127 = -2*g + 487. Let r = -103 + g. Is r a composite number?
False
Let n be (2/(-3))/((-351639)/(-43956) + -8). Let y = -2213 + n. Is y a composite number?
True
Let c(r) be the second derivative of 16*r**4/3 - r**3 + 61*r**2/2 - 34*r - 2. Is c(-14) a prime number?
True
Let u(n) = -1986*n**2 + 4*n + 31. Let s(w) = 2*w**2 + w + 2. Let z(y) = 5*s(y) - u(y). Is z(4) a composite number?
True
Let o(h) = h**3 + 15*h**2 - 21*h - 75. Let x b