t f = 27 + -58. Let h = f - 7. Is 5/((-5)/h) - 1 prime?
True
Suppose -4*z - 5*z + 172089 = 0. Is z prime?
True
Is (-7 - -6)/(3/(-1731)) prime?
True
Suppose 9260 = 5*w + 2*l + 866, 4*w - l - 6710 = 0. Is w a prime number?
False
Let q be 4/(-2)*(-261)/18. Suppose -226 = -3*v + q. Is v a composite number?
True
Let p = -6 + 8. Is (-1)/(((-2)/19)/p) prime?
True
Suppose 5*h + b + b = 5277, -h + 3*b = -1052. Is h composite?
True
Let u(g) = g**2 + 5*g + 4. Let x be ((3/1)/(-3))/1. Let j be -12*x/(-2)*1. Is u(j) a prime number?
False
Let n(s) = 2 + 0 - 1 + 76*s**2 + 36*s**2. Is n(1) prime?
True
Let v = -503 + 840. Is v composite?
False
Let o(a) = 11*a + 0 + a - a**2 - 7. Let v(z) = -z**2 - 10*z - 8. Let n be v(-8). Is o(n) a composite number?
True
Let c(d) = d**2 + 3*d - 1. Suppose -4*z + 1 = -11. Suppose -q - z - 6 = 0. Is c(q) a prime number?
True
Let p(x) be the third derivative of 19*x**4/4 - 7*x**3/6 + x**2. Is p(3) a prime number?
False
Suppose 5*v + 0*v - 35 = 0. Suppose 3 = u - 2*h + 6, 4*u = 3*h - v. Is ((-75)/(-12))/(u/(-4)) prime?
False
Suppose 0 = 3*b - b - 42. Is ((-15)/9 - -2)*b prime?
True
Suppose 6*c + 127 = 7*c. Is c composite?
False
Suppose 2*k - 380 = -2*k. Is k composite?
True
Let i = -8 + 11. Suppose 506 = -0*w + i*w - 2*r, -3*w + 491 = -5*r. Suppose -w = -3*q - q. Is q prime?
True
Let n be 6/(-1)*(-1)/2. Let u(q) = 4 + q**n - 3 - q + 10. Is u(0) prime?
True
Suppose -2*q - 177 = 4*j - 9*j, -5*q = 3*j - 131. Is j a composite number?
False
Suppose -r = 4*r - 195. Suppose -18 = -3*u + r. Is u a prime number?
True
Let b be 2/((-1)/(-386)*4). Suppose -3*p + b - 1 = 0. Suppose -229 = -3*c - p. Is c a composite number?
True
Let x(b) = b**3 + 11*b**2 + b + 1. Is x(-10) a prime number?
False
Let c = -118 + 171. Is c a composite number?
False
Suppose g = -3*y + 1, 0*y = 4*y. Let h(i) = -3*i - 2*i**2 - 5*i**3 - 3 - g + 3*i**2. Is h(-3) composite?
False
Let n be 3 - (-3)/6*-2. Let r = 0 + n. Suppose -y + r*w = -5*y + 156, y = -4*w + 39. Is y prime?
False
Let v = 56 - -24. Let n = 133 - v. Is n composite?
False
Suppose 4 = -w + 2*w. Suppose -3*r - w*t + 1146 = -t, 4*r = 3*t + 1500. Suppose 4*o - r = -2*k - 0*o, -k + 2*o = -193. Is k composite?
False
Suppose 4*v = 7*v - 1119. Is v a composite number?
False
Suppose 0 = 5*r - 15, 2*y + 0*r = -r - 11. Let q(z) = z + 11. Is q(y) a composite number?
True
Suppose 6 = -3*m + 4*m. Suppose -m = 2*x - 5*x. Let r(k) = 3*k**3 - 2*k**2 - k + 1. Is r(x) composite?
True
Suppose -528 = -4*m + 2328. Suppose -4*z + 0*b + 715 = 3*b, -4*z - 2*b = -m. Is z prime?
False
Let u = 5 - 3. Suppose 1 = -u*i + 7. Suppose -4*q = 5*z - 13 - 40, i = -q. Is z prime?
True
Let n(y) = 7*y. Let r(o) = -13*o - 1. Let d(z) = 5*n(z) + 3*r(z). Is d(-9) a prime number?
False
Suppose 0 = -5*q + 4*q + 17. Let c = 18 + q. Is c composite?
True
Let q(s) = 89*s**3 - s**2 + 1. Let h(i) = i. Let b be h(1). Let o be (2/4)/(b/2). Is q(o) a composite number?
False
Suppose 0 = 14*l - 10*l + 12. Let y(q) = 5*q**2 - 5*q - 2. Is y(l) a composite number?
True
Let c = 1 + 3. Suppose f = -f + c. Suppose 5*o + 2*b = 39, -1 = -f*b + 3. Is o a composite number?
False
Let r = -52 + 97. Suppose -o + 6*o = r. Is o composite?
True
Suppose 0 = -5*s + 2*s + 183. Suppose -2*p - 5*v = -12, 3*v = -0*p + 5*p - s. Is p a composite number?
False
Let n = 33 - 20. Is n composite?
False
Let f(j) = j**3 + 12*j**2 + 12*j + 3. Suppose -2*b = -b + 3*o + 1, 0 = 2*b - 4*o + 32. Is f(b) a prime number?
True
Suppose -2*x = -34 - 38. Let o = x - 21. Is o composite?
True
Let v = 2 + 1. Is ((-426)/(-1))/v + -3 prime?
True
Suppose 0 = -4*k - 2*k + 10362. Is k a prime number?
False
Suppose 5*t = 2*t. Suppose t - 2 = -w. Suppose 5*q - 5*d = 815, -w*q - q + d + 489 = 0. Is q composite?
False
Let j = -1407 + 2098. Is j a composite number?
False
Let d be (22 + -1)*1/1. Suppose 0 = -2*m + 7*m - 4*p + 35, -3*m - 2*p = d. Let r(k) = k**3 + 7*k**2 + 6. Is r(m) composite?
True
Let m(i) be the first derivative of i**5/15 + 5*i**4/24 + 4*i**3/3 - 4. Let p(s) be the third derivative of m(s). Is p(4) a composite number?
False
Is (-1630)/(-9) - 6/54 a composite number?
False
Suppose -5*l - 1908 = -2*k, 0*l - 2*l - 2*k - 766 = 0. Is ((-1)/(-2))/((-1)/l) composite?
False
Suppose 2*t + t = 21. Let g be ((-6)/t)/((-3)/21). Is 280/g + (-2)/(-6) prime?
True
Suppose 9 = -3*b, 2*b = -3*m - 3*b - 6. Let l be m*((-24)/(-9) - 3). Is l/((-3)/231) + -3 composite?
True
Suppose 6*s - 3*s = 1563. Is s a prime number?
True
Suppose 5*h - 555 = t, -341 = -3*h + 2*t - 3*t. Suppose 3*m = -m + h. Let d = 39 - m. Is d prime?
True
Suppose 0*n + q = -3*n + 12, 0 = n - q. Is 734/2 + n + 1 a composite number?
True
Let f(i) = -i**3 + 2*i**2 + 3. Is f(-6) a composite number?
True
Let n(v) = 3*v**2 - 4*v + 4. Let k(s) = s**3 + 6*s**2 + 5*s + 2. Let b be k(-4). Let h = b - 9. Is n(h) prime?
True
Let o(v) = v**3 + 36*v**2 - 26*v - 94. Is o(-29) composite?
False
Let i = -80 + 167. Is i a composite number?
True
Suppose -4*t + 10 = t. Suppose -33 = -t*b + l + 77, 4 = -l. Is b prime?
True
Let c be 168/(-20) - (-4)/10. Let v = -12 - c. Let g = v + 11. Is g a prime number?
True
Let m(h) = -h**2 + 5*h. Let a be m(4). Suppose q - 3*w + 8 = -0*w, -3*q - 5*w = -a. Is q/3 + 699/9 a prime number?
False
Let t be 296/(-36) - (-2)/9. Is 2331/15 + t/20 composite?
True
Let b = 38 - 23. Suppose -3*y - 3 - 10 = -g, -5*g + 10 = -4*y. Let v = b + g. Is v composite?
False
Suppose 3*z + 92 = 374. Suppose 0 = -n - 2*x + 69, n - 2*x - z = -9. Is n a composite number?
True
Suppose 0 = 13*h - 4*h - 22167. Is h a composite number?
True
Let u(d) = -d**2 - d - 1. Let f(b) = 3*b**2 - 5*b - 1. Let g be (-2)/((-3)/12*2). Let c(q) = g*u(q) + f(q). Is c(-6) a composite number?
False
Let a = 130 + 9. Is 1 + a + 39/13 a composite number?
True
Suppose 4*w - 556 = 6*w. Let z = w + 417. Is z a composite number?
False
Suppose -3*l = -5*l - 30. Suppose -2*t + 23 = 7. Is (l/(-10))/(2/t) a composite number?
True
Is (1/(-2))/((-45)/(-30))*-1623 composite?
False
Let g(o) = o**3 - 9*o**2 - 9*o - 12. Let n be g(10). Let q = n + -2. Is 1/2 - 130/q composite?
True
Is (-467)/(-2)*(-8)/(-4) a composite number?
False
Let t(w) = 3*w - 7. Let p be t(5). Let x = p - 3. Suppose -x*l + 2*l = -222. Is l prime?
False
Let h = 779 - 398. Is h a composite number?
True
Let c(b) = -13*b + 2333. Is c(0) composite?
False
Let u(j) = -33*j - 5. Let d = 10 + -14. Is u(d) prime?
True
Let o be -3 - (-2)/6*0. Let s(b) = -4*b**3 - 3*b**2 + b + 3. Let c be s(o). Suppose n = -n + 6, -n = -4*a + c. Is a a prime number?
False
Let r(k) = k**2 + 5*k + 4. Let v be r(-4). Let c be v/((-2)/((-6)/3)). Let y(f) = f**3 - f**2 + 97. Is y(c) a composite number?
False
Is 188 + 6/(-9)*12/8 composite?
True
Let k be -10*-1*(-1)/1. Let x = k - 141. Let z = -66 - x. Is z prime?
False
Let c = 539 + -142. Is c prime?
True
Let j = 1647 - -406. Is j a prime number?
True
Let j = -7 - -30. Is j a composite number?
False
Let g(r) be the first derivative of -2*r + 5*r + 2 + 4*r**2 + 2*r. Is g(4) a prime number?
True
Suppose 4*j = 2*j + 8. Suppose -3*h + j*h = 79. Is h composite?
False
Let a(v) = -4*v - 6. Is a(-13) composite?
True
Suppose -y = -409 - 550. Is y composite?
True
Let r = 15 + -12. Suppose -7*p + 2*p + 115 = 0. Suppose 5*c + 4*o - 159 = 0, 0 = c + r*o - p. Is c a prime number?
False
Suppose -o + 1649 = 4*o + 3*w, w = 5*o - 1657. Is o prime?
True
Let h be ((-60)/(-8))/(2/4). Let o = 10 + h. Is o a prime number?
False
Suppose -136 = 5*i - 3*g, -96 = 3*i + 4*g - g. Let l = -10 - i. Is l prime?
True
Suppose -2*m + f - 5*f = -984, -4*m + 1923 = -f. Is m a prime number?
False
Let g(j) = 8*j**3 + j**2. Let p be g(1). Let m be 2/((-6)/p)*-1. Suppose 0*n = -m*n + 165. Is n composite?
True
Suppose -249 = 33*n - 36*n. Is n a prime number?
True
Let g(n) = -10*n. Let l = 4 - 1. Let h be -3 - (l + -7 + 2). Is g(h) composite?
True
Let j(z) be the first derivative of z**4/4 - 8*z**3/3 + 3*z - 3. Let p be j(8). Let m = 10 - p. Is m a prime number?
True
Let i(z) = -z**3 - 5*z**2 - z - 2. Let r be i(-5). Let t = -5 + r. Is 57/9 - t/(-6) composite?
True
Let a = 6617 + -3718. Is a a prime number?
False
Let o(n) = -n**3 + 7*n**2 - n + 5. Let j be o(8). Let p = 116 + j. Is p a prime number?
False
Suppose -2*h - 3*h = -1030. Suppose -28