me?
False
Suppose -4*m - o = -9*m + 558, 2*m - 3*o = 231. Is m a prime number?
False
Let s be (-45)/20*24/(-9). Is -14*(51/s)/(-1) prime?
False
Let p(n) = -n**3 - 4*n**2 + n - 2. Let w be p(-4). Let u(s) = -s**3 - 7*s**2 - 7*s - 6. Let t be u(w). Is (-79)/(1/(-1 + t)) prime?
True
Let p = -932 - -1321. Is p prime?
True
Let x(s) = s**2 - 8*s + 16. Is x(15) a composite number?
True
Is (-79218)/(-189) - 1/7 prime?
True
Let a(d) = 2*d**3 - 5*d**2 - 6*d + 2. Suppose -3*m - f + 25 = 4*f, 2*m + 5*f = 20. Is a(m) prime?
True
Let z(m) = 0 + 5 - m**3 - 1 - 5*m**2 + 5*m. Let r be 1/(-6)*-4 - (-184)/(-24). Is z(r) a prime number?
True
Let t(i) = i**3 + i**2 + i + 3. Let x be t(0). Suppose -j - x - 5 = 0. Let g(k) = -k**3 - 4*k**2 + 6*k + 3. Is g(j) a prime number?
True
Suppose 8*x = 10*x - 1664. Let d = x + -497. Is d prime?
False
Let i = 145 + 336. Is i composite?
True
Suppose -1933 = -5*n + 4*s, 6*n + s - 1559 = 2*n. Is n a composite number?
False
Suppose 0*g - 16 = -2*g. Suppose 0 = -4*p - 3*w + g*w + 304, -146 = -2*p + 4*w. Suppose 5*y - p = -6. Is y a prime number?
False
Suppose 0 = l + 1, 0 = 2*u + 17*l - 13*l - 7198. Is u a composite number?
True
Let a(g) = -g**3 + 9*g**2 + 13*g + 9. Let z be a(10). Suppose 5*p = 11 + z. Is p a prime number?
False
Let c = 45 - 31. Is c a composite number?
True
Let r(i) = 18 + 0*i - 37 - 4*i. Is r(-13) a prime number?
False
Let l be 2/8 - 3105/(-12). Suppose 5*a - l = -4*q + 92, -3*q + 272 = -5*a. Is q a prime number?
True
Suppose 1096 = 4*d + 3*v, 2*v + 1273 - 451 = 3*d. Is d a prime number?
False
Let s be (6/9)/((-6)/(-4302)). Is (-6)/18 + s/3 a composite number?
True
Let r = 0 - 0. Suppose 6*g - g = r. Let a = g + 3. Is a composite?
False
Suppose 2*m + 4 = 14, 4*a - 5*m + 477 = 0. Let d = a + 216. Is d prime?
True
Let n = 383 - 160. Is n prime?
True
Let k be (-6)/(0 - 2) + 2. Suppose 3*r = -k*o + 83, 4*r - 3*o - 76 = -o. Is r composite?
True
Is (0 - (-1)/1)*3829 a composite number?
True
Suppose 4*i + 16 = 0, -4*i + 234 + 2633 = 3*z. Is z a prime number?
False
Let n(h) = 135*h**2 + h. Let f be n(-1). Suppose g + 45 = f. Is g composite?
False
Let x(h) = -5*h + h**2 + h**3 + 7 + 4*h - 5*h**2 + 2. Is x(7) a prime number?
True
Let o = 0 - 2. Let b = 2 + o. Suppose 5*j - 239 - 146 = b. Is j prime?
False
Suppose -5*c - 2*k - 37 = 0, -5*c = k + 11 + 30. Let m(p) = -2*p - 2. Let x be m(c). Let i = 29 - x. Is i composite?
False
Is 6278/14 + 4/7 a composite number?
False
Suppose 32 + 118 = 6*t. Is t composite?
True
Suppose -5 = 5*h, 2*l - 4*h + h - 5141 = 0. Is l composite?
True
Let k be 2/(-1) - 91/(-7). Let x = 30 - k. Is x composite?
False
Suppose -6*x = 124 - 928. Is x a prime number?
False
Suppose -x = q - 2 - 4, -x = 2. Let n(d) = -3*d + 3*d + 0*d**2 + 7 - 3*d - 7*d**2 + d**3. Is n(q) prime?
True
Let u(c) = -3*c**2 + c**2 + 4*c**2 - 3 + 0*c + 9*c. Is u(-8) a prime number?
True
Let m be (-1)/(-4) - 4615/(-52). Suppose 5*c - 384 = -m. Is c composite?
False
Let p be -1 + 1 - -2 - -11. Let l = -9 + p. Suppose s + 4*x - 50 = -s, -l*x + 4 = 0. Is s a composite number?
False
Suppose 4*s + 4 = j, -2*s = -3*j - 2*j + 20. Suppose 6 = -j*f - 2. Let d(g) = -3*g**3 - 2*g**2 - g + 1. Is d(f) prime?
True
Let c = 302 + -65. Is c prime?
False
Let v = 8 + 2. Let a be 4/20 + (-62)/v. Let b(w) = w**3 + 6*w**2 - 5*w - 8. Is b(a) a prime number?
False
Is (-3)/6*(2 + -4656) composite?
True
Suppose 14058 = 5*q + 13*q. Is q a prime number?
False
Let l(m) = -m**2 - 12*m - 11. Let w be l(-10). Let u(s) = s + 4. Is u(w) a composite number?
False
Suppose 4*t + 0*h + 3*h - 60 = 0, -36 = -2*t - 3*h. Suppose v - 197 = -3*x + x, -t = -4*x. Is v prime?
True
Let r = -137 - 60. Let j = r + 340. Is j composite?
True
Let n = -4 - 0. Let p = n + 4. Suppose p = -3*m - 0*m + 93. Is m a composite number?
False
Suppose -k - 3*t = -0*k, 0 = -4*k + 5*t - 17. Is (-14)/(-21) + (-163)/k prime?
False
Let f(s) = -s**2 - s - 1. Let v(r) = -3*r**2 - 5*r - 4. Let g(q) = 2*f(q) - v(q). Let z be g(-4). Suppose -u + 31 + z = 0. Is u composite?
False
Is -41*(-1)/(-3)*(-42)/2 prime?
False
Is 123*((-35)/(-15) - 0) a prime number?
False
Let f be -2 + 1 - (2 - 2). Is 858/(-3)*f/2 a composite number?
True
Suppose 5*r - 10 = 4*m, -r + 4*m + m = -2. Suppose r*q = -q + 381. Is q prime?
True
Let y(f) = -12*f - 18*f - 6*f. Let p be y(-2). Suppose -6*z = -2*m - z + p, -2*m - 2*z = -58. Is m composite?
False
Suppose -3*t + 271 = 5*p, 90 = 5*p - 5*t - 165. Let j = 156 - p. Is j a composite number?
False
Is 7560/12 + -2 + 3 composite?
False
Let r(t) = -97*t - 3. Let z be r(-3). Let x = -167 + z. Is x prime?
False
Suppose -4*o - s = -14585, 2*o = -3*s + 2*s + 7291. Is o a composite number?
True
Let j(v) be the third derivative of v**5 - v**3/6 + v**2. Is j(1) a prime number?
True
Suppose 9*w = 5*w + 1868. Is w a composite number?
False
Let h = -3 + 3. Suppose 4*i - 3*m - 67 = h, -5*m + 1 = -i + 5. Is i composite?
False
Suppose b = -5*w - 7, -6 = 3*w - 0*w. Let t be 7 + 0 - b/3. Is (3/t + -1)*-22 composite?
False
Suppose 2*r + 0*r - 1114 = 0. Is r a prime number?
True
Suppose -3*w + 171 = -c + 1028, -c + 4*w = -853. Is c a prime number?
False
Suppose -2*w + 4 = -0*w. Suppose -y + 2*a = -14, -a - w*a - 15 = 0. Suppose b + 2*s = s + 258, y*s = 4. Is b prime?
True
Let n(p) = 34*p**2 + p - 1. Let i be n(1). Let m be (-15)/10*4/(-3). Suppose 4*j = -5*k + i, -m*k - j = 4*j - 17. Is k composite?
True
Suppose -2*b + 585 = -393. Is (-4)/2*b/(-6) a composite number?
False
Suppose -5*o - 2*a + 29 = 0, 6 + 5 = 2*o + a. Let j(y) be the third derivative of y**5/60 + y**4/12 - 2*y**3/3 + 2*y**2. Is j(o) prime?
True
Let t(x) = x**2 + 3*x - 4. Let a be t(-4). Suppose 0 = -a*i - 2*i + 138. Is i composite?
True
Suppose -5*c = z + 5 - 17, 0 = -4*z + 2*c + 4. Let l(h) = 3*h - 3. Let j be l(z). Suppose 4*t + 1 + 105 = j*s, 4*t + 174 = 5*s. Is s prime?
False
Suppose a = -z - z + 1481, -1481 = -a + 4*z. Is a composite?
False
Suppose 2*k - 6 = -0*k. Suppose 173 = k*u - 2*j, j = 4*u - 251 + 17. Is u prime?
True
Suppose -1690 = -3*w + 2*s, 0 = -2*w - 3*s + 248 + 870. Is w prime?
False
Suppose 14 = 3*j - 40. Let r(i) = 2*i - 32. Let f be r(15). Is (-59)/f + j/12 prime?
True
Let l(t) = 192*t + 4. Let o(h) = -48*h - 1. Let n(q) = 2*l(q) + 9*o(q). Is n(-4) composite?
False
Suppose 4*a - 509 = 5*n, -5*a - 2*n + 4*n + 649 = 0. Is a a composite number?
False
Suppose -4*r = -2*u - u + 21, -3*u = 5*r + 6. Suppose 14 = f + 4*b, 5*b = 4*f + 3 + 4. Suppose f*l + u*l = 115. Is l a composite number?
False
Let v = 13 - 8. Suppose -4*l - v*m + 645 = 0, 4*l - m - 2*m - 605 = 0. Is l prime?
False
Let x = -401 + 141. Let u = x + 136. Let n = u + 243. Is n a composite number?
True
Suppose -5*j + 1185 = -2*o, 0 = -5*j - 0*j + o + 1180. Is j composite?
True
Let n(d) = -13*d**3 - 38*d**3 + d + 3 - 2 - 26*d**3. Is n(-1) a composite number?
True
Let s(d) = 27*d**2 + 10*d + 4. Is s(-9) a prime number?
False
Let o be (294/(-15))/(2/(-10)). Let q = 247 - o. Is q a composite number?
False
Let i be 54/(-7) + 6/(-21). Let o = i + 8. Suppose -4*m + 4 + 52 = o. Is m a prime number?
False
Let x be ((-1)/(-2))/((-6)/12). Let v be 2*x - (-5 - -5). Is (-60)/v*(-1)/(-3) prime?
False
Let r(x) be the third derivative of -139*x**5/120 + x**3/6 + x**2. Let u(s) be the first derivative of r(s). Is u(-1) composite?
False
Let c(q) = -53*q + 2. Suppose 2*t + 25 = -3*t. Is c(t) composite?
True
Let b = 113 - 76. Is b prime?
True
Let w(d) = -4*d**3 + 5*d + 2*d**3 + 3*d**3 + 1 - 5*d**2. Let c be w(4). Suppose c*x - 363 = -2*o - 32, 2*x + 4*o - 126 = 0. Is x a prime number?
True
Suppose o - 2*j = 65, -7*j - 56 = -o - 2*j. Is o prime?
True
Let u = -7 - -4. Let o = u + 18. Is o a composite number?
True
Suppose 0*m = 3*m. Suppose h - 2 = d - 13, -4*h + d - 29 = m. Let a(z) = -20*z + 7. Is a(h) a composite number?
False
Let o = 13 - 8. Suppose -4*i = 4*w - 24, 3*i - o*w - 6 = -i. Let b = 33 + i. Is b composite?
False
Suppose -w - 72 = -y - 0*y, -5*y + 315 = 4*w. Is y prime?
True
Let c(g) = g**2 - 3*g - 3. Let m be (3/(-2))/((-30)/(-280)). Is c(m) prime?
False
Let l = 9 + -7. Suppose -s + 17 = 3*i, -111 + 26 = -5*s - i. Let u = s - l. Is u a prime number?
False
Let k(l) = 2*l**3 + l**2 + l - 2. Let v be k(2). Let m be 1/(-2) + 17/(-2). Let d = v + m. Is d prime?
True