 + 4 = -0. Let u = 13 + c. Is u a composite number?
False
Let m(u) = 4*u - u**3 - 3*u - 1 + 2*u**2 - 3*u. Let s be m(-2). Suppose -2*c - 5*a + s = -132, -3*c = 4*a - 237. Is c a prime number?
True
Let i = -2 - -15. Is i a composite number?
False
Suppose -i = -0 + 1. Let z = -9 - -14. Is (z/3)/(i/(-9)) prime?
False
Let u(l) be the third derivative of -l**7/5040 + l**6/80 - l**5/20 - 2*l**2. Let t(d) be the third derivative of u(d). Is t(0) a composite number?
True
Let d(y) be the second derivative of y**4/12 + 7*y**3/6 - 3*y**2 - y. Let i be d(-8). Suppose -i*o + 4 = -0*o, k - 3*o - 1 = 0. Is k prime?
True
Let d(b) be the first derivative of -5*b - 2*b**3 + 7/2*b**2 + 1/4*b**4 - 1. Is d(7) composite?
True
Let a(m) = -8*m**3 - m**2 - 2. Is a(-3) prime?
False
Suppose 0 = -5*v + 81 + 2374. Is v composite?
False
Suppose 8*t - 4*t = 484. Is t a prime number?
False
Let y(m) = -m**2 - 8*m + 3. Suppose 4*l + l = 0. Let b be (l + (-1)/(-2))*-12. Is y(b) prime?
False
Suppose 2*i - 58 = -0*h - 4*h, 4*h = 4*i - 140. Is i composite?
True
Let b = -11 + 3. Let h be -4*(-2)/4 + b. Let x = h + 37. Is x a composite number?
False
Suppose 5*w = b - 22, 2*b - 3*w = -6*w - 8. Suppose b*z = -0*z + 518. Is z a prime number?
False
Suppose h - 86 = -5*j + 47, 67 = 2*j + 5*h. Let w = j + -11. Is w a prime number?
False
Suppose 5*o = 5*w - w + 16, -2*o - 12 = 3*w. Let v be 158/(-6) + w/6. Let j = -4 - v. Is j a composite number?
False
Let r(y) = -2 + 52*y - 1 + 1 + 5*y. Is r(3) prime?
False
Suppose x = 2*r - 726, 2293 = 5*r + 2*x + 487. Is r composite?
True
Suppose 3*x + 576 = -4*s, 0 = -5*s + 5*x - x - 720. Let b be (0 + 0)/((-10)/5). Is b + s/(-1) + 1 composite?
True
Let s = -520 + 857. Is s a prime number?
True
Let p be (-10)/(-5) - (-1)/(-1). Suppose 4*u = 3*u + 1. Is (53/(1/u))/p a composite number?
False
Let c(r) = 2*r**2 - 13*r - 3. Is c(13) a composite number?
True
Let m = 3 + 2. Let u(p) = -p**3 + 5*p**2 + 7*p. Is u(m) composite?
True
Let k(c) = 83*c - 1. Is k(6) prime?
False
Suppose 2*t + 3*t = 5*v + 50, 0 = -5*t + v + 34. Let r(o) = -2*o - 18*o**3 - t - 5 + 10 - 3*o**3. Is r(-1) prime?
False
Let y = -4 - -6. Let v be (-5)/2*y*-1. Let h(k) = 12*k - 7. Is h(v) prime?
True
Let l = -18 - -13. Let z be 2/l - 1012/20. Let t = z - -104. Is t composite?
False
Let x = 66 + 51. Let a = x - 83. Suppose b - 25 = a. Is b a composite number?
False
Let f(y) = -11*y + 3. Let b be -1 + 1 - 5/1. Is f(b) a composite number?
True
Let u(t) = -t - 13. Let d be u(-9). Let n be (-1)/(((-2)/1)/d). Is n + 2 + 18/2 prime?
False
Let w(t) = t**2 - 11*t + 12. Let k be w(10). Suppose -l - 2*n + 885 = -0*l, -k*n - 4 = 0. Is l a composite number?
True
Suppose 2*o + 3 = -1. Let a be (-1 - 13)*5/o. Is (5 - 3) + a + 0 prime?
True
Suppose 5*v + 4*p - 974 = 373, v + 5*p - 282 = 0. Is v a composite number?
True
Suppose 1422 = 5*f + 77. Is f a composite number?
False
Let r(x) be the first derivative of 34*x**3 + x**2 - x + 6. Is r(1) a composite number?
False
Suppose 5*d = -642 - 143. Is (d/3)/((-5)/15) prime?
True
Suppose 192 - 20 = -4*m. Suppose -3*b + r + 185 + 179 = 0, -4*r + 130 = b. Let u = b + m. Is u a prime number?
True
Suppose 3*h - 3*j = 2076, 2*h - 4*j - 496 = 894. Is h a prime number?
False
Suppose 537 = f + 2*c, -6 + 2 = 2*c. Is f a prime number?
True
Let i(c) = -c**2 - 6*c + 7. Let k be i(-7). Suppose -w + 2*o + 3 = k, 1 + 4 = o. Is w composite?
False
Suppose 3*x - 4*x + 91 = 0. Let t = 697 - x. Suppose 4*a - 4*r - 504 = 0, -3*r = 4*a + a - t. Is a prime?
False
Let z(i) = i - 1. Let c be z(7). Suppose -3*v + 4*v + c = 0. Let m = 31 - v. Is m a composite number?
False
Let s(l) = -4*l + 2*l + 1 - 7 + l. Let t be s(-12). Let y(v) = v**2 + 1. Is y(t) a prime number?
True
Let c = -78 - -115. Is c composite?
False
Let x(o) = o**3 + 11*o**2 - 6*o - 19. Is x(-11) composite?
False
Suppose 0 = -5*v - 0*v + 2*q + 634, 4*q = 2*v - 260. Suppose 0 = 5*p + 4*o + 290, -95 - v = 4*p + o. Let r = p + 91. Is r a composite number?
False
Let f(x) = x - 2. Let w be f(6). Let c(v) = 5*v**2 - 6*v + 3. Is c(w) a composite number?
False
Let t = 48 + -11. Suppose -4*r + r + f + t = 0, 5*f + 29 = 3*r. Let j = r + 30. Is j a composite number?
False
Let q be -1*(-1 + 3) + 316. Suppose -q = -2*m - 4*u, 0 = -m - u + 7 + 152. Is m a composite number?
True
Let w be 0/(1 + (2 - 1)). Suppose -2*i + 8 = -w*m - 4*m, 4*m + 8 = 3*i. Is 88 + 1 + (0 - i) composite?
False
Let w(z) = 95*z + 5. Let r be w(10). Suppose c = -4*c + r. Is c prime?
True
Suppose -q + 457 = -5*v, 4*v + 459 = -v + 2*q. Let g = -54 - v. Is g a composite number?
False
Is (-12138)/(-26) + (-24)/(-156) a composite number?
False
Let o(w) = 2*w**3 - 11*w**2 + 6*w + 2. Is o(7) composite?
False
Suppose -f = 5*g - 139, 5*g = 4*f + f - 695. Is f a prime number?
True
Suppose 1 = 5*u - 4. Let b = u + 0. Is (-1 + 2)*b - -12 a prime number?
True
Let n be 1/(3296/3298 - 1). Let j = 777 + n. Is (-2)/(-3) - j/24 composite?
False
Let t be -2*(2/(-4) + -1). Suppose -28 = -5*n - 5*b + t*b, 0 = -5*n + 2*b + 32. Suppose z - n*z = -325. Is z a prime number?
False
Suppose -g = 3*g - 12. Suppose 4*o - 19 + g = 0. Suppose -5*l + 202 + 96 = 4*k, 146 = 2*k + o*l. Is k a prime number?
False
Let y(j) = 21*j - 5. Suppose 0 = 4*f - 19 - 5. Is y(f) a prime number?
False
Suppose 5*p = 3*d + 1009, 351 + 254 = 3*p - 2*d. Is p prime?
False
Suppose 0 = r + 4*o + 4, 3*r - 2 = 2*r - o. Suppose r*t + 145 - 493 = 0. Is t a prime number?
False
Let z = 0 + 1. Let k be (0 - z*-2) + -11. Let j(t) = t**3 + 9*t**2 - 8*t - 5. Is j(k) prime?
True
Let g(b) = 34*b - 6. Let m be g(5). Let h be (-9)/(-2) + (-9)/6. Suppose -m - 73 = -h*k. Is k a prime number?
True
Is 1/(-3*(-2)/2076) a composite number?
True
Is 5 - -216 - (2 - -2) a prime number?
False
Let o be 1*((0 - 0) + 2). Is o/1 + 19 + 0 prime?
False
Suppose -898 - 244 = -2*v. Is v a composite number?
False
Suppose 5*a = 25, 5*a = 5*n + 21 - 6. Suppose -n*i = 2*i - 16. Suppose 0 = -9*x + i*x + 105. Is x a prime number?
False
Suppose 219 = 5*q + 2*m, 3*q - 120 = -0*q - 5*m. Suppose 14 - 64 = 5*u. Let h = u + q. Is h composite?
True
Let d(i) = 446*i**3 + 7*i**2 + 7*i. Let u(z) = 669*z**3 + 11*z**2 + 11*z. Let n(r) = -8*d(r) + 5*u(r). Is n(-1) prime?
True
Let l be -1 - 2/((-6)/15). Let s = 10 + l. Is s composite?
True
Let l(u) = u**2 + 2*u + 55. Let o be l(0). Let i be 4*1 + (2 - 2). Suppose -5*s - 2*v = -109, -s + i*v + o = 2*s. Is s prime?
False
Let b(f) be the second derivative of 0 + 2*f + 7/6*f**3 + 1/6*f**4 - 7/2*f**2. Is b(-6) a composite number?
False
Let a(w) = -w**3 - 4*w**2 - w - 1. Let j be a(-4). Suppose 2*p + 4 = -2, -78 = -j*s + 5*p. Is s a prime number?
False
Is 2 + 1245 - (-3 + 7) composite?
True
Let g be (-1)/(-3) - (-58)/6. Let a be -60*(-1 + g/4). Let j = 127 + a. Is j composite?
False
Let r(y) = -7*y**3 + 3*y**2 - 4*y + 2. Let t be r(3). Suppose 0 = -2*u - 0*u + 574. Let d = t + u. Is d composite?
True
Let h = 1221 + -728. Is h composite?
True
Let k be 44/7 - (-4)/(-14). Let t be (-2)/k - (-22)/3. Suppose t*x - 124 = 3*x. Is x composite?
False
Suppose 6*g - 258 = -0*g. Is g a composite number?
False
Suppose -2*d + 4 = -4*d. Let m be 0/((d/(-2))/(-1)). Suppose m = -3*v + 261 + 12. Is v prime?
False
Let a(s) = 3*s**2 - s - 1. Is a(4) prime?
True
Let s(l) = -l**3 + l**2 + l - 3. Let c be s(0). Is ((-3)/c)/((-1)/(-161)) composite?
True
Suppose 5*n - 3345 = -3*r - 2*r, 2*r + n - 1343 = 0. Is r prime?
False
Suppose 4*m = -u + 17, -3*u - 2*u + 5 = 4*m. Suppose 45 = l + m*t - 96, 5*l + 4*t - 705 = 0. Is l a prime number?
False
Let b = -62 + 151. Is b composite?
False
Let o(f) = -f**3 + 16*f**2 + 5*f + 37. Is o(12) composite?
False
Let v be (-1 - -1 - -37)/1. Suppose -q = g - v, 3*q - 16 = 2*g + 75. Is q a composite number?
True
Let i(h) = -44*h + 17. Let a(j) = -11*j + 4. Let x(n) = -9*a(n) + 2*i(n). Let r be x(3). Let o = r - 16. Is o a composite number?
True
Is 1*3 - (-181 - 10) prime?
False
Is 2*6/(-3) - -30 a prime number?
False
Let p be 3/(-1 + 2) - 3. Is 68 - (-4 - -3 - p) a prime number?
False
Let v(n) = 145*n - 39. Is v(6) a composite number?
True
Suppose -2*g + 461 + 729 = 4*n, 5*n + 5*g = 1475. Suppose -5*b - 25 = 0, w + b + b = -n. Is w/6*(-4 - -1) a composite number?
True
Let y(b) be the second derivative of -2*b**3/3 - 9*b**