rue
Let h = 3290 + -1711. Is h a prime number?
True
Suppose 2*k + 2*u + 138 = 0, -4*u = -k + 4*k + 212. Let h = k + 183. Is h composite?
True
Let w(p) = -2*p**2 + 2*p**2 - p**2 - 2 + 4*p + 8. Let d be w(5). Is (-437 + -5)*d/(-2) composite?
True
Let l = 124 - 65. Is l composite?
False
Let n = 10 + -21. Is (-2)/n + (-15498)/(-66) prime?
False
Suppose i - 27 = -4*f, -6*f = -f - 5. Is i composite?
False
Let f(z) = -z + 11. Let i be f(8). Suppose -4*j + i*j + 84 = -u, 2*u = -j + 99. Is j a prime number?
True
Is 7/(-21) - 3595/(-3) prime?
False
Suppose -o = 3*l + 1, -2*o - 3*l = o - 3. Suppose o*i = 6*i - 20. Suppose i*k - k = 124. Is k a composite number?
False
Let o(l) = -l**2 + 333. Let q be o(0). Suppose q = -2*c + 5*c. Is c prime?
False
Let s(x) = x**2 + 2*x - 5. Let f be s(-4). Let t = -10 + f. Let o(i) = i**3 + 8*i**2 + i - 5. Is o(t) composite?
False
Suppose -17 = -3*z + 6*z - 4*u, -z + 5 = 4*u. Let v be -3*(0 + 5/z). Is 177/v + (-6)/15 composite?
True
Suppose -3*c + 0 = -3. Suppose 0 = -4*y + 3 + c. Is y/(2/(-2))*-43 a prime number?
True
Let g(f) = f**2 - 8*f - 3. Let r be g(9). Suppose r*m - 4431 = -m. Is m prime?
False
Let q be 3 - (0/(-2) + 2). Let x(h) = q - 8*h - 2*h**2 - 1 + 5*h**2. Is x(7) composite?
True
Let o = -61 + 127. Suppose -s + o + 78 = 0. Suppose 2*m = 5*i + s, -3*m + 3*i - 83 = -4*m. Is m prime?
False
Let h(a) = 30*a**2 - a + 1. Let f be -4 - (1 + 0)*-2. Let b = f + 4. Is h(b) prime?
False
Suppose -z + 3 = -2. Suppose 12 = 4*r - 0*r, 5*q - z*r = 335. Suppose -b = -3*n + q + 106, 0 = -b - 2. Is n composite?
True
Suppose z + 1 = -c, -2*c + z - 6*z = -7. Let x = -20 + 28. Is 412/x - 6/c a prime number?
True
Let z(y) be the first derivative of -9*y**4/2 + y**3/3 + y**2 + y + 5. Let j be (1 + 1)/(1*-1). Is z(j) a composite number?
True
Is (36 + 2 + 6)*7/4 prime?
False
Let u(d) = -9*d - 13 + 9*d**2 + 10*d - d**3 + 2*d**3 + 4*d**2. Is u(-12) a prime number?
False
Suppose -2*g - 3*p + 662 = 0, 3*g = p - 260 + 1275. Is g composite?
False
Suppose 5*j - 198 = 4*j. Is j - (-3 + (2 - 0)) prime?
True
Let b = 41 + 6. Is b prime?
True
Let c = 24 + -37. Let v = -23 - c. Is ((-28)/6)/(v/105) prime?
False
Suppose -s + 0*s + 191 = 0. Is s a prime number?
True
Let x(l) = l**3 + 7*l**2 - 8*l + 6. Let n be x(-8). Let r(d) = d**3 - 5*d**2 + 4*d - 9. Is r(n) a composite number?
True
Let g be -4 + 3 - 1*-3. Suppose -g*c + 4 = -3*c. Is (847/(-14))/(2/c) a composite number?
True
Suppose 8*p - 7*p - 1415 = 0. Is p a composite number?
True
Suppose 2*d = -2, -4*i + 1281 = -0*i + 3*d. Is i composite?
True
Suppose 4*r + 86 = 2*r. Let o = 66 + r. Is o composite?
False
Suppose 8 = f - 0*f. Suppose 0 = -5*o + 4*z + f, -o + z + 9 = 2*o. Let p(a) = 16*a + 5. Is p(o) composite?
True
Suppose 5*y = f - 33 - 14, -4*f = 4*y - 212. Suppose -4*d - 2*t = -269 + 51, -f = -d - t. Is d composite?
True
Let l(h) be the third derivative of h**4/12 - h**3 - 2*h**2. Let p be l(6). Is ((-3)/p - 0)*-12 composite?
True
Suppose -2*q - 3 = -3*q. Suppose -5*x - 378 = -4*k, x - 5 = -q. Is k composite?
False
Let p be (1/(2/4))/2. Let c be 1*-7*p - -1. Is 2/(-6) + (-500)/c a prime number?
True
Let c = 617 + -244. Is c composite?
False
Let r(g) = -g**3 - g**2. Let d be r(-1). Suppose d*o = 5*o - 1055. Is o prime?
True
Suppose 2863 = 8*i - i. Is i composite?
False
Let l = -18 - 128. Let b = l - -252. Is b a composite number?
True
Suppose -2*d + 2*x + x + 15 = 0, 3*d - x = 12. Is d a prime number?
True
Suppose 7 = -4*k - 5. Let v be (2 + -3)/(1/k). Suppose z - 60 = 3*y - 0, 0 = 4*z + v*y - 225. Is z a composite number?
True
Let v(b) = b**3 + 2*b**2 - b + 1. Suppose 10*j - 5*j = -10. Is v(j) a prime number?
True
Suppose 3*b = -2*j + 212, -76 + 427 = 5*b + j. Suppose b + 77 = -d. Is (d/9 - 0)*-3 prime?
False
Suppose 81 = 4*o - o. Suppose 2*c - 15 = o. Is c composite?
True
Let k(i) = -i**3 - 5*i**2 + 3*i + 21. Is k(-12) composite?
True
Let u(o) = -o**3 + 6*o**2 - 6*o - 7. Let j be u(5). Let b = -2 - j. Suppose 3*m + b = 277. Is m prime?
True
Suppose 5*h - 2*a - 4 = 0, -3*h + 8 = 2*h - 4*a. Suppose -y - 102 = -4*g, 4*y + 378 = -h*g + g. Is 6/21 + y/(-14) a composite number?
False
Let s(x) be the first derivative of x**5/20 - x**4/12 + 67*x**2/2 - x - 2. Let r(b) be the first derivative of s(b). Is r(0) a prime number?
True
Suppose -4*k = -2*x + 122, -4*x + 2*k + 183 = -x. Let q = 96 - x. Is q prime?
False
Let i(d) = -4*d**2 + 2*d + 6. Let j be i(-4). Let k = j + 559. Is k prime?
False
Suppose 3*j + 3*f = 6*f + 144, 4*j - 2*f = 196. Suppose j - 17 = c. Is c a prime number?
False
Let n be (24/15)/(2/725). Suppose -3*p + n = 2*u, u = -p + 163 + 128. Is u composite?
False
Suppose 5*d = 15, d + 13 = 3*m - 785. Is m prime?
False
Suppose -x + 5*l - 140 = 0, -3*x = -x - l + 235. Let a = x + 172. Is a a prime number?
False
Let a = 1 - 2. Is (-2)/a - (-87 - -4) prime?
False
Let z = -63 + 5360. Is z a composite number?
False
Suppose -3*y + 4*y - 9 = -m, 4*m - 3*y - 29 = 0. Let a = -6 + m. Let j(k) = 12*k**2 + 3*k - 1. Is j(a) composite?
False
Let s(t) = -6*t + 1. Let x be s(-6). Suppose -i + x = -0*i. Is i a composite number?
False
Let q(n) = -1 + 6 - n - n**3 + 0. Let r be q(0). Is r/(-10) - (-159)/2 a prime number?
True
Let y = 2 + 0. Suppose 16 = 5*n + 3*t - 16, -3*t = -2*n + 17. Suppose 7 = y*s - n. Is s a composite number?
False
Let s = 83 - 54. Suppose -24 = -3*g - 9. Let x = s + g. Is x a composite number?
True
Suppose -2*d = d. Let f be (-1 + (-9)/(-6))*d. Let w(s) = s**2 + s + 9. Is w(f) prime?
False
Suppose -4*j + 0*j + 20 = 0. Suppose -b - b - a + 18 = 0, -j*b - 4*a + 42 = 0. Is b a prime number?
False
Suppose -2*x - 3*x + i + 331 = 0, 4*i + 118 = 2*x. Is x a prime number?
True
Suppose -u - z = 98, -u - 2*z - 43 - 51 = 0. Let r be 8/(-28) - (-906)/(-14). Let n = r - u. Is n composite?
False
Let c = 7 - 4. Suppose v - 4*v = 0. Suppose -c = 3*g, l + v*l - 74 = -3*g. Is l a composite number?
True
Let t be 0 + 10/4*-2. Let x(w) = -w**3 - 4*w**2 - 4*w. Let u be x(t). Is 1/(0 - (-3)/u) prime?
False
Let m(x) = -x + 1. Let a be m(-3). Suppose -a*l + 0 + 4 = 0. Is (l + -5)/(4/(-26)) a prime number?
False
Suppose 0 = -2*q + q + 195. Is (q/(-6))/(-1)*2 a prime number?
False
Suppose 5*j - 5*y - 2402 = -4*y, j = 4*y + 469. Is j composite?
True
Let a(h) = h**2 + 5*h - 2. Let c be a(-6). Suppose -c*f + 247 = 59. Is f a composite number?
False
Let d be 5/(-3*2/(-12)). Suppose d*s - 5*s = 545. Is s composite?
False
Suppose -4069 = -3*k + 2*g, 5*g + 1 = 6. Is k a composite number?
True
Let r(t) = t**2 + 6*t + 4. Let z be r(-6). Suppose -3*s = -3*l - 225, -3*s - 2*s + 393 = z*l. Is s a composite number?
True
Let l be (9 - 4)/(1 + 0). Suppose -l*f + 23 = -2*w, 0 = 2*w - w + f - 6. Is (-314)/(-4) + w/2 composite?
False
Suppose 3*i - 4385 = -5*o - 1246, 0 = -2*i - 4. Is o a prime number?
False
Is (254/6 + -3)/(4/102) prime?
False
Let x be 46/(-3)*42/(-28). Let t = -74 + 162. Let l = t - x. Is l prime?
False
Suppose 2*r - 2*d - 2930 = 2*d, 5*r = 5*d + 7335. Is r a composite number?
True
Let r = 1044 - 305. Is r a composite number?
False
Let j(c) = 23*c**2 + c. Let f(r) = r - 2. Let p be f(1). Is j(p) prime?
False
Suppose 4*z = -2*b + 3*b, -b + 8 = 4*z. Let k be 0/(3 - 2/1). Suppose -4*x = 3*g - k*x - 262, g + b*x = 90. Is g prime?
False
Suppose -4*n + 3*w + 506 + 1413 = 0, 3*n + 4*w - 1433 = 0. Is n a prime number?
True
Let m(h) be the third derivative of h**6/120 - h**5/60 + h**4/8 + h**3/6 + 4*h**2. Let q be m(3). Let o = -13 + q. Is o prime?
False
Suppose -2*z - 1400 = 3*z - 5*l, 3*z = 4*l - 838. Let f = 405 + z. Is f a composite number?
True
Suppose 2*b = -m - 2, -5*b - 7 = -3*m + 9. Suppose 4*u + 32 = 2*s, -2*u - 7 = m*s - 21. Is ((-635)/s)/(2/(-4)) a prime number?
True
Let n = 2022 + -65. Is n composite?
True
Let k(s) be the second derivative of 2*s**3/3 - 3*s**2 + 2*s. Suppose 3*l = -5*z + 38, z + 9 = 3*z - 5*l. Is k(z) composite?
True
Is (141/12)/(6/24) a composite number?
False
Let i(q) = 2*q + 4. Let o(r) = -5*r - 12. Let d(x) = 8*i(x) + 3*o(x). Let c be d(3). Is -2 + 2 + c + 192 composite?
False
Let s(f) = -2*f**2 - 4*f - 3. Let t be s(-3). Is ((-84)/t)/(8/12) prime?
False
Is 12/(-8) + 7274/4 composite?
True
Let m(p) = 7*p. Let n be m(1). Suppose 90 - n = v. Is v composite?
False
Let z(l) = -l - 11