0))/((-30)/(-855)) a composite number?
True
Let d be 85 - 40/56*7. Suppose d*k = 82*k - 56482. Is k a composite number?
True
Suppose 3*a = -3*u + 1437, -3*a = 3*u - 5*u - 1457. Let q(r) = 58*r. Let f be q(-4). Let i = f + a. Is i composite?
False
Let v(f) = 4*f**2 - 19*f. Let l be v(4). Is (-4)/l*-3*-8663 composite?
False
Suppose 40 = -5*t - 5*u, 2*u + 5 = -3*t - 24. Let q(g) = -10 - 38*g**2 - g**3 - 2*g + 26*g**2 - 6*g. Is q(t) composite?
False
Let f(y) = -30*y**3 + 2*y**2 - 7*y - 5. Let t be f(3). Let w = 1405 + t. Is w prime?
True
Let m(y) = -6*y + 6. Let l be m(1). Suppose l = 4*i - 2*c - 3760, -4*c = -5*c - 2. Is i prime?
False
Let q(i) = 9*i + 329. Let y be q(-26). Suppose y*h = 56*h + 79833. Is h composite?
True
Suppose -5*m = 11*m - 64. Suppose -5*q = -2*o + 265 - 1802, 917 = 3*q + m*o. Is q a composite number?
False
Suppose 0 = 2*q - 4*w - w - 2534, -w = -3*q + 3827. Suppose 9*n = 10*n - q. Is n a composite number?
False
Suppose 4*t = 7*t - 2*l - 2, 0 = -4*t + 4*l. Suppose t*c - 4*r = 13342, 3*c = -28*r + 30*r + 19993. Is c prime?
True
Let m(r) = 2*r**3 - 21*r**2 + 3*r + 19191. Is m(0) a prime number?
False
Suppose -121*j = -113*j - 269096. Is j composite?
False
Let h = -227133 + 318376. Is h a composite number?
False
Let n = 79 + 272. Suppose 5*w + 5*b - 447 = b, -4*w - b + n = 0. Is w prime?
False
Let g = 325208 - 212365. Is g a composite number?
False
Let a(w) = -w**2 - 10*w - 16. Let s be a(-6). Let c(l) = -14 + s - 15 - 6 + 181*l. Is c(2) a prime number?
False
Suppose -21*i + 51*i = -30*i. Suppose i*z + 26543 = 11*z. Is z a composite number?
True
Let d(z) be the first derivative of 14*z**3/3 - z**2/2 - 2*z - 1. Is d(-3) a prime number?
True
Suppose -5*g = 4*p - 342339, 4*g + 4*p = -p + 273873. Is g a prime number?
False
Suppose 5*b + 2*i = 216681, -10*b + 12*b + 3*i - 86679 = 0. Suppose 3*c - 7*c - y + b = 0, -2*c - 5*y + 21663 = 0. Is c composite?
True
Suppose -3*f = -x - 2, -3*f + 37 = 6*x - 2*x. Suppose 4*d - 4*n - 11288 = 0, 4*d + x*n = 2*n + 11261. Is d a prime number?
True
Suppose 4*m - 2*n - 513512 - 1127504 = 0, 5*m - 3*n - 2051269 = 0. Is m prime?
False
Let i(w) = -w**3 - 3*w**2 - 4*w. Let u be i(-2). Suppose -l + 3*l - u = -4*s, -4*s = 0. Let f(x) = 50*x**3 - 2*x - 1. Is f(l) prime?
False
Let z = 54 - 20. Suppose -t = z - 26. Is (21861/(-36))/(3 - (-26)/t) a prime number?
False
Suppose 2*m - 1711588 = -2*i - 92756, 2*m - 809409 = -i. Is i a prime number?
True
Let q(n) = -n**3 - 3*n + 5. Let g be q(5). Let f = 508 + g. Is f prime?
True
Suppose -10*f + 24506 - 4466 = 0. Suppose f = 6*j - 8802. Is j prime?
True
Is (-1)/(((-3)/(-295332))/(((-81)/36)/9)) a composite number?
False
Suppose 26*q + 800329 - 8797123 = 0. Is q a composite number?
True
Suppose 0 = -3*n + 15, 0 = 2*u - 0*u + n - 3533. Suppose 2*o - u = -2*o. Let r = 340 + o. Is r a composite number?
True
Let v = 86 - 86. Suppose 20*p + 8231 - 21171 = v. Is p prime?
True
Let i = 28510 + -12779. Is i a prime number?
True
Suppose -n - 4783279 = -3*z - 1306510, 5*z - 5794615 = -4*n. Is z composite?
False
Suppose -2*g + 4*m = -308010, 33*g - 38*g + 770014 = m. Is g a composite number?
True
Suppose 7*o - 33815 = 41274. Is o a prime number?
False
Let w(l) = -2*l + 10. Let k be w(3). Suppose 4*i - 5*i - k*n = -339, -5*i + 5*n = -1645. Is i composite?
False
Let b(y) = 8646*y + 161. Is b(5) a prime number?
True
Let b be -16*(-4 + (-55069)/(-4)). Is ((-2)/(-6))/((-9)/b) - -5 composite?
False
Suppose 0 = 3*l + 3*c - 67 - 50, 3*l - 121 = c. Suppose -l*j + 45*j = -325. Let o = 120 - j. Is o a prime number?
False
Let b = 39015 + -24054. Is b prime?
False
Is 1650/7150 + 3073*5256/26 prime?
False
Let n = 62 + -66. Let u be -2 + -3 + 7 - n/1. Suppose -u*q = q - 3899. Is q a composite number?
False
Let r = 90285 - 43649. Suppose -r = -28*j + 64048. Is j prime?
False
Suppose -4*f = y - 53397 - 38081, -4*f - 4*y + 91472 = 0. Is ((-10)/50)/((-2)/f) composite?
False
Let c = 1158323 - 811462. Is c a prime number?
False
Let l(y) = -y**2 + 2*y. Let j be l(4). Let n be j/((1 - -1)/(11 + -12)). Suppose -4*x - 1856 = -2*o - 2*x, -2*o - n*x + 1844 = 0. Is o a prime number?
False
Let f = 29497 - -10734. Is f prime?
True
Suppose -2*l = -z - 275048, -269151 = -2*z + 5*l - 819247. Is z/(-20) + 3/5 a composite number?
True
Let n = 1067086 + -555653. Is n prime?
False
Suppose -3*t = -3*v + 59484, 12*t = -5*v + 10*t + 99147. Is v prime?
False
Let s(y) be the second derivative of -725*y**3/6 + 40*y**2 + 2*y. Suppose -48*p + 49*p - x + 2 = 0, -2*x = p + 17. Is s(p) composite?
True
Let w(v) = -898*v + 46 - 71 + 37. Let d be w(-9). Suppose -3*y - f + d = -10323, -4*y + 24556 = f. Is y prime?
False
Let w = 297 - 549. Let i = 399 + w. Suppose 0 = -m + 2, 0 = 3*b - 3*m - i. Is b prime?
False
Let t = -41646 - -201431. Suppose -100*u - t = -105*u. Is u a prime number?
True
Let u(z) = -72961*z + 930. Is u(-1) prime?
False
Suppose 4*f = -4, 5*b = b + 4*f - 8. Let p be (18/(-2) - 2) + 2 + 0. Is b/p - (-1922)/3 prime?
True
Let j be 1 + (2 - 2) - (-11 + 9). Let m be 11467/((-2)/(j + -1)). Let n = -5588 - m. Is n prime?
True
Let w(g) = -133*g + 9. Let c be w(6). Suppose 24*m = 18*m - 2352. Let j = m - c. Is j a composite number?
False
Let t(x) = 7*x**3 - 12*x**2 + 10*x + 24. Let k be t(7). Suppose 3336 - 440 = 4*a. Suppose a + k = 3*n. Is n prime?
True
Let w(s) = 340*s + 85. Let d(r) = -339*r - 85. Let a(f) = 2*d(f) + 3*w(f). Is a(7) a prime number?
False
Let g(s) = 42*s**2 - 32*s + 479. Is g(21) a prime number?
True
Let z(g) = -165*g - 5. Let s(d) = 83*d + 2. Let m(a) = 13*s(a) + 6*z(a). Let y(r) = 90*r - 3. Let t(o) = 4*m(o) - 3*y(o). Is t(3) a prime number?
True
Suppose -5*b - 26*b = 19*b - 5197550. Is b prime?
True
Let u(h) = -51*h - 10. Let l(w) = w**3 + 6*w**2 + w - 11. Let b be l(-5). Suppose 9*q + b = 8*q. Is u(q) composite?
False
Let n(v) = -450*v**2 - 11*v - 7. Let s(c) = -225*c**2 - 6*c - 4. Let x(l) = -3*n(l) + 5*s(l). Is x(-4) a composite number?
True
Let h(p) = 3*p**2 + 1. Let k be h(-1). Is 57820/32 + -4*k/(-128) a composite number?
True
Let w(d) = -d**3 - 21*d**2 + 21*d - 32. Let v be w(-22). Let u(c) = c**2 + 8*c - 15. Let q be u(v). Suppose -q*i = -15, -1876 - 541 = -j - 2*i. Is j composite?
False
Let k = -4375 - -11318. Suppose 0 = 5*h + 3*v + v - k, 2*h + 3*v = 2773. Is h a composite number?
True
Let t = 293 - 176. Let h = -110 + t. Is -3 + h/(35/2000) a prime number?
True
Let u = -18 - -16. Let c be u - (6 - 4) - 294. Let o = c - -1037. Is o composite?
False
Let i(w) = -4323*w - 226. Is i(-13) a prime number?
False
Let w = -66 - -66. Suppose w = 3*b + v - 7, 2*v = -2*v - 20. Suppose 2639 = 3*s + b*s. Is s a composite number?
True
Suppose -214 = -2*l + 9*f - 4*f, 4*f = -2*l + 196. Suppose 4*w - 4*o + 117 = -w, o = -4*w - l. Is 6/(-15) - 62585/w composite?
False
Suppose -5*g = -3*a + 268954, -5*g = 3*a - 171848 - 97116. Is a a prime number?
True
Suppose 109723 = -74*x + 549135. Is x a prime number?
False
Suppose 9*q - 10*q - 2*c = 4, 0 = 3*q - 4*c - 28. Let b be q + -1 - (-273)/1. Suppose 2*a + 150 = m, a - b = -2*m - a. Is m a prime number?
False
Let h(m) = 2*m**2 - 15*m - 4. Let b = 71 - 63. Let v be h(b). Suppose -7*s = -v*s - 1131. Is s a prime number?
False
Let c(b) = 371*b + 220. Let u be c(-25). Let x = 2796 - u. Is x prime?
False
Let s = -279 - -288. Suppose 0 = -s*w + 2155 + 10904. Is w a prime number?
True
Let x(u) = -4*u**3 + 21*u**2 - 47*u + 35. Let b(h) = 7*h**3 - 43*h**2 + 95*h - 69. Let j(o) = 6*b(o) + 11*x(o). Is j(-20) a prime number?
True
Suppose 10*t - 12 = 9*t. Let g(d) = -36*d - 13. Let u be g(t). Let i = u - -798. Is i prime?
True
Let h be (-18)/(-22) + 3 - (-4)/22. Suppose 1210 = -2*r + h*r. Suppose -148 = t - r. Is t prime?
True
Suppose 0 = -2*i - 2*r + 288708, -4*i = 12*r - 15*r - 577423. Is i a prime number?
False
Let w be 2/(-6) - (12 - 1420/30). Suppose w*j - 33*j - 1622 = 0. Is j a composite number?
False
Let r = -217770 - -396451. Is r a composite number?
False
Suppose 1977233 + 11776734 = 19*j. Is j a prime number?
True
Let q = 1217 + -694. Let n = q + -360. Is n a composite number?
False
Suppose 0 = 5*j - 8*j + 4*v + 30169, -10038 = -j + 5*v. Is j a composite number?
True
Suppose -k + 10 = 4*k + 5*r, 5*r + 22 = 3*k. Suppose s = -5*m + 5*s + 20521, -k*m = 3*s - 1