Let v = x + 110. Suppose -z + v = -153. Is z composite?
False
Let x(l) = 397471*l**2 + 3*l - 6. Let b be x(1). Is 20/90 + 2*b/72 prime?
False
Let s(t) = 34*t**2 - 3*t + 3. Suppose -6*r - 6 = -4*r. Let o be s(r). Let w = o - 169. Is w a composite number?
False
Suppose -439*a + 75817 = -432*a. Is a a prime number?
True
Let w = 3384 + 9457. Is w prime?
True
Suppose -16*d - 2*d + 12078 = 0. Is (d - 3) + (0 - -1) prime?
False
Let f(d) = -158*d**3 + 2*d**2 - d - 85. Is f(-6) a prime number?
False
Suppose 1474196 - 6442883 = -14*c + 2524715. Is c a composite number?
False
Suppose h - 2*v - 57 - 1292 = 0, h - 4*v = 1347. Suppose 0 = -6*m + 2579 + h. Is -7 - -12 - (1 - m) prime?
True
Let q = 754 + -360. Suppose 4*d + 1138 = 7*d - 2*j, 0 = -d - 3*j + q. Is d a prime number?
False
Let a(t) = t**2 - 2. Let x(m) = -96*m**2 - 9*m + 4. Let h(o) = 6*a(o) - x(o). Is h(5) prime?
True
Let l = 1003 + -686. Let o = -555 + l. Let s = 1497 + o. Is s prime?
True
Let k = -382 - -392. Suppose -k*s + 6*s + q = -11982, q = -2. Is s a prime number?
False
Suppose -24*i = -21*i - 6. Suppose 0 = -p + i*p - o - 3795, -4*p + 15162 = 5*o. Is p a prime number?
True
Suppose -3*y = -4*u - 319043, -5*y = 11*u - 6*u - 531715. Is y composite?
True
Let z be (3 + -6)/(55/(-10) - -4). Suppose z*g = g + 141. Is g a composite number?
True
Is ((-1)/(-2))/((-47)/(-7026218)) composite?
False
Let l be (-1)/2*(-5 - 20/(-4)). Suppose l*w + 18*w = 20502. Is w prime?
False
Suppose 0 = -4*n - 5*x - 197, 4*x - 171 + 31 = 3*n. Is 1*(-8)/(n/75606) a prime number?
True
Let k(n) = -197*n - 65. Let q = -251 + 245. Is k(q) composite?
False
Suppose -55*j - 52*j + 26638051 + 3285462 = 0. Is j composite?
False
Let c(y) = -30*y - 2 + 30*y + y**2 + 5. Let p be c(2). Let u(r) = 7*r**2 - 12*r - 2. Is u(p) a composite number?
False
Let k = 701286 - -83303. Is k a composite number?
True
Suppose 0 = 5*v + 4*i - 26, 4*v = -2*i - 4 + 20. Let t(a) = a**3 - a**2 + a - 1. Let c be t(v). Suppose -c*k = -7*k + 1246. Is k a composite number?
True
Suppose -4*p + 1407783 = -4*q + 120027, -4*p + 1287764 = -5*q. Is p a composite number?
True
Let a = -91 - -117. Let c(q) = -q**2 - 9*q - 4. Let j be c(-8). Is j/a + 13705/65 prime?
True
Let x(r) be the third derivative of -r**4/24 - 2*r**3/3 - 20*r**2. Let z be x(-8). Is 28/6*((-1414)/(-4) - z) prime?
False
Let q(u) = -u**3 + 8*u**2 + 6*u - 2. Let l be q(8). Suppose 5*v + l = -4. Is 7172/10 + 2/v prime?
False
Suppose -3*i = 2*v - 29, 5*i = 2*v - 0*i - 5. Let m(x) be the second derivative of 211*x**3/3 - 25*x**2/2 - x. Is m(v) a prime number?
False
Let u(x) = 42081*x**2 + 3*x + 5. Is u(-1) a prime number?
True
Suppose r = -3*r. Let n(j) = -2*j**3 - j - 300. Let a be n(r). Is (2 - -1)*4/(-6) - a a composite number?
True
Let x(z) = z**3 - 17*z**2 + 19*z - 36. Let d be x(16). Suppose -9*i + d*i = 69. Suppose 20*s = i*s - 489. Is s a composite number?
False
Suppose 3*v - 7*v - 14 = n, 0 = -4*n + 4*v + 24. Suppose 3*u + 12 = 2*x - 5*x, -n*u = 4*x + 8. Is x + 5 - (28 + -1566) composite?
False
Let n(c) = -23*c + 216. Let p be n(9). Is 74963/p + 120/(-540) a prime number?
True
Let j(i) = 2*i. Let d(f) = -11*f - 7. Let a(c) = -2*d(c) - 10*j(c). Let r be a(-6). Suppose 3*w = r*w + 191. Is w prime?
True
Let p = -9679 - -3143. Let s = p - -10201. Is s prime?
False
Let o = -9 + -27. Let m be 1*(7882/6)/((-12)/o). Suppose -14*h = -7*h - m. Is h composite?
False
Suppose -1979772 - 3803278 - 3203214 = -56*u. Is u prime?
False
Let r = -33 - -44. Suppose 0 = r*k + k - 24636. Is k prime?
True
Suppose -3*o + 5 = -1. Suppose o*b + 4*s = -2164, -1036 = 3*b - 3*s + 2165. Let p = -275 - b. Is p composite?
False
Let s(q) = 3*q - 15. Suppose 0*z - z + 5 = 0, -k - 35 = -5*z. Let y be s(k). Is (-215)/y - 5 - 5960/(-9) a prime number?
False
Suppose 2*b - 275 = -5*p + 82, -5*b + 4*p = -942. Let x = 13 + -5. Let w = b - x. Is w prime?
False
Suppose -5*y + 15 = 0, -2*g + 25*y - 26*y = -737105. Is g composite?
False
Suppose -3*r - 4*c + 55 = 0, 24*r - 74 = 20*r - 5*c. Suppose r*q = 4*q + 239309. Is q composite?
True
Let c(b) = -1511*b**2 - 8*b - 1. Let w(h) = 2266*h**2 + 11*h + 1. Let i(t) = -8*c(t) - 5*w(t). Is i(-2) a prime number?
False
Let s = 7287 - -9790. Is s a prime number?
True
Let k(y) = 4663*y**3 - y**2 - 29*y + 30. Is k(1) composite?
False
Let s be 5/((-5)/(-1))*-110. Let f = s - -141. Is f prime?
True
Suppose -7*j + j = 36. Let f be 16/(-6)*-1*(j - -3). Is (-3181)/(-2) + (12/(-3))/f prime?
False
Suppose -159*q + 618305 = 161*q - 319*q. Is q composite?
True
Suppose -6 = -6*q + 12. Suppose 3*a - 2088 = q*x, 5*a - 2*x = -x + 3460. Is a prime?
True
Let k(f) = 13*f**3 + f**2. Let l be k(-1). Let v = l - -21. Is (5829/v + 2)*3 prime?
True
Suppose 0 = -17*l - 169368 - 78764. Let t = 27033 + l. Is t a composite number?
False
Is (-16)/10*(-11710)/4*957727/2972 composite?
True
Suppose 10 = -5*s + 30. Suppose 3*j - 206 = -b, -b + 0*j + 191 = -2*j. Suppose -2*r - n + 1259 = 0, s*r + 4*n - 2709 + b = 0. Is r a prime number?
True
Let l(w) = -w**3 + 5*w**2 + 175*w + 219. Is l(-50) a composite number?
False
Let j = -336 + 302. Is 0/(-1) + 0 + j + 2997 a prime number?
True
Let o(h) = -h**2 + 14*h + 28. Let b be o(16). Let d be ((-206)/8)/(((-11)/b)/11). Let k = d - -230. Is k composite?
False
Is (-10)/(-4)*7374320/200 a composite number?
False
Suppose -5*l = 25, 2*b + 2*l + 10 = 4*b. Suppose b*u - 10036 = -u + 5*p, 3*p = -3*u + 30198. Is u prime?
True
Suppose 0 = 3*b + 4*t - 175049, 58348 = -22*b + 23*b + t. Is b a prime number?
False
Let m = -3769 - -24143. Suppose 0 = 11*p - m + 6041. Is p prime?
True
Suppose -4*o + 5 = 5*u, 3 = -5*o + 4*u - u. Suppose 9 = 3*w - o*w. Suppose 4*b = 5*i - 20439, -4*i - 4*b + 4107 = -w*i. Is i composite?
False
Let c(f) = 40*f**2 - 8*f + 1. Suppose -4*o + 5*m + 234 = -251, 3*m = -o + 134. Let n = -129 + o. Is c(n) a prime number?
True
Let c(a) = -a**2 - 2*a + 12. Let j be c(-4). Suppose -j*f + 2353 = 5*l - 1303, 0 = 2*f + 2*l - 1830. Is (28 + -27)*(f + 0 + 0) a composite number?
False
Suppose h + 4*c + 11416 = -c, 4*h + 45613 = -3*c. Let v = 5370 - h. Is v composite?
True
Let l(a) = 29*a**2 - 2*a - 3. Let b be l(-1). Let q be ((-1543)/(-2))/((-2)/(-1*b)). Suppose 5*h = -2*h + q. Is h prime?
True
Is ((-357)/34)/(-21)*372938 prime?
True
Let a be (1440/150)/(4/(-210)). Let u = a - -953. Is u a composite number?
False
Suppose -33*l + 46174021 = 26*l - 26511324. Is l a prime number?
False
Let t = 363 - 347. Suppose -t*y + 12*y = -2284. Is y a composite number?
False
Suppose 723609 = 5*m + 11*n - 10*n, -5*m + 723585 = -5*n. Is m composite?
True
Suppose 11*t - 1584595 = 823464 - 364160. Is t a composite number?
True
Suppose -62675 = -z - 2*i, 4*z - 53*i - 250716 = -57*i. Is z a composite number?
False
Suppose -30*o = 289*o - 90660119. Is o prime?
True
Let u(v) = -15*v**2 + 2*v + 5. Suppose -9 = -0*q + 2*q + c, -3*c = 2*q + 19. Let k(a) = 75*a**2 - 9*a - 25. Let m(o) = q*k(o) - 11*u(o). Is m(-4) composite?
False
Suppose 32 = 2*g + 3*m, 6 - 54 = -4*g - 2*m. Suppose -i = -2*y - 72 - 97, -4*y + 151 = i. Suppose 11*l - i = g*l. Is l prime?
True
Let w(i) = -239*i**3 - 10*i**2 - 22*i - 18. Is w(-5) prime?
True
Let a(p) = -2*p**3 - 3*p**2 - 2*p - 3. Let c be a(-2). Let i(o) = c*o**2 - 2*o + 7*o**2 - 3 - 6*o. Is i(19) prime?
True
Let u = -2 - -2. Suppose u = 2*h + 4*l - 382, -2*h + 5*l = -475 + 75. Is 2/(h/185 + -1) a composite number?
False
Let h(x) = -94*x + 22. Let l(j) = 379*j - 81. Let w(y) = -569*y + 121. Let o(u) = 8*l(u) + 5*w(u). Let q(v) = -5*h(v) - 3*o(v). Is q(-10) a prime number?
True
Suppose 3*m - 61086 = -7413. Is m a composite number?
False
Let m(n) be the first derivative of n**3/3 - 13*n**2/2 + 28*n - 7. Let w be m(14). Is ((-7)/w*9)/(3/(-164)) prime?
False
Let f = -24 - -26. Suppose -4*d + 4*x + 7348 = 0, 6*x - f = 4*x. Is d prime?
False
Let p(b) = 67*b**3 - 4*b**2 - 26*b + 66. Is p(7) a prime number?
True
Let f(j) = 12098*j**2 - 354*j - 13. Is f(8) prime?
True
Let u = 1972440 - 778263. Is u a composite number?
True
Let b = 5 + -3. Let y(l) be the second derivative of 149*l**3 - 11*l**2/2 + 4*l + 1179. Is y(b) a composite number?
False
Let n(b) = 20*b**2 + 107*b + 427. Is n(80) composite?
False
Let v = 1618 + -815. Let u = 2044 - v. Is u prime?
False
Let g(p) = 3*p + 36. Let n