er?
True
Suppose 3*c = 15, c = -4*n - 2*c - 30461. Let t = -4948 - n. Is t a prime number?
True
Let u be 55/10 + 1/(-2). Suppose 4*o = u*j + 2991, -2 = -5*j + 3. Is o prime?
False
Suppose 3*a + 2*g - 14 = -0*g, 5*g - 22 = -a. Suppose -a*q + 7*q = 1655. Is q a composite number?
False
Suppose -z + i - 265 + 1235 = 0, -4*i - 961 = -z. Is z composite?
True
Let z be 1/1 + (-360)/20. Let s(r) = 2*r**2 + 14*r + 7. Is s(z) a composite number?
False
Let z be (-4 - -8)/4 + -2 + 3. Suppose 81 + 85 = z*t. Is t a composite number?
False
Let k(g) = 96*g + 5. Let i = -124 + 137. Is k(i) a prime number?
False
Suppose 802*o - 788*o - 271138 = 0. Is o prime?
False
Let k(f) = 964*f - 31. Is k(3) a prime number?
True
Suppose -14*x = -11*x - 8997. Is x composite?
False
Suppose -i - 20*h = -18*h - 6131, 5*i - 30655 = -5*h. Is i a prime number?
True
Suppose -3*g + 12 = 2*f - g, 2*f + 4*g - 16 = 0. Is -6 - (0 - f) - -311 a prime number?
False
Let y(n) = n + 11. Let g be y(0). Let z(o) = -2*o + 14. Let f be z(g). Is ((-5)/(-10))/((-1)/f) a composite number?
True
Let s = 1393 - 687. Is s prime?
False
Let s(o) = 109*o**3 + 3*o**2 + 12*o - 15. Is s(4) composite?
False
Suppose -2*o - 16043 = -6*o - 5*c, -3*o + 4*c + 12009 = 0. Is o a composite number?
False
Suppose -4 = -4*w + 4. Suppose w*f + 599 = 3*v, -2 = -2*f + 4*f. Is v a prime number?
True
Suppose 0 = -7*k + 33281 + 10938. Suppose -4*g + k = 5*b, 0 = g - 2 - 1. Is b prime?
False
Let f = -220 + -340. Suppose 3*d = -10*d - 4225. Let s = d - f. Is s composite?
True
Suppose 385*v - 411*v = -153946. Is v composite?
True
Suppose 2328 = -3*t - 5*t. Let o be (t/2)/((-9)/12). Is 14 - 18 - (-1 - o) composite?
False
Is 152 - (6/21 - 23/7) a prime number?
False
Suppose -5*x + 2*x = -2*p - 3, 0 = -2*p - 2*x + 2. Suppose -5*g + 11 - 1 = p. Let r = g + 7. Is r composite?
True
Suppose 3*a - 9 = 0, 3*m - 5*a - 24 = -a. Is 7786/8 - 3/m prime?
False
Let d be (-6567)/(-13) - 8/52. Let i = d - -406. Is i a prime number?
True
Suppose -5*h + 7*j - 12*j + 205385 = 0, -3*h = -3*j - 123231. Is h a composite number?
False
Suppose 0*f = -2*f. Suppose 4*n + 8 = 0, -2*n + 888 = 4*d - f*n. Is d a composite number?
False
Let w(h) = 10*h**2 + 38*h - 41. Is w(30) composite?
False
Suppose -20*b = -2124 - 1916. Is b composite?
True
Let v(o) = -o**3 + 2*o**2 + o + 1207. Suppose -2*c - 10 = -5*a, -4*a + 2*c + 1 = -9. Is v(a) prime?
False
Let s = -5 + 11. Let a(t) be the second derivative of 17*t**4/12 + t**3 + 7*t**2/2 - 26*t. Is a(s) composite?
True
Suppose -2*h = 0, -2*h = -z + 2*z - 8. Suppose 10*p = z*p + 218. Is p prime?
True
Let s = -9 + 37. Let p be (-1)/(s/8 + -3). Is -1*(p + 0 - 221) composite?
False
Let m = 8 + -8. Suppose -3*d + 111 = -m*d. Is d a composite number?
False
Let b = -7208 - -10119. Is b a composite number?
True
Let d be 5/(15/6) - (-3)/1. Suppose d*m = m + 2228. Is m prime?
True
Let m = 13654 + 28609. Is m composite?
True
Let s(v) = 31 - v**3 + 14*v**2 - 15*v - 35 + 0*v. Let x be s(11). Suppose -4*m + x = -3*m. Is m composite?
True
Let h(b) = -b**2 + 2*b - 4. Let m be h(0). Is (-3 - -5)*(1 + (-1162)/m) a composite number?
True
Let l(q) = 4*q**3 - 4*q + 2*q - 6*q**2 - q - 5*q - 3*q**3 - 11. Let w(d) = -2*d + 2. Let u be w(-3). Is l(u) a composite number?
False
Let m = 539552 - 244441. Is m a composite number?
False
Let c(v) = v**3 - 4*v**2 - 4*v - 8. Let a(l) = -2*l**3 + 8*l**2 + 8*l + 17. Let d(r) = 4*a(r) + 7*c(r). Is d(5) composite?
False
Let y = -11953 + 16872. Is y composite?
False
Let h(s) = -3*s**3 + s**2 + s + 6. Let w be h(-8). Let m = 351 + w. Is m a prime number?
True
Let c(g) = 5*g**2 - 10*g - 11. Let z be c(9). Let n = z - -285. Is n composite?
True
Suppose -5*x + 96 = -x. Suppose 0 = -5*w - 5*k + 30, -3*w - 2*w + x = 3*k. Is -33*(w + -2)*-1 prime?
False
Let p(m) = m + 1. Let i be p(4). Suppose -i*v + 7345 = 5*d, -v + 5*d = 4*v - 7385. Is v prime?
False
Suppose -3*d = -0*s - 2*s, d = -3*s + 11. Suppose s*v = 6*v - 147. Is v prime?
False
Suppose 3*s = -5*h + 18926, -s - 4*h + 9*h + 6342 = 0. Is s prime?
True
Suppose -4*j = -j + 5*y + 43765, 5*y - 14555 = j. Is j/(-28) + 2/14*2 a prime number?
True
Let g(j) = -j**3 + j - 188. Let d be g(0). Is (4 + 10/(-4))*d/(-6) a composite number?
False
Let m(n) = 291*n**2 + 4*n + 57. Is m(-10) a composite number?
True
Let m(r) = -151*r - 2. Let p be m(-10). Suppose -756 = -2*i + 5*j - 4*j, 4*j + p = 4*i. Is i a composite number?
False
Let p(l) = 2183*l - 30. Is p(1) a composite number?
False
Is -5 - (10/(-40) + 143/(-4)) composite?
False
Suppose -28*k + 1513561 - 513149 = 0. Is k a composite number?
False
Suppose 2*p - 5760 = 3572. Is p a prime number?
False
Suppose -10650 = -5*h + 5*d, 11*h = 6*h - d + 10644. Is h prime?
True
Suppose -2706 = -9*a + 273. Is a a composite number?
False
Is ((-20782)/(-3))/2*(-60)/(-20) a composite number?
False
Suppose 0 = 4*f - 332 + 108. Suppose -107 = 2*y + 3*u, 2*y + 175 - f = u. Is (-2)/((-6)/(-9)) - y a prime number?
False
Let a(f) = 3*f**2 - 4*f + 7. Let g be (3/(-9))/(4/(-12)). Let b(s) = -s**2 - s + 1. Let m(t) = g*a(t) - b(t). Is m(-7) a composite number?
False
Let v(u) = 7*u**2 - 2*u + 2. Suppose 16 + 34 = -2*o. Let b be (1 - -4)*(-15)/o. Is v(b) a prime number?
True
Suppose -4*z - 4 = -2*z - 2*i, -3 = 2*z - i. Let c(j) = -467*j. Is c(z) composite?
False
Let q be (80728/(0 + -1))/(-2) - 4. Suppose 0 = 6*y + 2*y - q. Is y composite?
True
Let g(b) = 3*b**2 - 10*b + 6. Let d be g(3). Let t be ((-222)/15)/(2/(-20)). Suppose 0 = -f - d*f + t. Is f prime?
True
Let i = -3 - -4. Let r be (-3 - i) + -4 + 4. Is (r/(-10))/((-2)/(-30)) composite?
True
Suppose 5*o - 238873 = 4*f + 191666, 4*o - 4*f - 344428 = 0. Is o a composite number?
False
Is (-1 + (-6540)/8)/(3/(-6)) prime?
True
Let p(k) = -4*k + 22. Let d be p(5). Is d/1*810 - (-3)/3 prime?
True
Let f = 764 - -227. Let s be 4 + (-408)/(5 + -4). Let d = f + s. Is d a prime number?
True
Let r(a) = a**2 + a - 24. Let d be r(-7). Suppose d*i - 12*i = 9186. Is i a prime number?
True
Suppose -2*u + y + 8 = 0, -2*u + 5*y = u - 12. Let t(x) = 34*x - 17. Is t(u) a prime number?
False
Let p be -1 + (0 + (-8)/6)*12. Let y(v) = -v**2 - 19*v + 3. Is y(p) a prime number?
True
Suppose -76375 = -2*w + 2*k - 2145, 0 = 2*w - 4*k - 74226. Is w prime?
True
Suppose 3*x + x - 116 = 0. Let a = x + 132. Is a prime?
False
Let a(g) = g**3 - 9*g**2 - 9*g + 22. Let m be a(10). Suppose j = 5*w - 25990, 0 = 2*w - j - 10367 - m. Is w prime?
True
Suppose 4*r - 7690 = -r. Is r a prime number?
False
Suppose -4*p = -8033 - 24927. Is 1/(-7) - p/(-7) a prime number?
False
Suppose 0 = 42*i - 55*i + 246545. Is i a composite number?
True
Let c be (2/4)/(4/35896). Suppose -4*k + 11267 = k + 4*t, 2*k - 5*t = c. Is k composite?
False
Is (9/6)/((-15)/(-198460)) composite?
True
Let n = 161 - -3228. Is n prime?
True
Suppose 5618 = 174*d - 172*d. Is d a prime number?
False
Suppose 5*b - 31796 = -3576. Let j = b - 3035. Is j a prime number?
True
Let h = -23 + 23. Suppose 35 = 5*y + 4*v, -4*v = -4*y - h*v - 8. Is 12/(-4)*(-647)/y a composite number?
False
Suppose s + 4*h = h + 15910, 3*h - 47748 = -3*s. Is s a composite number?
False
Let b(d) = 76*d - 4. Let j be b(-3). Let r be (14/(-8))/(2/j). Suppose 0*v + r = v. Is v composite?
True
Let p(s) be the second derivative of s**3/6 + s**2/2 + s. Let g be p(1). Is (85 - g)/(4 + -3) a composite number?
False
Let i = -88 + 68. Let g = -24 - -44. Is (-3128)/i - (-12)/g a composite number?
False
Suppose -4*b + 8748 = -0*b. Let c = b - 1552. Is c a prime number?
False
Let v = -999 + 580. Let h = -499 + 271. Let r = h - v. Is r a prime number?
True
Let p = 697 + -1008. Let f = p - -670. Is f a prime number?
True
Let x = 140 - -96. Let k = x + 5735. Is k a prime number?
False
Let u be (-1)/((-6)/(-3) - 1). Let l be u - -3 - -1 - 6. Is 86 + (-1 + -5 - l) prime?
True
Let x(f) = 53*f**2 + 3*f - 5. Suppose -2*m = 2*m - 20, 2*b + 4*m - 30 = 0. Let o be x(b). Let z = o + -850. Is z a composite number?
True
Suppose 3*g = -8859 + 92520. Is g a prime number?
False
Suppose -5*x + 0*x = -20. Suppose -3*a + 1638 = y, x*y - 5*a - 6517 = -50. Is y composite?
True
Suppose -c = -2*v + 15, -c - 5*v = c - 6. Let f be 21/c - (-24)/3. Suppose 2*z - 392 = -f*n, -5*z - 5*n = -140 - 855. Is z composite?
True
Suppose 5*p + 