 x(-2). Suppose w - 64 = 4*h, -3*l + h = -55595. Is l composite?
True
Let b = 6631 + -13570. Let t = -3874 - b. Is t composite?
True
Is (-4729584)/(-21) + (-1476)/1148 a composite number?
False
Let r(d) = -d - 4. Let n be r(-6). Let q be (-4578)/(-658) - 14/(-329). Suppose -q*g + n*g = -19025. Is g a composite number?
True
Let i be 1*1/1*-7. Let j(t) = -16*t**2 + 5. Let h(a) = 31*a**2 - a - 11. Let v(w) = 6*h(w) + 11*j(w). Is v(i) prime?
True
Let n(z) = 3597*z - 90. Let m(l) = -1200*l + 30. Let o(b) = 8*m(b) + 3*n(b). Is o(3) composite?
True
Let h(b) = -222*b**3 - 12*b**2 + 5*b - 45. Is h(-8) a composite number?
True
Let d be 3/(13741/2744 - 5). Suppose 5*s + 5*o - d = 28888, 0 = s - o - 5850. Is s a composite number?
True
Suppose 3*j - 3218253 = -f, 30*j - f = 28*j + 2145492. Is j a prime number?
False
Let a = -499598 - -918047. Is a prime?
False
Let h(u) = -44879*u**3 - 2*u**2 + 115*u + 343. Is h(-3) composite?
True
Suppose 0 = -4*o - 3*s + 158, 4*o - 38 = 2*s + 110. Suppose -9*j - 11 + o = 0. Is -2 - (4/(-6) + (-271)/j) a prime number?
True
Suppose 4*q = 2*o + 60, 5*o = 6*q - 2*q - 72. Is -4 - 1 - (-21606)/q a composite number?
False
Suppose -11043 = -g - 3*q, 0 = g - 18*q + 15*q - 11019. Is g a composite number?
True
Let o(c) = -7*c**3 - 7*c**2 - 14*c - 7. Suppose 195*t - 204*t = 63. Is o(t) prime?
False
Let a(p) = -44*p**3 + 13*p + 95. Is a(-6) composite?
False
Suppose 58993 = 8*m - 5791. Suppose -23303 - m = -9*s. Is s a composite number?
True
Suppose 2*y + 3*y = -5*s + 268680, 3*s + 5*y - 161218 = 0. Is s prime?
True
Let j = -277 + 278. Is j + 3 + 7107 + 4 prime?
False
Suppose -21 = 15*u - 81. Suppose -884 = -4*d + 2*c, u*d - 4*c - 322 = 554. Is d composite?
False
Let i = -86 - -91. Suppose i*o = 17 + 8. Suppose 2*x = -10, -t - 480 = -o*t + 4*x. Is t prime?
False
Suppose 12*p + 28 = 8*p + 5*h, 0 = -p + 5*h - 22. Suppose q + 5 = 1. Is (-1)/p + 3 + (-110)/q a composite number?
False
Let j(g) = 9*g**2 + 5*g + 13. Let k(v) = -6*v**3 - v**2. Let s be k(1). Let x be s*(-1 + (-38)/(-14)). Is j(x) prime?
True
Suppose -10*y - 132130 = -38060. Let n = -6594 - y. Is n prime?
False
Let q = -2 - -3. Suppose 0 = 12*t + 16*t + 13*t. Is 114 + (2 - q) + -2 + t prime?
True
Let k be ((-28)/(-21))/((-4)/42). Let j(g) = -g**2 - 17*g - 40. Let v be j(k). Suppose -v*b - 60 = -3*q, -4*b + 0*b = -5*q + 98. Is q a prime number?
False
Let l be 7/7 + -4*(-2)/4. Suppose 0 = 2*h - h + a - 46, -l*a - 30 = -h. Suppose 0 = -37*y + h*y - 1355. Is y prime?
True
Let g(z) = -2*z**2 + 8*z + 109. Let u be g(10). Let p(s) = 53*s**2 + 12*s + 6. Is p(u) prime?
True
Let c be (-2)/32*4 + (-166)/8. Let x(u) = u**2 + 19*u - 52. Let m be x(c). Is (2032/(-20))/(((-4)/m)/(-1)) composite?
True
Let v = 95 + -89. Suppose v = -5*y - 5*r + 1, 3*r + 11 = -y. Let k(b) = 16*b**3 + 9*b**2 - 3*b + 7. Is k(y) a prime number?
True
Let m(h) = 2*h - 1. Let a be m(2). Suppose 15 = -8*o + a*o. Is 307*-3*o/9 a composite number?
False
Is (30036 - (24 + -14))/(2/23) a composite number?
True
Let x = -3066073 + 5029842. Is x prime?
True
Suppose -6*l = -17*l + 656689. Is l a prime number?
True
Let x = 25 - 21. Let z(w) = -w**3 - w**2 + 5. Let c be z(0). Suppose -4*d = -0*d + x*v - 392, c*d + 4*v - 487 = 0. Is d a prime number?
False
Let u(w) = -w**3 - 3*w**2 + 4. Let c be u(-3). Let t(y) = -y**2 - c*y - 7 + 6*y**2 - 4*y**2 - 25. Is t(15) a composite number?
True
Let p = -108 - -124. Suppose -p*c = -14*c - 3082. Is c prime?
False
Let k(z) be the first derivative of -6*z**2 + 3 + 20*z + 5/3*z**3. Is k(17) a composite number?
True
Let u = 1028831 + -272082. Is u prime?
False
Let b = 31031 + -15024. Is b composite?
False
Let o be (5*(-4)/(-35))/((-8)/(-3836)). Let x = -159 + o. Is x prime?
False
Let a(c) = -c**3 + 8*c**2 + 23*c - 27. Let d be a(10). Suppose -r - d*x = -4898, -4*x = -2*r + 5262 + 4504. Is r a composite number?
False
Let o = 3551 + -1978. Let d = o - 939. Let b = d + 45. Is b a prime number?
False
Let h(f) = f**3 + 54*f**2 + f - 171. Is h(-40) a prime number?
True
Let l be (2*30/(-12) - -10)/1. Suppose -z + 2462 = -5*x, -3*x + 12210 = l*z - 8*x. Is z a prime number?
True
Let a be -1 - -3 - (45/5 - 9). Suppose 4*m + 4894 = v, 4*v + 67 - 19573 = a*m. Is v a composite number?
True
Let k(r) = -2*r**2 - 3*r + 3. Let m = 34 - 33. Let s be k(m). Is (4 - (-670)/s)/(-1) a prime number?
True
Let b = 205926 + -30539. Is b a composite number?
True
Let w = -1938 + 6403. Suppose u - w = 3*f, 9 = 5*f - 1. Is u a composite number?
True
Suppose -2*y + 3*m = -17, 3*y - 18 = 5*y + 4*m. Is 0 + 1/y + -2 - -2362 prime?
False
Let f(k) = -167726*k + 4149. Is f(-4) composite?
True
Let l be 13/((-1)/(-1655)*35/14). Let v = -4191 + l. Is v prime?
False
Suppose -300 = 67*i - 42*i. Is (-6)/(-12)*19048 + i/4 prime?
True
Let w(j) = -1479*j + 3. Let t be w(-3). Let i be -3*10/15 + 45/9. Suppose -f + 0*a = 3*a - 1486, 0 = 3*f + i*a - t. Is f prime?
False
Let k(x) = -2002*x**3 + x**2 + 2*x. Let d be k(2). Let a = -8147 - d. Is a prime?
False
Let o be (-41139)/(-36) - 3/4. Let c = -507 + o. Suppose 0 = 5*f + 2*q - c, 4*q = 5*f - 0*f - 665. Is f composite?
True
Suppose 3*n = 5*s - 0*n + 142, -2*n = -4*s - 112. Let j = -294 - -546. Let x = s + j. Is x a prime number?
False
Let f = 72240 + 302107. Is f composite?
False
Let b = -749 - -1673. Let w = 2141 + b. Is w prime?
False
Let m(p) = -2*p - 17. Let d be m(-11). Let z be (3 + -3)/((-5)/d). Suppose z = 5*t - 757 - 1098. Is t a composite number?
True
Let d(u) = -u**3 - 8*u**2 - 15*u - 15. Let q be d(-6). Suppose 7072 = t + q*v - 4*v, -4*t = 2*v - 28258. Is t a prime number?
False
Let m = -8660 - -73213. Is m prime?
True
Is ((-7)/2)/(((-24)/(-3309456))/(-1)) a prime number?
False
Suppose -3*t - 4*t + 672 = 0. Is ((-1)/(-4)*-907)/((-24)/t) a prime number?
True
Let w = -9398 - -9298. Let g(a) = -70*a + 3. Let p be g(4). Let d = w - p. Is d composite?
True
Let s = 47 - 44. Suppose -5*x + 2087 + 4641 = -3*g, -s*x = -5*g - 4040. Is x prime?
False
Suppose 14*p + 4215596 = 55*p + 3*p. Is p composite?
True
Suppose -122*r + 897822 - 254516 = 0. Is r a prime number?
True
Let w(m) = 12*m - 148. Let v be w(13). Is 2587 - 1/(-2)*v a prime number?
True
Let b(x) = -x**3 + 9*x**2 - 3*x + 49. Let r be b(0). Suppose -246 = -5*y - 11. Suppose 778 = -y*a + r*a. Is a a composite number?
False
Let w(d) = 2128*d + 955. Is w(19) a composite number?
False
Let x be (9353/(-2) + 2)/(24/(-624)). Suppose -x = -l - 12*l. Is l a composite number?
False
Suppose 23*a + 99 = 34*a. Suppose -a*b + 4*b + 38575 = 0. Is b composite?
True
Let a(i) = 234*i**2 - 20*i + 31. Is a(3) composite?
True
Let v(q) = -64*q - 49. Suppose 3*b - 5*f = -106, -b + f - 39 = 3*f. Is v(b) a prime number?
False
Suppose 2*k + 3*h - 6*h = 21, -4*k - 3*h + 33 = 0. Let q(u) = 7*u**3 + 4*u**2 - 12*u + 26. Is q(k) prime?
False
Let f = -19921 + 231120. Is f composite?
False
Let t = -735 + 1404. Suppose x - t = 4*o, -6 = 5*o - 7*o. Is x prime?
False
Suppose -4408 = -4*z - 4*j, 10 = -7*j + 9*j. Is z composite?
False
Let q(s) = -2*s**3 - 3*s**2 - 5*s - 9. Let p be q(-2). Suppose -2*c - 4857 = -p*c. Is c a prime number?
True
Let z(u) be the second derivative of 14*u**3 + 49*u**2/2 - 148*u. Is z(5) composite?
True
Let v(g) = 626778*g + 593. Is v(1) a prime number?
False
Suppose 3*v - 4*g + 8 = -v, 1 = -g. Let f(a) = a**3 + 4*a**2 + 4*a + 4. Let u be f(v). Is (3/u)/((-3)/(-3101)) composite?
True
Let h(i) be the first derivative of 66*i**2 + 259*i - 130. Is h(22) prime?
True
Suppose -5*d = 2*o + 7414, -3*d + 6577 = -5*o - 11896. Let y = 7674 + o. Is y composite?
True
Let y(l) be the third derivative of 19*l**7/252 - l**6/120 + l**5/120 - l**4/3 + 10*l**2. Let i(g) be the second derivative of y(g). Is i(2) a composite number?
True
Suppose 2*t - 5*k - 29 = 0, -11 = 2*t - 0*k + 3*k. Let f be 1/(-2)*50 + 3. Is 1/(1/t)*(-1793)/f a composite number?
False
Suppose 2*g + 10735697 = 5*n, 0 = 2*n - 5*g + 1459504 - 5753808. Is n prime?
True
Suppose -5*x + 4 = 4. Suppose -8*b - 211 + 67 = x. Let r = b - -305. Is r prime?
False
Let i(t) = -25*t - 63. Let j(v) = 104*v + 225. Let d(r) = -22*i(r) - 6*j(r). Suppose -20 = 2*q + 6. Is d(q) a composite number?
True
Let y = -237 - -241. Suppose -y*s + 11027 = 16*o - 13*o, -s = 2*o - 2753. Is s composite?
True
Let c = -35 +