= 12 + -17. Is (-157)/m + (-4)/10 prime?
True
Suppose -s = 12 - 139. Is s prime?
True
Suppose 436 + 290 = 2*s. Let j = -184 + s. Is j a prime number?
True
Suppose 5*x - 3*u + 14 = 49, 4*u + 40 = 5*x. Suppose 364 = 4*a + x*y, a - 61 = 2*y + 24. Is a a prime number?
True
Let t = 109 - 39. Let l be -1*(-3)/(9/15). Suppose t = l*k - 25. Is k a prime number?
True
Suppose 5*d - 34 = 81. Let f = 510 - d. Is f composite?
False
Suppose -3*p + 6*p - 15 = 0. Suppose 2*z + 3*y + 99 = 0, 3*z - 69 = p*z - 3*y. Let o = z - -73. Is o prime?
True
Let j(p) = 19*p - 10. Let w be (-4)/6 + 34/6. Is j(w) a prime number?
False
Let p be 6/2*(-6)/9. Is p*1*31/(-2) a prime number?
True
Suppose -5015 = 4*y - 9*y. Is y a prime number?
False
Let n = 142 + -119. Is n composite?
False
Let d(t) = 7*t**2 + 2*t - 2*t**2 - 2*t**2 - 1. Let i be d(1). Suppose 0 = 5*v - 3*o - 94 - 87, i*o - 12 = 0. Is v prime?
False
Let i(s) = -s - 1. Let n be i(-4). Let p(q) = -q**3 - 5*q**2 + 2*q + q + 3*q**3 + 1. Is p(n) a composite number?
False
Let w(j) = 2*j**2 - 13*j - 4. Is w(-5) composite?
True
Let g be 12/(-42) - (-46)/14. Let o be 172 + -3 + g + 0. Let c = -53 + o. Is c prime?
False
Let l(v) = v**3 + 7*v**2 + 5. Let g be l(-7). Suppose -2*y - 2*q - q = -431, -3*q = -g*y + 1046. Is y composite?
False
Let d(t) = -2*t + 10. Let a(c) = c. Let k(z) = -4*a(z) - d(z). Let j be k(-7). Is (-4)/2*(-70)/j a prime number?
False
Let a(h) = -3*h**2 - h + 2. Let u be a(-7). Let s = -98 - u. Suppose 2*t - s = -2*t. Is t a composite number?
True
Let t be 0 + 4 + 10/(-5). Let k(l) = 4*l - 4*l - t + 8*l + 2*l - l**2. Is k(7) composite?
False
Suppose 0 = 10*k - 6*k - 36460. Is k a composite number?
True
Suppose 0 = 5*k - 4*n - 6609, 2*k = -0*n + 4*n + 2646. Suppose -y - 992 = -3*q, -3*y = -2*q - 2*q + k. Is q a prime number?
True
Let n(a) = a**2 - 15*a - 15. Is n(-19) a composite number?
False
Suppose -2*f = -0*f - 60. Let x = -15 + f. Is x composite?
True
Let n = -106 + 28. Let q = n - -137. Is q a prime number?
True
Let k = 314 + -209. Suppose 4*j - 271 = k. Is j composite?
True
Let j(q) = -6*q - 7. Is j(-16) prime?
True
Is (14/21)/((-4)/(-138)) prime?
True
Let n be 1 - ((-3)/3 + 2). Suppose -4*h - 182 = u - h, n = 4*h. Is u/(-8) + 3/12 composite?
False
Suppose 2*s + 1865 = 7*s. Is s composite?
False
Suppose -3*t - 3*a - 24 + 204 = 0, 4*a - 20 = 0. Suppose 0 = 2*b - 5*b - f + 50, 2*b - t = -5*f. Is b prime?
False
Is 13 - 11 - (-485 - 0) a prime number?
True
Let f(s) be the first derivative of -259*s**2/2 + 10*s + 2. Is f(-3) a prime number?
True
Let l be (8*-1 - 1) + -3. Is (-40)/l*42/4 a prime number?
False
Let t(h) = -5*h - 2. Let a be t(-4). Let i be 2/10 + a/10. Is i + (15 - (-4 + 2)) a prime number?
True
Let m(u) = -u**3 + 8*u**2 - 4*u + 1. Let p = 6 - 0. Is m(p) a prime number?
False
Suppose 4*q - 2*i = 3*i - 37, -10 = q - i. Let x = -8 - q. Let a = 26 - x. Is a prime?
False
Suppose -72*c = -70*c - 3814. Is c composite?
False
Suppose 2*d - 2705 = -3*d. Is d prime?
True
Let v(a) = 0 + 1 - 13*a - 4. Let p = -5 - -3. Is v(p) prime?
True
Suppose -5*t + 6 = -5*u + 4*u, -5 = -2*t + 3*u. Let w = -10 + t. Is (w - -359) + 6/2 a prime number?
True
Let x(l) = -17*l + 5. Let n(z) = -7*z + 4. Let r(w) = -w + 1. Let j(y) = n(y) - 3*r(y). Let i(s) = 9*j(s) - 2*x(s). Is i(-7) a prime number?
True
Suppose 2*q = 4*q - 50. Is q a composite number?
True
Suppose k = 4*z - 4725, -z + 2*k = -186 - 997. Is z a prime number?
True
Suppose 3*p + 5 - 11 = 0. Suppose l - 82 = 2*y, p*l - 16 - 148 = 2*y. Is l prime?
False
Let z(c) be the third derivative of c**5/60 - c**4/4 + c**3 + 2*c**2. Let v be z(4). Is v/(-4) - 162/(-12) a composite number?
True
Suppose w + 5 = 6*l - l, 3*w - 2*l + 15 = 0. Let j = 0 - w. Suppose j = h, r - 5*h - 37 = -9. Is r a composite number?
False
Let o be (118 + -1)*3 + -3. Suppose 2*q - 3*h - 354 = -3*q, h = 5*q - o. Is q a composite number?
True
Suppose -2*a + n + 959 = 0, 7*n = -5*a + 11*n + 2393. Is a composite?
True
Let l = 19 + -10. Let b be -3 - (l/3 - -117). Let k = -52 - b. Is k prime?
True
Let b = 7 - -17. Let v = b + 13. Is v prime?
True
Let v(i) = 25*i + 7. Let g be v(-3). Let z = g - -147. Is z composite?
False
Suppose -41321 = -27*o + 34792. Is o composite?
False
Suppose 10*p = 3*p + 98665. Is p composite?
True
Let v(k) = -k**3 + 4*k**2 + 3*k - 2. Let t be v(4). Suppose -12*n + 44 = -t*n. Is n prime?
False
Is 3768/18 - 1/3 a prime number?
False
Let g(v) = -2*v**2 + v. Let k be g(-1). Is (-2)/(k + (-14)/(-6)) prime?
True
Suppose -21 + 25 = 2*y. Suppose y*t - 52 = 10. Is t a prime number?
True
Let c(l) = 75*l**2 + l - 1. Let w be c(1). Let k = 121 - w. Is k composite?
True
Let t(m) = -m**3 - m - 3. Is t(-7) a prime number?
True
Let c be (-71 - (-3 - -3)) + 2. Let r be 46/(c/(-21) + -3). Let p = r - 94. Is p composite?
False
Let f be (4 - 0)/(3 + -2). Suppose 0*a - 577 = -5*k + f*a, a - 119 = -k. Let o = k + -82. Is o a prime number?
False
Suppose -m = -22 - 11. Is m composite?
True
Let c = 6 + -1. Let n(j) be the second derivative of 4*j**3 - j**2/2 + 2*j. Is n(c) a composite number?
True
Suppose -3*o + 35 = -118. Is o a composite number?
True
Suppose p + 2 = 4. Let z(d) = d + 1. Is z(p) a prime number?
True
Suppose -2*b - 5*w - 669 = b, 3*b = -3*w - 663. Let y = b - -309. Is y a prime number?
False
Let y(x) = -4*x - 1. Is y(-6) composite?
False
Let i(f) = f + 6. Let j be i(-6). Suppose -5*n + 4*n + 14 = j. Is n prime?
False
Is -3 - -337 - (-6)/(-2) prime?
True
Let r(p) = 2*p - p - 1 + 2*p**2 + 0*p**2. Is r(-6) prime?
False
Let y(l) be the first derivative of l**2 + 2. Let j be y(2). Suppose -j*c + 30 = -310. Is c prime?
False
Let x = 1203 + 96. Is x composite?
True
Let u(b) be the third derivative of b**6/72 + b**5/24 + b**4/6 + b**3/2 - b**2. Let l(d) be the first derivative of u(d). Is l(-3) composite?
True
Let h be ((-5)/(-2)*-6)/(-1). Let q(b) = -12*b - h*b + b. Is q(-1) composite?
True
Let a(h) = 16*h**2 - h - 3. Is a(-4) composite?
False
Let m = -397 + 799. Is m*4/8 + -2 a prime number?
True
Let w(v) = -v + 291. Let i be w(0). Suppose 2*s - 528 = -5*y + i, -5*s - 642 = -4*y. Is y a composite number?
False
Suppose -3*a = -4*x + 1347, 5*x = a + a + 1689. Is x composite?
True
Suppose w - 1488 = -5*m + 3*m, -2*w + 741 = m. Is m prime?
False
Let v = -2175 - -3584. Is v a composite number?
False
Let y(z) = z - z + z + 12 - 1. Let k be y(-9). Suppose k*l - 23 = -3. Is l a composite number?
True
Let v(b) = -177*b + 2. Is v(-11) a composite number?
False
Let d = 8 - 3. Suppose -k = -5*o + 33, -4*o + d*k + 26 = 8. Is o prime?
True
Let r(l) = l**3 + 13*l**2 + 6*l + 7. Let b = 5 - 16. Is r(b) prime?
False
Let f be 1170/4*(-3 + 1). Let o = f + 922. Is o prime?
True
Let m(l) = l**2 - 3*l - 4. Let h be m(-6). Let z = 1 + -18. Let x = z + h. Is x a composite number?
True
Let l(v) = 0 + 7*v - 4 + 6*v + 5. Is l(4) a composite number?
False
Suppose -6*z = -4*z - 6. Suppose -2*r - 2*q - 2 = -112, 0 = -2*r + z*q + 125. Is r a composite number?
True
Suppose 0 = 4*v - 2*d - 22, -d = -5*v - 0*d + 23. Suppose -p + v*p = -3*c + 261, -c = -5*p - 57. Is c prime?
False
Let s(r) = -r**3 + 8*r**2 - r + 1. Is s(5) a prime number?
True
Let q be (-4)/14 + 30/7. Suppose -q*c - 4 + 12 = 0. Suppose -66 = c*t - 4*t. Is t composite?
True
Suppose 0 = -4*b - 4*x + 8848, 1158 = b + 3*x - 1052. Is b a prime number?
True
Let b(j) = -j + 14. Let s be b(-9). Let z = 11 - -47. Let f = z - s. Is f composite?
True
Let d = -184 + 18. Let g = -69 - d. Is g a composite number?
False
Let m(o) = o - 2. Let p be m(4). Is (-127)/(-1 + p)*-1 prime?
True
Let a = 63 + -13. Let y = 215 + a. Is y a prime number?
False
Is ((-194)/4)/(-2 - 67/(-34)) a composite number?
True
Suppose 15 = 4*y - 13. Suppose 0 = -j - 0*j + y. Is j composite?
False
Suppose 3*w + 3*s - 435 = 0, -40 = -3*w + 5*s + 395. Is w a composite number?
True
Let f(k) = 15*k**2 + 5*k - 5. Let r(t) = 30*t**2 + 9*t - 9. Let c(j) = -5*f(j) + 3*r(j). Is c(-3) a prime number?
True
Let h(o) = -682*o**3 - o. Is h(-1) composite?
False
Suppose d - 3*d = -14. Let q(s) = s**2 - 6*s - 5. Let m be q(d). Is (1/m)/((-1)/(-62)) a prime number?
True
Suppose 3*i = -3*s + 3 - 9, -5*i - 14 = s. Let w(z) = -66*z + 5. Is w(i) prime?
False
Suppose -1 - 19 = -2*g. Suppose a = 3*a - g. Suppose 0*f 