 Is ((-83)/3)/(2/d) prime?
True
Let n = -171 + 284. Is n a composite number?
False
Let h be (-3382)/(-6) - (-3)/9. Suppose 0 = 6*c - 2*c - h. Is c a composite number?
True
Suppose 3*k - 2*z - 8 = -4*z, 0 = -3*z - 15. Is (-45)/k*14/(-3) composite?
True
Let r(s) = -781*s**3 - s - 1. Is r(-1) composite?
True
Is (-9)/(-42)*-2 - (-101544)/21 composite?
True
Suppose -2*c = -6, 2*b + 1 + 10 = 5*c. Suppose 0 = -3*i - 12, 0*k - 4*k = 3*i + 4. Suppose -3*t + b*f + 167 = -0*f, -k*f = 4*t - 232. Is t composite?
True
Suppose -4*z - 10 = 2. Let d be 92/16 + z/4. Suppose -4*l + 5*y = -672, 5*l - 108 - 687 = -d*y. Is l a prime number?
True
Let o(k) = -324*k + 29. Is o(-10) composite?
True
Suppose -5*y - 1 - 3 = k, 5*y - 5*k - 20 = 0. Suppose -56 = -g - 3*u, y*g - 2*g + 4*u + 102 = 0. Is g a composite number?
False
Let w = -545 + 964. Is w composite?
False
Suppose 3*i - 565 = 2*q, -3*i + 947 = 2*i - 2*q. Is i prime?
True
Let m(h) = h**2 - 3*h. Let g be m(3). Let j = 0 + g. Is j/(-2) + 11 + 0 a prime number?
True
Is ((-10690)/(-1))/(25 - 23) a prime number?
False
Suppose 4*q = 3*d + 3, -2 + 1 = d - 2*q. Is 328 + d + 3 + -3 a composite number?
True
Suppose 10149 = -3*d + 6*d. Is d a prime number?
False
Let v be (-2770)/6 - (-2)/(-6). Let l = 958 - 243. Let h = v + l. Is h a composite number?
True
Let a(q) = 823*q**3 + q**2 + 3*q. Let x(k) = -411*k**3 - k**2 - 2*k. Let r(c) = -3*a(c) - 5*x(c). Is r(-1) a composite number?
True
Let n(a) = 4*a**2 - a - 4. Let f(g) be the second derivative of -2*g**4/3 + g**3/3 + 7*g**2/2 + 2*g. Let p(t) = -4*f(t) - 7*n(t). Is p(3) a composite number?
True
Let f(z) = -3*z - 3 + 6 + 5*z. Is f(8) a composite number?
False
Let x be (-3)/2*12/9. Let s(y) = 3*y**2 + 7*y. Let p be s(5). Is (x/4)/((-5)/p) a prime number?
True
Let c be ((-1)/(-3))/((-2)/(-30)). Suppose 4*s - l = -0*s + 1072, -1355 = -5*s + c*l. Suppose -4*q + s - 89 = -2*r, -141 = -3*q + 4*r. Is q a prime number?
True
Let u be 6*((-6)/9 - -1). Suppose 4*k - u*k = -5*f + 7, -2 = 2*f + 2*k. Is f composite?
False
Suppose i - 2*n = -6*n + 57, -3*n = -i + 71. Suppose -p + i = -3*j, 5*p - 297 = 2*j - j. Is p composite?
False
Let n = 158 - 31. Is n prime?
True
Let h(v) = -7*v**3 - 5*v**2 - 3*v - 4. Suppose 5*x = -18 + 3. Is h(x) a composite number?
False
Let u(b) = 98*b**2 - 5*b - 3. Is u(2) composite?
False
Let u = -531 - -849. Suppose 5*c = 11*c - u. Is c prime?
True
Let l(o) = -o**3 - 8*o**2 - 4*o + 2. Suppose -10 = -0*t + 5*t, 26 = -3*d - t. Is l(d) composite?
True
Let n(a) = 24*a**2 - 1 + 2*a**2 + 12*a**2. Is n(1) a prime number?
True
Suppose 5*x = -4*h + 2*h + 111, -2*x - 33 = -h. Is h a prime number?
True
Let k(v) = -10*v**2 + 0*v**3 - 1 + v**3 + 3*v + 4 + 0*v**3. Is k(10) a prime number?
False
Is 8586/14 + 40/(-140) composite?
False
Is 5385/(-60)*4/(-1) composite?
False
Let x(d) = 2*d**2 + 12*d - 1. Is x(8) prime?
True
Suppose p + 0*p - n + 1 = 0, -3*p = -n - 1. Is -3 + (3 + 33)/p prime?
False
Suppose -2*x = 7 + 3. Let j be -33*(1 + 3 + x). Suppose -3*m + j = -0*m. Is m prime?
True
Suppose 2*s = -3*s + 2*o + 17, 3*s + 3*o - 6 = 0. Is ((-268)/s)/(-4)*15 a prime number?
False
Suppose 4*a - 5*a = -h - 3, 4*h - 15 = -5*a. Suppose 3*q - 468 = -2*t, a*t - 699 = -4*q + q. Suppose -2*p = p - t. Is p composite?
True
Let w(x) = 18*x**2 + x - 3. Let y be w(-3). Suppose -6*i + 2*i = -5*v - 298, -y = -2*i - v. Is i a prime number?
False
Let a be (-7 + 1)*(0 - -1). Is a/(201/69 - 3) a prime number?
False
Let c(l) = 14*l**2 + l + 4. Let z(k) = -2*k - 1. Let y be z(1). Is c(y) a composite number?
False
Suppose 26 = 3*t - 2*t + 5*l, 3*l - 24 = -2*t. Suppose -v = g - 6*v - 2, 3*g - 4*v - t = 0. Suppose c = g*c - 149. Is c a composite number?
False
Suppose 0 = 5*r - 2*r - 12. Suppose 132 = r*j - 148. Suppose -2*l + 4*y + 100 = 0, 2*l + 5*y - 12 - j = 0. Is l composite?
True
Suppose -2*z + 8 = -n - 15, -n = -z + 13. Suppose q = -q + z. Suppose -q*c = -2*c - 45. Is c a composite number?
True
Suppose 4*s - 21 = -9. Suppose -s*b + 5*b - 4*p = 98, 0 = 3*p - 15. Is b a prime number?
True
Is 15/6*1016/20 prime?
True
Let o = -1 - 0. Is 1 + 13 + (0 - o) a composite number?
True
Suppose 3*o + 12 = 9*o. Suppose -o*z - z + 2515 = 5*y, 5*y - 2515 = z. Is y a composite number?
False
Suppose z + 3*z = 0. Let r(u) = u + 16. Let f be r(z). Let o = f + -6. Is o a prime number?
False
Suppose 73 = 3*h - 2*h. Let o = 158 - h. Suppose 2*g - 3*l - 42 = 2*l, 3*g = 2*l + o. Is g a prime number?
True
Let c = 13 + -12. Let s(a) = 167*a**2 - 3*a + 3. Let g(b) = b - 1. Let k(u) = 2*g(u) + s(u). Is k(c) a prime number?
True
Suppose -4*f = -4 - 12. Let j be 2/(-6) - 1272/(-9). Suppose -j = l - f*l. Is l a composite number?
False
Is (1253 - 2) + -2 + 0/(-1) composite?
False
Suppose 0 = 3*y + 2 - 8. Let x be 10*y/8*20. Suppose -4*m + 91 = 3*t + 2*t, 2*m - x = -4*t. Is m composite?
False
Suppose -5*t - 3*o = o + 1297, 3*o - 1019 = 4*t. Let n = t - -458. Is n a composite number?
True
Suppose -1947 = -a - 2*a. Is a prime?
False
Let g = 22 - 13. Let r be 0/(-2*g/(-6)). Suppose r = 4*m - 2*m - 38. Is m a composite number?
False
Let l(v) = v**3 - 2*v**2 - 8*v + 5. Let b be l(7). Let g = -317 + b. Let h = 178 + g. Is h composite?
True
Let k(y) = -y**3 + 19*y**2 - 8*y + 9. Is k(11) prime?
False
Suppose -3*c + 262 = 37. Suppose t - 10 = c. Is t prime?
False
Is 4/(-5)*(5 + 270/(-12)) prime?
False
Suppose -13*m = -7*m + 12. Let p = -1 + 2. Is (0 + -34)/(m + p) a prime number?
False
Suppose 1226 = 3*r - 475. Let x = r - 304. Is x composite?
False
Let x(r) = -r + 3. Let p be x(-5). Suppose -4*v + 388 - p = 0. Is v composite?
True
Suppose 2*i + 269 = 2*x - 315, 2*x - 4*i = 582. Is x a composite number?
False
Let l be -2*(18/(-4) - -2). Suppose l*x - 245 = -5*p, -3*p - 172 = -4*x - p. Suppose -v - 2*v = -x. Is v composite?
True
Let f(c) = -c**3 + c + 203. Is f(0) a composite number?
True
Let k be 2/((-2)/(-1)) + 93. Suppose -126 = -4*z + k. Is z a composite number?
True
Let z(r) = -r. Let m be z(-2). Suppose -l - 8 = -m*l. Is (-1)/(-2) + 292/l prime?
True
Let f be ((-10)/(-4))/(4/8). Suppose 2*c - 88 = 3*l, 3*c - 2*c = f. Is (-160)/(-26) + 4/l composite?
True
Let q(l) = 23*l**2 + 6*l + 5. Is q(-3) composite?
True
Is 7 - (-48)/(-6) - 3*-305 a composite number?
True
Let h(t) = t**2 - t + 29. Is h(10) prime?
False
Suppose -3*h + 20 = 5*d - 9, 4*h + 8 = 5*d. Suppose 3*i = t - 264, 527 = 2*t + h*i - 8*i. Let o = t + -184. Is o composite?
True
Let d(p) = 230*p**2 + 2*p + 1. Let k be d(-1). Suppose 2*o = 2*q - 0*q + 90, -5*o = -3*q - k. Is o prime?
True
Let y(r) = r**3 + 6*r**2 + r + 8. Let f be y(-9). Let m = 371 + f. Is m a composite number?
False
Suppose 1 = -3*i + 4*l, 3*i - i + 24 = -2*l. Let c(r) = 6*r**2 - 5*r. Is c(i) composite?
True
Let p(f) = -4*f - 1. Let u be p(-1). Suppose j - 4 = -5, u*h = 3*j + 72. Let c = 62 - h. Is c a composite number?
True
Let s be 3*(-3 + (-19)/3). Is ((-818)/3)/(s/42) composite?
False
Suppose -2*h - p + 478 = 105, h - 2*p = 194. Suppose -g - o = h, 188 = -0*g - g - 4*o. Let v = g + 277. Is v a prime number?
True
Let b(i) = 3*i**2 + 3*i. Let r(h) = 2*h**2 + 2*h + 1. Let x(j) = 6*b(j) - 5*r(j). Is x(5) a prime number?
False
Let n(k) be the third derivative of -k**5/60 - 3*k**4/8 + k**3/6 + 3*k**2. Is n(-8) prime?
False
Suppose -5*p - 4*x + 51 = 0, 2*x + 32 = 3*p + 3*x. Let s(a) = a**2 + 12*a + 27. Let i be s(-9). Suppose -c - p = -4*m, -1 = m + c - i. Is m composite?
False
Let g = -2 + 1. Let m = 3 - g. Suppose -24 = -m*l - 0*l. Is l composite?
True
Let l = 97 - -49. Let y = -25 + l. Let a = -6 + y. Is a composite?
True
Let o(u) = 2*u**3 + u**2 + 16*u + 7. Is o(6) a composite number?
False
Let p(d) be the second derivative of d**4/4 + 5*d**3/2 - 5*d**2/2 + 5*d. Is p(-13) a composite number?
False
Suppose 8*n = 7*n + 701. Is n a prime number?
True
Suppose 3*h = -m + 7*h - 12, -5*m - 5*h = -15. Let b(t) = -t**2 + 509. Is b(m) composite?
False
Let o = -166 - -375. Is o composite?
True
Suppose -o - 803 = -3820. Is o composite?
True
Let f(p) = 44*p - 11. Is f(6) composite?
True
Let z(l) = 4 - 5 + l**3 + 5*l**2 + 5*l + 4. Let f be z(-3). Let w = 41 - f. Is w a composite number?
True
Is -1439*2/(-3) - 106/318 a composite number?
True
Suppose 0*h = -h + 233. Is h composite?
False
Suppose 2*d + 0*d = 578. Is d a c