 - 81 = 0, 0 = -j*v - 2*b + 111. Is v a prime number?
False
Is 2*359*3/6 prime?
True
Let t(v) = -v**2 + 18*v + 9. Is t(10) prime?
True
Let y = 237 - 161. Suppose -3*s - s = -y. Is s composite?
False
Let c be ((-75)/12)/((-2)/(-8)). Let h = 102 - c. Is h a composite number?
False
Suppose 2*r = -5*m + 798, 3*m + 6 = 3*r - 1149. Is r composite?
False
Suppose 0 = r - 3*r - 14. Let c be (-1 - (-2 - 0)) + r. Is ((-4)/c)/((-10)/(-465)) a prime number?
True
Suppose -2*a + 2*t = -8 - 174, 258 = 3*a + 2*t. Suppose g - a = -3*g. Is g a prime number?
False
Suppose -76 = -2*o + 28. Suppose 3*a + a = o. Suppose 3*m + a - 58 = 0. Is m a composite number?
True
Let n be 8/(-6)*6/(-2). Let c be (-178)/(2/n*-1). Suppose -3*w = -4*z - 374, 3*w = 2*z - 7*z + c. Is w prime?
False
Let b(i) = i**2 + 127. Is b(0) prime?
True
Suppose 3*f + 3 = 0, -8 = -4*o - f - 3*f. Suppose -o*d = -d - 4. Suppose -d*w + 5*w = 21. Is w prime?
True
Suppose 6*u = 11*u - 1535. Is u a prime number?
True
Let m be 3 + (3/(-3) - 1). Suppose -m = -0*l + l. Is 368/12 + l/(-3) a prime number?
True
Let a(h) = h**3 - 6*h**2 - h + 6. Let m be a(6). Suppose -3*k = -9 - m. Is k composite?
False
Let x = 4 - 1. Suppose j - 478 = x*p - 7*p, -3*p + j = -355. Is p composite?
True
Let f be (-14)/(-10) + (-3)/(-5). Suppose -f*k = -6*k + 228. Is k prime?
False
Let v(w) = -8 + 9 + 2*w + 3*w. Is v(1) a composite number?
True
Let g be (346/(-5))/(7/(-35)). Is 2/(-6) + g/3 prime?
False
Suppose -5*h = 5*t + 190, -5*t + 0*h = h + 170. Let n be (2 + -14)*t/(-9). Is (n/6)/((-1)/3) composite?
True
Let l = -506 - -765. Is l prime?
False
Let h be (-4)/(-12) - 16/3. Let m = 5 + h. Suppose -2*n + 0*n + 106 = m. Is n prime?
True
Let a = -25 - -18. Let k(o) be the first derivative of o**3/3 + 7*o**2/2 + 3*o + 3. Is k(a) composite?
False
Let k = 8 - 6. Is 1 + 221 - (k - 1) a composite number?
True
Let x(z) = 31*z**2 + 6*z + 4. Let d be x(6). Is d + 1*(2 + -1) a composite number?
True
Suppose -171 - 84 = 5*j. Let t = 1 - j. Suppose 2*k - t = 2*z, 2*k - 54 = -k - 3*z. Is k composite?
True
Suppose -8 = -4*f + 12. Suppose c - f*k = -3, 4*c - 3*c + 30 = -4*k. Let i = c - -32. Is i prime?
False
Let f(k) = k - 2. Let u be f(6). Suppose -u*r = -12, 5*t - 5*r + 10 = 100. Suppose 161 = 2*x - t. Is x a prime number?
False
Let x(l) = l**3 + 2*l**2 - 5*l - 4. Let q(p) = -p**3 + p. Let f(m) = -3*q(m) - x(m). Let z be f(3). Suppose -2*b = -0*b - z. Is b a composite number?
False
Let c(d) = -6*d**2 - d - 2. Let s(x) = 6*x**2 + x + 3. Let o(r) = -5*c(r) - 4*s(r). Is o(-5) prime?
False
Suppose 0*c - 2*c = v - 10575, -2*c - 52923 = -5*v. Is v a composite number?
True
Let h = 114 + -1. Is h prime?
True
Let o = -14 - -60. Let k = 133 - o. Is k composite?
True
Is 2*(-4)/((-16)/446) a prime number?
True
Suppose 3*w - 23310 = 3*g + 2*g, -4*w + 3*g + 31069 = 0. Is w a prime number?
False
Let f be 1/(-3) + 32/(-12). Let u be -3 - f - (-8)/2. Suppose u*c + 36 = 4*r + 12, 0 = -3*r - 2*c + 43. Is r a prime number?
True
Suppose -2*u - 158 = -4*u. Is u a composite number?
False
Suppose -k + 43 + 34 = 0. Let l = k + -30. Is l a composite number?
False
Suppose -5*m - 5*s + 10 = 0, s - 6*s - 2 = 2*m. Let t(w) = -5 - 15*w - 14*w + m*w. Is t(-4) a prime number?
False
Let s = 1306 + -765. Is s a prime number?
True
Suppose 4 - 2 = f. Suppose f*l = l + 161. Is l composite?
True
Let o(m) = -50*m - 3. Is o(-7) a composite number?
False
Let t = 212 + -141. Is t composite?
False
Suppose 0 = -0*b + 2*b - 92. Suppose k + m + 0*m - 2 = 0, 5*k - 4*m = b. Is k composite?
True
Suppose 6410 = 3*d - 4951. Is d prime?
False
Let j(v) = -14*v - 7. Let s(c) = -4 + c + 4. Let a(u) = -j(u) - s(u). Is a(6) a prime number?
False
Let f(h) = h - 2. Let s be f(4). Let r be ((-1)/s)/((-2)/12). Suppose -r*x - x = -60. Is x composite?
True
Is 2902/(-6)*(0 - -6 - 9) prime?
True
Let j = 0 - -3. Suppose -j*m + 68 = -34. Is m a composite number?
True
Let o = -163 + 228. Is o prime?
False
Let k be -2*2 - 0/8. Let v = k - -19. Is v a composite number?
True
Let g(m) = 6*m**2 + 7*m + 6. Let c(p) = p**3 + 4*p**2 - 5*p - 7. Let l be c(-5). Is g(l) a composite number?
False
Suppose -3*u - p = -13, -3*u + u + 3*p + 27 = 0. Let z = -4 + u. Is z/(-1) - 27*-7 prime?
False
Let c(l) = 9*l**2 + 4*l. Is c(-3) a prime number?
False
Suppose -4*w + 2 = -2*t, -5*t + 8 - 1 = -4*w. Suppose 2 = -f, -j + 0*f + 86 = 3*f. Suppose s + t - j = 0. Is s prime?
True
Suppose -5*b + 3*x + 83 = -0*x, -5*b = x - 99. Is b prime?
True
Suppose -8*b = -5*b - 789. Is b composite?
False
Suppose 0 = 2*x + 3*x - 20. Suppose 0 = -x*g - g + 10. Suppose 79 = p + 4*v - 48, -g = 2*v. Is p a prime number?
True
Let v(t) = -23*t + 3. Is v(-4) composite?
True
Let x(v) be the second derivative of -v**5/20 - v**4/4 + v**3/2 - v**2 - v. Let c be x(-4). Suppose c*d = 7*d - 115. Is d prime?
True
Suppose 0 = 4*l + 2*j - 112, 0 = -4*l - j - 0*j + 112. Suppose -2*g = 2*a + 2, -g + l = 3*g - 4*a. Suppose -g*p + 26 = -p. Is p composite?
False
Is ((-9)/(-3) + -62)/(-1) a composite number?
False
Suppose n - 27 = -8. Suppose 2*d = -209 + n. Let w = -64 - d. Is w a composite number?
False
Let z = 790 + 547. Is z a prime number?
False
Suppose 0 = a - 0*a. Let o(v) = -2*v - 10. Let z be o(-5). Suppose z = -a*k + k - 2. Is k a prime number?
True
Let p(y) = 7*y + 13*y - 2 - 13*y. Suppose 5*q + 3*i = 7*i + 27, -5*i + 3 = -q. Is p(q) a composite number?
False
Suppose 0*p = 2*p + 30. Is p/10*(-158)/3 a composite number?
False
Is 3 + 1 - 1*-181 prime?
False
Suppose j - 3*j - 350 = 0. Let w = j - -381. Is w prime?
False
Suppose -n - 2*n = 36. Is 2/n + 129/18 a prime number?
True
Suppose 0 = -x - 2*v + 343, 2*x + 3*v - 591 - 100 = 0. Suppose -x = -5*c + 252. Is c a prime number?
False
Let t = 887 - -87. Is t prime?
False
Let n be ((-16)/6)/((-1)/(-27)). Let f = n + 181. Is f a prime number?
True
Let r(o) = o**3 + 3*o**2 + 2*o + 4. Let q be r(-3). Let j = q + 6. Suppose -4*u - 2*f + 14 = j, 0 = -2*u - 4*f + 2. Is u a prime number?
True
Let s(z) = 25*z + 41. Is s(20) a composite number?
False
Suppose -8*z = -3*z - 20. Suppose 2*n = z*n - 534. Is n prime?
False
Let p = 100 - -289. Suppose -u - p = -2*y, -5*y - u + 986 = u. Suppose 4*b - y = -0*b. Is b composite?
True
Let l(k) = k**2 + 4*k + 2. Let z be l(-2). Let n be (10/4)/((-1)/z). Suppose -n*t = -2*t - 249. Is t composite?
False
Suppose -92 = 3*p - 7*p. Is p a composite number?
False
Suppose -2*w + 8 = 4*v, 3*w = v + 2 - 4. Suppose -3*g + 5*o + 261 = w, -1 = -3*o + 8. Suppose -3*n + g + 103 = 0. Is n a prime number?
False
Let v(z) be the third derivative of 67*z**4/12 + 2*z**3/3 + 4*z**2. Let u be v(-4). Is ((-6)/8)/(7/u) a prime number?
False
Let t be (56/6)/(2/132). Let g = -325 + t. Is g a prime number?
False
Is (1 - 4)/(6/(-1538)) prime?
True
Let f = -2936 - -5791. Is f composite?
True
Is 77 - (-4 - (2 + -4)) a prime number?
True
Let d be -4 + 2 + 0 - 0. Let l = 7 + d. Let g(n) = n**3 - 2*n**2 - 4*n - 4. Is g(l) a composite number?
True
Suppose -62*v + 4535 = -57*v. Is v composite?
False
Let h = -3 + 7. Suppose s + 267 = h*s. Is s composite?
False
Let j = 1060 + 1753. Is j composite?
True
Let c = 123 + -40. Is c prime?
True
Let g(f) = -f**3 - 9*f**2 - 9*f + 2. Let y be g(-8). Suppose 0 = 2*k - 28 - y. Is k composite?
False
Suppose -t - 181 = d - 513, 2*t + 5*d = 667. Is t composite?
False
Let u = 190 - -723. Is u a prime number?
False
Let b(j) be the first derivative of 31*j**2/2 - 3*j - 2. Let h be b(6). Suppose l = -3*z + h, z - 2*l - 59 = -3*l. Is z composite?
True
Let g(l) = -l**3 + 9*l**2 - 5*l + 4. Let w = 17 - 12. Is g(w) prime?
True
Let q = -40 - -72. Suppose -z + q = z. Suppose 0 = -u + 3*d + z, -4*u - d + 5*d + 40 = 0. Is u a composite number?
False
Suppose -6*x - 1964 = -10*x. Is x a composite number?
False
Let b(p) = -14*p + 11. Is b(-4) prime?
True
Let z be (-70)/(-8) + (-2)/(-8). Let g be (-48)/z*6/(-2). Suppose 2*p - 102 = g. Is p a prime number?
True
Suppose -h - 6 = 32. Let v = 0 - h. Suppose 0*i + 2*i = v. Is i a composite number?
False
Let s be (-2)/3 + 109/(-3). Let a(u) = 13*u. Let x be a(-4). Let y = s - x. Is y prime?
False
Let f(d) = d - 5. Let r be -2 + 2*(-27)/(-6). Is f(r) prime?
True
Let l be (24/(-4 - -1))/(-2). Let z(y) = -y**3 - 5*y**2 - 6*y - 4. Let t be z(-4). Suppose 2*b 