 a prime number?
True
Let z(n) = 6*n**2 - 3*n - 4. Suppose -3*q + 2 - 5 = -c, 0 = -c - 5*q - 13. Is z(c) a composite number?
False
Suppose 3935 = 3*m + 2*m. Is m a composite number?
False
Let s(v) = -1371*v - 1. Let x be s(-1). Let h = x - 817. Is h a composite number?
True
Suppose 2*f + 0*f - 8 = 0. Suppose -p - f*p + 55 = 0. Is p composite?
False
Let v(f) = -626*f**3 + 2*f**2 - f. Let i be v(1). Let z = -372 - i. Is z prime?
False
Suppose a + 2*c - 6 = 0, -4*a = -2*c + 18 - 2. Is a/4*(-1 - 141) composite?
False
Is (-1 - -2)/(1/359) prime?
True
Let u = -16 - -19. Suppose 4*t - u*t = 239. Is t a composite number?
False
Is (234/12)/((-3)/(-6)) a prime number?
False
Suppose 0 = -2*c - n + 317, -2*c + 5*n - 329 = -4*c. Is c a prime number?
True
Suppose 0 = 4*z - 3*z + c - 17, 0 = 5*z + c - 77. Let h(b) = b**3 - 4*b**2 - 7*b - 1. Let x be h(6). Let v = x - z. Is v composite?
True
Let r(t) = -t**3 - 4*t**2 + 4. Let k be (2 - (-36)/(-15))*10. Let g be r(k). Is (g/(-6))/(8/(-444)) prime?
True
Let z be 3310/50 - (-1)/(-5). Suppose -a = 5*m - 259, -3*m - 5*a = -239 + z. Is m a composite number?
True
Let m(r) = -2*r + 1 + 0*r - r - 2. Is m(-5) a prime number?
False
Suppose x = 2 - 5. Let z = x - -6. Suppose 0 = r - 3*o - 22, z*r + o = 4*o + 42. Is r a composite number?
True
Let f be 1 + -7 - (2 - 0). Let h = -2 - f. Is h prime?
False
Is (-1 - -1 - -3) + 2314 a prime number?
False
Let s(p) = -p**3 + 11*p**2 - 10*p - 11. Let x be s(9). Suppose -2 = -3*n + x. Is n a composite number?
True
Suppose 2*n - 3 = -17. Let q = n + 14. Suppose -2*h + 35 - q = 0. Is h prime?
False
Let r(s) = 1. Let a(z) = 11*z - 10. Let m(t) = -a(t) - 2*r(t). Let w be m(6). Let l = 69 - w. Is l composite?
False
Let x(l) = 2*l**2 + 11*l - 8. Is x(9) composite?
True
Let x(u) = u**3 - u**2 + u. Let m be x(0). Is -3 + 61 + (-1 - m) prime?
False
Suppose 0 = 2*d + 55 - 161. Is d composite?
False
Let x be (22/(-4))/(3/(-78)). Suppose -6*u + 4*u - x = -3*m, -137 = -3*m - 4*u. Is m a prime number?
True
Suppose -y - 98 = 3*s, s + 2 = -3. Let r = 50 - y. Is r a composite number?
True
Let h(m) = m**3 + 12*m**2 + 14*m - 8. Let x be h(-10). Suppose 0*f + f = 5*d + x, 4*d - 213 = -3*f. Is f a prime number?
True
Let h be 7/(-1 - (-8)/6). Suppose h = -3*k + 132. Is k a prime number?
True
Suppose -3*p = 2*p + 820. Let f = p - -274. Suppose -3*v + v + f = 0. Is v composite?
True
Is 0 - -3 - 374/(-1) prime?
False
Let a be 240 - (2 - 0) - 0. Suppose 2*q = -o + 82, -6*q + a = 3*o - 2*q. Is o a prime number?
False
Let o(l) = -18*l**3 - l**2 - 2. Let v(g) = -g**3 + 1. Let q(k) = -o(k) - v(k). Is q(2) a prime number?
True
Let m(p) = -p - 2. Let y be m(-4). Let z be -2 + 4/y - -3. Is (-2 - -1)/(z/(-6)) a composite number?
False
Is (0 + (-6)/9)/((-2)/4083) prime?
True
Suppose 2*a + 3*d - 9 = 5*a, -d = 3*a - 11. Let i = a + 0. Suppose 0 = -2*z - 4*h + 114, 2*z - i*h - 3*h = 159. Is z a composite number?
False
Suppose 4*l + 1145 = 2*a - 5661, 3*a + 2*l - 10233 = 0. Is a composite?
True
Suppose o - 6*o = -3*l + 47, 5*l = -2*o + 37. Is l composite?
True
Let a = 111 + 151. Suppose 2*w - a = 418. Suppose 4*g = -0*g + w. Is g prime?
False
Let k(u) = u**2 + 48. Let b be k(0). Let v = 67 - b. Is v prime?
True
Suppose -2*v + 7*v - 2*r = 525, 5*v + r = 510. Is v prime?
True
Let t(j) = 2*j**3 - 7*j**2 + 9*j - 18. Is t(4) prime?
False
Suppose 12*q = 14*q - 3*s - 792, -4*q + 1594 = -s. Let y = -59 - -643. Let c = y - q. Is c a composite number?
True
Is 0 + 3 - (4 + 960/(-2)) a composite number?
False
Let b(f) = 1 + 17 + f + 1. Suppose 2*u = 4*u. Is b(u) prime?
True
Let a be (2/5)/(2/10). Let i(o) = -3 + o**2 + 3*o**3 - 2*o**2 - o**a + 3*o. Is i(2) a composite number?
False
Let x(i) = i**3 - 11*i**2 - 7*i - 12. Is x(13) prime?
False
Suppose 4*a + 15 = 3*d + 2*d, a + 3 = d. Is d prime?
True
Let s(t) be the third derivative of 5*t**4/24 - 7*t**3/6 + t**2. Is s(6) a composite number?
False
Suppose 3*m = -2*p - 10, -2*m - 25 = -3*m + 5*p. Suppose -2*l + 423 = x, m = -2*l - 0*x + 3*x + 419. Is l a composite number?
False
Let r be 1 + -2 + (-12 - -12). Is (-3 - r) + 125 + 4 prime?
True
Let l be (-1*1)/(3/(-6)). Suppose -3*o + 0 = -2*y - 6, 24 = 4*y + 3*o. Suppose 0 = -l*u + y*u + 5*w, -5*u + 54 = -2*w. Is u composite?
True
Suppose -s + 5*h = 36, 5*h - 4 - 6 = 0. Let t(g) = 16*g - 3. Let p be t(4). Let i = p + s. Is i a composite number?
True
Suppose 3*w + 3*x - 24 = 0, 0*x + x = 3. Let t = -17 + 20. Suppose -t*j + 5*h = -w*j + 91, 3*j = 3*h + 105. Is j a composite number?
True
Suppose -c + 5 = 13. Is (154/3)/(c/(-12)) a prime number?
False
Let a(w) = 830*w + 5. Is a(3) composite?
True
Let x be (-9)/(-3)*(-1192)/(-12). Suppose -2*f + 0*u + x = -5*u, 0 = -3*u. Is f prime?
True
Suppose 3*f - 238 - 143 = 0. Is f composite?
False
Let z(a) = 330*a**3 - 3*a**2 + 4*a - 2. Is z(1) a composite number?
True
Let k = -4 - -4. Suppose -5*q - 1255 = -5*m, k = 4*q - 6*m + 4*m + 1002. Let f = -131 - q. Is f a composite number?
True
Let g = 1 - 1. Suppose g*m - 3 = 3*m. Is 64/3 - m/(-3) a prime number?
False
Suppose 0 = c - 51 + 252. Let u = -127 - c. Suppose 3*a - u = a. Is a composite?
False
Let m(w) = w**3 + 4*w**2 + w + 8. Let n be m(-4). Suppose 5*b + 4*o = 1, 0*o + 2 = -b - 3*o. Suppose -j - b = -n. Is j a prime number?
True
Let m(y) = y**2 - 9*y + 10. Let p be m(9). Let d(u) = -u**3 + 9*u**2 + 10*u + 2. Let v be d(p). Suppose v*x - 30 = -0*x. Is x composite?
True
Let h = 21 - 19. Is 35*4/(h - -2) prime?
False
Suppose 2*b = 49 + 217. Is b prime?
False
Let i = -6 + 0. Let k(w) = 4*w**2 + w + 7. Is k(i) prime?
False
Is (5 + 93/(-12))*-716 composite?
True
Let w(l) = l**3 - 8*l**2 - 1. Let t be w(8). Let q be 1/t - 0 - -69. Suppose 5*h - 7 = q. Is h a composite number?
True
Let y = -6 + 3837. Is y a composite number?
True
Let c(a) = -5*a + 7. Let w(k) = 14*k - 20. Let m(x) = -17*c(x) - 6*w(x). Let r(u) = -u**2 - 7*u - 4. Let s be r(-3). Is m(s) a prime number?
False
Is ((-7)/((-84)/(-5384)))/((-4)/6) composite?
False
Let g(l) = 7*l**2 + 6*l + 6. Let y be (5/(-15))/(1/21). Is g(y) composite?
False
Let t(w) = -w**3 - 8*w**2 - 10*w - 6. Suppose -5*i - 4*m - 55 = 0, -2*m + 36 = -3*i - 5*m. Let x be t(i). Is 1701/x + 2/(-5) prime?
True
Suppose 0 = -0*i - 3*i - 2*j + 23, -5*j = -3*i - 5. Is 1/((15/237)/i) prime?
True
Suppose 4*w + 5*s - 173 = 0, 3*w + 36 = s + 142. Is w a prime number?
True
Suppose -4*u + 9*u + 1425 = 0. Let f = 496 + u. Is f composite?
False
Let c = -1276 - -2255. Is c a prime number?
False
Let p(v) = 1 + 0*v**2 - v**2 - 5*v + 0. Let q be p(-4). Suppose q*w + 12 = 3*r + 41, -2*w = 3*r - 20. Is w a prime number?
True
Suppose 665 = 2*g + z, -z - 892 + 233 = -2*g. Is g a composite number?
False
Suppose 3*r - 7 = -19. Let i be 1 - 2 - r - 1. Suppose 3*l - 2*l = -4*q + 26, 0 = l + i. Is q a composite number?
False
Let g(q) = 5 - 16*q - 10*q - 2*q - 2*q. Let v be g(-10). Suppose 0 = 5*d - 2*u - 3*u - v, -5*u + 285 = 5*d. Is d a composite number?
False
Suppose 2*c - 4 = 0, 5*c - 81 = -g + 3*c. Is g composite?
True
Let f(o) = -13*o**2 + 0*o**3 - 5 + 0*o**3 - o**3 - 7*o - 7. Is f(-13) prime?
True
Let s(l) = l**3 - 4*l**2 - 3. Is s(5) a prime number?
False
Let v = -22 + 32. Let b(s) = s**3 - 3*s**2 - 3*s - 2. Let y be b(4). Suppose 2*t - 40 = -2*w + 28, -y*w = v. Is t prime?
False
Is 2053 - (2 + (1 - 3)) composite?
False
Let a be (2/4)/(2/(-104)). Suppose 2*t - 113 + 11 = 0. Let g = t + a. Is g a prime number?
False
Let q be (5/1)/(1/1). Suppose 3*h - 7*h + 22 = -2*u, q*h = 4*u + 47. Let f = u + 68. Is f a prime number?
False
Let c(r) = 25*r + 4. Let n be c(6). Suppose 0 = 3*p - n + 43. Is p a prime number?
True
Let m(u) = 100*u**2 - 6*u - 9. Is m(-5) composite?
False
Suppose 0 = 10*a - 16*a + 1758. Is a composite?
False
Let y = -742 - -1287. Is y prime?
False
Let f(t) = t**2 + t - 2. Let g be f(-4). Suppose -y = -0 - 41. Let c = y - g. Is c composite?
False
Suppose -l = -2*l + 7. Suppose -n = q - 5, q - 6*q - 3*n = -23. Let u = l - q. Is u prime?
True
Suppose 0 = -u - 3*u. Suppose s = -u*s + 139. Is s a composite number?
False
Let t be 0/(-2)*(-1)/2. Let m be -1 + 0 - (-3 + -4). Suppose -c = -t*c - m. Is c prime?
False
Suppose 3*n = -0*n + 633. Is n a composite number?
False
Suppose -3*m - u - 4 = 0, 4*m + 11 - 27 = 4*u. Suppose m = -3*l