et z be b(u). Suppose z*k - 2*k - 175 = 0. Is k a prime number?
False
Let y be (-4)/(-18) - (-80)/45. Is -4*(y - 59) + -2 composite?
True
Let r be 1556/8 - (-3)/(-6). Is r - 0 - (4 + -1) composite?
False
Let y(z) = -z**3 + 7*z**2 - 6*z + 2. Let u be y(6). Suppose -u*v + 0*v = -838. Is v composite?
False
Let q(i) = 2*i - 1. Let r be q(-1). Is ((-23)/(-3))/(r/(-9)) a composite number?
False
Suppose -4*i + 3*i + 4 = 0. Suppose u + 3*v + 6 = 0, -3*v = -2*u + 2 + i. Suppose 0 = 2*k - u*k - 74. Is k a prime number?
True
Let a = -137 + 468. Is a a composite number?
False
Let w(t) = -27*t - 2. Is w(-3) prime?
True
Let f(o) = 3*o**2 + o - 1. Let m be f(1). Suppose m*r - 371 = 2*r. Is r composite?
True
Let h be (-3)/4 - (-1094)/8. Let n(f) = -f**3 - 5*f**2 + f - 8. Let d be n(-6). Is h/d + 6/(-33) a prime number?
False
Let n(f) = -23*f**2 + f - 2. Let d be n(-2). Let v = -17 - d. Is v composite?
False
Let x(o) = o**2 + 6*o - 4. Let k be x(-7). Suppose -2*w + 6 = 2*j - 5*w, k*j + w - 20 = 0. Suppose -2*m - 2 - j = -4*c, m - 11 = -c. Is m prime?
False
Let k(s) = -s**3 - 2*s**2 + 2*s + 2. Let x be k(-3). Suppose -141 = -x*j + 2*j. Is j a prime number?
True
Suppose 0 = 6*j - 2985 - 357. Is j prime?
True
Let w(v) = 2*v**2 + 9*v + 38. Is w(25) composite?
True
Let y = -223 + 320. Is y composite?
False
Let v = -147 - -338. Is v a prime number?
True
Let h be (1 + 9/(-6))*-28. Suppose -y - 77 - h = -4*b, 3*b - 66 = 3*y. Is b composite?
False
Let k(y) = -y**2 + 1. Let z(u) = 7*u**2 + u - 39. Let r(h) = -6*k(h) - z(h). Is r(0) composite?
True
Suppose -4*i + 3*m + 414 = 127, -i + 89 = 5*m. Is i a composite number?
True
Suppose 3*i + 3*f = 8*i - 2779, -4*i = 2*f - 2232. Is i a composite number?
False
Let n = -292 + 524. Suppose -r + n = r. Suppose -2*w + 2*q = -3*q - r, 0 = 5*q. Is w a composite number?
True
Let y(z) = z + 3. Let l be y(0). Suppose -1485 = -l*q + 1392. Is q a composite number?
True
Let d = 237 + -340. Let b = -57 - d. Is b a prime number?
False
Suppose 4*b - 3*u - 722 = 0, 3*b + u = 3*u + 541. Is b composite?
False
Suppose 0 = -0*n + 4*n. Let s(y) = y**3 - y + 1. Let x be s(n). Is (-380)/(-5) + 2 + x a composite number?
False
Let i be -2 + (2 - (-2 + 0)). Suppose v - 3*p - 7 = -v, -4 = -v + p. Suppose -i*l = -v*q - 81, -2*q + 117 = 4*l + 3*q. Is l prime?
False
Let r(s) = 32*s**2 - s + 1. Is r(-2) composite?
False
Let l = 534 - 179. Is l a prime number?
False
Let j(r) = 13*r**2 + 4*r + 1. Is j(-3) prime?
False
Let x(a) = -a**3 - 2*a**2 - 3*a - 3. Let f be x(-2). Suppose -4*h - 24 = -u - f*u, -4*u - 3*h + 31 = 0. Is -1 - u/((-14)/40) a composite number?
False
Let i(v) = -65*v - 50*v + 30*v. Let g be i(2). Is (-2 - (-6)/4)*g prime?
False
Is 5782/42*(4 + -1) prime?
False
Let h(j) = 9*j**2 - j - 1. Let a be h(-1). Let z be (-2 + 0)*a/(-6). Suppose 3*m = m - 4*l + 54, -3*m = -z*l - 63. Is m a composite number?
False
Is (-11198)/(-33) - 2/6 a composite number?
True
Let b = -7 + 6. Is (-342)/(-8) - b/4 a prime number?
True
Let r = -6 + 12. Let g be ((-8)/3)/(r/(-126)). Suppose -17 = -f - k, 2*k = -3*f - 0*k + g. Is f a composite number?
True
Suppose -r + 25 = -0*r - 4*a, -45 = -r - a. Let x be (-4)/26 + r/13. Suppose z + 130 = x*z. Is z a composite number?
True
Let l(m) be the first derivative of -m**3/3 - 3*m**2 + 5*m + 7. Is l(-5) a composite number?
True
Let l be (-4 - (-5)/1) + 12/2. Let x(c) = -4 + 3 - 4*c + 18*c. Is x(l) a prime number?
True
Suppose -3*o + 4*o + 486 = 5*b, -3*b = 5*o - 286. Is b composite?
False
Let p(i) = -i**3 + 4. Let g be (3 + (-6)/2)/2. Let c be p(g). Suppose -c*d + 4*w + 492 = 0, 119 = -d + 2*d + w. Is d composite?
True
Let i(c) = 13*c**2 + 17*c + 7. Is i(-9) a prime number?
True
Let o = 535 + -54. Is o composite?
True
Is 12/8*-107*-2 a composite number?
True
Let p(x) = -10*x - 2. Let t be p(3). Let n = 50 + t. Suppose n = -4*h + 206. Is h a prime number?
True
Let c = 332 - 205. Is c a composite number?
False
Let t(x) = -x - 4. Let h be t(-2). Let m(r) = -3*r - 2. Let y be m(h). Suppose y*i = 45 + 11. Is i prime?
False
Let b(c) = -27*c - 31. Is b(-12) prime?
True
Suppose g - 23 = -3*n - 0*n, -13 = -n - 3*g. Suppose -3*c + 0*d + 4*d - 11 = 0, -2*d + n = -c. Suppose c*s - 644 = -s. Is s composite?
True
Is (-376)/2*(-3)/6 a prime number?
False
Suppose -3*p = 2*t - 5, -4*t = 3*p + 1 - 14. Suppose -t*r - 592 = -4*g, -r = -2*g + 186 + 111. Is g a prime number?
True
Let q(f) = -140*f - 13. Is q(-7) composite?
False
Let j = 737 + -266. Is j composite?
True
Let l(f) = 2*f**2 + 0 + 2 - 6*f + 3*f. Let n be 5 + (2 + -2)/(-3). Is l(n) prime?
True
Suppose 13*x = 14*x - 79. Is x composite?
False
Let p(v) be the first derivative of -v**2/2 + 12*v - 4. Is p(5) a composite number?
False
Let k be 2/(-3)*(-1542)/4. Let b(c) = -2*c + 15. Let u be b(7). Is k + u - (1 - 2) a composite number?
True
Suppose -2364 = -4*b - 608. Is b a composite number?
False
Let w = 173 + 46. Let g = w + -152. Is g composite?
False
Let c = 3081 - 1822. Is c prime?
True
Suppose -2*o + 13 = z - 9, -o + 1 = -2*z. Is o prime?
False
Let d(i) = -i**2 - 7*i + 2. Let y be d(-7). Let a be (y/3)/(2/36). Let f = a + 41. Is f a composite number?
False
Let s be (5/3)/(4/60). Suppose 3*d = -2*j + 10, -d + 5*j = 2*d + s. Suppose d = y - 6 - 0. Is y prime?
False
Let t(p) = -p + 4 + 6 - 5. Let n be t(6). Is (n/(-2))/((-2)/(-40)) prime?
False
Let f = -7 + 12. Let z be (1 + -2)/(f/(-485)). Suppose 5*h - 103 = -3*r - r, -5*h - r = -z. Is h a composite number?
False
Suppose -p - 4*p - 2*j = 0, 3*p = 3*j + 21. Suppose -24 = -p*x - 5*y, -y = -5*x - 4*y + 22. Suppose x*b + 15 = 41. Is b a composite number?
False
Let g be 2/5 - 8/(-5). Let y be g/(-6) - 44/12. Is 37 - (1 + 1 + y) composite?
True
Suppose -j + 251 + 3479 = 3*k, -4*k + j + 4971 = 0. Is k prime?
False
Let r be 4*1/(-2)*-49. Let l be (-4)/(-14) - 60/(-35). Suppose -2*f - r = -3*z, -l*z + 4*f - 24 + 84 = 0. Is z composite?
True
Is (3342/(-8))/((-30)/40) prime?
True
Let v(d) = 18*d + 0*d**2 - d**2 + 10 - 27. Is v(12) a prime number?
False
Let q(z) = 38*z - 12. Is q(7) composite?
True
Suppose 4*a + 3*n - 5272 = 0, 3*a = 4*n + 2349 + 1580. Suppose 20 = -4*o, -2*o = -0*c - 5*c + a. Suppose -5*f = 76 - c. Is f composite?
False
Suppose 2*f + 180 = -3*f. Is (2 + f/(-8))*2 prime?
True
Suppose 0 = -2*k + 2*m - m + 9, 0 = -4*k + 5*m + 33. Suppose -3*z - 2*t + 241 = k*t, 3*t + 276 = 3*z. Is z a prime number?
False
Let h = 14 + 5. Is h a composite number?
False
Is (-1)/(-5) - 512/20*-8 a prime number?
False
Let k(v) = 3*v - 14. Let l(p) = -2*p + 13. Let h(w) = 3*k(w) + 4*l(w). Let y be h(-6). Suppose -2*c + 4*c = y. Is c a composite number?
False
Is (-5)/(-10) + (-4218)/(-4) a composite number?
True
Is (5099/(-3))/(1/(-3)) - 0 composite?
False
Let o(i) = i**3 + 8*i**2 - 5*i + 13. Is o(-8) a composite number?
False
Suppose 414 = 3*y - 5*g - 149, 384 = 2*y + g. Is y a composite number?
False
Suppose 3*o - 5*r = 27, o = 3*o + 5*r + 7. Suppose -14 = d + o*d + 2*g, -2*d = 5*g + 14. Is 2454/12 + d/(-4) prime?
False
Let z = -119 + 168. Suppose -d + z + 6 = 0. Is d a composite number?
True
Let p(j) be the third derivative of -25*j**4/24 + j**3/6 - 3*j**2. Is p(-1) a composite number?
True
Let a = 376 + 211. Is a prime?
True
Let x(r) = 5*r**2 - 8*r + 17. Let y(v) = 3*v**2 - 5*v + 11. Let d be (-1 - -4) + (-2)/(-1). Let z(g) = d*x(g) - 8*y(g). Is z(3) a composite number?
True
Let c = -85 + 46. Let b = 680 + c. Is b a composite number?
False
Let l(x) = -78*x - 8. Let h be l(-6). Is h/45 + (-2)/9 prime?
False
Let k = 8 + -12. Let j(q) = -q**3 - 3*q**2 + 4*q. Let b be j(k). Suppose b = -3*v - 0*v + 57. Is v a prime number?
True
Is 90 - (3 + (4 - 6)) a composite number?
False
Suppose -u + 3 = 4. Let p = u + 4. Suppose -2 = -x + p*a + 15, 0 = 3*a - 6. Is x a composite number?
False
Let c = 11 + -9. Suppose -c*x + 166 = -0*x. Is x prime?
True
Let d(i) = -20*i - 3. Let b(f) be the first derivative of 13*f**2/2 + 2*f - 1. Let t(s) = 7*b(s) + 5*d(s). Is t(-3) a composite number?
True
Let y(s) = s + 4. Let h be y(-5). Let j(u) = -145*u**3 + u**2 - 1. Is j(h) a composite number?
True
Let b be (0 + -1)/((-1)/7). Suppose -6 = -0*p - 2*p. Suppose 0 = c - p - b. Is c composite?
True
Suppose -4*d = -5*d + 28. Let x = d + 31. Is x a composite number?
False
Suppose -4*s