a*o = -25, -6*o + 3*o - 310 = -5*p. Is p prime?
True
Let m = -8 - -8. Suppose 0 = 3*v + 3*r + 72, 4*v + m*r = 3*r - 68. Let w = v + 29. Is w a prime number?
False
Suppose -v = 4*k - 20, 4*k = 2*v + 16 + 16. Suppose 2*r + r = k. Suppose -69 = -r*d - d. Is d prime?
True
Let i be 8/(-4) + 1*2. Let v be 1/(2/8 + i). Suppose 0 = -0*l + v*l - 5*r - 67, -2*r + 10 = 0. Is l prime?
True
Let y = 16 + -14. Let p(k) = 95*k - 3. Is p(y) composite?
True
Suppose 0 = -8*g + g + 399. Is g prime?
False
Let m(t) = t. Let n be m(-3). Let r = n - -5. Is 8 + (-1 - 0)*r a composite number?
True
Let b = 2139 - 1432. Is b prime?
False
Let l(a) = -a**3 - 8*a**2 - a + 8. Let w be l(-7). Let v = w + 77. Let j = v - -24. Is j composite?
False
Suppose 0*i = 3*i + 6. Let t = -4 - i. Is 127/(2 + 1 + t) a prime number?
True
Let w(r) = 5*r**3 + r**2 - 2*r + 3. Is w(3) a prime number?
False
Suppose 8*k = 6*k - 78. Is ((-8)/(-6) + -2)*k composite?
True
Suppose -10 = -5*x + 205. Let y = 77 - x. Is y a composite number?
True
Suppose -8*j + 376 = -4*j. Is j prime?
False
Let o be (-1)/(-3) - 7/3. Let w be 3/((-9)/6)*o. Suppose 0*c - 4*c = 3*s - 9, -25 = -w*s - c. Is s composite?
False
Suppose 2*j = -3*h - 16, 6*j = 4*j + h. Let q = j - -4. Suppose 4*n + 27 = w + n, -q*w + 50 = -5*n. Is w a composite number?
True
Suppose 2*p - 11 = -3. Suppose 4*j + 7 = -p*i + 47, -2*i + j + 17 = 0. Is i composite?
True
Suppose -3*p - 2*p - k = -13, -3*k = -5*p + 1. Let u = p - 2. Is 53 - (u + (-4)/2) composite?
True
Is (-3 + -2)*22/(-10) composite?
False
Suppose 0 = 3*n - 1 - 2. Is 1 - (-3 + -84) - n a composite number?
True
Let q(i) = -i**3 - 15*i**2 - 31*i - 11. Is q(-15) composite?
True
Suppose -4*r = -4783 - 6537. Let b = -927 + r. Suppose -618 = 5*x - b. Is x prime?
True
Is 2/8 - 46710/(-72) composite?
True
Let o(w) = 3*w**2 - 3*w**3 + 1 + 2*w**2 - 3*w**2. Suppose 2*h + 5*l = 2 - 1, 0 = -2*h - 2*l - 2. Is o(h) prime?
False
Suppose 0 = 2*y - 251 - 347. Suppose -y = -3*k + 595. Suppose -3*w = -w - k. Is w a composite number?
False
Let c be 1/(-2) - (-7)/2. Is (-4)/6*c - -147 prime?
False
Let c = -64 - -179. Is c a composite number?
True
Suppose 118 + 217 = 5*k. Is k prime?
True
Suppose 0 = -4*c, 143 = 5*t - 5*c - 32. Is t a composite number?
True
Suppose -3*h - 2 = -5*h - 2*s, 3*h - 7 = s. Is h/(-3) + 82/6 prime?
True
Let x(g) = 4*g**2 + 10*g - 13. Is x(-10) prime?
False
Let p be (-78)/(-12) + 3/(-2). Suppose -5*h + 5*u - 628 = -1593, 0 = -4*h + p*u + 774. Is h a prime number?
True
Let f(t) be the third derivative of 29*t**4/12 - t**3/6 + 4*t**2. Is f(2) composite?
True
Is 4/26 + 154049/91 prime?
True
Suppose 5435 = 9*w + 368. Is w a composite number?
False
Let f(a) = -2*a - 4 + 2*a - a. Let g be f(-6). Suppose -i + x = -35, -g*i = -6*i - 4*x + 124. Is i a prime number?
False
Suppose -3*t = -4 - 2. Is ((-127)/4)/(t/(-8)) a composite number?
False
Let p be 2 + -1 + (-7 - -5). Is 446/(-4)*(p + -1) prime?
True
Suppose 5*y - 8 = y. Let f be 3 - y - (2 + -1). Suppose f = -3*b + 2*h + 103, -4*b - 3*h + 0*h + 126 = 0. Is b prime?
False
Suppose 5*b = r - 105, 0 = -0*b - 2*b - 10. Let p = -55 + r. Is p prime?
False
Let f be (10/12)/(-1)*-6. Suppose -2*m = -3*a + 26, 32 = 2*a - f*m - 0. Suppose 0 = a*c - c - 335. Is c prime?
True
Suppose 0 = -9*g + g + 888. Is g a composite number?
True
Is -3*4/((-12)/43) composite?
False
Suppose 2*k = 3*y - 118, -k = -5*k + 4. Let o(v) = -v**3 + 2*v**2 + 3. Let l be o(3). Is 1 + -2 + l + y a prime number?
False
Let x = -23 - -48. Suppose -4*t + 3*t + c = x, 0 = -3*t - 2*c - 50. Let f = -11 - t. Is f prime?
False
Let m = 6 + 1. Is (-3 - -5) + 27*m composite?
False
Let o(j) = j**3 - 3*j**2 + 2. Suppose 4*c - 3*c - b = 2, -c + 2*b + 1 = 0. Let l be o(c). Suppose 0 = 6*a - l*a - 3*n - 38, -n = -2. Is a a prime number?
True
Suppose -494 - 417 = -p. Is p a composite number?
False
Let x be (11/4 + -3)*4. Let m(a) = -33*a**3 + 2*a**2 - 14*a - 11. Let d(g) = -22*g**3 + g**2 - 9*g - 7. Let b(j) = 8*d(j) - 5*m(j). Is b(x) a prime number?
False
Let p = 309 - 160. Is p/4 + 2/(-8) composite?
False
Let b be 2364/8 - 2/(-4). Let w = 467 - b. Suppose -3*t + w = -114. Is t a composite number?
True
Let i(p) = 2*p + 2 + 2 + p - 9*p. Let c be (6/4)/(2/(-4)). Is i(c) a composite number?
True
Suppose 0 = t + t + 8. Is 333/45 + t/10 a composite number?
False
Let d = 4 - 1. Suppose -2*t - i = -5*t + 777, -d*t - 4*i + 777 = 0. Is t a prime number?
False
Let o be 2 + -1 + (4 - 7). Let q(s) = -10*s**3 - s**2 - 2*s - 1. Is q(o) prime?
True
Suppose 4*t - 19 = -5*s, s - 12 = -4*s + 3*t. Suppose m + 273 = s*a - 3*m, -5*m = -3*a + 273. Is a a composite number?
True
Is (223/3)/((-2)/(-12)) a prime number?
False
Let c(g) = 29*g**2 + 3*g + 5. Is c(5) prime?
False
Let h be (2 - 2) + (-2)/2. Is (609/3*h)/(-1) composite?
True
Suppose 3*s = -579 + 2202. Is s a composite number?
False
Suppose 0 = -4*c + 3*a + 23, a + 1 = -0*a. Suppose 4*s = -17 + 89. Suppose -c*q = -17 - s. Is q a prime number?
True
Let b(s) = 23*s**2 + 3*s - 2. Let h be b(-3). Let o = 13 + h. Is o prime?
False
Suppose -1062 = -0*q - 3*q. Suppose -2*m = m + q. Is m/(-4)*-1*-2 a prime number?
True
Let p = 650 - 451. Is p composite?
False
Let f(w) = 0 + 0 - 5*w + 5 + w. Is f(-4) prime?
False
Suppose -15 = 8*c - 3*c, 4*a + 5*c = -7. Suppose -a*k + 5*m = k, 2*m = k. Let p(d) = d**2 - d + 10. Is p(k) a prime number?
False
Let r(p) = -61*p + 7. Is r(-4) a prime number?
True
Suppose -2*w + 10 = -4*l + 2*l, 3*w = -l - 1. Let g = 1 + w. Suppose 31 = c - 4*i, 6 = -g*c + 4*i + 48. Is c a composite number?
False
Let i(f) = -29*f - 2. Suppose t + 2*t + 15 = 0. Is i(t) a prime number?
False
Let s(x) be the first derivative of 3*x**2 + 5*x - 3. Let n = 4 - -4. Is s(n) composite?
False
Is (-2)/((-6)/4677) - 0 a composite number?
False
Let t = 1 + -2. Let s be (0 + 2/t)/2. Is ((-4)/10)/(s/25) a prime number?
False
Suppose 5*x - 1320 = 5*j, 2*x - 4*j - j = 525. Is 3*(x/3)/5 composite?
False
Is 0 - (-2 + 0 - 289) composite?
True
Let w(m) = 13*m + 15. Suppose 3*p - 6 = 4*g, -3*g + 15 = 2*p - 2*g. Is w(p) a prime number?
False
Suppose 4*x = -2*x + 1194. Is x a prime number?
True
Suppose -40 = 2*g - 106. Is 7/(3/g*1) composite?
True
Suppose 0 = 5*t - 4*t - 83. Is t composite?
False
Is (-2)/11 + 844/44 prime?
True
Let c(h) = 134*h + 1. Let q be c(3). Suppose q = 5*w - 3*t, -t + 6 = 2. Is w composite?
False
Is (-486)/15*-53 - 12/60 composite?
True
Let x be (-2)/1 + -1 + 1. Let b(d) = -53*d. Let k be b(x). Suppose 2*v = -0*v + k. Is v composite?
False
Is (251/(-2))/(3/(-6)) prime?
True
Let q = 206 - 99. Suppose -q = -5*y + 48. Is y composite?
False
Let p(i) = i**3 - 2*i**2 + 2*i - 3. Is p(4) prime?
True
Suppose -2 = -m + 6. Let i = 38 + m. Is i prime?
False
Let x(b) = 57*b**3 - 3*b**2 - b - 3. Is x(4) prime?
True
Is 6/4*2936/12 composite?
False
Let z(c) be the second derivative of -3*c**5/10 + c**4/12 - c**2/2 + 2*c. Let b be z(1). Is 3/(b/(-22)) + -1 a prime number?
False
Let f = 0 - -2. Suppose 35 = -5*l - 5*p, f*l - 6*l + 4*p - 20 = 0. Let j(v) = v**3 + 5*v**2 - 7*v + 7. Is j(l) composite?
False
Suppose -x = 4*x - 95. Suppose -4 = 3*b - 3*g - 31, 5*b + 4*g - 9 = 0. Suppose 136 = 4*o - 4*f, -6 - x = -b*f. Is o prime?
False
Let y = -5 + 64. Is y composite?
False
Let u(m) = m**3 + 7*m**2 + 9*m + 4. Is u(-5) prime?
False
Suppose -89 = -a + 102. Is a a composite number?
False
Let m = -7 - -8. Let g be (m + -2)/((-1)/193). Let w = g - 126. Is w composite?
False
Suppose 3030 + 1277 = 4*t + s, 2*t - 2151 = -3*s. Is t prime?
False
Suppose 2*p = -5*s + 101, 0 = 2*p + s - 86 - 3. Is p a prime number?
True
Suppose 0 = 2*m + 3*m - 10. Is 24/(-1 - -2) + m a prime number?
False
Let a(j) = 5*j + 7. Let s be a(6). Suppose i = s + 40. Is i prime?
False
Is 53/(3 + -2 + 0) a prime number?
True
Suppose 130 = -t + 2*t. Suppose 5*i + 35 - t = 0. Is i composite?
False
Suppose -3*l - 2*l = -4*y - 862, 3*y = 4*l - 690. Suppose l + 42 = 3*j. Let h = j - 51. Is h a prime number?
False
Let n(g) = g**3 + 6*g**2 + 2*g. Let x be -1*3 + (4 - 4). Is n(x) composite?
True
Let m = 457 - 102. Is m a prime number?
False
Let y(q) = -q**3 - 5*q**2 - q - 3. Let v be y(-5). Suppose 0 = v*z - 111 - 63. Is z a prime number?
False
Suppose 0 = 4*d + 194 + 110. Let n = -39 - d. Is n a prime number?
True
Let x