ue
Let o = 173 + -70. Suppose 2*w - 201 = -2*j - 5, -4*w = -j + o. Let p = j + -68. Is p prime?
True
Let f(s) = 12721*s - 9. Is f(2) composite?
True
Suppose -2*s = -3 - 1. Let c be (128/112)/(s/7). Suppose -5*j + 4*j = c*g - 273, 2*j - 2*g = 526. Is j prime?
False
Let b(j) = -182*j - 5. Let o be b(-3). Suppose u - o + 146 = 0. Is u a composite number?
True
Suppose 4*c = -b + 14547 + 6104, -2*c + b = -10333. Suppose -9*l = -5*l - c. Is l composite?
False
Let u = 6 - -2. Suppose -u*m + 5*m + 21207 = 0. Is m a composite number?
False
Suppose 2*i - x - 14 = 0, 2*i - 10 = 4*x + 10. Is i/39 + 28325*3/39 a prime number?
True
Let s(j) = 212*j**3 + 4*j**2 + j - 2. Suppose m + 4*v - 15 = 0, 4*m - 5*v = 2*m - 9. Is s(m) prime?
False
Suppose 0*y + 6*y + 15534 = 0. Let t = 4552 + y. Suppose -2*s - 3*m = -0*s - t, -s - 3*m = -986. Is s prime?
True
Let w be 3 - (4/1 - 3). Suppose 0 = -r - 3*m + 59, w*m + 15 - 141 = -2*r. Is r composite?
True
Let i be ((-2)/(1 + -2))/1 - -340. Suppose 4*n = i + 1574. Is n a composite number?
False
Is (-280075)/(-65) - ((-22)/(-26) + -1) a composite number?
True
Suppose 0 = y - 3*f - 213, 2*f + 20 = 7*f. Suppose -2791 - y = 5*w + 2*u, -3*u = 9. Let n = -103 - w. Is n a prime number?
True
Is -14*(-58151)/12 + 48/288 composite?
False
Let m(z) = z**3 + 9*z**2 - 20*z - 3. Suppose -23 - 17 = 4*c. Is m(c) a composite number?
False
Suppose 2*i - 12 = -i. Suppose 3546 = i*j - f, -2*j + 5*f = 3*f - 1770. Is j a composite number?
False
Suppose 0 = 5*i - 3*n - 17959, -6*n - 4 = -8*n. Is i a prime number?
True
Suppose -2*i + 2 - 4 = 0, 5*i = -5*r + 17435. Let o = -1834 + r. Let j = o - 1155. Is j a composite number?
False
Let w = -151 + 55. Let o be (-4)/(286/w + 3). Let n = o + 337. Is n composite?
True
Let x(r) = -4*r**3 + 5*r - 8. Let d be x(-7). Let s = 4 + d. Suppose -1493 = -6*p + s. Is p composite?
True
Suppose -5*t + 8*t + 6 = 0. Let o be 4 - 1 - (-2 - t). Suppose o*x - x = 1282. Is x a prime number?
True
Suppose 0*i + i - 3365 = -3*m, 0 = -m - 3*i + 1127. Is m composite?
True
Let p = 2 - -3. Let q(c) = c**2 - 9*c + 17. Let b be q(7). Is (-1)/b*(p + -1442) composite?
False
Let b(o) = 72*o - 83. Is b(8) a composite number?
True
Suppose 19*q = -18 - 1. Let p be (-2)/4*0/(-1). Is -13*(-38 + p) + q a prime number?
False
Suppose 7*h + 0 - 28 = 0. Suppose -2247 - 3925 = -h*d. Is d a composite number?
False
Let k(s) = -s**3 - 17*s**2 + 27*s - 27. Let j(m) = -3*m**2 + 2*m + 13. Let z be j(-3). Is k(z) a composite number?
True
Let m be (15/2)/((-24)/(-32)). Let j(c) = -c**3 + 11*c**2 - 11*c + 10. Let d be j(m). Suppose 3*z = 2*w - 4*w + 59, d = -4*w + 4*z + 168. Is w prime?
True
Suppose 34156 + 28380 = 8*j. Is j composite?
False
Let y(b) = -b**3 + 9*b**2 - 8*b + 4. Let f be y(8). Let o be 24/(-14)*(-70)/20. Suppose o*n = f*n + 434. Is n a composite number?
True
Is (-8)/(-24)*-6 + 501 a prime number?
True
Suppose 21*h - 5*h = 214576. Is h prime?
True
Is (19249*(-1)/(-4))/((-8)/(-32)) a composite number?
False
Let k = 24 - 21. Suppose -2*x - 6 = 0, k*s + x = -0*s - 6. Is 3 + -3 + (-919)/s composite?
False
Let h(t) = t**3 + 9*t**2 + 8*t - 1. Let b(n) be the third derivative of -n**4/6 + n**3/3 + 7*n**2. Let w be b(2). Is h(w) a composite number?
False
Suppose 20 = 5*l, 0 = 3*n - 2*n - 2*l + 9. Let j be (-45)/(-10) - n/(-2). Suppose j*q = 3*q + 205. Is q a composite number?
True
Suppose 4*c + 2*t = -4, 6 = 2*c - 6*t + 5*t. Is (1426/(-4))/(c/(-2)) prime?
False
Let q = 19 + -33. Let w = q + 18. Suppose 0 = -3*g + 4*l + 138, -w*l - 27 + 165 = 3*g. Is g a prime number?
False
Let f(b) = -b**3 - 4*b**2 + 8*b + 11. Let d be f(-5). Let k be (-68 - -11)/(6/d). Suppose 0 = -3*y + 4*y - k. Is y composite?
True
Suppose -9*o + 23163 = -58980. Is o a composite number?
False
Suppose -2*y + 5699 = y - 4*o, -2*o - 3800 = -2*y. Is y composite?
False
Is ((-153)/(-2))/9*(-2 + 328) composite?
True
Let l = 16 - 26. Is (1006/4)/(-5*1/l) prime?
True
Let s(n) = n**2 + 1. Let j(d) = 3*d**2 + 2. Let a(z) = -2*j(z) + 7*s(z). Let y be a(0). Suppose -2*r - 664 = -2*q + r, -y*r = 3*q - 981. Is q a prime number?
False
Suppose -k - i + 1368 = k, i + 3413 = 5*k. Is k a composite number?
False
Let s(q) = 62*q**2 + 4*q + 1. Is s(4) a prime number?
True
Let v be (-1 - 3)/1 + (0 - 0). Is (-6)/v*-2 - -422 composite?
False
Suppose -l - 39 = 11. Let w(p) = p + 2. Let a be w(-1). Let q = a - l. Is q prime?
False
Let i be 56/30 - -4 - 4/(-30). Suppose 1143 = i*s + 3*s. Is s a prime number?
True
Is -4321*((-40)/(-140))/(4/(-14)) a prime number?
False
Let i = -148 + 271. Let m be (2/1)/(13/(-299)). Let j = m + i. Is j a prime number?
False
Suppose -32*r - 24 = -34*r. Let p(l) = 3*l**2 + 8*l - 11. Is p(r) composite?
True
Let s(b) = -407*b + 13. Let u be s(-9). Suppose -528 = 4*z - u. Is z a composite number?
False
Suppose -42*r - 246260 = -5*p - 37*r, -2*p + r = -98505. Is p prime?
True
Let s = -21595 + 81606. Is s a prime number?
False
Let c = -10714 - -6377. Let r = -2578 - c. Is r prime?
True
Let o(v) = 12*v**2 - 68*v - 447. Is o(86) prime?
True
Suppose -21 + 5 = -4*v. Let n(h) be the first derivative of 7*h**4/4 - 5*h**3/3 - 2*h**2 + h - 1. Is n(v) prime?
True
Is 1/3 - (-7420)/6 composite?
False
Let v(n) = n**2 + 4*n - 3. Let t be v(-5). Suppose 0 = 5*d - d + s - 1236, 2*d - 3*s - 604 = 0. Suppose -2*q = t*q - d. Is q composite?
True
Suppose m = 4*m - 3*f - 24, f + 2 = -m. Suppose 270 = -m*l + 48. Let i = -28 - l. Is i a composite number?
True
Suppose -3*d + 0*d = -279. Suppose -26 = k + 3*g, 156 = -4*k + g - 0*g. Let l = k + d. Is l composite?
True
Let k = 1164 + 19209. Is k composite?
True
Suppose 22 - 4 = j. Let a = j - 7. Suppose -a*v + 2456 = -3*v. Is v a prime number?
True
Let r = 30 + -24. Let z be (-424)/(-6) + (-2)/3. Suppose r = 4*p - z. Is p a composite number?
False
Let q(s) = -s**3 - 8*s**2 - 9*s - 10. Let c be q(-7). Suppose y = -c*y. Suppose 5*b - 156 - 3589 = y. Is b composite?
True
Suppose 5*d = 1312 + 1438. Suppose 67*w + 12699 = 16*w. Let j = d + w. Is j composite?
True
Suppose c + 4*c + 5*n - 10 = 0, 0 = 4*c + 5*n - 6. Is 55965/26 - (-2)/c prime?
True
Suppose 203505 = 564*b - 549*b. Is b composite?
False
Suppose -3*d - 259 = -2*i - 4*d, 0 = -2*i + 2*d + 244. Let y = i - 48. Is y prime?
True
Let o = -22 + 15. Let q = o - -12. Suppose 3*w + f - 446 = -0*w, 303 = 2*w - q*f. Is w composite?
False
Let x = -2 + 17. Let d = x - 25. Is (-2032)/d + 7/(-35) composite?
True
Let t(m) = -54*m + 1. Let z(i) = i**3 - 3*i**2 - 2*i + 1. Let j be z(4). Let g = -13 + j. Is t(g) composite?
True
Let x = 1302 + -772. Suppose 3*r - 139 - x = 0. Suppose -m - r = -2*m. Is m composite?
False
Let u be (8/2)/(8/(-12)). Suppose 82*a - 79*a = 5175. Is u/(-9)*a/10 a composite number?
True
Suppose a - 43503 = -4*x + 16106, -3*x = -3*a - 44718. Is x a prime number?
False
Let i = 79541 + -14602. Is i composite?
True
Let u = 1123 + 575. Let j = u + 4511. Is j a composite number?
True
Let z(x) be the second derivative of -x**5/60 - 7*x**4/12 - 3*x**3/2 - 5*x**2 + 11*x. Let q(d) be the first derivative of z(d). Is q(-10) a prime number?
True
Suppose 5*o - 5 - 45 = 0. Is 4/o - 743/(-5) a prime number?
True
Suppose 3 = -5*n + 3*n + 3*x, n + 2*x - 2 = 0. Suppose 0 = 5*w - 10 - n. Suppose 236 + 18 = w*p. Is p a composite number?
False
Let t(m) = -15*m**2 - 2*m - 1. Let a(k) = 59*k**2 + 8*k + 3. Let f(l) = -2*a(l) - 9*t(l). Let b be (-3)/5 - (21/15 + 0). Is f(b) composite?
False
Suppose -2*j + 865 = t, 738 = 3*t - 3*j - 1884. Is t composite?
True
Let g(x) = 2060*x**2 - x + 2. Let a be g(1). Let j = a - 1154. Is j composite?
False
Let y(l) = -66*l - 65. Is y(-6) composite?
False
Suppose -4*b + 38 = -b - 2*l, -2*l - 2 = 0. Suppose -b*a + 1421 = -5*a. Is a prime?
False
Let g be (-2)/(-3)*3 + 2. Suppose -15 = -g*h + h. Suppose -2*r + 4*r = -2*n + 198, -h*n = -10. Is r a prime number?
True
Suppose -y - 52630 = -3*m, 5*m - 4*y = 8*m - 52625. Is m prime?
False
Is (828/(-72))/(2/(-6172)) prime?
False
Suppose 17*w - 2*j - 171546 = 13*w, 128664 = 3*w + 3*j. Is w a composite number?
True
Suppose 5*h - 3*b + 7*b = 46975, -4*b = 3*h - 28193. Is h a composite number?
False
Let o(k) = k**3 + 28*k**2 - 12*k + 11. Let u = -60 + 48. Is o(u) a prime number?
True
Suppose -6 = 3*m, -h = 3*h - m - 2. Suppose 0*x = -f + 4*x