 a prime number?
True
Let y = -142 + 263. Let a = y - 38. Is a a composite number?
False
Let x(c) = c**3 + c**2 + 2*c + 1. Let q be x(-4). Suppose 3*m = 4*m - 182. Let u = q + m. Is u a prime number?
True
Suppose 2 = 2*l - 4*q - 0, -3*l - 2*q = -11. Suppose 4*a + 190 + 249 = l*r, 5*r - 721 = -4*a. Is r prime?
False
Suppose 0*s = -4*s. Suppose s = 4*w - 9*w + 575. Suppose -5*i - 2*j = j - 607, -i + j = -w. Is i a prime number?
False
Let o be (-2 - -1)*-1 + 3. Suppose -4 = -2*r, -o*r + 25 = 5*m + r. Suppose -m*t = -4*t + 65. Is t composite?
True
Let k be 0/(2/(-4)*6). Suppose k = 4*c + 3*f - f - 48, 4*c + 4*f = 40. Is c a prime number?
False
Let t(d) = d**2 + 5*d + 8. Is t(5) composite?
True
Let i(s) = 14*s**2 + 9*s - 11. Let l(n) = -5*n**2 - 3*n + 7. Let r(p) = 1. Let y(j) = l(j) - 3*r(j). Let w(g) = 3*i(g) + 8*y(g). Is w(-4) composite?
False
Let x be 75/27 + (-8)/(-36). Is 8/(-4) + x - -190 a composite number?
False
Let k(w) = 30*w + 7. Is k(7) a prime number?
False
Suppose -115 = -s + 6*s. Let f = 56 - s. Is f prime?
True
Let r(n) = 4*n + 13. Is r(6) a prime number?
True
Let w(c) = -143*c**2. Let u be w(1). Let h = u + 100. Let b = 80 + h. Is b a composite number?
False
Let h = 85 + 234. Is h composite?
True
Let a(g) be the second derivative of -g**5/20 + g**4/2 + 2*g**3/3 - 2*g**2 - 3*g. Is a(-5) a prime number?
True
Suppose 0 = -j + 14*j - 23127. Is j composite?
True
Suppose -5*w - 3*y + 8200 = 0, -5*w + 3*y - 8*y + 8210 = 0. Is w prime?
True
Suppose -u - 8 = 4*q - 5*u, 6 = 3*u. Suppose -5*i + x + 27 = q, 6*i - 5*x - 25 = 3*i. Suppose z + 236 = i*z. Is z a composite number?
False
Suppose c - 4 = -0*c. Suppose -2*n + 2*r = -3*r - 48, 0 = -3*n + c*r + 65. Is n prime?
True
Let w(z) = 2*z**3 + 21*z**2 - 3*z + 9. Is w(-10) composite?
False
Suppose 0 = -3*w + 4*i + 12859, 3*w - 4297 = 2*w - 4*i. Is w a prime number?
True
Let a = 842 + -343. Is a composite?
False
Suppose -8*u + 5*u = -3033. Is u composite?
True
Suppose -6*g = -3*g - 120. Suppose -g + 140 = 2*l. Suppose -l = -4*w - w. Is w prime?
False
Let h(v) = 33*v**2 - 2*v + 1. Let x be h(1). Suppose -x = -5*y + 43. Is y composite?
True
Let f(a) = 7*a - 22*a + 5*a**2 - 5 - 3*a**2 - 3*a**2. Is f(-9) a composite number?
True
Suppose -u + 0*z + 259 = -3*z, -5*u + 1314 = 4*z. Suppose -2*h + u = -108. Is h a composite number?
True
Suppose -3*v + 202 + 356 = 0. Let z(t) = 448*t - 1. Let p be z(1). Suppose p = 3*k - v. Is k prime?
True
Suppose 0*b = 3*c - 2*b - 1003, c - 3*b = 325. Is c a composite number?
False
Let a(r) = -r**3 - 7*r**2 + 3*r + 7. Let v be a(-7). Let k = v - -39. Is k a prime number?
False
Suppose 15 = -5*q - 0*q. Let x(y) = -9*y - 4. Is x(q) a composite number?
False
Let z(o) = 2*o - 4. Let g be z(3). Suppose -5 = -g*l + 7*l. Is (-896)/(-6) - l/(-3) composite?
False
Let t = 62 - 5. Is t composite?
True
Let d(q) = 0*q + 0*q + 7 - 3*q. Let o = -16 + 10. Is d(o) a composite number?
True
Let u = 1079 - -938. Is u prime?
True
Let x = -648 + 416. Let o = x - -325. Suppose 0 = 5*u - o - 32. Is u prime?
False
Let z(p) = -7*p**3 + p**2 - p - 1. Let h be z(-1). Let j = -6 + h. Suppose 0 = -4*l - 4, 0 = -2*d - l - j + 135. Is d a prime number?
True
Let k = 13 - 13. Is ((-3)/(-6) - k)*422 a composite number?
False
Let g be (-6 - -4) + (-8)/(-2). Suppose -13 = g*h - 75. Is h a composite number?
False
Suppose -5*z = b - 18 - 2, 2*z + 5*b + 15 = 0. Suppose -3*w = z*n, -2*n + n - w - 2 = 0. Is n a prime number?
True
Let w(x) = 615*x + 1. Let z be w(1). Is ((-1)/2)/((-4)/z) a composite number?
True
Suppose 5*t - 4*t = 254. Is t composite?
True
Let o(j) = -j**3 + 7*j**2 - 5*j - 4. Let g be o(6). Suppose 3*i - g*i + 354 = 0. Is i/(-4) - (-1)/2 a composite number?
False
Suppose 4*w - 11669 = -3181. Is w a composite number?
True
Let r(m) = 17*m**2 + 15*m + 23. Let v(b) = -3*b**2 - 11 - 3*b**2 - 2*b**2 - 8*b. Let s(w) = -6*r(w) - 13*v(w). Is s(-10) prime?
False
Suppose -45 - 50 = -m. Is m a composite number?
True
Let w(u) = u**2 + 4*u + 3. Let j(d) = -4 - 5*d**2 + d**3 + 6*d - 4 - 2*d**3. Let g be j(-6). Is w(g) prime?
False
Suppose -14 = -3*l + 1. Suppose -4 + 24 = l*i. Is (28 + 1)*(i - -1) a composite number?
True
Let j = 2 + -1. Let r be (-2 + (2 - -2))*j. Suppose 0 = 3*h + 4 + 2, r*d - 32 = 5*h. Is d prime?
True
Let o(f) = -1359*f + 20. Is o(-7) composite?
False
Suppose 2*u - 3*u = 2. Let l = 4 + u. Suppose -3*a - 110 = -0*m - l*m, 55 = m - a. Is m a prime number?
False
Let u = -43 + 62. Is u a prime number?
True
Suppose -559 = -3*y + 4*v, -v - v = 2. Suppose 2*s + y = 715. Is s prime?
False
Let b(f) = 3*f**2 + 3*f - 3. Let i be b(-3). Suppose 0 = -3*w - i, w + 5 = c - 2. Suppose -3*m + 11 = 5*d, -3*m + c*d = 3*d - 7. Is m a prime number?
True
Let c = -22 + 36. Let p be c/(-4) + (-5)/(-10). Is 0/1 + (-63)/p composite?
True
Suppose 0*j + 10 = 2*j. Suppose 5*q - 430 = -j*k, -4*q - 276 = -3*k - q. Is k a composite number?
False
Suppose 0 = w + 2*w - 3. Suppose w + 14 = j. Is j a prime number?
False
Suppose -5*v + 63 = 2*a, 4*v + 23 = 2*a + 5. Let q = a + -8. Is q a composite number?
False
Let w(x) be the second derivative of x**5/20 - x**4/2 - x**3/6 - 5*x**2/2 - 2*x. Let j(u) = 2*u**3 - u**2 - 3*u + 1. Let s be j(2). Is w(s) a composite number?
False
Let a(y) = -y**2 - 5*y - 2. Let l be a(-4). Suppose -5 = l*b - 3*b, c - 94 = -3*b. Is c prime?
True
Let a = 5 - 3. Let l be a + -31 + 0 + 2. Let c = l + 66. Is c prime?
False
Suppose -5*b - 3 = -13. Suppose 4*w + m - 39 = 539, -b*w - m + 288 = 0. Is w composite?
True
Let w(m) = 4*m + 3. Let u(r) = 3*r + 3. Let t(d) = 5*u(d) - 4*w(d). Is t(-3) a prime number?
False
Suppose 0 = 4*u - 1935 - 31109. Is u/11 + (4 - 0) a composite number?
True
Let l be (-3 - 0)/(3/(-4)). Suppose 0*t - 2*t + 140 = 2*r, 5*t = -4*r + 285. Suppose 0 = -3*y + l*y - r. Is y prime?
False
Let o(w) = -2*w + 2 - 1 + 24*w. Is o(3) composite?
False
Suppose -8*x = -3*x - 40. Suppose -2*v - x + 2 = 0. Let p(a) = 6*a**2 + 2*a + 1. Is p(v) composite?
True
Let j be (25/(-10))/((-1)/2). Suppose -t + j*x + 336 = 3*t, t = x + 83. Is t composite?
False
Let m be 1/(((-6)/933)/(-2)). Suppose 5*z - 63 = -a, 5*a + 101 = -4*z + m. Is a a prime number?
False
Let u(d) = -7*d**3 + d**2 - 5*d - 4. Is u(-5) prime?
False
Let z(w) = 20*w**2 - 6*w + 1. Is z(6) a composite number?
True
Let f(d) = -3*d**3 - 14*d**2 + 16. Is f(-7) composite?
False
Suppose 5*c = -2*f + 1051, 4*c - c = f - 509. Suppose 2*k + 4*n - 482 - 36 = 0, 2*k - 3*n - f = 0. Is k composite?
True
Let t = 1 - 0. Let m = 5 - t. Suppose c + 0 = m. Is c a prime number?
False
Suppose -55 + 388 = 9*s. Is s a composite number?
False
Let m(z) = z**2 - 14*z - 96. Is m(-29) prime?
True
Let k = 132 - -31. Is k a composite number?
False
Suppose j - 508 = -j. Suppose -11*c = -13*c + j. Is c a composite number?
False
Let h(j) be the first derivative of -j**4/2 - j**3 - j**2/2 - 5*j + 3. Is h(-4) composite?
False
Is (1*(-3356)/(-4))/1 a prime number?
True
Let g be ((-10)/(-6) - 2)*3. Is -6 - -8 - (-36 - g) a composite number?
False
Let m be (42/5)/((-4)/(-10)). Suppose -j + i - 9 = -0*i, 3*j + 22 = 2*i. Is 8953/m - j/6 composite?
True
Let b = 13 - 9. Suppose 5*g + 3*n - 155 = -n, -20 = b*n. Is g composite?
True
Let g(u) = -3*u - 9. Let d be g(-6). Let h(z) = -z**3 + 10*z**2 + 7*z - 3. Is h(d) composite?
True
Suppose 5*n + 0*n - 2095 = 0. Is n a prime number?
True
Suppose 4*k = 2*k + 8. Suppose y = k*y - 1059. Is y a prime number?
True
Is ((-2)/(-4))/(12/5208) a prime number?
False
Suppose -3*v + 2 + 4 = 0. Suppose -2*n = 2*k - 18, k - 16 = -v*n - 3. Suppose -2*x = -p + 85, 0 = n*p + 2*x - x - 358. Is p a prime number?
True
Let m(j) = j - 3. Let u be m(3). Let n be 7*3/(3 - u). Suppose 332 = n*r - 3*r. Is r prime?
True
Suppose 11*z - 5835 = 8*z. Is z prime?
False
Let q(s) = s**2 + 11*s - 3. Let b(y) = y**2 + 10*y - 3. Let n(t) = 5*b(t) - 4*q(t). Is n(4) a composite number?
False
Suppose 0 = 2*l - 6, -5*q = 2*l - 4*l - 279. Suppose 4*x - 4*n = -3*n - 88, -110 = 5*x + 4*n. Let m = q + x. Is m a prime number?
False
Let k(l) = l**3 + 10*l**2 - 11*l - 12. Let j(y) = -3*y**2 + 2. Let h be j(2). Let p be k(h). Let c = -67 + p. Is c a composite number?
False
Suppose -1719 - 14496 = -3*h. Suppose -5*u + h = 970. Is u composite?
False
Let o(p) = p + 293. Suppose 0 = 