mber?
True
Suppose 10*h = 28752 - 7022. Is h a composite number?
True
Suppose -3*t = -2*t - 2007. Suppose -2*z - 713 = -t. Is z a composite number?
False
Let x(d) = d**3 - 3*d**2 + d - 1. Let g be x(2). Let q = g + 8. Suppose -q*j - 3*l = -325, -5*l - 130 = -2*j - 2*l. Is j composite?
True
Suppose -5*r = -3*h + 3834, -h + 3*r + 0*r + 1282 = 0. Suppose 2*a - 3*u = h, 2*a = -4*u + 1396 - 102. Is a a composite number?
False
Suppose 33*t - 2483 = 32*t. Is t a composite number?
True
Let l(h) = -6*h. Let n be l(1). Is n/(-12) - (-157)/2 composite?
False
Suppose 3*q + 5*l = -q + 35, 2*q - 22 = -4*l. Suppose 0 = q*z - y - 710, -3*z + 7*z - y - 567 = 0. Is z a prime number?
False
Suppose 0 = v + 3*o - 1547 + 469, -5*o - 4329 = -4*v. Is v composite?
True
Let t = -26 + 13. Is (-5 + -5)*t/2 prime?
False
Suppose 0 = -2*l - 3*l + 2785. Suppose -88 = q - l. Is q a composite number?
True
Let b(l) = 252*l - 7. Let c be b(5). Suppose 0 = -2*s + o - 36 + 537, -c = -5*s + 2*o. Is s a prime number?
True
Suppose -31*t + 38*t - 9611 = 0. Suppose 0 = 2*h + o - 1212 - t, -2*o = 3*h - 3877. Is h composite?
True
Suppose 0 = -0*r + 3*r + 3*m - 9, 0 = 2*r - 4*m. Suppose -3*b = -15, 0 = r*c - 2*b - 815 - 217. Is c a composite number?
False
Let d(r) = 2*r + 1. Let v be d(4). Let h = v - 9. Suppose -4 = -2*j - 2*j, -y + 2*j + 131 = h. Is y composite?
True
Let v(j) = -1133*j + 18. Is v(-5) a prime number?
True
Let f(s) be the third derivative of 21*s**6/4 + s**5/30 - s**4/24 - 16*s**2. Let r(g) = -g**3 + 5*g**2 - 3*g - 3. Let a be r(4). Is f(a) prime?
True
Let x be -4 - (5 + -12 + -5). Let p(c) = 2*c**3 + 5*c**2 - 11*c + 3. Is p(x) prime?
True
Suppose 5*g = 2*u + 34589 - 5772, -3*g = -5*u - 17275. Is g composite?
True
Let k be 150/(-22) - (-6)/(-33). Let n(v) be the third derivative of v**5/60 + v**4/12 + v**3/3 - 3*v**2. Is n(k) a composite number?
False
Let j = -2 - -6. Suppose t + 556 = j*h - 188, 2*t = h - 179. Is h a composite number?
True
Suppose 4*n + 9 = 7*n. Suppose 2*l = l + 259. Suppose -932 = -n*t + l. Is t composite?
False
Let d(x) = -x**3 + 5*x**2 + 7*x - 1. Let c be d(6). Suppose c*n = 3*n + z + 111, 0 = n + 4*z - 51. Is n prime?
False
Let t be (-3)/(-8) + 33/(-24). Is -4 - (t*933)/3 prime?
True
Let w(a) = -11*a**3 - 17*a**2 - 54*a - 1. Is w(-5) a composite number?
True
Is 72777 + -34 - ((0 - 2) + 8) composite?
True
Let f(i) be the second derivative of -i**4/12 - 8*i**3/3 - 14*i**2 + 14*i. Is f(-13) a composite number?
False
Suppose -5*p + 2 = -2*m, -3 = m - 4*p + 1. Suppose -d - 4 = -5*k - 3, k = m*d + 80. Let l = -17 - d. Is l a prime number?
False
Let r = 17 + -10. Let k = -208 + r. Let h = -136 - k. Is h prime?
False
Let f(k) = 348*k + 73. Is f(6) a composite number?
False
Let z = 6 + -8. Is (-1835)/z + -5 + 36/8 composite?
True
Suppose k + 4*p - p + 33 = 0, 125 = -5*k - 5*p. Is (k/(-42))/(2/316) prime?
True
Let p(t) = 3*t**2 - 15*t + 11. Let y be p(-13). Suppose -4*o + 923 = -y. Is o composite?
False
Suppose -r = 3*r - 164. Is (7 + -9)*r/(-4)*46 a prime number?
False
Suppose -2*x + 6 = -0. Let c = 690 + 219. Suppose p = 2*o - 380 - 220, -3*o = x*p - c. Is o prime?
False
Let r be (0*(1 + -3 - -1))/(-2). Is 4 + 3 + (r + -3 - -2) a composite number?
True
Suppose -5*c + 4*t + 29653 = 0, 2*c - 3078 = 4*t + 8776. Is c a prime number?
False
Suppose -w + 416133 = -5*w - 3*y, -5*w - 520167 = 4*y. Is -2 - w/99 - 2/(-11) prime?
True
Is (-4 + 1034)/(-2 + 4) a composite number?
True
Suppose u - 4*j + 117911 = 2*u, -353733 = -3*u + 5*j. Is u a composite number?
False
Let k = 34 - 30. Suppose 4*d + k = 0, a - 3*a + d + 503 = 0. Is a a prime number?
True
Suppose 0*a - 5*a = -30. Is 982/3*a/4 a composite number?
False
Let n(f) = 2*f - 12. Let x be n(6). Suppose 3*l - r - 13 = x, -5*l = r + 2*r - 31. Suppose 0 = -3*y - 2 - 10, 0 = l*z + 4*y - 3459. Is z composite?
True
Let r be -1 + (-4)/(-2 - -6). Is 24 - (r + 3)*2 a composite number?
True
Suppose -5*y = 4*w - 1 - 7, -19 = -y + 5*w. Suppose -y*f - 3*j + 36 = -0*f, 3*j = 4*f - 36. Let t(i) = i**3 - 6*i**2 - 3*i + 7. Is t(f) a prime number?
True
Let h be 0 + (-9)/(-3) - -2389. Suppose -h - 5 = -3*v. Suppose 3*n - 795 = -4*q, 0 = -4*n + 2*q + 283 + v. Is n composite?
False
Let x = 6360 - 659. Is x a composite number?
False
Suppose -3*i - 11*d + 10*d = -2, 26 = 5*i - 4*d. Let j(c) = -54*c + 4. Let h be j(-3). Is (-1)/((i/h)/(-1)) composite?
False
Is 0 + -3 - (-3 + (-14092)/4) composite?
True
Let t(k) = -9*k - 5. Let z be t(-1). Let v(y) = 162*y**2 - 8*y + 3. Is v(z) a composite number?
True
Let u(o) = -5*o**2 - 2 + 5*o - 13*o**2 + 3 + 20*o**2 - o**3. Let n be u(3). Suppose -11*p + n*p = -228. Is p a composite number?
True
Let s(k) = k**3 - 4*k**2 - 18*k + 58. Is s(21) composite?
False
Let v(n) = -5095*n - 38. Is v(-1) a composite number?
True
Let r be 5/(-2)*(-2 - 0). Let l = 3 - r. Is (-12)/l*(-362)/(-12) composite?
False
Is (-2)/(5/(1058730/(-12))) a composite number?
False
Let z(k) = -64204*k - 213. Is z(-1) a composite number?
True
Is -1*7/(-14)*8098 a prime number?
True
Let h = -2720 + 6049. Is h prime?
True
Suppose 5*m + 3*m - 10264 = 0. Is m a composite number?
False
Is (-38746)/6*219/(-73) prime?
True
Suppose 3*b - 4*b - 744 = -2*c, -4*c + 740 = -b. Let x = -449 - b. Is x composite?
True
Suppose 13011 = 2*n - 3*b - 12038, -b = 3*n - 37546. Is n prime?
True
Let h = 133 - -321. Suppose 0 = -47*p + 49*p - 164. Suppose -4*o = -h + p. Is o prime?
False
Let v(f) = 85*f**2 + 87*f + 53. Is v(-20) composite?
True
Suppose 45*p - 175727 = 58588. Is p composite?
True
Let i = -106 + 140. Suppose -30*f + i*f - 1172 = 0. Is f prime?
True
Suppose -2*v + 9 = 3. Suppose -3*z = -5*z + 5*o - 29, -5*o + 36 = -v*z. Let i(l) = -l**3 - 3*l**2 - 7*l + 6. Is i(z) composite?
False
Let i(b) = 7*b**3 + 7*b**2 - 34*b - 3. Is i(16) composite?
False
Let c(z) = -3 + 0*z**3 + z**3 - 11*z + 19*z - 11*z + 11*z**2. Is c(-10) composite?
False
Let h(o) = 3*o - 10. Let y be h(5). Suppose 40 = y*p - 10. Suppose z + 5*l = p, 0*l + 2*l + 31 = z. Is z prime?
False
Let r(d) = -13*d + 3*d - d - 2 - 10*d. Is r(-1) a prime number?
True
Suppose -26 = 2*a - 36. Suppose 2*q + n - 168 = 775, -931 = -2*q - a*n. Is q composite?
True
Let b(k) = k**2 + k - 6. Let r be b(2). Let c(g) = -g**3 - g**2 - 2*g + 3029. Is c(r) prime?
False
Suppose 5*z - 5*o = 21761 + 32689, -2*z + 21775 = -3*o. Is z composite?
True
Suppose -5*t + 9638 = 2*h, -3*h - 5*t = -t - 14471. Is h a prime number?
False
Suppose -6 = 4*u - u + 3*v, 0 = -4*v - 16. Suppose -5*d = -2*m - 1908 - 1030, -3*d + 2946 = -u*m. Let w = m + 2672. Is w a prime number?
True
Is ((-199209)/(-15) + 5)/((-4)/(-10)) composite?
True
Let u(o) = o - 110*o**3 - 231*o**3 + 34*o**3 + o**2 - 5 - 4*o**2. Is u(-2) a prime number?
True
Let k(t) = 19*t**2 + 9*t + 7. Is k(12) prime?
True
Let t(f) = 2*f + 20. Let a be t(-10). Suppose -5*h + 46175 = -a*h. Is h a prime number?
False
Let q be 20/(-15) + 13/3. Suppose -q*a - a + 4*t = -588, 4*a = -4*t + 604. Is a prime?
True
Let b be (-118)/(-8)*(1 + 15). Suppose 3*j = 4*p + 168, -4*p - p - 237 = 3*j. Let f = b + p. Is f a composite number?
False
Suppose 12 = -4*f, f + 1535 = 4*g - 0*f. Suppose -839 = -2*r + g. Is r a composite number?
True
Let m(s) = s**2 - 3*s - 4. Let h be m(4). Suppose 3*z - 3*k - 3 = h, 0*k + 1 = k. Suppose -z*i - i + 111 = 0. Is i a prime number?
True
Let q be (-5 - -10) + (-1 - 2). Is (10*43)/q - 4 a composite number?
False
Suppose -108*y + 106*y = -1114. Is y a prime number?
True
Is 15184 - 209 - 6*(0 + 1) a composite number?
False
Let v(a) = 1569*a**3 - 3*a**2 - 2*a + 3. Is v(1) composite?
False
Suppose 0 = -3*x + 270 + 21. Suppose -2*u + x = -u. Is u composite?
False
Suppose -2*m + 113 - 1 = 0. Suppose 17 = -4*b - 5*s - 50, 0 = -2*b + 3*s - 17. Let k = m + b. Is k composite?
False
Let b(j) = -108*j**2 - 2*j + 1. Let o be b(1). Let g = 908 + -702. Let y = g + o. Is y prime?
True
Let x(m) = -67*m - 429. Let z be x(-32). Suppose 3*s - s = 44. Is z/55 + (-4)/s composite?
False
Let z = 11 - 9. Suppose -2*y = -h - 1, h - 1 = 4*y - z*h. Suppose 7*q = y*q + 605. Is q composite?
True
Let y be 15/25*-5 + 7*-1. Is 4/y - (2 + (-26929)/35) a composite number?
True
Let r(k) = -k**3 + 8*k**2 - 7*k + 4. Let t be r(7). Suppose 9*m = t*m. Suppose 4*j + q = 305, q = -2*j - m*q + 151