s (-42)/8*(-3 + f) prime?
False
Let v(y) = 6*y**3 - 8*y**2 - 7*y + 20. Is v(7) a prime number?
True
Let s be (1 - 0) + -2 + 5. Suppose -j - 2*l = l - 4, -l = -j - 12. Is s/16 + (-774)/j prime?
True
Let d be (-3122)/(-6) - (-3)/(-9). Suppose 0 = 5*t + 5*g - 615, 2*t - d = -2*t + 3*g. Is t a composite number?
False
Let i(c) = c**2 + c. Let q be i(-1). Suppose q = 4*f + f - 10. Suppose 50 = -f*p - 4*t + 556, 3*p - t = 780. Is p a composite number?
True
Let v(o) = -43*o. Let s = 6 + -7. Is v(s) a prime number?
True
Suppose -15*s + 13*s = -2566. Is s composite?
False
Let u(r) = -2*r + 13. Is u(-10) prime?
False
Let p be (-37)/((-7 + 3)/4). Suppose 30 + p = q. Is q a prime number?
True
Suppose 18*z - 13*z = 2395. Is z prime?
True
Suppose -16*o = -13*o - 5919. Is o prime?
True
Is 6522/(-4)*(-6 + (-32)/(-6)) a composite number?
False
Suppose 3*q + f - 14 = 0, -f = f + 8. Let g = -4 + q. Suppose -g*z = -z - 21. Is z prime?
False
Let q = 921 - -260. Is q a prime number?
True
Let p(i) = -i**2 - i + 4. Let y be p(0). Suppose 17 = y*d + 1. Suppose -d*l = -5*l + 47. Is l a prime number?
True
Suppose 3*a - r - 16 = 0, 5*a + 4*r = r + 8. Let u(m) = 10*m**2 + 0*m - 2 - 3 + m + 0*m. Is u(a) prime?
False
Let o = -1 - -5. Let g = o - 0. Suppose g*h = -20, -33 = -d + 3*h + 59. Is d a composite number?
True
Let i(l) = l**2 - 3*l - 1. Let a = -10 + 3. Is i(a) prime?
False
Suppose -2*j - 4*w + 2*w = 574, -289 = j + 3*w. Is j*((-9)/6 + 1) prime?
False
Suppose 0*t - 2*t + 18 = 0. Is t prime?
False
Suppose 16940 - 2852 = 8*x. Is x prime?
False
Is 1 + 1078 + (24 - 24) a composite number?
True
Let h be 4210/8 + 4/(-16). Let m = h + -311. Is m a prime number?
False
Let j be (5/(-4))/(1/(-12)). Let b be 7/9 + (-8)/(-36). Let i = j - b. Is i a composite number?
True
Let f(z) = -z**3 - 5*z**2 + 5*z - 3. Let w be f(-6). Suppose -2*j = w*b - 15, -7*b + 3*b = -4*j - 40. Is b a prime number?
True
Let d(a) = 5*a + 12. Let k = -18 - -29. Is d(k) prime?
True
Let p = -5 + 10. Suppose 3*b = 4*b - p. Let f = b + -2. Is f composite?
False
Is (-5344)/(-24) - (-1)/3 a composite number?
False
Suppose -5*v - 2*n = -4*v + 3, 2*v - 10 = 4*n. Let j be v + (1 - 0) + -1. Is 9 - (1 - j)/(-2) a prime number?
False
Let b = 246 - 119. Is b prime?
True
Let n = -1043 - -1578. Is n prime?
False
Suppose 0 = g - r - 260, -1017 = -4*g - 4*r - 1. Is g composite?
False
Suppose 0 = -2*b + 5*b - 24. Let y = -4 + b. Suppose 4*f = -0*o + o - 97, f + 343 = y*o. Is o prime?
False
Suppose -c = -3*t - 40 + 104, -3*c + 5*t - 200 = 0. Let j be c/7 + 2/(-1). Is -4*(0 - (-207)/j) a composite number?
True
Let z(p) = -p**3 + 9*p**2 - 13*p + 3. Is z(6) a composite number?
True
Let n(y) = 25*y**2 - 2*y - 2. Let l be n(2). Suppose l = 2*i - 0*c + 4*c, 0 = 5*i - 4*c - 277. Is i composite?
False
Let t be (-16)/(-6) - (-2)/(-3). Suppose t*g - 149 = g. Is g composite?
False
Suppose -8 = 2*o - 34. Suppose 3 - o = -n. Is n prime?
False
Suppose -1082 = -3*g + 247. Is g prime?
True
Let h(k) be the third derivative of 0*k + 0 - 1/120*k**6 + 7/60*k**5 - 2*k**2 - 1/6*k**3 + 5/12*k**4. Is h(8) a prime number?
False
Let p = -34 - -48. Let s = 29 - p. Is s prime?
False
Is 438/24*145 + (-6)/(-8) a composite number?
False
Let f(i) = i**3 - 2*i**2 - 2*i - 2. Let b be f(4). Suppose 0*y - b = -n - 3*y, -4*n + 36 = -y. Is 2/(-5) + 114/n composite?
False
Suppose 0 = -s + 5*s + 200. Is (-4 - s) + 3/3 a composite number?
False
Let j(w) = 7*w + 9. Is j(6) composite?
True
Suppose -2*r + 2246 = -476. Is r composite?
False
Suppose -21 = 2*s + 3*x, -4*s + s - 4*x - 33 = 0. Let v = 18 - -7. Let z = s + v. Is z a composite number?
True
Suppose 3*z - 8*z = -15. Suppose 16 = 4*t, 2*t + z*t + 138 = 2*h. Is h prime?
True
Let d(b) = 4 - 3 + 17*b + 17*b. Is d(1) a composite number?
True
Let x(r) = -41*r**3 + 4*r**2 - 3*r - 1. Is x(-3) prime?
True
Suppose -5 - 1 = -3*o. Let h be 3 + ((-1)/(-1) - o). Suppose -h*v + 3*g + 96 = v, 5*g - 85 = -2*v. Is v prime?
False
Suppose -5*c - 2*n + 39 = 9, -5*c - 3*n = -30. Suppose -5*v = -7*v + c. Suppose -86 = -2*d - 3*w + 111, 0 = -v*d + 5*w + 286. Is d a prime number?
True
Suppose 3*w = -0*w + 3. Is w/4 - 198/(-8) composite?
True
Let a be (-2)/(-7) + 57/21. Suppose -f = -a*f. Is 2 + (-16)/(f - 2) composite?
True
Suppose -2*u + 0*u - h + 1406 = 0, 5*h - 2824 = -4*u. Is u composite?
False
Suppose 2*o = -0*o + 16. Let u be 125/2*o/10. Let t = u - 29. Is t a composite number?
True
Suppose 2*q = -3*q - 2*t + 8277, -5*q + 8269 = 4*t. Is q a prime number?
True
Let l be ((-4)/(-8)*26)/(-1). Let u = l + 20. Is u prime?
True
Let l = 43 + 72. Is l prime?
False
Suppose 2*h + 2029 = 3*r, 0*r - 3385 = -5*r + 4*h. Is r composite?
False
Suppose -3*x = -4*u + x, 2*x = u + 4. Suppose -u*f + 63 = 3. Is f prime?
False
Let g be 1/(-6) - 1231/(-6). Suppose -10 = f + f, -4*f + g = 5*o. Let y = 94 - o. Is y a composite number?
True
Let p be 12/(-2)*1/1. Let l(x) = -x**3 - 5*x**2 + 3*x - 6. Let g be l(p). Suppose 0 = -q - q + g. Is q a prime number?
False
Let c = 180 + -95. Is c composite?
True
Let d = -64 - -95. Is d prime?
True
Let m(v) = 42*v - 3. Let x be m(4). Suppose 0 = -2*z - 3*z + x. Suppose 4*f - z = 11. Is f a prime number?
True
Let c(j) = 4*j + 9. Let v(m) = 3*m**2 + 4*m + 3. Let a be v(-2). Is c(a) composite?
False
Suppose 5*v - 684 = -3*t, t + 1177 = 6*t - 4*v. Is t composite?
False
Let j be (-4)/(-2) + 2 + -2. Suppose -2*f - j*f = -888. Is f/9*(-9)/(-6) composite?
False
Is 227 - 8/(-3 - -5) a prime number?
True
Let v(b) = -40*b**2 - 3*b + 2. Let w(g) = 41*g**2 + 4*g - 3. Let q(t) = -4*v(t) - 3*w(t). Is q(2) prime?
True
Let n = 0 + -2. Let l be n/9 - 76/(-18). Suppose -2*x - l*h - 20 = -4*x, 6 = 3*h. Is x prime?
False
Let g be (1 - 1)/(4/2). Let n be (-60 - g - 1)*1. Let r = -26 - n. Is r a prime number?
False
Let h(u) = 68*u**2 - 5*u - 14. Is h(-3) a composite number?
False
Suppose -t + 10*t = 88785. Is t a prime number?
False
Let y(w) = 2*w**3 - 3*w**2 - 5*w - 1. Is y(6) composite?
False
Let a(p) = -p**3 - 7*p**2 - 8*p - 6. Let w be (-6)/(-9)*-9*1. Is a(w) a prime number?
False
Let j(p) = 11*p**2 - 5*p + 17. Is j(7) a composite number?
False
Let t(r) = -11*r**2 + 3*r. Let v be t(5). Let h = -9 - v. Is h composite?
False
Is 4/(-6)*10941/(-14) prime?
True
Suppose 0 = o + 5*j - 117 - 97, -3*j = -2*o + 428. Is o prime?
False
Let y(a) be the third derivative of a**5/10 + 5*a**4/24 + a**3/3 + 6*a**2. Is y(-5) prime?
True
Let p(x) = 7*x**3 + x**2 - x - 4. Is p(3) prime?
True
Suppose 2*b - 3*u = -0*b + 1501, -2*u = -3*b + 2264. Is b composite?
True
Suppose 3*m = 7*m. Suppose -3*v + 12 - 2 = -5*n, 4*v + 4*n + 8 = m. Suppose -4*f - 2 + 14 = v. Is f a composite number?
False
Let g(k) = -k - 4. Let f be g(-7). Suppose f*h - 12 = -h. Suppose -d + h*d = 46. Is d a prime number?
True
Suppose -s = -5*r + 4, 3*s - s + 8 = 5*r. Suppose r*w + 4*w - 92 = 0. Is w composite?
False
Let g(p) = p**3 + 5*p**2 - 5. Is g(6) composite?
True
Let j(g) = -3*g + 2. Suppose 0 = -a - 4*a + 10, -25 = 3*m - 5*a. Let d be j(m). Suppose d = -k + 162. Is k a composite number?
True
Let a = 114 - 23. Let l = a + -24. Is l a prime number?
True
Suppose 5*p + 122 = -13. Let h = p - -39. Suppose -b = 2*b - h. Is b a prime number?
False
Suppose 1180 = 3*p + p - 2*i, 0 = 5*p - 3*i - 1477. Is p prime?
True
Let d(o) = o - 2. Let n be d(5). Suppose 5*l - 96 = -h, -n*l + l = -4. Is h a composite number?
True
Suppose 3*a = 2*a. Suppose -2*p + 49 + 25 = a. Is p composite?
False
Suppose a + 839 = 5*y + 5*a, 0 = 2*y - 2*a - 350. Let u = y - 92. Is u prime?
True
Suppose 2*i - 1194 = -4*k + 606, -447 = -k + i. Is k a prime number?
True
Let m(l) be the third derivative of 1/3*l**3 + 2*l**2 + 1/60*l**5 + 0 + 0*l + 1/6*l**4. Is m(-5) a composite number?
False
Suppose 0 = -2*x + 19 + 51. Is x prime?
False
Let u = 6546 - 2953. Is u composite?
False
Let k(v) = 294*v - 13. Is k(4) prime?
True
Suppose 35 = 2*h - 7*h. Let k = h - -11. Is ((-196)/8)/((-2)/k) prime?
False
Suppose -5*j + 777 = -398. Is j composite?
True
Let x = 2722 + -297. Suppose -4*a = -9*a + x. Is a a prime number?
False
Suppose 0 = -q + 2*s + 7, 2*s = -3*q + 6*s + 11. Is (-574)/(-5) - q/15 composite?
True
Let c = 20 - 14. Let z = 63 - c. Is z a prime number?
False
Let n be 5/((-15)/14)*3. Let b = 35 + n. Is b a prime numbe