0*j + 73*j - 414271 = 0. Is j a composite number?
True
Suppose -w = -l - 2*l + 71, -4*w = 3*l - 61. Let g = 30 - l. Is 1258/8 - g/28 prime?
True
Let h be (6/(-9))/(6/(-72)). Let c(k) = k + 8. Let z be c(h). Let v = 15 + z. Is v a composite number?
False
Is 7/((-14)/6) + 11030 prime?
True
Suppose 0 = -50*m + 48*m + 4222. Is m composite?
False
Let w be -1*(-3 - -1) + (-1 - -5531). Suppose g - w = -3*g. Is g prime?
False
Is 110847/22 - (-5 - (-27)/6) prime?
True
Let g(w) = -2*w**2 - 12*w + 2. Let k be g(-7). Is (-2)/k + (13604/24 - 2) composite?
True
Let j(c) = -538*c - 11. Let h(q) = 269*q + 6. Let s(m) = -11*h(m) - 6*j(m). Let t be s(-3). Is ((-20)/4)/5*t a prime number?
False
Let v(b) = 49*b**2 - b - 1. Let u be v(-1). Is u + (-4 - 3/(-3)) prime?
False
Let t(z) = 112*z - 14. Let o be t(5). Suppose -4*i + o = -98. Is i a composite number?
True
Is 30/(-5) + 8 + 5156 a prime number?
False
Let w = -1 - -2. Let b be (w + -1)/(-6 - -8). Let a = 79 + b. Is a a composite number?
False
Let q be 3 - -3 - 3 - (-1600 - 2). Suppose -4*b - 7736 = -3*n - q, -4*b - 10229 = -5*n. Is n a prime number?
False
Let a be 291/7 + (-3)/(-7). Let j = a + -71. Let g = -6 - j. Is g a composite number?
False
Suppose 0 = 4*l - 15 + 7. Suppose -l*v = v - 1905. Is v composite?
True
Let h(d) = -d**2 + 22*d + 51. Let r be h(24). Suppose p = r, -c + 3*p - 2*p = -646. Is c a composite number?
True
Let w = -98 - -99. Suppose 0 = -2*o - 3*i + 759 + 5690, -i + w = 0. Is o a composite number?
True
Suppose 6*w = 3679 + 557. Is w composite?
True
Suppose -r + 4*t = -32, 3*r - 2*t - 28 = 48. Suppose 0 = -4*p - 0*p + r. Suppose -69 - 789 = -p*l. Is l a composite number?
True
Let m(r) = -81*r**3 - 2*r**2 + r - 4. Let f be m(3). Let q = f - -3567. Is q composite?
False
Suppose 4*n - 5*i - 12 = -0*i, 0 = -4*n - i - 12. Let y be -1 + (2 - (n + -4)). Let x(m) = 51*m + 14. Is x(y) a prime number?
False
Suppose 0*h + 10 = 5*h. Let n be 19188/91 + h/14. Let q = n + -128. Is q a composite number?
False
Suppose 0 = 28*g - 76 - 36. Suppose o - 2*o - m - 24 = 0, m = 2*o + 54. Is -2445*(g + o/6) a prime number?
False
Let n be 13/(-39) + (-2338)/(-3). Suppose 0 = 8*k - n - 3117. Is k prime?
True
Suppose 16*k - 28 = 9*k. Suppose 4338 = k*d + 2*s, 0 = -3*d - s + 2305 + 951. Is d a composite number?
False
Let v(q) = 167*q**2 - 35*q + 751. Is v(16) prime?
True
Suppose 4*j - 53098 = 2*a, -2*a - 6 = -0. Is j prime?
False
Let h = 47 - 68. Is (-12)/h + 577/7 a composite number?
False
Suppose -15*d + 136426 = 4741. Is d prime?
True
Is (-47012)/(-6) - 25/75 a composite number?
True
Let y(i) be the first derivative of 633*i**2/2 - 6*i + 7. Let k(h) = 950*h - 9. Let x(v) = 5*k(v) - 8*y(v). Is x(-2) a prime number?
True
Let k(j) = j**3 - 13*j**2 + j - 2. Let y(c) = -c**2 + 8*c + 6. Let f be y(7). Is k(f) a composite number?
False
Let a(s) = 25*s**2 + 9*s - 17. Let y(h) = -4*h + 4. Let j be y(0). Is a(j) a prime number?
True
Suppose -4*p - 3*q + 6486 = 0, 9*q = 5*q - 8. Is p composite?
True
Let p = -6659 - -13126. Is p composite?
True
Let k(f) = f**2 + 11*f - 14. Let j = 3 - 15. Let q be k(j). Is q + (82 - 3) + 2 a composite number?
False
Let q(k) = -26*k**2 - 12*k - 7. Let h be q(10). Let g = h + 4296. Is g prime?
False
Suppose -c = -2*d - 4963, 2*d = 2*c + 3*d - 9926. Is c composite?
True
Let m(z) = 23*z**2 - 5*z + 11. Let f be m(9). Suppose 0 = 8*h - 307 - f. Is h a composite number?
True
Let l be 5 - -1 - (0 + -4). Let n be (-1)/(-2)*(-2 + l). Let f(y) = y**3 - 3*y**2 + 5*y - 5. Is f(n) a prime number?
True
Let n(m) = 66*m + 9. Let a be n(7). Suppose -3*s - 4*u = -3199, 578 = s - 3*u - a. Is s composite?
False
Is (-2)/4*(-6 - (-10 - -46942)) prime?
False
Suppose 547696 = -9*x + 1618039. Is x a composite number?
False
Let h(t) = -4*t - 1. Let m be h(-1). Let f(x) = -x**3 + 3*x**2 - x + 4. Let g be f(m). Is -3 - (g/1 + -71) composite?
False
Suppose 4*w + w - 25 = 0. Let g(h) = -10*h + 4 + w*h + 12*h + 2. Is g(7) a prime number?
False
Let d(t) = 21*t**2 - 13*t + 14. Let g be d(6). Suppose -3490 = -2*c - g. Is c a prime number?
True
Suppose 0 = -2*l + l - 4. Is (l/12)/(3/(-6822)) a prime number?
False
Is 531/(-6)*834/(-9) - -2 composite?
True
Let g(m) = m**3 - 2*m**2 - 2*m - 2. Let u be g(3). Let d be -55 - (3 + u - 5). Let s = 363 + d. Is s prime?
False
Suppose -4*d + d + 9 = 3*i, 3*i = -4*d + 10. Suppose a - i*k - k - 239 = 0, k + 468 = 2*a. Is a a prime number?
True
Let c = -1441 - -2664. Is c composite?
False
Suppose 0 = 9*g + 30693 - 340500. Is g a composite number?
True
Let o be (30/(-9) - -2) + 42376/(-24). Let f = -88 - o. Is f a prime number?
False
Let r = -9764 - -14103. Is r composite?
False
Let k be 4 + 8 - (1 - -1). Let x = -8 + k. Suppose 2*g - 892 = -x*g. Is g prime?
True
Let r be 2/(-2) - (-516)/(-3 + 9). Suppose r + 660 = 5*h. Is h a composite number?
False
Is (-9 + 13 - -8859) + 8 a composite number?
True
Let f(q) = 2*q**3 + 55*q**2 - 23*q + 11. Is f(-27) a prime number?
True
Let g(t) = t**3 - 4*t**2 - 2*t - 12. Let h be g(5). Suppose -b + 800 + 686 = 3*r, h*r - 9 = 0. Is b prime?
False
Is ((-8)/6)/(12/(-16578)*3) composite?
True
Let r(d) be the third derivative of -7*d**5/60 - d**4/2 - d**3/6 + 6*d**2. Let u be r(-6). Is 3 - (0 - 1) - u composite?
True
Let l(p) = p**3 + 3*p**2 - 11*p - 3. Let q be l(-5). Suppose 5*y = 5*c + 2220, 4*y - 5*y + q*c + 445 = 0. Is y a composite number?
False
Let z(x) = -2357*x + 15. Is z(-2) a prime number?
True
Suppose 0*y - 90 = -6*y. Let i(g) = g**3 - 14*g**2 + 13*g + 27. Is i(y) composite?
True
Let d be (-18)/(-45) + (-4506)/(-10) + 0. Let u = d - -1486. Is u a composite number?
True
Let c(f) = -9 - 77*f - 89*f - 36*f + 32*f. Is c(-5) a composite number?
True
Suppose -12*g = -7*g - 8565. Suppose 86*k - 89*k = -g. Is k composite?
False
Suppose h + 4*k - 8 = 8*k, 3*k = h - 7. Let f(a) be the third derivative of 19*a**4/8 - 5*a**3/6 - 4*a**2. Is f(h) a composite number?
False
Let t(n) = -62*n - 17. Let r be t(-6). Let h = r + -196. Is h a prime number?
False
Suppose 3 = 2*b - b. Suppose -2*k + 7530 = b*k. Suppose k = 3*m + 3*m. Is m prime?
True
Let d = -461 + 827. Let w = 187 + d. Suppose 0 = 5*c + 2*i - 700, -4*c + 3*i - 6*i + w = 0. Is c a prime number?
False
Let t = 138 - 71. Is t composite?
False
Let q = 8768 + -3871. Is q prime?
False
Let q(n) = 7*n**3 - 10*n**2 + 21*n + 25. Let z(o) = 20*o**3 - 30*o**2 + 62*o + 74. Let v(d) = -17*q(d) + 6*z(d). Is v(12) a prime number?
True
Let x(c) = 34*c - 17. Suppose 7*t - t = 48. Let f = t + 2. Is x(f) composite?
True
Suppose 3*o = -2*o + 2*i + 5878, 0 = -o + 4*i + 1172. Suppose 2844 = 3*s - o. Suppose 4*u - s = -4*b, -3*b + 5*b + 5*u - 682 = 0. Is b prime?
True
Let o be (-66)/2*19/(-57). Suppose 12*d - o*d = 2897. Is d prime?
True
Let q be 6*(3/(-2) - -2). Suppose q*r - 1979 = 5*d, -2*d + 0 - 2 = 0. Suppose -4*u + 538 + r = 0. Is u prime?
False
Suppose 3*f - 2*g + 206 = 1170, -2*f + 651 = -3*g. Let w = f - -313. Is w prime?
True
Suppose 0 = 3*t - 6. Let o(r) = r**3 + 19*r**2 - r + 8. Let i be o(-15). Suppose 0 = t*l - 71 - i. Is l prime?
False
Suppose -x + 2 = -3*x. Let s be 1 - (-17*22 + x). Suppose s = 3*k - 5. Is k a prime number?
True
Let x = 1150 + -411. Let z = x + -488. Is z a composite number?
False
Let n(y) = 84*y**2 + 11*y - 52. Let q be n(5). Suppose j = -0*u + u + 2115, q = j + 2*u. Is j a prime number?
True
Let q(b) = -3*b - 9. Let h be q(-4). Suppose h*a + 1409 + 193 = 0. Is ((-16)/24)/(4/a) prime?
True
Suppose -5*p = w - 67844, -40*w + 271301 = -36*w + 5*p. Is w composite?
False
Suppose 2*x + 5*q - 91874 = 2*q, 4*q + 45959 = x. Is x a composite number?
False
Is (-471)/2*(-24)/(-180)*-205 a prime number?
False
Let i be 342/54 + -1 + 4/6. Suppose -i*c + 354 = -180. Is c composite?
False
Is -2*2/(-6)*67305/10 prime?
False
Let d(o) = -3*o - 8*o + 0*o - 4*o + 5. Let u be d(-4). Let r = 124 - u. Is r prime?
True
Let s(n) = 6*n**2 - 10*n - 20. Let w be s(-14). Let v = -925 + w. Is v a prime number?
False
Suppose 3 = 4*m + 47. Let b = m + 16. Suppose -b*o + 633 = -182. Is o a composite number?
False
Let z(s) be the third derivative of -3*s**2 + 0 - 7/8*s**4 - 13/6*s**3 + 0*s. Is z(-6) a prime number?
True
Let g(s) = 21*s**2 + 18*s + 50. Is g(-9) a composite number?
True
Suppose -46*x + 31*x = -176235. Is x a co