ose -4*g - m = -0*g - 529, -272 = -o*g - 2*m. Is g prime?
True
Let x = -329 - -552. Is x prime?
True
Is 4/6 + -1 + 2912/6 a composite number?
True
Suppose 4*y - 5*c = -y + 1060, 5*c - 875 = -4*y. Is y prime?
False
Suppose 7*k = 9*k - 2194. Is k a prime number?
True
Let a(y) = -y**2 + 17*y + 21. Is a(10) composite?
True
Let f(p) = 17*p**2 + 3*p + 12. Is f(-5) composite?
True
Let s(x) = -3*x + 9. Let t(i) = 4*i - 9. Let d(k) = -7*s(k) - 6*t(k). Is d(-10) a prime number?
False
Suppose 8*r - 1289 - 2687 = 0. Is r composite?
True
Suppose 9*y = -0 - 9. Let l(s) be the second derivative of -97*s**3/6 + s. Is l(y) a composite number?
False
Let y be 0 + 5/(-1 + 2). Suppose 4*j - 5*j + 110 = 2*c, 0 = c - y*j - 33. Is c composite?
False
Let o be 9/((18/8)/3). Let g(q) = 2*q + 4. Let t be g(-3). Let f = o + t. Is f a composite number?
True
Let s = 955 - 285. Let m = s - 383. Is m a prime number?
False
Let z = 275 + -169. Is z composite?
True
Let t = 3 - -2. Let h(n) = -n**2 + 4*n + 5. Let o be h(t). Suppose 5*k - j = -o*k + 475, -k + 95 = -j. Is k a composite number?
True
Let y(v) be the third derivative of 11*v**6/10 - v**5/60 + v**4/12 - v**3/6 + v**2. Let i be y(1). Let x = i - 79. Is x a prime number?
True
Let l(p) = 2*p - 5. Let g be l(5). Let z = 0 - -4. Suppose 321 = z*o + g. Is o composite?
False
Suppose 4*u + 66 = 7*u. Is (-36)/(-198) + 4506/u prime?
False
Let f(o) = -o + 1. Suppose -2*m = -m + 1. Let k be f(m). Suppose -g - 2*g = 5*w - 33, 18 = 4*g - k*w. Is g a prime number?
False
Let q = -1 + 35. Suppose 21 = i - q. Is i prime?
False
Let u(c) = -c**2 - 1. Let v(h) = -h**3 - h**2 + 8*h - 9. Let s(q) = 4*u(q) - v(q). Suppose -3*r - 2*k = -2*r - 15, -4*r = -2*k - 10. Is s(r) a prime number?
False
Let c = 8 + -1. Suppose n = -0*n + c. Is n a prime number?
True
Let j(f) be the first derivative of -7*f**4/4 + 2*f**3/3 - f**2/2 + f + 2. Is j(-3) a prime number?
True
Let a(d) be the first derivative of 22*d**3/3 - d**2/2 - 2. Is a(1) a composite number?
True
Suppose k + 3470 = 5*n, -25 = -k - 4*k. Is n composite?
True
Let v(z) = 4*z - 3*z - 4 + 12. Let i be v(-6). Is i/(-4)*(-15 - 3) a composite number?
True
Suppose 2*o - 6 = -o. Suppose -y + 6*y = -3*q - 109, -3*q + o*y = 116. Is q*(45/6)/(-5) prime?
False
Suppose -4*v = -6*g + g - 10717, 4*v = -3*g + 10741. Is v prime?
True
Suppose 2*k + 4*y - 1 = 1, 2*k - 4*y = 10. Suppose -k*d - d = -96. Let q = 11 + d. Is q composite?
True
Suppose c = 2*c - 91. Suppose 27 = 2*h - c. Is h prime?
True
Let c(y) = 18*y + 1. Let f be 1/((-4)/(-20)) - 2. Is c(f) a composite number?
True
Let c(b) = -b**2 - 7*b - 6. Let o be c(-5). Suppose 0 = 5*f - o*d - 202, -2*d + 184 = 3*f + 2*f. Is f a composite number?
True
Suppose -3*f + 4*f + 2*j - 1 = 0, 2*j = -3*f - 9. Let o(i) = 45*i. Let w be o(f). Is -5 + 6/2 - w a composite number?
False
Let p(o) = 11*o**2 + 23*o - 3. Is p(7) composite?
True
Is (379/2)/((-3)/(-6)) prime?
True
Let c(p) = -p**2 + 47. Let b(g) = g + 2. Let v be b(-2). Let m be v/((-2)/(-1) - 4). Is c(m) prime?
True
Let b be (2 - 3 - -1)/(-1). Suppose -5*r = -b - 5. Is (37/3)/(r/3) a prime number?
True
Suppose -3*y - 1324 = -7*y. Is y prime?
True
Let y(r) be the second derivative of -11*r**3/3 + r**2/2 + 5*r. Is y(-3) a prime number?
True
Let w(l) = 7*l**2 - 2*l + 1. Let m be w(1). Is m/21 - 4425/(-21) a prime number?
True
Let j(m) = 191*m**2. Suppose -r = -4*t + 8*t + 1, 3*r + 11 = -4*t. Is j(t) a prime number?
True
Suppose 0 = -2*h + 3*h - 4. Let q(r) = -h + 1 + 2*r + 4*r**3 - 5*r**2 + 5. Is q(3) a composite number?
False
Suppose 0 = 5*h - h - 128. Suppose -2*a - 8 = h. Let o = a + 35. Is o a composite number?
True
Let l(p) = -18*p - 11. Let c(t) = -343*t - 210. Let w(a) = -4*c(a) + 77*l(a). Let m(v) = 7*v + 4. Let n(z) = -7*m(z) - 4*w(z). Is n(3) prime?
False
Let a = -55 - 30. Let x = -129 - a. Is ((-10)/(-4) + -3)*x a composite number?
True
Suppose 354 = x - 187. Is x a composite number?
False
Let c = 0 + 0. Is (c - -2)/((-4)/(-262)) prime?
True
Let t(f) = 97*f**3 - f**2 + 2*f - 1. Let w(a) = -a**3 + 4*a**2 + 6*a - 4. Suppose 10 = i + i. Let n be w(i). Is t(n) a composite number?
False
Let c = 333 + -218. Is c prime?
False
Is (2/(-6))/((-8)/21768) composite?
False
Suppose 44 = 2*h + 4. Let o = h + -1. Is o a composite number?
False
Let q(o) = 94*o. Let a be q(-3). Let u = a + 409. Is u a composite number?
False
Suppose -125 = -3*q - 2*q. Is q composite?
True
Let h(d) be the second derivative of d**4/6 + d**3/3 + 5*d**2/2 - 4*d. Is h(-6) composite?
True
Let o = -54 + 88. Suppose 5*h - o = -159. Let l = h - -60. Is l a composite number?
True
Suppose 0 = 16*a - 12*a - 2372. Is a a composite number?
False
Let c = -997 - -1584. Is c a composite number?
False
Suppose 4*a = 3*a + 2. Suppose -y = l + 4*y - 97, 0 = -a*l + y + 150. Is l a prime number?
False
Suppose -5*y = -3*q - 7, -3*q + 2*q - 3*y + 7 = 0. Let j = q + -4. Let a = j - -7. Is a a composite number?
True
Suppose m = -2*x + 3 - 7, 4*m + 6 = 2*x. Let u = m - 4. Let w = 1 - u. Is w a composite number?
False
Suppose 3*k - 6 = 5*w, -k + 4*w - 2*w + 2 = 0. Suppose -3*m = 2*m + f, -f = -3*m. Suppose k*r + m*r = 5*b + 61, -2*r + 37 = 3*b. Is r a composite number?
False
Let c = -78 + 8. Let v = c - -135. Is v a prime number?
False
Suppose 0 = 3*l + 3*m - 6240 + 312, 0 = 5*l - 3*m - 9856. Is l prime?
True
Let y = 4 + -1. Suppose -y*r + 10 = -s, 2*r - 5*r + 16 = 2*s. Suppose 5*l = -4*d + 46, 2*l + s*l + 2*d = 38. Is l a composite number?
True
Let p(f) = -f**2 - 9*f - 9. Let g be p(-7). Suppose -2*z + 4*z = -5*u - 56, 58 = -4*u + g*z. Let j = u - -43. Is j composite?
False
Let i be 3 + 106*6/(-4). Is 7/((-14)/i) - -1 a prime number?
True
Let o = 971 + -406. Suppose -3*m = -8*m + o. Is m composite?
False
Suppose 3*u - 566 = 1525. Is u composite?
True
Suppose 0 = -3*i - 2*i - 165. Is i*29*(-1)/3 a prime number?
False
Is 6773/26*1*2 a composite number?
False
Let p be 3 - (-1 + 8/1). Let i = 3 - p. Is i a prime number?
True
Let f = -8 - -11. Let b(p) = -p + 5. Let g be b(f). Is (1/g)/1*130 a prime number?
False
Let z(t) = 14*t + 35. Is z(18) composite?
True
Is 9/15 + 4/(-10)*-621 a prime number?
False
Suppose y + 2*j + 3 - 252 = 0, -5*y + 5*j + 1185 = 0. Let l = -138 + y. Suppose -3*w = 10 - l. Is w composite?
False
Let j(i) = i**2 - 7*i - 2. Let l be j(6). Let k(h) be the third derivative of -h**6/120 - h**5/10 + h**4/6 - h**3/6 + h**2. Is k(l) a composite number?
True
Let w = -3 + 6. Suppose 0 = -w*s + 3*m + 21, 0 = -2*m - m. Is s a prime number?
True
Is (4087*(2 + -1))/(13/13) prime?
False
Let b(v) be the third derivative of -v**6/120 - v**4/4 + 2*v**3/3 - 2*v**2. Let j be b(-5). Suppose -y = -4*y + j. Is y prime?
True
Let x(m) = -m**3 + 8*m**2 + 6*m + 11. Is x(8) composite?
False
Let a(u) = -2*u - 6. Let q be a(-4). Let v be (8/12)/((-1)/(-3)). Is (1 - q)*(-22)/v a composite number?
False
Suppose 5*s + 2*s - 15029 = 0. Is s composite?
True
Let m(z) = -1172*z**3 + 10*z**2 + 4*z. Let p(n) = 781*n**3 - 7*n**2 - 3*n. Let b(j) = 5*m(j) + 7*p(j). Let x be b(1). Is (6/(-18))/(1/x) composite?
False
Let d(o) = -9*o**3 + 2*o**2 - 2. Let m(p) = -p**2 + 11*p - 13. Let r be m(10). Is d(r) a composite number?
True
Let s = 7 - -79. Is s composite?
True
Suppose 3*m = -h - 0*h - 3, -5*m - 25 = 3*h. Is 16/(-12)*h/2 composite?
True
Let u(f) = 2*f**3 + 3*f**2 - 2*f + 4. Let k be u(3). Is k/2*(-5 - -7) a prime number?
True
Let z be 1 + 389 + (-5 - -4). Let a = z + -234. Is a a prime number?
False
Suppose 20 = 4*n, 3*h + 13 = -n - 0. Is ((-3)/h)/((-3)/(-942)) a composite number?
False
Suppose 2*d = 4*g + 494, -2*d - 252 = -3*d - 3*g. Suppose -3*a - 51 + d = 0. Suppose -j + a = 2*j. Is j prime?
False
Let f = -5 + 1. Is (157/(-1))/(f - -3) prime?
True
Let t(k) = -10*k - 2. Let j be t(-5). Suppose o = -4, -2*y + o + j = -0*o. Is y composite?
True
Suppose 0 = 13*w - 8*w - 3615. Is w prime?
False
Suppose 2*u - 155 = -3*p, -4*u + 4*p = -0*u - 320. Is u a composite number?
False
Suppose -4*w = -7*w. Suppose w*b + 596 = 4*b. Is b composite?
False
Let g(k) = 225*k**2 + 3*k - 7. Is g(3) prime?
True
Suppose -39*l = -40*l + 955. Is l composite?
True
Let v be 1/5 + 32/(-10). Suppose -2*x + 36 = -0*x. Let w = x + v. Is w a prime number?
False
Suppose -14 = -2*y + 3*f, 2*f + 3*f + 26 = 4*y. Supp