 Is w(g) a prime number?
True
Suppose 20*n + 551034 = 22*n - 5*t, 0 = -5*n + 3*t + 1377509. Is n prime?
False
Let k = 89148 + -17134. Is k composite?
True
Let m = 87137 - 34233. Suppose 8*a - 1520 = m. Is a prime?
True
Let c(g) = -505*g**3 + 2*g**2 + 6*g - 43. Is c(-6) a composite number?
False
Let a(h) be the first derivative of 3906*h**3 + 7*h**2/2 + 8*h + 176. Is a(-1) prime?
True
Let u(d) = 367*d**2 + 25*d - 12. Let x be u(5). Suppose 0 = 11*f - x + 3799. Is f a composite number?
False
Let j be 12 + -1 + 70/14. Is (130840/j)/(4 + (-28)/8) a prime number?
False
Let y(x) = 149674*x**2 + 157*x + 2. Is y(1) a prime number?
False
Let n(c) = 17026*c - 5851. Is n(12) composite?
False
Let f(v) = v**2 + 12*v - 53. Let o be f(-16). Suppose -3*d + 21 = 5*g, -3*g + o = 2*d - 3. Suppose d*r = 2*r + 2765. Is r a prime number?
False
Suppose -290*g + 305*g = 19005. Suppose 3*b + m = -3*m + 19, 3*m - 13 = -2*b. Suppose 5401 = b*q - 2*x, 3*q - 1984 - g = -4*x. Is q a prime number?
False
Suppose 38886 = 21*o - 108513. Is o prime?
True
Suppose 16*p = -p + 34. Suppose -p*c + 4 = 0, 2*c - 2533 = -k + c. Is k prime?
True
Let t be ((-12308)/(-16))/(-17) - 2/(-8). Is 10/t - 544257/(-81) a prime number?
True
Let r be (1/2)/(1/10). Suppose 0 = 3*g + 5*c - 49 + 2, -2*c = r*g - 53. Suppose -g*w - 1703 = -11090. Is w prime?
False
Let m = -28754 + 52335. Is m a composite number?
False
Suppose 4*u - x = -5 + 76, -2*x = 3*u - 56. Suppose 18886 = -u*f + 75604. Is f a prime number?
False
Let m be -3 + 10 + (0/4 - 2). Suppose -3*j + 482 = 5*n, 4*j - 2*n = 551 + 83. Suppose -m*d = -296 - j. Is d prime?
False
Let w be 174/3 - (-3)/15*-5. Is ((-1)/1)/(w/(-450357)) a composite number?
False
Suppose 683983 = -56*o + 10351875 + 1606196. Is o a composite number?
True
Let j(w) = 3*w**3 + 14*w**2 + w + 3. Let s be j(-4). Let l(k) = 7*k**2 + 24*k - 102. Is l(s) composite?
False
Suppose -3*z - 13 = p - 4*z, 32 = -2*p + 4*z. Let r be 24*(p/(-2) + -1). Is 9/24 - 102/r*-826 composite?
True
Suppose -9001*z = -8963*z - 16429414. Is z a composite number?
True
Let j = 230769 - -37634. Is j prime?
True
Let f = 186 + -131. Let k be 1 + (704 - (-2 - 0)). Suppose n - f = 3*s - k, -5*s + 1110 = 3*n. Is s prime?
False
Suppose 77359 = -5422*g + 5423*g + o, -4*o = -24. Is g composite?
True
Suppose 509145 = 30*h - 27*h - 2*f, -3*f = 5*h - 848518. Is h a composite number?
False
Is (30108 - -3) + ((-8)/(-10))/((-324)/810) a prime number?
True
Let d = 157136 - 108645. Is d prime?
True
Suppose 11 = 2*m + k - 0*k, -5*m = -5*k - 20. Suppose 4*o = m*b - 4*b + 51, 5*b - o + 255 = 0. Is (-1006)/(-3) - (-17)/b composite?
True
Let j(b) = b**2 - 3*b - 6. Let l be j(3). Is (-61598)/(-6) + (l - 28/(-6)) composite?
True
Let r = 3151 - 1964. Suppose 0 = 3*c, t - 5*c - 866 - r = 0. Is t prime?
True
Suppose 5*f - f = 2*z - 22, 4*f + 19 = -z. Is (3 - (-3 + -103))*(2 - z) a prime number?
True
Suppose 6*y + 7647 = -5*h + 23734, -3*y + 6436 = 2*h. Is h a prime number?
False
Let i = 212 - 210. Suppose i*w + 1376 = 6034. Is w prime?
False
Let a = 8900 - -81. Is a a composite number?
True
Let p(i) = 73*i + 1. Let o be p(2). Suppose 755 = 3*f + s, -f + 130 = 4*s - 140. Let h = f - o. Is h a prime number?
True
Suppose 4*t = k + 24, 4*k + 0*k + 31 = 3*t. Is (1 - 2)*(-4756 + t) a composite number?
False
Let k = 102 - 103. Is 72/(-18) + 7105 + (-2)/k a composite number?
False
Let r = 786 - 516. Suppose 94 + r = 4*y. Is y a composite number?
True
Let b = -97 + 97. Let q be (1 + b)/(2 + (-94)/48). Let u = q + 329. Is u a prime number?
True
Let r be 1716/1 - -1 - 2. Let x = -2103 + 911. Let u = x + r. Is u a composite number?
False
Let r be (-457 - 0)/(((-2)/5)/2). Let o = 7235 - r. Let c = o + -2771. Is c composite?
False
Let w = 7 - -3. Let r(x) = x**2 + 6*x + 12. Let u be r(w). Suppose -4*d - 5*h = -251, -40 = -3*d + h + u. Is d composite?
True
Let x(l) be the first derivative of -3*l**2/2 + 3*l - 15. Let m be x(10). Let c = 64 + m. Is c a prime number?
True
Let c = -2808 + 6050. Is (6 - 8) + 5 - -2*c composite?
True
Let j = -62 + 13. Let t be (-1988)/j + 3/7. Suppose -6*z + 289 = -t. Is z a prime number?
False
Let s be 36/21 + -2 + 120/28. Suppose 4*q = r + 2*r, s*r = -q + 19. Suppose -620 = -7*i + q*i. Is i a composite number?
True
Let i = 626611 - 428604. Is i a prime number?
False
Let s(j) = -111*j + 2. Let o be ((-5)/2 - -1)/(2/12). Let x be 3 + (39/o + 3)*3. Is s(x) a prime number?
True
Suppose 0 = -3*d - 5*r + 1550, -16*d + 13*d + 5*r = -1600. Let o = 88 + d. Is o prime?
True
Let l = -13 + 20. Is (-4256)/(-12) + l/21 composite?
True
Let q(h) = h**2 + 18*h - 119. Let d be q(10). Suppose -d*m - 48684 = -173*m. Is m composite?
False
Let b = 1514 - 147. Is b/((7/(-21))/(2/(-6))) composite?
False
Let w be 224463 + 1*(-2)/(0 - -2). Suppose 2*l + j - w = 0, 0 = 3*l + j + 47902 - 384595. Is l a prime number?
False
Let i(r) = 42*r - 117. Let q be i(3). Suppose -30*w + 379938 = q*w. Is w prime?
False
Let g(m) = 16*m**3 - 3*m**2 - 14*m + 22. Let k be g(8). Let r = k - 4983. Is r a composite number?
False
Suppose 3*w = 4*d + 8765, -3615 = -2*w - 5*d + 2259. Is w a prime number?
True
Let x(k) = -18*k**2 - 8*k + 4. Suppose -28 = 4*m + 3*i + i, -4*m = i + 28. Let p be x(m). Let t = 937 - p. Is t composite?
False
Suppose 5*q - 11*q - 57933 = -3*x, 4*q = -16. Is x a prime number?
False
Suppose y + 4*z + 8388 + 5371 = 0, 5*y + 68829 = -3*z. Let n = y - -21396. Is n prime?
False
Let k be (-8 - 0 - -9)/(2/2). Let a be (4132/k)/(25/5 + -3). Let f = -597 + a. Is f prime?
False
Suppose 3*b + c - 3*c = 149, 3*b - c - 148 = 0. Is 329847/b - 8/14 prime?
False
Suppose 0*x + 212 = 3*x - 4*l, 5*x = 4*l + 348. Suppose 4*g - x = -0*g. Suppose g = q - 194. Is q composite?
False
Suppose 2 = -4*w + 3*v, -v + 3*v = -5*w + 9. Let p = -120 + w. Let o = 188 - p. Is o a composite number?
False
Suppose 2*j = -5*n + 38, -2*j = -2*n - j + 17. Let w(k) = 3*k**2 - 24*k - 1. Let c be w(n). Is (-17840)/(-16) - (-1 - c) composite?
True
Let d = -46 - -49. Let f be (d/(-9))/(2/((-132)/2)). Suppose 0*r = -f*r + 12287. Is r composite?
False
Let p = 3897 + 18148. Is p a composite number?
True
Is 20/50 + -11*766647/(-45) prime?
False
Suppose -5*l - 3208 - 1782 = 0. Let w = l + 4815. Is w a prime number?
False
Is (1*(-193425)/6 + -4)/(13/(-182)) a composite number?
True
Let j(h) = -h**3 - h**2 + 6*h - 15. Let r be j(-4). Let a(z) = -21 - r*z + 6 + 39*z - 34. Is a(8) prime?
True
Let o be ((-1)/(-2))/(10/(-20)). Let n = o - -2. Is n - (-60)/(-52) - (-4201)/13 a composite number?
True
Suppose 5*a - 8176 = a. Suppose a = 4*f - 3*h, f - 372 = 3*h + 148. Let x = 825 - f. Is x prime?
True
Let l = -56 - -58. Suppose -y = 2*t - 2691, -l*y = -2*t + 2*y + 2706. Suppose j + 0*a = a + t, -j + 1351 = -3*a. Is j prime?
False
Let x(v) = 19*v**2 - 2*v - 3. Let b be x(-1). Let l = b - -105. Is l a composite number?
True
Let h(p) = -4*p**3 - 30*p**2 - 49*p - 93. Is h(-20) a prime number?
True
Let n(b) = 3*b - 44. Let g be n(13). Let w be (g/3)/(2/(-2796)). Suppose 4*q = -8, 5*f - 2*q + w - 14509 = 0. Is f a composite number?
True
Suppose 0 = 29*t + 66*t - 9134725. Is t a prime number?
False
Is 11 + (-1385)/125 - 161061385/(-125) prime?
False
Suppose -6*t - 534 = -480. Is (-3 - -2) + t + 9 + 6630 composite?
True
Suppose -2*y + n = -12, -4*y + 3*n = -3*y - 11. Suppose y*w = 1764 - 509. Suppose w = 3*a + 4*i, 0 = a - 5*i - 112 + 3. Is a composite?
False
Let v be 1 - -1 - (5570 + 0). Suppose -5*c + 220 = -5*m, -11*m + 7*m = -2*c + 186. Let p = m - v. Is p composite?
False
Let v be 8/(-16)*4 - 2*-2. Suppose 5353 - 1407 = v*a. Is a prime?
True
Suppose -o + 19*l = 14*l - 13759, 2*o - 27500 = l. Is o prime?
False
Suppose -49*b + 5647436 = -2062665. Is b composite?
False
Let g(n) = -n**2 + 4*n + 8434. Let y = 145 + -145. Is g(y) composite?
True
Suppose 8 - 32 = 3*p. Let u be p/(-4*(-3)/90). Let i = 947 + u. Is i composite?
False
Let g = 290813 - 26112. Is g composite?
True
Let j(t) = 2*t - 27. Let f be j(12). Is (3483/18 + -3)*(-34)/f a prime number?
False
Let n = 39 - 38. Let a(t) = -5 + 149*t - 1 - n - 142*t. Is a(2) composite?
False
Is (1/14*-6 - 2400480/(-126))/1 prime?
True
Let b(z) = -7*z - 13. Let m be b(-6). Suppose -11*v - 4 = m. Let x(s) = 106*s**2 + 10*s - 3. Is x(v) a prime number?
False