= 4*l - 3200. Suppose 2*d + u = 3*z, 0 = d + 1 - 4. Suppose 2*k + 41 = x, -5*k + z - 94 = 5*x. Is x a composite number?
False
Suppose -n = -528 - 87. Suppose 0*l = 3*l - n. Is l composite?
True
Is (3079 - (5 - 2)) + 3 composite?
False
Let n(h) = 64*h + 6. Let q be n(7). Let c(r) = r**2 - 4*r. Let u be c(5). Suppose -u*g + 121 = -q. Is g composite?
True
Suppose 7*s - 9865 = 2*s. Is s a prime number?
True
Let x(z) = 35*z + 5. Let q(m) = -71*m - 11. Let h(g) = -3*q(g) - 7*x(g). Is h(-2) prime?
False
Suppose -2*y = -64 - 38. Suppose -v + y = -0*v. Is v a prime number?
False
Let m = -2785 - -5258. Is m prime?
True
Let f(t) be the third derivative of t**5/60 + 5*t**4/24 - 2*t**3/3 - 3*t**2. Is f(5) composite?
True
Let q(u) = u + 9. Let z be q(13). Suppose l - z = 123. Is l composite?
True
Suppose 7007 = 5*w + 3*p, 2*w + p = 3*p + 2806. Suppose u - w = -u. Is u prime?
True
Let s(c) = -444*c + 1. Let w be s(-2). Let n = w - 594. Is n a prime number?
False
Let k = 78 - 151. Let v = -42 - k. Is v prime?
True
Suppose -3*x = -3527 - 469. Suppose 5*y - 1713 = x. Suppose -3*a = 36 - y. Is a composite?
False
Let h(o) = 12*o**2 - 3*o - 3. Let t be h(-2). Is 1/(-3) - (-20876)/t composite?
False
Let v = 0 + 3. Let z(q) = 3*q - 3. Let l be z(v). Suppose t - 27 = -l. Is t a prime number?
False
Let o(l) = 42*l**2 - 30*l + 1. Is o(5) a prime number?
False
Suppose -j - 1 = -2*d, -4*j + 2*d + 20 = 6*d. Let f be (-6)/4 - (-140)/8. Suppose l - j = f. Is l a composite number?
False
Suppose -a - 3*l + 139 = 0, -5*l = -a + 3*a - 278. Is a composite?
False
Suppose a = -145 + 614. Is a prime?
False
Is 982*(-3 - 7/(-2)) a prime number?
True
Suppose -5*u + 5*o + 2740 = 0, -u = u + o - 1108. Is 6/4*u/18 composite?
True
Let r(f) = -59*f + 1. Is r(-3) a composite number?
True
Suppose 3*p + 3*o = 2*o + 42, -5*o = 15. Suppose -4*g + a - 57 = 0, -a = 4*a + p. Let m = 74 - g. Is m a composite number?
False
Let r = -536 - -1095. Is r composite?
True
Let p(c) = 10*c + 1. Let b be p(2). Let f = b - -121. Suppose 4*m - f = -5*y, 0 = -2*m - 3*y + 33 + 39. Is m a prime number?
False
Let w(x) = -x + 7. Let d be w(9). Let h be 0 + (d - -4) + -2. Suppose h = -4*s - 4*u + 376, -4*u - 247 = s - 4*s. Is s prime?
True
Is 1 - ((-12)/2 + (0 - 4)) composite?
False
Let w(u) = 9*u**2 + 6*u + 23. Is w(10) a prime number?
True
Let v(b) = b. Let w be v(10). Let x be 3*(-2 + w/3). Suppose -n + 67 = -2*d + 6*d, x*n - d = 183. Is n composite?
False
Let f(z) = -z**3 + 2*z**2 + 7*z - 13. Is f(-7) composite?
False
Let k(x) be the first derivative of -5*x**3/3 - 3*x**2/2 - 4*x - 2. Let l be k(5). Is (-1)/(1 + l/141) composite?
False
Suppose 0 = -3*z + 3, -3*z + 2*z = -4*g - 45. Let x = g + 138. Is x a composite number?
False
Suppose 2*n - 19 = -n - 2*r, -5*r + 19 = -2*n. Suppose z + n*z = 856. Let b = -119 + z. Is b a prime number?
False
Let p = 185 - 88. Let h = p - -45. Is h composite?
True
Let g(i) = i**3 + 5*i**2 + 4*i + 2. Let o be g(-4). Let y = -4 + 7. Suppose d - 16 = -y*d, -o*l - 3*d = -434. Is l a prime number?
True
Is -2521*((-6)/2 + 2/1) prime?
True
Let z(w) = 489*w + 2. Is z(1) a prime number?
True
Let b(m) = m - 2. Let n be b(2). Let w(h) = 2*h + 103. Is w(n) prime?
True
Let a be -1 + 30 + (2 - -1). Suppose -2 = 3*y - a. Is y/(-15)*(-903)/2 a prime number?
False
Suppose 0 = -2*p + y + 538, -5*p + y + 4*y = -1355. Is p a composite number?
True
Suppose y - 25 = -2*y - z, -z = -4. Let r(u) = 9*u - 3 + y*u + 2. Is r(3) prime?
True
Suppose 0 = 4*d + 2*l - 6*l + 608, -629 = 4*d + 3*l. Let q be (-2)/8 - d/(-4). Let o = 70 + q. Is o a prime number?
True
Let q = 380 + -260. Suppose 122 = s - 3*p, -p - q = -0*s - s. Is s prime?
False
Let n(w) = -4*w**2 - 2*w + w**3 - 3*w - w**2 + 3. Is n(6) a prime number?
False
Suppose 5*i = 2*x + 22, 4*i - 23 = -i + 3*x. Let a(u) = -u**2 + 5*u - 4. Let t be a(i). Suppose 4*h = -t*h - y + 150, h = -5*y + 47. Is h prime?
True
Let i(a) = -a**3 - 3*a**2 - 2*a - 1. Let r be 1 + (-1 - 5)/3. Let n be i(r). Let j = 2 - n. Is j composite?
False
Let f(o) = 4*o**2 - o**2 + 2*o + 1 - 95*o**3 - o**2. Let q be f(-1). Let n = q + -59. Is n a prime number?
True
Suppose 94 = 3*k - 5*y, 8 + 27 = k + 2*y. Is k a composite number?
True
Is ((-1655)/(-10))/(1/2) prime?
True
Suppose 974 = 7*d - 5*d. Is d a composite number?
False
Suppose 2*t = -2*t + 276. Is t a prime number?
False
Suppose -5*g = -4*g - 3. Let p be 2*-1 + 0 + 2. Suppose 0*s + g*s - 66 = p. Is s composite?
True
Suppose 0 = 5*s, 3*s + 3549 = 2*v - 1397. Is v composite?
False
Let x be 4/14 + (-12)/(-7). Is (15*x)/3 - -3 composite?
False
Let g(q) = -q**3 + 7*q**2 - 3*q + 7. Let l be g(5). Is -4*(l/(-8) - 1) a composite number?
True
Let n(a) = a**3 + a**2 + a. Let b(u) = -3*u**3 - 7*u**2 - 7*u + 8. Let z(p) = b(p) + 6*n(p). Is z(5) prime?
True
Suppose -14*p = -9*p + 10. Is (-37)/p*(-6 - -8) prime?
True
Suppose 5*h - 4*m - 48 - 221 = 0, 2*m = 3*h - 161. Is h a composite number?
False
Suppose 2*x = 2*z - 20, x + 29 = 5*z + 3*x. Suppose z = 2*d - d. Is d prime?
True
Suppose 4*s - 6*s = 0. Let o be 2*(s + 1) - 2. Suppose -130 = -o*n - 5*n. Is n a prime number?
False
Let x be 2/(-3) - 14/(-3). Suppose -x*i + 1509 = -i. Is i composite?
False
Let n be (12/(-8))/(1/2). Let h = n + 5. Suppose -4*i + 3*i = -h. Is i prime?
True
Let h(u) = u + 53. Suppose -4*g = -0*g. Is h(g) composite?
False
Suppose -5*n = 3*y - 885, -5*y + 0*y + 4*n + 1475 = 0. Is y composite?
True
Let s = -1 + -1. Let c = 12 - s. Is c a prime number?
False
Suppose -5*f + 8174 = -5*j - 116, -6638 = -4*f + 2*j. Is f a composite number?
True
Suppose -3*h + o = 5*o - 123, o = -h + 40. Let q = 88 - h. Is q a composite number?
True
Suppose -3*c + c - 366 = -2*y, -4*y - 3*c + 746 = 0. Is y composite?
True
Is 5/(-2)*2032/(-40) a composite number?
False
Suppose -a = 5*l - 191, 0 = 7*l - 2*l + 10. Is a a prime number?
False
Is 4/(-6) - (-27989)/39 a composite number?
True
Suppose 2*t = -4*j + 3*j - 11, 5 = -j. Is ((-2)/t)/(2/111) a prime number?
True
Let d be 3/(-6)*2 - -1. Suppose 4*f = f + 2*p + 259, 4*p + 8 = d. Is f a composite number?
True
Let j(m) be the second derivative of m**4/3 + 5*m**2/2 + 4*m. Is j(6) a prime number?
True
Let f = 233 - 42. Is f a composite number?
False
Let o(x) = 11*x**3 + 7 + 2*x - 5 - 5 + 7*x**2. Let i be o(-6). Is i/(-18) + 3/18 a prime number?
False
Let a be (1/(-3))/((-8)/24). Let q(x) = 5*x - 1. Let k be q(a). Is (-778)/(-18) + k/(-18) composite?
False
Suppose 4*c + 0*c = 0. Suppose -5*w + 8*w - 3*u = 213, w + 3*u - 83 = c. Is w a prime number?
False
Let q(i) = -i**2 + 4*i**2 - 2*i**2 + 19. Suppose 0 = 3*x + l, -4*x + 3*x - 2*l = 0. Is q(x) composite?
False
Suppose -2*k + 544 = 2*k. Let q = 1557 - 1040. Suppose 0 = 3*g + k - q. Is g a composite number?
False
Let q = -169 + 402. Is q composite?
False
Let q(w) = 0*w + 5 - 6*w**3 - 3 + w - 2*w**2. Let f be q(-3). Suppose 4*o + 19 = f. Is o prime?
True
Let s(i) = -i**2 - 5*i. Let b be s(-4). Suppose 6*n - 178 = b*n. Is n a composite number?
False
Let z = 0 - -2. Suppose -d + z*d = 2. Suppose -5*l = 2*g - 275, 10 = -0*g + d*g. Is l a prime number?
True
Suppose 5*n = -2*b - 31 + 278, 0 = 2*b - 4*n - 202. Is b a prime number?
False
Let q be 9/(-2)*(-16)/24. Is 0/(6/q) + 49 a prime number?
False
Let d(r) = 166*r. Let l be d(5). Let b = l + -523. Is b prime?
True
Let k(v) = 6*v**2 + v - 9. Is k(-8) prime?
True
Suppose -3*x - 61 = 2*t, -x + 25 - 145 = 5*t. Let a = -137 - t. Let u = -35 - a. Is u a prime number?
True
Let s(o) = -4*o**3 + 4*o**2 - 4*o + 2. Let v be s(5). Let i = v + 867. Is i a composite number?
False
Suppose -4*v + 403 + 95 = 5*o, v - 2*o = 118. Let w = 445 - v. Is w a prime number?
False
Let g(j) = 57*j**2 - 9*j + 13. Is g(5) composite?
True
Let x(y) = 56 + y + y**2 - 2*y + y**3 + 67. Is x(0) prime?
False
Let y be 4/(-3*(-6)/99). Let t(u) = -u**3 + 4*u**2 + 3*u + 7. Let p be t(5). Let o = p + y. Is o composite?
False
Let b = -33 - -111. Suppose -d = -5, 3*u - b = -5*d - 29. Is (4/u)/(2/764) prime?
True
Suppose 3*g - 5 = g - 3*j, -5*g - 4 = 2*j. Let f be (g/3)/((-10)/75). Let s = f - -8. Is s a prime number?
True
Is 1063/1 + 4/8*8 prime?
False
Suppose -4*y = -1 + 5. Is (0/y - -1) + 36 composite?
False
Let q be 2/10 - 27/(-15). Is (-428)/(-8) + q/(-4) composite?
False
Let s(k) = 1512*k**2