. Let q = w - -590. Is q composite?
True
Suppose -2*j = y - 17277, 2*j - y + 5*y = 17262. Is j a prime number?
True
Let i = 106 - 102. Suppose i*j - 8303 = 2973. Is j prime?
True
Suppose 0*s - s - 32 = 0. Suppose -2*q = -520 + 202. Let g = s + q. Is g a prime number?
True
Suppose 16*k - 2522 = 710. Suppose 909 = 205*z - k*z. Is z composite?
True
Let x be (-1 - (-9)/12)*-12. Suppose -4*n - 390 = -2*b, -x*b - 5*n = -0*n - 563. Is b a composite number?
False
Let z(w) = -9*w**3 + 5*w + 5. Is z(-2) prime?
True
Let h(q) = 398*q**2 - 1. Let j(a) = -a**2 + 6*a - 1. Let c(o) = -o**2 + 7*o - 1. Let i(x) = -5*c(x) + 6*j(x). Let m be i(1). Is h(m) a prime number?
True
Suppose -3*l + 2*v + 7 + 5 = 0, 6 = -3*l - 4*v. Suppose q - l = k, 4*k = -0*k + 3*q - 6. Suppose k*y + 62 = y - 5*t, -2*y - t = -113. Is y composite?
True
Suppose 0 = 4*a + 3*o - 550, -2*a + 0*o = -5*o - 288. Suppose 89 = -4*x - a. Let g = 126 + x. Is g prime?
False
Suppose -3*s + 10 - 40 = 0. Is (2/s)/(9/(-585)) composite?
False
Let m(k) = -k**3 - 6*k**2 - 22*k + 12. Let d be m(-5). Let q = 54 + -120. Let h = q + d. Is h composite?
False
Suppose -j - 2*j + 6 = 2*g, 12 = 4*j + 4*g. Suppose -2*h = -j*w + 4*w - 60, h + 3*w - 28 = 0. Suppose 4*k = -h + 118. Is k prime?
False
Suppose 30*b - 141496 = 22*b. Is b prime?
False
Suppose 0 = n + 2*n - 3. Is ((-4)/4 + 999)*n composite?
True
Let w(r) = 686*r + 13. Let q be w(-4). Let c = q - -3878. Is c composite?
True
Suppose 4*h = 16, 4*p = -p + 4*h + 399. Suppose 0 = -4*s + p + 961. Is s - 2*(2 - 1) prime?
False
Let x be (4 + 62/(-2))*7. Let a = -92 - x. Is a a prime number?
True
Let x(s) be the second derivative of 0 + 10/3*s**3 + 7/2*s**2 + 4*s. Is x(6) composite?
False
Let u(l) = -l**3 - 4*l**2 - 4*l - 1. Let t be u(-3). Let p be t/4 + 9/6. Suppose -r + 267 = p*r. Is r composite?
False
Suppose 2*w + 3*u + 6 = w, -21 = -3*w + 4*u. Let z be (-642)/(w/(-30)*2). Suppose -3*q + 9*q - z = 0. Is q a composite number?
True
Suppose 5*d - 4*w = 72, -d + 6*d - 69 = 3*w. Is (-238)/3*d/(-8) prime?
False
Let w = -141 - -42. Let n = 154 + w. Is n composite?
True
Let n(y) = -10*y + 2 + 3 + 8. Suppose -3*o + j - 33 = 0, 0 = 5*o + 4*j + 41 - 3. Is n(o) a prime number?
True
Let k = 39 - 37. Suppose k*h = 51 + 127. Is h prime?
True
Suppose 3*u + 40 = u. Is (15/u - 2793/12)*-2 composite?
False
Let q = -4913 + 16841. Is (2/3)/(16/q) composite?
True
Let w(x) = -x**2 + 12*x - 9. Let s be w(11). Suppose s*d - d = -3*p + 5914, p - 1988 = 3*d. Is p a prime number?
True
Let l be 0*(0/(-1) - 1). Let y be ((-75)/(-60))/((-2)/(-8)). Suppose 4*o = -j + 2566, -4*o + l*o = y*j - 2574. Is o composite?
False
Let d(u) = -3*u**2 + u - 6. Let v be d(-3). Let z = 653 - v. Is z a composite number?
True
Is 2/(-33) + (-29536868)/(-2508) a prime number?
True
Let u be 6/8 + (-3)/4. Suppose u = 5*x + 20, -5*x - 294 - 507 = -d. Is d composite?
True
Suppose 4*g - 423 = -t, 5*g + 5*t = 2*g + 313. Suppose -2*m + g = -52. Is m prime?
True
Let w(p) = 58*p - 17. Let r be w(13). Suppose -2*y = -45 - r. Is y a prime number?
False
Let u be ((-42)/(-28))/((-6)/(-8)). Suppose 4*h + 5*f - 13976 = 3808, 0 = -u*h + 4*f + 8866. Is h a prime number?
True
Let p(o) = o**3 + 9*o**2 - 4*o - 34. Let y be p(-9). Suppose 4*b = 2*b + 4. Suppose 4*u - 5*m = 4182, -y*u - b*m = -0*m - 2082. Is u prime?
False
Let m(i) = 3 + 3 + 15*i - 1 + 1 + 2*i**2. Is m(-9) a composite number?
True
Suppose -2*k - 2 = -0*k. Is (0 - k - 0) + 750 a composite number?
False
Is -4 + (-1)/1 - -2584 prime?
True
Let b = 6 + -9. Let t = b - -3. Suppose t*s - s = -155. Is s prime?
False
Let t(h) = h**2 - 10*h + 5. Let a be t(10). Let w(v) = -9*v**2 + 19*v - 2*v**3 + 3*v**3 - a*v**2 - v. Is w(13) composite?
True
Suppose -2*t + 3*n - 11 = 0, -6*t - 16 = -t + 4*n. Let h(g) = -34*g + 4. Let d(m) = -m + 1. Let q(v) = d(v) + h(v). Is q(t) a prime number?
False
Let p(n) = n**3 + 6*n**2 + 5*n + 4. Let i be p(-5). Suppose 483 = -y + 2*y - 4*s, -4*s = i*y - 1952. Is y a prime number?
True
Let t = -52 - -73. Let s be (t + -1)*-1*-1. Let p = -13 + s. Is p a prime number?
True
Let c be 57/(-133) + 1 + (-26634)/(-14). Suppose 4*p - 5*p + c = 0. Is p prime?
False
Let a = -2991 + 4614. Is a composite?
True
Let z be 1 + (-10)/2 + -1. Let r = -4 + z. Is 664/9 + (-2)/r a composite number?
True
Let x = 1729 + -1019. Let w = x - 37. Is w prime?
True
Let f(r) = 26*r - 57. Let a(l) = -13*l + 29. Let u(p) = 7*a(p) + 4*f(p). Let i be u(-11). Let s = i + 545. Is s prime?
False
Let p = -37554 - -61705. Is p a prime number?
True
Let m(g) = g**3 - 9*g + 0*g**2 + 7 + 11*g**2 - 3*g**2. Let y be m(-9). Suppose -5*t + y*t = 110. Is t composite?
True
Suppose -3*i - 1684 = -13543. Is i a composite number?
True
Suppose -g = -4*x - 42549, -3*g + 4*x + 42656 + 85007 = 0. Is g composite?
False
Let a(j) be the first derivative of 303*j**2/2 + 2*j - 1. Let o be 21/28*1/(1/4). Is a(o) composite?
False
Let n be (42/9 - 4)*6. Let z(c) = 30*c**2 - 5*c + 9. Is z(n) a composite number?
True
Suppose 3*p + 6 = 0, -f - 2*f + 7700 = -4*p. Let a = f + -663. Is a a prime number?
True
Let b be 2364/(-9)*(-6)/4. Let d = 905 - b. Is d a prime number?
False
Suppose 0 = -q - y + 7, 0 = -q + 2*y - 0 - 5. Suppose 472 = -5*b + q*b + 2*r, 4*r = -3*b - 680. Let o = 389 + b. Is o composite?
False
Suppose b + 132 = 12*b. Is (-1)/(-6) + 15490/b a composite number?
False
Is (-3243)/(-6) - (-32)/64 a prime number?
True
Let x = -11085 + 15566. Is x prime?
True
Suppose -2*u + 25 = 3*i, 4*u + 2*i + 2 = 32. Suppose c + 23 = u*r, -c - 35 = -5*r - 6*c. Suppose k + k + y - 424 = 0, -r*y + 10 = 0. Is k a composite number?
False
Let h = -45 - -50. Suppose 5*g - 4*r = 2554 + 1328, 5*g + h*r = 3900. Is g composite?
True
Let w(s) be the second derivative of 181*s**3/6 - 3*s**2 - 2*s. Is w(11) prime?
False
Let a(y) = -37*y + 1. Let j be a(-5). Suppose 10*i = 7*i + 6. Suppose 4*z = 4*r - r - 281, i*r - 4*z = j. Is r composite?
True
Let z(p) = p**2 - 11*p - 66. Let g be z(16). Is (-1888)/(-10) - 2 - g/(-70) prime?
False
Suppose -3*n = n + 3*q - 17, -3*n + 2*q = 0. Suppose -r = -5*k - 20 + 366, -n*r - 209 = -3*k. Is k a prime number?
False
Let h(c) = -c**3 + 5*c**2 + 6. Let m be h(4). Let a = m - -375. Is a a prime number?
True
Let l(y) = -7 + 11*y - 3*y**3 - y**3 - 6*y**2 - 3*y**2 + 3*y**2. Is l(-8) a prime number?
False
Let m(r) = -180*r + 35. Let f(h) = 9*h - 9. Let j(q) = 17*q - 19. Let a(c) = -13*f(c) + 6*j(c). Let y(v) = 25*a(v) - 2*m(v). Is y(-12) composite?
True
Suppose -12 = 8*z - 11*z, 3*x + 3*z = 2271. Is x prime?
False
Let i(y) = 52*y + 173. Is i(6) composite?
True
Let x(z) be the first derivative of 9*z**2 - 2*z + 5. Let r be x(-4). Let c = r + 132. Is c a composite number?
True
Let r(h) = 20*h. Let c be r(8). Let v = c + 51. Is v prime?
True
Suppose -4 + 24 = 5*h. Suppose h*q = -16, 2*q + 2 + 2 = -z. Is z/(-6) - 41/(-3) composite?
False
Let s = 8218 - -243. Is s a composite number?
False
Is (51713 + 19 - 19)*(0 + 1) a prime number?
True
Suppose -q = 108*q - 353051. Is q a composite number?
True
Let h(n) = 2*n + 5. Let f be h(-7). Let d be 27/f*(-1 - 0). Is d/6 - 317/(-2) composite?
True
Let w = -961 + 1393. Let g be 3 + 1 - (-2)/(-1). Suppose s - 6*s - g*j = -w, 4*j - 348 = -4*s. Is s prime?
False
Let d(p) = p**3 - p**2 - 13*p - 1. Let l be d(-3). Suppose 0 = 3*n + f - 3054, 0 = -n + l*f - 3*f + 1016. Is n prime?
True
Let t = 70 + -50. Suppose 0 = 20*w - 25*w - t. Is (212/(-8))/(2/w) prime?
True
Is ((-6)/16)/(1/4)*-11854 a composite number?
True
Let q(o) = -o**3 - o**2 - o + 4. Let m be q(0). Let w(g) be the first derivative of 29*g**3/3 - 5*g**2/2 - g - 43. Is w(m) prime?
True
Suppose -l + 13 + 34 = 4*v, 0 = -3*l + 9. Let u = -11 + v. Suppose 2*m - m - 19 = u. Is m prime?
True
Suppose 0 = -4*t + 2*j - 48, 0 + 57 = -5*t + j. Let h = t + 13. Is 10 + -10 - (-106)/h prime?
True
Suppose 0 = -4*n - g + 31798, n - 3845 = 5*g + 4094. Suppose -4*t - 3*p = -n, -2*t + 5*p - p = -4002. Is t prime?
False
Suppose -148 = -2*n - f + 5*f, -3*n - 2*f + 206 = 0. Suppose 2*q - n = -5*t + 135, -383 = -4*q - t. Is q a composite number?
True
Suppose -4*a - 2*n + 85 = -3*n, -4*a + 81 = 3*n. Suppose -2*l - 2*l + 264 = 0. Let u = a + l. Is u composite?
True
Suppose b + 2*g = -4*b + 17, 0 = -3*b - g + 10. Suppose -6*q + 1842 = -b*q. Is 