i = 170. Is r a composite number?
True
Suppose 3*w - 34 = 5. Suppose 2*p = -3*i + w, i - 2*i + 9 = 3*p. Suppose -2*z + 161 = v - i*z, -2*z - 8 = 0. Is v prime?
True
Let j(s) = -s**3 - 4*s**2 + 4. Let q be j(-4). Suppose 2*f + q*d = 0, -d + 6 = -4*d. Suppose -2*h + 167 = h - 2*k, 0 = h + f*k - 37. Is h composite?
False
Let g = 32 - -55. Is g a prime number?
False
Suppose -f = -4*f + 447. Is f a composite number?
False
Let c(k) = -k**3 + 8*k**2 - 7*k. Let m be c(7). Suppose 0 = 3*y - 2*y - 7. Suppose -3*u + y*u - 2*a - 184 = m, -5*u = -4*a - 227. Is u prime?
True
Let l(y) = 2*y**3 + y**2 - 2*y + 2. Let i be l(2). Let t = i + 65. Is t a prime number?
True
Suppose -3*m - 22 + 4 = y, 3*y + 40 = 5*m. Suppose 4*f + 3*p - 116 = 0, 5*p - p = -2*f + 68. Let o = f + y. Is o a prime number?
True
Suppose 3*b = -3*v + 4*v - 5, 5 = -5*v. Is (-79)/b*(-8)/(-4) prime?
True
Suppose 18 = 4*g - 5*c, -2*g + 36 = 2*g + 4*c. Suppose -5*v + g = 32, v = -4*u + 99. Is u a composite number?
True
Let t = 1 - -1. Suppose -2*k + 10 - 2 = 0, -2*r = t*k - 16. Suppose -b + 2 = -r. Is b a prime number?
False
Let q = -7 - -5. Let n(x) = x**2 - x + 111. Let p be n(0). Is (p/q)/3*-2 prime?
True
Suppose d = 3*w + 2*w + 46, -2 = -2*d. Let z(m) = -m**3 - 10*m**2 - 8*m + 12. Is z(w) a prime number?
True
Is (-231)/(-6)*3/((-3)/(-2)) prime?
False
Let n = 1127 - -404. Is n prime?
True
Let j(i) = -42*i + 17. Is j(-8) prime?
True
Suppose 0*y = 5*y - 10. Suppose m + 708 = 4*q, 2*m + 456 - 108 = y*q. Is q composite?
True
Let s be (-6 - 6/(-2))*-1. Suppose -4*p + b = -337, s*p - b = -24 + 276. Is p prime?
False
Let j = 4408 - 1751. Is j composite?
False
Let x = -6 - -9. Let p = 510 - 240. Suppose -x*o - 5*j + p = 0, 5*o + 4*j - 347 = 90. Is o a prime number?
False
Suppose -7*r + 10251 = -2*r + 4*c, -3*r - 2*c + 6151 = 0. Is r prime?
False
Suppose q + x = -2*x + 78, 0 = q + 5*x - 74. Let y = q - -43. Is y a prime number?
True
Let h be ((-12)/3)/(-1) - 0. Suppose p - 2 = h*g - 7, -2*p + 10 = 2*g. Suppose 4*k - k = -2*z + 14, 0 = 4*k - g*z - 14. Is k composite?
True
Let g = -25 + 28. Suppose g*n = 2*n + 33. Is n prime?
False
Suppose -4*t = -3*t - 5. Suppose -w - 22 = -5*k - 84, 323 = 4*w + t*k. Is w a composite number?
True
Let m be (-3)/(-9) - 8/(-3). Suppose 0 = -4*i + m*i. Is 0 + i - 2 - -67 a composite number?
True
Let q be 1 + 0/3 - -3. Let p(t) = -t + 8. Let z be p(q). Is (13 - z)*34/6 a composite number?
True
Suppose 0 = -o + 2*f + 24, 73 = 3*o - 5*f - 0*f. Is o prime?
False
Suppose -d - 2*d = 0. Suppose 0*a = -3*a - 12, d = 4*n + 3*a - 848. Is n a composite number?
True
Let c = 95 + -25. Let r = 105 - c. Is r prime?
False
Let x(b) = 4*b**2 + 12*b - 13. Is x(-18) a composite number?
True
Is (3 - (5 + 2 + -1))*-61 a prime number?
False
Suppose 1341 = 15*u - 6*u. Is u a composite number?
False
Suppose -705 - 623 = 5*z + 2*f, -f = z + 268. Let t = -124 - z. Let i = t + -75. Is i prime?
False
Let x = 5 - 3. Suppose 5*q = x + 13. Let v(p) = 12*p + 1. Is v(q) prime?
True
Suppose 4*d = -2*f + 662, -4*f + 2*d - 1655 = -9*f. Is f a composite number?
False
Suppose 4*m = -m + 2*n + 1277, 0 = -2*m + 3*n + 502. Is m a composite number?
False
Let s(k) = -8*k**3 - 2*k**2 - 2*k - 1. Let u be s(-1). Suppose u + 18 = 5*f. Suppose -4*c - 13 = -f*c. Is c prime?
True
Let o(p) = -2*p - 4. Let k be o(-3). Let q = -5 + 3. Let m = k - q. Is m a prime number?
False
Let w = 1107 - 445. Is w composite?
True
Suppose z = 4*z - 12. Let x(o) = -o**2 - 2*o + 4. Let h be x(z). Let g = -9 - h. Is g composite?
False
Let w = 52 + 37. Is w prime?
True
Let h(v) = v**3 + 6*v**2 - v + 3. Let b(k) = -k + 2. Let d be b(7). Is h(d) prime?
False
Suppose a + 4*u = -15, -6 = 4*a + u + 9. Let p(r) = 5*r**3 + 3*r + 1. Let w be p(a). Let k = -76 - w. Is k composite?
False
Let l(h) = h**3 - 5*h**2 - 4*h + 7. Let m be (-6)/((1/(-1))/1). Let v be l(m). Let z = v - 12. Is z a prime number?
True
Let t(p) = 5*p**3 - 6*p**2 + 2*p + 2. Let l(q) = 6*q**3 - 7*q**2 + 3*q + 1. Let x(b) = 4*l(b) - 5*t(b). Is x(-5) a composite number?
True
Suppose -2*z + 3*z - 16 = -2*r, 6 = -2*r. Suppose -3*s + z = -17. Is s a composite number?
False
Suppose -6*l + 2605 = -l. Is l prime?
True
Let j = -8 - -11. Let g = j - 3. Suppose g = z - 0*z - 37. Is z prime?
True
Let v = -86 - -409. Is v a composite number?
True
Suppose 3*o - 369 = -3*g, 0 = -4*o - 5*g + 42 + 446. Is o a prime number?
True
Suppose 5*y - 607 = 453. Suppose -y = -3*n + 253. Is n prime?
False
Suppose 2*a + a - 1527 = 0. Suppose -s + 88 = -2*p + a, -15 = -3*s. Is p prime?
False
Is -3 - (-3 - 255 - -2) prime?
False
Suppose -1016 = -3*r - 149. Is r a composite number?
True
Suppose -223 - 133 = -4*t. Is t a composite number?
False
Suppose 5*i = -3*f + 1833, -2*i - 3*i - 3055 = -5*f. Is f a prime number?
False
Let n(s) = 4*s - 126 - 5*s + 2*s - 55 + s**3. Let c be n(0). Let a = c - -404. Is a a composite number?
False
Suppose 274 = 3*u - 335. Is u a composite number?
True
Is (764/(-6))/((-12)/18) a composite number?
False
Is ((-2)/12*4570)/(2/(-6)) a prime number?
False
Let t(f) = -9*f**2 - 8*f + 12. Let g(s) = -3*s**2 - 3*s + 4. Let v(k) = 8*g(k) - 3*t(k). Is v(-3) a prime number?
True
Let h(g) = -2*g. Let t be h(-7). Let r = -7 + t. Let w = r + 6. Is w composite?
False
Suppose -5*m + 8 = -w, 4*w - 2*m = w + 2. Suppose w - 4 = 2*c. Is (1 - 1) + 206 + c a prime number?
False
Let s(i) = 6 + 1 + 2*i + 3*i. Suppose 0 = 4*p + g - 22, -5*p + 9 = 4*g - 13. Is s(p) prime?
True
Is 2328/(-18)*(-9)/6 composite?
True
Suppose -2*u + 4*d + 388 = 0, -u - 8*d = -3*d - 173. Suppose u = 6*c - 2*c. Is c composite?
False
Is -223*3*5/(-15) composite?
False
Let u(o) be the first derivative of o**3/3 + o**2/2 + o - 2. Is u(-4) a composite number?
False
Let t(u) be the third derivative of -59*u**4 - u**3/6 + 8*u**2. Is t(-1) a composite number?
True
Suppose 0 = -5*c + 4*y + 3729 + 828, -5*y = -4*c + 3642. Is c a composite number?
True
Let z = -2 + 14. Let w = z + -5. Is w prime?
True
Let r(t) = t**2 + 6*t + 4. Let x be r(-6). Suppose 5*a = -x*h + 29 + 75, 0 = -h + 4*a + 47. Is h prime?
True
Let a(f) be the second derivative of 37*f**4/12 - f**3/6 + f**2/2 - 7*f. Is a(1) a prime number?
True
Suppose 80 = 4*o - 296. Is o a composite number?
True
Let d = -691 - -2100. Is d a composite number?
False
Suppose 1628 = i + 3*i. Is i a prime number?
False
Suppose 5 = -4*c + 13. Suppose -628 = -c*q - 2*q. Is q prime?
True
Let s be (8/(-6))/((-6)/(-27)). Let f(l) = 7*l**2 + 5*l + 1. Let k be f(s). Let p = 350 - k. Is p a prime number?
True
Let n(r) = -r - 4. Let t be n(0). Is (-2)/t*(-3 - -109) prime?
True
Suppose 3*r + 0*r - 4*h - 514 = 0, 336 = 2*r - 4*h. Let w = -89 + r. Is w composite?
False
Suppose 2*i = -0*i + 6. Suppose 4 = i*m - 2, m - 26 = -4*u. Suppose -v = -u*v + 165. Is v a composite number?
True
Let c = -8 + -4. Is 37/3 + (-8)/c a composite number?
False
Let l = -7 - -7. Suppose l*m + 3*m - 57 = 0. Is m composite?
False
Let w be (-6)/(-4)*-1*2. Let p(y) = y**3 + 2*y**2 - 2*y - 4. Let h be p(w). Let s = h - -18. Is s a prime number?
True
Suppose 5*c - 921 = 2*c. Is c a composite number?
False
Let d(j) = 7*j**3 + 6*j**2 - 5*j + 3. Let f(w) = -w**3 + 1. Let o(y) = -d(y) - 6*f(y). Is o(-8) composite?
False
Let q = 57 - 13. Suppose -13 + q = o. Is o a composite number?
False
Suppose 48 = -2*l - l. Let v = 41 - l. Suppose t + v = 4*t. Is t a prime number?
True
Let p = -3368 - -5129. Is p a composite number?
True
Let p(x) = -x + 9. Let a(b) = -2*b + 1. Let q(w) = -w**3 + 4*w**2 - 5*w + 4. Let n be q(3). Let o be a(n). Is p(o) composite?
True
Suppose -18 = -4*t + u, -2*t = -3*u - 0 - 4. Suppose 3 = m - 4*j - 1, 4*m = -2*j + 106. Suppose -t = a - m. Is a a prime number?
True
Let k(v) = 21*v - 16. Let p be k(-7). Is (4 - 4) + p/(-1) composite?
False
Let v = -1 - -3. Let l be 2/1 - (-4)/v. Suppose -5*j + 283 = -l*u, -7*u - 65 = -j - 2*u. Is j a prime number?
False
Let l(s) = -33*s**3 - 2*s**2 - s. Let u be l(-1). Suppose 3*f - 2*i - u - 71 = 0, -f = -5*i - 43. Suppose -b + f = -130. Is b prime?
True
Let z be (2 - 3)/(-1) - -1. Suppose -z*j - j + 471 = 0. Is j a prime number?
True
Is ((-110)/15)/(((-16)/(-606))/(-4)) prime?
False
Let q(h) = -8*h. Let i be q(-6). Let j = i + 85. Is j prime?
False
Let m = -271 - -386. Is m composite?
