- 2 + 162*y**2. Let z = -9 + 10. Is j(z) a composite number?
False
Suppose 0 = 125*n - 127*n + 23262. Is n a prime number?
False
Suppose -r - 4*h = 2*r - 29, 4*h - 14 = 2*r. Let c(a) = -20*a + 4. Let n be c(r). Is 6/(-14) - 4448/n prime?
True
Suppose -14*b - 3170 = -52128. Is b a prime number?
False
Let u = 95 - 95. Suppose u = -4*t + q + 4*q + 633, t - 5*q = 162. Is t prime?
True
Suppose -4 = 2*p - 4*p. Suppose 3*v - 2567 = -u, -4*v + 2788 = p*u - 638. Let t = 1321 - v. Is t composite?
False
Suppose 25*k - 36*k + 19811 = 0. Is k a composite number?
False
Let w = 34 - 31. Suppose 5*a + 13 = 678. Suppose w*z - 26 = a. Is z prime?
True
Let j(o) = o**3 - 18*o**2 + 15*o + 24. Let w be j(17). Let q = 29 + w. Is q a composite number?
False
Suppose 45*p = 46*p - 104. Suppose f - 7 = 2*f. Is p/3 - f/21 composite?
True
Suppose 4*c - 46588 = r + 32483, 2*c + 395377 = -5*r. Is 4*(r/(-20))/5 composite?
False
Suppose 5*f - 7 = 3, -i + 6305 = -f. Suppose 0 = -6*s - s + i. Is s a prime number?
False
Let x be (64/112)/(2/7). Let v(p) = 40*p**2 + 2*p - 3. Is v(x) a prime number?
False
Let a(c) = 24*c**2 + c - 17. Let v be a(7). Let f = 3775 - v. Is f prime?
True
Let r be 14*5/105*6. Let q(j) = 2*j**2 + 3*j - 9. Is q(r) composite?
True
Let x be 16/4 + 5 + 0. Let g = -136 - -66. Let w = x - g. Is w composite?
False
Suppose 0*m - 4*m = 296. Let f be m/(-8) + 24/32. Suppose -c = -39 - f. Is c a prime number?
False
Let f be (-452)/(-2 + 0) - -1. Suppose 23 - f = -z. Suppose 0 = 4*o - z - 608. Is o a composite number?
True
Let n = 19 + -17. Is ((n - 0) + 0)*(-8980)/(-8) a prime number?
False
Let m(y) = 34*y - 1. Suppose o = 1 - 2. Let q(u) = 2*u**2 + 3*u + 2. Let p be q(o). Is m(p) composite?
True
Let g = 2989 - 908. Is g composite?
False
Let i = 29 + -175. Let n = 265 + i. Is n a prime number?
False
Let l = -47 - -51. Suppose l*i = 80 + 3396. Is i composite?
True
Let r = 15 + -12. Suppose r*g - 499 = 6*s - 4*s, -3*s - 331 = -2*g. Is g a prime number?
True
Is (-13)/(-52) - (-3 - (-22983)/(-4)) composite?
False
Let v = -4 - -4. Suppose x - 236 + 88 = v. Suppose g + 3*g = x. Is g prime?
True
Suppose 2*a - 22 = 2*c, 2*c - 68 + 0 = -4*a. Suppose 3*t - b = -19, 2*t - b + a = 3. Let q = 82 - t. Is q a composite number?
False
Let v be (-63)/18*(-412)/2. Suppose -4*q + 113 = v. Let l = q + 469. Is l prime?
True
Let s = 6293 + -4316. Suppose -4*v + 2631 = t - 0*t, -3*v + 3*t + s = 0. Let c = 1037 - v. Is c composite?
False
Let f(p) = 13*p - 3. Let x = -22 - -25. Let t be f(x). Is 1/(-2) - (-1674)/t composite?
True
Let u be (-114)/(-42) - 2/(-7). Suppose -k + u = -2. Suppose -3*b = -12, -k*p + 629 = -0*p - 4*b. Is p a prime number?
False
Let b = -7 + 12. Suppose 3*h = -5*u - 2*h + b, -3*h + 4 = 4*u. Is (-10 - u)*-37*1 composite?
True
Let o(w) = -4*w + 20. Let b be o(4). Is (3849/(-6) + 0)/((-2)/b) a prime number?
True
Let j(i) = 6*i**2 + 8*i + 257. Is j(51) a composite number?
True
Suppose 3971 = -6*k + 12857. Is k composite?
False
Let i(o) = -3*o + 2. Let s be i(0). Suppose s*b = b + 620. Let n = b - 247. Is n prime?
True
Suppose 5751 = y + 365. Suppose 0 = -10*d + 18984 + y. Is d a composite number?
False
Let n(r) = -r**2 + 16*r + 9. Let y be n(16). Suppose 2*t + y = 119. Is t prime?
False
Let v be 0/(4/(8 + -4)). Is 2 - -527 - v/3 a composite number?
True
Suppose 4*v - 4*g = 524, 5*v = -0*v - 3*g + 663. Let p = 187 - v. Suppose p = m - 22. Is m a composite number?
True
Let j(g) = 4*g + 32. Let a(z) = z + 8. Let i(s) = 26*a(s) - 6*j(s). Let x be i(-9). Is (-12)/x*134/4 prime?
False
Let u(i) = -5*i**2 + 7*i - 18. Let l be u(15). Is (l/(-5))/(16/40) a prime number?
False
Let i be 6*(-4)/6 - -13. Suppose -6*u + i*u = -3. Let z(r) = -93*r**3 - r**2 - r. Is z(u) a prime number?
False
Let w(b) be the second derivative of b**4/12 - 3*b**3/2 - 4*b**2 + b. Let k be w(10). Suppose -3*i = y - 1339, 0*i = -k*i + 4*y + 874. Is i a composite number?
True
Let s be 1*(6 + (-4 - -1)). Suppose 5*w + b = 638, -s*w = w - 5*b - 493. Is w a prime number?
True
Let y(r) = 32*r**2 - 9*r - 142. Is y(-15) prime?
True
Let n(y) = 12*y**2 - 21*y - 52. Is n(15) a composite number?
False
Suppose -t + 0 = y - 7, -4*y + 22 = t. Is 51507/18 - 1/t prime?
True
Let h(x) = 9*x + 5401. Is h(0) a prime number?
False
Is (-4)/(-10) + ((-458132)/(-20) - 16) a composite number?
True
Let k(c) = -2*c**2 + 2*c - 2. Let t be k(5). Is (-28)/t + 2596/3 composite?
True
Let o = 2884 + 2577. Is o a prime number?
False
Let w(c) = -c**3 + 9*c**2 - 7*c - 7. Let b be w(8). Let r(j) = -7*j + 21*j - 17*j - b + 5*j**2. Is r(3) prime?
False
Let j(t) = 137*t**3 - 11*t**2 + 3*t - 7. Is j(4) composite?
False
Let k(f) = 47*f + 73. Is k(18) a prime number?
True
Let d = 464 - -413. Is d a composite number?
False
Let l be 14/35 - (6/(-10) + 2). Is 409/(0 - l)*(-5 - -6) a composite number?
False
Suppose 3*r - 2*f - 27 + 5 = 0, r - 24 = 4*f. Suppose 7675 = r*c + c. Is c a prime number?
False
Suppose 0 = -3*l - 6, -3*l = 3*g - 0*g + 51. Is 10/(-4)*g/(-25)*-178 a prime number?
False
Let b be -1*(-6)/9*3. Let x(w) = -29 + 65*w**b - 18 + w + 46. Is x(3) a prime number?
True
Let b(o) = 2*o**2 - 6*o - 6. Let f = -35 + 25. Is b(f) a prime number?
False
Suppose -4*n + 1 = -15. Suppose -147 = -o - n*t, -423 = -4*o + o - 3*t. Is o a composite number?
False
Suppose 0 = -11*y + 4 + 7. Suppose h = -3*m - 2*h, 4*m - 4 = -2*h. Is (y + 3)/m + 41 a prime number?
True
Suppose -13762 = -2*m + 4*d, 3*m - d + 962 = 21610. Is m prime?
True
Let a(t) be the second derivative of 5*t**5/4 + t**4/12 - 2*t**3/3 - t**2/2 + 10*t. Let i be a(-2). Let x = i + 580. Is x composite?
True
Suppose 12*s + 55824 = 306012. Is s prime?
True
Let y(i) = -i**2 + 17*i - 8. Let o be y(7). Let w = o + 108. Suppose w = l - 4*a - 61, 4*a = 3*l - 709. Is l prime?
True
Suppose 2*x - 71466 = -4*d, 2*x = -0*x + 6*d + 71446. Is x composite?
False
Let p = 62 - -13. Suppose 74*q = p*q - 487. Is q composite?
False
Let k = 8868 - -32183. Is k a prime number?
True
Let t = -440 - -438. Suppose -p - 3 - 2 = 0. Is p*(t + 496/(-20)) prime?
False
Let j(s) = -770*s**3 - 8*s**2 - s + 4. Let o be j(-3). Suppose -a + 3*r + 6919 = 0, 3*a - r - o = -0*a. Is a a prime number?
True
Suppose 2*j = 5*t - 2, 2*j - 6*t - 2 = -3*t. Suppose -5*i - 9 = -j*n, 3*n + 5*i - 27 = n. Let w(d) = 3*d**2 + 2*d - 1. Is w(n) composite?
True
Let x(z) = 1834*z**3 + 3*z - 2. Let c(s) = -s + 12. Let j be c(11). Is x(j) a composite number?
True
Let a be 25/(-2)*4/(-5). Suppose a*g = 11*g - 293. Is g composite?
False
Let i(f) = -f - 3. Let s be i(-16). Suppose -s*h + 12*h = -5. Suppose -308 - 107 = -h*a. Is a prime?
True
Is 68398 - (2 + 17 + -10) a composite number?
False
Let z be (-520)/(-7) + 6/(-21). Let p = z + -152. Let a = -55 - p. Is a composite?
False
Let r(p) = 14*p + 2. Let v be r(-1). Let j be (-20964)/(-20) + v/(-15). Suppose 2*i = 3*s - j - 1834, 2*s + 5*i - 1903 = 0. Is s a composite number?
True
Let i be (-2 - -3 - -1)*3. Suppose 2*z - i = 6. Let n(o) = 22*o + 13. Is n(z) a composite number?
True
Let n = 9 + -6. Let k(p) = -p**3 + p**2 + 1. Let f be k(n). Is (f + 1)*-7 + -1 a prime number?
False
Let o = 140500 - 90717. Is o a composite number?
False
Is 6/(-4)*(-55328)/24 - 5 a prime number?
False
Is ((-444)/(-333))/(4/129729) a prime number?
False
Is 2/3*(1 - 9487/(-2)) a prime number?
True
Is ((-2)/(-1))/((-18)/(-265338)) + 1 prime?
True
Suppose 43*p = 48*p - 12705. Let v = p + -1360. Is v a composite number?
False
Let n = 10 - -121. Is n a composite number?
False
Suppose i - 15 = -12. Suppose 0*o + i*o + 825 = 0. Is -1 - -1 - o/5 a composite number?
True
Suppose -49*s + 3032841 + 1677872 = 0. Is s a prime number?
True
Suppose -v + 24 = -4*y, -3*y - 25 = -10. Let n(r) = -r + 1. Let g be n(-1). Suppose -2*d = -5*a + 3*a + 504, 0 = -g*a - v*d + 498. Is a prime?
True
Suppose 24*p = 29*p - 10035. Suppose 0 = 4*a + 5*j - p, -j + 253 = a - 249. Is a composite?
False
Let r be (-147 - 4/4)/(1 - 0). Is (-44)/8*(r - -3 - -3) a composite number?
True
Suppose -2*g - g = -3*o + 9, -5*g - 5 = -3*o. Is 167356/70 - g/(-10) prime?
False
Suppose 15771 = 5*m - 2984. Suppose 4*s - m = i, 4*s + 5*i - 3647 - 86 = 0. Is s composite?
False
Let r(p) = -p**3 + 8*p**2 - 3*p - 10. Let y be r(7). Suppose q - y = 3*c, 2*c + 3 + 11 = q. Let h(m) = 