mposite?
True
Let g(n) = -3096*n + 17. Is g(-3) a prime number?
False
Let c = -14 + 14. Suppose c*z + z = 79. Is z composite?
False
Let f(c) = c + 1. Let i be f(2). Let g(r) = r**2 + 0*r**2 + 3 + 5*r**3 + 2*r**3 - i*r. Is g(2) composite?
True
Let g = 22 - -19. Suppose 4*a + 263 = 5*t, -2*t + 5*a = -3*t + g. Is t prime?
False
Let n(j) = -29*j + 16. Let k(x) = -10*x + 5. Let f(p) = 11*k(p) - 4*n(p). Is f(13) a composite number?
True
Let j(o) = 4*o**3 + o**2 + 4*o + 3. Let s be j(-2). Let x = -10 - s. Is x a composite number?
False
Suppose 0 = -5*j + 10694 + 2351. Is j composite?
False
Let m(y) = y**2 + y - 1. Let s(t) = -39*t**2 - 3*t + 1. Let d(a) = -2*m(a) - s(a). Is d(-1) a composite number?
False
Suppose 3*g - 15 = -0*g. Let t(r) be the third derivative of r**4/12 - r**3/2 + 4*r**2. Is t(g) a composite number?
False
Let i = -1 + 6. Let j(n) be the third derivative of 17*n**4/24 - n**3 + n**2. Is j(i) composite?
False
Suppose -4*i + 211 = -3*x - 647, -860 = -4*i + 2*x. Suppose -5*j + 109 = -i. Is j a composite number?
True
Let i = 776 - -59. Is i composite?
True
Suppose 4*j = 184 + 548. Is j composite?
True
Suppose 5*c - 17 = -i, 3*c + i - 16 + 5 = 0. Is ((-254)/c)/(6/(-9)) a composite number?
False
Suppose 0 = -3*s + s + 12. Let a be (-1)/(-1 + s/9). Suppose t - 204 = -a*t. Is t a composite number?
True
Suppose -u = -2*u + 31. Is u prime?
True
Let t = 3 - 0. Suppose 3*z - t*f - 3 = 0, 2*f = -8*z + 3*z + 26. Suppose -z*g = -9 - 147. Is g composite?
True
Let o(m) be the second derivative of m**5/20 - m**4/12 - m**3/3 - m**2/2 - m. Let c be o(2). Is 47/(-3)*(c - 2) composite?
False
Let d(t) be the second derivative of -t**5/20 - t**4/12 - 2*t**3/3 - 5*t**2/2 - 3*t. Is d(-5) composite?
True
Suppose -627 - 648 = -3*g. Suppose -g = -5*j - 5*u, 4*j - 2*u + 0*u - 364 = 0. Is j prime?
True
Let o(z) = -14*z - 1. Let r be o(1). Is (-2)/5 - 291/r composite?
False
Is 1906/6 + (-2)/3 composite?
False
Let p(u) = 4 - 5*u**2 - u**3 - 7*u - 4. Is p(-5) composite?
True
Is (2/(-8))/(-1)*1636 prime?
True
Let w(p) be the first derivative of 40*p**2 + 9*p + 2. Let j be w(-7). Is (-10)/(-35) + j/(-7) a composite number?
False
Suppose -2*v = 5*i + 61 - 574, -2*i + 5*v + 182 = 0. Let g = i - 70. Is g a prime number?
True
Let c = -111 - -434. Is c composite?
True
Let g(h) = -10*h + h**2 + 12 + 2 - 3. Is g(10) composite?
False
Let c be (-7 + 9)*1*11. Suppose -3*p = 11 + c. Let y(k) = -2*k + 13. Is y(p) prime?
False
Suppose -48*o + 47*o = -3019. Is o a prime number?
True
Suppose 0 = 3*g - q - 282, 8*q = 3*q + 15. Is g a composite number?
True
Let p(f) = f**3 - 8*f**2 - 7. Let c be p(9). Suppose -3*t - c = -t. Let l = t + 92. Is l a composite number?
True
Let k(f) = 69*f**2 - f. Let h be k(1). Suppose 2*j - 90 = h. Suppose -4*w = a - 133 - 183, w + 5*a = j. Is w prime?
True
Let k(a) = -16*a**3 + 16*a**2 - 5*a + 21. Let v(w) = 4*w**3 - 4*w**2 + w - 5. Let r(q) = -2*k(q) - 9*v(q). Let y be r(-6). Is 4/(-18) - y/(-27) composite?
False
Let u(i) = 3*i**2 - 2*i - 2. Let n = -11 - -8. Let y = n - 0. Is u(y) a composite number?
False
Let d be 0 + 5 + (-4 - -2). Suppose -d*p - 1236 = p. Is p/(-4) - (-1)/(-4) prime?
False
Let z be 3/3 + (1 - 2). Suppose z = 5*n + 4*o - 167, 4*n - 200 + 61 = -5*o. Is n a composite number?
False
Suppose 2 = 2*s - 4. Suppose 0 = 2*l + s*l + b + 40, -b + 32 = -3*l. Is 3/(9/(-23))*l a prime number?
False
Let c(o) = -o**2. Suppose -y - 4*y + 4*f = 25, -14 = 4*y - 2*f. Let t(g) = -2*g**2 - 3*g + 1. Let h(z) = y*t(z) - 3*c(z). Is h(3) prime?
True
Let s = -88 + 143. Is s a prime number?
False
Let a = 139 + 562. Is a a prime number?
True
Let o(f) = f**3 + 11*f**2 - 3*f - 15. Suppose 0 = -2*a - 0*a - 20. Let w be o(a). Suppose 2*t = i - w, 2*i + 5*t + 0*t - 230 = 0. Is i a prime number?
False
Let i = 37 - 69. Let z = i + 235. Is z prime?
False
Let k = -47 + 51. Let m(p) = -5*p**2 + 5*p + 1. Let v(r) = -14*r**2 + 14*r + 2. Let t(j) = 11*m(j) - 4*v(j). Is t(k) a composite number?
True
Let z be 0 - (-5)/(10/4). Suppose -4*y = z*h - 0*h + 144, -h - 75 = 5*y. Let r = -33 - h. Is r composite?
False
Let z(x) = 62*x**2 - x - 6. Let i be z(-3). Let b = -202 + i. Is b a composite number?
False
Suppose 3*v - 51 = -4*s, -18 = -2*s - 2*v + 8. Suppose -6*y + s = -4*y. Is (-4 + y)*310/4 composite?
True
Suppose -20 = -2*k - 2*k. Suppose -r - s + k = -7, -5*r - s = -40. Is r composite?
False
Let i(k) = k**3 - 8*k**2 + 7*k + 13. Is i(7) a prime number?
True
Suppose 4*q - 676 = -0*q. Is q a composite number?
True
Let m = -3244 + 5261. Is m composite?
False
Let j = 1 - -2. Suppose v + 394 = -j*f, -53 - 603 = 5*f + v. Let a = 252 + f. Is a a prime number?
False
Suppose -5*u - 160 = 2*z - 7*z, 180 = 5*z + 5*u. Is z composite?
True
Let w(v) = 32*v**2 - 1. Suppose -3 = -5*m + 2*m. Let r be w(m). Suppose -2*d + 73 = r. Is d composite?
True
Suppose -440 = w - 5*w. Suppose 7*u - w = 2*u. Is u prime?
False
Suppose 2*x + 4 = 6*x. Suppose -4*s - x = -5. Let m = s + 12. Is m a prime number?
True
Let m be (1 - -1)*(-3 - -4). Is (6 + -5)*(85 - m) prime?
True
Let g = 2 - -3. Suppose -2*p = -g*y - 46, 5*p = -4*y + 27 + 22. Suppose 3*z = 2*z + p. Is z a composite number?
False
Suppose -5*b + 114 = -61. Is b prime?
False
Let b = -9 + 15. Let g be 2/b - (-1220)/(-6). Is (-1 - 1)*g/2 prime?
False
Let k(d) = -46*d**2 - 1. Let q be k(1). Let g = q + 250. Is g composite?
True
Let w be (-4)/(-2) - (4 + -7). Suppose -w*d = 4*v - 90, 3*d + 4*v - 53 + 7 = 0. Is d prime?
False
Let t = -2 + 5. Suppose -t*o - o + 104 = 0. Is o a prime number?
False
Let g(j) be the third derivative of j**4/12 + j**3 + j**2. Let p be g(-4). Is (p - 0)/((-8)/60) a prime number?
False
Suppose 0*y - o = -2*y + 3, 0 = o + 3. Suppose -4*j - j + 385 = y. Is j composite?
True
Let h = 13 - 17. Is (-6)/8 - 599/h composite?
False
Let n be 218*(9/6)/3. Let j(v) = -v**3 + 6*v**2 + 2*v - 6. Let q be j(6). Suppose 5*m = 5*p - n - 86, -q = 3*m. Is p composite?
False
Suppose -m - 4*j + 31 = 0, 0*m = -4*m - 4*j + 124. Is m composite?
False
Let a(q) = q**3 + 9*q**2 + 6*q + 9. Suppose 0 = 2*n + 2*n + 60. Let x = n + 7. Is a(x) a prime number?
False
Suppose 374 + 26 = -5*o. Suppose -3*m + 0*m - 867 = 4*i, m = i - 282. Let c = o - m. Is c a composite number?
True
Let r be 9*1/(-3)*2. Let k = 31 - r. Is k a prime number?
True
Let y(q) = 2*q + 37. Is y(-14) prime?
False
Suppose -m + 893 = 3*i, -3*m = 2 + 1. Is i composite?
True
Let f(c) = c**2 - 5*c - 2. Let o be f(5). Is (6/(-12))/(o/184) a prime number?
False
Let d(h) be the second derivative of -h**8/6720 - h**7/630 + h**6/72 + h**5/20 + h**4/3 - 3*h. Let m(v) be the third derivative of d(v). Is m(-7) prime?
True
Let v be (-4)/(-6) - (-1952)/6. Suppose -v - 157 = -3*f. Is f composite?
True
Let f(u) = 9*u**3 + u**2 - u + 12. Is f(5) composite?
True
Let t(c) = -c**3 + 7*c**2 - 7*c + 9. Let q be t(6). Suppose 2*g = -q*g. Suppose -3*m = -5*n + 466, -n + 0*n + m + 92 = g. Is n composite?
True
Suppose -2*x + 5*x + 5*h = 40, -45 = -5*x - 4*h. Suppose 0 = x*m - 5*a - 351 - 179, m - 121 = -4*a. Is m composite?
False
Let r = 6 + -5. Suppose 0 = g + 5*s - 23, s + r = 2*g - 1. Suppose d + 262 = v, -v + 267 = -g*d + d. Is v composite?
False
Suppose 2*s - 12 = -2*s. Suppose 1184 = 5*o - s*j, 5*j = -0*o - o + 248. Suppose i = -i + o. Is i a composite number?
True
Let u be (2 + 3)*(-6)/(-5). Suppose 2*k - 9 = t, t - u*k + k = 0. Let c = t + 34. Is c a composite number?
False
Suppose 7893 = 4*f + g, -3*f - 2*g + 6569 = 648. Is f composite?
False
Let h = 2 + 0. Let f(m) = -10*m**2 - 6*m - 6. Let y(v) = 9*v**2 + 6*v + 6. Let z(p) = h*f(p) + 3*y(p). Is z(5) prime?
True
Suppose -192 = -t - 49. Is t a composite number?
True
Let f(h) be the first derivative of -h**3/3 + 3*h**2/2 + 2*h - 2. Let r be f(5). Is 148/r*4/(-1) prime?
False
Suppose 5*n - 4*j - 3473 = 0, -n + 0*n - 2*j + 703 = 0. Is n a composite number?
True
Let v = 1 - -3. Let g be 5/v*(-3 - 17). Let o = -14 - g. Is o a composite number?
False
Let w be 1*(-6 - (-4)/2). Let d = w + 6. Suppose -d*o + 0*o + 374 = 0. Is o a composite number?
True
Let a be (-1)/((-22)/10 + 2). Suppose -3*c - 2*r = -6*c + 29, -a*c = -4*r - 49. Is 4/(-18) + 137/c a prime number?
False
Suppose -6*u - 5325 = -5*h - u, -4*h + u = -4269. Suppose j = -5*j + h. Is j a prime number?