 = -2*p + 4, 3*p - g - 5 = 0. Let j be p + (-2)/(-2) + 1. Suppose -4*n = -5*q - 115 + 372, 5*n - 222 = -j*q. Is q a prime number?
True
Suppose -2*c - 6*z + 7*z = -4162, 6243 = 3*c + 2*z. Is c prime?
True
Let s(m) = m**3 + 13*m**2 + 2*m + 1. Is s(-9) a prime number?
True
Let y(x) = 34*x + 1. Is y(1) a composite number?
True
Is -1*(-1 - 1 - 9) composite?
False
Suppose -2*v = 2*v - 596. Suppose 5*l = -6 - v. Is 8/4*l/(-2) composite?
False
Let m be -2 + ((-12)/3)/(-1). Suppose -m*r + 134 = -0*r. Is r a prime number?
True
Let t be (-146)/(-30) - (-4)/30. Suppose 2*f - t*f + 102 = 0. Is f prime?
False
Suppose -4*j = -3*j - 5. Let v = -5 + j. Suppose 110 = -v*o + 5*o. Is o prime?
False
Suppose -1885 = -5*v - 4*n, 0 = 2*v - 3*n + 6*n - 761. Is v composite?
False
Is 6/9 - (-840)/9 a prime number?
False
Suppose 4*c + 4*g - 472 = 0, -5*c - 3*g = -256 - 328. Is c a composite number?
True
Is (-7)/((-21)/456) + -3 prime?
True
Let g = 3159 + 992. Is g composite?
True
Suppose 3*x - x = 2098. Is x a prime number?
True
Let a = 11 + -8. Suppose -a*c - l + 132 = -203, -2*c = -2*l - 218. Suppose k + 2*k = c. Is k prime?
True
Suppose -2*w - w + 12 = 0. Let m(d) = 18*d + 5. Is m(w) a prime number?
False
Let z be 2*10/4 - 2. Suppose -66 = -z*b + 3. Is b a prime number?
True
Suppose -u + 5*u + n = 773, 12 = -4*n. Is u prime?
False
Suppose -118 = 4*f + 2*s - 434, 3*f - 237 = 3*s. Suppose 5*k - 256 = f. Is k prime?
True
Let y = 962 - -47. Is y prime?
True
Let u(l) = l**2 + l - 3. Let o(z) = 2*z**2 - 2. Let a be o(2). Is u(a) a prime number?
False
Let x = 6 - 5. Is 55 - -1*(-3 + x) prime?
True
Let a(h) = 35*h - 3. Let y(f) = -12*f + 1. Let o(l) = 6*a(l) + 17*y(l). Let x be o(4). Suppose 3*k - 351 = -3*v, 7 - x = 4*k. Is v composite?
True
Let c(x) = 2*x. Let o be c(1). Suppose 0 = o*z - 5*z - 30. Is (-2)/10 - 832/z a prime number?
True
Let q(k) = k**2 + 3*k - 5. Let p be q(4). Is (-6 + 8)*p/2 prime?
True
Let g = 252 - 17. Is g a composite number?
True
Let s = -461 - -980. Is s a prime number?
False
Let f(p) = 2*p**2 + p. Let x be f(1). Is (2 + x*-60)/(-2) prime?
True
Suppose 0 = 5*l - 3*b - 3, 0 = 3*l - b - 2 - 3. Suppose l*u - 1276 = -u. Is u composite?
True
Suppose w = 5, -3*j + 4*w + 2 = 10. Suppose 0 = 2*t + 4*r - 158, 0*t + j*r = 3*t - 227. Is t a composite number?
True
Suppose 259 = 5*w - 181. Let l = 59 + w. Suppose -90 - l = -3*f. Is f composite?
False
Let k = -111 - -812. Is k a composite number?
False
Let b = 716 - 85. Is b prime?
True
Suppose 5*n + 12 + 18 = 0. Let m = n - -11. Suppose -5*k - m*s = -35, 5*s = -0*k - k + 11. Is k prime?
False
Suppose g - 24 = 13. Is g prime?
True
Is (-1)/(-3) - 28238/(-21) composite?
True
Suppose 3*t - 5*o - 12 = 0, -3 - 11 = -t + 5*o. Is t/2 - 620/(-8) a composite number?
True
Let t be (-1)/((-59)/(-29) - 2). Let d = 15 + t. Let w = d + 37. Is w a prime number?
True
Let a be 0/((-2)/(-2) + -2). Suppose 2*d + 20 - 426 = a. Is d a composite number?
True
Let a be 2*(1 - 308/(-8)). Suppose 0 = -2*c + a + 59. Is c prime?
False
Suppose 5*r + 10 = h - 0*h, 23 = -4*h - r. Let c = -9 - h. Is (-59)/(-3 + (-2 - c)) prime?
True
Let w be ((-2)/(-5))/((-2)/(-120)). Let z be (w/(-15))/((-4)/10). Suppose q = z*q - 99. Is q a prime number?
False
Suppose -t - 229 = -6*t + 4*n, -3*n = 3*t - 132. Let i = t + -11. Is i a prime number?
False
Let m(u) be the first derivative of -2*u**2 - 9*u + 1. Suppose 8*y = -19 - 37. Is m(y) prime?
True
Suppose 0*g - 395 = -g. Is g prime?
False
Let o = -715 + 194. Let g = -214 - o. Is g a composite number?
False
Is 2770/(3/((-15)/(-10))) composite?
True
Let r(k) = -k + 7. Let x be r(5). Let p = x + -1. Is ((-2)/(-2) - -33) + p prime?
False
Suppose 0 = -0*p - p + 10. Let k be 6/(-30) + 572/p. Suppose c - 28 = k. Is c composite?
True
Let u be (-252)/(-20) - 2/(-5). Suppose 0 = -i - 1 + u. Suppose 0 = 3*c - i, 3*c + 313 = -a + 6*a. Is a composite?
True
Let a = -259 + 431. Let z be -2 + 4 + -3 + a. Let o = z + -94. Is o a prime number?
False
Suppose 4*a = -2*m - 128, 3*m + 0*m + 159 = -5*a. Is 2/(-11) - 468/a a composite number?
True
Suppose 2*v = 2 + 6. Suppose 0*b = -b - v, -3*l - 2*b = -1555. Is l a composite number?
False
Let v(a) = 400*a**2 + 1. Is v(1) prime?
True
Let r = 1303 - 572. Is r prime?
False
Let k(g) = g + 8. Let y be k(-6). Let z(r) = 3 - 10 + 5*r**y - 3*r**2. Is z(6) a composite number?
True
Is (58/4)/(2/28) a composite number?
True
Let s(y) = y**3 - 7*y**2 + 7. Let n be ((-1)/1 + 2)*1. Let m be (n + -15)/((-2)/1). Is s(m) a composite number?
False
Let w(r) = -r**3 + 4*r**2 + 5*r + 7. Let m be w(5). Suppose 44 = k - 2*o, -3*k = -m*k + 5*o + 164. Suppose 3*l = 195 + k. Is l a composite number?
True
Suppose 0*p = 4*p - 564. Is p prime?
False
Let t(a) be the first derivative of 1/3*a**3 - 3 + 9/2*a**2 - 12*a. Is t(-11) a composite number?
True
Let l = -546 + 919. Is l composite?
False
Let t = -4 - -4. Suppose 2*x - 276 = -4*f + 6*x, t = -x. Is f a composite number?
True
Let g(o) = 13*o - 4. Is g(3) prime?
False
Suppose -3*r + 0 - 6 = -5*k, -3*r = k - 12. Suppose 124 = k*o - 221. Is o a composite number?
True
Suppose 12 = 3*v, 3*l + 0*v = -4*v + 88. Suppose 419 = 3*n - 4*w, n - 142 = -3*w - l. Is n a composite number?
True
Suppose -2117 = -2*n - 543. Is n composite?
False
Let j(c) = -9*c**3 + 2*c**2 - 2*c + 2. Let y be j(2). Let f = 119 + y. Is f a prime number?
True
Suppose -o + 0*o = -4*b - 55, 4*o = b + 265. Is o a prime number?
True
Suppose 3*l = y - 3, -y = -2*y + 5*l + 13. Is (-18)/y*(-212)/(-3) composite?
True
Let u(h) = h**3 + 18*h**2 - 13*h - 7. Is u(-9) a prime number?
True
Let x be 4 - (-2 - 0/3). Let v(l) = -l**2 + 9*l - 4. Let j be v(x). Suppose -2*y + 6 = -5*p, 4*p - 56 = -2*y - j. Is y prime?
True
Suppose -4*p - 5*s + 457 = 0, p - 231 = -p - 5*s. Let b be 1/((-2)/4) - p. Let w = 4 - b. Is w a composite number?
True
Let y = -30 - -53. Is y prime?
True
Let a = 1022 + 455. Is a a prime number?
False
Let q = 1801 + -1040. Is q a prime number?
True
Let w = -358 + 609. Is w prime?
True
Suppose 2*c + 3*y - 644 = 0, 6*c - y = 4*c + 636. Is c a prime number?
False
Suppose k = -0*k - 2. Let t be 272 + 1*(-3 - k). Suppose -t = -5*b - 26. Is b composite?
True
Is 736/14 + (-3)/(-7) a composite number?
False
Suppose -38*t + 33*t = -2110. Is t prime?
False
Let g(d) = d**3 - 2*d**2 - d - 2. Let o be g(-3). Let c = 118 + o. Is c a composite number?
True
Suppose -9*d + 1441 = -1916. Is d composite?
False
Is (-344)/(-10) + 10/(-25) a prime number?
False
Let d(u) = -u**3 + 8*u**2 - 6*u - 3. Let t be d(7). Suppose n - t*n + 63 = 0. Is n a prime number?
False
Let i(r) = r**3 - 4*r**2 + 2*r - 3. Let u be i(4). Suppose -j = u*z - 231, 69 = 3*z - 3*j - 66. Is z prime?
False
Let m(b) = -13*b + 18. Let y be m(-15). Let i = 163 + 45. Suppose -4*f - i = -4*g, 2*g + f = -2*g + y. Is g composite?
False
Suppose 6*h - 2*h = 28. Let p(k) = -k**3 + 7*k**2 + 4*k - 14. Let g(n) = n**3 - 7*n**2 - 4*n + 13. Let c(j) = -5*g(j) - 4*p(j). Is c(h) composite?
False
Suppose -l + 6 = 5*g - 6, -2*g - 2*l = 0. Let q be (-3)/(-6) - g/(-2). Suppose -5*a - q*f = -111, 3*f - f = 3*a - 73. Is a a prime number?
True
Let d be 1/5 + 38/10. Suppose d*s + l - 118 = -l, s - 5*l = 2. Let v = 10 + s. Is v prime?
True
Let y(p) = -3*p - 1. Let n(t) = -2. Let d(h) = -h + 1. Let w(k) = -2*d(k) - n(k). Let j(l) = 7*w(l) + 6*y(l). Is j(-8) a prime number?
False
Let u(f) = 184*f**2 - 2*f - 13. Is u(-4) composite?
False
Suppose 3*v - 9 - 4 = z, -4*v + 4*z = -12. Let o = v + -2. Suppose -4*w + 5*u = -148, 4*w - 3*u = o*w + 37. Is w a composite number?
False
Let q(w) = w**3 - w**2 + w - 1. Let x be q(0). Let y be (-8)/(-12) - 331/(-3). Is x/(-1 + 108/y) prime?
True
Let t(c) = -9 + 14*c - 6*c + 7*c**2 + 0*c. Is t(8) a composite number?
False
Suppose 4*b - r - 10 - 7 = 0, -2*b = 2*r - 16. Let y(f) = 15*f + 4. Is y(b) prime?
True
Let m = 85 - 39. Is m composite?
True
Suppose -v + 4988 = 2*o, -v - 3*v - 2503 = -o. Is o a composite number?
True
Is 844/(-4)*(0 + 14)/(-2) a prime number?
False
Suppose 0 = -6*b + 2*b + 580. Is b prime?
False
Suppose -2*u = -3*m + 5167, 2*m + 6*u - 8*u - 3444 = 0. Is m a composite number?
False
Suppose -730 = -4*m + 906. Is m a composite number?
False
Let q = 924 - 605. Is q a prime number?
False
Let g = -2 + -1. Let r = g - -4. 