
Let u be 4/14 - (-4727)/(-7). Suppose 7*w = -725 - 1109. Let f = w - u. Is f composite?
True
Let j = 5 - 2. Suppose 16 = j*m + 85. Let g = 14 - m. Is g composite?
False
Let d(h) = 35*h. Let v be d(3). Suppose -p + 2*u = u + v, 0 = -2*p - u - 201. Let g = -55 - p. Is g a prime number?
True
Let v = 13709 - 9774. Is v composite?
True
Let l be ((-6)/(-8))/((-8)/(-17312)). Suppose -6*j + l = -3*j. Is j composite?
False
Let o(l) = -33*l - 20. Let b(j) = 11*j + 7. Let g(i) = -17*b(i) - 6*o(i). Is g(6) a composite number?
False
Suppose -3 = 3*v - 0*v - 3*r, 5*r - 11 = 3*v. Suppose v*a + 5*b - 22 = 0, -4*a - 1 + 15 = -b. Suppose g + a*g - 265 = 0. Is g prime?
True
Let h(b) = 11*b**2 - 6*b + 10. Let k be h(-8). Suppose 0 = -2*t - 0*t + 4*v + k, -3*t + 2*v = -1123. Is t a prime number?
False
Let n(l) = l**2 - 8*l - 15. Is n(12) composite?
True
Let j(p) = 115*p**2 + 4*p - 1. Is j(2) a prime number?
True
Suppose -s + 165 = 4*s. Is s a composite number?
True
Let i = 92 - -57. Is i composite?
False
Is (-3)/(6/(-374)) + 0 a composite number?
True
Suppose d + 2 = 0, -k + 3*d + 2*d - 485 = 0. Let t = 1244 + k. Is t a composite number?
True
Let q(y) = 3*y - 10. Is q(8) composite?
True
Let v be 4/10 + 153/(-45). Is 0 + 149/(-3)*v a prime number?
True
Let a be (1 + 1 - -1)*2. Let r be (-2)/a + 62/6. Is 3/(18/33)*r a prime number?
False
Suppose -4*k = 3*w - 9477, 4*k - 1590 - 1561 = -w. Is w composite?
False
Let w(f) = f**3 + 10*f**2 + f + 7. Suppose -3*l - 5 = 4*k, -2*k - 30 = -0*k - 4*l. Is w(k) prime?
True
Let g(z) = z**3 + 118. Is g(0) a prime number?
False
Let u(l) = -397*l + 20. Is u(-9) prime?
True
Let s(b) = 4 + b - 2 + 0. Let y be s(5). Let v = 20 - y. Is v composite?
False
Is (-3004)/(-12) - (-2 - 12/(-9)) a composite number?
False
Let k(g) = 7*g**2 - 4*g + 2. Let c be k(2). Suppose -6*l + 2*l - 3*x - 33 = 0, 0 = 2*l - 2*x + 34. Let b = c + l. Is b composite?
True
Let l = -89 + 156. Is l a composite number?
False
Let z be ((-5)/(-3))/(4/(-12)). Let c = 8 + z. Suppose 0 = 5*t + 5*y + 5, -2*t + 3*y - c = -7*t. Is t a prime number?
True
Let u(p) = 116*p**3 - 2*p**2 + p. Is u(1) composite?
True
Let m be (1/(-2))/1*-10. Suppose -m*h = 2*q - 15 - 7, -4*q + 5*h = -14. Is q prime?
False
Let n = -658 - -1809. Is n composite?
False
Suppose -8*m + 799 = -3*m + 4*x, -x + 811 = 5*m. Is m composite?
False
Let u(q) = q**2 - 6*q - 4. Let d be u(7). Suppose 0 = -d*o + 2*o + 4. Suppose -3*w + 199 = 2*l, -o*w + 2*l - 5*l = -265. Is w a composite number?
False
Suppose -z - d = -2, 3*z + 2 = d + 12. Suppose -t + z*t = 814. Is t a composite number?
True
Suppose 3*q + y = 2348, -4*y = -q - 2*y + 771. Is q prime?
False
Is 513 - (-2 - -2) - -1 a composite number?
True
Suppose 10*v = 5*v. Let w(g) = -g**3 - 6*g**2 - g - 3. Let t be w(-6). Suppose -t*p + 0*p + 21 = v. Is p prime?
True
Suppose 2166 + 1249 = 5*n. Is n composite?
False
Suppose -3*w - n + 383 = 0, 2*w - 5*n - 80 = 164. Is w a composite number?
False
Let p = 288 - 120. Let j = -90 - -7. Let a = j + p. Is a prime?
False
Let g be (-1 - 0)/1 + -5. Let k(x) = 13 - 5 - x**3 - 3*x**3 - 6*x**2 - x + 3*x**3. Is k(g) a prime number?
False
Suppose -3*z = 3*g + 120, g - 6*z + z = -16. Let h = g - -11. Is 0 - (h + (2 - 0)) a composite number?
False
Suppose -2*t + 2*a = t - 199, 0 = 5*t - 5*a - 330. Is t a composite number?
False
Let r be (-37)/(1/(-6 - -3)). Suppose 0 = 5*c, m + r = 4*m - 5*c. Is m composite?
False
Let u(f) = f**3 + 6*f**2 - 4. Let g be u(-6). Is g/6 - (-56)/12 composite?
True
Let c = 207 + 212. Is c composite?
False
Let j(n) = -257*n + 8. Let f be j(-4). Suppose 7*z - f = 3*z. Is z a composite number?
True
Let r(o) = 3*o**3 + 3*o**2 - 7*o + 5. Is r(4) a composite number?
True
Suppose 0 = -4*s + w + 46, -4*w + 39 = 4*s + 3. Let a(g) = g**2 - 4*g + 4. Let j be a(-4). Let y = j + s. Is y a composite number?
False
Let k(q) = 2*q + 1 + 2*q**3 - 9*q**2 + 2 + 12*q**2. Is k(4) prime?
False
Let g be (-3)/(3 + 0 + -2). Let s be 9/g + -1 + 2. Is 20/(-8)*s*2 a composite number?
True
Let v(t) = -t**2 + 6*t. Let l be v(6). Suppose w + 2 - 7 = l. Suppose -w*n = -2*n - 417. Is n composite?
False
Suppose 5*o + 35 = -0*a + 5*a, 0 = -o + 3*a + 3. Let g = -31 - o. Let c = 7 - g. Is c prime?
False
Let m = -10 - -10. Suppose 745 = 5*v - m*v. Is v a prime number?
True
Let v be 2 + (-24)/(-2 - -5). Let x be 4*(9/v + 2). Is 2/4*(x - -68) composite?
True
Suppose 133*v = 135*v - 2086. Is v composite?
True
Let k be (-1 - 12) + 0 + 1. Let i be k/(-8)*(-10)/(-3). Suppose 49 = i*z - 606. Is z a composite number?
False
Let p(o) = o**2 - o - 1. Let l be p(3). Suppose -5*t + 0 - 19 = -3*m, 5*m = -5*t + l. Suppose 0*v - 21 = -m*v. Is v a composite number?
False
Suppose 4*t - 2*t - 10 = 0. Suppose -t*a - 3*x + 600 = 0, -3*a + 3*x + 384 = -0*a. Is a a composite number?
True
Suppose -g + 0*g = -251. Is g prime?
True
Suppose 5*w = 3*u + 85, -5*w - 2*u = 2*u - 50. Is (-10)/(-35) + 192/w a prime number?
False
Let j(x) = x + 1. Let d(v) = -28*v + 3. Let q(a) = d(a) - j(a). Is q(-3) composite?
False
Is (-1)/(404/(-134) - -3) prime?
True
Suppose -3*n = -3*x - 378, n + 4*n - 4*x - 635 = 0. Is n a prime number?
True
Suppose -3*i + 4073 = -2*p - 5580, -9648 = -3*i + 3*p. Is i composite?
False
Let r = 6 + -9. Suppose 2*d - 7 = -2*f + f, f - 19 = -4*d. Is ((-19)/r)/(2/d) composite?
False
Let u be (-1)/2*(0 - 10). Suppose 0*f = -5*g + 2*f + 177, -5*g + 5*f + 180 = 0. Suppose 2*n + 0*n - g = -u*a, 4*a - 28 = -2*n. Is a composite?
False
Let g = 12 - 10. Suppose m + 3*m = -s + 836, 3*m + g*s - 627 = 0. Is (-18)/(-6) + (m - 1) a prime number?
True
Let m(i) = i**2 - 2*i - 11. Is m(-6) prime?
True
Suppose 0 = 3*j + 5*o - 561, -o + 935 = 5*j - 4*o. Is j a composite number?
True
Let o = -2 - -5. Let g(z) = -z**3 + 3*z**2 - 2*z - 4. Let w be g(o). Let s(t) = 2*t**2 - 2*t - 9. Is s(w) composite?
False
Suppose 4*s + 5*z - 19 = 0, -5*s + 0*z + 29 = z. Suppose -l + 230 = 2*o, s*l + 93 = o + l. Is o a prime number?
True
Let j(a) = -4*a. Suppose 2*y + 2*y = 28. Suppose -3*u = -12, 5*h + 6*u = 3*u + y. Is j(h) a composite number?
True
Let b be 2 - (-1 + 0 + -11). Suppose -161 = 5*i + b. Is (i/(-10))/((-2)/(-44)) composite?
True
Suppose -3*g + 8*g - 370 = 0. Is g a composite number?
True
Let h(j) = -j**3 + 2*j**2 + 2*j - 3. Let n be h(3). Let i(l) = -5*l - 4. Is i(n) a prime number?
False
Let t = 6 + -3. Suppose 0 = t*h + 17 - 74. Is h a composite number?
False
Suppose 2*a + 4 = 6*a. Is -1 - (-2 + a) - -37 composite?
False
Suppose 5*s = 0, -4*b = -0*b + 5*s - 36. Let j be (-1)/3 - (-48)/b. Suppose -j*n = -246 - 19. Is n a composite number?
False
Let i = -5 + -3. Let y = i - -15. Is y a composite number?
False
Suppose 0 = a - 4, 4*a = 4*h - 2*h - 330. Let w = -413 + h. Let q = w + 367. Is q a prime number?
True
Let z(o) = 20*o + 15. Let i be z(5). Suppose p + i = 2*p. Is p prime?
False
Suppose -h = -258 + 52. Suppose 0 = -4*r + h + 102. Is r a prime number?
False
Suppose 0 = -2*q - w - 0*w - 532, 0 = 3*q - 2*w + 812. Let g = 395 + q. Is g a prime number?
True
Let f = -4 - 13. Let m = 80 + 16. Let c = f + m. Is c a composite number?
False
Let f(n) = -n**3 - 4*n**2 - 4*n. Let w be f(-3). Suppose 0 = w*b + b. Suppose b = -3*i + 21 + 18. Is i prime?
True
Let m(r) = -r**3 + 3. Let c(o) = o**2 + o - 1. Let j(t) = c(t) + m(t). Let i be j(-6). Let z = -121 + i. Is z prime?
True
Suppose 2*z - 2*j - j - 107 = 0, 4*j - 26 = -z. Is z prime?
False
Suppose 4*r + 2 - 6 = -2*z, 5*z = 4*r - 32. Suppose -r*l = y - 4*y + 15, 4*y = l + 20. Suppose c + c - 254 = l. Is c a composite number?
False
Suppose 4*t + 10 = -10. Let i = -20 + t. Let g = i + 59. Is g a composite number?
True
Suppose 26 - 7 = 5*a + 3*y, -3*a = -2*y. Suppose -a*j + 2 = -2. Suppose -h - v - j*v = -37, -h = -3*v - 61. Is h a composite number?
True
Suppose w - 5*f + 3 = -2, 0 = 2*w - f + 1. Suppose 0*g - 5*g + 1645 = w. Is g a composite number?
True
Let o be (8 - 2)/(-2 - -3). Is 500/6 - 2/o a prime number?
True
Let i(l) = -161*l + 12. Is i(-5) a prime number?
False
Suppose -t = -8 + 3. Suppose -t*w + 294 = -16. Is w composite?
True
Let v be -2 + -1 + 1*149. Let g be 56/(-5) - (-1)/5. Is v*(-3 + g/(-2)) composite?
True
Suppose -5*h + 333 = -3*a + 3, 0 = 4*h - a - 271. Suppose 3*x - 90 - h = 0. Is x a composite number?
False
Let