) = 4*b**2 - 2*b + 2*b + b + 9. Is v(a) composite?
True
Suppose -2855 - 760 = -5*w. Let d = 1280 - w. Is d a composite number?
False
Suppose s + 9 = 3*t, -7*s + 2*s + 3 = t. Suppose -3*j + j + 8 = s. Is (-4888)/(-24) + j/(-6) prime?
False
Let c(q) = 9166*q - 59. Is c(4) composite?
True
Let l be (-12)/28 - (-55770)/35. Suppose 5*m = 2*m + l. Suppose x = 4*g - 2*g - m, -792 = -3*g + 3*x. Is g a composite number?
True
Suppose 4938 = 2*b - 24*v + 27*v, b + 5*v = 2483. Is b prime?
False
Let b(f) be the second derivative of 4*f**4/3 - 2*f**3/3 - 13*f**2/2 - 21*f. Is b(-4) a prime number?
False
Is (20143 - 0)*(-3)/9*-3 composite?
False
Suppose 5*r = 9*r - 20. Suppose -4*j = 2*c - 2390, 4*c - r*j - 1459 = 3360. Is c composite?
False
Let v be (2 + (-12)/8)*578. Let n = -86 + v. Is n prime?
False
Let x = -178 + 2224. Suppose -21*q + x = -15*q. Is q a prime number?
False
Suppose 328699 = 10*a - 974491. Is a composite?
True
Let o(v) = v**3 + 7*v**2 + 6*v - 3. Let t = 2 - 8. Let p be o(t). Is p/((-1)/(226/2)) prime?
False
Let z(v) = 28*v**3 - 5*v**2 + 5*v. Let w be z(4). Suppose w = 7*o - 5*o. Is o a prime number?
False
Suppose 20156 = 16*f - 14*f. Let t = -6551 + f. Is t a prime number?
True
Let d = -109 + 112. Suppose -2*p + 641 = p + 2*l, d*p + 4*l = 649. Is p prime?
True
Let i be (-5077)/(-3)*(5 - 2). Let g be (-9)/36 + i/4. Suppose t - 318 = -b, b + 3*b - g = -t. Is b composite?
False
Let f be (3 + -4)*9 + 4. Let r(v) = 14*v**2 + 9*v + 22. Is r(f) a prime number?
False
Suppose 5*d - 8265 = 13340. Is d composite?
True
Let x(a) = a + 6. Let k be x(9). Let h = k + -11. Suppose 322 = 2*w - 5*s + 2*s, -h*w + s = -644. Is w a prime number?
False
Let i be (-8 - -4)/((-4)/3). Suppose 0 = -5*v - i*r + 90, -4*v - 12 + 57 = -3*r. Let j = 52 - v. Is j composite?
False
Suppose -3*k = -6*k + 6. Is 1166*-1*k/(-4) a composite number?
True
Suppose 0 = -21*g - 0*g + 42. Suppose c + 12773 = g*o, -o - 3*o + c + 25543 = 0. Is o prime?
False
Let b be (-5 + 1)*(7 - 6). Let r be (-2 + b)*-21 + 3. Let k = r - -280. Is k prime?
True
Suppose -3*f + 3 = 0, 5*p - 3*f + 83348 = 10*p. Is p a prime number?
False
Let c(z) = 251*z - 13. Suppose 16 - 4 = 3*j. Is c(j) composite?
False
Suppose -2*p + 14*p = 2*p. Suppose 9*i = 5*s + 4*i - 3800, p = s - 5*i - 772. Is s prime?
True
Let m(j) = -2*j + 4. Let n be m(0). Suppose n*f = -3*u + 2655, 3571 = u + 3*u - 5*f. Is u a composite number?
True
Suppose 0 = -13*o + 10*o - 228. Let u = o - -473. Is u a prime number?
True
Let q = -22 + 25. Suppose -5*a - q*o + 8*o = -20, 5*a + 5*o = -30. Is a/(-4) - 630/(-8) a prime number?
True
Let a = -201 - 114. Let i = 1169 - a. Suppose -g = -5*g + i. Is g a composite number?
True
Suppose -2*k + 7*k - 55 = 0. Suppose 29 = -4*n - k. Is (-1834)/n + 22/(-55) a prime number?
False
Let y(n) be the first derivative of -n**3 - n**2 + 10*n - 1. Let w(f) = -13*f**2 - 7*f + 41. Let s(x) = 2*w(x) - 9*y(x). Is s(-11) a prime number?
False
Is (14/6 + -2)/(69/509013) a prime number?
True
Is (-46037)/((-574)/328 - 6/(-8)) a prime number?
False
Is (36/24)/(-4 - 191510/(-47876)) a prime number?
True
Let w(p) be the second derivative of p**5 - p**4/6 + p**3/3 - p**2/2 + 10*p. Suppose -3*h + 2*h = -1. Is w(h) a composite number?
False
Let g = 167817 - 81844. Is g a prime number?
False
Suppose 2*l + 33109 = j + 4*j, 5*j - l = 33112. Is j a composite number?
True
Suppose 17*o - 3*u = 18*o - 8993, -4*u = 8. Is o composite?
False
Let m(h) = 6*h**3 + h**2 - 3*h + 2. Let o be m(1). Let v be o + -8 + 2*1. Suppose 0 = 5*g + d - 185, v = -4*g + d + 127 + 21. Is g composite?
False
Let t be 30/4*(-7 - 115/(-15)). Suppose -2*b + 5*b = -t*i + 11267, 3*b - 2*i = 11239. Is b a composite number?
True
Let u(k) be the first derivative of k**4/4 + 7*k**3/3 - 7*k**2/2 + 10*k + 2. Let v be u(-8). Suppose -3*w + 2*t + 2*t + 369 = 0, w = -v*t + 133. Is w composite?
False
Let w(o) = 3*o - 6. Let k be w(4). Let n be 6/(-8)*(-520)/15. Suppose -3*g - n = -2*d - k*g, 4*d + g - 72 = 0. Is d a composite number?
False
Suppose 0 = -11*f + 12*f - 2. Suppose 0 = -5*x + f*x + 5*p + 184, 5*x - 245 = -4*p. Is x prime?
True
Let f be (0 + 0)*3/(-9). Suppose -2*q + 5*q = f. Suppose q*z - 4*k + 503 = 3*z, -2*k + 674 = 4*z. Is z composite?
True
Suppose l - 3*j - 2*j = 20, -2*j = l + 15. Let p(q) = -22*q - 6. Let c be p(l). Suppose c = 3*d - 277. Is d composite?
False
Suppose 3*s + 2 + 1 = 0, 59 = 2*d + s. Let y be (-65)/((2/18)/(-1)). Suppose 5*q + d = y. Is q prime?
False
Suppose 0 = -5*z - 5*c + 3340, 0*z + 3*z = 6*c + 2049. Is z prime?
True
Suppose 10 = -0*h - 2*h, -5*a - 2*h + 410 = 0. Is 9412/14 - -1 - 24/a a composite number?
False
Let z(y) = y**3 - y**2 - y - 1. Let s be z(2). Let k be s/(-6) + (-109736)/(-48). Is k/12*2/3 a prime number?
True
Let u = 6239 + -3906. Is u a composite number?
False
Let k(n) = 443*n**2 + 5*n + 4. Let l = -5 - -3. Let g be k(l). Suppose 3*a - 4*h = 5*a - g, 3*h - 1763 = -2*a. Is a prime?
True
Let u(n) = n**3 - 2*n**2 + 2*n + 2. Let b be u(4). Suppose 2*x - 1684 + b = 0. Is x composite?
False
Let u(z) = -3*z**2 + 9*z + 12. Let m be u(-8). Suppose 5*k + 0*k = 2585. Let y = k + m. Is y a composite number?
True
Suppose 3*q + 4*t = -3 - 5, -q + 2*t - 6 = 0. Let b be (q/10)/((-2)/(-10)). Is -5*(279/(-15) - b) prime?
True
Suppose -o - 2 = 4. Is (8 - 11)*4/o + 1821 prime?
True
Let p = 518 + -213. Suppose 0 = -3*i - 12, 2*x + 4*i = p + 457. Is x prime?
True
Is (-37635)/(-40) + (-12)/(-96) prime?
True
Is 4/(9/9) + (14452 - -2) prime?
False
Let j(o) = 607*o - 20. Let v be j(-5). Let z = v - -4814. Is z a composite number?
False
Let m(x) = -x**2 - 6*x - 3. Let c be m(-5). Suppose 0*v + 1682 = 2*u + c*v, -v + 3370 = 4*u. Is u prime?
False
Let u = 21 - 119. Is -2 + (1 - u)*5/3 a composite number?
False
Suppose 49*v = 54*v - 8805. Suppose -2*s + 5*s = v. Is s prime?
True
Let b(i) = -i + 3. Let h be b(3). Let l be (2/4)/((-1)/(-2)). Is (h - -1)/(l/157) composite?
False
Let f(a) = a**3 + 127 - 10*a**3 - 2*a**2 - 140 + 6*a**2 - a. Is f(-5) composite?
False
Let d(b) = -3*b**3 - 6*b**2 - 3*b + 1. Suppose 2*v = -v - 90. Let s be (-1)/(5/(v/(-1))). Is d(s) a prime number?
False
Suppose x = 3*n + 29, 2*x - 5*x + 2*n = -80. Let z(s) = 23*s - 11. Is z(x) a composite number?
False
Suppose -5*i = 20, -2*j - i + 21 = 7. Suppose -p + 3470 = j*p. Is p composite?
False
Let c(a) be the first derivative of -3/2*a**2 - 19*a + 8 + 5/3*a**3. Is c(-9) a composite number?
True
Suppose 2*i + 138 = 6952. Is i a composite number?
False
Let o = 2957 - 1383. Is o prime?
False
Let g(u) = u - 10. Suppose -3 + 13 = n. Let t be g(n). Suppose t = v + 3*o - 145, 5*v - 298 = 3*v - 4*o. Is v a prime number?
True
Let h = -46518 + 69947. Is h composite?
True
Let h = 9424 - 5313. Is h a composite number?
False
Suppose 0*u = -2*u + b - 313, -5*u - 5*b = 745. Let n = u - -1037. Is n composite?
False
Let m(s) = s**2 - 5*s + 9. Let g be m(4). Suppose g*x = -3*i + 15, -15 = -i - 2*i - 3*x. Is i/(-5) + 1 + 19 a prime number?
True
Let c = 6 - 1. Suppose 0 = -c*o + 3559 + 8496. Is o prime?
True
Suppose 5*s - 12873 = -q, 5*q = 2*s - 6*s + 64470. Is q a prime number?
False
Let z(k) = 67*k**3 + 6*k**2 - k + 7. Let g(x) = -133*x**3 - 11*x**2 + 2*x - 13. Let t(o) = -6*g(o) - 11*z(o). Let s be t(1). Suppose -l + s = -4. Is l prime?
False
Suppose 0 = 2*v - 0*v + 3*x - 326, 5*v + 3*x = 797. Let k = v + -102. Is k composite?
True
Let d be (-91)/28 - (-9)/(-12). Is d/18 - 62605/(-45) a composite number?
True
Let v be 107*2*(13 + -9). Let k be 46/10 + (-4)/(-10). Suppose -k*t + t = -v. Is t a composite number?
True
Suppose 3*r = 4*y + y - 55, -3*y + 13 = -r. Let j(z) = -z**3 - 23*z**2 + 32*z + 41. Is j(r) a composite number?
False
Suppose 0 = -2*b + 103 + 25. Suppose -n = z - 0*z - 12, -n = 5*z - b. Suppose -l + 0*o = 2*o - z, 5*l = o + 32. Is l prime?
True
Let m(c) = -23*c - 5. Is m(-18) composite?
False
Let j = 9 - 2. Suppose 4*g + 3*y - 30 = 0, -5 - j = -3*g + 3*y. Is 330/45*g/4 prime?
True
Suppose -4472 = -53*m + 45*m. Is m prime?
False
Suppose -171*o = -176*o + 2395. Is o a composite number?
False
Let p(q) be the second derivative of q**7/84 + q**6/180 + q**5/60 - q**4/8 + q**3/2 - q. Let x(o) be the second derivative of p(o). Is x(2) a prime number?
True
Suppose -3*t + 1992 = 5*r, 2*t - 1341