f composite?
True
Suppose 2*a - 2174 = -4*k, -12*a + 3*k = -7*a - 5435. Is a a composite number?
False
Suppose -2*v = -5*v - 5*p + 13046, -2*v + 8710 = -3*p. Suppose 0 = 4*q + 1068 - v. Is q composite?
False
Suppose -r = -2*a + 811, 3*r + 1448 = -2*a - 985. Let z = -464 - r. Is z a composite number?
False
Suppose -102163 = -3*z + 4*s, 4*z - 2*s - 2*s - 136220 = 0. Is z a composite number?
False
Let u = -84 + 81. Is 1 + u/9 - 26279/(-33) a prime number?
True
Let c = -322 + -67. Let f = -167 + 85. Let u = f - c. Is u prime?
True
Suppose m + 1 = 0, -6*j = -2*j - 5*m - 9. Let o be 3 + -1 + j + 17. Is (1 - 2) + 8*o a prime number?
False
Suppose f + 15 + 8 = 4*g, -5*g - 5*f + 35 = 0. Suppose -4*t = -g*t + 178. Is t*4/4*1 a composite number?
False
Suppose -2*r + 3*k + 0 = 6, 2*r = 5*k - 14. Suppose -3*b = -r*n - 0*n - 1803, -4*b + 3000 = -5*n. Let v = n + 1555. Is v a prime number?
False
Let a be 8/(-6) + 291/9. Suppose -h - b = 4, -a = 4*h + 5*b - 11. Suppose -2*i + 0*i + 242 = h. Is i composite?
True
Let d = 9168 + 3059. Is d composite?
False
Suppose -3*c = -3*d + 5 - 14, 5*d = 15. Is 2021/c + 1/6 composite?
False
Is ((-21954)/8)/((-3)/4) a composite number?
False
Let d(g) = 1728*g**3 + g**2 - 4*g - 7. Is d(2) a composite number?
True
Suppose 3*i - 29 = -4*b, -4*i + 17 = -2*b + 3*b. Suppose 13*x - 8*x - 22165 = 0. Suppose 6*d = 3*d + 2*j + 2661, 4*j = b*d - x. Is d prime?
False
Let g(q) = 7*q**2 - 6*q + 14. Let f(u) = -13*u**2 + 11*u - 27. Let v(d) = -6*f(d) - 11*g(d). Suppose -2*w + 14 - 32 = 0. Is v(w) prime?
True
Let d = -20 + 84. Suppose -2*t - 2*f - 584 = 0, -f + 321 + 862 = -4*t. Let r = d - t. Is r prime?
True
Let v(x) = 205*x**2 + 12*x + 82. Is v(-5) prime?
True
Let u(v) be the second derivative of v**5/10 + v**4/12 - v**3/3 - 5*v**2/2 + 33*v. Is u(6) a composite number?
True
Suppose -5*h = 15, 3*u + 3*h = -0*h + 16332. Is u composite?
True
Let g be 138369/9 + -7 + (-1)/3. Suppose -4*m - m - 2*o + g = 0, 2*o = 4*m - 12290. Is m prime?
False
Suppose -4 + 32 = 2*c. Suppose 16 + 2 = -3*u - v, u + 14 = -3*v. Let f = c + u. Is f composite?
True
Let m = -4355 + 8148. Is m composite?
False
Suppose -43915 = -2*l - 3*h, -12*l + 7*l + 2*h = -109759. Is l prime?
False
Suppose 0 = 4*d - 0*m + 2*m - 131608, 0 = d + 2*m - 32902. Is d composite?
True
Let h = 2434 + -1727. Is h prime?
False
Let g(r) = -923*r**3 - 3*r - 1. Let f be g(-3). Suppose -5*b + f = 4*t, 4*t = 2*b - 4814 - 5152. Is b prime?
False
Suppose -10*x + 79974 + 47596 = 0. Is x a composite number?
False
Let s = 28 + -25. Suppose -3777 = -2*f + s*p, 0 = -5*f + p + 4726 + 4736. Is f prime?
False
Suppose -3*i + 2*m = i - 411852, 6*i - 617794 = -m. Is i composite?
True
Let v = 1190 - 1732. Let g = v + 987. Is g a composite number?
True
Suppose h = 3*w + 554, -5*w - 1658 = -0*h - 3*h. Is h composite?
True
Suppose 1948 = 5*x - 3*k, 0 = -4*x - 2*k + 1474 + 102. Let z = x - 229. Let a = z - 30. Is a composite?
True
Suppose -o - 2*q + 4967 = 0, 4*o - 2*q - 8610 = 11278. Is o a composite number?
True
Let n = -91 + 64. Suppose 0 = -4*v - 16, 30 = -2*o - 2*v - 3*v. Let x = o - n. Is x prime?
False
Suppose 0 = -s + 8 + 26. Is s/(-8)*(-476)/7 composite?
True
Let y(g) = -2*g**3 - 25*g**2 - 2*g + 16. Is y(-13) prime?
True
Let f(q) = -23*q**3 - 4*q**2 + 9*q + 9. Is f(-7) composite?
False
Suppose -43*q = -46*q + 9327. Is q a composite number?
False
Is (15938/(-10))/(-9 - 484/(-55)) a composite number?
True
Suppose -6*u - 2*w + 26114 = -62076, -58789 = -4*u + 3*w. Is u a composite number?
True
Let x = 15614 - 10428. Is x a prime number?
False
Suppose -3*a + 5*a - 6 = 0. Suppose -2*v + 435 + 1068 = -3*q, 4*q = a*v - 2255. Is v a prime number?
False
Suppose -2*p + 4*p = -u, 2*u + 8 = 0. Suppose -b - p*b + 12 = 0. Suppose -b*f - 2*h + 412 = h, 3*f - 2*h - 326 = 0. Is f a composite number?
True
Let p(u) = -2506*u + 15. Is p(-19) a prime number?
True
Let i(b) = -b**2 + 10*b + 12. Let u be i(10). Suppose 28 = -16*l + u*l. Is (-4)/l - (-1101)/21 composite?
False
Suppose -9 = -4*n + n. Let q = n + 151. Suppose 2*a = 4*c + q, 3*a + c = -3*c + 191. Is a composite?
True
Let q(c) = 226*c**2 + 17*c + 16. Is q(-5) a prime number?
True
Is 16704 - ((2 - 2)/2 + 1) a prime number?
True
Let v(q) = q**2 - 9*q - 40. Let y be v(-5). Let z = -15 - -38. Suppose y = g - z. Is g a composite number?
False
Suppose 5*i + z - 170 = 0, 125 = -i + 5*i + 3*z. Let o = i + -30. Let g(y) = 39*y + 8. Is g(o) composite?
True
Suppose -8*o + 30*o - 209242 = 0. Is o prime?
True
Let c(l) = 9*l**2 - l + 3. Let s be c(-4). Let t be 198/45 - (-2)/(-5). Suppose f + s = t*f - 4*i, 2*f = -i + 108. Is f a composite number?
False
Let n = 368 - 143. Let w be (n/(-18))/(1/(-2)). Suppose 3*k + w = -2*k, 0 = -4*y + 3*k + 91. Is y prime?
True
Suppose -3*o = -2*r - 6, -3*r + 2*r = o - 7. Suppose o*b + d = 13, -5*b - 5*d = -0*b - 5. Is (2/b)/((-2)/(-1004)) prime?
True
Suppose 3*j = 3 + 6. Let m be 668/12 - 2/(-6). Suppose -j*s = 5*z + s - 163, -3*s - m = -2*z. Is z a composite number?
False
Let r(n) = 50*n**2 - 3*n + 32. Is r(-7) a composite number?
False
Let u be (-112)/(-49) - 4/14. Suppose 3*p + 2159 = 4*v, -u*p - 2704 = -5*v - 0*p. Is v a composite number?
True
Let z(j) = 2443*j**2 + 13*j - 35. Is z(2) a composite number?
True
Let g(m) = m**3 + 3*m**2 - 1. Let f be g(-2). Is f + -2 - 1260/(-10) a composite number?
False
Suppose -8*q + 10274 = -13718. Is q a composite number?
False
Let q be 4/(-18) - 130/(-18). Let j(l) = 7*l**2 + 18. Let k(r) = 3*r**2 + 9. Let c(u) = -2*j(u) + 5*k(u). Is c(q) a composite number?
True
Let z(j) = 11*j**2 - 39 - j**2 - 5*j**2 + 1 + 8*j. Is z(-17) a composite number?
True
Suppose 3*p - k = p + 9518, 5*p = -5*k + 23795. Is p composite?
False
Is (-5)/25 - 164186/(-5) a composite number?
True
Let r(t) = -t**3 + 6*t**2 - 4*t + 5. Let w be r(7). Let q be (-1)/(-6) + (-348)/w. Suppose u + q*a = 28, 5*a - 6 = 5*u + 4. Is u a prime number?
True
Suppose 2*z + 5*c = z + 5, -2*z - c - 8 = 0. Let y(q) = -7 + 0*q**2 - 4*q**2 + 12*q**2 + q**2 + 3*q. Is y(z) a composite number?
True
Suppose 12*j + c + 73 = 13*j, -5*c = -2*j + 134. Is j prime?
False
Let y = 80863 - 17924. Is y composite?
False
Suppose -36 = 4*f - 2*f. Let o = -13 - f. Let j(s) = 35*s - 14. Is j(o) a composite number?
True
Is (-1)/(18/4) + 6518460/540 prime?
True
Suppose 4039 = -0*a + 7*a. Let k = 1830 - a. Is k a composite number?
True
Let d be -3 + 0 + 4 + 1. Suppose -3*o - 5*h + 25 = 0, 0 = 5*o - d*h + 3*h - 71. Is o/10*(-6654)/(-9) a composite number?
False
Let p = 18 - 13. Suppose p*y - 9 = 6. Suppose 5*m - 115 = -y*z, 4*z - 2*m - 84 = 52. Is z a composite number?
True
Let b(i) = -411*i - 6. Let q(f) = -4 - 410*f - 3 + 0. Let v(y) = 6*b(y) - 5*q(y). Is v(-2) a prime number?
False
Suppose -74*t = -71*t - 31053. Is t a composite number?
True
Let l(n) = 2*n**2 - 3*n + 7. Let h be l(0). Is (h - 5) + 3 + 804 a prime number?
True
Suppose 4*p - 3*h = 13421, -4*p - 2652 = 3*h - 16103. Is p a composite number?
False
Suppose 3*n + c = 55, 0*c - c = 2*n - 37. Let t = -16 + n. Suppose i - 67 - 139 = -5*k, -t*k + 197 = i. Is i prime?
True
Let o(p) = -p**3 - 7*p + 7. Let j be (-1)/(((-1)/(-6))/1). Is o(j) a prime number?
False
Let w = 1614 - 378. Suppose -9*j + 15*j = w. Is j a composite number?
True
Suppose -9*t - 1344 = -5*t. Let u be (2 - -2) + -1 - t. Suppose 0 = -j + 5*z + u, -2*j - 3*z + 630 = -z. Is j a composite number?
True
Let f(u) = 2*u**2 - u - 1. Suppose 7 - 3 = 2*n. Let c be f(n). Suppose -c*x = -5*m + 370, 2*m = -2*m + 5*x + 296. Is m a composite number?
True
Suppose -33 = 4*a - 17. Is (a - (-7 + -4))*29 prime?
False
Suppose -20829 = -3*g - 0*g. Is g a prime number?
False
Suppose 3*q - 2*q = 4*q. Suppose q = 5*m - c + 3*c - 10899, 2*m = 4*c + 4350. Is m prime?
True
Let f(q) = -5*q**3 - 7*q**2 + 9*q + 7. Suppose -m = 2*m + 18. Is f(m) prime?
False
Suppose -2*c + c = -62. Let r = c + 18. Is (0 + -3 + r)/1 composite?
True
Suppose 127*d = 119*d + 106424. Is d a composite number?
True
Let i(o) = -3 - 123*o**3 - 2*o**2 - 2 + 6. Let d be i(-1). Let u = d + 69. Is u a composite number?
False
Let n(p) = -19 + 3*p + 0*p - 2*p + 3*p. Let t be n(6). Suppose 0*r + 10 = -5*r, 0 = -t*z - r + 743. Is z a composite number?
False
Suppose 12835 = 3*d + 2*d. Suppose d = 5*y - 3*t - 2013, -5*