 o prime?
True
Suppose 0 = -18*u + 8453 + 21265. Is u composite?
True
Let p(w) be the first derivative of -83*w**2 - 43*w - 20. Is p(-7) a prime number?
False
Let z be ((-6)/(-4))/(3/(-18)). Let r(h) = -23*h - 2. Is r(z) composite?
True
Suppose -4*q + 20 = -2*t, -2*t = 9 - 1. Suppose 2473 + 219 = 2*p. Suppose -3*r - p = -4*s, -q*s - 3*r = -0*r - 999. Is s a prime number?
False
Suppose z - 4*g = 0, 5*z + 15*g - 16 = 19*g. Let s(u) = 343*u + 31. Is s(z) a composite number?
True
Let x(b) be the second derivative of -2*b**4/3 + 2*b**3/3 - 13*b**2/2 - 6*b. Let l be x(6). Let o = -54 - l. Is o a composite number?
False
Suppose -o + 2*o + 5 = -5*q, q = 5*o + 25. Suppose q*r - 388 = -4*r. Is r a prime number?
True
Suppose 11*z - 14*z + 6999 = 0. Is z composite?
False
Is 127166/12 + (-7)/(58 - 16) a prime number?
True
Let c(b) = 226*b**3 + 4*b**2 - 19*b + 11. Is c(6) composite?
False
Suppose -r = -1 - 2. Suppose -o - 28 = r*b, -o = o + 2. Is ((-139)/3)/(3/b) composite?
False
Is 2*10559*(63/(-6) - -11) prime?
True
Suppose -34 = 3*p + 4*h - 97, -2*p + h = -42. Is p a composite number?
True
Let g(v) = 5*v**2 + 18. Suppose 73*w - 70*w + 33 = 0. Is g(w) prime?
False
Let m = -90 + 95. Suppose -3*j = -w + 323, -w + m*j - 3*j = -321. Is w a prime number?
True
Let c be ((-30)/(-20))/((-6)/(-16)). Suppose 3*s = -4*z + s - 112, 0 = 3*z + c*s + 84. Is 2/(8/z)*-5 prime?
False
Let h = 302445 - 208876. Is h a composite number?
True
Is (-10779)/6*((-12)/4 + 1) prime?
True
Suppose 3*c + 4*o - 26 = 0, -2*o = 4*c + o - 23. Let l be (3/c)/((-39)/(-7436)). Let b = l - 159. Is b a prime number?
True
Let i be (-41)/(-10) - 14/140. Suppose 2*t - 469 = -3*q + 4*t, 4*q = i*t + 628. Is q a prime number?
False
Let w(n) = 8186*n + 53. Is w(3) prime?
True
Is 920124/60 + 2/(-5) composite?
True
Is (-18862)/((-45)/3 + 8 - -5) a composite number?
False
Suppose -s = 4*n - 26025, 4*s = -11*n + 7*n + 26040. Is n a prime number?
False
Let t = 55 + -32. Suppose 20*y = t*y - 471. Is y composite?
False
Let a be 22/10 + (-20)/(-25). Suppose 3*b - 5531 = -2*i, 1867 = -a*b + 4*b - 4*i. Is b prime?
True
Let g be -45*-12*(-6)/(-27). Let r = 117 + g. Suppose -r + 990 = 3*z. Is z composite?
False
Suppose 6*j + 0*j + 36 = 0. Let t be (j/1)/(2/47). Is t*(0 - 10/6) a composite number?
True
Let x(v) = 6*v**3 - 2*v**2 + v. Let m be x(1). Suppose -3*n = -7 - m. Suppose -5*d + n*j = -1457, 0*d - d + j = -291. Is d composite?
False
Suppose -5*w + 285 = -5*q, w + q + q = 66. Suppose 2*l - 5*l = -w. Suppose l = 3*p - p. Is p prime?
False
Suppose j + r = 13121, -16 = -4*r - 0. Is j a prime number?
False
Suppose 19*n - 344116 = -2097. Is n composite?
True
Let s be 7 + -4 + (-20)/4 + -1. Is (134/s)/((-8)/204) a composite number?
True
Let u(y) = 3*y**3 + 3*y - 2. Suppose -l = -5*l + 4. Let b be u(l). Suppose 4 = -i, 338 = 6*o - b*o + 5*i. Is o a prime number?
True
Suppose -5*p - 40 = -5*t, -5*p + 14 = 3*t - 26. Let w be 860/t - (0 + -3). Suppose 0 = -6*u - 11 + w. Is u prime?
True
Let j(d) = -d**3 - 3*d**2 + 5*d - 6. Let r be j(-6). Suppose 0 = -5*a - 28 - r. Let k = 78 + a. Is k composite?
True
Let t = -46 - -46. Suppose -3*m = 5*r - 667, 3*r = -t*m + 2*m - 413. Is m a prime number?
False
Suppose 0 = -c - 4*m - 25, c - 4*m - 15 = -0*c. Let i(o) = 7*o**2 - 4*o - 3. Let t be i(c). Suppose -n + 66 = n + 4*z, -5*n - z = -t. Is n prime?
False
Suppose 5*p - 3*m = -2*m + 4119, 0 = -4*p - 4*m + 3300. Suppose q + 3*q = p. Is -3 + q/4*4 composite?
True
Let n be (-144)/(-40) + 6/(-10). Let o(a) = 54*a**2 - n*a + 11 + 9 - 19. Is o(2) a composite number?
False
Let n = 4909 + -1638. Is n composite?
False
Let j(g) = 3*g**2 - 8*g - 9. Let n be j(-7). Suppose i = -i + n. Is i prime?
True
Let d be (-8)/20 - (-16)/(-10). Let s be ((-25)/d + 3)*-2. Let z = s + 120. Is z a composite number?
False
Suppose 12 = -q - 2*w, -q = 2*q - 3*w + 27. Is (1 - (-25)/q)/((-3)/404) a composite number?
True
Suppose -3*a - 5 = -23. Is 4*a*(-1042)/(-16) a composite number?
True
Let p = -1434 + 3091. Is p composite?
False
Let q = 13583 - 7776. Is q composite?
False
Let p(m) = 3*m - 2*m + 160 + 337 + 264. Is p(0) prime?
True
Let m = -45221 - -67318. Is m composite?
True
Suppose -30*o + 454185 + 47505 = 0. Is o composite?
True
Suppose 4*q + 3*s + 5 = 0, 3*s = -2*q + 4*s + 5. Suppose t - q = -12. Let f = 64 + t. Is f a prime number?
True
Let n(i) be the first derivative of 3*i**4/4 - 2*i**3 - i**2/2 - 9*i + 18. Let v be (-1)/(-3) + (-14)/(-3). Is n(v) a prime number?
True
Let l = 21 + 7. Suppose 0 = -4*v + 8*v - 260. Let b = v - l. Is b prime?
True
Let t = -9 - -13. Suppose 0 = u - t - 2. Suppose u*b - 158 = 4*b. Is b a prime number?
True
Suppose -o - 39282 = -7*o. Is o prime?
True
Let v be 14/3*(-21)/(-14). Let s(o) = -22*o + 55*o + v + 42*o. Is s(4) a composite number?
False
Let i = 19 - 17. Is (2/i)/(5/1605) composite?
True
Is (0 - -2 - -1) + (9611 - 1) prime?
True
Let r be (2/(-2))/(4/(-40)). Is r/(-35) - 10695/(-21) prime?
True
Let p = 10296 - 5695. Suppose -4*x - 4576 = -3*c - 5*x, -3*c + p = -4*x. Is c a composite number?
True
Let h(p) = 1050*p - 1. Is h(1) composite?
False
Let k = 12 + -7. Let x = -6 + k. Is (519*x + -2)*-1 prime?
True
Suppose -3*d - 10 = -8*d. Suppose -2*o + o = -d*i - 1872, 0 = 5*o - 2*i - 9368. Is o a composite number?
True
Let l(w) = -3*w - 5. Let y = -34 + 49. Suppose a = 1 - y. Is l(a) a prime number?
True
Let h(w) = 13*w**3 + 2*w**2 - 3*w + 5. Let b(u) = u**3 - 4*u**2 + 2*u - 2. Let t be b(4). Suppose -4*y - t = -7*y. Is h(y) composite?
True
Let r(w) = -4 + 2 - 3 + 13*w - 4*w. Let f = 4 - 0. Is r(f) a composite number?
False
Is (5 - (-38949)/12) + (-1)/(-4) prime?
True
Let a(j) = -13 + 21 + j + 3. Let p be a(-7). Suppose 3*t - 380 = f, p*t + 2*f - 22 = 488. Is t composite?
False
Suppose -6*w + 17368 = -29114. Is w prime?
False
Let y be ((-2)/(-3))/((-2)/(-6)). Suppose 4*a = -2*n + 488, -y*n = -0*a + 2*a - 498. Suppose 0 = -0*z - 2*z + n. Is z a composite number?
False
Suppose -4*f - 2*i = 1172, -29 - 264 = f - 3*i. Let v = 5 - f. Is v a composite number?
True
Suppose -2*i = w - 11857, 10*w - 2*i = 6*w + 47428. Is w composite?
True
Let c = -37 - -22. Is 21*((-6740)/c)/4 a prime number?
False
Suppose -56 = -3*p - 2*b, 0 = 2*p - 6*p + b + 93. Let w = p - -21. Is w a prime number?
True
Is 174998/(-85)*10/(-4) composite?
False
Suppose 3*j + x - 25 = 0, -3*x + 0*x = 4*j - 40. Suppose -j*w + 5874 = -w. Is w a prime number?
False
Suppose -4*c - 8 = -5*l, 3*l - c = 2*c + 3. Suppose -5*a - 2*r + 2 = 0, -r = l*a + a - 1. Suppose a*b = 9*b - 477. Is b composite?
False
Let h = 13 - 39. Is (-8 - 4)/(-4) - h*10 composite?
False
Suppose 709 + 405 = 2*n. Is n a composite number?
False
Suppose 2*v + 34 = 5*s + 9, -s = -3*v - 18. Suppose -2*g - p = -2086, 0 = s*g - 0*p - 2*p - 3129. Is g composite?
True
Suppose 0 = -3*z + 1085 + 232. Is z composite?
False
Suppose -101*u + 1041404 = -642367. Is u a prime number?
False
Let l = 15 + -28. Let n be (-11 + 46)/((-1)/l). Suppose 0 = 2*b - s + 4*s - n, -5*b + 1100 = -5*s. Is b a prime number?
True
Let p(t) = -4*t**2 + 39*t + 27. Let v = 17 - 10. Let a(k) = 6*k**2 - 58*k - 40. Let g(o) = v*p(o) + 5*a(o). Is g(13) a composite number?
True
Suppose -5*l + 1386 = 3*d, 3*d + l = 5*d - 924. Let u = d + 514. Suppose 4*g - 28 - u = 0. Is g composite?
False
Let v be (-236 + 0)*(-15)/12. Suppose -4*c - 289 = -h, 0 = h - 0*h + 2*c - v. Is h a composite number?
False
Let f(n) = 27*n + 31. Let t = -25 - -9. Let s(u) = u**2 + 16*u + 14. Let j be s(t). Is f(j) a composite number?
False
Let c = -76 - -273. Suppose 8 = 4*v, -2*v + 5*v - c = -t. Is t composite?
False
Suppose 37308 = 11*n + n. Is n composite?
False
Let q be 34/8 - (-1 - (-27)/12). Suppose 2*r + 1306 = 4*r. Suppose y - 141 = -2*j, 11*y - q*j = 6*y + r. Is y a prime number?
False
Is (-115)/15*(4 + -3)*-447 prime?
False
Suppose -106*h + 74*h = -82912. Is h a prime number?
True
Suppose 4*i + 31 = -5*z, -5*i - 2*z + 0*z - 26 = 0. Is (i + 1)*(-6)/12*878 a prime number?
False
Let h(c) = -67*c**3 - 3*c - 1. Let q(x) = -x**2 + 10*x + 7. Let u be q(10). Let p = u + -9. Is h(p) composite?
False
Let d(a) be the third derivative of 311*a**5/60 - a**4/24 + 5*a**3/6 - 11*a**2. Let k(u) = 156*u**2 - u + 3. Let l(x) = 4*d(x) - 7*k(x). Is l(2) prime?
True
Let j = -