 Let n(u) = k(u) - 5*p(u). Let q be (-1)/(1 + (-44)/40). Is n(q) composite?
True
Suppose -5*z - 20 = t - 5*t, 4*z = -16. Is (-2 - -57) + t/3 a prime number?
False
Suppose 5*k = -10, -4*i = 4*k - 10181 - 247. Is i a prime number?
True
Suppose 0 = 3*d + 3 - 18. Suppose 2 = 4*j + 5*x + 14, 5*j = 4*x + 26. Suppose 21 = d*t - 3*i, 0 = 4*i - j*i + 4. Is t a composite number?
False
Suppose 2*m + 871 - 45 = 0. Let w = m + 616. Is w prime?
False
Suppose 3*s + 3694 = 5*h, -3*h + s + 0*s = -2214. Is h a prime number?
False
Suppose 0*i + i + 4*j - 93 = 0, -2*i - j + 207 = 0. Suppose a = 4*a - i. Is a composite?
True
Let i(o) = o**3 - 3*o**2 + o. Let b be i(3). Suppose b*q + 4*m - 357 = 0, -6*q + 357 = -3*q + m. Is q composite?
True
Suppose x = 4*c + 6*x - 531, 3*c = 2*x + 427. Is c a prime number?
True
Let b = -5 + 8. Suppose -665 = -5*g + 5*q, 4*g - 516 = -b*q - q. Is g prime?
True
Let w(l) = 509*l + 4. Let c be w(2). Suppose -b = -3*b + c. Is b composite?
True
Let t = 7 - 15. Let o = -4 - t. Suppose 0 = -4*l + 12, 2*b - 69 = b - o*l. Is b a prime number?
False
Suppose 3*s + 360 = 3840. Let a = s + -603. Is a a composite number?
False
Let b(y) = -243*y - 17. Is b(-4) a composite number?
True
Suppose 4*i + 351 = 95. Let k = 122 + i. Is k composite?
True
Suppose -789 - 32 = -z. Is z a composite number?
False
Suppose -5*p + 266 = -3*p. Is p composite?
True
Let w = -46 - -26. Is 89/4 - 15/w a prime number?
True
Let l(v) = -v + 18. Let h be l(14). Is (-4)/16 - (-185)/h prime?
False
Suppose 0 = -s + 1 + 1. Suppose -s*g = -3*g + 37. Is g composite?
False
Let p = 4267 + -2246. Is p composite?
True
Suppose -2*j + 99 = j. Is j a composite number?
True
Suppose -5*h + 61 = 3*s, h + 4 = s - 3. Suppose 0 = -s*k + 11*k + 37. Is k a prime number?
True
Suppose -13 - 548 = -3*f. Is f a prime number?
False
Let h be (6 - -2 - -2)*-1. Is ((-12)/(-20))/((-2)/h) composite?
False
Let r be (-22)/(-2) - 15/(-5). Let b = 47 - r. Suppose k - b = -2*k. Is k a composite number?
False
Suppose 1611 = v + 2*v. Let w = -146 + v. Is w prime?
False
Suppose 2*u - 3*k - 175 = 0, 5*k + 154 = 2*u + 9*k. Is u composite?
False
Let w(p) = 29*p + 6. Let i be (45/12 - 2)*-4. Let s(t) = -15*t - 3. Let j(f) = i*s(f) - 4*w(f). Is j(-2) prime?
True
Let g(b) be the third derivative of b**6/120 - b**5/60 - b**4/6 - 4*b**2. Let v(z) = z - 4. Let h be v(7). Is g(h) composite?
True
Let u(q) = -48*q**3 + 3*q**2 + 2*q. Let c(y) = 49*y**3 - 4*y**2 - 3*y. Let g(f) = -3*c(f) - 4*u(f). Is g(1) prime?
False
Let b(n) = 7*n**2 + n + 1. Let x be b(2). Let s = x + 48. Is s a composite number?
False
Let j be ((-8)/(-4))/(4/446). Suppose -j - 8 = -3*h. Is h composite?
True
Let y(z) = -z**3 - 5*z**2 + 5*z. Let x be y(-6). Let t be ((-6)/x)/(2/(-6)). Suppose -t*k = -3*r - 39, 3*k - 16 = -5*r + 23. Is k a prime number?
True
Let f = -2 + 2. Suppose -k + 2*k - 7 = f. Is k prime?
True
Let i(a) = 8 - 5 - 13*a + 5*a. Is i(-7) a composite number?
False
Suppose -4*z = 8, -3*x - 2*z = -0*x + 7. Is x - (-67 + -2)/3 a composite number?
True
Suppose -15*w = -19956 - 6039. Is w a prime number?
True
Let y = -366 - -237. Is 14*y/(-6)*1 a composite number?
True
Let v be 2 + 0/(-2) - 1. Let y be -2*v + 1 - -75. Let z = -23 + y. Is z composite?
True
Suppose 20 = 2*t - 7*t. Is t/2*(-268)/8 prime?
True
Suppose -3*k - l = -5*l - 4163, -k = -3*l - 1396. Is k composite?
False
Let w(l) = -7*l**3 - 15*l**3 - 2*l**2 + 0*l**3 + l**2. Suppose 0 = -3*d + 4*t - 23, 2*d - 3 = t - 2*t. Is w(d) composite?
True
Let a be (-42)/(-4)*8/(-6). Let v = 31 + a. Suppose v + 19 = 4*u. Is u prime?
False
Let y(h) = -h**3 - 2*h**2 + 2. Let u be y(-2). Suppose 2 = 2*s - u. Suppose -5*i + s*k = -629, -5*i + k = -0*i - 632. Is i a prime number?
True
Let c be (-14)/(-49) - 1760/(-14). Suppose -2*s + c + 68 = 0. Is s a composite number?
False
Let z = -733 - -1056. Is z prime?
False
Suppose -d = 3, 0 = 5*u - 3*d - 3 - 26. Suppose 3*l + a - 966 = l, -u*a = -16. Is l prime?
False
Suppose 0*q = -q + 85. Is q composite?
True
Suppose -23*w + 1892 = -19*w. Is w composite?
True
Let t = 9647 + -6708. Is t composite?
False
Suppose 2986 = 2*h - 2748. Is h a composite number?
True
Suppose p = 3*n + 5, 2*n + 3*n + 2*p + 23 = 0. Let i(a) = 5*a**2 - 4*a - 4. Is i(n) a composite number?
False
Let b(f) = f**3 - 11*f**2 + 13*f - 4. Suppose -1 + 5 = 2*k. Let a be (14/21)/(k/30). Is b(a) a composite number?
True
Let x = -389 - -906. Is x composite?
True
Is (-1)/((-4)/(-12))*(-52)/6 prime?
False
Let b(r) = 159*r**2 - 1. Is b(-1) a prime number?
False
Let n = 4 + 8. Let p be (-12)/(-9)*n/(-1). Let j = p - -29. Is j a composite number?
False
Suppose 0 = 2*x - r - 10, 4*x - 6*x - 4*r = 0. Suppose x*l - 5*s - 76 = 0, l = -s + 16 + 3. Is l a composite number?
False
Is (4 + -1 - 1) + 1185 a composite number?
False
Suppose 0 = 5*k + 15, -4*f + 1900 = 4*k - 0*k. Is f prime?
False
Let n(r) be the second derivative of -r**5/4 - r**4/12 + r**2/2 + 2*r. Let f be n(-1). Suppose -3*p = -f*q + 193, q - 2*p - 39 = -p. Is q prime?
False
Let i be -2 + (-3 - -890) - -4. Is (i/14)/((-1)/(-2)) a composite number?
False
Suppose -4*t + 350 + 726 = 0. Is t prime?
True
Let k(s) = -8*s**2 + 5*s - 2. Let v be k(3). Let u = -26 - v. Is u composite?
True
Suppose -3 + 28 = 5*h. Suppose -h*t + 19 = -4*t. Is t a prime number?
True
Let w(f) be the first derivative of f**3/3 + 3*f**2/2 + 5*f - 2. Let l be w(7). Suppose l = 3*m - 2*m - 2*q, -4*q - 73 = -m. Is m prime?
False
Let v = -212 - -146. Let s = 32 + v. Let k = 59 + s. Is k composite?
True
Suppose -2*m + 3*i = -4, 5*i = -3*m + 14 + 11. Suppose -1130 = -5*d - 3*o, -4*d + m*o - 195 = -1062. Is d a prime number?
True
Suppose 75 - 353 = -2*r. Is r a prime number?
True
Is (-2)/4*(-316)/2 a composite number?
False
Let h(q) = -1 + 0*q**2 + q - 3 - 2*q**3 - 3*q + q**2. Is h(-3) a prime number?
False
Suppose -4*f = -5*i - 12822, f + 2*i + i = 3197. Is f prime?
True
Let n be -3*1 + (-3 - 5). Is 2/n + (-12565)/(-77) a composite number?
False
Is (46/(2 + 0) - -2)*1 composite?
True
Let i = -13 + 19. Suppose -i*y + 129 = -3*y. Is y composite?
False
Let y(b) = -69*b - 24. Let k(w) = 70*w + 23. Let c(a) = 4*k(a) + 3*y(a). Is c(9) composite?
False
Let x(d) = d**3 + 13*d**2 + 13*d + 15. Let g be ((-1)/2)/((-2)/(-40)). Is x(g) a composite number?
True
Let n(d) be the second derivative of d**4/6 + 5*d**3/3 + 7*d**2/2 + 2*d. Is n(-7) prime?
False
Let x(q) = q**3 + 7*q**2 - q + 1. Let s = 8 + -13. Let l = s - -1. Is x(l) composite?
False
Suppose 5*u - 4487 = 213. Suppose a + u = 5*a. Is a a composite number?
True
Let t(x) = -x**2 - 14*x - 17. Let a be t(-13). Let j(b) = 4*b**2 + 3*b - 5. Is j(a) composite?
False
Suppose 3*q - 1 = 2*q. Suppose -3*x + q = -104. Is x a composite number?
True
Suppose 0 = -9*l + 11*l - 526. Is l a composite number?
False
Suppose 4*k + x - 9 = 0, -12 = -3*k - x + 2*x. Suppose -5*h - 3*p = -436, -k*p + 116 + 231 = 4*h. Is h composite?
False
Suppose 5*s = 2*p - 281, 2*p = -0*s - 2*s + 316. Let n be 5/(15/p) - 0. Suppose 0*l - n = -l. Is l a prime number?
False
Let g be 2/3*186/4. Let r be g/(-3) + 2/6. Let i = 77 + r. Is i a composite number?
False
Let k = 270 - 400. Is (4/(-5))/(4/k) a prime number?
False
Let r = 24 - 22. Suppose 0*j - 1838 = -r*j. Is j composite?
False
Suppose 3*l = 6*l - 426. Suppose 4*u - 271 = 5*v, l = 2*u - 0*u + 4*v. Is u composite?
True
Suppose 4*h + h = 0. Let t be 0 + h + (2 - 0). Suppose -3*s - t*s = -245. Is s a composite number?
True
Let t(p) be the third derivative of 7*p**5/30 - p**4/8 - p**3/3 + 4*p**2. Let a(f) = -f - 4. Let l be a(-7). Is t(l) prime?
False
Let f be (-328)/6 - 6/18. Let x = 63 - f. Is x composite?
True
Let c(g) = -g**2 + 12*g + 3. Is c(11) composite?
True
Let n be ((-846)/(-4))/((-6)/96). Is (-4)/(-10) - n/40 a prime number?
False
Let x(t) = t**3 - 4*t**2 + 5*t - 2. Let q = 5 - 2. Let a be x(q). Suppose a*c - 37 = v, 0 = -2*c - 3*v + 8 + 21. Is c a composite number?
True
Let r = 1691 - 990. Is r a prime number?
True
Let l = 7 + -11. Let a be (-2 - 0)/(l/(-66)). Let m = a - -142. Is m composite?
False
Let i be (-2214)/10 + (-10)/(-25). Let x = 18 - i. Is x a prime number?
True
Let g be 4/(2/1)*-1. Let v(h) = -2*h - 1. Let k(r) = -r**2 - 2*r - 1. Let y(i) = -3*k(i) + 4*v(i). Is y(g) prime?
False
Suppose 0 = 3*m -