2 - -56625. Is j a prime number?
True
Suppose 54*r = 44*r + 233990. Is r prime?
True
Let w(v) = -354*v**2 + 2*v + 2. Let t be w(2). Let o(n) = -150*n**2 + 3*n - 1. Let k be o(2). Let f = k - t. Is f composite?
True
Suppose 80*b - 82*b = -79858. Is b prime?
True
Let l = 22607 - -7419. Is l composite?
True
Let b(v) = -3*v**2 - 27*v + 35. Let l be b(19). Let u = -774 - l. Is u composite?
False
Let y(d) = -2270*d - 8639. Is y(-57) prime?
False
Suppose 8*t - 279609 = -29265. Suppose -4*b = -2*l - 31258, 0 = -b + 5*b + 5*l - t. Is b a prime number?
True
Let i be 4*(-9 + 3) + -2. Let q = -82 - i. Let t = -34 - q. Is t prime?
False
Let g(b) = 2740*b - 625. Is g(29) a prime number?
False
Let y(m) = 141 + 142 + 145 - 444 + 44*m**2 - 5*m. Is y(-9) prime?
True
Let c = -244 - 14. Let u = 889 + c. Is u composite?
False
Is (6*9471 - -11)*1 a composite number?
True
Let l = 73 - 73. Suppose -3*i - 6*b + 9*b + 36573 = l, 3*i - 36549 = -3*b. Is i prime?
False
Suppose 0 = f - 1, 3*f + 263558 = 3*y - 134062. Is y a prime number?
True
Let p(i) = 18*i**2 - 18*i + 211. Let x(r) = -9*r - 27. Let h be x(-4). Is p(h) composite?
True
Suppose 868 + 10902 = 5*x. Let v = x - 1594. Let f = -267 + v. Is f a prime number?
False
Let l be 8/(6 + -2 + -2). Suppose -2*a + 5910 = l*h - 0*h, a - 2920 = 5*h. Suppose -4*z + a = -2363. Is z a prime number?
True
Let z = -178 + 184. Suppose 3*d - 11 = -d + k, k = -4*d + 13. Suppose -z*y = -d*y - 3633. Is y a composite number?
True
Let w = 39459 + -21938. Is w a composite number?
True
Suppose 4*w - j - 5257441 = 0, -w + 710*j = 705*j - 1314384. Is w composite?
False
Let c(r) = r - 27. Let v(u) = u. Let z(l) = c(l) - 3*v(l). Let n be z(-12). Is (-3)/((-18)/741)*(n - -5) a composite number?
True
Let c be (6/(-21))/(15/(-315)). Let p(o) be the second derivative of 15*o**3/2 + 23*o**2/2 + o. Is p(c) prime?
True
Suppose -243*f + 238*f - o = -178350, -o - 5 = 0. Is f prime?
True
Let j = -14 - -19. Let k(b) = -2*b**2 + 4 + 5*b + 53*b**3 + 18*b**3 - j - 4. Is k(2) a composite number?
True
Let z be (-3)/3 + (-54)/((-36)/(-4)). Let t(a) be the third derivative of -23*a**4/6 - 3*a**3/2 - 5*a**2. Is t(z) a composite number?
True
Let b = -11474 - -22979. Suppose -h + b = -5*r + 66013, -3*h = -2*r + 21811. Is r prime?
False
Let t(d) = d**3 - 5*d**2 + 5*d. Let u be t(3). Is 3 - (153592/(-48) - u/(-18)) prime?
True
Let g = 403 - 403. Let a(f) = -f**3 - f**2 + 42491. Is a(g) prime?
True
Let x = 12 + -12. Suppose x = 5*t - 25, 3*g + t - 7205 = 3*t. Suppose d + g = 6*d. Is d prime?
False
Suppose -223212 = -4*h - 2*h. Suppose -28*m + 3*t - h = -33*m, m + 4*t = 7437. Is m prime?
False
Let d = 160 - 180. Let o(b) = 17*b**2 + 38*b + 27. Is o(d) composite?
False
Suppose 0 = 441*b - 457*b + 1116944. Is b prime?
True
Is -23 + 18 + -10 - -30274 composite?
False
Is (-1753165)/(-75)*3 - (-4)/10 a composite number?
True
Let m(c) be the first derivative of -c**4/4 - 5*c**3/3 - 17*c**2/2 - 9*c - 49. Is m(-8) a composite number?
True
Let d = 11049 + -11068. Suppose -5*c = -h - 21, 0*c = 5*h + 3*c + 77. Is (-716)/(-2) - (h - d) composite?
True
Let l be ((-165)/(-4))/5*104. Let z(w) = -2*w**2 - 88*w - 215. Let r be z(-36). Let d = l - r. Is d composite?
True
Suppose -o + 88839 = 8*o. Suppose 2*k - n = 14, k = 2*n - n + 9. Suppose -5*i + o = 3*d, -k*d = -0*i + 2*i - 3956. Is i prime?
True
Suppose -2 = f - d - d, -3*d = -9. Is (f/10)/(4/73490) prime?
True
Let q(b) = 777*b**2 - 401*b + 79. Is q(10) prime?
False
Let z be (((-40)/12)/5)/((-3)/54). Suppose z*s + 3270 = 7*s. Let g = -211 - s. Is g composite?
False
Let g(h) = -13237*h**3 + 2*h**2 + 11*h + 17. Is g(-2) composite?
False
Let w = 397276 - 23637. Is w a prime number?
False
Let v(i) = -1001*i - 324. Is v(-25) a prime number?
False
Let z(d) = -5236*d - 5495. Is z(-67) a composite number?
True
Suppose -451493 = -29*i + 215072. Is i composite?
True
Suppose 0 = -5*z + 3*z + 3*y - 9038, 0 = 5*y - 20. Let j = 8229 + z. Let h = -1963 + j. Is h prime?
True
Let x = 157256 + -6969. Is x a composite number?
False
Let f(y) = y**2 + 5*y + 1. Let c be f(-7). Suppose 15*k + c = 18*k, 2*k - 11101 = -3*z. Is z composite?
False
Suppose 5*w - 5*v - 35 = 0, -2*w = -3*w + 4*v + 19. Suppose b + k - 173 = 0, k = 4*b + w*k - 700. Is 1/2*(b - (-1 + 0)) a prime number?
True
Suppose 1874*v + 12969670 = 1944*v. Is v composite?
True
Let h = -9 - -7. Let z be (-2*h/(-8))/(1/(-3270)). Suppose -z = -8*f + 837. Is f prime?
False
Suppose 0 = 3*x + 4*t - 2813211, -1841786 = 3*x - 4*t - 4655021. Is x prime?
False
Suppose 192490 = 12*y - 68066. Is y a prime number?
True
Suppose 2*u = -45 + 12207. Let z = u + -342. Is z composite?
True
Suppose 78402 + 82257 = -9*h. Is (-8)/(1 + 3) - (-6 + h) a composite number?
True
Suppose -n = n + 3*w + 18, 5*w - 34 = 2*n. Let x be (-1 - (-105)/9)/((-8)/n). Let m = 21 + x. Is m a composite number?
False
Is 33912 + (-11 - (-5 + -17)) prime?
True
Suppose 0 = 4*q - 3*x - 18239, -22 = -x - 23. Is q composite?
True
Let s be (-105015)/25*-5 - -2. Suppose -17*l + 12*l + s = 0. Is l prime?
True
Let s be (-88)/12*3/2 + -2. Let q = 11 + s. Let i = q - -269. Is i a composite number?
True
Let p = 56 - 125. Let j = p - -71. Suppose 0 = -6*z + j*z + 3076. Is z prime?
True
Suppose 0*b + 24*b = 0. Suppose b = 4*o + f - 6173, 0*o = 5*o + f - 7716. Is o composite?
False
Let r = -37725 + 93168. Is r prime?
False
Let k(j) = -2*j**3 - 31*j**2 - 45*j + 211. Is k(-31) a composite number?
False
Let z = 62814 - -53375. Is z a prime number?
True
Suppose -5*q + 4*i = -15, -5 - 1 = -2*q - 2*i. Suppose -25417 = -4*a - q*a. Is a a composite number?
False
Suppose 5*x = -3*g + 37, -3*g + 2*x = x - 7. Suppose 4*m - 128 = g*o, 11*o = m + 8*o - 22. Is m a composite number?
False
Let q = 50 - 71. Let d be (-1)/7 + (-2271)/q. Is (1/(-2))/((-18)/d) a prime number?
True
Is -36847*(-5)/(49 + -4)*9 composite?
False
Let k = 4988 + -3383. Suppose 107*d = 110*d - k. Is d prime?
False
Let r(x) = -74*x**3 - 9*x**2 - 20*x - 97. Is r(-12) prime?
True
Suppose 4*u - 2267747 = 3*f - 6*f, 0 = -u + 4*f + 566951. Is u composite?
False
Suppose 7195*h - 7177*h = 288270. Is h composite?
True
Let d(g) = 70*g**3 - 2*g**2 + 2*g + 17. Let a be d(8). Let c = 54760 - a. Is c composite?
True
Let h(g) = 32103*g**3 - 23*g**2 + 88*g - 19. Is h(3) prime?
True
Let y(c) = 1300*c + 399. Is y(49) composite?
True
Let c be 3 + 20/(-5) + 2. Let d be (134 - 5) + 1/c. Suppose 0*v + d = 5*v. Is v composite?
True
Let l(t) = 2*t**2 + 21*t - 32. Let z be l(-12). Suppose -z*o + 7236 = -1376. Is o prime?
True
Let f(y) = -30453*y - 104. Is f(-7) a prime number?
True
Suppose 0 = k - 2*z - 112911, -5*k - 2*z - 2*z = -564541. Is k a prime number?
True
Suppose 0 = -70*z + 69*z + 954. Suppose -z*u = -955*u + 4553. Is u a composite number?
True
Let x = -6485 - -95256. Is x composite?
False
Let b(a) = -a**3 + 8*a**2 + 6*a + 22. Let c be b(9). Is 2144 - c/1 - (0 + -4) a prime number?
True
Let t be 1 - (1*-52 - 1). Let f = t - 49. Suppose -141 = -f*u + 44. Is u composite?
False
Suppose -37*u = -19*u + 33066. Let j(v) = 2875*v**2 + 1. Let z be j(-1). Let x = z + u. Is x composite?
False
Suppose 0 = -2*q - 6, -6*q = -5*n - q + 145. Suppose -n*o + 822305 = 29*o. Is o prime?
True
Suppose 6*z = 188 - 194. Is (-6)/(-5) - (z + 128194/(-55)) prime?
True
Let o(j) be the second derivative of -91*j**5/10 - j**4/12 - j**3/2 - 3*j**2/2 + 5*j - 3. Let d = -2 - -1. Is o(d) a prime number?
True
Let u be (-153)/34*(-22)/3. Let b = -34 + u. Is ((-1233)/12)/(b/4) a composite number?
True
Suppose -247*d - 2154773 = -290*d. Is d composite?
False
Let b(z) = -2*z + 22. Let d be b(9). Suppose -d*l = 8*l - 165588. Is l composite?
False
Suppose -1088*r + 4*j = -1083*r - 8304977, 4*r + j - 6644011 = 0. Is r a prime number?
False
Suppose 2*i = -4, -i + 0*i = -4*b - 6. Let c(t) = -33*t - 4. Let h(v) = -32*v - 4. Let o(z) = b*h(z) + 3*c(z). Is o(-15) a composite number?
False
Let r = -15225 - -21347. Is r a composite number?
True
Let t = -1722 - -4715. Let l = 5200 - t. Is l composite?
False
Let l = 771047 - 333220. Is l prime?
False
Suppose t = 10*j - 6*j + 6068, 2*j + 4*t = -3016. Let g = j - -9399. Is g a composite number?
False
Suppose -5*l - 3*s = -414471, -9*s = 2*l - 4*s - 165796. Is l composite?
True
Let a(h) = -h**3 - 68*h**2 + 