= -u - 6. Let d be m(-7). Let a(r) = 30*r**2 - r + 1. Let c be a(d). Suppose t - c = -4*t. Is t composite?
True
Let h = -9 - -11. Suppose -39 - 162 = 3*o. Is o/(-3)*6/h a composite number?
False
Is (-3)/(-12) + 1323/4 a composite number?
False
Let y = 7 + -4. Suppose 0 = 5*f - 17 - y. Is (-1497)/(-13) + f/(-26) composite?
True
Let b(w) = 134*w**2 - 1 + 2 - 18*w**2 - 2. Is b(-1) a composite number?
True
Let h(p) be the third derivative of p**5/30 + p**4/6 + 5*p**3/2 + p**2. Is h(-13) a composite number?
True
Suppose -3*u + d - 787 = 0, 0 = d - 6*d + 5. Suppose 0*z + 395 = -z. Let w = u - z. Is w a prime number?
False
Let r(u) = 132*u**2 + 4*u + 1. Is r(-2) prime?
True
Is (-2 + -1)/((-3)/717) a prime number?
False
Let p(g) = 6*g**2 - 8*g + 13. Is p(-12) composite?
True
Suppose 3*m = -2*m + 1255. Is m a prime number?
True
Let x(r) = r**2 + 4*r - 4. Let c be x(-6). Is ((-182)/(-1))/(-6 + c) prime?
False
Suppose -12 = -4*x, 2*n + 0*x + 5*x - 17 = 0. Suppose -4*g + 9 = n. Suppose g*m + 2*p = 128, 2*m - 3*m = -p - 66. Is m prime?
False
Let b be 2/(-5) - 352/(-5). Suppose -i - i = -b. Suppose -3*r + 0*k = 5*k - i, r = 4*k + 23. Is r a prime number?
False
Let w(c) = -34*c + 8. Let j(f) = 135*f - 33. Let g(k) = -5*j(k) - 21*w(k). Let b be g(2). Suppose 66 + b = 3*y. Is y a composite number?
False
Let k = -452 - -663. Is k a prime number?
True
Let f(k) = k**2 + 5*k + 6. Let j be f(-4). Let h be j + (0 - 0)/(-2). Suppose 5*g - 800 = -5*d, 0 = -4*d + h*d + 5*g + 341. Is d prime?
True
Let j = -13 + 20. Suppose -597 = -j*f + 4*f. Let u = 332 - f. Is u prime?
False
Let i(v) = 5*v - 21. Is i(20) composite?
False
Is 4/10 - 7006/(-10) prime?
True
Let d be 2 - (-5 + (-1 - -3)). Suppose 299 = 4*k + d*x - 4*x, 3*k - 4*x - 210 = 0. Is k prime?
False
Suppose 1262 = 3*m - m - 2*t, -3*m + t + 1901 = 0. Is m a prime number?
False
Let b(c) = c**2 - c - 1. Let n be b(0). Let g = n + 4. Is g a composite number?
False
Let v = -2 - -16. Let s be ((-3)/2)/(30/(-560)). Let t = s - v. Is t prime?
False
Let g = -916 + 1805. Is g prime?
False
Let k be 0 + 12*(-3)/(-6). Let r = k - 7. Is (-2 - r) + 162 - 3 composite?
True
Let w = 4 + 0. Suppose 4*t - 243 = 3*m, -2*t = m - 25 - 94. Suppose w*i - t = -0*i. Is i a composite number?
True
Let s(i) = -12*i - 2*i**3 + 5*i**2 + 4*i + 3*i**3 - 5. Let u be s(-6). Suppose 57 = -4*l + u*l. Is l a prime number?
True
Let l be 18*14 + (3 - 1). Let s = l - 177. Is s a composite number?
True
Let v be (4/(-7))/((-4)/14). Suppose -5*f = 3*c + 19 - 160, -v*c + 94 = -5*f. Is c prime?
True
Let p(g) = 3*g**2 + g. Let a be p(-2). Suppose -3*o = -o - a. Let l(y) = -y**3 + 7*y**2 - 2*y + 6. Is l(o) a composite number?
True
Let j = -1 + 1. Let p be j/((-2 - -6)/2). Suppose p*b = 2*b + 4*s - 34, -37 = -2*b - s. Is b a prime number?
True
Let i = 1 + 1. Suppose -4*n = -i*n - 66. Is n prime?
False
Let n = 526 + -303. Is n prime?
True
Suppose s = 3*s - 8. Let d(h) = 4*h**2 + 2*h + 3. Let y be d(s). Suppose -4*w = w - y. Is w prime?
False
Let t(z) = 2*z**2 + 1. Let r be (-1*(3 + -1))/(-2). Let a be t(r). Suppose -136 - 11 = -a*n. Is n a prime number?
False
Let p = 7 + -4. Suppose p*a = -0*a + 291. Is a composite?
False
Suppose 0 = 5*r + 2*w + 2*w - 1545, 320 = r + 3*w. Is r composite?
True
Suppose -h + 82 = m, 5*m + h + 3*h - 407 = 0. Is m a prime number?
True
Suppose 5*m - 10 - 5 = 0. Suppose -i + 7 = -4*p, -m*p + p - 17 = -5*i. Is 35 + (-1 - p) + -2 prime?
False
Let k(b) = b**2 + 7*b - 4. Let h be k(-8). Suppose -o + 397 = 5*f, -h*o = -0*o - 5*f - 1588. Is o a prime number?
True
Let j = -927 + 1796. Is j prime?
False
Suppose 0*r + 4*r - 68 = 2*i, 4*r = -12. Is 3 + -4 - i*2 a composite number?
False
Is (-4 - -6)/(1/191*2) a composite number?
False
Let b(s) = -s**2 - 3*s - 3. Let y(z) = -2*z**2 - 5*z - 5. Let l(p) = -5*b(p) + 2*y(p). Is l(-12) prime?
True
Suppose -4*d = -2*x - 240, -x = -4*d + 4*x + 246. Is d prime?
True
Let l be 10/(-3)*(-3)/2. Let o = l + -5. Is 15 + (o - (-1 + 3)) prime?
True
Let c(n) be the first derivative of -n**4/4 - n**3 + 4*n**2 + 7*n - 3. Let f = 9 - 15. Is c(f) a prime number?
True
Let n be 4/18 + 2409/(-27). Let u = n + 176. Let k = 138 - u. Is k a composite number?
True
Let g(l) = 2*l**2 + 5*l - 3. Let h be g(-6). Let x = h - -10. Is x prime?
False
Let h(s) = s**3 + 8*s**2 + 9*s + 7. Let q be h(-6). Suppose 0*r = -5*r + q, 2*r - 662 = -4*d. Is d composite?
False
Let j(u) = -u**3 - u**2 - 4*u + 5. Is j(-6) a prime number?
False
Suppose m - 4*d + 9 = -0, -3*m + d = 5. Let g be -42*(2 + m - 2). Suppose -c = c - g. Is c prime?
False
Let z = 1932 - 992. Suppose 4*i - 5*o = 779, -i - 5*o + z = 4*i. Is i composite?
False
Is 596/6*(9/6 - 0) composite?
False
Suppose 2*j - 46 = 46. Is j a composite number?
True
Is (-6818)/(-42) - 2/(-3) prime?
True
Let v = -89 + 32. Let r = -5 - v. Suppose 5*z - r = 43. Is z prime?
True
Let o = 967 - 186. Is o a composite number?
True
Let u(i) = -i**3 - 2*i**2 - 3*i - 3. Let p be u(-2). Is (-2 + p - 216)*-1 prime?
False
Is 47 + ((-6)/(-2) - 4) composite?
True
Let t = 210 - 97. Is t prime?
True
Suppose 4*f - 4*v - 3008 = 0, 6*v - 2*v - 12 = 0. Is f a composite number?
True
Suppose 2*x = 29 + 35. Let o = x - -191. Is o prime?
True
Let x = -9 + 13. Suppose -x = o, 3*o = -2*b - 63 + 1093. Is b prime?
True
Let n(k) be the second derivative of k - k**2 + 0 - 1/12*k**4 + k**3. Is n(4) a prime number?
False
Suppose 4*p - 901 = -257. Is p a prime number?
False
Suppose -4*g + 870 = 34. Let a = g - 82. Is a a prime number?
True
Suppose -f - 170 = -2*x, 4*f + f + 20 = 0. Let p = 130 - x. Is p a prime number?
True
Let f be 3/3 + 6 + -1. Let z = 16 - f. Is z a prime number?
False
Let p be 2/(-8) + (-425)/(-4). Suppose -3*n = 37 - p. Is n a composite number?
False
Suppose 5*u - 3441 = -326. Is u a composite number?
True
Suppose -2*s + 4*h = -0*h, 0 = 4*s - h - 21. Let t = -4359 - -6111. Is t/20 + s/(-10) prime?
False
Suppose 3*x + 3*v + 2*v - 1527 = 0, 4*x + 2*v - 2036 = 0. Is x composite?
False
Let j(v) = v + 1. Let y be j(3). Suppose 2*b = -y*r + 502, 2*b + 266 = 2*r - 2*b. Is r prime?
True
Let t be (-2)/3 + 24/9. Suppose t*v - 74 - 440 = 0. Is v composite?
False
Let h = -159 - -80. Let o = -16 + -10. Let c = o - h. Is c prime?
True
Let w be (30/12)/(2/4). Suppose 3 - w = -l. Is -2*((-158)/4 - l) a prime number?
True
Let q be 58/18 + 2/(-9). Is ((-83)/(-2))/(q/6) a composite number?
False
Suppose 0 = 2*z + z - 42. Let y = z - -21. Is y a prime number?
False
Is (-2122)/4*-3*(-18)/(-27) a composite number?
False
Let r(x) = -x**3 - 4*x**2 - 4*x - 4. Suppose 18 = -5*g + u, -g = -0*u + 4*u - 9. Let l be r(g). Is (1 - l/1) + 2 prime?
False
Let d(u) = u**2 - u - 2. Let w be d(3). Suppose -295 = -l + 231. Suppose -5*n - w*r = -l + 179, 0 = -4*n + 5*r + 253. Is n a composite number?
False
Let v be (-6)/(-4)*4 - 1. Suppose 5*i = 7 + 18. Let l = i + v. Is l a composite number?
True
Let i = -3 + 5. Let v(p) = 0*p - p**2 + 2 + p - i*p + p**3. Is v(2) a prime number?
False
Let m be (12/10)/(12/80). Let v = m - 6. Is (62/(-6))/(v/(-6)) a prime number?
True
Let l(b) = -714*b**3 - b - 1. Let p be l(-1). Is (-2)/6 + p/9 prime?
True
Let d be -3*2/9*-3. Let o be 604/20 - d/10. Let h = 16 + o. Is h a prime number?
False
Let p(t) = -8*t**3 + t**2 - 6*t + 2. Let o be p(-6). Is (-8)/(-12) - o/(-6) a composite number?
True
Suppose -2*m - m + 1165 = -4*s, 1565 = 4*m - 3*s. Is m a composite number?
True
Suppose 0 = -4*c + 5*c - 3. Suppose -q = -v + 335 + 41, -c*q - 9 = 0. Is v composite?
False
Suppose -5*a + 555 = -8*a. Let n = a - -324. Is n a composite number?
False
Suppose q + 3*q - 596 = 0. Let z = q + -46. Is z prime?
True
Let d be (-4)/(1/(-9) - 0). Suppose 0 = l, -d = -h - 3*l - 15. Is 0 - h/(6/(-2)) a prime number?
True
Suppose 4*g = g - 30. Let o be 472/g - 3/(-15). Let l = 164 - o. Is l composite?
False
Let x be (-3)/3*52 + -1. Is 6/(-24) + x/(-4) a prime number?
True
Let i(a) be the second derivative of 3*a**3/2 + a**2/2 + 5*a. Is i(4) composite?
False
Let k be 30/(-4)*4/(-5). Suppose -k = -o + 86. Let s = o + -43. Is s a prime number?
False
Let d(u) = u**3 - u**2 + u + 14. Let t be d(0). Let q = t + 9. Is q a prime number?
True
Let i(k) be the third derivative of -k**6/120 - 7*k**5/60 - 11*k**4/24 + k**3/3 - 4*k**2. Is i(-5) a prime