- (g + -109) prime?
True
Suppose 2*x - 5*h - 193127 = -41149, -151954 = -2*x - h. Is x composite?
False
Let f(q) = 323*q + 40. Let v be f(6). Suppose 4*b + v = 2*l - 0*l, 2967 = 3*l + b. Is l composite?
True
Let f be (-17004)/(-65)*(-20)/(-6). Let k = f + 8013. Is k a composite number?
True
Suppose u + 2 = 2*u. Suppose 3*d + u*h = -2771, 0 = -3*d - h + 3*h - 2755. Let m = d - -1658. Is m a composite number?
True
Let i = -218009 - -315880. Is i a composite number?
False
Let n = -4332 + 18455. Is n a composite number?
True
Let h(d) = 13*d - 3. Let r(i) = 12*i - 3. Let z(k) = -4*h(k) + 3*r(k). Let t be z(1). Let p(u) = -11*u - 24. Is p(t) composite?
True
Let q(l) = -l**2 + 11*l - 25. Let n be q(8). Let z = -6 - n. Let m(k) = -12*k**3 + 5*k**2 - 7*k - 3. Is m(z) prime?
True
Suppose 0 = -4*a - 2*j + j + 11, 10 = -2*j. Suppose 4*z - 5 - 4 = 5*p, -9 = -5*z + a*p. Is (0 + z)/(-1) + 98*16 composite?
False
Suppose -5*n - 1067235 = -5*z, -3*z - 213457 = -4*z - 4*n. Is z a prime number?
True
Let c = 1240453 - 247794. Is c a composite number?
False
Let p be -2 + 31885 + 42/6. Suppose 69612 = 18*j - p. Is j a prime number?
True
Let y(o) = 3*o**2 + 17*o + 131. Let d(q) = q**2 + 9*q + 65. Let k(j) = 5*d(j) - 2*y(j). Let g be k(15). Let r(t) = 74*t**2 + 2*t - 13. Is r(g) prime?
True
Let y(p) = 27918*p + 4243. Is y(7) a prime number?
True
Let o(t) = t**3 - 19*t**2 + 31*t + 24. Let n be o(17). Is (8 - (-198)/n)*4803 composite?
True
Let i(q) be the third derivative of -q**4/24 + 5*q**3/6 - 7*q**2. Let l be i(2). Suppose -l*p = p - 18436. Is p composite?
True
Let i(w) = 1010*w**3 + 7*w**2 + 10*w + 66. Is i(7) composite?
True
Let w(c) = 29591*c - 125. Is w(8) a prime number?
False
Let v be (-30)/(-12)*((-9)/5 + 1). Let c be 4/6*9*(-1)/v. Is 179/(1 + (-2)/c) a composite number?
True
Let o(f) = -f**2 + f + 5. Let h be o(0). Let l be h - (0 - (1 + -2)). Suppose 0*c + 5*w = 3*c - 364, 0 = 4*c - l*w - 472. Is c composite?
False
Let l(q) = q**2 - 2. Let a be l(0). Let m be 2*(a + 1) + (-8365)/(-7). Let o = m - 460. Is o composite?
False
Let i(s) = -s + 12. Let m be i(7). Let y(z) = 6*z**3 - 3*z**2 - 9 + 14*z - 5*z**3 - m*z**2. Is y(10) a composite number?
False
Suppose 62*s + 2*o = 58*s + 214930, 0 = -6*s - 5*o + 322401. Is s a prime number?
True
Suppose -4*f = -2*l + 6, l - 3*f - 3 = -1. Is 0 + (3990 - 2) - l a composite number?
True
Suppose 3*n - 26 = n. Suppose s + n = q, -q + 0*s = -4*s - 22. Suppose 0 = q*l - 2*l - 4328. Is l a composite number?
False
Let i(u) = -58*u - 32. Let x be i(-9). Suppose -h + 4547 = x. Is h composite?
False
Let r = 175677 + 17284. Is r a prime number?
True
Let h = -87744 + 160925. Is h prime?
True
Let x = 103504 + -56955. Is x prime?
True
Let u be -9*(16/(-12) + 2) + -123. Is -3505*(-9 - u/15) a composite number?
True
Let q(f) = 36*f**2 - 3*f - 7. Let y be (-902)/(-9) - (-10)/(-45) - 2. Let g = y - 100. Is q(g) composite?
True
Let d be (0 - -4) + (1 - -4). Let o be d/(-2)*(-84)/63. Suppose -2*i - n + o*n = -249, 3*n + 505 = 4*i. Is i a prime number?
True
Suppose 2*p = 4*u + 4*p - 612622, 765683 = 5*u + 34*p. Is u prime?
False
Suppose 5*m = 4*u - 1570, -8*u - 4*m + 798 = -6*u. Suppose 4 = v, 7*v = q + 8*v - u. Is q composite?
True
Suppose 549854 = -12*w + 14*w + s, 0 = -6*w + 3*s + 1649562. Is w a composite number?
True
Suppose 4*h + 92937 = o, 185849 = 2*o - 0*o - 3*h. Is o a prime number?
False
Suppose 6*y - 133 = -43. Suppose 0 = 3*t - y, 4*c = 5*t + 5034 + 585. Is c a prime number?
False
Suppose 0 = -3*z, 0 = 5*i - 5*z + 7*z - 3616735. Is i composite?
True
Let f be (19 - 5 - 3)*2/2. Is f/(11/7368) + (-7 - -8) composite?
False
Let n be (-7)/(-2) - 12/8. Suppose 0 = 4*r - n*v - 4248, 3004 + 1236 = 4*r + 2*v. Is r prime?
True
Let d(u) be the second derivative of 25*u**4/3 - 13*u**3/3 - 69*u**2/2 + 3*u + 31. Is d(13) prime?
True
Suppose 3*t - 2030 = -q, 5*q = -5*t + 8423 + 1747. Suppose 2*r - 3446 - q = 0. Is r a prime number?
True
Suppose -6 = -6*k - 0*k. Let t = k - 0. Is t/(((-2)/4906)/(-1)) a prime number?
False
Let i(l) = 12*l**2 + 6*l**2 - 30*l + 8*l + 14*l - 32. Is i(9) a prime number?
False
Let l = -1349 - -2686. Is l a composite number?
True
Let a be (18/6)/((-3)/(-9)). Let z(l) = 7*l**3 + 17*l**2 - 22*l + 17. Is z(a) a prime number?
True
Suppose 4*t = 12*t. Let q be ((-2 - 1) + 2)*(23 + t). Let m(j) = 7*j**2 - 5*j + 29. Is m(q) a prime number?
True
Suppose 25 = 5*n - 6*n. Let x be 1/((n/(-20))/5). Is 1476/3 + (x - 3) composite?
True
Suppose -18*u + 5612321 + 485474 = 103*u. Is u composite?
True
Let z = 39 + -13. Suppose -2*v + 4 = 2*g, -v - 2*v - z = -5*g. Suppose 0 = 5*u - g*o - 1881, -o = 5*u - 1118 - 768. Is u a prime number?
False
Suppose 88*a = 227*a - 6371899. Is a composite?
False
Suppose 6*h - 4*t - 3014 = 4*h, 0 = h - 4*t - 1503. Let f be (3 - 2/1)*130. Let r = h - f. Is r prime?
True
Let b(l) = 33*l**2 - 1 + 3*l**2 - 2 + 27*l**2 - 11*l. Let j be b(8). Suppose 0 = 27*y - 26*y - j. Is y composite?
True
Suppose -8*f - 5 = -261. Suppose -f*q = -31*q - 5981. Is q a prime number?
True
Suppose w - 2 = -0*w. Suppose -c + w*c + 30 = 0. Is (-1)/(-6) + (-42145)/c prime?
False
Suppose -17519 - 64237 = -6*y. Is 6/15 - y/(-10) prime?
False
Suppose 0 = -3*d + 2*d - 4, 0 = g - 2*d - 20. Is (-15144)/36*g/(-8) composite?
False
Suppose 20*q - 11*q = 25857. Let m = 4726 - q. Is m prime?
False
Let o be (-20)/60 - 134/3. Let f = -515 + 865. Let l = o + f. Is l composite?
True
Let l(q) = 169*q**2 + 44*q + 67. Is l(72) prime?
True
Let j(r) = -465*r + 11. Let t be j(-20). Let o = t - 5262. Is o prime?
True
Suppose 124*y - 437*y + 50010827 = 0. Is y composite?
False
Suppose 6 = 3*v, v - 46340 = 5*n + 40937. Let t = -6753 - n. Is t a composite number?
True
Let a(i) = 5800*i - 801. Is a(17) a composite number?
True
Is 30/(-4)*20/180*-120534 a prime number?
False
Is 6/8*(158021208/1188 - 2/(-11)) prime?
True
Suppose 2*q = -4*r + 8, -3*q - 2*r + 3 = -5. Suppose 0*v = -i - 5*v - 21, v - 3 = -q*i. Suppose -3*y = 3, 0*y = i*s - y - 709. Is s a composite number?
True
Suppose -2*g + 5*c + 328382 = 0, c + 96023 = 5*g - 724932. Is g composite?
False
Let o(d) = 2*d + 20. Let f be o(-9). Let y(h) = 4*h - 5*h**3 + 135*h**3 + 5*h - 10*h + f. Is y(1) a prime number?
True
Suppose 13*t + 9 = 16*t. Let a be t + ((-8)/4 - 4). Is a/(-6) - 2714/(-4) prime?
False
Suppose -5*l - 3*x + 16 = -24, -10 = 3*l - 5*x. Let b be ((6/4)/1)/(l/50). Let n(w) = 83*w + 48. Is n(b) a composite number?
True
Let t(o) = -24*o**3 - o - 1. Let j be t(-1). Let f be 32/j + 4/6. Suppose -3*m - f*m - 5*p + 15115 = 0, -4*m + 3*p + 12064 = 0. Is m a prime number?
True
Suppose 5*n = 5*b - 36670, -b = 2*n - 0*b + 14662. Let l = 11459 + n. Is l prime?
True
Let h = -44490 - -68923. Is h a prime number?
False
Let i(l) = l**2 - 2*l - 2. Let b be i(0). Let d(x) = -605*x - 8. Let h be d(b). Suppose -h + 120 = -2*f. Is f a prime number?
True
Let p(f) = -155219*f + 1135. Is p(-2) prime?
False
Let i be 1 + ((-210495)/(-9) - (-20)/30). Let z = -15079 + i. Is z composite?
False
Suppose -3*i - 154 = -c, c = -2*i - 18 - 88. Is i/(-39)*(-4443)/(-2) a prime number?
False
Is (-6)/((-84)/1987622) + 18 composite?
False
Let z be (-78)/(-18) + 1/(-3). Suppose -z*f + 8*f + 3*h = 6784, 3*h = 12. Is f a composite number?
False
Let k be 130/25 + (1 - 3)/10. Suppose -t = 2*t - h - 1622, 546 = t + k*h. Is t prime?
True
Suppose -3*o + 2*r + 147595 = 0, 2*o - 46*r - 98354 = -50*r. Is o a composite number?
False
Suppose -l = 73 - 34. Let c = -46 - l. Is ((-25625)/(-105) + (-2)/c)*3 a prime number?
True
Let t(g) = -9*g + 263. Let l be t(29). Suppose 6671 = z + 6*q - 8*q, 0 = 2*q - l. Is z composite?
False
Let x(r) be the first derivative of 41*r**4/4 + 4*r**3/3 + 2*r**2 + 13*r - 3. Let z(u) be the first derivative of x(u). Is z(-3) composite?
False
Let q = -1 - 2. Let h be (2/q)/((-4)/24). Suppose 0 = 5*x + 5*b - 27 - 1648, -h*x + 4*b + 1308 = 0. Is x prime?
True
Let n be -5 + -1 + 1 - (-1 - -2). Let a(t) = -7*t**3 - 14*t**2 - 3*t - 17. Is a(n) prime?
True
Let f be (-6)/(-27) + (-518)/(-18). Suppose f*t - 3*l = 27*t + 376, 0 = 3*l - 12. Is t a composite number?
True
Let r = 45 - -34. Let b = -81 + r. Is -796*b/8 + 1 + 3 a composite number?
True
Let d(l) be the third derivative of -19/6*l**3 + 0 + 1/30*l**5 + 0*l - 9*l**2 