j - 10. Let d be s(8). Let h = -143 - d. Is h composite?
False
Suppose 3*g + 2*g = 1055. Is g a composite number?
False
Let o be ((-8)/(-12))/(6/3519). Let n = 552 - o. Is n prime?
False
Let z be ((-16)/(-5))/(1/(-5)). Suppose 2*a - 2*i = i + 66, i = -3*a + 121. Let l = a - z. Is l a prime number?
False
Let h = 912 - 121. Is h a composite number?
True
Is 2 - (4 + -333)*1 a prime number?
True
Suppose 0 = l - 2519 + 580. Is l composite?
True
Let q(x) = 23*x + 11. Is q(6) prime?
True
Let k be -2*(-3)/(2 + -5). Let s(x) = -10*x + 1. Is s(k) a prime number?
False
Let f(g) = 82*g**2 - 10*g + 11. Is f(4) prime?
True
Let l be 364/(-1) - 0/(-2). Is 3/(-9)*(1 + l) prime?
False
Let n = -2 + -4. Let s = -483 + 1165. Is s/14 - n/21 a composite number?
True
Suppose 3*x = 2*x - 119. Let j = x - -170. Suppose 3*u + 4*r + j = 154, -3*r = -u + 30. Is u prime?
False
Let r = 9 - 5. Is r a prime number?
False
Let w(x) = 11*x + 4*x**2 + 4 - 8*x + 2*x**2. Is w(-3) a prime number?
False
Suppose 4*d + 0*d = 0. Let w(y) = -y**3 + 3*y**2 + y + 2. Let n be w(3). Suppose -45 = -d*c - n*c. Is c composite?
True
Suppose 4*g + 3*z = 26, 2 - 4 = -z. Suppose -4*a = -3*a - 2. Suppose -2*b + 26 = -3*f - a*f, -g*b + 65 = -f. Is b composite?
False
Let a(f) = -12*f + 5. Suppose q = -14 + 4. Let c = 6 + q. Is a(c) composite?
False
Suppose 4*b - 4 - 16 = 0. Suppose 2*z - 49 = -q, -b = -z + 2*z. Is q a prime number?
True
Suppose 0 = 3*f - 15, 5*v = -2*f - 0*f + 10. Suppose -m - 50 + 211 = v. Is m prime?
False
Suppose 0 = -3*r + 6*r - 249. Suppose -3*j + r = -55. Suppose 5*m - 3*m - 62 = 3*x, 2*m + x = j. Is m a prime number?
False
Let w = 900 + -435. Suppose -w = -2*b - b. Suppose -a + b = 2*q - 0*a, 2*q + 2*a = 152. Is q a composite number?
False
Let k(b) = -b**2 - 7*b - 5. Let z be k(-5). Suppose -8 = -z*c + 2. Suppose 0*a + 194 = 2*j + a, 194 = c*j - a. Is j a prime number?
True
Let u(h) = -3*h**3 + h**2 - 5*h - 6. Is u(-5) a prime number?
True
Is 2/(-4) + 35696/32 a composite number?
True
Let w(v) = 337*v - 6. Is w(1) prime?
True
Let g(b) = -30*b + 7. Let h be (3/(-6))/(1/12). Is g(h) a prime number?
False
Let h = 327 - 70. Is h a prime number?
True
Let j(y) = 80*y + 6. Let i(c) = 16*c + 1. Let t(g) = 16*i(g) - 3*j(g). Is t(1) composite?
True
Let f(m) = 82*m**2 + 1. Let z be (-2)/(-4) - 3/2. Is f(z) composite?
False
Let j = 4 + -2. Let w be j/(-5) - 1902/(-30). Let b = 244 + w. Is b a prime number?
True
Let n(o) = 3*o**2 - 10*o - 9. Let x be n(-6). Suppose 0*s - 3*s = -x. Is s prime?
True
Let n be ((-2)/4)/(10/3120). Let h = -59 - n. Is h prime?
True
Let c(f) = -2*f + f + 2*f + 9 - 3. Is c(8) prime?
False
Suppose -3*d + 4 = -5*y - 4, -3*y - 12 = -3*d. Suppose -3*u - 21 = -d*u. Let b = -4 + u. Is b a prime number?
True
Suppose 0*t - t - 4*u + 327 = 0, -5*t + 3*u = -1635. Is t a prime number?
False
Suppose -5*p + b + 711 = -30, 0 = -2*p + 2*b + 290. Is p a prime number?
True
Let d(b) = -b**2 + 10*b - 2. Is d(7) prime?
True
Suppose 4*l = 4*o - 4344, -2*o - 4*l + 2187 = -9*l. Is o a composite number?
True
Suppose 7*h + 5*h = 6444. Is h a prime number?
False
Suppose 3*o + 5*n = -2*o + 25, 5*o = 3*n + 1. Let w(h) = 12*h**2 + 4*h - 3. Is w(o) composite?
False
Suppose -12 = 2*d - 2. Let x(t) = -t**2 + 1. Let i be x(-3). Is (6/i)/(d/380) composite?
True
Let b(j) = j + 3. Let o be b(-3). Suppose 4*y + y = o. Suppose 5*i - 161 - 14 = y. Is i prime?
False
Suppose -6*f = 5*w - 2*f - 403, -3*w = -2*f - 233. Is w a composite number?
False
Let o(a) = -a**3 - 5*a**2 + 5*a - 6. Let k be o(-6). Suppose 53 = x - k*x. Is x composite?
False
Let t = 1 + 5. Let n = 2 - t. Let w(m) = 2*m**2 - 6*m - 3. Is w(n) a prime number?
True
Let b be -38 + 2 - 12/4. Let d = b + 74. Let z = -13 + d. Is z a composite number?
True
Let j(k) = -5*k**2 - 2*k + 5. Let c be j(-4). Let n = c - -98. Is n a prime number?
True
Is (0 - 1395/(-11)) + 12/66 a prime number?
True
Suppose -7 = 6*o - 4753. Is o prime?
False
Is (299/2)/((-120)/16 + 8) a composite number?
True
Let t(k) = 3*k**3 + 2*k - 1. Let x be t(-2). Let u(y) = -11*y**2 - 2*y - 3. Let v be u(-2). Let q = x - v. Is q prime?
False
Let j be (1 - 3)/(4/(-66)). Let y(x) = x**3 - 4*x**2 - 5*x + 3. Let q be y(5). Suppose j = q*m - 198. Is m a prime number?
False
Let k = 1199 - 608. Let l = k - 2399. Is (-2)/6 + l/(-6) composite?
True
Let i = -8679 + 14876. Is i prime?
True
Suppose 2*d - 7689 = -3*g, 8021 = 5*g - 4*d - 4794. Is g prime?
False
Suppose -69 - 693 = -2*j. Is j composite?
True
Suppose 4 = b, 2*i - 4 = 4*b - 6. Let u(p) = -219*p + 1. Let o be u(i). Is (-2)/(-11) - o/44 prime?
False
Let d(y) = 83*y - 37. Let w(c) = -42*c + 19. Let t(x) = -6*d(x) - 11*w(x). Is t(-11) a composite number?
False
Let t(k) = 3. Let z(i) = i. Let u(c) = -t(c) + 3*z(c). Let x be u(3). Is 9 + x/4*-2 composite?
True
Let d(l) be the first derivative of -l**4/4 + 8*l**3/3 - 5*l**2/2 + 5*l - 2. Is d(7) a prime number?
True
Let j(r) be the second derivative of r**4/12 - r**3/6 - r**2/2 + 2*r. Let h be j(3). Suppose 4 + 1 = h*u - 5*s, -4*s + 14 = 2*u. Is u a prime number?
True
Let v = -2 + 6. Suppose v*n + 4*y - 57 - 587 = 0, n = y + 157. Is n a composite number?
True
Suppose -15 = -5*m, 2*s - 34 = -5*m - 9. Suppose 0 = 5*w - r - 84, 0 = -s*w - 3*r - 5 + 73. Suppose w = -4*f, k - 2*f + f = 63. Is k a composite number?
False
Let w = -326 + 577. Is w prime?
True
Is (3/9)/((-1)/(-2361)) a prime number?
True
Is ((-3362)/(-4))/((-187)/22 + 9) a prime number?
False
Suppose 0 = -2*h - 4*m + 566 - 180, -4*h - 3*m = -767. Is h composite?
False
Is (42/8 + -1)/((-6)/(-264)) prime?
False
Is -886*1/(-2) + 2 a prime number?
False
Let t be -9 - 9/(-4 + 1). Is (-666)/t + (0 - 0) composite?
True
Let p be (3 - -63)*1 + -1. Suppose -3*x = -p - 166. Is x a composite number?
True
Suppose -7 = -2*y + 11. Suppose -5*i - 14 - 5 = 3*h, -2*h = -i - y. Suppose 2*k = h*d + 16 + 4, -2*k + d + 25 = 0. Is k prime?
False
Let l = 1 - -2. Suppose -20 - 84 = l*h + 5*p, 4*p - 8 = 0. Is (h/8)/(5/(-20)) a prime number?
True
Suppose -12 = -5*b + 3. Suppose b*h - 124 = -h. Is h prime?
True
Let a be (-2)/8 + 51/12. Suppose -2*k + 140 = a*r, 0*r - 5*k = -4*r + 140. Is r composite?
True
Let u(n) = n**3 - 7*n**2 - 9*n + 12. Let i be u(8). Let t = -18 + 42. Suppose p = 3*p + 4*m - t, 4*p = -i*m + 36. Is p composite?
True
Let w(x) = 112*x - 7. Is w(2) prime?
False
Suppose -8 = q + 2*i, -6*q = -2*q + 2*i + 14. Let v be 42 + (q - 0)/(-1). Suppose k - d - 29 = d, -k + v = d. Is k a prime number?
False
Let o = -671 - -1140. Suppose 5*s - 3*b = 324 + o, 3*b - 173 = -s. Is s prime?
False
Suppose -2*p = -160 - 18. Is p prime?
True
Let f = 39 - -7. Is f composite?
True
Let a(t) = -t**3 - 10*t**2 - 12*t + 7. Is a(-10) prime?
True
Suppose 1 - 13 = -4*k. Let i be (-3*1)/k*0. Suppose -7*p - 2*t = -2*p - 421, -3*p + t + 246 = i. Is p prime?
True
Let c(j) = -25*j**3 + 4*j**2 + 2*j - 1. Suppose 2*z + 4 = -0*z. Is c(z) a composite number?
False
Let r(y) = -y**3 - 3*y**2 - 2*y + 3. Let z be r(-3). Let o = 32 - z. Is o prime?
True
Let w = -638 - -1131. Is w a prime number?
False
Let r(x) = -11*x - 6. Let z(j) = j**2 + 22*j + 13. Let w(q) = 9*r(q) + 4*z(q). Is w(9) composite?
False
Suppose 11*b = 13*b - 448. Suppose -3*t + 247 = -b. Is t composite?
False
Is 2*4/((-16)/(-382)) prime?
True
Let p(b) = -b**3 - 10*b**2 - 10*b - 7. Let f be p(-9). Suppose 2*r - 5*v + 12 = 0, -f*v + 9 = -3*r - 2*r. Is 12 + 3 + -1 + r a composite number?
False
Let h(t) = -1. Let z(w) = 17*w - 1. Let j(g) = g**2 - 7*g - 10. Let i be j(8). Let x(u) = i*h(u) + z(u). Is x(2) prime?
False
Suppose 0 = 4*i - 1321 - 4851. Is i prime?
True
Let i(l) = -4*l + 57. Let x(d) = -5*d + 57. Let z(h) = -4*i(h) + 3*x(h). Let j be z(0). Let s = 314 + j. Is s composite?
False
Let z(s) be the first derivative of -s**4/4 + s**3/3 - s**2/2 + 4*s + 1. Let j be z(0). Let v = 9 + j. Is v prime?
True
Suppose 121 = -3*c - 155. Let j = 141 + c. Is j composite?
True
Let w = -202 + 523. Is w a prime number?
False
Let v(c) be the third derivative of c**6/120 - c**5/6 + 5*c**4/24 + c**3/2 - 2*c**2. Is v(10) composite?
False
Suppose -5*d - 57 + 17 = 0. Let p(q) = q + 10. Let y be p(d). Is y*-67*(-2)/4 composite?
False
Suppose 0 = -2*j - 0*j + 8. Is (10/15)/(j/798) composite?
True
Let s be 28/7*(0 - -1). Suppose b =