rime number?
True
Let l(c) = c - 1. Let q(y) = -y**2 + 12*y. Let g(h) = -l(h) + q(h). Let k(b) = -b**2 + 8*b + 6. Let t be k(8). Is g(t) prime?
True
Suppose 5*h - 936 = 339. Suppose -4*s = s + h. Is (-5)/25 + s/(-5) a composite number?
True
Let k(w) = -w**3 + 3*w**2 - 4*w. Let z be k(3). Let g be (z/15)/((-6)/75). Let q = 9 + g. Is q prime?
True
Let k(r) = r - 5. Let s(v) = v - 1. Let u(h) = 2*k(h) - 6*s(h). Let p be u(13). Let g = p + 89. Is g prime?
False
Let r = 64 + -34. Suppose -k - 4*u + 55 = 1, k - r = 2*u. Suppose 3*p - 5*p + k = 0. Is p prime?
True
Let h(u) = 40*u**3 - 3*u**2 + u. Let b be h(2). Suppose 5*q - 35 = b. Is q a prime number?
False
Let d(u) be the third derivative of -u**5/30 - u**4/24 + u**3/3 + u**2. Let r be d(-2). Let z = r - -7. Is z prime?
True
Let u(a) = 4*a**2 - 11*a + 8. Is u(7) a composite number?
False
Let j be 1 + 0 - (-20)/(-4). Let a(f) = f**3 - 3*f - 2. Let h be a(-2). Is ((-134)/h)/((-2)/j) a composite number?
False
Let g(v) = -v + 2. Let c be g(2). Suppose b - 77 = 2*r, b = 5 - c. Is (r + -2)/(2*-1) a composite number?
False
Is (-191471)/(-28) + 3/4 a prime number?
False
Let l(q) = 84 - 3*q + 2*q - 19 + 2*q - q**3. Is l(0) prime?
False
Let x = 1134 - 493. Is x a prime number?
True
Let u = 0 + 0. Suppose u = 3*f + 685 - 1942. Is f a prime number?
True
Let t(n) be the first derivative of 49*n**3/3 + n**2/2 - n + 3. Is t(1) prime?
False
Suppose 4*w - 3 = 3*w. Suppose -n + w = -2*n. Is 85/((-1 - n)/2) a prime number?
False
Let p(z) = z**2 - 1. Let l be 38/6 - 2/6. Is p(l) a prime number?
False
Suppose -4 = -2*q - 2. Let y be 4/(q*(-1)/(-2)). Is (74/y)/(2/8) a prime number?
True
Is (-5)/(20/8) + 735 composite?
False
Let b be 10 + 3 - (0 + 0). Suppose -b = -o + 42. Is o a prime number?
False
Let l(m) = 201*m - 11. Is l(6) prime?
False
Is (-316)/(-6) + (-4)/(-12) a prime number?
True
Suppose d + 2 = -0*d. Let k be (4/(-10))/(d/20). Suppose -k*p = -6*p + 14. Is p a prime number?
True
Suppose 0 = 2*h - 119 - 479. Is h a prime number?
False
Suppose -21*x + 23*x = 498. Is x a prime number?
False
Let i be (-28)/(-6) - 6/9. Suppose 39 = w + i. Is w composite?
True
Let g(v) = 2*v**2 - 5*v + 1 + 4 + v**2 + 0. Is g(4) composite?
True
Suppose 2*o - 18 = o. Suppose 0*h = h + o. Is 4/4 - (h - 0) prime?
True
Let b(s) = -11*s - 3. Let l be b(-4). Suppose -o + 2*n + n + l = 0, 0 = 5*n + 10. Is o composite?
True
Suppose 8*y - 15*y + 12145 = 0. Is y prime?
False
Let w be 2/(-6) + (-1122)/(-18). Suppose -2*c + 0*c + w = 0. Is c composite?
False
Let p(m) = -3*m**3 - m**2. Let y be p(-1). Suppose -3*t - y*f = 19, 3*f - 57 = 6*t - t. Is (15/t - -2)*111 prime?
True
Suppose -2*s + 1775 = 3*s. Is s prime?
False
Let v = 7 + -2. Suppose 20 + 1 = -2*m - v*a, 4*a + 20 = 0. Suppose -224 = -4*o + 4*p, 0 = -o - 0*p + m*p + 55. Is o composite?
True
Let n(k) = k**3 + 5*k**2 + 7*k - 1. Is n(8) a prime number?
True
Let s be 0 - (0 + (-2 - -1)). Suppose p - s = 1. Is 46 + (0 - (2 - p)) a composite number?
True
Suppose -200 = 2*j - 4*j. Let s be (-3 - 0)*1/(-1). Suppose 4*t + 100 = 4*q - 0*t, j = 4*q - s*t. Is q a prime number?
False
Suppose -87 - 34 = -y. Let b be -1 + (-199 - 0)*-1. Let q = b - y. Is q prime?
False
Is 8/(-12)*(-870)/4 a prime number?
False
Suppose 0*m + 2*m + o = 3, 5*m - o = -3. Suppose -2*q + 11 + 35 = m. Let y = 56 - q. Is y a composite number?
True
Suppose -5*y + 11 + 994 = 0. Is y a prime number?
False
Let k = -32 + 35. Is k a composite number?
False
Let n(c) = -c**2 + 2*c + 9. Let m be n(0). Let g(x) = x + 24. Let p(u) = 12. Let a(d) = 2*g(d) - 5*p(d). Is a(m) composite?
True
Let h = 4 - -23. Let i = h - -24. Is i composite?
True
Suppose 5*j - 3*p - p + 10 = 0, 5*p - 21 = 2*j. Let f(s) = 6*s - 2. Is f(j) prime?
False
Let p = 427 - -636. Let b = p + -746. Is b prime?
True
Is (-8146 - 1)*4*2/(-8) a composite number?
False
Let b(g) = -g**2 - 5*g - 4. Let t(u) = -u - 1. Let y be t(3). Let s be b(y). Suppose 466 = 2*p - s*p. Is p a composite number?
False
Is (-1506)/(-4) - 4/(-8) prime?
False
Let d = -36 + -57. Let f be (-1 - 1) + 256/(-2). Let a = d - f. Is a composite?
False
Suppose -4*n = n - 3*x - 9152, -3*x + 3665 = 2*n. Is n prime?
True
Let t(c) = 3*c - 2. Suppose -3*h + q + 2 = -0, -24 = -4*h - 4*q. Let f be t(h). Suppose 0 = -0*s + f*s + 8, -3*m + 17 = 2*s. Is m a prime number?
True
Suppose -3*n + 1 = -3*t + 4, 5*t - n = -3. Is t - -77 - (-4 + 1) a prime number?
True
Let g be (-4)/(-3 - -1) + 0. Suppose m = -g*m. Is m - -2 - 2 - -10 a prime number?
False
Let c be (-7)/(-2) - 2/4. Is 4/6 + 283/c a composite number?
True
Let z = -2 - -2. Let a be (69 - 3/3) + z. Suppose 0 = -r - t - 0*t + a, -3*t = -2*r + 131. Is r composite?
False
Let z(k) = 10*k + 24. Let l(y) = -3*y - 8. Let h(a) = 7*l(a) + 2*z(a). Let m be h(-10). Suppose 2*q - 2*i - i = 169, 0 = m*q + 3*i - 187. Is q prime?
True
Is 2526*(9/10 + (-8)/20) a composite number?
True
Let c be (-2 + 15/6)*10. Let a = c + -5. Is (a + 23)*5/5 a prime number?
True
Suppose -5*z + 650 = -680. Suppose 0 = -2*j - 4*i + z, 2*j + 2*i - 274 = -0*i. Is j a prime number?
False
Let c(b) = 2*b**3 - 3*b**2 - 5*b + 4. Is c(6) a prime number?
False
Suppose 5*z - 2245 = -5*s, 6 = 4*s - 10. Is z prime?
False
Suppose 3*a + 0 - 12 = 0. Suppose -5*y + 1119 = g - 531, a*g = 20. Is y composite?
True
Let y = 92 - -85. Is y composite?
True
Let g = 181 + -257. Let y = g + 267. Is y prime?
True
Suppose 9*x - 4*x = -t - 575, -4*x - 459 = t. Let i = 176 + x. Let r = i + -5. Is r prime?
False
Let n(a) be the first derivative of -1/3*a**3 + 2 - 1/4*a**4 + 1/2*a**2 + 67*a. Is n(0) a composite number?
False
Suppose -5*z - 55 = -2*w, 2*z - 108 = -3*w + z. Suppose 0 = -4*r + 5*d + w, -23 = -2*r - 0*r - 3*d. Is r composite?
True
Let f(n) = 28*n**2 + n + 1. Let q be f(-1). Suppose -q - 11 = -h. Is h prime?
False
Suppose 7*o - 442 = 5*o. Is o a composite number?
True
Suppose 0 = 6*q - 5*q. Let w(j) = 2*j + 34. Let d(v) = v + 35. Let l(u) = 3*d(u) - 2*w(u). Is l(q) prime?
True
Suppose -5*r - 60 - 50 = -5*w, 2*r + 101 = 5*w. Suppose p + 4*f = w, 4*p - f + 6*f = 65. Is (-10)/p - 466/(-6) a prime number?
False
Suppose -4*p = 2*v - 28, 4*p - 9 = 4*v - p. Suppose -2*l + 20 = 3*s, -3*s - 8 = -l - v*l. Is s prime?
False
Suppose 8*u - 11*u = -3513. Is u prime?
True
Let a(j) = j**3 - 5*j**2 + j - 5. Let k be a(5). Let u be (-3)/(-1) + k/6. Suppose 0*l - 339 = -u*l. Is l prime?
True
Let v(r) = -14*r - 5. Is v(-9) a composite number?
True
Suppose -2*g = -235 + 15. Suppose v - 1 = 5. Suppose -v*b + g = -b. Is b prime?
False
Let j(x) = -3*x**3 - 3*x**2 - 2*x - 3. Is j(-5) a composite number?
False
Suppose 2*w = 7*w - 35. Let t = w + -4. Is t composite?
False
Let o be (-4251)/(-33) + 6/33. Suppose -o = 5*s - 464. Is s prime?
True
Let q(d) = 13*d**2 + 13*d - 23. Let a(b) = 6*b**2 + 6*b - 11. Let g(m) = 9*a(m) - 4*q(m). Is g(5) a prime number?
True
Let z(l) = l**3 + 2*l**2 + 4*l + 2. Let x be z(-2). Let i be (-4)/x - (-24)/(-9). Is -1 + (2 - 0) - i a prime number?
True
Suppose 4*l + 25 = -l, l + 7 = r. Is (-1)/(r/(-750)) - 2 prime?
True
Let t = -82 + 179. Let r = 282 - t. Suppose -5*k + r = -0*k. Is k prime?
True
Suppose -29092 = -7*u + 12159. Is u a composite number?
True
Let s(f) = f**3 + 15*f**2 + 21*f - 17. Is s(-12) prime?
True
Suppose -2*p + 3*p - 5 = 0. Let j = p + 1. Is j prime?
False
Let c(x) = x**2 - 2*x - 1. Let r be c(4). Let w(n) = 4*n - 9. Is w(r) composite?
False
Suppose g + g = 998. Is g prime?
True
Suppose 1253 = -2*u + 9*u. Is u a prime number?
True
Let o(x) = 1 - 2*x**3 - 8*x**2 - 2*x - 3*x + 0*x**3. Let a be o(-6). Suppose 0*p + 4*p - a = -3*t, -t = -p - 70. Is t composite?
True
Suppose 12*x - 105 = 9*x. Is x a composite number?
True
Let n = -5 - -1. Let m = 2 + -3. Let x = m - n. Is x composite?
False
Let k(o) be the first derivative of 7/3*o**3 - 2*o**2 - 6*o - 3 + 1/4*o**4. Is k(-7) composite?
True
Suppose 2*m = -2*m - 4*x + 596, -m + 149 = -3*x. Is m a composite number?
False
Suppose 0 = -3*p + 162 + 123. Suppose a - p = -n, 2 = 3*n - 1. Is a a composite number?
True
Let j(w) = 114*w**3 - 6*w**2 + 3. Let y(o) be the third derivative of -19*o**6/30 + o**5/15 - o**3/3 + 2*o**2. Let g(k) = -5*j(k) - 8*y(k). Is g(1) prime?
True
Let x(g) = -14*g. Let m(s) = -5*s. Let i(k) = -17*m(k) + 6*x(k). Is i(6) a prim