site?
False
Let y(c) = 313*c - 19. Let s be y(-7). Let h = 3451 + s. Is h composite?
True
Suppose 17*d - 12*d = 0. Suppose 0*c - 281 = -3*i + 5*c, 5*i - 4*c - 451 = d. Is i a composite number?
True
Suppose 0*b = -4*b - 5*b. Suppose b = -4*k + 48 - 4. Is k prime?
True
Suppose 0 = 4*o + 3*o + 14. Is (-4074)/o + 5 + (-3 - -2) a composite number?
True
Let a be -2 - 1 - (-7 + 2). Let p(o) = 0*o - a*o + 151*o**3 + 2*o + o + o**2 - 1. Is p(2) composite?
False
Let t(w) be the second derivative of -w**7/840 + 13*w**6/360 - w**5/12 + 7*w**4/24 + w**3/3 - 5*w. Let k(o) be the second derivative of t(o). Is k(12) prime?
True
Suppose -17 = -2*w - 5. Let u be (w/10)/(4/20). Let q(z) = 19*z**2 - 4*z + 2. Is q(u) prime?
False
Is (4 + (-6)/(36/3542))*-3 a prime number?
True
Is (-1)/(-7 - 693036/(-99006)) a composite number?
True
Let b(m) = -3*m**3 - 3*m**2 - 4*m - 5. Let z be b(-2). Suppose 134 = z*d - 13*d. Is d a composite number?
False
Let h(t) be the first derivative of t**4/4 + 4*t**3 + 3*t**2 + 4*t + 1. Suppose 10*y = 12*y + 5*k + 25, 8 = -4*y + 4*k. Is h(y) a composite number?
False
Let i be 4/(-3) + (-7163)/39. Let c be i/(-10) + (-12)/(-8). Let l = c - 14. Is l a composite number?
True
Let g(z) = -2*z**3 - 18*z**2 - 7*z - 13. Let q be g(-13). Suppose -2*l = 5*v - 20253, 2*v + 2*l - q = 6676. Is v prime?
True
Let d(o) = 332*o + 131. Is d(8) a composite number?
True
Let a = 7 - 2. Suppose f + a = 0, 3*i + 0*i - 2*f = 961. Is i a prime number?
True
Suppose o - 4 + 2 = 0, -2*f - 3*o = -4796. Let s = -1076 + f. Is s a composite number?
False
Suppose 6 = 2*v, -5*f + 2*v = -0*f - 4. Suppose 26 = 4*d - 6. Suppose 29 = 4*q - 2*g - 63, -f*g = -d. Is q composite?
True
Let p(z) = 25*z**2 - 2*z - 18. Let l be p(-8). Let k = -681 + l. Is k prime?
False
Let l = 143 + 806. Suppose 2*d = 2*p + 1866, l = d - p + 4*p. Let b = d + -150. Is b prime?
True
Let r = -3 - -3. Let x = 3 - r. Suppose x*c - 110 = c. Is c a prime number?
False
Let n(g) = -g**2 - 12*g - 15. Let j be n(-9). Is ((-12525)/j)/(-1) + 6/(-8) a prime number?
False
Let l(h) = -8152*h + 109. Is l(-1) a prime number?
False
Let s(o) = -10*o - 1. Let m = 171 + -193. Is s(m) composite?
True
Let n be (-2 - 14/(-6))/(2/102). Suppose -n + 121 = 4*g. Is g prime?
False
Let z = -184 + 528. Let m = z - -1017. Is m a prime number?
True
Suppose -243*t = -228*t - 896565. Is t composite?
False
Let q(l) be the second derivative of -17*l**3/6 + 3*l**2 - l. Let m = 29 - 33. Is q(m) composite?
True
Let g(p) = -161*p + 34421. Is g(0) a prime number?
True
Let u(w) = -4*w**3 - 5*w**2 - 6*w + 568. Let v(d) = 3*d**3 + 4*d**2 + 5*d - 567. Let g(j) = -4*u(j) - 5*v(j). Is g(0) a composite number?
False
Let u be (-1 + 15)*(-1)/2. Let g(v) = -4*v**2 - 9*v + 7. Let s be g(u). Is (-56294)/s + 4/18 a prime number?
False
Let h be (-12)/10*(-70)/(-21). Is (h/(-7))/(26/3367) composite?
True
Is 1*(2*-1)/(8/(-11044)) a prime number?
False
Let v(n) = 71*n**2 - 2*n - 6. Let h be v(-4). Let x = -725 + h. Is x a prime number?
False
Suppose 4*p + 4*p = 16. Suppose 0 = 4*n + m + 4*m - 2452, 3*n = p*m + 1839. Is n prime?
True
Suppose -4*i = 1645 - 7809. Is i composite?
True
Suppose 3*w - 21*w = -46962. Is w composite?
False
Let f = 145 - 142. Suppose f*w - 11*w + 9736 = 0. Is w composite?
False
Suppose 2*s = -r + 5391, 0 = -3*r - 9*s + 7*s + 16153. Is r prime?
True
Let w(g) = 2*g + 2. Let a be (7 - 6)/(0 - -1). Let d be w(a). Suppose -d*u = c - 161, u = -u + 8. Is c a prime number?
False
Let j(s) = -2*s**3 + 11*s**2 - s - 12. Let y(w) = -2*w**3 + 12*w**2 - 13. Let k = 23 - 28. Let v(q) = k*j(q) + 4*y(q). Is v(7) a prime number?
False
Suppose 0 = r - 2573 - 3094. Is r a prime number?
False
Let c(o) be the third derivative of -o**5/60 + 4*o**4/3 - 2*o**3/3 - 14*o**2. Is c(15) a prime number?
True
Suppose -j - 4*k + 22 = 0, 4*k - 35 + 9 = -3*j. Let v(g) = -g**3 + 0*g**2 + g**2 + 8*g + g**j + 7 - g**2. Is v(-6) composite?
False
Let g be 3*(-2)/3 - -1261. Suppose 5*n = -g - 591. Is 9/6*n/(-3) a prime number?
False
Let a = -256 + 5718. Is a a composite number?
True
Let g(l) = 351*l**2 + 65*l + 393. Is g(-7) composite?
False
Suppose 2*b + 3*b + 2*x - 136 = 0, -2*b = 3*x - 50. Let u = b + -26. Is (u - (-610)/6)*3 composite?
False
Let x = -564 - -4533. Suppose r - 9330 = -4*g, -4*g + 5365 = -r - x. Is g a composite number?
False
Suppose -2*w + 7980 = -2*h, 3*w - 23*h + 27*h - 11963 = 0. Is w a composite number?
False
Suppose -2*w + i - 223090 = -7*w, w = 4*i + 44597. Is w prime?
True
Suppose 2*z + 4 = 0, 4*h = 2*h - 2*z + 8. Suppose 8*u = h*u + 14. Is (-6 + u)*(88 - -1) a composite number?
False
Let i = 15 + -11. Suppose 0 = i*d + 2*z + 84, 5*z + 30 + 20 = -2*d. Is -278*1*10/d composite?
False
Let h = -8885 + 15300. Is h composite?
True
Let j(s) = 29*s**2 - 28*s - 10. Is j(-12) a prime number?
False
Suppose -x + 2*q - 2 = 13, -3*q - 9 = 2*x. Let j = x - -220. Is j composite?
False
Let q be 4/(-34) - 5940/374. Let k = q + 25. Suppose -14*b + 1255 = -k*b. Is b a prime number?
True
Is ((-25035)/(-30))/(5/190) prime?
False
Let t(g) = g**3 - 9*g - 6. Let w be t(-2). Let o = -127 - -2587. Suppose 3*r = 8*r + w*p - 2485, -p - o = -5*r. Is r prime?
False
Suppose 4*a + 12 = 20. Let c(q) = 696*q + 5. Is c(a) a composite number?
True
Suppose -13*t = -74211 - 16191. Suppose 1594 = 4*f - t. Is f composite?
False
Suppose 46*s = 29*s + 309179. Is s a prime number?
False
Let p = 6294 - 2647. Is p a prime number?
False
Let f be (-1 + 1)*(5 - 6). Let u be f - (-3)/(-6)*4. Is 157 - (0 + 0)/u composite?
False
Let x be (1071/6 + 1)*-2. Let c = 796 + x. Is c a composite number?
True
Let k(d) = 1884*d - 85. Is k(2) a prime number?
False
Suppose 3*p = 3 - 0. Let g be p*39 - (-13)/(-13). Let y = -19 + g. Is y prime?
True
Let j = -11171 - -15792. Is j a prime number?
True
Let l(p) = -p**3 + 3*p**2 + 11*p + 8. Let g be 14/(21/(-6) + 4). Let b = -41 + g. Is l(b) a composite number?
True
Let s = 49503 + 38498. Is s a composite number?
False
Let n(t) = 344*t**2 + 6*t - 3. Let u(v) = -689*v**2 - 11*v + 5. Let i(c) = -7*n(c) - 4*u(c). Is i(-1) composite?
False
Let u(w) = 2*w - 7. Let j be u(5). Suppose 5*y - j = -i, 3 = 3*i - 2*i - 2*y. Suppose -4*v - 3*p = -p - 1018, -744 = -i*v + 5*p. Is v a composite number?
True
Let h = -7023 + 23150. Is h a composite number?
False
Let z = -16290 + 36383. Is z prime?
False
Let x(d) = -3*d**3 - 10*d**2 - 17*d + 15. Let q(n) = 2*n**3 + 3*n**3 - 4*n**3 - 18*n - 10*n**2 + 16 - 5*n**3. Let t(v) = 4*q(v) - 5*x(v). Is t(10) composite?
True
Let y(c) = 15*c**2 - 9 - 8*c - 7*c**2 - 49*c**3 - 7*c**2. Let t be y(-4). Suppose -3*i = -8*i + t. Is i composite?
True
Let c be (32/(-24))/((-8)/(-12)). Let g(n) = n**3 + 4*n**2 - 2*n + 4. Let v be g(-4). Is -166*c*3/v composite?
False
Suppose 12 - 2 = 5*a. Suppose 5*m = -4*c + a*c + 2194, 4*c - m = 4344. Is c prime?
True
Let t be -3 - (-1 + 5)*44. Let r = t + -185. Let i = r + 551. Is i prime?
False
Suppose -5*w + 6 = -19. Suppose 648 = 3*u - w*j, u + u + 4*j - 410 = 0. Is u prime?
True
Let a(r) = 6*r**2 - 12*r + 19. Let k = 48 + -17. Let o = -23 + k. Is a(o) a composite number?
False
Suppose 296464 = 295*m - 279*m. Is m composite?
True
Suppose 0 = -5*d + 1 + 4. Let g be d + 7/((-7)/(-3)). Suppose 5*q + 4*c = 1135, -q - g*c + 72 = -171. Is q a composite number?
False
Let n(t) = -429*t**3 - 2*t**2 + 2. Let q be n(-2). Let b = -1649 + q. Suppose -b = -4*z + s - 2*s, -5*s - 460 = -z. Is z a composite number?
True
Is ((-38)/4)/((-61)/31354) a composite number?
True
Suppose 2*d - 3*d = 5*r - 342, -377 = -d + 2*r. Let h = d - 520. Let v = 230 + h. Is v a composite number?
True
Suppose 4*a - 92 = 4*w, a - 69 = -w + 4*w. Let b = w + 34. Suppose b*f - 13*f = -110. Is f a prime number?
False
Suppose -3*h + 41 = 38. Let n(f) = 3*f - 1. Let q be n(h). Is (1494/72)/(q/8) composite?
False
Let y(w) = -w + 1. Let f(o) = 229*o. Let h(s) = f(s) + 3*y(s). Is h(4) composite?
False
Suppose 10*m - 22*m = -60924. Is m prime?
True
Suppose -18*r + 15*r + 3 = 0. Is (4624 - -2) + 0 + r composite?
True
Suppose u = w - 247, -4*w = u - 6*u - 1237. Let n = u + 1200. Let r = n - 316. Is r prime?
False
Let i be -2*(1/4 - 13/(-4)). Is i/(160/(-52) - -3) a composite number?
True
Suppose 4*p = 4*l - 18696, 4*l + l + 3*p = 23330. Suppose c = -a + 1555, a 