uppose 5*g = -25, 5*v - 5*g = -78 + o. Is v composite?
True
Let y be (-65 - 2)/(-1 + 2). Let w = -10 - y. Is w composite?
True
Suppose 0 = 3*h - 12, 0 = -3*m - 2*h - 3*h + 275. Is m prime?
False
Let r(d) = 36*d**3 - d**2 + 7*d - 5. Is r(2) a composite number?
False
Let r = -42 + 75. Let p = 13 + r. Is p a composite number?
True
Suppose -26*r + 201 = -25*r. Is r a composite number?
True
Let l = -1 + 2. Let c be 1/(l + 2 + -4). Let m = c - -3. Is m prime?
True
Let h(c) be the third derivative of -c**5/60 - c**4/2 - 4*c**3/3 + 3*c**2. Is h(-11) prime?
True
Is (-20652)/(-108) + (-2)/9 composite?
False
Let g(l) = l**3 - 6*l**2 + l - 4. Let b be g(6). Suppose b*f = f + 77. Is f a composite number?
True
Suppose -3 = 2*t - 35. Suppose -c + 3 + t = 0. Is c a composite number?
False
Let v be (0 + -19)/(2/(-38)). Is (2 - 2) + 4 + v a prime number?
False
Suppose -4*f + 3*g = f - 11, -f + 3*g + 7 = 0. Let v be -2 + f*(-2 - -4). Suppose -4*o + 12 + 64 = v. Is o a composite number?
False
Let t be 72/27 + (-1)/(-3). Let s = t + 94. Is s a prime number?
True
Let b be -2 + 7/1 + 0. Let n(x) = -2*x**2 + 5*x + 6. Let q(g) = 4*g**2 - 9*g - 11. Let z(c) = b*n(c) + 3*q(c). Is z(-2) prime?
False
Suppose -156 = 3*j + 3*l, 2*j + 116 = -6*l + l. Let f = -9 - j. Is f composite?
True
Suppose -3*y = 5*w - 12, -2*w = -w - 5*y - 8. Suppose -2*q + w*q = 12. Suppose -5*h + 5*u - 50 = -10*h, u + q = h. Is h composite?
False
Let a(g) = 4*g**3 + 9*g**2 - 4*g - 10. Let b(d) = d**3 + d**2 - d - 1. Let r(s) = a(s) - 3*b(s). Is r(5) a prime number?
True
Let c(g) = 3*g**2 + 2*g + 7. Let m(z) = -6*z**3 - 2*z**2 + 1. Let f be m(-1). Let q be (2 - (2 + -1)) + f. Is c(q) composite?
False
Let y = -5573 - -8182. Is y a prime number?
True
Suppose 8*x = 9*x - 921. Is x a prime number?
False
Is (-2 - 0) + 163 - (1 - 3) a prime number?
True
Let l(p) = -813*p + 5. Is l(-1) a composite number?
True
Suppose 14 = u + 4*t, -2*u - 2*t + 0*t = 2. Is (-304)/u + (-1)/(-3) a composite number?
True
Suppose -q + 6 + 1 = 0. Is (-28)/(-49) + 2313/q a prime number?
True
Let c(x) = -46*x - 6. Is c(-8) composite?
True
Is (1000 - 1) + 4*1 a prime number?
False
Let l be 101*-1 + (8 - 11). Let q = 513 + l. Is q a prime number?
True
Let m(c) = c**3 - 7*c**2 - 7*c - 5. Let v be m(8). Suppose v*l = 8*l + 145. Is (l/(-3) + 2)*3 composite?
True
Let i = 4 + -1. Suppose -8 = u - i*u. Is u a composite number?
True
Suppose 3*i - 5*n - 1045 = -n, 0 = -4*i - n + 1387. Is i a composite number?
False
Let i = 3 - -112. Is i a composite number?
True
Let l be 150/(-12)*12/(-10). Let h be 3/3*l - 0. Suppose 3*n = 12 + h. Is n a prime number?
False
Let v = -9 + 86. Is v composite?
True
Let n(h) = 2*h + 27. Let a(m) = m + 13. Let d(p) = -7*a(p) + 4*n(p). Let i be d(-13). Is 178/i*(1 - -1) a composite number?
False
Let c = -1816 + 2594. Suppose -c = -3*a + 4*w, 4*a + 5*w - 153 = 905. Is a a composite number?
True
Suppose -2*f = 4*n - 20, -2*f + 3*n = 3 - 2. Let b = 17 + f. Is b composite?
True
Suppose -q = m - 6253, 4*m = -q - 1264 + 7505. Is q prime?
True
Let k(m) = 520*m**3 + 1. Is k(1) a prime number?
True
Suppose -y = 2*k - 545, -y + 2*y - 549 = -k. Is y composite?
True
Suppose 5*t + 257 = 4*f - 0*f, -f + 53 = t. Is f composite?
True
Let q(b) be the third derivative of -b**6/20 - b**5/30 + b**4/12 + b**3/6 - b**2. Let y be -3*(-7)/(42/(-4)). Is q(y) composite?
False
Let q = 124 + -65. Let c(o) = 396 + 4*o**2 - 5*o**2 - q + 2*o**2. Is c(0) a composite number?
False
Suppose -3*x + 5*s + 3776 = 0, -3*x + 3774 = s - 4*s. Is x a prime number?
False
Suppose -3*g - 1 = -2*g + 5*t, -3*g + 5*t + 17 = 0. Suppose -2*w - 2*v + 583 = -5*v, 5*w - 1461 = g*v. Is w a composite number?
False
Let k = 5 - 2. Suppose 0 = k*d + d - 468. Is 2/3*d/6 composite?
False
Suppose -3*c = -348 + 135. Is c a prime number?
True
Suppose 2*w = 1 + 5. Suppose 2*u - w*x = -3*u + 224, -6 = -3*x. Let a = -27 + u. Is a composite?
False
Suppose 2*n = -2*n + 16. Suppose 4*y - 485 = -n*d - 81, -2*d + 3*y = -227. Is d a prime number?
False
Suppose -2*d + 6*d - 316 = 0. Is d composite?
False
Let g be (-92)/(-6) - (-10)/15. Suppose -c - 5*j - 7 = g, 2*j + 6 = -2*c. Let p(q) = 3*q**3 - 2*q**2 - 3*q + 3. Is p(c) composite?
False
Let d = 318 + -169. Is d composite?
False
Let a = 9721 + -6888. Is a prime?
True
Let v be (-9)/(-6) + (-33)/(-6). Let w(u) be the first derivative of 2*u**2 + 5*u + 1. Is w(v) composite?
True
Suppose 399 - 1703 = -4*u. Let g = u + -178. Suppose f + g = 5*f. Is f composite?
False
Suppose 5*i + 11518 = 3*t, 5*t - 25335 = 3*i - 6165. Is t composite?
True
Suppose 2*g = 2 + 4. Suppose -g*d = -d - 2*r + 12, 4*r = -3*d + 10. Is ((-89)/d)/((-4)/(-8)) prime?
True
Suppose -2*f - 115 = 101. Let v = f - -50. Let s = v - -81. Is s prime?
True
Let o(y) = y**3 + 8*y**2 + 7*y + 3. Let w be o(-7). Let f(r) = 6*r**2 + 2*r - 7. Is f(w) a prime number?
True
Let q = 48 + -27. Is -1*(-1*q - 2) a prime number?
True
Suppose 2*y = -t - 3*y + 330, -4*y + 335 = t. Is t prime?
False
Let z be (38/(-5))/((-2)/50). Let k be (1*16)/(5/40). Let p = z - k. Is p a prime number?
False
Let n(r) = -2*r - 3. Let a = -1 + 8. Let c be 0 + 1/((-1)/a). Is n(c) a prime number?
True
Suppose -2*h + 3*n = 33, 1 = h + 2*n - 0. Let o(i) be the first derivative of i**4/4 + 3*i**3 - 3*i**2/2 + 10*i + 5. Is o(h) a composite number?
False
Let g(s) = -5*s - 6. Let p(h) = h. Let n(k) = g(k) + 4*p(k). Let a(v) = v + 1. Let j(y) = 4*a(y) + n(y). Is j(2) prime?
False
Let i = 2 + -1. Is (-2)/4*(i - 717) a composite number?
True
Let w(j) = -71*j - 2. Let h be (3 + -3 + 1)*0. Suppose 4*t = h, -7 - 8 = 5*g - 2*t. Is w(g) a composite number?
False
Suppose -2*m + m + 3 = i, -2*m + 2*i = -6. Suppose 0 = -m*q + 104 + 277. Suppose 4*b - 7*b = -p + q, 2*p - 254 = -b. Is p a composite number?
False
Suppose 5*o + 0*o = 3*l + 5695, -l = 0. Is o a prime number?
False
Suppose -5*f - 61 + 296 = 0. Let o = 20 + f. Is o composite?
False
Let o = 5 - 3. Suppose -o*j - 3 = 3. Is j/9*89*-3 prime?
True
Let r be (36/(-15))/(6/(-20)). Let m be ((-8)/(-2))/(r/76). Let q = m - 3. Is q composite?
True
Let g be (-914*1 - 0) + 1. Is g/(-5) + 6/15 composite?
True
Let t(p) = -43*p + 8. Let h be t(-4). Let a = h - 31. Is a a prime number?
True
Let d = 2 + -6. Let n = 6 + d. Is n prime?
True
Let o = 432 - 282. Is (7/21)/(2/o) composite?
True
Suppose 3*j - 4*j + 17 = 0. Let k = j - 7. Is k a composite number?
True
Let t(r) = 33*r**2 + r - 1. Let f(h) = 2*h**2 - h. Let u be f(1). Is t(u) a prime number?
False
Suppose 3*m + 0*m - 2*l - 23 = 0, 0 = -2*l - 8. Suppose -16 = -2*z - 2*o, 3*o + 40 = m*z - 2*o. Let t(s) = -s**2 + 9*s + 5. Is t(z) a prime number?
True
Let q(z) = -7*z**3 - 4*z**2 - 5*z - 4. Let y be q(-3). Suppose 5*u - 111 - y = 0. Is u prime?
False
Let b = 72 + -193. Is 0 - 1 - -1 - b a composite number?
True
Let g(y) = -y**3 + 5*y**2 - y - 7. Let f be g(4). Suppose m = v + v + 555, 0 = -2*m + f*v + 1105. Is m a composite number?
True
Let i be 3*(-1)/6*62. Suppose 0*y + c = -5*y + 251, 0 = -4*c + 4. Let h = i + y. Is h prime?
True
Let m(f) = -f**2 - 8*f + 7. Let j be m(-7). Suppose -j = -5*x - 3*h + 440, 2*x - 166 = 4*h. Is x composite?
False
Let v(f) = 2*f - 7. Let o be v(11). Suppose o*t - 20*t = -435. Is t a prime number?
False
Suppose -7 = -2*y + 7. Suppose -5*j = -5*t - 10, -3*t - y = -4*j - 1. Is 39 - -2 - (j - 2) a prime number?
True
Let z = 0 + 4. Let g = 9 - 4. Suppose 31 = g*o - 2*y, -z*y = 5*o - y - 41. Is o a composite number?
False
Let x = -455 - -299. Let a = -110 - x. Suppose 3*u - a = 47. Is u prime?
True
Let n be ((-27)/(-6))/(12/16). Is n/8 - (-386)/8 a prime number?
False
Let t be (-3)/(9/2)*18. Let a = 25 + t. Is a a prime number?
True
Let q be 6 - 5/((-5)/(-2)). Suppose -q = -3*u + u. Is u/6*(34 - 1) composite?
False
Let a be 2 + 0 + 660/10. Let w = a + -21. Is w a prime number?
True
Let d be 0/(2 + -1 - 0). Suppose -3*h + 6 + 6 = d. Suppose -3*c = -2*x + 81, -x - h*c = -3*x + 86. Is x a prime number?
False
Suppose j - 2*j = 0. Let v = 2 - j. Suppose -o - 119 = -v*o. Is o composite?
True
Let n(d) = d**3 + 3*d**2 - 4*d + 2. Let z be n(-4). Is 1/((z/254)/1) composite?
False
Is (-4)/(-22) + (-5)/((-165)/29001) prime?
False
Let n be 12/(-18) - 22/(-6). Suppose -2*d + n*d = -2. Let u(b) = -18*b - 2. Is u(d) a compo