i a composite number?
True
Suppose b = 3*d + 47052 - 145897, -4*b + 32931 = d. Is d a prime number?
False
Let t = 0 - 2. Let r be 13 - t/(3 - 2). Is 633/5 + 6/r a prime number?
True
Let w(f) = f**3 - 7*f**2 + 10*f + 1. Let k be w(5). Suppose 0 = -3*y + 1136 + k. Is y a prime number?
True
Suppose -4*g - 8*l = -3*l - 1550, -394 = -g + 2*l. Suppose -g = 5*p + 700. Let i = 367 + p. Is i a composite number?
False
Suppose -5*n + 4*r - 105 = 0, -4*n - 2*r - 3*r - 84 = 0. Is 16/56 + (-11187)/n prime?
False
Let b = 32573 + -19416. Is b a composite number?
True
Let d be ((-6)/(-7))/((-4)/(-28)). Let r be 1 - -86 - (d - 5). Suppose -4*f + 4 - r = -2*l, 4*l - 125 = -5*f. Is l a composite number?
True
Suppose -4*l + n = 2, 3*n - 4 = 3*l + n. Suppose -4*t + 3*i = -328, l*t - i = 5*t - 410. Is t a composite number?
True
Suppose -11959 = -3*a - 2*p, 0 = -15*a + 19*a + 4*p - 15940. Is a prime?
True
Let a(i) be the second derivative of -i**4/12 - 3*i**3/2 + 6*i**2 + 3*i. Let j be a(-10). Suppose 3*k = 2*k - 4*p + 39, -j*k + 5*p = -52. Is k a prime number?
True
Suppose 5*y + 23 = c, -17 = c + 2*y + 3*y. Suppose -c*x = -x - 12. Let h(d) = d**3 + 8*d + 5. Is h(x) composite?
False
Is (-1*8/(-32))/((-6)/(-1819704)) composite?
False
Let u = -15 - -15. Suppose 4*a + 4 - 20 = u. Suppose 5*h = a*v - 518, -5*h + 371 = -v + 4*v. Is v prime?
True
Let v = 23 + -7. Is 0/v + (-49)/(-1) prime?
False
Suppose -l + b - 12 = 0, -b + 30 = -4*l - 6*b. Let u(a) = a**3 + 9*a**2 - 10*a + 1. Let r be u(l). Is 981 + -3 - (r + 0) composite?
False
Let l be 1/(5/75*3). Suppose 0 = l*q - 6*q + 662. Suppose -f = -0*f - q. Is f a prime number?
False
Suppose -3*b + 27976 - 8353 = 0. Suppose b + 8787 = 8*d. Suppose 5*z = z + d. Is z prime?
True
Suppose 2*r = -5*s + 17, -2*r - s + 2 = -3. Let n be 9 - 7 - (-1 - r). Suppose 0 = n*z - 3*t - t - 572, 5*t - 131 = -z. Is z a composite number?
True
Let d(o) = -3*o - 18 + 2*o**3 - 3*o**3 - 20*o**2 + 11*o**2. Is d(-11) a composite number?
False
Let v be 2/((-2)/(-3)) + 50. Suppose h + v = 2*h. Suppose -3*g = -l + h + 77, -3*l = -5*g - 386. Is l prime?
True
Let g = -4534 + 1580. Is (g/21)/((-2)/3) a composite number?
False
Is ((-24)/48)/(4/(-25096)) composite?
False
Suppose 0 = -32*z - 4812 + 72044. Is z a composite number?
True
Let i(f) = -f**3 + 7*f**2 + 7*f + 12. Let x be i(8). Suppose -342 = -4*j - 2*s, s - 5*s = -x. Is j composite?
True
Let i = -911 + 98. Let t be (6/(-4))/(6/1936). Let l = t - i. Is l composite?
True
Is (-1)/1 + 42/(-7)*-3034 prime?
False
Suppose 5*r - 3*r - 1922 = 0. Suppose -5*c + 94 = -r. Is c a composite number?
False
Let f be -1 - 2/4*0. Let m = -19 - 11. Is 10/m*(-418 - f) a prime number?
True
Suppose 0 = 7*p - 2*p - 5*g - 15, -3*p - 4*g = 26. Let r be -1 - (37 - p/2). Is -2 + 0 + 0 - r a composite number?
False
Suppose 0 = 4*k - a - 13817, -2*k + 75 + 6846 = -3*a. Is k a prime number?
False
Let g = -9 - -1. Let v(k) = 18 - 12*k - 30*k - 3 - 61*k. Is v(g) a composite number?
False
Let a = -7572 - -68599. Is a composite?
False
Let i(x) be the second derivative of 5/2*x**2 - 2*x + 11/3*x**4 + 0 + 1/3*x**3. Is i(-3) a prime number?
False
Suppose 6*i - i = -10. Is (2 + (-1091)/2)*i composite?
False
Suppose 1626 = -2*y + 3*y + 5*f, 4*y = 2*f + 6482. Is y composite?
False
Let a(t) = -3*t**2 + 5*t + 3*t + 47 + 5*t**3 - 48. Is a(7) composite?
True
Suppose 3*a + y = 30, -5*a - 2*y + y + 52 = 0. Suppose -g - 2*g = 0. Suppose g = a*v - 12*v + 14. Is v a composite number?
True
Let k be 2/7 - (-111)/(-21). Let s = -3 - k. Suppose 4*d - j = -d + 952, -s*d + 5*j = -367. Is d composite?
False
Let n(j) = -j + 11. Let o be n(9). Suppose d - 999 = -o*d. Suppose -2*l + d = -2*s + 3*s, -665 = -2*s - 3*l. Is s prime?
True
Let m be 2 - 38112/(3/(-1)). Suppose -m = 12*a - 14*a. Is a a composite number?
False
Let j = 32 + -30. Suppose -j*r = -473 - 1745. Is r a prime number?
True
Suppose -23*f = -32*f + 478215. Is f a composite number?
True
Let x be (-3 + (-58)/(-4))*-6. Let o = x - -2. Let d = o - -146. Is d a composite number?
False
Suppose 3 = -3*s + 3*v + 15, 2*s = -v - 7. Is (-3 + 26)/(s/(-109)) composite?
True
Let p = 6 + -2. Suppose 5*w = p*q + 43, -2*w - 30 = 2*q - 4. Is ((-10)/(-3))/(q/(-198)) prime?
False
Let g(n) = n**2 - 6*n + 8. Let b be g(4). Suppose b = o - 3*o + 4. Suppose 51 + 285 = z + t, z = -o*t + 335. Is z a prime number?
True
Suppose 290 = 3*q + 2*q. Let a(d) = 57*d - 1 + q*d + 3. Is a(3) a prime number?
True
Let p = 1358 + -391. Is p composite?
False
Let v(y) = y + 4. Let l be v(0). Suppose 5*b = l*d + 18915, -2*b = -6*b - 4*d + 15096. Is b a prime number?
True
Let a(r) = -r + 19. Let n be a(17). Suppose -17577 = -0*u - 3*u - n*i, 0 = -3*u + i + 17568. Is u a prime number?
True
Is (4 - 3)/((-1 + 4)/72093) composite?
True
Suppose -v - 10 = 2*g, -2*v + 0*v = 3*g + 17. Let t(c) = -c**3 - c**2 + 4*c - 1. Let i be t(g). Suppose -h - i*n = -0*h - 100, 5*n + 70 = h. Is h composite?
True
Let y(t) = -1035*t + 98. Is y(-5) prime?
True
Suppose 0 = 2*s - 9 - 5. Let x(m) = -31*m**3 - 3*m**3 + 2 + 2*m**2 - s*m**3 - 3. Is x(-2) composite?
True
Let q(p) = 17*p - 4. Let i(j) = -j**2 - 9*j - 1. Let r be i(-4). Is q(r) a composite number?
True
Is (-1)/(0 + 1 + 7838/(-7837)) a composite number?
True
Let q(t) = 90*t - 29. Let g(p) = 9*p - 5. Let b be g(2). Is q(b) prime?
False
Let s = -26 - -9. Is ((-1061)/2)/(s/34) prime?
True
Suppose o - 7 = q - 2*q, -4*o + 10 = -2*q. Let y(r) = 2*r**3 - 2*r**2 + 4*r + 3. Is y(q) composite?
True
Suppose 3*p - 16672 = -4*f, 0 = 20*f - 16*f - 2*p - 16692. Is f a prime number?
False
Suppose -2*s + 5206 + 10432 = 0. Is s composite?
True
Let g = -4309 - -9741. Let m = g + -3111. Is m prime?
False
Let i(g) be the second derivative of g**5/20 + 19*g**4/12 + g**3 + g**2/2 + 6*g. Is i(-16) composite?
False
Let w(o) = 943*o - 2. Let j be w(2). Suppose x - 4*x + 5*q = -1413, -4*x + j = -5*q. Is x a prime number?
False
Let j be (-4647)/(-2) + (-10)/(-20). Suppose 0 = 3*m + m - 4*h - 2324, 4*m - 2*h - j = 0. Is m composite?
True
Suppose 754 = -4*x + 3370. Let a = -439 + x. Is a a composite number?
True
Let t(n) = -1379*n + 166. Is t(-5) composite?
True
Is -1*(-3031170)/48 + 3/(-8) composite?
False
Suppose 4*b - 25 = -b. Let g = b - 2. Suppose 4 - 1 = g*x, v - 383 = -4*x. Is v composite?
False
Suppose 4*y + 14 = -2. Is 130/(-2 - y)*1 composite?
True
Is -4*(-1)/4*6937 a prime number?
False
Let t be -9 + 12 + (-2)/(-2). Let w be 2272/4 + 4/t. Suppose 190 = 3*s - w. Is s a composite number?
True
Let q(u) = 49*u**2 + 10*u - 8. Is q(7) prime?
False
Suppose -2*d - 6 = 0, -8414 = -b + 4*d + 2085. Is b composite?
False
Let s(o) = -o**3 + 32*o**2 - 23*o - 105. Is s(31) prime?
False
Let a(s) = -95*s. Let f be 6/39 - (-201)/(-39). Let y be a(f). Let l = -318 + y. Is l a prime number?
True
Let l = -1099 + 3432. Is l prime?
True
Suppose -k + 4 = -0, -240529 = -5*j + 4*k. Is j prime?
True
Let b be (18/8)/9 + 19/4. Suppose 2 - 1 = -q, b*q + 190 = 5*t. Is t composite?
False
Suppose 2*c = 4*y - 394, -61 = -y - 5*c + 43. Suppose -y = -m - q, -4*m - 4*q = m - 491. Suppose -2*z - 3*z = -m. Is z prime?
True
Suppose f + 5*z - 4016 = 3*z, 4*f - 16029 = -z. Is f a prime number?
False
Let m = 20442 + -10435. Is m composite?
False
Let y be (-2 - (46 - 3)) + -3. Let n be (-4 - -1)*7024/y. Suppose -3*l = 2*l - 2*z - n, -2*z - 83 = -l. Is l prime?
True
Suppose 197*g - 195*g - 24746 = 0. Is g composite?
False
Let h = 6 - 10. Is (-5)/(h/(47 + -3)) composite?
True
Let n = -4292 + 6135. Suppose -316 = -3*j - n. Let d = 712 + j. Is d composite?
True
Let f be 745 + (-8 - -5) + 4. Let n(t) = -t**2 - 4*t + 7. Let w be n(-5). Is f/w - (1 - 1) a prime number?
True
Suppose 3*r - 3*f = -2*r - 52, -3*r + 4*f - 40 = 0. Let k(v) = v**3 + 7*v**2 - 14*v + 7. Is k(r) a prime number?
False
Let b(l) be the first derivative of 22/3*l**3 + 3/2*l**2 - 3*l - 8. Is b(2) a prime number?
False
Suppose 0 = -19*l + 24*l - 14695. Is l composite?
False
Let c = 435 - -25. Suppose 33 = -4*d + 41. Suppose 0 = -6*q + d*q + c. Is q a prime number?
False
Let m = 34 - 35. Let j be ((-140)/4)/(-1)*m. Is 310 + (-7)/(j/(-15)) a composite number?
False
Is 356/(-56)*4*-7 prime?
False
Suppose b - 5*t + 1 - 16 = 0, -3*b - 5*t - 35 = 0. Let q = b - -1. Is (-8019)/(-63) + q/14 composite?
False
Sup