Suppose s + i*s = 725. Is s composite?
True
Let j be (28/(-24) + (-6)/(-9))*2. Let g(o) = -531*o - 2. Is g(j) a composite number?
True
Let k = -637 + 1994. Let y = k - 560. Is y composite?
False
Is (2/(-4))/(((-180)/(-41304))/(-15)) a composite number?
False
Let d(u) = -2*u - 6. Let m be 18/42 + 90/(-14). Let s be d(m). Let l(a) = 3*a**3 - 5*a**2 + 4*a + 7. Is l(s) a composite number?
False
Let b = -17359 + 29624. Suppose -b = -10*h - h. Is h prime?
False
Let c(l) = -2 - 2*l + 11 - l**3 + 14*l**2 + 6. Let v be c(11). Suppose -p = -5*p + v. Is p prime?
True
Let n(l) = -l**3 + 4*l**2 - 5*l + 5. Let k be n(2). Suppose -2*u + i - 58 = 0, -k*i = 4*u + 2*i + 130. Let r = 7 - u. Is r a composite number?
False
Is (-1 - 3718)*-2*11/2 prime?
False
Suppose -2*z + 28 = -2. Let b be 84*(z/9 - 1). Let g = -13 + b. Is g a prime number?
True
Let r(g) = 2*g - 6. Let q be r(-1). Let b(p) = -48*p - 19. Is b(q) a composite number?
True
Let b(x) = x**3 + 40*x**2 - 3*x + 59. Is b(-35) composite?
True
Suppose 5*m + 494 = -s, 0*s + 3*m + 2580 = -5*s. Let u = s + 898. Is u a prime number?
True
Is (-6 - -9) + -8 + 17368 a prime number?
False
Let k be -2 - (8/(-2) - 0). Is k/(-4) + (-609)/(-14) composite?
False
Suppose -2*p + 25 = 3*u, u - 2*p + 0*p + 5 = 0. Is (-145544)/(-140) - 3*1/u prime?
True
Suppose 9*j - 49436 = -17837. Is j composite?
False
Let v be (1517*1)/(-9 - -8). Let y = -738 - v. Is y a composite number?
True
Let z(s) = -s**3 + 35*s**2 + 36*s - 19. Is z(30) a composite number?
True
Let y(o) = 4*o**3 + 2*o**2 - 4*o + 1. Let v(h) = 17*h + h**3 + 0 - 8*h**2 - 5 - 18*h**3 + 1. Let g(l) = 2*v(l) + 9*y(l). Is g(5) composite?
True
Let v = -583 + 4344. Is v composite?
False
Suppose s = 8*s - 105. Is (s - 8)/((-2)/(-134)) composite?
True
Let d(v) = 3*v**2 - 11*v - 3. Suppose -20 = -5*j, -96 = -4*r + r + 3*j. Suppose -r = 2*k - 16. Is d(k) composite?
True
Let y(u) = 58*u**2 - 41*u + 83*u**2 - 1 + 40*u. Let i be y(-2). Suppose -o - 4*o = -i. Is o composite?
False
Let i(s) = -2*s + 21. Let a be i(9). Suppose -10926 = -3*j + a*p, -3703 = 5*j - 2*p - 21928. Is j composite?
True
Let b be -24 + 20 + 339*2. Suppose 0 = -d + 3*d - b. Is d a composite number?
False
Let o be (-206)/10 - (-20)/(-50). Let g = o - -23. Is 221/4 + g/(-8) a composite number?
True
Is (-28)/(-4) + -3 - 4470/(-6) composite?
True
Suppose o - 4*p + 12 = 0, p - 3 = o + 3*o. Suppose o = 9*s - 15*s + 9390. Is s a prime number?
False
Let d(l) = -2522*l**2 - 4*l + 2. Let r be d(1). Is ((-15)/(-30))/((-2)/r) prime?
True
Suppose -18*p - 26*p = -33748. Is p a prime number?
False
Let r(f) = f**2 - 8*f + 2. Suppose 4*z = 6*z - 18. Let d be r(z). Suppose c = -d + 120. Is c prime?
True
Is (-21)/(-15) - (-6)/(-15) - -2730 a prime number?
True
Suppose 34*u = 338655 + 184979. Is u composite?
False
Is -1 - 3*-6*(-908)/(-18) composite?
False
Suppose 0 = h - 10927 - 540. Is h prime?
True
Suppose -3*a - 2*m - 2*m = -13, -2*a = m - 7. Suppose -212 = -4*h + a*h. Suppose d - h = -3*d. Is d a prime number?
True
Let p(w) = 2348*w - 11. Is p(9) a prime number?
True
Suppose 0 = -7*o + 12*o - 10. Suppose -7*m + 8 = -3*m - g, -2 = -o*m + g. Suppose 0 = -3*f - a + 199, 73 = -0*f + f - m*a. Is f a composite number?
False
Let r = 97 + 93. Let s be (-6)/5*r/(-4). Let w = 10 + s. Is w composite?
False
Is -1754*(-3 + 10/4) composite?
False
Let q(r) = -r - 3. Let m be q(-6). Is 189 - (-8)/((-6)/m) composite?
True
Suppose 88108 = 2*q + 5*k, -7*q + 6*q = 2*k - 44055. Is q a prime number?
True
Let z = -418 - -825. Suppose 2221 - z = n. Is n a composite number?
True
Let z(y) be the second derivative of y**5/20 + 5*y**4/4 + 7*y**3/2 + 11*y**2 + 31*y. Is z(-13) composite?
True
Suppose 4*n - 93407 + 1023 = -3*t, 0 = -4*t + 16. Is n a composite number?
True
Suppose o - 37 = -32. Suppose 6*n - n - 167 = 3*y, 0 = o*n - y - 159. Is n a prime number?
True
Suppose w = 7*m - 2*m + 57, 5*w - 10 = 0. Let r(h) = 141*h + 2. Let v be r(1). Is 2/m - (-48217)/v a composite number?
False
Suppose 0 = -5*p + v + 22, 2 = -3*p + 3*v + 8. Let h = -5 - -9. Suppose h*r + 107 = j, r + 0 = p. Is j prime?
True
Let w be 192 - (3 - 0 - 2). Suppose -2*y - w = 125. Let a = 280 + y. Is a prime?
False
Is (-7114)/(-1) - 4/8*-6 composite?
True
Let v be (-1552)/(-20) - (-8)/20. Suppose 5*y = 3*x - 684, 4*y + 143 = x - v. Is x composite?
False
Is 4/(-38) + (-2457)/(-57) composite?
False
Suppose -l = -0*l - 4. Let k be l/(-14) - (-26)/(-7). Is 1 - (k + 2 - 16) a composite number?
False
Let d(z) = -5*z**3 - z**2 + z + 3. Let u be 8/3 - 6/9. Let h be (-4)/u + 0/(-2). Is d(h) composite?
False
Let d be 1*(5 + (-70872)/(-3)). Suppose -20*s + d - 2289 = 0. Is s composite?
True
Suppose -k = 12 + 6. Let r(h) = 9*h**2 - 2*h. Let w be r(-2). Let i = k + w. Is i a prime number?
False
Suppose 0 = m + 2*m - 15. Suppose o + m*t + 54 = -o, t = -5*o - 89. Is o/(-1) - (-14)/(-7) a composite number?
True
Let c = -288 + 491. Suppose 5*b - 282 = c. Is b prime?
True
Let m(y) = 207*y - 22. Let d(a) = 104*a - 11. Let p(o) = 7*d(o) - 4*m(o). Is p(-14) a prime number?
False
Suppose 0*s = -2*q + 2*s + 66790, 0 = -5*s. Is q prime?
False
Let u = 6615 + -1588. Is u composite?
True
Suppose 0 = -3*c + 5*c + 12. Let w(s) = 6*s**2 - 2*s - 8. Let b be w(c). Is b/6 - (-11)/33 composite?
False
Suppose 4*b + 2*q - 42 = 0, 3*b + b + 5*q - 51 = 0. Let x be 1*57*(b - 8). Let t = 2 + x. Is t a composite number?
False
Suppose -2*i = -i. Suppose i = -3*m + g + 2*g + 12, g = -5. Is (3/(12/(-100)))/m prime?
False
Let b(k) = 2*k + 132. Let w be b(0). Let o = w - 37. Let x = o + -60. Is x a composite number?
True
Let b = 10670 + -7377. Is b a composite number?
True
Let u(x) = -2*x**2 - 124*x - 37. Is u(-50) prime?
True
Suppose 0 = -4*c + 2*d - 7*d - 29, -2*c = d + 7. Let m(r) = -5*r**2 - 6*r + 13. Let y(j) = 1. Let q(u) = c*m(u) + 6*y(u). Is q(4) a composite number?
False
Suppose 3*n - 3*x = 75186, 7*n = 4*n - 4*x + 75221. Is n composite?
True
Let o = 537 - -644. Is o prime?
True
Let c(o) = -15*o + 11. Suppose 2*u + 30 = l, 5*l - 159 = 5*u - 24. Suppose 3*x - 6*x = l. Is c(x) composite?
False
Let y(k) = k**3 + 3*k**2 - 2*k + 5. Let v be y(-3). Is 55/v*2/(-7)*-7 prime?
False
Let w be (-25386)/27 - 3*2/(-27). Let c = w - -2439. Is c a prime number?
True
Is 110/8 - (-105)/(-140) composite?
False
Let o be ((-2)/(-2) - 1)/(-1). Is (-261635)/(-187) + 2/(-17) + o prime?
True
Suppose 0*u + 4*u - 2520 = 0. Let b(c) = -295*c**2 - c + 1. Let y be b(1). Let h = u + y. Is h a composite number?
True
Suppose 2 + 4 = -2*v + 3*x, 4*v - 3*x = -6. Suppose v = -10*r + 4571 + 8599. Is r a composite number?
True
Let d(a) = 2308*a - 2. Let n be d(2). Suppose -2*w = 4*g - n, g + w - 1156 = -0*w. Is g composite?
False
Let x = -998 - -27225. Is x composite?
False
Let q(i) = 32*i + 29. Let w(r) = 19*r - 7. Let f be w(1). Is q(f) a prime number?
False
Let d(h) = 531*h - 7. Let o be d(2). Suppose 9*g = 4*g + o. Is g prime?
True
Suppose -m + h = -4*h - 308, -4*m + 5*h = -1307. Let n = 826 - m. Is n a prime number?
False
Suppose -d = -3*t - 32, 3*d - 2*d = -2*t - 28. Let h(y) = -y - 8. Let i be h(t). Suppose i*f = -2*c + 514, 5*f - 4*f + 3*c - 136 = 0. Is f a prime number?
True
Let c be (-5 + 0)*(511 + -18). Let n = -1728 - c. Is n composite?
True
Let n be (-1 - 1) + (2 - -1). Suppose d - 4*t = -n, 2*d + 7 - 17 = -4*t. Suppose 4*s - 55 = d*s. Is s a prime number?
False
Let o be -2 - -3 - -2235 - -4. Is o - 8/((-48)/(-18)) prime?
True
Suppose -3*x = 380 - 1571. Is x a composite number?
False
Let k be 4/18 + 8585/45. Let r = k - 119. Suppose -3*d - 11 = -v + r, 3*v - 265 = d. Is v a composite number?
False
Let w(o) = 4872*o**2 + 2*o - 3. Is w(1) prime?
True
Suppose -c - y + 4 = -0*y, 0 = 2*c + 4*y. Is (-2)/c - (-1674)/8 a prime number?
False
Is -4*(-15727)/(0 + -4 - -8) composite?
False
Suppose 0 = 3*d + 9400 - 50329. Is d a composite number?
True
Let j = -16 + 19. Suppose 5*c - 3885 = j*z, -3*c + 2*z + 3110 = c. Let a = -445 + c. Is a a composite number?
True
Suppose -2*y + y - 5*o + 2 = 0, 0 = 3*y + 5*o - 6. Let z be y + (0 - (-3 - 56)). Suppose 3*k + 12 = 5*i - z, 3*i - 5*k - 47 = 0. Is i a prime number?
False
Let o = -18 + 16. Let h be o/(-4) - 7/14. Suppose 3*d - 110 = a, h = -2*a - 0*a + 2. Is d a composite number?
False
Let g = -138 + 420. Supp