*s + 76, -g + 190 = 5*s - 2*g. Is s composite?
True
Is (-21)/14*(-1 - 1) composite?
False
Suppose 0 = -3*k + 51 - 6. Let i = 6 - 3. Suppose -k + i = 3*p, -p + 171 = 5*n. Is n a composite number?
True
Let n = 10 - 6. Let c(v) = -v**3 + 4*v**2 + v. Let k be c(4). Suppose -n*j - 60 = -k*s, s - 8 - 7 = 5*j. Is s prime?
False
Let s be (-4 - (-33)/9)*12. Let o(d) = -6*d**3 - 4*d - 3. Is o(s) a prime number?
True
Let o(w) = 18*w + 13. Is o(11) composite?
False
Is (-2)/3*(121/(-2) - -5) prime?
True
Let s = -507 - -1244. Is s composite?
True
Let o = 52 - 101. Is (o/7)/(1/(-1)) prime?
True
Suppose -n - 22 = -5*z, -2*n + 8 + 23 = 5*z. Suppose -82 = z*c - 267. Is c a prime number?
True
Let v(h) = 173*h**2 - 6*h + 4. Is v(3) composite?
False
Let y = 17 + -17. Suppose y = -2*h - 5*g + 197, 4*g + 192 + 50 = 2*h. Is h composite?
True
Let q be -1*(1 - 2/2). Suppose q = 3*r - 21 - 3. Is (-259)/(-4) + 2/r prime?
False
Let u(a) = a**3 - 4*a**2 + 4*a - 4. Let n be u(3). Let f be (12/14)/(n/(-42)). Is 4276/f - (-4)/18 prime?
False
Suppose -15*r = -14*r - 263. Is r a prime number?
True
Let m(j) = -j**3 + 8*j**2 - 3*j - 2. Let x be m(4). Suppose t - 319 = -x. Is t prime?
True
Suppose 113 = 4*c - 19. Is c composite?
True
Let z(b) = b + 2. Let p be z(0). Suppose p*j + 2 = 3*j. Suppose -4*o + 61 = -2*y + 5*y, -j*y - 5*o + 43 = 0. Is y prime?
True
Let o(v) = -v**3 + 4*v**2 + 7*v - 3. Is o(-4) a prime number?
True
Let y(b) = b**3 + 7*b**2 - 6*b - 1. Suppose 0 = -3*u - 12 - 3. Is y(u) composite?
False
Let o be 349/3 - 4/12. Suppose 0 = -s - 47 + o. Is s prime?
False
Suppose 2*w + 200 = -2*w. Let t = -5 - w. Let r = -23 + t. Is r prime?
False
Let s = 1 - 4. Let v(l) = -20*l - 1. Let p be v(s). Let g = -12 + p. Is g prime?
True
Let a(z) = 17*z**2 + 13*z + 11. Is a(6) prime?
True
Suppose -3*h = 2*c - 587 + 34, -2*h + 367 = 3*c. Is h a composite number?
True
Let k(b) = b**3 + 5. Let c be k(0). Suppose c*o = -5*v + 55, o + 2*v = 4*v - 1. Is o a prime number?
True
Let k(u) = -4593*u**3 + 2*u + 1. Let j be k(-1). Is 2/7 + j/49 a prime number?
False
Suppose 2*u - 15 = -3*n, 2*u = -u - 5*n + 24. Let r(i) = 3*i**2 + i + 4. Is r(u) a composite number?
True
Let a(c) = -4*c**3 + c**2. Let i be a(1). Is (-393)/i + (-4)/(-2) composite?
True
Suppose -2*j - 3 = -17. Is j a prime number?
True
Let v(o) = 428*o**2 - 3*o + 2. Is v(1) a prime number?
False
Let d be (0/(-1 + 3))/(-2). Suppose d = 2*k + 2*k - 20. Suppose 21 = k*o + n - 10, -4*o + n + 32 = 0. Is o a prime number?
True
Let q(u) = u - 1. Let s be q(1). Suppose -35 = -s*w - w. Is w composite?
True
Let a(h) = 2*h**3 - 4*h**2 + 2*h - 7. Suppose -5*u + 15 = 0, 2*u + 6 = 3*o - 6. Is a(o) composite?
False
Let u(h) = 2*h**3 - 2*h**2 - 2*h + 1. Let x be u(2). Suppose b + 3*c - 20 = -9, 4*c = x*b + 2. Is (-5)/b*204/(-10) a composite number?
True
Let i(o) = 607*o**2 - 4*o + 1. Is i(-2) a prime number?
True
Suppose -5*o + 16 - 6 = 0. Let s(v) = v**2 - 3*v + 3. Let m be s(o). Is m/(-3) - (-46)/3 a prime number?
False
Let d = 69 - -45. Let x be (-6)/(-9) + d/(-9). Let p = -2 - x. Is p a composite number?
True
Let k be (-502)/7 + (-4)/14. Let a be 20/(-10) + 123 + 0. Let j = a + k. Is j a prime number?
False
Let l be 3 + (-2 - -2)/(-2). Let h = -4 + l. Let r = 1 - h. Is r a prime number?
True
Suppose u = -5*y - 4*u, 0 = -5*y + 2*u + 28. Suppose -y*m + b = 6*b - 1400, m + 5*b - 335 = 0. Is m a composite number?
True
Is (-60)/25 + 3 - (-562)/5 a prime number?
True
Let s(x) = -x - 1. Let f(c) = c**2 + 7*c - 2. Let r(d) = -f(d) + s(d). Let y be r(-6). Suppose 4*o - 45 = -3*h - y, 2*o + 6 = 4*h. Is h prime?
False
Let u = 5 + 0. Suppose 4*w - 5*w - 387 = -u*p, -4*p + 5*w = -318. Is p a prime number?
False
Let g = -5 + -5. Is (-4)/g - (-1578)/30 composite?
False
Suppose -295 = -2*v + 5*c, 167 = -2*v + 2*c + 459. Is v composite?
True
Let h(w) = 11*w**3 - 3*w**2 - 3*w - 2. Let i be (-2 + 1)/((-1)/3). Is h(i) a composite number?
True
Suppose 4*u = 8*u - 8. Suppose -3*v = -3*x - 6, -5*v = u*x + 3*x - 30. Let d(l) = l**3 + 3*l**2 - l + 1. Is d(x) a composite number?
False
Let j = 16 + 21. Is j a composite number?
False
Suppose 3*a + 18 = 3*m, -4*a + a = -5*m + 26. Suppose 6 - 22 = -m*k. Suppose -k*v - 8 = 0, -3*y + 2*v + 186 = -y. Is y a composite number?
True
Suppose 0 = -2*j - 0 - 2. Let m(d) = -157*d - 247 + 247. Is m(j) a composite number?
False
Suppose 2*z - n = 74 + 116, 5*n + 368 = 4*z. Is z a prime number?
True
Suppose 3*i = 5*t - 497, i = -2*t + 3*i + 202. Let f = 54 - t. Let c = 174 + f. Is c prime?
True
Suppose -23 = 4*j - 3. Let u(a) = 2 - 11*a - 12*a + 10*a. Is u(j) prime?
True
Let p(s) = -s**3 - 16*s**2 - 17*s - 15. Is p(-16) prime?
True
Suppose 2*t = o - 1365, 20*t = -2*o + 15*t + 2712. Is o a prime number?
True
Let w(n) = -n + 12. Let i be w(10). Suppose 159 = r + i*r. Is r a composite number?
False
Suppose -75 - 265 = -5*k. Suppose 0 = u - 81 - k. Is u composite?
False
Suppose -1060 = -4*k - 268. Let o = -49 + k. Is o a prime number?
True
Suppose -2*b + x + 54 + 129 = 0, 5*b + x - 454 = 0. Is b prime?
False
Is (1/(-2) + 1)*1346 a prime number?
True
Suppose -5*f = 2*k + 12, f = k - 4*f + 36. Let g = 41 + k. Is g a composite number?
True
Suppose 5*k + 6 + 14 = 0. Let f = 0 + k. Is (f + 3)/(1/(-7)) composite?
False
Suppose 3*m + 15 = -2*m. Suppose 0 = -0*n + 3*n + 9. Is (-5)/m - n/9 composite?
False
Let b(g) = -115*g. Let j be 16/(-10)*30/(-12). Let o = j + -5. Is b(o) a prime number?
False
Let m(c) = c**2 - 4*c + 1. Let a be m(5). Let i(l) = l**3 - 6*l**2 + 6. Let y be i(a). Let k(j) = 4*j - 3. Is k(y) a composite number?
True
Let d(b) be the third derivative of -b**5/60 - 3*b**4/8 - 2*b**3/3 - 2*b**2. Suppose 0 = 2*r + 22 - 8. Is d(r) composite?
True
Let h = 150 + -79. Let z = -21 + h. Let g = 17 + z. Is g a composite number?
False
Suppose -92 = -g + 99. Is g prime?
True
Suppose k - 7*k = -7356. Is k a prime number?
False
Let b(x) = -4*x**3 - x. Let c be b(-1). Suppose -a - c*p = -65, a - p - 51 = p. Is a prime?
False
Suppose -2*u - 3*x + 14 = -1, -23 = -3*u - 5*x. Suppose -6*z = -3*z - u. Suppose -158 = 5*m - 4*t - 421, -z*m + 3*t + 108 = 0. Is m composite?
True
Let o = -91 - -181. Let l = 0 + 3. Suppose l*v - o = 87. Is v prime?
True
Let w be (-1*6)/(-3) - -8. Let l be (-4)/w + (-27)/(-5). Suppose -x + 5*z - 33 = -3*x, -19 = -x - l*z. Is x composite?
True
Is 1*(-4 - 0 - -1805) prime?
True
Suppose a - 46 = 5*v, a - 31 = 3*v - 3*a. Let d be 764/6*v/(-2). Suppose j - d = 5*n - 2633, -5*n = -2*j - 2055. Is n prime?
False
Suppose 0*b + 3*j = -4*b + 9736, 2*b - 5*j - 4894 = 0. Is b composite?
False
Let k(p) = -p + 2. Let u be k(-8). Suppose -4*z - 5*q - u = -9*z, 5*z + 3*q + 6 = 0. Suppose z = -2*r - 2*w + 22, 3*r + 2*w - 33 = -0. Is r prime?
True
Is -2 + (-3 - -8) - -2078 a prime number?
True
Let h(w) = 4*w + 551. Is h(0) composite?
True
Let r = -8 + 17. Let o = r - 7. Suppose 5*z - 163 = o*a + 84, 2*z + 5*a - 122 = 0. Is z composite?
True
Let f(r) = -r**2 - 35. Let o be f(0). Let g = 284 - o. Is g a prime number?
False
Suppose -1326 = -5*h - 31. Suppose 2*w + 81 = b, 5*w = 3*b + 3*w - h. Is b a prime number?
True
Let i(r) = -2*r**2 - 10*r - 2. Let q be i(-5). Is (7/q)/((-6)/348) a composite number?
True
Let t(n) = -5*n**2 - 4*n + 1. Let h(x) = 3*x**2 + 2*x. Let d(l) = 5*h(l) + 2*t(l). Is d(-4) a prime number?
False
Let l = 2029 + -1020. Is l a composite number?
False
Let n = 7 + 1. Let a be (138/n)/((-6)/(-16)). Let z = a + -27. Is z prime?
True
Let z(k) be the first derivative of 94*k - 1/2*k**2 - 1/3*k**3 - 4. Is z(0) composite?
True
Let j = -39 - -124. Is j a composite number?
True
Let v = 1534 + -171. Is v a composite number?
True
Suppose 0 = 3*m - 1 - 11. Let k be (-66)/m*(-48)/18. Suppose -k = -2*a + 70. Is a prime?
False
Let b = -75 + 162. Is b a prime number?
False
Suppose -4*d - d = 5*n + 630, -3*d - 3 = 0. Is (-1)/4 - n/4 a prime number?
True
Suppose -4*h + 2167 = 239. Suppose -4*m = -3*q + 1449, 0 = -6*q + 5*q + m + h. Is q a prime number?
True
Suppose -2*k + 3*t = -t - 24, 0 = -5*k + 2*t + 28. Suppose -2*u = -3*b + k, -b - b - 5*u - 10 = 0. Is (-6)/3 - (-165 + b) a prime number?
True
Suppose 0*l - 19 = -l. Suppose 1 = z - 1. Let w = l + z. Is w composite?
True
Let u = 51 - -140. Is u a composite number?
False
Suppose 3*o - 32 =