omposite number?
True
Let v = 129128 - 65851. Is v a composite number?
False
Suppose -37 = -2*b + 3*a + 72, -5*b - 15*a = -340. Is b composite?
False
Is -1*2/(-1)*((-100264)/(-16) + 3) a composite number?
False
Let y be 0 - 3 - (-45324 + 1) - 0. Suppose -y = -29*i + 36431. Is i prime?
True
Let c = 200 - 188. Suppose 4*x + 17*m - 2106 = c*m, -5*x - 3*m + 2639 = 0. Is x a composite number?
True
Suppose 8*b + 11875 - 37363 = 0. Let z = -1147 + b. Is z a prime number?
True
Let f(a) = a**3 + 11*a**2 + 8*a - 19. Let z = -27 - -36. Is f(z) a prime number?
False
Suppose -67 = -4*l + 3*u, -2*l + 5*u + 15 + 36 = 0. Suppose -k = -4*y - 28, 5*y - 4*y = k - l. Is (-4)/k*6 - (1 - 307) composite?
True
Suppose 6*w + 1350819 + 53798 = z, 3*z - w = 4213851. Is z composite?
False
Is ((-33)/12*-19373)/((-10)/(-40)) a prime number?
False
Let t be 1/((-35)/(-20)) - (-36)/(-14). Let p be (-18681)/(-78) - ((-1)/t)/1. Let o = p - 152. Is o a composite number?
True
Suppose 5*k = 2*f + 17, 4*k = -f + 6*f. Suppose 24 = -f*l - 4. Is 41*(4 - l/1) composite?
True
Let m(a) = 230*a**2 - a - 1. Let t(y) = -y**3 - 2*y**2 + 5*y + 3. Let l be t(-3). Let i be 8/(-6) - (-2)/l. Is m(i) composite?
True
Suppose 4*j - 13 = 5*x + 3*j, 6 = -4*x + 3*j. Let u be x/(4317/(-2154) + 2). Let q = 1107 - u. Is q a prime number?
True
Suppose 0 = 5*x - 252 - 28. Let k = x - -745. Is (k - -1) + 4 + -3 composite?
True
Let w be -21 - 3 - (-8 - (6 - 10)). Is (21 + w)/(2/166) a composite number?
False
Let t(v) = 5*v + 92. Suppose 5*d + 4*y = -78, 3*d + 0*y + 45 = -3*y. Let r be t(d). Is (-1*10/15)/(r/(-11283)) a composite number?
False
Suppose 238 = 77*y - 224. Is (1/(-3))/(y/(-100638)) composite?
False
Suppose -4*u + 4*r = -69164, 23*u - 24*u + 17291 = 4*r. Is u a prime number?
True
Let u(z) = -2 - 26 - 707*z - 283*z. Suppose 0 = 5*i - 2*p + 27, 35*i - 15 = 32*i - 4*p. Is u(i) prime?
False
Suppose -5*q + 43281 = 4*o, -3*q + 8*q - 4*o - 43249 = 0. Is -1*(-7)/14*(q + 1) a prime number?
True
Suppose 0*g - 2*g - 3650 = 3*i, g = 4*i + 4863. Is 128/i + 1 + (-68328)/(-38) composite?
True
Suppose -9*n - 23 + 563 = 0. Let b = n + -56. Suppose b*q - 59 = 1265. Is q prime?
True
Let v(x) = 5915*x - 1536. Is v(19) a composite number?
False
Let f = -233 + 235. Suppose -77 = -f*u + 9. Is u prime?
True
Is (2116791/(-42))/(105/(-70))*7 a prime number?
True
Suppose 2*h - 19994 = -4*v, 2*h + 15*v - 14*v = 19982. Let a = -6826 + h. Is a a composite number?
False
Let s(i) be the third derivative of i**7/360 + i**6/80 + i**5/6 + 19*i**2. Let x(y) be the third derivative of s(y). Is x(8) a prime number?
False
Let x be (-7)/(12484/43708 + (-12)/42). Let a = -54020 + x. Is a composite?
False
Suppose -70443 + 458260 = 5*w + r, 3*w - 232679 = 5*r. Is w a composite number?
False
Suppose -3*b - 2 = -11, -3*v - 2*b - 72996 = 0. Is -2 - (-20)/16 - v/8 prime?
True
Suppose -3*r + 6240 = 1368. Suppose -2*j - r = -6*j. Let u = 1283 - j. Is u prime?
True
Let q = 116463 - 58154. Is q a prime number?
True
Let a(f) = 333*f**2 - f - 1. Suppose -3 = -2*g + 1. Let o be a(g). Suppose 13*v = 12*v + o. Is v a prime number?
False
Suppose 389689 = i - 4*d, 4*d + 1948557 = 6*i - i. Is i a composite number?
True
Suppose -12*f + 78 = -10*f. Let y be 96/10 + f/(-15) + 3. Is (4066 - 30)*(y/8 + -1) prime?
True
Let v(q) = -10*q**2 - 29 - 18*q - 2*q**2 + 11*q**2. Let i be v(-16). Suppose i*h - 1271 = -4*w + 3*w, -h = 2*w - 432. Is h composite?
True
Suppose -12*w = -6*w - 90782 - 85972. Is w a composite number?
True
Suppose -51*p - 659036 = -23*p. Let h = p + 33978. Is h composite?
True
Suppose 0*p + p - 4512 = 0. Suppose -6*b - p = 9840. Is (2/1)/((-16)/b) a prime number?
False
Suppose 6*f - 4505 = 11*f. Let j = f + 4921. Suppose -4*w = -4*g - j, -4*w + 3007 = -w + g. Is w composite?
True
Let b = -3196 - -4695. Is b composite?
False
Let b(d) = 146*d**3 + d**2 + 2*d - 1. Let n be b(1). Let h(o) = 269*o - 131*o - n*o - 2. Is h(-6) a composite number?
True
Suppose x - 99363 = -z + 42932, x + 4*z - 142289 = 0. Is x a prime number?
True
Suppose -17*g + 26 = -16*g. Suppose -g*j = -15*j - 8899. Is j a composite number?
False
Let i(b) = 53*b**2 - b. Let a be i(-1). Let u be 83 + (6/(-45) - 116/30). Let z = a + u. Is z a prime number?
False
Let y = -3 - -3. Suppose -u + 46 = -y*u. Suppose -221 = -x + u. Is x composite?
True
Let z(u) be the third derivative of -u**5/3 + u**4/24 + 2*u**3 + 19*u**2. Let n be z(4). Let l = 2063 + n. Is l composite?
False
Suppose -1790685 = -27*s + 12*s - 30*s. Is s a composite number?
True
Let c = -18015 + 57973. Is c a prime number?
False
Suppose 14*m - 5*m = m + 1769416. Is m a composite number?
True
Is (-3054 + -7)*((-11)/(-22))/(2/(-20)) prime?
False
Is 15*14/350 + (-249934)/(-10) a prime number?
False
Suppose -67*g = -72*g - 70. Let q(f) = 5*f**2 + 20*f + 6. Let k be q(g). Let b = 145 + k. Is b a prime number?
False
Let k(j) = -j**2 - 9*j + 12. Let x be k(-10). Suppose -x*i = -10*i - 40. Let b(v) = -52*v - 7. Is b(i) composite?
True
Let x be -1*(-7 - (-3 + 0)). Let y(l) = l**2 + 2*l - 2. Let q be y(2). Suppose x*v - d - 478 = 0, -4*d = -d + q. Is v a prime number?
False
Let p(f) = -54*f + 165. Let n be p(3). Suppose -38950 = -0*r - r + n*g, 5*g = 4*r - 155807. Is r prime?
True
Let x be ((-18)/15)/((9/100)/(-3)). Let g = 71 - x. Is g prime?
True
Suppose 98*s - 4321602 = 177*s - 97*s. Is s prime?
True
Let g be -2 - 0 - (3 + -2)*-2. Suppose -2*o - 4 = g, 2*o - 4963 = -3*l + 2284. Is l a prime number?
True
Is (1662/15)/((-434)/(-261485)) a prime number?
False
Let s(w) = -2*w - 9. Let x be s(-6). Let q(z) = z**2 + z + 1. Let g(d) = 4*d**2 + 3*d - 268. Let i(n) = x*q(n) - g(n). Is i(0) composite?
False
Let c be 23/(-23)*(-3 - 14789). Suppose 4*b - 2*q = 2*b + c, -14795 = -2*b + 3*q. Is b a composite number?
False
Suppose 10*b + 727 = 137. Let q = b + 59. Suppose q*p + 3201 = 3*p. Is p composite?
True
Let g = 2433 + 1556. Is g composite?
False
Suppose 0 = -6*w - 52756 - 1322. Let l = 13560 + w. Is l a prime number?
True
Suppose 69*h + 1425933 = 92*h - 3627420. Is h composite?
True
Let g be 40857/((9/2)/3). Let h = -3683 - -7601. Suppose -4*f + g + h = 0. Is f a composite number?
False
Let o(l) = 3*l - 12*l**2 - 8*l**3 + 7*l**3 + 10*l**2. Let k be o(-3). Suppose k = -5*r - 1070 + 3975. Is r a composite number?
True
Let w(y) = 42*y**2 - y + 89977. Is w(0) a composite number?
False
Let b be 6/(-10) - (-14)/(-70)*-50753. Suppose f - 1083 = b. Is f a composite number?
True
Let g be (-64)/64 + -1 + -1 + 1598. Let h = -926 + g. Is h a prime number?
False
Is ((-9931614)/(-40) - (-2)/5) + 7/28 a composite number?
False
Is 3/(-12) - 450175/(-44) a composite number?
True
Let l = -51 + 35. Let q be (5/10)/((-4)/l). Suppose 4*t + 1954 = 4*b + q*t, -b + 502 = -5*t. Is b prime?
True
Let r(p) = 80 - p**2 + 28 + 7*p + 5*p**2 - 11. Is r(56) a composite number?
False
Let x be (-12 - -10)*3 - 1. Let w(i) = -9 + 38*i**2 - 9 + 5*i - 10*i**2. Is w(x) a prime number?
True
Let z = 7429 + -4229. Let c = 6799 - z. Suppose -c = -6*u - 1085. Is u prime?
True
Let c(z) = 9*z - 209. Let u be c(23). Is (-1)/u*(14865 - -1) a prime number?
True
Let d(l) be the first derivative of l**4/4 + 20*l**3/3 + 9*l**2 - 14*l - 28. Let z be d(-19). Is 526*(-2 - z/(-2)) a composite number?
False
Let l(u) = -8*u**3 - 2*u**2 + 5. Let h be l(-3). Let p = h + 20. Is p a prime number?
True
Is ((-13983720)/(-25))/8 + (-2)/(-5) a prime number?
False
Suppose 8*d + 235 = -493. Let g = -84 - d. Suppose -g*f + 1455 = -4*f. Is f a composite number?
True
Let o = 553 + -344. Suppose -214*c = -o*c - 4195. Is c a composite number?
False
Let u = -7 - -44. Suppose -3*j - 7 = -u. Is 5/j + (-802)/(-4) a composite number?
True
Let b(o) = -227*o**2 - 8*o - 19. Let m be b(-4). Let c = 6340 + m. Is c a composite number?
True
Let m(g) = 36*g**2 + 68*g**2 - 5*g + 6 - 12 + g. Is m(4) a prime number?
False
Let n(d) = -d**3 + 20*d**2 - 31*d + 29. Let m(c) = -c**3 + 10*c**2 - 16*c + 14. Suppose 4*u = 8 + 4. Let s(h) = u*n(h) - 5*m(h). Is s(10) a prime number?
True
Suppose -3*k = 5*k + 160. Let w(u) = u**3 + 23*u**2 + 19*u - 33. Is w(k) prime?
True
Let a be 1135 + (3 + -7 - -5). Let y = 487 + a. Is y composite?
True
Suppose -552 = -4*d + 5020. Let u(m) = m**3 - 17*m**2 - 21*m + 59. Let r be u(18). Suppose -2*