t h = b - c. Is h composite?
True
Let f(d) = -d**2 - 10*d + 103. Let k be f(7). Is -2 + 0 - 166288/k prime?
True
Let b = 29750 - 14329. Is b composite?
True
Let q be (-71428)/(-18) + -1 + (-2)/9. Let d be 9/(-12) + q/4 + -2. Suppose m = d + 912. Is m a prime number?
True
Let s(p) = -p**3 - 8*p**2 + 2*p - 39. Let h be s(-9). Suppose 3*a - 12193 = -4*n, h*a - 12198 = -4*n + 26*a. Is n prime?
True
Is ((-16)/2)/(-16)*23914 a composite number?
True
Suppose 2*m + 12198940 = 31*m + 23*m. Is m composite?
True
Let i(u) = 321*u**2 - 10*u + 14. Suppose -m - 6 = -2*n, 0*n + 5 = 5*n - 5*m. Is i(n) prime?
False
Is (-2 - ((-1083858)/4)/((-33)/(-66)))*3 prime?
False
Suppose -14*t - 2*q + 2852176 = 0, -3*t + 611202 = -32*q + 36*q. Is t composite?
True
Let j = -14 - -11. Let o be (-279 + -4)*-3 - j. Suppose -v = -5*d - 574, 4*d - o = -3*v + 965. Is v prime?
True
Let z be (-16)/(2 + 2) - 627. Let d = z + 5612. Suppose 4*t + 5*f = -1539 + d, -4311 = -5*t - 2*f. Is t prime?
True
Suppose -1397 = -2*m - 5*n, -4*m + 3085 = 5*n + 286. Suppose -d - m = 2*p, 4*p + 3*d - 340 = 5*p. Let o = p - -596. Is o composite?
True
Let x(n) = -29*n**3 - 25*n**2 + 24*n + 33. Let q(r) = -14*r**3 - 12*r**2 + 11*r + 16. Let f(t) = 5*q(t) - 2*x(t). Is f(-11) composite?
False
Suppose -33 = -3*x + 3. Suppose -g + x*g = 22. Suppose m - 904 = -3*f, -g*m + 4536 = 3*m - f. Is m a prime number?
True
Is 2/(-9) - (-6872)/(-72)*-77 a composite number?
False
Let w(z) = -27*z + 2524. Let s be w(0). Suppose -3785 = -3*a - 2*v, 2*a - s = -v - v. Is a prime?
False
Let w = 776 - 1492. Let f = 1035 + w. Is f prime?
False
Suppose 3*a = 14*n - 9*n + 177, -5*n = 4*a - 271. Suppose 2*b = -5*r + 12915, 7748 = -61*r + a*r + b. Is r prime?
False
Let h(q) = q**3 - 11*q**2 + 18*q + 7. Let v = 119 - 109. Let t be h(v). Let s = t + 322. Is s a prime number?
True
Let c(u) = 16806*u**3 - 2*u**2 - 9*u + 10. Let a be 55/20 + (-45)/(-36) + -3. Is c(a) prime?
False
Suppose -9*c + 108115 = -168536. Is c composite?
True
Let n be 2/(-2) + 0 + 2. Suppose 4753 = 18*c - 2375. Let h = n + c. Is h a prime number?
True
Suppose -9 + 3 = d. Let c(s) = -s**3 - 7*s**2 - 8*s - 3. Let h be c(d). Suppose 3*j = 930 - h. Is j composite?
False
Let p = 71262 - 2705. Is p prime?
False
Let o(l) = l**2 - 30*l + 33. Let u be o(29). Is u/16*-4*-3513 prime?
False
Is 2/4*-6 - -81186 prime?
False
Let b(v) = 26784*v**2 + 12*v + 19. Is b(-2) prime?
False
Let l(x) = 1830*x**2 - 11*x + 31. Let d be l(-9). Suppose d = 37*y + 3*y. Is y a prime number?
True
Let p be (-6)/(-27) - (-172)/(-72)*-2. Suppose 0 = -u - u - 6, p*u = 2*k - 813. Suppose -2*x + 5*x = k. Is x a prime number?
False
Suppose 0 = -q, 5*n + q - 2*q - 20 = 0. Suppose b - n*b = -12762. Suppose -5*w + 2*w = -b. Is w composite?
True
Suppose 87*r - 9415454 = -64*r. Is r composite?
True
Let b = 807 - 261. Let v = 1137 - b. Is v composite?
True
Let p = 43 + -40. Suppose 13895 = 10*t - p*t. Is t prime?
False
Suppose 24*t = 143*t - 1380281. Is t a composite number?
True
Let r(u) = -9 + 18 - 58*u + 347*u. Let h be r(-5). Is (-24)/(-16)*h/(-6) a composite number?
False
Let n be 48598/(-38) - (-36)/(-342). Let t = n + 2616. Is t a prime number?
False
Let i = 233 - -11264. Is i a composite number?
False
Suppose 5*i = -10 - 5. Let v(z) = -2435*z - 18. Let a be v(i). Suppose -c - 2*c = -a. Is c a prime number?
False
Suppose -4*x + 16 = k + 2*k, 2*x = 2. Suppose 8*c - k*c = 7724. Is c a prime number?
True
Suppose 0 = -2*p - 3*z + 10, 5*p - 9 = z - 1. Is 16/p - (-791 - 8) composite?
True
Let k(g) = -226*g - 83. Let a(w) = w**3 + 4*w**2 + 8*w + 14. Let y be a(-4). Is k(y) a composite number?
True
Suppose 0 = 4*v - a - 1079930, -110*a + 269957 = v - 106*a. Is v prime?
True
Suppose -176228 = -5*o + o. Is o a composite number?
True
Suppose -4*j - 10120 = -z + 5*z, 4*z + 3*j = -10125. Let v = 3967 - z. Is v composite?
True
Suppose 79 - 79 = -3*l. Suppose 0*m = 2*m, -2*v + 3*m + 8474 = l. Is v composite?
True
Let p be (28/(-6))/(2/(-381)). Let s be (66134/(-129))/((-8)/12). Suppose s = c - p. Is c prime?
False
Suppose -6 + 3 = -v. Let y(t) = t**2 - 2*t. Let j be y(v). Suppose j*d - 7*d - 298 = -2*l, 2*d - 636 = -4*l. Is l composite?
False
Suppose 5 = -4*d - 5*y, d = -3*y + 2*y. Suppose 4*m - 60 = -n - 0*m, 3*n = -d*m + 152. Suppose 2*o + n = 1302. Is o prime?
False
Suppose -5*f - 4*t + t + 5 = 0, f - 3*t = 19. Suppose -3*u = -4*z + f + 3, 3*u + 1 = -2*z. Is (7 - 1)*24 + u a prime number?
False
Suppose 0*f = -2*b + 2*f + 11698, -4*f = 5*b - 29254. Suppose -996 = -2*t + b. Let h = t + -1520. Is h composite?
True
Suppose -3*b = 4*d - 2*b - 57, 5*d - 55 = 2*b. Suppose 2*y + d*y + 17145 = 0. Is (2/(-3))/((-1137)/y - 1) a composite number?
False
Let s = -296 + 300. Let j(m) = -5 + 10 + 2 + 16*m. Is j(s) a prime number?
True
Let k = -18608 - -48091. Is k a composite number?
False
Suppose 7*p = 10*p + 1560. Let t be 0 + ((-4)/(-18) - p/(-72)). Is t*335/(-3) + 2/(-3) prime?
False
Suppose 18*o = 355295 - 102377. Is o prime?
True
Let q(g) = 31*g + 40. Let x(k) = k**3 - 9*k**2 + k. Let p = 46 + -37. Let i be x(p). Is q(i) composite?
True
Suppose -4*j = 3*m - 7815, -373 = 4*m - 5*j - 10762. Let k(g) = 2*g**3 - 12*g**2 + 7*g - 8. Let a be k(10). Let q = m - a. Is q a composite number?
True
Let w = 131 + -135. Is (w + -1)*(5 + 2546/(-5)) a prime number?
True
Suppose -17*o + 140237 + 507319 - 52165 = 0. Is o a prime number?
True
Let q = -88263 - -848356. Is q prime?
True
Suppose 3*u - 54*g = -59*g + 24614, 3*u + g = 24610. Is u composite?
True
Let m(y) = 1002*y + 107. Let i be m(16). Suppose 4*l - 30866 = 2*g, 0 = 5*l + 4*g - 22450 - i. Is l a prime number?
True
Suppose 0 = -3*h - 5 + 17. Suppose r + 4*s - 29 = 0, -61 = -h*r - 4*s - s. Suppose 6*n = r*n - 6609. Is n a composite number?
False
Suppose 4*j = 1 - 5, 6 = 2*x + 2*j. Let z be (1060/2)/(x/(-2)). Let b = 1148 + z. Is b prime?
True
Suppose -5*f - 11038 = -78518. Suppose 4*k + 3*r - 12966 = f, 3*r = 3*k - 19857. Is k a composite number?
True
Let o be (-403)/(-78) + 3/(-18). Suppose -o*f + 2*y = -6, 0*f - 2*f - 6 = -5*y. Suppose -96 = -f*z + 5*i, -z = 4*i - 9 - 13. Is z a prime number?
False
Suppose -16779 = -3*z - 1257. Let g = z - -37. Let p = g + -3650. Is p a composite number?
True
Suppose 0 = 184*q + 47*q - 183172143. Is q a composite number?
True
Suppose 5*v = -2*q + 393207, -57*q + 62*q = v - 78663. Is v composite?
False
Suppose -5*z + 1 = -4*f + 6, -5*f = 2*z - 31. Suppose -z*m - 26695 = -4*i, 5*i - m - 19524 - 13842 = 0. Is i a prime number?
True
Let c be (-1)/((-18)/8 - -2). Let p(x) = 15*x**3 - 11*x**2 + 15*x - 5. Is p(c) a composite number?
False
Suppose -4*c - w = 3*w - 2952, 0 = -3*c + 5*w + 2206. Let y(j) = -j**3 + 9*j**2 + 20*j - 2. Let g be y(-2). Suppose c = -u + g*u. Is u a prime number?
False
Suppose 910*v + 33078 = 912*v. Is v*(-3)/27*-3 a prime number?
False
Let d = -106273 + 153510. Is d a prime number?
True
Let a = -72633 + 121540. Is a a prime number?
True
Suppose -199*w = -197*w - 3*d - 409760, -4*w + 819580 = 4*d. Is w a prime number?
False
Let a(t) = 44*t**3 + 7*t**2 + 28*t - 138. Is a(7) a composite number?
False
Suppose 19*b + 45 = -31. Suppose q = 3 + 1. Is 87 - (b + q + -2) a composite number?
False
Let o = 21327 + -14927. Let u = o + 3579. Is u a prime number?
False
Suppose 1 + 13 = 7*o. Suppose 380726 = -o*u + 43*u. Is u a prime number?
False
Let d(o) = o**3 + 33*o**2 + 34*o + 66. Let c be d(-32). Suppose 3*b = -3*m + 13655 + 517, -c*m = -2*b + 9436. Is b a prime number?
True
Let q(v) = 2304750*v**2 + 205*v + 204. Is q(-1) a prime number?
True
Suppose 168*g - 15 = 165*g. Suppose g*p - 5695 + 94 = -3*b, 3734 = 2*b + 2*p. Is b a composite number?
False
Let t(y) = 3193*y - 446. Is t(15) composite?
True
Let n be (-4 - -3)*(1 - 2). Suppose -5 = -2*m - n. Suppose m*v + 2*v = 3*b - 3793, 6275 = 5*b + 5*v. Is b prime?
True
Let j(c) = -13*c + 2826. Let x be j(0). Let u = x + -1615. Is u composite?
True
Let u(i) = 9*i - 11. Let q be u(1). Is 2927*3/(-6)*q a prime number?
True
Let d = 210 - 197. Let f(o) = o**2 + 9 - 2*o + 2*o. Is f(d) composite?
True
Let a(h) = 55*h**2 - 13*h - 26. Let o be a(-11). Suppose -y = 2*v - 3*v + 3386, 2*y - 4*v = -o. Is 11 + -12 - y/1 a prime number?
False
Let d(b) = -4577*b + 103. Let o(i) = 6865*i - 154. Let s(m) 