 + 4*g**2 + 6*g + 2. Let a be n(5). Suppose a*d = 3*d + 124. Is d prime?
True
Let k = -25 + 134. Is k prime?
True
Let d = 929 + -615. Is d prime?
False
Suppose -11*o + 7*o + 6268 = 0. Is o a composite number?
False
Is -2 + 1*(-69)/(-3) a composite number?
True
Suppose -9*a + 12*a - 1371 = 0. Is a composite?
False
Let r(h) = h**2 + h - 7. Suppose -3*b = 2*b - 35. Is r(b) prime?
False
Let i be 9*(3 + -2)*1. Let r = i + -5. Suppose 0 = -3*n + 7 + 2, r*z - n - 257 = 0. Is z a composite number?
True
Let v(l) be the first derivative of -5*l**2/2 - 5*l + 1. Let q be 1/(-1)*4*1. Is v(q) a prime number?
False
Let m(j) = -j**2 - 7*j + 4. Let h be m(-6). Let q be (2 - 3)*(h - 0). Let a = 59 + q. Is a a composite number?
True
Let h = 18 + -16. Is h a prime number?
True
Is 13/((-234)/120)*(-8166)/8 a prime number?
False
Let o(p) = -p**3 - 6*p**2 + p. Let j be o(-7). Suppose -2*g - 3*g = -4*w - j, -18 = -5*g - 4*w. Is g a prime number?
False
Suppose b - 114 = -27. Is b composite?
True
Suppose -552 = -5*j + j. Suppose -2*h = -0*h - j. Suppose 5*i - h = 2*i. Is i composite?
False
Suppose -5755 = -32*y + 27*y. Is y a prime number?
True
Let y be 8 + -9 + 3*1. Is y + -3 + (28 - -6) a composite number?
True
Let z = -809 + 1350. Is z composite?
False
Let w(y) = y**3 - 5*y**2 - 5*y - 20. Is w(9) a prime number?
False
Suppose 2*w - 1273 = -5*m, 4*m + 4*w = 1150 - 122. Is m a composite number?
True
Let v(r) = -r**3 + 11 - 2*r**3 + r**2 + 5*r**3 - 3*r**3 + r. Is v(0) a prime number?
True
Let b(a) = 59*a + 1. Suppose -3*z + 4*u = -11, -u = 2*z + 2*z - 2. Let v be b(z). Let c = -23 + v. Is c composite?
False
Let b(l) = 17*l**2 - 4*l - 6. Let k(h) = -18*h**2 + 5*h + 7. Let g(q) = 4*b(q) + 3*k(q). Let o be g(3). Suppose o = 3*z + 15. Is z a prime number?
False
Suppose 4*z - 70 = 3*z. Suppose z = 4*a - 2. Suppose 0 = -4*h - 5*d + 839, -d + 650 - a = 3*h. Is h composite?
False
Suppose -g = -3*b + 3*g + 5, 3*b - g - 8 = 0. Suppose 31 = b*j - 11. Is j composite?
True
Suppose 0 = -4*d + 5*k - 94, 4*k + 30 = -2*d - 4. Suppose a - 4*a + 15 = 0. Is d/(-6)*2*a a composite number?
True
Suppose -o = 2*o + 3. Let s(w) = -58*w**2 - 3*w - 2. Let n(y) = -115*y**2 - 7*y - 5. Let d(r) = 2*n(r) - 5*s(r). Is d(o) composite?
False
Suppose -802 = -17*b + 133. Is b composite?
True
Let d(c) = -6*c**2 - 3*c**3 + 2*c**3 - 2 + 12*c**2 + c + 2*c**3. Let u = 3 - 7. Is d(u) a composite number?
True
Suppose -5*j + 2*b = 4*b - 143, 2*j - 62 = -2*b. Let u = 7 + j. Is u prime?
False
Let a = 160 + -91. Is a a prime number?
False
Let k = -193 + 392. Is k prime?
True
Let z(u) = u - 6. Let g(p) = p + 2. Let n be g(-2). Let x be z(n). Let d(r) = -r + 7. Is d(x) a prime number?
True
Let d be 6*-27*27/(-6). Suppose p + 5*g - d = 0, -1688 = -5*p + 5*g + 1807. Let l = p + -501. Is l a prime number?
False
Suppose -3*z - 5*p + 330 = 0, -5*z + 3*p + 252 = -332. Is z composite?
True
Let n be (-4 + 2 - -4)*2. Suppose -2*c = 5*d - 817, -4*c + 6 = 5*d - 813. Suppose 3*g - 131 = n*y, 0*y - 3*y - d = -4*g. Is g a prime number?
True
Let r be (-18)/(-2)*1/3. Suppose 3*x - 4*x = -y - 60, 2*x - 124 = r*y. Let v = 105 + x. Is v composite?
True
Suppose -g = k - 260, 2*k - 5*g - 316 = 169. Suppose -2*v - 3*v = -k. Is v a composite number?
True
Let g(m) = 2*m**2 - 3*m - 6. Let p be g(5). Let i = p + -53. Is (-3)/(-4)*i/(-2) prime?
False
Let l(v) = -24*v**3 - 2*v - 1. Let r be l(-1). Let b = r + -3. Is b prime?
False
Let c be (-3)/15 + (-42)/(-10). Suppose 5*g = -2*m + 509, m + c*g - 253 = -0*m. Is m a composite number?
False
Let q(p) = -p**3 + 9*p**2 - 5*p + 9. Let t be q(7). Suppose 138 = 4*z + 2*x, -z + 4*x = -3*z + t. Is z prime?
False
Suppose 0 = 7*v - 6*v - 755. Is v a composite number?
True
Let f = -9 - -5. Let u(m) be the second derivative of -m**5/20 + m**3/2 + 3*m**2 + 2*m. Is u(f) prime?
False
Let r(v) = v**3 - 5*v**2 - 3*v + 8. Let b(h) be the third derivative of -h**5/60 + h**4/4 + h**3/6 - 2*h**2. Let f be b(5). Is r(f) composite?
True
Let u = -33 - -47. Let k(l) = -128*l - 2. Let w be k(5). Is (-4)/u + w/(-42) prime?
False
Let y be (9/3)/6*150. Let t be ((-4)/(-2))/((-2)/(-2)). Suppose y = 7*d - t*d. Is d a prime number?
False
Suppose 4*j = 6*j - 6. Suppose 18 = j*i + 6. Is i a prime number?
False
Let q(m) = m**3 + 7*m**2 + 5*m - 5. Let w be q(-6). Let i be (22/(-6))/(w/(-9)). Suppose d + i = 5*t, -4*t = -6*t + d + 15. Is t composite?
True
Is (-2)/((-2)/(-1409))*-1 a composite number?
False
Let y(a) = -8*a + 3. Suppose 5*x + 5 = 4*x. Let v be y(x). Suppose -v = -3*p + 14. Is p a prime number?
True
Let c(z) = 16 + 20*z + 5*z - 7. Let d be c(7). Suppose 60 - d = -4*n. Is n a composite number?
False
Let q = 11 - 6. Suppose -2*i = 2, -m - 32 = -q*m + 4*i. Suppose 2*c = -4*o + 10, -4*c - 16 = -m*c - 5*o. Is c composite?
False
Let w = -196 - -280. Suppose -d + w = -181. Is d composite?
True
Let f(n) = -n**3 - 11*n**2 + 10*n - 17. Is f(-13) composite?
False
Suppose 2*r - 477 = 865. Suppose -572 = -4*p - 4*h, 5*p - 2*h - r - 58 = 0. Is p/45 + (-4)/18 composite?
False
Let a(m) = 3*m**3 - 6*m**2 - 6*m - 8. Let u(t) = -4*t**3 + 6*t**2 + 7*t + 9. Let v(k) = -5*a(k) - 4*u(k). Let f be v(-4). Suppose z - f = -3. Is z prime?
False
Suppose -3*c + 150 = -87. Is c a prime number?
True
Let l be 6/(-9) - (-1046)/3. Suppose 8*i - 15 = 3*i. Suppose -4*n + i*r + 352 = 0, -l = -4*n + 3*r + r. Is n a composite number?
True
Suppose 0 = 4*k + 3*g - 1256, -3*k - 5*g = -587 - 344. Is k a prime number?
True
Let w = -17 + 22. Suppose 2*a = a - 4*m + 75, 0 = w*a - 5*m - 325. Is a a prime number?
True
Let u(y) = -15*y - 14. Is u(-9) a prime number?
False
Let d be 6/9*1*234. Let r = 106 - d. Is 18/(-6) + r/(-1) a composite number?
False
Suppose 3*k = 2*u - 10492, 3*u - 9*k - 15745 = -8*k. Is u prime?
False
Let k(z) = 87*z + 11. Let r be k(12). Suppose 3*m + 437 = -5*i + r, 3*i = -2*m + 413. Is m prime?
True
Suppose -b + 12 = 2*f, b = 3*f - 5 + 12. Suppose -3*d + b = -8. Is d/(-21) - (-270)/14 a composite number?
False
Is 23*((-3)/12 - (-53)/4) a prime number?
False
Let n(v) = v**3 + 17*v**2 + 14*v - 21. Is n(-16) composite?
False
Let a(x) = -x**3 - 2*x**2 + x. Let g be a(-3). Is (-8072)/(-24) + 4/g composite?
False
Let r = 38 + -10. Suppose f - 7 = -s + 2*f, 0 = -5*s + 4*f + 30. Is r + -1 + s + 2 a composite number?
False
Suppose 7283 = 11*o - 24474. Is o a composite number?
False
Let z = 9 - 5. Let g be 2 - (-2)/z*-82. Let l = 18 - g. Is l prime?
False
Let p be 0 - (-1 + 2)*57. Let q = -38 - p. Is q a prime number?
True
Let b(h) = 7*h + 8. Let i be b(-11). Suppose v = -2*v - 36. Is (i/(-12))/((-3)/v) prime?
True
Suppose -4*f + 3*j - 50 = f, 0 = j. Is 3/(-2) - 1325/f prime?
True
Let q(o) = -o**3 - 8*o**2 + 12*o - 7. Let k be q(-9). Let a = 59 + k. Is a a prime number?
False
Let g = -479 + 702. Is g a composite number?
False
Suppose 5*p + 1286 - 5731 = 0. Is p prime?
False
Suppose -2*v - 2*g + 685 = -7*g, -4*v = -5*g - 1365. Suppose 4*f - 321 = 3*i, -3*f + v = -3*i + 22. Let l = i + 158. Is l composite?
True
Let f = -179 + -2145. Let x be (-2)/8 - f/16. Suppose x = 5*n - 130. Is n a prime number?
False
Let a = 289 + 252. Is a a prime number?
True
Is (-4)/(-22) + (-20709)/(-143) a prime number?
False
Suppose 0 = -2*p - 83 - 21. Let y = -30 - p. Is y a composite number?
True
Suppose -28*f + 27*f + 2729 = 0. Is f a prime number?
True
Let g(c) = -5*c**2 + 7*c**2 + 2 + 0 + 2*c**3 - c. Let j be g(-2). Is 5/((-10)/j) - -81 composite?
False
Suppose 2*k + 88 = -0*k. Is -2 - (3/1 + k) a composite number?
True
Let v(f) = -f**3 - 10*f**2 + 11*f. Let d be v(-11). Suppose 4*o - 148 - 72 = d. Is o a composite number?
True
Let s = -702 - -1205. Is s a prime number?
True
Let z(w) = w**3 + 2*w**2 - 2*w + 1043. Is z(0) prime?
False
Let s = -696 + 1005. Is s composite?
True
Suppose 3*l + 8 = 20. Let c = 30 - l. Is c a prime number?
False
Let d be 6/(-39) - 30876/78. Let f = d - -773. Is f prime?
False
Let d(m) = 3 + 4*m**3 + m**2 + m**3 - 2*m - m. Let f be d(2). Let y = -22 + f. Is y prime?
True
Suppose y + y - 4*x - 782 = 0, -4*y = 4*x - 1552. Is y a composite number?
False
Suppose 6 = 3*d, 3*c + c - 5*d - 6 = 0. Suppose -a + 67 = c*g, 164 = 2*a - 7*g + 5*g. Suppose -4*q - 29 = -5*p - a, 0 = -5*p + 10. Is q a prime number?
False
Suppose 2*t = 6, 4*w + 5*t = -0*w -