-12. Is l/16 + (-62)/(-8) a composite number?
False
Suppose 0 = -4*x - 4*h + 40, x - 9 = h + 3. Suppose -j + 3 = -1. Is x/((-2)/(-8)*j) prime?
True
Let u = 6 + -4. Suppose -5*h + 14 = -z + 299, -5*h - 1215 = -4*z. Suppose u*t - 4*o - z = -o, -4 = -2*o. Is t composite?
True
Let c(o) = 2*o + 1. Let j(d) = -d + 1. Let n be j(-2). Let u be c(n). Suppose 2867 = u*m + 550. Is m composite?
False
Let u(i) = i**2 + 7*i + 5. Is u(29) a prime number?
True
Let t = -4 + 8. Suppose -20 = -t*z + 6*z. Is (-2024)/z - 33/(-55) a prime number?
False
Suppose -3*g + 0*g + 2*k + 59603 = 0, -3*g + 59618 = k. Is g composite?
True
Let g be 180/27*9/4. Is (2 + 1332/15)*g + -1 a prime number?
True
Let j(s) = -64*s**2 - 7*s + 2. Let o(a) = -a + 1. Let m(r) = -j(r) + 3*o(r). Is m(-3) a composite number?
True
Suppose 0 = l - 15. Let o be (-5)/25 + 33/l. Suppose -3*h + 354 = 6*t - o*t, -t + 93 = 3*h. Is t a prime number?
False
Let a(b) be the first derivative of -b**6/40 - b**5/15 - b**4/3 + 5*b**3/6 + 5*b**2/2 - 10. Let m(q) be the second derivative of a(q). Is m(-6) composite?
False
Is 2/((-6)/715527*-9) composite?
False
Suppose -18394 = -28*w + 26*w - 2*m, 0 = -5*m. Is w a composite number?
True
Let h(b) = 220*b + 13. Let q be h(14). Suppose -q = -0*u - 3*u. Is u composite?
False
Let v be (-324)/(-42) - 2/(-7). Is 2/v*(1672 - -4) prime?
True
Let d(q) = -509*q**3 + q**2 - 7*q + 27. Is d(-4) a composite number?
False
Let m = 1352 - 3094. Let s = -1221 - m. Is s a composite number?
False
Let h(q) = 149*q**2 + q + 1. Let c be h(-1). Let o = c - -203. Is (-1)/(o/118 - 3) prime?
True
Suppose 3*p = t + 63403, 105661 = 5*p - 4*t + 5*t. Is p a composite number?
True
Suppose 0 = -4*n + 3180 + 692. Suppose -575 = -3*o + q, 0 = -4*o - q - 206 + n. Is o composite?
False
Let f(z) = 5*z**2 - 2*z - 2. Let o(h) = -h**3 + 21*h**2 - 21*h + 19. Let l be o(20). Let b be f(l). Is (-2704 + -1)*(-1)/b a composite number?
False
Let u = -33348 + 70181. Is u a composite number?
False
Let i(x) = 45*x**3 + 3*x**2 - 5*x. Let n be i(4). Suppose -2*w = 3*t - 8707, 0*t + 5*w + n = t. Is t a prime number?
True
Let q be (-19172)/(-28) - 4/(-14). Suppose q = -2*p + 3*p. Is p a prime number?
False
Is (-16529*(-6)/14)/((-44)/(-308)) a prime number?
False
Suppose 5*w = -5*z, 0 = -2*w - 2*w + z - 20. Let r(c) be the third derivative of 7*c**5/60 - c**4/12 - 5*c**3/6 - 12*c**2. Is r(w) prime?
False
Suppose -7*j + 10*j - 57 = 0. Let n be ((-8)/(-16))/((-1)/(-16)). Let z = j - n. Is z composite?
False
Let m(t) = t + 5. Let j be m(-3). Suppose -j*i + 3*k = k - 8, k = -5*i - 4. Suppose 2*w + i*w - 62 = 0. Is w prime?
True
Let n be (-282)/24 + (-1)/4. Let d(a) = 2*a**2 + 2*a. Let r be d(-2). Is (514/(-6))/(r/n) composite?
False
Suppose 40*l + 12678 = 43*l. Is l a prime number?
False
Let s(t) = 21*t - 24 + 1 - 66*t + 27*t. Suppose -55 = 5*g + 25. Is s(g) a prime number?
False
Is (-56384)/(-256) + ((-9)/(-4))/3 a composite number?
True
Let g = -83 - -86. Let s = g + 68. Is s composite?
False
Suppose 4*q - 3*z = -13389, 7506 + 9225 = -5*q + 2*z. Let f = 6242 + q. Is f composite?
False
Suppose 5*d + 2*a - 19 = 0, -4*d - 2*a - a + 11 = 0. Suppose -d*k + 8853 = 1138. Is k prime?
True
Let c = 5335 - 3644. Is c composite?
True
Suppose 2*d - 6*d + 24 = 0. Is (2495/30)/(1/d) composite?
False
Suppose 1109*p - 72214 = 1107*p. Is p prime?
True
Let y(r) = 662*r**2 + 10*r - 8. Let w be y(3). Suppose -w = -4*o - 2*v, -4*v - 670 = -o + 843. Is o a composite number?
True
Suppose -5*h - 4*d + 52 = -0*h, 3*h - 38 = d. Suppose -6*v = -2*v - h. Suppose -1407 = -v*r - 0*r. Is r prime?
False
Suppose 3*d + 15 = 6*d. Suppose -d*m = -191 - 1024. Let w = 14 + m. Is w composite?
False
Let d = 39 - 42. Is 710/6 + 1/d a composite number?
True
Suppose -2*k + 10*k - 48 = 0. Let j(x) = 39*x + 11. Let z be j(k). Suppose 2*h = 4, h = -n + 4*h + z. Is n composite?
False
Is (-37175)/(-2) - (-10)/(-20) - -4 prime?
False
Let p(x) = 783*x**2 - 9*x - 40. Is p(-3) a composite number?
True
Suppose 0*z + 232510 = 10*z. Is z a composite number?
False
Let c be 0 - 3 - (-16 - 7). Suppose 2 + 6 = 5*l - 2*b, 5*l - c = 5*b. Suppose l = -4*k + k + 651. Is k prime?
False
Suppose -2*x - 4936 = -3*y, -x - 4138 + 12343 = 5*y. Suppose 0 = 4*m + 2*f - y, 0 = 3*m - 4*f + 2*f - 1249. Is m prime?
False
Let y be -13 - -5 - (-2 + 3). Let s(c) = c**3 + 9*c**2 - 5*c + 17. Let a be s(y). Suppose 4*x - a = 686. Is x a prime number?
False
Let d(h) = 71*h - 13. Let q(g) = 36*g - 12. Let m(n) = 36*n - 13. Let v(j) = -5*m(j) + 6*q(j). Let i(z) = -3*d(z) + 5*v(z). Is i(-3) prime?
True
Suppose z - p - 920 = 122, 2*z - 2093 = -p. Suppose z = w + 4*w. Is w composite?
True
Suppose 3*h = -5*a - 657, 2*a - 4*h = -3*a - 629. Let w = -214 - a. Let v = 150 + w. Is v a composite number?
True
Suppose 5*b + 20 = 0, -7*b + 24902 = 2*r - 2*b. Is r composite?
True
Suppose 62*b - 64*b + 10 = 0. Suppose -b*g = -5*c + 3660, -3*g = 3*c + g - 2231. Is c a prime number?
False
Is (3 - 88/24) + 7799/3 a composite number?
True
Let n = -9479 - -14518. Is n composite?
False
Suppose 5*p = 8*p + 3*j - 10056, -4*p = -5*j - 13417. Is p a composite number?
True
Let n(x) = -x**3 - 3*x**2 - 3*x - 4. Let l be n(-3). Suppose l*j = 150 - 10. Suppose -5*g + 158 = j. Is g prime?
False
Suppose 2*k - 197 = 389. Is k a composite number?
False
Suppose -q = 2*l - 0*q - 9, -2*q = -2*l. Suppose -b + 5 = t, 3*t - 2*b + 4 = -6. Suppose -i = -l*o - t*i + 204, -326 = -5*o - 3*i. Is o a composite number?
False
Suppose 2*c + 8 = -2*n, -5*n + n - 2*c = 8. Suppose n = 4*f - 6*f + 4064. Suppose 0 = -5*q + 423 + f. Is q a prime number?
True
Let m be (42/12)/((-2)/(-4)). Suppose m*z + 2570 = 9*z. Is z prime?
False
Let d(o) = 27*o - 8. Let s(w) be the first derivative of -w**3/3 + 13*w**2/2 - 7*w + 2. Let k be s(12). Is d(k) prime?
True
Suppose -140*j + 138*j + 10124 = 0. Is j composite?
True
Suppose -20*x = -6026 - 3594. Is x a prime number?
False
Let g(o) = o**3 - 3*o**2 + 3*o - 5. Let m be g(3). Suppose 2*j - 287 = -3*b, 3*b + m*j = 7*b - 396. Is b prime?
True
Suppose -r = -3*i - 1418, 2*r - 3528 = 2*i - 700. Let y = -74 + 78. Suppose y*l = -0*l + r. Is l prime?
True
Is (-4486 + -1)/(18 + -19) a composite number?
True
Let q be -1 + 376 + 22/11. Suppose 0 = -8*a + 9*a - q. Is a a composite number?
True
Suppose -3*l + 0*l = -46167. Is l a prime number?
False
Let k be (-9 - -4)*(-5 - 3). Is 5108/6 - (k/12 + -3) a prime number?
False
Let k(l) = -534*l + 143. Is k(-4) a composite number?
True
Let i = 24 - 14. Let z be (-39)/15 - (-6)/i. Is ((-39)/6)/(z/28) a composite number?
True
Suppose 6*g = -1731 - 5277. Let x = g + 2517. Is x composite?
True
Let l = 6022 - 1513. Suppose -c + 5*c - 4464 = 4*j, 4*c - l = -5*j. Is c prime?
False
Let j be ((-10)/(-4))/((-7)/(-14)). Let y(r) = 161*r**2 + 8*r - 16. Is y(j) composite?
False
Suppose -6 = -i + 13. Suppose i*g = 20*g - 1397. Is g prime?
False
Is (34154/6)/(24/(-9) + 3) prime?
True
Suppose -5*q - q = -18. Suppose 2*c = 4*k - 2*k + 212, -k = q*c - 310. Let x = c - 25. Is x composite?
False
Suppose -402 - 316 = -2*p + 5*g, -3*p + 1077 = -3*g. Let j(x) = 8*x + 12. Let f be j(-1). Suppose -f*i - 3*q = q - 1468, i + 3*q - p = 0. Is i prime?
False
Let d be 18/4*(-8)/(-6). Is (-9)/(-6)*3356/d composite?
False
Let g = -28 - -30. Suppose -5*p + 3*c + 1588 = 0, 202 = g*p - 5*c - 437. Is p prime?
True
Let m be 1 + -4 + (-4 - -3). Is ((-71)/m)/((-6)/(-1032)) prime?
False
Let x(q) = 7*q - 5. Let z(c) = -15*c + 11. Let i(n) = -5*x(n) - 2*z(n). Suppose 0 - 4 = h. Is i(h) composite?
False
Let f be -1 - -106 - 4/4. Suppose u + 8*q + 62 = 3*q, 4*q = 3*u + 205. Let s = f + u. Is s a composite number?
False
Let y = -5502 + 9263. Is y a prime number?
True
Suppose -2*y - 5*b - 2052 = 0, 3*y + 4*b + 2458 = -634. Let k = -345 - y. Is k composite?
False
Let c(h) = 46*h + 32. Let s(j) = -46*j - 33. Let x(q) = -4*c(q) - 3*s(q). Is x(-6) composite?
True
Suppose -5*n - 5*t + 33313 = -71092, 2*n + 3*t = 41766. Is n a composite number?
True
Let u = -434 - -1106. Let d = u + -301. Let c = d - 148. Is c a composite number?
False
Let m(u) = u**3 + 36*u**2 - 13*u + 23. Is m(-26) prime?
True
Suppose u - 2 = 9. Let b = u - 8. Is (-1)/(1722/(-573) + b) a composite number?
False
Let q(a) = a**2 - 5*a - 12. Let j be q(7). Is ((-339)/j