 - 528 = -0*w - 4*z, 4*w + 2*z + 504 = 0. Let o = -31 - w. Is o a prime number?
True
Is ((-598)/(-3))/((-4)/(-6)) composite?
True
Suppose -p + 4*p = 39. Is p a prime number?
True
Suppose -5*p + 10*p = 265. Is p prime?
True
Let w be 2/(2/(-1 + 5)). Suppose -198 = -4*j + 22. Suppose -j = -w*r + 93. Is r a composite number?
False
Let x = -22 + 24. Is (-4 + x)/((-4)/422) prime?
True
Suppose 3*l = 2*l. Suppose l = 2*t + 10 + 56. Let x = t + 66. Is x composite?
True
Suppose 4*q - q + 42 = 0. Let h(w) = w**2 + 3 + 4*w**2 - 4*w**2 - 2 + 5*w. Is h(q) a composite number?
False
Let t(f) = 1. Let n(a) = -21*a - 4. Let g(k) = n(k) - t(k). Suppose -x - 3*x + 28 = -4*y, 5*y + 26 = 2*x. Is g(y) prime?
True
Let z(c) = c**3 + 3*c**2 + 2*c. Let i be z(-3). Let x(a) = -a - a - 1 + 3. Is x(i) composite?
True
Let a(k) = 167*k + 10. Is a(11) prime?
True
Let w = -92 + 429. Let j = 630 - w. Is j prime?
True
Is 162*1 - (-5 + (-4 - -8)) a prime number?
True
Is -1 - (1 - (4375 + -4)) prime?
False
Suppose 5862 = 6*v + 684. Is v a composite number?
False
Let j(s) = s**2 + 3*s + 3. Suppose 3 = -0*v - v. Let k be j(v). Suppose 0 = 4*l + m - 42 - 5, 0 = 2*l + k*m - 31. Is l composite?
False
Suppose 2*u = 5*u - 9. Is (3 + 6)/u + 494 prime?
False
Let h be (-76 - 2)*6/9. Let s = 39 - h. Is s composite?
True
Suppose 2*j = 4*s - 340, 5*s - 356 = 5*j + 64. Let v = s + -51. Is v composite?
True
Let c(o) = o**3 + 5*o**2 + 4. Let g be c(-5). Suppose -g*y + 2*y = -74. Let k = y + -22. Is k a composite number?
True
Is (-39)/(-2)*(-610)/(-15) prime?
False
Suppose 3*a + 2*m - 8 = 6*m, m - 13 = -3*a. Suppose 0 = -a*o + 5 + 11. Suppose 0 = o*w - 5*b + 4 + 3, -2*w + 2*b = 2. Is w composite?
False
Let a = -4 + 67. Suppose -a - 70 = -u - 3*k, -u + 161 = -4*k. Is u prime?
False
Suppose 0 = -0*k + 4*k + 5*l - 10, -4*k + 8 = 4*l. Suppose w - 24 = -3*g, 4*g + w = -k + 31. Is g composite?
False
Let x be 27/6*304/12. Suppose -2*h = 5*a - 1807 + x, -5*h - 317 = -a. Is a composite?
False
Let r(c) be the third derivative of c**7/840 - c**6/72 - c**4/12 - 2*c**3/3 - c**2. Let m(l) be the first derivative of r(l). Is m(6) prime?
False
Suppose -5*m + 9*b + 80 = 4*b, 4*m - 28 = -5*b. Let v(a) = -a**2 + 15*a + 15. Is v(m) a composite number?
True
Let i = -6 + 7. Is i/(111/55 + -2) prime?
False
Let a(l) = -4*l + 1. Let x(r) = -4*r + 1. Let o(z) = -2*a(z) + 3*x(z). Is o(-5) composite?
True
Suppose 3*o - 43 = w, -2*o + 32 = -0*o - 4*w. Let l = 136 - o. Let j = l - 48. Is j a composite number?
True
Let z(n) = 9*n**2 + 3*n - 7. Is z(5) a prime number?
True
Suppose z + 311 = 6*x - 2*x, 2*z = 4*x - 306. Is x a composite number?
False
Let x(h) = -h**3 - 8*h**2 - 7*h - 2. Let y be x(-7). Is 2 - (-2)/y*-155 a composite number?
False
Suppose -2*o - 172 = -4*o. Let u = o + -46. Let b = -5 + u. Is b prime?
False
Let q(z) = 14*z + 5. Let u be q(6). Is u - (-2 - (-4)/2) a prime number?
True
Is 4*6 - (-2 - 0) composite?
True
Let o(p) = p**2 - 14*p + 9. Let v be o(9). Let x = 38 + -53. Let i = x - v. Is i prime?
False
Let p(h) = -22*h + 13. Is p(-9) a prime number?
True
Is (-19 - -13)/((-2)/7) a prime number?
False
Suppose 0*c = -3*c + 6. Let q be 6*2/8*38. Suppose c*k = -k + q. Is k a prime number?
True
Let w be -1*9*(-5)/15. Is (11/w)/(3/27) a prime number?
False
Let k = 26 - -185. Is k prime?
True
Let v(f) = f**3 - 11*f**2 + 4*f - 4. Let b(q) = -q**3 + 1. Let h(j) = -2*b(j) - v(j). Is h(-11) a composite number?
True
Let d be 48 - -1 - (-2 + 1). Suppose -o = o - d. Is o a prime number?
False
Let u = -297 + 106. Let h = u - -584. Is h prime?
False
Let y be (-2 - -7)/((-2)/6). Let b = 11 - y. Is b a composite number?
True
Suppose -3 = 3*v + 6. Is (v/(-2))/3*130 a composite number?
True
Suppose -s - 805 = -5*n - 4*s, -3*n + 483 = s. Is n a prime number?
False
Let d(r) = -3*r + 10. Suppose -3*o - 21 = y, -5*o + 7 + 13 = -2*y. Is d(y) composite?
True
Suppose 3*m + m - 860 = 0. Is m a composite number?
True
Suppose -z = q - 4 - 0, 3*z - 7 = 2*q. Let y(v) = 90*v - 1. Is y(q) composite?
False
Let v be 10*1/(-2)*-1. Suppose -4*m + 351 = -v*i + 1108, -2*i = -3*m - 307. Is i a composite number?
False
Let k(i) = 15*i**2 + 4*i - 3. Is k(4) prime?
False
Suppose -41 = -4*x + 307. Suppose b = r - x, 2*r + b - 46 = 128. Is r a prime number?
False
Let q = 687 - 350. Is q a composite number?
False
Suppose 10 = 2*k + 3*k. Let r = k + -2. Suppose r = -3*v + 26 + 16. Is v a prime number?
False
Is (-19)/2*(-51 + 5) prime?
False
Suppose -3*o = -3*p - 153, -280 = -4*o - 2*p - 64. Is o a composite number?
False
Suppose 0 = y - 13 + 37. Let i = y + 47. Is i a composite number?
False
Suppose -v = -348 - 713. Is v composite?
False
Suppose -5*g + 43 = 6*h - 2*h, -2*h = g - 17. Let u = -7 + h. Suppose 4*j = -x - u*x + 71, -4*x + 320 = 4*j. Is x prime?
True
Let c be 1*-5*(-156)/10. Suppose t + 114 = 6*t - 3*z, 2*z - c = -4*t. Is t prime?
False
Let u be (1 + 2/(-2))/1. Suppose -8 = -4*h + 4*s, u = h - 4*s - 11 + 3. Suppose n - 14 - 33 = h. Is n prime?
True
Let p be (-1)/(-2) - 10/(-4). Let w be (-6)/p*7/2. Let x = 6 - w. Is x a composite number?
False
Let l be -3 + 3*-23*-2. Let t be (4/(-6))/(9/l). Is 118 - (-5)/(t/6) prime?
False
Let z(f) = -f**3 - 7*f**2 - 5*f - 10. Is z(-7) composite?
True
Suppose 0 = 4*v + v - 20. Suppose -d = w + 4*w - 38, v = w - d. Is w prime?
True
Suppose 4*b = 1186 + 338. Is b prime?
False
Let n(p) = 12*p**3 + 8*p**2 - 7. Is n(5) a composite number?
False
Let k = -3 - -5. Let a(s) = 0*s + 2*s**k + 4*s + 4*s + 5. Is a(-5) a prime number?
False
Suppose 5*i - 4*i - 15 = 0. Suppose -5*j - 5*a + 132 - 32 = 0, -j + 4*a + i = 0. Is j a composite number?
False
Let n = -98 + 22. Is (n/6)/((-10)/15) composite?
False
Let o(c) = 15*c**2 + 5*c - 6. Let r be o(6). Suppose -r = -3*y - 33. Is y composite?
True
Suppose 4*i - 1830 = 4*n + 7178, -4*i + 9018 = -2*n. Suppose 0 = -5*u + i - 362. Is u prime?
True
Suppose -459 = -3*w - 75. Let m = w - 56. Let n = m - 41. Is n prime?
True
Let j(h) be the second derivative of -11/3*h**3 + 2*h + 0 + 7/2*h**2. Is j(-6) prime?
True
Suppose b = -5*b + 3306. Is b prime?
False
Let y(d) = -d**2 - 19*d + 7. Is y(-10) a prime number?
True
Let q(n) = -152*n**3 - n**2 - n - 1. Suppose -1 = -2*m + 3*m. Let p be q(m). Suppose -p = -4*w - 11. Is w prime?
False
Let w(r) = -3*r + r**2 - 4*r + 6 + 0*r. Let o be w(6). Suppose o = 5*s - a - 417, a + a + 170 = 2*s. Is s a prime number?
True
Suppose -2*h + 16 = -8. Suppose 3 + h = 3*k. Suppose 3*y + 170 = k*y. Is y prime?
False
Let m be (3/6)/(1/8). Let x(w) = m*w + 0*w + w - 2 + w. Is x(2) composite?
True
Let s(l) = -2*l - 5. Let q be s(-5). Suppose -q*g + 2972 = -g. Is g prime?
True
Let g = -528 + 977. Is g a prime number?
True
Suppose -3884 = -7*b + 1625. Is b a prime number?
True
Let a(r) = -7*r + 5. Let c(d) = -14*d + 10. Let j(w) = -13*a(w) + 6*c(w). Let i = 6 + -2. Is j(i) a prime number?
True
Suppose -3*f - 44 = -4*r, -2 = 5*r - 6*r + 3*f. Is r a composite number?
True
Suppose -4*c + 2*y + 16 = 0, 14 + 10 = 4*c - 4*y. Is (-1)/((-193)/(-97) - c) composite?
False
Let k(h) = 581*h + 1. Let v be k(2). Suppose -v = -4*s + 785. Is s composite?
False
Let c(x) = 3*x - 1. Is c(9) prime?
False
Suppose 155 = 11*i - 6*i. Is i composite?
False
Let k(r) be the third derivative of -13*r**4/24 - 8*r**3/3 + 4*r**2. Is k(-11) a composite number?
False
Let z(c) = -3 + 2*c - 3*c + c**2 + 5 - c**3 - 3*c**2. Let x be z(-2). Is 187/x + (-3)/(-12) prime?
True
Let l(k) = -4*k**2 - k + 1. Let v be l(1). Is ((-183)/6 - 3)*v a composite number?
True
Let t(c) = c**2 + c - 2. Let x be t(2). Suppose o - 5*g = -4*o + 350, x*o = 3*g + 279. Is o a prime number?
False
Suppose 0 = 3*m - 6*m + 9. Let k(o) = o**2 + o + 1. Let h be k(m). Suppose -5*n + 52 = -h. Is n composite?
False
Suppose -j = -3*r + 371, -3*j = -5*r + r + 488. Suppose 2*l = 4*d + d - r, -4*d + 117 = -5*l. Is d prime?
True
Let s = -1 - -6. Suppose 0 = -s*h + 3*o + 95, -5*h - o = -h - 76. Is h a prime number?
True
Let s(y) = -y + 1 + 4*y + 2*y + 6*y**2. Is s(-4) prime?
False
Let m = 2243 - 1349. Is m/10 - (-18)/(-45) a prime number?
True
Suppose f + 0 = -2*v + 4, -5*f + 3*v = 6. Suppose -186 = 4*d - 3*d - s, -2*d - 5*s - 358 = f. Let q = d + 333. Is q prime?
True
Suppose -2*j + w + 51 = 0, -w + 49 = 3*j - 20. Let p be (6/(-4))/((-3