*3/3 + 7*m**2/2 - 2*m. Is w(c) a composite number?
False
Suppose -4*t + 3*t = -5. Suppose -t*x - 9 = 6. Let c(p) = -20*p + 2. Is c(x) a composite number?
True
Suppose -6*b - 5*f = -3*b - 642, -2*b + 444 = -2*f. Is (b/(-3))/(1/(-5)) a prime number?
False
Let w = -2139 + 10148. Is w prime?
True
Suppose 4*i + 2 = 30. Suppose -1605 = -12*q + i*q. Is q a composite number?
True
Let o be 8/6*3/2. Suppose -8 = -o*s, -5*p - 7 = -3*s + 5. Is (p + 92)*7/14 a prime number?
False
Let k(t) = 2518*t - 161. Is k(9) composite?
False
Suppose -3*t = -5*o - 130147, -5*t + 143011 + 73886 = -o. Is t a composite number?
True
Let i(t) = -t**3 - 27*t**2 + 3*t + 84. Let k be i(-27). Suppose -2*m + 1344 = 4*n - 4*m, -4*m + 354 = n. Suppose -p = -k*p + n. Is p composite?
True
Suppose 0 = -2*u + 6*u - 3*p - 15, -10 = 2*p. Suppose u = 2*k + 1030 - 4152. Is k composite?
True
Let y = 35 + -33. Suppose -v - 4 = 0, b + y*b - 619 = v. Is b composite?
True
Suppose l + 4*f = 97, 3*l - f - 276 = 2*f. Suppose v - l = -u + 5*v, 5*u - v = 370. Let z = 156 - u. Is z a prime number?
True
Let n(f) = -5062*f - 7. Let r be n(-2). Suppose 10*a = r + 15673. Is a a prime number?
True
Let x(y) = -610*y + 16. Let k be x(-6). Suppose w - 245 = 5*b + 686, 4*b = -4*w + k. Is w a composite number?
True
Let l be ((-2)/4)/((-3)/(-6)). Let u be -2 + (3 - 2 - l). Suppose -t + 195 + 68 = u. Is t prime?
True
Let z be 0 - (-1 - 12/(-4)). Let f be z/(3 + (-760)/252). Let w = f + -75. Is w prime?
False
Let a = -5 - -20. Let t = a - 13. Let l(b) = 15*b**3 - 4*b**2 + 3*b - 1. Is l(t) a composite number?
False
Suppose -52*n + 6337251 = 580903. Is n prime?
False
Let d = -3094 - -4343. Is d prime?
True
Suppose d + 5*b + 15 = -112, -b - 584 = 4*d. Let m = d + 68. Let i = 198 + m. Is i a composite number?
True
Let s(d) = -d**3 - 3*d**2 - 4*d - 13. Let u be (-8 + 7)*(0 - 0). Suppose u*o + 30 = -5*o. Is s(o) prime?
False
Suppose 5*t + 400 = 15*t. Suppose 4*c + t = 612. Is c prime?
False
Let k(x) = -8*x**2 + 18*x + 33. Let c(l) = -4*l**2 + 9*l + 16. Let b(q) = 9*c(q) - 4*k(q). Let v be b(10). Is v*(-1)/4*2 prime?
True
Let n(w) = -2*w + 309. Let j be -2 - -2 - (4 + -4). Is n(j) prime?
False
Suppose -53 + 904 = z. Is z a prime number?
False
Let k(h) be the first derivative of -h**2/2 - 15*h + 11. Let s be k(-17). Suppose s*i - 753 = -i. Is i a composite number?
False
Suppose -7*m = -2*m - 15. Suppose 0 = -4*y + 20, -m*y = -5*v + 446 + 4694. Is v a prime number?
True
Let q = -62 + 17. Is q/(-60) - (-173)/4*13 composite?
False
Suppose -4*b = -5*s - 11, b = 4*b - 3*s - 6. Let q = b + 5. Is (-2)/4 + 350/q composite?
True
Let x be (-2)/(-6)*-3 + 0 + -16. Let n(c) = -16*c + 2. Let j be n(-4). Let q = x + j. Is q prime?
False
Let f(d) = 40*d - 3. Let r be f(4). Suppose -216 = 2*s - 6*s - 2*c, -c - r = -3*s. Is s a composite number?
False
Let d be 24/(-18) - (-2000)/6. Suppose 4*g - 5*p + 2834 = d, 5*p = -4*g - 2522. Let u = g + 975. Is u composite?
False
Let f be (-1)/(-2)*(-4 + 4). Suppose -h = -4*u + 65, f = 4*u + u - 5*h - 100. Suppose u = 2*t - 47. Is t prime?
True
Suppose -21 - 27 = 3*p. Let b = p + 15. Is (b - 0)*-11*1 a composite number?
False
Let z(y) = -6*y**2 - y - 3. Let j be z(-7). Let d be (-3 + 2)/(2/j). Suppose -d = -2*a + 109. Is a a prime number?
True
Let u = 23416 + -15147. Is u composite?
False
Let h(l) be the third derivative of l**6/120 - l**5/5 + 17*l**4/24 - 3*l**3/2 - 21*l**2. Is h(13) a prime number?
False
Suppose 0 = -3*w + 12*w - 207. Is 7*127*(-22 + w) composite?
True
Let y(x) be the third derivative of x**5/15 - 3*x**3/2 + 6*x**2. Let u be y(4). Let i = 202 + u. Is i composite?
False
Let z(r) = -r**3 - 2*r**2 + 6*r + 5. Let b be z(-3). Is 290 - (5 + 2 + b) a composite number?
True
Let a be (7 + -2 - 2) + -291. Let x = -482 - a. Is x/(-4) + (-4)/(-8) prime?
False
Is ((-2)/(-1))/(25/59975) prime?
False
Suppose -13*y - 1204703 = -54*y. Is y a prime number?
True
Suppose k = 2*b - 0*k + 23, -25 = -5*k. Is b/(-21) + (-2704)/(-28) a composite number?
False
Suppose 4*g = 2*h - 28054, 5*g - 70150 = -5*h - 0*h. Is h composite?
False
Let t be (1 - -1) + (1 - 12). Is 629 + 6/t*-3 prime?
True
Let b = 2935 - -71182. Is b composite?
True
Is ((-3)/6*-2)/((-18)/(-812898)) a composite number?
False
Suppose -4*w + 18 + 6 = 0. Is 2/w - (-14880)/45 prime?
True
Suppose -5*r - o = 65, -9 = 4*o + 11. Let y be (-711)/(-3)*4/r. Let m = 55 - y. Is m composite?
True
Let s(b) = -5*b**3 + 2*b**2 - 8*b - 106. Is s(-15) prime?
False
Suppose 5*j = -m - 3*m + 34, 0 = 5*j - m - 54. Let g(f) = 2*f**2 - 13*f - 11. Is g(j) a composite number?
False
Let n(a) = -a**3 - 16*a**2 - a - 11. Let y be n(-16). Suppose -4*p + 2937 = -3*p + 2*i, 2*i - 14669 = -y*p. Is p a prime number?
False
Let l = 23 + -46. Let i = l + 25. Is 0 + i - 987/(-3) prime?
True
Let k be 262/12 - (-2)/12. Suppose -20*r - 6 = -k*r. Is 88 - (1 - 1 - r) prime?
False
Let k(m) = m**3 + 20*m**2 + 18*m - 19. Let s be k(-19). Suppose s = -47*n + 44*n + 1221. Is n a prime number?
False
Let a(r) be the second derivative of -5*r**4/24 - 3*r**3/2 - 9*r**2/2 + 13*r. Let s(n) be the first derivative of a(n). Is s(-7) a prime number?
False
Let u(x) = x**3 - 6*x**2 + 235*x + 41. Is u(30) composite?
True
Let g be (42/9)/(4/6). Suppose -g*c + 414 = -4*c. Suppose -3*w = -w - c. Is w a prime number?
False
Let x(s) = -29*s + 7. Let h be x(5). Suppose 0 = -2*w + 3*j + 479, 2*w - 937 = -2*w - j. Let y = h + w. Is y composite?
False
Suppose -5*l + 13210 = 2*q - l, 3*q - 19785 = 4*l. Is q a prime number?
True
Suppose 0 = -0*h - 3*h + 12. Suppose 0 = -2*t - h*j + 39 - 13, -3*t = -3*j - 3. Suppose -v + 29 + 27 = t*u, u - 5 = 0. Is v a composite number?
False
Suppose -5*g + 3*g + 883 = y, -4*y = 3*g - 3507. Suppose -409 - y = -2*j. Is j a prime number?
True
Let k(a) = -a**3 - 2*a + 791. Let g be (-69)/(-46) + 6/4. Suppose r = -r + g*z, 3*z = -4*r. Is k(r) prime?
False
Suppose -6*w + 16158 = 3960. Is w a prime number?
False
Let d be -1 - (7/1 - 4) - -4. Is (-219)/6*-14 - d/5 a prime number?
False
Let v be (54/8)/((-4)/(-992)). Suppose -v = -2*k - 3*g + 2*g, 4*g + 2533 = 3*k. Is k composite?
False
Let d = 3721 - 1112. Is d composite?
False
Is (51006/(-15))/(16/(-40)) prime?
True
Let q(p) be the first derivative of p**4/4 + 2*p**3 - 9*p**2/2 + 8*p + 8. Let m be q(-7). Let a = m - 7. Is a a composite number?
True
Suppose -298 - 2997 = -w. Let u = w + -2250. Suppose 8*h = 3*h + u. Is h a prime number?
False
Let g = -8793 + 30494. Is g prime?
True
Suppose -z = -3*t + 4*z + 87, -4*z = -t + 36. Is (2804/10)/(t/60) a prime number?
True
Let o(v) = 154*v**2 + 48*v - 449. Is o(22) prime?
False
Suppose -5*p = -3*p - 362. Let f = p - 84. Is f a prime number?
True
Let g = -1262 + 2015. Suppose -4*h = -l - g, 367 = 2*h + 5*l + 18. Is h a prime number?
False
Let b = 1255 - 411. Let s = 1905 - b. Is s a prime number?
True
Let k(z) = 16*z**3 + 5*z**2 - 4*z + 3. Let u be k(4). Let m = 2084 - u. Is m composite?
True
Suppose 0 = -z + 6*z - 11185. Suppose 2*v - 2719 = u, 4*v + z = -5*u + 7696. Is v composite?
False
Let r = 17 - 15. Suppose 0*u - r*u = 0. Is (u - -3)*90/27 a composite number?
True
Suppose 15 = -5*w, 0 = -x - 0*x - 5*w - 9. Suppose -x*g - 3*g = -9891. Is g prime?
False
Let v(s) = 681*s - 5. Let b be v(2). Let q = -883 + b. Suppose 4*n - 475 - q = -i, 0 = 2*n + 2. Is i a composite number?
False
Suppose -11*j + 8*j = -3. Let g(o) = 3027*o**2 + o + 1. Is g(j) composite?
True
Suppose -5*p + 29 + 56 = 0. Let m = 15 - p. Is 191*(m + 0 + 3) a composite number?
False
Suppose v = 0, -7*a - 25 = -2*a + v. Let c(l) = 18*l + 4. Let g(f) = -18*f - 5. Let y(s) = -4*c(s) - 3*g(s). Is y(a) a composite number?
False
Suppose 2*t - 24 = -4*t. Suppose 0 = -2*d + t, 3*v + 6*d - 3*d = 1227. Is v a composite number?
True
Let r = 59 + -53. Suppose 955 = 11*a - r*a. Is a a prime number?
True
Let v(h) = 3*h**2 + 11. Suppose l - 4*b = -11, -3*l - 31 = l - 3*b. Is v(l) prime?
False
Suppose 12556 = 4*d + 2*l, 4*d + 5032 = -3*l + 17588. Suppose -6*w = -1475 - d. Is w a prime number?
True
Suppose 32*c = 27*c + 20. Suppose 2 = -o + 2*f, -14 = -3*o - 2*f - 2*f. Is o*2/c*211 composite?
False
Let r(i) = i**2. Let h(g) = -4*g**2 + 2*g + 2. Let v(t) = h(t) + 3*r(t). Let a be v(0). Suppose c + 2*k - 773 = 0, -a*c - 2*c - 2*k + 3062 = 