h + 5*h - n = 52, 3*h = -4*n + 45. Is h composite?
False
Suppose 574 - 44 = 2*m. Let s = m + -132. Is s a prime number?
False
Let t be (2 - -1) + (0 - 1). Suppose t*g - 1 - 5 = 0. Suppose 2*u - 4*i - 70 = 0, 2*u = u - g*i + 25. Is u a prime number?
True
Suppose q + 2*q - 3 = 0. Let o be 1 - (-1 + (0 - q)). Suppose -y + o = 2, -4*j + 293 = -3*y. Is j prime?
False
Suppose 2*x = 3*x - 5*t + 13, 35 = -2*x + t. Let f = 49 + x. Is f a composite number?
False
Let a = -1117 + 2090. Is a a prime number?
False
Let c(b) = -4*b - 1. Let k be c(-1). Let l = k + -2. Is (50 - l - -2)*1 prime?
False
Let z = 341 + 200. Is z a prime number?
True
Suppose -x = 3 + 2, -3*o - 2*x = -1457. Is o prime?
False
Suppose 0 = -5*o - 0*y + 4*y + 6969, -1392 = -o - y. Is o prime?
False
Let l(f) = -2*f**3 - 6*f**2 - 4*f + 1. Let s(g) = -g**2 + 2*g + 1. Let m be s(3). Let z be m/6 + (-22)/6. Is l(z) composite?
True
Let q(j) be the second derivative of -j**3/6 + 85*j**2/2 + 2*j. Is q(0) a composite number?
True
Let z(h) = -4*h. Let k be z(-1). Let o = k + -4. Suppose 5*v + o*v - 385 = 0. Is v composite?
True
Let j be -1 + (-1)/2*-6. Suppose -j*f - 244 = -688. Suppose t - 99 = 2*s, -2*s = 5*t - f - 213. Is t composite?
False
Suppose -6*l + 2*l + 284 = 0. Is l a composite number?
False
Suppose -9284 = -10*l + 6*l. Let p = -1528 + l. Is p prime?
False
Suppose 0 = -5*v - 15, 2*v - 280 = t - v. Let h = t + 564. Suppose -5*x - 2*m + 326 = -h, 5*m - 372 = -3*x. Is x a composite number?
True
Let q(a) = 2*a**2 + 10*a + 9. Let c(o) = -6*o**2 + o. Let n be c(-1). Is q(n) composite?
False
Let c be 0/(-1 - 3) - -2. Is c/(-2)*(-8 + 1) prime?
True
Suppose 4*l = -q + 275, 0*l = 2*q - l - 541. Is q a composite number?
False
Let p(w) = -20*w + 2. Let k be p(-2). Suppose u = 3*u - k. Suppose 0 = 5*d - 94 - u. Is d a composite number?
False
Suppose 0 = -8*r + 7*r + 394. Is r composite?
True
Suppose -27 = 5*l - 7. Let o(m) = -7*m - 7. Is o(l) a composite number?
True
Let g be ((-2)/(-6))/((-20)/120). Is g/(4/954*-3) composite?
True
Let u(k) = -90*k - 3. Let h(i) = 269*i + 10. Let x(n) = -4*h(n) - 11*u(n). Is x(-4) a composite number?
False
Suppose 0 = -4*m - 20, m + 557 = 4*z - 288. Let k = -59 - 38. Let x = k + z. Is x a prime number?
True
Let j(a) be the first derivative of a**4/4 - 7*a**3/3 + 7*a**2/2 + a - 2. Let t be j(5). Let b = t + 21. Is b composite?
False
Let d = 1 - -3. Suppose -d*y + 0 = 4. Let f(a) = -12*a**3 + a. Is f(y) a prime number?
True
Let l(f) = 533*f + 2. Is l(3) composite?
False
Suppose -9 = -4*k + 5*s, 0 = -5*s + 6*s - 3. Let c = 8 - k. Suppose c*b + 201 = 5*b. Is b a composite number?
False
Suppose -2*x + 8 + 4 = 0. Let d = 19 - x. Is d composite?
False
Let p(y) = -y**2 - 13*y - 2. Let f be p(-12). Suppose -3*t + 5*k = -f - 101, -37 = -t - 5*k. Is t prime?
True
Let j(c) = 36*c**2 - 2*c - 3. Is j(-2) a prime number?
False
Let q(b) = -b**3 + 18*b**2 - 17*b - 6. Let n be q(17). Is (-7 - n)/((-2)/338) a composite number?
True
Let f(n) = 4*n - 4*n**3 + 5 + n**3 - 3 + 2*n. Is f(-3) composite?
True
Let z(x) = 83*x. Is z(5) a composite number?
True
Let j = -7 - -11. Suppose v - f = -j*f + 6, 2 = -v + f. Suppose -5*k + 14 = -5*x + 54, v = -3*k + 6. Is x a prime number?
False
Let c be 6/(4/(-4) + 3). Let x(w) = 7*w**3 - w**2 - 4*w + 2. Let n(h) = -7*h**3 + 2*h**2 + 3*h - 1. Let a(s) = -3*n(s) - 2*x(s). Is a(c) prime?
True
Is (-8)/20 + 5285/25 composite?
False
Let c(f) = -f**3 + 8*f**2 - 7. Let b be c(6). Let x = b + -28. Is x a composite number?
False
Let w(j) be the first derivative of -11*j**4/4 - j**3/3 + j + 2. Let m be w(-1). Let t = m - -10. Is t prime?
False
Let h(b) = -b**2 + 5*b + 5. Let r be h(-4). Let a = r - -74. Is a composite?
False
Suppose 0 = -3*l + 8*l - 6215. Is l a composite number?
True
Let s = 5 - 14. Let m(c) = c**3 + 10*c**2 - c + 4. Is m(s) composite?
True
Suppose -4*k + 17633 = 5221. Suppose 4*u - 3*z = 7*u - 1860, 0 = 5*u + 4*z - k. Is u composite?
True
Let f(y) = 2*y**3 - 12*y**2 - 14*y + 5. Let m be 12/20 - (-68)/(-5). Let h(i) = i**3 - 6*i**2 - 7*i + 3. Let z(b) = m*h(b) + 6*f(b). Is z(6) prime?
False
Let b = 11302 - 7175. Is b composite?
False
Let f = 63 - 35. Suppose 4*l + f = 4*b, -3*b - 2*l + 24 = -6*l. Suppose -493 + 145 = -b*h. Is h prime?
False
Let r(k) = -k**3 - 8*k**2 - 7*k - 3. Let z be -8 - -1 - 2/2. Is r(z) a composite number?
False
Suppose 0*g - 2*g + 2*o + 12 = 0, -g - o + 6 = 0. Is g/15 + (-483)/(-5) composite?
False
Is (4 + -2)*55/2 a composite number?
True
Let t = -305 + -313. Is 2/6 - t/9 prime?
False
Suppose m - v + 0*v - 77 = 0, -4*m + 308 = -2*v. Suppose 4*u = -5*r - 151, -u - r - m = u. Is (u/(-9) - 1)*3 prime?
False
Suppose -2*v + 22 = -3*u, 2*u = 7*u + 20. Suppose -a + v = -4*x - 3, 5*a = x + 2. Is (x/4)/(1/(-50)) a composite number?
True
Let p be ((-24)/(-30))/((-4)/(-50)). Let l(d) = 4*d - 6. Is l(p) prime?
False
Let k(o) = -7*o**3 - 3*o**3 + 4 + 2*o - 4*o**2 + o**3. Is k(-3) prime?
False
Suppose h + 2*y = -0*h + 9, 7 = h + y. Suppose 5*s - 5 = h. Suppose 7*z - s*z - 115 = 0. Is z composite?
False
Let j be 74/14 + (-2)/7. Let l(q) = q + 1. Let o be l(j). Suppose -24 = -k + h, -3*h + 0 = o. Is k prime?
False
Let s(o) = 4*o**2 + 5*o. Suppose -2*b = -2 + 8. Is s(b) a composite number?
True
Let b(s) = -s**3 - 10*s**2 - 9*s + 1. Let y be b(-9). Suppose -4*v + 81 = 3*p, -2 = -v + y. Is p a prime number?
True
Let p(g) = -g**2 + 8*g + 13. Let x be p(9). Suppose -x*y = -0*y - 356. Is y a composite number?
False
Let m(x) = x + 6. Let u be m(-6). Suppose u = 2*c + 39 + 33. Let i = c - -61. Is i a composite number?
True
Let m(h) = h**3 + 6*h**2 + 2. Let c be m(-6). Suppose 3*i - c = 4. Is (12 + -1)/(i - 1) prime?
True
Suppose 119 = d - 3*h - 0*h, -2*h = -8. Is d prime?
True
Suppose 5*u - 3*p + 42 = -20, -4*p = -u - 26. Let r(m) = -2*m - 13. Is r(u) prime?
True
Let w be (-123)/(-11) - (-12)/(-66). Let v = w - 8. Suppose -8*s = 2*i - 3*s - 52, 0 = i + v*s - 27. Is i composite?
True
Let q = -2 - -3. Let h be (10/(-2))/(q/(-5)). Suppose 4*k + h = o, 0*k = -5*o - 2*k + 37. Is o composite?
True
Let b(h) = -2*h**3 + 3*h**2 - h - 2. Let n be b(2). Let q(v) = -v**2 - 7*v + 10. Let g be q(n). Suppose 0 = -g*l - 0*l + 102. Is l prime?
False
Suppose -2*x + 4*x - 1438 = 0. Is x a prime number?
True
Let h(m) = -m**3 + m**2 - m - 1. Let i(s) = 94*s**3 - 6*s**2 + 7*s + 4. Let o(w) = 5*h(w) + i(w). Suppose 6 - 1 = 5*f. Is o(f) a composite number?
False
Let k = 49 + -193. Let f = -17 - k. Is f a prime number?
True
Suppose 3*v + 14 = 4*v + 3*q, 0 = -4*v + q - 9. Let r be ((-3)/v)/(-1*1). Is (-174)/(-2) - (-1 - r) a composite number?
True
Suppose 0 = -3*s - 10 - 2. Is (-1652)/(-20) - s/10 a composite number?
False
Suppose -2271 - 451 = -2*s. Is s prime?
True
Let b = 20 - 11. Suppose b = 4*z + p, 2*z - p - 3 = -2*p. Is z/((3 - 2)*1) composite?
False
Suppose 4*s - 1 - 7 = 0. Is (s + 186/(-4))*-2 a composite number?
False
Suppose 0 = -4*s + 16 + 200. Suppose 4*i - s = -j, -i + j + 2*j = -7. Suppose 3*p = 15, -5*p + i = -3*c - 0*c. Is c a prime number?
False
Let v(k) = -k**2 - 4*k - 2 + k + k**3 - 3. Is v(4) a composite number?
False
Let q(b) = -212*b + 11. Is q(-6) prime?
True
Let u = -3 - -3. Suppose 2*f = f - y + 20, 3*f - 2*y - 65 = u. Is f prime?
False
Let m(f) = -f**2 + f - 11. Let v be m(0). Let d = -6 - v. Suppose 3*g - x - 121 = -2*g, -4*g + 80 = -d*x. Is g composite?
True
Let n be 0 - -1 - (3 - 4). Suppose 0 = 2*j + n*m + 4, 3*j + 5*m + 4 = -0. Is ((-1)/j)/(1/57) prime?
True
Let l = 899 + -1833. Let d = -622 - l. Is (-4)/20 - d/(-10) a composite number?
False
Let p = 1528 + -209. Is p a prime number?
True
Let t = 20 + -114. Let z = 173 + t. Is z prime?
True
Let l(n) = -n**2 + n - 1. Let m be l(0). Let c(j) = 80*j**2 - 1. Is c(m) a composite number?
False
Let m(v) = -4*v - 17. Let l be m(-19). Let c(h) = 23*h + 1. Let g be c(-1). Let q = g + l. Is q composite?
False
Is 46 + 3 + 1 + -3 a composite number?
False
Suppose 3*a + 0*a - 618 = 0. Let l = -93 + a. Is l composite?
False
Suppose -q + 5*q - 844 = 0. Is q prime?
True
Suppose 2*o + 115 = z, 0*o = 5*z - 5*o - 550. Suppose u - z = -0*u. Suppose -2*n + 7*n - u = 0. Is n a prime number?
False
Let n be 6/(-15) - (-22)/5. Suppose -5 = n*w + 5*v - 21, 32 = 4*w + v. Is (39/w)/(1/6) a prime number?
False
Le