+ 2424/240 composite?
True
Suppose -36*x - 37*x = -61*x - 424716. Is x a prime number?
True
Let a(y) = -2*y - 1. Suppose 5*m - 2*l = m - 16, 2*l - 1 = -m. Let d be a(m). Suppose -d*t - 846 = -5041. Is t composite?
False
Let y(n) = -857 + 970 - 341*n + 1205*n + 324*n. Is y(12) a composite number?
False
Let y(v) = v**2 + 8*v - 34. Let b be y(-12). Suppose 8*a = b*a - 6690. Is a prime?
False
Suppose 4*j + 4 = 5*r, 6*r - r + 5*j - 40 = 0. Suppose -3*c = r*u + 40194, 2*c + 26796 = u + 4*u. Is c/(-70) - 3/(15/2) a prime number?
True
Let c be (2/(-6))/(30/(-582030)). Let t = -3570 + c. Is t a composite number?
False
Suppose 0 = -11*t + 218 - 174. Suppose o + 2193 = 2*c, 0 = 4*c - 8*c - t*o + 4392. Is c a composite number?
False
Let k = 74 + -121. Let y = k + 51. Suppose 0 = -c - t + 392, c - 2*c + y*t + 417 = 0. Is c prime?
True
Suppose 0 = -5*j - 70 + 80. Let q(o) = -o + 11. Let y be q(6). Suppose 0 = c - y*c - 5*f + 8030, 2*c - 4006 = j*f. Is c a prime number?
False
Let t(b) = 3 + 8*b**2 - 10*b - 16 + 2 - 6. Is t(5) a prime number?
False
Let t(o) = 13*o + 28. Let z be t(2). Is -2*834875/(-90) + 12/z composite?
False
Suppose -12*g + 23568 = 4*g. Let j = 2534 - g. Is j prime?
True
Let u(i) = -3946*i**3 - 1. Suppose -9*t = -3*t + 6. Let g be u(t). Suppose -g = -93*v + 88*v. Is v prime?
False
Suppose 4*l - 6*y - 26957 = -y, -4*y + 20241 = 3*l. Is (-6)/(-18)*3*l a composite number?
True
Let j(r) be the third derivative of -r**6/120 + 29*r**5/60 + 5*r**4/4 + 11*r**3/2 + 40*r**2 + 3*r. Is j(16) a composite number?
True
Suppose -728*c + 1579364225 = 192468169. Is c a prime number?
True
Let b = 85 - 81. Suppose -7*w - 21091 = -4*s - 12*w, -b*w = -s + 5257. Is s composite?
True
Is (-4*6056/(-64))/((-8)/(-1136)) prime?
False
Let p = 35 + -6. Let c = 48 - p. Is -3 + c + (-12)/(-4) a composite number?
False
Suppose -3*j = -2*t + 6, -4*t - j = -3*j - 12. Suppose t*v - 2332 = 2951. Is v a composite number?
True
Let u be (-5)/(50/64)*(-23280)/96. Suppose u = -9*c + 25*c. Is c prime?
True
Let u = 14 + -13. Let r be 3 + -3 - u - -6. Suppose r*x - 7880 = -2065. Is x composite?
False
Let q = -592 - -601. Let k(b) = 17*b**3 - 19*b**2 + 11*b - 14. Is k(q) a composite number?
False
Suppose -5*g - m = -279878 + 88898, -5*g - 4*m = -190965. Is g composite?
False
Let k(h) = 13*h + 28. Let l be k(-2). Is l + 7 + -5 + 1717 a composite number?
False
Suppose -5*h = m - 59742, 0 = h + 3*m + m - 11937. Suppose 17668 = 8*f - 23731 - 17817. Let l = h - f. Is l composite?
False
Suppose 4*u = 3*n + 62, -4*n - 8 = -8*n. Suppose 15 = -3*d, t - u*d = -20*d + 6050. Is t composite?
True
Let j(z) be the first derivative of 23*z**3/3 - z**2/2 + 77*z + 42. Is j(-9) a composite number?
False
Let m be (285 + -2)*(7 - 4). Let f(b) = -3*b - 27. Let q be f(-10). Suppose -m = -q*k + 30. Is k a prime number?
True
Let w(b) = 5*b - 29. Let u be w(7). Let f be 250/(1/(-6) + 7/u). Let q = f - 161. Is q prime?
True
Let j(b) = 3*b + 9. Suppose 4*p = -3*k + 20, -3*k - 4*p = -2*p - 16. Let n be j(k). Let c = n - -536. Is c a composite number?
False
Let p(n) = -n**3 + 18*n**2 + 2*n - 34. Let c be p(18). Is (-7775)/10*c/(-5) composite?
False
Suppose 19 = 3*n + 10. Suppose -3*j + 2960 = 2*s, s + n*j = 3*s - 2936. Suppose -4*u + 1509 = -0*u - 5*o, -4*u = 2*o - s. Is u a prime number?
False
Suppose 12*d - 24*d + 546693 = -10095. Is d a prime number?
True
Let m(v) = v**2 + 26*v + 41. Let j be m(-42). Let w = j - 196. Is w a composite number?
True
Suppose -2*f = -3*f + 5166. Let v(o) = 21*o + 120. Let d be v(-6). Is (f/(-27))/(4/d) a prime number?
False
Let c be (21 + -21)*(0 + 1). Suppose c*g - 2165 = -4*g - 3*d, 3*d + 2740 = 5*g. Is g a composite number?
True
Let g(s) = s**3 + 36*s**2 - 27*s - 515. Is g(-36) prime?
True
Suppose -404 + 424 = 4*z. Suppose -2*w = q - 327, 0*q - 2*w - 1647 = -z*q. Is q a composite number?
True
Suppose -26*a + 125207 = -94571. Let n = -5494 + a. Is n a prime number?
False
Let u(m) = 625*m**2 + 32*m + 43. Is u(-8) composite?
True
Suppose z - z + 6*z = 0. Suppose z = 2*w - 287 - 2571. Suppose 4*t - 2239 = w. Is t a prime number?
False
Let x(p) = 6*p**3 - 4*p**2 - 18*p + 21. Let m be x(6). Let i = m - -413. Is i a prime number?
False
Let a(m) = 2*m**3 + 5*m**2 - 6*m + 6. Let g(f) = -f**3 - f**2 - f + 1. Let h(t) = -t + 10. Let o be h(9). Let s(b) = o*g(b) - a(b). Is s(-6) prime?
True
Let p(g) = 656*g - 1521. Is p(68) prime?
False
Let f = -16986 - -37523. Is f prime?
False
Suppose -2907 = -3*y + 12*j - 16*j, 0 = -2*y - 5*j + 1931. Let n = y + -484. Is n a prime number?
False
Suppose 5671965 = -14*j + 116*j + 616641. Is j a prime number?
False
Let f = 140 + -109. Suppose 63287 - 7146 = f*d. Is d prime?
True
Let d(w) = w**3 + 12*w**2 - 3*w + 137. Let a be d(-13). Suppose 5*s = k + 58155, 8*s = a*s - k + 11631. Is s composite?
True
Let l = 541349 + 255224. Is l a composite number?
True
Suppose 0 = -m - 190*h + 193*h + 201896, 3*m + 5*h - 605618 = 0. Is m prime?
True
Let k(q) = -3*q**3 + 11*q**2 + 5*q - 10. Let y be k(8). Let n = 7184 + y. Suppose 2*c = -4*t + n, 5*t + 4*c + 2658 - 10631 = 0. Is t a prime number?
True
Let n = -147 + 156. Suppose l = 4*l + n, l + 32016 = 3*f. Is f composite?
True
Let x = -238 - -242. Suppose 52 = -5*l + y, -4*l + y - 4*y = 34. Is -4 + (2103/x)/(l/(-40)) a composite number?
False
Let w(u) = -3*u - 249. Let f be w(0). Let q = -496 - f. Let j = q - -836. Is j prime?
False
Let w = 12478 + -5568. Suppose 8*j - 4762 - w = 0. Is j a composite number?
False
Suppose -27183 - 5040 = -3*c. Let j = c - 5594. Is j prime?
True
Suppose 0 = -n - 7, -1601*n + 1603*n + 10779 = f. Is f composite?
True
Suppose 11*y - 158312 = -3135. Is y composite?
False
Let v be -3*7/(-105) - (-1140931)/(-5). Is (v/168)/(2/((-32)/6)) composite?
True
Let u = -16985 - -39790. Is u composite?
True
Let u = -17014 + 27043. Is u a composite number?
True
Let w = 255397 - 71760. Is w composite?
False
Let a = -2411084 + 4603273. Is a a prime number?
False
Suppose 4*a = 3*t + 16186, 5*a + 5*t = 9409 + 10841. Let k be (0 + 2)*46256/32. Let y = a - k. Is y a composite number?
True
Suppose -4*p - 9 = -w, 4*p = -15*w + 12*w - 21. Suppose -600 = 3*v + 4*u, -3*v = -0*v + 2*u + 594. Is v/p - (-6)/(-18) composite?
True
Let d = 29579 + 151817. Suppose 11*n - d = 129233. Is n a prime number?
False
Let b(h) = 8*h + 35. Let v be b(-4). Let p(x) = 10*x**3 + 5*x**2 - 2*x - 10. Is p(v) prime?
False
Suppose -174*t + 178*t - 2124 = 0. Suppose -t = 4*p - 1799. Let m = -54 + p. Is m composite?
False
Let f = -95544 - -258653. Is f a composite number?
False
Suppose -3*w = 2*p - 8473, -3*p + 16966 = p + 2*w. Suppose p = 118*z - 114*z. Is z a prime number?
True
Let b(y) = -y**2 - 25*y - 59. Let x be b(-17). Let j = x + -77. Suppose j = 3*w - 4*c - 215, -3*w - 70 + 281 = -5*c. Is w a prime number?
False
Let f = -21 + 1. Let m be -16*(8925/f)/7. Let z = 2501 + m. Is z prime?
False
Suppose 448*b - 456*b = -64. Is 26677/7 - b - -8 prime?
False
Let x be -4*(-1 - -2) + 7. Suppose -3*h - 3*q + 0*q - x = 0, -19 = -2*h + 5*q. Suppose -3*a + 3*m + 360 = 0, -5*m = 4*a - h*a - 261. Is a a prime number?
False
Let f(a) = -874*a + 879. Is f(-23) a prime number?
True
Let i(c) = c**3 - 7*c**2 + 9*c + 5. Let v be i(5). Let n(w) = w**2 + 2*w + 2. Let h be n(v). Suppose 4*j - h*j - 5914 = 0. Is j prime?
True
Suppose 3*l - 3032710 = 5*m - 10*m, 1819622 = 3*m + l. Is m a composite number?
False
Suppose 24312 + 724 = -11*v. Let o = 5403 + v. Is o a composite number?
True
Suppose 4*u + 0*w = -4*w + 16, 0 = -3*u - 4*w + 15. Let z(q) = 5*q - 2. Let b be z(u). Suppose y + b*t = 2044, -3*y + 4076 = -3*t - 2092. Is y a prime number?
True
Let n(z) = 365*z + 58. Suppose -8*h + 30 = -42. Is n(h) composite?
False
Let r(w) = w**3 - w**2 + 751. Let f = 76 - 80. Let v = f - -4. Is r(v) composite?
False
Let i(b) = -251*b + 466. Is i(-23) composite?
True
Suppose -3*b = -5*i + 12, 0 = -2*i + 3*b - 5*b - 8. Let v(r) be the first derivative of r**2/2 + 259*r + 6. Is v(i) a prime number?
False
Suppose 3442 = 6*d - 21*d + 29467. Is d a composite number?
True
Suppose 30*g - 85120 = -8*g. Let x = g - -5415. Is x composite?
True
Suppose 36 = -2*u - u. Let m = u + 16. Suppose m*w = 2*x + 226, 3*x = -6 - 3. Is w prime?
False
Suppose -5*o = -9*o - 6*o + 358590. Is o co