 12537 = 0. Is h composite?
True
Suppose 2*t = 3*t - 3. Suppose -p - 317 = -2*b, -2*b + t*p = 3*b - 792. Is b composite?
True
Suppose -f + 1 = 5*q, -5 = -4*q + 6*q - 5*f. Suppose 6*y = 2*y + 12. Let v = q + y. Is v composite?
False
Let d be 910/(-4)*(-4)/5. Suppose t - 3 = 0, 5*u - 71 = 3*t - 0*t. Is 4*d/u*2 prime?
False
Let u(i) = -i**2 + i + 277. Suppose -3*b = -0*b. Let a be u(b). Suppose -3*j + a + 500 = 0. Is j composite?
True
Suppose 534 = 5*z - 5731. Is z composite?
True
Let r(t) = -t**2 - t + 5. Let j be r(5). Let m = j - -46. Is m a composite number?
True
Let r(c) = -17*c - 11. Is r(-4) composite?
True
Suppose -2*w - 5*b - 1 = 0, w + 4*b + 1 = b. Suppose 7*g = 4*g - 12. Is (7/g)/(w/(-8)) prime?
True
Let z be 5/(-5) - (-2 - 2). Suppose 117 = z*t - 24. Is t a composite number?
False
Let j = -2667 + 4028. Is j composite?
False
Is 8/(-28) + 1773/7 a prime number?
False
Let t(i) be the first derivative of 51*i**3 + 3*i**2/2 - 5*i + 1. Is t(2) prime?
True
Let w be (-2)/(-2*1) - -1. Suppose -2*m - 15 = -3*i + m, 4 = -w*m. Suppose i*d - 76 = -d. Is d composite?
False
Let k be 6/(-6) + 5*1. Suppose k*w + w = 95. Is w a composite number?
False
Suppose 13*x - 272 = 1379. Is x prime?
True
Let b(x) = -5*x + 3. Let u be b(-3). Let n(o) = -o**3 + 3*o**2 - 3*o + 2. Let q be n(3). Let t = q + u. Is t a prime number?
True
Let m(s) = s + 5. Let z be m(-3). Let x(r) be the second derivative of r**3 - 3*r**2/2 + 5*r. Is x(z) prime?
False
Is (7 - 9)*314/(-4) a composite number?
False
Let q(a) = -a**3 - 28*a + 18. Is q(-13) a prime number?
True
Suppose -j + 2*j - 3 = 0. Is 43/j - (-2)/3 prime?
False
Suppose 4*f = 266 + 1322. Is f composite?
False
Is (0/1)/1 + 1349 + 2 a prime number?
False
Suppose 2*i - c + 22 - 124 = 0, 2*i + 3*c = 118. Is i prime?
True
Let x(t) = 10*t - 5. Let r be (-2 + 3 + -2)*-6. Is x(r) a prime number?
False
Let t = 241 + -30. Is t composite?
False
Suppose 6 = 3*m + 5*o, -3*m - m + 4*o = -8. Suppose 0*a - 4*a + 8 = 0, 5*z = -m*a + 29. Suppose z*i - t = 167, -i + 2*t = 4*t - 29. Is i composite?
True
Let i be (-2)/9 + (-83)/(-9). Suppose 0 = 5*j - 664 + i. Is j a composite number?
False
Let t = 989 - 576. Is t prime?
False
Suppose -6*x - 26 = -4*x. Is ((-1)/3)/(x/5811) a prime number?
True
Is (1 - (-13150)/3) + 28/42 a composite number?
True
Let p be (-1 - (-1 + 0))*-1. Suppose 5*n - 3*b - 169 = p, 4*n - 138 = 4*b - 3*b. Suppose -3*r = 2*r - n. Is r a composite number?
False
Let l be 1/(-2) - (-15)/6. Let m be -3 + l - (18 + -1). Let p = -9 - m. Is p composite?
True
Let h(i) = 0*i**2 - i + 7 + 3*i**2 - 2*i**2. Let y = -2 + -3. Is h(y) a composite number?
False
Let w(c) = 76*c - 1 + 0 - 2. Is w(2) prime?
True
Let h be (-3)/(-12) + (-14)/(-8). Let k be (h - 1)*2/2. Is 2 + 51*(2 - k) composite?
False
Suppose -4*q - 4*c + 259 = -c, 2*c - 61 = -q. Suppose 0 = p - 0 - q. Suppose 4*l - 383 = -p. Is l prime?
True
Suppose 6*v - 4*v = 8386. Is v a composite number?
True
Let u = -318 + 1633. Is u a composite number?
True
Let u(m) = -16*m**3 + 3*m**2 - 1. Is u(-2) a composite number?
False
Is -2 + 3 + 1 + 67 a prime number?
False
Suppose 0 = 2*s - 4*l - 872, 0 = 4*s + s - 5*l - 2170. Suppose -5*p = -3*r + s, -3*p - 2*p - 581 = -4*r. Is r composite?
False
Let s(h) = h**3 + 4*h**2 + 2*h + 1. Let d be s(-2). Let z be 1 + 5/(d/2). Suppose y - 5*w - 75 = 59, 0 = -2*y + z*w + 233. Is y composite?
False
Let x be (-8)/(-32) - (-1)/(-4). Suppose x = i, -f - 4 + 0 = i. Is (-380)/(-16) + 3/f prime?
True
Let l be (-12)/4*(-8)/6. Suppose 5 = b + l*b, -5*b = c - 7. Suppose -15 = c*m - 3*m. Is m a prime number?
False
Let d(x) = -125*x - 7. Is d(-4) a prime number?
False
Let o = -468 + 329. Let m = o + 392. Is m composite?
True
Suppose 0 = 4*s - 3*v - 701, 3*v - 373 = -2*s - 0*v. Let q = 334 - s. Suppose l - q + 28 = 0. Is l composite?
False
Let d = -105 + -81. Let i = -89 - d. Is i prime?
True
Let g = 36 + -24. Let m = g - -71. Is m composite?
False
Suppose -4*z = -r - 22, 5 = -z - 8*r + 3*r. Suppose z*h - 9 = 4*a + 24, 4*a = 3*h - 31. Let w(l) = -4*l - 7. Is w(a) composite?
True
Suppose v - 2*v = -19. Is v prime?
True
Is ((-9)/2 + 3)*(-15772)/6 a prime number?
True
Suppose 0*x - 4*x = -192. Suppose v = 4*q - 56, 0 = 4*q - 0*q + v - x. Is q composite?
False
Let d(g) = -1281*g**2 + g. Let q be d(1). Let z = -891 - q. Is z prime?
True
Let h be (-3 + 4)/(2/4). Suppose 357 = 5*w + j + h*j, -4*w = -5*j - 256. Is 1 + -1 + (w - 2) a composite number?
False
Let b = 101 - 24. Is b prime?
False
Let u(i) = -1 + 21*i + 36*i - 5*i. Is u(1) composite?
True
Let i be ((-2)/(-2))/((-3)/(-9)). Suppose p + 1 = i. Suppose p*a - 75 = -3*a. Is a a composite number?
True
Is (314/(-3))/(2/(-15)) prime?
False
Suppose -p + 0*p - 3*g + 497 = 0, -g - 1511 = -3*p. Is p a prime number?
True
Let x = 234 - 43. Is x prime?
True
Suppose 0 = -4*l - 2*c + 6, 2*c = 5*l + 4*c - 10. Suppose 0*s + 4*w - 12 = -s, l*w = -4*s + 24. Suppose -a + 14 - 4 = -n, s*n + 10 = a. Is a a prime number?
False
Suppose 3*u = 2*u + 3. Suppose u = -3*c - 3. Is 47 - (1 - (c - -3)) a composite number?
False
Let a(w) = 40*w**2 + w. Let d = 0 - 1. Is a(d) composite?
True
Let f(a) be the first derivative of a**4/4 - 2*a**3/3 - 2*a**2 + 5*a - 4. Is f(4) composite?
True
Let q(n) be the first derivative of -17*n**4/2 - n**3/3 + n**2 - n + 1. Is q(-2) a composite number?
False
Suppose -4*v + 648 = -4*w, -3*v + 106 + 405 = 2*w. Suppose v = 5*r - 378. Is r prime?
True
Suppose 0*o = 3*o - 12. Suppose o*s + 8 = g, -4*g = 2*s - 3*s - 2. Is (g - 298/4)*-2 composite?
False
Let k(j) = 24*j**2 - 46*j + 47. Is k(22) a prime number?
True
Let v(i) = -2*i + 1 + 5*i + 3*i. Let o(z) = -z**3 - 8*z**2 - z - 5. Let b be o(-8). Is v(b) composite?
False
Suppose 3 = g - b, -4 = -3*g + b - 1. Suppose 0 = -4*j - 4, g = 5*h - 6*j + 4*j - 232. Is h composite?
True
Suppose 4*f + 4*r = 36, -3*r + 8*r - 39 = -4*f. Suppose 0 = -f*s + 4*s + 194. Is s composite?
False
Let r(o) = -2*o**3 - 9*o**2 - 4*o + 16. Is r(-7) composite?
True
Let k(u) = 5*u**2. Let r be k(-2). Let o be r/3 + (-2)/(-6). Suppose o = -4*m + 63. Is m composite?
True
Let i be -1*(0 + 0 - 365). Suppose -i + 129 = -x. Suppose -5*j - 81 = -x. Is j prime?
True
Let h(a) = -278*a - 1. Is h(-1) a prime number?
True
Suppose 6*s = 2*s + 172. Is s prime?
True
Let b(y) = 4*y - 4. Let n be b(4). Is ((-261)/n)/(3/(-8)) prime?
False
Let p = 18 - -35. Is p composite?
False
Suppose -5*n - 4 = -24. Suppose -n*a = 6*v - 2*v - 224, 0 = -5*v + 3*a + 256. Is v a composite number?
False
Suppose 0 = -u - d + 839 + 27, 2*d + 875 = u. Is u a composite number?
True
Suppose t = -2*p - 9, -5*p = -t + 7 + 12. Let o be (-10)/(t*(-1)/(-1)). Is 4/o - (-126)/10 a prime number?
True
Let u be 24157/42 + (-2)/12. Let y = u - 316. Is y a composite number?
True
Let t = -423 + 1300. Is t prime?
True
Suppose -4*h - 57 = -401. Let x be (-2)/(-7) - (-36)/21. Suppose 0 = a + x*o - 9, o + h = 4*a + 5. Is a a composite number?
False
Is ((-331)/(-1) + -5)*(-2)/(-4) prime?
True
Suppose 5*w - i = -2763 + 13277, 4203 = 2*w - 3*i. Is w a prime number?
False
Suppose 3*b = -v + 13, -5*v + 7 = -4*b - 20. Let h(a) = -a**3 + 6*a**2 + 5*a - 5. Let m be h(v). Let r = 28 - m. Is r a prime number?
True
Suppose -3*c + 0*c = 0. Let r = -28 + 33. Suppose -r*w + c*w = -335. Is w a prime number?
True
Let f be 1/((-3)/(-18)) + 0. Is 254*3/f*1 a composite number?
False
Suppose -n = 4*n - 15. Suppose -2*j = -3*j + n. Suppose 5*m + 483 = 5*z + j*m, 2*z + 2*m = 182. Is z composite?
True
Let m be (1 + -2)/((-1)/(-355)). Let f = m - -772. Is (f/12)/((-2)/(-8)) a composite number?
False
Is (-2)/(4*(-3)/762) a composite number?
False
Let w = 3068 - 1909. Is w prime?
False
Let y(t) = t**2 - 6*t + 3. Let a be y(5). Is (87/a)/(2/(-4)) composite?
True
Let c(z) = 22*z - 17. Is c(14) a prime number?
False
Suppose 5*f - u = 296, 4*u - 293 = -5*f + 2*u. Is f a prime number?
True
Let y = -277 + 600. Is y prime?
False
Is (-2 - (-50)/5)*59/4 prime?
False
Let q = -245 + 868. Is q composite?
True
Let m be 0 + 4 + 0 + -2. Let y = m - -1. Suppose 3*a - c - 354 = 0, -y*c = 3*a + 60 - 426. Is a a composite number?
True
Let f(o) = -5*o - 2. Let p be f(-2). Let k be (p - 7)/(1/1). Is 0/1 + 6/k a prime number?
False
Let b(a) = -37*a + 7. Suppose 5*m - 25 = -2*x, 2*m - 2*x - 10 =