pose 0 = -3*k + 103 + 74. Is k a composite number?
False
Suppose 2*n - 8 = -42. Let m = 22 - n. Is m a prime number?
False
Is ((-639)/15)/((-8)/40) prime?
False
Let g be (-51)/(-6)*132/(-2). Is (-2)/5 - g/15 prime?
True
Suppose -6*j + j = 0. Suppose j = -2*m - 2*m + 16. Let v = m + -1. Is v a composite number?
False
Is ((-17780)/(-30))/(2/3) a prime number?
False
Suppose 4*c - 5*g = 83, -3 = 4*g + 9. Suppose -2*w + 42 = 4*n, -w = n - c + 4. Is (-214)/(-4) - (-12)/n a composite number?
True
Suppose -6*h + 18*h - 55452 = 0. Is h composite?
False
Let s be 4/14 - 192/(-14). Suppose -2*w = -2*f - f + s, 6 = 2*f - 3*w. Is f a composite number?
True
Let j(u) = u**3 + 8*u**2 + 7*u + 6. Is j(-7) composite?
True
Let u be (-2)/(-4)*1*64. Let y be (-12)/(-9)*15/(-2). Let d = u + y. Is d prime?
False
Let y = 84 + -233. Let r = -34 - y. Is r a prime number?
False
Let q(v) be the second derivative of 473*v**4/12 + v. Let y be q(-1). Suppose 523 = 4*m + 3*u, -y = -3*m + 4*u - 112. Is m a prime number?
True
Suppose -q = -v - v + 123, 5*v - 309 = 4*q. Let f(d) = 6*d**2 + d - 1. Let h be f(1). Is 3/(-18) + v/h composite?
True
Suppose -4*f = 8, 3*d - 31 = -2*f + 19. Let z be (-9)/(1*1/2). Is 4/z - (-1030)/d composite?
True
Suppose 0 = 4*u + 3*k - 3, 2*u - 3 = -0*u - k. Is -3*(u + 0 - 20) a prime number?
False
Suppose 4*n - 229 = 935. Is n composite?
True
Suppose 2*c = -28 - 0. Is (-110)/(-6) - c/21 a prime number?
True
Suppose -3*x - 268 - 257 = 0. Let w = 308 + x. Is w a composite number?
True
Is 21/105 - 7428/(-10) prime?
True
Let g be 6/8 + 26/8. Suppose -2*y + 4*y - 532 = -g*c, y = 3*c + 271. Suppose i - y = -3*i. Is i a composite number?
False
Let m(b) = -26*b**3 - 2*b**2 + 1. Suppose 2*l - 4*k - 18 = 0, 3*l - 7*l + 2*k + 6 = 0. Is m(l) prime?
False
Suppose 3*a + 16 = 2*v, a = -4*v + 2*v. Let t = 6 - v. Suppose t*w - y - 1337 = 0, -w - 2*w - 4*y = -1017. Is w a prime number?
False
Let h(j) = 11*j**3 + j**2 + 3*j + 13. Is h(4) composite?
True
Let c = -17 + 498. Is c composite?
True
Let q(t) = 3*t**2 + 2*t - 2*t**2 - 1 + 0*t - 4*t**3. Suppose 3*s + 0*s = -12. Is q(s) prime?
True
Suppose -4*z - z + 3948 = -k, -4*z - k = -3153. Is z composite?
True
Let w(z) = 3*z - 7. Let v be w(3). Suppose 0*s + v*s = 4*u - 488, 5*u + s - 603 = 0. Is u prime?
False
Let f(b) = -58*b - 79. Is f(-11) a composite number?
True
Suppose 0 = -2*g - 2*g. Suppose g = -5*c - 0*c + 175. Is c prime?
False
Let k(j) = j**2 - 4*j - 3. Let i(u) = -u**2 + 4*u + 4. Let y(s) = -3*i(s) - 2*k(s). Is y(-5) prime?
False
Let h be 1/(1 - (-8)/(-10)). Suppose 4*w - 3*k - 24 = 0, 2*k + 8 = w - 3. Suppose h*s + 10 = 5*n + 175, -w*n = 2*s - 66. Is s composite?
True
Let w = -171 - -625. Is w prime?
False
Let a(t) = -t**3 + 5*t**2 + t + 4. Let g be a(5). Is g/12 - (-3890)/8 prime?
True
Suppose a = -5*i - 21, 0*i - 5*i - 37 = -3*a. Suppose 5*g - 14 = g + j, 3*g + a*j - 20 = 0. Suppose g*o - 66 = o. Is o prime?
False
Let z = 3 + -1. Suppose 0 = -5*c - z*h + 271, -137 = -2*c - 3*h - 22. Is c a composite number?
False
Suppose 0*h - 10 = -5*h. Let x be -3 + 1 + h + 3. Suppose 2*n + 13 = x*n. Is n composite?
False
Let s = -962 + 1503. Is s a composite number?
False
Suppose -4*x - 2*c = -208, -5*x + 4*c - 257 = -10*x. Is x a prime number?
True
Let t = -1140 + 1827. Suppose -5*a = -t + 157. Is a a composite number?
True
Is 230*13/6 - 4/(-6) a composite number?
False
Suppose s + 3*s - 1202 = -5*m, s - 299 = -2*m. Is s prime?
False
Suppose -5*l + 489 = -2*l. Is l a composite number?
False
Suppose o = 70 + 133. Suppose 844 = 5*q - 736. Let c = q - o. Is c composite?
False
Let u = 5 + 0. Suppose 182 + 3 = u*i. Is i a composite number?
False
Suppose 3*y = -4*c + 36, 4*y + 5*c - 38 = 9. Let n(z) = 11*z + 7. Let g(d) = -d + 1. Let l(i) = 4*g(i) + n(i). Is l(y) a composite number?
False
Let v be (-1677)/(-5) + 8/(-20). Is v - (-1 - (-1 - 0)) composite?
True
Let s(x) = 5*x + 1. Let b be s(2). Let o(z) = -b + 2 - 2*z - 2*z. Is o(-6) prime?
False
Suppose z - 402 = r - 97, 5*r = -4*z + 1202. Is z composite?
True
Is 10/5 + 396 - -3 prime?
True
Let u = 6745 + -3074. Is u composite?
False
Let u(w) = w**2 - 10*w + 4. Let o be u(10). Let d = 0 + o. Suppose -5*a + 268 = -3*b, d*b - 2 + 6 = 0. Is a composite?
False
Let j = 1738 - -689. Is j a prime number?
False
Let c(u) = u. Let b be c(4). Suppose b*w + 7*m - 363 = 2*m, -505 = -5*w + 4*m. Is w prime?
True
Suppose 0 = -4*l + 4, -3*u - 5*l = -l - 3469. Let x = u - 816. Is x composite?
True
Suppose 0 = t - 1 - 3. Let u = -65 + 124. Suppose 3*j - t*j = -u. Is j composite?
False
Let p = 22 + -58. Is p/(-12) - (-1 - 53) composite?
True
Suppose 2*h - 4 = 4. Suppose -2*n = -4*k - 10, -3*k - 20 = -0*k - h*n. Suppose k = 2*s + 4*d + 8, 3*d + 13 = 3*s - 20. Is s a prime number?
False
Suppose 3*k + 5*q - 7 = 0, 0 = k + 2*k - 5*q - 17. Suppose k*f = 3*f + 3. Is (7 + -9)/((-2)/f) a prime number?
True
Suppose -2*m + 774 = m + 5*n, 2*n + 6 = 0. Is m composite?
False
Suppose 4*r - 314 = 2*r. Is r composite?
False
Let g = 2 + 0. Suppose -g*a - 70 = -7*a. Is a a composite number?
True
Suppose -2*h + 217 + 199 = -v, 8 = -2*v. Suppose 14 = 4*t - h. Is t prime?
False
Let s(n) = -n**3 + n**2 + n - 4. Let k(c) = c**2 + c - 4. Let z(y) = -2*k(y) + 3*s(y). Is z(-3) prime?
True
Suppose -5*r = 5*w - 695, -2*r - 709 = -5*w - 0*w. Suppose -5*h + w = -2*h. Is h a composite number?
False
Suppose -j + 2136 = 4*c, -2*c + 393 + 693 = -4*j. Is c a composite number?
True
Let x(i) = -i**3 - 10*i**2 + 38*i - 11. Is x(-16) composite?
True
Let g(u) = u**3 + 11*u**2 + 7*u + 4. Let b be g(-8). Suppose -v + 50 = -3*n, -2*v - n = v - b. Is v a prime number?
True
Let p = 208 - -345. Is p composite?
True
Suppose -5*u + 655 + 1440 = 0. Is u a prime number?
True
Let r = -12 - -6. Let b be (6/(-4) + 2)*r. Is 236/12 - (-2)/b a composite number?
False
Suppose b + 15 = 2*z, 0 = -3*z - 3*b + b + 33. Is ((-3)/z)/(2/(-78)) a composite number?
False
Suppose 2*q + 25 = 4*r + r, -r - q - 2 = 0. Let f = 3 + r. Is f prime?
False
Let k(h) = -3*h**3 + 5*h**2 + 5*h - 1. Let b(t) = -t**3 - 10*t**2 - 8*t + 5. Let d be b(-9). Is k(d) composite?
False
Let v(n) = n**2 - n + 39. Let f be v(0). Suppose -3*d = s - f, -s - 2*d + 39 = -0*s. Is s a composite number?
True
Let u(m) = -m**2 - 65*m - 57. Is u(-30) a prime number?
False
Suppose -1401 = 4*w + 3*p, 2*p = -0*p - 6. Is (-8)/(-6)*w/(-8) a prime number?
False
Let l(w) = -5*w - 4. Let n(j) = -j - 1. Suppose -4*c - 5*x = -23, 0 = -2*c + 7*c + 3*x - 19. Let r(g) = c*n(g) - l(g). Is r(7) composite?
False
Let n be 1/((-1 + -1)/(-122)). Suppose 5*x - n = 29. Let p = x - -33. Is p composite?
True
Let a be 1 - (-3)/((-9)/(-6)). Is 198/a + (1 - 0) composite?
False
Suppose 2*s - 1111 = -2*z - s, 2*z + 4*s = 1110. Is z prime?
True
Is 1120 + -3*(-4 - -5) composite?
False
Suppose -t + 5*t = 32. Let g(d) = 9*d - 3. Let f(u) = 28*u - 10. Let w(z) = -2*f(z) + 7*g(z). Is w(t) composite?
True
Let w be 4 - (1 - 1)/(-3). Suppose -w*j = 3*d - 160, 5*j - 223 = d - 42. Is j prime?
True
Let i(h) = 7 - 5 - h**3 + 8*h**2 + 8 + h + 0*h. Let n be i(7). Suppose d - n = -d. Is d a prime number?
False
Suppose -4*j + 2*n + 98 = 0, 4*n + 86 + 10 = 4*j. Is j prime?
False
Let y = 930 - -98. Is (-1)/((12/y)/(-3)) a prime number?
True
Suppose -2*i = -3*v + 112, -v - 5*i + 45 + 15 = 0. Suppose -j = 3*j - v. Is j a composite number?
True
Suppose -3*s - 1 + 4 = 0. Suppose 2*o - 2*n - 224 = 0, s = n - 0*n. Is o composite?
False
Let f(g) be the second derivative of -g**4/12 - 5*g**3/3 - 3*g**2 - 2*g. Let y be f(-9). Suppose y*c - 148 = 335. Is c a prime number?
False
Suppose -3*s = 2*b - 5 - 10, -5*s + 13 = 2*b. Suppose -3*z = -48 - b. Is z a composite number?
False
Let o(b) = -b**2 + 3*b + 4. Let y be o(4). Let q(h) = h + 2. Let g be q(y). Suppose -g*k - 2*r + 14 = -0*r, -4*r - 38 = -2*k. Is k a composite number?
False
Let t(i) = i**3 + 13*i**2 - i - 8. Is t(-7) a prime number?
True
Let j = -4 - -2. Is 38 - j/((-4)/(-2)) a prime number?
False
Suppose 4*g = 5*z + 20, -g - 5*z + 7 - 2 = 0. Suppose -l + g*l = 124. Is l a prime number?
True
Let m(b) = b**3 - 6*b**2 + 3*b + 3. Let v be m(5). Let a = v - -13. Is a a composite number?
True
Suppose -d = 5*z, 0 = -2*d - 2*d - 5*z. Let q be (-18)/(-5) - (-2)/5. Suppose 3*f = -r - d*f + 10, 0 = -2*