5*o. Let b be ((-6)/(-5))/((-10)/o). Is (4 - b)/((-1)/(-39)) a prime number?
False
Is (27*28 + 2)/2 a prime number?
True
Suppose -3*l + 322 + 473 = 0. Is l a composite number?
True
Is (207/15)/((-2)/(-10)) composite?
True
Suppose 0 = -3*a - 12, -454 = -4*j - 2*a + 806. Is j a composite number?
False
Let f(n) = n**3 + 12*n**2 - 4*n - 7. Let z be f(-7). Suppose -3*d + 496 + z = 0. Is d prime?
False
Suppose -k - 4 = -w - 1, 3*w + 2*k - 9 = 0. Is ((-6)/w)/((-4)/226) a composite number?
False
Let q(n) = -n**2 - 5*n - 1. Let x be q(-3). Let k be (4/(-5))/(x/25). Is k/(-12) - (-202)/6 prime?
False
Let i be (-700)/(-6) - (-1)/3. Suppose i - 17 = 4*q. Is q a composite number?
True
Let m(c) = 12*c**2 + 2*c. Suppose -3*x + 1 - 10 = 0. Let l be m(x). Suppose -4 - l = -2*t. Is t prime?
True
Let i(p) = -32*p**3 + 6*p**2 + 5*p + 5. Let f(j) = 11*j**3 - 2*j**2 - 2*j - 2. Let u(a) = 17*f(a) + 6*i(a). Is u(-3) a prime number?
False
Let f(h) = -14*h - 13. Suppose 4*a - 2*a - 3*u - 36 = 0, 36 = 2*a - 2*u. Suppose 0 = 2*i + a. Is f(i) a composite number?
False
Let g(q) = -q**3 - 17*q**2 - 15*q + 15. Let x be g(-15). Let m = x - -329. Is m a composite number?
True
Suppose -2*m + 3 + 6 = 3*j, 0 = 5*j - 3*m - 34. Suppose -2*o - 201 = -j*o. Is o a prime number?
True
Suppose -1176 = 5*l + 199. Let f be 1 - 0/(-1) - l. Suppose k + f = 5*k. Is k prime?
False
Let w = 11 + -4. Let z be (-2)/w + 1112/(-28). Let g = 73 + z. Is g composite?
True
Let z(v) = -v**3 + 7*v**2 - 6*v - 7. Let s be z(6). Let h(o) = -o - 2. Let b be h(s). Suppose -74 - 81 = -b*u. Is u prime?
True
Let u(l) = 2*l**2 - 11*l + 6. Suppose 2*f = 20 + 2. Is u(f) prime?
True
Let c(a) = -a**3 - 2*a**2 + 2*a + 1. Let r be c(-3). Suppose 6*d - 331 = 2*d - 5*y, r*y - 12 = 0. Is d a prime number?
True
Suppose -3*x + 15 = 2*x. Suppose -x*a + 8 = a. Is a prime?
True
Let f(c) = c**2 - 5*c + 1. Suppose -2*n = 4*o - 28, 24 = 5*o - 5*n + 2*n. Is f(o) prime?
True
Let h be (0/(-1))/(1 - 0). Suppose -2*l - 5*x = -488 - 106, 3*l + x - 917 = h. Is l prime?
True
Let j(l) = -15*l**2 + 5*l - 4. Let z(w) = w - 1. Let k(b) = -j(b) + 5*z(b). Let y be (-9)/6*(-4)/6. Is k(y) composite?
True
Let l = 1367 + -810. Is l a composite number?
False
Suppose 3*o - 36 + 6 = 0. Is o a composite number?
True
Let h = 2 + -3. Let b = h + 1. Suppose b*q = 2*q - 94. Is q composite?
False
Is (1 + -67)*(-1)/2 a composite number?
True
Suppose 7*t - 1101 = 4*t. Is t composite?
False
Suppose c = 2*x + 2*c - 68, 0 = c - 2. Is x prime?
False
Suppose 2 = 2*t - n, -2*t - 3*n + 2 = -0. Let j be 26 + t + (3 - 2). Suppose -j = 3*d - 169. Is d composite?
False
Let d be 0 + -1 + (66 - -6). Let l = 402 - d. Is l composite?
False
Let s(g) = -g + 9. Let w be s(10). Let v be (-116 - w)*(2 + -3). Suppose 0 = 4*u - v - 33. Is u a prime number?
True
Let z = 0 - -2. Suppose -n - 28 = z. Let j = 67 + n. Is j composite?
False
Suppose 0*v - 4*v + 12 = 0, 0 = -3*f - v + 996. Is f composite?
False
Let b = 23 - -110. Is b composite?
True
Let g = 3675 - 1733. Let a = g - -132. Is 4/(-18) + a/18 a prime number?
False
Let p(d) = d - 6. Let g be p(0). Let l be (-3)/g + 14/(-4). Is ((-74)/l)/((-4)/(-6)) a prime number?
True
Let y(a) = -a**3 + 4*a**2 + a + 2. Let c be y(4). Let r(d) = 4*d - 3. Is r(c) prime?
False
Suppose 6*l = 1795 + 2513. Is l prime?
False
Is (-34)/(3*(-12)/90) prime?
False
Let o(b) = -52*b + 46. Is o(-9) prime?
False
Let s(v) = -114*v**3 + 2*v**2 - 4*v + 1. Is s(-3) composite?
False
Suppose -3*u - 7 = -2*t + 4, -3*u + 19 = t. Is t/4*(-11 - -33) composite?
True
Suppose 3*r - 2*r - 18 = 0. Let l(y) = -8 + r + 3 + y**2. Is l(0) a prime number?
True
Let v(a) = 29*a**2 - 3*a - 3. Let m be v(-2). Suppose 0 = -5*w + 3*u + 7 + 552, -m = -w - 3*u. Is w a prime number?
True
Let v(x) = x**2 + 8*x + 6. Let p be v(-7). Is -3 - -4*(p + 170) a composite number?
False
Suppose -294 = -3*o + 243. Is o composite?
False
Let d(p) = p**3 - 2*p**2 + p. Let m = 2 + 0. Let j be d(m). Suppose -j*h = -3*h + 33. Is h a composite number?
True
Suppose -4*u + 2053 - 100 = 5*c, c - 2436 = -5*u. Is u a prime number?
True
Let t(b) = 142*b + 9. Is t(2) composite?
False
Let j = 83 + -57. Is (j - -2) + (-6 - -4) prime?
False
Let k(l) = -l**2 - 4*l + 2. Let a be k(-4). Let g(j) = 3*j**2 - 2*j - 1. Is g(a) composite?
False
Let f = 737 - 106. Is f a composite number?
False
Suppose 2*x = x. Let h(r) = -7*r**3 + 7*r**2 + 7*r + 93. Let k(c) = c**3 - c**2 - c - 1. Let p(v) = h(v) + 6*k(v). Is p(x) composite?
True
Let d(y) be the first derivative of -7*y**2/2 - 7*y - 1. Let f be d(-9). Suppose 2*r + f = 6*r. Is r a composite number?
True
Suppose -v + 2*v = 2. Suppose -v*h - 2*h - 60 = 0. Let g = h + 72. Is g composite?
True
Let q(j) = -11*j - 13. Is q(-4) a prime number?
True
Let m(g) = 4*g**3 + g**2 + 1. Let z(l) = -12*l**3 + l + 1. Let x be z(-1). Suppose -3*v - 8 = -y, 2*y + 2*y - 2*v = x. Is m(y) a composite number?
False
Let g = -1119 + 3862. Is g composite?
True
Suppose 5*v + 18897 = 3*b, 4*v - 15069 = -5*b + 16426. Is b a composite number?
False
Suppose 5*h + 3*n = 204 + 26, -h + 2*n + 59 = 0. Suppose 2*d - 2*q - 2*q - 40 = 0, -2*d - 5*q + h = 0. Is d composite?
True
Let m be (-3)/((-6)/4 - 0). Suppose -3 = -2*v - y - m, -5*v = 5*y - 5. Suppose v = 3*k - 2*t - 146, -3*t - 17 + 5 = 0. Is k prime?
False
Suppose -2*h + 0*r + 26 = 4*r, -2*r = -10. Let g be (-4)/(0 - -1) + h. Let t(n) = -2*n. Is t(g) composite?
False
Suppose -4*h - y = -7, 0*h + 2*y + 12 = 5*h. Let d be (-2 + h)*4/8. Suppose d = -4*p + 63 + 37. Is p a prime number?
False
Suppose -w + 440 = 2*w + l, -3*w + 455 = 4*l. Is w a composite number?
True
Let a = -52 - -359. Is a composite?
False
Let v = 5 + -3. Suppose 4*a - 84 = v*a. Let c = 67 - a. Is c a composite number?
True
Suppose -2*o + 4 + 4 = 0. Suppose -3*s + 283 = -2*w, s + o*w - 105 = 2*w. Is s composite?
False
Is (7414/33)/(4/6) prime?
True
Let i = 1 + 1. Suppose i*b = 4*b - 298. Is b prime?
True
Let u = 5 - 3. Let r = u - -1. Suppose 0*x - r*x = -111. Is x prime?
True
Let s be -1*(-1 + 1) + 3. Suppose -15 = -s*q - 3. Let t(v) = v**2 - v + 3. Is t(q) a composite number?
True
Suppose 0 = f + h - 2*h - 770, 5*h = f - 774. Is f a prime number?
True
Let g be 10960/25 + 2/(-5). Let w(c) = -33*c - 11. Let n be w(-8). Let b = g - n. Is b prime?
False
Suppose u = -4*u + 25. Suppose 6*y - 2*y - 4*n = 20, 3*n = u*y - 19. Suppose 2*h - 48 = 2*v, 15 = -y*h - v + 60. Is h a composite number?
False
Let y = -11 + 11. Is 921/(-12)*(-4 + y) a prime number?
True
Let m(q) = -q**3 + 15*q**2 - 13*q + 9. Is m(8) a prime number?
True
Suppose 0 = 19*j - 17*j - 398. Is j prime?
True
Let j(b) = 86*b**3 - 2*b**2 - 1. Is j(2) prime?
False
Let n be (-32)/(-8)*8/2. Suppose -s - t = 0, 5*t + 4 = 5*s - n. Suppose s*k + 8 - 50 = 0. Is k composite?
True
Let f(k) be the second derivative of 5*k**4/6 - k**3/6 - k**2/2 - k. Suppose d + 2*t + 4 = 3*d, -3*t - 7 = -2*d. Is f(d) prime?
False
Suppose 6*l = -2*l + 26824. Is l prime?
False
Let f = 1440 + -601. Is f prime?
True
Let a = 89 - 45. Suppose -3*n = -1 - a. Is n composite?
True
Let r(d) = 2*d**2 + 15*d. Let w be r(-10). Let n = 7 + w. Suppose 2*g = -g + n. Is g prime?
True
Suppose 4*f = x - 115, 3*f = 4*x - 452 - 47. Is x a composite number?
False
Let w(m) = -3*m + 0*m - 5*m + 5 - 2*m. Is w(-5) prime?
False
Let q = -138 - -437. Is q a prime number?
False
Suppose -5*s - 5*b - 1445 = 0, 0 = -5*s - b - 1491 + 62. Is (-3)/(-6) + s/(-2) prime?
False
Let p(f) be the second derivative of f**3/6 + 6*f**2 - 3*f. Let n be p(-10). Suppose -s - 77 = -n*s. Is s prime?
False
Suppose 0 = a - 2 - 7. Suppose -92 = 5*d - a*d. Is d a composite number?
False
Let d(b) = 67*b**2 - 9*b + 3. Is d(7) prime?
False
Suppose -3*f - 3*l + 219 = 0, 0*l - l - 149 = -2*f. Let k be ((-110)/(-3))/((-2)/(-9)). Let a = k - f. Is a prime?
False
Let i(u) = 2*u - 7. Suppose 3 = 2*z - 7. Let h be i(z). Suppose -4*t - b = -86, -4*t = -5*t - h*b + 27. Is t prime?
False
Let x be (-9)/3*(-1 - 0). Suppose 0*d = -x*d + 657. Suppose y + d = 4*i, i + 0*i - 5*y = 50. Is i composite?
True
Let h = -1 + 11. Is (2*-79)/(h/(-5)) a prime number?
True
Suppose 0 = w + c + 1, 0 = 4*w + 2*c. Let x be (203 + 0 - -1)*w. Suppose 91 = 5*a - x. Is a prime?
True
Let y(g) = -145*g + 27. Is y(-7) a prime number?
False
Is (-10)/6