site number?
False
Let n(m) = -114*m**3 - m**2. Is n(-1) prime?
True
Is (-1)/4 - (-1317)/(-4)*-1 a composite number?
True
Let u(z) = z**2 - z + 2. Let y be u(0). Suppose 2*w - w + 3*c = 12, -w - y*c = -7. Is 160 - (1 - (-6)/w) a composite number?
True
Let u be -1*(1 + 0/2). Is 9/(1 + 0/u) prime?
False
Suppose 3*j = -0*j - 18. Let y(q) = -2*q**3 + 7*q**2 + 4*q - 4. Let l be y(j). Suppose 5*a - l = 149. Is a a prime number?
False
Let d = -13 - -17. Suppose -126 - 30 = -4*a - 2*s, d*s - 90 = -2*a. Is a prime?
True
Is (-13)/(-5) + 3/(-5) composite?
False
Is ((-1)/(-3))/(1/447) prime?
True
Let k(v) be the third derivative of v**7/840 - v**6/720 - 11*v**5/120 - v**4/8 + 2*v**2. Let u(f) be the second derivative of k(f). Is u(9) prime?
True
Suppose -3*g - 2*g + 120 = 0. Suppose v = -3*v + g. Suppose o - 4*z = 25, 3*z - v = z. Is o prime?
True
Let u be 244/(((-9)/(-6))/3). Suppose 3*s - u = 121. Is s a composite number?
True
Let d be (-6)/(-4)*(-2)/(-3). Let p be ((-152 - -3)*-3)/d. Suppose 0 = -j - 2*j + p. Is j composite?
False
Suppose 4*t + t = 2630. Is t prime?
False
Suppose 2*c = -5*y + 829, 0 = 4*c + 3*y - 4*y - 1691. Is c prime?
False
Let y(i) = 3 + 7 - 14 - i**2 - i**3 + 1. Is y(-5) a prime number?
True
Let v be -31 - (-1 - 2/2). Let c = v - -51. Is c a prime number?
False
Suppose -2*r + 3*x - 6 - 9 = 0, -2*x = -10. Suppose -5*t + 0*f - 4*f + 687 = 0, t + 2*f - 135 = r. Is t a composite number?
False
Let q = 4105 - 924. Is q composite?
False
Suppose 5*y = q + 2678, -y + 5*q - 225 = -775. Is y prime?
False
Suppose b + 253 = -w + 1529, -3*w = b - 1274. Is b a prime number?
True
Let k(j) = j**2 + 6*j + 6. Let v be k(6). Suppose -2*y = -4*y + v. Is y composite?
True
Suppose 618 = 3*p - 5*n - 420, -3*p + 2*n + 1029 = 0. Is p prime?
False
Let b = -1079 - -2520. Suppose 4*j + 93 - b = 0. Is j a composite number?
False
Suppose 4*r + 200 = -228. Let n = -50 - r. Is n prime?
False
Suppose -h + 3 = 1. Suppose 0 = l + h*l + 54. Let q = l + 43. Is q a prime number?
False
Let c(g) = -g - 3. Let v be c(0). Let u = 6 + v. Suppose 3*x - 22 = -t - 0*x, u*t - x = 56. Is t composite?
False
Suppose 3*r - 6 = r. Suppose 0 = -r*j + d + 14, 11 + 9 = 2*j + 2*d. Suppose a + 0*a = j. Is a a prime number?
False
Let t be (-3 - -6)/(-9)*-6. Suppose -4*q = -4*r - 852, -4*q = r + t*r - 838. Is q a composite number?
False
Suppose 0 = -0*w + w - 6. Is (3 + (-669)/w)*-2 composite?
True
Let t(i) = -i**2 + 10*i - 12. Let s be t(9). Let m be 6/(-4)*(-8)/s. Let h = 17 - m. Is h a prime number?
False
Let y(a) = 2*a + 2. Let f be y(0). Is (108 + 2/f)/1 a prime number?
True
Suppose -2*i + 4852 = 2*i. Is i a prime number?
True
Let h = -40 - -261. Is h prime?
False
Let j(x) = -x + 6. Let m be j(6). Suppose -q - d + 302 = m, -d - d = 3*q - 905. Is q prime?
False
Let c(f) = f**2 + 4*f - 62. Is c(26) a composite number?
True
Let a(m) = -5*m - 10. Let f(y) = -11*y - 21. Let d(z) = 13*a(z) - 6*f(z). Let v be d(3). Is (-7 - -4)*1*v a composite number?
False
Let g be (0/3 - -3) + 0. Suppose c + r = -3*c + 54, g*r - 64 = -5*c. Is c composite?
True
Suppose 7*l = -l + 7624. Is l composite?
False
Let w = -66 - -124. Suppose -2*o = 4*v - w, 3*o - 47 = -3*v - 2*o. Is v a prime number?
False
Suppose -3*u = -6*u + 249. Is u a composite number?
False
Let q = 265 - -468. Is q prime?
True
Let r = -354 + 188. Let l(f) = 12*f - 11. Let k be l(-6). Let m = k - r. Is m prime?
True
Suppose 2*p = 3*p - 4075. Is (-2)/(-6)*(p - -8) prime?
True
Is 5/(10/(-4)) - -459 a composite number?
False
Let o be (-2 + -1)/(6/116). Let n = 249 + o. Let g = n - 136. Is g a prime number?
False
Is (-3)/(60/365)*-8 prime?
False
Suppose 10 = h - v, -2*h + 7*h - 30 = -5*v. Suppose 2*y - 22 = -h. Is y a composite number?
False
Suppose 0 = 3*g - 839 + 98. Is g a prime number?
False
Suppose 18 = 2*d + l + l, 0 = -4*d + 4*l - 4. Suppose -5*g + 1185 = z, 0*g - 948 = -d*g + 4*z. Is g a composite number?
True
Let f = -356 + 687. Is f a composite number?
False
Suppose 5*s - 616 - 379 = 0. Is s composite?
False
Suppose 881 = 5*h + 4*t, 0 = -2*t - 2 - 0. Is h composite?
True
Suppose 0*x - 316 = -4*x. Suppose 0*c + 2*c + 32 = 2*n, -x = -5*n + 4*c. Is n prime?
False
Let q(r) = 41*r**2 + 2*r + 3. Let p = -5 - -3. Is q(p) a prime number?
True
Let r(o) = -o + 4 - 4. Let f be r(-5). Suppose f*p - 5*d - 94 - 76 = 0, 4*d = -5*p + 197. Is p composite?
False
Let c(s) = 7*s**2 - 5*s - 2*s**3 - 3 - s + s**3. Let z be c(6). Is z/6*37*-2 a prime number?
True
Is 117 - 0 - (-2 - -1) a composite number?
True
Suppose 37*i = 32*i + 3155. Is i a composite number?
False
Let z = 460 + -317. Suppose 4*o = z + 165. Is o composite?
True
Let v(m) = -m**3 + m**2 - m - 1. Let y be v(-1). Suppose -471 = -y*z - z. Is z a composite number?
False
Let f(g) = -g**3 - 10*g**2 - 8*g + 11. Suppose -4*h - 36 = a, -49 = 4*h - 4*a + 7. Is f(h) a composite number?
True
Suppose 2*g + 12 = -0*q + 4*q, -q + g + 4 = 0. Let h be 2*((-13)/(-2) + q). Suppose 2*l - h = 3. Is l a composite number?
True
Let b(s) = -138*s - 1. Let c be b(-1). Suppose -3*f + 114 + 115 = 5*k, -3*k = 2*f - c. Is k prime?
True
Suppose -8*h + 540 = -4*h. Suppose 491 = 4*y + h. Is y a composite number?
False
Let l = 2906 - 1558. Suppose -3*o = -l + 205. Is o a prime number?
False
Let x = 23 + -89. Let i = 124 + x. Is i a prime number?
False
Let x(b) = -14*b + 3. Let a(t) = -t - 11. Let l(z) = -z**3 - z**2 + 4*z - 3. Let p be l(2). Let o be a(p). Is x(o) prime?
True
Let i be (-2835)/(-14) - (-2)/4. Let x = i - 144. Is x composite?
False
Suppose -s = 3*c + 144, 3*s - 152 = 2*c - 584. Is s/(-4) - (0 + -1) prime?
True
Suppose -o + 57 = -2*y - 236, 4*o = 5*y + 1172. Is o prime?
True
Suppose 9 = 4*o + 1. Is ((-762)/(-12))/(o/4) a composite number?
False
Let n(f) = 49*f**2 - 5*f - 7. Is n(-3) prime?
True
Let k = -13 + 21. Let g be (k/(-3))/((-2)/3). Suppose g*q = s - 27, -4*q + 36 = 4*s - 2*q. Is s prime?
True
Suppose 0 = 3*z - 15 - 0. Let w = 121 - 19. Suppose -x = z*b - 5*x - w, -6 = -3*x. Is b composite?
True
Suppose -12 - 80 = -p. Suppose 0*i - 4*i = -p. Is i a prime number?
True
Let w = 8 + -11. Let h be 0 - -5 - (w + 1). Let m(q) = -q**3 + 6*q**2 + 9*q - 10. Is m(h) composite?
True
Let w(f) = 2*f + 12. Let c be w(-10). Is 192 + (-4)/c*-2 a prime number?
True
Let o(w) = 15*w**3 - 2*w**2 - w - 2. Let h be o(2). Is 7/(7/(-2)) + h prime?
False
Suppose 2*y + f - 191 = 0, 2*f - 128 = -3*y + 161. Is y a composite number?
True
Suppose -l - 3*l = -36. Suppose -2*o - l = -3*o. Let g(u) = u**2 - 6*u + 10. Is g(o) a prime number?
True
Let n = 12 - -305. Is n a composite number?
False
Let l(k) = -58*k + 10. Is l(-6) prime?
False
Suppose -6*d = -d + 10. Is (-1)/d*(1 - -369) a composite number?
True
Let n = 3 - 0. Suppose 4*d - 1329 = -461. Suppose -4*b + d = -n. Is b a composite number?
True
Let s = 5 - -3. Suppose -s = -2*x - 0*x. Suppose g = 4*n - 0*g - 60, x*n = -g + 60. Is n prime?
False
Suppose 0*n + 6 = 2*n. Suppose g - 2 = -2*a + a, n*g - 4*a = 34. Suppose -g*h + 185 = -h. Is h prime?
True
Suppose -r - 306 = -2*m + 4*r, m = -r + 160. Is m a prime number?
False
Let r(y) = y - 5. Suppose 5*n - 25 = -0. Let b be r(n). Suppose 2*t - 134 = -b*t. Is t a composite number?
False
Let g = -16 - -8. Is (129 - 1) + g + 7 a prime number?
True
Let w(q) = 53*q - 5. Is w(8) composite?
False
Is (-2)/7 - 10396/(-28) a prime number?
False
Let z = 5724 - 2963. Is z a composite number?
True
Suppose 13 = c - 2*l - 6, 0 = 4*c - 2*l - 100. Let b = c + 22. Suppose 4*d + b = 197. Is d a composite number?
False
Suppose 0*a - 5*a = 2*c - 42, c = -3*a + 25. Let q = -5 + a. Suppose 4*h - 145 - q = 0. Is h a composite number?
False
Let u(k) = 3*k**2 + 7*k - 7. Let d be -15 - (-3 + -1 + 2). Is u(d) composite?
False
Is 14300/28 + 3/((-63)/(-6)) a composite number?
True
Is (-1 - (-8)/6)*177 prime?
True
Let a(m) = -m**3 + m**2 - 3*m - 5. Is a(-6) a composite number?
True
Let z = -4 + 6. Suppose z*d - 6*d + 164 = 0. Suppose -3*y + d = 2*g, 0 = -2*y + 5*y - 2*g - 37. Is y composite?
False
Suppose 5*v = 5*u - 320, 3*v - 184 = -3*u + 4*v. Suppose -q = -0*q - u. Let t = 51 + q. Is t composite?
True
Suppose -2*i + 338 + 32 = 0. Is i a composite number?
True
Let z = 922 + -543. Is z composite?
False
Suppose 2*i - 4*i - 7 = 5*m, -i = -2*m - 10. Let d = -3 + m.