. Let o be n(-6). Is -2 - (-45 + -1 - o) composite?
True
Suppose 11*u = 13*u - 110. Is u prime?
False
Suppose -d = 4*q - 1777, 2*q = 5*d + 198 + 663. Is q composite?
False
Let w(b) = -b**3 + 3*b**2. Suppose 0 = 2*a + 3*t - 4 + 19, 0 = t + 3. Let v be w(a). Suppose 25 = f - v. Is f composite?
False
Suppose -4*o - 11 = 5. Is 915/10 - (-2)/o prime?
False
Let n be (-242)/(-3) - (-1)/3. Is (-5 - -3) + 0 + n a composite number?
False
Let m = -4 + 6. Suppose -m*h + 0*h = 0. Suppose h = -y - 2*y + 63. Is y a prime number?
False
Let z(l) = l**3 + 8*l**2 - 9*l + 5. Let o be z(-9). Suppose -1114 = o*s - 354. Let p = s + 231. Is p composite?
False
Let l be (1/(-1))/(2/(-74)). Let p = -1 - -3. Suppose 3*q - p*q - l = 0. Is q a composite number?
False
Is (6 + -4 - 1)*39 composite?
True
Let x = -18 + 42. Suppose 1 = 4*f + 3*v, -4*f + 5*v + 17 + x = 0. Suppose z = 6*z + 5, 4*a + f*z - 304 = 0. Is a composite?
True
Let f = -24 + 46. Suppose -6*m + 2*m + f = 3*s, -2 = -2*m. Is s prime?
False
Let r = 27 - 47. Let o be r/(-8)*(-4)/5. Is (o/6)/((-3)/783) a composite number?
True
Let s = 121 + -18. Let j = s - 56. Is j a composite number?
False
Let d(t) = t + 8. Let m be d(-5). Suppose 2*k - 3*w + m = -7, k - 5*w + 12 = 0. Is 0 - 10*-2 - k a prime number?
False
Let m(j) = -144*j - 1. Let w be m(-1). Let r = -74 + w. Is r a prime number?
False
Let i(r) = -44*r - 75. Is i(-26) composite?
False
Suppose 9 = -3*h, h = 3*x - 8*x + 3502. Is x prime?
True
Suppose -3*t + 2*c + 248 = 0, 2*t - 7*c - 168 = -3*c. Is t a prime number?
False
Suppose 0 = -2*v - 4*k + 9550, 5*k - 314 = -v + 4476. Is v a composite number?
True
Suppose 2*b = -5 + 1703. Suppose -14 = 5*x - b. Suppose -5*g + x = -18. Is g prime?
True
Is (7388/(-6))/((-6)/9) a composite number?
False
Let x(o) = 14*o**2 + 2*o + 4. Let w(h) = 5*h**2 + h + 1. Let i(b) = 17*w(b) - 6*x(b). Let g = 17 - 10. Is i(g) a composite number?
True
Let b(z) = z + 223. Is b(0) a composite number?
False
Let z(b) = -b + 14. Is z(-5) a prime number?
True
Suppose w = 3*t + 653, 5*t = w - 621 - 32. Is w a composite number?
False
Suppose -779 = -8*c + 813. Is c a prime number?
True
Let w(n) = 15*n - 8. Suppose 0 = 5*a + 3*r - 9 - 25, a = 4*r - 7. Is w(a) a composite number?
False
Let c be (2 + -5)*(-1)/(-3). Is (-98 - c)*5/(-5) composite?
False
Let a(d) = 0*d**2 + 9*d**2 + d**3 + 0 + 2*d + 5. Is a(-8) composite?
False
Let p be (-25)/(-10)*24/15. Suppose 0 = r - 5*t - 219, -4*r + 166 = -p*t - 678. Is r a prime number?
False
Let n = -1758 - -2534. Let d = -367 + n. Is d a prime number?
True
Let t be (-2)/7 - 4/(-14). Suppose -d + 10 = -t*v + 3*v, 5*d - 4*v - 12 = 0. Let g = 6 + d. Is g composite?
True
Suppose -3*q = -0*q + 9. Is (q/(-6))/((-1)/(-70)) a composite number?
True
Let r(z) = 2*z**2 + 7*z. Let d be r(-5). Let g be (-3 + 13)*6/d. Is g*(2 - 6/(-4)) a prime number?
False
Suppose -10 = -q + y - 5*y, q - 42 = 4*y. Suppose 3*v = 2*v + q. Suppose -z + v = -0*z - 3*b, -4*b = -5*z + 163. Is z prime?
False
Let s(a) = 83*a - 4. Let o(z) = 248*z - 13. Let v(t) = -3*o(t) + 8*s(t). Is v(-11) prime?
True
Suppose -5*o = 5*u - 15, -2*o - 3 = -u - 12. Let b be u + 2 - -1 - 0. Suppose 0*z + z - b*f = 12, 29 = 3*z + f. Is z composite?
True
Suppose -x + 7 + 0 = 0. Suppose -4*d + x*d = 345. Is d prime?
False
Let z(k) = -k**3 - k**2 + 3*k - 6. Is z(-5) prime?
True
Let d = 11 - 9. Let a = -6 + d. Is (-46*(-3 - a))/(-2) prime?
True
Is (-6093)/(-30) - 3/30 a composite number?
True
Let b(r) = r**3 - 4*r**2 - r + 3. Let h be b(4). Let m(d) = 7*d - 1. Let w be m(1). Let p = w - h. Is p prime?
True
Let j = 4 + -5. Is (-1)/((-72)/70 - j) a prime number?
False
Let o(a) = 4*a + 34. Is o(-7) a composite number?
True
Let y be 0 + -3 - (0 + -6). Suppose -y*j + 934 = -j. Is j composite?
False
Suppose l - 2*l = -1. Let b be (-2 + -1)*1/l. Is (13/b)/(2/(-6)) a prime number?
True
Is ((-19746)/12)/(18/(-12)) a composite number?
False
Let g(s) = 7*s - 1. Let w be g(3). Suppose 3*b - 3*l + 6 = 0, -b + 0*l + 2*l - 6 = 0. Is b/10 - (-376)/w a prime number?
True
Let c(b) = -b**2. Let x be c(-1). Let m(g) = 155*g**2 - g - 1. Is m(x) a prime number?
False
Let a be (-1 + -3)*(0 - -11). Let s = -93 - a. Let k = -26 - s. Is k a prime number?
True
Let n(m) = m**3 - 4*m**2 - 12*m + 4. Suppose 21 = -6*a + 75. Is n(a) a composite number?
True
Let t = 19 - -538. Is t prime?
True
Let r be 100*4 + 1 + -2. Is 2/(405/r - 1) a composite number?
True
Let q be (-1900)/(-14) - (-4)/14. Let n = 13 + q. Let t = n + -82. Is t a composite number?
False
Let x(j) = 3*j**3 + 4*j**2 + 2*j. Let a be x(-2). Is (-6)/4*712/a composite?
False
Let b(z) = -7*z**3 + 5*z**2 - 5*z + 6. Let w(o) = 6*o**3 - 4*o**2 + 4*o - 5. Let v(d) = 4*b(d) + 5*w(d). Let m be v(1). Let f = 32 - m. Is f a composite number?
False
Suppose 350 = 2*p - 284. Is p composite?
False
Suppose -2*b - 2*p = -2, -2*b + 4*p = b + 18. Is (-97)/b*(2 - -12) composite?
True
Let w(t) = -t**2 + 7*t + 6. Let y be w(6). Is 2/(-6) + 9424/y a composite number?
True
Let h(i) = 7*i**2 - 7*i + 7. Is h(-6) a prime number?
False
Suppose -f + 172 = -207. Is f a composite number?
False
Let t = 75 - 41. Is t a prime number?
False
Suppose -4*h + 0*h - 2*f + 12 = 0, 4*h - f = 24. Suppose c - 71 = -13. Suppose c = -b + 2*b - 5*n, -h*b = -5*n - 210. Is b a prime number?
False
Let g(t) = -t**3 + 9*t**2 + 9. Let x = 30 - 21. Is g(x) a prime number?
False
Let z(u) = 27*u. Let i be z(-1). Let l = -12 - i. Is l a prime number?
False
Is 4476/27 - 8/(-36) a prime number?
False
Let i(z) = z - 3. Let y be i(5). Let a(t) = -t + 1. Let w be a(-4). Suppose w*j = y*n + 22, 5*j = 5*n - 0 + 10. Is j composite?
True
Let g be (1 + -4)*-1 - 271. Let a = 63 - g. Is a composite?
False
Let c(y) = 0*y + 1 - 4*y**2 + 2 - 2*y + 3*y**2. Let f be c(-10). Let l = 0 - f. Is l a composite number?
True
Suppose -5*g = -5*d + 2340, -1380 = -2*d - d - 5*g. Is d/9 - (-2)/(-3) composite?
True
Let f(r) = -1769*r**3 - r**2 - 2*r - 1. Is f(-1) a prime number?
False
Is (-2 - (-3 + 5)) + 501 a composite number?
True
Let j(w) = 5*w + 4. Let y(k) = 6*k + 4. Let t(a) = -5*j(a) + 4*y(a). Let p be t(-7). Is 4*p*296/32 prime?
False
Let n(l) = -10*l**3 - 4*l**2 - 5*l. Let w be n(-4). Suppose 2*d - 6*d + w = 0. Is d a composite number?
False
Let o(j) = -13*j + 4. Let i be o(-3). Suppose -3*b + 26 + i = 0. Is b prime?
True
Suppose 345 + 569 = 2*l. Is l prime?
True
Suppose -1944 + 59 = -5*u. Is u prime?
False
Let t(a) = a**2 + 6*a - 7. Let q be t(-7). Suppose q = 3*d + 2*d - 185. Is d a prime number?
True
Let l(f) = -f**3 - 29*f + 28*f - 5*f**2 + 12 - 1. Is l(-8) a prime number?
True
Is 5718/10 - (-40)/(-50) a composite number?
False
Suppose l + 2*l = -201. Let x = -33 - l. Is x a composite number?
True
Let h(s) = 2*s**2 + 9*s + 1. Suppose -2*o = -0*o - 8. Let x = -10 + o. Is h(x) prime?
True
Suppose -3*b + 6 = -6, b = k. Suppose -3*y - 28 = -5*y - k*c, -4*y + 3*c = -100. Is y a prime number?
False
Let v = -2 + 3. Suppose -5*j + 15 = -0*h + 5*h, h + 2*j = v. Suppose 5*w = 2*w + 6, -3*o - h*w + 265 = 0. Is o composite?
True
Let w be -3*(-3)/9*2. Is 370/w - (0 + 0) composite?
True
Suppose 3*j = 4*u + 13, u - 2 = 2*j - 3*j. Suppose -j*b + 100 = -47. Is b composite?
True
Let h be -12*(14/(-4))/(-7). Is (-56)/(-9) - h/(-27) a composite number?
True
Let k = -51 - -9. Let z = 4 - k. Is z a prime number?
False
Suppose -4*t = 4*u, 3*u + t - 10 = 3*t. Suppose 0 = b + 3 - u. Is b/(-3) - 220/(-15) a composite number?
True
Let p be (-51)/15 - (-2)/5. Let x = 2 + p. Is 46*1/2 + x a prime number?
False
Suppose 4*h = 149 + 239. Is h composite?
False
Let j = -1725 - -2494. Is j a prime number?
True
Let r = -11 - -18. Suppose 0 = -3*h - k + 7, -r*h - k + 11 = -3*h. Suppose -4*m - 52 = -h*y + 56, -5*m - 43 = -y. Is y prime?
True
Let s be (-2 + (-26)/(-6))*-3. Let o(t) = 2 + 4*t - 9*t - 6 - t**2 - t**3 - 6*t**2. Is o(s) composite?
False
Suppose t - 4 + 0 = 0. Suppose q - i - 7 = 0, -6*q + 22 = -3*q - t*i. Suppose -2*s = 2*j - 12, -3*j - 5*s = -q*s - 38. Is j a prime number?
True
Let m be 1 + 6/(-3) + 4. Suppose -v + 268 = m*o, v - 3*o - 1286 = -4*v. Is v composite?
True
Suppose 0 = -2*c + 3*c + 3. Let b be 10*(c + 2 - -2). Is (55/10)/(1/b) a prime number?
False
Suppose -p + 7 - 2 = -w, 5*w = -4*p - 7. Suppose -b + p*b = -j + 304, 