 y a composite number?
True
Suppose -6*y = 699 - 17361. Is y a composite number?
False
Let a be ((-8)/14)/(6/(-42)). Suppose -a*i = -2*i - 1686. Is i a prime number?
False
Let v = 64 + -148. Is (3130/(-15))/(8/v) a prime number?
False
Suppose 3*p - 3*b = -7791, p - 3*p = -3*b + 5195. Let s = 6915 + p. Is s a composite number?
True
Suppose -9 - 15 = 4*p. Let a = p + 2. Is 536/12*(-6)/a a composite number?
False
Let d(q) = q**2 - 10*q + 107. Is d(-15) prime?
False
Let y(g) = -2*g - 8. Let i(p) = -3*p + 10. Let r be i(5). Let f be y(r). Suppose 3*n = 4*z + 179, -2*n + n - f*z + 43 = 0. Is n composite?
False
Let n(c) = -7*c**3 - 3*c**2 - 7*c. Let z = 2 + -7. Is n(z) a prime number?
False
Let w be 2 + -4 + -13*8. Let f = w - -185. Is f a composite number?
False
Let g be ((-4)/8)/(2 + (-51)/24). Suppose 5*b + g*i = 5*i + 638, -4*i - 139 = -b. Is b composite?
False
Let t be -1*1/(-1) + 1. Let j = t + -5. Is 1*j/((-9)/147) composite?
True
Let p(l) = 351*l**2 - 2. Let d be p(2). Let t = -69 - -72. Suppose d = t*h - h. Is h a composite number?
False
Let y(j) = -3*j**3 + 14*j - 7 + 3*j**3 - j**3 - 8*j**2. Let d(r) = -3*r**2 + 3*r - 4. Let o be d(2). Is y(o) a composite number?
False
Let l(t) = -4*t**2 + 2*t - 2. Let z be l(2). Let c(y) = -10*y - 13. Is c(z) prime?
True
Let c(z) = 2*z**3 + 3*z**2 + 3*z + 2. Let t be c(-2). Is 10/4*t/(-10) + 203 composite?
True
Let v be 0 - (-105)/40 - 3/(-8). Suppose 4*b + 109 = m, v*m = -m - 3*b + 379. Is m a prime number?
True
Is ((-9090)/54)/(20/(-1212)) composite?
True
Suppose 0 = 15*l - 356739 - 37806. Is l a composite number?
True
Let k(u) = -u**3 + 16*u**2 - 14*u - 6. Let i be k(15). Let v be (-7)/((-42)/i)*254. Let h = v - -36. Is h composite?
True
Let i(b) = b**3 + 6*b**2 - 22*b - 14. Is i(11) a composite number?
False
Is -1*0/2 + 235 prime?
False
Let v = 16782 + 1703. Is v a prime number?
False
Is (-14)/(-63)*-15*3558/(-4) prime?
False
Suppose -3*n + 6*n = 534. Suppose -751 + n = -p. Is p prime?
False
Let r = 1048 + 211. Is r composite?
False
Let m = 106 + -72. Suppose q - 149 + m = 0. Is q prime?
False
Let t = -21264 + 34859. Is t prime?
False
Let a = -19 - -24. Suppose -a*x = -1508 - 917. Suppose 2*v - 180 = -m + 14, -5*v + 5*m = -x. Is v a composite number?
False
Suppose -3*d = -3*r - 144, -2*d = 2*r - 0*d + 116. Let a = r - -120. Is a prime?
True
Let g = -144 - -148. Is 1/g*(-6)/(-3)*2098 a composite number?
False
Let g(z) = -z**3 - 36*z**2 - 40*z - 71. Is g(-36) prime?
False
Let t = 187165 - 116174. Is t composite?
False
Let u be (-6 + 3)*238/(-3). Is (20/(-35))/((-4)/u) a composite number?
True
Let v = -45 + 49. Suppose 295 = p - 3*r, -v*r + 694 = 4*p - 550. Is p a composite number?
False
Let w = -523 - -3632. Is w prime?
True
Is -633*(-4 + (-55)/(-15))*373 a composite number?
True
Let m = 2 - -1. Let c be ((-26)/m)/((-7)/(-84)). Is (-3 - -4) + -2 - c a composite number?
False
Let y = 27721 - 18066. Is y a prime number?
False
Suppose 0 = -5*x - 5*r - 11810, -2177 = -3*x + 2*r - 9288. Is (x/18)/(1/2 + -1) a composite number?
False
Let x(h) = -5*h**3 - 8*h**2 - 9*h - 21. Let w(r) = -r**3 - r**2 - 1. Let y(g) = -4*w(g) + x(g). Is y(-5) a composite number?
False
Let p(i) = -5*i - 3. Let k be p(-1). Suppose 213 = -2*x + k*v - 317, 4*v + 275 = -x. Let l = -90 - x. Is l composite?
True
Let d(x) = 24*x - 34. Let c be d(-6). Let a = -39 - c. Is a a prime number?
True
Let o(x) be the first derivative of -1/4*x**4 + 8/3*x**3 - 5 + 7*x + 3*x**2. Is o(8) composite?
True
Let n be (-1)/(2*2/(-20)). Suppose n*y - l - 4 = -1, y + 4*l - 9 = 0. Is 2*((-1036)/(-8))/y composite?
True
Suppose 854 = 4*c + 2*v, 3*c - 624 - 33 = 4*v. Is c prime?
False
Is ((-3202276)/66)/(-14) - (-1)/3 prime?
False
Let l = 9194 + -4965. Is l a composite number?
False
Is 1/4*((-34660)/(-5) + 0) a composite number?
False
Let j(y) be the third derivative of 0*y - 155/24*y**4 + 4*y**2 + 1/2*y**3 + 0. Is j(-4) composite?
True
Let o = -13 - -76. Suppose 6*q + o = 9*q. Is q composite?
True
Let m(h) = -1 + 31 - 45*h - 2. Is m(-6) a composite number?
True
Let l(a) = a**3 + 2*a**2 - 7*a**2 + 2 - 5*a - 3. Let d be l(6). Suppose -3*x + 5*j + 97 = 0, 176 = 2*x + 2*x + d*j. Is x prime?
False
Let q(v) = -v**3 + 5*v**2 - 6*v + 13. Let u be q(4). Suppose -u*k + k = -4036. Is k composite?
False
Let x = 26 - 31. Let n(y) = 4 + 2 + 0*y**2 + 2*y - 4 + 3*y**2. Is n(x) prime?
True
Suppose -6*u - 2199 = -4*n - u, 5*u - 2760 = -5*n. Is n a prime number?
False
Suppose -430*a = -451*a + 290031. Is a a composite number?
True
Suppose -2*g - 3 + 31 = 4*h, -g + 9 = h. Suppose 0 = h*s - 0*s - 4965. Is s a prime number?
False
Suppose -10*n = -11*n - 4*p + 12801, -2*n + 25599 = 5*p. Is n prime?
False
Let x = 13 - 25. Let c be 1/(-2)*-2 - x. Is (-6)/39 - (-899)/c composite?
True
Let f(v) = 929*v**2 + 2*v - 2. Is f(-3) a composite number?
False
Let d = -7682 + 10791. Is d a composite number?
False
Let l(o) = 2095*o. Let m be l(2). Suppose m = 2*q + 3*q. Suppose q = 5*d - 47. Is d composite?
True
Suppose o - 7*q - 6106 = -2*q, -5*q = -2*o + 12227. Is o prime?
True
Suppose -k - 1 = 8. Let y = 542 - k. Is y prime?
False
Let b(x) = 131*x**3 + 21*x - 13. Let l(n) = -33*n**3 - 5*n + 3. Let z(t) = -2*b(t) - 9*l(t). Is z(4) prime?
True
Suppose 3*j + 12246 = 3*f - 0*j, -j = 5*f - 20416. Is f a composite number?
True
Let f(m) = 254*m - 883. Is f(19) composite?
False
Let u(j) = j**2 - j + 2. Let g be u(0). Suppose -4*i + 151 = q, 0*q = -4*i - g*q + 154. Is i*1 - (7 + -5) prime?
False
Let b(t) = t**2 + 2*t + 83. Let s be 14/(-35) + (-17)/(-5). Let v(j) = j**2 - 4*j + 3. Let n be v(s). Is b(n) composite?
False
Let s(o) be the second derivative of o**4/6 - 17*o**3/6 + 39*o**2/2 + 28*o. Is s(-14) a composite number?
True
Let v(n) = 68*n**3 - 2*n**2 + 3*n - 2. Let h be v(1). Is (h/4)/((-9)/(-108)) a prime number?
False
Suppose 2*j - 5*y - 1 = -j, 2*y - 12 = -5*j. Suppose j*m = -261 + 3283. Is m prime?
True
Let o be (17/(-4))/(25/(-5300)). Let a = 1646 - o. Is a a prime number?
False
Let u(p) be the first derivative of p**3/2 + 7*p**2/2 + 4*p + 2. Let g(o) be the first derivative of u(o). Is g(6) a prime number?
False
Let d = -5311 + 18206. Is d composite?
True
Suppose 0 = 5*j + 10, k + 47 = 2*k + 5*j. Is k a prime number?
False
Let o = 2508 - -2711. Is o composite?
True
Let t(b) = 131*b**3 + 2*b**2 + 8*b - 29. Is t(4) a prime number?
True
Let d = -6122 + 10165. Is d prime?
False
Let t = 395 - -1784. Is t a composite number?
False
Let d = -685 + 1784. Suppose -l = -2*r - 563, -d = -l - l - 5*r. Is l a composite number?
False
Suppose -6*o + 4*o = -10. Suppose -2*b + 15 = o. Suppose 0 = -2*y + b*y - 21. Is y a composite number?
False
Suppose -2*d = 3*b - 0*d + 126, -3*b - 126 = 3*d. Suppose -158 = -n - n + 2*f, 5*f - 137 = -2*n. Let t = n + b. Is t a prime number?
False
Suppose 0 = 5*u + 5*w - 1450, 3*w = 2*u + u - 888. Is (11 - 9)/(-2*(-1)/u) a composite number?
False
Let r(t) be the first derivative of t**3/3 - 11*t**2/2 + 11*t - 6. Let n be r(9). Let w(u) = u**3 + 9*u**2 + 6*u - 10. Is w(n) a prime number?
False
Suppose -12 = 4*v, f + f = 4*v + 26. Let d = 38 - f. Is d prime?
True
Let g(p) = 8*p**2 + p + 64. Is g(7) composite?
False
Let b be 3/(-2*(-4)/(-8)). Let v = 0 - b. Suppose 0 = -4*y + v*k + 112, 3*y - 111 + 2 = -4*k. Is y a prime number?
True
Let p(w) be the third derivative of w**8/672 - w**6/720 - w**5/30 - 6*w**2. Let a(z) be the third derivative of p(z). Is a(3) composite?
False
Suppose 96 = -5*d - 3*k - 172, -2*d - 132 = -5*k. Suppose -3*y - 46 = 299. Let t = d - y. Is t a composite number?
False
Let h(s) = s + 6. Let v be h(-5). Let j(c) = -1 - 10 + v + 11*c. Is j(7) composite?
False
Suppose -2 = 2*l - 6. Let b be ((-3)/l)/((-7)/(-168)). Is (-3)/18 + (-5658)/b a prime number?
True
Let t(u) = 338*u**2 - 5*u + 76. Is t(-7) a prime number?
True
Suppose s + 4*s - 32 = 3*f, -4*f = -2*s + 24. Is 314*(f + 27/6) a prime number?
True
Let t(s) = 26*s - 88*s + 22*s - 4 + 6*s. Is t(-9) prime?
False
Suppose -4*s = -3*x + 44, 3*x - 19 - 27 = 5*s. Suppose -w + 5*p + x = p, 0 = -5*w - p + 123. Suppose 2*u + 2*u - w = 0. Is u a composite number?
True
Let h be (-13)/(-5) + (-8)/(-20). Let f(t) = 8*t**3 - 2*t**2 + 3*t + 2. Is f(h) a prime number?
False
Suppose -10*v + 2040 = -4*v. Suppose -v = -4*p 