 Suppose 6 = 3*y - o, -5*y = 5*u - d. Is u a composite number?
True
Suppose -c + 33 = u, 5*c + 164 - 5 = 4*u. Let d = 30 - u. Is ((-182)/d)/((-2)/(-6)) a prime number?
False
Suppose 3*l + 3*n + 6285 = 0, 1893 = -l + 3*n - 222. Let m = 2987 + l. Is m prime?
True
Let h = 2860 + -1859. Let m = -620 + h. Is m composite?
True
Is (((-232)/32)/29)/((-1)/113380) a composite number?
True
Let c(q) = -q**2 - 14*q + 15. Let b be c(-14). Let p be (-93)/7 + (-4)/(-14). Let n = p + b. Is n composite?
False
Suppose -16 + 28 = -2*r. Let f(k) = -3*k**2 + 11. Let i(q) = 5*q**2 - q - 21. Let s(j) = -7*f(j) - 4*i(j). Is s(r) composite?
False
Suppose 2*d - 5 = -13. Let j(s) = s**3 + 5*s**2 + 4*s + 2. Let t be j(d). Suppose -t*o + o + 191 = 0. Is o a composite number?
False
Let b be (-13)/((-5)/45*3). Is (4/26 - (-27450)/b) + -3 a composite number?
False
Suppose 439068 = 49*y + 35*y. Is y composite?
False
Let k be (14 + -11)/(6/68). Let a = k - 30. Suppose -a*g = 3*h - 2963, -5*g + 3*h = 2*h - 3718. Is g a composite number?
False
Let n = 561 + -235. Suppose l + n = 3*l. Is l a composite number?
False
Let r = 1095 + -430. Suppose 3*z - 8*z + r = 0. Let w = -66 + z. Is w prime?
True
Let v be 6/(-5)*1360/(-24). Let m = 183 - v. Is m composite?
True
Suppose -2*u = -4*s + 2, 15 - 4 = -3*s + 4*u. Suppose 0 = -5*h - z + 933, -4*h - s*z - 177 = -5*h. Let t = -37 + h. Is t prime?
True
Suppose 4*t = -3*z + 107, z - 106 = -3*z + 2*t. Let g = -18 + z. Suppose -g*p + 8*p = -42. Is p composite?
True
Let q be 75555/75 - (-4)/(-10). Let l = q - 666. Is l prime?
False
Suppose -a = -6*a + 30. Let k(n) = 23*n - 19. Is k(a) a prime number?
False
Let y be 3*(2/6)/1. Let m be (17 - y - -2)*9. Suppose b - m = 49. Is b a composite number?
False
Suppose -4*m + l + 153651 = 0, m - 6*m + 3*l + 192055 = 0. Is m composite?
True
Let n = -1338 - -1912. Let t be n/(-21)*(-18)/4. Suppose 3*f - 3*a - t = 0, f - 4*f - 4*a + 158 = 0. Is f prime?
False
Let t be (45/(-3) - -1)/(-14 - -12). Suppose -t*b - 5271 = -10*b. Is b composite?
True
Let b(z) = z**3 + 8*z**2 + 2*z - 51. Is b(-6) prime?
False
Is 446 - 1/(5 - (-64)/(-12)) a composite number?
False
Let g(z) = -34 + 32 + 18 + 39*z. Is g(13) a prime number?
True
Suppose -3*t - 5*a = -1276, 2*t + 3*a = 791 + 61. Suppose -2*o = o - t. Let f = -17 + o. Is f a composite number?
False
Let q = -8062 - -16055. Is q prime?
True
Let r(g) = 9*g**3 + 3*g**2 + 4*g + 1. Let l(d) = 2*d**2 + d - 3. Let m be l(-3). Suppose 2*j - 5*b + m = 0, 2 = 3*b - 10. Is r(j) composite?
False
Let i = -2 - 0. Let v be (-1)/(3/162*i). Let a = v - -100. Is a prime?
True
Let c(g) = 15427*g - 6. Is c(1) prime?
False
Suppose -171*i + 167*i = 32964. Let z = -3514 - i. Is z a composite number?
True
Let w(y) = -8*y + 4. Let a be w(1). Is ((-7)/(-14)*-1103)/(2/a) a composite number?
False
Let b(v) = v - 5. Let n be b(9). Suppose -3*s - 49 = -y, 3*y = -y - n*s + 196. Is y composite?
True
Is (12/(-24))/(1/(-145906)*1) a prime number?
True
Let h = 804 + 124. Let w = -515 + h. Is w a prime number?
False
Suppose -q - 4*q - 6 = -3*l, -15 = 5*q. Let i(b) = -2*b**3 - 4*b**2 + b + 6. Is i(l) prime?
False
Suppose u - 755 = 1948. Suppose -8*n + u = -4553. Is n prime?
True
Let j = 26 - 11. Suppose -a = 2*a - j. Suppose -5*c = h - 60, a + 5 = 2*h. Is c composite?
False
Let f = -2831 + 31180. Is f a prime number?
True
Suppose 4*h = 2*w + 3*h - 451, 5*w - 2*h = 1125. Is w a prime number?
True
Let p be (-2)/(-8) + (-88)/(-32). Suppose -20 = -v - p*v. Suppose -v*y + 135 = -610. Is y a composite number?
False
Let o(r) = 2*r**3 - 10*r**2 - 86*r + 27. Is o(19) composite?
False
Let m(j) = j**2 + 4*j - 3. Let x be m(-5). Suppose -n = 2*k - 4, k = n - 2*n + 3. Suppose 20 = x*a - 3*s, -a - 12 = -n*a + 2*s. Is a prime?
False
Let m(y) = 269 - y**3 - 4*y**2 + 3*y**2 + 48. Is m(0) a prime number?
True
Let n(v) = -9*v**2 + 8*v - 26. Let t(k) = 8*k**2 - 9*k + 26. Let h(y) = 6*n(y) + 7*t(y). Is h(9) a composite number?
False
Is (310394/(-35))/((-1)/(-5)*-2) composite?
False
Let b(g) = -g**3 + 37*g**2 + 17*g + 34. Is b(35) a composite number?
False
Suppose 0*z + 4*z - 16 = 0. Suppose -w + 3 + 2 = 0. Suppose -w*l = 2*b - 596, l = -z*b + 146 + 1028. Is b prime?
True
Let n be (2 + 7)*11/(-3). Let t be n/55 - 4/10. Is (1671/6*-2)/t a composite number?
False
Let x(v) = -v**3 - 3*v**2 - v + 4. Let t be x(-3). Let c(g) = -5*g**2 + 2*g - 3*g - g - 4*g + g**3 - t. Is c(9) composite?
False
Let n = 39436 - 14877. Is n a composite number?
True
Let a = -5908 - -9685. Is a prime?
False
Let j(w) = -4*w - 2 + 3*w - 4*w + 6*w. Let c be j(0). Is (-1035)/c + (-9)/18 a prime number?
False
Let o(f) = 4*f - 93. Let i be o(24). Suppose 0 = c + 4*h - 24, c + 16 = -2*h + 6*h. Suppose c*p - 1262 = -3*u, -p = -0*p - i*u - 308. Is p a composite number?
True
Let l = -1863 + 1057. Let a = l + 1209. Is a composite?
True
Let j(g) = -g**2 + 5*g + 8. Let f be j(6). Suppose -f*v = -v - 3. Suppose 28 - 92 = -2*d + 2*a, -3*a + 114 = v*d. Is d composite?
True
Suppose 1477 = 4*z + 297. Suppose z = 5*y - 700. Is y a composite number?
False
Let u(n) = 27*n**3 + 6*n - 5. Suppose 9 = 3*d, 0*f - 5*d + 35 = 2*f. Let h be f/4 - 13/26. Is u(h) composite?
False
Let f(r) = r**2 - 12*r + 12. Let v be f(12). Let y(k) = -1 - 6 + 2 + v*k**2 - 2*k. Is y(6) composite?
True
Let z(q) = -2*q - 2 + 0*q**2 + 4 + q**3 + 3*q**2 - 2*q. Let l be z(3). Suppose 0 = 3*k - 137 + l. Is k prime?
True
Let q(m) = -m**3 + m**2 + 6*m + 3. Let x be q(3). Suppose x*s + 2*s = -i + 2336, -5*i + 5 = 0. Is s a composite number?
False
Let l = -32 + 33. Suppose -l = -2*f + 5. Suppose 673 = f*a + 5*r, 10*r = 5*a + 5*r - 1095. Is a a composite number?
True
Let j(t) = 3*t - 3. Let k be j(2). Let x(n) = -2 + 2*n**2 + 4 + 10*n**2 - n + k*n. Is x(-2) a composite number?
True
Suppose 5*q + 1533 = -2*w - 6087, 0 = -5*q - 5*w - 7605. Let m = q + 3364. Is m a composite number?
True
Suppose -20 = -6*l + 22. Suppose -3014 = -l*u + 1095. Is u a composite number?
False
Let m = 129 + -49. Suppose 2*t + 5784 = 6*t. Suppose 0 = -2*o + 2*g + 1016, m = 3*o - g - t. Is o a composite number?
False
Suppose -3*f = 4*j - 19, 4*j + 3*f - 11 = 2*j. Suppose 0*o = 5*y - o - 337, j*o + 343 = 5*y. Is y prime?
True
Let r(q) = q**3 - 2*q**2 - 5*q - 3. Let v(b) = b + 13. Let i = -3 + -4. Let u be v(i). Is r(u) a prime number?
False
Suppose 0 = -5*h - 20, -3*l - 5*h + 5793 = -8*h. Is l a composite number?
True
Let a = 821 - -158. Is a a prime number?
False
Let k be ((-372)/15)/(7/35). Suppose 0*q - 359 = -q. Let c = k + q. Is c a composite number?
True
Is -1*(-4 + 6) - -3781 a composite number?
False
Let t be (18/15)/(24/80). Suppose -3892 = -t*s - 0*s. Is s a composite number?
True
Let i = 33082 - -10647. Is i a prime number?
False
Suppose 5*s = p + 58, -3*s + p + 27 = 3*p. Let q(o) = o**3 - 9*o**2 + 3*o - 22. Is q(s) composite?
True
Suppose -h - 2*h = -5*a, 0 = 4*h. Let d be 2/(-4)*a/2. Suppose -g - 2*m + 3 = 0, -7*g + 2*g + 4*m + 15 = d. Is g a composite number?
False
Let t(o) = o + 13. Let i be t(-8). Suppose j = 5*j - i*q - 1003, -2*j + 501 = -3*q. Is j/12*(-194)/(-6) a composite number?
True
Let f = 6145 - 3654. Is f a prime number?
False
Let v be (-3)/(4/8*-2). Suppose 3*m + 593 = w, -2*m + 2 = -v*m. Is w a composite number?
False
Is -1*(-5 - 4639) - (-4 + 5) a prime number?
True
Suppose 0 = -6*r - 4 - 2. Let k(o) = -701*o**3 - 2*o**2 - 2*o. Is k(r) composite?
False
Let w = 0 - -3. Suppose -w*s + 486 = -477. Is s composite?
True
Let m be (-2)/11 + 598/143. Suppose 0 = m*c - 2*c + 616. Let o = 849 + c. Is o composite?
False
Suppose -15 = 9*a - 12*a, 2*a = 3*m - 67781. Is m a composite number?
True
Suppose -3*q = -2*p + 857, 4*p = -5*q + q + 1724. Let x(v) = -v**3 - 4*v**2 - 2*v - 2. Let c be x(-4). Suppose c*g - p = 4*g. Is g a composite number?
True
Let m = -366 - -544. Is m a prime number?
False
Suppose 3*r = -0*r - 2*v + 250, -2*v - 310 = -4*r. Let w be r/25 - 2/10. Suppose p = w*p - 106. Is p a composite number?
False
Let o be -1 - 2 - (1 + -61). Suppose 3*z - 293 = -d, 19 = z - 4*d - o. Let u = z - -115. Is u a composite number?
False
Let h(p) = 2*p**2 + 5*p - 19. Suppose 2*t + 3*t = q - 62, -q = 2*t + 29. Is h(t) a composite number?
True
Let d be (0 - 8)/((-1)/142). Let w = -748 + d. Let i = w - 123. Is i a prime number