y - j. Is h a composite number?
False
Let t = 213 - 489. Let r = -191 - t. Is r a prime number?
False
Suppose r + 3*r + 2*u - 4 = 0, r - 6 = -3*u. Suppose 5*a = 5*s + 895, 5*a = -s - 0*s + 925. Suppose r = k + 73 - a. Is k composite?
True
Let g be (-2)/(-8) - (-32709)/12. Suppose -4*o + 1133 = 4*m - 2475, 3*m - o - g = 0. Is m prime?
True
Let w(c) be the second derivative of 34*c**3 - 61*c**2/2 + 11*c + 2. Is w(15) a composite number?
False
Let p(k) = -k**3 - 2*k**2 + 3*k - 4. Let l be p(-4). Let h = 16 - l. Let s(t) = t**2 + t + 373. Is s(h) a composite number?
False
Suppose 53 = 5*x - 4*h, -3*h - 29 = -3*x - 2*h. Suppose 0 = -f - x*f + 670. Is f a prime number?
True
Let w(p) = 2*p**3 + 9*p**2 + 5*p - 4. Let j be w(-6). Let l(t) = 9*t**2 + 17*t + 5. Let n be l(-6). Let x = n + j. Is x prime?
False
Let r = -372 - -677. Suppose -2*h + 0 = -8. Suppose h*u = -3*v - 0*v + r, -72 = -u - 5*v. Is u composite?
True
Let n(y) = -2758*y**3 - y**2 - y. Let s be n(-1). Suppose 2*h + g - s = 0, -1583 - 1195 = -2*h + 4*g. Is h a prime number?
True
Is ((-22465)/(-10) - -9)*2 composite?
True
Suppose -11 = -q + 5. Suppose -974 = 14*f - q*f. Is f a prime number?
True
Let i(h) = 27*h**2 - 19*h - 13*h**2 - 15*h**2 - 6 + 4*h. Let d be i(-13). Suppose 264 = 2*x - d. Is x a prime number?
False
Suppose 2*t + 2*t = 12. Suppose -g + t*g = 18. Suppose 0 = -g*d + 7*d + 254. Is d a composite number?
False
Let r(d) = -4*d**2 - d. Let q be r(-1). Is 64*4 + 0 + q composite?
True
Suppose -6*j + 117049 = -94157. Is j a prime number?
True
Let p(n) be the second derivative of 157*n**3/6 + 4*n**2 - 15*n. Is p(11) prime?
False
Let i(u) = -35*u + 80. Is i(-51) prime?
False
Suppose p - 2 = 2*j, -3*p = 4*j - 0*j - 6. Suppose 0*b - p*b = 0. Suppose -2*r + 124 = -0*o + 4*o, o - r - 37 = b. Is o a prime number?
False
Is ((-53)/(-106))/(2/6332) prime?
True
Let v(q) = 9*q**3 - 9*q**2 + 19. Is v(6) prime?
False
Let h(t) be the first derivative of 311*t**2 - 63*t - 48. Is h(5) a prime number?
False
Suppose -12*l + 4*u - 6579 = -17*l, 16 = -4*u. Is l composite?
False
Is (3298/(-3))/(8 - 26/3) a composite number?
True
Suppose 0 = -0*v + 2*v. Let y(k) = k**2 + 5*k - 3. Let r be y(-6). Suppose -57 = -r*d - v*d. Is d composite?
False
Let l(p) = 86*p**2 - 2*p - 1. Is l(-1) a prime number?
False
Let a(j) = 593*j**2 + 8*j - 4. Let c be a(-8). Suppose -3*x - 5*g + 20396 = 0, 5*g = 5*x + 3904 - c. Is x a composite number?
True
Suppose 0 = 5*s - 16*s + 208615. Is s a composite number?
True
Is (6/9)/(6/31437) a prime number?
False
Suppose 18 = -24*f + 26*f. Suppose -2706 = -f*t + 3*t. Is t a composite number?
True
Suppose -8 = m + 1. Is -6 - 8973/m - (-1 + 1) prime?
True
Let g be 36 + (3 + -7)/4. Let c = g + -31. Suppose c*w - 632 = -0*u + 4*u, -2*u = -2. Is w prime?
False
Let j = 3342 + 1597. Is j prime?
False
Let a(z) = z**3 - 10*z**2 - 4*z + 6. Let k be a(10). Let q be (k - 3)*(-8 + 3). Suppose 0 = -2*b - 3*b + q. Is b prime?
True
Is 10958/(-4)*2*1/(-1) a prime number?
True
Suppose -5*v - 8 + 30 = 4*f, -2*v + 6 = 3*f. Let o(h) = h**3 - 7*h**2 + 4*h + 11. Let b be o(v). Is (b/(-2))/((-1)/(-52)) prime?
False
Let i be 6/10 - 8/(-20). Is (i/(-3))/(2/(-894)) a composite number?
False
Let c = 10 + -12. Is (117/(-6))/(c - (-5)/4) composite?
True
Suppose 5*x - 3*i - 6 - 4 = 0, 5*i - 4 = -2*x. Suppose -4*f - 2*m = -1214, f - 35 = -x*m + 276. Is f composite?
True
Let a be ((-207)/(-12))/(6/16). Suppose -3 = o + 2*z, -3*o + 0*z + a = -5*z. Is o a composite number?
False
Let o(x) be the second derivative of x**3/2 + x**2/2 - 2*x. Let c be o(1). Suppose c*i + i = 1510. Is i prime?
False
Suppose -5*s = -2*z - 1 - 4, 5*s + z = -10. Is (-2 - (-851)/4) + s/(-4) prime?
True
Suppose -1442 = -28*w + 30*w. Let y = 190 - w. Is y a prime number?
True
Suppose 2*l = 0, -3*w = -2*w + 2*l - 3. Suppose -9 = -v + w*g, v + 2*v + 2*g = 60. Suppose u = 64 - v. Is u a composite number?
True
Let l = -622 - -4605. Is l a prime number?
False
Suppose -4*v - 16 - 4 = 0, -c + 1 = v. Suppose 4*p + 1378 = 2*f, c*f - 5*f = -p + 674. Is f a composite number?
True
Let m(a) = 6*a**3 - 17*a**2 + 10*a - 105. Is m(13) prime?
False
Let j = 281 - 143. Let l(p) = -21*p**2 - 2*p - 3. Let b be l(-2). Let o = j + b. Is o a prime number?
False
Let f(d) = d**2 - 8*d + 10. Let c be f(7). Suppose 0 = -3*w - 4*s + 3261, c*w - 5*s = 1375 + 1886. Is w prime?
True
Suppose 0 = 3*s - 7 - 11. Is (16/s + 3)/((-2)/(-354)) a prime number?
False
Let p = -1 + -2. Let q(w) = -146*w + 4. Let m be q(p). Let a = m + -219. Is a a prime number?
True
Is (-328800)/(-42) - (-1 - 12/(-21)) a prime number?
True
Suppose 6*g = 3*g + 5*o + 2126, -o = g - 698. Let i = g + 141. Is i prime?
False
Is (-675717)/(-147) - 2/(-7) prime?
True
Suppose -5*w + 5229 = t + 1840, 3*w + 13556 = 4*t. Is t prime?
True
Let y be 15/(-30)*(1 + -79). Suppose -7 = -m + y. Is m a prime number?
False
Suppose 2*a - 10 = 3*a + 5*n, 5*n = -3*a - 60. Is (-10)/a*1 + 8739/15 prime?
False
Suppose 5*v = -4*a + 82, 0 = -5*v + 4*v + 2. Let c be a/45*(-5)/(-1). Suppose -2*y - 2*k = -143 - 55, y = c*k + 93. Is y composite?
False
Let m(n) = 5*n**2 + 2*n + 1. Let w be m(-1). Let k be (-136)/(-85) - w/(-10). Is (-3 + k)/((-2)/1174) a composite number?
False
Let f(u) = 4*u**2 - 2*u - 7. Suppose 3*z = z + l, 4*z = -l. Let q = 10 + z. Is f(q) a composite number?
False
Let b be -2*9/6*(-11498)/6. Suppose -4*l + 2*s = -2972, -5*l - 2034 + b = s. Is l prime?
True
Suppose -2*p - r - 25 = -0*p, 2*p = -3*r - 27. Let q = 12 + p. Suppose 5*g + 5 = 0, -o + g - 2*g + 468 = q. Is o a prime number?
False
Let u(a) be the third derivative of a**4/12 + 373*a**3/6 - a**2. Is u(0) a prime number?
True
Suppose 2*t + 5*d + 12073 - 69767 = 0, 4*d = -3*t + 86555. Is t a prime number?
False
Is (-261380)/50*-5 - -3 prime?
True
Suppose -6*s + 3*h + 26302 = -s, -15778 = -3*s + 5*h. Suppose o + o - 7038 = -4*w, -3*w + 2*o = -s. Is w a composite number?
True
Let p = -30 - -27. Is ((-9)/p)/(-3) + 182 a prime number?
True
Let f(p) be the second derivative of 1/2*p**2 + 3*p + 0*p**3 + 0 + 53/5*p**5 - 1/6*p**4. Is f(1) composite?
False
Let s(g) = -5*g + 2. Let t be s(2). Let c = -8 - t. Suppose c = -z - 0*z + 46. Is z composite?
True
Suppose 0 = -45*p + 41*p + 7876. Let v(l) = -4*l**3 - 10*l**2 + 8*l - 2. Let x be v(6). Let g = x + p. Is g prime?
False
Let a = -7 - -10. Suppose -h - 1710 - 2305 = -2*n, 5*n - a*h - 10040 = 0. Is n a prime number?
False
Suppose -2*x + 117344 = -19314. Is x a composite number?
False
Let q(w) = 3*w**2 - 6*w + 1. Let y(k) = -9*k**2 + 19*k - 4. Let c(u) = 7*q(u) + 2*y(u). Is c(4) prime?
True
Suppose 4*h - 4*x = 3060, -h - 3837 = -6*h + 2*x. Is h composite?
False
Suppose -564 = -2*a + a. Is -3 + a - 4*1 a prime number?
True
Suppose 1908 + 26 = 2*s. Is s prime?
True
Let c(z) = 3*z - 6. Let m be c(2). Suppose -4*k + 4*v - 6 - 6 = m, k + 2*v = 6. Suppose k = q - 12 - 85. Is q a composite number?
False
Let g(d) = 6*d**3 + 6*d - 5. Is g(2) prime?
False
Let j be 3*(-16)/(-12) + -2. Suppose j*h = -4*d + 202, -h + 2*d + 91 = -d. Suppose -5*g + h = -88. Is g composite?
False
Let y(i) = -i**2 - 14*i. Let u be y(-14). Let a be 4 + u + (-1 - -3). Is (-3 + a)/(-6)*-762 prime?
False
Let u(h) = 4*h**3 + 61*h**2 + 15*h + 4. Let x be u(-15). Let r be (-3)/(-6) + (-1990)/(-4). Suppose -2*p = 4*y - r, 5*p - x*y + 54 - 1327 = 0. Is p composite?
True
Suppose -14*q = -19*q + 15. Suppose 388 = 2*z - q*y + y, -z = y - 204. Is z composite?
False
Let h be 146/10 + 8/20. Let j = h - 12. Suppose -t + 5*b + 39 = -73, j*t + b = 384. Is t prime?
True
Suppose -11*x + 23*x - 71292 = 0. Is x a prime number?
False
Let q(v) = -1952*v + 9. Let d be q(-8). Is 7/(70/d) - (-6)/(-4) a prime number?
False
Let n be (-4)/(-4)*(3 + 2). Suppose -3*k + 4475 = n*y - k, -3580 = -4*y - 4*k. Is y composite?
True
Let q(o) = -2*o**2 + 34*o + 2. Let d be q(17). Suppose -4*b + 1502 = 2*z, 2*z + b = -d*z + 3004. Is z a composite number?
False
Let d(c) = 4*c + 5 + 129*c**2 - 17 + 10. Is d(1) prime?
True
Suppose 4*d = 5 + 7. Suppose d*w = 96 + 189. Is w a composite number?
True
Let s(u) = 9*u**3 - 46*u**2 + 18*u + 50. Is s(18) prime?
False
Suppose -4*y + p + 53 = -59, -3*y + 4*p + 97 = 0. Suppose -6 + y = 3*j. Let a(u) = 2*u**2 - 8*u - 5. Is a(j) a prime number?
True
Suppose 3*z -