+ i a composite number?
True
Let h = 51 + -18. Is h a composite number?
True
Let m = -2 - -4. Suppose v - 95 = 4*y, m*y - 260 - 149 = -5*v. Suppose -2*l = -l - v. Is l a composite number?
False
Let f(m) be the first derivative of -4*m**3/3 - 15*m**2 + 24*m - 2. Let y(l) = -l**2 - 6*l + 5. Let k(a) = 2*f(a) - 11*y(a). Is k(-6) a prime number?
False
Let s be (0 + 1)*(-1 - -4). Let k(g) be the second derivative of -g**5/20 + g**4/3 + g**2/2 + g. Is k(s) a prime number?
False
Suppose -3*k = -0*k - 21. Is k prime?
True
Let m(o) = -2*o - 3. Suppose 5*i - 4*a + 38 = 0, -2*i + 12 = -5*i - 3*a. Let t be m(i). Suppose -2*p + 29 = -t. Is p a prime number?
True
Suppose -2*p + 0 = -10. Let z = 13 + 6. Suppose 5*r = -3*d + 27, 6*r + 4*d = p*r + z. Is r a prime number?
True
Let s = -872 - -1287. Is s prime?
False
Suppose 0 = -2*i - 0*i + 10. Suppose 4*g + 155 = i*h, -33 = -5*h - 2*g + 152. Is h a prime number?
False
Suppose 0 = -3*i - 0*i + 252. Is i/(-8)*10/(-3) a composite number?
True
Suppose -3*u - 497 = -2*x - 3130, 0 = 2*u - 2. Is (x/(-10))/((-1)/(-2)) prime?
True
Let h be (-12)/9*(-6)/4. Let d(l) = 107*l - 3. Is d(h) composite?
False
Suppose 0 = -2*f + 188 + 1346. Let i be (-1 + -2)*(1 + -2). Suppose k - 254 = -0*k - c, 2*c = -i*k + f. Is k a prime number?
False
Let g(s) be the third derivative of s**5/60 - s**4/6 - s**2. Is g(7) composite?
True
Suppose -r + 6*r = 10. Suppose 3*h - 6 = 0, -4*k + r*h - 10 = 10. Let q(y) = 2*y**2 - y + 1. Is q(k) composite?
False
Let i(y) = -56*y - 13. Is i(-4) composite?
False
Is 0 + (-1 - 1) - (-1868 + -1) composite?
False
Let v(u) = -u - 6. Let a be v(-6). Let o(k) = k**3 + k**2 - k + 263. Is o(a) composite?
False
Suppose t = -4*t + 50. Suppose -a - t = -3*a. Suppose 2*v - 5*v + 207 = 3*u, 2*u = -a*v + 138. Is u prime?
False
Let g(h) = -h**2 + 2*h. Let l be g(2). Suppose 4*b + l*u + u = 360, 0 = -4*b - 4*u + 372. Is b composite?
False
Suppose -5*u + 9 = -6. Suppose -4*x + 175 - u = 0. Let b = 80 - x. Is b composite?
False
Let i(u) = u**3 + 6*u**2 - 10*u - 9. Is i(-6) prime?
False
Suppose -3*h + 3731 = 4*h. Is h composite?
True
Let q(f) = f + 2. Let l be q(-2). Suppose 4*p - 8*p + 40 = -i, l = -2*p + i + 22. Is p a prime number?
False
Suppose -2*o = -7*o + 390. Suppose 0 = n - 5*n - 188. Let k = n + o. Is k a composite number?
False
Suppose -1 = b - 0*b. Let k be b/4 + (-762)/(-8). Let c = k + -58. Is c a prime number?
True
Suppose -3 = 3*c - 3*l + 24, 2*c - l = -15. Let u(n) = -2*n - 8. Let i be u(7). Is 21*(-2 + i/c) prime?
False
Let f(b) = b**3 - 7*b**2 + 2. Let y be f(7). Suppose -5*g - 4 = 5*h - 109, 3*h + y*g - 63 = 0. Is h a composite number?
True
Let q be (-74)/(-6) - 2/6. Suppose b = q + 191. Is b a composite number?
True
Let u(g) = -13*g**3 - 5*g**2 + 4*g + 1. Let s be u(3). Let h = 540 + s. Is h a composite number?
False
Let k = -307 + 642. Is k a prime number?
False
Let r(s) = 5*s + 2. Let i(k) = -11*k - 4. Let d(l) = 6*i(l) + 13*r(l). Let p be d(3). Is p - -21 - (1 + 0) a prime number?
True
Is 14/35 + (-483)/(-5) prime?
True
Let n = -74 - -105. Is n a composite number?
False
Is 3 - (2020/(-5) - 0) a prime number?
False
Let m(i) = i + 7. Let j be m(-5). Suppose j*y = 4*y. Suppose -59 + 169 = 4*w - 2*s, y = w + 4*s - 14. Is w composite?
True
Let t(x) = 5*x - 2*x**2 + 9 + 5*x**2 + 0*x**2. Is t(7) a composite number?
False
Let b(l) = 3*l - 3. Let r be b(2). Suppose -k = r*c - 0*k, -c = k. Is 2 + c + 1 + 16 a composite number?
False
Let o(w) = 3*w**3 + 7*w**2 - 3*w + 5. Is o(6) a prime number?
True
Let s(g) = -116*g**2 + g + 2. Let x be s(-2). Let n = 933 + x. Is n a composite number?
True
Is (538/(-4))/(6/(-12)) a prime number?
True
Is -3*(-1)/6 + 465/10 composite?
False
Suppose -6 = -4*f + 2. Is 1*2/(f/91) a composite number?
True
Let f = 62 + -59. Let u(v) = 13*v**2 + 1 + 5*v - 2*v + 0*v. Is u(f) prime?
True
Suppose 4*g = -y + 335, -4*y + 1355 = 4*g - 3*g. Is y prime?
False
Let t(n) = -195 - n - 4*n**2 + 23*n**2 + 196. Suppose 3*z + 4 = -2. Is t(z) prime?
True
Suppose -3*i - w - 1 = -3, 0 = w - 2. Suppose i*s + 267 = s. Is s a composite number?
True
Let f(r) = 3*r**3 - 3 - 5*r**3 + 10 + 3*r**3 + 10*r + 8*r**2. Is f(-6) a composite number?
False
Suppose 2*p - 4 = 5*h, 2*p = -4*h + h + 4. Let k(r) = r**2 + 5*r**2 - 2*r**2 + 5 + r + h*r**2. Is k(-6) prime?
False
Let d be (-2)/6*18/(-2). Suppose -2*a = y - 293, -y + 3*y = -d*a + 590. Is y prime?
False
Suppose -k - 14893 = -3*g - 5*k, -5*g + 24833 = k. Is g a prime number?
True
Let m(j) = 5*j**2 - 2*j**2 + 3*j - 4*j. Suppose 0 = -5*p + 8 + 2. Is m(p) a composite number?
True
Let d = -37 - -21. Let x = -2 + 4. Is (d/(-6))/x*3 a composite number?
True
Suppose 0*a = 2*a + 6, 0 = 4*g - a - 87. Let j = 64 - g. Let f = j - -42. Is f composite?
True
Suppose 0 = 4*z - 128 + 16. Is 3 + -2 + 4 + z composite?
True
Suppose -2*o - 657 = -1639. Is o a composite number?
False
Let c = -7 - -33. Let p = c - 13. Is p a prime number?
True
Suppose -3*m + 5*m - 6 = 0. Suppose 168 = 4*h - 5*q, 5*h - 62 = 3*h - m*q. Is h composite?
False
Let y(g) = 5*g**3 + 2*g**2 - 8*g - 7. Let v(o) = o**3 - o**2 + 1. Let c(t) = 3*v(t) - y(t). Is c(-5) a composite number?
True
Let f(k) = 0 + 812*k - 183*k + 1. Is f(2) a composite number?
False
Let l(d) = 256*d - 1. Let x(s) = -s. Let n(h) = -l(h) - 6*x(h). Is n(-3) composite?
False
Let q(u) be the first derivative of -39*u**2/2 + u + 2. Is q(-4) composite?
False
Let c be (-42)/(-8) + (-2)/8. Suppose c*y + 134 = 2*s, -316 = -2*s - 2*s - 2*y. Suppose 0 = 5*o - s - 93. Is o prime?
False
Let w(m) = 51*m**2 - 2*m + 43. Is w(6) composite?
False
Let o(z) = 7*z - 2*z**3 + 0*z**3 + 1 - 2 - 5*z**2. Is o(-5) prime?
True
Let o = 885 - 437. Let l be (2 - o/(-2))*1. Suppose -2*g + l = -0*g. Is g prime?
True
Let y(c) = 25*c**2 + 4*c - 3. Is y(4) a prime number?
False
Let d = 6 + 0. Suppose 1613 = d*b - 2197. Is b a composite number?
True
Suppose -4*f + 8 = -4. Is (f + (-2)/4)*10 composite?
True
Suppose 2 - 4 = -i. Let m(c) = c**2 + c**2 - 12*c - 3*c**2 + i. Is m(-7) prime?
True
Let d(c) = -2*c + 5. Let x be d(-5). Let h = x - -311. Is h a prime number?
False
Let o(g) = -7*g + 2. Let z(y) = 20*y - 6. Let m(i) = 17*o(i) + 6*z(i). Is m(5) composite?
False
Is (6/4)/((-6)/(-76)) a composite number?
False
Let k be (-4)/(-14) + (-255549)/49. Is (-4)/6 + k/(-15) a prime number?
True
Let g be 6/(-24) - (-51)/12. Suppose 33 = g*o + 4*a - 71, 3*o - 4*a - 113 = 0. Is o a composite number?
False
Let y(w) = w**3 + 7*w**2 - 4*w - 3. Is y(4) prime?
True
Suppose 0 = 2*f + 2*f + 224. Let d be (-2904)/f + 1/7. Suppose 0 = 4*z - 48 - d. Is z composite?
True
Suppose 0 = 2*o - 2*r - 132, -2*o + r + 129 = 2*r. Is o prime?
False
Let a be (28/(-12))/(2/(-60)). Suppose -78 = -4*f + a. Let s = f - 18. Is s prime?
True
Suppose 7 - 73 = c. Let b = 44 + c. Let n = b + 59. Is n a composite number?
False
Let c = 988 + 2125. Is c composite?
True
Let q(v) = -7*v**3 - 2*v**2 - 3*v - 3. Let p be 4/10 - (-34)/(-10). Let y be q(p). Suppose 3*d = 3*u + u - 134, 5*u + d - y = 0. Is u a composite number?
True
Let k = 6 + -1. Suppose k*a = -2*x + 42, 5*x - 3*a = a + 171. Is x prime?
True
Let t(c) = 1 + 0*c + 5*c + 10. Let a be t(-9). Let v = -11 - a. Is v prime?
True
Let n(x) be the second derivative of -4*x**3/3 - x**2 - 3*x. Is n(-6) prime?
False
Is (-14438)/(-14) - 26/91 prime?
True
Is (-1 - -5) + 19 + -4 prime?
True
Suppose 2*x - 381 - 577 = 0. Is x composite?
False
Suppose -2*a + 2*x + 0*x = -516, 0 = 4*a - 5*x - 1027. Is a a prime number?
True
Let l(u) = 6*u - 5*u + 17*u**2 - 3*u + 9 - u. Is l(5) a prime number?
True
Suppose 2*r - 1 = 1. Suppose 3*k - r = 8. Suppose 4*g - 37 = k*g. Is g composite?
False
Let m be 6/(-1 + 3) - -67. Suppose 0 = 4*p - 3*p - n - m, -2*n - 282 = -4*p. Is p prime?
True
Let t = -1 + -5. Let x(v) = v**2 + 6*v - 1. Let c be x(t). Is ((-8)/(-24))/(c/(-231)) a composite number?
True
Suppose 0 = 5*d + 4*b - 139 - 83, -240 = -5*d + 5*b. Is d a composite number?
True
Suppose 2*m - 2*y - 2 + 0 = 0, 0 = m - 2*y + 1. Is 156/4*2/m a composite number?
True
Let d(p) = -p**3 - 6*p**2 - 6*p - 8. Let g be d(-6). Suppose -3*y = -5*v + 31, -v + 4*y + g = 3*v. Suppose v*z + 156 = 4*x, -2*z - 8 = -0*z. Is x prime?
False
Is 2/((-6)/(-105)) + -4 prime?
True
Let i = -47 - -134. Let n = i - 56