ppose -f = 5*w - 5*f - z, f = -3*w + 73. Is w a composite number?
True
Let u(m) = -m - 7. Let j be u(-13). Let l(q) = q + 4. Is l(j) a prime number?
False
Suppose -2 = 3*u - 2*u. Let n be u/7 - (-37)/7. Suppose n*k - 30 = -0. Is k a composite number?
True
Let q = -1 - -18. Let n(l) = -11*l**3 - 2*l**2 + l. Let g be n(-2). Let w = g + q. Is w a composite number?
True
Suppose 5*o + 244 = 4. Let c(r) = -r**3 - 5*r**2 + 8*r + 1. Let z be c(-6). Let d = z - o. Is d a prime number?
True
Let y = -723 + 1370. Is y prime?
True
Let c = 231 + 17. Let q = c - 163. Is q a composite number?
True
Suppose 2*a = 6*a - 2052. Let k = -226 + a. Is k composite?
True
Let l = 21 + -12. Let x be ((-3)/l)/((-2)/258). Suppose 2*i + 0*f - 118 = -2*f, 0 = i - 3*f - x. Is i prime?
False
Let m(h) = h + h - 2*h + 2*h. Suppose -6*u = -3*w - 2*u + 14, u - 6 = -4*w. Is m(w) prime?
False
Let x(j) = -58*j - 21. Is x(-16) a composite number?
False
Let y = 397 + -186. Is y a composite number?
False
Let a(g) be the first derivative of g**4/4 - g**2/2 + 47*g - 3. Is a(0) composite?
False
Let y(u) = -34*u**3 + 2*u**2 - 4*u - 1. Let d(z) = 68*z**3 - 4*z**2 + 7*z + 2. Let f(t) = 4*d(t) + 7*y(t). Is f(1) a composite number?
True
Suppose -4*x + 2490 = w, 0 = x + 2*w - 3*w - 625. Is x composite?
True
Let y(o) = -56*o - 15. Is y(-5) a prime number?
False
Suppose 0 = -w - m - 3*m - 2, 3*m = -5*w + 7. Is (-1)/(-2)*(w + 116) composite?
False
Let f(a) = a**3 + 24*a**2 + 28*a - 22. Is f(-21) a prime number?
False
Let i(s) = -117*s - 10. Is i(-9) prime?
False
Let v = -51 - -30. Let c be 1/4 + v/(-12). Is (78/8 - c)*4 composite?
False
Suppose 2*d - 2712 = -2*d + 2*l, 5*d + l - 3397 = 0. Is d prime?
False
Let v be 5/10 - 891/(-6). Suppose 3*o + m = -m + v, o + m = 48. Is o composite?
False
Suppose -4*x + 7*x = 1467. Is x a prime number?
False
Suppose 5*z - d = 2*z + 1040, -3*z = -4*d - 1037. Is z prime?
True
Let j(m) = m**3 + 3*m**2 - 2*m + 2. Let d be j(-4). Is (4/d)/(12/(-2610)) composite?
True
Suppose -4*b - 19 - 29 = 0. Let h = 17 + b. Suppose -g + 426 = 5*u, u - h*g + 20 = 100. Is u a prime number?
False
Let g be (-198)/(-5) + (-4)/(-10). Suppose -n - 50 = -5*u, -2*u + g = 2*u + 5*n. Is u a composite number?
True
Suppose 4*z = -0*z - 2*n + 222, 0 = -3*z + n + 154. Is z prime?
True
Suppose 4 = 3*r - 11. Suppose 97 - 2 = r*j. Is j composite?
False
Suppose -34 - 22 = -4*c. Is c a composite number?
True
Let g = 35 - -10. Suppose -c + g = 2*c. Is (-5)/(c/(-6)) + 47 a composite number?
True
Let z(i) = i**3 + 3*i**2 - 4*i + 1. Let w be z(-4). Let x be 10*1*11/w. Suppose -5*b - 5*f + 285 = x, 2*f = 3*b - 85. Is b a prime number?
True
Let p = 91 + 374. Suppose -m - p = -4*m. Is m prime?
False
Let t = -3 + 4. Let z be (t - 1) + 10 + -5. Suppose 2*n - 102 = -5*c + c, -3*c = z*n - 269. Is n a prime number?
False
Is (-2)/(-9) + (-64441)/(-117) composite?
True
Suppose -2*v + 1097 = 3*o - 0*v, -1458 = -4*o - 5*v. Suppose 0 = 2*b - 3*b + o. Is b prime?
True
Let p(d) = -39*d**3 + 2*d**2 + 4*d + 2. Is p(-3) prime?
True
Suppose k = -2*k + 15. Let h(o) = o + 2. Let m be h(k). Suppose m*v - 4*v - 4*w - 155 = 0, 4*v - 204 = 4*w. Is v a composite number?
True
Suppose -24 = -d + 3*d. Let v = 33 + d. Is v composite?
True
Let p(q) = 16*q**2 - q. Let x be p(-1). Let m = 230 + x. Is m a prime number?
False
Suppose 0 = 6*i - 3*i. Suppose i = -5*q - 23 + 198. Is q composite?
True
Suppose -7*t + 78 = -5*t. Is t composite?
True
Suppose -29 = 5*j + 16. Let n(p) = p**2 + 2*p - 4. Is n(j) composite?
False
Let h(b) = 4 - 7 - 2 + 42*b. Is h(4) a prime number?
True
Suppose 5 = -4*q + 5*q. Suppose 20 = -3*h - h. Let w = q - h. Is w prime?
False
Let i(j) = -j**3 + 6*j**2 + 7*j - 5. Let w be i(7). Let g = w + 3. Is (-114 + 1)/(g - -1) prime?
True
Suppose 4*r + 9*y = 4*y + 591, 302 = 2*r - 4*y. Is r prime?
True
Let h(w) = -w**2 + 2*w - 4. Let d be h(6). Is 150/14 - 8/d a composite number?
False
Is (-6725)/(-10) - 1/(-2) a prime number?
True
Let h(u) = 13*u + 3*u**3 - 2 - 11*u**2 - u**3 - u**3. Is h(11) prime?
False
Let g = -2438 - -3475. Is g prime?
False
Suppose 0 = 4*o - 89 + 25. Suppose m - 2 = y, -3*m - 3*y = -8*m + o. Suppose m*s - 307 = -4*z - 0*z, -4*s + 248 = 4*z. Is s a prime number?
True
Let l = -76 - -203. Is l a composite number?
False
Let w(i) = i + 185. Is w(0) prime?
False
Let q = -2 + 4. Let h be q/(-10) - (-21)/5. Suppose 3*o + 3*c - 5*c = 103, -5*o - h*c = -135. Is o composite?
False
Let a(l) = l**2 + l + 37. Suppose -2 = 4*k + f + 2, 3*k - 3*f - 12 = 0. Let d be 0/((-1)/(k - -1)). Is a(d) composite?
False
Suppose -p + 481 + 800 = 5*q, 5*q - 1265 = -5*p. Is q a composite number?
False
Suppose 10 + 161 = 3*a. Suppose 0 = 4*h + h - 460. Let x = h + a. Is x a composite number?
False
Suppose -20 - 8 = 4*x. Let r(g) = -2*g. Is r(x) prime?
False
Suppose -2*c + 0 = -6. Is 77 - (-2)/(-2)*c a composite number?
True
Let a be 2/((-2 + 1)*-1). Suppose a*k - 3 = 5*h + 32, 2*k = -5*h - 15. Suppose -k*y + 4*n = -277, 6*y - 2*n - 218 = 2*y. Is y prime?
True
Let y be (-6)/1 - (-1 - 1). Let k be 3 - 1 - (y - -6). Is 5/((-10)/(-42)) - k composite?
True
Suppose 4*y + 171 = 7*y. Let p = -4 + y. Is p composite?
False
Suppose -16*v = -21*v + 3970. Is v a prime number?
False
Suppose -328 = -4*d - 4*v + 2*v, -4*d + 326 = 3*v. Is d prime?
True
Let b(y) = -5*y**3 - 2*y**2 + 1. Let a be b(-1). Suppose 3*f - 100 = 2*z + 67, -4*f = a*z - 256. Is f a composite number?
False
Suppose 9 = 4*h - h. Suppose -n = -0*n - 4*a - 68, h*n - 220 = 4*a. Is n/3 + (-1)/3 a composite number?
True
Is ((-15)/15)/((-3)/2382) prime?
False
Let v(u) = -u**2 - 2*u + 2. Let l be v(-3). Let t be (-2 - -7)*l*-1. Suppose -t*q + 476 = -q. Is q a composite number?
True
Let q(u) = -u - 1. Let t be q(-3). Suppose -3*n = 3*d + 6, 4*n - 5*n + t*d = -10. Suppose -n*l = -3*b + 23, 5*b - 4*l + l = 40. Is b prime?
True
Let k = 546 + -219. Is k a prime number?
False
Suppose g = 2*g, 4*a + g - 20204 = 0. Is a a prime number?
True
Is (2/3)/((-4)/(-834)) a composite number?
False
Suppose 2*l - 11 - 6 = 3*w, -w + 85 = 5*l. Is (2 - 1) + l + 2 prime?
True
Is 2/13 + 21717/39 a prime number?
True
Suppose 3*x + 5*l - 187 = -x, 0 = 5*x - 5*l - 290. Is x a composite number?
False
Suppose -a - 755 = 4*a. Let y(i) = 17*i**3 - 1. Let h be y(-1). Let k = h - a. Is k composite?
True
Suppose -2*c - c + 3 = 0. Is c/(2/(-268)*-2) composite?
False
Let a = -8 + 6. Is (2 - 1)*a - -213 composite?
False
Let j = 83 - 41. Let v = j + -23. Is v a composite number?
False
Let b(l) = -21*l + 8. Let r be b(-11). Suppose 0 = 5*j - 874 + r. Is j a prime number?
True
Let d(p) = 13*p**2 + 3*p + 1. Let o be 1 + (-3)/3 + 1. Suppose -4*m + o = -11. Is d(m) a composite number?
False
Let f(r) = 207*r**2 + 3*r - 1. Is f(-2) a prime number?
True
Let k be 6/(-27) + (-112)/(-18). Let s(q) = -q**3 + 6*q**2 + 15*q - 3. Is s(k) composite?
True
Suppose -4*w + 71 = -121. Let y be (w/(-10))/((-10)/(-125)). Let h = y - -109. Is h a prime number?
False
Let k(j) = -j**2 + 11*j + 7. Suppose 32 = 9*l - 5*l. Is k(l) composite?
False
Let j = -713 - -1044. Is j composite?
False
Let k(r) = r**3 - 6*r**2 + 5*r - 10. Is k(7) composite?
True
Suppose -m = -6*m. Suppose m*c = -2*c. Let p(v) = v**3 + v**2 + v + 19. Is p(c) a prime number?
True
Let u = -1711 - -1125. Let i be ((-2)/(-2))/((-2)/u). Suppose -3*k - 2*k = -3*z - 470, -3*k + i = -4*z. Is k a composite number?
True
Let p(j) be the third derivative of -j**5/60 + 5*j**4/8 - j**3/6 - j**2. Let i = 18 + -12. Is p(i) a composite number?
False
Suppose 0 = 3*z + 5*w - 113, w - 34 - 94 = -4*z. Is z prime?
True
Let l(o) = o + 13. Suppose 2*p + 18 = 5*p. Is l(p) a composite number?
False
Suppose 0 = -4*b + 379 + 609. Is b prime?
False
Let u(b) = 49*b - 4. Let s be u(8). Let v = 755 - s. Is v composite?
False
Let q = -88 + 191. Is q prime?
True
Let l(n) = -n**2 - 8*n - 8. Let i(a) = -a**2 - 1. Let h(p) = -3*i(p) + l(p). Is h(6) a prime number?
True
Let f = 8 + -8. Suppose f = -3*j + 2*j + 82. Is j composite?
True
Let c(s) = -s**3 - 6*s**2 - s - 4. Let q be c(-6). Let l be 0*q/(-4)*-1. Let b = 6 + l. Is b composite?
True
Let f = 213 - 373. Let i = f + 229. Let m = i + -32. Is m prime?
True
Is ((51 + 1)/(34/187))/2 a composite number?
True
Suppose 7*t - 6*t = 149. Is t composite?
False
Let g = -