rime number?
True
Suppose -5*j + 5*b + 15 = 0, 2*j - 2*b = -7*b + 13. Suppose 4*t = 5*z + 304 + 659, j*t = -z + 945. Is t a prime number?
False
Let m be 4/(2*4/(-288)). Let t = m - -437. Is t composite?
False
Let r(x) = -x**3 + 2*x**2 + 5*x - 4. Let f be r(3). Let y = -23 - -44. Suppose 49 = f*k + y. Is k composite?
True
Let m(u) = -u**2 + 5*u - 4. Let b be m(4). Suppose -3*d = -4*w - 5*d + 74, d + 3 = b. Is (-2 - 1)*w/(-6) composite?
True
Suppose -6*j + j = 0. Let x = -19 - -87. Suppose f + f - x = j. Is f a prime number?
False
Let u = 3 - 8. Let k = 7 + u. Let p(o) = 11*o + 1. Is p(k) prime?
True
Suppose 4*w - 232 - 627 = -3*u, -2*u + 561 = 5*w. Is u a composite number?
False
Let d(m) = 37*m**2 + 4*m + 2. Let v = 1 + -4. Is d(v) prime?
False
Let i(x) = -x + 6. Let q(r) = -r + 7. Let b(s) = 4*i(s) - 5*q(s). Let m be b(8). Is -1 - m - 0 - -8 a prime number?
False
Suppose -l - 2*l - 2*j = 26, 0 = l + 3*j + 18. Is (105/l)/(-5)*14 a composite number?
True
Let v = -95 - -263. Suppose 5*j + 2*p = -p - v, -j + p - 40 = 0. Let l = j + 83. Is l composite?
False
Let c(g) = 16*g**2 + 2*g + 1. Let n be c(-1). Suppose -5*s - n = -0*s, -21 = -3*u + 5*s. Is 35 + (-2 - -4) + u composite?
True
Suppose 0 = 3*h - 4198 + 1177. Is h prime?
False
Let w(h) = -24*h**3 - 3*h**2 + 6*h + 7. Is w(-4) prime?
True
Is (-2930)/(-50) - (-2)/5 prime?
True
Let o = 1284 + -629. Is o a composite number?
True
Suppose 7 = 2*o + z, -2*z + 0 = 2*o - 12. Let d be (21 + 1)*(0 - o). Let p = d - -41. Is p composite?
False
Suppose 5*b + 795 = 8*b. Is b a composite number?
True
Suppose 3*h - k = 2721, 0 = -2*h - k - 0*k + 1814. Is h a composite number?
False
Suppose 2*z = 2*j - 68, 2*z + 164 = 5*j - z. Is j prime?
True
Let y = 579 + -112. Is y composite?
False
Let y(j) = 27*j + 1. Is y(2) composite?
True
Let s = 168 + -11. Is s a prime number?
True
Let b(q) = q + 11. Let f be b(-10). Let p be f/(-3)*(-33 - -3). Let t = p + 99. Is t a composite number?
False
Let r = -21 + 13. Let n(g) = -11*g + 5. Is n(r) a composite number?
True
Suppose 5*z = -5*l + 285, -6*z = -2*z - l - 208. Is z a composite number?
False
Let k(r) = r**2 - 3*r + 3. Let z be k(7). Let q = z + -17. Is q a prime number?
False
Let o = 34 - 22. Let g be ((-129)/o)/((-2)/(-8)). Let s = g - -77. Is s a composite number?
True
Let x be -6*2/9*-3. Suppose -28 = -x*o - 0*o. Is o a prime number?
True
Suppose 5*l = 5, 5*d - 5*l - 10 = -0*l. Suppose -m + 368 = -o, d*o - 393 = -m - o. Is m prime?
True
Let m be 2 + 1 - (1 + 176). Let v be (-10)/(-3)*m/(-4). Suppose -2*r + g + v = -r, 3*r + 4*g - 435 = 0. Is r a prime number?
False
Let i(c) = -2*c - 6. Let f be i(-4). Let m be 1/(-2*f/(-292)). Suppose m = 3*x + 28. Is x composite?
True
Let u(p) = -6*p + 13. Is u(-7) prime?
False
Let c(m) = 4*m**3 - 3*m**2 + 4. Let t(j) = 4*j**3 - 3*j**2 + 3. Let p(d) = -5*c(d) + 6*t(d). Is p(3) composite?
False
Let j(f) = -8*f - 3. Let w be j(-12). Let u = 118 + w. Is u prime?
True
Let d(p) = 7*p**3 - p**2 - 2*p + 8. Let j be d(-4). Let h = -287 - j. Is h a prime number?
False
Suppose -3*p + w - 39 = 387, 0 = -3*w - 9. Let s = p - -240. Is s prime?
True
Suppose -4*b - 36 = 5*j + 53, 3*j = -3*b - 63. Let r = b + 27. Is r a prime number?
True
Let n(r) = -2*r**2 + 5*r**2 - 2*r**3 + 2*r**2 + 7*r - 4. Let z be n(6). Is (-2)/5 + z/(-10) composite?
True
Let z(p) = p + 20. Let t be z(0). Suppose 0 = -4*a + t + 36. Is a/2*(4 + 1) a composite number?
True
Let b(s) = 4*s**2 + 15*s + 9. Let d(r) = -2*r**2 - 7*r - 4. Let j(c) = 3*b(c) + 5*d(c). Suppose -5*u + 2*u + 5*t + 7 = 0, 5*t = -5*u - 55. Is j(u) prime?
True
Suppose 3*m - 3*t + 50 = -88, 2*m - 3*t = -95. Let l = -4 + 7. Let d = l - m. Is d a prime number?
False
Let s = 23 - 33. Is (-970)/(-14) + s/35 a prime number?
False
Suppose 16*t - 21*t = -105. Is t prime?
False
Let v(u) = -39*u. Let n(q) = -59*q. Let p(t) = 5*n(t) - 8*v(t). Is p(2) composite?
True
Suppose 165 = -6*h + 1143. Is h composite?
False
Suppose 2*a - 603 = -4*t + 1083, 0 = 3*t + a - 1262. Is t prime?
True
Suppose 0 = -5*a + u + 2433, 4*a - u + 6*u - 1958 = 0. Is a prime?
True
Let b(m) = 32*m**2 + 7*m. Let d be b(-3). Is (-6)/(-24)*(1 + d) composite?
False
Let b = -343 - -1909. Let w = b + -802. Is w/6 - (-1)/(-3) a prime number?
True
Let a(h) = -2*h + 2. Let z be a(-1). Suppose 3*l + 323 = 2*o, -5*l + 1 = -z. Is o composite?
False
Let h be (-4)/(-10) - (-684)/15. Let c = h + -21. Is c prime?
False
Is 7/(-21)*(-769 - 2) prime?
True
Let n be 6 + 2/(-1 - 0). Suppose 3*d = n*d - 127. Is d prime?
True
Let q be 2/((-17)/15 - -1). Let h = 9 + q. Let g(x) = -x + 8. Is g(h) prime?
False
Let a(d) = -33*d**3 + d**2 - 3*d - 8. Is a(-3) a composite number?
True
Suppose -7 = w - 0*w. Let p(n) = -20*n + 0 + 10 + 13*n. Is p(w) prime?
True
Let m be (-6)/(2/(-16)*-6). Let t = -4 - m. Let q = t - -18. Is q prime?
False
Let y be (123/(-6))/(3/(-54)). Suppose 2*x - 248 = -2*r + 4*x, -3*r + 4*x + y = 0. Is r a prime number?
True
Let s(p) = -30*p - 11. Is s(-11) prime?
False
Let k = 4 - 2. Let r(y) = y**2 - 3*y - 2. Let n be r(4). Suppose k*z + n*v = 16, -z + 4*v - 2*v + 23 = 0. Is z composite?
False
Let k = 179 - 64. Is k prime?
False
Let m = 1 - 3. Let i = -2 - m. Suppose 4*d - 89 - 99 = i. Is d a composite number?
False
Let j be 110/25 - (-2)/(-5). Suppose -4*p + 5*p = j. Suppose 105 = p*i + i. Is i prime?
False
Let m(g) = 3*g - 6. Let h be m(4). Let q be (-2)/h*(-4 - 2). Suppose -5*j + q*i + 751 = 0, -5*i - 757 = -5*j - i. Is j composite?
False
Suppose 0*t - 40 = 5*t. Is ((-6)/t)/(1/52) a prime number?
False
Let g(k) = 380*k**2 - 1. Is g(1) a composite number?
False
Suppose 4*c = -4*n - 32, -2*n + 4*c = 2*n + 16. Let m(h) be the second derivative of -20*h**3/3 - 5*h**2/2 - h. Is m(n) a composite number?
True
Let s be (-24)/20*(0 - (1 + -6)). Let t(d) = 4*d**3 + 2*d**2 + d. Let p be t(-1). Is 24*2 - s/p prime?
False
Let d be 3/(0 + 1) + -135. Is (-3)/(-2 - d/68) prime?
False
Let q be (-2 - 36)/1*-1. Let h be 1/(-4) + q/(-8). Is (-25)/((-3)/(-2 - h)) a prime number?
False
Let u be (4/8)/(3/1488). Suppose -2*f + 110 = -u. Is f composite?
False
Suppose -h = -4*h + 2607. Is h a prime number?
False
Suppose 4*f = 9*f - 10645. Is f a composite number?
False
Suppose 0 = n - 4*l - 12, 2*n + 3*l = 4*n - 14. Suppose 2*y + 3*b = n, -1 + 3 = y - 5*b. Suppose 2*s = s - y, -121 = -5*r - 2*s. Is r a prime number?
False
Let c be (-282)/7 + (-2)/(-7). Is (-16)/c - 366/(-10) prime?
True
Let f(h) = 10*h**3 - 1. Let o be f(1). Let s(q) = -7*q**3 - 3*q**2 - q. Let l be s(-2). Let b = l - o. Is b a composite number?
False
Let l be (0 + -2)*(-5)/2. Suppose -l = k - 64. Is k a composite number?
False
Let h be 22/(-5) + (-6)/(-15). Is (-3110)/(-20) - 6/h composite?
False
Let j(m) = 14*m - 2. Let p be j(1). Let d(u) = u**3 - 10*u**2 - 17*u - 7. Is d(p) composite?
True
Suppose 61 = u + 4*z, -2 + 53 = u - z. Suppose u = 5*m - 57. Suppose 79 = k + m. Is k composite?
True
Suppose 0 = 3*b + g - 1433 - 596, b = -3*g + 671. Is b a prime number?
True
Suppose -3*r + 2 = -2*r. Suppose -17 - 27 = -r*x. Is x a composite number?
True
Let m = -568 + 1457. Is m composite?
True
Suppose 5*m = -5*f + 2925, -3*m = 7*f - 2*f - 1751. Is m composite?
False
Let t(n) be the third derivative of 3*n**5/20 + n**3/6 - n**2. Suppose -2*k + 10 = -3*z + 6*z, -3*k = z - 8. Is t(z) composite?
False
Suppose -7*l + 3*l = -4*d, -2*d = -4*l. Is l - 1/((-2)/206) a prime number?
True
Let k(c) = -14*c**3 + 2*c**2 + 2*c + 3. Suppose -5*q = 2*s + 9, 2*q = 3*s - 2*s. Is k(s) prime?
False
Let o(k) = 12*k**2 - 7*k + 14. Is o(-11) prime?
True
Let b = -897 - -1576. Is b composite?
True
Let h = 94 + -45. Let v = h - 14. Is v composite?
True
Suppose 5*z - 11599 = 2*i, -8*z - 3*i = -5*z - 6972. Is z a prime number?
False
Let x(l) = l + 3. Let a be x(3). Suppose -a - 12 = -3*f. Suppose 0 = f*o - 2*o - 308. Is o a prime number?
False
Is (-48)/(-1) - (2 + 0) composite?
True
Suppose -4*c + 5350 = 2*s, -5*s - 1310 = c - 2*c. Suppose 0 = -4*f + c + 2637. Is f composite?
True
Let y(f) = -2*f**3 - 10*f**2 - 8*f + 7. Suppose 3*i + 12 + 9 = 0. Let s(w) = w. Let l be s(i). Is y(l) a prime number?
False
Let j(g) = -18*g**3 + 5*g**2 + 2*g - 4. Is j(-3) a prime number?
True
Suppose -3*t = 2*t - 3*v - 1324, -3*t - v + 786 = 0. Is t composite?
False
S