 (-490)/(-12) + (-41)/(-246). Let v = x - y. Is v a composite number?
False
Let d = -21 - -27. Suppose -228 = d*h - 1626. Is h a composite number?
False
Let p = 376 + -247. Suppose 2*x - 3*f + 129 + p = 0, -124 = x + f. Let r = 739 + x. Is r composite?
False
Suppose -2*b + 16 = 4*s + 2*b, 0 = -s - 4*b + 10. Suppose -2*q - s*a + 1868 = 0, -a + 20 = 3*a. Is q a composite number?
False
Suppose 3*f + 11 = -d, -5*d = -2*f - 2*f + 74. Let u = d - -12. Is (u + 1101/(-6))*-2 composite?
True
Let t(g) = 4*g**3 + 7*g**2 + 21*g + 31. Is t(11) composite?
True
Let z(m) = 0*m**2 - m**2 + 55*m**3 + 251*m**3 - 1 + m. Suppose 0*d - 5*i = d + 24, i = 4*d - 9. Is z(d) composite?
True
Let y(q) = -q**2 + q. Suppose 2*h = -3*m - 1, 4*h + 9 = m - 0*m. Let f be y(m). Suppose -395 = -f*n - 5*n. Is n a prime number?
True
Let q(v) = -4*v + v**3 + 11 - 3*v - v**2 - 5*v**2. Let k be q(8). Suppose -65 = -4*z + k. Is z a composite number?
False
Let m = 1649 + -922. Is m a composite number?
False
Let c = 14967 + -7658. Is c a prime number?
True
Suppose 21*j = 15*j + 18. Suppose -4*i = -2*w - 867 + 23, 5*i = j*w + 1055. Is i prime?
True
Suppose -5*r - 85 = 5*o, -o + 3*r - 7 = 6. Let a = o - -20. Is 8/(-4)*(-102)/a composite?
True
Let i = 11 + -17. Let r(a) = 4*a**2 + 6*a + 3. Is r(i) prime?
False
Suppose 6*v = 2*v, 0 = j - 3*v - 4. Let d = -2 + 2. Suppose -b + 1259 = -i, j*i - i = d. Is b a prime number?
True
Let t(l) = 34*l**2 + 2*l - 1. Let u(a) = -4*a - 3. Let c(m) = -m. Let x(s) = 5*c(s) - u(s). Let k be x(5). Is t(k) composite?
False
Suppose 0*q - 2*q = -5*b + 3335, 4*b + 12 = 0. Let k = 1120 + q. Let g = k - -1096. Is g a prime number?
True
Suppose j - 912 - 311 = 0. Is j prime?
True
Let z = 3981 + 6313. Is z composite?
True
Suppose 0 = 5*a - 0 - 0. Suppose -2*f + 490 + 508 = a. Is f a prime number?
True
Let n = 124018 + -83232. Is n a composite number?
True
Let a(q) = -431*q - 339. Is a(-8) a prime number?
True
Suppose 3*x - 3 = 21. Let i(s) = s**3 - 16*s**2 + 10*s - 6. Let r be i(x). Is r/(-3) - (-1 + 4) a prime number?
False
Suppose -9*c = -17*c + 56. Is c a prime number?
True
Suppose 72473 = 4*i - 10*t + 13*t, 4*i - 72475 = -t. Is i prime?
True
Is -1 + (-5585)/5*-4 a prime number?
False
Let u(d) = 2*d - 15. Let i be u(9). Let a(b) = 13*b**2 + 5*b - 19. Is a(i) composite?
False
Suppose -4 = 7*w - 18. Let f = 7 - 2. Suppose -x + 257 = 2*t, -f*t = -w - 13. Is x prime?
True
Let v(n) = 144*n - 33. Is v(13) a composite number?
True
Let j(x) = 10*x**2 - x + 5. Let i = -16 + 11. Let q be j(i). Suppose 0 = 4*a + 12 + 8, -3*r + q = 5*a. Is r a composite number?
True
Let b(f) = f**2 + 7*f + 9. Let n be b(-6). Suppose -4*s + c = -3*c - 12812, -s + 3187 = n*c. Is s a composite number?
True
Let j(r) = 440*r**2 - 4*r + 2. Let n(o) = o**3 + 6*o**2 + 4*o - 3. Let y be n(-5). Let t be j(y). Suppose -7*i + 5*i + t = 0. Is i prime?
True
Suppose 29*h + 39972 = 168819. Is h prime?
False
Let j(f) = f**3 - 23*f**2 + 31*f + 53. Is j(29) a prime number?
False
Suppose 0 = 2*f - 4*y + 1106, y = -4*f - 2*y - 2157. Let t = 387 + -679. Let x = t - f. Is x composite?
False
Is (-2*5/20)/(1/(-1642)) prime?
True
Let i(a) = -2*a - 1. Let d be i(5). Let j(t) = -17*t + 7. Let r be j(d). Suppose p + p = r. Is p composite?
False
Suppose -4*p + 6 = 2*t - 0*t, -4*p = -8. Is 1/t*4 + 653 prime?
False
Is ((-5)/5)/(-4)*127004 a prime number?
True
Let c(o) = 23*o**2 + 2*o - 2. Let f be 24/9 - (-2)/(-3). Let i be c(f). Is ((-3)/2 + 2)*i composite?
False
Suppose -2*k + o + 30 = 4*o, 0 = -5*k + 5*o + 75. Is 6126/k + (-9)/(-15) a prime number?
True
Let y(d) = -39*d + 4. Let o(t) = -39*t + 4. Let f(n) = 5*o(n) - 4*y(n). Suppose 5*h = -2*q - 25, 3*q = -2*h + 3*h + 5. Is f(h) composite?
False
Suppose 15 + 1 = 4*b. Suppose -b*l + 5 = -15. Suppose -4*q + 12227 = l*k, 3*k - q - 9195 + 1869 = 0. Is k a prime number?
False
Let a(d) = 57*d**2 + 2*d + 3. Let b be a(-4). Suppose -c - b = -2*c. Is c a composite number?
False
Suppose 0 = -5*x + 5*g - 4*g + 20, 5*x + 3*g = 0. Suppose x*q = -3, -3*l = -2*l - q - 1338. Is l a prime number?
False
Let z = 4130 + -1167. Is z a composite number?
False
Suppose 2*q = -3*q - m + 6, 18 = 3*q - 3*m. Suppose -q*j + 4 = -2*s - 14, 16 = s + 4*j. Is (1/s)/(3/(-1524)) a composite number?
False
Let c(a) = 48*a - 7. Let w be c(5). Let f = 103 - w. Is f/(-18) + 10/(-45) prime?
True
Is ((-4)/(-24))/(7/57162) prime?
True
Let h(l) = -5*l**3 + 12*l**2 + 3*l + 7. Let m(w) = -3*w**3 + 6*w**2 + 2*w + 4. Let q(t) = 4*h(t) - 7*m(t). Is q(7) prime?
False
Is 1092456/(-192)*(-8)/1 composite?
True
Let y(h) = 2*h**3 + h**2 - h + 2. Let r(u) = 0*u**3 - u + 3 + 0 - u + u**3. Let o(a) = -3*r(a) + 2*y(a). Is o(6) a prime number?
True
Suppose t = -4*n + 1735, -2*t = -0*t - 4*n - 3434. Let g = t - 1221. Is g a composite number?
True
Let n(t) = t**3 + 13*t**2 + 20*t - 16. Let w be n(-11). Suppose w*z = 14494 - 3472. Is z composite?
True
Let n be (7 - 4)*1/1. Let k be (-67)/(n + (-106)/35). Suppose 16*i - 11*i - k = 0. Is i a prime number?
False
Let f(i) = -3*i**3 - 7*i**2 + 2*i + 31. Let j be f(-5). Let g be 168*(0 + (-10)/(-3)). Let v = g - j. Is v a composite number?
True
Let p(t) = -t**3 + 18*t**2 - t + 17. Let l be p(18). Is (-331)/(-1)*(l - 4)/(-5) composite?
False
Suppose 2*n - 5*z = 17502, -4*z = 4*n - 27121 - 7939. Is n a prime number?
True
Let q(o) = 3*o + 9*o**2 - 5*o + 5 + 0*o**2 - 5*o. Let g be q(12). Let f = -420 + g. Is f a prime number?
True
Suppose -2887*b + 2879*b + 30488 = 0. Is b a composite number?
True
Suppose 5*c = 1101 - 196. Suppose 777 - c = 4*b. Is b/((-2)/1 + 3) prime?
True
Let b be (3036/9 - -4)*(6 - 0). Let l = 3199 - b. Is l prime?
True
Let y(q) = q**2 + q + 2. Let a be y(-1). Let d be (2 - a) + 3 + -4. Is (7 - 8)*(d - 184) prime?
False
Suppose -27 = -4*u - 7. Suppose -3*d + u*d = 164. Is d composite?
True
Let n = 101 + -23. Suppose l - 7*l = -n. Suppose -8*t = -l*t + 1015. Is t prime?
False
Let i(f) = 66*f + 3. Let s(w) = -w**3 + 4*w - 3. Let m be s(2). Let n be i(m). Let k = n + 278. Is k a composite number?
False
Let z(g) = -g**3 + g**2 + g + 3. Suppose 5*y = -0*y. Let h be z(y). Suppose 0 = -5*f - 5*c + 320, 2*f = 4*f - h*c - 153. Is f composite?
True
Suppose 0 = 4*h - 4*m - 28, -2 = 4*h + 5*m + 6. Let a be (18/2)/(h/15). Is 6/a - (-2113)/15 composite?
True
Suppose -8*m = -3*m. Suppose 805 = 6*b + b. Suppose g - b - 88 = m. Is g composite?
True
Suppose s = -s + 14. Let x(n) = n**3 - 8*n**2 + 8*n - 2. Let i be x(s). Suppose i*o - 62 = -3*y, -y + o = y - 37. Is y a prime number?
True
Suppose 8275 = -4*w + 9*w. Suppose i - 6*i = -w. Is i a prime number?
True
Is 2/2 + 1196/1 - -4 a prime number?
True
Let v(x) = 527*x + 113. Is v(4) prime?
True
Let z = 1 - -4. Suppose 5*s = 0, -4*w = 4*s - z*s - 3212. Suppose j + w = 5*g + 210, -5*j = 3*g - 367. Is g prime?
False
Let x = -15776 - -29355. Is x a prime number?
False
Let c(j) = -2*j + 3. Let a be c(-3). Let g = 69 + -75. Is 332/(-6)*a/g a composite number?
False
Is 3/(-2)*100862/(-87) a composite number?
True
Suppose -4*c + 2*c - 4362 = -4*a, 4*c + 12 = 0. Suppose 2*z + z = a. Suppose -z = 3*w + 2*s - 1002, -2*w = -3*s - 413. Is w composite?
False
Let n = -31 + 189. Suppose -h = 3*d - n, 0 = h - 2*d + 4*d - 153. Is h a prime number?
False
Let v(r) = r**3 - 4*r**2 - 4*r - 3. Let s be (-1 + -4)*2/(-2). Let n be v(s). Suppose -40 = -2*k - n*k - q, -4*q = -16. Is k prime?
False
Suppose 2*i = -5*j - 1 - 1, 2*i = -j - 2. Suppose -l + 87 + 54 = j. Is l composite?
True
Let w(f) = f**3 + 8*f**2 - 7*f + 12. Let p be w(-9). Let s be p/(-42) + (-68)/(-14). Suppose -3*o + 117 = s*t, -3*t = 5*o - o - 156. Is o a composite number?
True
Let v = 924 - -9907. Is v a prime number?
True
Suppose 0 = -7*c + 46832 + 46835. Is c composite?
False
Let z = -23693 - -88528. Is z a prime number?
False
Suppose 3*b + 5*i - 11129 + 3142 = 0, 4*b - 10692 = 4*i. Is b a composite number?
True
Let b(j) = 5 + j - j**3 + 5*j**2 - 4*j + 0 + 2*j. Let f be b(5). Suppose 0*i + 4*i - 868 = f. Is i composite?
True
Is 32839 + (-13 - -13)/(3/(-1)) a composite number?
False
Suppose 4*v - 136 = -0*v. Suppose 51*y = 55*y - 432. Let w = v + y. Is w prime?
False
Let r be 4*(-30)/(-25) + (-4)/5. Suppose w - r = 0, 2*b - 5*w = -553 + 2127. Is b a prime number?
True
Suppose 0 = -7*j - 59 - 25