o = -2*k. Is k a prime number?
True
Suppose -40*l + 1807065 = 633505. Is l prime?
True
Suppose -546*t + 24 = -558*t. Let a(q) be the first derivative of -69*q**4 + 4*q**3/3 + q**2/2 - 3*q - 1. Is a(t) a composite number?
True
Let u = 2219789 - 858846. Is u prime?
True
Let i = -240 + 222. Is (i/12)/((-2)/20156) prime?
False
Let x be 9/((-36)/(-8)) + -5 - -38. Suppose -4 = -x*d + 33*d. Suppose -4*z + 3959 = -5*o, -z + d*z - 988 = 3*o. Is z prime?
True
Suppose 0 = c + 8, -z + 2*c = -164869 - 271834. Is z a prime number?
True
Let l(i) be the first derivative of 4*i**3/3 - 19*i**2 - 23*i + 30. Is l(-17) a prime number?
False
Let p = 27 - 16. Suppose -p*i = 2569 - 14240. Is i prime?
True
Suppose 2*s + 5*z = -2694, -2706 = -s + 3*s + 2*z. Let u = 2586 + s. Is u a prime number?
True
Suppose 4*d - 20 = 0, 0 = 3*s - 4*d + 24 - 16. Suppose j + 65051 = 5*b, b = -3*j + s*j + 13007. Is b composite?
True
Suppose 44*u - 42*u = -t + 37, 3*u - 171 = -5*t. Is t prime?
False
Let c = -38505 - -61610. Is c prime?
False
Let j(m) = -m**3 + 14*m**2 + 16*m - 11. Let g be j(15). Suppose 2 + g = 3*t, 3*p + t = 11. Let y(u) = 9*u**3 - 5*u**2 + 3*u - 4. Is y(p) a composite number?
True
Suppose 289*r - 295*r + 45186 = 0. Is r a prime number?
False
Let q(u) = 3*u + 8. Let h be q(-5). Let v be (-10)/35 + 1/(h/(-2172)). Suppose -j + 3*y + 2619 = v, 6959 = 3*j - y. Is j prime?
False
Suppose -396*c = -773*c + 393*c - 184144. Is c a prime number?
False
Let g be -31*7 + 3 + -4. Suppose 390 = 5*t + 2225. Let y = g - t. Is y a composite number?
False
Let p(t) = 863*t**2 - 30*t + 44. Is p(-19) a prime number?
False
Let u(o) = -2*o**2 + 28*o + 34. Let h be u(15). Suppose -8*x - h*x = -2460. Is x prime?
False
Let p(m) = m**3 + 16*m**2 + 30*m - 13. Suppose -7*g = 2*g + 72. Is p(g) a prime number?
False
Let y = -141 - -229. Let q = y + -88. Suppose -6*l + l + 895 = q. Is l a prime number?
True
Suppose -4*t - 4219 = -4*v - t, -2*t - 2112 = -2*v. Suppose -3*s + v = 4*k, 6*k = 4*k - 2*s + 524. Is k a prime number?
False
Let d(q) = -q**2 - 4*q - 9. Let o be d(0). Is 5736 + 6 + o - -6 composite?
True
Is 2/(43873709/3374899 - 39/3) prime?
True
Suppose -19 = -4*g - 2*k - 7, 2*g + 4*k = 12. Let u be (939/6)/1*g. Suppose 0 = 5*w + 4*l - u, -5*w + 107 + 212 = 2*l. Is w a prime number?
False
Let u be (-94)/18 + (-12)/(-54). Let f be (u/4)/(4/848). Let o = f - -456. Is o composite?
False
Suppose 7*k = 12*k + 2*v - 1186881, v + 1186902 = 5*k. Is k a composite number?
False
Let g(h) = -13*h**2 - 8*h + 16*h**2 + 6 + 316*h**3 + 422*h**3. Is g(1) composite?
False
Let f(i) = i**2 - 2*i. Let c be f(3). Let m be (5640/(-35))/c - (-2)/(-7). Let j = 503 + m. Is j a composite number?
False
Let w(k) = k**3 + 15*k**2 + 27*k - 21. Let r be w(29). Is r/8 + (-14)/(-56) prime?
True
Suppose 0 = -7*f + f + 108. Suppose 20*b - f*b = -10. Let l(r) = -8*r**3 - 12*r**2 - 9*r. Is l(b) composite?
True
Suppose 39708 = l - 2*j - 40725, -5*j = 5*l - 402135. Is l a composite number?
False
Let d = -122 + 124. Suppose g - 3423 = d*k, -g - k + 4801 - 1393 = 0. Is g a prime number?
True
Let o(f) be the second derivative of -f**5/10 - f**4/4 - f**3/3 + f**2 - 9*f. Let h be o(-2). Is ((-4)/h)/1 - 47484/(-60) composite?
True
Suppose 14*a - 19*a + 2*o + 11 = 0, 11 = 3*a + o. Suppose -a*n - 2*d + 335 = 0, 3*n - 329 = -0*n - 5*d. Is n a prime number?
True
Suppose 0 = 3*a - 4*i - 11, 11*i - 8*i + 15 = 0. Is (6121/(a/(-1) - 4))/(-1) a composite number?
False
Let a be 1436/68 + (-2)/17. Let c be 99/a - 6/(-21). Suppose 0*z - 2*z + 125 = -3*b, -c*z + 5*b = -320. Is z a prime number?
True
Suppose 122*p - 2039176 = 26*p - 583720. Is p prime?
True
Suppose 0 = -d + 4*p + 5, 7*p = 3*d + 5*p - 55. Suppose -15*w = -d*w - 6. Let h(l) = -392*l**3 + 2*l**2 - 1. Is h(w) prime?
False
Let x be 1 + 606 + 2 + 1. Suppose 6973 = 5*g + 4938. Let o = x - g. Is o a prime number?
False
Let a(q) = 517*q**2 + 6*q - 4. Let n be a(7). Let t = n - 13516. Is t composite?
True
Let z = 892 + 229. Let g = -4 - -6. Suppose y + z = g*y. Is y a prime number?
False
Let u(n) = -142*n - 62*n - 261*n - 246*n - 73. Is u(-22) a composite number?
False
Let w(a) = a + 9. Let k be w(-4). Suppose -k*t = -10, 7*z - 2*z - 5*t = 0. Suppose z*n + 2*n = 1572. Is n a prime number?
False
Let y(t) = -t**3 + 21*t**2 + 22*t + 2. Let q be y(22). Suppose q*p + 1 = 5, 1913 = 3*b - 5*p. Is b a composite number?
False
Suppose -20*i + 5 = -19*i, 3*j - 935 = -4*i. Let x = j + -148. Is x composite?
False
Let f be 25/5*16/5. Suppose 4*k + 0*k = f. Is ((-56)/12 + k)/(2/(-1401)) composite?
False
Let h(o) = 2100*o**3 - o**2 + o. Let z be h(1). Let x(w) = w**3 + 7*w**2 + w - 13. Let a be x(-7). Is z - (a/(-4))/1 a prime number?
False
Suppose 2*v + d - 6*d - 2 = 0, -4*v - 8 = -4*d. Let k(a) = 262*a**2 + a + 13. Is k(v) a composite number?
False
Suppose -3*v = 2*v, -5*m - 5*v = 0. Suppose m = -4*y + 11484 + 272. Is y a composite number?
False
Let h be 5/(273/(-630) - (-2)/4). Suppose -5*x - 680 = -170. Let d = h - x. Is d a composite number?
True
Let m(n) = -11*n**3 + 5*n**2 - 8*n - 25. Is m(-9) a composite number?
True
Suppose 3*q + 9*q - 305148 = 0. Is q composite?
True
Suppose 6*y - 36 = 24. Suppose -72 = -y*h + 2*h. Suppose -h*k + 354 = -951. Is k prime?
False
Suppose 2*l - 5*g - 22 = 0, -5*l + 2*g = -g - 17. Suppose -l = r, -2*k - 2*k = 2*r - 14370. Is k prime?
True
Is (-4)/((-8)/(-3))*-2 + 4 + 647776 a prime number?
True
Let f = 44252 - 38139. Is f a prime number?
True
Let d = -8654 + 33095. Is d a prime number?
False
Let z(r) = r**3 - 3*r**2 - 2*r + 9. Let u be z(3). Suppose 5*a - 108 = 5*c + 717, -u*a + 2*c = -491. Is a a prime number?
False
Let k(u) = u**3 + 4*u**2 + u - 1. Let r be k(-2). Suppose -3 = r*h - 6*h. Suppose -2*i - 4 = -h*i, -4*x + 5*i + 4416 = 0. Is x a prime number?
True
Let i = -77 + 89. Suppose 6*m + 12 = i. Let j(k) = k**3 + 2*k**2 + 4*k + 479. Is j(m) prime?
True
Let w(a) = -a + 10. Suppose 4*k = -k - 2*p + 30, -4*p = 3*k - 4. Let b be w(k). Suppose -5*o + 0*o - b*r + 6379 = 0, -3837 = -3*o + 2*r. Is o a prime number?
True
Let p(n) = 6456*n - 905. Is p(6) composite?
False
Let w = -1 + 26. Suppose -16*s + w*s = 45. Suppose -9*i + 5444 = -s*i. Is i composite?
False
Let j be 2162/(-4) + (-1)/2. Let y(c) = 941*c**2 + c + 2. Let d be y(1). Let h = j + d. Is h prime?
False
Let f = -392 - -392. Suppose q = -3*i + 41922, -2*i - 5*q + 30760 - 2799 = f. Is i prime?
False
Let m be 56/(-42) + 8/6 - 2. Is 1388 - (1/m)/(12/(-72)) a prime number?
False
Let z be (7/(-2) - -4) + (-31)/(-2). Suppose -497 + 1638 = 3*r - c, 0 = 4*c + z. Is r prime?
True
Let h(m) = -13*m**3 + 15*m**2 - 19. Suppose 4*b = -4*b - 88. Let g be h(b). Suppose 0 = -10*r + g - 5269. Is r composite?
True
Is 93561 + (-9 + -4 + 11 - -10) a composite number?
True
Suppose 0*v + 8 = 4*v. Suppose -3*u + v*i + 16 = 0, 8*u - 2*i = 3*u + 32. Suppose 2*s + u*s = 260. Is s composite?
True
Let r(j) = 39*j**3 + j**2 + 12*j - 9. Let k be r(3). Suppose p + f - k = 0, 3*p + f - 1508 = 1755. Is p prime?
True
Suppose -4*z - 2962 = -3*k, 4*k - 885 + 2355 = -2*z. Is z/(2*(-8)/16) a prime number?
True
Suppose -8*n - 15804 = -q - 3*n, 5*q + n = 79150. Is q composite?
True
Suppose -2*t = 23*g - 19*g - 823736, -g + 205934 = -5*t. Is g composite?
True
Suppose 24*s - 3613 - 908435 = 0. Is s composite?
True
Let b(a) = 1382*a**2 - 55*a + 181. Is b(12) a prime number?
True
Suppose 54*q - 86225509 + 14176927 = 0. Is q a prime number?
True
Let v = -34 + 0. Suppose 82*u - 198 = 80*u. Let j = v + u. Is j a prime number?
False
Let m(u) = -117*u - 130. Suppose j = -4*d - 105, 0 = 2*j - 0*j - 6. Is m(d) prime?
False
Suppose t - 553 = p, -2*t = -6*t - 2*p + 2212. Suppose 252 = 5*q - t. Suppose q = -6*w + 7*w. Is w a prime number?
False
Let z = 61383 - 38924. Is z prime?
False
Let s = -1181839 - -2015838. Is s composite?
False
Is (-17 + (-1680)/(-98))/((-5)/(-339115)) prime?
True
Let x = 2303 + -21623. Let p = -13514 - x. Suppose -4*z + 11636 = 4*g - 0*g, -2*z + p = 5*g. Is z composite?
True
Let m be 1210*11 - (3 - -10 - 10). Suppose 6539 = 2*k - m. Is k a prime number?
True
Let d(i) = 25*i**2 + 39*i - 119. Is d(-13) composite?
True
Let q = 28 + -8. Let u be (-11308)/(-18) - q/90. Let s = -209 + u. Is s composite?
False
Suppose 4*q + 4*s - 19192 = 0, -3*q - 7