5*u - 2. Let y(o) = -5*p(o) - 3*v(o). Let b be y(1). Let w = b + 108. Is w a prime number?
False
Let f(u) = 246*u - 1. Let k be f(1). Suppose -5*m + 0*m + 4*c = -k, 147 = 3*m - 4*c. Is m composite?
True
Let m(k) = 1 + 0*k - 4*k - k. Is m(-2) a composite number?
False
Suppose 0 = -0*f - 3*f. Suppose f*d + d - 155 = 0. Is d composite?
True
Let y(h) = 2*h**3 - 4*h**2 + 3*h + 1. Is y(6) a composite number?
False
Suppose 2*o - 12 = -2*o, 2*q - 5*o + 13 = 0. Let w(f) = f**3 - f**2 - 4*f - 10. Let r be w(-4). Is (3/(-6))/(q/r) a prime number?
True
Is (-2457)/(-36) + 6/8 a prime number?
False
Let n = 1370 - -3497. Is n composite?
True
Is 1*2*5397/42 prime?
True
Suppose -2*o = -3*o + 5. Suppose 0*a + 3*a - 508 = -o*c, -16 = 4*a. Let q = c + -7. Is q a composite number?
False
Suppose -4*u = 4*u - 4264. Is u a composite number?
True
Let c = -30 + 63. Let p = c - -2. Is p composite?
True
Suppose 16 = 4*w, 4*w - 2191 = -4*s + 1797. Is s a prime number?
False
Let l be (-48 - 2)*(-8)/(-10). Let z = l + 71. Is z a composite number?
False
Let l(g) = 2 + 2 - 2 - 1 + 54*g. Is l(1) prime?
False
Suppose 5736 = 3*s - 7*s. Let t = 2345 + s. Is t a prime number?
True
Let q be (0/1)/(-2 - -3). Is (2 + q)/((-1)/(-2)) a composite number?
True
Let c(h) = -52*h**3 - h**2 + h + 1. Suppose -9 = -6*t + 3*t. Let j be (t - 1)*(-1)/2. Is c(j) composite?
True
Let w = 5 + -3. Suppose -3*p - w*p - 4*s + 117 = 0, -6 = -p + 5*s. Is p a prime number?
False
Suppose 10 = 4*t - 2*t + 3*x, 2*x = 5*t - 44. Suppose t = 3*b - 1. Suppose 3*g - 2*g = b*d - 110, 0 = 5*d + g - 194. Is d composite?
True
Let l = -564 - -801. Is l a prime number?
False
Suppose 4*o = 2*o. Let g(u) = o - 1 - 2*u + 0. Is g(-4) composite?
False
Let w(c) = -c**2 + 6*c + 1. Let m be w(6). Is 1 - (-111 + m/(-1)) prime?
True
Let j(d) be the third derivative of -d**6/60 - 11*d**5/60 - d**4/24 - 3*d**2. Let z(s) = -s**3 - s - 1. Let w(l) = -j(l) + 3*z(l). Is w(9) a composite number?
True
Is (-211)/(-3)*(9 + -6) prime?
True
Let n(g) = -172*g - 13. Is n(-2) a composite number?
False
Suppose 0 = x - 2, 5*x - 13 = 5*z + x. Let h be 2*z/(1 - 2). Suppose -2*r + h*s = -78, 5*r - r = -3*s + 128. Is r composite?
True
Let q = -4 + 0. Let y = -4 - q. Suppose -2*s - s + 231 = y. Is s composite?
True
Is 250*1 - (-4 + 3) composite?
False
Let m(k) = -k**3 - k**2 + 87. Let b = 1 + -1. Let t be m(b). Is t/4 + 2/8 a prime number?
False
Suppose -t + 3*w + 1040 = 0, 2*w + 2053 = 2*t + 5*w. Is t a prime number?
True
Let y = -1 - -3. Suppose 0 = 4*p - y*p - 102. Suppose -s + p = -26. Is s a prime number?
False
Let b = -1 + 1. Is 2 + 1 + b + 44 composite?
False
Suppose t = -t + 90. Let q be -7 - -2*(-1)/2. Let m = q + t. Is m composite?
False
Let a = 253 - -654. Is a composite?
False
Let k = -3 + 6. Suppose k*o + 4*b - 83 = 0, -108 = -3*o + 4*b + 7. Is o composite?
True
Let p(c) = 15*c**3 - 2*c**2 + 3*c - 3. Suppose 3*q - 3 = b, 1 + 0 = q. Suppose -5*f + 0*o - 3*o = -19, -3*f + 4*o - 6 = b. Is p(f) a composite number?
True
Let o = 7 + -5. Suppose 70 = o*t - 0*t. Is t a composite number?
True
Suppose -5*p + 15 = 0, 0 + 81 = -2*i + 5*p. Is (-2)/11 + (-3108)/i a prime number?
False
Suppose 2*i = 10, -o + 5*i + 140 = 2*o. Is o composite?
True
Suppose 31 = -c + 166. Let d = -68 + c. Is d prime?
True
Suppose -11*t = -5390 - 6369. Is t a composite number?
False
Let i = -312 - -46. Suppose 5*f = 3*f + 822. Let v = i + f. Is v a composite number?
True
Let v(f) = 15*f. Suppose 0*z = p + z - 4, 5*p = -2*z + 8. Let y = 1 - p. Is v(y) prime?
False
Suppose 21 = 2*d - h - 43, h = -2. Is d a prime number?
True
Suppose -i = -q + 45, -2*q + 4*i + 55 + 37 = 0. Let t = -25 + q. Suppose -z + t + 6 = 0. Is z a prime number?
False
Suppose 3 = 5*z - 12. Is z/((-6)/(-104)) - -1 a prime number?
True
Let r(h) be the first derivative of -h**3/3 + 4*h**2 + 7*h + 1. Is r(8) composite?
False
Let x = -207 - -416. Is x prime?
False
Let u = -198 + 277. Is u a composite number?
False
Let j = 299 - 138. Is j composite?
True
Is (-3 + 10/4)*-2734 a prime number?
True
Suppose 3*g - 922 = -v, -4*g = 4*v + 80 - 3744. Is v a composite number?
True
Let p = 231 - -515. Suppose p + 18 = 4*g. Is g a composite number?
False
Let c = 8 - 12. Let s(x) = -26*x - 1. Let n be s(c). Let f = n + -36. Is f composite?
False
Let a = 67 - -420. Is a a composite number?
False
Suppose 207 = 3*g - 462. Is g a composite number?
False
Let n = 11 + -6. Suppose 0*u + 185 = n*u. Is u prime?
True
Suppose -585 + 163 = -2*v. Is v a prime number?
True
Suppose -r = 4*r - 1695. Suppose 0 = 3*c - 2*o - 531, 3*c - r = -2*o + 204. Is c a prime number?
True
Suppose 0 = -6*n + 5*n + 79. Is n a prime number?
True
Let f = 4 + -2. Suppose 5*m + 8 + f = 0. Let p(d) = 13*d**2 + 2*d + 3. Is p(m) a prime number?
False
Let r = -41 - -672. Is r prime?
True
Let z(s) = 3*s**2 - 26*s - 9. Is z(20) a composite number?
True
Let d(f) = -15*f + 0 - 2 - 4. Let j be d(-7). Suppose -m = -3, -2*a + 5*a - 4*m = j. Is a a composite number?
False
Let t(l) = -11 + 2*l - 3*l + 0 - l. Is t(-12) prime?
True
Suppose 5*w + 3 = -12. Let h be 28/(-3) + w/(-9). Is (h/15)/((-1)/95) a composite number?
True
Let f(a) = a**2 - 3*a + 11. Suppose 3*w + 43 = 4*l, 4*w + 17 + 7 = -3*l. Is f(w) prime?
False
Let l(i) = 233*i**2 + 11*i + 21. Is l(-5) a prime number?
True
Suppose 3*r + 2*w = 2851, 16 = -2*w - 2*w. Is r a composite number?
False
Let h(i) = -i**3 + 11*i**2 - i - 2. Let f be h(10). Suppose -71 = -3*z + f. Is z composite?
False
Suppose -5*p + q + 158 = 0, 3*p + q = -3*q + 81. Is p a prime number?
True
Is 1 + 656 + (-5)/(-5)*-4 prime?
True
Let b be (283/3)/(2/6). Let z be 20/(-50)*(1 + 469). Let j = b + z. Is j a prime number?
False
Suppose -3*c - c + 302 = 2*f, 597 = 4*f + c. Is f a composite number?
False
Let h be (28/6)/(4/6). Suppose -4*u + 1 = -h. Is (-1 - 1)/(u/(-157)) a prime number?
True
Suppose -3*x = 2*r - 2455, 4*x = 4*r + 5312 - 2012. Is x a composite number?
False
Let x = -11 - -17. Suppose 0 = -0*d + 4*d - 172. Is d*10/x*3 composite?
True
Let u be (-15)/(-35) - (-45960)/21. Suppose 5*s = -2*t + u, 3*s + 2*t = -2*t + 1319. Is s a prime number?
False
Let o = -266 - -733. Is o a composite number?
False
Suppose 4*j - 4*c - 11 = 9, 3*c - 9 = -3*j. Suppose j*p = -2*a + 14, a + 0 + 11 = 4*p. Is p composite?
False
Is (-8)/(-44) + 636/11 composite?
True
Suppose 0 = -j + 2 + 2. Let h(u) be the first derivative of u**4/4 - 2*u**3/3 - 5*u**2/2 + u - 2. Is h(j) a prime number?
True
Let t(d) = 48*d - 29. Is t(7) composite?
False
Let p = 813 + 142. Is p composite?
True
Let n(x) = -x - 3. Let h be n(-4). Let f = 7 + h. Suppose 2*s + 29 + f = v, 3*s = v - 32. Is v prime?
True
Let c(a) = a**3 - 2*a**2 + 5*a + 7. Is c(11) composite?
False
Let v(i) = 38*i - 1. Suppose 0 = 2*o - 0 - 2. Is v(o) prime?
True
Is (21 - -2)*(-2 + 19) a prime number?
False
Suppose x + 4567 - 14217 = -5*c, 0 = 5*c + 5*x - 9630. Is c composite?
False
Let z(n) = 5*n**2 + 17*n - n**3 - 1 - 9 + 5*n**2 + 3*n**2. Is z(13) a prime number?
True
Let d be 0 + (-6)/(-2 - -4). Is 2/d*894/(-4) a composite number?
False
Is (-2 + 1365/9)*3 composite?
False
Let j(x) = 18*x + 2. Let k be j(2). Let c be 39*(k/3 + 0). Suppose -c = -4*r + 14. Is r composite?
False
Suppose 752 = 5*r - 0*r - 4*y, -5*r = 2*y - 734. Let p = r - 66. Suppose f - 3*b - p = 0, 2*f - 99 - 66 = 5*b. Is f prime?
False
Let m be (13 - 8)*(0 + -1). Let o be (-2)/m - 23/(-5). Suppose -o*z = -4*z - 43. Is z a prime number?
True
Is ((-2177)/(-42)*3)/((-2)/(-12)) a prime number?
False
Let m(y) = 10*y + 1. Suppose -3 = 2*z - 5*z. Is m(z) composite?
False
Let u(t) = -165*t - 1. Let z be u(-1). Let g = 75 - z. Let d = -52 - g. Is d a prime number?
True
Let n(p) = -p**3 - p**2. Let t be n(0). Suppose -5*b - 10 = -t*b. Is (b - 0)/(14/(-609)) prime?
False
Let z(x) = -40*x + 17. Is z(-8) composite?
False
Let x(q) = -5*q**3 + 2*q**2 + q. Let r be x(-1). Suppose -g + r*g + 5 = 5*z, -4*z - 3 = 3*g. Let b(d) = -15*d**3 + 2*d + 1. Is b(g) a composite number?
True
Is (-2)/2 + (11 - -369) a prime number?
True
Suppose -3*b + 23 = -5*q - 17, 2*b = q + 15. Suppose p - 135 = -3*p + m, b*p - 3*m - 160 = 0. Is p composite?
True
Let k(q) = 78*q**3 + 2*q**2 + 2*q - 2. Let t be k(2). Suppose -5*m + 166 = -t. Suppose 0 = -a + z + 36, -2*a + 4*z = -6*a + m. Is