site?
False
Let p = 1385 + -968. Let x be 3 + p - (0 - 2). Is 6/(-33) - x/(-22) a prime number?
True
Let d(f) = f**2 + 1. Let a(c) = -19*c**3 - 2*c**2 - 4*c + 1. Let b(r) = -a(r) + 2*d(r). Let n be b(-3). Is (1 - n)*(-1)/(-3) prime?
True
Suppose 142 + 153 = 5*i. Is i a composite number?
False
Suppose 6*d - 3*d = 351. Suppose 2*a + 3*r = -0*a + 113, -d = -2*a + r. Is a prime?
False
Suppose 2*u - 2*n = 308, -2*n + 3 = 13. Suppose d - u = -4*o, -o - o + 70 = -4*d. Is o a composite number?
False
Suppose 8*x - 17 = 391. Is x composite?
True
Suppose 3*r - 96 = 3*f, 4*r + 3*f + f - 168 = 0. Is r a prime number?
True
Suppose 3*t + 2*t = 3155. Is t a prime number?
True
Is -4709*(-2)/14 + 4/14 a composite number?
False
Let q(r) = r**2 - 2*r + 2. Let z(h) = 6*h**3 + h. Let p be z(1). Is q(p) composite?
False
Is (-2298)/4*(17 + -19) composite?
True
Suppose 2*f + 17 = 3*f - 4*w, -5*f + 4*w + 101 = 0. Let u(x) = 2*x - 8. Let a be u(6). Suppose f = 3*n - 4*k, -a*n + 4*k + 0*k = -24. Is n composite?
False
Suppose 5*f = -n - 22, -4*n + 4*f + 29 = -n. Let x = n + -5. Is (-44)/((-4)/x)*-1 a prime number?
False
Suppose 20 = -4*c, 0 = -2*m - 4*c - 521 - 1461. Let l(u) = 2*u - 7. Let q be l(-4). Is m/q + (-2)/5 a prime number?
False
Let k(h) = -6*h**3 + h**2 - 3*h - 3. Suppose -5*g - 5 - 5 = 0. Is k(g) a prime number?
False
Let u be (-1)/2*(-170 - -6). Suppose -103 = -5*k + u. Is k composite?
False
Let m(b) = -170*b**2 + 2*b - 2. Let y be m(1). Let v = -9 - y. Is v composite?
True
Suppose 4*k - 2*v - 4654 = -0*k, 3507 = 3*k + 4*v. Is k prime?
False
Suppose 3*x - 8*x + 5545 = 0. Is x composite?
False
Suppose 0 = 2*h + h - 12. Suppose -5*w + h*m = -397, 163 = -w + 3*w - 3*m. Is w a prime number?
False
Let v(w) = -247*w**3 - 2*w**2 - 2*w. Is v(-1) composite?
True
Suppose -n - 2*m + 422 + 369 = 0, -3*n = 4*m - 2369. Is n prime?
True
Suppose -5*t = 4*z - 216, -2*t + 86 = -4*z + 6*z. Suppose -5*x + t = -51. Is x a composite number?
False
Let v(p) = -296*p - 325*p + 61*p - 1 - 22*p. Is v(-1) composite?
True
Let r = -1 - 2. Let p be 0 + r/(3/(-2)). Suppose 3 = -2*d - 5*n - 8, -p*n - 38 = -4*d. Is d a composite number?
False
Suppose -13530 = -7*x + 2*x - 5*y, y = 1. Is x prime?
False
Let s(k) = 6*k**2 - 3*k + 5. Let c be s(6). Suppose p = -1, 5*q - 4*p = 216 + c. Is q composite?
False
Let z(b) = b**3 + 8*b**2 - 11*b - 8. Let t be z(-7). Let g(k) = 30*k - 11. Let i be g(6). Let m = i - t. Is m composite?
True
Let n(p) = -5*p + 10. Let x be 8/28 - (-52)/14. Let z be ((-18)/8)/(1/x). Is n(z) a composite number?
True
Suppose 0 = -5*y + 3 + 2. Is (7/y)/(5/15) a composite number?
True
Suppose 8*h - 140 = 3*h. Let a be 8/h - (-541)/(-7). Is a/2*(0 - 2) a composite number?
True
Suppose 2*y + n = -3*y + 380, 4*n + 20 = 0. Is y composite?
True
Is 2819/(((-4)/8 - 0)*-2) a composite number?
False
Let f = 15 + 30. Suppose -f - 287 = -4*c. Is c prime?
True
Suppose -657 = -3*a - 3*m, -3*a + 2*m = -188 - 464. Suppose 4*k - a = -r, -2*k - r - 11 = -119. Is k composite?
True
Let m(x) = 31*x + 1. Let n be m(1). Suppose n = t - 5*y, 0*t - 3*t + y = -96. Suppose 2*i - 5 = -13, -4*b + t = -5*i. Is b prime?
True
Let i be (-2*69/6)/1. Is i*(1 + -2)/1 prime?
True
Suppose 3*u - 113 = 2*u. Is u a prime number?
True
Let a = 66 + -133. Let z = -41 - a. Suppose z = 4*m - 2*m. Is m prime?
True
Let t = 1731 + 680. Is t prime?
True
Let a = -184 - -364. Suppose -309 = -3*k + a. Let j = 252 - k. Is j composite?
False
Let j(g) = -352*g + 1. Is j(-1) prime?
True
Suppose 0 = v - 5, -4*g - v + 42 = -3*g. Is g a composite number?
False
Suppose 0 = -5*q - 3*d - 2, 8*q - 6 = 3*q - d. Suppose -5*c - 4*u + 301 = 0, -q*c = -c - 3*u - 45. Is c a composite number?
True
Let r(s) = 2*s**2 - 8*s + 9. Let d be ((-20)/2)/(-4 - -2). Suppose 10 = d*x - 20. Is r(x) a prime number?
False
Let b be 591 - ((2 - 2) + 1). Let w = b + -251. Is w prime?
False
Is (-1532)/(-13) + 4/26 composite?
True
Let a = 3 + -4. Is a/5 + 8060/50 composite?
True
Let p = -98 - -193. Is p a composite number?
True
Let n = 26 - 15. Is n composite?
False
Let o(w) = -39*w - 26. Let v(r) = 13*r + 9. Let p(s) = -4*o(s) - 11*v(s). Is p(8) a prime number?
True
Is (-1)/(-3) - (-1520)/12 prime?
True
Is 5/(-10)*1*-148 a composite number?
True
Let i be 12/72 - 46/(-12). Let o(s) be the second derivative of s**5/20 - s**4/3 + 5*s**3/6 - 3*s**2 + s. Is o(i) a composite number?
True
Suppose 0 = 5*q - 20, -3*m + 265 = -0*q - 5*q. Is m prime?
False
Let k be (-10)/(-15) - 7/(-3). Suppose -8 = 4*b, -3*r - k*b - 156 = -4*r. Suppose -2*u - 3*h + r = u, -149 = -3*u - 2*h. Is u prime?
False
Suppose 3*u - 6*u = -d + 371, 0 = 5*d + 2*u - 1787. Is d prime?
True
Let n(p) = -56*p - 3. Is n(-4) a prime number?
False
Let f(z) = 4*z**2 + 8*z + 9. Let w(p) = p**3 - 2*p**2 - 3*p - 5. Let o be w(4). Let t = o + -22. Is f(t) a prime number?
True
Let y be (-2)/3 - 2/6. Let b(s) = -14*s**3 + s + 1. Let o be b(y). Suppose 5*v = -4*c + 165, v - 13 = -2*c + o. Is v prime?
True
Let y(l) = 47*l**2 + 3*l + 11. Is y(-8) a composite number?
True
Suppose 3*i - 5444 = -i. Is i composite?
False
Is 1198/3*(8 + 69/6) prime?
False
Let j(m) = -2*m**3 + 30*m**2 - 3*m - 19. Let u(b) = -3*b**3 + 45*b**2 - 5*b - 28. Let l(y) = 7*j(y) - 5*u(y). Is l(15) prime?
True
Suppose -629 = -7*u + 6*u. Is u a prime number?
False
Suppose 0 = 5*g - 79 - 571. Let w = g + -56. Is w prime?
False
Let p(y) = 105*y - 4. Is p(5) a prime number?
True
Let j(p) = p**3 - 8*p**2 + 10*p - 19. Let b be j(7). Let k = -214 + 382. Suppose -86 = -b*t + k. Is t a composite number?
False
Let q(a) = a + 4. Let d be q(-4). Suppose -3*z - 78 = -d*z. Let c = z + 36. Is c a prime number?
False
Suppose 3*k + 9 = i, -12 = -5*i + 2*k + 2*k. Let z(n) = n**2 - 4. Let c be z(-3). Suppose -3*x - c*s - 21 + 140 = i, -91 = -3*x + 2*s. Is x a composite number?
True
Let w be (-38)/(-5) + 4/10. Suppose -3*n + w = -n. Suppose -n*f = -2*f - 134. Is f a prime number?
True
Suppose -12821 = -4*t + 3*x, -x = -3*t + 5902 + 3720. Is t composite?
False
Suppose -5*b = 3*a + 11, -4*b + 2*b = 2*a + 2. Suppose 0*z - a*z = -9. Suppose 57 = z*r - 144. Is r a composite number?
False
Suppose 6*l - 2*l - 3604 = 0. Is l a composite number?
True
Suppose 371 = 5*r - 324. Let j = r + 46. Is j a prime number?
False
Let t = -375 + 188. Let i = -122 - t. Is i a prime number?
False
Suppose 0*n + n + 1 = 0. Let m be 2 - 182/(n + 3). Let t = -34 - m. Is t prime?
False
Let o = 37 + 14. Is o a prime number?
False
Let g(a) = -27*a - 12. Is g(-7) a composite number?
True
Let q(f) = -27*f - 1. Is q(-6) prime?
False
Suppose 8*y = 9*y - 1139. Is y prime?
False
Let d = -12 - -20. Suppose -4*w - d = 0, 4*i - w = -3*w + 20. Is i a prime number?
False
Suppose -1915 = -5*h + 600. Is h composite?
False
Is 2/6*(-3 + 2688) prime?
False
Suppose -5 = -2*w + 4*n + 7, 5*n = -3*w - 15. Suppose -2*r = -l - 3*r + 453, 2*l - r - 900 = w. Is l a prime number?
False
Suppose 0*l = -l - 35. Let i = l - -58. Is i prime?
True
Let o = 425 + -297. Suppose -o = -2*a - 2*g, 0 = -2*a + 3*a - 2*g - 73. Is a composite?
False
Let d(t) = -t**2 - 4*t - 7. Let f be d(-3). Is (2 - 0)/(f/(-62)) a prime number?
True
Let u(z) = z**2 - 3*z + 4. Let b be u(3). Let g be (2 + -1)*b/(-2). Is (-1)/((-3)/159) - g prime?
False
Let b(j) = j**2 - 3*j - 3. Let l be b(4). Is (-632)/((-1)/1) + l a prime number?
False
Let z be 4/6 + (-42)/(-18). Is z/5 - (-1544)/10 prime?
False
Suppose 2 = -2*v + 12. Let i(r) = 4*r**2 - 3. Is i(v) prime?
True
Let b = -11 + 15. Suppose -b = n, -t - 3*n + 6*n = -17. Let u = 21 + t. Is u composite?
True
Suppose -270 = -7*w + 521. Is w prime?
True
Let h(w) = 2*w**2 - 7*w - 27. Let f(b) = -b**2 + 3*b + 14. Let k(q) = 7*f(q) + 4*h(q). Let g be k(7). Let p = 17 + g. Is p a composite number?
False
Let b be (-1823)/(-5) + (-22)/(-55). Let l = -220 + b. Is l a composite number?
True
Suppose 0 = -0*o - 4*o + 20. Suppose 0*z - 2*s + 779 = o*z, -5*z = 4*s - 773. Is z composite?
False
Let b(q) = 1082*q**3 - 2*q + 1. Let h be b(1). Suppose -k = 3*c + 2*c - h, -5*k - 454 = -2*c. Is c a prime number?
False
Suppose 0*s = s - 3. Suppose -s*g + 0*g = -627. Is g composite?
True
Let i(w) = -6*w**3 + 3*w**2 + w - 2. Let j be i(-2). Suppose 3*t = -0*t + 66. Suppose -t = -3*r + j. Is r a composite number?
True
Suppose -f + 3*f =