 -76. Suppose -z - 305 = 4*z. Let n = v - z. Is n prime?
True
Let p(u) = u**2 + 10*u + 3. Let q be p(-10). Suppose q*b = 4*b. Is 1/(-3)*b - -95 a composite number?
True
Suppose 4 = -3*s - 2. Let m(n) = 32*n - 11. Let g(q) = 16*q - 5. Let d(a) = s*m(a) + 5*g(a). Is d(5) composite?
True
Let a = -6 + 9. Let y(u) = 66*u**3 + 2*u**2 + 1 - 4*u - 35*u**3 + 101*u**a + 2*u. Is y(1) a composite number?
True
Suppose 0 = -4*o - 16, -2*b = 3*o - 0*o + 8. Suppose -5*c = -b*c - 1335. Is c composite?
True
Let z be ((-9)/(-3))/(-2 - -1). Let b(t) = 3*t**3 - t**2 + 2*t + 3. Let v be b(z). Let h = v + 160. Is h composite?
False
Let n be (2 - -2)*5/5. Suppose -382 = -t - 3*h, 0 = -2*h + 2 + n. Is t a composite number?
False
Let m(n) = -34*n + 7. Is m(-4) a composite number?
True
Is (-1 + (-12)/2)/(-1) a prime number?
True
Suppose 0 = -3*y - 8 - 1. Let b = 6 + y. Is ((-14)/b)/(3/(-9)) prime?
False
Let r(a) = a - 4. Let l be r(4). Suppose l = -2*c - 34 - 632. Is (-4)/(-6)*c/(-6) a prime number?
True
Let y be 4/(-6) - 4/(-6). Let b be -25 + 1*(-6)/(-3). Let l = y - b. Is l prime?
True
Suppose -143 = 7*o - 2516. Is o prime?
False
Suppose 0 = 2*d + 1 + 37. Let h = d - -96. Is h composite?
True
Is 308/(-2)*4/(-8) prime?
False
Let p(g) = -2*g**3 + 8*g**2 + 4*g - 1. Let z be p(-5). Suppose -u + z = 2*u. Is u a composite number?
True
Let h = -1547 - -2205. Let v = h + -447. Is v prime?
True
Suppose -4*l + 3*l = -5*h + 17, 2*h + 38 = -l. Let y = l - -75. Is y prime?
True
Let g be -3 - (1635/3 + 2). Let r = g + 803. Is r prime?
False
Suppose 2*u = -5*l + 1072, l + 2160 = 4*u + 3*l. Is u a prime number?
True
Suppose 7*h - 1045 = 2*h. Is h prime?
False
Suppose v - 144 = 371. Is v composite?
True
Let w(p) = 4*p + 1. Let r be w(1). Suppose -r*y - 5 = 0, 4*l - 2*y + y = 3413. Is l composite?
False
Suppose -5*t - 2*s + 12865 = 0, -7*s + 8*s = 0. Is t composite?
True
Let q(m) = m**3 - 2*m**2 - 2*m. Let d be q(4). Let z = d + -44. Is (-372)/z + (-4)/(-10) composite?
False
Let j(i) = i**2 + 2*i - 4. Let s be j(-3). Let w(b) = -79*b - 1. Let t be w(s). Suppose -4*f + 0 + 60 = d, -5*f = 2*d - t. Is f composite?
True
Suppose 3*y - 1552 = -5*f, -5*y = -2*y - 4*f - 1588. Suppose -i + 85 = -2*n, -y = -5*i + 2*n - 131. Is i prime?
False
Let u = 60 - 106. Let k = u + 116. Let n = -8 + k. Is n prime?
False
Suppose 0 = 4*y + g - 2518, -y = y - 5*g - 1248. Is y prime?
False
Suppose -s = s - 2746. Suppose 2004 = 4*a - 4*x, 5*a - s = 4*x + 1130. Is a a composite number?
False
Let f be 1*6*(-1)/(-3). Let x be ((-5)/f)/(2/(-4)). Suppose 0*o - 5*o - 5*k + 90 = 0, 97 = x*o - 2*k. Is o a prime number?
True
Let b = 3453 - 1292. Is b a prime number?
True
Let m = 56 + -6. Suppose -3*o = -5*n + 21, -2*o = 2*n - 0 - 2. Suppose n*p - m - 16 = 0. Is p a composite number?
True
Suppose -2*a - 3*a + 125 = 0. Let g be (60/a)/((-2)/(-10)). Is (-4)/(g/15)*-7 prime?
False
Let g = -683 - -2392. Is g a prime number?
True
Suppose 3*s + 98 = 5*u, -5*s = 3*u + 2 - 54. Is u composite?
False
Let k = -1669 - -2388. Is k a composite number?
False
Let m = -3626 + 6195. Is m a prime number?
False
Let l(s) = s**2 + 4*s - 7. Let i be (-24 - 1)/(-3 + 2). Suppose i = 5*w - 5. Is l(w) a prime number?
True
Let f = 9 + -5. Suppose -t = 2*t - 15. Suppose 3*w = -t*z + 558, f*z = w - 189 - 14. Is w a prime number?
True
Is (6/(-18))/(1/(-4497)) a composite number?
False
Is 0 + 2895/7 + (-16)/28 a composite number?
True
Let h(z) = z**2 - 1. Let l be h(-1). Suppose 4*f + 39 = 5*f - 4*g, -4*f + g + 156 = l. Let c = f + -20. Is c composite?
False
Suppose -5*y = -0*y - 2230. Is y a composite number?
True
Suppose 0*t + t + 666 = 3*a, 3*a - 4*t - 657 = 0. Is a composite?
False
Suppose -4 = -3*n + 8. Let h be (8/4)/(n/(-6)). Is (27/6)/h*-2 a prime number?
True
Let q(d) = 47*d**3 - d**2 - 2*d + 2. Is q(1) prime?
False
Suppose -j - 3*i + 2*i + 5 = 0, 0 = 5*j + 2*i - 34. Is (-310)/(-4) - 4/j a prime number?
False
Let o(i) = 4*i - 2. Suppose 4*x = -x + 5. Let y be x + 0 + (1 - -4). Is o(y) a prime number?
False
Suppose 0 = -2*p - 2*p. Suppose i + 3*a - 22 = 0, p = -5*i - a + 3*a + 127. Is i prime?
False
Suppose 0 = -5*l + 2*l + 27. Let h = 10 + l. Is h a prime number?
True
Let l(q) = q**2 - 10*q + 8. Let z be l(9). Is (3545/15)/(z/(-3)) composite?
False
Suppose -2*f + 3*d + 4577 = 0, -2301 = -2*f + f + 4*d. Is f a prime number?
True
Suppose -7*o = 6234 - 17147. Is o composite?
False
Let j = -126 + 183. Let c = 124 - j. Is c composite?
False
Let g = -38 + 84. Is g prime?
False
Suppose x - 5*f - 204 = 0, -4*x - 5*f + 881 = 90. Suppose -191 = -2*q + 2*p + 177, -q + 4*p = -x. Is q a prime number?
True
Let m be -2 - (0 + 3)*-1. Is m + (-11)/(11/(-78)) a prime number?
True
Let d(a) = -a**2 + 6*a. Let c be d(6). Let b(y) = -2 + 10*y - 7 + c. Is b(6) a composite number?
True
Is 4 - (1255 - 0)*-1 a prime number?
True
Let u(y) = -y**3 + 6*y**2 - 5*y - 2. Let g be u(5). Is g/(-6) + (-7210)/(-15) composite?
True
Let l = -768 + 1565. Is l a composite number?
False
Let c = -743 + 1582. Is c prime?
True
Let m = 301 - 123. Is m composite?
True
Suppose -1806 = -4*k + 1342. Is k a prime number?
True
Let l be 1 + 48/(-1 - 1). Let o be ((-4)/(-3) - 0)/((-1)/3). Is (l/o)/(8/160) a prime number?
False
Suppose -6*a + 2*a + 2*u + 12506 = 0, -u - 3126 = -a. Is a a prime number?
False
Let n(s) = -2 - 32*s - 13*s - 2. Is n(-3) a composite number?
False
Let d = 2 + 125. Is d a composite number?
False
Suppose -4*v = 16, i - 253 - 662 = -v. Is i a composite number?
False
Let i(j) = 2*j + 6. Let k be i(-11). Let d(y) = -58*y + 5. Is d(k) a composite number?
True
Let j(n) = 3*n**2 - 1. Let d be j(-1). Suppose -d*t = 5*q + 3*t - 580, -5*q + 4*t + 589 = 0. Suppose -q = -0*i - 3*i. Is i a prime number?
False
Suppose -3*l - 2259 = -6*l. Is l composite?
True
Let u = -2137 - -3092. Is u a composite number?
True
Suppose 4*y + 0 = -4*u - 4, 2*u + 3*y = -6. Suppose 12 = 4*x, 0*l - x = u*l - 162. Is l a composite number?
False
Let n(u) = u**2 + 3*u - 2. Let r(y) = y**2 + 5*y. Let h be r(-6). Let p be n(h). Suppose 2*o - 42 = p. Is o a composite number?
False
Suppose -3*c = -4*f - 16, -6 = -c + 4*f - 2*f. Suppose 20 = 5*l - 2*o, -l + 2*o + c = -2*o. Is ((-42)/l - -3)*-2 a composite number?
True
Let a(k) = k - 3. Let t(l) = -l**2 - 7*l. Let n be t(-6). Let r be a(n). Suppose 0 = -v - 0*v - 5*g + 21, 0 = r*v + g - 77. Is v composite?
True
Is ((-3 - -2) + 1088)/1 a composite number?
False
Let y(a) be the second derivative of -a**5/20 - 7*a**4/12 - a**3 + 5*a**2/2 + a. Let c be y(-6). Suppose 77 + 108 = c*t. Is t composite?
False
Let s(z) = -7*z + 13. Suppose 4*j + 5*f = 2*j + 39, 4*f = j. Let t(l) = 18*l - 32. Let v(h) = j*s(h) + 5*t(h). Is v(3) a prime number?
False
Let v be (-2)/(-7) - 33/(-7). Suppose b = -3*h + 21, 3*b = 4*b + 5*h - 15. Suppose v*g - 100 = b. Is g a prime number?
False
Let d(g) = 16*g + 17. Is d(5) a prime number?
True
Let b(d) = 6*d**2 - 2*d - 2. Let k = -4 + 7. Is b(k) prime?
False
Let k(i) = -4*i + 2. Let b be k(-1). Suppose -t + b*t = 70. Is t a composite number?
True
Let c = 1 - -1. Suppose 230 = -2*l + 4*x, 0 = -5*l + c*l - 3*x - 354. Let i = 196 + l. Is i a composite number?
False
Suppose 0 = 2*l - 3*l + 11. Let r = 15 - l. Is 11*2*22/r composite?
True
Let q(v) be the third derivative of v**4/12 - 2*v**3/3 - v**2. Let u be q(4). Is (-2)/u + (-510)/(-4) a prime number?
True
Let g = 366 - 79. Is g a prime number?
False
Let a be (2/4)/(4/11656). Let d(r) = -947*r + 1. Let c be d(-1). Let i = a - c. Is i a composite number?
False
Is -15*-107*(-1 + (-12)/(-9)) composite?
True
Suppose 5*y - l = l + 14511, 3*y - 3*l = 8703. Is y composite?
False
Suppose 0 = -5*q + 23443 - 1778. Is q prime?
False
Is ((-1180)/(-8))/(1/2) a prime number?
False
Let m(x) = -x**3 + 6*x**2 + 5*x + 3. Let b(h) = 3*h**2. Let i be b(-2). Suppose -i = 4*z - 7*z. Is m(z) composite?
True
Suppose 0 = -n - 57 + 248. Is n a prime number?
True
Let z = 158 + 75. Is z prime?
True
Let v(a) = 271*a + 6. Is v(5) a prime number?
True
Let t(y) = -y - 3. Let n(v) = -1. Let r(a) = n(a) - t(a). Let s be r(0). Suppose -j = -s*f - f - 42, -2*j = 4*f - 74. Is j a composite number?
True
Suppose 0 = j - 0 - 14. Is j - -1 - (-3 - -4) a prime number?
False
Let r(t) = -t + 201. Suppose 4*l - 5*l = 0. Let c be r(l). Is