 - j) prime?
True
Let b be 183/5 + 2/5. Is (2 + b/(-3))*-9 a prime number?
False
Suppose 5*j - 3385 = -l + 6*j, 5*l = -4*j + 16961. Is l a prime number?
True
Let d = 66 + -13. Suppose -d = -0*f - f. Is f a composite number?
False
Suppose 0 = -h - 4*n + 1032, 2*n - 1038 - 1008 = -2*h. Suppose 2*c - 3*c + 5*m = -326, -3*c = -m - h. Is c composite?
True
Is (-248)/(-24)*(35 + -2) a prime number?
False
Suppose 3*r - 15 = -u, 0*u = -3*u - 2*r + 17. Suppose 2*n - u*t = 5*n - 225, 0 = -n - 5*t + 59. Is n a prime number?
True
Let q(o) = -15*o - 7. Let g be q(-9). Let h = g + -13. Is h a composite number?
True
Suppose b + 3*b = -20, 2*h - 3 = -b. Suppose -5*d = 3*c - 6, -5*d - 3*c = -c - h. Is (1 + -2 - d) + 22 a composite number?
True
Let a(l) = -l**3 + 17*l**2 + 20*l - 13. Is a(13) a prime number?
False
Let n = -1090 - -2145. Suppose 6*k - k = n. Is k composite?
False
Let y(f) = -65*f - 8. Is y(-11) composite?
True
Let p(q) = 5*q - 2. Let k be p(-2). Suppose -h + 5*h + 259 = -d, -2*d - 323 = 5*h. Let f = k - h. Is f a composite number?
False
Is (63/6)/(4/8) prime?
False
Let t = 3523 + -2176. Is t prime?
False
Suppose -w - 867 = -3866. Is w composite?
False
Let i(t) = -8*t**3 + 3*t**2 - 2*t + 2. Is i(-3) a composite number?
False
Suppose -5*p + 4*x - 117 = 0, -2*x = 5*p - 4*x + 111. Let s = -11 - p. Is 148/s + 1/5 prime?
False
Let v(o) = 26*o**2 + 2*o + 5. Is v(-4) composite?
True
Let s be 141/(-12) + 2/(-8). Let v be (s/(-10))/((-1)/(-60)). Suppose -2*x - v = -386. Is x prime?
True
Let r be (2 - 2)/(6/2). Let q be r/(-1 + 0) - 0. Suppose m - 3*v - 26 = q, -3*v - 2*v - 6 = m. Is m composite?
True
Let q = 593 + -315. Suppose -5*l - 4*k = -1213 + q, 4*l - 5*k - 707 = 0. Suppose -l = c - 6*c - 2*y, 3*y + 3 = 0. Is c composite?
False
Suppose 0*z = -2*z + 1664. Let r = -401 + z. Is r prime?
True
Suppose 5*w + 4*i = 143, 0*w + 2*w - 77 = 5*i. Suppose -261 = -5*b - w. Is b a composite number?
True
Suppose 3*a - 20 = n + 3*n, 0 = n + 5. Suppose 4*x + 1 = -5*c + 32, -4*c - 3*x + 25 = a. Is c a composite number?
False
Let p(r) = 7*r**2 + 2*r + 493. Let c(a) = 3*a**2 + a + 247. Let k(x) = 9*c(x) - 4*p(x). Is k(0) prime?
True
Suppose 3*o - 2*o - g = 111, 4*g + 214 = 2*o. Is o a prime number?
False
Suppose -3*c + 36 + 21 = 3*n, 3*c - 15 = -n. Is n a composite number?
True
Let n = -4 - -1. Suppose 3*l + 6 = 24. Is (-1)/l*n*20 a composite number?
True
Let v be ((-2)/3)/((-2)/9). Suppose 4*i = 2*i + 4. Suppose 0 = -c + 2*j + 55, v*c = i*c - j + 46. Is c prime?
False
Let x be 15/(-6) - (-1)/2. Let r be (-128)/6 + x/(-6). Let g = r + 40. Is g a prime number?
True
Let r = 723 - 500. Is r a composite number?
False
Let j(f) = -57*f + 1. Let s(w) = w**2 - 6*w + 3. Let x be s(5). Is j(x) composite?
True
Suppose -6*v + 7336 + 1382 = 0. Suppose -1915 = -5*d - 5*l, -3*d + 4*l - 332 = -v. Is d prime?
True
Let c = -81 + 134. Let a = c + -34. Is a composite?
False
Let v(y) = 2 - 5*y**2 - 3 + y - y**3 + 5*y. Let d = -15 + 7. Is v(d) composite?
True
Suppose -f - 10 = -3*f, 0 = -k + 4*f - 16. Suppose 26 = k*z - 30. Let g = 28 - z. Is g composite?
True
Is 557 + ((-6)/(-24) - 34/8) a composite number?
True
Let h be (3 - 4)*(110 + -1). Let w = 154 - h. Is w a composite number?
False
Suppose 14 = -m + 2*m. Let z(g) = -2*g**3 - 14*g + g**2 + m*g. Is z(-1) composite?
False
Let g = 3 - 7. Let z = g - -6. Suppose 0 = z*b + 2*p - 66, 2*b - 2*p - 84 = -2. Is b composite?
False
Is 1 - -210 - -1*(-1 + -1) composite?
True
Suppose 7*p + 30 = 2*p. Let f(m) = m**2 + 5*m + 3 - 3. Is f(p) a prime number?
False
Let w be ((-6)/4)/(4/(-168)). Suppose 2*o - 122 - w = j, -o = 3*j - 96. Is o a prime number?
False
Let b = 2862 + -407. Is b prime?
False
Let u(b) = 18*b + 19. Is u(7) a prime number?
False
Is 13*(88/2)/4 a prime number?
False
Suppose 3*t - 3*o = -48 + 1095, 0 = -5*t - 5*o + 1705. Let g = t - 223. Is g a prime number?
False
Suppose 4*h = 3*h + 4. Let n(u) = 7*u**2 + u + 7. Is n(h) prime?
False
Suppose d + 46 = 2*c, -2*d - 3*d = 2*c - 46. Is c prime?
True
Let d(u) = 2*u**2 - 3*u - 3. Let h be d(-2). Suppose 3*m - h = 31. Is m prime?
False
Suppose 2*t = -23 - 51. Suppose -2*m + 4*z + 136 = 0, 2*m + 4*z + 53 = 149. Let i = t + m. Is i a composite number?
True
Suppose 11 + 5 = 4*f. Suppose 2*b + f = 0, -3*j = -b - 82 - 100. Let r = j - -55. Is r a composite number?
True
Let k(i) = 65*i + 10. Let y(z) = -65*z - 9. Let v(d) = 5*k(d) + 6*y(d). Let j be v(-4). Suppose -4*n = 5*q - j - 128, 3*q = 3*n - 261. Is n a composite number?
True
Let q(w) = w + 0*w - 2*w + 4. Let f be q(0). Suppose 0 = 3*d - t - 57, -2*d = -f*t - 21 - 17. Is d a prime number?
True
Let z(b) = 397*b**3 + b**2 + b - 1. Suppose -4*c - 2 - 2 = 0. Let s(y) = -y**3 - y**2 + 1. Let v(g) = c*z(g) - s(g). Is v(-1) a composite number?
False
Let a(b) = -b + 3. Let p be a(3). Suppose -4*c + 8 = p, 3*c = 5*r + 2*c - 1353. Is r a composite number?
False
Let g(z) = -z**2 - 10*z - 2. Let n(y) be the first derivative of -y**4/4 + y**3 + y**2 + y - 2. Let b be n(4). Is g(b) a composite number?
False
Suppose 5*m - m = 12. Is (m + 5*-19)/(-2) a composite number?
True
Let u(z) = 2*z**2 - 3*z - 3. Let s(c) = c**3 + 6*c**2 - 2*c - 9. Let i be s(-6). Is u(i) composite?
True
Let m = -693 + 1100. Is m a composite number?
True
Let i(x) = -x**3 - 7*x**2 - 6*x + 6. Let y be i(-6). Suppose -y*o = -o. Suppose o = 3*k - 110 - 1. Is k a prime number?
True
Suppose 3*c + 2*t - 1 = 0, -4*t + 1 - 2 = 5*c. Suppose -3*f - 6 = -f - 4*i, 5*f + c*i - 37 = 0. Suppose -3*r + 49 = -2*r + f*k, 4*k = -8. Is r composite?
False
Let u(a) = 0*a**3 - 2*a**2 + 5*a**2 - 2*a - a**3. Let h be u(3). Is (159/(-6))/(3/h) composite?
False
Suppose 0*b - 2*b + 4 = 0. Suppose r - 135 = -b*x, -234 = -3*r - x + 151. Is r prime?
True
Let k(i) = -57*i - 7. Let f(r) = 28*r + 3. Let y(q) = 5*f(q) + 2*k(q). Is y(2) a composite number?
False
Let g(v) = v**3 + 20*v**2 - 18*v - 2. Is g(-17) prime?
True
Suppose 6 = -0*i + 3*i. Let f be (-3 - (-10)/i) + 1. Let x = f - 0. Is x a composite number?
False
Let n(u) = 192*u**2 - 3*u + 5. Let l be n(2). Suppose -3*h = -3*i - 576, 4*h + 0*h - l = 3*i. Is h a composite number?
False
Suppose 0 = -10*o + 11*o - 4. Suppose -2*q - q + 779 = 2*l, -o*q - l + 1037 = 0. Is q prime?
False
Let l(m) = -m**3 + 6*m**2 - 8*m + 8. Let y be l(6). Let v = y - -59. Suppose -86 - v = -5*n. Is n a composite number?
True
Suppose -60 = -z - z + 4*n, 0 = -4*n + 4. Let g = -55 + z. Let o = 42 + g. Is o a prime number?
True
Let x(s) = -s**3 - 6*s**2 + 9*s - 4. Let b be x(-7). Let i = 43 + b. Is 7/(-28) + i/4 composite?
True
Let k(m) = 39*m. Let s be (-3 + 5 + -1)*1. Is k(s) prime?
False
Suppose -520 = -4*h - 44. Is h prime?
False
Let r(w) be the second derivative of -23*w**5/20 + w**4/12 - w**3/2 - 3*w**2/2 + 3*w. Is r(-2) composite?
False
Suppose -5*k = -68 - 1907. Is k prime?
False
Suppose 0*f = -f + 3*x + 144, x - 4 = 0. Let m = f + -43. Is m composite?
False
Let c be (-129)/9 - 1/(-3). Let y = -10 - c. Suppose -2*p + 263 = u, 0 = 3*p - p - y*u - 258. Is p prime?
True
Let z = 2423 - 1066. Is z prime?
False
Suppose 2*g + 6 - 14 = 0. Suppose -g*q + 161 = 29. Suppose q = d - 4. Is d a prime number?
True
Let g(r) = 18*r**2 + 6*r - 11. Is g(5) a composite number?
True
Suppose 13*o = 5962 + 3385. Is o composite?
False
Let d = 505 - -892. Is d a prime number?
False
Is 3/(-4) - 63/(-4) a composite number?
True
Suppose 3*r = -5*w + 840, -237 - 43 = -r - 5*w. Let g = 473 - r. Let x = g - 135. Is x composite?
True
Is (168/27 - 6) + (-3409)/(-9) composite?
False
Let f = 23 - 27. Let d(n) = 13*n**2 + 5*n + 3. Is d(f) a prime number?
True
Let h(l) = -21*l + 5. Is h(-12) prime?
True
Is 144 - -4*(-1)/4 a prime number?
False
Let h be (-582)/21 + 4/(-14). Let z = h - -63. Is z a prime number?
False
Is 5 - (-2 + 3) - -219 a prime number?
True
Let w be 376/3 - 1/3. Suppose -2*y - w = 51. Is (1 + -4)*y/12 composite?
True
Let t(w) = -43*w - 1. Let r(f) = -f + 2. Let j be r(4). Is t(j) composite?
True
Let g = 9 - 5. Let k = 75 + 265. Suppose k = -g*o + 8*o. Is o a composite number?
True
Let b = 87 + -47. Let x = 4 - b. Let r = 59 + x. Is r composite?
False
Suppose 12*f - 9*f = 1023. Is f a composite number?
True
Let k(m) = 47*m. Let t be k(-4). Let j = -129 - t. Is j a composite number?
False
Suppose l 