z(p) composite?
True
Suppose -674 = 3*a - 5*a. Is a composite?
False
Let n = -90 - -359. Is n a composite number?
False
Let q = 13 + -10. Suppose k - 3*k = 8, q*i - 4*k - 307 = 0. Is i a composite number?
False
Let m(i) = i**2 - 5*i - 6. Let c be m(6). Suppose 0*z + 3*z - 21 = c. Let a(n) = n + 3. Is a(z) a composite number?
True
Is (5/15)/((-2)/(-12)) + 12 composite?
True
Suppose 13 = -4*g + 1, 3*g + 6 = -t. Suppose -2*f - 290 = -t*k, 2*k - f - 216 = -24. Is k a composite number?
True
Let m = 3 - 0. Is -2 + m + -4 - -10 a prime number?
True
Suppose -17 = -5*b + 8. Suppose b*a - a = 196. Is a prime?
False
Let z(l) = 20*l**2 - 7*l + 26. Is z(5) a prime number?
True
Let h(z) = z**3 + 4*z**2 - 5*z + 4. Let c be h(-5). Suppose 23 - 7 = c*k. Suppose 3*m = 4*f + 259, -5*m - k*f + 136 = -285. Is m a composite number?
True
Let x(g) = 11*g**2 - 10*g + 1. Let s be x(2). Suppose 10 = 5*d, -3*n + 5*d = -7*n + 34. Let h = s - n. Is h composite?
False
Let z(n) be the second derivative of n**6/90 + n**5/30 - 5*n**4/24 + n**3/3 - 2*n. Let y(p) be the second derivative of z(p). Is y(5) a composite number?
True
Let c be 4/(8/(-6)) - -97. Suppose f = -15 + c. Is f prime?
True
Suppose -4 = -d + 2*s, -9 - 2 = -4*d + 3*s. Suppose i - 79 = 4*g, d*i = 7*i + 5*g - 395. Is i a prime number?
True
Suppose -5*m + 2286 - 61 = 0. Is m a composite number?
True
Suppose -v - 4*s + s = -673, 2*v + 3*s = 1346. Is v prime?
True
Let c be (2/(-3))/((-5)/45). Let u(j) = j**2 - 5*j + 1. Let q be u(c). Suppose 2*w - q = w. Is w a prime number?
True
Suppose -2*d - 35 = 5*z, d - 5*d - 2*z = 30. Let y = d - 5. Let m = y + 17. Is m composite?
False
Let y(l) = 23*l**2 - 8*l + 11. Let j(m) = 69*m**2 - 23*m + 32. Let a(x) = 6*j(x) - 17*y(x). Is a(6) a composite number?
False
Is ((-6)/(-18))/(3*(-1)/(-14211)) a composite number?
False
Let v be (-56)/(-2) - (3 + -3). Suppose -2*n + 4 = v. Let s = n - -139. Is s a composite number?
False
Let a(f) = -f**2 + 8*f - 3. Let t be a(8). Let z = t - -7. Suppose -z*i + 26 = -98. Is i a prime number?
True
Suppose 0 = 3*a - 12 - 0. Let t = 1 + a. Suppose -2*z = -3*z + 4*s + 78, -4*s + 414 = t*z. Is z composite?
True
Let d = 1436 + 626. Is d prime?
False
Let o = -1 + 3. Let k be (-2246)/6 + o/6. Is k/(-10) + (-6)/15 composite?
False
Suppose -5*m - 3 - 2 = 0. Let g be 160 + m - 0 - 0. Is 1*g/6*2 prime?
True
Suppose m + 160 = 3*m. Suppose -4*j + 3*j - m = 0. Let o = j + 115. Is o prime?
False
Let k = -5 + 9. Let b be 12/8*(-64)/(-6). Suppose k*d = 20 + b. Is d prime?
False
Let q(x) = -25*x + 1. Let n be q(1). Suppose -5*p = 3*i + 257 - 37, i + 42 = -p. Let h = n - p. Is h composite?
False
Suppose 2*p = -5*q + 3*q - 16, -3*q + 26 = -2*p. Let m(h) = -3*h - 7. Is m(p) a composite number?
False
Let u(p) = -p**3 - p**2 - 5*p - 8. Let c be u(-5). Let j = 298 - c. Is j prime?
True
Suppose 3*z - 225 = -u - 0*u, -4*u = 4*z - 308. Is z a prime number?
False
Let y(g) be the third derivative of g**6/120 - g**5/30 + g**4/6 - g**3/3 - 3*g**2. Is y(3) composite?
False
Let h be 1*2/(-4)*0. Is (121 - 2) + (h - 0) composite?
True
Let a(p) = p**2 + 8*p + 10. Let l be a(-7). Is (4 - -33)*l/3 a composite number?
False
Suppose 5*t = 25 + 5. Suppose -t*m + 3*m - 3 = 0. Is (m - -23) + (3 - 4) a prime number?
False
Let n(m) = 4*m**2 + m - 16. Is n(11) composite?
False
Let j = 906 + -44. Is j composite?
True
Let u(o) = -5*o**2 + 121. Let q(r) = -6*r**2 + 121. Let y(w) = -3*q(w) + 4*u(w). Is y(0) composite?
True
Let v(m) = -2*m**3 - 4*m**2 - 4*m - 3. Let p be v(-2). Suppose -p*l = -32 - 78. Suppose -23 - l = -5*x. Is x a composite number?
True
Suppose -5*b - 5 = -20. Suppose 0*c + 1006 = 5*c + b*n, -5*n = 15. Is c prime?
False
Let i(s) = s**2 - 6*s + 4. Let w be i(6). Suppose 0*n - 556 = -w*n. Is n prime?
True
Let j(c) = 6*c**2 + 3*c + 4. Let w = -4 - -7. Is j(w) composite?
False
Suppose -4*w - m = -12, -5*m + 2 = -5*w - 8. Let z(n) = 1 + 16*n - 2 + 0. Is z(w) composite?
False
Is (-1)/(-1)*(5945 + 16) a prime number?
False
Suppose 2*r + 110 + 176 = 0. Let w = r - -277. Is w a prime number?
False
Let m(y) = -y**2 - 4*y - 1. Let g be m(-3). Suppose g*q + 0*s = s + 217, -3*q + s = -323. Is q composite?
True
Suppose 3*k + 2*k = 10. Let p(z) = 24*z - 2. Let c be p(k). Let g = -21 + c. Is g a prime number?
False
Let x be (-5)/1 + 24/6. Is ((x - -3) + 11)*3 composite?
True
Let k = 4 - 0. Let s be (1 + -3)*(-1 + 0). Suppose 0*j - 3*j + 247 = -k*f, -s*j + 2*f = -162. Is j prime?
False
Suppose -6*w + w = 135. Let y be 3/2 + w/(-6). Is (y/6)/((-1)/(-155)) a prime number?
False
Suppose 4*b + 4*k = -10 + 38, -2*b + 3*k = -9. Suppose 22 + b = 2*r. Is r composite?
True
Suppose 5*r = -2*n, -4*r + 5*r = 4*n. Suppose -389 = -n*q - q. Is q a prime number?
True
Suppose 7 = 2*d - 3. Suppose -994 - 422 = -4*c. Suppose z = -d*s + s + 455, -3*s - 5*z = -c. Is s a prime number?
True
Let x = 136 + -27. Is x prime?
True
Let d = 2 + 0. Suppose -2*z = u - 243, 5*z = 2*u + d*z - 514. Is u prime?
True
Let m(h) = -h**3 - 4*h**2 + 6*h + 7. Let a be m(-5). Let b = -8 + 12. Suppose 0 = -a*k + w + b*w + 11, -k - 2*w = -19. Is k a prime number?
True
Let b be (7/(-14))/(2/8). Is (-3)/b*440/12 a prime number?
False
Let v(a) = -103*a - 22. Is v(-5) a prime number?
False
Suppose -2*o = -2*p - 0*p - 18, 0 = -2*o - 2*p - 2. Suppose 0*g - 34 = -4*g - 2*k, -k - 19 = -4*g. Let b = o + g. Is b composite?
True
Let k = -6 + 12. Let t(a) = a**2 + 8*a + 1. Is t(k) a prime number?
False
Suppose -6*r + 524 = 4*v - r, -4*r - 16 = 0. Let b = v + -9. Is b a prime number?
True
Let m(a) = 2*a**3 - 3*a**2 - a + 2. Let r be m(2). Suppose 3*x + 22 = r*x. Is x a composite number?
True
Is 210 + 1 - (2 - 2) a composite number?
False
Suppose 0 = -0*t - t + 485. Suppose 3*z - 12 = -5*j, 0 = 4*j - j + 4*z - 16. Suppose 5*c = -j*c + t. Is c a composite number?
False
Let o(d) = -d - 14. Suppose 4*p + 21 = 5*b + 1, -4*b + 16 = -p. Let i be o(p). Let w = i + 33. Is w a prime number?
True
Let n(c) = 3*c - 9. Let u be n(13). Is 408/u - 2/(-5) a prime number?
False
Suppose 5*m + 5 = 3*y - 10, y = 2*m + 5. Suppose 0 = 3*z - 0*z - 4*a - 325, m = -3*z + 5*a + 320. Is z a composite number?
True
Let m be 1154/(-6)*(-5 + -1). Let t = m - 687. Is t composite?
False
Let w = 131 - -12. Let p = w + -50. Is p a prime number?
False
Let x be (5352/32)/((-1)/4). Let o = 128 - x. Is o a prime number?
True
Let m(n) = 685*n**2 - n - 1. Is m(-1) a composite number?
True
Suppose -132 = 5*g + 123. Is -3*(g/9 - -1) a prime number?
False
Let b(y) = y + 6*y**2 + 58*y**2 - 2*y. Suppose 0 = -3*h - 3. Is b(h) a prime number?
False
Suppose -6*d = -2*d. Suppose -4*o = -d*n - 2*n - 10, 2*o + 4*n + 20 = 0. Suppose 5*j + 3*w - 56 = o, -3*j - 5*w = -2*j - 20. Is j prime?
False
Let f = -3 + 5. Suppose 0 = -2*h - f. Is h*(-26)/(2 - 1) a prime number?
False
Let i = -185 - -294. Is i composite?
False
Let y(q) = q + 4. Let m be y(0). Suppose 0 = 2*d - 3*x + 5 - 23, 5*d + m*x = -1. Let f(a) = a**3 + 5*a**2 - a - 2. Is f(d) prime?
True
Let t = 557 - 322. Is t prime?
False
Let m(j) = -j**3 + 6*j**2 + 8*j - 4. Let i = -11 - -18. Let z be m(i). Suppose k = 16 + z. Is k composite?
False
Suppose -4*v - v = -1490. Is v composite?
True
Suppose 6*t - t - 2395 = 0. Is t composite?
False
Let l(x) = x**3 - 3*x**2 + 3*x - 4. Let i be l(3). Let t(b) = -2 + 36*b + 4*b - 11*b + 30*b. Is t(i) prime?
True
Suppose 0*p - 47 = a - 4*p, -5*a + 2*p = 145. Let b be 2*2*(-47)/(-2). Let z = b + a. Is z composite?
False
Suppose -4*f - 64 = 5*d, 0*d = -2*d - 5*f - 12. Let y = d - -35. Is y a composite number?
False
Suppose 0 = 5*x - 3*x - 2*b - 850, -x + 2*b = -428. Suppose -y - y + x = 0. Is y a prime number?
True
Suppose v - 692 = 9. Is v a prime number?
True
Let t(y) = y**3 - y**2 - y + 196. Let u be t(0). Let l = u - 307. Is (3 + -1)/((-6)/l) composite?
False
Is ((-15)/3 + -84)*-1 a prime number?
True
Let f(u) = u**2 - 4*u - 5. Let h be f(5). Let v(y) = -1 - 2*y + h*y - y - y. Is v(-6) composite?
False
Let r = 485 + -66. Is r a composite number?
False
Suppose 6*u = 5*u + 4. Suppose -u - 130 = -2*q. Is q prime?
True
Suppose 3*t = h + 8452, -5*t + 3*h = -9*t + 11291. Is t a composite number?
False
Let g = 142 + -99. Is g a composite number?
False
Suppose 3*u - 598 = -5*t, 0 = -0*t + 2*t - 4*u - 234. Is t a prime nu