number?
False
Let a = -161 - -428. Suppose 0*k = -k + a. Suppose 3*x + 0*x = k. Is x composite?
False
Suppose -2*s = -4*k - 92606, -5*s + 81790 = -2*k - 149765. Is s a composite number?
True
Let s be 8 - (-1)/(-3)*12. Suppose l - 2889 = s*g, -5*l + 2*g + 3200 = -11263. Is l prime?
False
Let w(z) = z**3 - 16*z**2 + 3. Let a be w(16). Suppose -4*k - 5*l + 6632 = -l, -a*k + 4*l = -4967. Is k composite?
False
Suppose -6*v = 5*v - 9493. Let f = v - 568. Is f a composite number?
True
Suppose 0 = 2*a + 2 - 0. Is (a - 292)*(-17 - -15) a composite number?
True
Let x be (-2)/12 - 5/6. Let i(g) = -347*g**3 + g**2 + 3*g + 2. Is i(x) a prime number?
True
Let i = 19 - 9. Let k(x) = x**2 - i - 4 + 7 + x - 6. Is k(-12) a prime number?
False
Suppose -2*j - 2*d = -188, 5 = -4*d + 1. Let u = j - 6. Is u a prime number?
True
Is (9515/(-10))/(5 - 66/12) a prime number?
False
Suppose 2*f - 3 - 17 = 4*z, 4*f - 4*z = 20. Suppose -44 = -5*b - 4*m, f*m - m = -1. Is 20 - (-1)/(4/b) a prime number?
False
Let z = 33 - 30. Suppose 0 = -z*b + 23 + 22. Is b prime?
False
Let c(w) = -420*w - 1. Let d be c(-1). Suppose 3*g - d = 2*g. Is g prime?
True
Let i be -4 + 5 - (-3)/(-9)*3. Suppose 2*o + 147 = 4*b + 3*o, -5*b - 4*o + 181 = i. Is b composite?
False
Suppose -3 = 3*v + 9. Let k(m) = -2*m - 6. Let a be k(v). Is (a + (-22 - -3))*-11 composite?
True
Let z = 47 - 44. Is (2529/15)/(16/5 - z) a composite number?
True
Let r(y) = -y + 17. Suppose 0 = 2*l - 26 - 2. Let q be r(l). Suppose 2*m - 1105 = -q*m. Is m a prime number?
False
Let p = 4247 - 2196. Is p a prime number?
False
Let l(p) be the first derivative of p**7/420 - p**6/90 + p**5/40 + p**4/8 - 7*p**3/3 - 2. Let j(t) be the third derivative of l(t). Is j(4) a composite number?
False
Suppose 0 = 9*w + 3904 - 29185. Is w a prime number?
False
Suppose 38 = -2*r - 5*x, 0*x = 2*r - x + 26. Let w(j) = -13*j - 3. Let d be w(-3). Let q = r + d. Is q prime?
False
Let v(h) be the second derivative of 112*h**3 + h**2/2 + 12*h. Is v(2) composite?
True
Is 4*(-5)/(-200)*5*11462 a composite number?
True
Suppose 5*w - 3*v + 51 = 2*w, 0 = w + 5*v + 11. Let b = w - -18. Is 3 - 65*b*-2 a prime number?
True
Let w(z) = -18*z**2 + 39*z**2 + z - 20*z**2 - 9. Let n be w(-4). Is ((-2)/n)/((-2)/357) composite?
True
Suppose 5*t + 10 = -0*t. Is (-315)/t - (-2)/(-4) a composite number?
False
Suppose 1010 = 3*a - 2812. Suppose 4*n - a = 230. Let i = n + -83. Is i prime?
True
Suppose -30*c + 17742 = -24*c. Is c a composite number?
False
Let a(u) = -u + 4. Let t be a(0). Suppose -47 = -h - 0*d + 3*d, -239 = -t*h - 5*d. Suppose -4*l + h = -28. Is l composite?
True
Suppose c + 12*n - 671 = 7*n, -2*n + 1374 = 2*c. Is c a prime number?
True
Let l = -4371 + 7042. Is l composite?
False
Suppose -298 = -3*m + 2*m. Is m a prime number?
False
Suppose -2*a + 2760 - 1118 = 2*d, 2*d + 1630 = 2*a. Is a a composite number?
True
Let i(y) be the third derivative of 493*y**6/30 + y**5/30 - 5*y**4/24 + 2*y**3/3 + 31*y**2. Is i(1) a composite number?
False
Suppose 5*f = -3*x + 419, 2*x - 151 = -f + 126. Let c = x - 25. Is c a composite number?
False
Suppose -3*k + 2*l - 29 = 0, 2*k = 3*k - 2*l + 15. Let r(h) = h**3 + 8*h**2 - 14*h + 10. Is r(k) a composite number?
False
Suppose -n = 5*a - 12, 2*a = -3*a - 4*n + 18. Suppose -a*x = -x - 134. Is x a composite number?
True
Suppose -216907 = 6*n - 37*n. Is n prime?
True
Let p(d) = 3*d**2 - 10*d - 8. Suppose -b + 9 = c, 5*c - 4*b - 49 = -5*b. Let a be p(c). Suppose 3*l = -r + 197, 5*r - a = -3*l - 11. Is l a prime number?
True
Let x = 2550 + 1093. Is x prime?
True
Let t = -2103 + 4824. Is t composite?
True
Suppose -3*w - 2*n = 13496, 4*w - n = 2*w - 9009. Is 1/((4 - 3)*(-2)/w) a prime number?
True
Let u = -10679 + 15921. Is u a composite number?
True
Suppose 2*b - 6163 = w - 0*w, 12306 = 4*b + 2*w. Is b composite?
False
Let o(x) = 40*x**2 + 6*x + 9. Let m be o(-2). Let r = -8 + m. Is r a prime number?
True
Let v = -8 - -36. Is 19614/v + (-1)/(-2) prime?
True
Suppose 5*o + 6*g - 2604 = 2*g, -5*o - 3*g + 2608 = 0. Suppose 119 - 10 = f + i, 5*f - 2*i = o. Is f prime?
False
Suppose 2*g + 2*g + p = 4657, -g + 5*p + 1138 = 0. Is g composite?
False
Suppose 11*d - 15 = 6*d. Suppose -d*s = 1873 - 7702. Is s prime?
False
Suppose 10*z - 19791 = -17*z. Is z a prime number?
True
Suppose -4*w - 60306 - 3868 = -2*b, -3*w = -3*b + 96252. Is b composite?
True
Suppose -2*i + 5*i = 4*v + 11, -4*v = -i + 9. Suppose 3*g - i = 2. Is 0 + g + 358 + -1 composite?
True
Let j = -47 - -49. Suppose -j*n + 4215 = 5*c + 1144, -n = -2*c + 1223. Is c a composite number?
False
Let j(h) = -2*h - 3. Let z be j(-9). Suppose -16*o + 4 = -z*o. Is (2470/(-15))/(o/(-6)) a prime number?
False
Let y be (14/(-21))/(4/(-30)). Suppose y*p + 7 - 82 = 0. Let t(l) = -l**3 + 16*l**2 - 4*l - 2. Is t(p) a prime number?
True
Let x = -1962 - -3069. Suppose x = 8*q - 4645. Is q composite?
False
Let d be -1 - -2*9/6. Suppose -3*u + 2150 = d*u. Let v = u - 249. Is v a composite number?
False
Suppose -23 = -5*c - 2*i, -2*c - 7 = -3*c + 2*i. Let r(n) = 7*n**3 - 5*n**2 + 5*n + 4. Is r(c) composite?
True
Let d = 63 - 39. Suppose 0 = -m + d + 7. Suppose 74 = x - 4*z + m, 4*z = 2*x - 90. Is x a composite number?
False
Suppose -5*l + 6*b = b - 17660, l + 2*b - 3517 = 0. Is l prime?
True
Suppose 6 + 5 = 4*x + c, 0 = 5*x + 2*c - 13. Suppose 3*o + 5*r = 234, -o + x*r + 71 = 7*r. Is o composite?
False
Is 80/(6 - -4) + 15719 prime?
True
Let k(a) = a**3 + 58*a**2 + 58*a + 128. Is k(-29) prime?
False
Let l(t) = -28*t + 27. Let z be l(-8). Let u = 580 - z. Is u a prime number?
False
Suppose -5 - 2 = -y - 5*s, -3*s - 14 = -2*y. Suppose -12*o = -y*o - 30. Is o prime?
False
Suppose 0 = 5*n - 6083 - 4757. Suppose 3*h + 3249 = -l + 4*l, h + n = 2*l. Suppose 0 = -z + 6*z - l. Is z prime?
False
Let w(k) = 1766*k + 175. Is w(26) composite?
False
Suppose 2 = 3*u - 4. Let k(b) = -7*b - 6 + 19*b**u + 3 + b**3 + 27. Is k(-19) composite?
False
Is ((-276095)/25)/(7 + (-324)/45) prime?
True
Let q = -2 + 7. Suppose -q*m = -5*i + 640, -m - m = -10. Is i a prime number?
False
Let h(k) = 0*k**3 + 10*k**3 + 48 - 5*k - 47 - 8*k**2. Is h(6) a prime number?
False
Let w(z) = 62*z + 3. Suppose -2*i - 3*y + 23 = -12, -3*i - y + 63 = 0. Let o = 30 - i. Is w(o) composite?
False
Let b(k) = -k**2 + k. Let c be b(-1). Suppose -w = -2*o - 10, 18*o + 34 = 4*w + 13*o. Is w/(-12) - 891/c a prime number?
False
Let i(a) = 1987*a**2 + 10*a + 40. Is i(-3) composite?
True
Let o = 3049 - 622. Is o a composite number?
True
Let a(k) = 4*k**3 - 24*k**2 + 14*k + 109. Is a(15) composite?
False
Let h(g) = -85*g**3 + 2*g**2 + 4*g + 3. Let c be h(-2). Suppose 1212 = 5*n - c. Is n composite?
False
Let t = -236 - -543. Is t composite?
False
Suppose 8*d - 2*u - 15825 = 3*d, 4*d - 12657 = u. Is d a prime number?
True
Let p be (1/(-3))/((-5)/45). Suppose -5*r = y + 2*y - 1840, 0 = p*y. Let q = r - -131. Is q a prime number?
True
Suppose 2994 = 6*h - 348. Is h a prime number?
True
Let k = -7229 + 52864. Is k prime?
False
Let q(t) = 12*t + 13 + 16*t**3 + 8*t**3 - 25*t**3 - 15*t**2. Is q(-16) a prime number?
False
Let m = -70 + 121. Let w(r) = -28*r + 2 + 15*r - 3 - m*r. Is w(-3) a composite number?
False
Let a(r) = r**2 + 7*r - 5. Let u be a(-8). Suppose 3*c - 396 = -x - 2*x, 3*c = u*x + 420. Suppose -4*y = -g + 189 + c, -y + 659 = 2*g. Is g a composite number?
True
Let q(n) = -n**3 + 7*n**2 - 8*n + 15. Let w be q(6). Is (-39)/26*(1052/w)/(-2) composite?
False
Let f = -5982 - -12425. Is f a composite number?
True
Let j = 30986 + -17548. Is j prime?
False
Is (7 - 8)*-2378 + -7 composite?
False
Let y = 136 + -134. Let g(n) = 24*n - 3 - 44*n + 2 + 132*n. Is g(y) composite?
False
Let z(g) = g**2 - 5*g + 4265. Is z(0) prime?
False
Let s(n) = 232*n - 14. Let l be s(5). Suppose -4*v + 2*g = -l, -848 - 268 = -4*v - 4*g. Suppose y - 3*y = -v. Is y a prime number?
False
Suppose 4*w + 1129 = 9241. Suppose w = b + 373. Is b a prime number?
False
Let z = -1 + 2. Let o(t) = 32*t**2 + 3*t + 6. Let l(k) = -1855*k**2 - 175*k - 350. Let x(u) = 3*l(u) + 175*o(u). Is x(z) composite?
True
Let z = 925 + 2973. Is z prime?
False
Let h = 15 - 13. Let c be (1/(-3))/(h/(-6)). Is 156/c - (2 + -3) a prime number?
True
Let z = 1549 - 855. Is z a prime number?
False
Let z(v) = v**