 = 478 + -260. Is c composite?
True
Let f = 93 + -58. Is f prime?
False
Let m = 634 + -423. Is m prime?
True
Let l = 93 + -41. Suppose -l = -0*r - 2*r. Is r a prime number?
False
Suppose -265 = 9*a - 4*a. Let w be (-174)/(-4) - 1/(-2). Let g = w - a. Is g prime?
True
Suppose -2*f + 2822 = -3*h, 2*h + h = 4*f - 5632. Is f prime?
False
Suppose -h + 106 = 2*b + 4*h, 0 = 2*b + 4*h - 106. Is b composite?
False
Suppose 3*o = 12, 5*w - w + o - 32 = 0. Let u(v) = -v**3 + 7*v**2 + v - 5. Let y be u(w). Suppose y*p - 27 = -2*q - 1, 5*q = 5*p - 45. Is p composite?
False
Is ((-5)/2)/(7/(-182)) a prime number?
False
Let z = 14 - 20. Is -15*1/z*4 prime?
False
Suppose 3*y + 4*r = y - 26, -3*y - 39 = -3*r. Is -1 - -11 - (y - -10) a composite number?
False
Let d(p) be the first derivative of p**3/3 + 5*p**2/2 + 2*p + 3. Let j be d(-2). Is (-894)/j*(-4)/(-6) prime?
True
Suppose 4*f + 0 = 4. Suppose 2*g = -3*j + 2, 6 = 2*j + 5*g + f. Is j + 1/(-1) + 47 composite?
True
Let n be (-20)/(-6) - (-2)/(-6). Suppose n*z - 5*z = -154. Is z a prime number?
False
Let b(q) = 2*q - 1. Let u be b(1). Let o = -2 - u. Is 1*(11 - (o + 1)) composite?
False
Suppose 0*m = m. Suppose 15 = 5*i - 5*n, 5*n - n - 20 = m. Let h = -1 + i. Is h composite?
False
Is 8/6*(-6876)/(-48) prime?
True
Let c(t) = 2*t**3 + t**2 - t + 1. Let y be c(1). Suppose -4*j + 24 = -y*j. Let n = -5 + j. Is n a prime number?
True
Let r(m) = -3*m**3 + 6*m**2 + 12*m + 2. Is r(-5) composite?
False
Let z = -3 - -6. Suppose -3*w + 282 = z*m, -3*w = 5*m - 383 - 81. Is m prime?
False
Suppose 5*x - 8*x + 18 = 0. Is 278/(-4)*(4 - x) prime?
True
Let p(x) = 47*x - 3. Let c be p(3). Suppose -3*i - 4 - 14 = 2*v, 0 = -5*v + i - 28. Is c*(v/9 + 1) a composite number?
True
Let r be (12/10)/(1/670). Suppose -208 - r = -4*d. Is d prime?
False
Suppose 0 = -27*h + 29*h - 938. Is h composite?
True
Suppose 5 - 1 = -4*a. Let h(n) = -15*n**3 - n**2 - n. Is h(a) prime?
False
Let t(v) = v**2 + 4*v - 7. Let j be t(-5). Let u(q) = -2*q**3 - 2*q**2 + 3*q + 2. Let x be u(j). Is (310 + x)*(-1)/(-2) a prime number?
True
Let u be (-4)/(-3)*(-21)/(-14). Let v be (3 + 0)/(u/58). Suppose 4*w + 0*w = 3*c + v, -4*w = 3*c - 81. Is w composite?
True
Let y = 68 + 29. Is (y/(-2))/(6/(-84)) a composite number?
True
Let s = 1 + 1. Suppose 4*g + 0 = 24. Suppose 4*v - 29 = j, g*v + s*j = v + 33. Is v a composite number?
False
Suppose -2*w + 7 = -3*a, -2*w + w + 11 = -4*a. Is (5 - 2)*(-23)/a a composite number?
False
Suppose 4*o = 4*m, -o = -4*o + m + 10. Suppose o*q = -9 - 1. Is q + 26*2/4 composite?
False
Let g = 30 + -52. Let f = g - -55. Is f prime?
False
Suppose 4*k - 14 = -f, 0*k + 2*f = -k. Suppose 5*q = 0, k*n - n - 69 = -4*q. Is n composite?
False
Let c(f) = 16*f + 67. Is c(9) composite?
False
Let h = 10 + -15. Let k(f) = -32*f - 6. Let x be k(h). Let w = -108 + x. Is w a composite number?
True
Suppose 3*q = -0*q - 6. Is (-1)/(q - -1)*183 prime?
False
Let g(v) be the third derivative of 0*v + 2*v**2 + 1/6*v**3 + 0 + 3/2*v**4. Is g(1) prime?
True
Is (-16328)/(-28) - (-4)/(-28) prime?
False
Suppose 4*x + 2*p = 4*p - 28, 10 = -x + 2*p. Is (-2)/x + (-1666)/(-6) a composite number?
True
Suppose 2*p - 2*b = -p - 89, 0 = -b - 2. Let x = 102 + p. Is x a composite number?
False
Let o = -2 - -15. Let f = o - 9. Suppose -y = f*y - 175. Is y a composite number?
True
Is (10 + -6)*(-5596)/(-16) prime?
True
Let s be (4 - 2) + (-2 - -1). Let z(h) = 26*h**2 - 2*h + 1. Is z(s) prime?
False
Let b = 2 - 0. Let n(l) = 3*l - 1. Let y be n(b). Is y/3*132/4 prime?
False
Let q be -2 - (2/2 - 181). Suppose 0 = -2*v + 5*w - 1 + 15, -4 = -4*v - 2*w. Suppose -g - 356 = -6*r + v*r, -q = -2*r + 5*g. Is r a composite number?
False
Suppose -5 = -2*f + 5. Let r(m) = 16*m - 2. Let l be r(f). Suppose 2*n + 2*n = 4*c + 144, 2*n = -4*c + l. Is n a prime number?
True
Suppose -15 = -5*d + r - 6*r, 5*d - 5*r = 55. Suppose 4*p - 1 = 3*o, 2*p - o = 4*p + d. Is ((-1028)/(-8))/((-1)/p) a composite number?
False
Let u = 6 - -1. Suppose -2*v - u + 45 = 0. Is v a composite number?
False
Let v = 463 + -260. Is v prime?
False
Let i(z) = -4*z + 7. Let o(l) = -2*l + 3. Let g(a) = -2*i(a) + 5*o(a). Is g(-6) a prime number?
True
Suppose 4*s - 4*h - 752 = 0, 10*h - 9 = 7*h. Is s prime?
True
Suppose 2*d - 7*d = 0. Suppose -n + d*n = -335. Is n a prime number?
False
Is 1*((-91)/2 - -1)*-2 a composite number?
False
Let z(k) = -2*k - 11. Let d be z(14). Is 25142/d*(-3)/2 a prime number?
True
Let w(m) = 3*m**2 + 6*m + 11. Is w(8) a prime number?
True
Is 8/1*(-67)/(-4) prime?
False
Is 141408/60 + (-2 - 22/(-10)) a prime number?
True
Let m = -27 - -28. Is (-49)/(-5 - (m - 5)) composite?
True
Suppose 5*d - 51 - 214 = 0. Suppose j + 0 = d. Is j composite?
False
Let a = 42 - -69. Is a a composite number?
True
Let c(t) be the second derivative of 13*t**3/3 - 3*t**2/2 + 4*t. Is c(7) a composite number?
False
Suppose -4*s - 1500 = -s. Let o = 757 + s. Is o a composite number?
False
Suppose 2*z - 3*m - 8 = 0, -14 = 2*z - 3*z + 4*m. Is 43/2 - 1/z a composite number?
True
Suppose -1026 + 352 = -2*s. Is s a composite number?
False
Let r(z) = 126*z + 1. Suppose -l = 4 - 2. Let v be r(l). Let q = -174 - v. Is q composite?
True
Let n(z) = 12*z - 5. Is n(16) a composite number?
True
Suppose -3*f + 39 = -8*b + 3*b, -b - 2*f = 0. Is ((-2)/b)/(6/13518) a composite number?
False
Let b(x) = x + 21. Let i(m) = -m**2 - 4*m + 5. Let u be i(-5). Is b(u) prime?
False
Suppose -274 - 40 = -2*k. Is k a composite number?
False
Is (-2516)/(-16) + (-1)/4 composite?
False
Suppose -4*v + v + 1519 = 2*u, -2531 = -5*v - 3*u. Is v a composite number?
True
Suppose -z = -2*f - 149, z + z - 274 = -4*f. Is z composite?
True
Is -12 + 721 - (9 + -3) prime?
False
Let g(f) = 33*f + 5. Suppose -i - 1 = -3. Let r be (8*9/6)/i. Is g(r) composite?
True
Suppose 58*b - 63*b = -9070. Is b prime?
False
Suppose r - 3 = -u + 3, -r + 4*u = 14. Let k be 1/2*r*1. Is (k - 2)/(2/(-44)) a prime number?
False
Let u = 2812 - 1919. Suppose 4*y = 279 + u. Is y a composite number?
False
Let i(f) be the first derivative of f**3/3 + 5*f - 1. Let u(s) = -s**3 + 9*s**2 + 10*s + 4. Let y be u(10). Is i(y) a prime number?
False
Let w = 204 - 145. Is w prime?
True
Let x(s) = -s**3 - 3*s**2 - 3*s - 4. Let l be x(-3). Let p be (-3)/(-5) - 38/l. Let t = p - -17. Is t composite?
True
Suppose 2892 = 4*b - 4*w, -2*b - 2872 = -6*b - w. Is b composite?
False
Is ((-53)/(-4))/((-2)/(-8)) prime?
True
Suppose 886 = f + 5*x, 2748 = 5*f - 2*f - 3*x. Is f composite?
False
Is (-2)/5 - (-464)/10 prime?
False
Let s = -2 - -5. Is s/(6 - 3) - -76 composite?
True
Suppose -3*y - 17 = -5*r, r + y - 8 + 3 = 0. Is (4 - 32)*(-3)/r prime?
False
Let w(q) = 22*q**2 - 2*q - 1. Is w(-3) a prime number?
False
Let y(c) be the first derivative of -2*c**2 - 1/4*c**4 - 2 - 5*c - 7/3*c**3. Is y(-7) a prime number?
True
Suppose 3*i = -2*i - 405. Let b(y) = 5*y**2 - 3*y + 6. Let u be b(-7). Let m = u + i. Is m a composite number?
False
Let g(c) = c**2 + 5*c - 7. Let n be g(-7). Suppose -3*y + n*y = 20. Suppose -5*v = 5, -v + 61 = r - y. Is r prime?
True
Let f(q) = 2*q**2 - 5 - 2*q + 5*q - 2*q. Is f(-8) composite?
True
Suppose 1 = -2*u + 5. Suppose h + 2*x = -x + 16, u*h = 2*x + 64. Suppose c - h - 54 = 0. Is c prime?
False
Suppose 3*h - 2*i - 8863 = 0, 14740 = 5*h - 3*i + 6*i. Is h prime?
False
Let d(x) be the third derivative of x**5/30 - x**4/4 + x**3/2 + x**2. Let j = 34 - 26. Is d(j) composite?
False
Suppose -37 = -10*h + 9*h. Suppose -2*f - h = -459. Is f a prime number?
True
Let r(s) = s**2 - s - 4. Let q be r(4). Let o = 12 - q. Suppose -20 = -4*f, -2*u + o*f + 38 = -76. Is u a composite number?
False
Suppose q = 6*q - 1465. Is q a composite number?
False
Let i be (-1 + -7)/1 - -5. Suppose -2*m + 27 = 5*h - 0*h, -m = -4*h - 7. Is ((0 - i) + 4)*m composite?
True
Let h be 0 + -2 - (-21)/3. Let s = 2 - h. Is (-38)/(-3*(-2)/s) a prime number?
True
Let t = -2 + 4. Suppose -a = -0*n + n - 23, t*n + 5*a - 49 = 0. Is n a composite number?
True
Suppose 5*m + 759 = 2119. Let d = m - 183. Is d composite?
False
Let i(t) = -t - 1. Let v be i(-3). Is 4/v + 0 - -45 a composite number?
False
Suppose -5*m + 3*a - 70 = -0*a, -59 = 2*m + 5*a. Let c = m + -28. Is 18/15*c/(-6) a prime number?
False
Suppose 5*z - 96 = 249. Is 