*o + 5*p - 463870. Is o composite?
True
Suppose 11*l = -l - 12. Is (2582/(-2))/((-5 - -6)/l) prime?
True
Suppose -176 = -40*f - 16. Suppose 5277 = 3*k + 5*y, 2*k = 6*y - f*y + 3518. Is k prime?
True
Let q(d) = -3*d**3 - 3*d**2 - 5*d - 57. Let p be q(-5). Is 2813/4 + (-67)/p a composite number?
True
Suppose 245263031 + 229783694 = 425*h. Is h a prime number?
True
Suppose -5*z = 138 + 262. Let w(y) = y**3 - 7*y**2 + 3*y + 25. Let l be w(4). Is z/(-2) - (l - -14) prime?
True
Suppose 6*c - 76137 = -q, -36*c + 380499 = 5*q - 37*c. Is q composite?
True
Let f(m) = 492*m**3 - 41*m**2 + 3*m + 1. Let i be f(-1). Suppose 0 = -3*r + 15, 4449 = 3*s + 3*r - 0*r. Let u = s + i. Is u composite?
True
Suppose -2*v - 10 = 0, -147*v + 143*v + 552936 = 4*b. Is b prime?
True
Suppose -4*m + 0*m = 16, 5*m - 5 = -f. Suppose 5*p - 3*a - 44 = 0, -4*p - 4*a + 3*a = -f. Let u(w) = 4*w**2 - 11*w + 26. Is u(p) a prime number?
False
Suppose -g + 12 = n - 0*n, -4*n = -16. Let x(a) = a**3 + 5*a**2 + 2*a - 4. Let t be x(-4). Suppose g*m - 3452 = t*m. Is m a prime number?
True
Suppose -2*u = -5*i - 171997, 2*i - 34685 - 51327 = -u. Is u composite?
True
Suppose -3*m + 4 = -4*d, -d = 2*m + 2 - 12. Let y be (d - 3)*(-6 + 1). Suppose 343 = j + 4*f, -4*f = -7*j + y*j + 650. Is j composite?
False
Suppose -4*s - 4*b - 22100 = 0, 6*s - s + 3*b + 27625 = 0. Let o = s + 8493. Is o/(-80)*-6 - 2/(-5) composite?
False
Suppose 19*w + 15*w = 102. Is (-4358)/w*(-54)/12 composite?
True
Let d = 232028 - 106165. Is d a prime number?
True
Suppose -148*t + 2 = -146*t, t + 248734 = 5*h. Is h composite?
False
Suppose -135*p = -844*p - 743120787 + 2037937000. Is p a prime number?
True
Is ((-4758882)/8)/(-9 + (-297)/(-36)) prime?
False
Suppose 0 = 3*s + x - 2013, -2*s + 73*x + 1502 = 47*x. Is s a prime number?
True
Is (5 - -3486)/(25/275) composite?
True
Let a = 318 + 111. Suppose -a = -l + 5*p + 4695, l = -p + 5130. Is l a composite number?
True
Let z(k) = -k**2 + 5*k + 16. Let c be z(6). Suppose 2*j = -6, -9*a + 9420 = -c*a + 5*j. Is 44/12 - 3 - a/9 prime?
True
Suppose 138920 = 108*o - 85*o. Suppose 3*d - o = 5*c, 2*d + 4*c + 2025 = 3*d. Is d prime?
False
Is 117/156*(4 + (-645872)/(-6)) a composite number?
False
Suppose 9*m - 26 - 28 = 0. Suppose -3 = -m*z + 2871. Let c = -217 + z. Is c a prime number?
False
Let q = 264 + -242. Let r(v) = 5*v**2 - 5*v + 7. Is r(q) prime?
False
Let j be ((-1698)/10 - -2)/((-3)/15). Suppose -j = -2*i - 5*c, -c + 256 = 5*i - 1784. Is i composite?
True
Suppose p + p - 18 = 2*f, -2*f - 5*p + 17 = 0. Let w be 2/7 + 10/14 - f. Is (-2)/((-2)/2857) + -1 + w a prime number?
True
Suppose -12*b + 752610 = 30*b - 12*b. Is b prime?
True
Suppose -2*h = 3*k - 21, 0 = 4*h - 7*h + k + 4. Suppose -9*l + y + 39506 = -4*l, -h*l - 2*y = -23701. Is l composite?
False
Suppose v = -5, 3*v = p - 20 - 5. Suppose 0 = p*t - 9*t - 6245. Is t prime?
False
Suppose 10*p - 7*p = 18. Let n = -3 + p. Suppose 0*u + 3*u = -3*d + 480, 2*d = n*u - 485. Is u composite?
True
Suppose -450*m + 8784136 = 453*m - 895*m. Is m prime?
True
Suppose 0 = -3003*x + 2998*x + 570785. Is x prime?
True
Let d(n) = -600*n - 31. Suppose 2*h + 15 = 5*g, 13 = 5*h - 2*g + 40. Let t be d(h). Suppose 5*c - 2276 = t. Is c a composite number?
False
Suppose 519*p - 521*p = -12. Is (0 + 1577)*1 + p a prime number?
True
Suppose 3*c - 26 = 4*o, c + 3*o - 4*o = 8. Suppose -31738 = -2*y - 5*b, -c*y + 3*y + 3*b = -47565. Is y a prime number?
True
Suppose -3*r - 143 = 14*o - 9*o, 5*r + 193 = 3*o. Is ((21790/(-4))/(-5))/(r/(-82)) composite?
False
Let w(i) = i**2 + 3*i + 9. Let u(c) = 3*c**2 + 8*c + 26. Let f(h) = 3*u(h) - 8*w(h). Let x be f(3). Is (-5)/x*-9 - -120 a prime number?
False
Is (2/3)/((-74)/(-428793)) a prime number?
True
Suppose u = 5*n - 2*u + 12, 3*n - 16 = -4*u. Suppose 18*w - 12*w + 276 = n. Let q = 441 - w. Is q prime?
True
Let s(o) = -2402*o**3 - 31*o**2 - 159*o - 17. Is s(-5) prime?
False
Is (-801947)/(-10)*(25 + 175)/20 a prime number?
True
Is -6 - (-10)/((-20)/(-572758)) a prime number?
False
Suppose 2*v - 58 = 170. Let i = v + -113. Is 16110/6*4/5 - i a prime number?
False
Suppose 4*c - 5*x = 19264, c = 2*x - x + 4815. Let z = -1854 + c. Is z a composite number?
False
Suppose 5*t = 3*t. Let j = 7 - t. Suppose -2*m = j*m - 9441. Is m prime?
True
Let l = -111 - -118. Suppose k - 4*n - 681 = 0, -3*k + 2027 = -11*n + l*n. Is k a composite number?
False
Let g be 1/7 + 14265/105. Let w = -559 - g. Let c = w + 1534. Is c prime?
True
Suppose -m - 1497 + 476 = 0. Let b = -4348 - -2036. Let q = m - b. Is q a prime number?
True
Let j(y) = -2*y**3 - 8*y**2 - 7*y - 11. Let u be j(-4). Let q(i) = i**3 - i**2 + 23*i + 24. Is q(u) composite?
False
Let d = 121 + 864. Suppose -5*s + 16*q = 14*q - 2467, q = -2*s + d. Is s prime?
False
Suppose -56*v + 52*v + 228676 = 0. Is v prime?
False
Suppose -5*x = -38*b + 43*b + 37795, 4*x = b + 7534. Is -4*15/(-40)*b/(-9) a prime number?
True
Suppose -6633 = 2*c - 5*q - 40197, -q = -5*c + 83933. Is c a composite number?
False
Let h(b) = 13*b**3 + 20*b**2 + 133*b - 19. Is h(14) prime?
False
Suppose 184 = 7*h + 184. Suppose h = 2*l - 26764 - 7566. Is l composite?
True
Let o(s) = 625*s**2 - 9*s - 17. Is o(-5) composite?
True
Is (-5)/45*-765*(-10594)/(-10) a composite number?
True
Let n be -3 + 12/3 + (-36)/12. Is (7 - -6773) + (n - -2) + -1 a prime number?
True
Suppose 148*w - 19301577 = 79*w. Is w a composite number?
True
Let i(u) be the first derivative of u**3 + 13*u**2 - 9*u + 10. Let m be i(-9). Suppose m = t - 4, 5*l - 2*t - 3506 = 1131. Is l prime?
True
Let o be (2 + -17)*8/(-12). Let g be 3484/(-20) + 2/o. Let j = g - -361. Is j composite?
True
Let a(g) = -38*g + 31. Let b(r) = r**3 - 17*r**2 - 18*r + 10. Let n be b(18). Let k be a(n). Let j = 742 + k. Is j prime?
False
Let u = -143 + 146. Suppose 4*f + 20 = 0, 2*f - 3*f + 10 = -5*m. Is u*1/m*-673 a prime number?
True
Let v(j) = 2694*j**2 - 153*j - 462. Is v(-3) a composite number?
True
Let v = -837 - -840. Suppose -17*r = -3*f - 18*r + 103429, v*f + 4*r = 103423. Is f composite?
True
Suppose -5*f = -2*f + 297. Let j = f + 145. Suppose j*i + 884 = 50*i. Is i prime?
False
Suppose 6*p = 360 - 24. Let m = p + -52. Suppose m*a - 5*o + 258 - 896 = 0, 3*a - 479 = 4*o. Is a a prime number?
True
Suppose 0 = -5*t - 1135 + 1285. Suppose -t*z + 551350 = 20*z. Is z prime?
True
Let l = 52 - 92. Let a = -45 - l. Is ((-5)/(a/11))/1 a prime number?
True
Suppose 5*r - 217 = 353. Let f = 190 - r. Suppose -f*a = -79*a + 2199. Is a composite?
False
Let o = 253831 - 29258. Is o prime?
False
Suppose -4*o + 234723 = 40*t - 35*t, 4*t = -2*o + 117366. Is o a prime number?
False
Suppose 0 = -73*f + 67*f + 654. Let a(b) = 359*b**2 + 1. Let l be a(1). Let g = l - f. Is g a prime number?
True
Suppose 0 = 18*d - 14*d + 8. Let z(b) = -591*b**3 + 2*b**2 + 2*b + 1. Let g be z(d). Suppose -2047 = 2*a + 5*h - 11501, -a - h + g = 0. Is a a composite number?
True
Is ((-74)/(-4) + -94 + 102)*(2961 - -1) a prime number?
False
Suppose 4*u - 3*b - 1399736 = 0, 2*u = -4*b + 535599 + 164291. Is u composite?
True
Let f = -16 + 11. Let w(v) = 230*v + 1. Let a(c) = -459*c - 1. Let x(q) = 3*a(q) + 5*w(q). Is x(f) a prime number?
False
Let u(b) = -7*b + 96. Let c be u(12). Suppose 0 = c*d + 16*d - 199388. Is d prime?
True
Is 1/7*(207 - -683336) prime?
True
Let i(c) = 13631*c + 265. Is i(2) a prime number?
True
Suppose -5*h = -w + 57, 0*w - 5*h - 288 = -4*w. Let t = w + 180. Is t prime?
True
Let q(m) = -9*m + 6 - 95*m - 4. Let n be q(-1). Let f = 267 + n. Is f a prime number?
True
Let b(i) = -i**2 + i + 1. Let a(l) = -l**3 + 19*l**2 + 19*l + 22. Let j be a(20). Let z(x) = -25*x**2 + 7*x + 15. Let s(h) = j*b(h) - z(h). Is s(-5) composite?
False
Suppose -15*h + 19*h = 14428. Is (h/3)/(21/63) a composite number?
False
Is 6/32*8*(-332632)/(-12) a composite number?
False
Let d = -1066 + 1718. Let n = d - 333. Let m = n - 162. Is m composite?
False
Let p = 3 + -10. Let d(s) = -85*s - 23. Let m be d(p). Suppose m = 6*j - 2*j. Is j a composite number?
True
Let s(x) = x**3 - 6*x**2 - 2*x + 10. Suppose 0 = b - 3, r = -0*b + 2*b. Let f be s(r). Let o(j) = 31*j**2 + 4*j + 3. Is o(f) prime?
False
Suppose -172422 = -9*g + 78588. Suppose -5*z + g = 5*z. Is z a composite number?
False
Suppose 0 = 10*m - 7