pose -26 + 8 = -6*y. Let g = y + 16. Is g a prime number?
True
Suppose -3*b - 1 = -4*f, 3*f + 3*b = 5*f + 7. Suppose -4*s + 512 = 3*o, 0*o + 532 = f*s - 2*o. Is s a composite number?
False
Suppose 4*k = 3*s + 21, -3*k - 2*k = -5*s - 25. Let l = k + -7. Is 2 + (l - 0) + 42 prime?
True
Suppose 0 = 4*g - 2*s - 2210, g - 494 - 76 = -3*s. Suppose 7*x = 4*x - g. Is (x/10)/((-2)/28) a composite number?
True
Let r = 95 - -38. Is r a composite number?
True
Suppose 4*z - 913 = 4*q - 273, 0 = -5*z + q + 812. Is z a prime number?
True
Let g = -15 - -51. Suppose 0 = -4*p + g. Is 93*((-15)/p + 2) a composite number?
False
Let y(u) = u**3 - 3*u**2. Let m be y(4). Is (m/(-24))/(2/(-615)) composite?
True
Suppose 4*b - 16 = 3*q, 0 = -2*b + 3*b - q - 4. Suppose -224 = -b*o - 4. Is o prime?
False
Suppose -32 = -3*z + 244. Let v = -45 + z. Is v a composite number?
False
Let b = -9 - -1051. Is b a prime number?
False
Suppose -2*h - 70 = -7*h. Let b = 3 - 1. Suppose 4 = b*t - h. Is t a composite number?
True
Suppose -984 = -8*a + 5*a. Suppose -4*d = -y - a, 2*y = -3*d + 4*y + 246. Is d a composite number?
True
Let k = 9 + -5. Suppose k*h - 5*w = -h + 5, -2*h - 10 = w. Is -9*(16/6 + h) a composite number?
False
Let l(y) = y - 1. Let f be l(6). Suppose -4*s - 1237 = -3*a, -2*a + 0*a = 3*s - 836. Suppose 5*q - 3*c = 2*c + a, -f*c = -4*q + 330. Is q prime?
False
Is 411 + -4*1/2 composite?
False
Suppose m + 2 - 4 = 0. Let v(f) = f + 2. Let b be v(0). Suppose -38 = -m*o + b*c, 0*o = o - 3*c - 19. Is o composite?
False
Let s be 1 + 3*4/6. Let d be (0 + -2 + s)*1. Let l(v) = 15*v**3 - 2*v**2 + 1. Is l(d) a prime number?
False
Let f = 243 - -1280. Is f a composite number?
False
Let u(d) = 10*d**2 - d - 1. Suppose 0 = 4*o - 4*b - 24, 2*b = -b - 12. Let q be u(o). Suppose q = 4*m - 3*m. Is m composite?
False
Let j(q) = -3*q**3 - 8*q**2 - 9*q + 1. Is j(-7) a composite number?
False
Is -3 - -338 - 3*1/3 prime?
False
Let x be (-784)/40 + 2/(-5). Is (-1186)/(-10) - 8/x a prime number?
False
Let d(r) = -r**3 - 2*r**2 + r + 2. Let j be d(-2). Suppose -l + j*l = -23. Suppose -2*h + h - c = -5, 5*c + l = 3*h. Is h prime?
False
Let j(h) = 153*h**2 - 3*h - 1. Let r be j(-2). Suppose 5*n + l - r = 14, -3*n - 5*l = -361. Is n a prime number?
True
Suppose -238 - 1050 = -g. Is g/20 + 9/15 a composite number?
True
Let z = 3 + -1. Suppose -z*c - c + 249 = 0. Is c prime?
True
Let x(d) = -d + 10. Let n be x(7). Let p = 30 - 10. Let j = n + p. Is j a prime number?
True
Let m = -3 + 7. Suppose -5*r + m*r + 1285 = 0. Is r prime?
False
Suppose -4*g - g + 2*f = -3272, 3*f = -g + 668. Suppose 83 = -3*p + g. Is p a composite number?
False
Suppose 0*s = -3*s - 6. Suppose 2 = 2*g - 4. Is s + 63 - (-1 + g) prime?
True
Suppose 3 + 0 = r. Suppose -r*p = -2*c + 403, -c + 205 = p + p. Is c composite?
True
Let l be ((-22)/6)/(3/(-9)). Suppose l + 5 = 2*d + 5*z, 0 = -3*d + z + 7. Is d a prime number?
True
Suppose -3*a + 6 = 4*b - 8*a, 0 = 2*b + a - 10. Let u = -2 - -6. Suppose -b*j - u = -136. Is j a prime number?
False
Suppose -5*m - 2 = -n, 0 = -3*m - m. Suppose -c - n*c = -333. Is c prime?
False
Let o be (-57)/(-2)*(-6)/(-9). Let a = o + 108. Is a prime?
True
Let x(t) = -t - 1. Let y(h) be the first derivative of -h**2/2 - 4*h - 1. Let g be y(4). Is x(g) a prime number?
True
Let a(b) = -b**2 + 6*b - 3*b**3 + 0*b**2 - 2*b + 3. Let w be a(-2). Is (2 - 1)*(w + 0) prime?
False
Let h(j) = -j**3 - 17*j**2 - 23*j - 42. Is h(-19) a prime number?
True
Suppose 0*w + a = 4*w - 125, 5*w + 3*a - 152 = 0. Is w a prime number?
True
Let p = -14 + 4. Is (-190)/(-4) - (-5)/p a composite number?
False
Let c = 271 + -144. Is c a composite number?
False
Suppose 4 = 4*k + 5*v + 32, 3*k = 3*v + 6. Let r(c) = -4*c**2 + 2*c + 3. Let i be r(k). Let t = 2 - i. Is t a composite number?
False
Suppose -5*j - 4*y + 7 = -5*y, -22 = -5*j - 4*y. Let o be (6 - j/(-1)) + -2. Is (285/o - -1)*2 prime?
True
Suppose -6*y = -y + 10. Is (-29)/y*(5 - -1) prime?
False
Suppose -3*f + 8*f + 115 = 0. Let h = -12 - f. Is h a composite number?
False
Suppose 2*v = v + 3*s, 5*s = 5*v - 10. Suppose -2*t - 318 = -4*n, 5*n + v*t - t = 393. Is n composite?
False
Suppose 2*b = -3*v + 10, 3*v = 2*b - 11 + 1. Suppose 5*g = 2*x - 652, v*x - 646 = 5*g + 4*x. Is g/(-4) - (-3)/2 prime?
False
Suppose -7 + 45 = 2*j. Is j a prime number?
True
Is -3 - 8/(-2) - 336/(-2) a composite number?
True
Suppose -2*q + 4 = 2. Let u = q + -4. Is (-4)/6 - 287/u a prime number?
False
Let x(v) = -v**2 + 10*v - 11. Let y be x(8). Let o = y + -2. Is o prime?
True
Let m = -17 + 32. Is 7/1*(m + 176) prime?
False
Let o = 2 - 1. Is (-42 - (o + 0))*-1 composite?
False
Let h(u) = -u**3 + 11*u**2 + 3*u - 11. Let n(w) = 11*w**2 + w - 2. Let t be n(1). Is h(t) composite?
True
Let s be 35 + -3 + 4*1. Is s + 4 + (-20)/4 composite?
True
Let k(g) = -3*g + 1 + 4*g**2 - g**3 - g + 1. Let l be k(2). Is 31 - (1 + -1)/l composite?
False
Let w(s) = s - 1. Let t(o) = 42*o**3 + 3*o**2 - 3*o + 6. Let f(m) = -t(m) - 4*w(m). Let q be f(-2). Suppose 8 = -2*y, r + 4*y = 5*r - q. Is r prime?
False
Let k be 1/2 + (-5)/(-10). Let w be 23 - k - (-2)/(-1). Suppose s - 8 = -p, -3*s = -2*s - 3*p - w. Is s prime?
True
Let b be 4 + (0 - 0/(-1)). Is b/12 + 348/9 composite?
True
Suppose -330 = t + 3*r, -r - 3*r = -3*t - 990. Let m = 565 + t. Is m prime?
False
Is 1 + 1/(5/930) a prime number?
False
Let a(x) = 5*x**2 - 38. Is a(-15) a prime number?
True
Let i be (22/(-12) - -2)*6. Suppose -i = 2*r - 11. Suppose 2*s = -o + 27, -4*s - 31 - 48 = -r*o. Is o a prime number?
True
Let m = 100 + -66. Suppose z - m = 68. Suppose -86 = -4*h + z. Is h a prime number?
True
Suppose 3*r = 2*r + 6. Let k(h) = -2*h**2 + 8*h - 4. Let s be k(r). Let i = s + 47. Is i a composite number?
False
Suppose -4*y + 9*y = 30. Is 138/(-2)*(-4)/y a prime number?
False
Suppose 575 = k + 4*k. Is k composite?
True
Suppose 5*k = 5*o - 50, -2*k - 2*o = 2 + 2. Let a(z) = -3*z - 4. Is a(k) a composite number?
True
Suppose -4*j = -3*b + 4, -3*j + 0 = 5*b + 3. Let a(v) = -v**2 - v + 46. Is a(b) a prime number?
False
Suppose -5*j = 2*c - 369, -8*j - 900 = -5*c - 13*j. Is c a prime number?
False
Let o = 1643 + 936. Is o composite?
False
Let v = 4 - 11. Let h be (v - -5)/(2/(-195)). Suppose 3*z + 2*z = h. Is z a prime number?
False
Suppose 514 + 472 = 2*r. Is r a prime number?
False
Suppose -4*r - 4*z + 3 + 17 = 0, 5*z = 20. Suppose 0 = -w + 66 - r. Is w prime?
False
Is 706/1 + 6/2 composite?
False
Let g be -3 + 3 + (-1)/1. Let r = 2 + g. Suppose -c + 0 - r = -4*n, 4*c - 101 = -5*n. Is c a composite number?
False
Suppose 0 = -o - o + 3*h - 19, -o + 23 = 5*h. Is (-292)/o + -2 + -1 a composite number?
True
Suppose -3*t = -4*t + 4. Suppose c - 173 = -2*v, -3*c - 351 = -t*v - 4*c. Is v prime?
True
Suppose 5*r - 555 = -0*r. Is r prime?
False
Is (((-12)/9)/((-2)/(-4713)))/(-2) a composite number?
False
Let d be (21/(-35))/(2/(-10)). Is d*-2*382/(-12) prime?
True
Let f be ((-6)/(-4))/(3/(-4)). Let k be (-15 - -5)/(1/f). Suppose -4 = -4*x + k. Is x a composite number?
True
Suppose 0*n - 2*n = 2. Let a(t) = t**3 + t**2 - t - 1. Let m be a(n). Suppose 2*i - f - 21 = m, -3*f + 17 = 4*i - 30. Is i prime?
True
Let m = 48 + -16. Suppose 2*f + m = 6*f + 2*c, -2*f - 5*c = -24. Is 173/f - (-2)/7 prime?
False
Let p(b) = 3*b + 8. Let g be p(-4). Is 3 - 1/(g/136) prime?
True
Let j(z) = -z**2 - z + 2. Let i be j(-3). Let p = i + 6. Is p + -2 + (67 - 0) composite?
False
Let i(v) = 14*v**2 + v - 1. Let o = 3 - 5. Is i(o) prime?
True
Let d(s) = -217*s - 51. Is d(-16) composite?
True
Suppose -3*v - 2719 = -2*f, -3*v = -5*f - 3535 + 10337. Is f a prime number?
True
Suppose 4*y - 13 = 7. Suppose 154 = y*b - 3*b. Is b composite?
True
Let l(n) = n**3 - 6*n**2 + 4*n + 6. Let u be l(4). Let h(i) = -2*i**3 - 12*i**2 + 13*i + 13. Is h(u) prime?
True
Let s = -51 + 130. Is s composite?
False
Let z = -3346 + 1732. Is z/(-14) - 6/21 composite?
True
Let p(b) = b**2 + b + 187. Is p(0) prime?
False
Suppose -r - 6 = -4*r. Suppose -r*p + 2*z = 3*z - 512, -z = -2*p + 516. Is p composite?
False
Let p be (-48)/(-14)*(-728)/(-16). Suppose 2*f - 4*w = p, 5*f - w - 165 = 3*f. Suppose -5 = 5*b, b + f - 13 = 2*t. Is t a prime number?
False
Let a(w) = w**3 + 6*w**2 + 2*w. Let d = -23 + 7. Let i = d - -11. Is a(i)