 -4*c + i*m + 0*m = -372, m - 174 = -2*c. Is c prime?
True
Suppose -4*f + 51 = 5*m, 3*f - 8*f = -4*m - 115. Is f composite?
False
Suppose -3*o = -f - 9, 1 = -5*o - 4*f - 1. Suppose -16 = -o*y - 4. Is (-1341)/y*4/(-6) prime?
True
Suppose -11 - 9 = 4*g. Is (g - -8)*118/6 a composite number?
False
Is (-8916)/(-20) - 2/(-10) composite?
True
Suppose -2*r - 280 = -7*r. Suppose 0 = 5*m - m + r. Let v = m - -37. Is v a composite number?
False
Suppose -3*x + x + 2 = 0. Suppose f + x = -1. Let i(h) = -2*h**3 + h**2 + 4*h + 3. Is i(f) a prime number?
False
Let u(m) = m**2 - 7*m - 4. Let s be u(6). Is 145/s*-2*13 prime?
False
Suppose -4*o + 662 + 1502 = 0. Suppose 5*l = -71 + o. Is l prime?
False
Let g(o) = o**3 - 5*o**2 + 10*o + 5. Is g(5) composite?
True
Is 4802/10 - 8/(-10) a prime number?
False
Suppose -62 + 487 = 5*a. Let g = -27 + a. Is g a composite number?
True
Let w(f) = 0*f**3 + 6*f**2 + 2*f**3 - 2 - 5*f - 3*f**3. Let n be w(5). Is (-9)/(-1) + (-1 - n) composite?
True
Suppose 0 = y - 0 + 2. Let q = 1 - y. Is q a prime number?
True
Is ((-6)/9)/(10/(-36555)) prime?
True
Suppose 2*z + 20 = -3*z, 0 = i - 5*z - 11. Is (-1011)/2*6/i composite?
False
Let v be (-4)/(-6) - (-35)/15. Suppose -f + v*z + z + 123 = 0, 0 = 4*z + 4. Is f a prime number?
False
Let s = 1 + 2. Suppose -2*y + 634 = 4*h, 4*y + 1 = s*y. Suppose -l = -0*l - h. Is l composite?
True
Suppose 0 = -4*z + 2 + 2, 0 = 2*a + z + 27. Let p(u) = -9*u - 6. Let t be p(5). Let l = a - t. Is l a prime number?
True
Let o(u) = -u + 6. Let x be o(6). Let z be x + 6 - 1 - 2. Suppose -z*w + 10 = 3*f + 1, 3*w - 5 = -4*f. Is w composite?
False
Suppose 0*o - 18*o = -16326. Is o a composite number?
False
Let y = 838 + -399. Is y composite?
False
Let v = 185 + -118. Is v a prime number?
True
Suppose -t + 2 = -1. Suppose -2*z - t*g = -310, 2*z - 2*g = 127 + 203. Is z composite?
True
Is 892/(-6)*(0 + 6 + -9) a composite number?
True
Let z(q) be the second derivative of q**5/40 - q**4/8 - q**3/3 + 2*q. Let l(s) be the second derivative of z(s). Is l(2) a composite number?
False
Let y(r) = r**2 - r - 2. Let n(i) = -4*i**2 - i. Let x be n(-1). Let j be y(x). Suppose 0*p + 2*p = 3*f - 115, -j = -f - 5*p. Is f a prime number?
False
Let x(v) = 90*v + 1. Let c be x(2). Let j = -88 + c. Is j a composite number?
True
Let m = 295 - -6. Is m prime?
False
Let q be 6/(-2)*(-6)/9. Is q/(-3) - (-56)/12 composite?
True
Let z = 46 - 25. Is z composite?
True
Let m = 88 - -499. Is m a composite number?
False
Suppose 3*n - 10 + 1 = 0. Suppose -n = 2*s - 3*s. Suppose s = -k + 7. Is k composite?
True
Let a = -27 + 14. Let u = 19 + a. Is u composite?
True
Let x = 1 + -8. Let f(c) = -c**3 - 6*c**2 + 6*c - 4. Let i be f(x). Suppose -2*a - 83 = -i*l + 30, 70 = 2*l + 4*a. Is l a composite number?
False
Let j(h) = 131*h**2 - 27*h + 5. Is j(-8) a composite number?
True
Let b be (836/(-10))/((-2)/(-20)). Let g = b + 1303. Is g composite?
False
Suppose -8*k + 20671 = 6087. Is k composite?
False
Let y be 2/6 + (-8)/(-3). Suppose 3*n - y = 3. Is n/(-4) + 54/4 prime?
True
Let q(u) = u**2 - 10. Let w be q(0). Is w/(-4)*(-8)/(-2) a composite number?
True
Is (-12)/18 - (-16340)/12 composite?
False
Let z(v) = 2*v - 5. Let m be z(4). Is (-1)/(m/669*-1) composite?
False
Let p = -20 + 13. Let s = p + -1. Is 1/(-2) + (-84)/s a prime number?
False
Suppose p = -4 + 198. Is p a prime number?
False
Suppose -3*m = -4*w - 19, 7*w - 5*m = 4*w - 6. Let i(p) = 7*p**2 + 7*p - 7. Is i(w) composite?
True
Let q be (-4)/(-6)*(-3765)/10. Let z = -132 - q. Is z a prime number?
False
Suppose 5*s - 20 = 5*i, -4*s + 20 = -2*i - i. Let j be 12/s*4/3. Suppose 0 = -0*c + j*c - 46. Is c prime?
True
Suppose 2*v - 273 = 5*s + 135, -204 = -v + 2*s. Suppose 3*f - v = -3*h, 0 = -4*h - 3*f + 133 + 136. Is h composite?
True
Let l be ((-26)/1)/2 - -1. Let v = l + 110. Let i = v + -59. Is i a prime number?
False
Suppose -3*y - 3*m - 162 = -3510, 0 = 5*y - 4*m - 5571. Is y a composite number?
True
Let n(b) = -3*b + 1. Suppose -2*m = -4*m - 2. Let x be n(m). Suppose 2*z - c - 49 = 0, 2*z - 30 = -x*c - 6. Is z composite?
True
Let h(n) = 3 - 4 - 1 + n + 24*n**2. Is h(-3) a prime number?
True
Suppose 18 = -3*h + g, -3 - 3 = h + 4*g. Let n(t) = -19*t - 5. Is n(h) composite?
False
Suppose 0*d + 5*d = 0. Suppose 0*z + 5*c + 525 = 3*z, c - 543 = -3*z. Suppose -4*w + 272 + z = d. Is w prime?
True
Let o(h) = -318*h - 13. Is o(-3) a prime number?
True
Let p(a) = -93*a + 13. Is p(-10) composite?
True
Suppose -3*r - 17 = -q, -r - 10 = r - 2*q. Is ((-2)/r)/(1/699) prime?
True
Suppose r - 292 + 29 = 0. Is r prime?
True
Suppose 0 = 21*a - 15*a - 16662. Is a prime?
True
Let c be -1 + 4 - 4/(-2). Suppose -5 = j, -j - j = -c*t + 125. Is t composite?
False
Let s(k) be the second derivative of -k**4/12 - 5*k**3/6 - k**2/2 - 2*k. Let a be s(-5). Is a - 9/(-3) - -35 composite?
False
Suppose 0 = 3*x - 4*u - 109, x - 4*u = -9*u + 68. Let z = 232 - 140. Let k = z - x. Is k composite?
True
Let f(m) = 0*m + 1 - 2*m + 16*m**2 + 3*m - 2*m. Is f(4) composite?
True
Suppose -3*y = -8*y - 810. Let x = y - -491. Is x a composite number?
True
Suppose u = -2*b + 231, 4*u + 3*b - 1122 + 178 = 0. Is u a prime number?
True
Let j(z) = -z**3 + 8*z**2 - 7*z + 3. Let s be j(7). Suppose -s*f + 550 = 2*f + 4*q, 545 = 5*f + 5*q. Is (f/(-4))/(5/(-10)) a prime number?
False
Suppose 4*r = 4*m - 24516, 0*m = -m - 4*r + 6119. Is m prime?
False
Let u(h) be the first derivative of 6*h**2 + 26*h + 7. Is u(14) composite?
True
Let i = 14 + -9. Suppose -i*s = c - 113, 0 = 3*c + 4*s - 128 - 189. Is c a composite number?
False
Let v = 110 - -68. Suppose 5*i - v = 3*i. Is i prime?
True
Let v(t) = -t**3 + t**2 + 2*t - 1. Let a be v(1). Is -329*(0 - a)/1 prime?
False
Is (-1)/(-3)*1227*1 prime?
True
Let d(z) = 4*z**2 + 5*z - 7. Let t(r) = 4*r**2 + 5*r - 6. Let f(v) = -2*d(v) + 3*t(v). Is f(3) prime?
True
Let j(w) = 33*w**3 + w**2 - w + 1. Is j(2) a composite number?
True
Let a be (-2 + 56/20)*-30. Is a/12*1262/(-4) a prime number?
True
Suppose 2*q = q - 3, -4*q + 908 = -4*l. Let s = l - -336. Suppose 3*g - s = -r, 4*g = 3*r - 0*g - 253. Is r a composite number?
True
Suppose 0 = -5*w - 5*t - 15, t + 29 = 2*w - 4*t. Suppose 0 = -2*m + 4 + w. Suppose 0*q - 257 = -4*o - q, -m*o + 210 = -5*q. Is o a composite number?
True
Let d = 12 + -4. Suppose x + 0*x = 4*c - 14, 0 = 4*x + d. Is (-1)/((-1)/c) - 0 a composite number?
False
Let h be (-54)/(-8) - 1/(-4). Let c(q) = 2*q - 5*q**2 - q**3 - 4*q + 14*q**2 - h. Is c(6) a composite number?
False
Let y(u) = -u**3 + 2*u**3 - 4*u - u + 4*u. Let m be y(1). Suppose 4*c - 92 = -m*c. Is c prime?
True
Suppose 0 = -4*l + 348 + 268. Suppose -2*h - 142 = -2*q, -7*q + 5*h = -5*q - l. Is q a prime number?
True
Let s(v) = 2*v - 5. Let b(x) = -x. Let q(m) = 3*b(m) + s(m). Let t be q(-6). Is 39*t - (-7 + 9) a composite number?
False
Suppose a - 2*a = -127. Is a a composite number?
False
Let a = 10 - 16. Let b(l) = -l**2 - 9*l + 7. Let m be b(a). Suppose 41 + m = 2*r. Is r prime?
False
Let z = -14 + 21. Let j(n) = 11*n + 9*n**3 - 7 + 6*n**3 - 11*n**2 - 13*n**3. Is j(z) composite?
True
Suppose 4*t = 2*w + 5*t + 19, 6 = -w + 3*t. Is (-3)/w + (-1072)/(-6) composite?
False
Let m(a) = -29*a**3 + 2*a**2 - 5*a - 3. Is m(-3) a composite number?
True
Let s be (-86)/(-6) - (-4)/6. Suppose -2*k = -k + s. Is ((-245)/k)/(2/6) prime?
False
Let n be (-3)/(-15) + (-38)/(-10). Suppose n*q = -r + 209 + 152, 0 = 4*q + 12. Is r a prime number?
True
Suppose 0 = -a + 79 - 0. Is a a composite number?
False
Suppose -92 = -d - d. Suppose -d = 2*u - 4*u. Is u a prime number?
True
Let b = 7 + -14. Let t be 2*-1 - (5 + b). Suppose t = 3*p + 3*g + 15 - 78, -4*p + 89 = -g. Is p a composite number?
True
Suppose 0*v = 3*o - 2*v - 709, -4*o = 2*v - 922. Is o composite?
False
Suppose 4*k - 2*l - 630 = -4*l, 5*l - 15 = 0. Suppose -h + 225 = -k. Is h a prime number?
False
Let h be (15/(-2))/(15/40). Let v = h - -47. Suppose -4*g = 2*p - 318, -p + 3*g + 107 + v = 0. Is p prime?
True
Suppose 2*b + 41340 = 5*g - 6593, 3*g + 5*b - 28766 = 0. Is g composite?
False
Suppose 2*p = 3*v - 755 + 1935, 4*v + 1772 = 3*p. Suppose u = 5*u - p. Is u a composite number?
False
Let l = -26 - -18. Is (-530)/l + 6/8 a prime number?
True
Is (4 - 46657)/(0 - 3) a composite numb