et r = i + j. Is r prime?
True
Suppose 10*r + 4540 = 8*r. Is r/(-6) - 34/(-51) prime?
True
Suppose -8*h + 88925 = -95867. Is h a composite number?
False
Suppose 4*t - 25 = 3*c, 5*c - 3 + 5 = t. Let m = -9 - t. Is (-46)/(-1)*(-24)/m a composite number?
True
Let k(q) = 6*q**2 + 3 + 2*q**2 - 24*q + 30*q. Is k(-7) composite?
False
Is 8062266/553 - (-2)/(-14) prime?
False
Let s be -3*30270/(-117) + 8/(-52). Suppose 3*y = -4*i + s, -3*y + 187 - 1130 = -5*i. Is i a prime number?
True
Let k(v) be the second derivative of -21*v**5/20 + v**4/3 + 2*v**3/3 + 3*v**2/2 + 8*v. Is k(-2) prime?
True
Let l be (-2 + (4 - 1))*-3. Let c be l*1 - (2 + -8). Is c + -4 + 294/2 a composite number?
True
Suppose -2*j + 0*a - 3*a = -10818, 5*j - 5*a - 26995 = 0. Is j a composite number?
True
Let p = 23107 + 1376. Is p prime?
False
Suppose 7*l - 38029 = -10*l. Is l composite?
False
Suppose o = 3*d - 270307, 450493 = 30*d - 25*d + 3*o. Is d prime?
False
Suppose 10*s = -7*s + 17. Let q = 2 + 2. Is (s - -90)*q/4 prime?
False
Let f = 311 + 989. Suppose -5*x + f = 3*s, -s - 4*s = -3*x + 746. Is x composite?
False
Suppose 5*n - 6*c + 20 = -c, -4*n + c - 4 = 0. Suppose 3*r - r - 1028 = n. Is r prime?
False
Let u = 95 - 93. Suppose -l = -u*b + 3*l + 966, 4*b = l + 1939. Is b a prime number?
False
Let y(n) = 9*n**2 + 11*n - 93. Is y(-14) a prime number?
False
Let a(r) = -5*r + 3*r**3 + 4*r**3 - 12 + 5*r**3 - 11*r**3 + 15*r**2. Is a(-13) prime?
False
Let c = -14 + 18. Suppose 0 = -3*u + c*f + 516, 0 = 2*u - 3*u + f + 172. Let n = u - 119. Is n prime?
True
Let z(s) = 2*s**2 + 7*s. Let u be (-3)/15 - (-3)/15. Suppose u = p - 4*p - 15. Is z(p) prime?
False
Suppose -91*t + 135199 + 409072 = 0. Is t prime?
True
Let k(q) = q**3 - 6*q**2 - 13*q - 5. Suppose 0 = 3*h - 8 + 5, -4*s = -h - 39. Is k(s) a composite number?
True
Suppose 4287 = 19*t - 18*t + 5*a, 4307 = t - 5*a. Is t a composite number?
False
Is -1 + 5629 + (48 - 49) prime?
False
Let r(j) be the first derivative of -2*j**2 - 18*j + 310. Let l = -37 + 21. Is r(l) composite?
True
Let z(c) = -c**3 + 15*c**2 + 23*c + 7. Let t = -2 - -18. Is z(t) prime?
False
Let t(p) be the second derivative of 110*p**3/3 - 13*p**2/2 - 42*p. Is t(5) a composite number?
False
Let v(k) = 3*k**3 - 19*k**2 - 28*k - 10. Let b(o) = -2*o**3 + 18*o**2 + 27*o + 9. Let u(j) = -5*b(j) - 4*v(j). Is u(-9) composite?
True
Suppose 5*r = d - 23, -r = 3*d - 72 - 77. Let x(i) = -13*i + 5. Let u be x(6). Let o = d - u. Is o prime?
False
Suppose -4*d - 2*s + s = -7896, -3*s + 12 = 0. Is d prime?
True
Suppose 22*q + 1620064 = 54*q. Is q a composite number?
False
Is (-5 - 1*-18531) + -7 prime?
False
Let r(h) = h + 4. Let p be r(-7). Is (20/5 + p)*211 composite?
False
Let q = -3 + -19. Is 4/q - (1 + (-5880)/33) a composite number?
True
Let n(l) = 330*l**2 + 7*l - 8. Is n(3) a composite number?
True
Suppose 5*a - 9340 = -5*h, -4*a - 3*h + 11228 = 3754. Suppose 1062 + 4828 = 5*m + 5*n, 3535 = 3*m + 2*n. Let p = a - m. Is p a composite number?
False
Let k(u) = -57*u**3 - 5*u**2 + 21*u + 107. Is k(-8) a composite number?
True
Is 1*1319 + 0/3 prime?
True
Let l = 42 + -40. Suppose -l*m = 2*c - m - 174, -3*c + 4*m = -261. Is c a composite number?
True
Suppose 0 = 3*p - 5*p - 3*q - 3701, 0 = p - q + 1838. Let i = -936 - p. Is i a composite number?
False
Let g(l) be the second derivative of l**7/2520 - l**6/144 - 17*l**5/120 - l**4/2 + l. Let i(x) be the third derivative of g(x). Is i(8) prime?
True
Is 7/((-63)/(-15219)) + 3 + -1 composite?
False
Suppose -246*r = -245*r - 13711. Is r composite?
False
Let g = 9300 - -109043. Is g prime?
True
Suppose 35833 = 20*g - 186447. Is g a composite number?
True
Let t(h) = h**3 + 2*h**2 + 2. Let s = 12 + -14. Let o be t(s). Suppose 136 = u - 3*m, -5*u + o*u + 366 = 5*m. Is u prime?
True
Suppose 116 = 2*m - m. Let t be (-157 + -9)*(-1)/(-2). Let v = t + m. Is v a composite number?
True
Let d = -10 - -13. Suppose o - 3 = -4*w, -d*o - 3*w - 2 = 2*o. Let a = 82 - o. Is a prime?
True
Let k(t) = 176*t**2 + 9*t - 24. Is k(5) prime?
True
Suppose -7*n = -3*n + 84. Let o = n + 25. Is 510/9 + o/3 a composite number?
True
Let n = -17570 - -30271. Is n a composite number?
True
Suppose -3*h + 6 = 0, -5*y + 3*h + 47 = -2. Suppose 0 = 5*k - 4*j + 2*j - 28, -y = -k - 5*j. Is (8/k - 1)*1119 prime?
True
Is (-132)/(-66) - (-2 + 4 - 8903) composite?
True
Let k be (-4)/22 - (-20)/110. Let t = 7 + -2. Suppose 2*y - 127 = -p + y, t*y - 20 = k. Is p composite?
True
Let z(j) = j**2 + 12*j + 13. Let q be z(-11). Suppose -3*o + 3*t = -q*t - 30115, -5*o + 2*t = -50198. Is (-2)/7 + o/56 a prime number?
True
Let k = -281 - -415. Suppose 5*d + k = 459. Is d a prime number?
False
Let x(u) = -u**2 - 8*u - 11. Let d be x(-5). Suppose 5760 = t + d*t - z, 3*z = -15. Let q = t - 814. Is q a prime number?
True
Let w = -184 - -141. Let y be (-90)/(-4)*(-72)/(-3). Let z = y - w. Is z a prime number?
False
Suppose 4*y = -4*j + 12 - 0, -3 = 2*y - j. Suppose 4*u + 3*s - 2174 = y, 0 = -2*u - 3*s - 0*s + 1084. Is u composite?
True
Let q be ((-24)/15)/4 + (-12)/(-5). Suppose a - 218 = 3*b + 69, 3*a + q*b = 828. Is a composite?
True
Suppose -12*g + 15*g = 1671. Is g prime?
True
Let w = 892 - 511. Is w composite?
True
Let h(y) = y**3 + 9*y**2 + 8*y + 5. Let i be h(-8). Suppose n + i = x, n + 3 - 2 = 0. Suppose 5*j = -x*c + 1662, 1385 = 2*c + 3*j + 553. Is c prime?
False
Let i(g) = 13*g**2 + 9*g - 10. Let w be i(8). Suppose w = 4*y + t, -3*y = -y - t - 444. Is y a composite number?
False
Let r be (24/(-18))/((-4)/174). Let t be (-2)/5 + (-894)/(-10). Let a = t - r. Is a prime?
True
Let t(s) = -s**3 - 7*s**2 - s - 5. Let m be t(-7). Suppose -j = -d - 3103, 0 = m*d - 4*j + 5*j + 6203. Is ((-18)/(-27))/((-4)/d) composite?
True
Let f be (-10)/(-4) + (-2)/(-4). Suppose -f*y + 236 = y. Suppose -u + 2*u - y = 0. Is u a composite number?
False
Let m = 2 - -9. Let n(p) = 7*p + 34 - 10*p**2 + 3*p**3 - 2*p**3 - 21. Is n(m) a composite number?
False
Suppose 0 = -3*q + 409 + 443. Suppose -x + 9 = -q. Is x composite?
False
Let f(m) = -36*m**3 - 2*m**2 + m + 2. Let l be (-152)/57 + (-2)/6. Is f(l) composite?
False
Is 70/(-42) + 2 - (-1478)/3 composite?
True
Let i = -63 + 66. Suppose 2579 = 2*l - x, 2*x + 3858 = i*l - 3*x. Is l composite?
False
Suppose -7*h + 1 = 1. Suppose 2*j = 4*r - 3770, h*r + 3*j = -5*r + 4718. Is r a composite number?
True
Let l = -651 + 2446. Is l composite?
True
Let g = -12 + 15. Suppose g*c + 5*n - 25 = c, -40 = -3*c - 5*n. Is c a prime number?
False
Let v(y) = -y**3 - y**2 - 19*y - 17. Is v(-11) a prime number?
False
Let u(c) = 101*c**3 + 3*c**2 - 15*c + 36. Is u(7) a prime number?
True
Let k(p) = 9*p**2 - 8 - 18*p**2 + 12*p**2 - p**3 + p. Let q be k(-6). Suppose -4*h = -q + 62. Is h a prime number?
False
Suppose -9218 = -3*b + 7921. Is b a composite number?
True
Suppose 0 = 5*x - q - 26, 0 = 3*x + x + 3*q - 17. Suppose 0 = -2*d - 3*v + 279 - 19, 0 = -x*d + 3*v + 671. Is d a prime number?
False
Suppose 5*h = 2*r + 7, 5*r = -5*h + 55 + 15. Suppose -5*w - r + 34 = 0. Suppose 3*g + 181 = 5*n, g - 21 = w*n - 198. Is n a prime number?
False
Suppose 7397 = 23*g - 177086. Is g prime?
False
Suppose 226 + 14 = -4*d. Let o = -29 + 18. Let a = o - d. Is a a prime number?
False
Let v = -873 + 1594. Is v composite?
True
Let n(u) = -3*u + 27. Let z be n(10). Let l(t) = -101*t - 8. Is l(z) prime?
False
Let b(g) = 484*g + 65. Let x(l) = 727*l + 97. Let u(t) = 8*b(t) - 5*x(t). Is u(6) a composite number?
True
Suppose 29*u = 24*u + 65. Let s = 36 - u. Is s a composite number?
False
Suppose 12*l + 2 = 11*l, -2*l - 19828 = 2*g. Let k = 13967 + g. Is k a composite number?
True
Suppose -3*q - 20 = -2*t - 7*q, -5*q = 2*t - 25. Let u be (1 - t/3)*6. Is 55 - -1 - u/2 prime?
True
Suppose 5*t = 4*v - 6375, 5*v - 4*t - 8015 = -7*t. Suppose -4*n = -4*s - v, 5*s + 333 - 1888 = -4*n. Is n prime?
False
Suppose 16 = -3*h + 5*i + 4879, -5*i + 6484 = 4*h. Is h a composite number?
False
Let c(b) be the second derivative of 1/3*b**3 - 3/2*b**2 - 12*b + 9/10*b**5 - 1/3*b**4 + 0. Is c(3) a composite number?
True
Let f(l) = -10*l**2 + 2 - l + 11*l**2 + 4*l - 755*l**3. Is f(-1) a composite number?
True
Suppose -146 = -5*k + 204. Suppose k = -8*y + 3*y. Let x(a) = a**2 - 7*a - 7. Is x(y) a prime number?
False
Suppose 0