, -2*l = -2*t + 38. Suppose 0*a - 12 = 3*i - 2*a, a + t = -3*i. Let s(r) = -24*r + 5. Is s(i) a composite number?
False
Is 18106/10 + 28/70 a prime number?
True
Let w(i) = -i**3 - 8*i**2 + 11*i - 19. Let a(x) = x**2 - 22*x + 46. Let d be a(19). Is w(d) prime?
True
Let b(u) be the third derivative of u**5/20 - 17*u**4/24 - 11*u**3/6 - 8*u**2. Let f(v) = -2*v**2 + 5*v - 2. Let s be f(4). Is b(s) composite?
True
Suppose 11*l + 76895 = 1085056. Is l composite?
True
Let t(q) = -3*q**2 - q + 3. Let c(k) be the second derivative of -k**4/6 + k**2/2 + 2*k. Let g(h) = -5*c(h) + 3*t(h). Is g(5) a composite number?
True
Let y = -10 + 16. Let p = y + -2. Suppose 5*l - p*l = 259. Is l a prime number?
False
Let i(j) = 8*j + 73. Let w be i(-9). Is (-87966)/(-24) - w/4 a prime number?
False
Is 3/6*-8 - -11681 composite?
False
Suppose -2*l + 9 = -1. Suppose 3*i + 7 = -l. Is 181 + (i/4 - 1) a prime number?
True
Suppose -484*u + 473*u + 6083 = 0. Is u prime?
False
Suppose -4*s - 662 = -2*z - 0*s, 4*s = 3*z - 985. Is z a composite number?
True
Suppose -5*m - l = 4, m - 2*l - 3 = -6*l. Let v be (0 - -1)*(0 + m). Is (v - -6)/(4/44) composite?
True
Let u be (20/4)/(-5) - 18. Let f(n) = -2*n - 21. Let g be f(u). Suppose -3*s + g = r - 23, -4*r - 80 = -4*s. Is s a prime number?
False
Let v = 3391 + -1314. Is v a prime number?
False
Is (-90)/(-315) - (-1 - (-15104)/(-7)) a prime number?
False
Let p be ((-4)/(-6))/(5/105). Suppose 5*k - 39 + p = 0. Suppose -2*b = -5*l - 179, k*b - 3*l - 147 = 329. Is b a composite number?
False
Let y(p) = 4*p**2 + 6*p + 2*p + 0 + 1. Is y(-6) prime?
True
Let a = -36240 - -72911. Is a prime?
True
Let v = -6 + 21. Suppose v = -4*d + d, -3*b + 21 = -3*d. Suppose b*o + 435 = 5*o. Is o a prime number?
False
Is (-11614*1)/((-24)/(-84)*-7) composite?
False
Let g = -15460 - -26369. Is g composite?
False
Let i be 6 + -2 - (-2 + -6). Suppose 0 = -i*h + 4*h + 15592. Is h prime?
True
Suppose 6*r = 2182 + 2144. Suppose 5*g = r + 214. Suppose -122 = -2*v + 4*q, -3*v = -2*q - 2*q - g. Is v a composite number?
True
Let t = -8 - -13. Suppose -3*z + t*z = 10. Suppose 0 = z*b - 298 - 397. Is b a prime number?
True
Let w = -16900 - -25851. Is w prime?
True
Let b(s) = s**3 + 2*s**2 - 2*s + 1. Let r be b(1). Let f be -15*r*4/(-24). Suppose 2*u + 109 = 3*d - 2*u, f*u = -5. Is d a composite number?
True
Let h(a) = -3*a. Let k be h(0). Suppose 24*b - 19*b - 5405 = k. Is b prime?
False
Let f be 18/(-27) + (-1)/((-9)/51). Suppose -f*c + 1614 + 5191 = 0. Is c composite?
False
Let d(p) = 6*p**2 - 8*p - 1. Let k = -48 + 71. Let q = k - 29. Is d(q) a composite number?
False
Is -4*(1687/(-2) + -5) a prime number?
False
Suppose 0 = -n - 5 + 7, 4*c + 5*n - 30462 = 0. Is c a composite number?
True
Suppose 0 = 5*f - 3*m - 2055, -8 = -2*m + 2. Suppose -4*h + 13*h - f = 0. Is h prime?
False
Suppose 2*t = -3*t + 30. Suppose -t*y = -7*y + 515. Is y prime?
False
Let x be -166 - (8/4 + -3). Let p = 838 + x. Is p prime?
True
Suppose 5*b - 61975 = -20*b. Is b a composite number?
True
Suppose 0 = 4*p - 16, -4*m - 5*p + 2364 = -2*m. Suppose -4*c + 5948 = -848. Let o = c - m. Is o a prime number?
False
Let i = -5 + 5. Suppose i = 4*m - 2*m - 818. Is m composite?
False
Suppose 4*v - 1 - 1 = -3*x, -4*x + 3 = 5*v. Suppose 4*g - 339 = 5*p, 7*g + p = x*g + 460. Suppose -g = 5*a - 726. Is a prime?
True
Suppose -7*b + 10740 = 13*b. Is b composite?
True
Suppose -r - 17008 = -5*r. Suppose 2*b - r - 2454 = 0. Is b a prime number?
False
Let v(t) be the second derivative of 37*t**5/20 + t**4/12 + t**3/3 - t**2/2 - 4*t. Is v(2) a composite number?
True
Suppose 7*t - 6*t = p - 3027, -5*t + 9097 = 3*p. Is p a prime number?
False
Suppose 0*v = -4*v. Let i be v - 2 - 0 - -4. Suppose i*s - 158 = -0*s. Is s a composite number?
False
Let u = -44 - -76. Suppose u = 8*q - 16. Is q composite?
True
Let g be 380/(-100) - 2/10. Let z(o) = -643*o - 27. Is z(g) prime?
False
Let p = -12 + 17. Suppose p*m - 36 + 6 = 2*z, 0 = 4*z + 20. Suppose -o + 3*t = m*o - 193, 2*o - t = 77. Is o a prime number?
False
Suppose -5*w = -2*s + 383, -3*s - 6*w = -8*w - 591. Is s prime?
True
Suppose 0 = -p + 2*p. Suppose p*i - i = 132. Let w = i - -259. Is w prime?
True
Let h(n) be the second derivative of -n**5/20 - 5*n**4/12 - n**3/3 + n**2/2 - 13*n. Let t be h(-4). Is (-12)/28 - 1340/t a prime number?
True
Let q(u) = -u**3 + 14*u**2 + 15*u + 3. Let f be q(15). Suppose 5*o = -h + 546, o = h + f*o - 543. Is h a composite number?
False
Suppose 6*j - 2*j = -4*h - 12, 0 = -3*j - 2*h - 13. Let a be ((-24)/(-14))/(j/(-4753)). Suppose -3*m - 3*k = -1370 - 406, -a = -2*m + 2*k. Is m prime?
True
Let s = 1696 - -3703. Is s a prime number?
True
Suppose 71*f = 54*f + 75497. Is f composite?
False
Suppose 73 - 19 = -6*x. Is -3*(-1 - (-168)/x) a prime number?
True
Suppose t = 12 + 12. Let x(a) = t*a - a + 0*a + 4. Is x(9) a prime number?
True
Is (-525844)/(-308) - (-1 + 9/7) a prime number?
False
Let r(c) = 10*c**3 - 42*c**2 - 22*c - 58. Let n(m) = 7*m**3 - 28*m**2 - 15*m - 39. Let y(l) = 7*n(l) - 5*r(l). Is y(9) prime?
True
Suppose -s - 2*h = 20, -38 = 4*s - s - 5*h. Is 885*(s/6 - -3) composite?
True
Suppose 0 = -22*l - 14*l + 843084. Is l a prime number?
False
Suppose 5 + 7 = 4*h. Suppose -3*m + 2*u + 770 = -h*u, -4*u - 1016 = -4*m. Let p = -27 + m. Is p a prime number?
True
Let b(q) = q**3 + q**2 + q + 265. Let u be -8 - -1 - (2 + -1). Let l = -8 - u. Is b(l) prime?
False
Let j(v) = -23*v**3 + 6*v**2 + 9*v + 3. Is j(-4) prime?
False
Let t(q) be the first derivative of 13*q**5/5 - q**4/6 + q**3/6 + 4*q + 5. Let z(j) be the first derivative of t(j). Is z(1) prime?
False
Let w(p) = p**3 - 7*p**2 + 2*p - 4. Let l be w(7). Let x be (-24)/(-20)*l/4. Suppose 0 = -x*v + 2*a + 663, 434 = 2*v + a - 15. Is v a prime number?
True
Let g = 10243 + 3754. Is g a composite number?
False
Let h(d) = d**2 - 3*d + 3. Let r be h(3). Let b(z) = 4*z - 19. Let s be b(6). Suppose -a = -s*w + 264, -5*a + r = -2. Is w a prime number?
True
Let a(m) = m**3 - 15*m**2 - 33*m - 18. Let z be a(17). Let v(s) = -142*s**3 + s. Is v(z) a composite number?
True
Suppose 731 = -3*j + 4*j. Let z = 1362 - j. Is z composite?
False
Let p(s) = -5*s**3 - 3*s**2 + 3*s - 2. Let w(n) = n**3 + 3*n**2 - n. Let m be w(-3). Suppose y + 0 + m = 0. Is p(y) a composite number?
False
Let j = 5707 + -2780. Is j a composite number?
False
Suppose 0 = -5*m + w + 25, -m - 3*w = -7*w - 5. Let x(l) = 3*l**2 + 4*l + 10. Let p(j) = -5*j**2 - 7*j - 21. Let g(c) = m*x(c) + 2*p(c). Is g(9) composite?
False
Let p be 81/12 - (1 + 4/(-16)). Suppose -3070 = -p*y + 4*y. Is y a prime number?
False
Let l(n) = n**2 + 5*n + 1. Let y be l(-5). Let m(h) = 389*h**3 + h**2 - h. Is m(y) a composite number?
False
Suppose -20*y + 23512 = -12*y. Is y a composite number?
False
Let f = -74 - -231. Suppose 4*i - 3134 = -2*y, -y = -i + f + 619. Is i composite?
True
Let m(s) be the second derivative of s**4/6 + 3*s**3/2 - s**2/2 - 2*s. Let c = 101 - 109. Is m(c) a prime number?
False
Let r = 2 - -2. Let i be 26/r - 3/(-6). Suppose i*c - 3*c = 3076. Is c prime?
True
Let p(o) = 9*o - 8. Let w be p(1). Is (-11097)/(-7)*w + (-12)/42 composite?
True
Suppose 9792 = -3*y + l - 9772, -26079 = 4*y + 5*l. Is (-1 + 0/(-2))*y a composite number?
False
Suppose -4 = x - 4*y, 3*x + 5 = -2*y + 7*y. Suppose -2*h + 8 = -2. Suppose x*c + h*c = 485. Is c a composite number?
False
Let u(d) = -513*d**3 - 21*d - 1. Is u(-3) a composite number?
False
Suppose -2*w - 20 = 3*w - 4*c, w + 3*c = 15. Let j be 1/(-1 + w/(-3)). Is ((-4)/j + -3)*31 a composite number?
False
Let x(h) = -11 + 5*h + 12 + 5*h**2 - 3*h. Let j be x(-1). Suppose 1081 = 5*f + j*v, 0*f + 4*f - 865 = -3*v. Is f composite?
True
Let h be 24*(64/(-12) + -3). Let q = h + 477. Let z = q + -166. Is z a composite number?
True
Let y = -101676 - -144299. Is y prime?
False
Suppose 0*q = -5*q. Let s be 12*(6/1 - q). Let l = s - -551. Is l a composite number?
True
Is (0 - (-2)/(-5)) + 478454/310 a prime number?
True
Let c(r) = -251*r**3 - 2*r**2 + 2*r - 8. Is c(-5) composite?
False
Let w(q) = q**2 + 4*q + 4. Let g(i) = -i**2 + 4*i + 7. Let h be g(6). Let u be w(h). Suppose -4*f + u*f = 385. Is f composite?
True
Let h be (-3)/(15/10) + 16. Suppose h*g - 9*g = 15. Suppose -5*f = -x - f + 249, -g*x - 