 1. Let l be (4/8)/(r/(-4)). Is b(l) a prime number?
True
Suppose 256 = 2*k + 3*h + 57, 4*k - 392 = -4*h. Is k a composite number?
True
Is (-1 + 4 + -3456)*(-4)/12 a composite number?
False
Suppose -250 = -4*d + 1834. Is d a composite number?
False
Let j(m) = 66*m**3 - 12*m**2 - 2*m + 3. Is j(2) composite?
False
Let m = -1 - -6. Suppose m*c - 2*c + 255 = 5*l, -2*l + 102 = 2*c. Is l composite?
True
Suppose 0*g + 4533 = 3*g - 5*t, 0 = -t. Is g composite?
False
Let l(j) be the third derivative of j**5/20 + j**4/6 - j**3/6 - 2*j**2. Is l(6) a composite number?
False
Let m(v) = -45*v - 3. Let s be m(-3). Suppose 3*j = -j + s. Is j composite?
True
Suppose -5*m = -0*m - 1605. Is m a prime number?
False
Suppose -2*r + 626 = -5*m - 1223, r - 5*m = 932. Is r prime?
False
Let o(q) = 86*q**2 + 6*q + 11. Is o(-3) composite?
True
Let m be (11/(-22))/((-2)/40). Suppose 11*u - m*u = 445. Is u a prime number?
False
Is 1/(-3) - (-2548)/3 a composite number?
True
Let i(n) = 6*n**3 - 6*n**2 + 7*n - 8. Is i(6) composite?
True
Let i(t) = -t - 1. Let b be i(-3). Let h be 2/(-4) + (-551)/b. Let v = h - -403. Is v a prime number?
True
Is ((-974)/6)/((-1)/3) a composite number?
False
Let j be (-41)/4 - 2/(-8). Let r be 1/(-5) + (-1152)/j. Suppose 5*d - 5*c = r, -2*d + 3*d = -5*c - 1. Is d prime?
True
Let c(h) be the second derivative of h**5/5 + h**3/6 + 2*h. Let q be c(1). Suppose 0 = -3*r + 6, 15 = f + 2*r - q*r. Is f a prime number?
False
Suppose -8 = -2*m + 3*k, m - 4*k + 4 = 2*m. Suppose 4*d - m = 3*d, 5*d - 22 = j. Is ((-4)/(-8))/(j/(-148)) a prime number?
True
Let r(c) = 3*c**3 - 7*c**2 - 4*c + 5. Is r(8) a prime number?
True
Let j be 1*(-1 + 2 + 81). Let f be j + -2*(-3 + 2). Let t = f - 31. Is t composite?
False
Suppose 0*y + 2*p + 16 = 4*y, 2 = -y - p. Is (-1)/(y*3/(-66)) a prime number?
True
Let b = 7 - 4. Suppose 0 = 3*s + b, 405 = 5*v + s - 6*s. Suppose 4*g - 2*t = -0*t + 310, 0 = -g + 3*t + v. Is g composite?
True
Let t = -4 + 8. Suppose t*u - 3*u - 2 = 0. Suppose 0*o + u*o - 182 = 0. Is o a prime number?
False
Is -2 - 1/((-1)/4) composite?
False
Let x(b) = -200*b + 2. Is x(-1) prime?
False
Let s = 679 + -440. Suppose 0 = 3*x + 5*l - 28 + 514, -3*l = 4*x + 648. Let p = s + x. Is p composite?
True
Let j(i) = 14*i - 11. Let f be j(-7). Let s = 240 + f. Is s prime?
True
Suppose 0 = 4*o + 5 - 17. Suppose 2*t + 5*c = -0*t + 33, -3*t + 3*c = 3. Suppose -o*u - 253 = -t*u. Is u prime?
False
Is (6 + 121)/(1/5) a prime number?
False
Suppose -3*q - 2*q = -20, -2*b = 4*q - 114. Is b composite?
True
Let s(l) = -2*l**3 - 6*l + 1. Let p(j) = j**3 + j. Let u(d) = -6*p(d) - s(d). Let c be u(-1). Suppose 325 = c*x + 2*x. Is x a composite number?
True
Let q(c) = 1. Let a(k) = -6*k + 10. Let d be ((-1)/1)/(1/3). Let v(s) = d*q(s) + a(s). Is v(-5) prime?
True
Let k = -945 - -1340. Suppose 0 = -2*n + 10, -5*h - 3*n - 2*n + k = 0. Is h a prime number?
False
Let n(j) = -2*j + 5*j**2 - 1 + 2*j. Let h be n(-1). Suppose 4*c - 273 = -t, 5*c + 0*t - 333 = -h*t. Is c a composite number?
True
Let h(m) be the second derivative of m**4/3 - m**3 - 3*m**2/2 + 5*m. Is h(-6) composite?
True
Let v be (-6)/(-4) - 4/(-8). Suppose 3*t - 2*y - 29 = 0, t - v*y = 3*t - 6. Is t prime?
True
Suppose x = -3*x. Suppose -3*r + 8 = -q + 5*q, 2*r + 8 = x. Suppose 114 = -2*j + 4*j - 4*f, q*f - 149 = -3*j. Is j prime?
True
Let x = 300 - -1061. Is x a composite number?
False
Let r(z) = -z - 2. Let h be r(-5). Suppose -h*u + 3*x + 339 = 0, -2 = -0*x + 2*x. Let l = 377 - u. Is l a prime number?
False
Suppose -159 = -3*b - 0. Is b prime?
True
Let t(j) = 3*j**3 - 5*j**2 + 5*j + 7. Let m(i) = 5*i**3 - 7*i**2 + 7*i + 10. Let b(a) = 5*m(a) - 8*t(a). Is b(-5) prime?
True
Let w = -156 - -235. Is w composite?
False
Suppose -2*x - u + 173 + 159 = 0, 5*x - 839 = 2*u. Is x a composite number?
False
Let y(i) = -i**2 - 4. Suppose 3*q = -q + 16. Let l be y(q). Is 2 - l - (1 - 1) a composite number?
True
Let k(h) = -8*h**2 - h - 6. Let p(o) = 15*o**2 + o + 13. Let m(b) = -5*k(b) - 2*p(b). Let f = 15 - 18. Is m(f) a prime number?
False
Suppose -183 + 35 = -4*q. Is q a prime number?
True
Is (0 + 1820 - 3)/1 a prime number?
False
Is 2/(-6) + 15154/3 a prime number?
True
Let k(a) = -111*a - 31. Is k(-7) prime?
False
Let m = -1 + -7. Let v be (m/6)/((-1)/(-9)). Is v/(-2)*13/3 prime?
False
Let s(l) = -l**3 + 6*l**2 + 4*l - 5. Let i be s(6). Suppose 0*n - 109 = -2*n - 3*p, 2*n - 5*p - 133 = 0. Suppose 4*y + i = n. Is y a composite number?
True
Let x = -160 - -40. Let t be (-34)/3*(-99)/(-6). Let r = x - t. Is r a composite number?
False
Let f(d) = 7*d**3 - 10*d**2 - 12*d + 18. Is f(8) composite?
True
Suppose -5*p = -4*p - 4*r - 861, p = -5*r + 879. Is p composite?
True
Suppose 11 = -4*x - q, 0*q = 3*q - 15. Is 86*(0 + (-2)/x) a prime number?
True
Suppose -2*q = r - 7798 + 2723, -r + 5*q + 5040 = 0. Is r a composite number?
True
Let j(a) = -876*a**3 + 2*a**2 + a. Is j(-1) a composite number?
False
Let q = -795 + 1337. Is q/8 - 6/8 a composite number?
False
Suppose -2*v = v. Suppose v*i + 22 = 2*i. Is i composite?
False
Let m = -1557 - -3710. Is m prime?
True
Suppose -1175 = 5*t - 4020. Suppose 4*u + 93 - t = 0. Is u a composite number?
True
Let a be 345/(-3*(-2)/12). Suppose 2*s + a = -s. Let m = s - -385. Is m a prime number?
False
Suppose 0*l + 2*l = -138. Let t = l - -136. Is t a prime number?
True
Suppose -2*h + 587 = -h. Is h a prime number?
True
Is (4/(-4))/(2/(-142)) a prime number?
True
Suppose 5*p - 21 + 6 = 0. Suppose 3 = v - p. Is (62/4)/(3/v) a composite number?
False
Let b(f) = f + 10. Let n be b(-7). Suppose 21 = n*v + 3*i, i - 27 - 20 = -5*v. Is v prime?
False
Suppose -3*t = 2*t - 15. Suppose -4*b + 2*a = t*a - 14, -4*b = -3*a - 22. Suppose 101 = b*p + 9. Is p composite?
False
Suppose 6*v = 2*v. Suppose 0 = -3*t - v*p + 4*p + 197, 3*t - 152 = -5*p. Is t a composite number?
False
Let i(t) = t + 3. Let o be i(0). Let y = 3 - o. Suppose y*h = -2*h + 118. Is h prime?
True
Let b(q) = -q**3 + q**2 + 3*q + 3. Let i be b(-2). Let t(a) = -a**2 + 8*a - 19. Let c be t(6). Let x = c + i. Is x composite?
False
Suppose 0 = 6*r - 274 + 4. Suppose r = 2*l + l. Is l a prime number?
False
Let r = 16 - 12. Is 941/r - 4/16 composite?
True
Let i(w) = -46*w**3 + 4*w**2 + 3*w + 3. Is i(-4) composite?
False
Let j(b) = -60*b**3 - 2*b + 1. Let r = 6 - 5. Let t be j(r). Let l = t - -108. Is l prime?
True
Let f(g) = 166*g - 1. Is f(2) a prime number?
True
Suppose w + 3*w = 124. Suppose -w - 192 = -l. Is l a prime number?
True
Let x(w) = 5*w - 6. Let f(z) = 6*z - 7. Let n(r) = -6*f(r) + 7*x(r). Let m be n(2). Is 83/m*(-3 - -1) composite?
False
Suppose 4*l - 22 = 14. Is l*-4*-1 - -1 a composite number?
False
Let w = -15 + 0. Let t be w/(-2)*104/(-6). Let x = 207 + t. Is x composite?
True
Suppose -9*h + 20 = -4*h. Is 4794/54 - h/(-18) a composite number?
False
Let m be ((-4)/(-6))/(2/993). Suppose -5*l = -6*l + m. Is l prime?
True
Let m be 1 + (-46)/(-6)*21. Let s be 81/(-2) + 2/(-4). Let i = s + m. Is i a composite number?
True
Suppose -3*a = 5*u - 1117, -369 = 4*a - 3*u - 1897. Is a a composite number?
False
Suppose -31 = 4*b - 7. Let m(y) = -20*y + 7. Is m(b) a prime number?
True
Suppose 0 = -m + h + 47, -2*h = 3*m - 4*h - 141. Is m a prime number?
True
Let n be 1 + 0 + 1 - 0. Suppose y = n*y + 4. Is (-405)/(-21) - y/(-14) a composite number?
False
Suppose -2*o + 45 = -149. Is o a prime number?
True
Suppose -249 + 28 = -z - 5*d, 10 = 5*d. Is z composite?
False
Suppose 3*m = -2 - 1. Is (m + -61)*2/(-4) prime?
True
Let f(p) = p**2 - 3. Suppose -5*z + 5 = -4*j, -8*z - 35 = -3*z + 4*j. Let n be f(z). Suppose -3*t - 57 = -n*t. Is t composite?
False
Let p(n) = -2*n**3 - 4*n**2 - 5*n - 5. Is p(-4) a prime number?
True
Let v(k) = 15*k + 4. Let n be v(3). Let j = 10 - 7. Is ((-3)/(j/n))/(-1) composite?
True
Let o be (-54)/15*(7 - 2). Is (-159)/1*6/o composite?
False
Suppose -r = -3*c - 2*r - 488, -c - 172 = 5*r. Let x = -97 - c. Is x a composite number?
True
Suppose -8 = 2*p - 0*p. Let r be (-2 - 1)/(3/p). Suppose r*c = 1412 - 208. Is c a prime number?
False
Let v be ((-2110)/15)/(2/(-15)). Suppose -3*y - h + v = 2*y, -422 = -2*y - h. Is y prime?
True
Let t = 241 + -40. Is t a prime number?
False
Let k(z) = z**2 - 5*z. Let u be k(6). Suppose -o - 2*v