osite number?
True
Let h = 2435 + -778. Is h a composite number?
False
Let g(t) = -3*t - t + 0*t + 3. Is g(-8) a composite number?
True
Let r = 61 - -385. Is r prime?
False
Suppose -3*r + 9 = -3. Suppose r*w + 48 - 364 = 0. Is w a prime number?
True
Suppose 4*f = -2*n - 24, 2*f = -n + 6*f + 6. Let l(w) = w**2 + 7*w + 9. Let y be l(n). Is (-285)/(-9) + (-2)/y a prime number?
True
Let q = -6 - 22. Let j = q + 83. Is j a prime number?
False
Let r = 3 + -2. Let o be 9/(3 + 0) - r. Suppose 15 = o*m - 15. Is m a prime number?
False
Suppose 0 = -4*a - 3*c + 1, a + 7 = 4*a + c. Suppose 3*i + 3 = a*i. Suppose -70 = p - i*p. Is p a prime number?
False
Let n(l) be the second derivative of l**5/10 + l**4/12 - l**3/2 - l**2/2 - l. Suppose 3*p = -m + 7, -3*m + 16 = -2*p + 39. Is n(p) composite?
False
Suppose -5*y + 8577 = 2*f, 0 = -y - 5*f + 1457 + 240. Is y prime?
False
Suppose -5*u - 3*k = -20, -4*k - 12 = -3*u - 0*k. Suppose 5*n + 57 = -u*h + 464, 5*n = -3*h + 404. Is n a prime number?
True
Let p be (-10)/(-3)*12/8. Suppose -2*j = 10, -2*r - p*j = -206 - 11. Is r a prime number?
False
Suppose 697 = u - 4*z, -4*u + 4*z + 2922 - 170 = 0. Is u a composite number?
True
Suppose 0 = -y + 5, -2*p + 97 = 4*y - 161. Let j = -2 + 68. Let z = p - j. Is z composite?
False
Let c(n) be the second derivative of 13*n**7/420 + n**6/360 - n**5/120 + n**4/4 - 4*n. Let b(z) be the third derivative of c(z). Is b(1) a prime number?
True
Suppose 0 = -2*y + 12*y - 2110. Is y composite?
False
Let v(o) = 10*o**2 - o + 5. Let a(w) = 7*w**2 - w - 1 + 7 + 2*w**2. Let y(k) = -4*a(k) + 5*v(k). Is y(2) a composite number?
True
Is (-222560)/(-112) - 1/7 prime?
True
Let b be (-5 - (0 - 2)) + 46. Let i = 76 - b. Is i composite?
True
Let m be 10*(9/(-6) - -1). Let w be (5/2)/m*-2. Is (-5)/((-10)/36) + w prime?
True
Suppose -4*u + 44 = 4*m, -15 - 28 = -3*u - 5*m. Suppose -4*g + 5*x + u = 0, -x + 1 - 6 = 3*g. Let n(d) = -33*d**3. Is n(g) a prime number?
False
Is 5/15 + 1756/6 composite?
False
Let q(h) = 3*h + 4. Let j(i) = i - 13. Let s be j(15). Is q(s) a composite number?
True
Is ((-2)/(-3))/(14/2499) composite?
True
Let f = 23 + 32. Suppose -f = -3*j - 2*j. Suppose -3*o + j = -28. Is o composite?
False
Suppose 4*q - 4 = 8. Suppose -165 + 57 = -q*f. Suppose 2*a = 10 + f. Is a a composite number?
False
Let p = 447 + 10. Is p a composite number?
False
Suppose -5*h + 4*g + 1958 = 0, -111 = -h - 5*g + 298. Is h prime?
False
Let c be ((-168)/2)/3 + -1. Let b = c - -44. Is b prime?
False
Let u = 1233 - 844. Is u a prime number?
True
Suppose -3*w + 265 = 2*w. Suppose -w = -t + 2. Suppose 0 = -4*i + t - 3. Is i a prime number?
True
Let u(x) = x**2 + 2*x + 4. Let s be u(-3). Let f(n) = 5*n**2 - 7*n + 10. Let b be f(s). Suppose 2*i - b + 28 = 0. Is i composite?
False
Let f(k) = -k - 14. Let n be f(13). Let d = n + 46. Is d composite?
False
Suppose 188 = 4*q + 2*j, 2*q - 6*q - 5*j + 194 = 0. Let x = q - -33. Is x prime?
True
Suppose 2*o + o = 12. Suppose 660 = 3*z - p - 2*p, z + o*p = 205. Is z a prime number?
False
Suppose -4*n - 2*p = p + 154, -4*p - 193 = 5*n. Let g = 12 + n. Let l = 56 + g. Is l a composite number?
False
Let r(k) = -45*k**3 - 3*k**2 - 3*k - 3. Let l be r(-2). Is l - 3*16/(-12) prime?
False
Suppose 14*y - 10*y = 4852. Is y a prime number?
True
Suppose 0 = -6*n + 3 + 21. Let b(m) = 113*m - 3. Is b(n) a prime number?
True
Let c(m) be the first derivative of 107*m**2/2 - 3*m + 7. Is c(2) a composite number?
False
Let m(x) = -x**3 + 8*x**2 + 9*x - 6. Let c be m(9). Let a(i) = i**3 + 7*i**2 - 5*i - 7. Is a(c) a composite number?
False
Suppose 0 = i - 0*i - 136. Suppose -4*q + 418 = -3*c + i, -5*q + 335 = 5*c. Is q a composite number?
True
Let z = 437 - -68. Is z a composite number?
True
Let j(p) = p**2 + 4*p + 4. Let m be j(-3). Let l = -2 + m. Is (l/2 + 1)*190 a prime number?
False
Let w(v) = v - 6. Let x be w(6). Suppose x*p - 2*p = -886. Is p prime?
True
Let d(m) = m**3 - m**2 - m + 4. Suppose -2*f + 3*w = -5*f, -w = 0. Let y be d(f). Suppose -y*t + 2*x + 212 = 4*x, -3*t + 159 = -x. Is t a prime number?
True
Suppose 2*r + 3 = -2*m + 5, 0 = -4*m + r + 29. Let b be 1 - -33 - (14 - 18). Is (-1)/(-2)*(m + b) a prime number?
False
Suppose -4*g + 3*s = 4 - 26, -5*s = g + 6. Suppose 3*h + g = -h. Is -55*(h + 3 - 3) a composite number?
True
Let n = 25 + -23. Is ((-67)/n)/((-3)/30) a composite number?
True
Suppose -4*r = 5*q - 2507, 3*r + 3175 = 8*r - 2*q. Is r composite?
True
Let b(a) = a**3 + 4*a**2 + 3*a. Let y be b(-3). Suppose 0 = 5*n + 15, y*r - 3*n - 102 = -r. Is r a prime number?
False
Suppose -940 = 8*j - 3364. Is j a composite number?
True
Let d be 9*(-1 + (-76)/(-6)). Suppose -d = -3*j + 126. Is j composite?
True
Suppose -2*k + 4*k - 432 = 0. Suppose 2*h = -4*f + k, 2*h = -3*f - 11 + 226. Is h a prime number?
False
Suppose -3*z + 6 + 3 = 0. Is 21*(z + 12/(-9)) a prime number?
False
Suppose -1 = u + 3. Let z be (-654)/(-14) - u/14. Suppose 4*m - 5*m + z = 0. Is m composite?
False
Let m(s) be the first derivative of -24*s**2 - s - 1. Let k be m(-1). Let q = -16 + k. Is q a prime number?
True
Suppose i - 3 = 4*z, z + z = -i - 3. Let a(k) = 20*k**2 - k. Is a(z) prime?
False
Let d be ((-12)/10)/(6/(-20)). Suppose 0*w - 5*x - 19 = -d*w, -5*w - 5*x = -35. Is w prime?
False
Let f = 78 + 239. Is f a prime number?
True
Let b(d) = -5*d - 1. Let g be b(1). Let w(m) = m**3 + 7*m**2 + 7*m + 9. Let j be w(g). Is 2/(4/498*j) a prime number?
True
Let z be (-4)/(36/(-28) + 1). Is 2/(-7) + 3098/z a prime number?
False
Suppose 2*p + 0*p = 242. Is p prime?
False
Suppose -2*g + 5*n + 329 = 0, 7*g - 2*g + 3*n - 838 = 0. Is g a prime number?
True
Suppose r + 4*j - 37 - 43 = 0, -r + 5*j + 53 = 0. Let f = 10 + -6. Suppose -4*a + 11 = -4*s - 73, -4*a = f*s - r. Is a a composite number?
False
Suppose -j = -6 - 0. Let z = j + 5. Is z composite?
False
Let i be 298/(-3) - (-3)/9. Let r = -62 - i. Is r composite?
False
Let h(a) = -a**3 - 9*a**2 - 3*a - 3. Suppose 0 = 3*t - 2*l + 25, -5*t + 2*l - 6*l = 27. Let c be h(t). Let d = c + 133. Is d a prime number?
True
Let n = 600 + -247. Is n a composite number?
False
Suppose -5*g + 4*g = -211. Is g a prime number?
True
Let h = 17 + -1. Let d(n) = -16*n + h*n + n**2 + 25. Is d(0) prime?
False
Suppose 5*b + 941 = 14836. Is b a prime number?
False
Let a = 823 + 862. Suppose 5*z = 5*s - a, 5*s - 1000 = 3*z + 693. Is s prime?
False
Is (2/6)/((-1)/(-807)) prime?
True
Let r(o) = -2*o**2 - 2*o - 7 - 5*o + 1 + o**3 + 1. Is r(6) prime?
True
Let t = 1 - -5. Is 81 + 4/t*-3 prime?
True
Let i be 5/(5/2) + 2. Suppose 3*q = -i*n + 12, -4*q - 3*n + 12 = -4. Suppose -3*f + 7 = 1, 0 = -2*r + q*f - 2. Is r composite?
False
Is 1*(-10)/(-6)*1191 a composite number?
True
Suppose 0 = 2*k + 5*z - 193, -4*k = -z + 6*z - 371. Is k composite?
False
Suppose -4 + 15 = 2*y - a, -5*a = -4*y + 25. Suppose 4*b - 429 + 10 = -y*m, -5*b + 531 = -m. Is (b/(-4))/(3/(-6)) prime?
True
Suppose -55 = 2*g - 13. Let c = 0 - -6. Is g/c*(-2)/1 a prime number?
True
Suppose 3*g - 5*t - 9 = 264, 396 = 4*g + 4*t. Suppose -4*v - 12 = 0, -3*k + 3*v + 222 = -g. Is k composite?
False
Let x(c) be the first derivative of -c**3/3 + 3*c**2/2 + 3*c - 1. Let z be (-5*6/(-5))/2. Is x(z) prime?
True
Let i(z) = 319*z - 8. Is i(9) composite?
True
Suppose 8 = -c - 444. Let q = 41 - c. Is q prime?
False
Let y(a) = a + 13. Let q be y(-8). Suppose 121 - 11 = -q*m. Let z = m + 55. Is z composite?
True
Let i = -3 - -1. Let q = 0 + i. Is 4/q - 21/(-1) composite?
False
Suppose 0*z = -3*z + 69. Suppose 28*s - 925 = z*s. Is s a composite number?
True
Let j(h) = -h**2 + 6*h + 5. Let f be j(6). Let w(i) = i**2 - i - 1. Is w(f) prime?
True
Let j(q) = -4 - 4*q + 9 + 3*q. Let n be j(4). Suppose n + 5 = p. Is p composite?
True
Suppose 3 = 5*s - 2*s. Let v be (-2 - (-1 - 1))*s. Suppose d = -3*i + 9, -d + v*d = -3*i - 21. Is d prime?
False
Suppose 5*b = 5*c - 640, 2*b = -b + 12. Suppose 0 = 4*q - 0*q - c. Is q prime?
False
Is (-8)/(-28) - (-2007)/7 a prime number?
False
Suppose -z = 3*z - 556. Is z composite?
False
Let q(r) = -12*r - 5. Is q(-6) prime?
True
Let q(a) be the first derivative of a**4/4 + 8*a**3/3 - 13*a**2/2 - 11*a - 2. Is q(-9) a composite number?
True
Let w be (-350)/91 + 2/(-13). Let o = w + 3. Is (-13)/((-12)/9 - o) a composi