posite number?
True
Suppose 3*o - 4385 = -3*l + o, -4*l = 3*o - 5847. Is l a composite number?
True
Let a be (-3)/((-2)/(-34) + 0). Let k = -14 - a. Suppose x + k = 2*x. Is x composite?
False
Suppose 2*u = -2*u + 152. Suppose 0 = -0*i + i - u. Is i composite?
True
Let q(h) = -3*h - h + 5*h - h**2 + 1 + 4*h**3. Suppose -4*o - 3 = -7, -4*y + 3*o + 5 = 0. Is q(y) a prime number?
True
Suppose 3*o - 27 = -2*h, -2 + 44 = 4*h + 2*o. Is (-2216)/(-72) - (-2)/h a composite number?
False
Let p(b) = 107*b + 4. Let u = 5 - 2. Let r be p(u). Suppose -i - 4*i = -r. Is i prime?
False
Let l(h) = h**2 - 5*h - 2. Let w be l(6). Let n = w + 2. Is n composite?
True
Suppose 8*n - 1924 = 4*n. Is n a composite number?
True
Let l = -18 + 37. Let f = l - 13. Is f a composite number?
True
Suppose 4*x + 5*l - 1451 = -0*x, -4*x + 5*l + 1421 = 0. Is x prime?
True
Let s be 3 + (4 - 2/1). Suppose -3*n = s*v - 0*n - 223, 3*n = -2*v + 82. Is v a composite number?
False
Is (-7)/(-7) - 660/(-2) a composite number?
False
Let d = -5 + 5. Suppose 5*q - 3*b = d, 0 = -b + 3*b. Suppose q = -z - 11 + 126. Is z composite?
True
Let v(o) = -o**2 - 13*o + 11. Is v(-12) a composite number?
False
Let d = -8 - -5. Let o(c) = c**3 - 5*c**2 - 3*c - 2. Let m be o(d). Let i = m + 104. Is i composite?
True
Let q(f) = f**3 - f**2 + f - 2. Let x be q(2). Let o(m) = m - 2. Let r(g) = -g**2 - 3. Let k(p) = x*o(p) - 3*r(p). Is k(-4) a composite number?
True
Suppose 2*q = 3*b - 781, -3*b - 2*b - q = -1319. Is b composite?
False
Suppose 3*z - 2 = l + 5, -2*z + 12 = 3*l. Suppose -d - r = 4*d - 356, z*r - 3 = 0. Is d a prime number?
True
Let j(v) = 2*v**2 + 2*v - 1. Let w be j(1). Is (716/(-8) - w)*-2 composite?
True
Let b be 1*(326 - (-2 - -2)). Suppose 0 = 5*n + 2*j - 12, 5*n - n + 5*j = 13. Suppose -2*q + b = n*f - q, 4*f + 4*q - 660 = 0. Is f prime?
False
Suppose 0 = 2*p - 1772 - 1026. Is p a composite number?
False
Is 1502/6 + 80/12 + -6 prime?
True
Let u = 8 - 4. Suppose -m = m - u. Suppose 9 = -m*i + 3*i. Is i a composite number?
True
Suppose 0 = -2*b + 1248 + 706. Let p = b - 580. Is p a composite number?
False
Suppose 4*j = 3 + 5. Let y = j + -2. Suppose y = 3*i + i - 476. Is i composite?
True
Let z(v) = 2*v**2 - 3. Let s be z(-5). Let y = s + -68. Is ((-6)/(-2))/((-3)/y) a composite number?
True
Let h(t) = -t**2 + t. Let n(f) = f**3 + 12*f**2 - 8*f + 1. Let y(x) = 4*h(x) + n(x). Let z be (-2)/(-8) - (-50)/(-8). Is y(z) composite?
False
Suppose -5*z - 5 = -f - 0*f, z + 1 = 3*f. Suppose f*s + 3*s = 57. Suppose k + u = -u + s, -4*k = 5*u - 61. Is k a composite number?
True
Suppose -3*i + 2*i + 5*g = -417, -3*i + 1227 = -3*g. Is i a prime number?
False
Let g(j) be the second derivative of j**6/144 - 7*j**5/120 + j**4/6 + 2*j. Let k(m) be the third derivative of g(m). Is k(6) prime?
True
Let i(y) = -y**3 + y + 8. Is i(-6) a prime number?
False
Let x(l) = l**3 + l**2 - 2*l + 319. Is x(0) composite?
True
Is (-10)/75 + (-3274)/(-30) a prime number?
True
Let b(j) = -14*j**2 + 5*j + 3. Let o be b(-3). Let x = o + 343. Is x composite?
True
Let f = -54 - -169. Is f a composite number?
True
Suppose 8*v - 12*v - 12 = 0. Let k(c) = -50*c**2 + 13*c + 9. Let o(t) = -25*t**2 + 7*t + 5. Let u(y) = -4*k(y) + 7*o(y). Is u(v) composite?
False
Suppose 0 = 3*n - 4*u - 0*u - 797, 0 = 4*n + 5*u - 1042. Is n composite?
False
Let m(k) = -9*k - 4. Let j(a) = -5*a - 2. Let l(c) = -11*j(c) + 6*m(c). Is l(9) a prime number?
True
Suppose 3*r = 17 + 43. Suppose -5*k = r, 3*q + 3*k = -0*q. Is ((-664)/12)/(q/(-6)) composite?
False
Let p(d) = d**2 + 6*d + 5. Let a be p(-4). Let w be (-1)/a*(7 - 1). Suppose -3*c - 15 = 0, 3*o + 4*c - w*c - 32 = 0. Is o a composite number?
True
Suppose 5*s - 27 = -7. Suppose -s*k + 4*f = -128, -4*k = f - 98 - 45. Suppose -a - k = -2*a. Is a composite?
True
Let l be (-4 - -9) + 0 + -2. Suppose -l*n + 574 = -n. Is n a composite number?
True
Let t be (-5)/15 - 32/(-6). Suppose -5*w = -t*b - 20, -2*w + 5*w = 4*b + 10. Is w prime?
False
Let x(f) = f**3 - 2*f**2 - 16*f - 11. Is x(6) a prime number?
True
Let p be (4 - -2*1) + -1. Suppose -9*m = 2*a - 4*m + 14, -m = 3*a - p. Is a*19 + 2 + -2 a composite number?
True
Is (63/2 - -1)*(2 + 0) a prime number?
False
Let j = 10 + 10. Suppose -3*v - 3*m + 129 = 0, 2*v - j - 66 = 5*m. Is v composite?
False
Let j = -1 + 4. Let p be 154 - (j + -5 + 2). Suppose -v = -3*v + p. Is v a composite number?
True
Let x = -653 + 1216. Is x prime?
True
Is 57558/14 + 16/(-56) prime?
True
Is 6/18 + 17200/15 composite?
True
Let n be 971/4 - 2/(-8). Suppose 3*g + 3*v - n = 0, 8*g = 3*g + 4*v + 423. Is g a composite number?
False
Suppose 0*t = -4*t + 20. Let k(c) = 24*c + 7. Is k(t) a prime number?
True
Suppose -2*n - 5*x + 370 = 0, 2*n - 4*x + 48 = 454. Suppose 3*s + 0*s - n = 0. Let i = s - -20. Is i a prime number?
False
Suppose -605 = 3*a + 556. Let j = -84 - a. Is j a prime number?
False
Let q = 677 + -418. Is q a prime number?
False
Let v(q) = q**2 + 5*q - 5. Let k be (2 + -2 - 0) + 2. Suppose w - k = 2. Is v(w) prime?
True
Let h(l) = 41*l. Is h(7) a composite number?
True
Suppose -4*u = -1 - 7. Suppose 4*x - u = 26. Is x prime?
True
Suppose -19 = -5*k + 1. Suppose 0 = 2*w - k*p + 2, -2*p - 6 = -w - w. Is w prime?
True
Suppose q - 3 = 0, 2*o - q + 2 = -9. Let k be (-3)/6*o - -95. Suppose k = 3*r - 62. Is r composite?
False
Let a(z) = z**2 + z. Let y(d) = -2*d**2 + 2*d - 1. Let h(s) = 3*a(s) + y(s). Let j be h(-6). Suppose 4 = -k - 0*k, j*c - 3*k = 42. Is c a prime number?
False
Let z be 4 + 1 + 5 + -2. Let f = -9 + z. Is (-1)/(f - (-50)/51) composite?
True
Let d = 577 + -315. Is d composite?
True
Let z = -16 + 10. Is (-424)/(-6) + (-2)/z a composite number?
False
Let y = 11 - 31. Let r = y - -79. Is r composite?
False
Let q(g) = 7*g**2 + 11. Is q(-4) composite?
True
Let u = -3 + 2. Let w = u - -5. Suppose -w*y + 397 = 89. Is y composite?
True
Suppose 9 = -3*v - 5*m + 242, 3*m + 330 = 4*v. Suppose -2*u + u = 4*f - 309, 4*u = -f + v. Is f a composite number?
True
Is ((-2438)/6)/(6/(-18)*1) composite?
True
Suppose -1 = o - 3. Suppose -3*q + 58 = 2*w + q, 4*w = o*q + 76. Is w prime?
False
Suppose 0 = -3*x + 314 + 223. Is x composite?
False
Suppose -2*p + 1533 = -1261. Is p a composite number?
True
Suppose 2*t = -0*t + 254. Is t composite?
False
Suppose -k + 5*y = -9, 2*k + 2*y - 9 = -39. Let n = k - 130. Let h = -76 - n. Is h a composite number?
True
Let c(p) = 30*p + 1. Let k(s) = -s**2 + 3*s + 5. Let v be ((-2)/3 + 0)*-6. Let m be k(v). Is c(m) a prime number?
True
Let y(d) = -5*d + 1. Let r be y(1). Let l = r - -9. Suppose 2*o = l*o - 267. Is o composite?
False
Suppose -4*d - 12 = 0, -2*d - 6 = -y - 0*d. Suppose y = 2*u + 3*u - 1495. Is u a composite number?
True
Suppose 0 = -3*d - d + 8. Suppose 4*q - d*q = 74. Is q composite?
False
Suppose 0 = 5*h - 29 + 4. Suppose -h*y = 2*t - 305, -3*y = y + 4. Is t a composite number?
True
Let g be 318/12*(-2)/(-1). Let q be (-192)/20*-3*5. Let l = q - g. Is l a prime number?
False
Suppose -p + 0*p + 13 = 4*j, 5*p = 5*j - 35. Let u = p - -5. Suppose -3*d = u*c - 227, 370 = 3*d + 2*d + 5*c. Is d a composite number?
False
Suppose -3*a - 146 = -j, -a = 4*a - 20. Is j a prime number?
False
Let j(g) = 32*g + 4. Let v be j(4). Let b = v - 85. Is b composite?
False
Is 5/((-15)/(-127))*3 prime?
True
Suppose c + 3*h = -4, 1 = -5*c - 4*h + 3. Suppose -20 + 66 = c*l. Is l a prime number?
True
Suppose -4 = -2*f, 2*h - 5*h + 5*f = 10. Suppose -3*t + 6*t = -3*r + 384, -3*r - 2*t + 383 = h. Is r a prime number?
True
Suppose 5*s + 40 - 5 = 0. Is 806/8*(-3 - s) composite?
True
Let u(r) = -r + 4. Let x be u(-2). Suppose -5*n - 447 = -3*a, -a + n - 745 = -x*a. Is a composite?
False
Let t(k) = k**2 - 4*k + 4. Let u be t(3). Let c(s) = 122*s**2 - 2. Let v be c(-2). Is u*-3 - v/(-3) composite?
True
Suppose 0*d = 4*d - 32. Let i be (-2)/d*-3*24. Suppose -b + i = -17. Is b a composite number?
True
Let o = -828 + 3037. Is o prime?
False
Let y(n) be the first derivative of n**4/12 - n**3/6 - 3*n**2/2 + 2*n - 1. Let j(q) be the first derivative of y(q). Is j(-6) a composite number?
True
Suppose t - 1 - 2 = 0, 2*d = 3*t + 397. Is d prime?
False
Let r = -13 + 12. Let x(l) = -336*l**3 + l**2 + l + 1. Is x(r) composite?
False
Suppose 4*c = -0*c + 1180. Is c composite?