s h a prime number?
False
Is 1 + (-1265)/((-5)/1) a prime number?
False
Let m be (-3 + 2)*(-1 + 1). Suppose -2*r + 8 = 2*r. Suppose -r*j + 38 = -m*j - 2*a, -2*a = -5*j + 104. Is j composite?
True
Let u(t) = -t**2 - 6*t + 6. Let s be u(-6). Suppose s*m = 2*m. Suppose m*j - 5*j + 245 = 5*o, j + 4*o - 37 = 0. Is j composite?
False
Let f = 1343 + -850. Is f composite?
True
Let k = -294 + 168. Let u be 28*(2 + 46/8). Let g = k + u. Is g prime?
False
Let p(o) = o**3 - 11*o**2 + 11*o + 9. Let n(s) = s. Let b be n(9). Suppose -g + 1 = -b. Is p(g) a prime number?
True
Suppose -2*n + 5*n - 6 = 0. Suppose 2*w - 3*w = -n*a + 301, -2*a + 304 = -2*w. Is a a prime number?
True
Is (-1 - 3)*(-148)/8 composite?
True
Is (-29739)/(-138)*(1 + 1)/1 a prime number?
True
Let l be -3 - ((-8)/(-4) - 2). Let f(j) = j**2 - j + 3. Is f(l) a composite number?
True
Let u(r) = -5 + 12*r + 11*r - 16*r + 2. Let x be (-12)/(-9)*(-3)/(-2). Is u(x) composite?
False
Suppose -15*w - 10 = -20*w. Suppose b - 2 - w = 0. Is b prime?
False
Is ((-6)/3)/(4/(-382)) prime?
True
Is ((-4)/(-6))/(16/8184) a prime number?
False
Let j = 6 + -2. Suppose 5*v = k - 43, j*k - 3*v + 59 = 5*k. Is k composite?
False
Let i(s) = s**3 + 2*s**2 + 2*s + 3. Let c be i(-2). Let g be 36/8 + c/2. Suppose 6 = -a + 3*u + 35, 0 = -5*a - g*u + 126. Is a a prime number?
False
Let u = -4 + 4. Suppose u*r + 15 = -r. Is 67 + (r/3 - -3) a composite number?
True
Suppose 2*i + 264 + 796 = 0. Is 21/(-7)*i/6 prime?
False
Let y = -3 - -2. Let a be y/2*1*-4. Suppose 170 = -5*u + a*g + 511, 2*u - 134 = 2*g. Is u prime?
False
Let g = 16 - 29. Let v = g + 19. Is v composite?
True
Suppose -5 = 3*t + 4. Suppose -2*u + 4*u + 18 = -4*z, 3*u + 3*z = -27. Is t/u - 130/(-6) a prime number?
False
Let v(f) = 10*f - 55. Is v(20) a prime number?
False
Let o(l) = -l**3 + 4*l**2 + 3*l - 3. Let t be o(4). Suppose 0 = -k + t + 12. Is k a prime number?
False
Let n(v) = v**2 - 9*v - 6. Let r be n(10). Suppose r*i = -3*c + 223 + 164, c + i = 130. Is c prime?
False
Suppose 0 = i + 5*o + 18, 5*o + 0 + 20 = 0. Suppose -i*t = 2*t - 64. Suppose -52 = -4*r - t. Is r composite?
True
Suppose 16 = -4*j + 2*j. Is (j + 1)/((-1)/5) a prime number?
False
Let b(q) = q. Let u(l) = 1. Let w be (-3)/(-2)*30/9. Let n(x) = w*b(x) - u(x). Is n(7) a prime number?
False
Let y(r) = 5*r + 3. Let k = 1 + 6. Is y(k) a composite number?
True
Let b = 729 + 58. Is b prime?
True
Suppose -11*g = -7*g - 5*u - 2776, -4*g + 2744 = 3*u. Is g prime?
False
Let j(o) = -41*o**3 + 3*o**2 + 4*o + 3. Is j(-2) prime?
False
Suppose 4*v - 2*d = 2134, 3*v - 408 = 5*d + 1196. Is v prime?
False
Suppose 4*z - 32 = 5*u, 8*z = 2*u + 3*z + 23. Let r = u + 7. Suppose 5*f = r*l + 100, 38 = -5*f + 6*f + 3*l. Is f a composite number?
False
Let r = 4 + 1. Suppose 3*v = -6, -r*f = 2*v - 3*v - 197. Suppose -f = -s + 16. Is s a composite number?
True
Is 1/((7 + -3)/844) composite?
False
Let q = 605 + -352. Is q prime?
False
Let v(t) = 21*t + 4. Let l be v(5). Let i = l - 60. Is i a prime number?
False
Suppose 0 = 2*i + l + 19, 4*i + 43 = 4*l - l. Let t = 42 + i. Suppose t = r - 3. Is r a prime number?
False
Suppose -3 = 3*d, 0*d = 4*p + 2*d - 358. Let v = p - 37. Is v a composite number?
False
Let f be 10/2*2/5. Suppose 0 = x - 1 - f. Suppose -316 = -x*v - v. Is v a prime number?
True
Suppose 1245 = 8*g - 3*g. Suppose 0 = v + 2*v - g. Is v prime?
True
Let c be ((-40)/2)/((-1)/23). Let r be c + -3 + -1 + 2. Suppose u = -5*z + 203, 3*z = 2*u - 0*z - r. Is u composite?
False
Let l = 11804 - 7257. Is l a prime number?
True
Let j = 12460 + -8517. Is j composite?
False
Let k = -10 - -6. Let w = 4 + k. Suppose w = -3*x + 2*i - 4*i + 35, 6 = x - 5*i. Is x a prime number?
True
Let l = 0 + 2. Let f(s) = -10 + 29*s + 11 + 6*s - 4. Is f(l) a composite number?
False
Let m = -1713 - -2876. Is m a composite number?
False
Is (-165)/(-2)*(-28)/(-42) a composite number?
True
Let d(p) = -71*p - 27. Is d(-8) a prime number?
True
Suppose 4*m - 1737 = -f + 3093, 0 = m + 5*f - 1217. Is m prime?
False
Let y(i) = -17*i - 14. Let u be y(-6). Let q be -1 - (52 + (1 - 3)). Let r = q + u. Is r composite?
False
Suppose s - 20 = w + 16, 3*s - 5*w - 114 = 0. Is s composite?
True
Let l(a) = 2 - 2*a - 7 + 3 + 18*a**2. Let p be l(-4). Let b = p - 167. Is b a composite number?
False
Suppose -a + 5*s + 28 = -22, 0 = -2*a - 4*s + 170. Suppose 3*x = a + 102. Is x a prime number?
True
Let r = -7 + 12. Suppose d - 2*g = -0*d - r, 3*d + 5*g = -15. Is (-9)/(-15) + (-182)/d prime?
True
Suppose 3*b = 7*b - 12. Is 3*-5*(b - 4) a composite number?
True
Let q(j) = -j**3 - 6*j**2 - 10*j - 2. Let d(m) = -m**3 + m**2 + 2*m + 3. Let u be d(3). Is q(u) a composite number?
False
Suppose 100 + 65 = -3*y. Is (-10)/y + (-141)/(-11) composite?
False
Let o = 3 + 1. Let c be 4/(-2*(-3)/6). Suppose -o*x = c, -m - 2*m = -2*x - 32. Is m a prime number?
False
Suppose -5*t = -0*m + 3*m - 29, -3 = -3*t + 3*m. Suppose -x - t*v - 18 = 0, -5*v + v = -4*x + 28. Is x*((-237)/(-2) - 1) a prime number?
False
Let a = -414 + 955. Is a a prime number?
True
Suppose 2383 - 7287 = -4*l. Is l a prime number?
False
Let v = 2491 + -1424. Is v a prime number?
False
Suppose -2*p - 6 = -0. Let w(l) = -l**3 - l + 1. Is w(p) prime?
True
Suppose -192 = -3*k + 759. Is k composite?
False
Let x = -1060 - -3801. Suppose -654 = -5*z + x. Is z prime?
False
Let g be (-4)/(16/12) + 6. Let q = 112 - g. Is q a composite number?
False
Suppose 0 = -0*l + 4*l - 132. Is l prime?
False
Let j(k) = 8*k + 3. Suppose 0 = -p + 7 + 3. Is j(p) prime?
True
Suppose -156 + 791 = 5*w. Is w a prime number?
True
Let s(f) = f - 2. Let h = 8 + -3. Let d be s(h). Suppose 0 = 2*b - d*b - c + 47, -b + 4*c + 67 = 0. Is b composite?
True
Let d be (3 + -5 + -2)/(-1). Let c(r) = r**2 + 3*r + 2. Let l be c(-3). Suppose 87 = 5*o + 3*z, -d*o + 27 = -l*z - 25. Is o prime?
False
Let g = 1078 + 117. Is g a prime number?
False
Let n = 33 + -10. Is n a prime number?
True
Let m = -66 - -269. Is m a composite number?
True
Let p(z) = -14*z**3 - 5*z + 2. Is p(-5) a prime number?
True
Suppose -45 = 4*n + 19. Is (-344)/n + (-2)/(-4) prime?
False
Suppose -3 = 5*k - 13. Let w be ((-3)/3)/((-1)/2). Suppose 3 = q + 2*p, 0*p + 5*p - w = -k*q. Is q a composite number?
False
Suppose 0 = -v - 18 + 51. Is v composite?
True
Let o(b) = -23*b + 8*b - 3 - 53*b. Is o(-2) a composite number?
True
Let q be -1 + (-6)/(-3)*-1. Let l be -3*(8/q)/2. Is (1110/(-12))/((-2)/l) composite?
True
Suppose g + 3*g - 5*r = 6409, g - 1611 = 3*r. Suppose -d - d = g. Is d/(-15) + (-2)/10 composite?
False
Is (-12)/(-3) - (-127)/1 a composite number?
False
Let u = 261 - -1478. Is u a prime number?
False
Is 4/(-2) + -3 + 336 prime?
True
Suppose 0 = -3*s - 5*l + 5852, 5*s + 2*l - 5447 - 4300 = 0. Is s composite?
False
Suppose -1135 = g - 2*g. Is g prime?
False
Is -537*(20/(-15))/4 composite?
False
Suppose 8*y - 155 = 3*y. Is y a prime number?
True
Suppose 3172 = 5*d - 3*g, 3*d - 3*g - 1903 = -g. Is d a composite number?
True
Let c(j) = j**2 - 7*j + 8. Let b be c(6). Let i(t) be the third derivative of 3*t**6/20 - t**4/24 + t**3/6 + t**2. Is i(b) composite?
True
Suppose -4 = 2*i + 2*i. Is (2 + 1*-25)/i prime?
True
Suppose 0 = 7*n - 2*n. Suppose 5*i + 4*q + 18 = 0, -5*i + n = 3*q + 16. Is i - -6*(-54)/(-4) prime?
True
Let g be 10/45 - (-4)/(-18). Suppose g = 6*a - 2*a - 16. Suppose -a*o + 2*o + 130 = 0. Is o a composite number?
True
Let g = 189 + 50. Is g a composite number?
False
Let i = -5 + 8. Suppose -2*c = -i*c + 113. Is c prime?
True
Suppose -4*u + 5*o = -20, 5*u + 4*o - 66 = -0*u. Let y(h) = 2*h**2 - 14*h - 6. Let m be y(u). Is (m + -2)*2/4 composite?
True
Let k = 396 + -269. Is k a prime number?
True
Let q(x) = -5*x + 3. Let i be q(7). Suppose 0 = 5*y + 5*d - 285, -2*d = 4*y - d - 222. Let r = i + y. Is r a prime number?
True
Let w be (6/4)/((-1)/(-6)). Let k = 70 - 46. Suppose 3*l - w = k. Is l prime?
True
Suppose 2*u + 3*u = 5. Is -1*(-39 + u) + -3 composite?
True
Let s be 5 - (2/(-1) - -3). Let r be ((-2)/3)/(s/(-6)). Is 2 - (-39 - (-2)/r) prime?
False
Suppose -f + 4*f = o + 2395, 3168 = 4*f + 5*o. Is f prime?
True
Suppose -m - 3*z = -z - 581, -5*z = 5*m - 2880. Is m prime?
True
Let i(g) = g**2 + 15*g - 11. Let q(f) = f**2 + 14*f - 10. Let p(v) = 5*i(v) - 6*q(v). 