204. Is a a composite number?
True
Suppose -2*b + 5*s = -49718, 2*b + s - 72495 = -22753. Is b a composite number?
True
Suppose 47*n - 52*n = -13610. Is n composite?
True
Let n be (1 + -4)/(-20 - -19). Suppose 2*x - x - 4 = 0. Is -138*(n + (-14)/x) a prime number?
False
Suppose 2*y = -g + 4198, 2099 = y + 4*g - 9*g. Is y prime?
True
Suppose 142*x = 136*x + 51378. Is x composite?
False
Let z(a) = 29*a**2 - 13*a + 53. Let s be z(6). Suppose -3*b + 502 = -2*b - 3*p, 2*b = 3*p + s. Is b a prime number?
False
Let s = -83 + 78. Let h(x) = -8*x**3 + 6*x**2 + 13*x - 12. Is h(s) prime?
False
Let m(g) = g + 14. Let n be m(-10). Suppose -n*c + 615 = -c. Is c prime?
False
Suppose 0 = 64*b - 12*b - 167596. Is b composite?
True
Let v(g) = -g + 3. Let n be v(-2). Suppose 5*f + 1904 = n*w + 3*f, 4*w + 5*f - 1543 = 0. Is w a composite number?
True
Let w(h) = -47*h - 8. Is w(-11) a composite number?
False
Let o = 70195 - 31362. Is o a prime number?
True
Let y(w) = -3*w**3 - w**2 + 5*w + 2. Let x be y(-2). Suppose -x*t = 391 - 1459. Is t composite?
False
Let y(u) = 6*u**3 - 6*u**2 - 25*u - 20. Is y(9) a prime number?
True
Let z(t) = 11*t + 3. Let s be z(-3). Let q = 25 + s. Is 489*q/(15/(-2)) prime?
False
Suppose -10 = -2*c, -5*c = 4*p - c - 40. Suppose 3*r = -r + 5*h + 20, 62 = p*r + 3*h. Is r prime?
False
Suppose 0 = 3*v + 1048 - 7639. Suppose 4*g - 2427 - v = 0. Suppose -5*l - 606 = -2*k, 6*k + 4*l = 2*k + g. Is k prime?
True
Suppose 2*r - 6184 = -3*u, 4 = -u + 8. Is r prime?
False
Suppose -49524 = 43*g - 166441. Is g a prime number?
True
Is 54/9 - (-2 - 4011) prime?
True
Let c(a) = 65*a**2 - 3*a + 4*a + 54*a**2 + 45*a**2. Let u be c(2). Let t = u - 321. Is t composite?
False
Suppose 0 = 2*i - 3*u - 2701, 0 = -2*u - 7 + 1. Let v = i + 639. Is v a composite number?
True
Let g be -2 + -15*(-3 - 79). Suppose 0 = 2*d - 6*d + g. Is d a prime number?
True
Let x(h) be the second derivative of 2*h**3 + 0 + 2*h - 7/2*h**2. Is x(7) composite?
True
Let f(i) = -2*i**2 - 12*i + 17. Let u be f(-7). Suppose -u*g = -g - 2146. Is g a prime number?
False
Is (-2)/(14800/(-22164) + 6/9) composite?
False
Suppose -2*u + u = 6. Let n be 56/(-6)*u/4. Suppose 0 = -2*a + y + 9, 2*y + n = 3*a - 0. Is a a composite number?
True
Suppose -2*q = 5*t + 83, -q = q + 2*t + 68. Let b = -9 - q. Suppose b*c + 159 = 23*c. Is c a prime number?
True
Suppose -5*d = 11*d - 37424. Is d prime?
True
Let g(d) = d**2 + 5*d + 4. Let u(y) = y**3 + 9*y**2 + 8*y - 5. Let s be u(-8). Let x be g(s). Let t(v) = 21*v - 10. Is t(x) a composite number?
True
Let o be (((-7)/(-4))/(-7))/(2/8). Is o/((-2)/4*-2) + 70 composite?
True
Let c be 1/((-6)/(-4) + -1). Let z be (-6)/12 - (-3)/c. Let l(m) = 83*m**2 - 2*m + 2. Is l(z) prime?
True
Let n(m) = -21*m + 10. Let z be 3/2*10/(-3). Let g be n(z). Let s = g + 264. Is s a prime number?
True
Suppose 4*j = 3*y + 2*j + 11, -19 = 3*y - 4*j. Suppose 3*x + 5*n = 1, -x = -0*n + 2*n - 1. Let z = y - x. Is z a prime number?
True
Let m be 3/(-2)*10/(-3). Suppose d + m*i = 30, 0 = -2*i - 0*i + 10. Suppose -d = -l + 16. Is l composite?
True
Let k = 6480 - -1483. Is k a composite number?
False
Let q(i) = -i + 22. Let m be q(25). Let y(x) = -39*x**3 + 3*x**2 - 3*x - 2. Is y(m) a composite number?
False
Let p(x) = 67*x + 22. Let n be p(-7). Is (-2)/4 - n/2 prime?
True
Is (-64220)/(-12) + (1 - (-5)/(-3)) a composite number?
False
Let o(f) be the first derivative of f**3/3 + 3*f**2 + 22*f + 9. Is o(-17) composite?
True
Let g = 6 - -2. Suppose -l - g = -5*l. Suppose 0 = l*c - 6, -h + 2*c + 111 = -142. Is h a prime number?
False
Suppose 1278*g + 16070 = 1280*g. Is g a prime number?
False
Suppose o + 5*h - 13 = 0, -3*o - h - 5 = o. Let t = o + -10. Is ((-6)/t)/((-1)/(-4358)) prime?
True
Let a be (594/(-5))/(-2)*5. Let c = -186 + a. Is c a prime number?
False
Suppose 3*h = -0*h - 3*k + 18, 2*h = -k + 10. Suppose -1929 = -c - 4*c - 4*t, h*c = 3*t + 1568. Is c prime?
True
Suppose 50*v - 8382 = 44*v. Is v a composite number?
True
Suppose 3*x + 146 = x. Let o = x - -142. Is o composite?
True
Let i(a) = -a**2 - 4*a - 2. Let q be i(-4). Let r = q - 0. Let f(d) = 16*d**2 - 5*d - 5. Is f(r) a composite number?
True
Let b(q) = 4*q - 10. Suppose f - 11 + 4 = 0. Let o be b(f). Let y = o + 91. Is y composite?
False
Suppose 2*o = 2*h, -4*o = h - 6 + 26. Let a(b) = -b**3 - 5*b**2 - 4*b + 3. Let s be a(h). Is s/((-5)/((-1410)/9)) a composite number?
True
Is 5 + 643 - (-4 + 3) composite?
True
Suppose 4*i = -2*a + 3*i + 1368, 0 = 3*a + 4*i - 2062. Let n = a + 1011. Is n prime?
True
Let m(y) = y**3 - 4*y**2 + 3. Let g be m(-5). Let i = -110 - g. Let n = i - -89. Is n a prime number?
False
Suppose -2*c + 120 = 50. Is (c/10)/((-1)/(-394)) a composite number?
True
Suppose -t + 41 = 111. Let l = t - -3. Let p = 22 - l. Is p a prime number?
True
Let v(m) be the first derivative of m**2 - 16*m + 1. Let o be v(10). Suppose k = 2*z + z + 352, o*k = -z + 1434. Is k composite?
True
Let k be (-26)/((2 + -3)*-2). Let c be 3 - -1 - 2*k. Suppose -c*d - 1255 = -35*d. Is d composite?
False
Let z(r) = -2*r**2 + 10*r - 9. Let x be z(9). Let o = x - -348. Is o a composite number?
True
Let b be 85/25 + (-8)/20. Is 789 - (5/b + (-3)/(-9)) a composite number?
False
Let v be (-10)/(-3) - (-4)/6. Suppose -v*c - 5*x + 17 = 0, 3*x = -2*c + 4 + 5. Suppose -3*w = -c*f + 9, -2*f - 15 = -5*f - 3*w. Is f a composite number?
True
Let d(z) = z**3 + z**2 + 1. Let j(l) = 8*l**3 + 5*l**2 + 14*l + 13. Let m(w) = 6*d(w) - j(w). Is m(-8) a prime number?
True
Suppose l = -537 + 1970. Let c = -876 + l. Is c a prime number?
True
Let a = 3669 - -2282. Is a prime?
False
Let d(y) = -y**2 - 9*y + 26. Let u be d(-11). Suppose u*x - 2335 = -x. Is x prime?
True
Let a(o) = -304*o - 31. Let h be a(-13). Suppose 0 = 4*w + s - h, w + 4*s = -3*w + 3936. Is w a composite number?
True
Let u(r) be the first derivative of r**3/3 - 2*r**2 - 9*r + 28. Is u(-8) a composite number?
True
Suppose -2*s + 4*t - 29 = -1395, 4*t + 687 = s. Is s a prime number?
False
Let y(p) = -153*p**3 + 5*p**2 - 9. Is y(-4) prime?
False
Is (5 - 6)*(-2067 + -1)/4 a composite number?
True
Let a(v) = -v + 2. Let f be a(0). Let z(l) = -f*l + 2 - 7*l**2 + 12*l**2 - 3. Is z(-6) prime?
True
Suppose 47*n - 20 = 43*n. Suppose n*c - 6*c = -593. Is c a prime number?
True
Suppose -4*m + 36 - 12 = 0. Suppose -2*p + s = m*s - 347, -3*p = -s - 478. Is p prime?
False
Is 3*-2 + 33494 + (-63)/9 a composite number?
True
Let v be (-6)/(-2)*204/(-9). Let d = 147 + v. Is d composite?
False
Suppose -309 = -4*a + 47. Is a a prime number?
True
Let s = 1395 + -762. Suppose -5*m + 6*d + 1055 = 2*d, d = 3*m - s. Is m prime?
True
Let s(l) = 5484*l**2 + l - 2. Suppose -2*k - 1 = 5*q, -2*q - 2*k + k = 1. Is s(q) prime?
True
Let l(b) = -28*b**3 - b**2 - 1. Let m be l(-2). Suppose 0 = 4*w - m + 31. Suppose -a + 80 = -w. Is a composite?
False
Is 28382*15/40 + (-6)/24 a composite number?
True
Suppose -5*q - 5*k + 20970 = 0, 4*q - k - 20970 = -q. Suppose -4*b + 1350 = 2*c, -q = -5*c - 3*b - 805. Is c a prime number?
False
Let j(k) = -24*k - 5. Suppose -240 = -4*r - 4*z, 1 = -z - 2. Suppose -3*u + 24 = r. Is j(u) a composite number?
False
Suppose -31*i - 5*s - 171857 = -33*i, i = 3*s + 85928. Is i a composite number?
False
Let n = 12 - 5. Suppose -3*r + 3549 = -n*u + 2*u, 0 = -3*u. Suppose -5*g = -502 - r. Is g a prime number?
True
Suppose 0 = 5*r - 4*s - 756, 0 = -4*s + 2 + 2. Let g = r + 179. Is g composite?
False
Let k(i) = 77*i**2 + i - 1. Let t(z) = -385*z**2 - 6*z + 6. Let m(j) = 11*k(j) + 2*t(j). Suppose -4*g + 22 = 10. Is m(g) a composite number?
False
Suppose 46*l = 53*l - 58205. Is l a composite number?
True
Suppose 82975 + 570683 = 6*x. Is x composite?
False
Let n(a) = -a**2 - 10*a - 12. Let d(q) = -q**2 - 3*q - 4. Let k be d(-4). Let p be n(k). Suppose -2*u = 2*j + 2*j - 522, p*u = -j + 1030. Is u prime?
True
Suppose -3*z - 3 = -4*z. Let y be (z*1)/(51/34). Suppose -6*a - 4 = -y*a, 4*g - 6168 = -4*a. Is g prime?
True
Let x = -640 - -366. Let r = x - -1437. Is r prime?
True
Let z be 4/(-2)*-1 + 12. Let y = -117 - -109. Let c = z + y. Is c a prime number?
False
Suppose 63 = c - 520. Let g = c + 3. Is g a composite number?
True
Let y(k) = k**3 - 27*k**2 - k + 27. Let z be y(27). Suppose -5*p + 5*l + 415 = -2*p, -3