omposite number?
True
Suppose 5*h + 29715 = g - 16458, -4*h = 3*g - 138595. Is g a composite number?
True
Let u be -842 - (-1)/(-2 - 9/(-6)). Let o = u - -2033. Is o a composite number?
True
Let r(x) be the second derivative of 23*x**4/12 + 5*x**3/6 - 3*x**2/2 - 6*x. Is r(3) prime?
False
Let l be (2 + -3)/(9/(-45)). Suppose -l*y = -14 - 21. Suppose -3*i - 340 = -y*i. Is i a prime number?
False
Let h = 8 + -17. Let n(x) be the first derivative of -2*x**2 - 3*x + 1. Is n(h) a prime number?
False
Let f = 1069 - -4. Is f composite?
True
Let d(f) = -5*f**2 - 15*f - 12. Let n(l) = 16*l**2 + 44*l + 36. Let h(u) = 10*d(u) + 3*n(u). Let p be h(-8). Is -2 + 2 + 596/p a composite number?
False
Is 4/(-3) + 553560/18 + 5 a composite number?
False
Let l = -223 - -45. Let b = l + 581. Is b a prime number?
False
Let f = -23607 - -33472. Is f a prime number?
False
Let i be ((-426)/(-15))/(9/(-1125)*-10). Let g(s) = -s**3 - 3*s**2 - 3*s - 3. Let c be g(-3). Suppose c*m = m + i. Is m a prime number?
True
Let n be 5/25 + (-21)/5. Let a be ((-20)/n)/(1 + 0). Is a + -8 - (-2 - 38) a prime number?
True
Suppose 4*i - 110392 = -4*s, 3*i = -2*s + 26050 + 29149. Is s a composite number?
True
Let i(w) = -153*w**3 + 5*w**2 + w + 8. Let s be i(-7). Is s/60 + ((-2)/(-1))/8 prime?
False
Let a(h) = 4*h - 22. Let m be a(7). Is 674*14/16 + m/(-8) a prime number?
False
Let w = 154 + -288. Let y = 275 + w. Is y a composite number?
True
Let i = 3071 - 1957. Is i a composite number?
True
Let j be 22/99 - (-2140)/9. Suppose -3*p = -6, -933 = -y + 4*p - j. Is y prime?
False
Suppose -58944 = -9*o + 121101. Is o a composite number?
True
Let h be (2 - (12 + 3)) + 3. Let v be (-11496)/(-26) + h/65. Suppose -t - 5*z = -v, -3*z + 186 + 1104 = 3*t. Is t a prime number?
False
Suppose 3*n - 56 = 5*a, 3*n - 5*n - 46 = 5*a. Is a/3*1557/(-6) composite?
True
Suppose 3*a - 3 = 2*w, 2*a - 21 = 5*w - a. Is 7830/8 + w/(-24) composite?
True
Let p(m) = 2018*m**2 - 7*m + 3. Let o(u) = -1345*u**2 + 5*u - 2. Let q(g) = 7*o(g) + 5*p(g). Let x be q(1). Is (-3)/3*-3 + x composite?
True
Suppose 5*s = -5*i, 20 = 3*i + 4*s - 5*s. Suppose 11 + 1521 = 2*y + i*l, 5*y + 3*l = 3830. Is y prime?
False
Let k(v) = 1539*v - 5. Let y be k(2). Suppose -3*j + y = 4*j. Is j a composite number?
False
Suppose -2*m = -6*m - 28. Let b(w) = -w**3 - 4*w**2 - w - 8. Let y(j) = j**3 + 4*j**2 + 8. Let l(o) = -6*b(o) - 7*y(o). Is l(m) prime?
True
Suppose 6036 = 24*g - 18*g. Is g a composite number?
True
Suppose g - 115 = -2*m, -2*m = 3*g - 5*m - 372. Is g a prime number?
False
Let q(y) = -676*y**2 - 5. Let w(g) = 1352*g**2 + 11. Let h(x) = -9*q(x) - 4*w(x). Is h(-1) a prime number?
True
Suppose a - 16 = -6. Let s be 370/25 - (-2)/a. Suppose -3*u - s = 0, -3*p + 2*u + 7 = -4*p. Is p prime?
True
Suppose -54*h + 20*h = -302566. Is h a prime number?
False
Suppose -7581 = -5*o + 2*b + 1204, -3*o + 5271 = -3*b. Suppose 3*s - o - 3262 = 0. Is s prime?
False
Suppose 0 = 4*b + 4*n - 316, -n - 4*n = b - 87. Let f = b + 68. Is f a composite number?
True
Let r(c) = -2252*c**3 - 5*c**2 - 12*c - 16. Is r(-3) a composite number?
False
Let s = 47813 - 6352. Is s a prime number?
False
Let h(y) be the second derivative of y**4/12 - 8*y**3/3 + 8*y**2 + 4*y. Let g be h(14). Let w(q) = -q**3 - 6*q**2 + 11*q - 13. Is w(g) prime?
True
Let p(v) be the third derivative of v**5/60 + v**4/24 + 13*v**3/6 + v**2. Let q = -115 - -115. Is p(q) composite?
False
Suppose -z + 8746 = 5*b, -180 = -2*b + z + 3324. Let t = b + -855. Is t composite?
True
Suppose -2*u + 0*u - 4*j + 6 = 0, 6 = 2*u + j. Suppose 0 = u*a - 7*a + 3596. Is a composite?
True
Let i = 29381 + -4114. Is i a composite number?
True
Let f = 5125 + -3367. Suppose -12*p - f = -15*p. Is p composite?
True
Let u(h) = 14*h - 3*h**3 + 2*h**3 + 15*h - 2 + 7 + 18*h**2. Is u(17) a composite number?
False
Let w be 4/1 - (6 + -6). Suppose 9*q + 75 = w*q. Is 140/q*3/(-2) prime?
False
Let g(d) = -2*d**3 - 6*d**2 + 9*d + 10. Let w be g(-5). Suppose -w - 515 = -4*a. Is a a prime number?
False
Let g be (0 + -1)*57633*6/18. Is 9/54 + g/(-6) prime?
False
Suppose -r - 4 - 8 = 0. Let t = r + 14. Is t/((-1)/((-182)/4)) a prime number?
False
Let w be ((-11)/(-2))/((-9)/(-648)). Suppose 480 = 3*v - w. Suppose 5*g = 2*g - 4*d + 431, -2*g + v = -2*d. Is g composite?
True
Let z(i) = -2*i - 9. Let c be z(-8). Let s(g) = 3*g**3 + 2*g**2 - 2*g + 1. Let a be s(2). Is (1 - a)*c/(-28) a prime number?
True
Let z = 5 + -2. Let k(n) = -n + 2*n**3 + 2*n**3 + n**3 + 3 - 2*n**z - 6*n**2. Is k(5) a prime number?
True
Let l(d) = -3*d**3 - 2*d - 6. Let p = 19 - 23. Let q be l(p). Suppose 3*x - q = 115. Is x composite?
False
Let s = 11 - -10. Let d = -16 + s. Let f(o) = 17*o. Is f(d) composite?
True
Is (3 - (-111111)/24) + (-21)/(-56) prime?
False
Let m(q) = -q**2 + 5*q + 4. Let x be m(6). Is (0 - 2) + -2 + 193 + x a prime number?
False
Let q(d) = 3*d**3 + 4*d**2 - 10*d - 26. Is q(9) a composite number?
True
Let m(q) = -63*q**3 - 8*q**2 - 14*q - 8. Is m(-5) a composite number?
True
Suppose 2*z + 3*z = 3150. Suppose 5*h + 0*l = l + z, 4*h - 518 = -2*l. Is h composite?
False
Let n(t) be the second derivative of -t**3/2 + 149*t**2/2 + 283*t. Let k(l) = -l**2 + 4*l - 3. Let p be k(3). Is n(p) composite?
False
Let y be ((-153)/(-2)*-10)/(15/(-50)). Let j = 3691 - y. Is j a composite number?
True
Suppose 0*c + c = -b + 2300, -4*c = 3*b - 6895. Is b composite?
True
Suppose 2*y - 539 = -5*c, -5*y + 5*c + 1437 = 142. Suppose -j + y = 5*n - 252, 3*j = 4*n + 1485. Is j a prime number?
True
Suppose 5*j = -2*p + 7*p + 1245, 2*j = -2*p - 494. Let k = -66 + 579. Let v = k + p. Is v a prime number?
False
Let n(q) = 65*q - 41. Is n(26) a prime number?
False
Suppose 10 = -2*t + 5*v, v - 3*v + 4 = -t. Suppose -5*a + 3*k + 560 = t, -2*a = -6*a - 2*k + 470. Is a a composite number?
True
Suppose 0*z + 37 = 2*z - 5*p, z - 3*p - 16 = 0. Let s = z + 1. Let o = s + 21. Is o composite?
False
Let j(p) = -1674*p - 33. Is j(-3) composite?
True
Let q = -28 + 162. Let x = 915 + q. Suppose 7*s = 2*s - 3*w + x, 205 = s + 3*w. Is s prime?
True
Is 3/2*((-819245)/(-15) + -13) a composite number?
True
Let c(d) be the third derivative of 41*d**5/60 + d**4/24 - d**3/6 - 4*d**2. Let m(o) = -o**3 - 7*o**2 - o - 4. Let p be m(-7). Is c(p) a prime number?
False
Suppose 5*u - x = -0*u - 4, -x = -4*u - 4. Suppose 3*j - 26 - 277 = -z, u = 4*z + 2*j - 1212. Is z composite?
True
Let g(n) = 61*n**3 + 3*n**2 - 14*n - 1. Is g(3) prime?
False
Suppose 7*m = 2*m - 10. Let k(r) = 4*r**2 - 52*r - 38. Let u be k(16). Is (m - -1)/(-2)*u a composite number?
True
Let w = -137 - -367. Suppose -3*k = w - 1703. Is k a prime number?
True
Let d(s) = s**2 - 6*s - 7. Let c be d(7). Suppose c = -j + 3*f + 160 + 658, -4*j + 2*f + 3242 = 0. Is j composite?
False
Let r(b) = -5482*b - 161. Is r(-4) composite?
False
Suppose 636 = 2*w - 4*t, -3*w + 936 = 2*t - 50. Suppose -y + 5*y - 2*s = w, 3*y = -s + 232. Is y composite?
False
Let j be (((-4)/10)/(2/(-5)))/(-1). Is 614/(-6)*3/j composite?
False
Suppose -2*f - 5*t = -4632, 8*f = 5*f + 4*t + 6971. Is f a composite number?
True
Let p = -63 + 22. Suppose 3*c - 48 = -3*g - 0*c, 5*g - 4*c = 98. Let i = g - p. Is i a composite number?
False
Suppose -2*d + 4*s = 2*s - 23038, 0 = 5*s. Is d prime?
True
Let n(l) = -160*l**3 - 2*l**2 - l + 2. Is n(-1) a composite number?
True
Let q be 3/(2 - -4)*6. Let u be -1 - (0 - q) - -261. Suppose -u = -5*o + 292. Is o a composite number?
True
Is (-1)/(2/(-16) - 356952/(-2856128)) composite?
True
Suppose 5*b = 3*x + 225, 4*x + 16 = 5*b - 279. Let a = x - -701. Is a prime?
True
Let z = 53 + -55. Is 1/1*z/(-2)*251 a prime number?
True
Let b = -37 - -41. Suppose -y + o + 34 - 570 = 0, 0 = -b*o - 20. Is y/(2/2)*-1 composite?
False
Let m = 3222 + -1329. Is m a composite number?
True
Let a(v) = -v**3 - 2*v**2 - 6*v - 5. Let o(z) = z**3 - z. Suppose -b = -4 + 2. Let x(t) = b*o(t) + a(t). Is x(6) composite?
True
Suppose -2*z = -1925 - 683. Let w = -885 + z. Is w a prime number?
True
Let o(d) = -28*d**3 + 11*d**2 + 10*d - 36. Is o(-7) prime?
True
Suppose 10 = -2*x - 0*x, -2*s + 2*x + 22 = 0. Let q be 65/10 + 3/s. Suppose 3*i = q*i - 580. Is i composite?
True
Suppose 14 = 5*t - 3*v, -5*t - 5*v = -24 - 6. Let i(q) = 2*q - 5 - 4*q**3 + 5*q**3 + 0