
Let t(f) = -f**3 + f**2 - 4*f - 1. Is t(-4) a composite number?
True
Suppose 2*b - 8 = -4. Suppose -3*j = -2*c - 50, 24 = j + b*c + c. Is 534/j*(-3)/(-1) prime?
True
Let i(m) = -m**2 + 9*m - 5. Let h be i(9). Let o = -5 - h. Suppose -3*r + 8*r - 235 = o. Is r a composite number?
False
Suppose 5*m = n - 4427, -3773 = -2*n + 2*m + 5065. Is n composite?
True
Is (6 - 1) + 11 + 2807 prime?
False
Suppose 2*j + 9 = -5. Let l = 3 + j. Let y = 7 + l. Is y a composite number?
False
Let c(y) = 2*y**2 + 3*y - 31. Is c(6) prime?
True
Suppose 7 - 1 = 3*m. Suppose -m*f - 422 = -5*y + 3*y, 633 = 3*y - 2*f. Is y prime?
True
Let a(w) be the first derivative of -w**4/4 + 7*w**3/3 - w**2 + 3*w + 8. Suppose 3 = 2*s - 3. Is a(s) a prime number?
False
Let h(f) be the first derivative of -f**4/2 - f**3 + f**2/2 + 2*f - 2. Let k be h(-2). Suppose k*z + 3*p = -p + 104, 5*z + p = 110. Is z a prime number?
False
Let s(a) = a**2 - 9*a - 6. Let y be s(-7). Is y/(4/((-4)/(-2))) prime?
True
Let h be 1 - (-8)/(-4) - -158. Suppose -3*t + 471 = -4*p - 0*p, t + p = h. Is t a composite number?
False
Suppose 3*g - 60 = 42. Is g composite?
True
Suppose 293 = -2*v - x, 0 = -0*v - 3*v + x - 442. Let f = -483 + 209. Let i = v - f. Is i a composite number?
False
Suppose l + 2 = 0, 0*l + 4 = 2*r + 3*l. Let t(i) = i + 9. Let u be t(-5). Is r*-2*(-14)/u prime?
False
Let r = 138 - -91. Let i = r + -106. Is i a composite number?
True
Is 48081/27 + (-10)/(-45) a composite number?
True
Let b = 1238 - 667. Is b prime?
True
Let s = -2 + 6. Is 55 - (-2)/s*-4 prime?
True
Let j = 4 + -22. Suppose 0*p + 15 = p + 4*a, 0 = 2*p - 2*a - 70. Let f = p + j. Is f a composite number?
False
Let b = -11 - -16. Let l = 2 - -16. Suppose -l + 73 = b*p. Is p a prime number?
True
Let g(r) = -188*r - 3. Is g(-2) a composite number?
False
Is ((-6)/(-9))/(2/195) a composite number?
True
Suppose -12 + 2 = -5*o. Suppose -z + o = 2*f, z + 4*f + 2 = -0*f. Suppose z*k - 130 = 4*k. Is k composite?
True
Is -1*(746*-1 - -1) a composite number?
True
Suppose -3*h - h = 5*k - 16, 2*k - 12 = -3*h. Suppose k*u + 4*u = 748. Is u a composite number?
True
Suppose -3*f - 9 = 0, 2110 = 2*s + 2*f + 2*f. Is s prime?
True
Suppose n + 201 = -3*u, 170 = -4*u - 4*n - 90. Let w = u + 226. Is w a prime number?
False
Suppose -2*j = -7*j + 20. Suppose 2*r - p = -0 + 4, r - p = j. Suppose r = d - 6*d + 45. Is d a prime number?
False
Suppose 23 = 5*z + 2*v, -4*v = -z - v - 9. Suppose 4*g - 232 = t + 425, -504 = -3*g + z*t. Is g composite?
False
Let d = -66 + 85. Is d a prime number?
True
Is -4 + 3 + (-2 - -1) + 1713 composite?
True
Suppose 4*m - 8 = -12. Let k(r) = -160*r + 1. Is k(m) a prime number?
False
Let l(j) = -j**2 - 6*j - 6. Let f be l(-4). Suppose -16 = -0*k + f*k. Is (-81)/(-1) - (-6 - k) a prime number?
True
Let c(i) = 0 + 5 - i**3 + 4 - 7*i - 3 - 6*i**2. Let h be c(-6). Suppose 5*t - 227 = h. Is t a composite number?
True
Let l = 158 - 343. Let y = 264 + l. Is y prime?
True
Suppose 3*d = 4*y - 1947, -5*d + d + 1479 = 3*y. Is y prime?
False
Let o(t) = 4*t**2 + 2*t - 7. Let f(l) = 7*l**2 - 2*l + 1. Let i be f(1). Is o(i) prime?
True
Suppose j - 20 = -2*g - g, -3*g = 3*j - 36. Suppose 4*b - j*b + 30 = -5*k, 6 = -k + 2*b. Is (-2)/k - 5/(-3) a composite number?
False
Suppose -4*k - 4*u + 2856 - 140 = 0, -5*u = -3*k + 2021. Is k prime?
True
Suppose -3*h + 2311 = 2*o, 2*o - 4619 = -2*o - 5*h. Is o prime?
True
Let k = 11 - -58. Is k composite?
True
Suppose -7 = l - 3*g, 2*g = -4*l + 5*g - 1. Let c(b) be the third derivative of b**4/8 - b**3/2 - b**2. Is c(l) prime?
True
Suppose 1290 - 409 = 5*n + 3*d, 2*d + 521 = 3*n. Is (-2)/(-3) - n/(-3) prime?
True
Suppose -5*h = 4*m - 52 - 27, -5*h + 2*m + 73 = 0. Suppose -9 - h = -3*k. Is (-12)/k*388/(-6) a composite number?
False
Suppose -36 = -4*m + 2*k + 2*k, 3*m = 2*k + 22. Suppose 5 + m = r. Is (48/r)/4*3 a prime number?
False
Let j be (-6 + -1)/(2/4). Let u(f) = f**3 + 17*f**2 + 15*f + 1. Is u(j) prime?
True
Let l(n) = -2*n + 3 - 7 - 6. Let b be l(-10). Is (68/b)/(4/20) a prime number?
False
Suppose 732 = -f + 3*f - 2*l, 346 = f + 3*l. Is f prime?
False
Is (249/6)/(6/4)*3 a prime number?
True
Suppose 0*u + 5*u - 990 = -5*t, 0 = 4*t - 5*u - 801. Is t composite?
False
Let c(k) = 2*k**2 + 15*k + 12. Suppose 5*a = -2*v + 45, -a + 11 = -5*v - 25. Is c(a) a composite number?
False
Suppose 2*w - 125 = -3*x, 263 + 39 = 5*w - 3*x. Suppose w = v - 66. Is v composite?
False
Let i be 7*1 - 0/(-4). Let z be 0*(3 + i/(-2)). Suppose 0 = -p - z*p + 23. Is p a composite number?
False
Let n(p) = -p**2 + 10*p - 7. Let u be n(8). Suppose 5*q - 194 = -u. Is q composite?
False
Suppose 0 = j + 25 + 24. Let l = -7 + 11. Let v = l - j. Is v a composite number?
False
Let t = 3 - 2. Let h = t + -2. Is -1 - h - (-132 + 5) a prime number?
True
Suppose -5*t + 22 = -43. Let a = 7 - t. Let f(m) = m**3 + 9*m**2 + 8*m + 9. Is f(a) a composite number?
True
Suppose 4*h - 5 - 3 = 0. Suppose -j - 5*d = j + 16, j - 10 = h*d. Suppose y + o - 41 = -j*y, 5*o + 47 = 3*y. Is y composite?
True
Let f = -1 + 5. Suppose 4*c - 438 = 3*p, p = f*c - 0*p - 442. Is c composite?
True
Let a be (1 - -2) + (-2 - 1). Suppose a = 3*v + v - 1324. Is v prime?
True
Suppose -m = p - 213, -7*m + 2*m + 1063 = 4*p. Is m prime?
True
Let v(b) = -b + 3. Let c be v(5). Let l be c/4 - 2534/(-4). Suppose -l = -5*x + 2*x. Is x a composite number?
False
Let o(f) = f**2 - 6*f + 2. Let j be o(6). Is 2/(6/111) - j a prime number?
False
Let n = 9 + -6. Suppose 4*b + 5*s - 5 = -n, 3*s + 3 = -b. Suppose -6*g + 274 = -4*g + 2*l, -2*g + b*l + 254 = 0. Is g composite?
True
Let n(j) = -j**3 - 5*j**2 - 5*j - 5. Let k be n(-6). Let z = k - 8. Is z a prime number?
True
Suppose p = -q - 62, -3*q + 6*p - p = 178. Let i = -34 - q. Suppose 102 = 5*w + i. Is w composite?
True
Let n = -184 - -258. Is n a prime number?
False
Suppose a + 4*l = 451, -6*l = a - 8*l - 439. Is a a composite number?
False
Let p = -4 + 2. Let b(i) be the second derivative of 3*i**4/4 - i**3/3 - 3*i**2/2 + 3*i. Is b(p) a composite number?
False
Let y be 6/(-5)*(-920)/6. Suppose g - y = -3*g. Is g composite?
True
Let m(i) = -46*i - 3. Let b be m(-2). Let d = -5 + 153. Let j = d - b. Is j a composite number?
False
Let y be -1*2 - (-3 - 0). Let m(v) = 7*v**2 - v - 4. Let i(q) = -q**2 + q - 1. Let n(d) = y*m(d) + 6*i(d). Is n(-9) composite?
True
Let u = 8 + -4. Suppose 7*c - 885 = u*c. Is c prime?
False
Is (1 - 2)/(16/(-26192)) composite?
False
Let a(h) = 2*h**2 - 9*h + 15. Is a(6) prime?
False
Let f(l) be the second derivative of 1/5*l**5 + 1/2*l**2 + l + 0 - 1/3*l**3 - 1/6*l**4. Is f(2) prime?
False
Suppose 0 = -0*i + 3*i - 9, -2*i = -3*x + 4527. Is x a composite number?
False
Suppose 4*t - 3*t - 4*g + 8 = 0, -4*t - 5*g = -31. Suppose -t*d + 37 = -23. Suppose 4*y + y - 46 = -z, -d = -3*y. Is z a composite number?
True
Let l be 2/5 + (-62)/5. Let a = l - -20. Let t = 17 - a. Is t a composite number?
True
Let i(b) = 6*b + 11. Let r be i(-8). Let w = -23 - r. Is w a composite number?
True
Suppose 0*z + 2*z + 244 = 0. Let d = z - -46. Let i = d - -141. Is i composite?
True
Suppose 22 - 286 = -4*z. Suppose -y + 9 = 3*s - 57, 3*s + 5*y - z = 0. Is s a composite number?
True
Let f(o) = -o**3 + 9*o**2 - 8*o + 3. Let j be f(8). Suppose 0*d - 147 = -j*d. Suppose -m - 6*q + q + d = 0, 5*m = -5*q + 325. Is m prime?
False
Let u = 34 - -19. Is u prime?
True
Suppose 461 = 5*s + 106. Is s composite?
False
Suppose -4*n - 104 = -t + 45, -5*t + 650 = -n. Is t a composite number?
True
Let j(s) = 23*s**2 + 7*s + 8. Is j(-3) composite?
True
Suppose -2*a = -2*t + 48, -t - 99 = -6*t - 2*a. Is t a prime number?
False
Let d be -1 - 1 - 6/(-1). Is (-1)/((8/(-74))/d) a composite number?
False
Is 13767/12 + 3 - 9/(-12) prime?
True
Is 25 - ((-8)/(-2) - 1) composite?
True
Suppose q - 1216 = -372. Suppose 4*b + 0*b = q. Is b prime?
True
Suppose 3*w = 8*w - 800. Suppose 4*z - 468 = w. Is z prime?
True
Let w(u) be the second derivative of u**3/2 - 4*u**2 + 3*u. Is w(6) a prime number?
False
Is (-414)/6*6/(-9) prime?
False
Let b be (4*2/4)/(-2). Is 16*(-5)/b - 1 prime?
True
Suppose 3*k - 2*k + 5 = 0. Let g be (-2)/k + (-23)/(-5). Suppose 10 = z - 3*z, -g*z = -y + 32. Is y prime?
True
Suppose 0 = 4*q + 4*j + 4, -3*j - 8 + 3 = 2*q. Let p(u) = -2