01523. Is y a composite number?
True
Let v = 4 - 4. Suppose 9*k - 46 + 1 = v. Suppose -k*q - q + 1074 = 0. Is q prime?
True
Let u(t) = t**2 - 2*t + 17192. Let m be u(0). Suppose 23*k + m = 31*k. Is k prime?
False
Suppose 4*k + 66*v - 2967688 = 60*v, k - 741895 = 3*v. Is k prime?
True
Let q(x) = -65240*x - 2643. Is q(-2) a prime number?
True
Let i = 15407 - 2640. Is i a composite number?
True
Suppose -12887153 = -42068*i + 42045*i. Is i prime?
True
Let f(x) = -1 - 2*x**2 + 6*x + 2 - 8*x - 99*x**3 + x. Let q be f(-1). Is (q/(-18))/(1/(-58)) prime?
False
Let r be 160/50 + -1*(-1)/(-5). Suppose -p + 1186 + 777 = 2*y, -5873 = -r*p + 2*y. Let m = 3106 - p. Is m composite?
True
Let w = -159 + 178. Suppose -5554 = w*f - 21*f. Is f composite?
False
Let w(y) = 152*y + 17. Suppose 3*v - 3 = -2*v - 3*d, d - 8 = -4*v. Suppose -10 = -v*j + 17. Is w(j) composite?
True
Suppose -24*p = -12*p - 36. Suppose a = 4*k - 305, 0 = p*k + 4*a - a - 240. Suppose 77 = z + 3*o, -3*z - k = -4*z + 3*o. Is z prime?
False
Let a(h) = 107*h + 1. Let c be a(-2). Let d be 3*(-18 - 1)*c/(-9). Is (d + 4)/(-5) + -4 a prime number?
False
Let w(h) = 1822*h + 761. Is w(3) composite?
True
Suppose -2*k + 19 = -4*k - 3*h, -16 = -2*k + 4*h. Let u(l) = -2205*l**3 + 4*l**2 + 3*l - 3. Is u(k) a composite number?
True
Suppose 9*t - 372 = 6*t. Suppose -y + 41 = -i, -2*i - t = -3*y - 0*i. Let s = y + -31. Is s prime?
True
Let p(m) = m**3 - 4*m**2 + 6. Let i be 4/(-16) - (-17)/4. Let l be p(i). Is (-4*(-1846)/(-12))/((-4)/l) a composite number?
True
Suppose -627751 = -14*o + 11*o - 4*w, -4*w = -3*o + 627743. Is o a composite number?
False
Let y(c) = -285*c - 7. Let u(z) = 282*z + 8. Let j(d) = -2*u(d) - 3*y(d). Let h be (-18)/(-8) + (-2)/8. Is j(h) prime?
True
Suppose 128 - 10796 = 3*u. Let l be ((-24)/(-28))/(1/u). Is 2/4 - l/16 a composite number?
False
Let v = -90619 + 196230. Is v composite?
True
Let l be (2*(-12)/8)/(39/(-47476)). Is 1*((5 - -2) + l) a composite number?
False
Let l be (2/(-4))/((-2)/28). Let m(d) = 10*d**2 + 14*d - 5. Let o be m(l). Let g = 1052 - o. Is g a composite number?
True
Suppose 4*i = 8*i - 4*p - 28360, 0 = i + p - 7092. Is i composite?
True
Suppose -3 = -35*d + 36*d. Let j be d/((-12)/3152)*2. Suppose 449 = -7*q + j. Is q a composite number?
True
Suppose 24*d - 22*d = 4*w - 6, 2*d = 5*w - 4. Let s = -3 + 1. Is (d/s - 4)*-7726 a composite number?
False
Suppose 5*r - 70244 = 3*f - 5*f, 56197 = 4*r + f. Suppose 2*w - 7936 - r = 0. Is w prime?
True
Let n = 119 + -105. Is 8/n - 5725199/(-287) a composite number?
False
Is (-1180)/(-8)*25790/25 prime?
False
Let o = 763 + -255. Let s = o - 243. Let h = s + 478. Is h a composite number?
False
Let k be ((-10)/7)/(18/(-63)). Suppose -2*l + 9 = l. Suppose 0 = -2*x + k*z - z + 74, l = -3*z. Is x a composite number?
True
Let g(q) = 2*q**3 + 1. Let x be g(1). Let i(v) = 570*v**2 + 4*v + 5. Is i(x) a prime number?
True
Is (-15736 + -83)/(6/(-22)) a prime number?
False
Suppose 7*w + 10*w = 255. Suppose 14*l + 12554 = w*l - 5*m, 0 = -3*l - m + 37710. Is l prime?
True
Let d = 119239 + -39690. Is d a prime number?
True
Let i be 1 - (-3)/(15/10). Suppose 3*v = 5*o - 12524, -5*o - i*v + 19355 - 6849 = 0. Is o a prime number?
True
Let a = -49 + 49. Suppose a = -3*j + 3*w, -2*w + 2 = -2*j + w. Suppose -j*g + 5*g = 153. Is g a composite number?
True
Let l(z) = 38*z + 179 + 21*z - 147. Let d be l(-12). Let r = d - -1155. Is r prime?
True
Let s = 101 + -96. Suppose -5359 = -s*g + b + 5451, -4*b = -2*g + 4342. Is g a composite number?
False
Let x(z) = z**3 + 36*z**2 + 203*z + 4. Let m be x(-29). Let n be 5*-2*2/(-5). Is 1717 - ((-4 - m) + n) composite?
False
Let j(m) = 6*m**3 - 11*m**2 - 101*m - 171. Is j(33) a composite number?
True
Let q(z) = -439*z**3 - 6*z**2 + 25*z + 25. Is q(-12) a prime number?
False
Suppose -2*l + 68917 = 3*c - 20011, -4*c + 8 = 0. Is l prime?
False
Let y(i) = 72*i**2 + 23*i - 19. Let c be y(-14). Suppose -p - 2*b = -6149, 5*p - c - 16941 = b. Is p prime?
True
Let m(z) = -4514*z + 41. Let f(w) = 13543*w - 128. Let x(y) = 2*f(y) + 7*m(y). Is x(-3) a prime number?
True
Let g be (-8)/(-6) - 9/27 - -7. Suppose 11*x - g*x = 3*y + 4962, 3*y = 2*x - 3307. Is x a composite number?
True
Suppose 0 = 2*l + s - 161701, -36*l + 32*l + 323395 = 3*s. Is l a prime number?
False
Is (-3)/30*(-3 - 34059799) - 6/5 a composite number?
False
Suppose -2676 = 9*o - 12*o + 5*c, 3568 = 4*o + 5*c. Let p = 1445 - o. Is p composite?
True
Suppose -5*j - 599735 = -5*w, 4*w - 26*j = -30*j + 479836. Is w prime?
True
Let s = -69424 - -121343. Is s composite?
True
Suppose 32*p = 34*p + 8. Is (-32682)/(-2 + p) - (-6)/3 prime?
True
Suppose 78 = 3*b + 3*a, 3*b - 94 = -4*a - 15. Suppose 3*s + w + b = -0*w, 30 = -s + 4*w. Is 46*((-295)/s)/1 a composite number?
True
Let q = -18 - -5584. Let o = -4809 + 8616. Let z = q - o. Is z prime?
True
Let j(t) = 16*t**2 - 10*t - 18. Let i be j(-15). Let k = i + -1153. Is k prime?
True
Let y(g) = g + 1. Let x be y(3). Suppose x = 4*h, 7*h = -f + 3*h + 657. Is f a prime number?
True
Suppose -5*h + 5*p = -7975, 7*p - 6*p + 6377 = 4*h. Suppose 0 = 7*x - 5*x - h. Is x a prime number?
True
Let f = 9966 + 17233. Is f a composite number?
True
Let k(x) be the first derivative of x**4/4 + 5*x**3 - 4*x**2 - 7*x + 5. Let d be k(-12). Let r = -320 + d. Is r a composite number?
True
Let d(m) = -5103*m**3 + 13*m**2 - 3*m - 11. Is d(-2) a prime number?
False
Let r = 9 - 1. Suppose 0 = 4*j - 20 + r. Suppose 2*y - j*y - 5*i + 309 = 0, -2*y = 2*i - 586. Is y composite?
True
Let f = -113 - -120. Let a(t) = t**2 - 6*t - 8. Let m be a(f). Is -25 - -24 - (-112)/m*-2 a composite number?
False
Let g = 1175828 + -577185. Is g a prime number?
True
Let c = 649 - -5851. Suppose 6*s + j = s + 16250, -4*j + c = 2*s. Let x = s + -1349. Is x a prime number?
True
Let w(r) = 223*r**2 - 278. Let k(m) = 149*m**2 - 185. Let t(a) = -7*k(a) + 5*w(a). Is t(-14) a prime number?
False
Let c = 1148 - 2293. Let s = c - -1690. Is s composite?
True
Let f be (-6)/((1 - (-12)/280) + -1). Let u = 145 + f. Let t(g) = 7*g**2 + 2*g + 6. Is t(u) a prime number?
True
Let k be -1 + (4 + -1)/(8 + -9). Let z = k - -8. Let x(y) = 32*y + 3. Is x(z) composite?
False
Suppose -6*o + 5*o = -2. Let l(g) = g**3 + 8*g**2 + 13*g + 6. Let p be l(-6). Suppose 2*c - 3*b - 1361 = p, 5*c + o*b - 3340 = -3*b. Is c a composite number?
False
Suppose 13*m + 122*m = 39*m + 24260064. Is m composite?
False
Let p be -2 + 0 + 3 + 4. Let w(z) = 614*z - 1. Let d be w(p). Suppose 4*c - d = 903. Is c a composite number?
True
Let u be (-16 - 2334) + (7 - 4). Let g = u - -7970. Is g composite?
False
Suppose -5*f - 5*n = -6*n - 3562, -2858 = -4*f - 2*n. Let m = 1198 - f. Is m a composite number?
True
Let h(u) = 50*u**2 + 16*u - 6. Let j be h(-15). Suppose 8*n = -j + 34036. Is n prime?
True
Suppose 0 = -546*n + 564*n - 577818. Is n prime?
False
Suppose 0*i - 2*u + 8 = 3*i, -i = 5*u + 6. Suppose 0 = 3*n + 2*k - 3451, -1563 - 1886 = -3*n - i*k. Is n a prime number?
True
Suppose -b + 29*b - 639772 = 0. Let r = b - 9968. Is r a prime number?
False
Let z = -16118 - -62347. Is z a composite number?
False
Suppose 0 = 2*s + 4*h - 34, -2*s - 3*h + 0 = -30. Let w = -7 + s. Let g(j) = 36*j - 1. Is g(w) a prime number?
True
Suppose 5*n - 57741 = -4*u, 0 = 3*n + 2*u - u - 34639. Suppose 6*p = p + n. Is p composite?
False
Let i(v) = -5*v**2 - 38*v**2 + 24*v**2 - 17 + 20*v + 23*v**2. Let w(m) = m**3 - m**2 - 2*m + 1. Let n be w(3). Is i(n) a composite number?
False
Let s = -39211 + 112584. Is s prime?
False
Suppose -31*m + 42*m = 3971. Suppose 5*u = 1174 + m. Is u a composite number?
False
Let v(x) = -x**3 - 15*x**2 + 50*x - 69. Let o be v(-18). Suppose 5*i = o*c - 5089, -4*i + 7*i = -6. Is c a composite number?
False
Let l(b) = 4*b**3 + 208*b**2 - 21*b - 73. Is l(-50) a prime number?
False
Let q(r) = -26 + 147*r + 297*r + 13 - 33*r. Is q(4) prime?
False
Suppose 0 = 3*f - 3*n - 25728, n = -2 - 1. Suppose d = 5*d - 13004. Suppose 0 = -6*a - d + f. Is a composite?
False
Is (-12 + 540/48)*-571348 prime?
False
Suppose 58*c + 12 = 59*c. Let w = c - -134. Let n = w + 833. Is n a prime number?
False
Let t = -166 - -171. Suppose 5*h = 3*j - 5798, -9652 = -10*j + t*j - 3*h. Is j a prime number?
True
Suppose -157*q + 2512693 = 