3*h - 419. Is h prime?
False
Let t(v) = -7*v + 4. Let u be t(-6). Suppose 0 = -3*f + f + u. Suppose 62 + f = w. Is w prime?
False
Let i(m) = -133*m**3 - m - 1. Is i(-1) a composite number?
True
Suppose -475 = -4*y + 3*c, 4*y - 3*c = -8*c + 499. Suppose -2*b + b - 209 = -4*p, 2*p = -5*b + y. Is p prime?
True
Let s(c) = -20*c + 1. Let f be s(9). Let p = -130 + 18. Let m = p - f. Is m a composite number?
False
Suppose 2*t = -m + 935, 5*t + 2*m = -m + 2337. Is 6/42 - t/(-7) composite?
False
Suppose -4*u + i + 20 = -4*i, -5*u - i = -25. Let f = 10 - u. Suppose -4*t + 0*t + f*d + 493 = 0, -15 = -5*d. Is t a prime number?
True
Suppose -4*a = -5*l - 194 + 48, -162 = -5*a - 4*l. Is a - 6*2/(-4) a composite number?
False
Suppose -2*g - 10 = -7*g. Suppose 4*h = 5*s + 7, 0*s - 15 = -4*h - 3*s. Suppose 0*x + g = -f - h*x, 6 = f - x. Is f a composite number?
True
Is 3/(-2)*11362/(-39) a prime number?
False
Let q(h) = -h**2 - 11*h - 3. Let l be q(-11). Let w be (0 + l/(-6))*-4. Is w - ((-579)/3)/1 a prime number?
True
Let n = 12 - 7. Suppose h + 0*h - 4 = -q, -n*q + 38 = -4*h. Is q a composite number?
True
Is (3/(-2))/((-5)/430) a prime number?
False
Let y(t) = t. Let z be y(5). Suppose 0 = -4*r - z*o + 61, -2*r - 7 = -3*r - 4*o. Is r a composite number?
False
Suppose 2*u - 6*u - 4 = 0, 0 = 5*o - u - 566. Is o prime?
True
Suppose -w = w - 4. Suppose -3*u + 9 = 4*r, -5*r = u + w*u - 6. Let g = u - 4. Is g composite?
False
Suppose 0 = 2*g + 8, -5*g - 1529 = -a - 2*g. Is a a prime number?
False
Let z = -10 - -24. Is z a prime number?
False
Suppose 0 = -3*g - 2*j + 394 - 79, j = 3. Suppose 2*v - 55 = g. Is v composite?
False
Let g be 727 - (3 + -3 + 0). Suppose 3*v + 3*p = 978, -p - g = -2*v - 90. Is v composite?
True
Suppose -5*o + 52 = 3*u - o, 5*o = -4*u + 68. Is 1/(-4) - (-1791)/u prime?
True
Let j(a) = -11*a + 6. Let n(s) = -10*s + 5. Let k(c) = -2*j(c) + 3*n(c). Is k(-6) a prime number?
False
Is 0 + (-7)/((-28)/54836) a composite number?
False
Suppose -1 = -2*g + 3. Suppose 3*w = g*j - 6*j + 1119, 4*j = 0. Is w composite?
False
Let t(p) = p**3 + 2*p**2 - 9*p + 6. Let i be t(-7). Let v = i + 301. Let k = -46 + v. Is k composite?
False
Is (-6)/(-12) - (-8210)/4 a prime number?
True
Let b(m) = m**2 + 2*m. Let i be b(-2). Suppose -12 + i = -4*y. Suppose 0 = 3*w + y*h - 360, -h - 80 = -5*w + 490. Is w composite?
True
Let g(m) = -63*m + 56. Is g(-9) a composite number?
True
Let x(v) = v**3 + 5*v**2 + 3*v - 3. Let l be x(-4). Suppose 0 = 3*k - 3*y - 12, -2 - l = -y. Suppose 0*w = -w + k. Is w prime?
True
Let m(f) = -4*f**2 + 6*f**2 - 1 - 5*f - 1. Is m(4) a composite number?
True
Let h(r) = 14*r**2 + 5*r + 1. Let t(j) = -5*j**2 - 2*j. Let c(d) = 4*h(d) + 11*t(d). Is c(5) a prime number?
True
Let p be (1 - 1)/((-4)/2). Suppose -5*t - 4*g = -781, p*t = 5*t - 4*g - 789. Is t prime?
True
Let k = 7 - 5. Is k composite?
False
Let f = 51 + -117. Is (-662)/(-12) + 11/f a prime number?
False
Suppose 12 = 3*p + n, -2*p + n - 5*n + 18 = 0. Suppose -p*i + 303 = -531. Is i prime?
False
Suppose -z + 2*z - 13 = 0. Let k = z - -9. Is k a composite number?
True
Let a be 162/(-4*(-2)/(-20)). Let g = -154 - a. Is g prime?
True
Is (-4996)/(-10)*35/14 composite?
False
Let m = 304 - -213. Is m a prime number?
False
Let g(p) = -2 - 32*p + 6 - 5. Is g(-4) composite?
False
Suppose -2*n = 3*r - 835, -3*n - 2*n = r - 2094. Is n prime?
True
Let w be 1*(2 + -2)*-1. Suppose w = -3*z - 2*m + 3*m + 186, 0 = 3*z - 5*m - 186. Is z prime?
False
Suppose -4 = 5*t - 24. Suppose 2*n - 4*n + 3*q = -23, 8 = -3*n - t*q. Suppose 0 = -y + n*y - 39. Is y prime?
True
Let n(g) = 7*g**3 + 3*g**2 - 1. Let m be n(3). Suppose 2*c = -3*f + m, c - 3*c + f = -235. Is c a composite number?
True
Let q(m) = -5*m - 1. Let f(k) = k**2 + k + 7. Let t be f(6). Suppose 5*p + t = u, 0*p = 5*p - 4*u + 46. Is q(p) a prime number?
False
Suppose -22311 = -v - 3*v - 5*p, -2*v + 4*p = -11162. Is v a composite number?
True
Let f = 1266 + -827. Is f a composite number?
False
Let d(v) = -35*v**3 - v**2 + v. Is d(-2) a composite number?
True
Suppose 10*y - 65 = 5*y. Suppose -j = -y - 13. Suppose 4*a - 26 = j. Is a a prime number?
True
Suppose 7*f - 4 = 2*m + 3*f, -3*m = 5*f - 16. Let n(i) = 8*i - 12. Let a be n(8). Suppose -m*j + 22 + a = 0. Is j a prime number?
True
Let y(f) be the third derivative of -3*f**2 + 0*f**3 + 31/120*f**6 + 0*f**4 + 0*f**5 + 0 + 0*f. Is y(1) prime?
True
Let k be 0 + 0*3/6. Let s be k - 2 - (68 - -5). Is 3/12 - s/4 a composite number?
False
Let k(i) = -130*i**2 - i - 2. Let c be k(3). Let q = c - -2710. Suppose q = -a + 6*a. Is a composite?
False
Let s be 4/(-10)*(0 + -10). Suppose 0 = -s*y + 11 + 41. Is y a composite number?
False
Is 4185/33 + -4*1/(-22) prime?
True
Let q = -16 - -161. Suppose s + 4 = 2*s. Suppose -s*k = -27 - q. Is k prime?
True
Let s(f) = -f**3 - 3*f**2 + 5*f + 4. Let i be s(-4). Suppose -2*j - 5*t + 67 = 0, -2*j + 6*j - 4*t - 120 = i. Is j prime?
True
Suppose -3*y + 5*z + 85 = -96, -209 = -3*y - 2*z. Is y composite?
False
Is (1 - -373)/(8/4) a composite number?
True
Let x(r) = 7*r**3 - 2*r**2 - r. Let i be x(-1). Let y(c) = 9*c**2 + 7*c - 3. Let d(z) = -17*z**2 - 14*z + 7. Let b(w) = -6*d(w) - 11*y(w). Is b(i) prime?
True
Suppose 4*o - 3437 = -3*o. Is o composite?
False
Is (0 - 2) + (4 - -77) a prime number?
True
Suppose -3*c - 2*i = -1169, 0 = 5*c - 4*c - 4*i - 385. Is c composite?
False
Suppose 6 = -2*a + 3*u, -6 = 4*a - a - 3*u. Let f(m) = m**3 + m**2 + 31. Is f(a) a composite number?
False
Let s = 0 + -4. Let j be 2 + 239 + s/2. Suppose -2*i + 4*d - j = -5*i, 3*i = d + 259. Is i prime?
False
Let j(k) = 2*k - 9. Let v be j(7). Let w = v + 0. Suppose -2*z = -o - 69, 5 = w*o - 0*o. Is z composite?
True
Let g = 13 - 22. Let z(t) = -7*t + 4. Is z(g) a composite number?
False
Let a = -16 + 6. Let m be 1/5 + 2/a. Suppose m = -p + 5, -5*j + 4*p + 1 = -9. Is j prime?
False
Let n(y) be the first derivative of 2*y**3 - y + 4. Is n(2) a composite number?
False
Suppose 3*r + 9 = 0, -5*q + 3 = -q - r. Let f = 2 - q. Suppose 0*m - w - 141 = -m, 0 = 4*m + f*w - 552. Is m a prime number?
True
Suppose -2*l + 3*l = 2*x - 130, -5*l = -20. Is x/(4*2/8) composite?
False
Let w = 200 - 85. Is w prime?
False
Suppose 2*q + 5*h = -2*q + 2811, 5 = -h. Is q composite?
False
Suppose 628 = 4*j - 0*j. Is j a composite number?
False
Let x(o) = -o**2 - o + 115. Is x(0) composite?
True
Let m(z) = 7*z**2 + 8*z + 8. Let u be m(-6). Suppose 3*c + 10 = -u. Is ((-1)/(-2))/((-1)/c) prime?
True
Suppose 3*t + t = -i + 5306, -5*i = t - 1317. Is t a composite number?
False
Let y be (-10)/(-1)*2/5. Suppose -b - b + y*x + 94 = 0, b - 35 = 5*x. Is b a prime number?
False
Let u = -19 - -66. Is u prime?
True
Let i = 6 + -1. Suppose 685 = i*q + 140. Is q a composite number?
False
Suppose 10 + 10 = 2*t. Suppose -t = 2*q - 0. Let z = 44 + q. Is z a composite number?
True
Is (0 - -1088) + 7 + -8 composite?
False
Suppose 0*a - 3*a = -6. Let c(v) = v + 2*v - 1 + a. Is c(7) a composite number?
True
Let v be (254/6)/(2/6). Suppose 0 = -2*n + v - 21. Is n a composite number?
False
Let q(b) = 25*b - 1. Let d be q(5). Let g be (2/(-4))/((-1)/10). Suppose s = g*s - d. Is s a prime number?
True
Suppose 2*a + 2 = -34. Let p = 3 - a. Is p composite?
True
Let g(x) = 4*x**2 - 9*x + 4. Is g(11) composite?
False
Suppose -1 = -4*d - 5. Is d/((-2)/(-7))*-2 a composite number?
False
Is 852/8*12/9 a composite number?
True
Let k(l) = 144*l + 5. Let v(h) = -144*h - 6. Let z(r) = -7*k(r) - 6*v(r). Is z(-1) composite?
True
Let j = -387 - -682. Is j a composite number?
True
Let u(d) = d - 5. Let l be u(8). Suppose 0 = -8*h + l*h. Suppose h = -5*m + v + 70, -v + 6*v = -4*m + 85. Is m prime?
False
Let d = -591 - -1128. Is d a prime number?
False
Suppose 3*a = 7*a + 5*r - 2703, 0 = -4*a + r + 2709. Is a prime?
True
Suppose -i - 2 + 8 = 2*h, -5*i = 4*h - 24. Let v(u) be the third derivative of 23*u**6/30 - u**5/60 + u**4/24 - u**3/6 - u**2. Is v(h) a composite number?
True
Suppose 0 = -2*p + 6 + 2. Let r(c) = -2*c**2 + 5*c**2 + 5 + p*c + 0*c**2. Is r(-6) prime?
True
Let l be 2 + 1 + -4 + 4. Let z be (2 + -4)*(-181)/2. Suppose 0 = -2*g - 3*g + l*r + 169, 5*g + 3*r = z. Is g prime?
False
Suppose -204 = -2*s + 2*g + 2*g, 0 = -3*s + 5*g + 303. Let a = -37 + s. Is 