= a + -5. Let k = y + 38. Is k composite?
True
Let w(r) = 13*r. Let p be w(1). Suppose -p + 181 = x + 5*d, -165 = -x - 2*d. Is x prime?
True
Let a(q) be the first derivative of q**4/2 - 5*q**3/3 - 5*q**2/2 + 5*q - 1. Suppose -10 = -3*g + 2. Is a(g) prime?
False
Let v = 3 - 9. Let k be (-4)/12 - 2/v. Suppose -m = -3*f + 445, -2*m = -k*f + 2*f - 302. Is f composite?
False
Let o be 9/3 + (-1)/(-1). Suppose -3*t = -o*n - 38, -4*n - 65 = -5*t + n. Is t composite?
True
Let h(v) = 213*v**3 + 2*v**2 - 1. Let s be h(1). Suppose 3*q + s = d, -d - 2*q - 3*q + 206 = 0. Is d composite?
False
Let j = 2680 - 1539. Is j prime?
False
Let o(v) = 4*v**3 - 6*v**2 + 8*v - 5. Suppose 21 = 5*r + c, 5*r - 18 = 3*r + 2*c. Let g be o(r). Suppose 9*t - g = 4*t. Is t composite?
True
Suppose 8*q - 1370 = 3*q. Is q a prime number?
False
Let p(r) = r**3 - 2*r**2 + 7*r - 7. Is p(6) prime?
True
Suppose 4*n - 2068 = 3376. Is n prime?
True
Suppose 14085 = 5*p + 5*r, -2*p = -2*r - 0*r - 5618. Is p composite?
True
Suppose -3*j = 41 + 34. Is 6/4 - j/2 a composite number?
True
Suppose 0 = -3*z + 464 + 124. Suppose z = a + 3*a. Is a a prime number?
False
Let l = 12 + -5. Suppose -3*d - 2*q = 2 - l, 5*d + 5*q = 5. Suppose -2*x + d*o = -3*x + 34, 3*x - 5*o - 46 = 0. Is x a composite number?
True
Let r(m) = -3*m**3 + m**2 - 1. Let u be r(-1). Suppose 2*z + 19 = u*t, 3*z = 2*t + 3 - 19. Is 762/9 - z/6 a prime number?
False
Let l(r) = 4*r**2 + 3*r - r - 3*r - 2*r**2. Suppose 5*d - 3*d = k - 3, 0 = -4*d - 8. Is l(k) a prime number?
True
Suppose -4*g + 191 = -5*r, 4*r = 3*r + 1. Is g composite?
True
Is (-4535)/15*(1 - 4/1) prime?
True
Suppose -113 = -4*r + 11. Is r a prime number?
True
Let s(n) = 13*n**2 - n + 1. Let q be s(1). Suppose -3*t = -4*t + q. Is t prime?
True
Is -4 + 6 - -3035 - (-1 + 1) prime?
True
Suppose -6 + 23 = -d. Let v = 63 - 33. Let a = d + v. Is a a composite number?
False
Let n be ((-2)/(-2))/((-3)/(-99)). Is (-475)/(-11) + (-6)/n prime?
True
Is (-4 + 1)*(-12 + -25) a composite number?
True
Let f(h) be the second derivative of 39/2*h**2 + 0*h**3 + 0 + 1/12*h**4 + 3*h. Is f(0) a prime number?
False
Suppose 0 = 4*h - 44 - 20. Let n be (-1)/(-2) - (-30)/4. Is 44/h - (-2)/n a prime number?
True
Let j(k) = k - 11. Let q be j(10). Let x = 8 + -13. Is (x/(-15))/(q/(-1005)) a composite number?
True
Let y = -5 - -9. Suppose -y*n + 6*n - 446 = 0. Is n a composite number?
False
Let t be 3/(6/(-8))*-1. Suppose -q + 3*q + 3*f = 16, 2*q + t*f - 18 = 0. Suppose -q*c + 340 = -c. Is c a prime number?
False
Let v = 5 - 6. Let r = v + 39. Is r a composite number?
True
Suppose -3*i - 12 = 0, 5*y = -2*i + 5*i + 22. Suppose 0 = y*j + 2*r - 74, -37 = 2*j - 3*j + 4*r. Is j composite?
False
Suppose 3*t - 6541 = -2*j, -6539 = -3*t - 4*j + 3*j. Is t composite?
False
Suppose -a = -6*a + 25. Suppose 4*d + 127 + 3 = 5*i, -a*i - 2*d + 100 = 0. Is i a prime number?
False
Suppose 0 = -5*g + 2*g - 12. Suppose 0 = 4*u + 12 - 4. Is 37 + u + 8/g composite?
True
Suppose -532 = -m - m. Suppose 3*c = -2*j + 123, 4*j + 6*c = 4*c + m. Suppose 0 = -2*s + j + 23. Is s composite?
True
Let l be 2/2 - (0 + -1). Let u be -2*1 - (-34)/l. Suppose -3*m = 2*m - u. Is m a composite number?
False
Suppose 0 = -5*y + 5*p - 140 + 1130, -412 = -2*y - 2*p. Is y composite?
True
Suppose 600 = 3*v + a, a - 1 = -4. Is v composite?
True
Let q(c) = -3 - c**2 + 3*c**2 + 2*c + 0. Let s = -1 + -2. Is q(s) a composite number?
True
Let l(a) = a**3 - 2*a**2 + a + 1. Let g be l(2). Let h(k) = -3*k - 2*k - 3 - 6 - g*k. Is h(-6) a prime number?
False
Suppose 2*q - 6 = 3*u, 0*u - 3*u - 24 = 4*q. Let i be 16/24 + (-4)/q. Is ((-66)/(-12))/(1/i) composite?
False
Let a(t) = -122*t - 13. Is a(-6) prime?
True
Let p(u) be the second derivative of -1/2*u**2 - 1/6*u**3 - 37/20*u**5 + 0*u**4 + 0 - 3*u. Is p(-1) a prime number?
True
Let y(r) = 13*r**2 - 4*r - 13. Is y(-4) a composite number?
False
Suppose 0*u - 1225 = -3*p + 2*u, 2*p - 3*u - 815 = 0. Is p composite?
False
Suppose 0*q + 3*q = -4*x + 8189, -3*x - 5482 = -2*q. Is q composite?
True
Suppose 0*y + 4 = -3*y + 5*z, 3*z = -3*y + 12. Is (345/(-12))/(y/(-8)) prime?
False
Let u(p) = -5*p**2 - p. Let s be u(1). Let j(r) = -3*r + 1. Is j(s) prime?
True
Suppose k = 5*f + 3*k - 2429, f = k + 490. Is f a composite number?
False
Suppose -1 = -c + 2*p, 0 = -4*p + 4. Suppose 4*w - c*w = 5. Suppose 0*n - w*n + 5*b + 385 = 0, 0 = b. Is n prime?
False
Let k(j) = -138*j - 1. Let p be k(-2). Let q = p - 132. Is q a composite number?
True
Let o be (8/(-10))/((-1)/5). Suppose 62 = o*k - 2*j, 4*j + 47 = 3*k + 2*j. Is k a composite number?
True
Suppose 8*z = 15*z - 16051. Is z a composite number?
False
Let u(g) = -g + 2. Let l be u(1). Is l/2*(0 + 138) composite?
True
Let s(n) = 39*n + 7. Let b(t) = -59*t - 10. Let h(d) = -5*b(d) - 8*s(d). Let j = 8 + -15. Is h(j) prime?
True
Suppose -736 - 708 = -4*h. Is h a composite number?
True
Suppose -h + 1077 = 4*x, -2114 = -2*h - 5*x + 7*x. Is h a composite number?
False
Suppose -40*p = -39*p - 1171. Is p a prime number?
True
Let l(t) = -t + 7. Let m be l(5). Suppose 0 = m*g + 4*x - 32, 0*x - 5*x = 2*g - 37. Suppose w - 5*i - 177 = 0, -g*w - i + 563 = -3*w. Is w prime?
False
Let o(g) = g**3 - 6*g**2 + g. Let m be o(6). Suppose -15 = -m*q + q. Is q prime?
True
Let q(x) = x**2 + 4*x + 3. Let t be q(-6). Suppose t = 3*d - 6*d. Is (-6 - d)/(1/(-85)) a composite number?
True
Suppose -3*s - s = -b + 86, -163 = -2*b + 5*s. Suppose v - b = -v. Is v a composite number?
False
Suppose -943 = 4*u - 20771. Is u prime?
True
Let b(f) = -16*f + 1. Suppose 6 = -0*p - 2*p. Is b(p) a composite number?
True
Suppose 54 = 5*k - 3331. Is k a prime number?
True
Let a(m) = 2*m**3 - 3*m**2 + 2. Let j be a(2). Suppose 2*z - 30 = 4*g + j, 2*g = 5*z - 106. Is z a composite number?
True
Let h(d) = 11*d**2 - 3*d - 1. Is h(3) a prime number?
True
Let u be (-2*1 - -1)*1. Let h(g) = 103*g - 13. Let i(t) = -52*t + 7. Let a(q) = -6*h(q) - 11*i(q). Is a(u) a composite number?
False
Let s be -130 - (0 + 2 + 1). Let r = -80 - s. Is r a prime number?
True
Let b(m) = -78*m + 5. Is b(-4) prime?
True
Let s(o) = 11*o**2 + 4*o + 3. Let c = -3 - 1. Is s(c) prime?
True
Let j = -231 - -1690. Is j a composite number?
False
Let k = 8 + -6. Suppose -3*u = -15, 2*c + 2*c = k*u + 62. Is (-2)/(2/3) + c composite?
True
Let y(g) = g**3 - 2*g**2 - 4*g + 6. Let n be 36/10 + 6/15. Is y(n) prime?
False
Suppose -2*s - 2*w + 414 = 0, 0*s = -5*s - w + 1019. Is s a composite number?
True
Let n = 9 + -2. Let f = n - 2. Suppose 63 = 5*a + f*q - 7, 4*q = 4. Is a composite?
False
Suppose -5*k - 4*c + 5787 = 0, -4*k = 3*c - 4784 + 154. Is k prime?
False
Suppose -3*h - 2*u + 13 = -0*h, -4*h + 5*u = -2. Let m be (0 + h)*1/3. Is m - -1 - (-108 + -5) composite?
True
Suppose 2*z + 4 = z. Let t(l) be the third derivative of -l**4/24 + l**3/3 + l**2. Is t(z) composite?
True
Let l = 1 + 2. Let c = l - 10. Let w(v) = -6*v - 3. Is w(c) a prime number?
False
Suppose -n - 2*i = -i - 5, -5*i = -5*n + 5. Suppose 5*h + f - 348 = 0, -2*h + n*f + 198 = h. Is h prime?
False
Suppose -x + 3 - 2 = 0. Let k be (132/16)/(x/(-20)). Is (k/12)/((-1)/4) prime?
False
Let j(d) = -d**3 - 14*d**2 - 11*d - 14. Let i be j(-13). Let x = i + 71. Is x composite?
False
Suppose s = 6*s - 30. Suppose 2*m = m + 106. Is (m/6)/(2/s) composite?
False
Let h = 28 + -19. Suppose -h*d - 35 = -10*d. Is d prime?
False
Let l(i) = 7*i**2 + 2*i - 5. Let n = -3 - 3. Is l(n) a prime number?
False
Suppose -x = -9 + 3. Suppose 3*t + x = -0*t, 4*w = 5*t + 2. Is ((-4)/3)/(w/33) a composite number?
True
Suppose 0 = -j - 3*k + 12, -5*k - 5 = -2*j + 19. Suppose -2*f = 2*f - j. Suppose a + 3*y - 19 = 0, -2 = f*y + 1. Is a composite?
True
Let a(b) = 2*b**2 - 8*b + 19. Let h be a(6). Let m(o) = 10*o + 2. Let y be m(-3). Let w = y + h. Is w composite?
True
Suppose -5 - 5 = -5*r. Suppose r = -3*p - 1. Is p/(3/(177/(-1))) a prime number?
True
Suppose 36 = 2*x - 70. Suppose -5*o + w + 46 = -x, w + 80 = 4*o. Is o prime?
True
Suppose 0 = -2*k + 207 + 175. Is k composite?
False
Let s be -1*1*1050/(-7). Suppose 5*g - s - 195 = 0. Is g prime?
False
Let t(i) = 3*i**2 - 8*i - 3. Suppose -q + 2*q + 6 = 0. Let m be t(q). Let r = -38 + m. Is r a composite number?
True
Let p = 4887 + -3236. Is p composite?
True
Le