a prime number?
True
Suppose -3*t = 2*d - 303, 5*t = d - 133 - 51. Is d composite?
True
Let g = -814 + 423. Let h = 0 - g. Is h composite?
True
Suppose 16 - 3 = m. Suppose 3*b - 63 = 4*k - 24, -m = -b - k. Is b prime?
True
Let z be 1*(-20 + 0 + -2). Let w(v) = -v**3 - 2*v. Let a be w(-3). Let r = a + z. Is r a prime number?
True
Suppose 5*x - 34 = 236. Suppose -5*n + 51 + x = 0. Is n prime?
False
Let d(z) = z**3 - 5*z**2 + 4*z - 1. Let h be d(7). Let l = h + -46. Let p = 176 - l. Is p a prime number?
True
Let o(y) = 12*y + 13. Let i(d) = -d**2 - 11*d - 9. Let v be i(-9). Is o(v) prime?
False
Let m(i) = 2*i - 8. Let x be m(6). Let l(s) = -3*s - 3. Let a be l(x). Is a/(-1*(-3)/(-3)) a composite number?
True
Suppose 0 = -3*t + 2*p + 1569, -t - 2*p - 2*p = -509. Is t a composite number?
False
Let y(o) = -o**2 - 12*o + 10. Let a(g) = -g**2 + 4*g + 3. Let u be a(6). Is y(u) prime?
True
Let d = -6 + 1. Let i(l) = 2*l**2 - 6*l - 4. Let p be i(5). Let o = p - d. Is o prime?
False
Suppose -3*s = -8 - 7. Suppose 117 = s*d - 188. Suppose 2*f - 9 - d = 0. Is f prime?
False
Let l(z) = -z**3 + 2*z**2 + 3*z - 3. Let h be l(2). Let f = h + 30. Is f a composite number?
True
Suppose 0 = -a + 2*z + 537, 2*a - 5*z - 775 = 297. Is a prime?
True
Suppose -11 - 9 = -4*i. Suppose 0 = i*a - 2*a - 63. Is a prime?
False
Let k(l) = l**3 - 5*l**2 + 5*l - 4. Let m be k(4). Let r(j) = -j**3 - j**2 - j + 4. Let y be r(m). Suppose 0 = y*p - 17 - 11. Is p prime?
True
Suppose -2*l = -5*c + 1863, 6*c = 2*c - 5*l + 1464. Is c a prime number?
False
Suppose f - 2 = -r, f + 8 = 4*r + 2*f. Let b be r + (0 - 2/(-1)). Suppose 0*m - b*m + 308 = 0. Is m a prime number?
False
Is 5/(-1) + (7026 - -22) prime?
True
Let p = -17 + 17. Suppose p = -x + 10 + 27. Is x prime?
True
Let z(q) = -q**2 - 7*q + 5. Let j(x) = -x**2 - 7*x + 5. Let w(i) = -3*j(i) + 4*z(i). Let k be w(-7). Suppose 47 = 3*b + k. Is b a composite number?
True
Let n be 0/2 - (-2 - 3). Suppose 3*v = 4*a - 280, -6*v + 63 = a - n*v. Is a composite?
False
Let l(a) = 266*a + 1. Is l(1) a composite number?
True
Let q(f) = -2*f**3 + 2*f**2 - 2*f - 7. Let c be q(5). Let o = 37 + c. Let m = -101 - o. Is m a prime number?
True
Suppose -f = -5*f + 148. Is f composite?
False
Let a(q) = -q**2 - 7*q - 7. Let c be a(-6). Is (c - 3)*-7 + 3 composite?
False
Let k = 11 - 8. Suppose 4*g + 13 = -k*b + 73, 5*g - 75 = -4*b. Is g a composite number?
True
Suppose c + 6*f - 10 = 2*f, -5*f = 5*c + 10. Let j(k) = 1 - 6*k + 3 - 3. Is j(c) a composite number?
False
Suppose 2*y - 209 - 24 = -q, 0 = 4*y + q - 469. Is y a prime number?
False
Suppose 4*d = -4*h - 1016, 2*h = -2*d - 3*d - 1279. Suppose -u = 3, 0*u = 2*z - u + 289. Let y = z - d. Is y composite?
True
Suppose -k + 8 = 3*k. Suppose -q = -3*q - 2, -2*w + k*q = -316. Is w a prime number?
True
Suppose 0*j - j + 4 = 0. Suppose -j*i - 8 = -4*l, 0 = 5*i + 4*l + 13 - 3. Is 88 + -1 + 4/i composite?
True
Let g(s) = -13*s**3 + s. Let t be g(1). Let n be ((-27)/t)/(1/4). Let h(k) = 34*k - 13. Is h(n) a prime number?
True
Suppose 290 = 4*q - 5*h - 321, -3*q + 2*h = -467. Let l = q + -82. Is l prime?
False
Let v(m) = 2*m - 2. Let q be v(2). Let a = -39 + q. Let y = -16 - a. Is y composite?
True
Suppose i + i - 422 = 0. Is i a composite number?
False
Let j = 432 + -107. Suppose 9 = -2*c - c, -j = -4*s - c. Is s prime?
False
Suppose 165948 = 15*g - 3*g. Is g composite?
False
Is (-4)/6 + 28378/6 a prime number?
True
Let d(v) = v**3 - 6*v**2 + 7*v + 4. Let k be d(7). Suppose b = -25 + k. Is b a prime number?
False
Suppose -23 = -4*i - 5*r, i - 1 = 5*r - 14. Let j(z) = 6*z**3 - 1. Let s be j(1). Suppose b - 22 = -5*k, s*b - 176 = -k - i*k. Is b a prime number?
True
Let q(o) be the second derivative of 7*o**4/6 - o**3/3 - 5*o**2/2 + 7*o. Is q(4) a prime number?
True
Suppose -v + 0*v + 635 = 0. Suppose 0 = j + 4*j - v. Is j a composite number?
False
Let k(j) = j**3 + 10*j**2 + 10*j + 3. Let m(s) = -s**2 + s - 2. Let g be m(-2). Is k(g) composite?
True
Let n be 2/13 - (-72)/39. Let m(p) = 4*p**2 - 2*p - 2. Is m(n) a composite number?
True
Let x(k) = k**2 - 9*k + 10. Let o be x(8). Let f = o + 4. Suppose -8 = -2*b, -v = -f*v + 3*b + 143. Is v a composite number?
False
Suppose -g - g = -2058. Let h = g + -578. Is h a prime number?
False
Let k(b) = 2*b**2 + b - 12. Is k(-7) a prime number?
True
Suppose -2*g + 3*z + 2*z = -792, -3*z = 3*g - 1230. Let r = g - 162. Suppose -v + 3*v = r. Is v a prime number?
False
Let z(h) = 11*h**3 - 2*h**2 + 2*h + 3. Let v be z(3). Suppose -4*t + 4*j = -v, 4*t - 233 = -2*j + 49. Let q = -48 + t. Is q prime?
True
Let w be -5 + 2 - 6/(-1). Suppose 2*i + 114 = 2*z, -w*z + 0*i + 163 = i. Is z a prime number?
False
Let y be ((-12)/(-8))/(1/2). Let q(x) = -x**2 + 2*x + 3. Let g be q(y). Suppose -j + 27 = -g*n - 5*n, -5 = -5*j - n. Is j prime?
True
Suppose -23 = -b + 95. Is b a prime number?
False
Suppose -4*m - 269 = -1793. Is m prime?
False
Suppose -2*k - 4*t = -36, 11 + 46 = 5*k - t. Let i be (k/(-9) - -2)*6. Suppose 3*x = -3*w + 159, -2*x + 3*x = -i*w + 212. Is w prime?
True
Suppose 0 = 2*f - 6*f. Suppose -b = 2*h - 10, -2*b - 1 = -3*h - f*h. Suppose h*k - 62 = k. Is k a prime number?
True
Suppose -p - 1611 = -4*p. Suppose -q - 4*y = y - 138, -4*q = 5*y - p. Is q a composite number?
True
Suppose 3*b = -w + 6*b + 5, -5*b = 4*w - 20. Suppose u - 272 = -w*v, v + u = -u + 49. Is v a composite number?
True
Is (-10 - -8)/(4/(-1222)) a composite number?
True
Suppose 10765 = 246*i - 241*i. Is i a composite number?
False
Let p(x) = 8*x**2 + 0*x**2 + 4*x**3 - 8 - 3*x**3 + x**2 + 3*x. Suppose 0 = -0*d - 5*d - 30. Is p(d) prime?
False
Is (-6)/9*5064/(-16) a prime number?
True
Suppose o + 323 = 3*m + 2*o, 3*m - 308 = 2*o. Is m prime?
False
Let m be (2 + 4)*13 - 3. Suppose y = -0*y + m. Suppose -s - 3*w = -y - 1, -2*s - 3*w + 158 = 0. Is s a composite number?
True
Let j = -47 - -144. Is j a composite number?
False
Let r be 1 + ((-1)/1)/(-1). Suppose 0*w + 2*w - 74 = 5*m, w - 39 = r*m. Is w a prime number?
True
Suppose 756 + 96 = 4*x. Is x a prime number?
False
Let d be (2/(-4))/(1/(-4)). Suppose 3*y - 4*j = 271, -2*j - 12 = d*y - 174. Is y composite?
True
Suppose 2*j - 3*j + 29 = 0. Suppose -5*v + 2*l = -328, -v - 2*v = -2*l - 196. Let b = v - j. Is b a prime number?
True
Suppose -4840 = -3*s + 1913. Is s a composite number?
False
Let q = 39 - -110. Is q prime?
True
Let o(u) = -u**2 - 5*u - 2. Let g be o(-3). Let w(p) = -p**2 - 11*p - 18. Let n be w(-9). Suppose 13 = 3*q - g*l - 82, n = q + l - 20. Is q prime?
False
Suppose 0*n - n = -2*x + 11, 0 = 4*n - 4. Suppose -x*g + 4*g = u - 266, -g = -u - 133. Is g prime?
False
Suppose -32243 = -6*a + 18559. Is a composite?
False
Let l be (-1 + 3)*-1 - -40. Let q = 4 + -4. Suppose m - l + 13 = q. Is m a composite number?
True
Let g(w) = 3*w**3 + 0*w**2 - 3 - 2*w**2 - 4*w**3 + 4*w. Suppose -z - 9 = s, 2*z = 5*z + 2*s + 22. Is g(z) prime?
True
Let x(o) = o**3 - 6*o**2 - 6*o - 1. Let w be x(7). Let d = w - 2. Suppose 2*g = 4*u + 82, -5*u = -d*g - 4*u + 150. Is g prime?
True
Let x(h) = 28*h**2 + 4*h - 3. Let u be x(-5). Suppose 1043 = 4*b - u. Suppose -3*q + 82 - b = -4*j, 348 = 4*j - 4*q. Is j prime?
False
Suppose -2*a + 661 = 3*u, 4*u + 2*a - 878 = -0*a. Is u a prime number?
False
Suppose 2*b - 4 = 6*b. Is (b - 0)/(7/(-385)) a composite number?
True
Suppose -2*y + 47 + 34 = 5*j, -2*y + 2*j + 116 = 0. Is y a prime number?
True
Suppose 3*y - 3*p - 122 = p, -p + 1 = 0. Suppose -5*w = -2 + y. Let l(v) = -2*v + 6. Is l(w) a prime number?
False
Suppose 3*i = -i + 432. Suppose -r - 4*a + i = -83, 3*a = -15. Is r prime?
True
Let g = 807 - 224. Is g a prime number?
False
Let t = -26 - -121. Is t a composite number?
True
Suppose -5*y + 3*s = -2*s - 250, 0 = y - 5*s - 38. Is y composite?
False
Let g(r) be the third derivative of 31*r**5/60 + r**4/12 + r**3/2 - 3*r**2. Is g(-2) a composite number?
True
Let t(g) = -14*g + 1. Suppose -m + 0*m + 6 = 0. Suppose 4*o + m = 2. Is t(o) composite?
True
Let y = 80 + 65. Is y a prime number?
False
Let q = -1225 - -2336. Is q prime?
False
Let x = -1 - -7. Let t = x + -4. Is t a prime number?
True
Is ((-436)/8)/((-1)/(-2)*-1) a prime number?
True
Suppose -4*m = p + 20, 0 = -3*p + 5*p + 3*m + 15. Suppose -4*h + 7 + 1 = p. Is (-50)/(-8) + 