 = -j + 86. Is j a composite number?
True
Let a = -127 - 45. Let x be (-2)/(-10)*a*5. Is x/(-16) + (-2)/(-8) a composite number?
False
Let r(q) = -q**3 + 7*q**2 - 4*q + 3. Suppose -c - o = 0, -2*c + 3*o - 4 + 29 = 0. Is r(c) a composite number?
True
Suppose -8*s = -3*s - 3*i - 14, 5*s - 22 = -i. Suppose 0*t = 5*y + 5*t - 580, -t - 449 = -s*y. Is y prime?
True
Suppose -2*j + 1153 = 5*i + 86, 4*j = -3*i + 2113. Is j a composite number?
True
Suppose -3*u + 1599 + 1350 = 0. Is u composite?
False
Let d be 3 + -1 + -2 - -96. Suppose -2*l = 5*o - d, 4 - 208 = -4*l - 4*o. Is l composite?
False
Is (110/50)/((-1)/(-145)) composite?
True
Let h(q) = -5*q**3 + 8*q**2 + 10*q + 9. Let p(t) = 11*t**3 - 16*t**2 - 21*t - 19. Let j(a) = 9*h(a) + 4*p(a). Is j(8) a prime number?
True
Let y be -1 + 4 - (5 - 2). Is 24 + (0 - -2) + y a composite number?
True
Let x(b) be the second derivative of -b**3/6 + 3*b**2/2 + 2*b. Let z be x(3). Suppose z = -l - l + 42. Is l composite?
True
Suppose 7*f - 7796 = 3*f. Is f prime?
True
Let z = 5 - -24. Let c = 188 - z. Is c prime?
False
Let p be (-6 + 3)*2/(-3). Is (-42)/(-2) + (0 - p) a prime number?
True
Let x(s) = -2*s**3 - 2*s**2 + 3*s + 3. Let y be x(-2). Let f(h) be the first derivative of h**3/3 - 6*h - 3. Is f(y) a composite number?
False
Let k(m) = -m**3 + 8*m**2 + 7*m + 13. Let b be k(9). Let n(w) = -w**3 + w**2 + 6*w - 5. Is n(b) composite?
True
Let y(o) = -2*o**3 + 1 - 3*o**2 + o + 4 + o**3 + 3*o. Let q be y(-5). Suppose -7 = -2*j + q. Is j a composite number?
True
Suppose -197 = -2*j - 3*l, -3*j = -j - 3*l - 227. Is j a prime number?
False
Suppose 5*i - 4*g = -905, 0 = 5*i - g - 454 + 1359. Suppose -2*h + 2*o - o = 517, 3*h = -3*o - 771. Let z = i - h. Is z composite?
True
Suppose 4*p + 0*x + 5*x = 224, -2*x = -5*p + 280. Suppose c - 344 = -4*m, 3*m - 193 = -3*c + p. Is m composite?
True
Suppose -y - 55 = -2*y. Suppose 0*b = b - y. Is b composite?
True
Suppose -2*z - 9 = -5*g, 0 = -g + z - 2*z + 6. Is (135 - 0 - g) + 1 composite?
True
Let g(z) = 2 + 3*z - 1 + 4 + 1. Is g(9) a prime number?
False
Let y(j) = 156*j**2 + 1. Is y(1) prime?
True
Let a = -152 - -265. Is a a prime number?
True
Suppose -5*z = -15, -2*y - 45 = z - 6*z. Suppose v = -5*t + 365, 0 = t + 3*t + 3*v - 281. Let m = t + y. Is m prime?
True
Let m be 0 + (0 - (-1 - 2)). Suppose -3*q + 2*v = -100, -q - m*v + 20 = -17. Is q prime?
False
Suppose 20 = 4*a - 16. Is a prime?
False
Let b(w) = -43*w**3 + 3*w**2 - 5*w - 2. Is b(-5) a composite number?
True
Let h(i) = 2*i + 9. Let p be h(7). Suppose -2*b = 5*f - 267, -b + p = 4*f - 118. Is b a prime number?
False
Let i = 708 - 241. Is i a composite number?
False
Suppose -j + 14 = -2*k, 0 = -3*j - 2*k + 23 + 3. Let n(d) = -d**3 + 11*d**2 - 4*d + 2. Let y be n(j). Suppose -v + 3*v = y. Is v composite?
False
Suppose 3*p - 3*l - 27 = 0, 7 + 2 = -3*l. Is 1587/p + 2/4 a prime number?
False
Let f = -5 - -6. Suppose 0 = 5*z + 5*c + 15, 6*z = 4*z + 4*c + 6. Is (-67 - 2)/(f*z) prime?
False
Suppose 0 = -b - 4*b + 15. Let q(u) = 3*u**2 - 3*u + 3. Let a be q(b). Is 71 + 7/(a/(-6)) a composite number?
True
Let y be (1 - 0)*26/(-2). Let g = -1 - y. Suppose a + g = 3*a. Is a a composite number?
True
Let u be 4/(-16) - (-23)/(-4). Is (-7605)/(-35) - u/(-21) composite?
True
Suppose 0 = -2*p + 3*j + 76, -3*p - 3*j + 120 - 6 = 0. Is p prime?
False
Let l(x) = x**2 - 5 + 0*x**2 - 3*x - 6*x**2 + 2*x**3. Let i be l(-4). Is -2*2/(12/i) a composite number?
False
Let n be 2*-1*(-4 - -2). Suppose 16 + 4 = n*z. Suppose -3*p - 52 = -z*a + 276, 191 = 3*a + 4*p. Is a composite?
True
Let o(z) = 20*z + 3. Let c(t) = t**2 + 7*t - 4. Let l be c(-8). Is o(l) a composite number?
False
Suppose 1627 = 8*g - 4525. Is g a prime number?
True
Let o(a) = a + 1. Let g be o(-4). Let j be (-54)/(-4)*(-2)/g. Suppose j*h = 8*h + 37. Is h a prime number?
True
Let d = -230 - -441. Is d a prime number?
True
Let v be 1/1 + (52 - -1). Suppose 5*f - 239 = -v. Is f a composite number?
False
Suppose -4*u + 2 = -2*l, -6*l + 3*l - 11 = -2*u. Is 1/u*0 - -10 a prime number?
False
Let r(k) = k**2 + k + 50. Let o be r(0). Suppose -4*c - h + o = -c, 5*h - 10 = c. Let m = c - -118. Is m composite?
True
Let i(o) = -o**3 - 4*o**2 + 2*o + 4. Let l be i(-4). Let u(r) = -14*r - 6. Let t be u(l). Suppose 6*s = 2*s + 4, -t = -2*x + 2*s. Is x a composite number?
True
Suppose -3*w = w - 12. Suppose w*r - 1108 = -5*u, 2*u - 388 = -r + 5*u. Let p = -189 + r. Is p prime?
False
Let w = 2 + 0. Suppose -149 = -3*l - w. Is l a composite number?
True
Suppose -2*y = -7*y + 20. Let w be -1 + (-4 - -3) + y. Is 2/w + 93 - -1 a prime number?
False
Let m = 331 + 694. Suppose -5*a + m = -5*y, -a + 231 - 2 = 5*y. Is a a prime number?
False
Suppose -2*x + 3*f + 9 = -5*x, -5*x - 9 = 3*f. Is (-23 - (2 - x))/(-1) a composite number?
True
Suppose 3*c - 3*j - 96 = 0, -6*j = 4*c - 3*j - 149. Let d be (-40)/(-12) + (-1)/3. Suppose -d*u + c = 2*u. Is u a prime number?
True
Let p(i) = -i**3 + 10*i**2 + 11*i + 11. Suppose 3*w - 8*w + 55 = 0. Is p(w) a composite number?
False
Let f(j) = j**2 + 5*j + 1. Let z be f(-5). Let b = 17 - 11. Is z + -8*(-9)/b composite?
False
Let m = 311 + -177. Is m composite?
True
Is ((-6)/(-4))/((-9)/(-738)) a prime number?
False
Let t(x) = x**3 - 5*x**2 + 4. Let c be t(5). Suppose -c*y + 8*y = 84. Is y a composite number?
True
Suppose f - 12 = -4*s, s + f = -0*s + 3. Is s a prime number?
True
Let p(j) = -j**2 - 6*j. Let z be p(-6). Is (-452)/(-2) + (-3 - z) composite?
False
Let r(x) = 95*x + 19. Let s(v) = -24*v - 5. Let t(c) = 5*r(c) + 19*s(c). Let g be t(2). Let n = g - 23. Is n a composite number?
True
Let i(q) = -q - 2. Suppose 4*o - 16 = 3*s, 0 = 2*s - 3*s - 5*o - 37. Is i(s) composite?
True
Suppose k - 3*q = 2*k - 7, 16 = 4*q. Let c(i) = 5*i**3 + 7*i**2 + 4*i + 10. Let b(v) = -6*v**3 - 8*v**2 - 4*v - 11. Let f(l) = k*c(l) - 4*b(l). Is f(-4) prime?
False
Suppose x - l = 4107, l - 3*l = -4. Is x composite?
True
Let z = -15 - -22. Let m(g) = g**3 - 5*g**2 - 11*g + 10. Is m(z) a prime number?
True
Let o(g) = -g**2 - g + 35. Suppose -2*w + 10 - 4 = 0. Suppose -5*s - 10 = -w*v, 7*v - 5*s - 10 = 3*v. Is o(v) a prime number?
False
Let w = -2 - -2. Suppose w = -3*r + r - 30. Is r/(10/(-4) + 1) a composite number?
True
Suppose -4*f - 3*q = 6 + 3, -q = 3. Let x = f + -6. Let p(j) = -5*j - 9. Is p(x) a prime number?
False
Let r be 3/(-4) - 6/(-8). Suppose m + r*m + 7 = 0. Let o = -4 - m. Is o composite?
False
Let x be 3/((-6)/(-172)) + 0. Let d = 51 - x. Let j = d + 88. Is j prime?
True
Is 0 + -1 - (-1648 - 10) composite?
False
Suppose -15*f + 10*f = -1595. Is f prime?
False
Suppose 0 = -0*p - 4*p + 64. Let g be (-3)/(11/(-4) - -2). Suppose -5*m + 75 = 6*d - d, g*m - p = 0. Is d composite?
False
Suppose a + 6 = -2*d, 2*d - 1 = -4*a - d. Suppose 650 = 3*k - 4*g, a*k + 2*g + 11 = 863. Is k prime?
False
Suppose 3*v = -2*v. Suppose 3*i - 4*i = v. Is 19*(1 - i)/1 composite?
False
Let g be (9 + -3)/2 - 19. Let p = g + 35. Is p composite?
False
Let g(u) be the third derivative of u**4/24 + 5*u**3/6 - 2*u**2. Let w be g(-4). Suppose -i = -1 - w. Is i composite?
False
Let a(v) = 21*v - 1. Let w be a(1). Suppose -77 = -5*u + 2*t, -2*u = 2*u - 3*t - 56. Suppose u + w = h. Is h a prime number?
True
Let r be 4/(-14) + (-384)/(-21). Suppose 3*n = 99 - r. Is (-6)/n + 1390/18 a composite number?
True
Suppose -601 = -4*n + 111. Is n prime?
False
Let d(r) be the second derivative of -7*r**3/6 - r**2/2 - 2*r. Is d(-5) composite?
True
Suppose -2*t + 2 = -4. Suppose -5*i + 15 = 0, x + i = 6*i - t. Is 138/4*x/9 a prime number?
False
Let j be 3 - -1 - (-3 - -6). Let o(g) = -62*g. Let a(w) = w + 1. Let k(m) = j*a(m) - o(m). Is k(2) a composite number?
False
Suppose 0*w + l - 6386 = -4*w, -3*w + l + 4793 = 0. Is w a composite number?
False
Let a(z) = -3*z + 2 - 3*z**2 + 0*z + 0*z**2 + 5*z**2. Is a(5) a composite number?
False
Let h be -4 + 4 + 672/(-3). Let p(q) = -q**2 - 155. Let c be p(0). Let n = c - h. Is n composite?
True
Let a(z) = -3*z**3 - 3*z**2 + z + 2. Let r be 9*((-2)/(-6))/(-1). Is a(r) a prime number?
True
Let n = 4004 + -6112. Is n/(-20) - (-6)/10 a composite number?
True
Let s = -2 - -6. Let f(h) = 29*h - 3. Is f(s) composite?
False
Suppose -1497 = -b - 4*g, -4*b - g + 2957 + 3106 = 0. Is b a pr