h = 848 - r. Is h a composite number?
True
Let h = 2 + 3. Suppose 291 = -h*v + 866. Is v a composite number?
True
Suppose -a + 4*a - 231 = 0. Is a prime?
False
Suppose 2*o - 6 = 4. Let i be o/((-5)/3) + -369. Let s = i + 521. Is s prime?
True
Suppose -5*r - 301 = -2*l, -3*l - 5*r + r = -417. Is l a composite number?
True
Suppose 3*i = 3250 - 7. Is i a prime number?
False
Let j = -4577 + 6892. Is j a composite number?
True
Suppose -5*b - 167 = -u - 620, -4*u = 3*b - 258. Suppose 0 = 5*a - q - 1061 + b, a - 3*q - 197 = 0. Is a a prime number?
False
Suppose 20*w = 24*w - 13372. Is w composite?
False
Suppose 4*d = -y - d + 3, 4*d - 15 = y. Is (7 + -2)/((-1)/y) a prime number?
False
Let p(v) = -3*v**3 - 1. Let f be p(1). Let s be 4*(-38)/f + 1. Suppose 0*u = -3*u + s. Is u a composite number?
False
Let s = 1728 - 975. Is s a prime number?
False
Let d be (-96)/(-42) + (-2)/7. Let s = 3 - d. Is (s - 3) + 128 + 5 a composite number?
False
Suppose -3*y + 5 = -2*i + 1, 4*i - 12 = y. Is 131/y + (-2)/(-8) a prime number?
False
Suppose 2199 - 7716 = -9*r. Is r a composite number?
False
Let j be 0/(1 + 2) + -3. Let z(k) = -k**3 - 4*k**2 - k - 1. Let t be z(j). Let o(y) = 2*y**2 + y - 6. Is o(t) a composite number?
True
Let i = 25 - 11. Suppose -g - 5 - 2 = 0. Let l = i + g. Is l a prime number?
True
Suppose -4*s = -4*j - 10 - 42, 4*s - 51 = 3*j. Let b = s + 3. Let k = -9 + b. Is k prime?
False
Suppose 4*b - b - 5*a = -9, -5*b = 2*a - 16. Suppose -b*y + 6*y - 800 = 0. Let s = 345 - y. Is s composite?
True
Suppose 5 = 4*g - 3*g. Let b = 2 + g. Is b composite?
False
Let i = 3757 - 2562. Is i a prime number?
False
Suppose -o - 4*o + 14 = l, -5*l = 5*o - 10. Let a = 5 - l. Suppose 0 = -a*m + 3*m + 447. Is m composite?
False
Suppose j + 2*j = 0. Suppose j = -7*d + 3494 + 1189. Is d prime?
False
Is (-808)/(-6) - (-6)/(-9) a composite number?
True
Let q be 3231/6 - 2/4. Let c = q + -355. Is c a prime number?
False
Let t be (-55)/22*(-8)/10. Suppose -2*w = r - t*r - 186, 5*w + 2*r = 483. Is w a prime number?
False
Suppose -79 = -2*k + 23. Let f be (k/(-4))/((-4)/16). Suppose -t - 56 - 56 = -2*p, 0 = p + 2*t - f. Is p a composite number?
True
Let i = 707 - -856. Is i composite?
True
Let b(m) = 63*m**3 + m - 1. Let c be b(1). Let l = -112 + c. Let z = 84 + l. Is z a prime number?
False
Let c(z) = -664*z + 13. Is c(-6) a composite number?
True
Let m(c) = -c**3 + 4*c**2 + 4. Let u be m(4). Suppose -5*l = u*s - 112, 11 = s + 4*l - 6. Is s composite?
True
Let t be 2*7 - (-4 + 3). Let q be -86*(t/(-6) - -2). Suppose x - q = 48. Is x a composite number?
True
Let o be 4 + -2 + 5 - 0. Let g = o + -12. Let a(b) = -6*b - 5. Is a(g) prime?
False
Suppose -t - 925 = -6*t - l, -3*t = l - 555. Is t a composite number?
True
Let b be (6 - 2) + -2 - -1. Suppose x = b*x - 8. Suppose 2*k + 66 + 4 = 5*p, -3*p = -x*k - 42. Is p a composite number?
True
Suppose -670 = -4*i + 2*i. Is i prime?
False
Suppose 3*w - 127 = -5*s, -2*s - s - 5*w = -89. Suppose -s - 3 = -p. Is p a prime number?
False
Suppose -3*g - 1510 = -5*z + 2*g, -3*z + 911 = -2*g. Is z composite?
False
Let h be 21*2 + (1 - 3). Suppose h + 55 = 5*g. Suppose g + 11 = 2*i. Is i prime?
False
Suppose -7*d + 752 = -3*d + 3*u, d - 4*u - 169 = 0. Is d a prime number?
False
Let q be 1*-11 - (-4 + 2). Is (-6)/(-9) + (-291)/q a composite number?
True
Suppose 4*p - 1 = 2*r + 9, -r - p = -7. Let c be -2*-3*4/6. Is 87 - (-1 + r - c) prime?
True
Let h(i) = -i - 1. Let q(d) = 12*d + 8. Let y(k) = -10*h(k) - q(k). Let u(o) = 2*o**3 + 3*o**2 + o + 2. Let w be u(-2). Is y(w) prime?
False
Suppose i - 30 = -i. Is -1*i*(1 - 2) a prime number?
False
Let g = -3 - -3. Suppose g*i = 4*i - 140. Is i prime?
False
Suppose -5*z + i = -324 - 50, 4*z + 3*i = 303. Suppose -z - 129 = -4*t. Is t prime?
False
Suppose -3*n = 2*n - 10. Suppose -n*z + 140 = 2*z. Is (-14)/(-6)*(z - 2) a composite number?
True
Let q = -2492 - -4591. Is q a prime number?
True
Suppose 5*i = x + 26, 2*x - 5*i = -37 + 5. Let p(d) = 2*d**2 + 7*d - 8. Let k be p(x). Suppose -q - 3*m - 6 + 0 = 0, k = 3*q - m. Is q composite?
True
Suppose 4*l - 4 + 28 = 0. Let f = l + 11. Suppose f*i - 66 = 99. Is i a prime number?
False
Let g(l) be the third derivative of 0 + 1/3*l**4 - 1/120*l**6 - l**2 + 7/6*l**3 + 0*l - 1/15*l**5. Is g(-6) a composite number?
False
Suppose 6*a - 2225 = a + 2*w, 2*a - 3*w - 901 = 0. Let k = a + -190. Is k composite?
True
Let o(z) = 57*z**2 + 3*z + 31. Is o(6) prime?
False
Let a(d) = d + 3. Let y be a(-3). Suppose 3 = 3*j, 4*s + 0*s + j - 125 = y. Is s composite?
False
Suppose y - 8*y = -5803. Is y a prime number?
True
Let t = -1816 - -1258. Let o = t - -851. Is o prime?
True
Let z(g) = 84*g + 66*g + 0 + 1 - 2. Is z(1) composite?
False
Suppose 3*x - 7 = 2*x. Let n(t) = t**3 - 8*t**2 - 13*t + 12. Let l be n(10). Suppose 2*o - l = 4*j, -6*j + x*j - 137 = -4*o. Is o a prime number?
False
Suppose 3*a + 158 = 1031. Is a a composite number?
True
Suppose o - 1390 = -9*o. Is o a composite number?
False
Suppose -a + 4*r + 20 = 0, 0 = 5*a - 4*r - 47 + 11. Suppose -4*i - a = -0*i. Let h(d) = 37*d**2 - d - 1. Is h(i) a composite number?
False
Suppose -3*d + 2*c + 2073 = 0, -5*d + 2*c + 708 = -2747. Is d a composite number?
False
Let x(w) = -w + 1. Let d be x(1). Let t = d - -2. Is 77*((2 - 3) + t) a composite number?
True
Let o = -8 + 11. Suppose -q + 4*g + 696 = o*q, q + 2*g - 186 = 0. Is q composite?
True
Let a(j) be the second derivative of -3*j**5/20 - j**4/12 - j**3/6 + j**2/2 - j. Let u be a(1). Is u*2/(8/(-33)) composite?
True
Let n be (-4)/(-10) + 12912/(-80). Let p = n + 318. Is p a composite number?
False
Let u = -6 + 9. Suppose -5*c = -2*s - u*s - 35, 0 = 3*c - 5*s - 13. Is c prime?
True
Let w be (52/6)/(3/(-9)). Let n be (-8)/16 + 95/2. Let v = n + w. Is v a prime number?
False
Suppose 20 = m - 269. Is m composite?
True
Let f be 0/(-1)*(-3)/6. Suppose 14 = a - f*a. Suppose -11 - a = -j. Is j a prime number?
False
Let h = 288 + -131. Is h prime?
True
Suppose -4*p + 2*s + 3*s - 10 = 0, 4*p + 3*s - 6 = 0. Let f = p + -9. Is (-6)/f - (-206)/6 a prime number?
False
Let o(f) = f**3 - 4*f**2 + 7*f - 1. Let n(m) = -m**2. Let c(b) = -4*n(b) - o(b). Let j be c(7). Is (-1*(-4 + 1))/j a prime number?
True
Suppose 30 = -3*g - 0*g. Let n = 3 + g. Is (-3 + n/(-2))*76 prime?
False
Let t(f) = -f**2 + 4*f + 1. Let g be t(3). Let j = g + -1. Suppose 2*n = -l + 2*l - 81, -249 = -3*l + j*n. Is l prime?
False
Suppose 2*c - 20 = 6*c. Let v = c + 6. Is -2 + v - 1 - -33 prime?
True
Suppose -3*w = 2*w - 6985. Is w prime?
False
Suppose 4*a + 4*j - 2568 = 0, -3*a + 483 = 5*j - 1451. Let z = -447 + a. Is z prime?
True
Suppose -4*v = -9*v + 5. Let p(b) = 11*b - 1. Let q be p(v). Suppose m - 69 + q = 0. Is m composite?
False
Let r(b) = 27*b + 1. Is r(4) a composite number?
False
Suppose 0*y = -2*y. Let w(f) = f**2 - 6*f + 7. Let u be w(5). Suppose y = 5*q - u*q - 78. Is q a prime number?
False
Let l = 4683 - 742. Is l a composite number?
True
Suppose 3*h - 2*g = 2*g + 1239, 0 = -5*h - 3*g + 2036. Is h composite?
False
Suppose o + 99 = 2*r, -2*o + 152 = 3*r - 7*o. Suppose -3*i - 83 = -c, -5*i - 52 = -c + 85. Let h = i + r. Is h composite?
True
Let s be (3/9)/((-1)/(-1227)). Let d = 630 - s. Is d composite?
True
Let p(b) = -b**2 - 8*b - 10. Let j be p(-7). Suppose -4*r = -0*r - 20, 5*r = 2*s + 27. Is ((-89)/(-3))/(s/j) composite?
False
Is 2/(-4)*(5 + -139) prime?
True
Suppose 0 = p - 0*p + 462. Is p/(-35) + 1/(-5) composite?
False
Suppose 5*x + 172 - 708 = 3*o, o - 3*x + 172 = 0. Suppose 3*k - 18 = 5*k. Is o/k + 4/18 prime?
False
Let l be (-4)/(-3)*(2 - -43). Suppose p + 4*p = l. Is 2/8 + 465/p prime?
False
Let l be 39/(-26) - (-14)/4. Suppose -4*u + l*u = -422. Is u a composite number?
False
Suppose 0 = 3*n + 5*c - 633, 3*c + 809 = 4*n - 2*c. Suppose 0 = 4*k + 3*g - 899, 0*k - k = -3*g - n. Is k composite?
True
Let n(f) = -9*f - 2 + 9*f**2 + 2*f**2 - f**3 + 14. Is n(10) a composite number?
True
Let q(l) = -l + 2. Let a be q(-3). Suppose -3*b + 2*o + 78 = -b, a*b + 2*o = 223. Is b a prime number?
True
Let z(m) = m**2 + 3*m - 3. Is z(-13) a prime number?
True
Let h be (-29)/(-4) + 1/(-4). Suppose 2*r - 4*o = h*r - 3369, 2*o - 669 = -r. Is r composite?
False
Let d = 1 + 3. Suppose -d*m + 248 = -0*m. Sup