, 619464 = 4*u - 7*a + 3*a. Is u prime?
True
Suppose -237172 + 10738702 = 76*m + 2*m. Is m a composite number?
True
Suppose 646896 = 4*f - 4*k, 5*f - 10*k - 808635 = -8*k. Is f prime?
True
Let u be 970*7/(42/6). Let c = 1443 - u. Is c prime?
False
Let h(g) = 14*g + 38*g**2 + 7 - 4*g + 12*g. Is h(5) prime?
False
Let c(a) = -59*a + 137. Let d be c(-6). Suppose 15*o - d = 14*o. Is o a prime number?
True
Let r(v) = -v**3 + 21*v**2 + 22*v + 53. Suppose 28*k = 15*k + 208. Is r(k) prime?
False
Let b = -2289 + 5528. Let m = b + -1330. Is m prime?
False
Let t be 84/(-18)*(1 - 2/14). Is (t - -5)/((-1)/(-6587)) + -4 a composite number?
True
Let c(j) = -131 + 238 + 69*j**2 + 6*j + 17*j**2. Is c(-16) prime?
True
Let a be (4 + 474/(-12))/((-3)/534). Let g = a + -4038. Is g composite?
False
Suppose -141*z + 127*z + 1480514 = 0. Is z a prime number?
True
Let h(z) = -28053*z + 3. Let d be h(-1). Let g = -11231 + d. Suppose 0 = -0*f + 5*f - g. Is f a prime number?
False
Suppose 0 = 41*z - 20*z. Let b = -344 + 759. Suppose z = -5*q + 3430 + b. Is q a prime number?
True
Suppose 4*h = 4*m - 66172 + 268052, -4*m = -12. Is h prime?
False
Let b = -5730 + 16393. Is b a composite number?
False
Let c(z) = 31*z - 76. Let w be c(2). Let f(t) = -431*t + 33. Is f(w) prime?
True
Let o = -479 - -1055. Let w = o - 868. Let g = w + 555. Is g composite?
False
Suppose 0 = 3*b + 1 - 43. Suppose -9*l + 2710 = -b*l. Let a = -291 - l. Is a prime?
True
Suppose v = 74576 - 17247. Is v a prime number?
True
Let l = 445 - 443. Is 5 + 2 + 32352/l a composite number?
False
Let h(l) = 4*l**3 - 8*l**2 - 3*l + 4. Let v(q) = q - 1. Let x(b) = -h(b) - 3*v(b). Let n = 1576 + -1582. Is x(n) composite?
False
Suppose -2*m = -0*o + o - 40105, 3*m = 6. Is o a prime number?
False
Suppose 2*a + 14*q - 19*q - 25 = 0, -4*q = -5*a + 37. Suppose -28*c = 2*n - 23*c - 19476, 48725 = a*n - 5*c. Is n composite?
False
Suppose 20*n - 522299 = 260841. Is n prime?
True
Let y = 57926 + -4677. Is y prime?
False
Let h(z) = 302*z - 27. Suppose 6*c - 4*a = c - 5, -2*a = 4*c - 22. Is h(c) a prime number?
False
Is 9 + 10122 - (8 + 0) a prime number?
False
Let y = 396 + 1133. Let j(x) = 44*x**2 - 6*x + 5. Let t be j(6). Suppose f - 3*v - t = -48, -y = -f - 5*v. Is f a prime number?
False
Suppose d + 3*g = 164088, -2*d + 656338 = 2*d + 5*g. Suppose -13*a + d = -18048. Is a/21 - (-2)/(-14) composite?
True
Let h(m) = 98619*m - 469. Is h(2) a composite number?
False
Let f be ((-5)/(-20))/((-2)/(-88)). Suppose -5*i = -5*j - 25715, -15453 = -f*i + 8*i - 3*j. Is i a prime number?
True
Suppose 5*c + 8 = -2*g, -2*c + 8*g = 4*g - 16. Suppose 0 = -y + q + 63690, 3*y + 4*q - 5*q - 191080 = c. Is y a prime number?
False
Suppose -4*n = 5*k - 49635, 229*k - 232*k = 5*n - 29794. Is k prime?
True
Let f(h) = 9107*h**3 + h**2 + 8*h + 36. Let a be f(-3). Is a/(-9)*(-15)/(-20) composite?
True
Suppose -254907 - 446110 = -22*t - 150731. Is t prime?
True
Let w = 5423 + 15144. Is w a prime number?
False
Is -5444*(5 + -1 + (452/(-16) - 4)) a composite number?
True
Let n = -29 - -56. Let z = n - -236. Is (-4)/6 + z/3 a prime number?
False
Suppose -9*x + 14*x = 14095. Is x a prime number?
True
Let u be (-35 + 29)/(3/(-2)). Suppose -u*n = -3*z + 14642 - 37533, -z + 5721 = n. Is n a composite number?
True
Is 2 - (-3 + -8)*5827 composite?
True
Let d = -9 + 6. Let x be (d/(-2))/((-3)/(-4)). Is x*3*(-4053)/(-18) a composite number?
True
Suppose -52636 + 172745 = r + 3*a, 0 = -3*r + a + 360367. Is r composite?
False
Let b = 393 + -384. Suppose -b*u + 2*j + 46271 = -6*u, 5*j = -5*u + 77085. Is u prime?
False
Let a = 3032 - -821. Suppose -c = -a - 6258. Is c a composite number?
False
Let l(f) be the second derivative of 17*f**7/210 + f**5/120 - 2*f**4/3 - 11*f. Let i(o) be the third derivative of l(o). Is i(-1) prime?
False
Suppose 0 = 14*v - 0*v + 308. Let w = v - -22. Suppose 3*i - 1623 = -w*i. Is i composite?
False
Suppose 3*f - 3075 + 489 = -3*g, 5*g - 4328 = f. Is g composite?
True
Suppose 3*u + 8 = 35. Suppose -u - 19 = -4*j. Suppose j*m - 38374 = -7*m. Is m prime?
True
Suppose 2*w + 4*d = -w + 20, 4*w - d - 14 = 0. Suppose -w*q + 1619 = s, -4857 = -3*s + 3*q - q. Is s composite?
False
Is (0 - 1427)/((-24)/72) prime?
False
Suppose 1 = -o, -23*a = -25*a - 5*o + 3737. Is a prime?
True
Let b = 51057 - 30278. Is b a prime number?
False
Suppose -5*w + 69258 = 4*s, -3*w = s - 66991 + 25432. Is ((-18)/(-27))/(4/w) a composite number?
False
Let k = -144 - 78. Let s = -1308 + 863. Let i = k - s. Is i a prime number?
True
Suppose 17*u + 10019 = -4142. Let o = 1276 + u. Is o prime?
True
Suppose -4*q - 4*l + 156 = 0, -78 = -3*q + q + 2*l. Let i = -43 + q. Let h(k) = -9*k**3 - 3*k**2 - 2*k + 5. Is h(i) a composite number?
False
Suppose -3*x + 3*w + 12 = 0, 0*x + 4*w = 3*x - 16. Suppose 10978 = 4*t + 5*f, 2*t + x*t - 5488 = -3*f. Is t composite?
True
Let v(q) = 337*q**3 - 9*q**2 + 25*q - 162. Is v(5) composite?
False
Let i = 5442 + 12512. Let q = i + -12813. Is q composite?
True
Let c(q) = -27*q + 13. Suppose 13*g - 176 = -540. Is c(g) prime?
True
Let q(r) = 240*r**2 - 13*r + 26. Suppose 9*z + 115 = 32*z. Is q(z) prime?
False
Let g be (6710/15)/((-1)/(-3)). Suppose -z = -g + 338. Suppose 4*w - z = -0*w. Is w a prime number?
True
Let u(s) = 20*s**2 + 2*s + 11. Let g be (-8)/(-14) + (-527)/(-119). Suppose -2*v + 31 = -3*i + 11, g*v = -5*i. Is u(v) a prime number?
False
Let x = -2593 + 5831. Let i = -2075 + x. Is i a composite number?
False
Let c(n) = -n**3 + 170*n**2 + 275*n + 37. Is c(81) prime?
True
Suppose 3*n - 5*a = -13874, -n + a - 4627 = -3*a. Let j = n - -8420. Suppose 0 = -5*i - 4*q + j, 4*q + 3813 = 5*i - 0*i. Is i a prime number?
True
Let k(i) = -i**3 - 7*i**2 + 15*i. Suppose -4*c - 54 + 14 = -g, 5*g = 3*c + 47. Let l be k(c). Suppose -l + 798 = 3*s. Is s prime?
True
Suppose -2*r - 1868 = -r. Let b = 3489 + r. Is b prime?
True
Let t(b) = -7898*b**2 + 23*b - 50. Let z be t(2). Is ((-8)/12)/(((-8)/z)/(-1)) a composite number?
False
Let f(a) = -12653*a - 57. Is f(-22) a prime number?
False
Let w(v) = -v**3 + 77*v**2 - 75*v - 88. Let c be w(76). Suppose -m + 0 = -2. Is m/c*-87*134 composite?
True
Suppose -106*z + 62*z = 71*z - 33192795. Is z a prime number?
False
Suppose -2*x + 264 = 4*l, -2*l + x = -3*l + 68. Is (-237)/2*(6 + l/(-8)) a composite number?
True
Suppose 2 + 7 = 3*c. Suppose c*u - 3428 = 2836. Let w = u - 1465. Is w a composite number?
True
Let x be (-42)/28 + (-3)/(-2). Let f be 0*(-4)/(3 + -7) + x. Is -1 + 0 - (f + -624) composite?
True
Let b be 260/28 - 2/7. Is 3409/b - (-44)/198 composite?
False
Suppose -20 = 5*g, -2*g = 4*b - 3*g - 18144. Let s = b - 628. Is s a composite number?
False
Let l = -773 + 786. Let b(u) be the second derivative of u**5/20 - u**4 - 13*u**3/6 + 11*u**2 + u. Is b(l) a composite number?
True
Let t = -37522 + 40783. Is t prime?
False
Let z be 0 + (-3 - -5) + 2. Suppose -z*f + 4064 + 2744 = 0. Let o = f - 1161. Is o a composite number?
False
Suppose 119077 = 4*r - 5*o, 0*r - 59501 = -2*r - 5*o. Suppose 0 = -2*m + 4*m - 12. Suppose -m*y - 3*y = -r. Is y a composite number?
False
Suppose 2*h - 1816 - 972 = 0. Suppose -2*z + 13 - 2846 = -5*j, z = -2*j - h. Let f = -723 - z. Is f a composite number?
True
Let n be (-2)/(-7) + 450/(-105). Is (-16518)/n*4/3 prime?
False
Suppose 2*u + 120513 = o, 5*o + 169*u - 602535 = 173*u. Is o prime?
True
Suppose -2*y + 4 = 5*h - 23, 5*y + 3*h = 20. Let f(c) = 402*c**2. Let x be f(y). Suppose 0 = -a + 5*m + x + 647, 2*a = 4*m + 2110. Is a composite?
True
Let c(r) = -44*r + 213. Let x be c(5). Let n(v) = -7*v**3 - 12*v**2 - 4*v + 6. Is n(x) prime?
True
Let c be (-10)/(-15)*2*(-3522)/(-4). Let i = c + -671. Let r = 2452 - i. Is r prime?
True
Is ((-7326059)/(-26))/(1 + 1/(-2)) prime?
True
Let c(z) = 2*z - 20. Let b be c(10). Suppose m + 0 + 4 = b. Is m - -83*2/2 composite?
False
Let a(c) = c**2 + 14*c - 5. Let j be a(-16). Let b = j - 31. Is -3 - -82*(b - -6) composite?
True
Let l(a) = -2*a**3 + 8*a**2 - 4*a - 6. Let b be l(3). Suppose b*d + 11*d - 2981 = 0. Is d composite?
False
Let s be 2 + 48/(-22) - 14/(-77). Let k(m) = m**3 + m**2 - m + 5. Let c be k(s). Suppose -3*w = x - 2*x - 2666, 4440 = 5*w - c*x. Is w a composite number?
True
Let u be -1 + -75 - (-3 + -1). Let s = u + 91. Is (1 +