(-1). Let r = j - -17. Let o = r + -9. Is o a composite number?
True
Suppose 7332 - 1196 = 8*f. Is f a prime number?
False
Suppose 0 = 5*j - 0*a + 4*a - 1, j + 3*a = 9. Let x be 6/((-3)/j) - 3. Let s(b) = 5*b - 2. Is s(x) composite?
False
Is -3*40955/(-15) - (3 + -3) a composite number?
False
Let r = 9 - 3. Let j be (-18)/(-5) + r/15. Suppose -33 = n - j*n. Is n composite?
False
Suppose 0 = -7*d + 5*d + 6. Suppose 3*k - 707 = -2*j, k - 706 = -2*j - d*k. Is j a composite number?
True
Let b = 47 + -17. Let y = b + -8. Is y a prime number?
False
Let v(h) = 2*h**3 + 3*h**2 + 8*h + 5. Let t be v(5). Suppose 5*w = -0*w + t. Is w a composite number?
True
Let i = 11 + -5. Is 11/(-3)*(-57 + i) a prime number?
False
Let x = 2 + 0. Let o be 3*(1 + x)/3. Is (15 - 6/o) + 1 composite?
True
Suppose -84*j + 3989 = -83*j. Is j prime?
True
Suppose -l - 255 = -3*y, 2*y - 345 = -2*y + 3*l. Suppose a = -a + y. Suppose -g + 3*g = 2*w + a, 5*w = -5*g + 125. Is g a composite number?
False
Let n = 36 + -24. Let x(k) = 2*k**2 - 11*k + 1. Let l be x(5). Is 56/n*(-66)/l prime?
False
Let v be (1 - 0)/(2/6). Suppose r - 62 = -4*g - 2*r, 5*g = -v*r + 76. Suppose -k = -0*k - g. Is k a composite number?
True
Let k = 6 + -6. Suppose k = -c + 3*c - 18. Is c prime?
False
Let w(t) = -4*t + 13. Let o be w(10). Suppose 2*h = 7*h - 2*s + 234, 5*h + 237 = s. Let c = o - h. Is c a composite number?
True
Let s = -15 + 40. Is 10/s - 213/(-5) prime?
True
Let l(x) = x**3 - 8*x**2 - 8*x - 7. Let j be l(9). Let w = j + -8. Is 113/5 - w/15 composite?
False
Suppose -4*u + 4 - 3 = 5*z, 3*u = 2*z + 18. Suppose -u*v + 2*a = -242, 2*a - 307 = -5*v + 6*a. Is v a composite number?
False
Let t = 160 - 92. Suppose r - 108 = t. Suppose -4*u - 4*n + r = 0, -2*n = 8 - 2. Is u composite?
False
Suppose 3*k = -4*p - 13, 2*k - 1 = 5*p + 21. Let s(x) = 106*x**2. Is s(k) composite?
True
Suppose 4*x = -5*f + 1767, 3*f - 146 = x - 592. Is x composite?
False
Let b(p) = -4*p - 14. Let k(h) = -7*h**2 + 2*h - 2. Let r be k(1). Is b(r) composite?
True
Suppose 0 = -d - 193 - 46. Suppose 1783 = -2*s - 2*s - 3*k, 5*s - 4*k = -2190. Let g = d - s. Is g prime?
False
Let c(o) = 360*o - 17. Is c(2) a prime number?
False
Suppose -s = 2 - 4. Is ((284/s)/2)/1 prime?
True
Let m = 24 - 30. Is (-1)/1*(-117 - m) a composite number?
True
Let n = 1291 + -578. Is n a composite number?
True
Suppose 6 = 4*l - 10. Let c(g) = 8*g + 1. Is c(l) composite?
True
Let a(w) = w**2 + 3*w + 3. Let l be a(-2). Let v(y) = -l - y**3 + 5*y**2 - 4*y - 4*y**2 + 2. Is v(-3) prime?
False
Suppose 0 = -3*b - 0*l + l + 1, -3*l + 6 = 0. Suppose m = 3 + b. Is 326*((-6)/m - -2) composite?
False
Suppose 2*x - 2426 = -5*p + 745, -4*x = -4*p + 2548. Is p a prime number?
False
Let f = 1087 + -438. Is f composite?
True
Let c = -167 - -574. Is c prime?
False
Suppose -4 = -2*c - 0*c. Suppose -m - 574 = -6*m - v, c*m = -4*v + 226. Is m a prime number?
False
Let t(f) = -f**2 + f + 1. Let q be t(-1). Let i(n) = 634*n**2 - 2*n - 1. Is i(q) composite?
True
Let i(u) be the third derivative of u**5/20 + u**4/3 - 4*u**3/3 + u**2. Let l be i(-9). Suppose -33 = -3*w - n + l, 5*w - 340 = n. Is w composite?
False
Let y(j) = -14*j - 19. Is y(-15) a composite number?
False
Suppose 1587 - 7 = 5*x. Suppose -5*k = -3*k - x. Let t = k + -112. Is t a composite number?
True
Let z = -23 + 22. Is 137 + z + (-14 - -17) prime?
True
Let x be (-20)/(-6) + 1/(-3). Let j be (-23)/x - 4/12. Is j*((-9)/6)/3 a composite number?
True
Suppose 0*j - 2*j = -26. Suppose -q = -76 - j. Is q a prime number?
True
Let g = -6 - -7. Let w(i) = -g - 2 - 2 + 7*i + 6. Is w(6) prime?
True
Let l be (2 - -1)*(-8)/(-6). Suppose x + 3*w = 218, -l*x = -x - 5*w - 696. Suppose -4*f + x + 33 = 0. Is f a composite number?
True
Suppose 10 = 2*p - 0*p. Suppose 0 = p*m - 393 - 577. Suppose 0 = -2*u + 5*r + 293, 3*u - m = r + 252. Is u prime?
True
Suppose 0 = 3*k - 5*a + 2, -k + 0*a + 14 = 2*a. Suppose 751 = k*u - 4259. Is u prime?
False
Suppose 0 = 11*v - 8*v - 1167. Is v prime?
True
Let v = 119 - 234. Let f be (-4)/14 - v/35. Suppose 3*z = 4*j - 368, f*j = -5*z - 0*z + 305. Is j prime?
False
Let o be (-128)/6 + (-3)/(-9). Is (-1820)/o + (-2)/(-6) a prime number?
False
Let b = 76 - -69. Is b prime?
False
Let a be 8 - 6*(-2)/(-4). Suppose 3*r + 225 = 3*l, 0 = -a*l + 5*r - r + 377. Is l a composite number?
True
Suppose 0 = 3*x - 3*o - 0 - 12, 3 = -3*x - 2*o. Let j(q) = 203*q**3 + q**2 - 2*q + 1. Is j(x) a prime number?
False
Let h = -1011 + 1454. Is h a prime number?
True
Let r = -30 - -145. Is r a composite number?
True
Let x be (3 + -1)*6/6. Let y(s) = -2*s - 3. Let w be y(-3). Suppose x*t - 2*c - 55 = 3*c, -w*c - 78 = -3*t. Is t a prime number?
False
Let t(i) be the second derivative of -i**5/20 - i**4/3 + i**3/2 + 3*i**2/2 + 4*i. Is t(-5) composite?
False
Suppose 1526 = 4*m - 1470. Is m prime?
False
Is -2*58*(-51)/12 prime?
False
Let s(g) = -134*g**3 + 2*g**2 - g. Let m be s(1). Let r = 267 + m. Suppose -r = -y + 29. Is y composite?
False
Suppose 7*h = 6*h + 205. Is h a composite number?
True
Let p = 4794 + -3197. Is p a prime number?
True
Let u = 11 - 6. Suppose -x + 5 = -3*g, u*g - x + 0 = -5. Suppose g = -c - 33 + 112. Is c a prime number?
True
Let g = 17 + 2. Suppose j = 5, 2*a - 298 = -5*j - g. Is a a composite number?
False
Let j(i) = -i**2 - 5*i + 4. Let r be j(-6). Is 25 + (-1 + 0 - r) prime?
False
Let g be 2/(1/3 - 1). Let m(n) be the third derivative of -23*n**4/24 - 2*n**3/3 - 5*n**2. Is m(g) a prime number?
False
Let u(d) = -5*d**3 + 2*d**2 + 5*d - 2. Let o be u(3). Let j = 325 + o. Suppose -3*v + 2*s = -167, -s - j = -3*v - v. Is v a prime number?
False
Let c be (-4)/6 + 2/3. Let y = 7 + c. Suppose j - y - 4 = 0. Is j a prime number?
True
Suppose 3*s + 23 = 3*q - 1, 37 = 4*q + s. Let z = 15 - q. Is 1266/(-9)*z/(-4) a prime number?
True
Let g(r) be the second derivative of 1/4*r**4 + 7/2*r**2 + 0 + r + 1/2*r**3. Is g(5) a composite number?
False
Suppose y = 3*y - 2. Let g = 9 + -5. Suppose 0 = -g*q + 4*f + 140, -y = 3*q + 2*f - 126. Is q a composite number?
True
Let q be -5 + 4 + 417*-1. Let v = q - -681. Is v composite?
False
Is (-24)/(-32) + 1625/4 prime?
False
Let v(o) be the third derivative of -3*o**2 + 0 - 11/2*o**4 + 0*o + 1/6*o**3. Is v(-1) prime?
False
Let s be (-2)/(6/411)*-1. Let h(b) = 44*b**2 + 2*b + 6. Let y be h(-3). Let d = y - s. Is d a prime number?
False
Suppose 4*h + 156 = 2*i + i, 52 = i + 3*h. Let g = 83 - i. Is g a composite number?
False
Let g(v) = v + 7. Let n be g(-8). Is n/(-1 - (-78)/79) composite?
False
Let x = 114 - -1865. Is x prime?
True
Let u(j) = -2*j**3 - 15*j**2 - 2*j + 1. Is u(-10) composite?
False
Let l = -4 - -6. Suppose -t - 231 = -l*d - 6*t, 0 = -t + 5. Is d a composite number?
False
Let i(k) be the third derivative of -k**6/120 + k**5/10 + 5*k**4/12 - 4*k**3/3 - k**2. Let q = 8 - 1. Is i(q) composite?
False
Let s(c) = -c**2 + 6*c - 3. Let o be s(5). Suppose -5*p - i = o*i - 1548, 0 = p - 2*i - 307. Is p prime?
False
Suppose -7*u = -3*u - 356. Is u composite?
False
Let q = -14 + -5. Is (q - -18)/((-2)/498) prime?
False
Suppose 4*z + 8 = 0, -2*z + 378 + 299 = b. Is b composite?
True
Let r(g) = -3 - 9*g + 10*g + 24*g. Is r(2) a prime number?
True
Suppose -f = a + 3 - 20, -4*f - 28 = -4*a. Let r = a - 8. Suppose r*c + 0*c + 3*d = 325, 0 = 3*c + d - 250. Is c prime?
False
Suppose 4*v + 88 = -4*y + 2*v, 128 = -5*y + 2*v. Let c = 109 + y. Is c a composite number?
True
Let o = 4 + -6. Is (1/o)/(8/(-3376)) a prime number?
True
Let j be 2/8 + 142/8. Suppose -j = -b + 4*b. Is 4/(-6) - 226/b composite?
False
Let m(t) = -82*t + 1. Is m(-1) composite?
False
Suppose 111 + 777 = -3*u. Let a = u + 793. Is a composite?
True
Suppose 0*k + 5*k - 565 = 0. Is k a prime number?
True
Let t(w) be the third derivative of -w**6/30 + w**5/20 + w**4/24 - 5*w**3/6 - 2*w**2. Let s be t(4). Is s/(-9) - (-2)/(-9) a prime number?
True
Let x = -32 + 48. Suppose -x + 681 = 5*j. Is j a composite number?
True
Suppose 6618 = 4*q + 650. Suppose q = 3*i + i. Is i prime?
True
Let g = -482 - -1267. Suppose 0 = 2*r + 3*r - g. Is r prime?
True
Let y be (1 - 2)/((-2)/(-4)). Let u be y + -24*(-28)/6. Suppose 0 = 4*x - u - 110. Is x a composite number?
True
Let z(o) = 4*o**3 + 6*o**2 - 9*o + 3. Is z(4) composit