rue
Suppose -11*k + 13324 = -132547. Is k prime?
False
Let k be (-200)/(-6) + (-10)/30. Let b = 61 + k. Is b composite?
True
Let g(s) be the first derivative of s**2/2 + 499*s - 2. Is g(0) composite?
False
Suppose -15*n = -19*n - 604. Let k = n + 1118. Is k a composite number?
False
Suppose -22*q + 12*q + 8690 = 0. Is q composite?
True
Let i = -46 - -51. Suppose -2*a - 5*n = -2868, 7197 = i*a - n - 0*n. Is a a composite number?
False
Suppose -481515 = -3*q + 2*k - 137382, -q = k - 114716. Is q prime?
True
Suppose 3 - 9 = -3*p. Suppose 157 + 958 = c - 2*w, p*w - 3377 = -3*c. Is c prime?
True
Suppose 10879 = 2*c - 4*w - 11651, -3*w = 5*c - 56351. Is c composite?
True
Suppose -5*l + 5*x = -190, -l - 43 = -2*l - 4*x. Suppose 703 = 2*b - l. Is b a composite number?
True
Suppose -5*j - 127 = 303. Let l(f) = 5*f**2 + 15*f + 63. Let t be l(-6). Let z = j + t. Is z prime?
True
Let u = -43 - -47. Suppose 2*t + 3*m = 393 + 3953, -4*m + 8700 = u*t. Is t a composite number?
False
Suppose o - 3*o - 35406 = -2*t, -4*o = -2*t + 35398. Is t a composite number?
False
Let t(y) = 1465*y + 23. Let q(r) = 732*r + 11. Let a(f) = -7*q(f) + 3*t(f). Is a(-3) prime?
True
Let u(z) = 42*z - 367. Is u(32) composite?
False
Let r = -269 - -508. Is r a prime number?
True
Let n = 37648 - 15233. Is n a prime number?
False
Let s be ((-2)/(-1))/((-16)/(-24)). Let g be (0 + -1)/(s/(-18)). Let m(b) = b**3 - 4*b**2 - b + 13. Is m(g) prime?
True
Let o be 2 - (2 + -2)/1. Let g(z) = -z**2 + 5*z - 2. Let d be g(o). Is (d/4)/((-1)/(-149)) prime?
True
Suppose -3*o + 587830 = 55*o. Is o composite?
True
Let s be (-2)/(-7) - 272/(-28). Let b be (30/(-25))/((-4)/s). Suppose -2*n = 4*l - 774, b*n = -4*l + 7*n + 744. Is l composite?
False
Let p(m) = -31*m. Let u be p(8). Let v be (0 - -1) + (5 - u). Suppose v = -w + 3*w. Is w prime?
True
Let q = -22 + 34. Is ((-558)/(-4))/(q/16) - 1 a composite number?
True
Suppose 5758 = -32*w + 59870. Is w prime?
False
Let j(f) = -5597*f + 478. Is j(-5) prime?
True
Let o(z) be the second derivative of z**4/12 + z**3/3 - 3*z**2/2 + 2*z. Let i be o(2). Suppose -533 + 3918 = i*y. Is y prime?
True
Let r = 1465 - 2919. Let a = -897 - r. Is a a composite number?
False
Let o(x) = -x**3 + 8*x**2 + 8. Let w be o(8). Suppose 0*d = -4*d + w. Suppose r - 166 - 125 = -d*i, 2*r = 2*i + 582. Is r prime?
False
Let m(x) = -x + 1204. Let u be m(0). Let r = -623 + u. Is r a composite number?
True
Let z = -1 + 0. Let x = z - 43. Let i = 85 - x. Is i prime?
False
Let o(q) = -944*q + 8. Let h be o(-7). Suppose 3*v = 4*g + 4949, v + 3*v = g + h. Is v a prime number?
False
Let w = 4005 + -2692. Suppose -w = -s + g + g, 2*s - 2641 = -g. Is s composite?
False
Let v(h) = h + 14. Let o be v(-5). Suppose -742 = -o*u + 923. Is u a prime number?
False
Let o = 20 + -20. Suppose -4*q + 31 = 3*l, o*l - 4*l - q = -24. Suppose l*v = 6*v - 895. Is v prime?
False
Let a = 119 - -644. Let k = 1 - -1. Is a + 0/(-3) - k a composite number?
False
Let g = -43 - -46. Is (-3*1 - (-2 - g)) + 629 composite?
False
Let h(w) = -w**3 + 2*w + 3. Let p be h(-2). Suppose -p*d + 12 = -3*d. Is 1324/8*(d - 1) a composite number?
False
Let t(a) = -5*a**3 - 3*a**2 - a - 1. Let b be t(-7). Suppose 2*n + 0*n - b = 0. Is n composite?
False
Let m(i) = -430*i + 19. Is m(-6) a composite number?
True
Let t = -2479 + 4652. Is t a prime number?
False
Suppose 2486 = 3*t - 835. Suppose 4*u = -a + 883, -3*a + 5*a = 5*u - t. Suppose -d = -u - 196. Is d prime?
False
Let o = 29 - 29. Suppose -i - i + 1172 = o. Is i a prime number?
False
Suppose -5*o = -o - 12. Suppose 0*d - 3*d + 29 = n, d = -o*n + 119. Suppose 4*i - n = 219. Is i composite?
True
Let m be ((-10)/(-8))/((-11)/88). Suppose 2*t + t = -5*r + 115, -2*t = 5*r - 85. Is 4/m + 2382/t composite?
False
Let s = 1056 - 46. Let v = 720 - s. Is 2/(-4)*v + 0 composite?
True
Let j(y) be the second derivative of -2/3*y**3 - y + 2*y**4 + 0 - 1/2*y**2. Is j(3) prime?
False
Let r = 84139 - 53546. Is r a prime number?
True
Let h = 2749 - 1338. Suppose 2*y - 153 + h = 2*p, -p + 4*y = -629. Is p composite?
True
Let m(a) be the third derivative of a**5/60 + a**4/8 - 4*a**3/3 - a**2 - 5*a. Suppose r = 2*w + 13, 4*r - 28 = 3*w + w. Is m(w) a composite number?
True
Suppose -13*a = -16*a + 7827. Is a composite?
False
Suppose 12*n = -70*n + 2494522. Is n a composite number?
True
Let q(v) be the second derivative of -v**3 - 5*v**2 + v. Let z be q(-6). Suppose b - 48 = z. Is b prime?
False
Let d(x) = -2*x**3 - 10*x**2 - 13*x - 64. Is d(-9) composite?
False
Let h(d) = -d**2 + 13*d + 1. Let x be h(13). Suppose 2*n - 1 = x, -4*y = 2*n - 794. Suppose -i + 5*g = -y, -3*g = -2*i + 233 + 198. Is i a composite number?
False
Let k(b) = -30*b + 3. Suppose 0 = -3*n - 7 - 8. Let m(u) = 29*u - 2. Let w(h) = n*k(h) - 4*m(h). Is w(3) composite?
True
Let o = 5220 - -7674. Is (4 + o)*1/2 prime?
True
Let o(s) = 3*s**3 - 4*s**2 - 3*s - 4. Let l be o(5). Suppose 176 = 6*n - l. Let a = 146 - n. Is a composite?
True
Is 245937/146*(-2 - 32/(-6)) a prime number?
False
Let i(j) = 51382*j**2 - 25*j - 24. Is i(-1) a prime number?
True
Let q(d) = -1136*d + 3. Is q(-8) prime?
True
Suppose 5*q + 133 = -3*m - 970, -2*q + 762 = -2*m. Let v = 169 - 167. Is ((-3)/12)/(v/m) a prime number?
True
Let d(g) = -6*g**2 + 6 + 2*g - 12*g**3 + 2*g**2 + 5*g**3 + 10*g**3. Is d(5) a prime number?
False
Let o(n) = 2380*n - 281. Is o(4) prime?
True
Let l = 2144 - -8507. Is l composite?
False
Let s be 4 + -1*(6 + -2). Suppose s = 3*t + 9, t - 192 + 770 = 5*k. Is k a prime number?
False
Let t = -23 + 35. Let z(d) = 6*d**2 - 15*d - 7. Let a be z(t). Let b = a + -346. Is b a prime number?
True
Suppose -1 = 4*s - 13. Suppose -s*j + 11 + 19 = -3*r, 2 = -2*r. Suppose 0 = 4*v - j*v + 345. Is v a prime number?
False
Let x(w) = -3*w - 46. Let u be x(-15). Is u + (1060 - (0/(-1))/(-2)) prime?
False
Let y(g) be the second derivative of -271*g**3/6 - g**2/2 - 10*g. Is y(-2) composite?
False
Let w = 17 + -14. Suppose w*o = o + 10. Suppose 7*n - o*n = 18. Is n prime?
False
Let s(n) = 116*n**2 - 3*n + 2. Suppose 2 = 5*f - 13. Suppose -i = f*i - 4. Is s(i) composite?
True
Suppose 41*b = 7121 + 3006. Is b composite?
True
Let f(c) = 3237*c - 319. Is f(8) a prime number?
True
Suppose 125*i = 121*i + 8212. Is i a composite number?
False
Suppose 2*w - 18 = -0*w. Suppose -4713 - w = -6*b. Is b a composite number?
False
Let a(o) = 225*o**2 + 12*o + 46. Is a(-11) prime?
False
Suppose -2736 - 5288 = 4*d. Is 54/81 + d/(-6) a prime number?
False
Is ((-2)/(-4))/((-40)/(-1954960)) a composite number?
True
Let j be 2 + (-23250)/(-7 + 2). Suppose 0 = -73*z + 77*z - j. Is z composite?
False
Suppose 6*g - g - 225 = 0. Let v be g - (-2)/4*0. Is 1/(-5) + 3114/v composite?
True
Let o(a) = 684*a**2 - 15*a - 127. Is o(-6) a composite number?
True
Let u = 1088 + 5993. Is u prime?
False
Let i = -11 - 1. Let h be (-1 - 171/i)*4. Suppose 2*c - 207 + h = 0. Is c prime?
False
Suppose -80218 = -27*y + 311363. Is y prime?
True
Suppose 12*q - 11*q = 3132. Let p = q + -651. Is p prime?
False
Suppose 1157 = c - 2*u, 4*u - 8*u = 5*c - 5743. Is c prime?
True
Let m(v) = 3477*v - 173. Is m(6) a composite number?
True
Let c(a) = -148*a**3 - 2*a**2 - 3*a. Let m be c(-1). Let p(q) = -2 + m*q + 2 - 7. Is p(6) a composite number?
False
Let q = -47982 - -77801. Is q a composite number?
False
Suppose 5*k - 707 - 943 = 0. Let w = k - -305. Is w a composite number?
True
Let v(q) = 294*q + 4. Let d(t) = 587*t + 9. Let n(u) = 2*d(u) - 5*v(u). Let p be n(-4). Suppose 2*c - 3*b - p - 214 = 0, -709 = -c - 4*b. Is c composite?
False
Let x = 1995 + -1310. Is x composite?
True
Suppose 480 = 10*n - 5*n - 5*p, 0 = -5*n + 2*p + 483. Is n a composite number?
False
Suppose l + 4*l = -1525. Let v = l + 1212. Is v composite?
False
Let y(s) be the second derivative of 2*s**4/3 + 7*s**3/3 + 25*s**2/2 + 2*s - 8. Is y(-5) a composite number?
True
Suppose 5*p - 4*n - 6 = 0, n - 2 = p - 3. Suppose -1768 = -p*a - 498. Is a a composite number?
True
Let u be 2/(-3)*(-7)/(7/9). Let z(f) = 46*f - 41. Is z(u) prime?
False
Suppose 6*b - 123 = -51. Suppose 768 = -b*l + 4344. Is l prime?
False
Let f be (-2)/3 + 262/3*56. Suppose -3*l = 3*l - f. Is l composite?
True
Let p(v) = 2*v**3 - 10*v**2 + 7*v + 11. Let d be p(7). Let k = -135