
False
Let w(c) = -34280*c - 8683. Is w(-12) a prime number?
False
Let s = -98447 - -318570. Is s a composite number?
False
Suppose 10*z - 29 = -109. Let r(h) = 20*h**2 + 17*h + 7. Is r(z) a composite number?
False
Suppose 33*m - 35*m = 5*x - 511, x + m - 104 = 0. Let a = 214 - x. Is a prime?
True
Suppose -3*h - 42 = -10*h. Suppose w - 2*w - t = -1785, -3*t + h = 0. Is w a prime number?
True
Let g(n) = 168*n + 98. Let d be g(-19). Let v = d + 6765. Is v prime?
True
Let z be (-5360)/30 + (-2)/(-3). Let y be (-1)/(-6)*z*-27. Suppose 2*o = 5*o - y. Is o composite?
True
Suppose 4*f - 10 = -2*h, -2*f - 4*h = f - 10. Is (-12600)/(-49) - 4/(30 - f) prime?
True
Suppose -4*y + x = -16174 + 3439, -2*x + 6380 = 2*y. Suppose 0 = -2*f + y - 1023. Is f a prime number?
False
Suppose 246930 = 24*y - 18*y. Is y composite?
True
Let g(l) = -25*l**3 - 26*l**3 + 86*l**3 + 2*l**2 + 29*l**3 + 62*l**3 + 2 - 3*l. Let x(m) = m**2 + 4*m - 4. Let s be x(-5). Is g(s) a composite number?
False
Suppose -l + 2*l - 4861 = -3*r, 2*l - 2*r - 9722 = 0. Suppose -l = 18*t - 19*t. Is t prime?
True
Let p be 27/12 - 6/24. Suppose 3*n + 4*q + 19 = 2*n, -2*n - p*q - 14 = 0. Is (-889)/(n/6*2) a prime number?
False
Suppose -2508242 = -51*n + 1088620 + 146181. Is n a prime number?
False
Suppose 3*a - 26611 - 12357 = o, -4*o + 5*a = 155844. Is 1/(1 - (-38952)/o) prime?
True
Suppose -4*d = 2*q + 10 + 4, -d = 5*q - 1. Suppose 716 = -0*o + 2*o. Is d/4*o/(-2) prime?
True
Let w(u) = -563*u - 2033. Is w(-18) a composite number?
False
Let q(s) be the third derivative of s**5/2 + 11*s**4/12 - s**3/6 - s**2. Suppose 40 + 105 = -38*d - 121. Is q(d) a prime number?
False
Suppose -47985 = -4*b - 5*l, 0 = -b + 3*l - 4846 + 16855. Let c = b - 7799. Is c a composite number?
False
Let j = 115896 - 54805. Is j a composite number?
False
Suppose 224 = 2*i + 196. Suppose -12*a - 1358 = -i*a. Is a a prime number?
False
Let y(x) = -x**2 - 2*x + 12046. Let v be y(0). Suppose 0 = -53*s + 51*s + v. Is s a prime number?
False
Suppose 341*s + 8283492 - 65573197 = 0. Is s prime?
False
Suppose 0 = 3*k - 1535 + 851. Let q = k + 79. Is q prime?
True
Let k be 1/((-2)/(2*677)). Let h be -10 - 1 - (55/(-5) - -14). Is (-1)/(-7) + 44/h - k prime?
False
Let u be 0 - (1 - 2) - -2. Suppose 57*b = t + 56*b - 1, -4*t - 3*b - 31 = 0. Is (t - 7386/(-18)) + 2/u a composite number?
True
Let s(h) = -h**3 - 9*h**2 + 8*h - 17. Let x be s(-10). Let z be ((-2)/(-4))/(x/(-3588)*2). Let q = 3006 + z. Is q a prime number?
True
Let d(v) = 4368*v**2 + 11*v - 21. Is d(2) prime?
False
Let l = -5238 - -5282. Let j = -2 + 0. Is 0 - (j/(-11) + (-53292)/l) a composite number?
True
Let y(x) = 64784*x + 36. Let b be y(3). Let w = b - 134027. Is w composite?
True
Let h = -35930 + 189027. Is h prime?
False
Let y = 29 - 36. Let c(f) = -15*f**3 - 4*f**2 - 2*f + 9. Let h be c(y). Suppose -g = -j - h, -j + 8 = 11. Is g a composite number?
False
Let m be 19014 + (-9)/(-18)*-4. Let c = m + -7799. Is c prime?
True
Suppose 0 = -6*f - 7*f + 52. Suppose 5*u - 5*w + 0*w = 0, 0 = -2*u + 5*w. Suppose -563 = -3*n + 2*v, u*v - 2*v = f*n - 774. Is n composite?
False
Let i(u) = 2*u**3 - 5*u**2 + u. Let v be i(5). Suppose v = 3*c - 575. Suppose 0*q + q = -3*n + c, 3*q + 5*n - 693 = 0. Is q a composite number?
True
Let i be 322468/57 - (-1)/(-3). Suppose 0 = -5*v - 692 + i. Is v composite?
True
Let b(s) = -3*s**2 + 5754. Let a be b(0). Suppose -3*o + a = -7419. Is o composite?
False
Let w = 563921 - 318807. Is w a composite number?
True
Let r(z) be the first derivative of 440*z**3/3 - 2*z**2 + 13*z + 165. Is r(-4) prime?
True
Let x = 457737 + 771706. Is x a prime number?
True
Suppose -2*n = 1 - 9. Suppose 0 = 5*y - n*i - 2057, 6*i = -y + 3*i + 400. Is y a composite number?
False
Let o(x) = x**2 + 8*x + 12. Let z be o(-8). Suppose 22*y + 4 - 114 = 0. Suppose -y*n + 62 = z. Is n a composite number?
True
Suppose 3*c + 4*b + b = -14, -10 = -c + 2*b. Suppose 0 = 3*t + c*d - 12, -16 = -2*t - 2*t + 2*d. Is (t - 5)*102/(-2) a composite number?
True
Let f = -58 - -8. Let k = -62 - f. Let i(b) = -40*b - 7. Is i(k) a composite number?
True
Let i = 35 - 29. Let t be 14/21 + 62/i. Suppose 14*v - t*v - 1623 = 0. Is v prime?
True
Let h = 41 + -68. Let a be (-12792)/h - (-4)/18. Is (a/(-30))/((-1)/5) composite?
False
Let h(x) = 93666*x**2 + 88*x + 89. Is h(-1) a prime number?
False
Suppose 80 - 89 = -9*z. Is 5225*z + (-30 - -32) composite?
False
Suppose -4992 = 3*y - 4*y. Suppose u = 3*w - 5*w - 1664, 3*u = -2*w - y. Is -2 - 1 - (-6 + u)/5 a composite number?
False
Let z(p) = -p**3 - p**2 - 2. Let r be z(-2). Suppose -2*n = -3*n + r*f - 2, -5*n - 3*f + 29 = 0. Let c(d) = 265*d + 1. Is c(n) a prime number?
True
Let l(h) = -h**2 - 3*h + 7. Let j be l(0). Suppose -j*c + 38523 = 9046. Is c a prime number?
True
Suppose -3*p = -5*a - 919934, 45*p - 1533260 = 40*p + a. Is p prime?
True
Let w = -1 - 2925. Let l = 9300 + w. Is l a prime number?
False
Let v(a) be the second derivative of 2007*a**5/20 - a**4/12 + a**3/6 + 13*a. Let u be v(1). Suppose 11012 = 5*c + u. Is c composite?
False
Let i be (-6)/2*(-14)/3. Let w(n) = -3*n**2 + 27*n - 49. Let j(m) = -m**2 + 8*m - 16. Let z(d) = -8*j(d) + 3*w(d). Is z(i) prime?
True
Is 85495*6/15*1 - (-14 + 19) composite?
True
Let f(d) = 674*d - 142. Let q be f(-7). Let g = 4727 - q. Is g prime?
True
Suppose -t + 12*a = 8*a - 38337, -a = t - 38312. Is t prime?
True
Let f(r) = -29693*r + 24. Let j be 5 - (10 + (-24)/6). Is f(j) a composite number?
False
Is 140437/11 - 24/6 prime?
True
Let r be ((-3)/(-12) - (-44)/16)*1. Suppose 2*a - 81 = -r*j, 0 = 3*a + 5*j - 2*j - 117. Let d = 2281 + a. Is d a composite number?
True
Suppose 0 = -4*y + g + 2*g + 27916, -g = -3*y + 20942. Suppose -w - w = -y. Is w prime?
True
Let z(y) = -y**2 - 10*y + 10. Let k be z(-10). Suppose k*x - 13*x = -12276. Suppose x + 460 = 4*n. Is n prime?
False
Suppose -4*i = -4*x + 5780, 5*x + 2*i - 3821 = 3369. Let y = x + -767. Is y prime?
True
Let b be (-59435)/(-5) - 0*2/4. Suppose -2*u - 4*h + 11851 = -b, 4*u - 2*h = 47446. Is u a composite number?
False
Let s(k) = k**2 - 12*k + 4. Let a be s(12). Suppose 0 = 3*u + a - 13. Suppose 1042 = -u*f + 5*f. Is f prime?
True
Let y(g) = 6573*g**2 + 887*g + 3. Is y(-7) a composite number?
True
Let r(d) = -84*d**2 - 10*d + 75. Let b(c) = 84*c**2 + 10*c - 75. Let n(y) = 3*b(y) + 2*r(y). Is n(7) prime?
True
Let g be (((-55)/(-2))/(-5))/((-1)/2). Suppose g*n = 21627 + 14332. Suppose 0 = -2*k - i + 2449 + n, k - 3*i = 2845. Is k a prime number?
True
Let p(a) be the second derivative of 267*a**4/8 - a**3/6 - 5*a**2/2 + 11*a. Let n(f) be the first derivative of p(f). Is n(4) composite?
False
Let p = 4226673 + -2289962. Is p prime?
False
Is ((-455894)/7)/(60/(-210)) a composite number?
False
Let v = -219626 + 391419. Is v a prime number?
True
Let l(x) = x**2 - 2*x - 26. Let p be l(6). Is 16*4/48*(-25089)/p a composite number?
True
Is 3/(-8) + 36051065/472 prime?
True
Suppose 41*z - 38*z + 14 = -4*h, -h - 3*z = 8. Is h/(-7) - (-174088)/56 a prime number?
True
Suppose -5*v + 4*r + 87 = 0, -5*v + 6*r = r - 90. Suppose -v*z + 45 = -12*z. Is 4899/z - 6/(-15) a prime number?
False
Suppose r - 5 = -g, -5*g + 5 = -r - 2. Suppose -5*y - 2262 = -2*t - y, g*t + 4*y - 2230 = 0. Is t prime?
True
Let n(r) be the first derivative of -169*r**4/3 + 5*r**3/6 - 5*r**2/2 - 17. Let i(f) be the second derivative of n(f). Is i(-1) a prime number?
False
Let c(i) = 3337*i**2 - 41*i + 7. Is c(3) a composite number?
False
Let r(q) = 6*q**3 - q**2 - q. Let z be r(1). Suppose 1 = 2*t - v, -3*t + 11 = z*v + 37. Is (-3 - (t + 1)) + (2266 - -3) a prime number?
True
Let j = 139 + -137. Suppose 3*p = -j*h + 779, -5*p - 3*h + 1305 = 2*h. Is p composite?
False
Let w be 2 + 4 + -2 - (15 - 16). Suppose -3732 + 10577 = w*z. Is z a composite number?
True
Suppose -213936 = -17*x + 1584545. Is x prime?
False
Let k(a) = -69*a - 77. Let v be k(-10). Suppose 20*y - v = 447. Is y a composite number?
False
Is 8 - (-208)/(-14) - 1/7 - -5756 a composite number?
False
Suppose -7*z + 28626 = -3*z - 5*t, -5*z + 35785 = -5*t. Is z a prime number?
True
Suppose r - 5*x - 32223 = 0, 2*r - 3*x - 19932 = 44528. Is r composite?
False
Let c(s) be the second derivative of s**4/12 + 2*s**3/3 + 2*s**2 + 15*s. Let v be