) prime?
True
Suppose -4*l + 298 = -34. Is l prime?
True
Suppose 372 = 3*c + 3*v, -c + 0*c - 2*v = -125. Is c composite?
True
Let m(o) = o**2 + 4*o + 2. Let h(f) = -f**3 - 3*f**2 - f. Let n be h(-2). Let u be m(n). Is u*-1*(-19)/(-2) a composite number?
False
Let j = 5 - 0. Suppose m - j*m = -436. Is m composite?
False
Let b = 152 - 222. Let n = -49 - b. Is 1645/n + (-4)/(-6) a prime number?
True
Suppose -5*m + 1695 = -2*m. Is m prime?
False
Let m(f) = 58*f**2 + 2*f - 3. Is m(2) a prime number?
True
Let b = 388 + -691. Let a(n) = 108*n - 6. Let u be a(4). Let v = u + b. Is v prime?
False
Is 2/8*-2*-6 a prime number?
True
Suppose 0 = -5*v - 0*v - 5. Let o(t) = -149*t. Is o(v) composite?
False
Let h(q) be the third derivative of q**5/30 + q**4/12 + 2*q**3/3 + q**2. Let z be h(6). Suppose -4*b + z = 4*x, b - 113 = -4*b - 2*x. Is b prime?
True
Suppose h - 190 = -3*b + 2*b, -3*h = -2*b - 545. Is h composite?
True
Let z(q) = -q + 343. Let a be (-2 - -2)/(1 + -3). Let x be z(a). Suppose 5*h = -2*m + x + 101, -2*m + 5*h + 424 = 0. Is m prime?
False
Suppose 4*t = -3*h + 19, 5*h = -3*t + t + 27. Let c = h + -3. Suppose 4*y = b - 3*b + 212, -c*b = -2*y + 106. Is y prime?
True
Let h be 1*(220 + 1 + 2). Suppose 5*a + 53 = h. Is a a prime number?
False
Let c(t) = -62*t**3 - 2*t**2 + 3*t + 3. Is c(-2) composite?
True
Let s = -17 + 180. Is s prime?
True
Let p(r) = -r**3 + 10*r**2 - 5*r - 11. Suppose 3*x + 0*q + 2*q = 57, 3*x - 57 = -q. Suppose 5*b - 26 - x = 0. Is p(b) prime?
False
Suppose z + 50 - 159 = 0. Is z composite?
False
Let p be ((-3)/6 + -3)*-16. Suppose p = -4*f + 764. Is f composite?
True
Let n(s) be the first derivative of -2*s**2 - 9*s - 2. Let p be n(-6). Let l = p - 9. Is l a composite number?
True
Let y(u) = 3*u + 14. Is y(7) prime?
False
Suppose -2*p = -14 + 6. Suppose -p*y = y - 475. Is y composite?
True
Suppose -5*n + 633 = -4*g, 3*g - 10 = -1. Is n composite?
True
Let a = -1070 - -1821. Let d = 1316 - a. Is d prime?
False
Let r(l) = -l**3 + 3*l**2 + 6*l - 6. Let c be r(4). Suppose 0 = -2*f - 4 + 6. Is -1 + 21/(c + f) a prime number?
False
Let g = -1 - 15. Is ((-709)/(-2))/((-8)/g) prime?
True
Suppose -3*s = s + 4. Let o(f) = -f - 1. Let w(q) = 8*q + 5. Let i(z) = s*w(z) - 4*o(z). Is i(-5) composite?
False
Suppose -3 = -3*s + 27. Is 4/10 - (-786)/s a composite number?
False
Is (-8506)/(-10) + 10/25 a prime number?
False
Let v be 2*(-2)/4 - -3. Let c = v + -2. Suppose c = i - 8 - 26. Is i composite?
True
Let n(s) = -56*s - 4. Let t be n(-5). Let d = -186 + t. Suppose -80 - d = -2*h. Is h a prime number?
False
Suppose 0 = 3*q - 4*q - 5*c + 91, 155 = 2*q + c. Suppose -4*s + q + 48 = 5*g, 0 = 3*g. Is s a prime number?
True
Let g = 834 + -290. Let u = -348 + g. Suppose -5*b = -219 - u. Is b prime?
True
Let b(w) = -13*w**2 + 16*w - 15. Let o(g) = 6*g**2 - 8*g + 8. Let j(l) = 2*b(l) + 5*o(l). Is j(9) prime?
False
Suppose 2*y - 20 = 52. Let k(q) = -3*q**3 - 5 + y*q - 27*q + 2*q**3 - 4*q**2. Is k(-7) a composite number?
False
Suppose -z + 5 = x, 7 + 20 = 4*z - 3*x. Suppose -4*m + 100 = -2*p, -4*m - 5*p + 108 = -z. Suppose -m = -c + 8. Is c composite?
True
Let c(u) = -44*u**2 - u + 3. Let s be c(-3). Let z = s - -568. Is z a prime number?
False
Let v(a) = 2*a + 369. Let f be v(0). Suppose -f = -4*z + 91. Is z prime?
False
Suppose 5*r - 22 = -3*f, -2*r + 8 = -0*r + f. Suppose 3*d + d + 3*k = 1010, r*d + 3*k - 508 = 0. Is d a composite number?
False
Suppose -2*z - 14 = 4*l, -2*z + 2*l + 25 = 3*z. Let a(i) = 3 - 4*i**2 - 5*i**2 + 4 + z*i - i**3. Is a(-10) a composite number?
True
Let h be 9/(3*3/45). Let i = h - 10. Is i composite?
True
Let x(o) = 16 - 4*o**2 - 6 + 10*o**2 + o**3. Is x(-6) prime?
False
Suppose 0 = -5*z + 15, 2*n - 502 = 2*z - 176. Suppose y + 41 = 2*j + n, y + j - 113 = 0. Let o = -74 + y. Is o prime?
True
Let q(w) = -3*w**2 + 8*w + 4. Let k(o) = o**2 + o. Let p(u) = 2*k(u) + q(u). Is p(9) a composite number?
False
Let a = -1479 - -4740. Is a a prime number?
False
Let y = 12 - 8. Suppose w = 3*h + h - 21, 4*h + y*w = -4. Suppose 171 = -g + h*g. Is g a prime number?
False
Let n(a) = -59*a**3 + 2*a + 0*a**2 - a**2 - 2*a**2 + 1 + 4*a**2. Is n(-1) a prime number?
True
Suppose -15 = -5*o, 0 = 3*z - 7*z + o + 309. Is (-2)/(-13) + 6930/z a composite number?
False
Is 589 + (-4 - -4) + -2 a composite number?
False
Suppose 3*p + 2*c + 1 = 0, 0 = 2*p - 5*c - 12. Let w be (-3 - p)/(2/19). Let r = -3 - w. Is r a composite number?
True
Let h = 2 - 0. Suppose 0 = -3*u - 2*t - 0*t + 11, 0 = -3*u - 4*t + 13. Suppose -u*d - 6*i = -h*i - 94, 62 = 2*d + 3*i. Is d composite?
True
Let y be (-3 - -1)*(2 + -3). Suppose y*t - 75 = -1. Is t a composite number?
False
Is -3*(0 + 2/(-3)) + 2765 a prime number?
True
Suppose x + 93 - 330 = 3*o, -3*o = -4*x + 903. Let l = 341 - x. Is l a composite number?
True
Suppose 0 = -3*s + 5*s - 174. Is s prime?
False
Suppose 2*l - 7*l + 1115 = 0. Is l a composite number?
False
Let a(v) = v**3 - 4*v**2 - 4*v - 6. Let i be a(5). Let k = -7 - i. Is 61/2 - 3/k a prime number?
True
Suppose 0 = -2*z + 6*z - 1916. Is z a composite number?
False
Suppose 5*p = p + 3644. Is p composite?
False
Suppose -6*o = -7*o + 263. Is o composite?
False
Suppose 617 = 3*j + 3*d - 190, -4*j - 2*d = -1068. Is j composite?
True
Let q be 0 + 1*(2 + 1). Suppose 0 = q*a - 0 - 21. Is a a prime number?
True
Let a(r) = -r + 5. Let g be a(5). Let z = 6 - 2. Suppose z*s + g*k - 384 = -k, 85 = s + 3*k. Is s prime?
True
Let k = -2 + 5. Is 35 - (k - (-3 + 5)) a prime number?
False
Suppose 0 = 3*g - 7 - 17. Let l be (-2)/(-4) - (-4)/g. Is l/(1 + (-36)/39) prime?
True
Let u(t) = -173*t**2 + 4*t - 7. Let c(p) = 87*p**2 - 2*p + 4. Let g(f) = -5*c(f) - 3*u(f). Let i be g(1). Let z = i - 46. Is z a composite number?
False
Suppose -3*n + 1284 = -411. Is n a prime number?
False
Suppose c = -c + 278. Is c prime?
True
Let m(x) = 5*x**2 - 21*x + 5. Is m(14) prime?
True
Suppose -4*c = -2 - 18, -5*c - 45 = -5*q. Let x = q + -2. Let y = x + 9. Is y a prime number?
False
Let r(j) = -3*j**3 + 6*j**2 - 6*j. Let p(c) = -9*c**3 + 19*c**2 - 19*c. Let t(g) = 2*p(g) - 7*r(g). Is t(3) a composite number?
True
Let b = 21 + -17. Suppose -b*m = -g - 364, 0*m + 91 = m - 3*g. Is m a composite number?
True
Suppose 5*d = -2*g + 739, -3*d - 2*d + 4*g = -757. Is d a composite number?
False
Let g = 93 - -84. Is g composite?
True
Let y be (-3)/9*4*3. Let i = y + 4. Let s(w) = w**2 + 34. Is s(i) composite?
True
Suppose 0 = 2*z - z + 5*l + 1, -2*l - 14 = -3*z. Suppose 4*p = -5*v + 40, 0 = -5*p - z*v - 0*v + 50. Is p composite?
True
Let x = -31 + 46. Suppose x = 2*g + g. Suppose 0 = a - 2*h + 3*h - 73, -4*a = g*h - 296. Is a composite?
True
Let l(n) = 154*n + 55. Let m(y) = 11*y + 4. Let o(w) = 4*l(w) - 55*m(w). Let z be o(1). Let r(j) = 9*j - 2. Is r(z) composite?
False
Is (-11 - -9)/(4/(-1282)) a prime number?
True
Let r = 4 - 7. Let s(o) = 4 + 2*o**2 - 4*o + 5*o + 0. Is s(r) prime?
True
Let b(h) = h**3 - 10*h - 1. Let c be b(7). Let w = 403 - c. Is w a composite number?
False
Let u(g) = g**3 + 7*g**2 + g + 2. Let x be u(-7). Let r(z) = -20*z - 5. Is r(x) a composite number?
True
Suppose 0 = -5*z + c + 170, 0 = 3*z - 4*c - 99 + 14. Is z prime?
False
Let q = -8 + 10. Let m = 25 - q. Is m composite?
False
Suppose -b = -4*u - 1615, 3*b - 2326 = 5*u + 2533. Is b prime?
False
Suppose 5*y - 4*k = k + 50, 4*k = -5*y + 5. Suppose -3*w + y*w - 254 = 0. Is w a composite number?
False
Let d = 4 - 6. Let c = d - -3. Is c*3*(8 - 3) prime?
False
Let s = 143 - -24. Suppose s = m - 4*k + 38, 0 = -3*m - 2*k + 331. Is m composite?
False
Let a(i) = -i - 4. Let n be a(0). Is (18 + n)*1/2 a composite number?
False
Let l be (0/(-1))/(0 + -3). Suppose 2*p + l*p + 5*t = 89, p - 3*t = 61. Suppose -r + j = -3*r + p, 0 = -5*j. Is r a composite number?
True
Let w = 110 + 67. Is w composite?
True
Let a(t) = t**3 - 4*t + 1. Let m(l) = 2*l**3 - 9*l + 2. Let p(x) = -7*a(x) + 3*m(x). Let h be p(1). Is h + 54 + 2/1 prime?
False
Suppose 5*y - 1914 = -474. Suppose 0 = -5*n + y - 13. Is n composite?
True
Let p be -1*(0 - -1)*23. Let a = p - -42. Is a composite?
False
Suppose 0 = -2*p - b + 5*b + 2694, 0 = -2*p + 2*b + 2688. Let j = 1898 - p. Is j prime?
True
Let b(z) = 398*z**2 + 3*z + 2. Is b(-1) a composite number?
False
Let m 