e 0*a + 3*a - 558 = f. Suppose 21 = -3*d + a. Is d prime?
False
Let d(v) = 69*v + 1. Let b(g) = -139*g - 2. Let s(r) = -3*b(r) - 5*d(r). Is s(2) composite?
True
Suppose 2*b = -3*b + 2130. Let k = 17 + b. Is k composite?
False
Suppose 2*u + 2*h = -0*u - 6, -u + 22 = -4*h. Suppose 4 = -u*b + b. Is (1/(-2))/(b/248) composite?
False
Suppose 2*w = -9 - 27. Is (-6)/w - 212/(-3) a prime number?
True
Let o(j) = -j - 4. Let g be o(-9). Suppose 4*k + h = -125, -g*k - 2*h = -0*k + 154. Let r = k - -47. Is r composite?
True
Is ((-158)/4)/(6/(-12)) composite?
False
Is -4 + (223 - (-8 - -4)) composite?
False
Let s = 13 + -7. Suppose -3*q - 1011 = -s*q. Is q a prime number?
True
Suppose 3*g + 12 = -18. Is g/4*-136 - 3 a prime number?
True
Suppose -2*c = -3 - 9. Is (3/c)/(3/114) a composite number?
False
Suppose 4*q - 2*s - s = 0, 2*s = -q. Suppose q = -n + 2*n - 2. Is n prime?
True
Let k(x) = -3*x + 2*x + 4 + 0*x - 3. Is k(-10) a composite number?
False
Let k(d) = 6*d**2 - 5*d + 2. Let i(j) = 12*j**2 - 11*j + 3. Let g(r) = -2*i(r) + 5*k(r). Let m be (48/(-40))/(4/(-10)). Is g(m) composite?
True
Let t(q) = 2*q**2 - 4*q + 6. Let j(i) = i**3 + 5*i**2 + 2*i. Let h be j(-4). Suppose -2*u = -0*u - h. Is t(u) composite?
True
Let y be 2/(-4) + 920/(-16). Let a = -23 - y. Is a a composite number?
True
Suppose -428 + 1168 = 4*w. Let n = w + -130. Is n a composite number?
True
Suppose 3*j + 239 = -43. Let a = -29 - j. Is a a composite number?
True
Let w(i) be the first derivative of 6*i**2 + i - 3. Let m be w(3). Suppose 0 = 5*n - m - 228. Is n a prime number?
True
Let l = -6 - -17. Suppose x = -4*x + 5*z + 115, 0 = -3*z + 3. Let n = x - l. Is n composite?
False
Let q(g) = 22*g**3 - 5*g**2 - 3*g + 2. Let y be q(-3). Is (y/12)/((-2)/6) composite?
False
Let h = 21 - 19. Suppose 344 = z - h*c - c, -z - c + 356 = 0. Is z a prime number?
True
Let t = -351 - -562. Is t a prime number?
True
Suppose 2*i = i + 5. Let m be (i/(-10))/(2/(-24)). Suppose -m*u + 2*u = -28. Is u a composite number?
False
Let c(a) = -32*a - 1. Suppose -3*n + 16 = 5*x, 2*x = -n + 3*n + 16. Is c(n) a composite number?
True
Let h(d) = d**2 + 2*d - 3. Let g be h(-4). Suppose -4*y - 36 = g*f - 0*y, 0 = 5*f + 5*y + 40. Is 6/f*(-190)/15 a composite number?
False
Let a(w) = 22*w**3 - w**2. Suppose -5*k + 16 = c, 9 = -k + 4*k. Is a(c) a prime number?
False
Let n(v) = v**2 + 8*v + 5. Let y(u) = u**2 + 9*u + 6. Let c be y(-7). Let o be n(c). Is 111/(o + -2) - 3 a prime number?
False
Let r(j) = -j**3 + 25*j**2 - 9*j + 45. Is r(20) prime?
False
Let k(w) be the third derivative of -29*w**4/12 - w**3/2 - 4*w**2. Is k(-5) a composite number?
True
Let b be 8/(-3)*(-9)/6. Suppose 2*a - 884 = -b*o, -7*a = 2*o - 3*a - 442. Is o prime?
False
Suppose 23 - 103 = -m. Let u = -188 + m. Let q = u + 166. Is q a composite number?
True
Let f(o) = o**3 - 5*o**2 - 8*o + 9. Let u be f(7). Let n = u + -14. Is n composite?
False
Let o = 7 + -7. Suppose o*h + 4*h - 172 = 0. Is h a prime number?
True
Suppose -3*i = 3*t - 663, 56 + 164 = i + 2*t. Suppose 4*u = 2*u + i. Is u a prime number?
False
Suppose -2*i - 2*v - 632 = 0, -v - 2*v - 1576 = 5*i. Suppose -26 = -3*c - 2*a, -3*a - 50 = -4*c + 2*a. Is (-4)/c + i/(-10) a composite number?
False
Let m = 1943 + -1141. Is m a prime number?
False
Is ((-890)/(-8))/(26/104) prime?
False
Suppose 3*s - 2*n = 551, -3*s - 561 = -6*s - 3*n. Is s composite?
True
Suppose -k + 55 = -0*k. Suppose 6*q = q + k. Let j(g) = 19*g - 6. Is j(q) composite?
True
Suppose 6 = -2*n - 0. Is (1/n)/((-3)/1035) a prime number?
False
Let h(a) be the first derivative of 22*a**3/3 - 3*a**2 - a + 2. Let z(p) = p. Let v(n) = h(n) + 6*z(n). Is v(-1) a composite number?
True
Let v be (-1)/(-2)*-2 + 81. Suppose v = -3*t + 14. Let w = 32 + t. Is w a composite number?
True
Suppose -4 = 2*k - 2, 2*j - 159 = k. Is j composite?
False
Let u(q) = q**2 - 8*q + 7. Let p be u(8). Let c(y) = 17*y. Is c(p) composite?
True
Suppose -3*p - 31 = 4*r + 2*p, 0 = 2*r - 4*p - 4. Let z be r/16 - (-21)/4. Suppose z*l - 64 = -4*o + 3*o, -5*o = -4*l - 233. Is o composite?
True
Suppose 5*o = 5*g - 3*g - 32, -5*g = 2*o + 36. Let j = -5 - o. Is 304/6 + j/9 prime?
False
Suppose 8*a + 25 = 13*a. Suppose -p - 5*s = -0*p + 28, -2 = 4*p - 2*s. Is 9/p + a + 45 composite?
False
Let h(p) = -p + 5. Let k be h(10). Let s = -2 - k. Suppose -b + 2*t + 19 = -24, b - 39 = s*t. Is b a composite number?
True
Let q(h) = h - 6. Let w be q(9). Let t be ((w*5)/1)/(-1). Is (-66)/t + (-6)/15 composite?
True
Let u be 26/(-6) + (-3)/(-9). Let r be 2*-1 + (2 - u). Suppose 0*d - 60 = -r*d. Is d a prime number?
False
Let v(h) = -h**2 + 26*h + 18. Let i(w) = w**2 - 39*w - 27. Let t(s) = -5*i(s) - 8*v(s). Is t(10) a prime number?
False
Let x be (-1)/6 - 55/66. Let l = 1 - x. Suppose l*r = -3*r + 255. Is r a prime number?
False
Let v(k) = k**3 - 4*k**2 + 4*k. Let l be v(3). Let p(o) = 4 - 4 + 2 + 25*o. Is p(l) a prime number?
False
Is -223*2/(-3 - -1) prime?
True
Let h(t) be the first derivative of 13/3*t**3 - t + 2 + 1/2*t**2. Is h(1) composite?
False
Suppose -3*a + 4*m + 73 = 0, -a - a = -2*m - 52. Suppose p - 128 = -a. Is p composite?
False
Let k be (-2)/(-7) - 540/28. Let n = k + 29. Is n composite?
True
Let g be 1 + -14094 + (2 - 0). Let s be (g/14)/(6/8). Is (-6)/(-10) + s/(-5) a prime number?
True
Let n = 199 + -76. Is n a composite number?
True
Suppose -b = -3 + 2. Suppose -l = 1 + b. Is l/(-2)*(29 - -4) a prime number?
False
Let v = 1 - -4. Suppose -3*r - 506 = -v*r. Is r composite?
True
Let a be 0 + (15 - 0)*-1. Is (-2148)/(-15) + 3/a a composite number?
True
Let l(q) be the first derivative of q**3/3 + 2*q**2 - 5*q + 19. Let m be 1/2 + (-30)/(-4). Is l(m) prime?
False
Suppose 879 = 4*g + g + 2*r, 3*r = 5*g - 894. Is g a composite number?
True
Let y(n) = -23*n**3 + n + 1. Let d be y(-1). Let h = -6 + 8. Suppose 7 = h*k - d. Is k a composite number?
True
Suppose 13*g - 361 = 12*g. Is g a prime number?
False
Let r(n) = -3*n**2 - 5 + 5*n**2 - 6*n + 4*n**2. Is r(-4) a composite number?
True
Let s(w) = 240*w - 121. Is s(28) prime?
True
Let y = 1334 - 793. Is y a composite number?
False
Let r(v) be the second derivative of 11*v**4/6 + 2*v**3/3 + v**2/2 + v. Is r(3) a composite number?
False
Suppose 2*y - 405 - 191 = 0. Is y composite?
True
Suppose 6*y + 808 = 4*j + 4*y, -j = 5*y - 213. Is j composite?
True
Let j = 7997 + -4564. Is j a composite number?
False
Let g = 2 - -13. Is g a prime number?
False
Suppose -5*k - 2*g + 47 = 0, k = 5*k - 3*g - 33. Suppose 1 = 5*a - k. Is 10/a - (-3)/(-3) prime?
False
Let l be 14*(-1 + (-27)/(-2)). Suppose -k + l = 4*k. Is k a composite number?
True
Let j be 0/9*(-2 - -1). Suppose p - 261 + 54 = j. Suppose -f - 20 = 3*i - 174, -p = -4*i - f. Is i a composite number?
False
Suppose 5*m = 20, -1 - 7 = -2*a - 2*m. Suppose 0*t + 6 = 2*o - 5*t, a = 4*o + 3*t - 12. Is o prime?
True
Let t(k) = 35*k**2 + 4*k + 5. Let x be t(-4). Suppose 3*i = -0*i + x. Is i a composite number?
True
Let j(b) = 47*b**3 - b. Is j(1) a composite number?
True
Let w = 57 + -40. Let k = 35 - w. Suppose -q - k = -71. Is q composite?
False
Suppose 32*k - 3592 = 24*k. Is k composite?
False
Let u(r) = -r**2 - 7*r + 4. Let t be u(-6). Let m(p) = 0 + t*p + 4 + 3*p. Is m(9) a composite number?
True
Let b(s) = -5 - 2*s**2 + 2*s**2 - 2*s + s**2. Is b(5) a composite number?
True
Let s = 55 + 840. Suppose 0 = -6*u + u + s. Is u composite?
False
Let q = -15 - -17. Suppose q*j + 1021 = 5*w + 6*j, -3*j = -3*w + 618. Is w prime?
False
Suppose u - 13 = -u - 3*a, 12 = 2*u + 2*a. Suppose u*r = -16 + 681. Is r a composite number?
True
Let w(x) = -1 + 6*x - 2*x + x**2 - 1 - 1. Let g be w(-5). Suppose 11 = z - g*d, 3*z - d - 49 = d. Is z prime?
True
Let y = 1465 - -172. Is y a composite number?
False
Is (7 + (-13)/2)/(1/2234) composite?
False
Let d(v) = -2*v**3 - 8*v**2 + 7*v - 1. Is d(-5) a composite number?
True
Let p(f) = f**3 - 16*f**2 + f - 6. Let s be p(16). Suppose 5*i - 10 = 3*i. Let u = i + s. Is u prime?
False
Let m = -1 - -2. Let n = m + 30. Is n composite?
False
Let n = -40 - -6. Let a = n + 71. Is a a prime number?
True
Let a be (-6)/5*(-10)/3. Suppose -a*q + 2*q = -94. Is q a composite number?
False
Let o = -3 - -3. Let t be (0 - -1)*(o - -3). Is t - -210 - (1 - -1) composite?
Fal