*x - u. Let d = x - 78. Is d composite?
True
Let y = -4833 - -7610. Is y a prime number?
True
Suppose t = 3, 0 = 6*o - 2*o - 5*t - 1705. Suppose 8*m = 3*m - o. Let f = 153 + m. Is f prime?
True
Let y be 6 + -7 + (-3)/(-1). Suppose -y*d + 4 = -d. Suppose x + 81 = 3*q + 5*x, 2*q = -d*x + 50. Is q a prime number?
True
Suppose -7*r = -4683 - 11781. Suppose y - 691 + r = 4*u, 2*u = y + 831. Is u composite?
True
Suppose 0 = 19*n - 29*n + 3170. Is n a composite number?
False
Let d be (-2)/(-9)*-3*-18. Let j = 9 - d. Is (-153)/j + 0/1 prime?
False
Is -1226*(222/(-16))/(36/48) prime?
False
Let u = -948 + 1941. Is u prime?
False
Suppose 6*h = 3*h - 63. Let n = -77 + h. Is (30/20)/((-3)/n) a composite number?
True
Let t(f) = -f**3 + 8*f**2 - 7*f + 2. Let v be t(7). Let q(u) = 3 - 1 + 48*u**v + 2*u + 1. Is q(-2) composite?
False
Suppose j = t - 7, -5*t - 2*j = -0*j - 56. Let f be 1/(-2) + 25/t. Suppose 4*w = -3*c + f*c + 38, 190 = 5*c + 2*w. Is c prime?
False
Let x = -5934 + 10325. Is x composite?
False
Let n(u) = -u**3 - 4*u**2 + 3*u - 8. Let p be (-3 + 1)/(10/35). Let c be n(p). Suppose 4 - 1 = -3*y, -y = h - c. Is h a prime number?
False
Let s be ((-696)/16)/((-6)/(-16)). Let i = s + 165. Suppose 0 = l - i + 12. Is l a composite number?
False
Suppose -968 = -l + 4*o + 1299, l + 4*o - 2307 = 0. Is l a composite number?
False
Suppose 0 = 3*t - 9, 4*i = t + 2*t + 11187. Suppose 2*g = -3*a + i + 1392, 5*a - 6992 = -g. Is a a composite number?
False
Suppose -39*s + 195651 = 44604. Is s composite?
True
Let p = 57 - 50. Suppose 11*m - p*m = 6740. Is m a composite number?
True
Let p = 13 - 5. Suppose -m = -2*m + 444. Is (m/(-10))/(p/(-20)) a prime number?
False
Let x(d) = d**3 + 5*d**2 - 2*d - 4. Let t be 2/(4 + (-1 - 2)). Suppose -p + 3 = -t*h, 6 = 3*p - h - 3. Is x(p) a composite number?
True
Suppose -j - 14 - 37 = z, -4*z = 3*j + 156. Is (-3)/4 - 94452/j a composite number?
True
Let x(t) = 4*t. Let u be x(2). Suppose -2*v - 2 + u = 0. Suppose 0 = -v*b + 32 + 403. Is b a prime number?
False
Let f(u) = 19*u**3 - 8*u**2 - 3*u - 9. Let z be f(7). Suppose -3*d + z = 3*x + 2*x, 0 = 5*x - 3*d - 6095. Is x prime?
False
Suppose 2*r - 5*k - 977 = 0, -3*r - 968 = -5*r + 2*k. Is r a composite number?
True
Suppose -20 = -3*h - h. Let q = 17 + h. Suppose -311 = -3*i + q. Is i composite?
True
Let n(u) = 41*u**2 + 39*u - 33. Let k be n(22). Suppose 0 = g - 5*t - 5162, 6*t - 7*t = 4*g - k. Is g composite?
False
Suppose 0*d + 585 = -d. Is 3/(-1 - -4) - d prime?
False
Suppose -12 = -4*l, 0*c - 4*c + 5*l = -31925. Is c a prime number?
False
Let i = -4402 - -7889. Is i a prime number?
False
Is 2425 + 5/(20/(-24)) prime?
False
Let r(z) = -1985*z - 3. Is r(-2) a prime number?
True
Let y = -1012 + 1936. Let m = y + -370. Is m a prime number?
False
Let k = 13 + -4. Let p = k - 3. Suppose -p*q + 3020 = -2*q. Is q prime?
False
Suppose -4*d + 5*i + 6853 = 0, -d + i + 1708 = -2*i. Is d a prime number?
False
Let m(d) = -27*d - 15. Let i be (11/(-2))/(7/14) + -1. Is m(i) composite?
True
Let m = -31480 + 44201. Is m prime?
True
Let x = 34 + -35. Is (-6)/(-6)*(414 + x) a prime number?
False
Suppose -3*r = -5*k + 42, -4*k - r + 36 = 16. Suppose -k*y + 3324 + 3366 = 0. Is y a prime number?
False
Suppose 3*f - 2*f = 0. Suppose z = t - 26, f*z + z = -t + 34. Suppose 0 = -w + 4*b + t, -4*w + 3*b + 64 = b. Is w a composite number?
True
Let m(d) = 2*d**2 + 4*d - 1. Let v be m(-3). Suppose v*c - 3*c = 4358. Is c a composite number?
False
Suppose -350 = -4*b + 2*a - 0*a, 0 = 2*b - 3*a - 177. Is b*(86/8)/((-24)/(-32)) a prime number?
False
Let l = -80 + -44. Let s = 355 - l. Is s composite?
False
Let p(l) = 6*l + 2 + 4*l**2 + 1 - 2*l**2 - 3*l**2. Let f be p(4). Let g = 134 + f. Is g a composite number?
True
Is (-3)/2*((-16504)/3)/2 prime?
False
Suppose -6 = 2*c - 16. Suppose 3*q + 9*a + 10 = 4*a, 0 = -q - 2*a - c. Suppose -l + q*p = -78, 2*p - 85 - 11 = -2*l. Is l prime?
True
Let m(c) be the second derivative of -c**4/12 + 5*c**3/6 + 7*c**2/2 + 9*c. Let r be m(6). Is ((-222)/(-6))/(r/11) a prime number?
False
Suppose -5*y + 2*w + 248 = 0, -2*w = -4*y + 273 - 75. Let g = y - -161. Is g prime?
True
Let s be (-2)/8 - 5/(-40)*34. Suppose -2*k + 6024 = 2*h, -3*k - 15105 = -8*k + s*h. Is k a composite number?
True
Let v(x) = x**3 + 4*x**2 + 3*x - 2. Let q be v(-3). Let a be q*((-18)/4 + 4). Is 179*(4 - (4 - a)) a composite number?
False
Is (-18 - -13)/(4/(-7444)) a prime number?
False
Suppose -15*t + 7934 = -13*t. Is t composite?
False
Let m = 104 - 99. Suppose m*d - 1799 + 454 = 0. Is d a composite number?
False
Let m = -104 - -9. Let a = m + 708. Is a composite?
False
Suppose -13*v + 30 = -22. Suppose 4*j - 256 = -0*j - 4*d, -v*d = 12. Is j prime?
True
Let i(g) = 4*g + 1397. Suppose 19*u = 10*u. Is i(u) a composite number?
True
Let a be 2*1/((-4)/(-8)). Is 502 - (a + 0 - 1) prime?
True
Suppose 2*r = 0, 2*c + 3*r = 7034 + 12096. Is c composite?
True
Let w(c) = -c - 17. Let o be w(-13). Let s(a) = 64*a**2 + a - 11. Is s(o) prime?
True
Suppose -39*h + 43*h - 15956 = 0. Is h composite?
False
Suppose 10 = 5*v, -600 = 2*c - 0*c - 5*v. Is (-3 + c/(-10))*74 a prime number?
False
Let c(i) = -i + 4. Let v be c(0). Suppose 15 = -3*u, 4*s - 138 = -5*u + 49. Is (8/v)/(2/s) a prime number?
True
Suppose 0 = -6*v - 6 - 12. Is (436/3 - v) + (-12)/(-18) composite?
False
Let q = 23 - 21. Suppose -4*l = q*l - 5598. Is l a prime number?
False
Is (134/(-1))/(56/(-140)) prime?
False
Let b be -3*(2 - 47/3). Suppose -b = 5*k - 1156. Is k a composite number?
False
Let h(o) = 3*o**2 + 6*o - 4. Suppose 2 + 42 = -4*k. Is h(k) composite?
False
Suppose -40*m + 190458 = -799022. Is m a composite number?
True
Suppose -4*s + 43 = 4*u - 13, -2*s = -3*u - 3. Let w be (-2)/9 + 2648/s. Let a = 505 - w. Is a composite?
False
Suppose 0 = -k + 2, 5*r + 0*r - 14 = -2*k. Suppose a = -r*d + 817, -3*a - 5*d = -2*a - 811. Is a composite?
False
Let s = 37 - 27. Is (((-36)/s)/3)/((-22)/13145) composite?
True
Suppose 0 = 5*a - 119 + 4. Suppose -a*d - 787 = -24*d. Is d prime?
True
Let y(c) = 1504*c**2 - 25*c + 114. Is y(5) composite?
False
Suppose -3*s + 3*p = -496209, -817*p + 25 = -822*p. Is s a prime number?
False
Let p(t) = -16*t - 2. Let k be 0/(-4) + 0 - 3. Is p(k) prime?
False
Let t be 110/25 - 4/10. Suppose -2*h = 2, 5*f = -t*h + 4 + 2. Is (-3 + f)/((-1)/293) a prime number?
True
Let y = 685 + 1026. Is y composite?
True
Let z be 1084/16 - (-2)/8. Let f(l) = -3*l - 16. Let o be f(2). Let w = o + z. Is w a composite number?
True
Suppose -3*h - 4*p + 2780 = 0, h - 6*h - 3*p = -4626. Suppose -4*c + 3553 = 3*b + h, 0 = -2*b + c + 1738. Is b a prime number?
False
Suppose -2*o = 3*o - 11335. Suppose 4*f - 3019 = -0*f - i, 3*f - o = 2*i. Suppose 4*p + 4*c - 449 - 559 = 0, 0 = -3*p - 2*c + f. Is p a composite number?
False
Let t(v) = -v + 1. Let g be t(0). Let i(o) = 0 - 2 + 13*o + 93*o + 23*o. Is i(g) a composite number?
False
Let b = 9676 + 1873. Is b composite?
False
Let i = 18 + -21. Let j be (-1)/((-2)/(-6)) - i. Is -1 + 3 - (j + -231) composite?
False
Let h(s) = 48*s + 1. Let n = -23 - -26. Is h(n) a prime number?
False
Suppose 0 = -2*x + q + 1732, 4*x - q = -2*q + 3476. Let f = x + -421. Is f a prime number?
False
Suppose -997 = y - 0*o - 2*o, 981 = -y - 2*o. Let g = y + 1589. Suppose -5*c = -v - 1006, c - 4*c + g = 3*v. Is c composite?
True
Let c be (-3 - 7)*4*(-1)/10. Suppose 5*w - 5*d - 1425 = 0, 4*d - 1443 = -w - c*w. Is w prime?
False
Suppose -d + 12 = 2*q + 3*d, -5*q - 6 = d. Let o be (79/q)/((-6)/12). Suppose 367 = 2*v - o. Is v a composite number?
False
Let o(i) = -92*i - 11. Let l(n) = -91*n - 10. Let a(f) = -6*l(f) + 7*o(f). Is a(-9) prime?
False
Suppose 4189 = 4*q - 343. Is q prime?
False
Let s = -3368 - -5463. Let b(h) = -h**2 - 3*h + 4. Let a be b(-3). Suppose f - s = -a*f. Is f a composite number?
False
Let f = 766 - -199. Let z = f + 312. Is z composite?
False
Suppose -5*x + 2643 = 3*r, 0 = -x - 2*r + 6*r + 547. Suppose -13*i = -16*i - f + 10, -i - f = 0. Suppose 2*l = i*l - x. Is l a prime number?
False
Suppose -29*h = -1629074 + 372475. Is h composite?
False
Suppose -5*w + 19535 - 2590 = 0. Is w a composite number?
False
Let d = -3874 + 7939. Suppose 0 = -15*q + 18*q - d. Is q a composite number?
True
Let j = 15 + -9. Suppos