= -5*q. Suppose -2*m + q = -76. Is m prime?
True
Suppose 124*p = 133*p - 10035. Is p composite?
True
Suppose -q + 2*s + 0 = 5, 3*s + 3 = 5*q. Suppose 8*k - q*k = -2045. Let b = 791 + k. Is b a composite number?
True
Suppose -4*v - n + 55535 = 0, -3*v + 46322 = 4*n + 4661. Is v a composite number?
False
Let v(f) = 6*f**2 + 11*f + 67. Is v(-10) a prime number?
True
Let r be 1*0/(-4) - -5. Suppose -r*q - 2*w = -4*w - 665, -126 = -q - w. Is q composite?
False
Let d be (-20)/15*(-9)/6. Let v be (4 - -747) + 4/d. Suppose p - v = -2*p. Is p a composite number?
False
Suppose 3*m = h + 36, -5*m - h = -0*h - 60. Is m/18*(-1758)/(-4) composite?
False
Let o(u) = 73*u - 94. Is o(21) a prime number?
True
Let d = -13504 + 26085. Is d prime?
False
Let g(b) = 33*b - 6. Let m be g(-2). Is 16/m - 16582/(-18) composite?
True
Let s(j) = j**2. Let x be s(-3). Let z(k) = 1 - 22 + 25*k - 6 + 5 - 10*k. Is z(x) a composite number?
False
Is 1157*13 - (23 - (38 - 19)) composite?
True
Let t be (12/10)/((-14)/35) - 8. Is (t + 2062)*1/1 prime?
False
Suppose -1748 = 22*m - 220802. Is m composite?
True
Let q = -16787 - -27540. Is q prime?
True
Is (11552 - 36/(-6))/((-2)/(-1)) a composite number?
False
Suppose -4*q + 7 + 5 = 0. Suppose -20 = 3*r + 2*r, q*f + 3*r = 342. Suppose a + a - 4*m = f, -24 = -a - 5*m. Is a a prime number?
False
Let m(c) = 39*c + 3. Suppose 0 = -8*u + 5*u + 12. Is m(u) a prime number?
False
Let a(y) = 2*y + 14. Let s be a(-6). Let i be ((-2)/(-3))/(s/(-24)). Is 811/4 + (-2)/i composite?
True
Let s(d) = 3*d + 38. Let p be s(-13). Suppose -3*c - 20 = 2*c. Let q = p - c. Is q composite?
False
Let h(q) = 2*q**3 + 6 - 5*q**3 - 2*q + 5*q**2 + 0*q**2. Let t be h(-8). Suppose -5*r + t = -157. Is r a prime number?
False
Suppose 6 = 3*u + 3*j, 3*u - 6*u + 5*j = -14. Suppose 0 = u*v + v. Suppose -4*t + 202 - 30 = v. Is t composite?
False
Let t(k) be the second derivative of k**4/2 + k**3 - 7*k**2/2 + 10*k. Is t(7) a prime number?
False
Let d(c) = c**3 - c**2 - 7*c. Let p be d(3). Is 169 + -1 + 3/p a composite number?
False
Suppose -2*j + j + 383 = 0. Suppose 3*h + 135 = 4*f - 3*f, -3*f - 2*h + j = 0. Let w = 194 - f. Is w composite?
True
Suppose 0*v + v - 3 = 0. Suppose -v*j = 2*j - 10. Suppose c + w = -0 + 22, j*w - 23 = -c. Is c a composite number?
True
Suppose 0 = 2*x + o - 123678, -o = 4*x - x - 185515. Is x composite?
False
Suppose 2*c - 64 = -4*g, 5*c + 3*g - 192 = g. Suppose -4*z + c = -188. Is z a prime number?
False
Let o(d) = -19*d - 24. Let n be o(12). Let l = 55 - n. Is l composite?
False
Suppose 5*f - 2*y = 584, 4*y = 5*f - 254 - 324. Suppose f = 5*z - 147. Is z a composite number?
False
Suppose 0 = -4*a - l - 4*l + 10326, 2*l = -5*a + 12899. Is a composite?
False
Let m(b) = -b**3 + 12*b**2 - 11*b + 13. Suppose -3*k + 14 + 25 = 0. Let r be (2 + k)/3 + 4. Is m(r) prime?
True
Let y be (14/42)/(2/18). Let t(g) = 18*g**2 - g + y*g + 4*g - 3*g + 4. Is t(-5) a prime number?
True
Let u(x) be the third derivative of 0 - 1/20*x**5 - x**2 + 0*x + 1/40*x**6 - 1/6*x**3 + 1/6*x**4. Is u(5) composite?
True
Let v be (-1)/((-272)/90 + 3). Let s be (v - -5)*(-1)/(-1). Suppose 7*t - 9*t = -s. Is t a composite number?
True
Is 3368/9 + -1 + 8/(-36) prime?
True
Let l(t) = t**3 - t**2 - t + 331. Let s be 0*(-3 + (-3 - 13/(-2))). Is l(s) a composite number?
False
Let t = 29472 + -20659. Suppose -4*z - 3*z + t = 0. Is z prime?
True
Let b(c) = -c - 1. Let m be b(-3). Suppose 1575 = -5*k + 5*n, 0 = m*k - 0*n + n + 621. Is 2 + -1 + k/(-6) composite?
False
Suppose 5*d = 1829 + 1446. Suppose -h - d = -5*s - 4999, -5*h + 21746 = s. Is h a composite number?
False
Let s(i) = 56*i**2 - 42*i - 31. Is s(13) prime?
True
Suppose 0 = g - 6*g + 65. Suppose -g = 3*k + 5. Is (-1766)/k + 2/3 a composite number?
True
Let i = 19960 - 12131. Is i a prime number?
True
Suppose 0 = h - 5 + 3. Suppose -h*d = -5*d + 615. Is d prime?
False
Let j = 17 - 14. Let z = 6 - j. Suppose -3*o + 331 = 2*p, 0*p + 219 = 2*o + z*p. Is o composite?
True
Suppose -4*n + g + 19 = 5, n - 3*g - 9 = 0. Suppose 0 = -0*j + 5*j - 2*r - 7677, -n*j - r = -4615. Is j composite?
True
Suppose -521*i + 512*i + 245943 = 0. Is i a composite number?
True
Let i(n) = 5*n**3 - 8*n**2 + 10*n - 30. Let v(h) = -h**3 - h**2. Let p(j) = i(j) + 3*v(j). Is p(7) prime?
False
Is 37186/(63/7 + -7) a composite number?
False
Let g(p) = p**2 + p + 1. Suppose 2*i = -2*d + 5*d + 121, -4*d - 53 = -i. Let z be i/9 + 4/(-18). Is g(z) prime?
False
Let x(g) = 3*g**2 + 2. Let s be x(-2). Let z = s + -9. Suppose -z*o = -187 - 28. Is o a prime number?
True
Let a be (-5)/(-4)*(19 + 9). Let h be 2/7 + 1355/a. Suppose 3*s - 150 = -h. Is s a composite number?
False
Let u(m) = -m**2 + 3*m + 6. Let t(b) = -2*b**2 - 15*b - 2. Let a be t(-7). Let q be u(a). Is (-205)/q + (-2)/8 a prime number?
False
Let a be 18/2 - -4 - -3. Is 3/4 + 212/a a composite number?
True
Suppose -1016 = -u + 1319. Is u a prime number?
False
Let h be 84/10 - 2/5. Suppose 3*r = -5*o - 4, -2*r - h + 0 = -2*o. Is (54 - (-6)/r)/2 a prime number?
False
Let a(h) = h**3 - 7*h**2 + 4*h + 4. Let m be a(6). Let c be (8/m)/((-2)/12). Is 447/c - 1/2 prime?
False
Let f(u) = -48*u**2 - u - 5. Let g(c) = 49*c**2 + 5. Let y(t) = -4*f(t) - 3*g(t). Is y(-2) prime?
False
Let f = 104588 - 42127. Is f a prime number?
False
Let f(q) = 2*q**3 - 17*q**2 - 7*q - 34. Is f(16) prime?
False
Suppose 5*a - 28 = -z - z, 32 = 3*a + 5*z. Suppose -2*h - 4*u = -1458, a*u - 729 = -h - 0*u. Let k = -436 + h. Is k prime?
True
Let d be 3*-4 - (-4 + 0). Let n(x) = -x**2 - 8*x + 3. Let v be n(d). Is (v + 4490/15)*3 a composite number?
False
Suppose -4*x - 5*f = -29496, -33012 + 3548 = -4*x + 3*f. Is x prime?
True
Let m be -20 - ((-8)/(-4) + 2). Let d be (-5)/((-60)/(-16))*m. Suppose l + 1 = d. Is l a prime number?
True
Suppose 22*b = 16*b + 16098. Is b a composite number?
False
Suppose r + 2*j - 25 = 4*j, 4*r = 5*j + 112. Let m = r + -28. Suppose -2*p + y + 39 = 0, m*p = -2*y + 6*y + 99. Is p a prime number?
True
Let q = 36 + -9. Let f be (q/(-6) + 3)*-2. Suppose -f*n + 606 = 4*d - 245, 4*n - 229 = -d. Is d a composite number?
True
Suppose 5*t - n - 6248 = -4*n, 0 = -4*n + 4. Is t a composite number?
False
Suppose v - 7059 = -5*c, 18*v - 22*v + 28266 = 5*c. Is v a prime number?
True
Let v(x) = 7*x**2 - 7*x - 7. Let j be v(-4). Let t = 282 - j. Suppose 139 = q + 4*y, -4*q - y + 422 + t = 0. Is q prime?
False
Is 1615*18074/245 + (-2)/(-14) prime?
False
Is (18/3)/(32060/10684 + -3) composite?
True
Let l(t) = t**2 - 10*t - 12. Let f be l(11). Is 5 + f + (1 - -6 - -882) a composite number?
True
Suppose u - 3*j - 2149 = 0, -5*u - j = -5*j - 10767. Is u composite?
True
Let f = 6 - 19. Let i(z) = -27*z - 2. Let v be i(f). Suppose -3*j - 3*s + v = -1541, -5*j + 3152 = 3*s. Is j prime?
True
Let m(d) = -d**3 - d**2 + 4*d + 13753. Is m(0) composite?
True
Suppose 7006 + 629 = 3*h. Is h prime?
False
Let w be (-76)/(-18) + 8/(-36). Let o(b) = w*b + 3*b - 13 + b**2 - b - 2*b. Is o(10) prime?
True
Suppose -12*t - 3241 = -19*t. Let b = 686 - t. Is b composite?
False
Let a(b) = 10*b**2 - 40*b + 27. Is a(17) prime?
True
Suppose 0 = 21*n - 22*n - 1937. Is (n/26)/(2/(-92)) a composite number?
True
Let h(l) = 15*l**2 + 6*l - 8. Let n(b) = -b**3 - 11*b**2 + 10*b - 17. Let t be n(-12). Is h(t) prime?
True
Suppose -12*s - 19233 = -144357. Is s prime?
True
Let b(j) = -137*j**3 + 8*j**2 - j + 1. Let t(g) = -138*g**3 + 7*g**2 - g + 1. Let i(x) = 6*b(x) - 7*t(x). Suppose -6*c + 4 = -2*c. Is i(c) composite?
True
Suppose -3*m = -5*m - 438. Suppose 3*o + 964 = p, -p = o + 314 + 10. Let d = m - o. Is d a composite number?
False
Let g(o) = -58*o**3 - o**2 + 7*o - 7. Is g(-6) a composite number?
True
Suppose -4*x = 4*m - 16, -5*m - 2*x + 20 = 2*x. Let w be m - 2*3651/(-6). Let v = -458 + w. Is v prime?
False
Suppose -19 = -7*s - 5. Suppose 0 = -s*t + t + 487. Suppose -7*f + 6*f + t = 0. Is f prime?
True
Let y(d) = 1020*d**3 - 3*d**2 - 18*d + 50. Is y(3) a prime number?
True
Let y be (-121)/(-6) + 2/(-12). Suppose -2*k + 15 = 3*p, 0 = -4*k - k + 4*p - y. Suppose 2*c - 502 = 3*j, 5*c - 2*j + 0*j - 1277 = k. Is c a prime number?
True
Let s(h) = h**3 + h**2 + 4. Let g be s(0). Suppose 4*c + 2*m - 1322 = g*m, -4*c + m = -1319. Is c composite?
True
Let r = 50 - 66. Is