a prime number?
False
Suppose 6*w - 276835 - 177028 = -8321. Is w prime?
True
Is 1314/(-146) + 63638*2 a prime number?
False
Let k be (-8)/(-4) + 10*1. Suppose 189*i - 220*i + 217496 = 0. Suppose -k*p + 4*p = -i. Is p a composite number?
False
Suppose -3*n - n + 12 = 0. Suppose -4*x + 25928 = o, n*o = -3*x + 5761 + 13676. Is x a prime number?
False
Is 10 + (-147101)/((-153)/9) a prime number?
True
Let q = -30871 + 49388. Is q a composite number?
False
Let r = -199462 - -534759. Is r prime?
False
Let d(f) = 10*f - 5. Let h be d(2). Let u = 18 - h. Suppose u*l = 2*b + 4*l - 1773, -b + 3*l = -890. Is b a prime number?
True
Let g(s) = s**3 + 5*s**2 + 6*s + 1. Let j be g(-3). Let i(z) = -z**3 - z**2 + z - 1. Let y(d) = 20*d**2 - 3*d + 7. Let b(o) = j*i(o) + y(o). Is b(14) composite?
True
Let h(n) = -2*n**3 + 2*n**2 + 2*n - 1. Let u be h(2). Let f(q) be the first derivative of 2*q**3/3 - 6*q**2 - 13*q + 2. Is f(u) a prime number?
True
Let w(k) = k**3 - 13*k**2 + 12*k + 15. Let o be w(12). Let p be 75/(3 + o/(-10)). Suppose p = -r + 229. Is r a prime number?
True
Suppose 3*c = 2*m - 27436, -1 = 2*m - m. Let y = c - -13375. Is y composite?
False
Suppose 298*d - 278*d = 491420. Is d a composite number?
False
Let t be (-2)/13 - 15/((-585)/552). Suppose -13*q = -t*q - 536. Is -6*3/(-9) - q composite?
True
Let o = 549 - 543. Suppose 0 = -2*j - h + 11558, 4*j - 5*h - 23116 = -o*h. Is j composite?
False
Suppose 25*f - 28 = 22. Is (-302289)/(-184) + f/16 a prime number?
False
Let p(l) = -l**2 + 6*l + 1. Let v be p(3). Let d(j) = 2*j + 57*j**3 - 19*j**3 - 19*j**3 + 21*j**2 + 4*j + 11 - 20*j**3. Is d(v) a composite number?
False
Let h be 371*(7 - 20/(-5)). Let d = -2388 + h. Is d a prime number?
True
Is (9 - (1360/(-32))/(-5))/(2/1291188) a prime number?
False
Suppose 0 = -2*h - 0*h - 26. Let i(j) = 8*j**2 - 25*j - 38. Let n(g) = 25*g**2 - 79*g - 117. Let c(f) = 19*i(f) - 6*n(f). Is c(h) a prime number?
True
Let q(y) = 16*y**3 + 5*y**2 + 16*y + 36. Let c(x) = x**3 - x - 1. Let f(u) = -5*c(u) - q(u). Is f(-6) composite?
False
Let b(t) = 10*t**3 + t**2 + 9*t + 14. Suppose 122*v + 10 = 120*v. Let c be b(v). Is (9/12)/((-2)/c - 0) a composite number?
True
Suppose 4*j + 64490 = 2*l, 0 = 26*l - 21*l + 4*j - 161267. Is l prime?
True
Suppose -u = 3*p - 415136, 5*u - 375131 = 3*p + 1700423. Is u composite?
True
Let g(y) = -4029*y + 2042. Is g(-19) a composite number?
False
Let f = 164 + -198. Let a = 1151 + f. Is a a composite number?
False
Is 281354/6 + (-1410)/(-846) a composite number?
True
Suppose 0 = -50*x + 339857 + 699593. Is x composite?
False
Let y(m) = 1403*m**2 - m - 1. Let a be y(-1). Suppose -3*d + 4*d - 2*l = a, -3*d + 4191 = 3*l. Is d composite?
False
Suppose -5*c + 5*q - 4*q = -1, 4 = 5*c - 4*q. Suppose -7650 = -4*p + s + 3437, 4*p + 2*s - 11102 = c. Is p composite?
True
Let g(p) = -15*p**3 + 7*p**2 + 3. Let u be 7 - ((2 - 4)*1 + 3). Suppose -14 = 4*i + u. Is g(i) composite?
False
Let d(x) = x - 6. Let u be d(8). Suppose 3*r + 3*z = 1 - 4, 0 = 5*r - u*z - 23. Suppose -r*w + 144 + 573 = 0. Is w a composite number?
False
Let p(n) = 2*n - 47 - 113*n**2 + 4*n - 3 - 3*n. Let k be p(-16). Is k/(-8) - (7/(-4) + 1) composite?
True
Let o be 1797 - (-12)/(8 + -5). Is o*(1 + -1 - -5) a prime number?
False
Suppose 5*f - 9 + 19 = 0. Let t(c) = -2*c**2 - c - 1. Let x be t(f). Is 2/x + (-5193)/(-21) a prime number?
False
Let k(o) be the second derivative of 37*o**4/3 + 2*o**3/3 - 3*o**2/2 - 34*o. Is k(1) a composite number?
False
Let v = 2180401 + -1463466. Is v prime?
False
Suppose -2*l - 14 = -5*v - 3*l, 2*v - 5*l + 16 = 0. Suppose -f = -4*b + 4, 0*f + b = f - v. Is -2 + f/(20/3645) a composite number?
False
Suppose -93*v + 91*v + 5*d + 411988 = 0, -2*d + 618039 = 3*v. Is v a prime number?
True
Suppose 3*b - 5729119 = -2*b - 12*b. Is b a prime number?
False
Is (72/(-108))/((2/5)/((-97587)/35)) a composite number?
True
Suppose 0 = -2*j - 2*p + 14216, -2905 = -j - 5*p + 4183. Is j a prime number?
False
Suppose 0 = -5*z - y + 180, 4*y = -z - y + 60. Suppose 2*p + 2*p - z = 5*o, 2*p - 23 = -3*o. Is p/60 - 15413/(-6) prime?
False
Let o be (-68232)/72 - 2/(-3). Let p = 1798 + o. Is p prime?
False
Let w = 1206 - 450. Is (-10765)/(-7) + -12*(-9)/w a composite number?
True
Let c(r) = -r - 1. Let y be c(-6). Suppose -6 = -y*h + 14. Is (585 + (1 - h)/(-3))*1 composite?
True
Suppose 5*w - 1906 = 2*k - 592, -k - 672 = 5*w. Is (-7)/(333/k - 31/(-62)) composite?
True
Let i(n) = 19*n + 141. Let c be i(-7). Is (c/16)/(1/22166) prime?
True
Let j(d) = 29*d**3 - 33*d**2 + 10*d + 67. Is j(10) a composite number?
False
Let p(a) = -a - 48*a**3 - a**2 - a**3 - 181*a**3. Let x be p(-1). Suppose -b + 6*b + 67 = k, x = 4*k - b. Is k composite?
True
Suppose -3*a - 33*k + 37*k = -128903, -214810 = -5*a + k. Is a prime?
True
Let w = 85 + -24. Suppose -36020 = w*h - 65*h. Suppose f + h = 6*f. Is f prime?
True
Let g = 1 + 5. Suppose 29 = 2*i + 5*s, 0 = 4*i - g*s + 3*s + 7. Suppose -2 = i*j, -47 = -5*u + 5*j - 12. Is u prime?
False
Let d = 181 + -176. Suppose 0 = -d*i - 8588 + 22483. Is i composite?
True
Let a(b) = -2*b - 68. Let s be a(-35). Is (177/12)/((-7)/(-7672)*s) composite?
True
Suppose 2*o + 5*n + 108 = 0, 16*o - 17*o - 54 = 4*n. Let v be (1078/2)/(0 + 1). Let k = v + o. Is k a composite number?
True
Is 27/108 - 64695/(-4) a prime number?
False
Is (2044866/(-12))/(39/(-78)) prime?
True
Suppose -5*l - 210 = -11*l. Suppose 3*d + 11 - l = 0. Suppose 0 = -d*m + 13*m - 3685. Is m prime?
False
Suppose 4*g + 76 = -2*k + 3*k, -2*g - k - 44 = 0. Let m = g - -27. Suppose -2*w + m*w - 5585 = 0. Is w composite?
False
Let k(c) = -2*c**3 - 16*c**2 + 8*c + 5. Suppose -2*j + 10 = -0*j, -12 = 4*v - 4*j. Suppose -v*x = 5*p + 80, 3*p - p - 4*x = -8. Is k(p) a composite number?
True
Let i = 697456 - 312569. Is i composite?
True
Suppose -11*b + 114660 = -136327. Is b composite?
False
Suppose 94*h = 20*h + 2921071 + 2347063. Is h a composite number?
False
Let i be (10/4 - -1)*52/91. Suppose 2*q - i*g - 10 = -2*q, 9 = 3*g. Suppose 0 = q*v - 16*v + 11748. Is v prime?
False
Is (((-432)/360)/(((-8)/(-2447590))/2))/(-3) a prime number?
True
Suppose 122 = -4*h + k + 26, 0 = -5*k. Suppose -b + 168 = 3*m, -5*m + 219 = -m + 3*b. Let w = m + h. Is w a composite number?
True
Let o(q) = 609*q**2 + 401*q + 5209. Is o(-13) prime?
False
Let b = -19 + 13. Let z be -4965 - 2/((-15)/b - 3). Let v = z + 9582. Is v a prime number?
True
Suppose 5*t + 26*t = 4*t + 4285737. Is t prime?
True
Let d(w) = 79092*w**2 - w - 153. Is d(-4) prime?
False
Let q be (-1)/2*1*-10. Suppose 4*p = -3*k + 6604 + 5199, -q*p - 4*k = -14753. Is p a composite number?
False
Is (-5*(-48)/(-180))/((-16)/156396) prime?
True
Let f be 7 - (-8)/(40/12355). Suppose 3*g = -3*g + f. Is g composite?
True
Let x(k) = -2*k + 18. Let i be x(7). Suppose i*a = 14*a - 30. Suppose 830 = j - a*z, -2*j + 3*z - 812 = -3*j. Is j prime?
True
Suppose -3166 = -5*o + 1740 + 2484. Is o composite?
True
Let t be (2 + (1 - -90230))*1. Suppose 0 = 22*i + t - 405735. Is i composite?
False
Suppose 0 = 25*b - 10274 - 1751. Suppose -b + 53635 = 6*s. Is s composite?
True
Let x(t) = 3*t + 17 + 1 - 2 - 10*t**2. Let a be x(-9). Let f = a - -2364. Is f a composite number?
False
Suppose -4*m + q = -39, -1 = -q - 0*q. Suppose -6*d = -m*d + 5*h + 83142, 4*h + 8 = 0. Is d composite?
True
Let n(u) = 198*u**2 - 17*u + 87. Is n(6) a composite number?
True
Let d be (2632/(-72))/(-7) - 2/9. Suppose -d*b = -4*o - 2347 + 5986, 0 = 2*o - 5*b - 1817. Is o a prime number?
True
Suppose 0 = -10*u + 18927 + 5683. Is u prime?
False
Let u(v) = v**3 + 27*v**2 + 50*v + 28. Let p be u(-25). Suppose -21*s - 40159 = -p*s. Is s a composite number?
False
Let h = 4213 + -872. Suppose 12822 = 7*r - h. Is r a composite number?
False
Let d be (1 + 0)/((-54)/(-184788)). Let z = 5149 - d. Is z a composite number?
True
Let j = -59 + 71. Suppose 6*k + j = 9*k. Suppose k*w + 1349 = -y + 4*y, w = -y + 438. Is y composite?
False
Suppose 8 + 16 = 6*q. Suppose -3*g - q = -2*t, -2*g - t = -g - 2. Suppose g*b + 3*w + 2399 = 5*b, -3*b + 5*w + 1433 = 0. Is b prime?
False
Let p(m) = -7*m**2 - 3*m - 56. Let a(x) = -17*x**2 - 6*x - 113. Let v(w) = -4*a(w) + 7*p(w). Is v(-11) prime?
False
Let o = 39 + -27. Let g be 2/4 - 30/o. Is 3 - 1 