t c = r + p. Is c a prime number?
True
Let s = -8 + -2. Let f(t) = t**3 + 9*t**2 - 11*t + 13. Let l be f(s). Let b = 36 - l. Is b prime?
True
Let c = 221 - 135. Let y = -119 + 66. Let t = c + y. Is t a composite number?
True
Let t = 464 - 262. Let d be -1 + 0 - (-8 - -2). Suppose -d*b = 2*n - 635, -3*n + t = 2*b - 41. Is b prime?
False
Suppose s + 18 = -6. Let b(d) = 10*d**3 + 4*d**2 - 2*d - 1. Let m be b(2). Let n = m + s. Is n a prime number?
True
Let w(c) = 3917*c + 2. Is w(1) a prime number?
True
Suppose 0 = -6*u + 73 + 161. Let b = -14 + 27. Suppose b = 4*c - u. Is c a composite number?
False
Let o be (-2)/(-11) + 138/(-33). Let i(f) = 5*f + 0*f**3 - 11*f - 3 + f**3 + 4*f**2. Is i(o) composite?
True
Let u(q) = -q**2 + q - 14. Let p(w) = 15. Let f(r) = -3*p(r) - 2*u(r). Is f(9) a composite number?
False
Let f(q) be the first derivative of q**2/2 + 97*q + 2. Is f(0) a composite number?
False
Suppose 2*r + 3*r - h + 32 = 0, -4*r - 22 = h. Let x(i) = i + 8. Let s be x(r). Suppose s*m = -0*m + 266. Is m composite?
True
Let l be (2 - 3)*1*-22. Suppose 5*o + 0*j + 2*j - 179 = 0, -5*j + l = o. Is o a composite number?
False
Suppose -3*a + 152 = -229. Is a a composite number?
False
Let v(z) = 34*z - 8. Let l be v(4). Let d = -15 + l. Is d prime?
True
Let g = -57 + 14. Let p = 65 + g. Is p prime?
False
Let u(q) = -q**2 + 4*q - 2. Let l be u(4). Let y = l - -8. Is y prime?
False
Suppose 5*j + 10 = -5. Let o be (2 - 22)/(j/(-18)). Let w = o + 175. Is w a composite number?
True
Let g(o) = 8*o**2 + 31*o - 16. Is g(11) a prime number?
False
Suppose 3*r = -10 + 1. Suppose 0 = 5*p - 4*d - 17, -2*p + 2*d = 3*d - 12. Let v = r + p. Is v a composite number?
False
Suppose -2*t - 128 = 4. Let d = 125 - t. Is d prime?
True
Suppose d + 3*d + 32 = 3*k, d - k = -8. Let m(l) = 5*l - 7. Let u(w) = -15*w + 21. Let x(h) = 17*m(h) + 6*u(h). Is x(d) a prime number?
True
Let d(w) = 3*w - 3. Let b be d(2). Let c be 5 - (3/b - -1). Suppose -147 = -4*s - 5*j - c, -4*j = -2*s + 46. Is s composite?
False
Is 25 + (4 - 0 - 6) a composite number?
False
Suppose 4 = -2*b + 2, i - b = 1440. Is i prime?
True
Suppose 0 = 5*f + 3*r - 773, -3*f + 2*r + 475 = r. Is f composite?
False
Let m be 8/(-6)*1593/(-6). Let d be m/12*4/(-2). Let x = 12 - d. Is x a composite number?
False
Suppose 0 = -5*m - 4*g + 1416 + 3341, -5*g = 10. Is m composite?
False
Suppose 4*g - 152 = 440. Suppose w + 0*w = 5. Suppose h + g = w*h. Is h composite?
False
Let d(z) = z**3 + 7*z**2 + 7*z. Let j be ((-4)/5)/((-2)/25). Suppose -5*y - 5*h - j = 0, -3*y + 3*h = -h + 27. Is d(y) prime?
False
Let q = 0 + -7. Let m = -28 - -28. Is (m - 1 - 28)*q a composite number?
True
Let m(u) = 171*u**2 - u - 3. Is m(2) composite?
True
Suppose -3*j + 1909 - 670 = 0. Is j a prime number?
False
Let f(m) = 74*m**2 - 8*m - 5. Is f(-3) composite?
True
Is -3 - 618/(2 + -5) a prime number?
False
Let y(r) = 22*r - 8. Let p be y(-8). Let m be ((-10)/8)/(2/p). Suppose -3*z + 3*l = -z - m, -3*z + 174 = -5*l. Is z prime?
True
Let t(y) = 34*y - 2. Suppose -g = -2*g + 2. Let f be t(g). Suppose -w + 5*v - f = -5*w, -5*w + 72 = v. Is w a composite number?
True
Let i(y) be the first derivative of 2*y**3/3 - 2*y**2 - y - 1. Let k be i(-3). Let r = 63 - k. Is r a composite number?
True
Let f(r) = 7*r**2. Let n = -7 - -6. Is f(n) prime?
True
Let g be (11 + 1)*7/21. Suppose -5*w + 291 = 4*f, -36 = 5*f - g*w - 369. Is f a composite number?
True
Suppose -3 = -3*z + 3. Let g(t) = 0*t**z + 4*t - 5*t - 2 + 2*t**2. Is g(-5) a prime number?
True
Let y(m) = 5*m + 6. Let x be y(5). Suppose -g + 74 = x. Is g a prime number?
True
Suppose 0 = 5*o - 4*y - 22, 2*o - 14 = -o + 2*y. Let q = o - 2. Suppose 18 = 4*f - 3*a, -7*a + 24 = 3*f - q*a. Is f composite?
True
Let m = 83 - -12. Is m composite?
True
Let p = 1 + -1. Suppose -w = 5*y - 38, p*w - 72 = -3*w - y. Is w composite?
False
Suppose 594 = 4*f + p, p - 2 = -4. Is f a composite number?
False
Suppose 3145 = 4*h - g, -4*h + g + 3142 = -g. Is h prime?
True
Suppose k + 1 = -1. Is 2/(-2) - (-6 + k) a prime number?
True
Let j(d) = d**2 + 2*d - 1. Let h be j(1). Suppose 2*u + u - 139 = -4*m, -h*m + 5*u + 89 = 0. Is m composite?
False
Suppose 5*l = 2*s - 6*s + 1192, 2*l = 5*s - 1457. Is s a composite number?
False
Suppose -3*c = t - 14, 2*c + t - 9 = -0. Suppose p - 2 = -c*h, -2*h = -p - 4*h + 5. Suppose p*f + 3*v = 3*f + 373, -3*v + 9 = 0. Is f a composite number?
True
Let g be 81 - (-3 + 2)*0. Suppose -h + 5*w + 0 + 13 = 0, -5*w - 7 = h. Suppose -h*q + 474 = g. Is q composite?
False
Let l(p) = 4*p + 1. Suppose 3*r + 3 = 0, -o + 4*r = -17 - 3. Is l(o) a composite number?
True
Suppose 2*u + 3*d - 754 = 3075, -4*d - 9515 = -5*u. Is u composite?
False
Let y(g) = -73*g - 2. Let s be y(-4). Let m be (-4 - -1)/((-9)/15) + 1. Suppose -m*v + s = -v. Is v prime?
False
Suppose -13 - 7 = 4*j. Let k be j/4 - (-3)/12. Is (-516)/(-8) - k/2 prime?
False
Is (-1)/(((-10538)/5268 - -2)*2) a prime number?
False
Let y = -3 + 5. Let p(n) = 4*n - n**y + 1 - n**3 + 0*n**2 + 7*n**2 - 3*n**2. Is p(3) a composite number?
False
Let t(g) be the first derivative of -3*g**4/4 + g**3/3 - 2. Let k be t(-3). Is k*1 - -1 - 0 a composite number?
True
Suppose 3*l = 5*l - 118. Is l a prime number?
True
Let f be 16 + (0 - 1) + -1. Let y(n) = n**2 + 7*n - 2. Let m be y(-6). Let i = f + m. Is i composite?
True
Suppose 5*r - 3*r = -278. Let i = -30 - r. Let y = -74 + i. Is y prime?
False
Let g be (2/(-8))/(2/(-8)). Let u be (1 - 0) + (g - 0). Let v(f) = 9*f - 3. Is v(u) prime?
False
Let k = -12 + 16. Suppose -5*g + 16 = -9, 857 = k*m + g. Is m prime?
False
Is -3 + 1/((-4)/(-1328)) composite?
True
Suppose 381 = 2*q - q. Is q prime?
False
Let k(a) = 2*a**2 - 4*a - 1. Suppose 10 = -0*o + 2*o. Suppose 0 = o*g + 4*x + 37, 5*g - 3*x + 2*x + 22 = 0. Is k(g) a prime number?
False
Let z(d) = -d**3 - 9*d**2 - 9*d - 5. Let t be z(-8). Suppose 23 = -5*s + t*k + 99, -4*k = 4*s - 48. Is s a composite number?
True
Suppose -d + 5*a = -4, d - 6*d - a = -20. Suppose d*h = 1292 + 872. Is h composite?
False
Let w(u) = 8*u**3 - 4*u + 3. Let r(f) = -f**2 - f + 1. Let c be r(-1). Suppose -3*p - c = -7. Is w(p) composite?
False
Let z(r) = 4*r + 4. Let d be z(3). Let m = 32 - d. Let s = 69 + m. Is s composite?
True
Let m be (-5)/(-20) + (-478)/(-8). Suppose 45 = 5*d - m. Is d composite?
True
Let y = 30 - 21. Let k(d) = 2*d**2 + 3*d + 2. Is k(y) composite?
False
Is 3976/(-16)*(1 - -1)*-1 a prime number?
False
Suppose 3*n = 4*j - 449, -111 = -j - 0*j + 2*n. Is j a composite number?
False
Let m = 66 - -685. Is m prime?
True
Suppose a = -0*a - 2. Is (-5)/15*114/a composite?
False
Suppose t + 3*t = -4*o + 304, t = 4*o + 56. Let d = t + -41. Is d a prime number?
True
Let a = 358 + -179. Suppose 4*f - 4*z - 132 = 0, -4*z - a = -5*f - 9. Is f a composite number?
True
Let i(z) = 425*z + 15. Is i(2) composite?
True
Suppose 0 = 5*l - 2*p - 3, -6 = -4*p - 22. Is l/2 - (-1149)/6 prime?
True
Let p(q) = -129*q**3 - q**2 - 1. Is p(-1) composite?
False
Let k = -7 - -14. Let h = 8 - k. Is 1/(h/2) - -75 a composite number?
True
Suppose -2*j + 4 = 2*v, 0 = -5*j - 4*v - 2 + 13. Suppose j*c - 1140 = 3*t, 184 + 1698 = 5*c + t. Is c prime?
False
Let j(n) = 3*n**2 - n + 1. Let a = -3 + -3. Let i = a - -3. Is j(i) a composite number?
False
Let c(q) be the third derivative of -13*q**5/30 + q**3/6 + 2*q**2. Let t be c(1). Is (-365)/t - (-2)/5 a prime number?
False
Let w(l) = l**3 + 7*l**2 + 2*l - 5. Let v be 13/6 - (-2)/(-12). Let x = -3 - v. Is w(x) a composite number?
True
Suppose -3*w - 3*k + 48 = -3, 0 = 5*k + 5. Let b = 33 - w. Is b a composite number?
True
Let i(h) = -h**3 - 8*h**2 - 8*h + 10. Let q be i(-7). Suppose w - 2*z = q, 2*z - 6*z + 61 = 3*w. Is w a prime number?
True
Is (-1631)/(-21) + (-6)/9 prime?
False
Suppose -a = 4*a - 325. Is a a prime number?
False
Let f(n) = -9*n**3 - 3*n - 3. Let s be f(-2). Is (1 - -1)/(6/s) composite?
True
Suppose -6 - 19 = -5*m. Suppose 3*y = 3*w + 240, 5*y + 0*w - 390 = -m*w. Is y prime?
True
Let f(c) = -c**2 + 12*c - 5. Let y be f(11). Is (2/5)/(y/4470) a prime number?
False
Let h = -367 - -803. Let n = h - 143. Is n composite?
False
Suppose b = -0*b - 127. Is (b/2)/((-1)/2) a composite number?
False
Is (-3)/(-5) - (-38024)/35 a prime number?
True
Suppose 0 