+ -49. Is k composite?
True
Let j be 216/24*(-1 - (-4)/3). Suppose -2*y = v - 2396, 2*y - 946 = j*v + 1458. Is y composite?
True
Let o = -78 - -455. Suppose -5*a + o = -278. Suppose 5*u - 827 = -4*c, 2*c - 540 = -u - a. Is c composite?
True
Let o(k) = -3*k**3 - 8*k**2 - 7*k - 71. Is o(-6) composite?
False
Is (6/36*2)/((-2)/(-14946)) a composite number?
True
Suppose 5*a - 75 = 5*j, -10*j + 6*j = -2*a + 30. Suppose a*f - 5*f - 1390 = 0. Is f prime?
True
Suppose 0 = -76*t + 56467 + 10261. Is t composite?
True
Let s(t) = t**3 - 8*t**2 + 13*t - 35. Is s(11) a composite number?
True
Let t(d) = -d**2 - 29*d + 20. Let l be t(-14). Suppose -3*y = 2*y - l. Is y a composite number?
True
Suppose 4*x - 511 - 58246 = 5*z, 3*z + 15 = 0. Is x a prime number?
True
Suppose -55*a + 78*a - 341251 = 0. Is a prime?
False
Is (-1)/3 - (-54576)/27 prime?
False
Let f(g) = 2*g**3 - g**2 + 25*g - 3. Is f(19) prime?
True
Suppose -6*z - 25 = -19. Let o(q) = -3213*q + 4. Is o(z) composite?
False
Suppose -37550 = -3*o + 1597. Is o a prime number?
True
Let x = 1721 - 612. Is x prime?
True
Suppose 0 = -c - y + 56840, 4*c - 329463 = -2*y - 102097. Is c a composite number?
False
Let b(k) = k**2 - 15*k - 34. Let x be b(17). Let o = 6 - 1. Suppose -o*g - i + 671 = 0, -4*g + 2*i - 7*i + 541 = x. Is g a prime number?
False
Let m(b) = -20*b - 32. Let z be m(-4). Suppose z*g - 52*g = -1876. Is g a prime number?
False
Is 5/(280/(-46634))*(-45 - -1) composite?
True
Let l(k) = 317*k**2 + 38*k - 147. Is l(4) composite?
False
Is ((-29)/145)/((-2)/23930) prime?
True
Suppose -41 = -13*i + 89. Let u = 10 - 23. Is 5/(i/(-22))*u a composite number?
True
Let j(x) = 850*x + 6. Let p be j(4). Let b = 5491 - p. Suppose 3*d + 274 = 3*n + 1504, 5*d = -2*n + b. Is d prime?
False
Is -5 + ((-248)/(-2))/(10/790) a composite number?
False
Suppose 5*a - 94712 = -b, -4*b - 3*a + 473450 = b. Is b a composite number?
False
Let b be 14/6 - (-7)/(-21). Let g(r) = r**2 - 6*r**2 + b - 1 + 7*r**3 + 2 - 4*r. Is g(4) composite?
True
Let b be (30/(-9))/((-4)/6). Suppose b*a = -57 + 312. Suppose 3*n - 396 = a. Is n composite?
False
Suppose 0 = 5*a - 121 - 1724. Let s be (-177 - 0) + 0 + (-6 - -5). Let x = s + a. Is x composite?
False
Let q = -2473 + 4676. Is q composite?
False
Let f(z) be the third derivative of 7*z**4/8 + 11*z**3/3 - 22*z**2. Is f(17) a composite number?
False
Suppose -2*m - m + 4*d + 6 = 0, -5*d - 7 = -4*m. Let i(a) = -262*a**3 + 4*a**2 + 5*a + 3. Is i(m) prime?
False
Let y(x) = 4009*x + 6. Is y(5) prime?
True
Suppose -34*n = -29*n - 13355. Is n composite?
False
Suppose 0 = f - 2*w + 4, 49 = 4*f - w + 6*w. Suppose 0 = a - f*a. Let i(x) = -x**3 + 191. Is i(a) a composite number?
False
Suppose 4*o + 2*h + 518 = 0, 4*h - 8 = 4. Is 38/(-57) - o/3 prime?
True
Suppose 33728 = -20*m + 141988. Is m a prime number?
True
Let z(u) = u**3 - 10*u**2 + 1. Let i be z(10). Let s(r) = 108*r**3 - 1. Let q be s(i). Suppose 3*b - 67 - q = 0. Is b a composite number?
True
Let w(f) be the first derivative of -f**4/4 - 5*f**3/3 - 2*f**2 + 13*f - 12. Is w(-7) a composite number?
False
Let p(w) be the first derivative of -93*w**2/2 - 13*w + 6. Is p(-8) a composite number?
True
Let p(x) = x**2 + 7*x - 1. Let w be p(-7). Let s be ((-9)/9)/(w/27). Let a = s + 94. Is a a prime number?
False
Suppose -3*k = -4*v + 4, 4*v = 5*v - 2*k - 6. Is v/6*(-13173)/(0 - -1) a prime number?
True
Let p be (-15)/(-4) + 7/28. Let k be 342/(p/(-2))*-2. Let r = k + -79. Is r a prime number?
True
Suppose 5*x = z - 4*z + 14741, 4*z = -x + 19666. Let s = 2227 - z. Is s/(-4) + (-7)/(-14) composite?
False
Suppose 22*k + 12*k - 912866 = 0. Is k composite?
False
Suppose 4*l - 2*l = -4, 2*a = 4*l - 354. Let s = a + 320. Is s composite?
False
Let u = 2011 - 1078. Is u prime?
False
Suppose 2*p = -2*p + 36. Is (p - 10) + 34*53 a prime number?
True
Let u(j) = -7*j - 48. Let w be u(-16). Suppose -67*d = -w*d - 2055. Is d prime?
False
Let p = -9 - -10. Let r be -1*9/(-3)*p. Suppose 0 = -r*i + 2*i + 179. Is i prime?
True
Suppose -3 = o - 4. Let x(c) = -4*c**2 + o - c**3 - 14*c + 4*c**2 + 2*c**3 - 10*c**2. Is x(13) composite?
True
Let m(o) = -977*o + 265. Is m(-14) a composite number?
True
Let k = 2677 + -517. Let y = 6151 - k. Is y a prime number?
False
Let o(i) be the first derivative of 23*i**3/3 + i**2 + 9*i - 21. Is o(-8) composite?
True
Suppose 0 = -2*n - 3*d - 5 + 168, -n + 78 = -2*d. Suppose -q - 4*q + 565 = 0. Let m = q - n. Is m prime?
False
Let z = 27894 - 2615. Is z prime?
False
Let t be 364 - (3 - 4 - -2). Let n = t + -206. Let f = n - 70. Is f a composite number?
True
Let g = -5 - -7. Suppose 12604 = 5*s + j, 0 = -s + g*s - 5*j - 2526. Is s composite?
False
Suppose 7*l + 12*l = 19133. Is l a prime number?
False
Let q = 4 - 4. Suppose q = 3*i - 5*i - 6. Let p(f) = -4*f**3 + 5*f**2 + 5*f + 3. Is p(i) prime?
False
Suppose 0 = 2*s + 53 - 59. Suppose -s*u + 38 = -5*k + 1, -3*k + 45 = 3*u. Is (-150)/(-4) - (-7)/u prime?
False
Suppose n + 0*p = -3*p + 1484, 5981 = 4*n + 3*p. Is n a prime number?
True
Let c = -646 + 2877. Is c a prime number?
False
Let r = 69 + -70. Is (-22)/(-4)*(r + 35) a composite number?
True
Let x be (-15)/(-4) - (-1)/4. Suppose -x*h + 532 = -32. Suppose u = -0*v - 2*v + h, -5*v = 2*u - 280. Is u prime?
False
Let q be (-1)/(12/(-100))*3. Let n = q + -6. Let w = 16 + n. Is w composite?
True
Suppose -353 = -8*f - 1041. Let m = 535 + f. Is m a composite number?
False
Let y(k) = 14*k**2 - 1. Let j be y(1). Suppose -j*c - 730 = -2459. Is c prime?
False
Suppose -2*o - 2971 = 613. Let f = 3353 + o. Is f a composite number?
True
Suppose 48 = -u - 3*u. Let i be 2/6 - 980/u. Let h = 147 - i. Is h a prime number?
False
Let q = 3864 + -1762. Let x = 77 + q. Is x a composite number?
False
Let n be 145/(-45) + (-6)/(-27). Let f be ((-3)/(-2))/(n/(-16)). Let t(g) = 4*g**2 + 5*g + 3. Is t(f) a prime number?
False
Let s be ((-150)/12)/(3/(-186)). Let g = s + -422. Is g a composite number?
False
Let s = -21 - -23. Suppose -3*o + 653 = s*b, o - 246 = -0*o + 5*b. Is o prime?
False
Let m(k) = 18*k**3 + 3*k - 13. Is m(4) a prime number?
True
Suppose 97*h = 66*h + 91109. Is h a composite number?
False
Suppose i - 662 = 2273. Is i a composite number?
True
Suppose -h + 8 = v, -14 = -3*v - v + 5*h. Let r be 1/((v/3)/(-2896)). Let a = 3009 + r. Is a a prime number?
False
Let b(u) = -6*u**2 + 7*u - 12. Let x be b(6). Let w = 703 + x. Is w a composite number?
True
Let z = -3975 + 7163. Suppose 4*w + 2*u = -3*u + z, 2391 = 3*w + 3*u. Is w composite?
False
Suppose 4*f - 5*i = 45, 0 = -4*f - 0*i - 2*i + 66. Suppose 3*x = -f, 2075 = 4*v + v + 3*x. Suppose v = 3*c - c. Is c prime?
False
Suppose 0 = t - 523 - 55. Let s = t - 19. Is s a prime number?
False
Let w = 10 + -3. Let x be w*2 + (3 - 4). Let a = 20 - x. Is a a composite number?
False
Let j(p) = 1964*p + 185. Is j(12) prime?
True
Let n(v) = -v + 1. Let p(o) be the first derivative of 15*o**2/2 + 14*o - 1. Let x(d) = 2*n(d) - p(d). Is x(-9) prime?
False
Let v(q) = 16*q - 24. Let m be v(5). Suppose 0 = 3*c - 120 - 183. Let r = c + m. Is r composite?
False
Let p(g) be the second derivative of -g**4/12 + g**2/2 - 6*g. Let j be p(-2). Is 1370/15 - j/(-9) a composite number?
True
Let r(x) = -3 - 1 + 3 + 17*x. Suppose 0*u = -2*s - u + 18, s = -5*u + 27. Is r(s) composite?
True
Let v = 584 - -6659. Is v a prime number?
True
Let d = -93 + 96. Is 2 + d - -4*558 prime?
True
Let u(l) = l**3 + 20*l**2 - 8*l - 26. Let b be u(-20). Let p = 309 + b. Is p composite?
False
Let j be (0 - (-2337)/9) + 3/9. Suppose -4*z = -4*n - 1596, z - 131 - j = -n. Is z prime?
False
Let a(o) = 498*o**2 + 39*o + 19. Is a(8) a prime number?
True
Suppose 5 + 1 = 2*p. Let y(t) = -2*t**p - 8*t + t**3 + 0*t**3 - 4 - 8*t**2. Is y(-9) prime?
True
Let a(y) = -y**2 - 3*y - 1. Let c be a(-3). Let m be (18 - 0)*c/2. Is (-4)/18 + (-1145)/m prime?
True
Suppose -8*u = -7*u. Is -4 + u - (4 - 315) a prime number?
True
Suppose 0*g - g - 5*o = 16, -5 = 2*g + o. Let k be (1 - g)*(-18)/(-12). Suppose -y = k*y - 1052. Is y composite?
False
Suppose 3*o - i - 10 = o, 2*o - 2*i = 14. Let c be 21/4 - 1/4. Suppose o*x - c*x = -382. Is x a prime number?
True
Suppose -4*p - g + 2518 = 0, 4*p = 45*g - 44*g + 2514. Is p prime?
False
Suppose -8*w = -5*w - 18. Suppose 0 = -