omposite number?
True
Let k = 4 + -40. Let x = k + 73. Is x a composite number?
False
Suppose 0 = 2*t - 3*y - 11577, -2*t - 3997 = 5*y - 15598. Is t prime?
False
Is (-104455)/(-15)*39/13 prime?
False
Suppose -12 = 2*z - 2. Is (-3033)/3*z/15 a composite number?
False
Is (-1)/(-8 + 562630/70330) composite?
True
Let k(l) = 154*l - 3. Let m = -5 + 8. Let c be k(m). Suppose -5*z - 14 = -c. Is z a prime number?
True
Is (0 - (-4)/22) + (-101497158)/(-4334) composite?
True
Suppose -50*l - 214670 = -60*l. Is l prime?
True
Is (3650 - -2) + (-11 + -24)/(-5) prime?
True
Suppose -429287 = -7*t - 95926. Is t a prime number?
True
Let o(u) = 29764*u**3 + 6*u**2 + 8*u - 19. Is o(2) a composite number?
True
Let z(y) be the first derivative of y**5/30 - 5*y**4/8 + 5*y**3/6 + 3*y**2 + 9. Let g(j) be the second derivative of z(j). Is g(-12) composite?
True
Suppose k + o = 2362 + 60, 4*o = -3*k + 7262. Is k composite?
True
Suppose 0 = 1042*k - 1043*k + 40601. Is k composite?
True
Let w = -35 + 39. Is 15/20*w*926/2 a composite number?
True
Let m(b) = -b**3 - 8*b**2 - 10*b - 4. Suppose -4*h = 16, -2*r + 0*h + 2*h = 8. Let p be m(r). Let o = p - -51. Is o prime?
True
Let v(z) = 1634*z + 2. Let r be v(-2). Let i = r - -8721. Is i a composite number?
True
Let f = -4621 - -7044. Is f prime?
True
Let l = 41087 + -24053. Suppose -30*i = -24*i - l. Is i prime?
False
Let z = 30 - 43. Let h = -7 - z. Suppose 0 = -5*t - 4*m + 343, -3*m = -2*t + h*t - 274. Is t prime?
True
Suppose 3*r = 3 + 12. Suppose r*g - 3*x - 9022 = g, 2*x = -2*g + 4504. Is (-3 - 1) + g/14 prime?
True
Suppose -4588 = -x + 3*w, -2*w = -3*x + 5*x - 9136. Is x composite?
True
Suppose -10*n + 7831 = -7279. Is n a prime number?
True
Let q = 19 - -437. Let d = q + -321. Let c = d - -276. Is c a prime number?
False
Let g(f) = -3*f - 10. Let y be g(-6). Is y/36 + 2984/18 prime?
False
Let c = 8062 - 4711. Let q be (-6)/(-36) + c/(-18). Let z = -109 - q. Is z a prime number?
False
Is (12 - 1366)/((-4)/6) prime?
False
Let n = -46 - -56. Is 3732/8 - (-5)/n a prime number?
True
Suppose 4*p = -2*g + 2, 0 = 4*g - 4*p - 27 - 1. Suppose 0 = -0*u + u - a - 8, u - g*a - 20 = 0. Suppose 1482 = u*h - 973. Is h prime?
True
Suppose -q + 2*q - 4 = 0. Suppose -3*l + 2015 = 2*l - q*f, 5*l - 2010 = 5*f. Is l composite?
True
Let g = -91921 - -211884. Is g a composite number?
False
Suppose -3*n - 15 = g, n + 0*g + 9 = g. Let q be 1/(-1) - (259 + n). Is 13/(-26)*q/1 a prime number?
True
Is 2479*(-8 + 4 + 5) prime?
False
Let j = 1134 + -1977. Let z = 1522 + j. Is z composite?
True
Suppose -4*d + 7*d = 9. Suppose 0 = 2*o - 0*v + v - 24, d*o + 3*v - 33 = 0. Is o prime?
True
Let m be ((-1)/(-2))/(10/40). Is 21876/(-8)*m/(-3) composite?
False
Suppose -26*o + 18*o = -140152. Is o a composite number?
False
Let h = 42 - 37. Suppose -2659 - 396 = -h*w. Is w composite?
True
Is (-653156)/(-32) + 246/(-48) + 5 composite?
False
Suppose -9*l + 2*l - 364 = 0. Is (-4511)/l*(-12)/(-3) composite?
False
Suppose -6*u + 4*u = -2*l - 60, 3*l + 85 = 2*u. Is (-473)/(-5) + 15/l a prime number?
False
Suppose 2*r + 20 = 6*r. Let d be 3559/r + 4/20. Let b = d - 357. Is b a composite number?
True
Suppose -4*p + 55505 = -28*x + 31*x, 0 = -x - 6*p + 18511. Is x a prime number?
False
Suppose -4*z + 0*z = -16. Let n(k) = 5 + 116*k - 4 - z. Is n(1) prime?
True
Let h(s) = 2*s + 1. Let a(c) = -c**3 + 8*c**2 - 7*c + 1. Let d be a(7). Let g be h(d). Suppose 19 = g*l - 2*l. Is l a prime number?
True
Suppose -4*j = 5*n + 6745 - 22256, 12408 = 4*n + 4*j. Is n prime?
False
Let d be 3/4 + (-34)/(-8). Suppose -b - d*h = -98 - 304, -b = -h - 372. Let n = b + -216. Is n a prime number?
False
Suppose 59*i - 55*i - 144916 = 0. Is i a composite number?
False
Suppose -3*m + 4998 = -819. Is m a composite number?
True
Suppose 3*k - 2 = 2*k, 4*o - 3*k - 91058 = 0. Is o a prime number?
False
Let x be -3*(-20)/(-15) + 6. Suppose 9134 - 400 = x*f. Is f a prime number?
False
Suppose 2*u = 0, 2*u = h + 3*u - 46. Let v(s) = -s**2 + 6*s + 3. Let o be v(6). Suppose 0 = o*m - 547 + h. Is m prime?
True
Let l = 870 + -553. Is l prime?
True
Let i(d) = 2*d**2 + 8*d + 3. Let g(k) = 4*k**2 + 16*k + 7. Let p(t) = -2*g(t) + 5*i(t). Let j be p(-10). Let v = j + -68. Is v prime?
True
Let p = -15839 - -28200. Is p a prime number?
False
Let k(a) = -a**3 + 68*a**2 + 36*a - 170. Is k(31) a composite number?
True
Let f(k) = 24*k + 193. Is f(23) composite?
True
Suppose 8362 + 1548 = 5*p. Suppose 5*k + p = 7*k. Is k a prime number?
True
Let d = -38 - -41. Suppose 3*v + 3*n - 1644 = 0, 3*v - n = -d*n + 1647. Is v a prime number?
False
Let q = 12 - 8. Suppose -p + 27 = -q*p. Let f(n) = -2*n + 17. Is f(p) a composite number?
True
Suppose 0 = -3*a + 5*z + 736, 3*z = 2*a + 5*z - 496. Suppose 572 = 9*s - a. Is s a prime number?
False
Let d = 81 - 61. Suppose 0 = 5*s - 5*w - 3151 - 2679, 4*w - d = 0. Is s composite?
False
Suppose -3*i + 15547 = -4*z, 5*z - 11564 - 9217 = -4*i. Is i composite?
False
Let v be -347 - -12 - (-1 - -2). Let b = v + 593. Let n = -58 + b. Is n composite?
False
Let u(a) = -17*a + 15. Let y(v) = 5*v - 34. Let w be y(4). Is u(w) a composite number?
True
Suppose 2*q + 21406 = 4*g, -5*q - 6523 = -5*g + 20237. Is g a prime number?
True
Is -8 + (1570 - (2 + 1)) prime?
True
Let a be (-5)/((0 - -2)/(-2)). Suppose -5*b = a*o, -5*b + 4 = -4*b + 3*o. Let m = b + 8. Is m composite?
True
Suppose 106*d - 141740 = 86*d. Is d prime?
False
Let d(s) = 7*s**2 - 3*s - 57. Is d(-10) a composite number?
False
Let c(m) = m**2 + 5*m - 3. Let v be c(-6). Suppose 463 - 55 = v*l. Let a = l + 73. Is a a composite number?
True
Is -2 - ((-14)/(-4))/((-4)/21656) prime?
True
Let u = 10562 - 1073. Is u a composite number?
True
Suppose 0 = -6*r - 0*r + 3720. Suppose -r = -8*d + 1516. Is d a prime number?
False
Let v(i) = -459*i - 88. Is v(-5) prime?
True
Suppose -r = 133 + 237. Let f = r - -555. Is f prime?
False
Let q(f) = f**3 - f**2 - 3*f + 3. Let x be q(0). Suppose 0*v = -d + 2*v + 891, -d = x*v - 916. Is d a composite number?
True
Let s(o) = -741*o + 647. Is s(-6) prime?
False
Suppose 4*o = 13 - 5. Suppose -o*t + 2*l = -3*t + 75, -3*t + 210 = 3*l. Let g = t + -19. Is g a prime number?
False
Suppose 5*d = 3*o + 59, 0 = -5*o - d + 32 - 177. Let c = 59 + o. Is c a composite number?
False
Suppose 5*s + 0*q - 2*q - 20 = 0, 27 = s - 5*q. Let x(k) = -7*k**2 + 9*k - k**3 + 0*k**s + 8 + 0*k**2. Is x(-9) prime?
True
Suppose -2385 = 84*g - 79*g. Let x = 886 + g. Is x composite?
False
Let h = 943 + -288. Let c be (-4)/6 + (-44)/(-12). Suppose -c*k + h = -566. Is k a composite number?
True
Suppose 65 = -8*l + 161. Suppose -271 - 2813 = -l*t. Is t a composite number?
False
Let v(r) = 6*r - 28. Let q be v(4). Is (-3)/q - (15197/4)/(-13) prime?
True
Suppose -3*g = 2*x - 21, 3*g - 2*g = -x + 10. Suppose 3*h = -7 - 2, 3*l + 3*h = -x. Suppose 5*c - 225 - 50 = l. Is c composite?
True
Is (72/9 + -7)*(43759 + 0) composite?
False
Let h(d) = d**3 + 58*d**2 - 13*d - 117. Is h(-35) a composite number?
False
Let d be 2 + 6 - -3*1. Suppose -13 = -3*n + d. Is 3/(-4) - (-2462)/n a prime number?
True
Suppose 8 - 116 = -2*v. Let o = 791 - v. Is o a composite number?
True
Suppose -h = -4*h + 297. Suppose 4*s = -5*j + 220, -2*s + 3*j = -h - 33. Let b = s + 131. Is b composite?
False
Let x(y) = -596*y + 1. Let i be x(1). Let w = i + 1416. Is w a composite number?
False
Suppose 252 = 3*o - 81. Suppose 0 = -o*n + 115*n - 844. Is n a composite number?
False
Is -35*(1 - 110672/40) a composite number?
True
Let u = 3679 + 6076. Suppose -9*h + u - 1934 = 0. Is h a prime number?
False
Let v(t) = t**3 - 7*t**2 - 6*t - 4. Suppose -11 = -2*z + 9. Let n be v(z). Let h = n - -246. Is h composite?
True
Let y(b) = b**3 - 6*b**2 + 2*b - 10. Let v be y(6). Let o(n) = 2*n**2 + 7*n + 8. Let a be o(-7). Suppose -a = t - v*t. Is t composite?
True
Let s = 9 - 5. Suppose p + r + 2*r = 8, -s*p = -4*r. Suppose p*y = 2*w + 38, 2*y - 3*y + 19 = w. Is y prime?
True
Suppose 76 - 76 = -3*l. Suppose -h - 25067 = -5*c + 14209, l = 3*h + 3. Is c a prime number?
False
Let q = 176 - -1295. Is q prime?
True
Let y(v) = 4*v**2 + 8*v + 9. Suppose -3*c - 2*c = 2*q + 10, 4*q = 4*c - 20. Suppose 2*u = -d - 19 - c, 0 = -d - 5. Is y(u) composite?
False
Let c(g) = 34*g**3 - 18*g**2 - 11*g + 9. Let