*s - 2*w - 757 = -277, 3*s - 3*w + 360 = 0. Let m = -362 - -547. Let o = m + s. Is o a prime number?
False
Let n(f) = -4*f - 4 - 2 + 107*f. Let t be n(7). Suppose 3*j - t = -2*j. Is j composite?
True
Let t = 2852 - 1625. Is t a prime number?
False
Suppose -2 = -2*f + 2, 766 = 2*n + 2*f. Is n prime?
False
Suppose f = -4*a + 29, 2*f - 3*f - 3*a + 25 = 0. Let g = f - 9. Is 149/g + (-1)/4 a prime number?
True
Suppose 2*y + 119 = 17. Is 1 - y - (15 - 12) prime?
False
Let c(v) = v**2 + 3*v - 3. Let s be c(-4). Let l = s + 4. Suppose 0*q - l*q = -485. Is q prime?
True
Suppose 2*u - 785 = -3*u. Is u a prime number?
True
Let m be (-1199)/9 + (-14)/(-63). Let b = m + 218. Is b composite?
True
Suppose -4*x - 2*x + 126 = 0. Let i = 31 - x. Is i composite?
True
Is (-6)/(60/(-11665))*2 a composite number?
False
Let b(m) = -3 + 3 - 40*m. Let i be b(-1). Suppose -5*s = -i - 775. Is s a composite number?
False
Let w(i) = i**2 - i + 2. Let n be w(2). Let m(k) = k**2 - 3. Let x be m(n). Let j = 1 + x. Is j a composite number?
True
Let b(s) = -70*s + 1. Is b(-1) prime?
True
Let m = 14 + -9. Suppose 12 = 3*y, 482 = m*d - 3*y - 266. Suppose -5*r = -z - 1 + 9, 4*r = -4*z + d. Is z a composite number?
True
Suppose -j - 12 = -5*j. Suppose 2*m = 5*g + 105, 0 = j*m + m + 2*g - 222. Is m a prime number?
False
Let u = 11 + -8. Suppose 0 = -3*i + 4*i - 226. Suppose b + i = u*b. Is b composite?
False
Suppose 0 = 5*w - 2*w - 12. Suppose -2*g - g = y - 362, 2*g - w*y = 218. Is g prime?
False
Let t(f) = -31*f - 28. Is t(-15) composite?
True
Let n = -10 + 16. Suppose -n*f - 12 = -3*f. Let w(d) = 17*d**2 + 4*d - 3. Is w(f) prime?
False
Suppose 0*c - 4 = -2*c. Suppose 5*h - 2*y - 94 = 0, 0 = -4*h - 4*y + 2*y + 86. Is (-11)/(c*(-2)/h) a prime number?
False
Let d(h) be the third derivative of -h**6/120 - h**5/6 - h**4/8 - 3*h**3/2 - 41*h**2. Let b = -25 - -15. Is d(b) prime?
False
Suppose 2*t - 47 = h, -5*t - 3*h + h + 95 = 0. Suppose -2*g - 114 = 3*a + 16, -4*g = -a - 48. Let q = t - a. Is q a prime number?
False
Suppose 3*i - 508 = -2*g + 399, 15 = 5*i. Is g composite?
False
Let m be ((-8)/10)/((-4)/30). Let s = m + -14. Is ((-10)/s)/((-1)/(-44)) a prime number?
False
Let r(j) = j**3 - j + 2. Let b be r(0). Suppose n + 4*n = p - 74, 0 = -p + b*n + 59. Is p a composite number?
True
Let p(l) = 9*l - 4. Let g be p(11). Suppose -h + i + g = 2*h, 0 = 5*h - 4*i - 163. Is h a composite number?
False
Suppose 3*m + 121 = 535. Suppose -g + 5*g = 5*k + m, -10 = -5*k. Is g prime?
True
Let o(w) = w**2 + 10*w + 5. Let m be o(-4). Let g = m - -11. Let l(d) = d**3 + 8*d**2 - 3*d - 2. Is l(g) composite?
True
Let r be (1/3)/(7/(-21)). Is ((-1099)/(-21))/(r/(-3)) prime?
True
Suppose 4*h = -8, -1645 = -4*q + 2*h + 163. Is q prime?
False
Let n = -128 + -163. Is n/6*(-1 - 1) prime?
True
Let m(q) = 16*q**2 - 4*q - 1. Is m(10) prime?
True
Suppose 5*i = 4*i + 3. Suppose -3*t + i*h + 6 = 0, -16 = -5*t - 4*h + 3*h. Suppose 0 = t*a - 6 - 6. Is a a prime number?
False
Let q = 288 + 57. Let r = 71 + q. Suppose 2*s - 18 = r. Is s prime?
False
Suppose 111 = 3*q - 2*t, -t + 67 = q + q. Suppose -122 = -z + q. Is z a prime number?
True
Suppose -5*h = -4*c - 11, c - 2*h + 1 = h. Suppose 0 = 4*x - i - 23, 4*x - 3 = -2*i + 23. Let j = x + c. Is j a composite number?
False
Let b(i) = i - 6. Let z be b(8). Suppose -z*a + 5*a - 69 = -j, -2*j + 92 = 4*a. Is (-2 + a + -2)*1 a prime number?
True
Suppose -28 = 4*n + 3708. Is (n/3)/((-6)/9) a composite number?
False
Let h = 8 + -4. Let u be 23/4 + h/16. Is (-9)/u*(-652)/6 a prime number?
True
Suppose 6*a - 25 = a - 2*q, 14 = -2*a + 4*q. Suppose 5*j - 159 - 26 = -2*p, 0 = 2*j - a*p - 55. Let o = -21 + j. Is o a composite number?
True
Let z(y) = -y**3 + 2*y**2 + 2*y - 3. Let v be z(2). Let p(a) = 6*a**2 + 5*a - 4. Let n(t) = -6*t**2 - 6*t + 5. Let r(o) = 3*n(o) + 4*p(o). Is r(v) composite?
False
Suppose 2532 = r - 4949. Is r prime?
True
Is (4 + 35/(-21))/((-2)/(-498)) a composite number?
True
Let s(k) = k + 20. Let f be s(-10). Suppose -w = l - 11, -l - f = -w - w. Is w prime?
True
Let s(i) = 2*i**2 - 1. Let y be s(2). Suppose -3*x + y*x = b - 129, b - 3*x = 124. Is b composite?
False
Suppose 0 = a - m - 1215, 7*a + m - 6051 = 2*a. Is a prime?
False
Let m = 10 - 6. Suppose m*h = t + 574, h - 2*t - 153 = 3*t. Is h prime?
False
Let m be (-12)/(-16) + 6/(-8). Suppose 0 = -m*n - 5*n + 285. Is n a composite number?
True
Is 4922/2*(-5 + 6) prime?
False
Let w be (-395)/15*(-26 + 2). Let k = w + -333. Is k a composite number?
True
Let l(q) = 4*q**2 - q + 1. Let c be l(1). Suppose -c*j + 325 = -3*j - 5*m, j = m + 333. Is j composite?
True
Suppose -3*l + 1 = -8. Suppose -l*v = -0 + 3. Is v/4 + 87/12 a composite number?
False
Let y(x) be the third derivative of -x**6/120 - 2*x**5/15 - 5*x**4/12 - 3*x**3/2 + 2*x**2. Is y(-8) prime?
True
Let c be 4/((-16)/4) - -3. Suppose c = -5*h + 777. Is h prime?
False
Let v = 7 + -4. Suppose -4*f - m + 259 = 0, -v*f + 2*f + 2*m = -67. Suppose -3*d + f = 2*d. Is d prime?
True
Let p(n) = 46*n - 12. Let h be p(5). Is (h/(-3))/(32/(-48)) composite?
False
Suppose -v = 4 + 4. Let m = -14 - v. Is 201/(-2)*4/m a composite number?
False
Let d(l) = l**2 + 12*l - 11. Suppose -5*a = -a - 32. Is d(a) prime?
True
Is 4/16 - (-1030)/8 a prime number?
False
Let m = 2 + -2. Suppose -4*h - 103 + 491 = m. Is h a prime number?
True
Let h(b) = b + 3. Let a be (-24)/18*1*3. Let n be h(a). Is n + 17/1 + 3 composite?
False
Let c = -9 + -1. Let u = 45 - c. Is u a prime number?
False
Suppose 0 = -3*v + 3*d + 1950, 1944 = 7*v - 4*v - d. Is v composite?
False
Suppose 3*z = -5*m + 2190, 3*z + m = -m + 2190. Let x = z + -437. Is x prime?
True
Suppose -3*v - 416 = -3*z - 2*v, -560 = -4*z - 4*v. Is z a prime number?
True
Let r(a) = 127*a. Is r(1) a composite number?
False
Let b(n) = -n**2 - 7. Let o be b(0). Let w = o - -11. Let r(f) = f**2 + 5*f - 1. Is r(w) composite?
True
Let x = -21 + 7. Is (-458)/x - 14/(-49) composite?
True
Suppose 4*z - 1963 = -543. Is z a prime number?
False
Suppose 5*x = 2*x + 9. Suppose 137 = -x*t + 476. Is t a prime number?
True
Let w(i) = 38*i**2 - 2*i + 1. Is w(1) composite?
False
Suppose -2*l + 3*l = 2985. Is 3/(-12) + l/20 a prime number?
True
Let o be 0 + (-3)/(-3)*301. Let a = -50 + o. Is a a composite number?
False
Let d be 137*(-1)/(-4 + 3). Suppose -d - 161 = -2*z. Is z prime?
True
Let y = 25 + -24. Is (y - 1062)/(-1 - 0) prime?
True
Suppose 0*g = g - 4, -2*g = 3*m + 55. Let i = 54 + m. Is i a prime number?
False
Let u be 25 + (2 - 2 - 3). Suppose -u = -3*g + g. Is g a composite number?
False
Suppose 0 = -4*l + 8177 - 1549. Is l composite?
False
Let u(k) = -k**3 - 15*k**2 - 4*k - 29. Is u(-20) composite?
True
Let x(l) be the first derivative of -l**6/120 + 7*l**5/60 - 5*l**4/24 - l**3 - l**2 - 2. Let r(w) be the second derivative of x(w). Is r(5) composite?
False
Let x be (-32)/(-18) - (-4)/18. Suppose 0 = 8*f - 4*f + 4*k - 884, -x*f = -4*k - 424. Let g = 339 - f. Is g composite?
True
Let b(g) = 11*g**2 + 3*g - 1. Let m be b(-3). Let c = m + -56. Is c prime?
False
Let i = -100 + 153. Is i prime?
True
Suppose -2*a - 3*g + 128 = -5*g, -5*a + 3*g + 314 = 0. Suppose 4*l + 53 + 43 = 0. Let f = a + l. Is f prime?
True
Let r(d) be the first derivative of d**4/6 - 11*d**3/6 - d**2/2 + 1. Let s(m) be the second derivative of r(m). Is s(11) composite?
True
Suppose 3*t = -x + 269, 0 = -4*t + 3*t + 3*x + 83. Is (10 - 8)/(2/t) a prime number?
True
Let h = 194 - -39. Is h a prime number?
True
Let w be (8/(-24))/(2/(-18)). Suppose -w*m = -80 + 11. Is m a prime number?
True
Let l be 713*(2 + (-4)/4). Let g = 33 + -373. Let n = l + g. Is n a composite number?
False
Let u = -4 + 6. Suppose -42 = -u*k + 8. Let c = k + -14. Is c a prime number?
True
Let d be ((-107)/(-4))/(4/16). Let i(t) = -t**2 + 4*t. Let g be i(2). Suppose d = g*r - 17. Is r a prime number?
True
Let z(m) = -2*m**3 + 1. Let b be z(-1). Suppose -b*h + 4*h - 1 = 0. Is h*-2*290/(-4) prime?
False
Let c(a) = a - 1. Let t be c(4). Let u = t + -1. Is u a prime number?
True
Suppose 0 = 3*y - 0*y - 24. Let h = y + 13. Let c = h + -14. Is c composite?
False
Let g = -21 - -25. Is 1030/4*g/5 a prime number?
False
Let z(f) = 2*f - 7. Suppose 2*n + 3 = -n. Let o be (-9)/(-1) + 2*n. Is z(o) composite?
False
L