3*f. Let w = -1938 + p. Suppose 0 = 5*u - w - 1116. Is u a prime number?
True
Let p(d) = -19*d**3 - 5*d**2 + 15*d + 16. Let h be p(-5). Let z = -1298 + h. Is z a prime number?
False
Let h = -128 + 181. Suppose h*i - 45*i = 281608. Is i prime?
True
Let v = 459932 - 24171. Is v composite?
True
Let w = -569 - -584. Suppose w*i + 38756 = 131561. Is i a composite number?
True
Let z = -8392 + 23746. Suppose 0*s = -18*s + z. Is s a composite number?
False
Suppose -30*m + 108 = -12*m. Suppose -5*q = -w - m - 2, -4*w = -3*q - 2. Is w a composite number?
False
Let r(b) = b**3 + 5*b**2 + 4*b + 20. Let i be r(-5). Suppose 5*s = i, -2*d = -7*d + 2*s + 47935. Is d prime?
True
Let r(b) = 22*b**3 + 4*b**2 + 6*b - 12. Let v = -30 + 34. Let c be r(v). Let d = c + -363. Is d prime?
False
Suppose -r + 5*r = 4*b + 12, 0 = -4*r + 5*b + 7. Let c be 2/(-33)*3 - r/(-44). Suppose c = a - 9*a + 2536. Is a a prime number?
True
Suppose 8*o - 3*o = -285. Let x = -45 - o. Is 8/x + 314/6 a prime number?
True
Let n(s) = 4*s - 9. Let x be n(4). Let w(z) = 181*z - 1. Let b be w(x). Suppose -4900 = -4*y + 4*g, 2*y - b = g + 1186. Is y a composite number?
True
Suppose -12*d = 7*d + 352132 - 1027943. Is d prime?
True
Suppose -5*g = -3*w + 100341, -3*g = -7*w + 9*w - 66894. Let j = -1190 + w. Is j prime?
True
Suppose -w - 3*r + 0*r - 1537 = 0, 2*w + 3*r = -3083. Let t be (3/(-5))/((-1)/3805). Let k = t + w. Is k prime?
False
Let o be (3/9*0)/(-2). Suppose 7*z + 433 - 2064 = o. Let d = 554 + z. Is d a composite number?
False
Let l(x) = -20754*x**3 + 10*x**2 + 22*x + 5. Is l(-2) prime?
False
Suppose 27675209 = 41*t + 10863036. Is t a composite number?
True
Suppose 6*h - 15323983 = -12*h - 91*h. Is h prime?
True
Suppose 4*j + 279871 = 5*n, 405*j - 400*j = -5*n + 279790. Is n composite?
False
Let a(o) = -o**2 + 48*o + 7. Let t be a(24). Let c = t - 64. Is c composite?
True
Let m(s) = s**2 - 13*s + 28. Let q be m(12). Let k be 2/2*(-120)/q*-576. Suppose 5*x - k = g, 3*x + g + 169 - 2753 = 0. Is x a composite number?
False
Suppose 3*l = 6, -4*j - 4*l + 48010 = -9*l. Let a = j + -7098. Is a a prime number?
False
Let m be 52/78 - 20/(-6). Suppose 0 = -m*l, -5*a + 64245 = -3*l + l. Is a prime?
False
Let n = 112 - 120. Let b(g) = 33*g**2 + 6*g - 13. Is b(n) composite?
True
Suppose -10 + 22 = w. Suppose -5*l = 5, -4*l = -9*c + w*c - 1619. Is c a prime number?
True
Suppose 3*v = -5*n + 16192, -7*n + 3*n + 12957 = -v. Suppose 5*b - n - 3726 = -2*t, -t = b - 1396. Is b composite?
True
Let u = 72897 - 46834. Is u prime?
False
Let y = 382 - 367. Suppose -9341 = -2*j + 3*x, -y*x + 10 = -17*x. Is j prime?
True
Suppose -7*q - 3733 + 30494 = 0. Let n = q + 1324. Is n a composite number?
False
Let q(a) = 2*a + 9*a - 11*a - 14*a. Let t be q(-14). Let s = 73 + t. Is s prime?
True
Let f(v) = -48974*v**3 + 6*v**2 + 15*v + 8. Is f(-1) a composite number?
False
Let d(y) = y**3 + 3*y**2 + 3*y + 5. Let v be d(-2). Suppose -v*f + 3*f + 3*f = 0. Suppose f = -4*j + 6*j - 614. Is j composite?
False
Let c(s) = 4*s**2 + 7*s. Let m be c(-2). Suppose 0 = 2*h + 2*l - 1254, -m*l - 974 - 1558 = -4*h. Is h prime?
True
Let f = -935 + 1395. Let b = -802 + 491. Let m = b + f. Is m prime?
True
Let t(w) = w**2 - 10*w - 28. Suppose 15*a = 3*a + 156. Let v be t(a). Suppose 0 = v*m - 6745 - 933. Is m prime?
False
Suppose p - 3*v - 1 = 0, -v - 3*v = -p + 1. Let f be p/(8/4)*0. Suppose -5*q + 0*g + 4*g + 4955 = 0, f = 2*q + 5*g - 1982. Is q prime?
True
Let d(j) = -24*j**2 - 22*j - 19. Suppose 10*k = 5*k + 15. Let p(w) = 23*w**2 + 21*w + 18. Let v(b) = k*d(b) + 4*p(b). Is v(-10) a prime number?
False
Suppose -13*z - 6*z + 492325 = 6*z. Is z a prime number?
False
Is 1948*(5 - 2842/(-56)) prime?
False
Let f(c) = -113*c - 9. Let n(q) = 2 - q**2 + 12 + q - 3*q + 4. Let l be n(-6). Is f(l) a composite number?
True
Let w(l) = -l**3 + 7*l**2 - 3*l + 3. Let n be w(3). Let h = 72 - n. Is 30228/21 + (-18)/h a composite number?
False
Suppose 1641537 = 3*p + 5*y, -120*p + 1094344 = -118*p + y. Is p prime?
False
Let l = 6573 + 169274. Is l a prime number?
False
Let p(x) = 349*x**2 + 142*x - 1871. Is p(14) prime?
True
Suppose 7317*x - 2*o = 7321*x - 20358, -2*o - 5087 = -x. Is x a prime number?
False
Suppose 3*o = 12*o - 28*o + 8588171. Is o composite?
False
Suppose -b = -4*c + 60059, 2*c - 19648 = -2*b + 10364. Is c a prime number?
True
Suppose -3*m + 20126 = 6839. Let y = m + -3036. Is y prime?
False
Let i = 204075 + -124230. Suppose -21*n + i = -6*n. Is n a prime number?
True
Let l(h) = 11*h**2 + 13*h - 9. Let x(r) = 3*r**2 + 3*r - 2. Let w(a) = -2*l(a) + 9*x(a). Let u be w(-1). Suppose u*q - 474 = -2*q. Is q composite?
False
Suppose -o + 2*o = 3*u + 2818, 3*o - 12 = 0. Let p = 4699 + u. Is p a prime number?
True
Suppose 2*a - 662259 = -5*x, 5*x - 13*a + 12*a - 662253 = 0. Is x a prime number?
False
Let v(x) = -6*x**2 + 712*x - 146. Is v(94) prime?
False
Let o(r) = -350*r - 754*r - 420*r + 23 - 392*r. Is o(-1) a prime number?
False
Let p(y) = -447*y**3 + 22*y**2 + 103*y + 23. Is p(-6) a composite number?
False
Is 20/270 + (-46647465)/(-405) composite?
True
Suppose 3*g - 3*z + 1101 = 0, 5 = -4*z + 3*z. Let i = g + 637. Is i a composite number?
True
Let p(u) = 33963*u + 4639. Is p(6) a prime number?
False
Let f(y) = -y**3 + y**2 + 5*y + 138763. Is f(0) a prime number?
True
Let y(t) be the second derivative of -1495/3*t**3 + 0 - 36*t + 9/2*t**2. Is y(-1) a composite number?
False
Suppose 0 = -20*h + 38*h + 8*h - 82725890. Is h composite?
True
Let d = -114642 - -167897. Is d a composite number?
True
Let c = 27286 + 19765. Is c a composite number?
False
Suppose 2*o - 336 = -12*o. Suppose 3*t - b - 15012 = 0, -b = o*t - 19*t - 25012. Is t a composite number?
False
Let l be 85/51 + 1/3. Suppose -2*c + 13826 = 4*k, 0 = 5*c - l*k + 5*k - 34558. Suppose 3*f - c = -2714. Is f prime?
True
Suppose 16*s + 168 = 20*s. Suppose -s = 3*f - 27. Is (2 - 1)/(f/(-10785)) composite?
True
Let o = -10014 - -10015. Let r(a) = 1402*a**2 + 731*a**2 + 1 - a + 678*a**2. Is r(o) prime?
False
Let n = 220916 + 255179. Is n a prime number?
False
Let o(j) = 32*j**2 - j - 11. Suppose 3*f + 3*k - 33 = 0, -8 = -f - f + 5*k. Let s = f - 15. Is o(s) prime?
False
Suppose -b - 1850 = -6*b. Let g = -196 + 551. Suppose -b - g = -5*v. Is v a prime number?
False
Let r be (-32)/(-6) - (-7)/(63/6). Suppose 4*n - r*n + 4910 = 0. Suppose -n = -31*w + 26*w. Is w prime?
True
Let x = 176506 - 27217. Suppose -2*z = -23*z + x. Is z a composite number?
False
Let k(r) = r**3 - 30*r**2 + 14*r + 215. Is k(70) a prime number?
False
Let t(w) = 2*w**3 - w**2 - 2*w + 9. Let x be t(-7). Let a be 1*-4 - x/8. Suppose -321 = -2*n + a. Is n a composite number?
True
Is ((-3)/((-612)/34))/(2/3740124) a composite number?
False
Let c = -53 + 140. Suppose 3*s + 2*s - 5*h = 1225, 2*h + 240 = s. Let b = s - c. Is b composite?
False
Suppose 4*d - 14 = -a, 4*a + 2 + 5 = 5*d. Suppose -a*f + 3*f = 27. Suppose 5*q = -3*c + 401, 48 = q - 2*c - f. Is q a composite number?
False
Suppose 2*f + 5 = -2*s + s, -s + 20 = -3*f. Suppose -s*o + 3018 = a + 869, o - 4343 = -2*a. Is a a composite number?
True
Suppose -z = -5*a - 273735, 3*z - 858942 = 4*a - 37693. Is z a composite number?
True
Let u(d) = -6*d - 1057 + 3*d**3 + 2121 - 6*d**2 - 1054. Is u(9) a composite number?
False
Let p(t) = -t**3 - 128*t**2 - 205*t + 3631. Is p(-145) prime?
True
Suppose 2*x = -6 + 4. Let j(u) = -196*u**3 - u**2 + 1. Let q be j(-1). Is q*5*1 + (-3)/x a composite number?
False
Let i(a) = -17*a - 20. Let j(p) = 15*p + 19. Let m(s) = 4*i(s) + 5*j(s). Let z be m(-2). Is z/((-4)/(7036/(-7037)) - 4) composite?
False
Let d(l) = -2*l**2 - 17*l + 19. Let h be d(-9). Is (-440080)/(-200) - (-6)/h prime?
False
Let o be 5/(20/(-16)) - (2 - -3). Let a(z) = -z**3 + 18*z + 19. Is a(o) composite?
True
Suppose 10*h = -0*h + 37550. Suppose -7*w + 3*w = -2*g - 3770, -h = -4*w - g. Suppose s - w = -63. Is s composite?
False
Suppose -10*p + 12*p - 83060 = 0. Suppose 26*c - p = 16*c. Is c a prime number?
True
Let f = 270549 - 64670. Is f composite?
False
Suppose p = 2*j + 5*p + 8, -3*p = -4*j - 16. Is 3349 + (-8)/(-8 - j) a prime number?
False
Suppose a - 2 = 2. Suppose 2*l + 0 = -h - 4, -4*l = -a*h - 64. Is ((-4)/h)/((-1)/(-3))*1777 a composite number?
False
Let b be 