number?
False
Let w = 6 - 4. Suppose 5 = -5*z + 2*g - 0*g, g = 3*z + 3. Is z + w - (-198)/3 a composite number?
False
Let h(c) = -6*c - 7. Is h(-11) a composite number?
False
Suppose 0 = 6*a - 803 + 293. Is a a prime number?
False
Suppose -3*w + 1449 = 4*f, -2410 = -5*w - 3*f - 2*f. Is w a prime number?
True
Suppose -3*u = -4*u + 1. Let s = 8 - u. Is s prime?
True
Suppose -4*j + 9 = 3*r, j - r - 1 = -4. Let f(u) = 4*u**3 + u**2. Let p be f(1). Suppose 2*b - 197 = -3*w - j*w, -p*b - 10 = 0. Is w a composite number?
False
Suppose -5*i + 11 = 1, -5*d + 2*i = -4391. Is d composite?
True
Suppose -4*k - 4*c = -75 - 457, 0 = 3*c. Let b = -166 + 72. Let s = b + k. Is s composite?
True
Suppose 5*o = -3*c + 4637 - 1460, -5*o + 3*c + 3153 = 0. Is o a prime number?
False
Suppose 0*b = -2*b + 28. Suppose -2*c + 4*l = -4*c, 0 = -4*c - l + b. Suppose 0 = 2*y, -5*y = -n - c*y + 4. Is n composite?
True
Suppose -1 + 10 = -3*j. Is 17/(2*j/(-102)) prime?
False
Suppose -k = -h + 143, -431 = -3*h + 2*k - 0*k. Is h a composite number?
True
Let h = 104 + -25. Is h a prime number?
True
Is ((-1)/2)/((-10)/13580) a composite number?
True
Is (-2 + 1143/(-4))/((-8)/32) prime?
True
Let a(l) = l**2 - 5*l + 9. Let h = -5 - -1. Let o = 10 + h. Is a(o) prime?
False
Let u(g) = -g**3 + 3*g**2 + 3*g + 2. Let k be u(4). Is (-1)/k + (-157)/(-2) composite?
False
Let i(l) = -12*l - 1. Let a be (2 + -1)*(2 - 4). Let y be i(a). Suppose -h - y = -2*h. Is h prime?
True
Suppose 2 = -4*v + 18. Suppose 28 = -v*x - 3*m, -5*m + 11 + 19 = -x. Is 374/10 - (-4)/x composite?
False
Suppose 5*a + 5*v = 7795, 4*a + 3*v = -0*a + 6235. Suppose 5*y + 453 = a. Is y composite?
True
Let h(f) = 2*f**2 - 5*f + 6. Is h(7) prime?
False
Let t(d) = -d**2 - 10*d - 9. Let x be t(-7). Suppose -b = -x - 21. Is b a composite number?
True
Let x(u) = 6 + 0*u**3 - 2*u**3 + 7*u**2 + u + 3*u**3 - 2. Is x(-5) prime?
False
Let z = -6 + 10. Suppose 227 = -5*h + 1057. Suppose -v = n - 145, -z*v - 5*n + h = -410. Is v a prime number?
True
Let d = 15 + -16. Is d/((9/(-1623))/3) a prime number?
True
Suppose -3*x = -3*u + 126, -u = -4*u + 5*x + 124. Is u composite?
False
Suppose 788 = 6*t - 4*t + 2*q, -1555 = -4*t + 3*q. Is t composite?
True
Let k(o) be the first derivative of o**4/4 - 2*o**3/3 - o**2 + o - 1. Suppose w + 14 = 4*f, 2*f - 16 = 5*w - 0*w. Is k(f) composite?
True
Let a(t) = 5*t**2 - t + 1. Let z be a(1). Suppose z*m = 2*s - 98, 14 = -3*s + 3*m + 179. Is s a prime number?
True
Let s = -1 - -1. Suppose 5*f - 7 + 97 = s. Let b = f + 37. Is b composite?
False
Suppose 5*o - 20 - 15 = 0. Suppose -2*c + o*c = 50. Is c a composite number?
True
Let z be ((-12)/24)/((-1)/354). Let r = 82 + z. Is r prime?
False
Let w be 2/9 - (-950)/18. Let y be 69/12 - (-2)/8. Suppose -y = 3*t, -5*t - 161 = -2*c - w. Is c composite?
True
Let g(f) = -f**2 - 6*f - 6. Let a be g(-4). Let r = -2 + a. Suppose r*z - z + 10 = 0. Is z prime?
False
Let h be -1 - (1 + 2)/(-1). Let o(u) = 1 - 3*u**2 + u - 5*u + h*u + 17*u**2. Is o(2) a prime number?
True
Let z(u) = -17*u + 2. Let p(y) = 2*y**3 - y**2. Let t be p(-1). Is z(t) prime?
True
Suppose -2*t + 4 = -2*r, r = -4*t + 3*r + 14. Suppose 0 = t*b + 2*w - 597, 4*w = 2*b - b - 115. Is b composite?
True
Let s = 74 - -3473. Is s a prime number?
True
Let x be ((-1)/2)/(-1)*0. Suppose 2*u + 46 - 224 = x. Is u composite?
False
Let m(w) be the second derivative of -7*w**3/6 - 5*w**2/2 - 4*w. Is m(-10) a composite number?
True
Suppose 0 = 4*s - 12, -4*s - 8 = -5*w + 5. Suppose 2*v - 689 = -w*x, 0 = -3*x - 0 + 9. Is v a composite number?
False
Suppose 2*p - a - 2*a - 515 = 0, 2*p - a - 521 = 0. Suppose 4*y + 2*q = 272, 5*q - p = -5*y + 83. Is y a prime number?
True
Let f be 1 + 2*(3 - -1). Let m(x) = 4*x + 13. Let n(h) = h. Let a(g) = m(g) + 2*n(g). Is a(f) a prime number?
True
Let z(j) = j**3 + 2*j**2 - 3*j + 1. Let f be z(-3). Suppose h = -2*y - f - 6, -5*h + 5 = 2*y. Suppose -h*p - 3*w + 8*w + 82 = 0, -4*w - 39 = -p. Is p composite?
False
Let o(v) = -307*v + 6. Is o(-8) prime?
False
Let t = -3 + 2. Let o be t*(-2 + 0) - -130. Let f = 190 - o. Is f a prime number?
False
Let n be (-7 - 6/(-2))/1. Suppose -10 = 5*z - 3*z. Is (-103)/z + n/(-10) a composite number?
True
Let n be 2/(4 + -3) - 10. Let m = 14 + n. Suppose 0 = 4*x - 5*a + m - 205, -3*x + 3*a = -147. Is x a prime number?
False
Let h = 10 - -38. Let k(w) = -8*w**2 - 4*w - 2. Let j be k(-2). Let a = j + h. Is a prime?
False
Suppose 2*p + 2*p = 2*r + 6, -5*p = 4*r + 25. Let g be 0*(0 + p)/(-2). Suppose -21 = -g*u - 3*u. Is u prime?
True
Let x(k) = k**2 + k + 2. Let o be x(-2). Suppose 0 = -i - 4, 0 = c - 0*c - o*i - 23. Let n(m) = 2*m**2 - 10*m - 2. Is n(c) prime?
False
Let g be (-46)/(-11) - 2/11. Is 4/(g/77)*1 prime?
False
Is 7*36 + 7 + -6 a prime number?
False
Suppose -6*y = 2*y - 4456. Is y composite?
False
Let r(a) = 49*a**2 + 5*a - 2. Let d be r(3). Suppose 0 = -v - j + d, 3*j = 2*v - 420 - 508. Suppose 111 = y - 2*z, -5*z = -4*y - 4*z + v. Is y a prime number?
False
Let j be (-2)/((-1)/((-3)/(-2))). Let v be (52/6)/((-2)/j). Let n = v + 47. Is n composite?
True
Suppose -5*d - 3*n + 1974 = -494, -4*n + 4 = 0. Is d composite?
True
Let x(o) = -6*o - 1. Let n(g) = -2*g + 3. Suppose -3*u - u = -24. Let z be n(u). Is x(z) prime?
True
Let p = 897 + -504. Is p a prime number?
False
Let o = 517 - -382. Is o composite?
True
Let v(i) = 2*i**3 - i**2 + 1. Let d be v(1). Suppose 429 = 5*f - d*f. Is f prime?
False
Let c(x) = -41*x**2 + 12*x - 9. Let l(s) = 10*s**2 - 3*s + 2. Let y(q) = 2*c(q) + 9*l(q). Is y(2) a prime number?
False
Is (-1 + 4762/(-10))/(62/(-155)) a composite number?
False
Suppose 5*u + 3 = 2*b, -3*b - 2*b + 3*u + 17 = 0. Suppose 3*d = d + 2094. Suppose -5*y = -b*s - 246 - 793, -d = -5*y + 2*s. Is y a composite number?
False
Let v(c) = -3*c**3 + 2*c**2 + c + 1. Let n be v(3). Let o = n + 106. Is o prime?
True
Let i(k) = 2*k**3 - 4*k**2 + k - 2. Let t be 6*(14/4 - 3). Is i(t) a prime number?
True
Let i be (0 - -554) + -1 + 1. Let n(f) = f**3 + 13*f**2 - 7*f - 3. Let b be n(-10). Let c = i - b. Is c a prime number?
False
Suppose -q + 2*y = 3*q - 132, 4*q + 5*y - 160 = 0. Suppose 0*s + q = s. Suppose -a + 23 = -s. Is a a prime number?
False
Let g be (-2)/(-4 - 36/(-10)). Suppose 5*k + 2*p - 3961 = 0, -g*k + 1727 + 2243 = 5*p. Is k prime?
False
Let r(s) = s**2 + 4*s - 8. Let p be r(-6). Suppose -p*x + 5*i + 2 = -18, -4*x + 20 = -4*i. Suppose j - 13 = -5*t, -x*t + 4 = -3*t. Is j composite?
False
Let y(k) = 139*k + 5. Let p(s) = -s + 19. Let z be p(13). Is y(z) composite?
False
Let p(h) = h**3 + 4*h**2 + 5. Let m be p(-4). Suppose -i + 44 = -z, m*z + 4 = 2*i - 69. Is i a prime number?
False
Let w = -186 + 613. Is w composite?
True
Let u(s) be the first derivative of -s**4/4 - 3*s**3 - 6*s**2 + 7*s + 3. Let m(l) = l**3 - l**2 - 3*l - 3. Let i be m(-2). Is u(i) composite?
True
Suppose 0*i = -4*i + 476. Is i a prime number?
False
Let s(g) = -474*g**2 - g + 1. Let v be s(1). Let z be (-3)/(1 + v/471). Let c = z - 284. Is c composite?
True
Suppose -2*m + 60 = 2*m. Let l = m + -9. Is l prime?
False
Is (-9)/(36/(-8)) - -85 prime?
False
Let r = -105 - -216. Is r prime?
False
Suppose 2*d - 50 = -5*r - 3*d, -3*r + 4*d = 5. Suppose 2*b = 3*b - r. Suppose -2*c = -0*c - b*v - 2, -c + 23 = 3*v. Is c a prime number?
True
Let s = -367 - -558. Is s a composite number?
False
Let t be (4/3)/(2/3). Suppose 0 = -t*v - 10, 3*g - 2*g - 5*v = 122. Is g a composite number?
False
Let o be (-2)/(-4) + (-12)/24. Suppose -500 - 1240 = -4*l - 2*r, l + 5*r - 417 = o. Is l a composite number?
True
Suppose 4*g + 20 = 0, -2*u + 31 = -5*g + 6. Suppose u = 2*b + b - 327. Is b a composite number?
False
Suppose -3*j + w = -363, 4*w = 2*j - 0*w - 242. Let o = 232 - j. Suppose 0*l = -3*l + o. Is l a prime number?
True
Suppose -h = 5*t - 1666, 0 = -5*h + 3*t - 5*t + 8238. Is h composite?
True
Let u = 3 + -5. Let i = u - -6. Suppose 2*g - 2*z - 88 = 0, -i*g + 0*z = -z - 185. Is g composite?
False
Let s(l) = -4*l - 9. Let f be s(-3). Suppose 2*y = f*y - 213. Is y a prime number?
False
Suppose g - 5*t - 13 = 0, -3*g - 3 = 5*t - 2. Suppose -6*c = -g*c + 3. Is (-185)/(-2) + c/(-2) a composite number?
True
Suppose i + 5*m - 3*m - 4275 = 0, -2*m = -5*i + 21327. Is i composite?
True
Let v(i) =