289 = -3*g + n. Suppose g = 5*q - 2*h, 5*h - 59 = -4*q + 17. Is q a composite number?
False
Let m be (-5 - -7) + -3 + 1. Suppose 5*r - 780 = -5*k, 3*r + 4*k + m*k - 463 = 0. Is r composite?
True
Suppose -n + 0*n - 16 = -5*c, -3*c + 18 = -2*n. Let w be 32/n*(-5 + 2). Suppose 0 = -4*v + v + 3*r + 210, -w = -4*r. Is v a composite number?
True
Suppose 0 = -3*c - 3 - 0. Is 2 + (3 - -3) - c composite?
True
Suppose 6*r = -5*r + 2453. Is r prime?
True
Let n(l) = l**3 - 2*l**2 + 2*l - 2. Let k be n(2). Suppose 6*p - k*p = -4. Is 2/(-1) + 36 + p a composite number?
True
Let r be 1 + 0 - 2 - -10. Let q be r/5 + 4/20. Suppose l + q*y - 10 + 0 = 0, 28 = 4*l + 2*y. Is l composite?
True
Suppose -3*m + 5*m + 5848 = 4*i, -i - 5*m = -1451. Is i composite?
True
Suppose -s = -74 - 428. Is s a prime number?
False
Is -1*(-717 - (-1 + (0 - -3))) a prime number?
True
Suppose -h + 62 = h. Is h a prime number?
True
Is (-18)/(-24) + (-1042)/(-8) composite?
False
Let j(g) = g**2 + 9*g + 7. Let q be (-6 - -3)/((-3)/7). Is j(q) composite?
True
Suppose 2 = -5*l + 17. Suppose 6*o - 57 = l*o. Is o prime?
True
Suppose -59 = 5*q - 9. Let c = -5 - q. Suppose z = -5*k + 450, 0 = -2*k - z + c*z + 158. Is k composite?
False
Let x be (-3)/6*4/(-2). Let r be (-6 + x)*(-12)/(-10). Let a = 5 - r. Is a a composite number?
False
Suppose -4*z + 2210 = 246. Is z prime?
True
Is 22 + 0/(0 - -3) a composite number?
True
Let i(o) = -14*o - 5. Is i(-14) a composite number?
False
Let n = -4 + 4. Suppose n = 5*w + 20, 5*b - 28 = -w - 2*w. Let i = b + -2. Is i a prime number?
False
Let f(s) = -8*s + 4*s**3 + s + 9 - 3*s**3 + 7*s**2. Let t be f(-7). Suppose 12 = -2*o + t. Is o prime?
True
Let u(w) = w - 12. Let i be u(7). Let t = 3 - i. Is 15/2 - 12/t prime?
False
Suppose 0*r - 73 = -5*r - 4*b, b = 2*r - 37. Let l = 199 - 104. Suppose l = 2*f + r. Is f prime?
False
Is ((-2)/5)/(5/(-775)) composite?
True
Suppose 0 = -52*u + 58*u - 690. Is u a composite number?
True
Let p = -825 - -2066. Is p a prime number?
False
Suppose 2*s = -36 + 114. Is s prime?
False
Let g(c) = 0*c**2 - 23 - 4 - c**2. Let q be g(0). Let r = -12 - q. Is r a prime number?
False
Let h(j) = -3*j**3 - j**2 + j - 2. Let n be h(3). Let b = n - -189. Suppose -2*m + 3*l = -b, -130 = -3*m - 4*l + 3. Is m a prime number?
True
Suppose -5*d + 6003 = 4*r, 5*d + r - 5989 = 4*r. Is d composite?
True
Let x(m) = -24*m - 5 + 6 + 0. Let i(f) = f + 2. Let t be i(-3). Is x(t) composite?
True
Let b(j) = -9*j**3 - 17*j**2 - 29*j + 22. Let k(p) = -11 + 2*p**2 + 14*p + 4*p**2 + 3*p**2 + 4*p**3. Let f(y) = 3*b(y) + 7*k(y). Is f(-10) composite?
False
Suppose 7*g - 2*g = 115. Suppose -4*c + g = -1. Is c prime?
False
Suppose -2 = 2*w + 6. Let m = 629 + -1190. Is m/(-15) - w/(-10) a composite number?
False
Let w = -249 - -178. Let p = w - -124. Is p a composite number?
False
Suppose 0*d - 4*d + 24 = 0. Suppose d*q - q = -585. Let f = q + 196. Is f a prime number?
True
Suppose -3*p + 123 = -n, p - 33 = 2*n + n. Is p + (-3)/(-2 - -3) composite?
True
Let h(p) = -p**3 + p + 2. Let g be h(-2). Suppose 3*z = g*z - 65. Is z composite?
False
Suppose -2*l = l. Suppose 7*f - 5*f - 30 = l. Is f composite?
True
Let v(x) = 7*x. Suppose 0 = -o - f - 9, -2*o - f = 14. Let g be v(o). Let t = g - -250. Is t a composite number?
True
Let u(r) = r**3 + 5*r**2 - 5*r + 8. Let c be u(-6). Suppose -201 = -5*k + c*k. Is k composite?
False
Suppose -4*m = -3*b - 96, -2*b - b = 2*m - 48. Suppose -v = 3*x - m, -x = -v - 5*x + 27. Is v prime?
False
Let k be 2/1 + -16 + 8. Let x(p) = -3*p + 4. Is x(k) a composite number?
True
Let x be (2 - 5) + 22/2. Suppose 0 = 4*b - 20 + x. Let o(i) = i**3 + i**2 + 3*i + 4. Is o(b) composite?
True
Let o(l) = 385*l**3 + 2*l**2 - 5*l + 8. Is o(2) composite?
True
Suppose -5*n + 0*n = 3*p + 66, -21 = n - 2*p. Let z be (-10)/n - (-356)/6. Suppose v - 7 = z. Is v a composite number?
False
Let w(i) = -2*i**2 + i - 1. Let k(m) = -m. Let d(y) = -2*k(y) - w(y). Is d(3) a composite number?
True
Let g(y) = y + 8. Let k be g(-8). Suppose k*n + 3*n = 15. Suppose 3*t - 4*m - 203 = 0, -n*t - 3*m = -4*m - 344. Is t a prime number?
False
Let j = 25 + -15. Let h be ((-6)/(-3))/((-4)/(-830)). Suppose -5*g + j = -h. Is g a composite number?
True
Is -6 + 332 + 2 + (0 - 2) prime?
False
Suppose q = j + 3846, 6*j = -3*q + 2*j + 11545. Is q composite?
False
Let p(q) = q**3 + 6*q**2 - 6*q + 6. Let r be p(-7). Let d be (-1 - r)/1 - -99. Suppose -d = -2*u + 3*l, -u + 48 = -l - 2*l. Is u composite?
True
Let d be ((-106)/(-4))/(1/2). Let x = 144 - d. Is x prime?
False
Suppose 3*h - 3*y = -174, -h - y = -4*h - 178. Let t = h - -347. Is t a composite number?
True
Suppose v = 4, 4*y - 7*v + 3*v - 360 = 0. Is y a prime number?
False
Let a(j) = -10*j - 5. Let k(t) = 31*t + 14. Let i(w) = -11*a(w) - 4*k(w). Suppose -5*v - 6 = -4*r, -4*r + r = -5*v - 7. Is i(r) composite?
False
Suppose -3*s + 30 = h, -5*s - 22 = h - 2*h. Suppose -2*y = 2*t - y - h, -69 = -4*t + 3*y. Is t a prime number?
False
Let g = -3 - -25. Is g a prime number?
False
Let g = 662 + -165. Suppose -4*y + g + 243 = 0. Is y a prime number?
False
Suppose 21 + 42 = -3*g. Let d = g + 40. Is d composite?
False
Is (-3)/5 + (-11337)/(-30)*4 prime?
True
Is 1*-4 - (-376 + -1 - -2) a composite number?
True
Let k = -319 - -457. Suppose -3*y = -y - k. Is y a composite number?
True
Let o = -5 + 9. Suppose 4*i - 32 = o. Is i a composite number?
True
Suppose 0 = -0*x - 4*x - 5*q + 1965, 2*q = 3*x - 1445. Is x a prime number?
False
Let d(w) = w + 15. Let x be d(-13). Suppose 2*m + x*b - 59 = 111, -3*b + 6 = 0. Is m a composite number?
False
Let c(t) = 4*t**2 + 1 - 3*t**2 + 4*t - 2*t**2. Let o be c(3). Suppose o*n + 16 = 56. Is n a composite number?
True
Let o = 5 + -3. Let x(t) = -87*t. Let n be x(7). Is n/6*o*-1 a composite number?
True
Suppose 0*m + 2*m = c - 176, c + 2 = 0. Is m*1/2*-2 a prime number?
True
Let n = -19 + 10. Is (n/(-2))/(6/8) a composite number?
True
Suppose -6*a + 3*a - 9 = 0. Let y(q) = -4*q + 1. Let g be y(-1). Let i = g + a. Is i a composite number?
False
Let a(z) = z**3 - 16*z**2 - 10*z + 5. Is a(18) composite?
True
Suppose 4*b = -b + 350. Suppose b + 290 = 4*v. Suppose 121 = 4*l + 3*x, 0 = -3*l - 6*x + 3*x + v. Is l a composite number?
False
Let j = 308 - 73. Suppose j = 3*m + o, 5*m + 2*o - 387 = -2*o. Is m prime?
True
Let n(p) = -4*p**3 + 1. Let u be n(1). Is (-4)/(-6) - 553/u a composite number?
True
Suppose 0 = 2*o - 8 - 44. Is ((-10)/(-4))/(1/o) a prime number?
False
Let x(d) = -d - 10. Let t be x(-7). Let f = t + 3. Suppose 4*o - o - 42 = f. Is o prime?
False
Let n = 7 - 5. Suppose 2*x + 26 = 5*h, -5*x + 5*h - 103 = n*h. Let b = 30 - x. Is b a composite number?
False
Let n = -1277 + 2286. Suppose -t + n = 398. Is t a prime number?
False
Is (-14)/(-21) + (-580)/(-3) prime?
False
Is (-1917)/(-2) + -1 + 6/4 a prime number?
False
Suppose 0 = -3*s + 9, 5*i - 2*s = -0*s + 14. Suppose -12 = -4*t + 4*m, 4*t - m = -6*m + 12. Suppose -5*k + t*h = -10*k + 114, i*h - 54 = -2*k. Is k composite?
True
Suppose 4*r - 263 = 3*r - 3*z, -z = -4. Is r composite?
False
Suppose g - 4*g + 15 = 0. Suppose -g*f + 40 = -f. Is f prime?
False
Let s = 32 + -72. Is (s/12)/((-2)/39) prime?
False
Let f = 2255 + -1348. Is f composite?
False
Let a = 122 - 53. Let c = 2 + a. Suppose p - 18 = c. Is p a prime number?
True
Let p(s) = 141*s**2 - 5*s + 3. Is p(2) a composite number?
False
Let t(s) = 123*s + 4. Is t(3) a composite number?
False
Let o(g) = 55*g**2 + 3. Is o(2) a composite number?
False
Let f(h) = -5*h**2 + 1. Let w be f(-1). Is (w/(-6))/((-8)/(-420)) prime?
False
Suppose -5*t - 25 = 0, -o - 3*t - 496 + 5102 = 0. Is o prime?
True
Let l = 958 + 170. Suppose -4*n - 15 = -n, 4*r + 4*n = l. Is r a prime number?
False
Let x = 6 - 8. Let i(c) = 7*c**2 + c + 1. Let a be i(x). Suppose -a = -u + 26. Is u prime?
True
Suppose 2 + 13 = -3*i, 5*z = 3*i + 25. Let c(g) = 2*g**2 - 5*g - 3. Let v be c(6). Suppose -5*x + z*x = -v. Is x a prime number?
True
Let y(k) = -9*k**3 - 14. Let n(g) = 4*g**3 + 7. Let w(b) = 7*n(b) + 3*y(b). Is w(0) a composite number?
False
Let j(a) = 3*a + 1. Let u be j(-2). Let f be ((-4)/1)/8*-2. Is f + 91 + 15/u a composite number?
False
Suppose 5*u - 378 = 17. Is u a prime number?
True
Suppose -4*s + 2*b + 316 = 0, -5*b 