t o be -6*((-8)/(-4) + -3). Let d(r) = -4*r - 4. Let k(f) = -f - 1. Let w(a) = -d(a) + 3*k(a). Is w(o) a prime number?
True
Suppose -4*r = -4, -3*r - 579 = -4*b + 2*r. Let k = b + 87. Suppose 0 = -3*t - 62 + k. Is t a prime number?
False
Let k(s) = -291*s**3 - 4*s - 3. Is k(-2) a composite number?
False
Let d(l) = 5*l**3 - 2*l**2 - l. Let c be d(-1). Let m = 40 + c. Is m composite?
True
Suppose 0 = -5*b + 3*u + 31, 0 = -b - 2*u + 5*u + 11. Let r be (-4)/(-5) - (-1)/b. Suppose 3*l + 5*m - 3 = -r, -4*l + 16 = 4*m. Is l a prime number?
False
Is -8 - -4 - -671 - -2 prime?
False
Let w(h) = -2 + 3*h + 1 - h**2 - 8*h**2 + 2*h**3 + h**2. Let m be w(5). Suppose -6*p + p = c - m, -84 = -c - p. Is c composite?
False
Suppose -2*r + 1138 = 3*m, 0*r - 2*m = -4*r + 2244. Is r a prime number?
True
Let r = 3 - 1. Let d be (0 - r/4)*-6. Is ((-15)/10)/(d/(-76)) a composite number?
True
Let y = -24 - -13. Let n = 37 + y. Is n composite?
True
Let g(t) = -4*t + 4. Let y(m) = 7*m - 7. Let d(x) = -5*g(x) - 3*y(x). Let l be d(-6). Let w(f) = 2*f - 1. Is w(l) a composite number?
False
Let n = -302 + 736. Suppose -3*o + 67 = -n. Is o a prime number?
True
Suppose -3 + 4 = -o - v, 2*o + 4*v = 4. Let b be (-1)/o - 19/(-4). Suppose 3*q - b*q + 26 = -5*s, 0 = -s - 4. Is q prime?
True
Suppose -f + 494 = 4*p, -4*p + 504 = -4*f + 20. Is p a composite number?
True
Let y be ((-42)/(-9))/(4/12). Suppose 2 = 4*q + y, 3*f - 960 = q. Is f prime?
False
Let r be (-4)/(-10) - 2/5. Suppose -2*y - q = -19, r*y = -3*y + 3*q + 51. Suppose 2*b - 10 - y = 0. Is b composite?
False
Suppose -2*r - 20 = 2*r. Is ((-134)/4)/(r/10) a composite number?
False
Suppose 0 = -3*z + 5*z - 978. Is z prime?
False
Let r be (-2)/3*(7 + 2). Let w(q) = -111*q + 3. Let d be w(r). Suppose 0*a - 3*a = -d. Is a a composite number?
False
Is (429/(-12))/((-1)/4) composite?
True
Suppose -5*s + 4*s = 2*h - 1932, 3866 = 2*s + 2*h. Is s a prime number?
False
Is 9/18 + 794/4 a prime number?
True
Is -107*(2 - 3) - -2 prime?
True
Let v(i) = -i**3 + 9*i**2 + i - 1. Suppose -q - 2*z = -8, -14 = -5*q + z + 2*z. Is v(q) prime?
True
Suppose -t - 3*t + 276 = 0. Is t composite?
True
Let r = -2 + 8. Suppose 3 = p + 5*w, -3*w + 20 = 3*p - p. Let i = p + r. Is i composite?
False
Let b(l) = l**3 - 5*l**2 + 2*l - 7. Let d be b(5). Is 1/d + (-544)/(-6) prime?
False
Suppose 8*u + 439 = 9*u. Is u a composite number?
False
Let h(a) = a**2 - 2*a + 7. Let f be (-8)/4 - 2*-4. Is h(f) a prime number?
True
Suppose j - 56 - 210 = 3*d, -2*d = 6. Is j a composite number?
False
Suppose 0*n = 3*n - 63. Suppose -5*g = -234 - n. Is g a composite number?
True
Suppose 6*v = v - 40. Is (-2)/v - (-249)/12 prime?
False
Let n = -391 - -763. Let r = n - 245. Is r composite?
False
Let l(t) = 6*t - 2 - 2 + t**3 + 5 + 0 - 5*t**2. Is l(7) a composite number?
True
Suppose -4 = -2*i + 14. Let n = i + -6. Suppose 4*r = n*m - 365, m + m - 3*r - 245 = 0. Is m prime?
False
Let t be (-344 + 2)/((-9)/(-6)). Let s = -139 - t. Is s composite?
False
Let y = 4590 - 1391. Is y a prime number?
False
Suppose -3 + 13 = 5*h. Suppose b + h*b = 753. Is b prime?
True
Suppose -3*r + 391 = -242. Is r a composite number?
False
Suppose 7*z - 5*z = 1642. Is z prime?
True
Is 7677/5 - (110/25 + -4) a composite number?
True
Let r(g) = 23*g - 5. Let q be r(5). Suppose -w + 4 = w. Suppose 4*d - w*d = q. Is d a composite number?
True
Let i = 491 + 396. Is i composite?
False
Let t = 45 - -4. Is t a composite number?
True
Let w = 286 - 153. Is w composite?
True
Let c = 942 - 148. Is c a prime number?
False
Suppose 4*d = 86 + 58. Suppose 82 + 23 = -5*v. Let i = d + v. Is i a prime number?
False
Let s be -2 - -3 - 1/(-1). Let d be 4/s + (-8)/4. Suppose 2*n + 5*c = 115, -4*n + 3*c = -d*c - 217. Is n prime?
False
Let q(k) = 12*k**3 - 2*k**2 + 4*k - 3. Let t be q(2). Suppose 2*z = -z + t. Is z a prime number?
True
Suppose u - 70 = -u. Suppose 2*p + 15 = u. Is p composite?
True
Let c(r) = -r**3 - 7*r**2 + 9*r + 10. Let a be c(-8). Suppose -2*s = a*n, -n - 4*s + 5*s = 0. Suppose 2*x + 2*x - 124 = n. Is x a composite number?
False
Is (-72 - -6)/(-3 - -1) prime?
False
Suppose 4*l + 0 = 12, 3*l + 321 = 2*f. Suppose -2*w = 2*t - 5*w - 123, 2*w - f = -3*t. Is t a prime number?
False
Let n = -15 - -11. Is ((-11)/n)/((-1)/(-20)) composite?
True
Suppose -5*r + 4*c = -5 - 16, 5*r - 3*c - 17 = 0. Is (-5530)/(-21) - r/3 a composite number?
False
Let g = -110 + -515. Let l = g + 918. Is l composite?
False
Suppose 0 = v - 5, -5*s - 3*v + 4*v = -5. Let c(k) = -k + 5 - 3*k**s + 0*k**2 - 4 - k**3 - 3*k**3. Is c(-2) composite?
False
Let b = 162 + -73. Is b composite?
False
Suppose q - 4*q + 45 = 0. Let x = q + -11. Is (x/6)/(14/1869) a prime number?
True
Suppose 0 = f + 3*f - 956. Is f a prime number?
True
Let i(f) = 3 + 2*f**2 - 2*f**2 - f**2 - 2*f. Let c be i(-3). Suppose c*r = 4*r - 124. Is r a composite number?
False
Suppose -5*s + 1957 = 4*d, 4*s - 548 = -5*d + 1014. Is s a composite number?
True
Let m be (-257)/(-7) - (-14)/49. Let l = m - 25. Is 11*(-1 - l/(-2)) a composite number?
True
Let p(w) = 2*w - 7. Let t be p(-10). Let x = 52 - t. Suppose k - 4*r + 2*r - x = 0, 3*k + 5*r - 292 = 0. Is k prime?
True
Let j(c) = -4*c + 14. Is j(-12) prime?
False
Suppose 0 = 5*q - 7 - 148. Is q a prime number?
True
Let x(s) = -317*s - 76. Is x(-9) a prime number?
True
Let m(d) = 117*d + 1. Is m(1) a composite number?
True
Let f = 41 + 146. Is f composite?
True
Suppose 2*a + 1167 = 5481. Is a a prime number?
False
Suppose -4*p + 16 = -4. Suppose p*q = q + 204. Is q composite?
True
Suppose -3 = -3*j + 15. Is ((-2)/(-3))/(j/747) a composite number?
False
Suppose b + 1 = -2. Let h(v) = -6*v**2 + 2*v - 1. Let s be h(b). Let q = -24 - s. Is q composite?
False
Let w(t) = -1 - 2 + 6 + 26*t. Is w(16) a composite number?
False
Suppose 5 = -3*f + 20. Suppose 7 = -2*x + 1, -2*j - f*x + 11 = 0. Is j a composite number?
False
Suppose -454 = -4*o + o - 5*l, -3*l + 730 = 5*o. Is o a composite number?
True
Suppose 3*t + f + 298 = 0, t - f = -5*f - 114. Let h be t - (2 + -1)*-2. Let d = 149 + h. Is d a prime number?
True
Suppose -2*r + 18 = r. Suppose -r = -2*w + 80. Let x = w + -30. Is x composite?
False
Is (6 - 2) + -7 - -454 a prime number?
False
Let f(h) = 253 + 17*h - 16*h - h**2 + 0*h**2. Is f(0) composite?
True
Let r = 335 + 4424. Is r prime?
True
Suppose 0 = 5*s + 381 - 1091. Is s a composite number?
True
Is (57/38)/(3/1244) a prime number?
False
Is 3/(24/20)*564/15 a prime number?
False
Suppose -2*c = 4*z + 386, -2*c + z = 219 + 187. Let v = c + -187. Let y = 573 + v. Is y composite?
True
Let u = -23 - -274. Is u a composite number?
False
Suppose 2*r + 6 = 2*w, -2*r + 0*r + 2 = 0. Suppose 5*h = -5*t + 20, 4*h - h - 5 = w*t. Let o(q) = 6*q**2 + 2*q - 1. Is o(h) a composite number?
False
Let h(k) = 84*k**2 - k - 4. Let w be h(-2). Suppose b + 99 = w. Is b a prime number?
False
Let v = 883 - 590. Is v prime?
True
Suppose -2*t + 0*t + 10 = 0. Suppose -t*x = -9*x, 4*x - 138 = -3*q. Is q a prime number?
False
Suppose -2*j + 47 = 3*u, 2*u - 74 = -4*j + 24. Let t = -16 + j. Suppose t*z - 30 = 4*z. Is z a prime number?
False
Let i = 309 - -88. Is i prime?
True
Let v(s) = 50*s - 3. Is v(8) composite?
False
Let n = 8 + -5. Suppose 0 = -n*h + 93 + 81. Is h a prime number?
False
Let k be (-51)/(-15) - (-6)/(-15). Let p(y) = 0 + 2 + y**2 + 5*y - k. Is p(-7) a composite number?
False
Suppose 3*w - 6 = 0, -3*t + 5*w = t - 586. Is t composite?
False
Let a be (-6)/27 + (-58)/(-18). Suppose -d + 0*i + a*i + 127 = 0, 4*d = -4*i + 476. Is d a prime number?
False
Suppose 3*k = t - 5, -3*t + 9 + 11 = -4*k. Let y = t + -4. Is (y/6)/((-1)/(-39)) a composite number?
True
Let v(w) = 62*w**2 - 2*w + 13. Is v(3) prime?
False
Let m(w) = w - 1. Let u(a) = 8*a + 11. Let t(f) = 6*m(f) + u(f). Is t(6) prime?
True
Let k be (1/(-2))/(2/(-20)). Suppose -3*g + 3*s + 352 = -2*g, g - 312 = -k*s. Is g composite?
False
Suppose 15 - 6 = 3*q. Suppose -q*h - 4*u + 94 = -h, -2*u + 157 = 3*h. Is h composite?
True
Suppose h + 2442 = 7*h. Is h composite?
True
Suppose 2*i + 1 = -3, -5*b + 6477 = 4*i. Is b a composite number?
False
Is (-3 + (-30)/(-9))*(-2 + 2423) composite?
True
Is 73 - (1 + 0 + 3) a composite number?
True
Let v be 9 + (0 - (-1 - -4)). Let z = 2399 - 1603. Is z