Is m a composite number?
True
Suppose 2*r = 4*f + 36, -5*f + 0 = -2*r + 34. Suppose -j + 39 = 2*j. Let a = r - j. Is a a composite number?
True
Suppose -3*a + m = -4*m - 2608, -2*a + 4*m = -1738. Is a a prime number?
False
Suppose 4*b + 18 - 6 = 0. Let t be b/(1 + (-3)/12). Is ((-10)/(-15))/(t/(-546)) a prime number?
False
Is 4*((-212)/(-16) + 0) prime?
True
Let o(u) = -4*u**3 - u**2 - u. Let s be o(-1). Let g(l) = 2*l**2 - 4*l + s*l - 1. Is g(6) prime?
True
Let h be 2/(2 + 3616/(-1804)). Let c = h + 662. Is c prime?
True
Let u = -1238 - -1819. Suppose 15 = 3*h, -3*r + 3*h = -u - 649. Is r a prime number?
False
Let f be 1 + -23*2/(-2). Let o = -1 + f. Is o composite?
False
Let b be ((-15)/4)/((-1)/8). Suppose 0 = 3*l - 3 + b. Is 4/(-3)*l/2 a prime number?
False
Let k(u) be the third derivative of -u**5/60 - u**4/3 + 5*u**3/6 - 3*u**2. Let f be k(-4). Is 1149/21 + 6/f composite?
True
Let i = 227 + -381. Let n = i - -303. Is n a prime number?
True
Suppose t - 59 = c, 5*c + 13 = -12. Let k = 42 + -65. Let x = k + t. Is x a composite number?
False
Let p(k) = 3*k**2 + 37*k + 10. Let o(q) = -2*q**2 - 25*q - 7. Let s(t) = 7*o(t) + 5*p(t). Let m be s(-7). Let u = -10 - m. Is u a composite number?
True
Is -1*(-1776)/15 - (-4)/(-10) composite?
True
Let k = 142 + -89. Is k a composite number?
False
Let w = 5 + -5. Suppose w = -2*x - x + 249. Is x a composite number?
False
Suppose -3*f = 5*i - 3796, 2*f + 3*i = -i + 2534. Is f prime?
False
Let k be 2/(-3) - (-346)/6. Suppose 0 = -2*f - 6, -4*f + 5*f + 5 = h. Suppose h*w - k = -w. Is w a prime number?
True
Let r = 331 + -469. Let h = -49 - r. Is h a composite number?
False
Let n = -4 + 9. Suppose -n*x + 5*r + 190 = 0, -4*r = -5*x + 93 + 97. Is x a composite number?
True
Suppose -2*p = -4 + 2. Suppose -5*z + 3*b - p = -0*z, -22 = 5*z + 4*b. Is ((-135)/(-6))/(-3)*z composite?
True
Let l(z) = -z**3 + 8*z**2 - 9*z + 6. Let j = 12 + -5. Let q be l(j). Let b = q + 23. Is b composite?
True
Let w(n) = -148*n**2 - 9*n - 2. Let s(m) = -49*m**2 - 3*m - 1. Let f(a) = 8*s(a) - 3*w(a). Is f(1) a composite number?
False
Let f(k) = 20*k**3 + k**2 + k - 1. Let q = -5 - -6. Is f(q) a composite number?
True
Suppose 2*o + 3*q = 247, 0 = -0*o + 3*o - q - 398. Let a = 208 - o. Is a composite?
True
Let r be (3 - (1 - 0)) + -29. Let l be (1 + 21/(-9))*r. Let f = 113 - l. Is f prime?
False
Suppose 0*x + x - 3 = 0. Suppose -t - x*t = 5*j - 30, 4*t = j + 18. Suppose 4*s = 2*o - 74, -t*o + 2*s + 152 = 3*s. Is o a composite number?
False
Let l(t) = 2*t + 1. Let w be l(-4). Is (-2)/w - 304/(-14) prime?
False
Suppose 4*g - 124 = -0*g. Is g prime?
True
Let o be (1 + (1 - 1))*0. Let n(j) = j**2 - j - 7. Let x be n(o). Is x/(3 + (-80)/26) prime?
False
Suppose 0 = 3*g + g. Let p(v) = v**3 + 3. Let n be p(g). Suppose -4*w + n*w + 185 = 0. Is w prime?
False
Let q = 2805 - 1888. Is q a prime number?
False
Suppose -4*d - 2*t + 3*t + 424 = 0, 0 = d - 2*t - 106. Is d a prime number?
False
Let q(x) = x + 149. Suppose -t = -5*t. Is q(t) prime?
True
Suppose -2*s = -36 - 104. Let v = s + 41. Is v a prime number?
False
Let r be ((-45)/(-12) + -2)*8. Let p be 8684/r - 8/28. Suppose 2*b - 6*b + p = 0. Is b composite?
True
Let w(j) = -25*j + 7*j - 18*j + 7. Is w(-6) a prime number?
True
Let g(k) = 126*k**2 - k. Is g(-1) a composite number?
False
Let m be ((-285)/12)/(3/(-48)). Suppose -3*p = -1961 + m. Is p a prime number?
False
Suppose 0*v = -2*v + 250. Suppose 0 = -0*g - 5*g - 2*r + 183, 3*g + 5*r - v = 0. Is g prime?
False
Let k(m) = 0 - 1 - 40*m**2 + 132*m**2. Is k(1) composite?
True
Let b = 393 + -260. Is b prime?
False
Let s be 0 - (-7 + (-3 - -5)). Suppose -4*n - 25 = n, 0 = s*l - n - 2050. Is l a prime number?
True
Let s(b) = -446*b. Let x be s(-1). Suppose 4*u - x - 1034 = 0. Suppose 0*y - 2*y + u = 0. Is y prime?
False
Is 5/(-10)*-1*-478*-1 prime?
True
Let t be 560/(-12)*3/2. Is 1/(-3)*(t + 1) prime?
True
Let a(u) = -3*u**2 + 2*u**2 - u - 2*u - 3*u. Let m be a(-7). Let t = m + 126. Is t a composite number?
True
Suppose -n + 112 + 183 = 0. Is n composite?
True
Let g(h) = -6*h - 2. Let n be g(-3). Let c = -10 + n. Is c a prime number?
False
Let x(s) = 22*s**2 + 4*s - 6. Let m(f) = -7*f**2 - f + 2. Let o(c) = -7*m(c) - 2*x(c). Let a(w) be the first derivative of o(w). Is a(5) a prime number?
False
Let w = -51 + 125. Is w composite?
True
Let t(m) = m**2 - 5*m - 1. Is t(-7) a composite number?
False
Let f = 121 - -8. Suppose 0 = -5*m + 8*m - f. Is m prime?
True
Suppose 5*d - 2*l - 19 = l, -2*d = 3*l - 16. Suppose 0 = -q - 2*q + 15. Suppose d - 100 = -q*b. Is b a prime number?
True
Let i be 165/(-6) + 1/2. Let h = i + 64. Is h prime?
True
Suppose b - 1 + 12 = 0. Let r(q) = -q**3 - 12*q**2 - 13*q + 12. Is r(b) composite?
True
Let o = 990 + -277. Is o composite?
True
Let j be 2 + (-3 - 1) - -9. Let m = j - 4. Is m a composite number?
False
Let n = 949 + -1872. Let a = -358 - n. Is a composite?
True
Is 4/22 - (-9276)/44 a prime number?
True
Let f(n) = 661*n**2. Let z be f(1). Let g = z + 82. Is g a prime number?
True
Let v(p) = 31*p**2 - 6*p - 1. Let r be v(-5). Let c = -451 + r. Is c a prime number?
True
Let l(a) = 4*a - a**2 + 2*a**2 + 4*a**2 + 1. Is l(-6) a composite number?
False
Let n = 22 - 30. Is ((-12)/n)/((-3)/(-2798)) prime?
True
Suppose 0 = 2*n - 0*n - 4. Suppose 0 = -i - n + 6. Suppose 0 = -i*u + 96 + 124. Is u a prime number?
False
Let m(g) = -2*g**2 + 7*g + 7. Let y(d) = d**2 - 7*d - 6. Let l(v) = -3*m(v) - 2*y(v). Suppose c - 20 = -4*p - 2*c, -2*p = c - 12. Is l(p) composite?
False
Suppose -4*m - 296 = r, -2*m - 5*r = -m + 74. Is (-3 + 5)*m/(-4) a prime number?
True
Let k = 4 + 0. Suppose -k = c, -5*c - 11 = y + 3. Is (51/y)/((-1)/(-4)) prime?
False
Let w(h) = -9*h - 6. Let c(g) = -g - 1. Let p(y) = 6*c(y) - w(y). Let s be p(2). Is (s/(-4))/(3/(-18)) composite?
True
Let p(m) = -23*m + 21. Let h(q) = -8*q + 7. Let l(j) = 7*h(j) - 2*p(j). Is l(-8) prime?
False
Let k(b) = b + 7. Let r be k(-4). Suppose -j - 5 = -0*o - 2*o, -r*o + 12 = 0. Suppose 8 = 3*n + 4*u - 3*u, 2 = j*n - 2*u. Is n a composite number?
False
Let m = 9 + 7. Suppose -2*f = -6*f + 5*s + 16, -4*f + m = -4*s. Suppose 5*c + 293 = -0*d + f*d, 3*c + 283 = 4*d. Is d a composite number?
False
Let w(q) = -3*q**3 - 23*q**2 + q + 13. Let r(i) = -i**3 - 11*i**2 + i + 7. Let j(z) = -5*r(z) + 2*w(z). Is j(8) a composite number?
False
Let u be (5/(-15))/((-2)/6). Let o be 535/10*(u - -1). Suppose y - g - 28 = 0, -o - 35 = -4*y - 2*g. Is y prime?
False
Suppose -625 = -6*v + v. Let z = 66 + -140. Let y = v + z. Is y a prime number?
False
Let u = -5 - -16. Let g = u - 4. Is g composite?
False
Let o(i) = -2*i + 16. Let m be o(12). Let b(f) = f**2 - 4*f - 5. Is b(m) a composite number?
True
Suppose -4*k + 3056 = -2144. Suppose 0 = -2*l - 2*z + k, -z - 656 = -3*l + 2*l. Is l a composite number?
False
Let p be 2*((-14)/(-4) - 3). Suppose -y + 8 + p = 0. Is y a prime number?
False
Let k(t) = 853*t**2. Is k(-1) a prime number?
True
Let q = 41 + -29. Suppose -l = 2*l - q. Is l a composite number?
True
Let j be (2 - 0) + -2 + -9. Let d(s) = -13*s - 8. Let p be d(j). Suppose 0*u + 68 = 2*u + m, 2*m + p = 3*u. Is u prime?
False
Suppose 4*z - 4*m - 453 - 199 = 0, 3*m = 5*z - 815. Is z prime?
True
Let t be 19/2 - (-1)/2. Suppose 2*n - 9 = -s, -5*n + t = 4*s - 10*n. Suppose 75 + 100 = s*c. Is c prime?
False
Suppose 0 = -4*s - 12, -3*w = -4*w - s + 554. Is w prime?
True
Let n = 6 - 4. Suppose 0*t + 96 = 3*t. Suppose -52 = v - n*v - 3*g, -t = -v + g. Is v a prime number?
True
Let s(d) = 2*d + 5. Let y be s(-5). Let w(u) = 13*u**2 + 2*u + 2. Is w(y) a composite number?
False
Let d be (3/(-6))/(2/(-20)). Suppose 0 = -k - d*y + 144, -y + 4*y = k - 152. Is k composite?
False
Suppose 3*r = 2*r - 2. Let f = 2 + r. Suppose f = q - 6*q + 45. Is q a composite number?
True
Is (-2 + -1)*2/6 - -327 composite?
True
Let f = -10 + 15. Suppose 0 = -4*b - f*o + 7, 2*o - 2 = 4*b - 16. Suppose -d - 4*u + 45 = 0, -4*d + 235 = b*u + 2*u. Is d a prime number?
False
Suppose 0 = 3*u - 0*u + 3*h - 558, 2*h = -4*u + 754. Let c = 32 + u. Is c a prime number?
True
Suppose 4*j + 2 - 510 = 0. Is j composite?
False
Let f(u) = 10*u - 11. Is f(10) a composite number?
False
Is ((-33)/(-12))/((-2)/(-1528)) a prime number?
False
Suppose