 u = 13 + -8. Suppose -5*t = -10, 4*v = t - 3 + 1. Suppose u*k - 67 = -g, v = -6*k + 2*k. Is g prime?
True
Suppose 0 = y - 2*l - 5 - 10, -4*l = y + 3. Suppose 11345 = -y*b + 14*b. Is b prime?
True
Let j be 68/7 - (-8)/28. Suppose -v + j = 4*v. Let w = v - -35. Is w a composite number?
False
Let w(b) = b**2 + b - 2. Suppose -4*d - f - 16 = 0, 5*d + 2*f - 3*f + 11 = 0. Let s be w(d). Suppose 0 = 5*x - r - 780, -s*x + 0*x = -r - 625. Is x composite?
True
Suppose 197 = 2*m - 5*j, -3*m = m - j - 439. Let n be (-8)/(-14)*5537/14. Suppose m = o - n. Is o a composite number?
False
Suppose 4*v - 5*s = 18217, -4*s = v - 648 - 3901. Is v prime?
False
Let d be (-2)/(-3) + 342/(-27). Is 3/d - (-12971)/28 prime?
True
Let h(x) = -535*x**2 - 4*x + 7. Let k be h(2). Let v = -1132 - k. Is v a composite number?
False
Let o(t) = 711*t**2 - 4*t + 4. Let r be o(1). Suppose -5*f = -20, -q - 5*f = -0*q - r. Is q a prime number?
True
Suppose -60*f = -64*f + 47980. Is f a composite number?
True
Let u = 17 - 15. Suppose 3*y = -u*y. Suppose 2*p - 1886 = -y*p. Is p a prime number?
False
Suppose -l - 5*a = -0*a - 24, 24 = l - a. Is 6/l*74*14 prime?
False
Let o(s) = 701*s**2 + 6*s - 27. Is o(4) a composite number?
False
Let b(a) = 2 + 243*a**2 - 3 + 235*a**2 + 2. Is b(-1) composite?
False
Let o be (-265)/(-55) + (0 - 4/(-22)). Let h(q) = 9*q**2 - q + 3. Is h(o) composite?
False
Let o(f) = 21*f**2 - 27 + 26 + 0*f - f - f. Suppose -2*c - 8 = -5*v, v + c + 5 = 4*v. Is o(v) a composite number?
False
Suppose 14*q + 264 = 6*q. Is (-44)/q + 233/3 composite?
False
Let v = 2463 + 783. Suppose 3*u + 2*n = -0*n + v, 3*u = -5*n + 3246. Is u prime?
False
Suppose 5*v + 2*g = -3 + 10, 2*v + 6 = -3*g. Suppose v*m - 174 = -39. Suppose -m = -s - j - 0*j, -j = 4*s - 174. Is s a composite number?
False
Suppose w - 92 = 4*b, -246 = -0*w - 3*w + 2*b. Let x = w + 573. Suppose -4*g + x = -g + 4*y, 2*y + 623 = 3*g. Is g a prime number?
True
Let z(a) = 618*a**2 + 2*a + 1. Is z(2) a prime number?
True
Let b(v) = -v**3 - 2*v**2 + v + 1. Let n be b(-2). Let i(s) = 2*s**2. Let x be i(n). Is x/(2 + 64/(-33)) a composite number?
True
Suppose 0 = -3*f - 51 - 24. Is 10/f - (-6951)/15 a composite number?
False
Let n be (10/6)/(-5)*3. Let m(p) = -2608*p**3 + p**2 + 2*p + 2. Is m(n) a composite number?
False
Let p = 1414 - -685. Is p a prime number?
True
Let q(r) = 16*r**3 + 3*r**2 - 13*r + 5. Is q(8) prime?
False
Suppose 60*s - 31*s - 164343 = 0. Is s composite?
True
Suppose 5*t + 552 = 9*t. Suppose 2*k + 2*c + t - 1926 = 0, 4*k + c - 3579 = 0. Suppose -k = -3*x + 566. Is x a prime number?
True
Suppose 5*d - 665 = 10*d. Let z = d - -384. Is z a prime number?
True
Let r(s) = 56*s - 15. Let t(v) = -2*v. Let o(m) = -m + 2. Let f be o(5). Let k be t(f). Is r(k) composite?
True
Suppose -o = -10 + 3. Let h(m) = 13*m + 7. Let v be h(o). Suppose x = 3*x - v. Is x composite?
True
Suppose -5*k = -r - 7, 4*r = -0*r + 2*k + 8. Let c(v) = v**2 - v**r + 57 + 134 - 42. Is c(0) composite?
False
Let a(q) = 20*q**2 + 4*q - 18. Let k be a(-10). Suppose 0 = -c + 3*c - k. Is c composite?
False
Let m be (-81)/(-18)*(2 - 0). Is 2 - (m/3 - 767) a composite number?
True
Suppose -5*w = 4*o - 5472, 14 - 2 = 3*w. Is o a composite number?
True
Let d be (-88500)/(-70) + 2/(-7). Suppose 0 = 3*w - 4 - 2, 3*w = 5*o - d. Is o a prime number?
False
Let a be (-8*1)/2*1. Let p(i) = 51*i + 5. Let v(h) = -151*h - 14. Let s(u) = 17*p(u) + 6*v(u). Is s(a) prime?
True
Let f(l) be the second derivative of -283*l**3/3 - 9*l**2/2 + 39*l. Is f(-6) a composite number?
True
Let p = 184 + -74. Suppose 0 = 2*w + 2 + p. Let n = w + 87. Is n a prime number?
True
Let p be (0 - 0) + -1 + -2 - -3. Suppose -3*o + 243 + 228 = p. Is o composite?
False
Let f be (-4)/(16/(-10))*4. Suppose 6*q = 4*q + f. Suppose -755 = -q*x + 30. Is x prime?
True
Let k = -180 - 128. Let g = k - -601. Is g a composite number?
False
Is -10378*((-200)/(-32) + -6)*-2 a composite number?
False
Let w be (-29)/(-9) + -3 + (-16)/(-9). Suppose -z + 6*z = -w*i + 1255, -784 = -3*z + 5*i. Is z a composite number?
True
Let h be (5/(30/4976))/((-4)/(-54)). Suppose 5*q + 2*x - 16769 = h, 0 = -4*q + 2*x + 22354. Is q a prime number?
True
Suppose -4*m + 4*r = m + 52, -4*m = -2*r + 44. Let h(j) = -j + 16. Let y be h(m). Suppose 2*k = 6*k - y. Is k a composite number?
False
Let w(u) = u**2 + u + 3. Let m be w(0). Suppose 0 = -3*b - 2*i + 548, -50 + 975 = 5*b + i. Suppose -b - 261 = -m*k. Is k a prime number?
True
Let u(n) = -n**2 - 5*n - 4. Let q be u(-4). Let l(x) = -x - 5. Let v be l(-5). Suppose -5*j + 32 = -q*g + g, v = 4*g - 3*j - 82. Is g composite?
True
Suppose 57*o - 999146 + 563 = 0. Is o a composite number?
False
Suppose 27*d = 837709 + 224498. Is d prime?
True
Suppose d = 9*g - 10*g + 4504, 0 = g + 4*d - 4519. Is g a composite number?
True
Let u(r) = -r. Let k be u(-5). Let m(v) = -7*v**2 + 2 + 5*v**2 + 3*v**2 + 4*v**2. Is m(k) a prime number?
True
Is (1 + -3)/(26/(-541073)) composite?
False
Let u(n) = -5*n + n + n**2 + 1 + 10*n. Let m be u(-8). Let r = m + 70. Is r composite?
True
Let d = -600 - -1970. Let c = -529 + d. Is c prime?
False
Suppose 5*w - 6751 - 8484 = 0. Is w a composite number?
True
Let z(u) = u**2 + 2*u + 3. Let d be z(-1). Is 1*16/(-12)*(-267)/d a prime number?
False
Let t = 425 - 790. Suppose 3104 = 9*j - 2440. Let x = t + j. Is x a prime number?
True
Suppose -4*i + 119 = 47. Let j be 5793/5 + i/(-30). Let n = 1721 - j. Is n prime?
True
Let l(x) = 111*x**2 - 5*x + 3. Is l(4) prime?
True
Let a(o) = -1340*o - 73. Is a(-3) composite?
False
Let n be (-24)/9*(1 - 4). Suppose -5*u - g - 8 = 0, 2*u - 3*g + 11 = -6*g. Is (n/4 - -56) + u a composite number?
True
Suppose 0 = 7*l - 16327 + 4182. Is l a prime number?
False
Let g = 9 - 15. Let j(n) = -102*n + 7. Is j(g) prime?
True
Let u(y) = -y**3 - y**2 + y. Let z(j) = 6*j**3 - 6*j - 3. Let a(i) = 4*u(i) + z(i). Let c be a(4). Let g = 5 + c. Is g composite?
True
Suppose -14 = 2*a + 5*j, 4*a + 3*j = -a - 16. Is (-3 - (-490)/(-4))/(a/4) a prime number?
True
Let v(j) = 3*j + 15. Let h be v(-4). Is (-1 + h - -1)/(4/1388) a composite number?
True
Suppose -3*w + 16889 = -4*o + 138024, -w - 90850 = -3*o. Is o a composite number?
True
Suppose 2*d = -6, 3*n - 1683 = -d - d. Is n prime?
True
Let c(b) be the third derivative of -11*b**4/24 - 8*b**3/3 - b**2. Let k be 8 - 7 - (-14)/(-1). Is c(k) a prime number?
True
Suppose -c - 58 = 1435. Let j = -1066 - c. Is j prime?
False
Let g(t) = t**2 + 497 + 2*t**2 + 2*t**2 - 4*t**2. Suppose -3*y - 2*y = 0. Is g(y) a composite number?
True
Let l(g) = -g**3 - 14*g**2 - 11*g + 27. Let y be l(-13). Let u(j) = 835*j**2 - 6*j + 2. Is u(y) prime?
False
Suppose -8156 = 8*y + 1884. Let v = -416 - y. Is v composite?
False
Suppose 93466 = 22*z - 9120. Is z prime?
True
Let t be (3/4)/((-17)/(-15096)). Suppose g - 4*k = t + 1140, g + 5*k = 1779. Let h = 2603 - g. Is h composite?
False
Suppose 27*q - 28*q + 2069 = 3*u, 2*u - 4*q = 1370. Is u prime?
False
Let a(q) = 360*q**2 - 18*q - 35. Is a(-6) a prime number?
True
Suppose 0 = -0*g - 4*g + 4. Let c(b) = b**3 + 2*b**2 - 1. Let y be c(g). Is 7/(4/(24/y)) prime?
False
Let z(w) = 2190*w**2 - 33*w + 119. Is z(4) a composite number?
False
Is -31358*((-24)/(-16) + -2) prime?
True
Let p be -4*((-861)/238 - 4/(-34)). Is (p + 223)*1/9*3 a prime number?
True
Let p(i) = 2 + 3*i - 5*i**2 + 15*i**2 - i**3 - 3*i. Let z be p(10). Suppose -2*q + 4*o + 489 = q, 0 = z*o. Is q prime?
True
Suppose -56*g - 3*i = -53*g - 2421, i = -5*g + 4043. Is g a composite number?
False
Is (5 + -7 - -3)*1213 prime?
True
Let q be 756/(-44) - 6/(-33). Let l = -243 - -158. Is 892/10 - q/l prime?
True
Let y(k) = -5 - 45*k + 12*k + 10*k. Let l be y(3). Let w = -37 - l. Is w a prime number?
True
Suppose -4*m = -8*m - 56. Is m/(-7)*-1 + 1 + 558 prime?
True
Suppose -24*t + 27*t = -342. Let q = 511 + t. Is q a composite number?
False
Let v(a) = 38*a**2 - 16*a - 8. Let c be v(-6). Let u = c - 413. Is u a composite number?
True
Suppose 0 = -2*t - 3*t + w + 16795, -2*w - 16795 = -5*t. Is t a composite number?
False
Suppose k - 13034 - 6127 = -2*m, -2*k = m - 38316. Is k composite?
False
Let w(i) = 82*i + 5. Let p be -3 + 8/6*3. Is w(p) composite?
True
Let o = -2270 - -4941. Is o composite?
False
Suppose -4*o -