 -824, 796 = 3*b + 5*f. Let m = b + x. Is m a composite number?
True
Let l = 47 + -47. Suppose -3*r + 2*r + 2*j + 765 = l, -2*r + 1542 = 2*j. Is r composite?
False
Is (-14)/21 + 572448/18 a composite number?
True
Suppose -5*z + 6935 = 2*t, 4*t = -z - t + 1410. Suppose -z = -4*k + 3*k. Is k composite?
True
Let j(c) = c**2 + 4*c - 3. Suppose -2*v - 12 = v. Let t = 6 + v. Is j(t) composite?
True
Is (4 - 45/12) + 33135/20 prime?
True
Suppose 0 = 14*y - 610591 + 109937. Is y prime?
False
Let n be (-3 + 3)*(-5)/(-10) - 1. Is (295/2 - n) + (-52)/(-104) composite?
False
Suppose 3*a - 7005 = -2*a. Let c = a - 346. Suppose -2*r = 3*r - c. Is r prime?
True
Let u = 32 + 265. Is u + (-3 + 3 - 4) composite?
False
Let v(u) be the first derivative of u**3 + u**2 + 3*u + 1. Suppose -64 = -4*g - 40. Is v(g) a composite number?
True
Suppose -3*t = 4*x - 3057, 4*x - 6*t + t - 3033 = 0. Let s = x - 401. Is s prime?
False
Let v be (-3)/(-1*(-4)/44). Let p = -10 - v. Is p a prime number?
True
Let b = -5654 - -8533. Is b a prime number?
True
Let w = -211 - -342. Is w composite?
False
Let r(a) = 23*a + 47. Let b(m) = -4*m - 8. Let g(z) = 34*b(z) + 6*r(z). Let c be g(-7). Is c/(16/142)*-22 prime?
False
Let m(g) = -g**2 - 16*g - 12. Let j be m(-15). Suppose 2*y + z = 3*z + 1886, 3*y + j*z = 2853. Is y a composite number?
False
Let l = 98 - 21. Is -2 + -1 + 5 - (0 - l) prime?
True
Let a be (-818)/(2*(-2*2)/(-16)). Is 1/(2 - a/(-820)) a composite number?
True
Suppose -s + 10*x + 4977 = 8*x, 5*s - 24830 = -x. Is s a prime number?
True
Let n be (-52)/(-6)*(-39)/(-26). Suppose -n*j = -16*j + 3441. Is j prime?
False
Suppose -22 = -3*a + 14. Suppose 5*g - 2*b - 28 = 0, 0*g - 4*g = b - a. Suppose -g*w = -6*w + 14. Is w a prime number?
True
Suppose -12234 = -2*s + 9400. Is s prime?
False
Suppose -9*m + 14*m - 3285 = 0. Suppose 5*v = 5*k, v + 2*k + 8 = -k. Is (m/(-6) - 2)*v prime?
True
Is (-1)/(-2) - (-3 - (-60630)/(-4)) a composite number?
False
Suppose 0 = 5*c + 3*s + 2*s + 10, 0 = c + 4*s + 11. Let m(u) = 784*u + 3. Is m(c) a composite number?
False
Suppose -3*m = -3826 - 4022. Suppose -m + 291 = -3*h. Suppose -h = -5*v + 840. Is v a composite number?
True
Let k(b) = -b**2 - 5 + 0*b**2 + 22 + 5*b**2 - 3*b. Let h be k(-7). Let l = 331 - h. Is l prime?
True
Let v = -1091 + 1792. Is v a composite number?
False
Suppose -10*d = 21*d - 99479. Is d prime?
True
Is 29380/30 - -1*(-2)/6 a composite number?
True
Suppose -31 = 2*m + 5*v, v = -3*m - 3*v - 29. Is (-6279)/(-15) - m/15*2 a prime number?
True
Let l be (-8)/((-4)/(-2)) + 276. Let k = -179 + l. Is k prime?
False
Let p(a) = 10*a**2 + 62*a - 71. Is p(15) a composite number?
False
Let k = -4538 + 11601. Is k composite?
True
Suppose -d = -2*j - 845, 2*j - 825 = -d - 0*j. Is d composite?
True
Suppose 5*a = -3*j + 52790, -228*j = -223*j - 25. Is a composite?
True
Let q(o) = -14*o**2 + 14*o + 20. Let m(z) = -z**2 - z - 1. Let a(t) = -5*m(t) - q(t). Is a(-5) a prime number?
False
Suppose 8 = -2*n - 2. Let s = -11 + 37. Let r = s + n. Is r prime?
False
Let u = 22 - 15. Suppose -y = u*y - 7976. Is y a prime number?
True
Suppose -14*c + 11649 = -11*c. Is c composite?
True
Let n(w) = -1086*w + 673. Is n(-10) a composite number?
True
Let t(k) = -k**3 - 7*k**2 - 6*k + 3. Let d be t(-6). Let b = 6 - d. Suppose 0*r = -b*r + 201. Is r prime?
True
Let k(r) = r**3 - 4*r**2 + 39*r + 51. Is k(28) a prime number?
False
Suppose -3*m = -2*w + 19797, -8*w = -10*w + m + 19795. Is w composite?
True
Is (-1535)/(-2)*(-2380)/(-350) composite?
True
Let s be (-4)/(-16) + 1542/8. Suppose -s + 1181 = 4*h. Is h a prime number?
False
Let v = -6 - -11. Suppose -20 = 5*o + 5*f, -v*f - 30 = -8*o + 3*o. Suppose -2*d + o = -7, 3*q + d = 1015. Is q a composite number?
False
Let d(f) = 6*f - 551 + 546 + 8*f**2 - 3*f. Suppose -3*o - 33 = 3*h, -3*o - 2*h = -2*o + 16. Is d(o) composite?
True
Suppose 290 + 6 = 4*x. Let p = x - 5. Is p a prime number?
False
Is (5 + -6)*1 - 2498*-6 a composite number?
True
Let z(x) = -5*x**3 + x**2 + 2*x - 445. Let a(i) = i**3 - i. Let u(t) = -4*a(t) - z(t). Is u(0) a prime number?
False
Let s(z) = -z**2 + 4*z - 1. Let w be s(3). Let q = 957 - 2238. Is q/w*28/(-42) prime?
False
Let w be (442/(-8))/((-87)/(-44) + -2). Suppose -w = -c - 4*t, c - t = -2*t + 2416. Is c prime?
True
Suppose -795942 = -7*u - 56*u. Is u a prime number?
False
Let a be 15957 - (4 - 0) - 5. Suppose -19*d = -10025 - a. Is d prime?
True
Let d(l) = l**2 - 4*l + 13429. Is d(0) prime?
False
Suppose 18*i = 23*i + 5*a - 14640, a + 11707 = 4*i. Is i a composite number?
False
Let o = 3090 + -1174. Suppose 3*k - 4799 = -o. Is k a composite number?
True
Suppose -o = -0*o + 3*c - 21985, -5*c + 21985 = o. Is o composite?
True
Suppose -35*m + 2110329 = 82*m. Is m a prime number?
False
Suppose 4*r - 145 = 271. Let m(p) = 27*p + 17. Let t be m(0). Let z = r - t. Is z a composite number?
True
Let s = -2 + 0. Let t be ((-90)/(-12))/(s/(-28)). Suppose -106 = -z + t. Is z a composite number?
False
Suppose 3*g - i = 3*i + 13, 0 = 4*i + 16. Let f be 3*(4/(-6))/g. Suppose 0 = -q - 3, 2*q - 240 = -f*c - c. Is c prime?
False
Let q = -240 - -1149. Suppose -6*g + 27 + 3 = 0. Suppose -g*f - 3*r + 1489 = -r, 0 = 3*f - 4*r - q. Is f composite?
True
Suppose -x - 2160 = -4*x. Suppose 0 = l - x + 163. Is l a prime number?
True
Let d = 6 - 2. Suppose -d*s - 5*t + 2645 = 0, 0*s = -4*s + 5*t + 2595. Is s composite?
True
Let m(f) = 10*f + 28. Let k be m(15). Suppose 0 = -10*d + 8*d + k. Is d prime?
True
Let m(a) = 1104*a - 17. Is m(1) composite?
False
Suppose 3*i - 145 = 29. Suppose -5*q - 638 = -5*j - i, q = 5*j - 560. Is j a prime number?
False
Let o(x) = x**3 - 3*x**2 - 5*x + 7. Let d be o(4). Suppose -d*l + 1886 = -2983. Is l prime?
False
Suppose -36*c = 5*c - 381751. Is c prime?
True
Let q = -1 - -17. Is (-1521)/(-12) + 52/q + -3 prime?
True
Suppose -3*m - 2*m = 5*n + 25, -n - 1 = 5*m. Let v(q) = 11 + 3*q - 3 + q**2 - 5 + q**2. Is v(n) a composite number?
True
Suppose 2*z = 2*g + 14, 3*g + 35 = z + 4*z. Is (-11378)/(-14) - (-2)/z prime?
False
Let v(j) = -1591*j + 208. Is v(-3) composite?
True
Let d be (-3)/(-1 + -1 + 1). Suppose 20 = 2*c + d*c. Suppose -c*z + 177 - 29 = 0. Is z a prime number?
True
Let z(m) = m**3 + 15*m**2 + 15*m + 19. Let r be z(-14). Suppose 0 = r*o + h + h - 87, 3 = 3*h. Suppose -34 - o = -x. Is x a prime number?
False
Suppose 3*k - 1 = 5*r, 0 = -k + r - 0*r - 1. Is (-74)/k*(-1 - -4) composite?
True
Let l(x) = 5089*x**2 + 13*x - 13. Is l(1) a prime number?
False
Let x(a) = -16*a**3 - 9*a**2 + 3*a + 15. Let m(y) = -5*y**3 - 3*y**2 + y + 5. Let v be (-9)/(-6) - (-21)/(-6). Let s(h) = v*x(h) + 7*m(h). Is s(-4) composite?
True
Suppose -9*w = -2*w - 4361. Let a = 1122 - w. Is a a prime number?
True
Let i(k) = k**3 + 35*k**2 - 75*k - 91. Is i(-33) a prime number?
False
Let h(n) = -n + 14. Let v be (-44)/10*45/(-18). Let r be h(v). Suppose -4*l + 5*m = -157, 5*m - r*m = 2*l - 76. Is l composite?
True
Let h be (-17)/85 - ((-6382)/10 - 0). Suppose -644 = -2*y + h. Is y a prime number?
True
Let v(b) = -3*b + 1. Let c be v(-1). Suppose 3*m = m - 3*z + 115, -225 = -c*m - 5*z. Let o = 369 - m. Is o prime?
False
Suppose 2*u = -0*u + 6824. Suppose 7*y - u = 3*y. Is y a prime number?
True
Let j(h) = h**3 - 2*h - 1. Suppose -5*g = -6 - 19. Suppose -t + 1 + g = 0. Is j(t) prime?
False
Let p be (-215)/(-40) + (-3)/8. Suppose -q - 4*z - 272 = -1212, p*z - 1883 = -2*q. Let u = -513 + q. Is u a prime number?
True
Suppose 2*a + l + 720 = 0, -4*a - 2*l - 3*l - 1434 = 0. Let p = 546 + a. Is p prime?
False
Is 34934/((-6)/18*(-8 + 5)) composite?
True
Suppose 2 - 42 = 5*s. Is (2/s)/((-9)/1764) composite?
True
Let x(q) = -q**3 + 3*q**2 + q + 9. Let z be x(4). Let t(y) = -30*y**3 - 4*y**2 + 4*y + 9. Is t(z) a prime number?
False
Suppose -g + 13 = 62. Let v = -24 - g. Is v composite?
True
Let z = -55 - -58. Suppose 2*r - 2560 = -2*u, r - z*u + 2561 = 3*r. Is r a composite number?
False
Let l(d) = 101*d - 111. Is l(4) a prime number?
True
Suppose -5*c = 13 - 28. Let m(x) = 1060*x + 19. Is m(c) composite?
True
Suppose -4*a - 36522 = -10274. Is a/(-14) - 1/7*-2 prime?
False
Let l(h) = -9*h**3 - 29*h**2 - 25*h + 4. Is l(-11) composite?
True
Let s(g) be the first derivative of -g**4/4 + 7*g**3/3 + g**2 + 3*g - 7