 u - b = 1, -3*u - 2*b = u - 22. Suppose -3*k - l + 1296 = 2*l, -427 = -k + u*l. Is k composite?
False
Let f = 14 - -117. Let p = f + -16. Is p composite?
True
Suppose 780 = -2*o + 6*o. Suppose 3*l + 3*h - o = 0, 6*l - 2*l + h = 272. Is l a composite number?
True
Is ((-642)/(-4))/((-2)/(-4)) a composite number?
True
Let k be 2*((2 - 3) + 3). Let o = k - -114. Is o composite?
True
Suppose 0 = -v - 4*v + 4*n - 2, 17 = 4*v + 3*n. Let p = 7 - v. Is 1 - -32 - (p + -7) a composite number?
True
Is (-19)/(-114) + 6634/12 prime?
False
Let c = 114 - 56. Is c composite?
True
Let w(v) = -280*v - 87. Is w(-8) composite?
False
Suppose 0 = 2*y + g - 94, y + 5*g = 3*y - 82. Is y a composite number?
True
Let u = 0 - -5. Suppose -2*x = -0*d + d - 49, u*x - 101 = -2*d. Is d a composite number?
False
Let i(u) = -u**2 - 7*u - 7. Let t(r) = r. Let k(a) = -i(a) - 5*t(a). Is k(6) prime?
False
Let x(v) = 23*v**3 + 2*v**2 - 2*v + 1. Let b be x(2). Suppose 0*f + 4*f - 5*s = b, 5*f = -4*s + 226. Is f a composite number?
True
Let m(j) = -381*j**3 + j**2 + j + 1. Let n be (-3)/12 + 12/(-16). Is m(n) a prime number?
False
Let q = 136 - 81. Let r = -10 - -14. Suppose -b - r*b = -q. Is b a prime number?
True
Let u = -3 + 6. Let r(j) = 9 + j - 3*j**3 + 4*j**u - 4*j + 8*j**2. Is r(-7) prime?
True
Suppose -20 = 3*d - 7*d. Suppose -l + 72 = d*c, 2*l - 5*c - 263 = -2*l. Is l a prime number?
True
Let q = -5 + 7. Suppose q*l + 2*o = 72, -2*l + 4*o + 87 = l. Is l a prime number?
False
Suppose 2*h - 12 = -5*r, 6*h + 5*r = 2*h + 24. Suppose 0 = v + 4*z + h, 8 = v - 4*z - 2. Suppose -4*t + v*t + 70 = 0. Is t a composite number?
True
Let i(w) = -41*w**2 - 2*w + 1. Let v(m) = 41*m**2 + m. Let f be 2*(7/2 + -2). Let r(u) = f*i(u) + 4*v(u). Is r(2) a prime number?
True
Let w(p) = -p - 1. Let v be w(-2). Let k(m) = 23*m**3 - m**2 - m + 1. Is k(v) prime?
False
Is 2691/6 + (-1)/(-2) prime?
True
Is 16 + (6/(-4))/(1/(-2)) composite?
False
Is ((-46)/(-8))/(4/464) a prime number?
False
Suppose 2*f - 3*f + 7 = 4*k, 5*k = f + 2. Suppose -2*m - f*h + 62 = -5*h, 3*m - 93 = h. Is m a prime number?
True
Let r(p) = p**2 - 15*p + 13. Let m(g) = g**2 - 3*g. Let l be m(5). Let z be r(l). Let a = -14 - z. Is a a composite number?
False
Let x = -813 - -2648. Is x a prime number?
False
Let h(i) = i**3 - 4*i**2 - 3*i + 3. Let v be h(4). Is ((-3)/v)/((-1)/(-429)) a composite number?
True
Let w be (-38)/(-10) + 5/25. Suppose -891 = -w*u - 143. Is u a prime number?
False
Suppose 0*d + 21 = 3*d. Suppose -d - 38 = l. Let o = -24 - l. Is o prime?
False
Let k be 3 - (-2)/(-1) - -1. Suppose -k*p - 5 = -1. Is p/(-4) - (-81)/6 composite?
True
Suppose -2*o + 445 = 5*b, -2*b + o = -65 - 113. Is b a composite number?
False
Suppose 4*y - 2300 = 3*j, 3997 = 5*y - 5*j + 1127. Suppose 2*k - y = i, 0 = 3*k - 4*i + 69 - 936. Is k composite?
True
Let z(p) = 14*p. Let t be z(-1). Let s be 7/t - 2/(-4). Suppose s*f + f - 46 = 0. Is f a prime number?
False
Suppose -5*y + 4*y - 14 = -5*f, -f + 4*y - 1 = 0. Let x = 62 - 26. Suppose -2*a + f*o = -x, 3*a + 61 = 6*a - o. Is a composite?
True
Let y(z) be the third derivative of z**4/12 - 7*z**3/3 + z**2. Suppose -t = -0*b + 2*b - 18, 0 = -3*t + 2*b + 22. Is y(t) a prime number?
False
Suppose 0 = -4*t - 0*t + 16, i - 4245 = 5*t. Is i a composite number?
True
Suppose 0*z + 5*z + 3*l - 195 = 0, 51 = z + 3*l. Is 821/9 + (-8)/z a composite number?
True
Suppose 0 = -x + w + 1691, 3*x - 5071 = 8*w - 4*w. Is x prime?
True
Let j(x) = 114*x - 5. Is j(2) composite?
False
Let o(k) = -5*k + 11 - 9 + 8 - 7*k. Is o(-7) prime?
False
Suppose 6*x + 14 = -4*o + 3*x, 5*x + 14 = -2*o. Let d(k) = 12*k**2 - 6*k - 1 + 13*k - 7*k. Is d(o) a prime number?
True
Let m(r) = 2*r**3 - 13*r**2 - 15*r - 9. Is m(10) composite?
False
Suppose 6 = -2*o + 5*o. Suppose 3*i = i - o. Is 53 - (-3 + 5)*i a composite number?
True
Suppose 4*a - 411 = 673. Suppose -4*k - 3*x = -134 - 135, 4*k - a = -x. Suppose -3*f = -f - k. Is f prime?
False
Suppose 5*i + 3334 = -2*z, -5*z - 2515 + 507 = 3*i. Is ((-1)/(-2))/((-3)/i) a prime number?
False
Let p = 3 + -6. Let c(w) be the third derivative of w**5/60 + w**4/12 + 2*w**3/3 + 5*w**2. Is c(p) a composite number?
False
Let a = -7 - -5. Let v = 5 - a. Is v prime?
True
Let k(n) = n**3 + 2*n**2 - n + 1. Let c(d) = d**3 + 8*d**2 + 6*d - 9. Let u be c(-7). Let v be k(u). Suppose 130 = -q + v*q. Is q composite?
True
Let m be 338 + 6/3 + 0. Let d = -83 + m. Let i = d + -172. Is i composite?
True
Suppose 91 = -i + 4590. Is i composite?
True
Let u = -130 + 260. Suppose b + 25 = u. Suppose -7*q - b = -12*q. Is q a prime number?
False
Let y(a) = -179*a - 6. Is y(-5) composite?
True
Let z = -43 + 79. Is (-8)/z + (-616)/(-18) a composite number?
True
Let i = 1244 - 247. Is i a prime number?
True
Let d(b) = -4*b + 2*b + 2*b**2 - 1 - 6. Let i be d(8). Suppose -5*t + i = -2*t. Is t prime?
False
Let z = -2067 - -3800. Is z composite?
False
Suppose 0 = -4*h - 3*z, 4*h - 8 = -2*z + z. Suppose -o = -h*o. Suppose 2*f - 3*f + 31 = o. Is f a composite number?
False
Suppose 0 = 2*a - 2, -2*a - 322 = -o + 59. Is -2 + o + (-4)/(-4) a prime number?
False
Let q = 42 - -41. Suppose -3*w + w = -3*s - q, w = -2*s + 31. Is w a composite number?
False
Let s(n) = n**3 + n**2 - n + 8. Let i be s(0). Suppose 2 + i = 5*q. Suppose h = q*a - 23, 3*a = -0*a - h + 47. Is a composite?
True
Suppose -4*m + 160 = 4*c, -4*c + 36 + 79 = -5*m. Suppose 0*u + 58 = u. Suppose -3*n + u = -c. Is n composite?
False
Suppose -4*t = 4*x - 3*t - 899, -4*t = x - 206. Is x composite?
True
Let u(y) = -y**2 - 5*y - 4. Let c be u(-4). Let f be -7 - (c + -1)/1. Is (-124)/f + 3/9 a prime number?
False
Let m = -9 + 4. Let i(r) = -r**3 - 3*r**2 + r + 4. Is i(m) composite?
True
Let x(t) = 6*t**3 - 2*t**2 + 4*t + 1. Let w = -23 + 26. Is x(w) a composite number?
False
Is (-5)/((-5)/83) - -2 a prime number?
False
Let m(z) = z**3 + 7*z**2 + z - 1. Let j be m(-7). Let y(x) = -7*x - 13. Let t(q) = 7*q + 14. Let v(d) = 4*t(d) + 5*y(d). Is v(j) prime?
True
Let g(q) = 6*q**3 + q**2 - 5*q + 9. Is g(4) a prime number?
True
Let i be (-2 - -1)*1 - -1. Suppose p + 4*p = i. Suppose -4 = -g, -4*g + p*g + 326 = 2*l. Is l a composite number?
True
Suppose -4*j + 5*j - 109 = 0. Is j prime?
True
Let d be 1/4 + 28/16. Suppose 48 = d*v + 5*b, -v - 2*b + 99 = 4*v. Is v prime?
True
Let a(q) = -q**3 - 8*q**2 + 7. Let i be a(-8). Let v = 10 - i. Suppose -3*m = -4*t - 73, -v*t = m - 0 - 7. Is m prime?
True
Suppose 20*z = 17*z + 5931. Is z a composite number?
True
Let z be 1/1 - (-1 - -2). Suppose 0 = 3*n - 15 - z. Suppose n*l + 5*f = 130, 31 = 2*l - 0*f - 5*f. Is l composite?
False
Let i(x) = -x - 154. Let z be i(0). Let l = z - -281. Is l composite?
False
Let i = 41 - 25. Let y = i - 9. Is y prime?
True
Let y = -3160 + 4757. Is y a composite number?
False
Let l(p) = 3*p**2 + p - 3. Let s be 64/(-10) - 6/(-15). Let d be l(s). Suppose 4*u - 81 = -5*w, u = -4*u - 4*w + d. Is u prime?
True
Let q(i) = -i**2 + 6*i - 5. Let o be q(5). Is (o - 0) + 92/4 a prime number?
True
Let q(g) = 18*g**2 + 5*g - 6. Is q(5) a composite number?
True
Suppose 0 = -3*n + 1 - 16, -4*n - 2 = 3*b. Suppose 0*y = 2*y - b. Suppose 0 = 3*i - o - 120, 7*i - 159 = y*i + o. Is i prime?
False
Suppose 16 = 4*d + 3*o, -5*o = -2*d + 8 - 0. Suppose c = -d*c + 455. Is c prime?
False
Suppose -4*d + 5*c = -10, d + 0*c - 7 = -c. Suppose -3*s - d = -386. Is s prime?
True
Suppose 0 = 5*u - 4*k - 2030 + 327, u + 4*k = 331. Is u prime?
False
Let g(t) = 2*t + 8. Let a be g(-6). Let x be 64 - (a/2)/1. Let q = x - -11. Is q a prime number?
False
Suppose 6*x - 3*x = -3*i + 258, 0 = -3*i + x + 270. Is i a prime number?
True
Let n = 27 - 8. Suppose 0*k + n = k. Is k composite?
False
Let i = 35 + 0. Suppose -3*r - 3*o + 43 = -158, 5*r = -o + 331. Let a = r - i. Is a prime?
True
Let x = -47 + 110. Let y = x + -30. Is y composite?
True
Suppose 5*g = 4*l - 64, -3*l - 3*g = -4*g - 37. Suppose -2*p - 3*w - 23 = 0, -2*p = 5*w + 25 + 8. Let n = p + l. Is n a composite number?
False
Let t(f) = 7*f**2 + 8*f + 7. Is t(-6) a composite number?
False
Suppose -64 - 400 = 4*m. Let d = -46 - m. Suppose 4*o - 4*j + j = d, 4*o - 80 = -2*j. Is o prime?
True
Suppose 0 = 5*s - 0*s + 4480. Let b = s + 262. Is 10/(-45) - b/18 composite?
True
Suppose 5 - 14 