1 - b - 5 + 7 + 14*b**2 - 2. Let p(a) = -2*o(a) + 3*y(a). Is p(6) a prime number?
True
Is (-6*(-6)/198)/((-13)/(-429)) - -283261 composite?
False
Let f(i) = 9*i + 52. Let y be f(13). Suppose 11*a = 7 + y. Suppose 0 = a*d - 10*d - 31002. Is d a prime number?
True
Suppose 9 = -54*c + 57*c. Suppose -a + c = 5, g - 1939 = 4*a. Is g composite?
False
Suppose 2*n - 300 = -n. Let u = n - 81. Suppose u*y - 1304 = 11*y. Is y prime?
True
Let s be (-1)/(-14) + (-45838)/(-364). Suppose 0 = -133*d + s*d + 19523. Is d composite?
False
Is (20/(-8))/(30/(-471012)) a prime number?
True
Suppose -15*t + 154925 = -138400. Is t a composite number?
True
Let g = 4 - 1. Let k be ((-6)/18)/(12/(-2916)). Suppose -24 = g*o - k. Is o a prime number?
True
Let c be 2*(-21)/14 - 15299. Let o = c + 21651. Is o composite?
True
Is 5597809/23 - (344/(-48) + 15/(-18)) a prime number?
True
Suppose 5*s = 5*n - 338110, n - 4*s + 18527 = 86137. Suppose 6*q = 64788 + n. Is q composite?
True
Suppose -b + 42 = -3*r, 0*r = 5*r + 20. Let p be (-1 - (-2)/8)/(b/(-33240)). Suppose p = g + 2*g. Is g a prime number?
True
Suppose 0 = -8*j + 7*j + 31. Let a = -31 + j. Is (-4037)/(-4) - (a + 3/12) a prime number?
True
Suppose -6 = 3*r + 3*l, 0 = -r + 3*l + 3 + 3. Suppose r = -4*v + 9872 + 9276. Suppose 0 = 5*z - v + 952. Is z composite?
True
Suppose 1 = -2*k + 7. Suppose k*q = q + 6716. Let x = q - 2145. Is x prime?
True
Let m be -2 + (-5)/(-3) - 7/(-3). Let c(g) = -3*g**2 - 2*g + 3. Let d be c(m). Is (d/52 + 5082/8)/1 a prime number?
False
Suppose 0 = 2*m + 3*m + 20, -c = -2*m - 89. Let v = c + -80. Is v + (-1358)/(-1) + (-14)/(-7) a prime number?
True
Let z(n) = -10*n - 149. Let f be z(-15). Is (-1753 - f)/((-18)/9) a composite number?
False
Let h be 2 + 0 + 2 - -90. Suppose 4*n - 71 = -403. Let s = h - n. Is s a prime number?
False
Let w = -288 - -273. Is (-26349)/w + 2 - (-12)/30 a prime number?
True
Is 1578702/26 - (-120)/(-390) a composite number?
False
Let c(m) = -488*m**3 + 12*m**2 + 2*m + 13. Is c(-3) a prime number?
True
Suppose 3*p - o + 65 = -0*o, p - 3*o = -35. Let t be (6/3 + p)*2/3. Is t/8 + 113/2 a composite number?
True
Suppose -83*y + 116221 = 81*y - 157*y. Is y prime?
True
Let t be 2/(-17) - 156023/(-119). Let c = 1852 - t. Is c prime?
True
Let r = 18317 + 10896. Is r composite?
True
Let u(g) = -g**3 + g**2 + 13*g + 22. Let z be u(-9). Suppose -59 - z = -2*m. Suppose 3*s - m = 366. Is s prime?
True
Let a(f) = -21*f + 109. Let l = -142 + 122. Is a(l) prime?
False
Let u = -63 + 70. Suppose 23 = u*x + 9. Suppose -2*z - 2*m = -1243 - 597, -z + x*m + 911 = 0. Is z prime?
False
Suppose -4952 = -2*o - 0*o. Let g(m) = 153*m**2 - 6*m - 6. Let j be g(-3). Let z = o - j. Is z a prime number?
True
Let d be (-15)/(-6)*12/(-30). Is d*((-2 + 7226)/(-2) - 1) a prime number?
True
Suppose 66*s = 26*s + 214280. Is s prime?
False
Suppose -11*z + 37*z - 520390 = 0. Suppose -3*g + 15514 = -z. Is g a composite number?
True
Suppose 3*q = 21 - 6. Suppose 0 = 3*x + 4*t - 443, -4*t = q*x - 9*t - 785. Suppose x = 2*d + i, -3*i - 307 = -4*d - 4*i. Is d composite?
True
Is 22/(4 + 7) - -23*1655 prime?
False
Let i(r) = 67909*r + 3220. Is i(13) composite?
True
Suppose -3*g + 119044 = -2*k, 0*g - 2*g - k + 79365 = 0. Is g*(2 + (-3)/2) a prime number?
True
Suppose -9*b + 3346712 + 475237 = 0. Is b a prime number?
True
Let y = 4571 - 1156. Suppose -3*g = x + g - y, 0 = 3*x - 3*g - 10260. Is x a prime number?
False
Suppose 2*h + 8 = 0, -189492 = -20*w + 16*w + 2*h. Is w prime?
False
Let z = 6537 - -2668. Suppose -27*o = -34*o + z. Is o composite?
True
Let q = -38 + 40. Let o be -1*(20/q - 1). Is 331 + 1 - (10 + o) composite?
False
Suppose 48*y - 143173 = 702443. Is y composite?
True
Suppose 3*k - 4*w = 35715, -13758 = -4*k - w + 33843. Is k a composite number?
True
Is 122886 - ((-2)/(-3))/((-124)/(-930)) a composite number?
True
Suppose -z - 2002741 = -5*z - 9*z. Is z a composite number?
False
Let t(r) = 235 - 537 + 241 - 2976*r + 194. Is t(-4) composite?
False
Let c = 87471 - 16228. Is c prime?
False
Let f(w) = 4*w + 26. Let q be f(-6). Suppose -q*j + 26575 = 3*t, 0 = -4*t + 3*t + 4*j + 8849. Is t prime?
False
Let j be ((-516)/(-24))/((0 + -2)/(-4)). Let i = j + -41. Suppose z + 5*k = 276, 0 = i*z + 2*k + 2*k - 582. Is z composite?
True
Let f(u) = -12*u**3 + 4*u + 20. Let y be f(-6). Suppose 7*c - y = 3*c. Is c a composite number?
False
Is -42*(-48)/864*3*300779 prime?
False
Let w(f) = 284*f + 1. Let k be w(3). Let q = k + -278. Suppose -430 = -3*y + 5*s, 2*s = 4*y - 3*s - q. Is y composite?
True
Suppose -83*q + 84*q + 2*w - 49357 = 0, -5*w + 98711 = 2*q. Is q composite?
False
Let r(m) = -64*m - 381. Let y be r(-6). Suppose -3*b - y*t = -20808, 19*t - 15*t + 27704 = 4*b. Is b prime?
False
Suppose -4*k - 2 = -2*w - 4, -2*w + 7 = -k. Suppose -3930 - 6831 = -k*d. Is d a prime number?
False
Suppose -4*f - 4*u = -36, -21 = -10*f + 6*f - u. Let w be (1/8)/(3/18)*f. Suppose w*s - 3004 = -s. Is s composite?
False
Suppose -x + 5*g = 7348, 18389 = -3*x - 5*g - 3735. Suppose 0 = -3*i - 11911 - 19682. Let l = x - i. Is l composite?
False
Suppose 31 = -3*h - 29. Is h/(-90) - (-6602)/18 a prime number?
True
Suppose 15*u = 86246 + 87304. Let k = u - 6481. Is k a composite number?
True
Let f(p) be the first derivative of 92*p**2 - 55*p + 1. Suppose -4*z = 3*m - 55, 0 = -m - 4*z + 23 - 2. Is f(m) a prime number?
False
Let n = 4268 + -92. Suppose 0 = h - 2*k - 1884, -1470 = -3*h + 4*k + n. Suppose 120 = -6*a + h. Is a a composite number?
False
Let x(l) = 33*l - 1251. Let f be x(58). Suppose 0 = -q - 333 + 2342. Suppose 3*g = -4*c + q, g - 5*c + 3*c = f. Is g prime?
False
Let s(t) = 17*t + 114. Let w be s(-6). Suppose 54719 = -5*l + w*l. Is l a composite number?
False
Let l = -29662 + 19206. Is -3 - l - -1 - (-13)/(-13) prime?
True
Let x(n) = -78180*n - 2125. Is x(-4) composite?
True
Suppose 8*x - 108 = -x. Suppose x*a - 7007 = 5*a. Suppose 3*s = 4*k - 1312, -3*k + 2*s = -6*k + a. Is k prime?
True
Suppose q - 3*p - 30 = 0, p - 23 - 23 = -q. Is ((-24)/q - (-96)/21) + 493 a prime number?
False
Let y = 22952 + -1585. Is y composite?
True
Let i be (-12)/(-8)*258448/24. Suppose 5*g - 9232 = i. Is g composite?
False
Is (1260/(-231))/(-5) + 6195549/33 prime?
False
Let l(t) = -7296*t + 1769. Is l(-39) a composite number?
True
Let j(l) = 8*l + 6. Let y be j(-3). Let z = y - -128. Suppose 0 = -b - 1, 0 = -0*x + x - 4*b - z. Is x a prime number?
False
Suppose -1067771 = 10*k - 2905951. Is k a composite number?
True
Suppose 0 = 3*h - 5*i - 953461, 28*i = 4*h + 24*i - 1271292. Is h a composite number?
False
Is (-309742)/(-2) - (-17 - (-27 + 10)) prime?
True
Suppose -57 = -9*b - 93. Is ((-4791)/(-12))/(-3 + (-13)/b) a composite number?
False
Suppose 0 = 131*h + 28*h - 38350005. Is h prime?
False
Let x(g) be the third derivative of -559*g**4/12 - g**3/6 + 15*g**2. Let a(u) = -u**2 + 26*u - 28. Let n be a(25). Is x(n) a prime number?
False
Let b(l) = 1112*l + 9. Let r(s) = -738*s - 9. Let v(j) = 1477*j + 17. Let u(g) = -5*r(g) - 3*v(g). Let i(f) = -5*b(f) - 8*u(f). Is i(1) a prime number?
False
Suppose 2*k + 34 = 4*y, -3*y + 43 = -4*k - k. Suppose 0 = y*x - 3*x - 12. Suppose -v + 231 = 5*s - 529, 0 = x*v - s - 3145. Is v a prime number?
False
Suppose 126*h = 143*h - 277559. Is h a prime number?
False
Is (54/(-10) - -5)/(4/(-1871710)) prime?
True
Suppose u + 4*v - 887 = 0, -3*u + 2*v = 5*v - 2625. Let q = -480 + u. Is q composite?
True
Let o = 662 - 657. Suppose -5*w = 4*t - 90685, -5*t = o*w - w - 72539. Is w prime?
False
Let w(p) be the first derivative of -p**2 + 12*p - 6. Let f be w(6). Suppose f = 3*u - 1185 - 402. Is u a composite number?
True
Let a(f) = 4947*f**2 + 13*f + 53. Is a(-3) prime?
True
Is 4/(16/2234808*(-126)/(-7)) a composite number?
False
Let c = -32 + 35. Suppose 0 = 5*f - c*l + 2 - 14, 0 = f - 4*l - 16. Suppose 3*s - 311 = -5*b + 564, 4*s + 5*b - 1170 = f. Is s prime?
False
Suppose -46*i + 53*i + 14322 = 0. Let s = -1112 - i. Is s a prime number?
False
Let t = -27 - 35. Suppose 4*r - 4*z = -643 - 473, 2*r + 5*z + 558 = 0. Let m = t - r. Is m composite?
True
Let l(n) = 7*n**2 + 106*n + 93. Is l(73) a composite number?
True
Let k be -6 - -2 - -1 - -133. Let s(x) = 127 + k + x + 308 - 72. Is s(0) composite?
True
Suppose -394