osite number?
True
Suppose -h - 3*l = -684 + 72, 3*h = 4*l + 1862. Suppose -h = -3*b - 45. Is b a composite number?
False
Let s(n) be the first derivative of 3*n**3 + 3*n**2 - 8*n + 3. Is s(-7) a prime number?
False
Let h(d) = 2*d**2 + 9*d + 1. Let v(o) = -7*o**2 + 3*o - 2. Let j be v(1). Is h(j) prime?
True
Let l = -1002 + 2545. Is l prime?
True
Let d(w) = 89*w**2 - 1. Let n be d(1). Let k be 0/(-2) - (4 - -3). Is n*2 + (-7)/k a composite number?
True
Is ((-5297)/1)/(29 - 30) a prime number?
True
Let i(r) = -r**3 - 4*r**2 + 4*r - 3. Let k be i(-5). Suppose -3*p - k*w + 793 = 0, -p + 3*p = -w + 530. Is p composite?
True
Suppose -6*n - 555 = -9*n. Let f be 0 - (-3 - n) - 0. Suppose w - 168 = -4*d, -2*w + f + 19 = 5*d. Is d a composite number?
False
Suppose 20317 = 12*p - 1799. Is p composite?
True
Let d(i) = i**3 + 21*i**2 - 55*i - 97. Is d(-22) a prime number?
False
Let o(j) = -j**3 + j**2 + j + 109. Let y = -3 - -4. Suppose 3*d - 12 = -4*v, -y = 5*d + 2*v - 7. Is o(d) composite?
False
Suppose 126 = -12*u + 738. Is u prime?
False
Suppose -4*u + 448 = -2484. Is u composite?
False
Suppose -7*d - 12 = -6*d. Is d/3 + (-642)/(-2) prime?
True
Suppose 0 = 42*s + 23*s - 39910. Is s a prime number?
False
Suppose -3*b = -2*b - 437. Is b a composite number?
True
Let l be (3406/52)/((-1)/(-3 + 1)). Let v = -117 - -195. Let d = l - v. Is d composite?
False
Let b(a) = 1145*a - 33. Is b(4) a prime number?
True
Suppose 14*y - 9*y - 9040 = 0. Suppose 5*v - 1697 = y. Is v a composite number?
False
Suppose -35*g = 28*g - 127071. Is g composite?
False
Suppose 3*l = 2*l. Suppose 0 = -5*q + 2*a + 1059, l*a = a + 2. Is q a prime number?
True
Is ((-12)/(-8) + 3 - 4)*29594 a prime number?
True
Let a be -1*3 + 5 + 78. Suppose -2*c = -a - 1018. Let p = c + -275. Is p a composite number?
True
Let b = -14371 + 31838. Is b a prime number?
True
Suppose 55*o + 5809 = 28854. Is o a prime number?
True
Suppose 624791 = 13*q - 1536. Is q prime?
True
Suppose 1317952 - 442770 = 22*l. Is l prime?
False
Suppose -5*i = p - 3700, -5*i - p + 2961 = -i. Is i composite?
False
Suppose i + 28*a - 25*a - 1501 = 0, 3*i = 3*a + 4527. Is i prime?
False
Suppose 4*f = -4*s - 4, -5*f - 6*s + 2*s = 2. Suppose -f*n = 3*n - 385. Is n composite?
True
Let b = 78 + -56. Is 4/b + 70251/33 a composite number?
False
Let c = 50 + -49. Is 2638*c*(-2)/(-4) a prime number?
True
Let d(l) = 121*l**3 - l**2 + 2*l - 1. Let n(o) = -o - 7. Let m be n(-9). Suppose 5*i - 3 = m*i. Is d(i) composite?
True
Let q(a) = -48*a + 10. Suppose -2*r + 0*r + 2 = 0. Let j = r + -7. Is q(j) a prime number?
False
Suppose 78379 = 13*h - 14064. Is h prime?
False
Let k(r) = r**2 - r - 17. Let g be ((-8)/(-10))/(4/70). Suppose -3*l = 5*f + 36, 1 + g = -5*f. Is k(l) a prime number?
False
Suppose -2*a - 7 = -3*y, 3*a + a = -3*y + 31. Suppose 5*l + y*m = 1670, 2*m + 680 = l + l. Is l prime?
True
Suppose 4*p = -4*p + 154168. Is p a prime number?
False
Let f = 26 + -24. Is ((-2391)/f)/(24/(-32)) prime?
False
Suppose 16*g - 12*g = 16216. Is (9/6)/(3/g) prime?
True
Let j(f) = -f + 59. Let p be j(0). Suppose -2465 = -64*d + p*d. Is d composite?
True
Let l = -317 + 180. Let k = l + -5. Let s = 449 + k. Is s composite?
False
Let n = 79969 + -51020. Is n composite?
False
Suppose 55 = -2*o + 3*o. Let g be -26*(o/(-2) + 2). Suppose -g = -5*d + 1672. Is d prime?
True
Let h be (2/9)/(1/9). Suppose 266 = h*m - 320. Is m a composite number?
False
Let r(g) be the first derivative of -g**4/2 - g**3 + 3*g**2/2 + 2*g + 3. Let q be r(-3). Let c = 39 + q. Is c composite?
False
Let t(v) = v**2 + v - 429. Let p be t(0). Let c = p + 96. Let n = c + 472. Is n a composite number?
False
Suppose 4*w = 2*y + 368, 5*w = 7*w + 2*y - 184. Let g be 14/3 - 4/6. Suppose 2*x = g*x - w. Is x a composite number?
True
Let k = -3042 - -11931. Is k composite?
True
Suppose -b - 20 = -16. Is 75 - ((-2 - b) + 2) a composite number?
False
Let b be (-4)/5*30/(-6). Let r be -4*11*(-1)/b. Let d = 78 - r. Is d composite?
False
Let m(o) = 182*o + 3. Let r be m(5). Let p(v) = -23*v**2 + 5*v - 8. Let u be p(5). Let w = r + u. Is w composite?
True
Let n(c) = -4*c**2 + 3*c. Let r(m) = -m**3 + 3*m**2 + 6*m - 6. Let z be r(4). Let d be n(z). Is 493/9 - d/45 a prime number?
False
Suppose -24*y + y + 344885 = 0. Is y a composite number?
True
Suppose -y + 4*u + 1689 = 0, -4*u + 0*u = y - 1697. Is y composite?
False
Suppose 0 = -r + 3*o + 3823, 3*o + 0 + 6 = 0. Let t be 2/(-8) - r/(-4). Let d = -371 + t. Is d a prime number?
False
Let k(n) = -n**3 + 7*n**2 - n - 2. Let w(f) = -f + 16. Let m be w(9). Let g(b) = b**2 - 5*b - 11. Let y be g(m). Is k(y) composite?
False
Suppose 3*y - 17256 = 16551. Is y prime?
False
Let i(n) = -7*n**2 - n + n**3 - n**3 - 9 - n**3. Let w be i(-7). Let l(y) = 50*y**2 + 2. Is l(w) composite?
True
Let f = -38267 - -63486. Is f a prime number?
True
Suppose 0 = 34*v - 32*v + 846. Let d = 1814 + v. Is d composite?
True
Suppose 0 + 4 = 5*g + 2*i, 5*i - 10 = 2*g. Suppose 2*q + 2*s - 444 = g, -4*q - 5*s + 401 = -486. Is q composite?
False
Suppose 5*x - 54 = 2*x. Suppose 5*p + 3 - x = 0. Suppose 2*l = p*l - 10. Is l a composite number?
True
Is 4 - (2 - (-75159)/(-9)) a composite number?
False
Let n(g) = 809*g - 173. Is n(42) a composite number?
True
Let j = 2209 + -659. Is -1 + j/6 + 3/(-9) prime?
True
Let l(o) be the third derivative of -148*o**6/15 - o**5/60 + o**4/12 + o**3/3 + o**2. Let y be l(-1). Let p = y + -774. Is p a composite number?
False
Suppose -5723 = -r - 3*z + 6*z, 3*r = 4*z + 17149. Is r composite?
False
Let f be (-14)/(-8) + 2/8. Suppose f*z = -4, 3*r + 1074 = -r + 5*z. Let y = -186 - r. Is y a prime number?
False
Let k(n) = 3*n + 6739. Is k(0) prime?
False
Let r = 25129 - 9888. Is r prime?
True
Let q be 331/(2/(0 + 4)). Suppose o + q = 3*y + 2*o, o = -4*y + 881. Is y composite?
True
Let i(v) = v**3 + 4*v**2 + 4*v + 3. Let n be i(-2). Suppose 332 = q + n*q. Is q a composite number?
False
Is 58/((66/(-23771))/(-3)) composite?
True
Let l(s) = -s**2 - 8*s - 2. Let b be l(-7). Let w be 1/((-2)/(-6) + 50/(-60)). Let m = b - w. Is m prime?
True
Let u(h) = -h**2 + 24*h + 5. Let t be u(24). Suppose 3386 = 3*n + 4*z, 1949 = 2*n + t*z - 313. Is n a prime number?
False
Let u be 5 + (-4 + 4 - 3). Suppose -4*d - u*z - 2*z = -2908, z - 2920 = -4*d. Suppose -2*j + 5*t = -d, 0 = -j + 5*j + t - 1495. Is j a composite number?
False
Let o(v) = 128*v**2 - 1. Is o(8) a prime number?
True
Let w(a) = -a**3 + 17*a**2 + 7*a - 33. Is w(10) composite?
True
Suppose 86302 + 76600 = 94*o. Is o composite?
False
Let u(x) = -2*x - 4. Let j be u(-3). Let b(n) = 130*n - 4. Let i be b(j). Let k = 379 + i. Is k prime?
False
Let c(d) = -d**3 + 12*d**2 + 37*d + 19. Is c(-13) a prime number?
False
Let c(m) = 77*m**3 - 7*m**2 - 39*m - 3. Is c(10) a prime number?
False
Let v(p) = p**3 - p**2 - p + 4. Let g be v(0). Suppose 2*w + 3*h = -3*w + 647, 520 = g*w + 3*h. Is w a prime number?
True
Let g(v) = v**2 + 2*v + 2. Let b be g(-2). Suppose -3*c - c = -3*a - 1098, -4*a = -b*c + 554. Let w = -88 + c. Is w a prime number?
False
Suppose -1058953 = -46*u + 1048629. Is u composite?
False
Let q(a) = 8*a**2 + 3 - 7*a**2 - 1 - 2*a. Let b be q(-7). Suppose 0 = 3*w + v - 163, -2*w = -3*w + 5*v + b. Is w a prime number?
False
Suppose 3*v - 31 = -f, v + 3*f + 1 = -2. Let z = v + -10. Suppose -d + 264 = 4*i - 0*d, 126 = 2*i + z*d. Is i a prime number?
True
Is (3 - 62229)/(-9) + -1 a composite number?
True
Suppose -l = -6*l + 60. Is (329/(-3))/((-4)/l) a prime number?
False
Suppose -5*n + 16 = f, -5*f - n - 1 = -3*n. Is (6 - f)*(-11192)/(-40) a prime number?
True
Is (-293370)/(-605) - (102/(-33) - -3) a prime number?
False
Suppose -6324 = -b - 3*l, -9597 = -2*b + l + 3072. Is b a composite number?
True
Let l = 32 - 32. Suppose -3*h + 94 + 56 = l. Suppose -51*t = -h*t - 347. Is t a prime number?
True
Let s(o) = 3*o**2 + 9*o - 15. Let u(b) = -b**2 - 5*b + 8. Let j(w) = 3*s(w) + 5*u(w). Is j(-12) a prime number?
True
Let a(t) = 48*t - 17. Is a(17) composite?
True
Is 1/(-13) + (-19982)/(-13) prime?
False
Suppose -6*b + 2051 + 6115 = 0. Is b a prime number?
True
Let o = 517 - 168. Suppose 5*v = -3*u + 215, -v - o = -4*u - u. Suppose 0 = 4*b - f - 388 - u, b = 2*f + 111. Is b prime?
False
Let b = 1507 - -5094. Suppos