-5*r + 46030 = -16215. Suppose -v - 2*v - d = -r, 20739 = 5*v + 4*d. Is v a prime number?
False
Let s(k) be the third derivative of 887/6*k**3 + 1/24*k**4 + 1/60*k**5 + 1/120*k**6 - 12*k**2 + 0*k + 0. Is s(0) composite?
False
Let l(j) = -39*j + 2. Let c(a) = -118*a + 6. Let t(q) = -2*c(q) + 7*l(q). Is t(-3) prime?
True
Suppose 3*n = -0*n + 5*v + 1584, 0 = -3*n - v + 1602. Is n a prime number?
False
Let b be 18/(-4)*(-8)/3. Let a(x) = x**3 - 6*x**2 + 7*x - 18. Let v be a(b). Suppose 3*u - 1387 = 5*y, 2*y = 3*u - u - v. Is u a prime number?
False
Suppose 10*q = 4*x + 9*q - 52656, 3*x - 3*q - 39483 = 0. Is x composite?
True
Suppose 15*m = 46909 + 84821. Is m composite?
True
Let l = -18 - -6. Let z(x) = -x - 7. Let m be z(l). Is (3 - 1/1) + m a composite number?
False
Let d(b) = 119*b + 5. Let l be d(3). Suppose 5*h = l + 243. Is h a composite number?
True
Is 2/7 - -9*(-70067)/(-21) a composite number?
False
Let g(l) = -114*l**3 - 2*l**2 - 2*l + 3. Let h(x) = -228*x**3 - 4*x**2 - 5*x + 7. Let w(i) = -9*g(i) + 4*h(i). Is w(1) composite?
True
Is (-2)/1*((-298197)/(-18))/(-17) composite?
False
Let p be (0 - (5 + -7)) + 638. Suppose -5*d = -5*x + p, 6 = 3*d - 9. Is x a prime number?
False
Suppose a - 3*u = 6*a - 9, u = -2*a + 3. Suppose w = -4*d + 117, -3*w + a*d + 4*d + 271 = 0. Is w prime?
True
Let c = 3 - -7. Let b = c - 0. Suppose u - 13 = b. Is u composite?
False
Suppose 3*j = -k + 13, -k - k = j - 11. Suppose 5213 = 2*h + u, -3*h + 10411 = h - j*u. Is h prime?
False
Let b = 16 + -3. Let d = 18 - b. Suppose -2*f + i = -f - 40, -5*i = d. Is f composite?
True
Suppose -21*m = -217861 - 57806. Is m composite?
False
Let z be (-92)/10 - (-7)/35. Let w = z + 8. Is (-2)/w*(-737)/(-22) composite?
False
Is 39448/20 + 1 - (-12)/(-30) composite?
False
Let o = -11 + 1. Let w = o - -16. Suppose -11*f + w*f = -715. Is f a composite number?
True
Let l be (3 - -1) + (9 - 5). Suppose -5*p + 5 = -5*b, 4*b - p + 0*p = l. Suppose 0 = -5*j + b*v + 4855, -6*v = -2*v. Is j prime?
True
Let x be -6*((-20)/12 - -1). Suppose 5*n - 33 = -x*r, 4*r - 23 = 3*n - 6*n. Suppose -4*m = -3*v + 425, -3*m + r = 2*v - 287. Is v a prime number?
False
Is (-39845)/(-50) + (-7)/(-70) a composite number?
False
Suppose -2*z - t = -6943, 2*z - 7*z - 2*t + 17359 = 0. Is z a prime number?
False
Suppose 2*z - 3529 = -f, -2*f + 7013 = -5*z - 0*z. Is (-2)/8 + f/12 a composite number?
False
Suppose -9*h + 14*h = j + 94192, 0 = 5*h + 5*j - 94210. Is h prime?
True
Suppose 22*g = 18*g + 14792. Suppose 3*x + 2*z - 2873 = g, 3*x = 4*z + 6577. Is x prime?
False
Let i(q) = 2*q**2 - q + 92. Is i(27) a prime number?
True
Suppose -5 = -5*u, -3*u = -2*n + 2 + 1. Suppose s - 225 = -n*m + 262, -5*m - 2*s = -813. Is m composite?
True
Let r = 68 - -9. Is r a prime number?
False
Let z(m) = m + 112. Is z(9) a composite number?
True
Let h = 29 + -26. Suppose -6 + 3 = h*i. Is (-7)/((-28)/2736) - i a composite number?
True
Let v(z) = 47*z**3 - 5*z**2 + 3*z - 19. Is v(4) a composite number?
True
Let q(d) = 14*d + 10015. Is q(0) composite?
True
Let a(v) = v**2 + 9*v + 4. Let c be a(-9). Suppose 0 = -5*q + 22 + 3, -3 = -c*x + q. Suppose -x*m = m - 165. Is m a composite number?
True
Suppose 140005 = -5*m - 5*p, -7*m + 4*p - 139978 = -2*m. Is 28/(-168) + m/(-12) prime?
True
Suppose -4*g = -3*n + 25, n = 5*n + 2*g - 4. Suppose -n*w = -6*w + 12. Suppose t + 2*h = 227, w*h + 109 = 2*t - 329. Is t composite?
False
Is 2/4 + ((-220930)/(-20))/1 a prime number?
True
Let i be -2 + 1 - -3 - 0. Suppose 7*j + 1 = -2*g + i*j, 0 = 3*g + j - 5. Suppose -15 = -z - g*x, -z + 2*x + 15 = -0*x. Is z prime?
False
Let l(x) = -3*x - 2*x - 1 - 3 + 5. Is l(-6) composite?
False
Suppose -5*v - 1 = 4*r - 770, -4*v + 768 = 4*r. Is r a prime number?
True
Let i(j) = j**3 + 7*j**2 + 6*j + 3. Let f be i(-5). Is ((-3)/((-6)/f))/(17/34) composite?
False
Let l be (-3)/6 + 249/6. Suppose l = 24*q - 25*q. Let s = -15 - q. Is s a composite number?
True
Suppose 2*j - 7*j + 1083 = 4*g, -5*g = 3*j - 655. Suppose 311 = 2*i - j. Suppose o = -z + i, 0 = 2*o - 5*o + z + 773. Is o a composite number?
True
Let r(s) = 282*s**2 + 4*s - 1. Is r(5) composite?
False
Let i be 1/1 + 417/3. Suppose 8 + 559 = -21*a. Let p = i + a. Is p prime?
True
Suppose -2474 = -2*g + 4*h, 77*g = 73*g - 2*h + 4998. Is g composite?
True
Let x be (-7)/(-2)*24/14. Let q be 2004/11 - 2/11. Suppose -q = -8*b + x*b. Is b a prime number?
False
Let v(d) = d**2 + 4*d - 22. Let i(j) = -j**3 - 2*j**2 + 3*j - 5. Let q be i(-4). Is v(q) a prime number?
True
Let y be (2644/8)/((-4 - -3)/(-6)). Suppose -3772 = -5*s + y. Is s prime?
True
Let u be 2/23 - (-3216)/46. Suppose -4*h - 3*c - 4 + 21 = 0, 0 = -3*h + 2*c. Is (1 + h)/(6/u) a prime number?
False
Let t(a) = a**2 - 24*a - 22. Let u be t(25). Is 1/(u/6 + 6213/(-12438)) a composite number?
True
Let k(m) be the first derivative of -7*m**4/2 - m**2/2 - m + 20. Let d(i) = i**2 - 5*i - 2. Let f be d(5). Is k(f) prime?
True
Let r(q) = 7980*q - 121. Is r(8) composite?
False
Suppose x = -4*x. Let n be 3 + (0 - (x - 3)). Is ((-159)/n)/(1/(-2)) a prime number?
True
Let a(y) = 75*y + 115. Is a(16) composite?
True
Is (-638825)/(-202) - 2/(-4) composite?
False
Suppose 0 = -5*p, 0 = 3*v + 5*p - 8 - 7. Suppose 0 = -v*h + 255 + 160. Is h a prime number?
True
Let i be (55/15 - 3) + (-8)/(-6). Suppose i*s + 223 = 3*s. Is s composite?
False
Let z = -2493 + 3578. Suppose v = -2*b + z, -4*v - 4*b + 3726 = -618. Is v prime?
True
Suppose 49346 = -29*k + 482113. Is k prime?
True
Let u = -34470 - -50803. Is u a prime number?
True
Let k = 437 - 169. Suppose 0 = 5*x - k + 73. Is x a prime number?
False
Let b(p) = 91*p**2 + 10*p - 64. Is b(-13) composite?
True
Let y = -18 + 2. Let i = -13 - y. Suppose 4*a - 5*p = 318, 5*p - 221 = -i*a - 0*p. Is a composite?
True
Let u(h) be the second derivative of 155*h**3/3 + 9*h**2/2 - 11*h. Is u(7) a prime number?
True
Let v be 3/9 - (-25)/15. Suppose 0*l + v*l + 24 = 0. Is (-2)/6 - 2248/l composite?
True
Suppose 33*y = 17*y + 82352. Is y composite?
False
Let i(v) = -159*v**3 + 6*v**2 + 10*v - 3. Is i(-2) a prime number?
False
Suppose 5*d = -5*a, -4*d + 5*a = 5 - 23. Is 1 - (-3 + -141 + d) a composite number?
True
Let w be -60*1*2/(-4). Suppose 2*l = -16*t + 20*t - 24, -5*l + 31 = 3*t. Let s = w + t. Is s a composite number?
False
Suppose 4*c - 4*w - w = -1348, 0 = -3*c + w - 1011. Let x = -126 - c. Is x prime?
True
Let i be (2 + 3 - 1)*1. Suppose 6*a = 2*a - i. Is (a - -2)/((-2)/(-262)) a composite number?
False
Let n = -1019 + 267. Let c = n - -1437. Is c composite?
True
Suppose 2*o - 4*f = 8, -3*o - f = 2*o - 42. Is 75/100 - (-1634)/o composite?
True
Let y(w) = 4*w**2 + 19*w - 17. Let h(t) = -3*t**2 - 19*t + 16. Let p(u) = 6*h(u) + 5*y(u). Let n be p(9). Suppose -f - 1 = 0, -2*v + 307 = f + n*f. Is v prime?
False
Suppose -9*h + 8*h = -22. Suppose h = 3*g + 13. Suppose f = -4*f + j + 1282, 3*j = g*f - 762. Is f prime?
True
Is ((-322576)/5)/(-16)*5 prime?
True
Let i be 8*(-19)/3*-3. Suppose i + 25 = n. Suppose -8*j = -5*j - n. Is j a prime number?
True
Let d(x) = -15*x**3 + x**2 + 4*x + 4. Let c be d(-4). Suppose 3*z = 1703 + c. Is z prime?
False
Let q = 10727 + -7164. Is q a composite number?
True
Let s(m) = 5*m**3 - 2*m**2 + 5*m - 2. Let j be s(3). Suppose 5*i - 1226 - 1269 = 0. Suppose -i = -4*r - 3*y, r - j = -y + 2*y. Is r a prime number?
True
Let w(z) = 2*z**3 + 2*z + 1. Let k be w(-1). Let v be -1 + (0 - (-4 - k)). Suppose v = 2*a + 5 - 49. Is a a composite number?
True
Suppose 2*o = -0*o + 4. Suppose 4*z - 12 = -5*s, -3*s = z - 0*z - 3. Suppose 3*k - 6 = s, 89 = t - o*k + 5*k. Is t prime?
True
Is 3588/(-18)*(-120)/2 - -3 composite?
True
Suppose 4*l = 5*j + 2882, -4*j - l + 243 - 2536 = 0. Let a = j + 879. Suppose a = 5*h - 3*k, 4*k + 152 = 4*h - 100. Is h a prime number?
False
Let y(g) = -g**3 - 7*g**2 - 5*g - 6. Let j be y(-6). Let a(v) be the second derivative of -2*v**3 - v**2/2 - 24*v - 2. Is a(j) prime?
False
Let b(i) = i**2 + 13*i + 3. Let n = -21 + 8. Let j be b(n). Suppose -j*u - 2*u = 5*q - 875, 0 = -3*u + 5*q + 557. Is u composite?
False
Is (-4)/(-2) + -4 + (3050 - 11) prime?
True
Suppose -165*h + 104465 = -148*h. Is h composite?
True
Suppose 7*i = 3*i + 8, 4*x - 4*i + 4528 = 0. Let l be 0/(4/2) + -517. Let g = l - x. Is 