 Suppose 170 = 2*n - o. Is n composite?
True
Let v(j) = -19*j - 6. Is v(-7) prime?
True
Let k(j) = j**2 + 10*j - 11. Let t be k(-11). Suppose -4*v = -12, t = -0*u + 3*u - 4*v - 9. Is u a composite number?
False
Suppose 0 = m + m - 22780. Let l be (-2)/(-9) + m/18. Suppose -5*a - 2*i + l = 0, 4*i + i = -2*a + 249. Is a a composite number?
False
Suppose 4*u - 2*c = 0, 3*u + 0*c - 18 = -3*c. Suppose 0 = -3*d - u*d + 1315. Is d a composite number?
False
Let t be 2 - (8/2 - 2). Suppose t = -w - 2*w + 30. Is w prime?
False
Suppose 0 = d - 5*z - 54, 0 = 5*d - 3*z + 2*z - 270. Let v = -38 + d. Let k = 3 + v. Is k a prime number?
True
Let m = -1271 + 3564. Is m composite?
False
Let h(n) = 681*n - 5. Is h(2) composite?
True
Suppose b - 2 = 2*p, 5*p = -4*b - 23 + 5. Suppose 0 = -a - 0 + 4. Is (-34)/b - (-2 + a) a prime number?
False
Let w be 2/(-5) + 2/5. Let d(v) = -v + 35. Is d(w) a composite number?
True
Let w(b) = b**3 - 3*b**2 + 5. Let f be w(3). Let q(k) = 82*k - 3. Let h be q(6). Suppose f*v - 3*g = 811, -2*v = -5*v + 3*g + h. Is v composite?
True
Let n be ((-2)/7)/((-2)/14). Is -3 + -36*(-3 + n) a prime number?
False
Let q(w) = 2*w**2 + 4*w + 7. Suppose 1 = 4*k + 5. Let h be (7/(-21))/(k/(-15)). Is q(h) a composite number?
False
Suppose -2*g - g + 1986 = 2*y, 0 = -4*g. Is y composite?
True
Let j be (-3)/6*(-3 - -79). Let r = j - -181. Is r composite?
True
Let c(r) = -r**3 - 11*r**2 - 2*r - 7. Is c(-12) a prime number?
False
Let j be ((-14)/(-21))/((-4)/6). Is (-31)/((-1)/(0 - j)) prime?
True
Let d(i) = 9*i**2 + 2*i - 3. Let z(o) = o**2 - 2*o - 1. Let r be z(-1). Let t be d(r). Suppose -t + 16 = -n. Is n composite?
True
Let u(h) = 402*h + 1. Is u(1) a prime number?
False
Suppose u - 3*b - 258 = -0*u, u + b - 270 = 0. Is u a prime number?
False
Suppose 0 = -4*c + 72 - 20. Let b = 28 - c. Is b composite?
True
Suppose 2*z = -2*z + 116. Suppose -4*n + z = -19. Suppose -5*l - n = -397. Is l prime?
False
Is (3 - 16/2)*-137 a prime number?
False
Let k(w) = 88*w - 1. Let v be k(-9). Is (-12)/(-24) - v/2 a prime number?
True
Let h(b) = -8*b**3 - b - 1. Let y = 2 - 3. Let d be h(y). Suppose -5*j = 5*x - 40, d = 5*j - 0*x - 3*x. Is j a prime number?
False
Let f(p) = -6*p**2 + 2*p - 1. Let q(a) = -a**2. Let m(d) = -f(d) - 6*q(d). Is m(-2) prime?
True
Let i be 156*(-1)/((-6)/3). Let x = i + -17. Suppose -3*v = 2*j + 3*j - x, -2*j + 43 = -5*v. Is j a composite number?
True
Let q(v) = 8*v**3 - 5*v**2 - 5. Is q(6) composite?
False
Suppose 2*o - 2710 = -3*d, -4*d = -2*o - 134 + 2872. Is o prime?
True
Suppose -2*z - 12 = 52. Let f = z + 69. Is f composite?
False
Let b = 23 - 36. Is 2/((-2)/b + 0) a composite number?
False
Let n be 0/(-3)*2/(-4). Suppose n = -0*x + x - 2. Suppose -x*r = -3*r + 89. Is r composite?
False
Suppose -2*q - 5*z = 1 - 4, 5*z - 4 = -q. Let b(i) = 169*i**2 + i + 6. Let g(y) = 34*y**2 + 1. Let m(p) = -2*b(p) + 11*g(p). Is m(q) composite?
False
Suppose -31 - 19 = -p. Let i be ((-8)/(-10))/(10/p). Suppose -41 - 11 = -i*y. Is y composite?
False
Suppose -s + 4*s = -5*x + 381, -4*x - 3*s = -303. Suppose 3*y = 5*y - x. Is y a prime number?
False
Let b = 12 - 7. Suppose -392 = -b*f + 1253. Is f a composite number?
True
Suppose -27 - 85 = 4*f. Is (f/(-8))/((-1)/(-34)) prime?
False
Let w = 6922 + -4685. Is w prime?
True
Is (2/(-4))/(4/(-1048)) a composite number?
False
Let s = 177 - 84. Is s prime?
False
Let f be 5/(-2)*18/(-15). Suppose -5*b + 787 = f*u, -4*b + 449 = -b - 4*u. Is b prime?
False
Is 16/8 - (-87)/1 a prime number?
True
Let n be 20*(2 + (-28)/16). Let v(m) = -3*m**3 + m**2. Let o be v(-1). Suppose 4*b = 11 + n, -2*r + o*b + 58 = 0. Is r a composite number?
False
Let m(a) = a**3 - 4*a**2 - a - 7. Is m(6) a prime number?
True
Let m(v) = 2*v**2 + 6*v + 7. Let k be m(7). Suppose k = 4*l - 5*q, 5*l - 5*q - 101 = 79. Is l a prime number?
False
Suppose -6*f = -2*f - 492. Is f a composite number?
True
Let z = 5 + -14. Let m(n) = n + 19. Is m(z) a prime number?
False
Suppose 0*z + 9148 = 4*z. Is z composite?
False
Let a be (-23)/(-3) + (-5)/(-15). Let i be (-96)/(-6)*(-14)/a. Is ((-106)/(-4))/((-2)/i) prime?
False
Suppose 0 = 2*q - 13 - 57. Is q prime?
False
Suppose 4*u + 18 = 5*u. Is 3*-1*(-186)/u composite?
False
Suppose 2*l = -0*p + 3*p - 29, -4*l - 31 = -3*p. Is (2 - 113)*(-33)/p composite?
True
Let n(g) = 4*g**2 + 0*g - 7 - 7*g - 3*g**2. Let w be n(8). Is (1/w)/((-1)/(-67)) a prime number?
True
Let x(a) = -a**3 + 4*a**2 + a + 1. Is x(-5) a composite number?
True
Let n be (36/(-6))/(2/(-4)). Let w be 8/n*(-9)/(-2). Is 87/6 - w/6 a composite number?
True
Suppose 3*u - c + 401 = -u, -3*u - 312 = -3*c. Let h = u + 145. Let w = h - 27. Is w a prime number?
True
Let q = 2000 + -1063. Is q a composite number?
False
Suppose x - 3*m = 72, -34 = -4*x - 2*m + 212. Is 7/((-3)/x*-3) composite?
True
Let b be ((0/(-3))/(-3))/1. Suppose 5*d - 47 - 608 = b. Is d composite?
False
Let z = -2506 - -3815. Suppose 0*j - 3*v = -5*j + 2143, -3*j + z = 4*v. Is j a prime number?
True
Suppose 0 = -5*k + 3*k + 502. Is k composite?
False
Suppose -4 = -0*k - 2*k. Suppose -k*f + 1038 = 40. Is f prime?
True
Let h = 11 + -7. Suppose -241 = -5*o - 2*s, 0 = -2*o + h*o - 3*s - 104. Is o prime?
False
Let w be -3 - -5 - -1*2. Is 7 + w + -3 + -1 prime?
True
Let s be (2 + -3)*(-21)/(-3). Let d = s - 8. Is (5/d)/((-1)/267) prime?
True
Suppose 5*l - l - 40 = 0. Suppose 6 = 6*t - 3*t. Suppose 20 + l = t*a. Is a a prime number?
False
Let c = -296 - -197. Let s = 173 + c. Is s a prime number?
False
Let y(w) = 2 + 0*w**3 + w**3 + w - 3*w + 6*w**2. Is y(-5) a prime number?
True
Is 710/4*36/45 composite?
True
Let v(s) = 258*s + 5. Is v(7) composite?
False
Let a = 4 - -1. Let r = a - 1. Suppose 3*b + 77 = s, -4*s - r*b + 248 = -b. Is s prime?
False
Let r = -249 - -447. Suppose -3 = -3*u + r. Is u prime?
True
Let d = 143 - 53. Let w = d - 25. Is w a prime number?
False
Let n(o) = -3*o**2 + 10*o - 7. Let k be n(6). Suppose -187 - 206 = 3*d - h, -h = -2*d - 261. Let z = k - d. Is z prime?
False
Suppose 4022 + 1038 = 5*w. Suppose 7*z - 3*z = w. Is z composite?
True
Suppose 0 = -2*m + 2, 3*w = -4*m + 10225. Is w a composite number?
False
Suppose -10*j + 4*j + 1194 = 0. Is j composite?
False
Suppose -6*b + b = 0, u - 2*b = 445. Is u a prime number?
False
Let u(k) be the first derivative of -k**4/4 + 5*k**3/3 + 5*k**2/2 - 5*k - 1. Let q be (6/4)/((-18)/(-48)). Is u(q) a composite number?
False
Suppose 2*m = 4*m + 6. Let v = m + 7. Suppose v = -5*b + 19. Is b composite?
False
Let m = -830 - -1311. Suppose m = 5*j - 69. Suppose -2*s = -0*s - j. Is s prime?
False
Let q(n) = 2*n**2 + n + 2. Let h be q(2). Suppose -y = -p, 0*p - y = 2*p - h. Suppose 3*a = p*a - 2. Is a a composite number?
False
Let m(q) = -q**2 + 4*q - 4. Let y(j) = j**2 - 4*j + 3. Let u(w) = 2*m(w) + 3*y(w). Is u(-4) composite?
True
Suppose 0 = 5*g - 1179 - 356. Is g a prime number?
True
Suppose -2*x + 4*j + 187 - 53 = 0, 0 = 4*x + 3*j - 268. Suppose -3*b = -4*s - x, 2*b + s - 54 = 6*s. Let d = 32 - b. Is d composite?
True
Let d be 12/(-4)*10/2. Let i = d + 26. Is 1 + (2 - 1) + i a prime number?
True
Is (-3)/7 + (-3304)/(-49) prime?
True
Let m(d) = 12*d**3 + d**2 + d. Let o be m(-1). Let j(a) = -a**3 - 12*a**2 - 10*a + 11. Is j(o) composite?
False
Suppose 3*g = -4*k + 6, -3*g + 3*k = -43 + 16. Is (47/(-2))/((-3)/g) a composite number?
False
Let s be (-3)/1*(-40)/(-15). Is (-2)/s - 11/(-4) a prime number?
True
Suppose 2*c = 187 - 1. Is c prime?
False
Let v(a) = a**3 - 6*a**2 + 3*a - 10. Is v(8) composite?
True
Let r(j) = 7. Let p(w) = -w + 6. Let c(n) = -5*p(n) + 4*r(n). Is c(3) composite?
False
Let l be 17 + (-2 - (-3 - -4)). Is 2*l + (6 - 3) prime?
True
Let n(b) = b**2 + 3*b + 3. Let v be n(-3). Suppose 3*r - 638 = 115. Suppose -r = -2*x + 3*h, 2*h = v*x + 102 - 481. Is x prime?
True
Let f(b) = -130*b**3 + 4*b**2 + 7*b + 7. Is f(-2) composite?
False
Suppose -3*g = g - 228. Let r = g + -32. Is r a composite number?
True
Let j(z) = -2*z - 2. Let v be j(-5). Suppose 17 = 5*o - v. Suppose -170 = -o*m + 5*t, 3*m = -m - 3*t + 143. Is m a prime number?
False
Let g(i) = -13*i - 3. Is g(-10) a composite number?
False
Let y = -44 + 201. Let g = -3 - -5. Suppose -6*j = -3*l - j + y, g*l = j + 100. Is l a prime number?
False
Let c(r) = r**2