uppose 1123 = 4*s - 3*w, -2*s + 3*w = -0*w - 557. Suppose -5*h + 878 = s. Is h a composite number?
True
Suppose -2*s + m + 148 = 3*m, 226 = 3*s + m. Suppose 2*i - 2*j = s, -4*i - 3*j = -2*i - 61. Is i prime?
False
Suppose -2*o + 0*o + 100 = 0. Suppose 0 = 2*b - 4*b + o. Is b a composite number?
True
Let t(h) = h + 13. Let v be t(-9). Suppose 2*p = -v*s - 115 + 457, -2*s = -10. Is p prime?
False
Let c(s) = -s**2 - 6*s - 3. Let w be c(-4). Suppose -w*k + 0 + 5 = 0. Suppose k = 3*u - 146. Is u composite?
True
Suppose 0*q - q + x - 9 = 0, -3*q - 2*x = 17. Let c = q - -3. Is (62 + 0)*(-2)/c prime?
True
Suppose -2*v - 3*i = -34, -2*i + 0*i - 10 = -v. Suppose 4*a = u - 3*u + v, -30 = -3*a + 5*u. Suppose -a*d = 17 - 412. Is d prime?
True
Let m(t) be the first derivative of 47*t**6/360 - t**5/120 - t**4/24 + 4*t**3/3 + 4. Let b(y) be the third derivative of m(y). Is b(2) composite?
True
Suppose -4*l - 12 = 0, 4*v + 3*l + l = 17056. Is v a prime number?
False
Is 2/(-23) - 28056/(-483) composite?
True
Let t(p) = 4*p - 4. Let r be t(4). Suppose -2*v + 3 = 5*a - 17, r = 3*a - v. Suppose a*z - 22 = 22. Is z composite?
False
Let y(q) = 4*q - 2. Let b be y(4). Is 343/5 - b/(-35) a prime number?
False
Is (-919)/(((0 - 1)/1)/1) a prime number?
True
Suppose 0 = 2*f - 8, -2*t - 28 = -6*t - 4*f. Suppose -d + 26 = -5*a, -t*a + 5*d + 10 = -6*a. Is 8/20 + (-413)/a a prime number?
True
Suppose 2*b = -6, 7 + 136 = -2*l - 5*b. Let j = -41 - l. Is j composite?
False
Suppose -2*k = -6, 3*m - k = -1 + 7. Suppose 2*c = m*c - 7. Is c a composite number?
False
Let r(m) = 190*m**2 - 2. Let o be r(-2). Suppose -6 = -4*w + o. Is w a composite number?
False
Let l be 1 - 0 - (13 - 0). Let r be 1779/4 - 3/l. Suppose 0*h = -5*h + r. Is h composite?
False
Suppose 6*o = 8*o - 3314. Is o a composite number?
False
Suppose -3*w + 164 = -2*z, 10*z - 5*z = -w + 83. Is w a prime number?
False
Suppose -56 = -4*w + 948. Is w prime?
True
Suppose -o + p - 2*p = -2316, 2311 = o + 2*p. Is o prime?
False
Is 62*(5/(-2) + 3) composite?
False
Let a = 568 + 63. Is a a composite number?
False
Is 0 + 1 + 3 + 35 prime?
False
Let p = 518 + -847. Is p/(-2) + (-27)/18 composite?
False
Let h(n) = 49*n**2 - 1. Let l be h(-2). Let t = -50 + l. Is t a composite number?
True
Suppose 15 = -3*f, 0 = -4*a - 3*f - 2*f - 33. Let m be (0/1)/(-1 - a). Suppose m = o - 4*o + 45. Is o composite?
True
Suppose -9033 = -9*i + 6*i + 3*h, -4*i + 2*h = -12036. Is i composite?
True
Let c(h) = -59*h - 1. Is c(-1) composite?
True
Let a(i) = -2*i - 4. Let f(g) = g + 1. Let h(o) = -a(o) + 3*f(o). Is h(6) a composite number?
False
Let a(i) = 4*i**2 - 9*i + 8. Is a(9) composite?
False
Suppose -5*g + 94 = k, -k + 3*g = -2*k + 96. Suppose j + 2*j - k = 0. Is j a composite number?
True
Let a be ((-134)/8)/(5/20). Let n = a + 100. Is n composite?
True
Suppose -92 = 3*q + 5*b, 4*q = 3*b - 2*b - 92. Is (460/q - 2)*-6 a prime number?
True
Let m(o) be the second derivative of -o**4/12 + o**3/2 + 2*o. Let d be m(6). Let g = -11 - d. Is g a prime number?
True
Let d(i) = i - 7. Let x be d(11). Suppose 170 = x*q - 2*u, 0 = -q - u + 74 - 30. Is q prime?
True
Let w(g) = 19*g - 1. Let o be w(4). Suppose 2*d - o = 3*b, b = -2*d - 2*d + 115. Suppose d + 32 = 2*k. Is k prime?
True
Let u(z) be the first derivative of -z**6/120 + z**5/6 + z**3/3 + 3*z**2/2 - 3. Let o(h) be the second derivative of u(h). Is o(7) a prime number?
True
Let x = 259 + -365. Let j = -58 - x. Suppose 0 = 4*w + 5*l - 55, 4*l - 23 = -5*w + j. Is w a prime number?
False
Suppose 0 = 7*i - 2*i - 670. Is i prime?
False
Let y(n) = -n**3 + 8*n**2 - 7*n + 6. Let k = -2 + 8. Let t be y(k). Suppose -2*c + t = 2*r - 7*r, 3*c = 3*r + 63. Is c a prime number?
True
Suppose 2*u + 2*u - 416 = -2*g, 4*u - 3*g - 406 = 0. Let b = 152 - u. Is b composite?
True
Suppose -2*j = -5*x - 961, x + x - 1886 = -4*j. Is j a prime number?
False
Suppose 0 = 5*n - p - 2241, 5*n - p = 4*p + 2225. Is n composite?
False
Let g(i) = -7 - 9*i**2 + 2*i**3 - i**2 + 9*i**2 - 3*i. Is g(6) composite?
True
Suppose 3*z - 1185 + 324 = 0. Is z a prime number?
False
Suppose 5*s + 0*s - 22120 = 3*z, -22100 = -5*s - z. Is s a prime number?
True
Let i = -1 + 6. Suppose -5*v - i*p + 295 = 0, 2*v + p = -2*v + 224. Is v a composite number?
True
Suppose 892 = 4*f - 0*o + 4*o, -669 = -3*f - 4*o. Is f composite?
False
Suppose -4 - 95 = -3*l. Is l a composite number?
True
Let g(y) = 4*y**3 - y**2 + 6*y + 4. Is g(5) prime?
True
Let w = 984 + -517. Is w a prime number?
True
Let j be 2895/(-12) - (-3)/(-4). Let d = -93 - j. Is d prime?
True
Let v(z) = z**2 - 2*z + 3. Let y be v(13). Suppose y = 4*i - 618. Is i a prime number?
True
Let w(x) = 2*x + 1. Let i be (1 - -1)/(-3 + 4). Let j be w(i). Suppose 0 = -v - m + 34, 2*m - 149 = -j*v + 36. Is v prime?
False
Let c(l) = -27*l - 5. Is c(-14) composite?
False
Suppose 2255 = 4*y + 2*a + 487, -3*y + 1327 = a. Is y prime?
True
Suppose 0 = -w + h + 1603 + 1601, -4*w + 12815 = -3*h. Is w composite?
False
Let d(b) be the first derivative of 9*b**2/2 - 13*b - 4. Is d(10) a prime number?
False
Let u be ((-16)/6)/(2/(-3)). Let g be (u - 3) + 5 + -2. Suppose 7*r = g*r + 30. Is r a prime number?
False
Let t be 48/15*15/6. Let z be 16/2*(-132)/t. Let w = 263 + z. Is w composite?
False
Let m = -42 - -21. Let c = -11 - m. Is ((-1115)/c)/((-2)/4) prime?
True
Suppose -2*f - 2*n + 2718 = 0, 1057 = f - 2*n - 314. Is f a composite number?
True
Suppose -1018 = -5*d - b, 5*d - 399 = 5*b + 631. Suppose 0 = 4*c - 5*h - 549, -c + h - 66 = -d. Is c composite?
True
Let t be 2/1*-1 - -68. Let m = 11 + t. Is m composite?
True
Let p be (-24)/(-16)*(-3 + 1). Let g(r) = -8*r**3 - r**2 + 2. Is g(p) prime?
False
Let t(y) = y**3 + 11*y**2 + 13*y + 10. Let f be t(-8). Suppose d + d = f. Is d prime?
False
Let x(q) = -q**2 + 2*q - 1. Let j be x(-2). Let o = -22 - -44. Let a = o + j. Is a a prime number?
True
Let i = -1 + 3. Suppose 11 = -2*l - 3*n + 32, -i*n + 24 = 3*l. Suppose 0 = 5*k - 2*d + l*d - 37, -5*d - 37 = -3*k. Is k prime?
False
Let q(v) = v**2 + 3*v - 1. Let f be q(-4). Suppose 7*n - f*n - 12 = 0. Suppose n*k - 30 = 75. Is k a prime number?
False
Let u(b) = b**3 + 14*b**2 - 6*b - 8. Let f be u(-14). Let c = -3 + 6. Suppose 0 = -c*w + f + 41. Is w prime?
False
Let c(z) be the first derivative of 21*z**2/2 + z + 5. Is c(4) a prime number?
False
Let q(t) = 2*t**2 - t + 7*t**2 - t**2 + 4 + 0*t. Is q(-3) composite?
False
Suppose -o + 53 = -30. Suppose -4*s = 2*b + 192, 0*s + s - 4*b = -30. Let v = o + s. Is v composite?
False
Let l be 4*((-9)/(-6) + -1). Suppose -l*t + 2 + 6 = 0. Suppose 2*v + 2*v = 2*q - 162, -t*v + 384 = 4*q. Is q a prime number?
False
Suppose m + m = -390. Let u = 16 - m. Is u composite?
False
Let q = 1813 + -892. Is q a composite number?
True
Suppose 2*h + 80 = 3*z + 7*h, -3*z + 4*h = -71. Let r = -11 + z. Is r composite?
True
Let h = 2310 - 1267. Is h a composite number?
True
Let o(f) = 2*f**2 + 5*f + 1. Suppose -1 = -r + 3. Is o(r) a composite number?
False
Suppose 816 + 4 = 4*l. Is l a composite number?
True
Let y = 453 - 215. Suppose -5*i = 25, 4*h - 2*i = i - 661. Let s = h + y. Is s prime?
False
Suppose -3*y + 1943 = t, -t + 3*t = 2*y + 3902. Is t composite?
False
Let q(n) = -3*n - 6. Let z be q(-4). Let h = z + -8. Is h*1/(-2) + 190 a composite number?
False
Let o be (0/1)/(-2 - -4). Let v be o/1 - (-5)/5. Let i(a) = 20*a**2 + a. Is i(v) prime?
False
Suppose 4*a = 2*a + 680. Let l = a + -123. Is l prime?
False
Let w be 3*((-24)/3 - -2). Let y be (4/(-6))/(4/w). Let r = 18 + y. Is r a composite number?
True
Suppose -o = 3*p - 3, o + 4*p - 3 = 2*p. Is 422/8 - o/(-12) a prime number?
True
Let p(k) = -k**2 - 3*k + 10. Let l be p(-7). Is 2*(-393)/l*3 prime?
True
Let j(d) = 33*d - 4. Is j(9) a composite number?
False
Suppose 1118 = -4*c - 914. Is (c/(-6))/(4/6) a composite number?
False
Let o(p) = -p - 1. Let q(w) = -2*w - 3. Let z(g) = 14*o(g) - 4*q(g). Is z(-10) prime?
False
Let l be 1 - 1/(2/(-12)). Suppose -q + 34 - 9 = 2*m, -q + 23 = m. Suppose -l = 2*c - q. Is c prime?
True
Let o(i) = i**3 + 6*i**2 + 4*i - 4. Let b be o(-5). Let y = b + 1. Suppose 7*r - y*r - 275 = 0. Is r prime?
False
Let t(j) = -j**3 + 7*j**2 - 6*j - 4. Let g be t(6). Let x be 787/4 + 3/g. Suppose 2*k = 2*l - x, -2*k + 152 