 - (-1 + -16) prime?
False
Suppose -2*w + 231 = -h, 3*h + 677 - 214 = 4*w. Is w composite?
True
Suppose -p = 5*c - 19, -p + 5*c - 4 - 27 = 0. Let j be (-2 - -5)*(-2)/p. Is 147/4 + j/4 composite?
False
Suppose 5*k - 3*f = -401 + 1680, -k + 266 = -4*f. Is k a prime number?
False
Let v be (-404)/(-3)*6/(-4). Let i = v + 325. Is i composite?
True
Let l = -156 - -220. Is l/10 - (-9)/15 composite?
False
Suppose 2*i - i = -u + 6, -5*u - 10 = -5*i. Suppose c - 3*c + v + 313 = 0, u*c + v = 315. Is c composite?
False
Let o = 7 - 2. Suppose -o*z + 566 = -2*v + 5*v, -5*v = -4*z + 475. Is z a prime number?
False
Let f(k) = 35*k**2 + 4*k + 5. Let h(a) = a**3 + 5*a**2 + 4. Let b be h(-5). Is f(b) a prime number?
False
Suppose 3*x - 126 = 10*x. Let a = -3 - -225. Is (-60)/x*a/4 prime?
False
Is 3 + 38 + (-8)/2 composite?
False
Suppose -g = -4*x + 375, 53 = x - g - 37. Let q(v) = 2 - x*v - 9 + 8. Is q(-2) a prime number?
True
Suppose -3*p + 3*r = -164 + 2, -p - r + 44 = 0. Is p a composite number?
True
Let k(m) be the third derivative of 7/40*m**6 + 0*m**3 - m**2 + 0*m + 1/24*m**4 - 1/60*m**5 + 0. Is k(1) a prime number?
False
Let x be 7 + (-3)/(3/2). Suppose w + 3*t + x = 2*w, 3*w - 15 = 3*t. Suppose w*c - r - 2*r - 258 = 0, 4*r = -4. Is c a composite number?
True
Suppose -3*p = 2*p - 185. Suppose w = 4*z - 100, 3*z - 75 = -2*w - w. Suppose -2*h + z = -p. Is h a prime number?
True
Suppose -n = -1138 - 261. Is n a composite number?
False
Suppose 213 = 2*i - 0*r + r, -5*i - 5*r = -535. Is i a composite number?
True
Suppose -5*y + 389 = -1296. Is y a prime number?
True
Let l be 8/20 + 4/(-10). Suppose 4*j - 7*j = l. Suppose j = 2*n - 82 - 16. Is n composite?
True
Let f be 2544/15 - 4/(-10). Suppose 3*n + 9 = -2*n - 3*u, 5*n = 2*u + 6. Suppose n*b + f = 2*b. Is b a prime number?
False
Suppose 131 = 3*m + a, -2*a = -3*m - 7*a + 151. Suppose 5*x = o - m, -o + 4*o - 2*x - 165 = 0. Is o a prime number?
False
Suppose -c = 3*c - 8. Is (1414/21)/(c/15) prime?
False
Let f(a) = 3*a - 3. Let b(u) = u + 4. Let i be b(-7). Let l be f(i). Is (-219)/(-12) - 9/l prime?
True
Suppose 0 = -5*d + 44 + 26. Suppose 0 = 5*r - 12 + 2. Is 0 + (d - 2) - r a prime number?
False
Let z(m) = 6 + 7 - 1 + m. Let d be z(-9). Suppose 39 - 6 = d*q. Is q composite?
False
Let r(c) = -2*c**3 - 4*c**2 + 4*c - 4. Let l be r(-4). Let g = l + -13. Is g prime?
True
Suppose -5*a + 29 = -3*x - 6, -2*a + 3*x + 14 = 0. Let u = 104 - a. Is u a prime number?
True
Let i(t) = t**2 + 6*t - 22. Is i(-21) composite?
False
Let h be 27/12 + (-1)/4. Is h + (-3 - -18 - -2) a composite number?
False
Suppose -9*k + 3155 = -4*k. Is k composite?
False
Suppose 0*u = -u - 922. Let y = -455 - u. Is y a composite number?
False
Suppose 4 = r + 3. Let j(s) = 0 - r - 8*s + 0. Is j(-6) prime?
True
Suppose 0 = 6*d - 4*d - 6, 2*u - 4*d = -60. Let x = 61 - u. Is x composite?
True
Suppose 5*l - 15 = 0, -2*r - 306 = -7*r + 3*l. Suppose 5*u - r = -8. Suppose 5*t + u = 121. Is t a composite number?
True
Let l be 11/(-11) + (0 - -1). Is (1 + l)*(145 - -4) a composite number?
False
Suppose 70 = 2*l + 5*s - 66, 2*l + s = 136. Is (l - (2 - 1))/1 a composite number?
False
Suppose 5*v - 2*i = -2767, v - 5*v - i - 2211 = 0. Let g = 840 + v. Is g prime?
False
Let g(o) be the second derivative of o**5/20 - o**4/12 - 7*o**3/6 + 5*o**2/2 + 3*o. Is g(4) a composite number?
True
Is 1 + 0 + 677 + -1 prime?
True
Let n(u) = -u**2 - 6*u - 2. Let o be n(-6). Let m = 0 + o. Is (14 - (2 + m)) + -1 a composite number?
False
Let b be -10*12/(-8)*1. Suppose -17*n = -b*n - 754. Is n composite?
True
Let t(l) = -l**3 + 2*l**2 - 11*l + 7. Is t(-5) prime?
False
Let h be ((-12)/18)/(4/(-30)). Suppose -2*w = -r - h*w + 85, -w = -3*r + 235. Is r prime?
True
Let f = 16 - -771. Is f composite?
False
Let j(b) = -2*b**2 - b. Let o be j(1). Let n = o - 2. Let z = 38 + n. Is z composite?
True
Let n be (-5)/(-5) - (0 - 0). Let f be (-5)/10 - n/2. Let z(j) = 34*j**2 - j. Is z(f) a composite number?
True
Let h = 753 + -530. Is h composite?
False
Let i = -6 + 10. Let l be (42/i)/((-4)/(-16)). Suppose -8 = 4*p - 5*p - u, 4*u = -5*p + l. Is p a prime number?
False
Suppose 5*n = 2*k - 6*k + 285, -2*n + 2*k = -132. Suppose 6*y = 4*y + 146. Suppose 0 = -3*b - 5*d + y, -b + 4*b - d = n. Is b prime?
False
Let v(a) = 39*a - 34. Is v(9) a composite number?
False
Let n(f) = 69*f + 4. Is n(3) a prime number?
True
Suppose 4*t = -4*v + 4, v - 7 = -3*t - 0*v. Is t prime?
True
Let d(t) = -t**2 + 5*t + 3. Let h be d(5). Suppose -i = -h*i. Suppose -4*u + i = -156. Is u composite?
True
Suppose -i = z + z - 61, 0 = -5*i - 3*z + 284. Is i prime?
False
Let b(r) = -r**2 + r - 1. Let p(o) = 9*o**2 - 10*o + 7. Let q(u) = -b(u) + p(u). Let m be q(8). Is m/15 - (-1)/(-3) composite?
False
Is (206/(-4))/((-42)/12 - -3) a composite number?
False
Let a(w) = 4*w + 6 + 5*w - 5*w + w. Is a(5) composite?
False
Let k be (1/(-3))/(7/105). Let y be 1 - ((-6)/2 - 28). Let w = y - k. Is w composite?
False
Suppose 710 + 345 = 5*k. Is k a composite number?
False
Let i be ((-1443)/(-6))/(2/(-8)). Let r = 1429 + i. Is r composite?
False
Let s = 45 + -607. Let q = 794 + s. Let o = 417 - q. Is o a composite number?
True
Let v(h) = 71*h**2 + 2. Let x(j) = 70*j**2 + 1. Let t(w) = -2*v(w) + 3*x(w). Is t(1) prime?
True
Suppose -4*k + 4*s + 11388 = -708, -3*k = -s - 9068. Is k a composite number?
True
Suppose 5*z = 2*n + 17817, -n + 14251 = z + 3*z. Is z composite?
True
Let j(c) = -c**2 - 9*c - 1. Let q(i) = -i**2 - 8*i. Let m(o) = 3*j(o) - 2*q(o). Let z be m(-11). Is 0 + 3 + z + 55 composite?
True
Let z(s) = -s**3 - 3*s**2 + 45*s + 1. Is z(-14) a composite number?
True
Let c(g) = -g**2 - 4*g + 7. Let r be c(-5). Is (-10)/(-15)*309/r composite?
False
Suppose -q - 472 = -a + 148, -4*a - 2*q = -2498. Is a a composite number?
True
Let r(a) = 2*a**3 - 14*a**2 - 6*a - 21. Is r(10) a prime number?
False
Let p be -18*(-2 - 258/9). Let m = p - 265. Is m prime?
False
Suppose -11 = u - 36. Suppose 0 = 5*o - u, -2*g - 3*o = -148 - 21. Is g composite?
True
Let n(h) = -h**2 + 3*h - 3. Let d be n(2). Let a be (-1)/(d - 1/(-2)). Is a/((-3)/18*-2) a prime number?
False
Suppose -246 = -2*b + 2*g, -b + 0*b = -2*g - 128. Is b a prime number?
False
Let i = -5 + 7. Suppose -i*w - 20 = 2*w. Is w/20 - 378/(-8) prime?
True
Let z = 154 - -57. Is z composite?
False
Let y(n) = 12*n + 7. Suppose a = 4*a - 3*v + 66, 0 = -a - 2*v - 7. Let p(k) = 35*k + 20. Let i(j) = a*y(j) + 6*p(j). Is i(2) a composite number?
False
Let g be (-1772)/(-20) - 4/(-10). Suppose -2*h = -g + 15. Is h a prime number?
True
Let j(g) = -g - 5. Let z be j(-6). Is ((-534)/(-30))/(z/5) composite?
False
Let w(q) = -q**3 + q**2 - q - 6. Let t(n) = -n**3 + n**2 - n - 7. Let s(r) = -2*t(r) + 3*w(r). Is s(-3) a prime number?
False
Let y(b) be the third derivative of b**6/40 - b**5/15 + b**4/12 + b**3/3 + b**2. Let g be (1/(-2))/(2/(-12)). Is y(g) composite?
False
Let p be (12/(-3))/(2/(-575)). Suppose 5*b - m - p = b, -3*b - 3*m = -855. Is b a prime number?
False
Let o be 3/(-6)*-1*0. Let q(k) = -k**2 - k + 19. Is q(o) prime?
True
Suppose 3*w - 3026 = -293. Is w a composite number?
False
Let g(w) = -w**3 - 2*w**2 + 3*w + 3. Let y be g(-3). Suppose 0 = -v - y*v + 20. Is v + -6 + (-20)/(-1) a prime number?
True
Let z be 6/4*2*-2. Let q(v) = -3*v - 2. Let p be q(-6). Let t = p + z. Is t a prime number?
False
Let t be (508/(-6))/(3/9). Let z = -37 - t. Is z a composite number?
True
Let a = -18 + 44. Let f = a - -45. Is f a composite number?
False
Let s be 7/(-9) + 4/(-18). Let x be s - (-3 - (-2)/(-2)). Is 104 + (-3)/(x - 0) a composite number?
False
Suppose -2*c + 323 = -119. Suppose -l = -3*v - 105 + 7, v + c = 2*l. Is l a composite number?
False
Suppose 0 = 2*l - 258 - 20. Is l a composite number?
False
Let k(o) = o**2 - 6*o + 2. Let l be k(4). Is 157 + 0/(l/3) a prime number?
True
Is 45940/50 - (-2)/10 a prime number?
True
Suppose -5*v = -3 - 12. Suppose 4*t = -4*s + 28, -v*t = -s + 2*t - 17. Suppose -s*h + 55 = -2*h. Is h prime?
False
Let s = -515 + 818. Is s prime?
False
Let l(h) = -h**2 + 4*h + 5. Let v be l(6). Is (v + 6)/((-2)/326) a composite number?
False
Suppose 573 = 3*r - 0*r. Is r a composite number?
False
Let v(n) = 8*n - 9. Suppose 0 = 5*y + 5*w - 20, 3*y - 28 = -0*w + w. 