rime number?
False
Suppose 0 = -9*y - 7*y + 183760. Is y prime?
False
Let q = 6 + 0. Suppose 2*j - q*j = -16. Suppose 0 = j*t - 69 - 439. Is t prime?
True
Suppose -15 + 0 = 5*b. Is (-2 - (-2 - b)) + 26 a prime number?
True
Suppose 27818 = 3*n + 2*g - 72167, 0 = -3*n - 5*g + 99982. Is n a prime number?
True
Suppose -4 = 3*s - 1. Let l(k) = -17*k**2 - 1. Let u be l(s). Let q = -8 - u. Is q composite?
True
Let m be (-27)/(-108) - (-1 + 7231/(-4)). Is m + -9 - (-1)/(1 + 0) composite?
False
Suppose -4*x - 8795 = -9*x. Is x composite?
False
Let c = -25 - -23. Let d(i) be the first derivative of 16*i**3/3 - 2*i - 1. Is d(c) prime?
False
Let b = 334 - 939. Let x be b - -2*2/4. Is (-1)/(4/x) - 2 a composite number?
False
Suppose 5*u - 4*u = 4*l - 13512, 5*u = -20. Is l a prime number?
False
Let x be 6/4*(3 + -1). Suppose -x*g - 2*g + 1595 = 0. Is g prime?
False
Suppose 0 = 3*i + 325 + 1913. Let y = i - -1083. Is y prime?
True
Let k(l) be the second derivative of 5*l**4/4 - l**3 - 10*l**2 - 24*l. Is k(7) a prime number?
True
Let i = -406 - -600. Let q = i + -60. Is q a composite number?
True
Suppose -71*j - k = -76*j + 32249, 5*k = -3*j + 19327. Is j a prime number?
True
Let n = 469 - -186. Let y = n - 418. Suppose 5*r - 548 = y. Is r a composite number?
False
Let u = 251 - -726. Is u a composite number?
False
Let x = 26 + -16. Suppose 7*l - 2*v + x = 3*l, 0 = l - 3*v - 5. Is (-382)/(l*1/2) prime?
True
Suppose -10*z - 204 = -13*z. Suppose -z - 699 = -w. Is w a composite number?
True
Let x = -17471 - -55206. Is x prime?
False
Suppose -o = 3*f - 26308, -7*f + 5*f + 78889 = 3*o. Is o composite?
False
Is 1736/(-126) + 14 + 682574/18 composite?
True
Is 1 + 0/2 - 61512/(-44) composite?
False
Suppose -5*w = -1638 + 4868. Let q = 415 - w. Is q a prime number?
True
Let l = -8624 - -14450. Suppose 5*o + 4*z - 7015 = 0, -5*o - 3*z + l = -1184. Is o composite?
False
Let d(l) = -78*l**3 + l**2 - 2*l - 2. Suppose -11 = 2*j - j. Let k = 10 + j. Is d(k) a prime number?
True
Let a(i) = -15*i - 2 - 6*i**3 + 12*i + 2*i. Let q be a(2). Is q/(-5) + 2/(-5) prime?
False
Let y = -7 + -1. Is (-682)/y - (-36)/48 composite?
True
Let u(o) be the second derivative of -o**5/20 + o**4/12 + o**3 + o**2 - 2*o. Suppose -3*t = 4*t + 28. Is u(t) prime?
False
Is (-2 - 25471/(-7))/(8/56) a composite number?
False
Let s be 4606/10 + (-2)/(-5). Let f(h) = 5*h - 56. Let u be f(-8). Let d = s - u. Is d composite?
False
Let y(w) = 17*w**3 + 40*w**2 - 7*w - 29. Is y(14) prime?
True
Let c = -4 + 12. Suppose -2*a - 3*a = -5*y + 1725, -2*a = -6. Suppose -c*b = -4*b - y. Is b composite?
True
Suppose -3*y - 790 = 2*l, 2*y = 3*l + 1121 + 77. Let j(a) = 5*a**3 + 8*a**2 + 3*a + 5. Let r be j(-6). Let g = l - r. Is g a composite number?
True
Let f = 194 - -256. Let w = f + 181. Is w a composite number?
False
Let a(w) = -w**2 - 7*w. Let h be a(-6). Suppose h*b - 3*b = 102. Is b + (-1 - (-3 + 1)) a prime number?
False
Let j(a) = -a**2 - 180*a + 80. Is j(-39) a prime number?
False
Suppose 6*x + 6 = 5*x. Is ((-393)/x)/(3/6) prime?
True
Suppose -5706 = -3*k - r, -2*k - 2*k + 7589 = -5*r. Is k a composite number?
False
Suppose -c + 2*r = 6*r + 8, 2*c - 8 = 4*r. Let h = 5 + c. Suppose 20 = -4*g, 495 = 4*t - 2*t - h*g. Is t a composite number?
True
Let y(w) = -473*w + 2. Let v be y(-2). Suppose 4*z - 7*z - v = 0. Let r = 199 - z. Is r a composite number?
True
Let b(l) be the second derivative of -499*l**3/3 - 9*l**2/2 - 11*l. Is b(-2) composite?
False
Let c(s) = -83*s + 1. Suppose 5*w + 14 = -4*d, -5*d = 3*w + w + 4. Is c(w) composite?
False
Let y be (-2)/(1 - 130/134). Is (-20)/(-6)*9/(-6)*y a composite number?
True
Let x = 31 + -54. Let w be 1*(-4 - -1) + x. Is ((-316)/6)/(w/39) a prime number?
True
Let n be (-20)/10*3/(-2). Suppose -2*t = -n*l + l + 252, -l + 123 = 2*t. Let o = -72 + l. Is o prime?
True
Let z be ((-12)/(-10))/(21/(-70)). Let j be (5 + z)/(2/408). Suppose 0 = 4*w - j - 304. Is w a composite number?
False
Suppose 5*d = t + 18, -5*d - 5*t + 0*t = -30. Suppose 0 = 2*h - 5*h + 8595. Suppose -d*k = -k - h. Is k a prime number?
False
Let j = 249 - 77. Let n = -78 + j. Suppose 15 + 74 = z + 2*w, -z - 3*w + n = 0. Is z a prime number?
True
Let w(q) = -q - 4. Let h be w(-6). Suppose -h*o = -4*o + 446. Is o a composite number?
False
Let z(n) = 5*n**2 - 38*n + 58. Is z(-15) a composite number?
False
Suppose 2*l + 355693 - 79750 = p, 2*p = 3*l + 551884. Is p a prime number?
True
Is 4 + 2/((-16)/(-19256)) a composite number?
False
Suppose 6*c - 5 = c. Let f be c + 11/(11/3750). Suppose -563 = 4*r - f. Is r composite?
False
Suppose 0*l + 4*l = -140. Let d = -21 - l. Is d a composite number?
True
Suppose 0 = 12*t - 0*t - 264. Let h = t - -679. Is h composite?
False
Suppose 3*j - 2*k - 27927 = 0, -4*j + 0*j + 3*k + 37235 = 0. Is j composite?
False
Suppose 12*r = -0*r. Is -6*(-1580)/15 + -3 + r prime?
False
Suppose 5*j + 29 = 4*g, 5*g + 4 + 6 = -3*j. Let u(l) = 4*l + 8. Let n be u(j). Is (-16)/n - 490/(-6) composite?
False
Let i(p) = -17*p**2 - 10*p + 4. Let s(o) = 9*o**2 + 5*o - 2. Let r(n) = -4*i(n) - 7*s(n). Let w be r(3). Let b = -5 + w. Is b composite?
False
Let w = 12 - 8. Suppose 5*v = y + 3157, -v - y = w*v - 3153. Is v composite?
False
Suppose -9 = -2*x + 5. Let y(k) = 0*k**2 - 5*k**2 - 4*k + k**2 - 2 + k**3 - 2*k**2. Is y(x) a prime number?
True
Let t be (11 - 8) + -2 + 2. Suppose 2*c + 8579 = 3*z - 0*c, -t*c = -z + 2848. Is z a prime number?
False
Let x = -185 + 131. Let u be -3 - (1 + x + 3). Let a = u + 158. Is a a composite number?
True
Suppose -f = g - 329 - 380, 4*f = 4*g - 2820. Let q = g - 124. Is q prime?
False
Suppose 0 = -g - 0*g + 3. Let j(u) = -u**2 + 2*u + 6. Let r be j(g). Suppose 25 + 17 = r*w. Is w composite?
True
Suppose 0 = 2*s + x + 3*x - 560, -2*s - 5*x + 562 = 0. Let i = 537 + s. Is i a prime number?
False
Let h(d) = -201*d**3 - 32*d**2 + 9*d + 17. Is h(-4) a prime number?
False
Let l(p) = -1246*p - 19. Let b(n) = -n + 1. Let a(o) = 5*b(o) + l(o). Is a(-7) a composite number?
True
Suppose 3*t + 126 = -4*c, -2*c + 43 = -3*c + 5*t. Let p = -33 - c. Suppose -669 = -p*j - 3*j. Is j composite?
False
Let q = -46 - -164. Let i be (-16)/(-40) + q/5. Let d = i - -35. Is d a composite number?
False
Let s = 36 + -25. Let t(d) = d**3 - 12*d**2 + 15*d. Let b be t(s). Suppose 4*u - b = -0*u. Is u a prime number?
True
Let v = 118 + -41. Let m = v - 50. Suppose 5*a - 3*p - 172 = 0, -p - 112 = -4*a + m. Is a prime?
False
Let k = 19363 - 13614. Is k composite?
False
Suppose 25 = 4*m + 5*w, m - 2*w + 1 + 9 = 0. Suppose m*o = 3*o - 897. Is o composite?
True
Suppose 0 = -0*u + 2*u - 2374. Is u prime?
True
Is (10 + (-115)/10)/(3/(-6406)) a prime number?
True
Let t(c) = -5*c**3 + 1 - 7 + 8 + 2*c**2 - 1 + 2*c. Let v be t(-1). Is (-4)/v - (-779)/3 a composite number?
True
Suppose 13*v - 31*v = -40374. Is v prime?
True
Suppose -15857 = 4*n - 61261. Is n a prime number?
True
Let q be ((10/6)/5)/((-4)/(-40668)). Suppose q = -13*c + 14*c. Is c a prime number?
True
Let y(h) be the second derivative of -h**4/12 + 616*h**2 - 4*h. Let i be y(0). Is 1/(-1 - i/(-1228)) composite?
False
Let k be 33567/9 - (-6)/18. Suppose 2*z + k = 5*h + z, h = -2*z + 757. Let t = h - 410. Is t a prime number?
True
Let c(f) = -2*f**2 + 2*f - 69. Let z(s) = -s**2 + s. Let k(b) = -c(b) + 3*z(b). Let n be k(0). Let r = n - -18. Is r a composite number?
True
Let f(r) = r**2 - 11*r + 2. Let a be f(11). Let i(s) be the first derivative of 11*s**4/2 + 2*s**3/3 - s**2 - 2*s + 1. Is i(a) prime?
False
Suppose -4*v + 19 = -13. Suppose 4*y + 0*y = v. Let o(q) = 51*q**2 - 3*q + 1. Is o(y) a prime number?
True
Let r(b) = 85*b**3 + b**2 - 6*b + 9. Is r(2) a prime number?
False
Is 3970 - (-1)/(3/21) a composite number?
True
Let d(u) = -11945*u + 373. Is d(-2) composite?
True
Let y(t) = t + 9705. Let n be y(0). Suppose -4*o - n = -19*o. Is o composite?
False
Let a = -59 - -28. Is 4 - (1 + 0)*a prime?
False
Let p = -24 + 26. Suppose 0 = -p*g - 2*g. Suppose -4*q - u + 353 = -2*u, g = q - 4*u - 77. Is q a prime number?
True
Suppose 0 = y - 1 - 5. Let o be (0/3)/(4 - y). Suppose o*t = -5*t + 935. Is t a composite number?
True
Suppose -4*k - 42425 = -3*z, 4*z + 2*k - 28514 - 28060 = 0. Is z a prime number?
True
Let l = 15569 - 8418. Is l prime?
Tru