4*r, 0 = 2*v - 4*r - 2382. Is v composite?
False
Let u = -298 + -2098. Let s = 5838 + u. Is s a prime number?
False
Suppose 9*o = -0*o - 2376. Let z = o + 375. Let r = z - 100. Is r a prime number?
True
Let u = -1716 + 2656. Suppose 0 = 948*q - u*q - 43464. Is q prime?
False
Let q = -179239 - -347630. Is q composite?
False
Let m(b) = -407*b + 430. Is m(-3) a composite number?
True
Suppose 513324 = 44*b - 30*b. Let p = b + -24749. Is p a prime number?
False
Suppose 5*c = 4*t - 62245, 3*t = 4*t + c - 15568. Suppose -10*d + t + 38805 = 0. Is d composite?
False
Let i(v) = v**3 + v**2 + 8*v - 12. Let u be i(7). Let t = 1105 - u. Is (-30)/(-9)*t/2 prime?
False
Let r(u) be the first derivative of 97*u**3/3 - 3*u**2/2 + 3*u + 42. Suppose 16 = -j - b - 2*b, -5*j - 3*b - 32 = 0. Is r(j) a prime number?
True
Is 1/(-8) - (-40)/(3840/56630508) a composite number?
True
Let o = 73 + -68. Suppose 2*g + o - 17 = 0. Suppose 562 = g*i - 368. Is i a composite number?
True
Let z be -5*((-48)/(-15) - 4). Let s be -4 + (z + 0 - 1) + -4. Is (951/(-9))/(s/(-15)*-1) a prime number?
True
Is ((-4051)/2 + 0)/((-149)/(-3278))*-1 a composite number?
True
Let y(q) = 546*q**2 + 7*q - 20. Let c be (-8)/(-6)*9/4. Is y(c) prime?
False
Let l(j) = -29*j - 24. Let w = 68 + -37. Suppose 5*t + w = -4. Is l(t) prime?
True
Let i(l) = 1454*l**2 + 13*l - 22. Is i(-5) a prime number?
True
Let h(r) = -8 + 49 - r**2 - 10 + 6*r - 14 - 16 + 1246*r**3. Is h(2) composite?
True
Let t be (-13)/((-507)/(-3270)) - 6/39. Let j = t + 84. Suppose j = 9*z - 7344 - 819. Is z a composite number?
False
Let x(u) be the second derivative of -4073*u**3/3 - 25*u**2/2 - 138*u. Is x(-1) a composite number?
True
Suppose -41514 - 43438 = -14*s. Let w = s + -4309. Is w a prime number?
True
Suppose -w - 14014 = 4*w - 3*t, -3*t - 5614 = 2*w. Let i = w - -4645. Is i a composite number?
True
Let s = -9 - -13. Suppose s*d + d + 2795 = 0. Let r = -354 - d. Is r composite?
True
Let k = 14959 + -3140. Is k a composite number?
True
Suppose m - 29 + 153 = -4*u, -3*u - 671 = 5*m. Suppose s + 4*x = 639, 302*x = -s + 303*x + 634. Let c = s + m. Is c composite?
False
Suppose 5*u + 2*x - 40 = 0, 4*u - 8 = 3*x + 1. Suppose -u*k + 15 = -k. Suppose 5*t - 25 = 0, 0 = k*v - 5*t - 357 - 899. Is v a prime number?
False
Let m(t) = 431*t**2 - t - 12*t**3 - 432*t**2 + 5 + 2*t. Let b = 14 - 17. Is m(b) prime?
True
Suppose 0 = 51*a - 18*a - 11642631. Suppose 14*j = 27*j - a. Is j prime?
False
Let p(v) be the second derivative of -7/3*v**3 + 5*v - 17/2*v**2 + 1/12*v**4 + 0. Is p(-13) a composite number?
True
Let a be (-2)/(-3 - (-11)/4). Suppose 0 = a*p - 3290 - 1742. Is p a composite number?
True
Suppose -4*c = -2*i + 632, -168 = -4*c + 5*c + 2*i. Let m = -90 - -153. Let h = m - c. Is h a prime number?
True
Let c be (545 - -2) + (0 - 1). Let n(o) = 5*o**3 - 8*o**2 + 3*o - 7. Let y be n(4). Let a = c + y. Is a composite?
False
Suppose -9*r - 18984 = -r. Let t = r + 6746. Is t composite?
False
Let a(s) = -s**3 + 13*s**2 - 13*s + 9. Let q be a(12). Let c be ((-297)/(-18))/(q/(-288)). Let h = -890 + c. Is h prime?
False
Suppose -1524487 = -3*q + w, 3*q + 6*w - 1524497 = 2*w. Is q composite?
True
Let x(i) = -i**3 + 4*i**2 - 5. Let b be x(4). Suppose -2*l = -4*l - 26. Is (l/4)/(b/220) a prime number?
False
Suppose 2*s - 249 = -3*n, -n + 0 = -2*s - 91. Is n prime?
False
Suppose 0 = -3*v - 3*f + 4*f + 25374, -2*v + 16905 = 3*f. Is (v/(-4))/((-63)/84) prime?
True
Let g(d) = 339*d - 52. Let m be g(11). Suppose -5*c + 613 = -m. Suppose -4*r + c = -818. Is r a prime number?
True
Suppose 4 = 3*z + 4*k + 6, -z - k = 2. Let i(a) = -9*a**3 - 10*a**2 + 7. Let g be i(z). Let o = g + -908. Is o a prime number?
True
Let u(b) = 76*b + 1 - 441*b + 50 - 57*b. Is u(-5) a prime number?
True
Suppose -4*s - n - n = -10, -20 = -2*s + 4*n. Let o be 0/(((-24)/(-18))/(s/(-6))). Suppose 0 = 4*t + 3*r - 2093, o*t - 5*r = -t + 506. Is t composite?
False
Let i be -1 + 4*3/12. Suppose -5*o + 23 = -3*t + 65, 4*o + 2*t + 16 = i. Is (-1668)/(-10) - 1/(o + 1) a composite number?
False
Suppose -5*p = 4*x + 3000, 2*x - 5*p + 1596 - 66 = 0. Let d(t) = -534*t**2 + 3*t - 1. Let o be d(1). Let h = o - x. Is h prime?
True
Let o(w) = -w**3 - 18*w**2 - 2*w - 17. Let d be o(-18). Suppose -u + 21 - d = 0. Suppose 5443 = 4*b + k, u*b - 4*k + 3*k - 2723 = 0. Is b composite?
False
Is ((-45)/(-3))/(-5 - 1256080/(-251210)) a prime number?
False
Let c(o) = 4332*o**3 - 7*o**2 - 4*o + 37. Is c(4) prime?
True
Let o = -80 + 76. Let l be (6/o)/((-39)/34424). Suppose 176*m = 174*m + l. Is m a composite number?
True
Suppose 5*m - 4*u = 408875, 358*m = 357*m + 4*u + 81759. Is m a prime number?
False
Let b(j) = 11*j**2 - 20*j + 52. Is b(37) a prime number?
False
Let u = -34 - -36. Suppose -2*l + 5*g + 16553 = 0, u*g + 34135 = 5*l - 7258. Is l prime?
False
Let j be 2/(-5) - (-378)/70. Let c be -4 + 30/j + 0. Suppose 439 = k - 2*q - 370, -c*k - 2*q + 1636 = 0. Is k a prime number?
False
Let m = 96052 + -42821. Is m a composite number?
False
Suppose -3*n = -4*o + 10, 0 = 4*n + n - 4*o + 6. Suppose -28581 = n*d - 5*d. Is d composite?
True
Let r(m) = m - 20. Let d be r(10). Let v(o) = -4*o - 38. Let a be v(d). Suppose a*i - 99 = -5*u + 515, -620 = -5*u - 5*i. Is u prime?
False
Suppose 0 = -q - 1. Let u be (-1 + q)/(6/(-2229)). Suppose 3*x - 2229 = 5*a, 4*a - 2*a = -x + u. Is x a composite number?
False
Let n = -41 - -46. Suppose 0 = -c + n*f - 29, 4*f = 2*f + 10. Is c/6 + (-4760)/(-30) a composite number?
True
Suppose 7852548 - 144391 = 5*s + 12*s. Is s a composite number?
False
Let b = 20714 - -24057. Is b composite?
False
Let c = 136190 - 87183. Is c a prime number?
False
Suppose 5*r = -2*f - 31, 4 + 37 = -2*f + 5*r. Let x = f - 37. Is 2658/(-5)*x/22 prime?
False
Let y(u) = u**2 - 17*u + 5. Let x be y(-17). Suppose -2*q + x = -489. Let a = 1435 - q. Is a prime?
False
Let g(t) = 2*t + 4468. Let a be g(0). Let h = 3515 + a. Suppose -4*z - 2935 = -h. Is z a composite number?
True
Suppose -16*z + 4*z + 106716 = 0. Suppose 7*u - z = 19450. Is u composite?
False
Suppose -22*t + 88 = -242. Suppose t*y + 13683 = 16*y. Is y composite?
True
Let f(s) = -7 + 16 + 2584*s + 2108*s. Is f(1) a composite number?
True
Let a = 1627257 - 1112348. Is a composite?
True
Is 10 + 139/((1 + -12)/(-17831)) a prime number?
False
Let o(x) = 9 + 15 - 326*x + 25 + 99 + 41. Is o(-10) a composite number?
False
Let z = 873795 - 586049. Is z prime?
False
Let i(y) = 20*y**2 + 9*y - 8. Let h be i(4). Suppose -2*n + 5198 = -h. Suppose 5*o = 5*m + 8*o - n, 0 = m + 3*o - 545. Is m composite?
False
Suppose 9*v = 3*d + 7*v - 98149, 24 = -3*v. Is d a prime number?
False
Let j = 71 + -25. Let d = j + -46. Suppose d = 4*i - 4*x - 1280, 2*i = 4*x + x + 637. Is i composite?
True
Let a(f) = 320*f**2 + 41*f - 281. Is a(24) composite?
True
Let b = -416 + 425. Is 6876/27 + (-6)/b a composite number?
True
Suppose 0*w - 1588694 = -42*w + 7190188. Is w a prime number?
True
Suppose 9*t = 15*t + 4*w - 88126, 44069 = 3*t - w. Is t a composite number?
True
Let s = 1677 + -1795. Suppose -y - 15 = o - 231, -5*o - 4*y + 1075 = 0. Let j = o + s. Is j a composite number?
True
Let i be ((6 - 6) + 1)*3. Suppose -i*a + 1647 = 3*f + f, -a - 1232 = -3*f. Is f prime?
False
Let y be 2*4/(-6) - 65/(-15). Let v(h) = 4*h**3 + 4*h**2 + 8*h - 26. Is v(y) a prime number?
False
Is ((-231658)/126)/((-37)/9 + 4) a prime number?
True
Let k be ((-11)/(-44)*-4)/((-2)/10). Suppose 0 = -7*n + 2*n + 20, -k*q + 2*n = -16637. Is q a composite number?
False
Let m(a) = a + 10. Let k be m(15). Suppose b - 6*b = -k. Suppose -r + 8274 = b*t, 2397 = -5*t + r + 10673. Is t prime?
False
Suppose -31*l - 3*v = -28*l - 497322, l + 4*v = 165759. Is l a prime number?
True
Let g = -481 + 500. Suppose 0 = g*v - 36*v + 20621. Is v prime?
True
Is (2/10 - 4158616/(-20)) + 385 + -393 a prime number?
True
Suppose 5*j - 52137 = 2*l, 5*j + 13459 = -l + 65593. Is j a prime number?
True
Let z(w) = -524*w - 53. Let b(u) = 262*u + 27. Let l(o) = -13*b(o) - 6*z(o). Is l(-22) prime?
False
Let c(j) = -8712*j**3 - 3*j - 2. Let q be c(-1). Suppose 0 = -2*f + q - 243. Suppose 3548 + f = 5*m + 4*r, -4686 = -3*m + 3*r. Is m a composite number?
False
Suppose 22*d = -13*d + 13460545. Is d prime?
False
Is (-1792)/(-105) + -1