ite number?
True
Let b(a) = a**2 - 20*a + 43. Let x be b(13). Is (-6522)/4*32/x a composite number?
False
Suppose 322*n + 74927325 = 397*n. Is n a composite number?
True
Suppose -27*y + 2631619 - 642853 = 0. Suppose 0 = -13*f - 13*f + y. Is f prime?
True
Suppose -2*w + 6 = -48. Let r = -21 + w. Suppose -r*b + 1842 = -0*b. Is b prime?
True
Let d(g) = -570*g**3 + 11*g**2 + 59*g + 385. Is d(-6) a composite number?
False
Let u = 7770 + -5009. Is u prime?
False
Suppose q = -4*n + 45682, 47*n - 42*n - 91382 = -2*q. Is q a composite number?
True
Suppose 6*c + 309 = 2595. Suppose -2*p = -133 - c. Is p a prime number?
True
Let h = 41 + -41. Suppose n - 239 - 152 = h. Is n composite?
True
Suppose 13*h = -17*h + 30. Is 1*((h - -2) + 11860) a composite number?
False
Let a(z) = -29*z**3 - 6*z - 9. Let j be a(-6). Suppose 11*w - 12*w - m + j = 0, 5*m - 10 = 0. Is w a composite number?
True
Let j(i) = 829*i**2 + 20*i - 22. Is j(3) composite?
False
Let k(l) = 2*l + 2. Let h(b) = 869*b + 18. Let c(y) = h(y) + 6*k(y). Is c(7) a composite number?
False
Is (335222/(-4))/(1/2 + -1) composite?
False
Let y(z) = 882*z**2 - 10*z + 20. Let d be y(14). Suppose 42*r + d = 797166. Is r composite?
False
Suppose -3*o - 17*m = -12*m - 51696, m = -2*o + 34471. Is o a prime number?
False
Let l be (-27)/2*582/(-9). Let q = -915 + 527. Let z = q + l. Is z a composite number?
True
Let i = 103078 - 57765. Is i a prime number?
False
Let o(j) = 62*j**3 - 81*j + 14. Is o(15) prime?
True
Let v(p) = 44*p**2 - 339*p + 716. Is v(101) composite?
True
Let g = -103 - -106. Suppose -p + 4 = 5*w, -w = g*w - 5*p - 9. Is 2 + -2 - -471 - (w + 1) a composite number?
True
Let l be (-7)/(-1) + 1/1 - 3. Suppose 0 = -4*u - l*j + 5603, -2*u + 3*j + 707 = -2078. Is u a prime number?
False
Let b = 846072 - -113377. Is b a prime number?
True
Let d be 1*3*(58 - 71). Is 10638/2 + (d - -37) a composite number?
True
Suppose -u + 3*t + 23 = 8*t, 0 = 2*u - 5*t + 29. Suppose 7004 = -2*j - 4*w, -5*j + 0*j + 3*w = 17549. Is u + (9 - 4 - j) a prime number?
True
Suppose 4699 = -6*j + 28903. Let n = 7185 - j. Suppose 4*k - 5024 = -5*p + n, 0 = -5*p - 5*k + 8180. Is p a composite number?
True
Suppose 3*h - 19765 = 5*y + 11732, -y - 2*h - 6289 = 0. Is (8 - 6 - y)*1 prime?
True
Let q(i) = i**2 + 6*i + 15. Let s(o) = 19*o**2 + 2*o + 10*o - 41*o**2 - 14 + 11*o**2 - o**3. Let m be s(-12). Is q(m) a composite number?
False
Let o = 178 + -170. Is 5380/o - 2/(-4) prime?
True
Suppose 5*a = 5*y - 9*y + 263, 0 = -4*a - 3*y + 210. Let o = a + 1162. Is o a prime number?
True
Let b(p) = 4*p - 4. Let s be b(2). Suppose -5*j - w = -2300, 3*w - 1840 = -4*j + s*w. Suppose -4*n + 2*n = 0, -4*z = 5*n - j. Is z a prime number?
False
Suppose -k = -5*h - 2993228 + 39886, 3*h = -5*k + 14766850. Is k a composite number?
True
Suppose 105*k - 203*k + 49936474 = -26152882. Is k prime?
False
Suppose 6*l - 372 - 42 = 0. Let j = -64 + l. Suppose f - 5*n - 313 = 0, 2*n - j*n - 12 = 0. Is f a prime number?
True
Let z(v) = -v**2 + 36*v + 311. Is z(42) a composite number?
False
Suppose 7*f = 9*f - 2. Is 888 + f - (6 + -6) composite?
True
Let j(n) = 200*n**2 + 17*n - 13. Is j(3) composite?
True
Let d(v) be the second derivative of 2*v**3/3 + 80*v**2 - 18*v. Let n be d(0). Suppose 0 = 4*j + 4*o - n, 5*j + o - 63 - 125 = 0. Is j prime?
True
Let s be 2/((0 + 4/18)/(-4)). Let t = s - -40. Is (-304)/(-8)*2/t composite?
False
Let i(j) = -j**3 - 4*j**2 - 4*j - 3. Let m = 29 - 31. Let r be i(m). Let c(x) = 43*x**2 + 3*x + 1. Is c(r) composite?
False
Let p(m) = 10*m**2 + 70*m - 56. Let g be p(-29). Let w = -3257 + g. Is w a prime number?
True
Let t(b) be the second derivative of 29*b**4 - b**3 - 5*b**2/2 - b - 17. Is t(-2) prime?
True
Let r(c) = -17601*c + 2485. Is r(-26) composite?
False
Let m = 362634 + -250307. Is m a composite number?
False
Let o(k) = -2*k**2 + 2*k + 8. Let x be o(3). Is 1/(5/(-109420)*x) a prime number?
True
Let g(k) = 5157*k + 533. Is g(28) a composite number?
True
Let x be 18/(-8) + 1/4. Let b(v) = 2 + 2 - 123*v - 7 + 14. Is b(x) composite?
False
Suppose -233*j = -236*j + 38055. Let i = -3152 + j. Is i a prime number?
True
Let l be (15/(-10))/3 - 12583/2. Let q be l/16 - (1 - (-10)/(-8)). Let p = q - -667. Is p a prime number?
False
Let w(d) = 120*d**3 - 5*d**2 + 5*d - 7. Is w(3) a prime number?
True
Let v = 22152 - 10067. Is v a prime number?
False
Suppose -7*g = -5*g. Suppose g*t - 5*t - 1 = 4*d, -2*t = d + 4. Is -4 + (3/d)/((-2)/(-284)) a prime number?
True
Let f be (-8 - 102/(-12))/((-2)/28). Let v(k) = 23*k**2 - 28*k + 13. Let i(a) = -8*a**2 + 9*a - 4. Let r(y) = -7*i(y) - 2*v(y). Is r(f) a prime number?
True
Suppose -37*f - 5*x + 2446475 = -36*f, 2*f = 4*x + 4893006. Is f a prime number?
False
Let p(s) = 137*s**2 + 16*s - 60. Let v be p(4). Let c = v + 1997. Is c prime?
False
Is -8 + 10682202/66 + (-132)/242 a composite number?
True
Suppose -f + 3*f - 2 = 0, -3*p = -3*f - 69. Suppose p*z + 11652 = 27*z. Let c = z + -2413. Is c prime?
True
Suppose 4*b = -2*i - 42, 4*i + 29 = 3*b - 22. Is (-54617)/i + (-72)/540 composite?
True
Let u(l) = 42*l**2 - 117*l + 5473. Is u(50) a prime number?
True
Suppose 3*a - 9 = -4*m + m, -5*a - m + 31 = 0. Let y(f) = -9 + 18 + a + 0 - 53*f. Is y(-9) composite?
True
Let q(x) be the third derivative of -x**4/12 + 5*x**3/6 - 9*x**2. Let f be q(0). Suppose 14*o = f*o + 5823. Is o prime?
True
Is 36432 + (7 + -14 + 11)*(-2)/(-8) composite?
False
Is 14683561/9 - (-96)/432 a composite number?
True
Let v = 78 - 68. Let s(u) = 119*u - 113. Is s(v) a composite number?
True
Let o = 7901 - 992. Suppose 0 = -2*t - 12 + 4, 5*h + 4*t - o = 0. Is h a prime number?
False
Let n be (-1452)/(-26) - 2/(-13). Let i = n - 30. Suppose -i = -0*z - 2*z. Is z composite?
False
Let l = 14757 + -9981. Suppose 4*u + 0*t + 4*t = 0, -u - 3*t = 8. Suppose -u*i + 11229 + 12506 = 5*p, -p + l = -5*i. Is p a composite number?
False
Let k = -18998 - -119041. Is k a prime number?
True
Suppose 0 = -q + k + 22, 8*q - 3*q - 2*k = 119. Suppose -8 + q = m - 5*f, -2*m + 5*f = -24. Suppose m*o + o - 6632 = 0. Is o a composite number?
False
Let l(i) be the second derivative of i**3/6 + 13*i**2/2 + 11*i. Let r be l(-6). Suppose r*m = 446 + 135. Is m a composite number?
False
Suppose -5*o = -27 + 17. Let w be (9/(-6))/(o/(-356)). Let c = -10 + w. Is c a composite number?
False
Suppose -3*t + 104493 + 173364 = -3*l, -2*l = -3*t + 277861. Is t composite?
False
Suppose -5*a = 3*h - 57880, 2*h - 12083 = 5*a - 69988. Is a composite?
False
Let y(s) = 71*s**3 - 68*s**2 + 44*s + 13. Is y(12) composite?
False
Let k(u) = -46 - 8*u + 32 + 110*u + 161*u. Is k(9) prime?
False
Let n(a) = 475*a**3 - 3*a**2 + 89*a - 94. Is n(9) a composite number?
False
Let o(m) = m**2 - 19*m + 25. Let a be o(13). Let n = a - -54. Is (-29)/n*(-14 + 3) composite?
True
Let w = -1 + 3. Suppose -w*d + 43 = -3*d. Let v = 366 + d. Is v composite?
True
Suppose -m - 686 = 1605. Suppose 163*c - 28512 = 155*c. Let h = m + c. Is h a composite number?
True
Let o = -366 - -397. Suppose -33*g + o*g - 58258 = -4*w, -2*w - g + 29123 = 0. Is w prime?
True
Let p(k) = 4*k**3 - 46*k**2 + 6*k - 29. Let m be p(27). Let d = m - 6626. Is d prime?
False
Suppose -953498 = -11*n - 285699. Is n a prime number?
False
Suppose -12*j + 11*j + 641467 = 3*n, -5*j - 427622 = -2*n. Is n composite?
False
Let l(s) = -s**3 + 16*s**2 - 15*s + 7. Let g be l(15). Suppose -g*w + 5478 = -1277. Let z = w - -4134. Is z composite?
False
Suppose -6*r = -0*r - 144. Is 239096/r + 8/(-6) a prime number?
False
Suppose 5*f + 3*f - 54429 = 257963. Is f composite?
True
Suppose -k + 15 = 4*k. Suppose 8*o - 2041 = -y + k*o, 0 = -3*y + o + 6075. Let b = -1385 + y. Is b prime?
True
Suppose -5*o = 49 + 1. Let z(m) = -7*m - 68. Let s be z(o). Suppose 3*f - v - 812 = 528, -s*v = 4*f - 1790. Is f prime?
False
Let f be (-15)/(-9)*-20*3/(-2). Let z be (247825/f)/((-1)/(-2)). Let a = -5318 + z. Is a prime?
False
Let a be 4*(28/(-16) - (-5)/1). Suppose 0 = -a*z - 7*z + 1780. Is z prime?
True
Let a = 31 + -28. Suppose -5*c = -a*c - 6. Suppose -c*s - 3*p + 1002 = 0, -3*s - 1023 = -6*s + 4*p. Is s composite?
False
Let l be 6/1 + -5 + 11. Suppose -2*z + 2*o + 792 = 0, -5*o + 799 = -10*z + l*z. Is z prime?
True
Suppose -3*v + 139 = b, 0 = -4*v - b + 5