e -j + w = -35. Is j prime?
False
Suppose -2*d + 76 = -7*d + 4*q, -4*d - 5*q - 69 = 0. Let i = d - -75. Is i a prime number?
True
Let o(c) = c. Let p be o(0). Suppose w = -p*w - 3. Is 450/4 + w/(-6) composite?
False
Let s(y) = -2*y**3 - 3*y**2 + y - 4. Let c be s(-3). Suppose b + 5 - c = 0. Is b a composite number?
True
Let f = -5 + 16. Suppose 34 = 5*z - 16. Suppose -3*x + f = -z. Is x prime?
True
Let u(k) = k**3 - 6*k**2 + 5*k + 9. Is u(8) a prime number?
False
Suppose -3*x = -5*x - 460. Let n = -103 - x. Is n prime?
True
Suppose 3*f + 0 + 3 = 0, -t + f = -382. Is t a prime number?
False
Let t be (-24)/(-11) - 2/11. Suppose t*w - 301 = w. Is w a composite number?
True
Is (2 - 9/4) + (-3015)/(-12) a composite number?
False
Suppose 2*w = 4*m - 16, -5*m - 2 = 5*w - 7. Suppose -5*d = -m*d. Suppose d = -3*p + 170 - 23. Is p composite?
True
Suppose c - 17 = -2*k, -5*k = 4*c - 9*c + 70. Let g be (c/10)/(2/4). Suppose -g*x + 34 = -2*x. Is x a prime number?
False
Suppose 4*t + h - 410 = 0, 5*t = -2*h + 7*h + 525. Let v = t + -56. Suppose g - 4 = 4*x + v, 0 = -g + 2*x + 45. Is g a prime number?
False
Suppose 4*o + 13 = -c, 2*c = -c - 15. Let x be (0 + -4)*o/4. Is (-3 - -2) + x - -24 prime?
False
Suppose 0*p - 1 = -2*t - p, t = 2*p + 8. Suppose -r + 3*r - j = 2, 14 = -t*r + 5*j. Suppose 0 = r*v + 2*v - 255. Is v prime?
False
Let n be 1960/(-75) - (-4)/30. Let b = -4 - n. Is b prime?
False
Suppose 4974 = 5*v - 3*t, -7*v + 3*v + 3957 = 5*t. Is v a prime number?
False
Suppose 2*s - 245 = 5*r, -s - 3*r = 2*s - 378. Let o = -52 + s. Let q = o + -51. Is q a composite number?
True
Suppose 0 - 4 = -2*c. Suppose 5*t - 4*t - c*h = 19, 4*h = -4*t + 112. Suppose 3*n = -5*i + 2*i + 786, 5*n = t. Is i a composite number?
False
Suppose -4*v + 7*v = -b + 22, 3*v = b - 52. Is b a prime number?
True
Let z(g) = 10*g - 3. Let t(p) = -7*p + 2. Let c(h) = 7*t(h) + 5*z(h). Let u be c(3). Suppose u*k - 2 - 10 = 0. Is k prime?
False
Suppose 0 = 2*f - 6*f + 596. Is f a composite number?
False
Suppose w - 4*w + 30 = 0. Is w prime?
False
Let m(v) = -v**2 + 9*v - 8. Let n be m(8). Suppose -138 - 40 = -2*x - 2*j, 4*x - 3*j - 363 = n. Suppose -x = -z - h, -2*z - 446 = -7*z - h. Is z prime?
True
Suppose 0*q + 21 = 3*l - 3*q, -l - q - 1 = 0. Suppose -40 = -l*f + 32. Is 2/(-8) + 246/f a prime number?
False
Suppose 5*g - 2445 = -0*g. Is g composite?
True
Let a = -255 - -404. Let j = a + -84. Is j a composite number?
True
Let s = -1083 - -2056. Is s a composite number?
True
Suppose 5*p - 529 = 166. Suppose 0 = -3*u + 56 + p. Suppose u = -5*w + 630. Is w a prime number?
True
Let t(b) = 8*b**2 - 2*b - 1. Let x be t(-1). Let f be (-2)/3 + 33/x. Suppose 0 = -d + f*d - 310. Is d composite?
True
Suppose 0 = -3*z + 1082 + 757. Is z prime?
True
Suppose 2*w - 698 = -3*g + 435, 2*g + 3*w - 752 = 0. Is g a composite number?
False
Let z(v) = -v**3 + 4*v**2 + v - 4. Let f be z(4). Suppose s = -f*s + 4. Is (1 + (-18)/s)*-2 a composite number?
False
Let t be -1*(-1 + -1*2). Suppose -8 = -2*b, 5*j - 4*b + 0 = -6. Suppose -t = -j*y + y. Is y prime?
True
Is 22/(-12) + 2 - (-5753)/6 prime?
False
Suppose -d - 1 - 1 = 0. Let b = 11 - d. Is b a prime number?
True
Suppose 5*z + 5*k + 135 = 0, z = 3*k - 13 - 10. Suppose 0 = 4*v + 2*x - 15 - 189, -3*v + 153 = x. Let w = v + z. Is w prime?
False
Let v = 3465 + 3848. Is v a prime number?
False
Suppose -2*b - 3*b - 2*z = -10, -2*z + 10 = 3*b. Suppose 5*p - 3*l - 20 = b, 4*p - 5*l = 8 + 8. Is ((-2)/(-3))/(p/138) composite?
False
Let p = -70 - -108. Suppose o = p + 70. Let v = 185 - o. Is v composite?
True
Let a(j) = j - 5. Let c be a(7). Suppose -3*y = c*y - 15. Suppose -q = y*q - 484. Is q composite?
True
Suppose 5*f - 154 = -0*f - 3*x, -5*x + 54 = 2*f. Let q(y) = y - 10. Let v be q(0). Let o = v + f. Is o composite?
True
Let u be (-2)/(-4) - 89/(-2). Let r = -14 + u. Is r a prime number?
True
Suppose 2*f - 4*b + 2*b + 20 = 0, 4*f = -b - 20. Let h be ((-5)/10)/((-1)/f). Is -31*(0 - h)/(-3) composite?
False
Suppose 0 = 5*o - 0*o. Suppose o = 3*l + l - 652. Is l prime?
True
Let r(j) = -j**3 + 15*j**2 - 18*j - 15. Is r(13) composite?
False
Suppose 3*o = 4*d + 567, 3*o + o = d + 145. Let f = d + 200. Is f composite?
False
Let p be (-4673)/(-5) + 10/25. Suppose -2*c = 3*c - p. Is c prime?
False
Is (1138/3)/(30/135) prime?
False
Suppose 3*t = -t + 1116. Let x = t + -138. Is x a prime number?
False
Suppose 4 + 1 = 5*g. Let d be g/3*0 + -6. Is (-513)/(-2) + d/(-12) a prime number?
True
Suppose -3*p = -2*t + 38, 5*p = -0*t - 3*t + 19. Suppose -2*y + y = t. Let k = y - -32. Is k a composite number?
False
Let q = -230 + 549. Is q prime?
False
Suppose 3*n - 1294 = 1934. Suppose -4*p + n = -0*p. Suppose -d + 59 = 2*l, -p = -3*d - 2*d + 3*l. Is d prime?
False
Let a(y) be the first derivative of 8*y**3/3 - y**2/2 - y - 2. Let q be a(-2). Is (1 - -1) + q/3 prime?
True
Let j(f) = -f - 12. Let r be j(-15). Let l be (-4)/(-10) + (-6)/15. Let k = l + r. Is k composite?
False
Let o = 160 - 55. Suppose -3*g + o = -0*g. Is g a composite number?
True
Let j(a) = a**3 + 4*a**2 - 5*a - 4. Let r be j(-5). Let o(y) = 2*y**2 - y - 1. Is o(r) a prime number?
False
Let f be 6/1 - (-6 - -10). Suppose -p + 0*a = -5*a - 66, -f*a + 8 = 0. Is p a prime number?
False
Let a(v) = -163*v - 5. Is a(-4) a prime number?
True
Suppose -g - 68 = -6*g + 4*l, 4*l - 28 = -g. Is (-716)/6*(-24)/g composite?
False
Let g be 4 - 3/(1 - -2). Suppose -q + 3 = 2*o - 2*q, 5*o = -g*q + 13. Suppose 102 = x + o*x. Is x prime?
False
Suppose 2*d = -3*g - d + 762, -2*d = -5*g + 1305. Suppose 5*j - g = 3*w, 2*j - 4*w - 80 - 18 = 0. Is j a composite number?
False
Suppose 5*r - 2785 = -0*r. Is r a prime number?
True
Let v(w) = w**2 - 4*w - 2. Let y be v(4). Let d be 6*(y - 10/(-4)). Suppose -2*h - d*t = -56, -4*h + 2*t - 6*t = -120. Is h a prime number?
False
Let f(y) = 102*y**2 - 2*y + 1. Let q = -1 - -3. Let g be f(q). Suppose -2*r = -5*k - 7*r + g, 5*k - 401 = -3*r. Is k prime?
True
Suppose -2556 = 4*f - 4*y, -3*f + 4*f - 5*y + 659 = 0. Is (f/(-6))/(8/24) prime?
True
Suppose 2*t = -t + k + 15, 2*t = 3*k + 10. Suppose t*f = 2*n + 2*n + 3, 4*n - 27 = -5*f. Is n prime?
True
Let f(v) = v**2 + v + 1. Let l be f(-2). Suppose 0 = -2*p + j + 9, l*j - 1 = 2*p - 0. Let w(d) = 5*d**2 - 7*d + 7. Is w(p) prime?
False
Suppose -5*b - g + 13 = 0, -3*b + 4*g = 2*g - 13. Is -1*1 + (23 - b) a composite number?
False
Suppose 2*v - 97 = -n, 0 = -4*v + 3*v + 3*n + 38. Let q = 78 - v. Is q a prime number?
True
Suppose u - 5*u = -2320. Suppose -3*n - n = -u. Is n prime?
False
Let w(n) = n**2 + 4*n + 5. Let u be w(-6). Suppose 0 = y - u + 2. Is y a prime number?
False
Let g(q) = -54*q**2. Let w be g(1). Let m = w - -273. Is m prime?
False
Let v = -464 - -299. Let l be 4123/15 - 22/v. Suppose -8*x = -3*x - l. Is x prime?
False
Let h(o) = 12*o**2 - 7*o + 9. Is h(5) a composite number?
True
Is ((-4)/5)/((-2)/35) composite?
True
Let x(a) = 8*a**2 - 14*a - 5. Is x(-14) composite?
False
Let j = -2 - -9. Suppose 0 = v + 3*w - 11, -2*v - w + j = -0*w. Suppose 2*a = 4*s + 34, -5 = v*a + s - 24. Is a prime?
True
Let p(g) = g - 13. Let r be p(13). Suppose 2*t - 5*i - 798 = r, -14 = -5*i + 6. Is t prime?
True
Suppose 0 = -p + 8 - 6. Suppose 3*x + 3*b - 3165 = -2*b, -2110 = -p*x - b. Is x composite?
True
Suppose -d - 4*j + 396 = 3*d, -5*d = -j - 525. Let x = d - 57. Suppose 0 = 4*c - 165 - x. Is c composite?
False
Suppose 5*h = -4*x + 751, -345 - 604 = -5*x + 4*h. Suppose 2*z - x = -z. Suppose 0*s + 2*s = 3*f - z, 2*f - 52 = -2*s. Is f composite?
False
Let l(t) = 26 + 5*t - 22 + 22*t**2 - 2*t - t. Let f be l(3). Let o = -131 + f. Is o a prime number?
False
Suppose 0 = 2*y - 0*y - 10. Suppose 3*j = o + 380, y*j = o + 4*o + 630. Is j a prime number?
True
Let d be (-1)/(0 + 1/(-6)). Is (d/4)/((-15)/(-1790)) composite?
False
Let p(f) = 4*f + 1 - 11 + 0 + 1. Is p(4) a prime number?
True
Let k(r) = 40*r**2 + 4*r + 3. Is k(4) composite?
False
Let u be 28 + -3 + (-5)/(-1). Suppose -4*o + 30 = -u. Is o a composite number?
True
Let x be 4 + -6 - (0 + -4). Is (x/(-3))/((-6)/603) a prime number?
True
Let x(c) = -c**2 - 9*c + 2. Let l be x(-4). Let q be (1 + 97/1)*3. Suppose -l = -4*t + q. Is t composite?
False
Let d(k) = 26*k**2 + 2 - 3*k + 3*k. Is d(2) a composite number?