o = b - 139. Is o a composite number?
False
Is 8542/(-10)*(-35 + 30) a prime number?
True
Suppose 9*a - 4 = 4*u + 4*a, 0 = -4*u - 4*a - 4. Is -16 + 223 - (-2)/u prime?
False
Let v(q) = 4682*q + 325. Is v(8) a prime number?
True
Suppose 1 = -b + 12. Let n(u) be the third derivative of u**5/20 - 5*u**4/12 - u**3 - 61*u**2 + 2*u. Is n(b) a composite number?
True
Let c(w) = w**3 - 2*w + 175. Let b be c(0). Let t = b - -132. Is t prime?
True
Suppose -2*j = -i - 146154, -161*i + 365385 = 5*j - 158*i. Is j composite?
True
Suppose s + n = 14127, -2*s - 16*n = -13*n - 28258. Is s composite?
True
Let t(h) = -17*h**3 + 7*h**2 - 30*h + 17. Is t(-13) prime?
False
Is 1274 + (5/(-15))/((-2)/(-6)) prime?
False
Suppose 0 = -10*w + 3*w - 84. Let k(u) = -u**3 - 11*u**2 + 7*u - 11. Is k(w) composite?
True
Let z = -17 + 19. Let q = -6 + z. Is 1*(q - (-691 - -4)) a composite number?
False
Let s = -8549 + 13308. Is s prime?
True
Suppose 79*c + 21738 = 85*c. Is c a prime number?
True
Suppose 4 = -3*o - 2*i, 0 = 4*i + 14 + 6. Suppose -4*x = -4*j - j + 3378, 3366 = 5*j + o*x. Is j prime?
False
Let q(p) = 6*p**2 - 30*p + 179. Is q(10) prime?
True
Suppose 5*g - 5*j - 40 = 0, -5*j - 16 = 2*g + 3. Is 339 - (g + -6) - 3 a composite number?
True
Let p(r) = r**2 + 5*r + 3. Suppose -3*v + 0 = 6. Let b be p(v). Let d(m) = -37*m + 2. Is d(b) a composite number?
False
Let b(p) = p**2 + 10*p + 3. Let r be b(-10). Suppose 0 = r*c + 3*m - 117, -2*m - m - 47 = -c. Suppose -3*x + 3*g + 144 = 0, 4*g - c = -x + 32. Is x prime?
True
Let j(n) be the second derivative of -n**4/12 - 2*n**3 - 4*n**2 + 5*n. Let s be j(-11). Is (-2)/s - (-606)/18 a composite number?
True
Let x(f) = f + 746. Let d = -11 - -11. Let o be x(d). Suppose -17*l = -15*l - o. Is l a composite number?
False
Suppose -3*x + 9 = -3*q, -3*x + q + 3*q = -8. Suppose w - 4*w + 27 = -4*s, -4*w + x*s + 32 = 0. Suppose w = k - 5. Is k a prime number?
False
Is 341*(2 + 0) - (41 - 38) composite?
True
Let o(m) = -3*m**3 - 40*m**2 - 31*m + 15. Is o(-16) a composite number?
True
Let u(q) = -462*q - 5. Is u(-6) a prime number?
True
Let m be (3075/(-2))/(-1)*24/18. Let t = 2971 - m. Is t a prime number?
False
Let z(b) = b**3 + 4*b**2 - 8*b + 1. Let q be z(-5). Suppose 21*r - q*r = 415. Is r a composite number?
False
Let i = 5472 - -3071. Is i prime?
True
Is 3230 - (-5 + 8)*15/(-9) prime?
False
Let w = 2710 - -708. Is w a composite number?
True
Let o(j) = -2*j**2 + 2*j - j + j**2 + 63*j**3 - 1 + 5*j**2. Is o(2) prime?
True
Let b = 51 + -34. Is b + -14 + 136 + 0 composite?
False
Suppose 4*x - 11201 = 5011. Suppose x = 6*y + 135. Is y prime?
True
Let r(n) = -n**3 - 6*n**2 - 2*n - 3. Let o be r(-10). Suppose 13*k - 16*k = -o. Is k composite?
False
Let i = 28977 - 20235. Is (i/12)/(1/((-2)/(-1))) a prime number?
False
Suppose 4*k = 4*h - 7616, -k - 2910 = -2*h + 897. Is h composite?
True
Let y(n) = 9*n**2 + 4*n - 7. Suppose l + 2*p = -p - 9, 0 = 3*p + 15. Is y(l) a prime number?
False
Suppose 2*i + 4 = 4*y, 0 = y + 7*i - 2*i - 12. Suppose 0 = -y*a + 41 - 1. Let z = 161 - a. Is z a prime number?
False
Suppose 0 = -4*t + 7*t + 6477. Let a = -1372 - t. Is a a prime number?
True
Let d = -123 + 123. Suppose 0 = -0*o - 3*o + 4*w + 3927, -5*o + w + 6562 = d. Is o a prime number?
False
Let g = 230 + -226. Let u be (-10738)/(-4) - (-3)/6. Suppose -g*r + u = r. Is r prime?
False
Let s(o) = -o**3 + 6*o - 3. Let y be s(-5). Suppose y = f - 119. Is f composite?
False
Let v(k) = -2 + 0 - 9*k + 5. Let c be v(2). Is (-3)/(-15) - 567/c a composite number?
True
Let b = -7899 + 15238. Is b a composite number?
True
Let v(j) = -j**3 - 13*j**2 + 23*j + 15. Let w be v(-15). Suppose 35 = o - w. Is o prime?
False
Suppose -150 = -6*v - 24. Suppose 4*p + x = v, 0 = -2*p - 3*p + 4*x. Suppose 3*b = 4*y - 849 + 236, -4*b + 648 = p*y. Is y a composite number?
False
Let p(c) = -2*c**2 + 24*c - 7. Let u be p(-22). Let i = -890 - u. Is i composite?
False
Let m(g) be the second derivative of 229*g**3/3 + 25*g**2/2 - 42*g. Is m(3) a prime number?
True
Let k(a) = 279*a**2 - 9*a + 127. Is k(6) prime?
False
Let h(t) = -42*t**3 + 2*t**2 + 2*t - 2. Let a be h(-3). Let m = 29 + -494. Let f = m + a. Is f a prime number?
False
Suppose 0 = -5*w + 4*q + 2305, 234 + 243 = w - 4*q. Is w a composite number?
False
Suppose 4*y = -20, 7*w + 5*y + 13555 = 2*w. Let i = w - -4526. Let m = -1053 + i. Is m composite?
True
Let o = -17 + 15. Let c be 1*263 - (o - 2). Suppose c = 5*v - g, 0 = 2*g - 3 + 7. Is v a prime number?
True
Let z(c) = 425*c**2 - 3*c + 34. Let q be z(-8). Is (4/(-6))/(-4*7/q) a prime number?
False
Suppose 18 = -3*t + 6*t. Suppose -4*i = t - 14. Is 248/12 + i/6 composite?
True
Let v(c) = -c. Let y be v(-4). Suppose -2*o = -6*o + 2*x + 684, 4*o = -y*x + 660. Is o composite?
True
Let i be 3/4 - (-10)/8. Let f(q) = 7*q**i + 2*q - 6 - 5*q - 3*q**2 + 1. Is f(6) composite?
True
Let j be ((-1)/(3/837) - -4) + -1. Let h be 1/(2*(-3)/(-48)). Is (92/(-6))/(h/j) prime?
False
Let k(t) = 32*t + 12. Let s be k(7). Suppose -3*h = -1099 - s. Is h a composite number?
True
Suppose -w = q + 3*q + 15, 30 = 2*w - 4*q. Suppose 3*d - 1886 = -5*b, 2*b - w*d - 323 = 450. Is b composite?
False
Let p be 1338 - -2*2/(-4)*3. Suppose -3*w + 8*w - p = 0. Is w a composite number?
True
Let q(m) = m**3 - 13*m**2 - 7*m - 14. Let y be q(16). Let g = 1244 - y. Let p = g - 271. Is p prime?
True
Let f be 2/13 + 501/39. Suppose 0 = 15*i - f*i - 62. Is i composite?
False
Let j(c) = 22*c + 17. Let h(p) = -p**2 - 8*p + 5. Let z be h(-8). Is j(z) composite?
False
Suppose 6*r - 12 = 2*r. Let p be (-9)/r*(-2 - -1). Suppose -p*n = -1431 + 345. Is n a composite number?
True
Let m(f) = -f**3 - f**2 + 6*f + 2. Is m(-4) prime?
False
Suppose -3*o + 4*r - 2*r = 2, -o + r = 2. Suppose -o*b - 61 + 489 = 0. Is b a prime number?
False
Suppose 0 = -5*y + 4*p + 102, 0*p - 3*p - 82 = -4*y. Let i = -48 - -77. Let s = y + i. Is s a prime number?
False
Let y(g) = -155*g - 3. Suppose 3*j = 2*j + 2. Suppose 4*p - j*p = -4. Is y(p) composite?
False
Let u(b) = 5*b**2 + 27*b + 5. Let q(k) = 3*k**2 + 3*k + 5. Let r be q(-2). Is u(r) a composite number?
False
Suppose -3*y - 4*s + 917 = -962, 2*y = -2*s + 1254. Is y composite?
True
Let i = -4440 - -7489. Is i a composite number?
False
Let g be 40/15*(-6)/(-8). Is (-942)/(-3) - (-5 - g*-1) a composite number?
False
Suppose 4*w = 2*s + 2990, -3740 = 3*w - 8*w + 3*s. Is w prime?
False
Let q(f) = f**3 + 4*f**2 - f + 3. Let g be q(2). Let s = 68 + g. Is s composite?
True
Suppose 0 = -0*q - q + 3. Let h(b) = 4*b**q - b + 7*b - b - 3*b + 1. Is h(3) a composite number?
True
Let d(o) = o**2 + 7*o + 8. Let p be d(-4). Let b be (14/(-4))/(2/p). Suppose 757 = 3*r - w, 2*w = -4*r + b*w + 1002. Is r a composite number?
True
Let i be (5/(-3) - -3)/(4/(-1182)). Is (i/4)/(14/(-196)) a prime number?
False
Suppose -8*w = -19*w. Suppose -3*g - 3*j + 3780 = 0, 5*g - g - 3*j - 5033 = w. Is g a prime number?
True
Suppose 2 = n + 1. Let r be n - (-1)/((-3)/(-6)). Is (-2)/r*-3 + 201 a composite number?
True
Let d = 1033 + 2317. Suppose -5*y + d = 5*y. Is y composite?
True
Suppose -h + 42861 = 4*h + 4*j, 3*h + 5*j = 25714. Is h a composite number?
False
Suppose -3*d + 15 = -309. Suppose 0 = -7*x + 12*x - 520. Suppose -r + x = 3*c - c, 0 = 2*c + 3*r - d. Is c a composite number?
True
Let q = 4806 - 128. Is q a composite number?
True
Let c = -1 + 3. Let u be (-25)/(-1*c/(-10)). Let j = 187 + u. Is j prime?
False
Let w(y) = y**2 - 16*y + 29. Let l be w(13). Let q(t) = -t**3 - 8*t**2 - 15*t - 43. Is q(l) a prime number?
True
Let w = -3119 - -1760. Let p = 3226 + w. Is p composite?
False
Let c be (7/14)/(((-7)/(-970))/7). Is 1*12*6/(120/c) a prime number?
False
Suppose 19*x = 44*x - 222475. Is x composite?
True
Let f(v) be the first derivative of -13/2*v**2 - 5*v + 2. Is f(-4) composite?
False
Suppose -144031 - 35831 = -6*k. Is k prime?
False
Let i(y) = y**3 - y**2 - y + 1. Let j be i(0). Let s = 1371 - 523. Is s/40 + j/(-5) a composite number?
True
Let l be (3 - (1 + 9))/((-1)/1115). Suppose 6*v = v + l. Is v prime?
False
Let o(z) = -2*z**3 - 2*z**2 + 19. Let q be (10 + -1)*(-14)/21. Is o(q) composite?
False
Suppose 4*c + 0*p - 2*p = 14, -8 = -c + 2*p. Suppose 4*m - 2092 = -c*x, 4*m - 1030 = 2*m + 3*x. Is m a prime number?