b - x - 2, -5*x = b. Let u be 265/(3/(-2 - -5)). Suppose -u = -0*w - b*w. Is w composite?
False
Let i(x) = -3*x**3 - 3*x**2 - x + x + 4*x + 2*x**2 - 1. Let j be i(-3). Suppose 3*f - j = 4*d, 0 = 5*f + 5*d - 27 - 83. Is f composite?
True
Suppose -i - 3*a - 3 = 0, 0 = -4*i + 3*a - 5*a - 52. Suppose 5*x = -w + 2*w - 9, 3*w = -3. Is -237*(i/(-9) + x) prime?
True
Let m(v) = v**3 + v + 1. Let c(n) = -3*n**3 + 4*n**2 + n - 5. Let r(u) = c(u) + 2*m(u). Is r(-3) a composite number?
True
Let p(m) = -3*m + 2 + 3*m - 1 - 5*m. Is p(-4) a composite number?
True
Suppose 2*s - 3 = 5. Is 765/s + 8/(-32) prime?
True
Let k(s) = 194*s - 13. Is k(6) prime?
True
Let m be ((-4)/(-10))/((-2)/1630). Is m/(-6) - (-8)/12 composite?
True
Let f = 81 + -138. Let h = f - -80. Is h a composite number?
False
Suppose -3*u - 82 = -4*c, -49 = -3*c - 4*u - 0*u. Is c prime?
True
Let c = -19 + 22. Suppose 2*t - 5*g - 622 = 0, -c*t - t + 5*g + 1224 = 0. Is t prime?
False
Let u be (-12)/(-14)*14/2. Let b(p) = p**2 - 9*p - 8. Let c be b(10). Suppose -c*s + u = -0. Is s a prime number?
True
Suppose -3*s - 157 = -p - 2, 0 = -p - s + 139. Is p composite?
True
Let d(h) = 3*h**3 + 3*h**2 - 5*h**2 + 0*h**3 - h + 1 - 2. Is d(2) a prime number?
True
Suppose -6 = -2*h - 0*h. Suppose i = -0*i. Let o = i + h. Is o prime?
True
Is (-12 - -10)*(67/2)/(-1) prime?
True
Let l(r) = 200*r**3 - 1. Let o be l(1). Suppose 4*j = 3*a - 2*a + o, 3*j + a = 144. Is j a composite number?
True
Let l(t) = t**3 - 3*t**2 + t - 3. Let d be l(3). Let i = 59 + d. Is i a prime number?
True
Suppose -s - 4 + 6 = 0. Is 82 - 0 - 6/s a composite number?
False
Suppose 3*l - l = 12. Let q = 1 + 2. Suppose 0*v - v = 4*w + l, -1 = v + q*w. Is v a composite number?
True
Suppose -156 + 627 = 3*s. Is s prime?
True
Let f(p) = -p**3 + 5*p**2 - 11*p + 2. Let b be f(8). Is (b/4)/((-5)/10) a prime number?
True
Let a(t) = 465*t**2 + 2*t - 4. Is a(3) a composite number?
True
Suppose -c = 2*c - 3*o - 240, 4*c + o - 325 = 0. Suppose -c + 376 = 5*r. Is r composite?
False
Let h = -2 - -5. Suppose -h*i + 7 + 107 = 0. Is i a composite number?
True
Suppose -75 = -2*d + 3. Suppose v - d = -4*z, -v + z + 47 = 3*z. Is v a composite number?
True
Let j = 28 + 226. Is j a prime number?
False
Suppose 0 = 4*i - 8 - 12. Let h be 10/(-35) + 1136/7. Let l = h + i. Is l composite?
False
Let u = -332 + 643. Is u a composite number?
False
Is -10*((-4)/(-14) + (-753)/14) prime?
False
Let d(t) = t**2 + 4*t - 2. Let p be d(4). Is ((-129)/(-9))/(2/p) prime?
False
Let r(q) = 5*q**2 + 6*q - 9. Let k(g) = -8*g**3 + g**2 - g + 1. Let c be k(1). Is r(c) a composite number?
True
Is 0 + 587 - 1 - (-6 - -9) a composite number?
True
Suppose 1064 = 12*l - 2272. Is l composite?
True
Suppose 0 = -5*s - 5, -3*r + 2*s + 0*s + 266 = 0. Let u = r - 9. Is u a composite number?
False
Let g be ((-20)/(-4))/(2 - 3). Let a(m) = -m - 5. Let t be a(g). Suppose 3*n - 4*n + o + 88 = t, n = -3*o + 92. Is n a composite number?
False
Suppose -2*x + 850 = -54. Suppose -4*v + 2*v = -x. Suppose k = -k + v. Is k composite?
False
Let o be ((-1)/(-1))/(4/(-168)). Let r = o - -111. Is r prime?
False
Suppose 2*m + 3 = 3*m. Suppose r + 3 - 5 = 3*b, m*r = 2*b + 6. Suppose b*o - 106 = -2*o. Is o a composite number?
False
Suppose -3*l + 3 = -5*z + 18, -l - z - 5 = 0. Let a be -6 + 6/(2 + l). Let q(b) = b**3 + 7*b**2 - 11*b - 9. Is q(a) a prime number?
False
Let v(w) = -51*w + 23. Is v(-12) a prime number?
False
Let s be ((-16)/(-12))/(2/(-6)). Let p be s/(-5)*(-5)/(-2). Suppose 2*m - p*t = 30, 4*t = -m + 2*t + 12. Is m composite?
True
Let s(t) = t**3 - t**2 + t + 1. Let o be s(0). Let q = o + 1. Suppose 5*a - 260 = -5*u, q*u = 2*a + 5*u - 107. Is a a prime number?
False
Suppose 3 + 2 = -c + 2*p, -c - 20 = -5*p. Suppose 58 = 2*k - 0*m + 4*m, c*k - 190 = 5*m. Is k composite?
True
Let d(h) = -3*h + 11 - 4 + 4*h + 7. Is d(0) a prime number?
False
Suppose -s + 16 = -2*s - 3*x, -4 = -2*s + 3*x. Let j = 3 + s. Let t(w) = -14*w. Is t(j) prime?
False
Suppose -155 = -3*i + 8*i. Let n = 84 + i. Is n prime?
True
Let w = -3 - -1. Let a = 0 + w. Is 4 + a - -5*19 composite?
False
Let q be ((-97)/3)/((-14)/(-42)). Suppose 0 = 5*m - 3*m + 64. Let g = m - q. Is g prime?
False
Suppose 2*h - 8*r + 3*r - 14401 = 0, 2*r = 3*h - 21585. Is h a composite number?
False
Let q be 2/(-1 - 1)*-1. Is (0 - (-3 + q)) + 75 composite?
True
Let y(v) = -3*v + 3. Let r be y(-7). Let m = r + 34. Is m composite?
True
Let w be (-35)/(-2*2/20). Let k = -12 + 14. Suppose k*f = -3*f + w. Is f a prime number?
False
Suppose 2*h - 10 = -4*j, -3*j - 2*j - 3*h = -12. Suppose -v = 3*k - 93, k + 0 = j*v + 31. Is k a prime number?
True
Suppose 2*v - 1223 = -4*x - 3*v, 308 = x - v. Is x prime?
True
Let i = -13 + 7. Let u be (-16)/i*(18 + 3). Suppose n + 23 = -4*x + u, -3*x = 4*n - 41. Is x prime?
True
Suppose c = 5*t - 8, c + 4 = 2*t - 1. Suppose -2*b = -4*b + 2. Suppose g = -t - b, -3*f - g = -355. Is f a prime number?
False
Suppose -3*n + 5*n - 8 = 0. Suppose -2*f + 0*f = -n. Is (0 - (-65)/f)*2 prime?
False
Let w(n) = n + 53. Is w(0) composite?
False
Suppose -5*a = -a - 2*i - 30, 4*a + 3*i - 5 = 0. Suppose -7*d + 12 = -a*d. Is d/4*114/9 a composite number?
False
Suppose -120 = -5*i + 575. Is i a composite number?
False
Let a(v) = -4*v**3 + 9*v**2 - 6*v - 4. Let k be a(6). Is (2 - 0)*k/(-8) a prime number?
False
Let y(o) = 29*o**2 + 2*o - 1. Is y(-2) a prime number?
False
Suppose -80 + 1 = -4*z + 3*l, -3*z + 53 = -l. Suppose -2*q + z = -14. Suppose -5*i + u = -92, -u = 4*u - q. Is i a prime number?
True
Let p = 548 + -261. Is p a prime number?
False
Suppose -5*t = -2*d + 483, t - 3*d = -92 - 15. Let o = t + 172. Is o a prime number?
False
Let l be (-1)/(-12)*4*9. Is 0/l - -88 - 3 composite?
True
Let z = 184 - -291. Let c = -6 + 12. Suppose c*u - z = u. Is u prime?
False
Let g(f) = 12*f**2 + 3*f - 2. Is g(3) prime?
False
Suppose -2*s - 21*s + 43723 = 0. Is s a prime number?
True
Let p(t) = t**3 - 9*t**2 + t - 5. Let x be p(9). Suppose -o - x*o = -810. Let w = -93 + o. Is w prime?
False
Let m = 69 + -46. Is m a prime number?
True
Let v be (-4)/((-1)/(-114)*-2). Suppose c - 5*c = -v. Suppose 5*i - c = -z + 40, -8 = -4*i. Is z a composite number?
True
Suppose -5*n + p + 2049 = 0, p = 2*n - 5*n + 1223. Is n a composite number?
False
Suppose 3*p = 276 + 63. Is p composite?
False
Let s = -836 - -1593. Let h = s - 360. Is h a prime number?
True
Let k be -1*((-2)/2)/(-1). Let o be k*31*2/2. Let t = -12 - o. Is t prime?
True
Let w(l) = 349*l + 1. Is w(4) prime?
False
Let w(t) = -15*t - 1. Let z be w(-1). Let c = z - 9. Suppose u - 1 = c*k, 2*u - u - 4*k - 3 = 0. Is u a composite number?
False
Let t be 2/3 + 1154/6. Suppose 5*w - t = -2*a, -3*a + 116 = 3*w - 2*a. Is w composite?
True
Let k be 41/(-2)*(6 + -2). Let z = -56 - k. Suppose 7 - z = -q. Is q composite?
False
Suppose 3*x - 2*s = -3*s - 6, 3*x + 5*s = -6. Let q be -13 + (x + 3)*-1. Is q*(9/(-6) - -1) a composite number?
False
Let q = 0 + 3. Suppose -5*d + s - 18 + 347 = 0, q*s = d - 77. Is d prime?
False
Let r(p) = 144*p - 1. Let q = -3 - -3. Suppose q = -4*m - 1 + 9. Is r(m) prime?
False
Suppose -1090 + 3666 = 4*r. Suppose 3*d + d = r. Is d prime?
False
Suppose 0*m = 4*m - 2308. Is m a prime number?
True
Let f = -2 + 2. Suppose f*g = -2*g + 106. Is g prime?
True
Let d(u) = u**2 - u + 1. Let q be d(0). Let w be q + (1 - -5)/2. Suppose 167 = 3*o + w*a, 3*a = -3*o + 145 + 23. Is o composite?
True
Let j be (0 - -2) + 2 + 1. Suppose -j*n + 70 = 5*z - 0*n, 0 = -4*z + 4*n + 64. Is z a composite number?
True
Suppose 4*g - 9*g + 2*x = 1344, -4 = -2*x. Is g/(-12) - 2/(-3) composite?
False
Let d = 310 - -595. Is d a composite number?
True
Suppose t + 4 = 3*t. Suppose 4*v - 20 = 3*w - 5*w, t*w = -v + 29. Let n = -5 + w. Is n prime?
True
Let r(z) = -3*z + 5*z - 11 + 11*z**2 + 5*z + z**3. Let q be r(-8). Let u = 180 - q. Is u a prime number?
False
Suppose -x = -0*x + 3*b - 1, 3*x - 2*b - 14 = 0. Suppose x*y = 90 + 82. Is y a composite number?
False
Is (-7)/(14/(-2090)) - -4 composite?
False
Suppose 627 = 5*h + 2*x, -4*h = 2*x + 3*x - 488. Is h a composite number?
False
Let t = 321 + 113. Let w = -223 + t. Is w composite?
False
Suppose -8 = -4*y - 0. Is y + 3/3 + 76 a composite number?
False
Let a be (1/(-3))/(2/(-