f + m - 55 = 4*m. Is f a composite number?
True
Suppose 11 = 2*z - 4*s + 5*s, -2*s = -z + 3. Suppose -5*d + 262 = 3*q, -2*q + q + 264 = z*d. Is d a composite number?
False
Let k = 0 - -4. Let l be k/(-6) - (-574)/6. Suppose 4*d + d = l. Is d a prime number?
True
Let o(i) = -104*i + 63. Is o(-4) prime?
True
Suppose 5*q = n + 8309 + 1306, 5*q = 5*n + 9615. Is q prime?
False
Let g(w) = 17*w - 3. Let q be g(-5). Let d = -51 - q. Is d a composite number?
False
Suppose 105 = 3*b - 84. Is 2/(-9) - (-8015)/b prime?
True
Suppose 6*x - 699 = 5*x + 4*b, -x + 699 = 2*b. Is x composite?
True
Is (-1)/((25/13355)/(-5)) a composite number?
False
Let z = -44 + 81. Is z composite?
False
Suppose -43 = -3*n + 32. Is n prime?
False
Suppose 980 = 5*r - 9*r. Let q = r + 492. Is q prime?
False
Suppose -b + 40 = -427. Is b composite?
False
Suppose -2*a - 20 = -160. Is a*1 + (-3)/(-3) a composite number?
False
Let x(i) = 39*i**2 + 5*i + 25. Is x(-6) a composite number?
False
Let g(z) be the first derivative of -7*z**2/2 + z - 3. Let k be g(1). Is (-1 - k)*(5 - -2) a composite number?
True
Let h(m) = 5*m + 0*m + 4 - 3 + 5*m. Is h(5) a prime number?
False
Let x be (-1)/(-4) - 302/(-8). Suppose -x = 5*m - 3*k - 130, -59 = -3*m - 2*k. Is m a composite number?
False
Suppose 9 = -2*o + 17. Suppose o*q = 623 + 189. Is q a composite number?
True
Let s(h) = h**2 - 6*h + 3. Let z be s(6). Suppose y = -z*y + 56. Is y prime?
False
Let i = -170 + 523. Is i composite?
False
Let x be (6/(-8) - 0)*116. Let d be (1/1)/(2/(-6)). Is (d + 1)/2*x a prime number?
False
Suppose -5*m + 945 = 2*a, 4*a + 209 = 3*m - 332. Is m prime?
False
Suppose -2*q = -3*x + 8, 10 = 5*q - 0*q. Suppose -x*j - 5*y - 40 + 366 = 0, -4*y - 308 = -4*j. Is (j/(-2))/((-1)/2) composite?
False
Let u be (-14)/(-5) + 3/15. Suppose -15 = u*p, 3*j - 4*p + 2*p = -71. Let d = 106 + j. Is d a composite number?
False
Suppose -5*s - 3*m + 254 = 0, 4*s - 2*m = 3*s + 43. Is s composite?
True
Suppose -20 = -2*p - 3*p. Suppose u - 4*c = 203, -5*u = c + p*c - 1140. Is u composite?
False
Let y = -3 - -4. Suppose n - 3*m = 4 + y, -n - 2 = 4*m. Suppose -x - 79 = -n*x. Is x a composite number?
False
Let j(w) = w**3 - 6*w**2 + 2. Let q be j(6). Is (0 - q) + (-2 - -7) a composite number?
False
Suppose c = -12 - 2. Let h = 61 + c. Is h a prime number?
True
Let b(v) = 3*v**3 - 8*v**2 + 6*v - 4. Is b(5) a prime number?
False
Let g = 15 - -11. Let m = -16 + g. Is m a prime number?
False
Suppose 0 = 2*l + 5*s + 7, s - 2 - 3 = -2*l. Suppose -27 = l*o - 3*w - 974, w = -3*o + 720. Is o composite?
False
Let q be (-3)/(-12) + (-11)/(-4). Let a(f) = -1 + f + 3*f**3 - f**3 - q*f. Is a(2) composite?
False
Is (-46528)/(-240) + (-2)/(-15) a composite number?
True
Is 4 - (-217 - 3 - -1) a prime number?
True
Suppose -3*r = -r - 6. Is 2/3*r - -19 a composite number?
True
Let x(l) = l**2 - 3*l + 2. Let m be x(3). Suppose m*s = -2*s - 64. Let b = 133 - s. Is b prime?
True
Suppose -2*m + 3*j + 164 = -266, -2*j = -2*m + 430. Let w = 304 - m. Is w prime?
True
Suppose 2*s = -q + 34, 4*q + 0*q = s - 35. Is s a composite number?
False
Suppose 3*q - 5 - 1 = 0. Suppose -2*u = -d + q*u + 31, 3*u = 4*d - 137. Suppose -14 - d = -o. Is o a composite number?
True
Let x(l) = -2*l - 3. Let n be x(-3). Suppose -3*j + 4 = j, j + 20 = n*m. Is m prime?
True
Let v(c) be the second derivative of -3/20*c**5 - 3*c + 0 + 1/3*c**3 + 1/4*c**4 + 3/2*c**2. Is v(-2) composite?
True
Suppose -200 = -3*c - 2*c. Suppose 2*g = t + g - c, -3*g - 190 = -5*t. Suppose 6*b = b + 5*q + t, -3*b - 7 = 4*q. Is b a prime number?
True
Suppose 2*c - 2*t = -6, 5*t - 6 = 3*c + 7. Let s = 3 + c. Suppose 73 = -s*k + 263. Is k a prime number?
False
Suppose 5*w = 3*a + 4268, -2*w + 3*a + 1112 = -597. Suppose 0 = -5*p + 777 + w. Is p a composite number?
True
Is (31 - -3) + -1 + 4 a prime number?
True
Let q(h) = -239*h - 2. Let c be q(-2). Let u = c + 752. Suppose u = -n + 5*n. Is n a prime number?
True
Let s = 292 - -1107. Is s composite?
False
Let c = 4 + -2. Suppose -c = -2*q, 4*g = -0*g + 4*q + 232. Is g a composite number?
False
Suppose -5*b - 2*p = -520, 5*b - 2*p - 581 + 81 = 0. Suppose 0 = 2*r - r - 5*k - b, 4*k - 20 = 0. Is r prime?
True
Suppose -4*q - 2125 = -7969. Suppose 0 = -0*d - 3*d + q. Is d a composite number?
False
Suppose -5*r + 25 = 3*t, 2*r = -3*r + 10. Suppose -t*x + 2*c = -1201, x - c - 2*c = 248. Is x a composite number?
False
Suppose 2*m + 3*m = 20. Suppose -2*v - 16 = -6*v, m*v - 7 = b. Let q = b + 50. Is q a prime number?
True
Let r(t) = -3*t**3 - 2*t**2 + 4*t + 4. Let j be r(-4). Suppose -4*b + 0*b - j = 0. Let s = b - -96. Is s a composite number?
False
Let t(r) = 42*r - 22. Is t(12) a prime number?
False
Let o be ((-1)/(-3))/((-3)/(-18)). Let c = 5 - o. Suppose -4*m - c*x + 57 = -m, 3*m - x - 57 = 0. Is m prime?
True
Suppose -5*r + 627 = z - 0*z, 2*r - 264 = 4*z. Suppose f = 2*f + 47. Let t = r + f. Is t a composite number?
False
Let i(o) = -2*o**2 - 2*o + 5839. Is i(0) prime?
True
Let x(o) = 15*o - 5. Let v be x(5). Let u(j) = -j**2 - 3. Let t be u(6). Let h = t + v. Is h prime?
True
Let d be (986 - (0 - -1)) + -3. Let v = d - 587. Is v a composite number?
True
Let u be 1 + 1 + 0 + 67. Suppose -2*r - 4*a + 78 = 0, 0*a + a - u = -2*r. Suppose -3*j + j + 17 = i, -3*j - r = -3*i. Is i a composite number?
False
Let n = -23 + 16. Let z = n + 10. Suppose l - z*b = -3*l + 63, -4*b = 4. Is l a composite number?
True
Suppose -3*x + 266 = -223. Suppose -2*p + x = -p + 4*w, 0 = -w - 5. Is p prime?
False
Suppose -2*v - 381 = -5*v. Is v prime?
True
Is (-5672)/(-24)*(1 - 4)*-1 prime?
True
Let v = -5 + 16. Is -3*v*(-21)/9 composite?
True
Suppose 0 = -4*j - 24 + 1228. Is j a composite number?
True
Let b be (34/(-4))/(2/(-20)). Let q = b - 52. Is q a composite number?
True
Let z = 38 - 23. Suppose -5*b = -z - 125. Suppose -q + 87 = -b. Is q composite?
True
Let b(x) = 393*x**3 + x**2 - 2*x + 1. Is b(1) prime?
False
Suppose 4*o - 1251 = -o - 4*p, 5*o - 1253 = -2*p. Suppose 0*t = t - o. Is t a composite number?
False
Let o = 478 + -241. Suppose -h + 4*f + o = 0, -2*h - 5*f - 471 = -4*h. Is h composite?
False
Let l(r) = -6*r + 0*r**2 + 2 - r**2 - 4. Let b be l(-5). Suppose b*t = t + 66. Is t a prime number?
False
Let v be ((-1)/2)/(4/(-32)). Suppose -b + 13 = v*y + 2*b, y - 2 = -2*b. Let x(z) = -z**3 + 4*z**2 + z + 5. Is x(y) prime?
False
Let d be ((-6)/(-3) - -3) + -2. Suppose -o + 2484 = d*o. Suppose -14 - o = -5*r. Is r prime?
True
Suppose 0 = -3*y + 725 - 116. Is y prime?
False
Suppose 5*o + 0*o = 5*g + 15, -3*g + 11 = o. Suppose 5*a + g*c = 193, -127 = -3*a + c - 5*c. Is a composite?
False
Let g be 2/(-1 + 2 + -3). Let w(x) = -3*x**3 + x**2 + 2*x + 1. Let u be w(g). Suppose u*p = -0*p + 111. Is p prime?
True
Let p(r) = 3*r**3 + 8*r**2 - 2*r - 8. Let x(k) = k**3 + k - 1. Let l(m) = p(m) - 2*x(m). Let g be (-714)/91 + (-2)/13. Is l(g) composite?
True
Let m be (5/10)/(1/8). Suppose -31 = -p - m*c, 3*p + 4*c - 107 = 10. Is p a composite number?
False
Let w = -11 - -11. Suppose -2*i + i + 293 = w. Is i a prime number?
True
Suppose 0 = 2*g + 10, g + 10 + 7 = 2*a. Suppose o - a*o = -115. Suppose o = 4*i - 1. Is i a prime number?
False
Is 69 - (4 + 0 + -2) a prime number?
True
Let l = -161 - -235. Is l prime?
False
Suppose 2*h - 12 = -4*v, -h = -3*h + v - 8. Let f be (25/10)/((-1)/h). Suppose q - 2*n = 2*q - 100, 15 = -f*n. Is q composite?
True
Suppose -3*x - 2*x = -65. Let n = x - 4. Let a(s) = s**2 - 3*s + 1. Is a(n) a composite number?
True
Let m(f) = -3*f**2 + 11*f - 11. Let l be m(8). Let s = 224 + l. Is s prime?
True
Suppose -9*g + 456 + 102 = 0. Is g a composite number?
True
Let a(o) = 151*o - 2. Is a(1) a composite number?
False
Is -2 - 1/(-2)*146 a composite number?
False
Let y(s) = -524*s - 7. Is y(-1) a composite number?
True
Suppose -5*i + d = -1595, 4*i - 2*d - 1276 = -4*d. Is i prime?
False
Let v(l) = 4*l - 8*l + 4*l**2 - 3*l**2 - 1. Let c be v(5). Suppose 2*g = 5*m + 28, -6*m - 28 = -c*g - 3*m. Is g composite?
True
Suppose 4*y + 0*v = 4*v - 4, 5*y = -v + 7. Is y - (39 + 2)*-2 a prime number?
True
Let y(p) = -114*p - 17. Is y(-2) a prime number?
True
Suppose -4*m - 3 = -a, 4*a + 0 = -4. Is (m/(-3))/((-1)/(-57)) prime?
True
Let v = -5800 + 8237. Is v composite?
False
Suppose -22*l - 105