prime number?
True
Suppose 0 = c + 5*r - 32 - 10, 5*c - 291 = 2*r. Suppose -71 = -4*v + c. Let i = 47 + v. Is i prime?
True
Suppose 20 = 4*x + 4. Is (258/1 - x) + 3 composite?
False
Let v(b) = b**2 - 3*b - 13. Let a(z) = z**2 + 12 - z**3 + 4*z**3 - 4*z**3 + z. Let c be a(0). Is v(c) a prime number?
False
Suppose 3*n + 3892 = 2*g - 0*g, 0 = -5*g + 3*n + 9739. Is g prime?
True
Suppose 3*u - 18164 = -1157. Is u a composite number?
False
Let i = 22777 + -42. Is i a composite number?
True
Suppose 3*l - 10 = -4, -4*l + 225 = w. Let r be ((-7)/2)/(2/(-328)). Suppose -3*d - w = -r. Is d composite?
True
Suppose 13*g - 18*g - 4*p + 111149 = 0, 3*p + 22226 = g. Is g prime?
True
Let b(k) = -83*k + 18. Let l be b(-6). Is 4/1 + l + 1 a composite number?
False
Suppose -8*l = -0*l - 40. Let u(g) = 60*g + 7. Is u(l) prime?
True
Suppose 0 = -5*m + 20, 0 = -3*z - z - 3*m + 40. Suppose -11*f = -z*f - 1676. Is f prime?
True
Suppose 4*r - 3*h + 4841 = 0, -r - 2*r + h - 3637 = 0. Let b = 2941 + r. Is b composite?
True
Suppose 3*l + 20 = 212. Suppose -2*s = -6*s - l. Is 173/8 - 6/s composite?
True
Suppose 0 = 2*y - 10071 - 6047. Is y a prime number?
True
Let l = -87 - -87. Suppose 0 = -d - l*d + 3, -m + 5*d + 1072 = 0. Is m a composite number?
False
Is (-7)/3 - 4310860/(-102) prime?
False
Let x = 1263 - -1179. Suppose x + 166 = 4*i. Suppose 2*v + 74 = i. Is v prime?
False
Let y(m) be the second derivative of 1/3*m**3 + 0 + 11*m + 1/4*m**4 - 11/2*m**2 + 1/20*m**5. Is y(7) composite?
True
Suppose -4*j + 5*o + 20 = 0, 0*j - o - 20 = -4*j. Let m = -67 - -69. Suppose j*y = 4*y - 5*z + 72, m*z - 306 = -4*y. Is y a composite number?
True
Let q(t) = 1240*t + 99. Is q(7) composite?
False
Let a(x) = 383*x - 14. Let h(n) = -384*n + 13. Let k(y) = -4*a(y) - 5*h(y). Is k(2) a prime number?
False
Let n(u) = u + 17. Let t be n(-12). Is (6 + (-17)/2)*(-422)/t a composite number?
False
Let g(w) = -25*w**3 - 14*w**2 - 11*w + 3. Is g(-5) a composite number?
False
Suppose u = 3*u + 728. Let t = u + 559. Suppose 5*l - 400 = t. Is l prime?
False
Suppose 122055 = 5*r - 4*j, -6*r - 2*j - 122045 = -11*r. Is r prime?
True
Let j(t) be the third derivative of t**4/12 - 7*t**3/6 + t**2. Let b be j(5). Suppose b*r - 155 = -2*r. Is r prime?
True
Let l(f) = -f + 19. Let k be l(15). Suppose y + k*o = -y + 3138, -y + 4*o + 1581 = 0. Suppose 6*q - q = 3*v + y, 309 = q - 2*v. Is q prime?
True
Suppose 7*q + 585 = -2*q. Let j = q + 1182. Is j a prime number?
True
Suppose 0 = 7*w - 0 + 7. Let b(f) = -3506*f**3 - 2*f**2 - f. Is b(w) a composite number?
True
Let w = 523 + 1692. Suppose 4*i - 4614 = -l, 3545 + w = 5*i + 5*l. Is i a composite number?
True
Let v be (6542/4)/((-7)/14). Let h = 7720 + v. Is h a prime number?
False
Suppose -637242 = -30*r + 424548. Is r prime?
True
Suppose 2*t = -5*d + 269953 - 56751, -5*t - 5*d = -532975. Is t prime?
True
Let r(a) = -a + 8. Let t be r(7). Let x(f) = -350*f + 3. Let c(l) = 349*l - 2. Let j(d) = 4*c(d) + 3*x(d). Is j(t) a prime number?
True
Let x(r) = -r + 4217. Let q be x(0). Let u = q + 822. Is u a prime number?
True
Let k = 2294 + -1221. Let b = -169 + k. Let m = b + -221. Is m a prime number?
True
Suppose 7 = 3*g - w, 4*w - 1 = -g + 3*w. Suppose 4*o - g*b - 2087 = -o, -4*b - 403 = -o. Is o prime?
True
Suppose 4*l - 3*g = -3 - 3, 0 = 3*l + 4*g - 8. Suppose 5*z - 16559 - 12726 = l. Is z a prime number?
True
Let u(l) = 7*l**2 - l + 1. Let b be u(1). Suppose -3*z = -2*h + b*h - 558, -5*z = -h - 958. Is z a prime number?
True
Let l = -187 - -218. Is l composite?
False
Let o(b) = 40*b + 11. Suppose 0*p - 18 = -2*a + 5*p, a = 3*p + 9. Is o(a) prime?
False
Let u = 4011 - 130. Is u prime?
True
Let f(i) = 293 - 66 + 186 + 6*i + i**2 - 3*i. Is f(0) a composite number?
True
Is 3387 + -2 - (40/(-10))/1 prime?
True
Suppose -4*k - 12 = -5*k. Let f = 14 - k. Suppose 10 = -5*i, 4*d + f*i = 305 - 97. Is d composite?
False
Let s = -27 + 64. Let k = -79 + 83. Suppose 4*o + 122 = 5*a, -a + 9*o = k*o - s. Is a prime?
False
Suppose 3*m + 0 - 18 = 0. Suppose -5*s + m*s = 4. Suppose -4*y + s*o + 1009 = -251, 0 = -y + 4*o + 303. Is y composite?
True
Suppose -26 = -5*g - 4*b, 2*g - 14 = -0*g + 2*b. Suppose -u = -5*h + 8468, 3*h + 5*u + 5094 = g*h. Is h a prime number?
True
Let v be ((-9)/4)/((-9)/48). Suppose -4*c - 4*g + v = 0, 0 = c - 3*g + g. Suppose 0 = 4*o + c*z - 282, -3*z - 111 = -4*o + 176. Is o composite?
False
Let v(a) = -4432*a + 882. Is v(-8) a composite number?
True
Let d(p) be the first derivative of 36*p**3 + 5*p**2/2 + 10*p + 28. Is d(5) a prime number?
False
Let o be 1202/(-7) + 2/(-7). Let l = -1750 - -1451. Let j = o - l. Is j prime?
True
Let t be -2 + -670 - 3/(-3). Suppose 4*o - 5888 = 2*f, -o - 6*f + 2*f + 1481 = 0. Let u = o + t. Is u a composite number?
True
Let z(r) = 20*r - 17. Suppose 0 = 4*g - 2*d + 4*d - 40, d = -5*g + 47. Is z(g) a prime number?
True
Suppose 0 = 89*f - 90*f + 4197. Is f a prime number?
False
Suppose -2*a - 4*z = -9298, -2*a + 3*z = 5368 - 14652. Is a composite?
True
Let j(y) = -y**3 + 4*y**2 - 2*y. Let t be j(3). Suppose 0 = t*x - 1618 + 373. Is x composite?
True
Suppose -5*w - 4*p + 28095 = 0, w - 603 = -4*p + 5032. Let l = w + -3516. Is l composite?
False
Suppose -9*i + 2578 = -19733. Is i composite?
True
Let q = 66 + -67. Is 748 + (3 - -2) + q + 5 a composite number?
False
Let v(z) = z**3 - z**2 + z - 131. Let w be v(0). Let q = 208 + w. Is q prime?
False
Let k be 40/70 - (-24604)/14. Suppose 2*t + k = 8*t. Is t a prime number?
True
Let w(z) = z**3 + 7*z**2 - 3*z - 8. Suppose -4*l = -13 + 37. Is w(l) composite?
True
Suppose v + 4*v = -l + 62190, -4*v + 49768 = 4*l. Is v a prime number?
True
Suppose 389 = 3*b - 484. Is b a prime number?
False
Let w = -36 - -36. Let z(s) = 6*s + 635. Is z(w) a composite number?
True
Suppose 5*c - 230 = -5*b, c - 42 = -b - c. Let t = 2 + 3. Suppose 0 = t*g - 295 + b. Is g a composite number?
True
Let x(y) = 62*y**2 - 5*y + 38. Is x(7) prime?
True
Let b(n) = -4931*n - 114. Is b(-7) a prime number?
True
Suppose -2*p + n + 2*n = -1, -3 = -4*p + 5*n. Let w = 9 + -7. Suppose 3*u - 225 = -w*z, 4*z - 3*u = p*u + 439. Is z composite?
True
Let m be -35 + (9 - 1)/4. Let p = -26 - m. Suppose 0 = 2*j + 4*z - p*z - 803, -j + 2*z + 403 = 0. Is j a prime number?
True
Suppose -396 = 38*i - 34*i. Let s = 586 + i. Is s a composite number?
False
Suppose 0*n - 2*n = -10. Suppose 2*u = p + 900 + 72, n*u - 3*p - 2429 = 0. Is u a prime number?
True
Is (1/((-1)/2))/(270/(-1517805)) composite?
False
Suppose -3*q + 31 = -4*o, -2*o = 4*q - 0*q - 12. Let h(s) = -4*s + 6. Let w be h(q). Is (-1297)/(-7) - (-4)/w prime?
False
Suppose 4*q = -8, 0*x - 2*q - 4 = -5*x. Suppose x = -3*b - 2*h + 9411, 0 = b + 2*b - h - 9411. Is b a prime number?
True
Let l(a) = a**3 + 11*a**2 + 4*a + 18. Let z be l(-10). Let p = -25 + z. Is p a composite number?
False
Let q(a) = -a**2 + a + 1. Let c be q(0). Let p(n) = -3*n**2 + n - 1. Let k be p(c). Is (-6)/k*452/8 a composite number?
False
Suppose -23 = -3*p + 7*p + 3*a, 2*p = -4*a - 24. Is 2932/5 + 5/(25/p) a composite number?
True
Suppose 0 = u - 3*m - 7048, 0 = -0*u - 5*u - 5*m + 35300. Is u composite?
False
Suppose -32 = -10*f + 18. Suppose -p - 3628 = -f*p. Is p a prime number?
True
Suppose -4*l - 20 = -9*l. Suppose -n - 163 = -l*b, 0 = -n - n - 3*b - 304. Let o = n - -786. Is o a composite number?
False
Let v = -3505 - -5022. Is v composite?
True
Let b(x) = 3*x + 5. Let u = -7 + 11. Suppose -3*k - 18 = -3*z, -u*z - k + 4 = -5. Is b(z) a composite number?
True
Suppose -q - 313 = -3*f, 0 = 4*f + 5*q - 0*q - 392. Suppose f = j - 212. Suppose 5*m - 140 = j. Is m a composite number?
True
Let r(f) = -6*f**2 + 5*f + 15*f**2 - f**3 - 3*f**2 + 3. Let t be ((-1)/3)/(-1*(-1)/(-12)). Is r(t) composite?
True
Let w(a) = a**3 - 6*a**2 + a - 1. Let b be w(6). Suppose -j + b*s = -37, -2*s + 3 = s. Let n = j + 7. Is n a composite number?
True
Let q = 47262 - 28055. Is q a prime number?
True
Suppose 3*d - 3*m + 1387 = -7*m, -4*d - 1886 = -2*m. Let y be 12/(-28) + 5197/7. Let z = y - d. Is z a prime number?
False
Suppose 5*p + 9 = 4. Let g be (-1)/p + 0 + -1. Suppose -2*r = 4*h - 158, -r - 5*h - 17 + 84 = g. Is r a prime number?
False
Let j(y) = -y**3 - 9*y**2 + y + 19. Let c be j(-9). Is 9674/c - 22/55 composite?
Fa