rime?
True
Let n be 1 + 1 + (67 - 0). Suppose n + 36 = 3*y. Is y a prime number?
False
Suppose -4 - 4 = -4*c. Suppose c*f - 7 = -63. Let v = 41 + f. Is v prime?
True
Suppose 3*m + 2 = -5*s, s - 2*m - 13 + 3 = 0. Suppose 0 = s*f + g + 25, -4*f - 4*g + 5 = -3*f. Is (-219)/f + 6/15 composite?
True
Let l(a) be the third derivative of 11*a**5/30 + a**4/6 + a**3/6 + 9*a**2. Is l(3) prime?
True
Let m(u) be the third derivative of 1/6*u**3 - 2*u**2 - 5/12*u**4 + 0*u + 0. Is m(-9) a prime number?
False
Let l(i) = -i - 4 + 2*i**2 + 7*i**2 - 8*i**2 + 15*i**2. Let r = 0 + -3. Is l(r) a prime number?
False
Let w(p) = -p**3 + 7*p**2 + 7*p + 9. Let r be w(8). Let c be 356 + r/((-2)/6). Let b = c + -196. Is b prime?
True
Let b(r) = 2 + 8*r + 21*r + 7*r. Is b(4) composite?
True
Let t = 44 - 30. Let f = -98 - -63. Let x = t - f. Is x a composite number?
True
Let j(k) = 12*k**3 - 10*k**2 + 15*k - 25. Is j(8) a prime number?
False
Suppose -548 = -0*y + 4*y. Let q = y + 264. Is q prime?
True
Let u be ((-12)/48)/((-2)/488). Suppose u - 1 = 5*x. Suppose 303 - x = j. Is j a prime number?
False
Let r be (14 - 15)/((-1)/893). Suppose 0*d = d - r. Is d a prime number?
False
Let f = 975 + 4762. Is f composite?
False
Suppose -2*h = -2*g + 54, 0 = 5*g + 2*h - 5*h - 133. Suppose 3*n = -n - 2*k + 230, 0 = 4*n - 4*k - 224. Let s = n - g. Is s a prime number?
True
Let y = 19 + -21. Let d be (5 - 1)/(y + 3). Suppose d*i + g = 541, -2*i + 324 - 46 = 2*g. Is i composite?
True
Let y be (-1)/2*4 + 2. Suppose 0 = 5*v - 3*f - y*f - 1335, 4*v - f - 1061 = 0. Let o = v + -187. Is o composite?
True
Let m(b) = 728*b**2 - 13*b - 27. Is m(-2) a composite number?
True
Suppose 267450 = 26*a - 92884. Is a a prime number?
True
Let z(b) = -711*b - 4. Let p(g) = -g - 1. Let t(v) = 5*p(v) - z(v). Let r be t(1). Suppose -2*l - 3*l = -r. Is l a composite number?
True
Suppose 3*j = n - 3631, 3647 = n - 2*j + 7*j. Is n a prime number?
True
Suppose z - 3*k - 24709 = -1247, 3*z - 4*k = 70361. Is z composite?
False
Let o(k) = -7*k**3 - 17*k**2 - 5*k + 54. Is o(-11) prime?
True
Let l = -17197 + 34980. Is l a composite number?
False
Let f(l) = -l**2 - 7*l - 5. Let z be f(-5). Suppose 0 = -z*h + 1 + 14. Suppose 5*d - 590 = h*d. Is d prime?
False
Is 2/(-4)*(-5264 + (-8 - -6)) composite?
False
Let j(v) = 8191*v**3 + 6*v**2 - 6*v. Is j(1) composite?
False
Let d(x) = -47*x**2 + 3*x - 5. Let l be d(2). Let g = 344 + l. Is g a prime number?
True
Let t be -2 + (0 - -3) + 4. Let s(i) = -2 + 33*i + 18*i - 2. Is s(t) composite?
False
Let y(m) = -3*m**2 - 2*m + 4. Let u(i) = -1. Let q(j) = -5*u(j) + y(j). Let v be q(6). Let w = v - -289. Is w prime?
False
Suppose -6*b + b = -3*b. Let c(a) = -a - 4*a**2 + 3*a**3 + 3*a**2 - 2*a**3 + 37. Is c(b) prime?
True
Suppose -5*p + 6292 = -2*m - 6418, 5*p - 12720 = 4*m. Suppose p = -3*x - 4*y, -7*x + y = -4*x + 2530. Is x/(-2) - (13 + -10) a prime number?
True
Let n(r) = r**3 - 3*r**2. Let s be n(3). Let v = 7 + -2. Suppose 0 = v*w - s*w - 2525. Is w prime?
False
Let c(p) = -6*p**3 + 6*p - 2. Let w be 48/(-40)*5*1. Let f(t) = -7*t**3 + 7*t - 1. Let o(n) = w*c(n) + 5*f(n). Is o(5) prime?
True
Let k be -8 + 4 - (-2 + -2). Suppose -3*l - 35 + 1415 = k. Suppose 0*t = 4*t - l. Is t a prime number?
False
Let s(m) = -m**2 - m - 14. Let k be s(0). Let f(j) = j**3 + 13*j**2 - 14*j + 4. Let h be f(k). Is 3072/6 + -2 + h composite?
True
Suppose 4*c - 4312 = -b, -3*b = -2*c - 7*b + 2170. Is c composite?
True
Let m be -3 + 3 - 3 - -6. Suppose m*q + 0 = -4*g + 4, 5*q - 24 = 2*g. Is ((-4)/q - 0)*-67 a composite number?
False
Let h be 4/(((-24)/3316)/3). Is -2*9/6 - h a composite number?
True
Suppose -3*o - 2*w + 21 = w, -19 = -o - 5*w. Is -2*5/(-20) - (-4874)/o a prime number?
False
Let x = 1889 - 1204. Is x composite?
True
Is (-10903)/(1/((5 - 9) + 3)) prime?
True
Let l(q) = 5*q**2 + 2*q - 1. Let w be l(1). Suppose 2*j = -3*j - o + w, -10 = -3*j + o. Let a(i) = 15*i**3 - 3*i**2 + 2*i - 3. Is a(j) composite?
False
Let n be (-37)/(-7) + 2/(-7). Is (1 - n) + -3 + 450 composite?
False
Suppose -2*r = -3*r. Suppose r = -3*k - c - 2603, -1742 = 2*k + c + c. Let q = -511 - k. Is q composite?
True
Suppose 5*x = -5, -4*x = 4*y + x - 3. Is ((-10)/30)/((1*y)/(-4908)) composite?
True
Suppose 3*r + 988 = x - 2173, -5*x + 4*r + 15805 = 0. Is x a prime number?
False
Let i = 4 - 6. Let m = 16 + -10. Is m/i*(-1329)/9 a composite number?
False
Let t(l) = -4*l**3 + 16*l**2 - 11*l + 9. Let d(n) = 2*n**3 - 8*n**2 + 6*n - 4. Suppose -6 = 2*m - 0. Let a(w) = m*t(w) - 5*d(w). Is a(6) prime?
False
Suppose 0 = 4*q + 2*s - 5*s - 20, -5*q + 6 = s. Suppose -q*j + 69 + 37 = 0. Is j a prime number?
True
Suppose -3*d = 4*d - 14. Suppose -d*k - 6*k + 8584 = 0. Is k a prime number?
False
Suppose 0 = -4*g - 0. Suppose 802 = 2*l + 2*i - 498, l - 4*i - 675 = g. Is l a prime number?
False
Let q(g) = g**2 - g - 1. Let c(d) = d**3 + 17*d**2 - 12*d - 9. Let z(y) = c(y) - 6*q(y). Is z(-10) composite?
False
Let i = 6 - 8. Let k be 8/i + (7 - 7). Is k/38 - 14553/(-171) a prime number?
False
Let b(g) be the first derivative of g**6/45 - g**5/40 + g**4/6 - g**3/3 + 3. Let x(r) be the third derivative of b(r). Is x(-3) composite?
True
Let b(k) = -33*k - 10 - 160*k + 1. Is b(-2) prime?
False
Let z(t) = 39*t**2 - 6*t - 13. Let p = -74 - -80. Is z(p) prime?
False
Let h(w) = -w**3 + 2 - 5 + 5*w - 4 + 6*w**2. Let s = -41 - -47. Is h(s) a composite number?
False
Let k = -22469 + 50092. Is k prime?
False
Let z(w) = w**3 - 7*w**2 - 8*w - 7. Let r be z(9). Suppose v + 2*k = k - 59, -v + 5*k = r. Let h = v + 98. Is h prime?
False
Let s(t) = -41*t + 11*t + 49 + 16*t - 20. Is s(-13) prime?
True
Let r(w) = 12*w**2 - 6*w - 39. Let f(b) = 2*b. Let m be f(3). Let x(o) = 4*o**2 - 2*o - 13. Let n(g) = m*r(g) - 17*x(g). Is n(-4) a prime number?
True
Suppose 0 = 6*o + 10*o - 1859824. Is o a prime number?
True
Suppose -3*i + 612 = i. Let g = -3 + 7. Suppose i = 3*v - y - 2*y, g*y + 149 = 3*v. Is v a prime number?
False
Let k = -177 - -95. Let o = k + 117. Is o a composite number?
True
Let z(a) = 0*a - 4 - 8*a + 31*a**2 + 2*a. Suppose 59 - 47 = 4*v. Is z(v) a composite number?
False
Is 3/2*(-17 + 15) + 5297 a prime number?
False
Let v(a) = -a**2 + 15*a - 17. Let x be v(13). Let l = x + -8. Let z(o) = 36*o + 2. Is z(l) composite?
True
Suppose 0 = 2*i - 11*i. Suppose 438 = 2*o - 4*f, 3*o + i*o - 647 = 4*f. Is o composite?
True
Let o = 123 - 119. Suppose o*p + 4825 = -4*l + 25737, 0 = -4*l + 3*p + 20905. Is l prime?
True
Let n be (-108)/42 + (-4)/(-7). Let l be (162/12)/(n/20). Is (l + 2)/(1/(-1)) a composite number?
True
Suppose k - 3*c - 26 + 6 = 0, c - 5 = -2*k. Suppose 0 = -5*s + 667 + 858. Suppose 3*u - 171 = 3*a, -a = -k*u - 6*a + s. Is u a prime number?
True
Let j(o) = 672*o + 4. Let u be j(4). Is -5*2/(-40)*u composite?
False
Let y(k) = -211*k - 29. Is y(-2) a composite number?
True
Let r = 79196 + -53113. Is r a composite number?
False
Let s(c) = -c + 14. Let o be s(10). Suppose 4*z = 5*d + 16, -z - 12 = -o*z - d. Suppose -z*t + 381 = -t. Is t a prime number?
True
Let k(s) = -s**3 + 31*s**2 + 26*s + 31. Is k(30) composite?
True
Suppose -2*v + 506 = -3*t, 2*t - 509 = 5*t - 5*v. Let c = -112 - t. Suppose s - c = 11. Is s a composite number?
False
Is (19/(-38))/((-1)/446) a composite number?
False
Suppose -8 + 38 = 6*j. Suppose p = j*b - 3156, 5*b + 3*p = -0*p + 3152. Is b a prime number?
True
Suppose -4*x = -2*g - 8234, -6*x + 3*x = -2*g - 6175. Is x composite?
True
Is (-5 - 95417/14)*(-4)/6 a composite number?
False
Suppose 2*m + 22 = -362. Let d = 349 + m. Is d prime?
True
Let k(n) = 4*n - 65 + 66 - n**2 + 2*n**2. Let p be k(-4). Is p/(2/38) + 2 prime?
False
Let i = 12045 + -5696. Is i a prime number?
False
Let l(v) = -v**3 - v**2 - v + 1. Let g(d) = -d**3 + 5*d**2 - 6*d + 5. Let x(j) = -g(j) + 2*l(j). Let k be x(-7). Let m = k + 64. Is m composite?
True
Suppose -30*n + 204 = -26*n. Is n composite?
True
Let t(u) be the first derivative of 11*u**3 + 3*u**2/2 + u - 9. Is t(-2) a composite number?
False
Let h(x) = 24*x**2 - 28*x + 7. Let y(t) = -6*t**2 + 7*t - 2. Let r(g) = -2*h(g) - 9*y(g). Let k be 2/2 - -1 - -3. Is r(k) prime?
False
Let f = -2 + 8. Suppose f*v - 2990 = v. Suppose -3*w + v = -0*w - 4*t, -2*w + 400 = -3*t. Is w prime?
False
Suppose 18*g