1961 - (4/5)/(162/(-405)) composite?
True
Suppose 273*s - 18403927 + 16836416 = 41203672. Is s a prime number?
True
Let g(h) = -3*h**2 + 25*h + 5. Let r be g(11). Let z = 670 + r. Let t = 672 + z. Is t prime?
True
Suppose -5*l - 2 = -6*l. Suppose -2*w = -4*x + 218, 3*x - 94 = x - l*w. Let c = 129 - x. Is c a prime number?
False
Let f(l) = 23*l**3 - 61*l**2 + 75*l + 153. Is f(40) a prime number?
True
Let n(o) = -o. Let z(w) = -21*w - 18. Let i(q) = -18*n(q) + z(q). Let s be i(-6). Suppose 8*m - 9*m + 515 = s. Is m a prime number?
False
Let m(k) = 279*k + 2. Let r be (4/3)/((100/(-165))/(-5)). Is m(r) a composite number?
True
Suppose 5*n = -2*o + 105, -5*n + 107 = -2*o - 18. Suppose -19*q - 22744 = -n*q. Is q a prime number?
False
Let l = -37 + 5. Is (-4)/l*4*32178 + -2 composite?
False
Suppose -i + 2540 = -2*i. Let x be (i/(-60))/((-64)/66 + 1). Suppose 5*f - 2*n = 1741, -2*f = 2*f - 3*n - x. Is f prime?
True
Let h(f) = -20618*f - 1487. Is h(-38) composite?
False
Suppose 0 = -5*p + 4*w + 790757, -3*p + 703*w - 707*w + 474467 = 0. Is p a composite number?
True
Suppose -3*v - 19380 = -3*j, 5*v + 32297 = 2*j + 2*j. Let g = v - -13854. Is g prime?
False
Suppose -y + 381 = 3*i, 2*i + 2*y - 378 = -i. Suppose 123*g = i*g - 10015. Is g prime?
True
Suppose -f = z - 11 - 0, 5*z = -3*f + 49. Let h = z - 2. Is ((-6)/9 - (-25)/h)*278 a prime number?
False
Suppose 2*m = -0*m + 2*r - 4464, 11140 = -5*m - 5*r. Let x = 4205 + m. Let o = x - 1190. Is o a prime number?
False
Let j(d) = d**3 - 14*d**2 - 17*d + 52. Let y be j(15). Suppose y*h - 10*h - 40524 = 0. Is h prime?
False
Suppose -b + 12*n + 8 = 13*n, 5*b + n = 20. Let q = -7 + 11. Suppose q*m + 3*f = 1157, 2*m + b*f - 586 = -f. Is m a prime number?
False
Let q(o) be the third derivative of 23*o**5/10 - 19*o**4/24 + 17*o**3/6 + o**2 - 21*o. Is q(4) a composite number?
True
Let l(m) = -244161*m + 38. Is l(-1) a composite number?
False
Suppose -4*u - 6*v + 5*v + 26755 = 0, -3 = 3*v. Is u composite?
False
Let y = -368029 - -542983. Suppose y = 9*x + 4*x. Suppose 4923 = -5*s + x. Is s a prime number?
False
Let h(p) = 557*p - 20. Let j(r) = 557*r - 20. Let q(t) = 5*h(t) - 4*j(t). Let l be q(7). Suppose 0 = 114*s - 117*s + l. Is s composite?
True
Let k = 101 - 46. Suppose -12*u + k = -17. Is (4/u)/(395/(-135) + 3) composite?
True
Let j(g) = -g**3 - 20*g**2 - 17*g - 7. Let z be j(-17). Let m(w) = 51*w**3 - 5*w**2 + w + 6. Let p be m(4). Let x = z + p. Is x composite?
False
Suppose 0 = -4*d - 5*m + 33, -d = 5*m - 9 - 18. Suppose 11709 = 4*k + s, k - 428 - 2497 = d*s. Is k composite?
False
Let y(k) = k**3 + 9*k**2 + 7*k + 14. Let m(l) = l**3 + 7*l**2 + 11*l - 2. Let o be m(-5). Let u be y(o). Suppose 61*h - u*h = -5126. Is h a prime number?
False
Suppose 499691 + 5718 = 5*s + 3*a, -202158 = -2*s - 4*a. Is s prime?
False
Suppose -15446 - 6639 = -7*w. Suppose 1882*z - w = 1877*z. Is z prime?
True
Let n(l) = -l**3 + 7*l**2 + 65*l + 263. Is n(-36) a composite number?
True
Let c(m) = m**3 - 4*m**2 - 2*m + 8545. Let l = -47 - -51. Suppose -x - 4*x = -3*j + 12, 3*x - j = -l. Is c(x) a composite number?
True
Suppose 0*t + t = 3. Suppose 3*n = 3*j + 18, -4*n - t*j + 5 = -12. Suppose -2*d + n*x + 563 = 0, -2*d + 2*x + 553 = -x. Is d prime?
True
Suppose 7*w - 2*w - 10 = 0. Suppose 3*h + w*h = 140. Is (-8)/(-14) - (-12612)/h prime?
False
Let o(p) = -123*p + 1. Let h be o(-18). Suppose 3*t = 1 + 11, t + 16 = 5*i. Suppose h = -i*a + 9*a. Is a a composite number?
False
Suppose 5*p - 11*p = -60. Suppose -b - t = -5734, -5*b + 28679 = p*t - 8*t. Is b prime?
True
Suppose -5*l = 3*l + 976. Let z be -4 - (-3 - l)*(-27 - -1). Suppose -197*m - z = -203*m. Is m composite?
True
Suppose -6*a + 5*a - 1 = 2*j, 5*a + 5*j + 15 = 0. Let w be 7 - a/25*-5. Suppose -w = -3*d, 3*t = 3*d - 493 + 2992. Is t composite?
True
Let b = 883 - 122. Suppose -u = 5*d - 232, -3*u + d - 3*d = -b. Is u prime?
True
Let c = 472896 - 266909. Is c composite?
True
Let n = -6477 - -9665. Suppose 39*y - 224 = 25*y. Suppose -y*j + 12*j = -n. Is j composite?
False
Suppose 5*q - 39 = -29, -5*q = -19*g + 1807137. Is g a composite number?
True
Let o be (-10)/(-65) + -1 + 476/(-52). Let t be (36/o)/(4/(-70)). Suppose 0 = 5*j + 5*p - 355, j - 4*p + 3*p = t. Is j a composite number?
False
Let c = 90 - 78. Suppose -3*q = b - 1168, 0 = 4*q - 7*q - c. Let k = b - 549. Is k prime?
True
Suppose -1484*u + 1471*u + 51389 = 0. Is u prime?
False
Let c = 308 + -14374. Let g = c - -23445. Is g a prime number?
False
Suppose -h = 2*l + l - 14, 3*h = -l + 10. Suppose -s + 6*p - 8*p - 12 = 0, -h*p = 4*s + 24. Is (s - -6)*1934/4 a prime number?
True
Is (7 - 661586/10)/(20/(-50)) a prime number?
True
Let o(w) = w**3 + 15*w**2 + 17*w - 2. Let v be o(-14). Is v/(-52) + -1 + 15266/26 composite?
False
Let v be (-21)/(-35)*5*4/6. Suppose 7566 = 2*r - v*d, 5*d - 11381 = -3*r - 0*d. Is r composite?
True
Let j(s) = -1018*s**2 - 1. Let i be j(2). Let c = 5980 + i. Is c prime?
True
Suppose -5*s + 3*q = 4836 - 43476, -23180 = -3*s + q. Suppose 0 = 3*n - s - 18612. Is n prime?
True
Let r be 175/105*(-9)/(-5). Suppose -r*l + 4*y + 4317 = 0, 0 = 4*y - y. Is l prime?
True
Let j(b) be the third derivative of 157*b**4/8 - b**3/2 - 10*b**2. Let a be j(7). Suppose 5*g - a = 2041. Is g composite?
True
Let t = 20 - 17. Let v(c) = -c**3 + 12*c**2 - 22*c + 22. Let h be v(10). Suppose -i + h*x + 3148 = x, i - t*x - 3158 = 0. Is i a composite number?
True
Let n = 17288 + -78386. Is (-6)/(-63) - n/126 a composite number?
True
Suppose -2*b + 2*k + 228616 = 0, 4*b + 72*k = 77*k + 457227. Is b a prime number?
False
Suppose -3*p - 7*p = -1894 - 156996. Is p a composite number?
False
Let z = 898 - 895. Let x be 2 - 0 - (1 + 1). Suppose -z*l + 1349 + 2638 = x. Is l prime?
False
Let s(r) = 422204*r**2 + 66*r - 63. Is s(1) prime?
False
Suppose 0*f + 9*f - 349788 + 40917 = 0. Is f prime?
True
Suppose 228642 = 148*d - 142*d. Is d a prime number?
False
Let v be 24 - 7 - (-1 + 4). Let h(n) = 3*n - 33. Let y be h(15). Suppose v + 622 = y*m. Is m composite?
False
Let f(s) = -1093*s + 16. Let a(t) = -546*t + 8. Let y(v) = -5*a(v) + 3*f(v). Is y(-1) prime?
True
Let k(h) = -96096*h - 853. Is k(-2) a prime number?
True
Suppose -4*q - 205364 = -4*h, -2*h + 4*q + 100758 = -1918. Suppose -58111 - h = -15*x. Is x prime?
True
Suppose 0*g + 12 = -g + 4*x, 36 = -3*g - 2*x. Let o = g - 13. Is 40 - (o/(-10) + (-1)/2) a composite number?
True
Let a(c) = -14362*c - 1517. Is a(-6) a prime number?
False
Suppose l - 3*z = -0*l + 35, -190 = -4*l + 2*z. Let o = 47 - l. Is o/(((-42)/(-4))/(-7)) - -199 a composite number?
True
Let i(b) = 142*b**2 + 9*b + 22. Let w be i(-14). Is -2 - -1 - 1/((-4)/w) a prime number?
False
Suppose -5*h + 16 = -h. Suppose -2*o + h = -o. Suppose o*z - 364 = -3*w, 0 = -2*z - 3*z + w + 455. Is z composite?
True
Suppose 47*n - 51*n + 5*g + 1042274 = 0, 2*n - 3*g - 521136 = 0. Is n a composite number?
True
Let h(x) = 66*x - 25. Let p(a) = -199*a + 72. Let v(s) = 1. Let o(z) = -p(z) - 3*v(z). Let g(w) = 7*h(w) - 2*o(w). Is g(6) a prime number?
True
Let a be (-1 + 0)*(-18 + 11). Suppose 2*z = -a + 21. Is (-3 - z*-38) + -1 composite?
True
Let h(c) = -c**3 - c**2 + 3*c + 2. Let d be h(-5). Suppose d*q = 83*q + 192436. Is q a composite number?
False
Let z(l) be the first derivative of 858*l**2 - 9*l + 22. Let k be z(2). Suppose -8*y - k = -11*y. Is y composite?
True
Is 12 - 28/(-6)*1576773/18 a composite number?
True
Let n(a) = 15*a**2 + 8*a - 2. Let x be n(-7). Suppose 10*v + 1218 = -1582. Let p = v + x. Is p a prime number?
True
Suppose -45195 = -5*x + 5*f - 10*f, 4*f = -2*x + 18086. Suppose 5*m + x = 18*m. Is m prime?
False
Suppose -3*i - d = -49858, 36*i - 33*i + 3*d = 49860. Is i composite?
False
Let t = 249 - -1014. Is (-14 + t)*3/3 composite?
False
Let m = 10179 - 9292. Is m composite?
False
Let a = -105 + 97. Let r(q) = 2*q + 20. Let b be r(a). Suppose 0 = -2*s - 3*c + 4364, b*c - 9*c = -2*s + 4348. Is s a composite number?
False
Is 21420755/657 - 24/27 a composite number?
False
Let y(h) = 2 + 0*h + 9*h - 5*h - h**2. Let b be y(4). Suppose 9 = 3*j, b*j + 3029 = 4*i + 5*j. Is i a composite number?
True
Suppose -6 = 5*n - 7*n. Suppose 4*q + 2*j + 84 = -3*j, 0 = 2*q + n*j + 42. Is (65/(-3) - -4)*q composite?
True
Let w(a) be 