se 2*m - 119 = d. Is m a prime number?
True
Let y be (0 - 2 - 0)/(-1). Let s be 3 + -2 + y + 1. Suppose 0 = s*z - 0*z - 844. Is z a composite number?
False
Suppose 4*r - 3*r + 13 = 0. Let j(z) = 0*z - z - 161 + 163. Is j(r) a composite number?
True
Let v(z) = -z**2 + 4*z + 7. Let j be v(6). Is ((-887)/j)/(3/15) prime?
True
Let m = 22854 - -947. Is m composite?
False
Let d(y) = 568*y - 19. Is d(2) a prime number?
True
Let u be 5/(-40)*-2*20. Suppose -5*s - 283 = -2*l - 57, 0 = 5*l + u*s - 635. Is l a composite number?
True
Let x be 21/35 - 283/5. Let h be 47/8 + (-7)/x. Suppose q - 4*b = 69, 2*q = h*q - 4*b - 228. Is q a composite number?
False
Suppose 507 = -10*q - 57403. Let r = -1350 - q. Is r a prime number?
True
Let w = 7698 - 1079. Is w a prime number?
True
Let p = -8963 + 5297. Let x = -1909 - p. Is x a prime number?
False
Let u(x) = x**2 - 2*x. Let h(a) = -6*a**3 - a. Let j be h(-1). Is u(j) a composite number?
True
Suppose 4*w - 2*v - 525 - 226853 = 0, 3*v - 284206 = -5*w. Is w prime?
True
Let j(k) = -3*k - 4. Suppose 5*m - 10 = -t + 8, 0 = -5*t + m - 14. Let b be j(t). Suppose b*r + 66 = 232. Is r composite?
False
Suppose -54083 - 11274 = -y - 3*r, -2*r = 0. Is y a composite number?
False
Suppose 0 = -4*a + 8*a - 3*d - 14011, 0 = 5*d + 25. Is a a prime number?
True
Let b = 5534 - 3659. Let k = b + -956. Is k a prime number?
True
Let p(v) = -v**2 + 13*v - 32. Let c be p(4). Suppose a + 3*z + 2 = 11, -9 = -5*a + 3*z. Suppose -5*f = -2*i - 3*f + 764, 1521 = c*i + a*f. Is i a prime number?
False
Is (-6*2/(-8))/((-24)/(-37328)) prime?
True
Let c = -2500 - -5771. Is c prime?
True
Let o be (-18)/45 + 34/10. Suppose -o*w + 6 = -6. Suppose 4*y = w*p - 204, p - 21 = -2*y + 36. Is p a prime number?
True
Suppose 19*v - 13957 = 2*v. Is v a prime number?
True
Let y = 10444 - 6893. Is y composite?
True
Suppose g - 7 = -2*m, -2*m + 4*m - 3 = 3*g. Suppose n + 4*b - 73 = 338, m*n - 4*b - 1153 = 0. Is n prime?
False
Suppose 5 = -l, -5*l - 10 - 10 = 5*y. Let h be 4 - y - (1612 - 3). Is (-3)/6 - h/4 a composite number?
False
Let g = 15 + -13. Suppose 3*z - 17 - 11 = -2*f, g*z - 17 = -f. Let m = z + 17. Is m a composite number?
False
Is -2*1*(-12386)/4 composite?
True
Is -31*(25*5/25 - 2944) a prime number?
False
Let m(w) = 0*w**3 + 8*w + 22*w + w**3 + 19 - 16*w**2. Is m(14) a composite number?
False
Let j be 153 - (8 - (5 - 1)). Suppose 5*u = 6*u - j. Suppose 0 = -w + 3*f + u, 2*f + f = 2*w - 298. Is w a prime number?
True
Suppose 0 = -0*m + 5*m + 25. Is (-3)/m - (-7026)/15 prime?
False
Let v = 2450 + -733. Is v a composite number?
True
Let u be (-1*448 - 0) + 2. Let t = u - -625. Is t a composite number?
False
Let h(n) = -n**2 - 12*n + 13033. Is h(0) a composite number?
False
Let y(b) = 21 - 8 + 3*b + 40*b**2 - 8. Is y(-4) prime?
False
Let g(c) = -40*c**2 + 3*c - 2. Let v = -24 - -25. Let h be g(v). Let m = 60 + h. Is m prime?
False
Let h(z) = -2*z**2 - z - 2. Let i be h(-2). Let n(s) = s**3 + 6*s**2 - 13*s - 10. Let m be n(i). Is (-16)/(-136) + (-4314)/m a composite number?
False
Suppose -c = -2*v - 35, 0 = 3*c + 5*v - 82 - 23. Suppose -d - c = -8*d. Suppose -d*x + 4870 = 1435. Is x a composite number?
True
Is ((-55)/55)/(1/(-4873)) composite?
True
Let c(a) = 125 - 86 + 10*a**2 + 16*a - 5*a - a**3. Is c(10) a composite number?
False
Let s = -32648 + 48949. Is s composite?
False
Suppose -14*k = -9*k - 2310. Suppose -2*b + 3*p = -1052, 3*p + 64 + k = b. Is b a prime number?
False
Suppose -35 = -4*j - 3. Let y = -145 - -209. Suppose -j = -f + 5*z + 39, -2*f + y = -4*z. Is f composite?
True
Suppose 5517 = 13*n - 4*n. Is n prime?
True
Suppose 706 = 9*h + 42142. Is ((-6)/12)/(2/h) a composite number?
False
Let g(f) = 35*f**2 + 13*f - 161. Is g(8) composite?
True
Let x = -10342 + 26763. Is x composite?
False
Let n(y) = y**3 + 14*y**2 + 14*y + 13. Let h be n(-13). Suppose w + h*w - 211 = 0. Is w a composite number?
False
Let k be 40/3 - 4/12. Suppose k = 3*z - 2. Suppose 111 = -2*x + z*x. Is x prime?
True
Let i be (-4)/8*(0 - 14). Let d be 4/14 + 320/i. Is -14*-1*d/4 composite?
True
Suppose 5*w - 204 - 686 = 0. Suppose 4*q - w = 138. Is q a prime number?
True
Let h(y) = y**3 - 55*y**2 - 34*y + 107. Is h(57) prime?
False
Let v = -7 + 7. Let t(n) = -n + 31. Is t(v) a composite number?
False
Suppose -5*p - 2*p = -49. Let o(m) = 3*m**3 - 4*m**2 - 6*m - 4. Is o(p) a composite number?
False
Let m(c) = -15*c**3 + 10*c**2 + c - 4. Is m(-10) prime?
False
Let x be (1390/15*-1)/(2/6). Let f = x - -463. Is f a composite number?
True
Let y = -886 - -3705. Is y a composite number?
False
Let j be 33/(-9)*(6 + -303). Suppose 2*y - j = -5*i, 2*i = 4*i - 5*y - 424. Is i a composite number?
True
Suppose 1286 = -8*b + 5614. Is b a prime number?
True
Let z = -2 + 2. Suppose 11*i - 2*i - 4905 = z. Is i a prime number?
False
Suppose -4 = -v - 1. Suppose n = -3*i + 629, -2*n - 1887 = -5*n + v*i. Suppose -5*y + n = -341. Is y prime?
False
Let b = 17 + -29. Let q be 8/6 - (-1312)/b. Let c = -55 - q. Is c composite?
False
Suppose 11*m = 2209 + 90. Is m a prime number?
False
Let t = 89 - -484. Is t prime?
False
Let c(n) = -n**3 + 6*n**2 + 19*n - 7. Let p be c(8). Let t = p + 1092. Is t prime?
True
Let t be (-2 + -1)*(-2)/3. Suppose t*k - 14 = 64. Suppose x = 10 + k. Is x composite?
True
Let z(o) = 5*o**3 - 6*o**2 - 5*o - 5. Suppose 0 = -26*q + 28*q - 10. Is z(q) prime?
False
Let r(k) = 202*k**2 - 2*k - 14. Is r(6) a prime number?
False
Let m(i) = -i**2 + i. Let c(b) = -16*b**2 - 11*b - 14. Let o(j) = -c(j) - 2*m(j). Is o(-3) a prime number?
True
Let c = 56 + -26. Let r(z) = -c*z + 0*z - 6*z + 6 + 5. Is r(-10) a composite number?
True
Suppose -61873 - 5724 = -23*p. Is p a composite number?
False
Suppose 3*h - 13 - 16 = 4*l, -l - 20 = -5*h. Let v = h - -2. Suppose -v*c + 57 = 2. Is c a composite number?
False
Let w(l) = 10*l**2 + 9*l - 17. Suppose 12*m + 152 - 20 = 0. Is w(m) a composite number?
True
Let r be 6 + -3 - (-5 + 2). Let q be 8/r - 1468/(-6). Suppose q = 6*m - 3*m. Is m prime?
False
Let g(a) = 57*a**3 - 2*a**2 - 2*a - 6. Is g(4) a prime number?
False
Let w(b) = -b**3 + 29*b**2 + 40*b + 101. Is w(30) prime?
True
Let d = 1283 - 241. Suppose 4*g - 4*f = 0, 2*g + 3*f = -0*g + 10. Suppose 0*o - g*o = -d. Is o prime?
True
Let k = -8 - -14. Let x = k - 6. Suppose -2*p + 3*u + 23 = x, -u = 3*p + 4*u - 44. Is p a prime number?
True
Let q = 2127 + -853. Suppose 3*n + q = 2*j, n - 2 = -0*n. Suppose 5*u + j - 2505 = 0. Is u composite?
False
Suppose 0 = 9*h - 12*h. Suppose h = 3*n, n = -4*u + 2*n - 32. Is (-1861)/u + 15/40 a composite number?
False
Let n(j) = j**3 + 6*j**2 + 8*j + 6. Let g be n(-4). Is 4/g - 35528/(-24) a prime number?
True
Is ((-270)/(-35) - 8) + (-130274)/(-14) prime?
False
Let v(d) = d**3 - 9*d**2 + 9*d - 5. Let z be v(8). Suppose 0 = 4*g - z*g - 4. Is 217/(2 - (-3 + g)) a composite number?
True
Suppose 6*y = -10*y. Suppose -6*o - 193 + 6211 = y. Is o prime?
False
Is (-9194)/(-15) - (-23)/345 a composite number?
False
Let g(f) = 98*f + 85. Is g(24) composite?
False
Suppose r = -4*z - 3*r + 1320, 0 = 5*z + 4*r - 1651. Is z prime?
True
Is (0 - 0)/(15/(-15)) + 17647 a prime number?
False
Let z = 42403 - 23864. Is z a composite number?
False
Let q(j) = j**2 - 8*j - 19. Let a be q(-3). Let r(u) = 2*u**2 + 21*u - 53. Is r(a) prime?
False
Suppose 4 + 0 = 4*z, -2*n + 894 = -2*z. Let g(k) = 5*k**2 + 14*k + 24. Let d be g(11). Let t = d - n. Is t a prime number?
False
Suppose 1213 = -x + 6370. Suppose -3*y + 3*w = -x, -5*y + 2*y = -w - 5161. Is y a prime number?
True
Let h(c) = -c + 1. Let o be h(-6). Suppose -3*v + o*w - 2*w + 262 = 0, -392 = -4*v - 4*w. Let b = v - 47. Is b a prime number?
True
Let m = 7189 - 4706. Let v = 1283 - m. Let l = -781 - v. Is l a prime number?
True
Suppose -5*f - f = -11622. Is f a prime number?
False
Suppose 3*o - 2*q = -6, 3*o - 7*q = -8*q + 3. Let a(b) = -b + 2798. Is a(o) composite?
True
Let m(x) = 86*x**2 - x + 10. Let o be (-4)/6*(-9)/(-2). Is m(o) a prime number?
True
Suppose -3*d = -7*d + 4. Is 1761/(-9)*(d + -4) a prime number?
True
Let c(l) = 338*l + 47. Is c(25) composite?
True
Is (-8590)/(-4) + 4/(-8) prime?
False
Let b(h) = -21*h**2 + 20 - 5*h**3 - 12*h + 3*h**2 - 22. Is b(-8) composite?
True
Let b = 48 + 2254. Is b prime?
False
Let d(