prime number?
True
Let r(l) = 5*l - 7. Let d be r(4). Suppose 5*n + 58 - d = 0. Let i = n - -436. Is i composite?
True
Let l(f) = 19 - 12 + 7*f + 3*f. Is l(3) a composite number?
False
Let n be 27/36 - 134/8. Let m = 1 - n. Suppose -33 = -5*c + m. Is c a prime number?
False
Suppose -i - t = -24036, 5*i + 4*t - 120145 = 6*t. Is i a composite number?
True
Is (-11 - -2) + 16 + 3604 a prime number?
False
Let l be 1228/12 + (-4)/12. Let i = l + 161. Is i composite?
False
Let q(s) = -3 + 8 - 10 + 22*s - 12. Is q(8) prime?
False
Suppose -33*z - 167304 = -4*k - 28*z, -5*k = -z - 209151. Is k a prime number?
False
Let y(g) = 18*g**3 - 4*g**2 - 12*g + 5. Let m = 30 - 21. Is y(m) prime?
False
Is (236 - 0)*(-1)/(-2) a composite number?
True
Let d = -131 + 129. Is d + (-2)/2 + 696 + 4 a composite number?
True
Let b be 106/6 - (-5)/15. Let p = 22 - b. Suppose -5*t - c + 433 = 0, p*c + 13 = 5. Is t composite?
True
Let q = 41033 + -19822. Is q composite?
False
Let u(m) = -m**2 + 9*m - 2. Let q be u(4). Let h(n) = -n**3 - n**2 + 3*n - 11. Let f be h(-3). Is (-2082)/q*(f - 1) composite?
False
Let y(d) = 42*d + 1. Suppose -2*m - 5*m + 35 = 0. Is y(m) a prime number?
True
Suppose 0 = 9*q - 60 - 12. Suppose -13*n + 1005 = -q*n. Is n a composite number?
True
Is ((-4861)/(-4))/(-14 - 684/(-48)) prime?
True
Let m be 4/(-10) - 513/(-45). Let t = m + -9. Suppose -t*k - 29 + 177 = 0. Is k prime?
False
Suppose 20577 = 3*n + 3*t, 2*n - 13738 = -t + 4*t. Is n composite?
False
Let x(v) = v**2. Let f be x(-2). Suppose -2*z = o - 2083 + 392, -f*o = 5*z - 6758. Is o prime?
False
Let r = 137963 + -95226. Is r composite?
False
Let z be (-10)/(2/(-2) + 2). Is (115/z)/((-2)/28) prime?
False
Let h be 114/27 + (-4)/18. Suppose 0 = h*f - 0*f - 5*z - 2828, 0 = -f - 2*z + 707. Let i = f + -264. Is i a prime number?
True
Suppose -9 = -g + 4*g. Let k be (g + 2 - -3)*1. Suppose k*q + 3*q = 10, 4*q = -2*r + 298. Is r a composite number?
True
Let v(o) = 41*o**2 + 28*o - 61. Is v(-14) composite?
False
Suppose -w - 196 - 148 = -2*t, 0 = -t - 2*w + 167. Suppose 4*v - 269 = t. Suppose 8*x - v = 6*x. Is x prime?
False
Suppose -4*v - 20 = 0, 4*l + 129 = -2*v - 209. Let i = -29 - -176. Let j = l + i. Is j a prime number?
False
Let x be (0 + 2/(-5))/(32/(-320)). Is (-6)/9*((-1762)/x + 1) prime?
True
Let q(n) = -10*n + 29. Let t be q(-17). Is (-6)/(-4)*(-8)/(-6) + t a prime number?
False
Let o = 32 - 26. Let c(v) = 9*v**3 - 8*v + 23. Is c(o) a prime number?
False
Suppose 0 = -6*a + 1106 - 242. Let s be a/45 - (-8)/10. Is 0 + 1 + 568/s a composite number?
True
Is 7/((-2)/12 + 1492/8808) a prime number?
False
Suppose -13385 = 5*r + 3*j, 0*j = r - 4*j + 2700. Is r/(-9) - 4/(-18) a composite number?
True
Suppose -v = -2*v + 3628. Suppose -k - v = -5*k. Is k prime?
True
Let m be 0 + 3 + 60*1124/8. Suppose 0 = 8*t - 5*t - m. Is t a composite number?
True
Suppose -f = -2*f + 1526. Suppose 3*h = 4*b - 1205 - 828, -3*b + h + f = 0. Is b a prime number?
True
Let d be 5*(2 - 0)/2. Suppose -2*i = -d*i + 2019. Is i a prime number?
True
Suppose o - 4 = 2*p, -5*o + 8 = -3*p - p. Let c be 32/8 + 297 + o. Suppose -v = -2*s - c, -3*v + 927 = -0*s + 2*s. Is v prime?
True
Suppose -w + 4*h + 0*h + 5 = 0, -2*h = 5*w - 25. Let u(q) be the first derivative of 4*q**3 - 4*q**2 + 9*q + 4. Is u(w) a prime number?
True
Suppose 318 = 4*z - 114. Let g = 169 - 224. Let d = z + g. Is d a prime number?
True
Let l(n) = -n - 9. Let b be l(-10). Let r(h) = 11*h + 4. Let u(a) = -2. Let p(w) = 2*r(w) + 4*u(w). Is p(b) prime?
False
Let g be (1 + 0/1)*3. Suppose -4*a = -g*a - 419. Is a a composite number?
False
Suppose -4*a = -2*y - 2676, 2388 + 276 = 4*a - 5*y. Is a a composite number?
True
Let m(w) = -w**3 - 3*w**2 + 5. Let c be m(0). Suppose 12*y + c*n = 10*y + 14085, -2*y + 14087 = 3*n. Is y prime?
False
Suppose 84 = 2*d + d. Let r be (-1640)/16*d/(-5). Suppose -2*y = 4*k - r, -4*y + 2*k + 869 = -y. Is y composite?
True
Let p(n) = 99*n**2 - 9*n - 3. Is p(-5) composite?
True
Let p = 746 - 360. Let n = -376 + 244. Let z = n + p. Is z a prime number?
False
Let g(x) = x**3 + 6*x**2 + 2*x - 1. Let h be g(-5). Is ((-3)/2 - 99/(-9))*h a prime number?
False
Let x(z) = 145*z + 7. Let d be x(13). Let h = d + -1051. Is h a composite number?
True
Let j(f) = f - 10*f**2 - 2 + 3*f + 5 + 0*f**2. Let r(b) = b + 1. Let a(i) = -j(i) - 2*r(i). Is a(-3) a prime number?
True
Is 593*(14 + -5 - -34) prime?
False
Let t = -497 - -248. Let d = 2 - t. Is d a composite number?
False
Let v = -86037 - -137642. Is v composite?
True
Let a(n) = -n**2 - 6*n + 8. Let h be a(-6). Suppose 0 = -2*s - 3*q + h*q - 10, 10 = 4*s + 5*q. Suppose 4*w + s*w - 4*r = 1508, -5*r = 20. Is w prime?
True
Suppose -9*z = -11*z + 3*a + 3781, -5*a = -5*z + 9460. Is z a prime number?
False
Let u(j) = 40*j**2 - 8*j - 73. Is u(-5) a prime number?
True
Let o = -12 + 15. Suppose -5*s + 2*a + 710 = -2*a, -o*a - 569 = -4*s. Let j = s + 201. Is j prime?
True
Suppose 1138990 = 24*n - 499202. Is n a composite number?
True
Suppose 0 = -0*u + 4*u + 4*g + 12, 4*u - 4*g + 20 = 0. Let v = -2 - u. Is (v/(-4))/(16/(-1696)) a composite number?
False
Let j = 22 - 19. Suppose j*n - 4*n + 3 = 0. Suppose -n*i + 2078 + 685 = 0. Is i a composite number?
True
Let r(o) = -3*o**2 + o. Let s be r(-1). Let q(g) = 29*g**2 + 2*g - 4. Let y be q(s). Suppose -4*z + y = -120. Is z a composite number?
True
Let n = -31 + 3. Let p be -2 - (-1909 + -3 - 2). Is (7/n)/((-2)/p) composite?
False
Let r(l) = -913*l**2 - 11*l - 4. Let w(b) = -912*b**2 - 10*b - 3. Let q(c) = 6*r(c) - 7*w(c). Is q(1) a composite number?
False
Suppose 3*x = 2*m + 43, 0 = 2*x - m + 2 - 29. Suppose 9*n - x*n = -8. Suppose y + 273 = n*y. Is y a prime number?
False
Let z be (-2)/(-4)*1328/8. Is (z/4)/(3/84) composite?
True
Suppose 3*z = 5*b - 44600, b + 3*b = -2*z + 35702. Is b composite?
False
Let q(c) = 13*c**3 - 3*c**2 + c - 4. Let p be q(3). Let b = p + -129. Is b a prime number?
False
Suppose l = -4*z + 3*l - 10, 2*z - 7 = -3*l. Is (-391)/(3 - (5 + -3))*z a prime number?
False
Let w be -3*(2 + 964/(-6)). Suppose -g + 460 = 3*z + g, 2*g = 3*z - w. Suppose 4*y = 2*d + 352, -y - 2*d - 63 + z = 0. Is y a composite number?
False
Let b(d) = 10*d + 2. Let s be b(1). Let c be (-248)/s*-9 - 4. Let o = c + 17. Is o prime?
True
Let o(z) = z**2 - 11*z - 10. Let i be o(12). Suppose -3*r + 20 = 4*p - 5*r, -i*p + 2*r + 8 = 0. Suppose 0 = -p*v + 2298 - 468. Is v a prime number?
False
Is 186/21*4564/8 a composite number?
True
Let v be -1 - 6/((-30)/35). Suppose d = g - 1977, -g + d - 9897 = -v*g. Is g composite?
False
Let b = 124 + -126. Let a be (-1 + -1)*1172/(-8). Is b*a/4*-2 composite?
False
Suppose q + 10639 = 5*s, 4*q + s + 42481 = 6*s. Is (-1 + (-1 - -1))/(6/q) a prime number?
False
Suppose -4*t - f + 5*f = -1248, -2*t + 644 = 2*f. Suppose 3*h - t = 2*h. Is h prime?
True
Suppose 4*l + 2282 - 386 = 0. Let c be l/4 + (-3)/6. Let n = 230 + c. Is n prime?
False
Suppose 0 = -5*j + 3*m + 672 + 3828, 0 = 2*m + 10. Suppose 2*n = -n + j. Is n a composite number?
True
Let q be 5/(-2)*(-4)/5. Suppose 3*s - q*u + 7*u - 33 = 0, 2*s = 3*u + 3. Suppose -11*v + 555 = -s*v. Is v a prime number?
False
Let b = -5 - -13. Let a(i) = -i**2 + 0*i + i**3 - 11 + 11*i - 5*i**2 + 1. Is a(b) a composite number?
True
Let z(g) = 36*g**2 + g. Let y be z(1). Let u = 132 - y. Suppose -r - 12 = -u. Is r composite?
False
Let m(h) be the second derivative of h**3/6 + 11*h**2/2 + 7*h. Is m(-4) a composite number?
False
Let a(s) = s**3 - 3*s**2 + 2*s - 2. Let k be a(3). Suppose 3*x + 4*o + 1499 = 0, 0*o - 513 = x + k*o. Let i = -270 - x. Is i prime?
True
Let i(u) = 20*u**2 - 26*u - 113. Is i(-6) a prime number?
False
Let b be 9/18*6/3. Let o be (-2 + 12)/b + -3. Suppose -o*f = -3*f + 20, 5*g - 1655 = 2*f. Is g prime?
False
Let l(r) = 353*r - 28. Is l(7) composite?
True
Let n(q) = 991*q**2 + 10*q - 1. Is n(-2) a prime number?
True
Let i = -633 + 1287. Let x = i + -428. Is x a composite number?
True
Let j(c) = 27*c**2 - 6*c + 17. Let r be j(-7). Suppose -4*k + r = -2922. Suppose -a = -3*g + 377 + k, 0 = 2*g + a - 972. Is g a composite number?
True
Let z(s) = 3*s**2 - 2*s + 12. Let m be (-2)/(3/((-45)/6)). Is z(m) prime?
False
Suppose -4*a - 12 = d - 48, -4*d = -4*a - 64. Is ((-265)/d)/(1/6)*-2 com