5*l - z, -4*z + 161 = -3*l + j*l. Is l composite?
True
Let i = -35 + 57. Suppose -523 = -5*d + i. Is d composite?
False
Suppose 3*x - 601 = -i + 777, -2*x + 4*i = -900. Is x prime?
False
Let r(b) = b**2 + 2*b - 1. Suppose 0 = -3*y - 0*y - 18. Is r(y) composite?
False
Let h be 0/(2/(-6)*-3). Suppose 2*d - 3*k = 23, 5*d - 92 = -2*k - 2*k. Suppose 2*f - 6*f + d = h. Is f prime?
False
Let r(o) = o**3 + 6*o**2 + 3*o - 2. Let d be r(-5). Suppose -7*m = -d*m + 251. Is m a prime number?
True
Let w be (2/(-5))/(2/40). Let a be 110 + 3*(-2)/(-6). Is (a/12)/((-2)/w) composite?
False
Let v(z) = -z**2 - 8*z. Let n be v(-8). Suppose 0 = 3*j - n*j - 39. Is j prime?
True
Suppose 0*r + r - 5 = 0. Suppose 641 = r*o - 3*f, o = 5*o - 4*f - 516. Is o prime?
True
Let s(l) = -l**3 + 13*l**2 - 11*l + 10. Let q = 4 - -5. Is s(q) a prime number?
False
Let t(u) = -u**3 + 8*u**2 + 10*u - 5. Let j be 7*1 - (-3 - -1). Let l be t(j). Suppose 0 = -2*f + l. Is f composite?
False
Suppose -2*c = -7*c + 2335. Is c a prime number?
True
Suppose -2808 = -4*b - 5*y, 0 = -2*b - 3*y - 986 + 2390. Suppose -4*c = b - 4586. Is c prime?
True
Suppose -3*j + h - 33 = 2*j, 3*j + 5*h + 31 = 0. Let d = j - -156. Is d a prime number?
True
Let y(m) = 6*m + 0 - 7*m + 4. Let u be y(6). Is (-1 - u) + 36/2 a prime number?
True
Let i = -14 + 12. Is i*5/((-10)/359) a composite number?
False
Suppose -v + 2*v = 4. Suppose v*i = 3*o + 140, -i - 10 = -4*o - 45. Is i a composite number?
True
Suppose -4*x + 18 = 6. Suppose 4*v = -3*b + 561, b - v - x*v - 203 = 0. Is b composite?
False
Let d(m) = 6*m**2 - 16*m - 3. Is d(12) prime?
False
Let s be 4/(-18) - (-16)/(-9). Let f = s + 2. Suppose f = 4*a - 5*y - 160, 3*a - 6*y + 2*y - 121 = 0. Is a composite?
True
Suppose 4*x + x = 345. Suppose -2*u - 6 - 28 = c, 3*c - u = -95. Let a = c + x. Is a prime?
True
Let x(o) = o + 7. Let u be x(0). Let v(n) = -7*n + 4. Let t(r) = -10*r + 6. Let q(s) = u*v(s) - 5*t(s). Is q(4) a composite number?
False
Suppose -3*h - h = 0. Is 0 + -1 - (-4 - h) a prime number?
True
Let y(p) = p**3 - 3*p**2 - 2. Let v(w) = w**2 + 2*w + 1. Let d be v(-3). Is y(d) a prime number?
False
Suppose 4*q + 5*w = 116 - 41, 4*q - 125 = 5*w. Is q prime?
False
Let i(q) = 3*q**3 + 2*q**2 - 3. Let k(t) = t**3 + 6 - 12*t**3 - t - 9*t**2 + 7. Let o(a) = -9*i(a) - 2*k(a). Is o(-2) composite?
False
Suppose -10 = -6*p + 4*p. Suppose -3*t = -148 - p. Is t composite?
True
Suppose 0 = -0*s + 4*s + v + 34, 5*s - 5*v = -30. Is 1*-3 - (s + -200) a composite number?
True
Suppose -2*l = -4*l. Suppose 6*r - r = l. Let t(z) = -z + 87. Is t(r) prime?
False
Let t(w) = 5*w**2 + 2*w + 4. Is t(-5) composite?
True
Let k(f) = -f. Let s be k(-7). Suppose -t = -24 - 4. Let v = t + s. Is v a prime number?
False
Suppose -3*z = z. Suppose 4*l - l - 153 = z. Suppose l = 4*q - 209. Is q composite?
True
Let p(q) be the third derivative of -q**4/24 + 31*q**3/6 + q**2. Suppose 2 = -4*o - 5*y + 3*y, 2*y = 5*o - 2. Is p(o) a prime number?
True
Let z(o) = 11 - 12 + 1 - 111*o. Is z(-1) a composite number?
True
Let v(x) = -x**3 + 11*x**2 - 5*x + 15. Is v(10) a prime number?
False
Suppose -4*j + 87 = 5*c, 2*c = -0*c - 2*j + 36. Suppose 0 = -4*y + y + c. Let r(u) = u**3 - 2*u**2 - 6*u + 2. Is r(y) a prime number?
True
Let g(k) = 149*k. Let x(m) = -m**3 + 11*m**2 + m - 10. Let o be x(11). Is g(o) a prime number?
True
Suppose 2*v + 0*v + 170 = 0. Let b = v + 56. Let q = -18 - b. Is q prime?
True
Let o = -264 - -377. Is o composite?
False
Is (1 + 3632/12)*(5 + -2) a composite number?
False
Suppose -4*l = 3*a - 3797, -2*a + 3*l = -0*a - 2503. Is a composite?
False
Let k(r) = -r**3 - 8*r**2 + r + 6. Let w be k(-8). Let n be 0 - (0/w)/3. Let s(g) = g**3 + g**2 - g + 33. Is s(n) a composite number?
True
Suppose -4*p + p + 27 = 0. Let x = 76 - p. Is x composite?
False
Let q(n) be the first derivative of -n**4/4 + 7*n**3/3 - 3*n**2 - 6*n - 1. Let t be q(6). Is (-1 - 12)*(-1 + t) a composite number?
True
Suppose t + 6 = 21. Suppose -t - 61 = -4*g. Is g composite?
False
Is -1 - 21/(-27) - 62293/(-99) prime?
False
Is (-1)/5 - ((-1661)/5 + -2) a prime number?
False
Let n = 157 + -36. Is n a composite number?
True
Is -4 - 3/3*-215 composite?
False
Let f = 3 - 3. Suppose f = 4*k - 741 - 151. Is k prime?
True
Let g(b) = -b**3 + b**2 - 6. Let r be g(0). Suppose -33 = 5*d - 2*d - 5*o, 3*o = -5*d - 21. Is d/4*16/r a prime number?
False
Let z(c) = -9*c - 1. Let i be z(-4). Suppose -i = -j + 84. Is j a composite number?
True
Suppose -3*a + 2*a = -6. Let r(y) = 3*y**3 - 1 - 4*y**3 + a*y**2 + 8 + 5*y. Is r(6) composite?
False
Is (-21)/(-35) + (-4504)/(-10) prime?
False
Suppose 1 = 3*y - 2. Let f(t) = t**2 - 5 - t - 3 + y. Is f(-6) prime?
False
Suppose 5*s + 603 = -5*i + 9488, -5*i + 5*s + 8855 = 0. Is i composite?
True
Let p(i) = i**2 - 7*i - 9. Let u be p(-7). Suppose u = 2*q - 49. Is q composite?
True
Let x(v) = -v**3 - 1. Let k(l) = 2*l**3 + 4*l**2 - 2*l + 3. Let f(a) = -k(a) - 5*x(a). Let u be (-6)/(-5)*(-30)/(-12). Is f(u) composite?
False
Let p(o) be the third derivative of o**5/60 - o**4/24 + o**3/6 - 3*o**2. Is p(3) prime?
True
Let c(d) = -9*d + 4. Suppose -3*u + 18 = -0*u + 3*q, 0 = 4*u - 2*q. Suppose u*g + 0*g = -14. Is c(g) prime?
True
Let n(t) be the first derivative of t**4/4 - 5*t**3/3 - t**2/2 + 5*t + 1. Let q be n(5). Suppose q*k + k - 4 = 0, 0 = -3*l - k + 10. Is l composite?
False
Is 219 - 1*4/(-1) prime?
True
Let t(x) = -x**2 + 3*x + 6. Let s be t(5). Let b(i) = 18*i**2 - 8*i + 5. Let c(w) = -6*w**2 + 3*w - 2. Let a(k) = 3*b(k) + 8*c(k). Is a(s) composite?
True
Let r be (-1)/(-2 + 18/10). Suppose -r*x = -38 - 347. Is x composite?
True
Let z be (-3)/(-15) - 4448/(-10). Suppose 0 = 4*p - z - 559. Is p a prime number?
True
Let t(o) = -o + 8. Let i be t(7). Let n be 2 + (-1 - -1)/i. Let j(x) = 3*x + 1. Is j(n) a prime number?
True
Let y be (4/6)/((-5)/150). Let n be 4/(-18) + y/(-9). Is (26/n)/1 + -2 a composite number?
False
Suppose 3*c = 2*k - 11, 2*k + 2*c - 23 = -k. Let a(l) = -l + 10. Let o be a(k). Suppose 4*i - u = o*u + 164, -3*i - 2*u = -103. Is i a composite number?
False
Let w(d) = -d**2 - 3*d + 2. Let x be w(-2). Suppose x*b - 4248 = 2*k, -2*b - k + 1045 = -1075. Is b a prime number?
True
Let j be (-12)/(-4) - (1 - 1). Suppose 15 = 2*u + u, -j*m + 325 = -u. Let d = m - -149. Is d prime?
False
Suppose 1659 = 7*b - 4*b. Is b composite?
True
Suppose -3*f - f = 0. Suppose f = -o - 3*o + 44. Is o composite?
False
Let y = 0 - 1. Let a be (-2)/y*(-3 - -4). Suppose 0*s + a*s - 62 = 0. Is s a composite number?
False
Let f = 12 - 7. Suppose -q - f = -0. Let s = 20 - q. Is s prime?
False
Suppose -3*m + 0*m + 3*v + 228 = 0, -3*m - v + 232 = 0. Suppose 4*j - 5*j = -m. Is j prime?
False
Let z(u) = -u - 1. Let m be z(-7). Suppose -g - 35 = -m*g. Suppose g*j - 65 = 2*j. Is j composite?
False
Suppose -21*b + 815 = -16*b. Is b a prime number?
True
Suppose 0 = -h + 76 + 81. Is h composite?
False
Suppose 0 = -4*w + 1270 - 106. Is w prime?
False
Let d = 9 + -4. Suppose 2*f - 92 = -4*r + 6*f, d*f + 20 = 0. Is r a composite number?
False
Let p(o) = -13 + 0*o**2 - 3*o**2 + 2*o**2 - 2*o - 10*o. Let d = 1 - 11. Is p(d) a composite number?
False
Suppose n = 4*n - 15. Suppose -n*o - b + 21 + 1 = 0, 19 = 5*o + 2*b. Let q(a) = 2*a + 5. Is q(o) a composite number?
True
Let o(c) = c + 7. Let b be o(-3). Let m = 617 + -346. Suppose -i + m = 5*k - 0*i, -181 = -3*k + b*i. Is k a prime number?
False
Let b = 1369 - 722. Is b composite?
False
Let f = 3247 - 1898. Is f prime?
False
Is 1 - 7/4 - (-57300)/48 a prime number?
True
Let n = -2 - -7. Suppose -38 = 3*p - j - 241, -n*p + 365 = 5*j. Is p prime?
False
Is ((16 - 3)*10)/2 a composite number?
True
Suppose -66 = 3*m - 534. Let y = m + -109. Is y composite?
False
Let b be (1 - -5)*54/(-4). Let t = 5 - 33. Let o = t - b. Is o prime?
True
Let p be 301/28 - 2/(-8). Let g(n) = 2*n**2 - 9*n - 12. Is g(p) composite?
False
Let g be (2/3)/((-1)/(-3)). Suppose -g*w + 3 = -w. Suppose 205 = 5*i - 4*s, 0 = -3*i + w*s - s + 121. Is i prime?
True
Suppose -2*z + n - 93 - 120 = 0, -4*n - 20 = 0. Let l = z - -1424. Is l prime?
False
Suppose -2*d = 5*f - 69 - 58, 61 = d + 2*f. Let z = 77 - d. Suppose -q - c + z = 0, -6*c = -q - c + 26. Is q a composite number?
True
Suppose 5*r = 3*c - 7712