 (c + -1) a composite number?
True
Let k = 98 + -142. Let w = -21 - k. Is w prime?
True
Let d(p) = 39*p - 38. Is d(16) a composite number?
True
Let d be 9/(-1)*(-37 + 0). Is (4/6)/(6/d) composite?
False
Let q = 23 + -17. Is -1 - -125 - (q + -3) a prime number?
False
Let y = 356 - 58. Suppose -r = -3*r + y. Is r prime?
True
Let d be -8 - (-6)/(-3)*-1. Is (-40 - -2)/(d - -4) a prime number?
True
Let v = 4 - -2. Suppose -8*m = -11*m + 924. Suppose m = -2*n + v*n. Is n composite?
True
Suppose g - a = 815, -4*g - 4*a = a - 3233. Suppose g = 2*x + 2*x. Is x a prime number?
False
Suppose 0 = -0*y + y - 63. Let l = y + -101. Let f = l + 75. Is f a prime number?
True
Let o = -88 + 183. Suppose n = -4*n + o. Is n a prime number?
True
Suppose -2*d = -5*d - 4*h - 1, 4*h - 9 = -5*d. Suppose 5*a + 0*u = -2*u, -4*a + d*u = 0. Suppose -5*f + q = -399, a*f - f - q = -75. Is f a prime number?
True
Let i(v) = 55*v**2 - 2*v. Let u be i(3). Suppose 10*s = 7*s + u. Is s a composite number?
False
Let o(w) = -w**3 + 2*w**2 - 6*w + 4. Suppose 2*p + 1 = -3*m - 2, -4*m = 2*p + 2. Let t be -1 + 2 + p - 3. Is o(t) composite?
True
Suppose 0 = -c + 2*c - 1361. Is c a composite number?
False
Let l be ((-79)/4)/((-6)/48). Suppose 0 = -g + 4*g - 6. Suppose -5*c = -g*d + 158, 6*c + l = 2*d + 2*c. Is d composite?
False
Let s(g) = g**3 + 3*g**2 + 3*g. Let l be s(-2). Is -3 - -1 - (-57 - l) a prime number?
True
Let s be (-8)/(-3) + 4/(-6). Suppose s*z - 1 = 3. Suppose -2*c + 160 = -5*l, 3*c + 421 = 8*c - z*l. Is c a composite number?
True
Suppose 1 = -2*i + 3, 5*n - 7 = 3*i. Suppose f - 117 = -n*f. Is f prime?
False
Suppose 0 = 2*t - 784 + 282. Is t a composite number?
False
Is (3 + -482)*-1 + 0 a prime number?
True
Let j(d) = -34*d. Let v be j(-1). Let m be v/10 + (-6)/(-10). Suppose y = -m*y + 1855. Is y a prime number?
False
Let h(a) be the second derivative of 9*a**5/20 - a**4/4 - a**3/6 + 2*a**2 - 2*a. Is h(3) composite?
True
Suppose 2*r = 4 + 4. Let v(a) = 6*a**3 + 4*a**2 + a - 2. Let o be v(r). Suppose -3*g - o = -8*g + 5*z, 4*z + 445 = 5*g. Is g composite?
True
Suppose 3*o - 4*o + g = 1, g - 11 = -4*o. Let j = 2 + o. Suppose -5*m - 2*r + 24 + 174 = 0, -4*m - j*r = -168. Is m composite?
True
Suppose 4*z = 3*b + 194, 1 = -z - 3. Let p = b + 157. Is p composite?
True
Suppose -5*u = u - 48354. Is u composite?
False
Suppose -2*q + 5 = -1. Let h(z) = z**2 - 3*z + 5. Let f be h(4). Suppose -5*r - 3*d + 47 = d, -q*r + 4*d = -f. Is r a composite number?
False
Suppose g - 208 = -4*t + 297, -4*t - 4*g = -496. Is t a composite number?
False
Let r = -1 + 2. Let h = 3 - r. Suppose -27 = -h*f - 1. Is f prime?
True
Suppose 6*b - 62 = 4*b. Is b a composite number?
False
Suppose 0 = 3*q + g, -4*q = -0*q - g. Suppose 4*x = 4*z - q*z + 996, z = -5*x + 1269. Is x a composite number?
True
Suppose -76 = -4*f - 2*m + 4, 2*f + 3*m = 48. Let d be -1*(1 + 0 - 1). Suppose b - f = -5*g + 6, d = 2*g - 2. Is b a prime number?
True
Is 383/2 + (-55)/10 + 5 a prime number?
True
Let x(m) = -217*m + 51. Is x(-4) prime?
True
Let b = -3 - -3. Suppose -4*g = -b*g - 12. Is (17/g)/((-2)/(-30)) prime?
False
Let m be (-3)/(-3) + 1*6. Suppose -4*t + 5*h + 1 + m = 0, 0 = -2*t - h + 4. Let o = t + 7. Is o prime?
False
Let d(v) = 7*v + 10. Let t be d(7). Suppose 0 = 2*h - h - t. Is h a composite number?
False
Let m(q) = -q**3. Let j(o) = -7*o**3 - o**2 + o - 14. Let n(a) = -j(a) + 6*m(a). Let v be (0 - 4/8)*0. Is n(v) a composite number?
True
Suppose 3*i = -2*i + 15, 4*i - 3822 = -5*d. Suppose -5*l + 3*h + d = -2580, 2*h = 3*l - 2005. Is l a prime number?
False
Suppose -3*q = -q - 86. Suppose 4*j - 89 = q. Is j composite?
True
Let x = 2 - 2. Suppose -3*f - 2*o = -153, 0 = 4*f - x*f - o - 215. Is f composite?
False
Let s be (-9)/6*16/(-6). Suppose 360 = m + 3*m - s*f, 5*m - 3*f = 452. Is m composite?
True
Let g(x) = -2*x - 2. Let m be g(-3). Suppose -a - 4 = 4*t + m, 4*a + 18 = -2*t. Is (1/3)/(a/(-1524)) a prime number?
True
Suppose 2*l - 526 + 92 = 0. Is l composite?
True
Let v(a) = -2*a**3 + 2*a**2 + 2*a + 3. Let x be 55/10 + 1/(-2). Suppose x*c - 18 = q, 4*q - 5*c = -18 - 9. Is v(q) prime?
False
Let l(n) = -106*n - 2. Let m be l(2). Let q be 7/21 - m/(-3). Let v = 108 + q. Is v composite?
False
Let f be 2/4*(3 + -7). Is (2 - (f - -1))*11 a composite number?
True
Let t = 14 + -3. Suppose 0 = g + 2, -5*u + g = 4*g + t. Is 81/1 - 2*u composite?
False
Let y(j) = -j + 293. Is y(0) a prime number?
True
Is (16074/(-72))/((-1)/4) composite?
True
Suppose -4*a = 6*i - 2*i - 1688, 3*i - 1246 = 2*a. Suppose 4*k - i = 426. Is k prime?
True
Let l(p) = p**3 - 7*p**2 + 18*p - 3. Is l(8) a prime number?
False
Suppose -3*d + 44 = d. Let r = 108 - d. Is r a composite number?
False
Let h(c) be the second derivative of c**3/6 + 9*c**2/2 - c. Let n be h(-6). Suppose -26 + 8 = -n*k. Is k prime?
False
Let l(t) = -2*t**3 - 5*t**2 - 5*t + 1. Let g(u) = 3*u**3 + 10*u**2 + 10*u - 3. Let k(j) = 3*g(j) + 5*l(j). Let z be k(6). Is (-66)/(-4)*z/(-3) composite?
True
Let l(h) = h**3 - h**2 + h + 1. Let b(c) = -14*c**3 + 3*c**2 - 7*c - 7. Let d(i) = -b(i) - 4*l(i). Is d(4) composite?
True
Let m be (-6)/(-21) - (-10)/(-35). Suppose m = -y + 327 + 67. Is y composite?
True
Let z(w) = 5 + 2 + 3*w - 4*w. Let m be z(7). Suppose c + 4 - 15 = m. Is c a prime number?
True
Let h(u) = -15*u + 3. Let t(g) = -16*g + 3. Let f(a) = 3*h(a) - 4*t(a). Is f(8) a composite number?
False
Let a be (0/2)/(4/2). Let p(k) = k + 4 + k**2 - k**3 + 2*k**2 + a*k**3. Is p(3) a prime number?
True
Suppose 26 = -3*n + 4*n. Suppose -5 = w - n. Is w a prime number?
False
Suppose -2*r = -4*r + 6. Suppose u - 427 = -r*b - 4*u, -2*b + 282 = 4*u. Is b composite?
False
Let t be (-2)/6 - 10/6. Is (3/t)/(39/(-4238)) a prime number?
True
Let y = -2159 - -3640. Is y a prime number?
True
Let t = 333 - -890. Is t a prime number?
True
Let g(y) = -126*y**3 - 2*y**2 + 4*y**2 - y**3 - 3*y**2. Let a be g(-1). Suppose 5*v - 589 = a. Is v composite?
True
Suppose 2*d + 2*d + 16 = 0. Let i = d - 6. Let b = i + 29. Is b a composite number?
False
Suppose -4*w + 1282 = -94. Let g = w + -203. Is g composite?
True
Let f(l) = -l**3 + 8*l**2 - 3*l + 8. Let j be f(8). Let w be (-28)/j + 3/(-4). Let o = 2 + w. Is o prime?
True
Let t(a) = 3*a - 4. Let g be t(3). Suppose 0 = 4*m - g*j - 738, 0*m + 4*m - 740 = 4*j. Is m composite?
True
Let v = 343 - 229. Suppose -4*y + y = -v. Is y composite?
True
Let p(r) = r**2 + r - 7. Let b be -3 - -5*(1 + -2). Is p(b) a composite number?
True
Suppose -5*u + 15 = -2*u, 4*c + 32 = 4*u. Is ((-33)/(-4))/(c/(-8)) a prime number?
False
Let b(a) = a**3 - 7*a**2 - 8*a. Let n be b(8). Suppose -4 = -5*r + 21, -5*k - 3*r + 650 = n. Is k a prime number?
True
Let k(r) = -118*r + 23. Is k(-2) a composite number?
True
Suppose 3 = -5*m + 53. Is m composite?
True
Let d(b) = 2*b**3 - 4*b**2 - 7*b - 8. Let w(p) = 2*p**3 - 3*p**2 - 6*p - 7. Let j(x) = -5*d(x) + 6*w(x). Let r be 1 + ((-4)/2)/(-1). Is j(r) composite?
False
Let b(u) be the first derivative of u**3/3 + 5*u**2/2 - 2*u - 1. Let g be b(-5). Let o(n) = -9*n**3 + 2*n**2 + n + 1. Is o(g) prime?
True
Suppose -26 = -5*p - k - 3, 5*k = -5*p + 35. Suppose -j + p = -0*j. Is ((-10)/(-4))/(j/88) a composite number?
True
Let a = -45 + 32. Let l(g) = 4*g**2 - 12*g - 11. Is l(a) a prime number?
True
Let r(t) = 2*t**3 + 4*t**2 + 17. Is r(13) prime?
True
Suppose 0 = -2*h + 3*h - 6. Suppose -g - 2 = -h. Let s = g - -75. Is s a prime number?
True
Is (20*(-4)/8)/(4/(-254)) a prime number?
False
Suppose -3*a - 5*s = -1293 + 460, 0 = -a - 2*s + 277. Suppose v = -3*b + 121, -a = -2*v - 5*b - 41. Is v prime?
False
Let q(p) = 37*p**3 + 3*p**2 - 3*p + 7. Is q(4) a composite number?
False
Let n be (-1)/((-2)/(-1 + -69)). Let m = 20 - n. Is m a composite number?
True
Let u be 38/9 - 2/9. Let g(q) = 40*q + 3. Let k be g(u). Let z = k - 86. Is z composite?
True
Let k(c) = 1 - 1 - 145*c. Let n(b) = -b**3 - 9*b**2 + 11*b + 9. Let g be n(-10). Is k(g) a composite number?
True
Suppose -4*d - 4*y = -3568, 2*d + 3*y - 6*y = 1759. Is d composite?
False
Suppose -3*l = 3*g - 5*g + 92, 0 = 4*l + 8. Is g a prime number?
True
Let s = 517 - 318. Is s prime?
True
Let y(n) = 3*n**2 + 21*n + 55. Is y(-24) a prime number?
True
Suppose 5*x + 407 = r, -2*r + 2*x = 3*x - 814. Is r