- 2*i - 707 = 3*i, 5*i + 173 = q. Suppose 5*u + 0*m - 415 = -5*m, 5*m - q = -2*u. Is u a prime number?
True
Let h be (0 + (-9)/12)*-4. Suppose m - 138 = -w - 44, h = m. Is w a prime number?
False
Let v = -5 - -7. Let u = v + 4. Is 320/u + (-1)/3 prime?
True
Let h = 28 - 13. Suppose 3*o + 0*o = -h. Is (-5)/(-25) + (-94)/o a composite number?
False
Let p = 1 - -3. Suppose -4*v + p = -20. Is (-2)/6 - (-62)/v a prime number?
False
Suppose 0 = -4*v + 532 + 556. Let u = v - -21. Is u prime?
True
Suppose -2*z + 5*v + 3442 = 0, -2*z - 2*v - 5141 = -5*z. Is z a prime number?
False
Let r(s) = 144*s + 1. Is r(1) a prime number?
False
Let b(u) = u**3 - 10*u**2 + 7*u - 11. Is b(10) a prime number?
True
Let j(w) = w**2 - 4*w - 7. Let c be j(6). Suppose 0 = -2*n + 2*n + 2*n. Suppose -4*d = -c*r + 387, n = 4*r + 2*d - 68 - 252. Is r prime?
True
Let j = -351 - -651. Let i = 569 - j. Is i composite?
False
Suppose -5*w = -10*w + 25. Suppose -43 = -w*k + 4*k. Is k prime?
True
Let g(b) be the third derivative of b**5/60 - b**4/4 + 5*b**3/3 - 3*b**2. Is g(8) composite?
True
Suppose 2*a = -5*d - 10 - 48, 4*d + 3*a = -52. Let h be ((-24)/d)/((-4)/(-30)). Is (6/h)/(1/63) prime?
False
Suppose 8649 = 4*u - 2*u - 5*n, -4*u - 3*n + 17363 = 0. Is u a composite number?
False
Let j(m) = -m**3 - 9*m**2 - 2*m + 11. Let g(u) = u**3 + 9*u**2 + u - 11. Let f(r) = -3*g(r) - 4*j(r). Let z(p) = -9*p + 1. Let q be z(1). Is f(q) prime?
True
Suppose 0 = 2*l + 6, -3*u + 3*l + l - 498 = 0. Let z = u + 289. Is z a prime number?
False
Let w = 162 - 65. Is w a prime number?
True
Let n(q) = 208*q + 10. Is n(3) a prime number?
False
Let j(z) = -3*z**3 - z**2 + 6*z - 1. Let r be j(4). Let c = r + 340. Is c composite?
True
Let s = 18 - 15. Suppose 3*w - 3*q - 1578 = 0, s*w + 3*q = 2*q + 1558. Is w prime?
True
Suppose 4*v - 80 = 2*z, 2*v - 3*z - 2*z - 40 = 0. Suppose 0*w = -2*w + v. Let t(d) = -d**3 + 10*d**2 + 2*d + 2. Is t(w) composite?
True
Suppose -3*d - 126 = -a + 233, 2*a + 4*d = 758. Is a prime?
False
Suppose -5483 = -m - 2185. Suppose m = 5*g - y, 0 = -3*g + 3*y - 2*y + 1980. Suppose -5*l - 4*d = -g, 0*l - 526 = -4*l - 2*d. Is l a prime number?
True
Let i(o) = o**2 - 20*o - 9. Let c(h) be the third derivative of 7*h**4/24 + h**3/2 + h**2. Let x(a) = 11*c(a) + 4*i(a). Is x(4) prime?
False
Suppose -1717 = -3*j + 44. Is j prime?
True
Let m = 5 + -1. Is -35*(-4 - (1 - m)) prime?
False
Let q(r) = 3*r**2 + 47*r + 26. Let b(g) = g**2 + 16*g + 9. Let y(v) = 11*b(v) - 4*q(v). Is y(-10) prime?
False
Let o(i) = 3 + 2*i - 3*i**3 + i - 1 + 8*i**3 - i**2. Let q be o(3). Let j = q - -54. Is j a prime number?
True
Suppose -5*l = -3*a + 2*a - 1296, -2*l + 522 = -4*a. Is l a prime number?
False
Suppose -3*l + 5*f = -6725 - 17660, 3*f = -5*l + 40687. Is l composite?
True
Let z(q) = q**3 - 2*q**2 + 8*q - 1. Let r(o) = 2*o**3 - 2*o**2 + 7*o. Let w be -5*1*3/(-3). Let t(y) = w*r(y) - 4*z(y). Is t(3) a prime number?
True
Suppose -36 = -4*o - 4*p, o - 21 = 2*o - 5*p. Suppose 2*s - o*s = -38. Is s a prime number?
True
Suppose -6*a + 5458 = -4*a. Is a a composite number?
False
Let x = -2 + 39. Is x a composite number?
False
Let t(m) = -26*m + 53. Is t(-13) composite?
True
Suppose -k = 5*f - 193, 0 = 5*k - k + 5*f - 832. Is k a prime number?
False
Let d = 16 - 27. Let f = 2 - 71. Let x = d - f. Is x a prime number?
False
Suppose 24 + 1 = 5*x. Suppose -x*g + 802 + 133 = 0. Is g a prime number?
False
Let l = -410 + 744. Suppose -l = -6*u + 236. Is u a composite number?
True
Is (-2 - 1275/(-10))*2 a composite number?
False
Let a(k) = -11*k - 14. Let l(y) = -6*y - 7. Let g(t) = -3*a(t) + 5*l(t). Let n be g(-7). Is (-270)/n + (-8)/28 composite?
False
Let a be (0 + 0)/((-4)/2). Suppose a = -0*m - 4*m + 140. Is m prime?
False
Suppose -4*b - 9 = 3. Is (1 + b)*(-52 + -7) a prime number?
False
Let p = 7 - 13. Is -1*p/(-3) + 91 a composite number?
False
Let w be -15*(-3)/9*25. Suppose -4*h = -w - 23. Is h a prime number?
True
Suppose -3*x = -2*x - 67. Suppose x + 47 = 2*a. Is a a composite number?
True
Suppose 3*r - 361 = 14. Suppose r - 1 = 4*a. Is a prime?
True
Suppose -3*z + 7956 = 447. Is z a prime number?
True
Let c = 1258 - 755. Is c a composite number?
False
Suppose -r + 538 = d + d, -805 = -3*d - r. Is d composite?
True
Let w = -112 - -25. Is -2*(w/2 - 2) a prime number?
False
Let p be (-6)/9*3 + 9. Suppose p*m - 3*m + 8 = 0. Is m/(-6) + (-1380)/(-18) composite?
True
Let c(u) = 2*u**2 - 11*u + 3. Let p be c(8). Let h(b) = -34*b - 4. Let z be h(-3). Let r = z - p. Is r a composite number?
True
Suppose 14*y - 13326 - 9592 = 0. Is y prime?
True
Suppose 355 = z - 340. Is z a composite number?
True
Suppose 4*g + 0*g + 5*d - 40 = 0, 4*g = 2*d + 12. Suppose 0 = g*o - 163 - 222. Suppose 3*a + 53 - 301 = -4*k, -k + 3*a + o = 0. Is k prime?
False
Let m(q) = -6*q + 1. Suppose 3*g + 3*o + 12 = 0, 0*o - 2*o = g + 4. Is m(g) prime?
False
Let w = 22 + -146. Is (1/(-2))/(2/w) a composite number?
False
Let t(u) = 4*u**3 + u**2 - 9*u - 7. Let p(n) = -13*n**3 - 3*n**2 + 28*n + 22. Let w(k) = -2*p(k) - 7*t(k). Let a be (24/30)/((-2)/10). Is w(a) prime?
True
Let j(s) = 91*s**2 + s. Let l be j(1). Let k = -53 + l. Is k a prime number?
False
Let a(n) = -n**3 + 11*n**2 - 11*n + 17. Is a(8) prime?
False
Suppose -b + 34 = -5*h, 3*h - 4*b = -28 - 6. Let j be (h/(-5))/(9/30). Is j/3*(-30)/(-4) a composite number?
True
Suppose 3*p - 5*x + 13 = -0*x, -4*p = x + 2. Let h = 4 + p. Is 52/6*h/2 composite?
False
Let y be ((-3)/(-2))/((-9)/12). Suppose 5*n + 10 = -0*n. Is (-31)/y - n/(-4) a prime number?
False
Let n(v) = -v**3 + v**2 - 3*v + 1. Let j be n(2). Let q = 13 - j. Is q prime?
False
Is 2/(-2)*4 - (1 - 4540) prime?
False
Let h(j) = -5 + 2*j + j**3 + 11 - 5*j**2 + 1 - 3*j. Let l be h(5). Suppose 3*q = -l*q + 130. Is q composite?
True
Suppose -3600 = -10*f + 5*f. Suppose 5*l + 25 = f. Is l a composite number?
False
Suppose -249 = -6*c + 513. Is c composite?
False
Let a(y) = -79*y - 2. Let g = 6 + -10. Let p be a(g). Let u = p - 217. Is u a composite number?
False
Suppose 4*f + 30 = 5*h, 5*h - f = 4*h + 7. Suppose 21 + 21 = h*k. Is k prime?
False
Let w(j) be the first derivative of 49*j**3/3 + j**2/2 + 3*j + 5. Is w(2) composite?
True
Let w = 19 - 9. Let k(g) = -g**3 + 10*g**2 + 4*g - 5. Is k(w) a composite number?
True
Let c = -32 + 23. Is ((-8)/6)/(c/27) a composite number?
True
Let v be (2 - 3)*-1 + 1. Suppose 209 = -3*l - h, -v*l + 24 - 159 = 5*h. Is -2 - 1/(2/l) a composite number?
True
Let n = 0 - 4. Let r(s) = -7*s - 6. Is r(n) a composite number?
True
Let k(j) = 22*j + 8. Is k(5) prime?
False
Suppose 3*h = 5*k - h - 23867, -5*k + 23846 = 3*h. Is k prime?
False
Suppose 0*o - 17 = o. Let r = o - -9. Is (-2346)/r + (-1)/4 composite?
False
Let m(n) = 90*n + 11. Is m(2) a composite number?
False
Let k(n) = 2*n + 1 + 2*n**2 - n - 3*n - 3. Suppose -4*q - 3*x = -27, 23 = 5*q + 4*x - 12. Is k(q) a composite number?
True
Let w(z) = 116*z + 3. Let h(l) = -l + 1. Let r(i) = -2*h(i) + w(i). Let c(a) = a - 2. Let d be c(3). Is r(d) composite?
True
Suppose 1771 = -0*b + 5*b - 2*t, -4*b - 5*t + 1430 = 0. Is b prime?
False
Let b(p) = 467*p - 1. Is b(1) prime?
False
Let g = -3047 - -4590. Is g a composite number?
False
Suppose 2*s = 5*s + 12, 3*i - 2*s = 17. Suppose 4*x - x - 23 = -2*p, -2*x = 3*p - 47. Suppose 2*u + 2*h - p = -i, 3*u - 30 = -h. Is u composite?
False
Let o(h) = -10*h**2 + 2*h**3 - 3*h**3 + 6 - h**3 + 8*h + 3*h**3. Let l be o(9). Is l/9 - (-7)/3 composite?
False
Suppose 0 = -4*t + 4 + 8. Is (2 - t)/((-3)/753) composite?
False
Let v(n) = 5*n - 5. Let x be v(2). Suppose -7 = x*s - 177. Is s a composite number?
True
Let c = 10 - 5. Suppose -c*p - 4*u + 1039 = 0, 0 = p + 3*u + 15 - 214. Is p composite?
False
Suppose 345 = r - 26. Is r a prime number?
False
Is 1490/6 + (-5)/(-45)*6 a composite number?
True
Suppose -31 = 5*h - 96. Suppose 4*a = -0*j - j + h, 0 = 2*a - 8. Is (23 - 1)/(j + 5) composite?
False
Let b(n) = -20*n - 9. Is b(-10) a composite number?
False
Let w = 1 + -2. Let a = w + 7. Suppose a*y - 124 = 2*y. Is y a composite number?
False
Let a(j) = -3 + 28*j + 4 - 4. Suppose -3*i = -3*n + 27 - 12, 13 = 2*n - 3*i. Is a(n) prime?
True
Let k(z) be the third derivative of -z**6/120 + z**5/12 - z**4/12 + z**3/3 - z**2. Let i be 6/4*(-