ime?
True
Suppose 15 - 3 = 2*h. Suppose h*y = 2*y + 76. Is y a composite number?
False
Let u(a) = -2*a**3 + 2*a**2 + a. Let m be u(-1). Let s be (-30)/(-8) + 1/4. Suppose -r + m*h + 26 = 0, -s*r - h = -4*h - 131. Is r a prime number?
False
Let g(j) = j**2 + 10*j + 11. Let o be g(-9). Is 3/(-6)*o - -128 composite?
False
Let r(f) = 37*f. Let u be r(2). Let j = u - 52. Let d = j - -11. Is d prime?
False
Is (-1)/((-2)/1172*2) composite?
False
Suppose 0 = s + 2*y - 596, -188 + 784 = s + 5*y. Suppose -4*m = -0*m - s. Is m a composite number?
False
Let w(q) = q**3 + 1. Let m(c) = -3*c**3 + 2*c**2 + 9*c - 7. Let a(d) = -m(d) - 2*w(d). Is a(6) composite?
True
Let v be 1 + -1*3 + 6. Let z(s) = -4*s**2 + 4*s + 2. Let y(d) = d**2 + d. Let i(u) = 3*y(u) + z(u). Is i(v) composite?
True
Let v be 51 + (3 + -1)/1. Let x = 166 - v. Is x a prime number?
True
Suppose 4*r - 509 = 547. Let d = r + -53. Is d prime?
True
Is (322/(-3))/1*(-36)/24 prime?
False
Let p(k) = -k**3 + 3*k**2 + 3*k - 3. Let i be p(4). Let v(b) = 2*b**2 + 8*b - 7. Is v(i) composite?
True
Let z(u) = u**2 - 2*u + 1. Let q be z(3). Suppose q*x - 4*r - 3104 = -380, 697 = x - 5*r. Is x composite?
False
Let i be ((-46)/4)/(5/(-90)). Suppose 0 = c + 2*x - i, 1059 = 5*c - 2*x - 0*x. Is c a prime number?
True
Let p(o) be the second derivative of 2*o + 0 - o**2 - 13/6*o**3. Is p(-3) prime?
True
Let h(x) = x**2 + 5*x - 6. Let m be h(-6). Suppose 4*r + m*r = 28. Is r composite?
False
Let y(k) = -200*k. Let a be y(-4). Suppose 3*p - 2*p - a = 3*t, -t = 1. Suppose 2*w - 2*g - 528 = 0, 0 = 3*w - 7*g + 3*g - p. Is w a composite number?
True
Is 1/(3/(-1298))*3/(-2) a prime number?
False
Let n(y) = y**3 + 9*y**2 + 7*y - 4. Suppose -2*o - u = 16, -o - u + 20 = -5*o. Is n(o) a composite number?
True
Let t = 1 - -3. Suppose 5*m = -t*g, -m + 0*g = -5*g. Suppose z - 4*j - 26 = m, j + 3*j + 20 = 0. Is z a composite number?
True
Suppose 5*w = -0*w. Suppose r + 22 = 5*i, -6*i + 3*i + 24 = 3*r. Suppose w = i*o + 5*u - 67 - 8, -35 = -5*o + 3*u. Is o prime?
False
Let g(b) be the third derivative of -2*b**2 + 1/6*b**3 + 0 + 37/8*b**4 + 0*b. Is g(2) a composite number?
False
Suppose 5*f - 249 - 1216 = 0. Is f prime?
True
Suppose t + 24 = 2*m - m, 2*t - 47 = -3*m. Suppose 5*h - 96 - m = 0. Is h a composite number?
False
Let g = -18 - -26. Is (325/20)/(2/g) prime?
False
Let l(t) = 3*t**2 + 7 - t**2 - t**2 - 2*t. Let g be l(6). Is g/(-2 + 15/7) composite?
True
Let f(c) = -c**2 + c + 37. Is f(0) a prime number?
True
Suppose 6*u + 10 = 8*u. Let v = 98 - u. Is v composite?
True
Suppose q = 52 + 33. Is q a composite number?
True
Let v(r) = 6*r - 2. Let f(m) = -m + 1. Let y(x) = -9*x + 2. Let l(z) = 3*f(z) + y(z). Let a(t) = 3*l(t) + 5*v(t). Is a(-8) a composite number?
False
Suppose -h + 2445 = 4*h. Is h composite?
True
Let l(u) = -2 + 11*u**2 - 4 - 4 + 3 + 3*u. Is l(-5) composite?
True
Suppose -390 = 4*y + 274. Let i = y + 243. Is i composite?
True
Let u = -1354 - -2067. Is u a composite number?
True
Let w be (-1 - 4*6) + -1. Suppose 5*h + 2*j + 258 = 0, 5*j + 0*j - 213 = 4*h. Let b = w - h. Is b a prime number?
False
Let q = -10 - 5. Suppose 6*o = 3*o - 87. Let s = q - o. Is s a prime number?
False
Let t(b) = 54*b - 7. Let h be t(6). Let j = h + -186. Is j a prime number?
True
Suppose 3*r = -2*r + 40. Suppose 4*f = -3*y + y + r, -2*y + 8 = f. Suppose -53 = y*h - 193. Is h a prime number?
False
Suppose y = -3*y + 24. Let b = 256 + y. Suppose -b = -3*k + 95. Is k a composite number?
True
Suppose 4*k - 4*b - 7 = -b, 4*b = 3*k. Suppose -k*a + 0*a = -92. Is a a prime number?
True
Let j(a) = -118*a - 3. Is j(-13) prime?
True
Let y(b) = -b**3 - 3*b**2 + 11*b + 7. Let m be y(-5). Suppose 0 = -3*a + m*a + 293. Is a composite?
False
Suppose -p - 2*p + 645 = 4*u, p + u - 214 = 0. Is p prime?
True
Let b(n) = 10*n**3 - 4*n**2 + 7*n - 4. Is b(3) a prime number?
True
Let o be (-10)/3*(-6)/5. Suppose -5*c + 0*h = -h - 5, -3*c - o = -2*h. Suppose 0 = -c*u - f + 17, 0*u - f = -u + 13. Is u prime?
False
Let h(o) be the first derivative of -o**4/4 - 2*o**3/3 - o**2/2 + 1. Let i be h(-2). Is 1*14/(0 + i) a composite number?
False
Let q be (-3 + 2)/(3/(-15)). Let g be (-1 - 1) + q + 111. Suppose 0 = p + 5 - g. Is p a composite number?
False
Suppose 5*a - 851 = -4*p, -2*p = 3*a - 7*a + 660. Is a a composite number?
False
Let z(b) = -b**3 + 3*b**2 + 2*b - 1. Let k be z(3). Let x(n) = -n + 5 + 7 + 0*n + 0*n. Is x(k) a prime number?
True
Let j be -121 + 0 + -4 + 3. Let f be (-3 - -1)/(4/j). Suppose -x + f = 2*d, d = 6*d + x - 154. Is d prime?
True
Let o(a) = a**3 - 15*a**2 + 11*a - 2. Is o(15) composite?
False
Let q(m) = 337*m**2 - 3*m + 1. Is q(2) a prime number?
False
Let t be (2*17)/(-2) + 0. Let v = t - -44. Is -2*(v/(-2) + -2) a prime number?
True
Suppose -3*w + z + 234 = 0, 2*z = -7*w + 2*w + 379. Is w a prime number?
False
Let v = -783 - -2134. Is v prime?
False
Suppose 0 = -0*u + u - 3. Let f = -3 + u. Suppose 3*j - 168 + 15 = f. Is j prime?
False
Let m = 6633 - 2050. Is m a composite number?
False
Let k(j) = -2 + 3*j - 1 - 9*j + 4. Is k(-1) a composite number?
False
Let k(s) = -s**3 - 4*s**2 + s + 3. Let g be k(-4). Is (-194 - 8)*1/g prime?
False
Let t(g) = -g**2 - g + 3. Let i be t(0). Is (8 - 2)/i + 31 prime?
False
Let f(i) = -i**2 + 13*i + 1. Let h be (6/10)/(2/30). Is f(h) composite?
False
Let u = -2108 - -3907. Is u composite?
True
Suppose 5*b + 6 + 49 = 0. Let q be 1/3 + b/(-3). Is (2/(q/94))/1 prime?
True
Let q be 16/(-4) + 2 + 23. Suppose -2*d + 397 = -q. Is d composite?
True
Suppose 901 = 2*d + 287. Is d prime?
True
Let z(x) = -4*x + 5. Let d be z(-4). Let i be (-16)/(-10)*(1 + 4). Let q = d - i. Is q a prime number?
True
Let s(f) = f**3 + 4*f**2 + 4*f - 3. Let q be s(-6). Let y = q + 33. Let v = -44 - y. Is v prime?
False
Is (-4 + -137)*(-5)/3 a composite number?
True
Is 929 + (-7 - (-8)/2) composite?
True
Suppose -2*k + 10*k - 47512 = 0. Is k prime?
True
Suppose -4*l = -561 - 787. Suppose -w = -5*r + 398 + 23, w + l = 4*r. Is -2 - (1 + r)*-1 composite?
False
Let c(j) = -6*j**3 + 2*j + 1. Let t be c(-1). Suppose 0*n + t = n. Suppose -3*o + n*o - 266 = 0. Is o composite?
True
Let f(o) = o**2 + o - 1. Let i(v) = -68*v**2 - 7*v + 7. Let r(b) = -5*f(b) - i(b). Is r(2) a composite number?
True
Let o(g) = 4*g - 1. Let l be o(1). Suppose -5*z - 2*c + 126 = -3*z, 0 = l*z + 2*c - 191. Is z prime?
False
Let j be (-7)/(-3) + (-8)/(-12). Suppose -4*q - k = k - 2988, 0 = -j*q + 3*k + 2223. Is q a composite number?
True
Suppose -15*a = -31624 - 104261. Is a a prime number?
True
Let u(a) = 11*a**2 - 2*a + 11. Is u(8) composite?
True
Let l be 18 - (-6)/(-4)*-2. Let m = 45 - 103. Let a = l - m. Is a a composite number?
False
Let b(a) = a**2 + a - 4. Let k be 12/(-18) + (-10)/3. Let m be b(k). Let l(t) = t**2 - 8*t + 7. Is l(m) a prime number?
True
Let f be ((-12)/10)/(6/(-15)). Suppose 3*i - f = -j, 3*i + 2*j - 6 = i. Suppose i = -0*d - 5*d + 335. Is d prime?
True
Let l(k) = -1. Let d(a) = -5*a - 12. Let t(r) = -d(r) + 5*l(r). Suppose -2*b - 2*b - x + 21 = 0, -2*b = 3*x - 3. Is t(b) prime?
True
Let q(h) = -543*h - 2. Is q(-1) a prime number?
True
Let i = -18 + 33. Suppose 2*z - i = 119. Is z a prime number?
True
Suppose q = -3*q + 12, 3*q = -2*b + 31. Suppose b = c - 11. Is c a prime number?
False
Suppose -a - 1113 - 981 = -h, -4*h = -3*a - 8380. Is h prime?
False
Let y(z) = -z**3 + 10*z**2 + 4*z + 10. Is y(9) composite?
False
Let i(a) = -a + 1. Let r be i(-3). Suppose -r*v = 4*b + 180, -5*b + 2*b + 173 = -4*v. Let g = v - -279. Is g prime?
False
Let u = -12 - -17. Let m(w) = w**3 - 2*w**2 - 5*w - 7. Is m(u) a composite number?
False
Let v(b) = b**2 - b - 5. Is v(10) a composite number?
True
Let i(g) = 4*g - 4. Let f be i(2). Suppose -2*y - 1 = -y, 0 = -f*u + 5*y + 1201. Is u a composite number?
True
Suppose 4*n - 10 = 2*f, 5*f = 5*n - 3*n - 25. Let i(s) = 7*s**2 - 3*s**3 + 1 + 2*s**3 + n*s**2. Is i(3) prime?
True
Suppose 1500 = t + 3*t + 2*z, 4*t + 3*z - 1496 = 0. Is t a composite number?
True
Let g(u) = 6*u**2 + 2*u - 3. Let f = 14 + -12. Is g(f) a prime number?
False
Let h be -3 + 61 + -3 - -2. Suppose 54 = 3*g - h. Is g a prime number?
True
Suppose -4*b + f - 321 = -5*b, 5*b + 2*f - 1599 = 0. Suppose z - 3*x - 64 = -b, 3*z - 2*x + 779 = 0. Let