 + 19 = 58, 3*u = n*q - 57. Is q prime?
False
Let u = 57 - -533. Let m be u/18 - (-4)/18. Is 2*m/1 + 1 a composite number?
False
Let g(h) be the second derivative of -h**5/20 + 7*h**4/12 + h**3 + 5*h**2/2 + 4*h. Is g(5) composite?
True
Let l = -14 - -133. Is l composite?
True
Suppose -3*v - 12*v + 4005 = 0. Is v a composite number?
True
Let s = 32 - -127. Suppose -3*l - 139 + 28 = -2*p, s = 3*p - 2*l. Is p a composite number?
True
Let d = -4 + 9. Let q = d + -1. Suppose 20 = -4*r, -5*r = q*f - f - 170. Is f a prime number?
False
Suppose -v + 2*g - 2 = -1, 0 = -2*g - 8. Let x = v - -15. Is ((-110)/6)/((-2)/x) composite?
True
Let v(x) = -83*x**3 + x**2 - x + 1. Is v(-2) a prime number?
False
Let c be (-3656)/(-28) + 4/(-7). Let r = c + 15. Is r prime?
False
Is 34 - ((-6)/21 + 76/(-28)) a composite number?
False
Is ((-158)/2)/((-2)/6) composite?
True
Is ((-88)/(-32))/((-1)/(-692)) composite?
True
Suppose 0 = -3*o - 0*o - 6. Is (-1482)/(-8) - o/(-8) prime?
False
Let c(z) = 18*z**2 - 12*z + 9. Is c(4) prime?
False
Suppose -s + 1 = -g - 0*g, 3*g = 2*s - 1. Suppose l + w - 46 = -2*w, -2*l + 2*w = -124. Suppose -l + 236 = s*t. Is t a composite number?
False
Let w be (-1)/(-6)*2*12. Is w/8 - (-77)/2 a composite number?
True
Suppose -u = -0*u - 3516. Is u/(-8)*2/(-3) composite?
False
Let u(z) = 140*z**2 - z + 2. Suppose 2*n - 2 = -0. Is u(n) composite?
True
Let s be (-3)/18*-2*6. Suppose -5 = -l + s. Is l prime?
True
Let f(i) = -i**3 - 2*i**2 - 4*i - 3. Let a be f(-6). Suppose 2*g - 4*c - 45 = a, 4*c + 111 = g. Suppose -4 = m - g. Is m a prime number?
False
Suppose -7*g + 3*g - h - 4 = 0, 0 = -g - 2*h - 8. Suppose g = -c - c + 430. Is c composite?
True
Let i = -4 + 8. Suppose -i*w = -0*w - 156. Is w composite?
True
Let c(a) = a**2 - 14*a + 9. Is c(14) composite?
True
Let q(t) = -93*t**3 + 3*t**2 + 5*t - 4. Let m(s) = 185*s**3 - 7*s**2 - 11*s + 9. Let l(i) = -4*m(i) - 9*q(i). Is l(1) a composite number?
False
Let b(z) = 3 + 6*z - 2*z**2 - z**2 - z + 4*z**2. Is b(-5) a prime number?
True
Let h be ((-24)/10)/((-2)/15). Let q(s) = -s. Let m be q(-3). Suppose -h + 51 = m*j. Is j a prime number?
True
Suppose -3*u + 6 = 0, 2*y - 151 = -3*u + 391. Suppose v - 4*d - y = -d, d = -1. Suppose 3*s - 8*s - 3*x + 403 = 0, 3*s - 4*x - v = 0. Is s prime?
True
Let v = 1999 + -405. Suppose 4*a - 6*a = -v. Suppose 4*g = -3*m + a, -3*g - 2*m = -0*m - 599. Is g prime?
False
Suppose 4*r - r = 3*h - 2136, -20 = 4*r. Is h a prime number?
False
Let k(u) = -u**3 - u + 1381. Let l be k(0). Let p be (-2)/7 + l/7. Suppose 0 = -5*q - 4*d + p, 3*q = 5*q + 2*d - 80. Is q prime?
True
Let c = 6207 - 3970. Is c prime?
True
Suppose 5*h + 1360 + 3070 = -5*q, -2*h = 4*q + 3542. Let z = -250 - q. Is z a prime number?
False
Let b = 346 + 550. Let l = -523 + b. Is l a composite number?
False
Let i be -3 - (-544 + 4 + -1). Suppose 2*z + 32 = i. Is z a prime number?
False
Let g be ((-6)/(-9))/(2/15). Suppose -v = -0*v - 4*h - 29, 0 = -2*v + g*h + 46. Is v composite?
False
Is (-51*(-28)/6)/2 a composite number?
True
Suppose -2*m - 4*m = -498. Is m a composite number?
False
Let o(u) = -u**3 + 8*u**2 - 3*u + 7. Is o(4) a composite number?
False
Let a = 133 - 31. Let m = -20 - -85. Let f = a - m. Is f a prime number?
True
Suppose 0 = -2*h - 8, -2*t + 5*h + 194 = t. Is t a prime number?
False
Let w = 7 - 13. Let b = 18 + -21. Is 19/b*(w + 3) a prime number?
True
Let g(t) = -83*t - 7. Let r(w) = -84*w - 7. Let q(k) = -4*g(k) + 5*r(k). Is q(-3) composite?
False
Let a(y) = -72*y - 3. Suppose z = -m - 7, -5*m = -m - 3*z. Is a(m) prime?
False
Let s = -65 - -42. Let y = s - -144. Is y prime?
False
Let v(d) be the second derivative of -1/2*d**2 + 3*d + 0 + 19/6*d**4 - 1/6*d**3. Is v(2) prime?
True
Let u(y) = 57*y - 12. Is u(3) a composite number?
True
Suppose 8*v - 3*v = -4*l + 5123, -4105 = -4*v - l. Is v composite?
True
Let q(t) = -t - 2. Let x be q(-4). Let v(w) = -10*w + 4*w**x - 3 + 2 - 8 - 2*w**2. Is v(10) a prime number?
False
Let f be 22 - (-2 - -2 - -2). Suppose 2*i + 4*d - 2*d = -f, 0 = i - d + 4. Let o = i + 120. Is o prime?
True
Let a(p) = -p + 5. Let g be a(0). Suppose 3*i = -g*r + 143, -3*r + 172 = 4*i - r. Let w = i + 16. Is w a composite number?
True
Let z = 11 + -7. Suppose 5*n - 50 = 3*d - 7*d, -z*n + 2*d + 40 = 0. Is n a prime number?
False
Let x be (1/3)/(3/1017). Let m = x + -51. Suppose -3 = -5*k + m. Is k a prime number?
True
Let w = -64 - -133. Is w composite?
True
Suppose 4*i - 32 = 6*x - x, -5*x - 5*i = 5. Is 996/7 - x/(-14) a composite number?
True
Let h = 9 - 6. Suppose -x - x = -5*w - 394, -h*w - 12 = 0. Is x a composite number?
True
Let m be -3 - 5 - -4 - -121. Suppose -4*n + 71 = -m. Is n a composite number?
False
Suppose 2*d = n - 3*n + 102, 194 = 4*n + 2*d. Is n a composite number?
True
Suppose a + 4*i + 113 = 0, 2*a - 369 = 5*a + 2*i. Let h = a - -208. Is h prime?
True
Suppose 2*z + 0*z + 16 = k, 0 = -5*k + 3*z + 101. Suppose k = -3*b + 199. Is b prime?
True
Suppose v - 2*j = 41, -46 - 78 = -3*v + 5*j. Let n be (-1)/(-4) + (-902)/(-8). Suppose 160 = 4*i - 5*q, n = 4*i - 4*q - v. Is i composite?
True
Let q(n) = -n. Let f(g) = 2*g**2 + 5*g + 3. Let r(j) = f(j) - 3*q(j). Is r(-5) prime?
True
Let h(l) = -l**3 + 3*l**2 - l - 1. Let o be h(2). Let f = o - 1. Suppose -103 = -t - t + 5*b, f = -t - 2*b + 47. Is t a prime number?
False
Suppose 2*u + 29 = 255. Let a = 420 + -230. Let y = a - u. Is y prime?
False
Is (-10)/((-5)/(-2)*(-36)/495) composite?
True
Suppose -z - 18 = 2*z. Let x be (5 + z)*(0 + 18). Is 171/x*(-2)/1 a composite number?
False
Suppose 5*y - 3494 = -5*b - 724, -3*y = -3*b - 1680. Is y a composite number?
False
Let o = -264 - -683. Is o composite?
False
Suppose -t + 5*q = -389, 5*t = 3*t + q + 778. Suppose -5*j + t = -1386. Is j composite?
True
Let d be (-122 + 0)*(-3)/2. Suppose 5*c - 147 = c - w, 5*c = -2*w + d. Is c prime?
True
Suppose 2*i + 1 = -3*y + 4*y, 0 = y - i - 2. Suppose -o - y*o + 316 = 0. Is o prime?
True
Let c(d) = 27*d**2 + 2. Is c(-5) a prime number?
True
Suppose -2250 = -4*x + 2770. Is x a composite number?
True
Suppose -5*u - 5*s - 10 = 0, s = -1 - 4. Suppose 0 = 2*l - 5*l + 24. Suppose 5*z - u*f - 2*f = 435, -2*f = l. Is z composite?
False
Suppose -2*r + r - 10 = 0. Let i = 24 + r. Let g = 67 - i. Is g a composite number?
False
Let x be 886/10 + 2/5. Let a(l) = 16*l**2 - 3*l + 3. Let o be a(-3). Let y = o - x. Is y a composite number?
False
Let r(q) = 9*q**2 - 2*q - 1. Let g = 3 + -1. Suppose z - 6 = -g*z. Is r(z) composite?
False
Suppose 0*b - 25 = -5*b - c, 0 = -b + 4*c + 5. Suppose -2*g + 2*j - 1 = -5, b = 3*g - 2*j. Is g - (-7)/((-21)/(-54)) a composite number?
False
Let x = 4 - -2. Let p(z) = -z**2 - 2*z + 8. Let o be p(x). Let g = o - -95. Is g composite?
True
Let f = 284 + 593. Is f a prime number?
True
Let g(s) = s**3 - 10*s**2 + 13*s - 5. Let i = -14 - -9. Let t be (-47)/i + 2/(-5). Is g(t) prime?
True
Let m be -1 + 3*(-2 - -3). Suppose 4*l + 5*f + m - 18 = 0, 0 = 3*f. Let h(w) = 7*w**2 + 3*w + 3. Is h(l) composite?
False
Suppose 0 = -u - 3*z + 68, -5*u = -u - 4*z - 192. Is u a composite number?
False
Let f(x) = 8*x**2 + 3*x - 1. Let l be f(2). Let h = 12 - 18. Let i = h + l. Is i a composite number?
False
Suppose -23 = -5*u - 2*t, -4*u + 16 = t + 3*t. Suppose 4*o - 240 = -5*m, -u*m = -0*o + o - 75. Is o a composite number?
True
Is (-40384)/(-80) + 2/10 composite?
True
Let h(v) = 65*v + 3. Let g(w) = 33*w + 1. Let q(s) = -11*g(s) + 6*h(s). Let x be q(6). Suppose 4*u - x - 171 = 0. Is u composite?
True
Suppose 4869 = t + 8*t. Is t prime?
True
Let k = 110 - 78. Let j = 0 - 0. Suppose j = -h - 6 + k. Is h prime?
False
Let y(r) = -2*r**3 - 2*r**2 - 3. Let v be y(-2). Suppose -136 = -3*a - 5*j, -v*a + 200 = j + 2*j. Is a composite?
False
Let q(x) = x + 9. Let l be q(-9). Let u = 764 + -504. Suppose l = -5*a + a + u. Is a a prime number?
False
Let t(o) = 2*o**2 + 9*o - 5. Let b be t(-5). Suppose -2*d = 4*z - 678, b = d - 2*d - 5*z + 351. Is d composite?
False
Let a(l) = -1005*l + 12. Is a(-3) a prime number?
False
Suppose a + 20 = 4*f, 4*f - 3*a - 16 = 3*f. Let h(p) = 12*p**3 - 7*p**2 + 5*p + 3. Is h(f) a prime number?
False
Let u(i) = -129*i**2 + 2. Let j be u(1). Let c = 186 + j. Is c composite?
False
Let q(g) = -1900*g + 3. Is q(-1) co