site number?
True
Let a(u) = 518*u - 835. Is a(13) composite?
True
Is (-3 + 2 - 4) + (-9 - -19392) composite?
True
Let c = 19 - 16. Let o be -6*16/(-12) - c. Suppose -4*f = -3*k + 17 + 756, 0 = -3*k - o*f + 782. Is k composite?
True
Let o(n) = 3 - 2 - 47*n - 12 - 8. Is o(-6) prime?
True
Suppose 0 = 5*i - 4*j - 357, 0 = 4*i - 0*j + j - 294. Suppose -y - m + i = -1463, 3*m = -3. Is y a prime number?
False
Let v = 1284 - 815. Is v a composite number?
True
Let p(n) = -697*n - 176. Is p(-21) prime?
True
Suppose -3*j + 4*m = -13, 1 + 2 = -3*m. Let t(k) = 37*k**3 + 3*k**2 - 3*k - 1. Let s be t(j). Suppose -3*a + 1016 = 4*v - a, -4*v - 5*a + s = 0. Is v prime?
False
Let g(d) = -37*d**2 + 4*d - 2. Let l be g(3). Let t = -582 + 1392. Let v = t + l. Is v a composite number?
False
Is ((-7170)/12)/((-14)/28) prime?
False
Let u = -28901 - -46570. Is u composite?
False
Suppose 0 = -6*p - 283 - 215. Let d = p - -204. Let l = d + 94. Is l composite?
True
Let m = -18 + 18. Suppose m*l = -l + 4. Suppose -2*u = -l*a - 182, -a - 423 = -5*u + a. Is u a prime number?
True
Let j = -3948 - -6215. Is j composite?
False
Let p(s) = -85*s + 36. Let r be p(-15). Let k = -594 + r. Is k a composite number?
True
Let t(i) be the third derivative of 3*i**5/20 - 5*i**4/24 - 3*i**3/2 - i**2. Suppose 22*f - 50 - 60 = 0. Is t(f) a composite number?
False
Let q = 327 - 228. Suppose 0 = -2*y - 3*v - 118, -2*y - y + 5*v - 215 = 0. Let t = y + q. Is t a composite number?
True
Let x(w) = 3*w**2 - 19*w - 9. Suppose 3*f - 17 = 28. Is x(f) a composite number?
True
Suppose 5*k - 25364 = -2*d, 5*d - 5*k - 63395 = -10*k. Is d a prime number?
False
Let k(i) = -2*i**3 - 3*i**2 - 2*i - 1. Let z be k(-2). Let r = -12 + z. Is (-260)/r - (-6)/2 composite?
True
Suppose 22*i = 23*i + 14. Let p = -10 - i. Suppose m - b = 14 + 72, -p*m + 317 = 5*b. Is m prime?
True
Suppose 4*j + 1554 - 6158 = 0. Is j a composite number?
False
Let a(z) = -3*z**2 + 5*z - 4. Let r be a(2). Let s(x) = 6*x**2 - 6*x + 1. Is s(r) composite?
True
Suppose -4*u + 4 = 4*t + 52, -4*t + 5*u - 21 = 0. Is 1*((-4245)/(-6) - t/6) a prime number?
True
Let h(m) = -28*m**3 + 3*m**2 + 11*m + 27. Is h(-4) composite?
False
Let u = -1089 + 3948. Is u composite?
True
Let z = -18 + 29. Suppose -z*i = -6*i - 2935. Is i prime?
True
Let b be (130/20 + 2/(-4))/(-2). Is (-2)/(b/((-402)/(-2))) prime?
False
Let j = 242 - 131. Is j a composite number?
True
Let f(m) be the third derivative of m**6/120 + 3*m**5/20 + m**3/3 - 5*m**2. Let p be f(-9). Suppose -p*i + 716 = 2*i. Is i a composite number?
False
Let x = 3572 + -1734. Suppose -13*t + 11*t + x = 0. Is t prime?
True
Let t(m) = -m**2 + 5*m - 1. Let s be t(-6). Let u = 104 + s. Is u a prime number?
True
Let a(z) = 71*z. Let y be a(-7). Let i = -204 - y. Is i a prime number?
True
Let j be (1 - 0)/((-24)/(-27) - 1). Let o be (-962)/(-8) - (-3)/(-12). Let x = o + j. Is x a composite number?
True
Let x(o) = 579*o**3 - 8*o**2 + 16*o + 1. Is x(2) prime?
False
Let o(d) = -471*d + 26. Is o(-25) a prime number?
True
Suppose -3*y + 4*y + 3*k = 8843, 0 = -y - 2*k + 8843. Is y composite?
True
Suppose 4 = -4*p - 4*k, -6*k + 18 = -4*p - 3*k. Let j be -3 - ((-45)/(-3))/p. Let d = j - -29. Is d composite?
False
Let k be (96/(-36))/(2/(-6)). Suppose -1 = -3*d + k. Suppose -a = -d*c - 49, -59 = -3*a + 2*a - 2*c. Is a a composite number?
True
Let k(t) = -35*t + 2. Let w(m) = 71*m - 3. Let p(r) = 9*k(r) + 4*w(r). Let h be p(-10). Suppose 0*g + 4*g - h = 0. Is g prime?
True
Let t = 22 + -60. Let n be t + 0*(-2)/6. Is (-7 - -10) + n/(-2) a prime number?
False
Is ((-6 - 3) + 10046)*1 a composite number?
False
Let k(q) = 1954*q**2 + 27*q + 88. Is k(-5) prime?
False
Let f = 78 - 62. Suppose 93 = 3*i - 0*i. Let c = i - f. Is c prime?
False
Let r(d) = -d**3 + 5*d**2 + 23*d + 13. Is r(-16) prime?
True
Let u(r) = r - 13. Let t be u(13). Let g be t/((-10 - -2)/(-4)). Suppose -5*f - 5*z + 690 = 0, -4*z - 592 = -g*f - 4*f. Is f prime?
False
Let h(d) = d - 9. Let k be h(7). Let x(g) = -g**2 + 1. Let i(a) = -101*a**2 + a - 4. Let p(v) = -i(v) - 3*x(v). Is p(k) composite?
False
Suppose 0 = -3*f - 2*z + 907233, -396*z + 907233 = 3*f - 391*z. Is f a prime number?
True
Suppose 2*o + 976 = -950. Let z = 1638 + o. Let r = z - -380. Is r a composite number?
True
Let h be (-9)/(-12) - 80235/(-12). Suppose -2*t = 5*r - 5*t - h, 2680 = 2*r + 4*t. Let u = -919 + r. Is u a composite number?
False
Let v = 9458 + -4609. Suppose 5*g + 20 = 0, 0 = 5*k + 3*g - 694 - v. Is k a composite number?
True
Suppose -5*f + 15 + 30 = 0. Let q be -2 + (-6)/(-4) + 50/(-20). Is (17/q)/(f/(-999)) a composite number?
True
Suppose 2*r = 4*d + 6*r + 8, -26 = 5*d - 3*r. Let a be ((-2)/d)/(2/12). Suppose 5*i - a*g - 2957 = 0, 1485 = 4*i - 2*g - 879. Is i a prime number?
False
Let n = -68 + 73. Suppose 3*h + 3642 = n*h + 5*d, -7256 = -4*h - 3*d. Is h prime?
True
Suppose -2*m + b + 9 = 0, 5*b + 17 = -4*m - 0*b. Suppose 2 = m*l + 5*n, 5*l = 2*n + n + 67. Is l prime?
True
Let z(w) = 6*w - 3. Let k be z(1). Is 3432/9 + k/(-9) composite?
True
Let y(v) = 9370*v**2 + 64*v + 65. Is y(-1) prime?
True
Let g(h) = 92*h**2 - 5*h - 1. Let l be g(5). Suppose 2*q - 795 = a, -5*q = 2*a - l + 300. Suppose q - 1347 = -3*x. Is x prime?
True
Let m(o) = o**3 - 34*o**2 + 41*o + 32. Let z be m(33). Suppose b = 2*b + x - z, x = -2. Is b composite?
True
Let r(o) = 3*o**2 + 8*o + 1. Let g(m) be the second derivative of m**5/20 + 2*m**4/3 + 3*m**3/2 + m**2 - 9*m. Let n be g(-7). Is r(n) a composite number?
False
Let f be 2/10 + (-155708)/(-35). Suppose 0 = 3*s - 1206 - f. Suppose 15*r - 20*r + s = 0. Is r a composite number?
True
Suppose 5*d - 11 - 14 = 0. Let h(v) = v**2 + 2*v + 1. Let z be h(-1). Suppose z = d*x - 10*x + 1505. Is x a composite number?
True
Let o(x) = -2*x + 5*x + 159 + 472. Is o(0) a prime number?
True
Suppose -2*p - 2*p = -20, -j - p = 0. Is (-2366)/j - (-3)/(-15) prime?
False
Let t = -5682 - -9625. Is t a composite number?
False
Suppose -5*d = -7*d + 10626. Let k = -2050 + d. Is k a prime number?
False
Suppose -2 = -5*d + 13. Suppose -7*b - 32 = -d*b. Is (-2 + 1)*(b + -345) a composite number?
False
Let u = 11 - 8. Let s = -1 + u. Is (-2409)/(-15) + s/5 a prime number?
False
Is ((-252803)/707)/((-1)/7) a composite number?
False
Let i = -14 + 16. Suppose i*r = -4*a + 634, -a - 3*r = -78 - 93. Suppose 3*j + j = a. Is j a prime number?
False
Is (-110)/10*1*-191 prime?
False
Let p(z) = 145*z**3 - 8*z**2 + 10*z + 3. Is p(2) a composite number?
False
Let h(f) = -16*f**2 + f - 4. Suppose 3*m - 2*y - 14 = -0*m, -4*m - 8 = 4*y. Let k be h(m). Let s = 119 + k. Is s composite?
False
Let c(h) be the third derivative of h**6/24 - h**5/6 + 7*h**4/24 + h**3/2 + 16*h**2. Is c(7) a composite number?
False
Let r(v) = 2*v**2 - 5*v + 7. Let f be r(3). Suppose 5*n + 0 = f. Suppose 3*l = 2*g + 875, n*l = -2*g - 354 + 924. Is l a composite number?
True
Suppose 3*s = -2*y + 90553, 3*s + 30176 = 4*s - y. Is s composite?
False
Suppose 0 = -8*f - 2 + 26. Suppose -3*v - 479 = -4*v. Suppose 0 = f*w + 3*m - 483, m - 3*m = 3*w - v. Is w a composite number?
False
Suppose -21 + 3 = -2*q - 3*p, -3*q - 4*p + 26 = 0. Suppose q*h - 5*h = 382. Is h a prime number?
False
Let m(o) = o**3 + 11*o**2 + 7*o + 4. Let c be m(-10). Let k = -65 + c. Let r = 6 - k. Is r composite?
False
Let l be (81/12)/(1/24). Let d = -120 + -131. Let k = l - d. Is k composite?
True
Let z be (-5)/(-3) - 2/(-6). Suppose -7 = z*r - 181. Is r prime?
False
Let y be (-6)/(-4) - 90/12. Let s(k) = -k - 7. Let n be s(y). Is (-72 + 4/4)/n prime?
True
Let d be (1 - 1) + (-2 - (1 - 1)). Is 208 - (2 + (-28)/8)*d a composite number?
True
Is (3/(-9))/((-12)/19476) a prime number?
True
Let h(q) = 4 + 39*q - 36*q + 14*q**2 + q**3 + 5. Is h(-4) a prime number?
True
Suppose 6*v = 7*v + 1069. Let o = v - -2087. Is o composite?
True
Suppose -2*q - 3 = -43. Suppose 535 + 38 = 3*v. Suppose q = l - v. Is l prime?
True
Suppose -x = -0*x + 461. Let u = 6 - 256. Let c = u - x. Is c prime?
True
Let d = -1 - -1. Suppose 3*j - 4*l = 10, -3*j - 7 = 4*l - 33. Suppose d = -o + j*o - 635. Is o composite?
False
Let p = 7812 + 13315. Is p a composite number?
True
Suppose 4*b = p + 721, b - 2*p + 348 = 3*b. Let h = b + 6. Is h a prime number?
False
Let j(a) = 5*a**3 + a**