6 = 0. Is w a composite number?
True
Suppose -2*g = g - 717. Is g composite?
False
Let y = 2 + -1. Let x be 39/2 - y/(-2). Is x - (9/3 + -2) a composite number?
False
Let v(f) = -10*f - 3. Is v(-6) a prime number?
False
Is ((-533)/(-3))/(13/39) a composite number?
True
Let a be (0 + -2)*(0 - 1). Let p be (a/3)/(1/(-3)). Is 4/2*(-11)/p a composite number?
False
Let q = -166 - -1253. Is q a composite number?
False
Let z be -3 - (-1 - 1 - 0). Is (-5)/((-40)/(-44) + z) composite?
True
Suppose -2*b = 5*x - 4*x + 23, -5*b - 59 = x. Is (-270)/b - (-1)/2 a prime number?
True
Suppose -2*h = -5*h - 66. Let j be 1 + 2/(-4)*h. Suppose -w - j + 43 = 0. Is w a composite number?
False
Let z = 14 - 8. Suppose -88 = -4*c - 5*t, -4*t = -3*c - z*t + 66. Is c a composite number?
True
Let c be 84/(-9) + 3/9. Is c*1/(-3) + 55 a composite number?
True
Suppose -2*m - 4*k + 2*k + 48 = 0, -2*k + 20 = m. Suppose 0 = 3*j - m - 17. Is j composite?
True
Let x = 1 + 1. Suppose -x*c - 4 = v, -3*v + 6*v + 12 = -5*c. Suppose 2*s - 2*j - 66 = -s, -5*j = c. Is s composite?
True
Suppose 3*c = -2*y + 14, 2*y - c = -5*c + 18. Is (-4)/(-12)*537*y composite?
False
Let p(w) = -w - 1. Let t be (-1)/2 - (-30)/(-4). Is p(t) a composite number?
False
Let w = 2424 + -1436. Suppose -2*y + w = -6*i + i, -3*i - 6 = 0. Is y a composite number?
True
Suppose 79 = -l - 29. Let u = 269 + l. Is u composite?
True
Let i(k) = 6*k**2 + 11*k + 11. Is i(-8) composite?
False
Let q = -7 + 9. Suppose -q*b - 20 = -7*b. Suppose -b*n = n - 215. Is n a composite number?
False
Suppose -2 - 4 = 3*p. Let c be 1*2/(4/30). Let t = p + c. Is t a prime number?
True
Let x be 3/(-2 - (-3 + 0)). Suppose -x*k + 1492 = -251. Is k a composite number?
True
Let q(c) = -c**3 - c**2 + 2*c - 2. Let y be q(4). Let k be 1*(-3 + 2)*y. Suppose -u + k - 9 = 0. Is u prime?
False
Let h = 7 + -3. Let l be 6*(80/6)/h. Is (-3)/((-26)/l - -1) a prime number?
False
Suppose 10*k - 11*k + 53 = 0. Is k a prime number?
True
Suppose -4 - 16 = -4*r. Let c be (-10)/4*-2*1. Suppose -c*v + r*b + 88 + 172 = 0, 5*b = -v + 70. Is v a prime number?
False
Let p be 0/((-5)/(10/4)). Suppose p = b - 22 - 6. Suppose -45 = -2*o - 3*v, 0 = 3*o - 2*v - b - 33. Is o a composite number?
True
Let q be 3 + 1 + 1/1. Suppose -23 = q*z + 2. Let t(j) = j**2 + 3*j + 1. Is t(z) a prime number?
True
Let q be (0 - 0) + -15 - 1. Let d be 2/8 - 124/q. Suppose 3*i = -4*h + 9, i + 0 = -3*h + d. Is h a prime number?
True
Let g(v) = -v**3 + 10*v**2 - 4*v - 6. Is g(-11) a composite number?
False
Let r be (-5)/2*(-90)/25. Let t = r + -6. Is t composite?
False
Let i = 991 + -400. Is i a composite number?
True
Let v be (-2 - -5)*1 - 7. Is 2/(-3)*-3 - v prime?
False
Let h be (-3)/2*1314/(-27). Suppose 0 = -3*m + h - 10. Is m composite?
True
Suppose -2*h + 426 + 582 = 4*l, -h - 751 = -3*l. Is l a composite number?
False
Suppose 0 = -p + 2*w - 5, 5*p + 3*w = 4*p - 5. Is 8 + 44 - (p + 2) composite?
True
Suppose 2*y + 4*j = -0*y - 98, -3*y = 3*j + 162. Let l be (y + -1)*(-6)/(-4). Let p = -23 - l. Is p a prime number?
True
Suppose 4*g = 5826 - 230. Is g a composite number?
False
Let h = 651 - 136. Is h a prime number?
False
Let x(a) = 49*a - 6. Is x(13) a prime number?
True
Let l = 6 + -4. Let u be (3/l)/((-3)/(-6)). Suppose -7*s = -u*s - 260. Is s composite?
True
Let z(u) = -7*u. Let l be z(-2). Let r = 23 - l. Is r composite?
True
Let p be ((-1)/(-7) - 1)*-7. Let z be (-8)/p + (-2)/3. Let n = z + 21. Is n prime?
True
Let b(g) = -g + 8. Let t be b(6). Let l be -4 - -4 - 0/4. Suppose l = t*a - 6*a + 156. Is a composite?
True
Let v be 4/2 + (3 - -329). Suppose -3*o = -o - v. Is o a prime number?
True
Suppose 0*x = x - 487. Is x a composite number?
False
Suppose -6*z + 2303 = z. Is z a composite number?
True
Suppose -3*w + 5*f + 0*f = 33, 3*f = -w - 11. Let q = 17 + w. Let v = q + -3. Is v a composite number?
False
Let z be (32/24)/((-2)/57). Let v = -7 - z. Is v a composite number?
False
Let r = 11 - 6. Suppose 0 = 3*f - 2*q - 10 - r, -q + 9 = 4*f. Is 30/(f - 0) + -1 prime?
False
Let z(m) = -83*m - 4. Let b be z(7). Let s = b + 1257. Suppose -3*c = -3*d - s, -2*c + c + 2*d = -225. Is c composite?
False
Suppose 2*u + 2*u + 12 = 0. Is 0 + u + 13 + 1 a prime number?
True
Let h(f) = -2 - 13*f - 5*f - 3. Let k be (28/10)/7*(-20)/2. Is h(k) a prime number?
True
Let o(a) = -40*a**2 - a. Let f be o(-1). Is 3 - (f + 0 + -1) composite?
False
Let o(t) = 87*t + 3. Let g be o(-3). Let z = 133 - g. Is z prime?
False
Is (294/35)/(2/5) a composite number?
True
Let j(y) = 10*y - 5. Let h be j(4). Suppose 2*l + 130 = -11*l. Let a = h + l. Is a prime?
False
Is (2 - -126) + 3/(-3) a prime number?
True
Suppose 0 = -4*l + 4*z + 3594 + 1858, -2*l + 2720 = z. Is l a prime number?
True
Let b = 16 + -9. Suppose -3*n - 15 = -2*i + b*i, -5*n + 3 = -i. Suppose -2*g + 92 + 18 = n. Is g prime?
False
Suppose 0 = -3*i + 3*c + 1413, -3*c = 4*i - 1133 - 772. Suppose -3*g - i = -2097. Is g a prime number?
True
Suppose 0 = 4*v - 3*t + 6 - 1, -2*t = 2*v - 8. Let q(d) = 187*d**3 - d + 1. Is q(v) prime?
False
Let x = 17 - 14. Suppose 4*n = -5*d + 1059, x*n = -d + 4*n + 210. Is d a composite number?
False
Suppose 339 = 5*z - 101. Suppose -5*k - z = -403. Suppose 0 = j + 10 - k. Is j composite?
False
Let p(d) = 95*d**2 + 4*d + 8. Is p(-3) prime?
False
Let r(d) = d + 267. Let j be r(0). Let m = -140 + j. Is m composite?
False
Let r = 75 - -232. Is r prime?
True
Let f = 175 - 120. Is f prime?
False
Let h = 0 - -2. Suppose -h*u = -2 - 4. Suppose -u*z + 33 = -0*z. Is z a composite number?
False
Suppose 2*u = 5*w + 22, 3*u - 8*u - 4*w - 11 = 0. Is ((-111)/6)/(u/(-2)) a composite number?
False
Suppose -5*g + 128 = -3*g. Suppose -116 = 3*x + g. Let d = -41 - x. Is d prime?
True
Suppose -494 = -4*n + b, 4*n + 0*b = -5*b + 482. Is n a composite number?
True
Let j = 2 + 3. Suppose -42 = -j*a + 2*a. Is a a composite number?
True
Let q(v) = -2*v**3 + v. Let j be q(-5). Suppose 2*b = 5*l - j, -l + 3*b = -2*l + 66. Is l composite?
True
Suppose 0 = -4*w + w + 477. Suppose 0 = 3*j - 2*j + 2*k - w, 5*j - 750 = -k. Is j a composite number?
False
Is (-2)/1 - (-117 - 4) composite?
True
Let u(g) = 37*g - 3. Let v(z) = -9*z**2 - 2*z. Let n(o) = 5*o**2 + o. Let a(m) = 11*n(m) + 6*v(m). Let s be a(2). Is u(s) a composite number?
False
Let b = 84 + -56. Let o = -39 + b. Let p = o - -44. Is p a prime number?
False
Let o(r) = -r**3 + 5*r**2 + 6*r + 6. Let y be o(6). Suppose y + 789 = 5*w. Suppose v - 2*v = -t + w, -5*t = 3*v - 827. Is t a prime number?
True
Suppose -13 + 3 = -5*s. Let z be (s - 2)/(1 - -1). Is -14*(z + -1)/1 a composite number?
True
Let i be ((-82)/3)/((-5)/75). Suppose -i = -2*r - 0*r. Is r prime?
False
Let i = 16 + 271. Is i prime?
False
Suppose n - w = 11, 3*w - 4*w = 4. Let p = n + -2. Suppose -p*g + 80 - 5 = 0. Is g composite?
True
Let p be (-543)/(-21) - (-3)/21. Is (-4)/p - 396/(-39) a prime number?
False
Suppose 0 = -2*x + 3*a - a + 848, -5*x + 2160 = 5*a. Suppose 3*l = -b + 126, 2*l = 3*b + l - x. Suppose -b = -c + 1. Is c prime?
False
Suppose 2358 + 557 = 5*t. Is t composite?
True
Let s be (2/4 - 0)*-56. Let m be -27 + 13 + (4 - 2/2). Is m/(2/s*2) composite?
True
Suppose -20*r = -16*r. Suppose 4*v - 5*v + 2*k + 211 = 0, 5*v + k - 1055 = r. Is v a composite number?
False
Let g be 2 + -1 + 2/2. Let b(f) = 2*f + 39. Let u be b(-18). Suppose g*s - 255 = -u*s. Is s a composite number?
True
Let h = -38 - -3. Let r = h - -17. Is 6/r - (-28)/3 prime?
False
Let v(b) = -b**3 + 14*b**2 + 5*b - 13. Let t be v(12). Suppose 0 = -c + 6*c - t. Is c a prime number?
True
Let x(k) = 4*k - 1. Let f be x(1). Is 1/(-1)*(-141)/f a composite number?
False
Suppose -f + 0*f = -213. Is f prime?
False
Let o = -51 - -31. Let p = 32 + o. Suppose 2*s = p + 94. Is s prime?
True
Let o = -9 - -18. Suppose -g + 136 - o = 0. Is g composite?
False
Let b(p) = -3*p - 3. Let k be 2/(-1)*(-4)/(-4). Let v be b(k). Suppose 3*y - 5 = -14, -v*j - 3*y + 102 = 0. Is j a prime number?
True
Let r(t) = 11*t - 2*t + 3*t - 1 - 4. Is r(6) a composite number?
False
Let o = 30 - 174. Let k = o + 229. Is k a composite number?
True
Let y = 4 + 2. Suppose -5*o - 2 = -y*o. Suppose -r + 81 = 2*j - 0*r, -72 = -o*j + 2*r. Is j a composite number?
True
Let x(p) = -376*p - 7. Is x(-6) a 