te?
True
Let h(a) = 87*a - 7. Is h(4) composite?
True
Suppose h + 5*d = 7, 3*d = -h + 5*h + 87. Is 2/12 + (-4191)/h prime?
True
Suppose 0 = -5*t - 6 + 1. Is ((2 - 5) + -94)*t a prime number?
True
Let h = 269 - 154. Is h a composite number?
True
Let a be -2*(0/3 - 2). Suppose a*w - 2*w - 26 = 0. Is w prime?
True
Suppose 2*g - 25 = -k + 156, 4*g - 736 = -4*k. Is k a composite number?
True
Let i = -744 + 1043. Suppose 2*d = 5*t - i, -t + 4*d = d - 65. Is t composite?
False
Suppose -3*b + 0 + 6 = 0. Suppose -b*p = -2*u - 132, 2*u - 136 = -p - p. Is p composite?
False
Let u = 6 + -1. Suppose 5*a + 2*n - 327 = 3*n, -u*n = -15. Suppose -2*b = b - a. Is b a prime number?
False
Let a(n) = -n**3 - n**2 - n + 5. Let l be a(0). Let q be (1 + 0)*(l + -2). Suppose 4*i = -0*u + 3*u - 30, -q*u + i = -21. Is u prime?
False
Suppose 4*f + 134 + 196 = 2*w, -f = -4*w + 100. Let q = 241 + f. Is q a composite number?
True
Let x be 4544/(-24) - 2/3. Let o = -121 - x. Is o composite?
True
Let h be 1/(-2) + (-1809)/(-2). Suppose 7*q - 3*q = h. Is q composite?
True
Let o(l) = 14*l - 15. Let h be 72/30*20/6. Is o(h) a composite number?
False
Suppose -37 = -g + 135. Let u = g + -31. Is u prime?
False
Let l(d) be the first derivative of d**3/3 + 7*d**2/2 + 2*d - 2. Let v be l(-7). Suppose v*h - h = j + 11, -h - 4*j = -31. Is h prime?
False
Suppose w - 3*p - 256 = 0, 4*w + 2*p - p = 1024. Let m = 389 - w. Is m composite?
True
Let j = -7 + 6. Let y(c) = -40*c**3 - c**2 + c + 1. Is y(j) a composite number?
True
Let s(r) = -r**3 + 2*r**2 + r. Let m be s(2). Let l(h) = -2*h**3 + 3*h**2 - 1. Let z be l(m). Let y(j) = -j**3 - 5*j**2 + 3. Is y(z) a composite number?
False
Let r(z) = z**2 - 1. Let k be r(-1). Suppose 2*a + k*a - 50 = 0. Is a a prime number?
False
Let z be (-3 - -2)*1 - -111. Let o = z - 25. Is o prime?
False
Let o be 1*2/4*4. Suppose -3*u + 53 = -o*u. Is u prime?
True
Let r be ((-8)/(-14))/(2/7). Suppose -r*d + 60 = -94. Is d prime?
False
Let b = 9 - 4. Suppose -23 = 3*y - 4*o - 181, -b*y - 5*o + 205 = 0. Is y prime?
False
Let w(i) = i**3 + 6*i**2 - 8*i - 8. Let a be w(-6). Let h = a + -19. Let v = 35 - h. Is v a composite number?
True
Let b be ((-2)/4)/((-2)/(-140)). Let s = b + 58. Is s a prime number?
True
Let s = 571 - 320. Is s composite?
False
Let s(p) be the second derivative of p**5/20 + p**4/6 - 11*p**3/6 + 17*p**2/2 + 3*p. Is s(7) composite?
True
Suppose -5*r + i - 8 + 29 = 0, 3*i + 13 = 5*r. Let c(v) = -3*v**2 + 2*v + 0*v**2 + 4*v**2. Is c(r) a prime number?
False
Is (4 - 0)*((-5723)/(-4) - -2) a composite number?
True
Let w(u) = -69*u**3 + 4*u**2 + 7*u + 3. Is w(-2) prime?
True
Suppose 4*z = 1 + 11. Suppose -z*m - 4*n + 422 = -m, -2*m + 449 = -5*n. Is m composite?
True
Let y(t) be the second derivative of t**5/20 + t**4 + t**3/3 - 6*t**2 - 3*t. Is y(-11) composite?
True
Let r(g) be the second derivative of 0 - 3*g - 1/3*g**3 - 1/2*g**2 + 11/12*g**4. Is r(2) prime?
False
Let r(t) = -t**2 - 10*t - 13. Let f be 1 + 7*(4 - 5). Is r(f) composite?
False
Let h(x) = -2*x**3 - 2*x**2 + 2*x + 11. Suppose -4*b - 19 = 1. Is h(b) a prime number?
False
Let c = -7 - -24. Is 3 + -1 + (c - -2) prime?
False
Let k(b) = b - 14. Let y be k(14). Is 57 - ((-5 - -3) + y) prime?
True
Let k be 2626/(-4) + (-6)/(-4). Is k/15*-1*3 a prime number?
True
Let g(q) = -4*q - 11. Let n be g(-9). Let t = n - 3. Is t a prime number?
False
Let t(i) = -i**2 - 1. Let a(m) = 5*m**2 + 2*m - 3. Let x(k) = -a(k) - 6*t(k). Let p(v) = -2*v**3 + v**2 + 3*v - 2. Let w be p(2). Is x(w) a prime number?
True
Let z = 36942 - 25895. Is z composite?
False
Let w(k) = -k**3 - 4*k**2 + 5*k + 5. Let x be w(-5). Suppose 229 = x*j + 54. Is j a prime number?
False
Let r = -8 - -8. Suppose r = 5*o - 16 + 6. Suppose z + o*y = 87, -z + 4*z = 3*y + 252. Is z prime?
False
Is 3 + 1/1*-1 + 932 a composite number?
True
Suppose 4*c = -3*x - 100 + 709, -603 = -4*c - x. Suppose 0 = -2*b + r - 167, 84 = -4*b + r - 245. Let m = b + c. Is m composite?
True
Suppose -5*h = -3*u - 232 + 59, 0 = 4*h - 5*u - 128. Is h prime?
True
Let p = -13 + 16. Suppose 4*a + 3*r - 568 = 0, p*r = r + 8. Is a a composite number?
False
Suppose 4*i - 4*j - 140 = 88, -5*i = 2*j - 257. Is i prime?
True
Suppose 4*l - 5*b - 1617 = 0, 3*l - 3*b = 2*b + 1214. Is l composite?
True
Suppose 3*d - 18 = -0*d. Suppose 4*a + k = 823, -a + 187 = d*k - 2*k. Let x = -148 + a. Is x prime?
True
Suppose -4*c = -5*j - 36, 36 = 4*c - 3*j - j. Is (42/c)/(2/33) a composite number?
True
Is 8/12*(-555)/(-10) a prime number?
True
Let i(u) = -u**2 + 6*u - 2. Is i(5) prime?
True
Let f be (-161)/5 + 1/5. Suppose 3*w = -4*a + 71 + 94, 0 = -5*w + a + 275. Let k = f + w. Is k a prime number?
True
Let d(p) = 2*p**2 - 3*p + 3. Let a be d(-3). Let h = a - 18. Suppose 2*m - h = 14. Is m prime?
True
Let i(q) = 0*q + 2*q**2 + 3*q + 1 - 3*q**2 - 4*q. Let r be i(-2). Is (-2 + 2 - r)*31 composite?
False
Suppose -4*h = 5*s + 16, -3*s - h - 12 = 2*h. Suppose -1276 = -3*g + y + 613, 3*g - 4*y - 1877 = s. Is g a composite number?
False
Let w(k) = 53*k + 4. Is w(11) a prime number?
True
Suppose -4*s + 280 = 2*f, 2*s = -5*f + 5*s + 765. Suppose 222 + f = 4*q. Is q a prime number?
False
Let z be 1 - (1 - 0/(-1)). Suppose 0 = -z*u + u - 191. Is u a composite number?
False
Let j(h) = 3 - 8 - 8*h + 21*h + 3. Is j(3) composite?
False
Let t = 3 - 3. Suppose -s - 4*i + 2 + 13 = 0, 4*s + i - 15 = t. Is (14/s)/((-6)/(-9)) composite?
False
Let x(z) = 116*z - 13. Is x(4) composite?
True
Suppose -2*k = -4*k - 44. Is 1*-26*253/k a prime number?
False
Suppose -7 = -d + 2*s, -2*s - s = 9. Let r be 0/3 + d - -1. Suppose 0 = b - 4*k - 131, 3*b + r*b = k + 579. Is b a composite number?
True
Suppose -3*g = y - 1235, 2*y + 2*g - 2624 = -162. Is y a prime number?
True
Suppose -3*v = -0*v + 6. Let j(q) = -41*q + 8*q - 21*q**3 - 3*q**2 + 17*q + 1 + 14*q. Is j(v) a prime number?
False
Let o(u) = -u**3 - 4*u**2 - 4*u + 4. Let r(p) = p**3 - 4*p**2 - 2*p + 3. Let c be r(4). Is o(c) a composite number?
True
Suppose -13 = a - 5*t + 17, 0 = a - t + 10. Let p = a - -7. Suppose -p*h + n = 3*n - 96, -2*h + 91 = -3*n. Is h a prime number?
True
Suppose 3*f - 2*f = 3. Let d(j) = j**3 - j**2 - 2*j - 1. Let n be d(-1). Is 0 - n - -10*f composite?
False
Suppose -5*w + 587 = -308. Is w a prime number?
True
Let q(c) = 5*c - 10. Is q(7) prime?
False
Let h = -10 + 20. Suppose 3*t + h + 31 = 2*d, -3*d = 2*t - 68. Let b = -3 + d. Is b a prime number?
True
Let v(a) be the first derivative of 17*a**3/3 - a**2 + a - 3. Let j be v(-2). Suppose -198 - 222 = -5*l + p, l + 2*p - j = 0. Is l prime?
True
Suppose 0*k + 362 = k - 3*h, h + 368 = k. Let a = -250 + k. Is a a composite number?
True
Suppose -5*b = 5 - 20. Suppose -7 = b*n - 2*n. Let v = n - -10. Is v prime?
True
Suppose -7*b + 8*b = -4*d + 513, -2*d = -4*b - 234. Is d composite?
False
Let d(u) = -u + 16. Let k(y) = 2*y + 1. Let a be k(2). Is d(a) a composite number?
False
Suppose 2*m = 3*m. Suppose 4*n = -n - o + 1316, -2*o + 2 = m. Is n a prime number?
True
Let v(n) = -4*n**3 + 5*n**3 + 9*n**2 + 0*n**3 - 7 + 8*n. Suppose -g + 11 + 18 = -4*p, 4*p - 2*g = -30. Is v(p) prime?
False
Let r = 1959 + 1340. Is r prime?
True
Let r(z) = z + 9. Let s be r(-9). Let a(o) = -o - 1. Let q be a(s). Is (3 + q)*7/2 a prime number?
True
Let p be -6*(58/(-4) + 1). Let l = 0 + 28. Let i = p - l. Is i a prime number?
True
Let y(f) = -26*f + 2. Let i(r) = 39*r - 3. Let o(z) = -5*i(z) - 8*y(z). Is o(6) a prime number?
False
Let c = 365 + 536. Is c a prime number?
False
Let c be (-4)/3*(-24)/16. Suppose -d = -3*d. Suppose -j + d*j = 5*a - 52, -c*j + 5*a + 149 = 0. Is j prime?
True
Suppose -11*i + 43 + 1266 = 0. Is i composite?
True
Is (-526*3/30)/(2/(-10)) prime?
True
Suppose 0 = -r + 4625 - 190. Is r a composite number?
True
Let n = 1255 - 814. Let z = n - 154. Is z prime?
False
Let f = -3 + 9. Suppose 0 = -4*d + f + 2. Is d a composite number?
False
Let g(f) = -1469*f - 4. Is g(-1) composite?
True
Is (4016/(-2))/4*(-2)/4 a composite number?
False
Suppose 14 = x - 4*p, p + 9 = 2*x + x. Suppose -x*t - 5*j - 80 = -5*t, -3*t + 130 = 5*j. Is t a prime number?
False
Is (-8592)/(-14) - ((-24)/21)/4 prime?
False
Let y = 108 + -43. Suppose 0 = k + y - 256. Is k prime?
True
Is (4 - 1) + 35 + -5 prime?
False
Let r(y