number?
True
Let h(v) = 90*v**2 + v + 24. Is h(-11) composite?
False
Let a = 1493 - 911. Let f = a + -133. Is f composite?
False
Suppose -h - 425 = 206. Is h*(15/(-5) - -2) prime?
True
Suppose -178449 = -3*t + 3*a, -5*t + 2*a - 93256 + 390668 = 0. Is t a composite number?
True
Let n(a) be the third derivative of 1403*a**4/12 + a**3/2 + 20*a**2 - 1. Is n(2) a composite number?
True
Let r(p) = 18*p**2 + 2*p + 2. Suppose 0 = 4*o - 5*o - 4. Let v be r(o). Suppose -5*i = -v - 13. Is i composite?
False
Let k be 252174/9 - (2 + 2/(-3)). Suppose 5426 + k = 12*m. Is m a prime number?
False
Let a be (1 - -3 - -3) + 1. Is 1935/20 + 2/a a prime number?
True
Let k(r) = 35*r + 4. Suppose 10 = 3*j + 1. Is k(j) prime?
True
Let o(j) = -j - 1. Let a(z) = -302*z + 5. Let b(h) = -a(h) + 6*o(h). Is b(6) a composite number?
True
Suppose 5*j - 1662 = -h, 6*h + j - 1658 = 5*h. Is h a prime number?
True
Suppose 109 = -5*b + 10*b - 4*i, 0 = 5*i + 5. Is b composite?
True
Suppose -z - 14 - 19 = 0. Suppose -3*o + 5*x - 45 = 0, -2*o + 0*x = -2*x + 34. Let l = o - z. Is l prime?
True
Let q(r) = -r**3 - 29*r**2 - 37*r - 72. Is q(-41) composite?
False
Let y = -20 - -24. Suppose 0 = 5*j + t - y*t + 11687, 4*t - 2334 = j. Is 15/20 + j/(-8) a composite number?
False
Let d(p) be the first derivative of 15*p**4/4 + 2*p**2 + 6*p + 24. Is d(5) prime?
True
Let i be ((-14)/(-6))/(1/6*-2). Let z(t) = -t**3 + 8*t**2 - 9*t + 1. Is z(i) prime?
False
Let r be (4/6)/(3 - (-1876)/(-624)). Is (-2606)/(-16) + (-13)/r prime?
True
Let k = -24 - -10. Let c = k - -16. Is ((-7)/c)/((-9)/306) prime?
False
Suppose -11424 = -3*n + 5*w + 4608, -n + 5348 = -3*w. Is n composite?
True
Suppose 2*s - 6*s = 4*t - 8640, 3*s = -4*t + 8635. Suppose -3*x - 10420 = -4*l, x = -4*l + 8265 + t. Is l composite?
True
Let l(s) = -s**3 + 12*s**2 + s - 8. Suppose 5*n + 14 - 74 = 0. Let x be l(n). Suppose 10 = -2*w, -x*w - 54 + 1739 = 5*a. Is a a prime number?
False
Suppose -78379 = -46*x + 273659. Is x composite?
True
Suppose -5*t = 10, p = -0*p + 5*t + 489. Let n = p - 333. Is n prime?
False
Let j be 21/7*(-3)/1. Let l(d) = d**3 + 11*d**2 + 12*d - 3. Is l(j) composite?
True
Suppose -3*v = -2*q + 33133, -4*v + 590 = 5*q - 82300. Is q a composite number?
True
Let t(h) = -4*h - 1. Let k be t(-1). Suppose -2*f + 0*a = -a - 875, -4*a = k*f - 1318. Let x = f + -220. Is x composite?
True
Let w(b) = 3*b**3 - 21*b**2 - 5*b + 22. Is w(15) prime?
True
Let f(t) = -22*t + 7. Let j(m) = -22*m + 7. Let c(n) = 3*f(n) - 4*j(n). Is c(9) composite?
False
Let z = 4456 - 1395. Is z a prime number?
True
Let i(l) = -14*l + 8. Let v be i(-7). Suppose 0 = -t - 2, 0*t + v = -4*f - t. Let y = -15 - f. Is y a composite number?
False
Let o = -56 + 50. Is (-2 + (-8)/(-3))/(o/(-15993)) composite?
False
Let r(w) = -3*w**3 + 2*w**3 + 6*w - 6 + 0*w + 2*w**3 + 14*w**2. Is r(-11) a prime number?
False
Let b = -349 - -4068. Is b a composite number?
False
Suppose 12*h - 4*h + 152 = 0. Let r = -19 - h. Suppose -2*f + 4*a + 282 = r, 2*f - f - 4*a = 143. Is f composite?
False
Let h(q) be the first derivative of 13*q**3/3 + q**2 - 7*q - 1. Suppose -18 = -3*u + 6*u. Is h(u) composite?
False
Let o(p) = 136*p**2 - 3*p - 11. Is o(-12) prime?
True
Let l be ((-402)/(-9))/((-5)/60). Let s = 1093 + l. Is s a prime number?
True
Let l(c) = -c + 681. Let h = -24 - -44. Let x = -20 + h. Is l(x) prime?
False
Suppose -5*w - 17*q = -12*q - 2410, -2*w = -3*q - 944. Is w prime?
False
Let f = -1851 + 6348. Suppose -2*s - s = -f. Is s prime?
True
Let b(i) = -39*i - 1. Suppose -4*d + 92 = -4*v, -3 = 2*v - v + 3*d. Is b(v) a composite number?
False
Suppose 0 = -2*s + 5*i - 457, -i + 165 + 56 = -s. Let w = s - -653. Is w composite?
True
Let q(g) = -7*g**3 - 3*g**2 + 13*g + 14. Is q(-13) composite?
False
Let r = 256 + -263. Suppose -63 = -j + 47. Is r/((-7)/j) + 1 composite?
True
Suppose -24*z - 14361 = -96849. Is z a prime number?
False
Let m = -6 - -9. Suppose -m*w + 5*n = -301, -w + n = -4*w + 325. Let t = 756 - w. Is t a prime number?
False
Let j(r) be the first derivative of 123*r**2 - 5*r - 2. Suppose -4*d + 8 = -0. Is j(d) a composite number?
False
Let m(y) = y**3 - 8*y**2 - y + 8. Let j be m(8). Suppose 5*g = 4*p + 273, j*g + g - 63 = -2*p. Is g composite?
True
Let l(s) = s**2 + 6 - 10*s + s + 0*s**2. Let r be l(8). Is (r/(-3))/(26/5811) composite?
False
Suppose -21*x + 1575883 = -1619204. Is x a composite number?
False
Suppose -4*j + 3*k - 4*k + 40 = 0, -2*j + 34 = 4*k. Let o = 11 - j. Suppose -2*g - 123 = -3*g - 2*p, -3*g + 409 = -o*p. Is g composite?
True
Let k be 2 - -1 - 430/(-1). Suppose -154 = 3*d - k. Is d a composite number?
True
Let v = -1243 - -6410. Is v a prime number?
True
Let f(s) = s**2 + 14*s - 14. Let h be f(-15). Is (-6)/h*(-568)/24 a composite number?
True
Let k(d) = 471*d + 25. Is k(2) prime?
True
Let b(u) = 345*u - 17. Is b(6) a composite number?
False
Suppose 2*a - 1545 = -3*a. Let k(g) = g**3 + 8*g**2 - 13*g. Let w be k(-11). Let o = w + a. Is o prime?
True
Let p(q) = 15*q + 19. Let y be p(6). Suppose -3*m + 29 = -y. Is m a composite number?
True
Let r = 14720 + -5329. Is r composite?
False
Let b = 5 - 25. Let g = 20 + b. Suppose -6*z - 212 + 2744 = g. Is z a composite number?
True
Suppose 0 = -4*z + 3*x + 235882, -2*x = -z + 25537 + 33431. Is z/60 - (232/60 - 4) composite?
False
Suppose r + 14552 = 4*g, -18 + 2 = 4*r. Is g prime?
True
Suppose 5*n + 3 = -7. Is (-36)/54*609/n a composite number?
True
Let k be (-1)/4 + (-5)/(-20). Suppose -b - 3*s = -47, -2*b + 2*s + 12 + 74 = k. Suppose 5*w + b - 574 = 0. Is w prime?
False
Suppose 776 = -2*x + p, 3*p - 423 = x - 35. Let l = x + 855. Is l a prime number?
True
Let v = -233 - -271. Is v a prime number?
False
Let y(x) = -x**3 - 3*x**2 + 2*x - 4. Let i be y(-4). Suppose 3*v - b = 5*v - 5791, -i*b = v - 2913. Is v prime?
False
Let c be ((-13433)/2 - 5)/((-3)/(-4)). Let t = c - -12621. Is t prime?
True
Let i(l) = -100*l**2 - 5*l - 2. Let c(h) = 99*h**2 + 4*h + 2. Let p(o) = 5*c(o) + 4*i(o). Is p(1) a prime number?
True
Suppose -3*r = 3*a - 22107, 5*r = r - 5*a + 29476. Is r a composite number?
False
Suppose 3*g = 4*m - 53656, -10*g + 5*g = -20. Is m composite?
False
Is 7655*(29/116 + (-2)/40) a prime number?
True
Suppose -9*u + 3*u + 58980 = 0. Suppose -4*y - y = -u. Is y a prime number?
False
Let u(l) = -110*l - 33 - 453*l + 75 - 38. Is u(-3) prime?
True
Suppose 1779 = s - 1176. Suppose 5*q = 4430 + s. Is q a composite number?
True
Let r(n) = 250*n**2 + 20*n + 63. Is r(8) composite?
False
Let v(j) = -j**3 - 11*j**2 - 13*j + 7. Let r be v(-11). Let a = 509 + -288. Suppose 5*x - 36 - r = -g, -a = -g + 2*x. Is g a prime number?
True
Let v(m) = 925*m - 499. Is v(24) composite?
False
Let m be (0/(6/2))/(-2). Let s be (m + (2 - 1))*258. Suppose 0 = 4*t - 5*t - a + 136, s = 2*t - 5*a. Is t a prime number?
False
Let s be (5/(-15))/((-3)/45). Suppose 6815 - 1150 = s*j. Is j prime?
False
Suppose 102*x - 100*x - 21302 = 0. Is x a composite number?
False
Let w(k) = -7565*k + 120. Is w(-5) a composite number?
True
Let o = -2 + 2. Let p(d) be the second derivative of -d**5/20 - d**4/12 + d**3/6 + 163*d**2/2 - 37*d. Is p(o) a prime number?
True
Suppose u - 5*i = 1803, 4*u - 7116 = -4*i + 192. Is u a prime number?
True
Let q be (9*-243)/(-1) - -1. Suppose -17052 = -4*n - q. Suppose 1176 = -4*t + n. Is t a composite number?
True
Suppose -144222 - 187253 = -25*h. Is h a composite number?
False
Let y = -5375 - -7788. Is y a prime number?
False
Let n(v) = 2*v**2 - 8*v + 4. Let m be n(5). Let z(g) = 7*g**2 - 19*g + 17. Is z(m) a composite number?
False
Is (-89751)/(-2)*(-100)/(-150) composite?
False
Let k(g) = 65*g - 1. Let p(b) = -4*b + 64. Let r be p(12). Is k(r) a composite number?
False
Let t(r) = 66*r**2 - 36*r + 71. Is t(-21) prime?
False
Let v = 5098 - -9667. Is v a composite number?
True
Suppose 74172 = 2*r + 5*k - 7165, 0 = -5*r + 5*k + 203290. Is r composite?
True
Is ((-339)/2)/(-1)*(-14732)/(-174) a prime number?
False
Let g be (1 - 2 - 19)*2/1. Let c = 429 - g. Is c prime?
False
Is 9389 + -1*(-7 - -1) prime?
False
Let c = 13979 - 9652. Is c prime?
True
Let i(h) = -h**2 + 10*h + 15. Let q be i(11). Suppose q*s + s = 20. Suppose s*l - 5*l + 67 = 0. Is l composite?
False
Let i = 5593 + -2816. Is i a composite number