13 + r. Is m composite?
True
Let c = -2488 + 5265. Is c a prime number?
True
Suppose 4590 + 924 = 2*w - 4*a, -2*w = -2*a - 5506. Is w a prime number?
True
Suppose -40134 + 14112 = -6*f. Is f a composite number?
False
Let z be ((-2952)/(-32))/(2/(-16)). Let r = -201 - z. Is r a prime number?
False
Suppose f - 3*d - 1883 = 0, -7*f + 12*f + 5*d = 9495. Is f prime?
False
Let r(i) = 2*i + 9*i - 4*i + 12. Is r(11) a prime number?
True
Let w(t) = -55*t**3 + 15*t**2 + 34*t + 35. Is w(-9) composite?
False
Let k be 550/30 + (-4)/(-6). Suppose -3*s = -5*y + k, -5 - 14 = -2*y + 5*s. Suppose 199 = y*n - 7. Is n prime?
True
Let c = 14 + -12. Suppose -8 = 5*a + c. Let i(x) = -63*x**3 + 2*x**2 + 3*x + 3. Is i(a) a prime number?
True
Suppose 0 = 3*l + 5*b - 0 + 24, 3*b = 2*l + 16. Let o = 31 + l. Let a = 152 - o. Is a composite?
True
Suppose 5*x = 2*x - i + 1027, 0 = 3*x + 5*i - 1019. Suppose 0 = 4*j - 3*j - 3. Suppose 3*u = -o + 773, -j*u + x = 3*o - 422. Is u composite?
True
Let m = 27 - 24. Suppose v = -m*v + 16. Suppose 4*o - 2*o = 3*r + 1051, -v*o = 2*r - 2078. Is o prime?
True
Let w = 17216 + -6395. Is w a prime number?
False
Suppose 0 = c - 5*c + 20. Let p be c/(-5)*(1 + 63). Is 92*(-12)/p*4 a composite number?
True
Let t be 4 + (0 + -3 - -3762). Suppose 0 = -2*l + 4*a + 2518, 0*a - a + t = 3*l. Is l a composite number?
True
Suppose -7*n - 308 = -1491. Is n prime?
False
Let n(w) = 3*w**2 + 7*w + 15. Let f be (-7)/1 + 4 + 12. Let z be (21/f)/((-1)/(-3)). Is n(z) prime?
True
Suppose 70 - 66 = -4*l. Let n(i) = i - 4*i + 4*i + 1062*i**2. Is n(l) composite?
False
Suppose 0 = 2*l - 0*m - 5*m - 43, 2*l - 33 = 3*m. Let g(v) = 27*v + 16. Is g(l) composite?
True
Let r be (-6)/(-18) + (-17)/(-3). Let l be (-12)/36 - 436/r. Let x = 258 - l. Is x prime?
True
Suppose 5*f - 2*f - 147 = 0. Let p(i) = 7*i. Let w be p(-5). Let m = f + w. Is m composite?
True
Let p = 23 + -21. Let q(y) = -7 - 16*y + 6*y**p + 19*y + 11*y. Is q(-8) prime?
False
Let v be 2 + (12/4 - 4) + 9. Suppose -x = -2*k - 1829, 2*k - v = -0. Is x a prime number?
False
Let a(x) = -x**3 + 4327. Is a(0) a prime number?
True
Let z(f) = 7*f**2 - 6*f + 9. Let q(v) = -8*v**2 + 5*v - 8. Let p(x) = -5*q(x) - 6*z(x). Let k be p(-9). Let b = k - -510. Is b a prime number?
False
Let o(i) = -i**2 + 2. Let t be o(0). Suppose -4*l + t*l + 32 = -2*d, 4*l = 12. Let q = d - -64. Is q composite?
True
Let m be (-165)/(-21) + (-5)/(-35). Is (3695/(-20))/(-1 + 6/m) a prime number?
True
Suppose 5*i - 72 - 3 = 0. Let g = i - 6. Suppose g*p = -4*y + 4*p + 821, 0 = 4*p + 12. Is y a composite number?
True
Let t = 1415 - -1004. Is t a composite number?
True
Suppose -5*z + 1029 = 4*i, 3*i = 5*i + 2*z - 512. Is i composite?
False
Let c(p) = -3*p**2 + p + 1. Let n be c(-1). Let k be -1 + ((-1929)/n - -3). Suppose 4*d = d + 4*m + k, -3*m - 1064 = -5*d. Is d a composite number?
False
Let u(i) = -i**3 + 9*i**2 + 10*i + 3. Let l be u(10). Suppose -632 = -5*n - l*n. Is n composite?
False
Let r = -7 - -24. Let o(s) = s**3 - 17*s**2 - 2. Let l be o(r). Is 2/l*29*-2 composite?
True
Let t(c) = -687*c - 386. Is t(-12) a composite number?
True
Let x(m) be the second derivative of -41*m**5/120 - 3*m**4/8 - 5*m**3/3 + 3*m. Let o(b) be the second derivative of x(b). Is o(-8) a prime number?
False
Suppose -5*z - 43490 = -15*z. Is z a composite number?
False
Let g(r) = -r**2 + 2*r - 2. Let c be g(5). Let u = c - -21. Suppose 4*p = -3*z + 78 + 667, 0 = -4*z + u*p + 1012. Is z a composite number?
False
Let x(j) = -77*j - 6. Let m(y) = y + 3. Let w be -10 - (1 - (-3 - -6)). Let n be m(w). Is x(n) prime?
True
Is ((-13834)/(-13) - 15) + 2/(-13) prime?
True
Suppose q + 1 = -8. Let m = -7 - q. Is (m/6)/(5/555) composite?
False
Let o(t) = 4*t - 8*t + 5 + 8*t + 16*t. Is o(7) composite?
True
Suppose 15 = 3*d - 0. Let v(b) = 9*b**2 + 11*b - 26. Is v(d) a prime number?
False
Suppose 4*u - t - 66696 = 0, 52*u - 49*u = -3*t + 50007. Is u composite?
False
Let y(u) = 25*u - 11*u - 11*u - 2. Is y(17) a composite number?
True
Let i(a) = 646*a**2 + 26*a - 1. Is i(-6) a prime number?
True
Suppose p = -6*k + 2*k + 8, p = -5*k + 9. Suppose -2*f - p*s = -762, 4*f - 1053 - 471 = 3*s. Is f composite?
True
Let z = 35310 - 24439. Is z a prime number?
False
Let o = -1733 + 3450. Is o a composite number?
True
Suppose -2*f + 15 + 9 = 0. Let x = 6 - f. Is (-1)/2 - 981/x a prime number?
True
Is 0 - 8197/21*-201 prime?
False
Let j(m) = -119*m + 7. Is j(-8) a prime number?
False
Let b = -4153 - -39120. Is b prime?
False
Let f = 34 - 29. Suppose 4*d = -2*j - 0*d + 26, -f*j = 3*d - 65. Suppose 2*u - 65 + j = 0. Is u a composite number?
True
Let b = 287 - 140. Let f(n) = 6*n + 96. Let q be f(-16). Suppose -z - 4*x = -b, q = -2*z + 2*x + x + 327. Is z a composite number?
True
Suppose -1869 = -2*s + 4885. Is s prime?
False
Let o = 73 + -40. Let l = -49 + o. Is (-5 - l/4)*-771 a composite number?
True
Let s(c) = c**2 - 5*c + 186389. Is s(0) a composite number?
True
Suppose 0 = -5*v - 52*n + 54*n + 70265, 2*v - 4*n - 28122 = 0. Is v composite?
False
Let q be 7 + 6*(20/(-8) - -2). Suppose q*w = w + 537. Is w prime?
True
Let m = -15 - -8. Let q = 7 + m. Suppose -212 = -4*v - 2*o, -2*o + 5*o = q. Is v a composite number?
False
Let t be (5/(-2))/(4/(-1112)). Suppose 3*s - t = 415. Suppose -5*j = -10*j + s. Is j prime?
False
Let a = -47 + 49. Suppose -9*o = -a*o - 2674. Is o composite?
True
Let f = -1549 - -589. Let g = 325 - f. Is g prime?
False
Let l(t) = 13*t**2 + 21*t + 17. Is l(-12) prime?
True
Suppose -26 = -3*g - 4*y + 6, 4*g - 2*y - 28 = 0. Let i(w) = w**3 + 2*w**2 - w - 1. Is i(g) composite?
False
Suppose h - 13*h = -9864. Suppose t = -143 + h. Is t a composite number?
True
Let m(a) = -2*a**3 - 2*a**2 + 150*a - 5. Is m(-13) a composite number?
True
Let f(y) = 1460*y**2 + 20 - 8 - 5 + 6*y. Is f(-1) composite?
True
Let x(j) = -30*j - 7. Suppose -n - 38 = -3*r, 4*r + 118 = -5*n + r. Let o = n - -18. Is x(o) composite?
False
Suppose 0*x + 1 = -5*y - 2*x, -2*y - 2*x - 4 = 0. Let i = y + 32. Is i a prime number?
False
Suppose 5*g - 3 = 12. Is 377 - g*(-8)/12 a composite number?
False
Let r = -8 - -10. Is 1209 + 1/(r/4) composite?
True
Let w be 24/(-8) - (-3 + -2). Let h(v) = 34 + 2*v + 4*v - 5 + w. Is h(17) composite?
True
Is (2468871/186)/(6/4) prime?
True
Suppose -2*w - 2 = 4*z, 0 - 3 = w + 3*z. Suppose 5*i = 3*m + m + 8, 12 = w*i. Suppose -m*v = -v - 838. Is v composite?
False
Let f be -4 - ((1 - 12) + 2). Suppose 0 = 2*k + 4*m - 1850, -f*k + 2452 = 5*m - 2158. Is k a prime number?
True
Let v be (1 - (-1 - 0)) + 102. Suppose -115 = -3*l - 2*l. Suppose l = d - v. Is d a prime number?
True
Let n = -12 + 20. Suppose 0*u - 2*u - 4*m = -n, -3*u = 3*m - 15. Suppose 320 = 5*c + u*g - 3*g, -2*c + 149 = -3*g. Is c composite?
False
Let w = -2268 + 6755. Is w prime?
False
Suppose -2*p - p + 4820 = 5*a, 0 = 2*a - 2*p - 1944. Is a composite?
False
Suppose -q + 6*q - 25 = 0. Let o(j) = 161*j + 4. Is o(q) a prime number?
True
Suppose 2*t + 4*a = -2*t - 584, 2*a + 2 = 0. Let c be -239 - (2/(-2) - -2). Let m = t - c. Is m a composite number?
True
Let h = -131910 - -318137. Is h a composite number?
False
Let f(h) = h + 555. Let d be f(0). Is (1 + d/10)*4 a composite number?
True
Let m(f) be the third derivative of f**6/120 - 7*f**5/60 - f**4/12 - 11*f**3/6 + 8*f**2. Let t = -18 + 26. Is m(t) prime?
True
Let a(q) = q**3 + 12*q**2 - 10*q + 6. Let g be a(-11). Let z = g - -2522. Is z a composite number?
True
Suppose -3*c - 10 = -1, 0 = -4*i - 3*c - 53. Let t = -8 - i. Is 1230/4*2/t a composite number?
True
Let t = 6454 + -3323. Suppose -2084 - t = -5*w. Is w a prime number?
False
Suppose 46*m - 50*m - 3749 = -u, -2*u + 7498 = -2*m. Is u prime?
False
Suppose -3 + 7 = -i, 3*y - i - 16 = 0. Suppose 2*r - 18 = -y. Suppose -m + 5192 = r*m. Is m composite?
True
Let i(m) = -67*m + 169. Is i(-22) a composite number?
True
Let l be (4/(-16))/(1/4). Let k be ((-78)/(-3))/(l/(-14)). Suppose -j + k = 3*j. Is j a prime number?
False
Let m = 2 + 2. Suppose -m = -5*x + 6. Is (2/x)/(5/295) a composite number?
False
Let n(r) = 47889*r**3 - 3*r**2 + 11*r - 10. Is n(1) a composite number?
True
Let l(c) = c**3 + 6*c**2 - 2. Let v be l(-6). Is 471/7 + v/7 a composite number?
False
Let c = -12 + 15. Suppose -5*k = c*m + 2, -4*