- 1. Let u be j(-1). Let q(n) = -5*n + 2*n**3 - 3*n**3 + u - 6*n**2 + 15*n. Is q(-8) prime?
True
Suppose -2*q = 4, o - 6*o + 18 = -4*q. Suppose -4*x + 3*x = 3*f - 16, 5*f - 28 = -o*x. Suppose -g + 31 + x = 0. Is g composite?
True
Suppose -5*n + 9206 = -2*y + 6*y, 2*n - 4 = 0. Suppose -2*m + c - 5*c + 1182 = 0, -4*m = -5*c - y. Is m a prime number?
False
Suppose z + 5 = 6*z. Suppose 2*r = -z + 169. Let q = -47 + r. Is q a prime number?
True
Suppose -2*a - 449 = -k, -3*k + 5*a - a + 1347 = 0. Is k prime?
True
Suppose b + 2*l - 25 = 40, 3*b - 195 = -4*l. Is b composite?
True
Suppose 0 = -2*m - 4, -5*m + 6 = -4*z + 4. Let u(w) = 4*w**2 + w - 2. Is u(z) a composite number?
False
Suppose u + 4*q = 5*q + 11, -u - 4*q = 14. Suppose -2*d - 2*d + 11 = o, u = 3*d. Suppose 52 = 2*c - o*f, -2*c - 5*f = -0*c - 52. Is c composite?
True
Suppose 4 = 3*b - b. Suppose 0*y - 92 = -b*y. Is y composite?
True
Suppose 4*t + 6 - 38 = 0. Suppose 5*k + 2 = -t, 94 = l - k. Suppose -3*j = j - l. Is j prime?
True
Let b(g) = 22*g**3 - 2*g**2 - 2*g + 3. Let n(h) = -h**3 + 10*h**2 + 11*h + 3. Let k be n(11). Is b(k) a prime number?
False
Suppose 3 = 5*c - 27. Suppose -4*w + 2*q = c*q - 24, 5*q = 20. Suppose -w*h + 514 = 4*g, -2*g + 1285 = 4*h + h. Is h prime?
True
Let v = 6 + -2. Suppose -w = -5*l + v*w + 25, -1 = w. Suppose -4*x = 0, -u = -l*u + 2*x + 267. Is u a prime number?
True
Let x = -8 + 8. Suppose g + 4*q - 373 = 0, 3*g + x*q + q = 1163. Is g composite?
False
Suppose 0 = -3*l - 4*k + 472, 0 = l - 2*l + 5*k + 132. Suppose -4*o = l - 760. Suppose -5*s = -o - 43. Is s composite?
True
Let r(j) = -3*j**3 + 2*j**2 + 12*j + 12. Is r(-7) a composite number?
True
Let k(b) = -11*b + 21. Is k(-4) a prime number?
False
Suppose -5*g = 2*y - 708, 0 = g - 2*y - 83 - 61. Let d = g + -75. Is d prime?
True
Let v = -20 + 33. Suppose v = -o + 224. Is o composite?
False
Let g be (0 + -5)*5*-1. Suppose 0 = -5*c - g, c - 27 = 5*v - 2. Let r = v + 39. Is r prime?
False
Let x(r) = -3*r - 5. Suppose -2*a = -3*a + 2. Suppose -2*g - a*g - 32 = 0. Is x(g) prime?
True
Suppose -2*t - 23 = -211. Is t a composite number?
True
Let y(g) = -4*g - 5. Suppose 0 = -2*i - 0*i. Suppose i = 2*f + 4*a + 28, 5*f + a + 22 = 3*a. Is y(f) prime?
True
Let j = 949 + -1385. Is ((-1)/(-4))/((-1)/j) composite?
False
Suppose 4*v = -5*r - 275, 0*r + v = -4*r - 209. Is (782/r)/((-1)/3) a composite number?
True
Is 40/50 + 3282/10 prime?
False
Let b(h) = 2*h - 10. Let w be b(10). Let z = 33 - w. Is z a prime number?
True
Let s = 779 - 386. Is s a prime number?
False
Let x be 5 - (0 + 1)/(-1). Let k = 21 + x. Suppose 0 = -3*c + 3, n = 3*n + 5*c - k. Is n a composite number?
False
Let p(n) = n. Let h be p(5). Suppose c - h*c = -40. Is c prime?
False
Is (-2)/8 - (-21351)/44 prime?
False
Let d(g) be the third derivative of -g**6/120 - g**5/30 + g**4/24 - g**3/6 + g**2. Let m be d(-3). Suppose 0 = m*z - 125 - 450. Is z prime?
False
Suppose -1685 = -2*b - 3*b. Is b prime?
True
Let c(r) = -r - 5. Let y be c(-5). Let l(a) = 0*a**2 + 60 + 2 + 0*a**2 - a**2. Is l(y) a composite number?
True
Suppose -10 = 3*k - 22. Let h(a) = a**2 - 3*a. Let d be h(k). Suppose o + 3*l - 75 = 0, 3*o - 217 = -d*l - l. Is o a composite number?
True
Suppose 5*b - k - 22 = 0, 4*b - 8 = 3*k + k. Suppose 5*g + 0*g - 279 = 3*o, o - 287 = -b*g. Suppose -a = -0*a - g. Is a a prime number?
False
Suppose 2*j + j + 105 = -u, 0 = 3*u - 2*j + 315. Let f = u + 182. Is f a composite number?
True
Let h = -12 + 30. Suppose 2*z + 2*c + h - 460 = 0, 4*z - c = 894. Is z prime?
True
Suppose a = -3*d + 1293, 4*d - 421 - 1303 = 5*a. Suppose -4*x + 768 = 4*m, 54 = -2*x + 5*m + d. Is x composite?
False
Let c(u) = 32*u + 19. Is c(17) composite?
False
Let u(q) = 186*q + 7. Is u(2) a prime number?
True
Let z(i) = -33*i**3 - 9*i**2 + 7*i. Let y(d) = -17*d**3 - 4*d**2 + 3*d. Let w(c) = -7*y(c) + 3*z(c). Let f = 2 - 1. Is w(f) a composite number?
True
Let y be (-1*2 + 203)/1. Suppose y = -z + 4*z. Is z a composite number?
False
Suppose 8*o - 869 = 7*o. Is o a prime number?
False
Suppose -6*i + i - 2*r + 4 = 0, 0 = 4*r + 12. Is i/8 + 4300/16 prime?
True
Let h = 61 + -38. Is h a composite number?
False
Let g = 44 - 201. Let m = 42 - g. Is m composite?
False
Suppose -2*t + 4 + 6 = 0. Suppose 3*r - 4*r + 27 = -t*l, -2*r - 4*l + 110 = 0. Is r composite?
False
Let l = -175 + 366. Is l a prime number?
True
Let x(a) = 10*a**2 - 7*a - 9. Let g(o) = 3*o**2 - 2*o - 3. Let f(w) = 7*g(w) - 2*x(w). Suppose -1 - 24 = 5*c. Is f(c) a prime number?
False
Let l be ((-5)/(-10))/((-2)/(-20)). Suppose 0 = b, l*b - 4*b + 385 = 5*q. Is q a prime number?
False
Let k = 7 + 312. Is k composite?
True
Let g = 476 - -273. Is g a composite number?
True
Suppose -3*d = -4 - 65. Is d a prime number?
True
Let s = -278 + 513. Is s a composite number?
True
Is 84/105 + 85602/10 a composite number?
True
Suppose 3*y = 7*y - 2*z - 1186, 3*y = -2*z + 879. Is y prime?
False
Suppose b - 4*q - 177 = 104, -2*b - 3*q = -595. Is b prime?
True
Suppose -29 = -5*j + 366. Is j a prime number?
True
Let a be 6/(-2 - (-21)/6). Suppose 0 = -a*l - 1 + 9. Suppose l*h = 15 + 91. Is h a prime number?
True
Suppose 3*z = s - 13 - 11, 0 = -5*s - 3*z + 174. Let m = 24 + s. Is m a composite number?
True
Let x(l) = -l**2 + l + 13. Let r be x(6). Is -4 - (r - (4 - 3)) a composite number?
True
Suppose -29 = 3*i + 1. Let t(s) = -4*s + 9. Is t(i) composite?
True
Let j(f) = -f + 9. Let t be j(4). Suppose -t*i + 68 - 23 = 0. Let w(k) = k**3 - 8*k**2 - 6*k - 6. Is w(i) a composite number?
True
Suppose 3*p = 9 + 12. Suppose 2*m = 7*m - 3*n - 21, 2*n = m - p. Suppose 5*w - 2*f = -0*f + 273, 3*f - m = 0. Is w composite?
True
Let o be ((-2)/5)/((-2)/10). Let m = o + 2. Suppose 6*c = 3*c + m*w + 349, -5*w + 570 = 5*c. Is c prime?
False
Suppose 13045 = 5*u - b + 2*b, 4*u - 5*b - 10436 = 0. Is u a prime number?
True
Suppose 0 = 4*k + 56 + 52. Let t = -4 - k. Is t a composite number?
False
Let b(m) = 25*m + 13. Is b(8) prime?
False
Let f(x) = -5*x**3 + 3*x**2 + 3*x + 4. Let j(i) = -14*i**3 + 9*i**2 + 8*i + 12. Let b(m) = 8*f(m) - 3*j(m). Is b(3) composite?
False
Let b be (1 - 0)/((-5)/(-870)). Is (b/10)/((-3)/(-15)) a prime number?
False
Let r(j) = j**3 - j**2 - 3*j + 1. Is r(6) a prime number?
True
Suppose 0 = -2*p + 5*k + 3297, -2*p + 4*k + 3298 = -0*k. Is p a prime number?
False
Suppose -3*b = -6*b + 2751. Is b a composite number?
True
Let u(z) = 16*z**2 - 2. Let j be u(-4). Let l be 10/45 - 4/18. Suppose -j = -l*p - 2*p. Is p a prime number?
True
Suppose -r - 6 = -2*r + 2*g, 3*r + 2*g + 6 = 0. Suppose -210 = -4*h - h - 5*t, r = -4*h - 2*t + 170. Is h composite?
False
Is (1402*(2/(-1))/(-4))/1 a prime number?
True
Let g(w) be the first derivative of -3*w**4/4 + 4*w**3/3 - 2*w - 1. Is g(-3) a prime number?
False
Is 486 + 20/(-12)*-3 a composite number?
False
Let r = -2 - -12. Let g = r + -5. Suppose 0 = 4*a + g*i - 155, a - 5*i + 50 = 2*a. Is a prime?
False
Let d(k) = k**2 + 4*k + 8. Is d(-9) a composite number?
False
Let l(z) = 157*z + 3. Is l(2) a composite number?
False
Suppose -5*t + 466 = -5749. Is t prime?
False
Let r be 0/(2*(-2)/2). Suppose 0 = 5*b - r*b. Suppose b = 3*l - 2*l - 19. Is l composite?
False
Let v = -54 - -19. Let k = v - -211. Suppose -2*p = p - 5*o - 126, -4*o = -4*p + k. Is p a composite number?
False
Suppose 4*w - 3655 = -w. Suppose 201 + w = 4*n. Is n composite?
False
Let t be (112 - 1) + 0 + 2. Let u(d) = d**3 - 3*d**2 - 2*d - 4. Let j be u(4). Suppose 4*o = 5*i - 2*i - t, -j*i = 4*o - 132. Is i a composite number?
True
Let i = -15 - -41. Is i a prime number?
False
Let n(g) = 6*g - 1. Is n(9) prime?
True
Suppose 0 = u + u - 256. Suppose 3*l + u = 305. Suppose -3*z = -2*z - l. Is z a composite number?
False
Suppose -3*g + 1 - 23 = 5*k, 3*g = 2*k + 13. Is (g - -67) + 0 + -3 prime?
False
Let m be (4/(-3))/((-10)/465). Let c = m + -43. Is c a composite number?
False
Suppose -2*h + f = 2*f - 15, 0 = 2*h - 5*f - 45. Let q be (5/(h/(-4)))/(-1). Let t(l) = 2*l**2 - 2. Is t(q) a composite number?
True
Let t(h) = -4*h + h**2 + 8*h + 5*h. Let q be t(-4). Let a = q + 43. Is a composite?
False
Let u = 227 - 117. Suppose 5*f + t - 291 = 0, -2*f + u = -0*f + 2*t. Is f prime?
True
Let f = -1036 + 1794. Is f a composite number?
True
Let y = 17 +