u, -165 = -s*c + 5*u. Is c a prime number?
False
Is (-309)/2163 - (-1728686)/7 prime?
False
Suppose -8*b + 6*b = -12. Suppose -2*c + 2*y + 2758 = b*y, -5*y + 20 = 0. Is c a composite number?
True
Suppose 398*g - 968034 - 79737592 = 55780116. Is g a composite number?
False
Let q(j) = 2*j**3 - 68*j**2 - 311*j + 40. Is q(51) prime?
True
Let j(n) = -86*n**2 - 19*n - 57. Let p be j(-8). Let i = -2564 - p. Is i composite?
True
Let j be 2/3 + (-1481890)/(-138). Suppose -5*f + 5*k = -j + 1254, -2*k = 2*f - 3786. Is f a composite number?
True
Let b = -69 + 77. Suppose 0*m + 3812 = 2*m + 2*x, -m = -2*x - 1891. Suppose r + 4*z - m = 0, -r - b*z = -3*z - 1904. Is r a composite number?
False
Let d = 99233 - 28896. Is d prime?
False
Let r = 556 + -562. Is (13827/r + -6)*-2 prime?
True
Suppose 0 = -4*o + o + 3. Let w = -1 + o. Suppose 2*z + 557 = 4*t + t, -4*z + 16 = w. Is t a composite number?
False
Is 1698390/(-12)*(-88)/66 + -3 a prime number?
True
Let x be (84/20)/(14/86590). Suppose -9*z + 2*z + x = 0. Is z a composite number?
True
Suppose -5833772 = -40*z + 12*z. Is z a composite number?
True
Suppose -2*p + 19*d - 218 = 21*d, -p - 2*d = 104. Is p/15*4820/(-8) prime?
False
Let c(m) = m**3 - m**2 - m + 13. Let v be c(0). Let j(t) = 4*t**3 + v*t**3 + 6*t**2 + 10 + t + 3. Is j(6) prime?
True
Let v(z) = -z**3 + z**2 - 2*z + 1693. Let j be (-6)/(-24) - (27/(-4) + 2). Let c be ((j - 4) + -1)/(-3). Is v(c) prime?
True
Suppose -24 = 9*m - 17*m. Suppose 6599 = m*f + 548. Is f prime?
True
Suppose -71*n + 74*n - w = 774422, -516258 = -2*n - 4*w. Is n composite?
True
Let c(j) = 131*j + 0*j**2 - 43 - 58*j - 64*j + j**2. Let u be c(-13). Is (-3327)/u*21/14*-2 a composite number?
False
Let r(f) = 3579*f**3 + 12*f**2 - 22*f + 7. Is r(2) a composite number?
False
Suppose -4*s = z - 6213, -38*z + 4*s = -42*z + 24804. Is z a composite number?
False
Let d be (4 - 7)*-1 - (32 + -1). Let u = d + 34. Suppose 4*p = 16, 5*p - 607 = -u*a + 5*a. Is a composite?
False
Let a = -10669 + 15348. Is a composite?
False
Let q(b) = 38*b**2 + 7*b + 4. Let i(z) = 14 - 24 + 11 - 3*z + z. Let n be i(3). Is q(n) prime?
True
Let t(p) = 2*p - p**3 + 24*p**2 - 5 - 10*p + 2*p. Let q be t(16). Suppose -o = -4*o + q. Is o a prime number?
False
Suppose -3*n = -6*n + 5*g + 43, n - 21 = 5*g. Let y(b) = -b**3 + 18*b**2 + 32*b + 4. Is y(n) a composite number?
True
Suppose 475430 + 388819 = 5*q + 256514. Is q composite?
False
Let i(c) = -698*c + 2509. Is i(-64) prime?
False
Let z(p) = 23806*p**2 + 17*p - 118. Is z(5) a prime number?
True
Suppose -5*c = 2*d - 566625, -c = -5*d + 49388 - 162740. Is c composite?
False
Let a = -57385 - -162124. Is a composite?
True
Let q(m) = 50*m**2 + 127*m + 184. Is q(-111) a composite number?
False
Suppose -a = -0*a. Let u(p) be the third derivative of -p**4/6 + 31*p**3/6 - 263*p**2. Is u(a) prime?
True
Suppose 6404 = 15*y - 13*y. Suppose -3*d - m = -6335, 5*d + 4*m - 13765 + y = 0. Is d composite?
False
Let b = 271 - -3156. Is b a prime number?
False
Let p(z) = -33*z**3 + 12*z**2 - 21*z + 157. Is p(-17) a prime number?
False
Let n(a) = a**2 - 3. Let i be n(-3). Suppose -i*v + 16 = 2*v. Is (v*(-13227)/9)/((-4)/6) composite?
False
Suppose 5*l = -5*b + 386510, -34*l - 77323 = -35*l + 2*b. Is l a composite number?
True
Suppose -5 = -6*n + 25. Suppose n*f - 24257 = 4*v, 0*f - 3*v - 19405 = -4*f. Is f a composite number?
True
Suppose 4*x - 18 - 4 = -2*h, -5*h = x - 10. Is (1 + h - 4308)*21/(-42) a composite number?
False
Is (385126/3)/((-4)/(-22) + (-1056)/(-2178)) prime?
False
Let x(g) = g**3 + 4*g**2 + 11*g + 4. Let j be x(-3). Let n = j + 23. Is (8 - n) + 290/1 a composite number?
True
Let c(j) = 9079*j**2 - 21*j + 15. Is c(-2) a composite number?
False
Suppose 5*o - p = 1450, 2*o = -o + p + 870. Suppose o*v - 287*v = 36009. Is v a prime number?
False
Suppose -4*t - 11518 = -5*z, -3*z + 2*t + 4929 = -1981. Suppose -3*b - 936 = -3*i, 5*i - z = 4*b - 747. Is i composite?
False
Let v be -4 + -1 + 7 + (-10 - -1). Let i be (((-168)/(-30))/v)/(2/10). Is i/18 + (-15827)/(-63) a composite number?
False
Is (-1775)/15*(-53394)/110 composite?
True
Let q(d) = -d**3 + 147*d**2 + 116*d - 267. Is q(135) a prime number?
False
Let i(x) = x - 6. Let a be i(5). Let n be (-4)/((-4)/(-9))*a. Suppose 0 = -n*q + 7948 + 953. Is q composite?
True
Let l(t) = -7*t - 63. Let s be l(-9). Is (5 + 10701)/(s/2 + 2) a prime number?
False
Suppose 0 = -13*w + 8*w - 4*z + 672367, z = -w + 134474. Is w a composite number?
False
Suppose 0*o + 3*a - 43 = o, -3*o = 4*a + 103. Let p = o + 40. Suppose -p*w + 177 = -312. Is w composite?
False
Suppose 19*a - 16*a = 2*i - 104096, -i + a = -52049. Is i prime?
True
Suppose 3*h + 2*h = -4*j + 76, 0 = 3*h - j - 49. Suppose 2*k - 2*d - 5512 = -5*d, -4*d - h = 0. Suppose 5*t = 3*t + k. Is t a prime number?
True
Let v be (1 + 8)*(-5)/(-5). Suppose 5*p - 12914 = -3*c, 4*p - v*p - 4*c + 12917 = 0. Is p a prime number?
False
Suppose 6*d = 12*d. Suppose 3*y - 496 - 47 = d. Suppose -4*j + 0*j = -t + y, -t = 4*j - 221. Is t a composite number?
True
Let t(w) = 205*w + 82*w - 6 - 719*w - 475*w. Is t(-1) a composite number?
True
Suppose -8 = 4*w + 2*v, -v = -6 + 10. Suppose w = 2*q - 4*y - 5262, -4*q + 5*y = -q - 7893. Is q a prime number?
False
Is (2/(-12) + ((-8566607)/42 - 2))/(-1) a composite number?
False
Let v(i) be the first derivative of 268*i**3/3 - 4*i**2 - 13*i + 86. Is v(6) prime?
True
Suppose -3*j + 3905 = 2*s - 0*j, 0 = -4*s - j + 7785. Suppose -2*l - 2*d + 722 = -1258, 5*d = 2*l - s. Is l composite?
True
Is 3597/143 - 25 - 51294/(-26) prime?
True
Let f(s) = -78530*s - 359. Is f(-3) composite?
False
Let z(y) be the third derivative of 1/6*y**4 - 17/6*y**3 + 1/20*y**5 + 0*y - 4*y**2 + 0. Is z(-12) a prime number?
True
Suppose 4*i - 2069 = 915. Suppose 1030 = 3*q - i. Let d = q - 275. Is d a composite number?
False
Suppose 4*m - 16*m + 2376 = 0. Suppose 0 = 2*c - 176 - m. Is c composite?
True
Suppose -660877 - 2269255 = -4*b + 3*j, -4*j = -3*b + 2197599. Is b a composite number?
False
Suppose 0 = -10*z + 245038 + 302042. Suppose 2*t - 2*j - z = 0, -t + 3*j + 27364 = -0*t. Is t a composite number?
True
Let m(b) = -20*b + 24. Let j be m(-1). Let s(v) = 39*v + 261. Is s(j) prime?
False
Let d(b) = -2*b**3 + b**2 + 4*b. Let k be d(-3). Suppose -2*t = -t + 2*o - 32, -5 = -5*o. Let f = k - t. Is f a prime number?
False
Is 3454581 + (-1)/(-7)*98 a prime number?
False
Let d(g) = 383*g**3 - 17*g**2 + 94*g + 39. Is d(7) prime?
False
Suppose 2*v + 0*v = -4*h + 16, h - v - 4 = 0. Let w(j) = -15 - 4*j**2 + 11*j + 2 + 3*j**2. Is w(h) prime?
False
Let v be (12/15*-119)/((-1)/180). Suppose -55*i = -58*i + v. Suppose -4*z - 2*w + 1872 = -i, -3*w + 7588 = 4*z. Is z a composite number?
True
Suppose -x = 3*u - 113072, 2*x - 7*x + 565410 = 5*u. Is x a composite number?
True
Let q = 272324 - 3669. Is q composite?
True
Suppose -5*p + 4 = 2*o, -2*o = 4*p - 4 - 0. Suppose p*g + 2*g = 3*b + 9, 0 = -2*g + 6. Is (b/(-2))/((-18)/(-7812)) prime?
False
Let w be (63/14 + -3)/((-6)/(-8)). Suppose -3*n + w*j + 2958 = n, 0 = 2*n + 2*j - 1464. Is n a prime number?
False
Let r = 42007 - 29947. Is (1 + r)/(0 - -1) prime?
False
Let o = -5110 + 13301. Is o a composite number?
False
Let y = -126 - -126. Suppose -6*u + u - 1 = 4*z, y = 5*u - 2*z - 23. Suppose -4*v + 0*v + 2*r = -3580, -5*v = u*r - 4453. Is v a prime number?
False
Suppose 6976 = 4*q - 5004. Suppose -5*c = -c + 2*j - 12010, -3*j = c - q. Suppose -7*v - c = -11*v. Is v a prime number?
True
Let n(q) = -3 - 21*q - 70*q - 67*q - 16*q. Let g be n(-3). Let s = g + 128. Is s composite?
False
Suppose 3*b - 161595 = -4*k, 4*b - b = -3*k + 161598. Is b composite?
True
Let o(f) = 3213*f**2 - 2. Let n be o(-1). Let m = n - 1274. Is m a prime number?
False
Let v(j) = -411*j + 157. Let u be (-3 - -4)/(2/(-4)) - 14. Is v(u) composite?
False
Let p be ((-114)/2)/3 - -2. Let b(y) = 30*y - 2630. Let f be b(91). Let l = p + f. Is l prime?
True
Let r = 2 + 5. Let x(g) be the first derivative of 147*g**2/2 + 20*g - 2. Is x(r) composite?
False
Let v(u) = 7321*u**3 - u**2 + 31*u - 30. Is v(1) composite?
False
Suppose -87*u = -92*u + 215150. Suppose -81*a = -71*a - u. Is a composite?
True
Let x be -4 + (17494 - (-18)/(-3)). Suppose 2*t + x = 4*d, -5*d + 21853 = -2*t - 0