er?
True
Let t(f) = -40*f - 100. Let a be t(-3). Is ((-35)/a + 3)/((-1)/(-1412)) prime?
False
Let k(a) = 9*a + 47. Let z(u) = -5*u - 24. Let i(s) = 4*k(s) + 7*z(s). Let q be i(7). Is (3/q*3)/(3/5823) a composite number?
False
Let p be 3*6*(-130)/(-4). Let j = p - 92. Is j composite?
True
Let p(b) = b**3 + 27*b**2 - 30*b - 47. Let w be p(-28). Let o(k) = -4*k + 12*k**2 - k**3 - k + 1 - 4*k. Is o(w) prime?
True
Let a = 7619 - 2901. Let d = a + -517. Is d a composite number?
False
Let j be 348/609 + ((-2135384)/(-14))/1. Suppose 0 = -55*k + 39*k + j. Is k a composite number?
False
Let g(i) = -i**3 - 9*i**2 + 19*i - 30. Let a be g(-11). Suppose -9*x = -a*x - 7278. Is x a prime number?
True
Is (85173/44)/29*-4083*4/(-9) prime?
False
Suppose 3*n = 2*f, 0 = 3*n + 5*f - 18 - 3. Let s be 2 + -4 + n + 0. Is s + (-8390)/(-6) + 4/6 prime?
True
Let k(v) = 9*v - 130. Let w be k(0). Let z = -134 - w. Is (z/6)/(2/20853*-3) composite?
True
Let u(r) = -2*r + 1. Let s(f) = -171*f - 110. Let y(x) = -s(x) - 4*u(x). Is y(8) composite?
True
Suppose -80*i - 198554 = -82*i. Is i composite?
False
Let i(v) = 14*v**3 - 6*v**2 - 5*v + 1. Let m(q) = -13*q**3 + 6*q**2 + 4*q - 1. Let b(l) = -2*i(l) - 3*m(l). Is b(6) a composite number?
True
Let f be (-1090 - -29)*2/1. Let g = -773 - f. Is g composite?
True
Suppose -2*f + 543*v = 542*v - 181356, 5*f - 4*v = 453393. Is f prime?
True
Let y(a) be the second derivative of -a**5/20 + 25*a**4/12 + 22*a**3/3 + 63*a**2/2 - 2*a - 6. Is y(19) a prime number?
False
Suppose 5 = 2*i - 3*u - 6, -29 = -4*i - u. Let g(h) be the second derivative of 47*h**3/3 - 23*h**2/2 + 5*h - 2. Is g(i) prime?
False
Suppose -8*t + 20460 = -231311 - 24365. Is t composite?
True
Let i(v) = -v + 1. Let q be i(-5). Suppose 30*c + 2110 = 1570. Is (-3 + (-5181)/c)*q composite?
False
Suppose -306465 = -241*k + 92872. Is k prime?
True
Let k(n) = -1165*n**3 + 6*n**2 - 12*n + 56. Is k(-5) prime?
False
Let r = 4279 - -6949. Suppose 7*n + r = 11*n. Is n a composite number?
True
Let h = 21971 + -20698. Is h composite?
True
Let v be (-210)/45*6/(-8)*130. Let d = 2036 + v. Is d prime?
False
Let t(m) = m**2 - 12*m + 80. Let s be t(6). Suppose -4*b + 3*q + 82399 = 0, s*b = 40*b - 5*q + 82391. Is b prime?
True
Let b(c) = -c**3 + c**2 - 2*c + 70. Suppose -p + 2*p = -3*p. Let y be b(p). Suppose -16*o - y = -18*o. Is o prime?
False
Suppose 15 = 2*r + r. Suppose 69*n - 68*n = 3618. Suppose r*k - n = 1147. Is k a prime number?
True
Suppose 138546 = k - 292253. Is k a prime number?
True
Suppose -4032 = 13*n + 3*n. Let y be (-3)/(-2)*5820/18. Let k = n + y. Is k composite?
False
Let t(q) = 106927*q**2 + 13*q + 11. Is t(-2) a composite number?
True
Suppose -3 - 57 = -12*q. Suppose -q*l = -l - 4*s - 2440, 4*l - s - 2452 = 0. Is l a composite number?
True
Let w(k) = 3*k**2 + 23*k**3 - 2 + 3*k - 2 + 2. Let s be w(2). Suppose -v + s + 1647 = 0. Is v prime?
True
Suppose 0*j - 228 = 6*j. Let y = j - -44. Is 16/24 + 578/y a prime number?
True
Suppose -965 = 2*x + 5*f - 323, 3*x + 989 = -f. Let n = 1260 + x. Is n composite?
False
Suppose -104432 = -43*z - 18*z. Suppose -44680 = -z*c + 1704*c. Is c prime?
False
Suppose -12*v + 7*v = -155. Let f = v - 35. Is ((2 - 1318)/f)/(-3 - -4) a composite number?
True
Is (-10)/4 + (-29509434)/(-108) a composite number?
False
Let c = -1 + 6. Suppose -c*u - 28 = -143. Suppose -u = 3*y - 182. Is y a prime number?
True
Suppose 14*k - 15*k - 5*j + 9243 = 0, 3*k - 4*j - 27691 = 0. Is k a prime number?
False
Let u(p) = 61*p**2 - 3*p - 121. Is u(-30) a prime number?
True
Let g(t) = -t**3 + 16*t**2 - 31*t + 264. Let d be g(14). Let b = 6 + -4. Suppose 0 = -b*p + 610 - d. Is p a prime number?
False
Let r(h) = 1407*h**2 - 42*h - 12. Let s be r(-4). Let y = 349 + s. Is y composite?
False
Let f be (1 + (-1448)/2)*-9. Suppose -f = -2*a + 2375. Suppose 13*i - 4074 = a. Is i composite?
True
Suppose 9*c = 5*c + 3*m + 62489, 4*c + 2*m = 62474. Let y = -9381 + c. Is y prime?
False
Let m be (-1 + -5)*(0 - (-5)/(-15)). Suppose -b + 2094 = -g, -m*g = 3*b + 2893 - 9200. Is b composite?
False
Let u(c) = 5*c**3 + 3*c**2 - 2*c + 7. Let m(s) = s - 1. Let n(x) = x**2 + 3*x - 5. Let k be n(-4). Let t(j) = k*u(j) - 2*m(j). Is t(-5) prime?
False
Suppose -18*q = -14*q - 4. Let v = 2 + q. Suppose -3*s - v*b = -s - 829, 4*b + 1648 = 4*s. Is s a prime number?
False
Let x = 6 + -3. Let u(o) = 10*o + 3. Let l be u(0). Suppose -3*m - m = -x*b - 1169, -3*b - 876 = -l*m. Is m composite?
False
Let k(r) = r**3 - 31*r**2 + 34*r + 30. Is k(64) composite?
True
Is (-244)/549 + (-6070)/(-9) a prime number?
False
Let i be 8/(-3)*(-39 - 3). Suppose 105*t = i*t - 4109. Is t prime?
True
Is (-2470)/11115 - (-1747)/(-18)*-2290 composite?
True
Suppose 25579162 = 22*x + 40*x + 20*x. Is x composite?
True
Let s be (97 + 1)*2/4. Let i = s + -44. Suppose 3*d - 2*l + 0*l = 443, i*l + 586 = 4*d. Is d composite?
False
Let x(b) = -14068*b**3 + 2*b**2 - 1. Let z be x(-1). Suppose -17*q = -6*q - z. Is q a composite number?
False
Let w(s) be the first derivative of 29*s**4 - 2*s**3 + 5*s**2/2 - 3*s + 1. Is w(2) a composite number?
False
Suppose 60929*z + 288327 = 60942*z. Is z prime?
False
Let a(l) = 2*l**3 - 257*l**2 - 175*l - 241. Is a(131) prime?
True
Suppose 0 = 3*v - 36679 - 27810 + 10846. Is v a composite number?
False
Suppose 2*s = -b + 15, 3*b + s - 9 = 11. Let k be (-40)/100 + (-8)/b. Is 985 + 0*k/(-4) prime?
False
Let m(g) = 469*g + 3. Let s(u) = -u + 14 + 12 - 26. Let o(a) = m(a) - 4*s(a). Is o(2) prime?
False
Suppose 3 - 2 = m. Suppose -2*s = -2*c + 18, -3*s = 4*c - 2 + m. Is -3 + (5 - c) + 49 a prime number?
True
Let k(r) = -2554*r**2 + 2553*r**2 + 9678*r**3 - 476*r**3. Is k(1) a composite number?
True
Let j(t) = 6*t**2 - 34*t - 17. Let d(p) = p**2 + 3*p - 3. Let k be d(-5). Suppose 7*w + 42 = -k. Is j(w) prime?
False
Let g(p) = 159*p**2 - 28*p + 33. Let u be (22/55)/(4/5)*-16. Is g(u) a composite number?
False
Is (0 - 137595/20)/((-3)/4) composite?
False
Let p be -3 + (-8048 - (-3 - -11)). Let z = 13762 + p. Is z composite?
True
Suppose -2*l + 2265 = 15*s - 20*s, 4*l - 4460 = -4*s. Let b = l + -649. Is b composite?
True
Is 10/8*796 + 2 prime?
True
Let w be 8 + (1*-42)/7. Is (-739)/w*2*42/(-6) prime?
False
Suppose -g - 2*f = -141102, 4*g = 7*f - 2*f + 564343. Suppose -31*v = -3*v - g. Is v prime?
True
Is ((-2)/4)/(136/(-1773712)) a prime number?
True
Let i(g) be the second derivative of 141*g**4/4 + g**3/2 - 5*g**2/2 + 66*g. Is i(2) a prime number?
True
Let d(q) = 63*q**2 - 32*q + 106. Is d(6) a composite number?
True
Suppose 6*a - 16 + 46 = 0. Is 4201/((-3 + 2 - a)/4) a composite number?
False
Let i be 382*(43 - -5)/6. Suppose 2*b - 2385 - 8169 = 0. Let s = b - i. Is s a composite number?
False
Let v = 28035 + -54116. Let z = v + 47074. Is z a composite number?
True
Let h(z) = -5 + 19*z + 33*z**3 - 7*z**3 - 16*z**2 - 8*z**3 - 11*z**3. Is h(8) a prime number?
True
Let v(r) be the first derivative of -5*r**4 + 10*r**3/3 - r + 39. Is v(-4) a composite number?
False
Let n(j) = -186*j - 902. Is n(-8) composite?
True
Suppose -269*g - 77459 = -274*g - m, -2*m + 46467 = 3*g. Is g prime?
True
Suppose 52881068 = 55*l + 81*l - 46749948. Is l a prime number?
False
Suppose -5*i + 3*i - 4*m = 138544, 0 = -2*i - 2*m - 138544. Is (-5)/2 + -3*i/48 a prime number?
True
Let u(d) = -517*d**3 - 5*d - 2. Let i be ((-2)/(-4))/(4/(-8)). Let g(n) = -n**3 + n + 1. Let c(b) = i*u(b) - 3*g(b). Is c(1) composite?
False
Suppose t = -4*i + 6, 4*t - 3*t + 2 = 4*i. Suppose 0*n = -f - 3*n + 6, 0 = -4*f + t*n + 38. Suppose f*u = 4*u + 2785. Is u composite?
False
Let r = -12625 - -78251. Suppose -8*x + 3*f - r = -13*x, -f - 3 = 0. Is x composite?
False
Suppose 2*r + 542336 - 32161 = w, 4*w - 2*r - 2040718 = 0. Is w composite?
True
Is (48/(-40))/((-10)/898325)*1/3 prime?
True
Let c = -39366 + 206437. Is c prime?
True
Let a(m) = 4*m**3 - 25*m**2 - 22*m - 73. Let c be a(31). Suppose -348612 + c = -52*g. Is g composite?
False
Suppose -70*u + 9474866 = -28261585 - 2748259. Is u a prime number?
True
Suppose 4*u + 841 = 2*l - 299, 0 = -5*l + 20. Let i = 1038 - 330. Let g = i - u. Is g prime?
True
Let x = -18619 + 41637. Let s = x - 117. Is s prime?
True
Suppose -14847 = -g - 2*x, 15831 - 119845 = -7*g + 3*x. Is g composite?
True
Let u(w) = 3