Let u be b(-5). Suppose 110 = 5*j + 4*r, 31 = u*j - 0*r - r. Let q = 51 - j. Is q prime?
False
Let w(i) = 226*i - 27. Is w(4) prime?
True
Let r(m) = -3*m - 5. Let b be r(-3). Suppose b*o = 4354 - 1486. Is o a composite number?
True
Let s be (3 - 2)/((-1)/(-3)). Suppose -2*r + 10 = s*r. Is -38*((0 - r) + 1) a composite number?
True
Let j = 2 - -2. Suppose -2*p = j*b - 128, 3*p - 2*p - 59 = -3*b. Suppose -p = -2*q + 2*l, 2*q - 2*l = 2*l + 74. Is q prime?
True
Is 2 + -2 - (-6)/((-18)/(-6735)) a prime number?
False
Let x(g) = 32*g**3 + g**2 + g + 1. Is x(2) a prime number?
True
Let r(d) = 25*d. Is r(1) a composite number?
True
Suppose 32 = 6*w + 2*w. Let j be 1 - (0 + 1 - 2). Suppose 0 = w*x - j*x - 106. Is x a prime number?
True
Suppose 4*p - 144 - 188 = 0. Is p prime?
True
Let x(u) = -u**3 - 4*u**2 + 8*u + 6. Suppose -4*o - 18 = 6. Let b be x(o). Suppose -4*v - v + b = 0. Is v a prime number?
False
Let r = -31 - -122. Is r a composite number?
True
Let g(u) = u - 3. Let k be g(6). Is k*(2 - (-286)/6) prime?
True
Suppose 0*a + 4*a = -400. Let v = a + 64. Is (-8)/v + (-1339)/(-9) a composite number?
False
Let i = -11 - -80. Is i prime?
False
Suppose 6*i - 20 = i, -4*j + 3*i - 24 = 0. Let k be (0 + j)/1 + -74. Is 1 + -2 + (3 - k) a prime number?
True
Suppose 4*v + 261 = t, 0 = -0*t + 4*t - 2*v - 988. Let a = 366 - t. Is a a prime number?
False
Is 2 + 2928 + 1 + 6 + -10 composite?
False
Let p = 0 - -5. Suppose -4*y - 5*x = 2, 4*y - 5*y - 8 = p*x. Suppose 0 = -y*s + 6*s - 28. Is s prime?
True
Suppose 3*f = f. Suppose 0 = 4*r - 4*w - 1496, -4*r + 0*w + w + 1487 = f. Is r a composite number?
True
Suppose 0 = -3*i + 17 + 4. Let s(a) = 4*a**2 - 4*a + 3. Let r be s(i). Is (16/24)/(2/r) a prime number?
False
Suppose 0 = -3*o - 3*f + 180, 4*f = -3*o + o + 126. Let n = 160 - o. Is n prime?
True
Suppose -4*h + 20 = h. Suppose 0 = 5*i + h*l - 283, -2*l = -4*i - 7*l + 221. Is i prime?
True
Let p = -709 + 1860. Is p prime?
True
Is ((-4)/(-6))/((-26)/(-109941)) composite?
False
Let u = -29 - -20. Let i be (66/(-4))/((-30)/(-40)). Let z = u - i. Is z a composite number?
False
Suppose 4*f + 8 = 40. Let m(h) = h**3 - 8*h**2 + 5*h - 2. Let t be m(f). Suppose -2*g + 96 = -t. Is g a composite number?
False
Suppose 0 = -4*k - 0*k + 8. Suppose -w - k*w = -159. Is w composite?
False
Suppose 8*f - 3*f + 95 = u, 5*f = -2*u + 265. Suppose -r = 2*r - u. Suppose 3*g - 5*t = r, -3*g - t + 12 + 16 = 0. Is g prime?
False
Suppose 0 = 2*d + 10, 34 = -4*w - 0*w + 2*d. Is 3/3 - -1 - w a prime number?
True
Let j(n) be the third derivative of -n**7/5040 + 17*n**6/144 + n**5/15 + 3*n**2. Let g(f) be the third derivative of j(f). Is g(0) composite?
True
Suppose 3*x = 136 + 974. Let t = x + -47. Is t composite?
True
Let p = 1964 - 1087. Is p a prime number?
True
Let u be (1/(-3))/(2/(-12)). Let z be 1*((1 - u) + 0). Is 119 + z + 0 + 1 prime?
False
Suppose -4*z - 12 - 8 = 0, 3*y = -5*z - 16. Suppose -3*r - 5*l + 21 = -4, 5*r + y*l = 63. Is r composite?
True
Suppose 0 = -7*s + 2*s. Suppose 2*k + s*k + 26 = 5*h, k + 3 = 0. Is (254/h)/(-1)*-2 composite?
False
Let n be ((-9)/(-2))/(24/(-32)). Is ((-30)/(-4))/((-3)/n) prime?
False
Let s be (135/12)/((-4)/32). Let b = 217 + s. Is b prime?
True
Let u(h) = -4*h**2 - 6*h - 3. Let b be u(5). Let o = 291 + b. Let i = -100 + o. Is i composite?
True
Suppose 0 = 3*k - 5*p - 0*p - 15, 5*p = -4*k - 15. Suppose 5*r + 2*t = k, 5*r = -0*t + 2*t + 20. Suppose 0 = -h + f + 116, -h + 42 = -r*f - 71. Is h prime?
False
Suppose j + 590 = 2*y, -3*j + 1037 = 4*y - 143. Is y prime?
False
Suppose 0 = v - 2*b - 3717, b = -4*v - 0*b + 14877. Is v composite?
False
Let y be (0/(-3))/(0 + 1). Suppose y = 3*d - 0*d - 177. Is d prime?
True
Let d = 660 + -391. Is d a composite number?
False
Suppose -6*u = -8*u + 6. Suppose 18 - 147 = -u*p. Is p a prime number?
True
Suppose 0 = -3*s - 0 + 3. Let v(n) = 116*n**2 - n. Let u be v(s). Let z = u + -80. Is z composite?
True
Suppose 39 = y - 4*y. Let z be ((-3)/1)/(-7 - -4). Let g = z - y. Is g composite?
True
Let p(u) = -2*u**3 - 7*u**2 + 11*u - 3. Is p(-8) a composite number?
True
Let j = 14 - 8. Let z(f) = f**2 - 5*f + 7. Is z(j) prime?
True
Suppose 2*p = -62 + 176. Let c = -20 + p. Is c a prime number?
True
Let q be (3 - -1)*(2 + -1). Suppose 12 = 3*j - 0. Is 1 + q/(j/3) a composite number?
True
Suppose -t + 470 = -93. Is t a prime number?
True
Is 473/3 + 30/(-45) a prime number?
True
Suppose -310 = -z + 177. Is z a composite number?
False
Let n = 9 - 4. Suppose -5*y - n*d + 280 = 0, -d + 4 = 2. Let u = y - 32. Is u a composite number?
True
Let x = 9 - 19. Let r(b) = -b**3 - 4*b**2 - 4*b - 4. Let k be r(-3). Is (95/x)/(k/2) composite?
False
Let r(k) be the third derivative of -k**4/8 - k**3/3 + 3*k**2. Is r(-3) a composite number?
False
Let a(c) = 8*c**2 - 3*c - 4. Is a(-5) composite?
False
Let r be (-209)/(-3) + 2/6. Suppose w = 3*w - r. Is w prime?
False
Let d(y) = 5*y**2 + 4*y - 7*y - y**3 + 2*y**3 - 3*y - 5. Suppose -4*j - 2*c = -3 + 17, 2 = 2*c. Is d(j) prime?
False
Let v = -168 + 245. Is v a prime number?
False
Let y = 55 + 136. Is y a prime number?
True
Let i(n) = -11*n**3 - 9*n**2 + n + 1. Is i(-4) prime?
True
Let d be 8/12 + 4/(-6). Suppose d*f - 291 = -3*f. Is f prime?
True
Let u = 0 + 1. Suppose -4*w - 20 = 0, u = y + w - 1. Is y prime?
True
Let v be -42*((0 - -2) + -4). Let c(f) = f**2 - 6*f + 8. Let l be c(5). Suppose l*r = 183 + v. Is r a composite number?
False
Suppose 5*l = -4*q + 625, 600 = 4*l + l - q. Is l a composite number?
True
Suppose 1961 = 3*a - 142. Is a composite?
False
Let i be (-5)/5 + 4*1. Suppose -3*s + 3*d = -24, 0*d - 29 = -4*s + i*d. Suppose -3*v + 0*o + 43 = -s*o, -o = -2*v + 38. Is v composite?
True
Let n(l) = 9*l - 2 + 0*l**3 - 7*l**2 - 2 + l**3. Is n(6) a composite number?
True
Suppose -m = 2*m - 573. Is m prime?
True
Let o = 115 + -38. Is o composite?
True
Let t(r) be the first derivative of -r**4/4 - 5*r**3/3 - r**2/2 - 3*r + 3. Let x be t(-5). Suppose -o + 34 = o - 2*u, -o + 20 = -x*u. Is o a composite number?
True
Let w(v) = -v**2 + 3*v + 4. Let x be w(4). Suppose 15*i - 10*i - 1055 = x. Is i a composite number?
False
Suppose 5*n + 254 = 7*n. Is n prime?
True
Let l = 286 + -141. Let j(x) = 16*x + 4. Let n be j(-4). Let g = l + n. Is g a prime number?
False
Let h(c) = 3*c - 10*c - 4*c - 5 + 3. Let g be h(3). Let u = g - -54. Is u composite?
False
Suppose 5*m - 4252 = 513. Is m a prime number?
True
Let i(o) = -o + 12. Let p be i(5). Suppose p*r = 2*r + 1465. Is r a prime number?
True
Let f = -254 + 447. Suppose -2*p + 1371 - 474 = 5*d, 3*p + f = d. Is d a composite number?
False
Let r be (-3)/(-2) + (-389)/2. Let t = r + 131. Let g = 96 + t. Is g prime?
False
Let g(w) = w - 2. Let h be g(6). Suppose -z = h*f + z - 474, z = -f + 118. Is f composite?
True
Let u(g) = -g - 8. Suppose 3*d - 12 = d. Let s be u(d). Let m = s + 51. Is m prime?
True
Suppose -g - 5*b = -504, 0*b + 2131 = 4*g - 3*b. Is g a composite number?
True
Let v = 178 - 14. Let l = v + -103. Let w = l + -8. Is w a composite number?
False
Is 1/((-1)/(-3466)) - 3/1 composite?
False
Suppose -5*n + 32 = 4*w, 2*w + 0 = -2*n + 14. Suppose -44 = w*r - 5*r. Is r a prime number?
False
Let l(m) = 13*m**2 + 35*m - 33. Let x(f) = -4*f**2 - 12*f + 11. Let t(y) = -2*l(y) - 7*x(y). Is t(-14) prime?
False
Let x be 3*1*1/1. Is 91 + (0/2)/x composite?
True
Suppose 5*j + 34 = 194. Suppose i - 3 = -j. Let v = i - -48. Is v a composite number?
False
Let i be (-15)/6*(1 - 3). Suppose -m = 5*x - 9, 2*x = -3*m + i*x - 27. Let j = m + 31. Is j composite?
True
Suppose 3*w - 4*d = 3, 0*d - 9 = -3*w + 2*d. Suppose -2*l = 5*v - 4, 5*v + 1 = 3*l - w. Is 0 + (-1 - v) + 78 prime?
False
Suppose -1 = -2*u + 1. Is u + -1 + 0 - -77 a composite number?
True
Suppose -430 = -4*a + 414. Is a composite?
False
Suppose -4*z = -4*c - 0*z, 2*c + 5*z - 14 = 0. Suppose o - c*y - 24 = 3*y, 0 = o + 2*y - 24. Let g = o - 13. Is g prime?
True
Let b = -784 + 1853. Is b a prime number?
True
Suppose -40 = -3*x + 53. Is x a composite number?
False
Suppose 109 = 5*x + 4*w, -5*w - 120 = -6*x + 2*x. Is x composite?
True
Let n be 427 + (-1*3)/(-3). Suppose n = 4*k + 80. Is k - (-2 + 0 + 4) a composite number?
True
Let b = 55 + -17. Suppose -217 = -3*u + b. Is u prime?
False
Let t(c)