rue
Let a(l) = 15*l + 5. Let z(f) = -135*f - 45. Let j(r) = -55*a(r) - 6*z(r). Is j(-8) composite?
True
Is (-15267 - 0)/3*(-5 - -4) prime?
False
Is 758/3*(21/6 - 2) a prime number?
True
Let i(p) = -107*p - 2. Suppose -5*f - 1 = t, -5 + 0 = 5*t - 3*f. Let n be i(t). Suppose -n = -r + 58. Is r composite?
False
Let i be -4*(0 - (-1)/2). Let a(m) = -32*m + 3*m**2 + 14*m - 2 + 18*m - 2*m**3. Is a(i) a prime number?
False
Let z be (-18 - -15)/((-3)/1847). Let k = z + 1800. Is k a prime number?
False
Let j(q) = -24*q**3 + 7*q**2 + 3*q - 59. Is j(-8) composite?
False
Let n = -19 + 23. Let m be (-6)/n - (-68)/(-8). Is (1 - -24) + m + 6 prime?
False
Suppose 5*r - 38 + 8 = 0. Suppose -r*x = -x - 785. Is x a prime number?
True
Suppose 12 = -24*a + 20*a, -a - 7117 = -2*o. Is o prime?
True
Suppose -3*b - 23 = 2*l, 2*l - b = 4*b - 47. Let u = 20 + l. Suppose u*y = 205 + 31. Is y a prime number?
True
Let b(i) = -118*i - 12. Let l be 55/10*4/(-2). Let d be b(l). Suppose 5*j - 2*m - 783 = 0, -5*j - 2*m + d = 519. Is j composite?
True
Suppose -2*b + 5 = 1. Suppose -4*f = b*h - 429 - 223, h - 314 = f. Is 2 - 6 - (7 - h) a prime number?
True
Suppose 2*x - 3*x = 3*s - 96198, -2*s = -3*x - 64132. Is s a composite number?
True
Let t(n) = n**3 - 4*n**2 + 3*n - 7. Suppose 2 = v - 3. Is t(v) a prime number?
False
Let y = 1893 - 1244. Is y prime?
False
Suppose -3*z - 2 + 17 = 0. Suppose z*p + 4*p - 1098 = 0. Is p a prime number?
False
Suppose 9*d = 7*d - 54370. Is 4/(-10) - d/25 prime?
True
Let m(k) = k**3 + 5*k**2 + 3*k + 1. Suppose -u - 8 = 3*u. Let j be m(u). Suppose j*z - 115 = 2*z. Is z composite?
False
Suppose 8*c = 6*c + 8402. Is c a prime number?
True
Let h(s) = -s**2 + 13*s - 12. Let v be h(12). Let g = -34 + 93. Is (-4 - -3) + v + g prime?
False
Suppose 19*c = 531007 - 15746. Is c a prime number?
False
Let a = 4046 - -4977. Is a composite?
True
Suppose 36 = -11*n + 7*n. Let v(i) = -i**3 - 8*i**2 - 10*i + 10. Is v(n) a prime number?
True
Let i = 44230 - 23529. Is i composite?
True
Is (3217/(-2))/(52/(-8) - -6) a composite number?
False
Let u = -1585 - -999. Let x = u - -1013. Is x a composite number?
True
Let r(u) = u + 5. Let o be r(0). Suppose 340 = 5*g - 2800. Suppose -w - g = -o*w. Is w a composite number?
False
Suppose -5*g = -5*o + 165, -3*g = o + 2*o - 69. Let d(k) = k**3 - 29*k**2 + 40*k + 11. Is d(o) a composite number?
False
Let p be (13 + 2)*(-1)/(-3). Let t(f) = -5 + p - 38*f - 165*f. Is t(-1) prime?
False
Suppose -2*x = -5*r + 144465, -7*x + 3*x = -20. Is r composite?
True
Let m be 4/(-26) + (-80874)/78. Let x = 656 - m. Is x a prime number?
True
Is (3/(-6))/(2 + (-198039)/99018) a prime number?
False
Let z = -32051 - -64138. Is z a composite number?
True
Let q(d) = -167*d + 830. Is q(-9) a prime number?
True
Let j be 13294 + (22/(-26) - 8/52). Suppose 0*t - j = -9*t. Is t composite?
True
Suppose -4*g - 7472 = -4*b - 176, -5*b - g = -9132. Let i = b - 1229. Suppose -2*k = k - i. Is k a prime number?
True
Suppose 2*q + 32 = q. Let c = -53 - -116. Let n = q + c. Is n a prime number?
True
Suppose 8*l + 5*i = 3*l + 1625, 3*l - 4*i - 1010 = 0. Let v = l + -84. Let y = v + -157. Is y a composite number?
False
Is 433024/160 - (-6)/10 prime?
True
Suppose 9*k = -8*k + 272. Suppose -k*b + 2110 = -14*b. Is b prime?
False
Let z(t) be the second derivative of t**4/12 - 3*t**3/2 + 13*t**2/2 - 2*t. Is z(-8) a prime number?
True
Let j(m) = m**3 + 7*m**2 + 8*m + 12. Let b be j(-6). Let c(x) = -2*x + 157. Let u be c(b). Let v = -74 + u. Is v a composite number?
False
Let f be 10/15 - (-8)/6. Let c(l) = -l**f + 9*l**2 + 8 - 1 + 9*l - l**3. Is c(9) a composite number?
False
Let r = 18 + -27. Let m(c) = c**2 + 10*c + 13. Let i be m(r). Suppose -a - 3*o + 65 = 0, 0 = -i*a + 5*o - 2*o + 200. Is a prime?
True
Let r(t) = t - 22. Let c be r(10). Is (718*c)/8*(-1 - 0) prime?
False
Suppose -4*l + 9353 = -16*m + 19*m, 2*l = -2. Is m composite?
False
Suppose 2*b - 3 = -1. Suppose -d = b - 4. Is 151 + 6/d + 4 composite?
False
Let o be 8/(5*3/210). Let m be (-1 - 2) + 2 + 31. Let q = o - m. Is q a composite number?
True
Suppose 3*z + 8 = -1, -160 = 5*k - 5*z. Let m be (4 + k/(-5))*1. Is (-4 + 5 - 3) + m prime?
False
Let s(d) = -d**2 - 37*d + 67. Let t = -14 + -13. Is s(t) composite?
False
Let g(y) = 143*y**3 + 5*y**2 + 4*y + 29. Is g(6) a prime number?
True
Let k = -22 - -34. Let u = k - -15. Suppose 5*y - 29 = -i + y, 5*y - u = -i. Is i prime?
True
Let d = 6749 + -2956. Is d composite?
False
Suppose -5*x = -6*c + 5*c - 14851, 0 = 5*c - 20. Is x prime?
True
Let q = -4 + 7. Suppose -q*v + 1966 + 107 = 0. Is v a prime number?
True
Suppose 12*g = 72469 + 90167. Is g prime?
True
Let a(n) = -n**2 - 11*n - 2. Let y be a(-10). Let c(x) = x**3 + 8*x**2 + 4*x + 5. Is c(y) composite?
False
Let z(g) = 4*g + 24. Let p be z(-6). Suppose p = -4*n - 72 + 460. Is n prime?
True
Let m = -8 - -17. Let f = 14 - m. Suppose f*v - 3*c = 1337, -2*v = 2*c - 322 - 200. Is v prime?
False
Let z = 11377 + -3071. Is z prime?
False
Let i(j) = -j**3 + 4*j**2 + 7*j - 6. Suppose -5*m = -2 - 23. Let y be i(m). Let b(x) = 18*x**2 + 2*x + 5. Is b(y) a prime number?
False
Let i = 147 + -149. Let x(d) = -107*d - 3. Is x(i) composite?
False
Suppose -2*a = 3 - 5. Let c be 17 + -16 - a*-3. Suppose -c*d = -9*d + 20, 0 = -2*n - 4*d + 132. Is n prime?
False
Let c(n) = n - 8. Let a be c(12). Suppose 586 + 1002 = a*s. Is s composite?
False
Let j be 3/6 - (-154)/4. Suppose -3*o - o = -2*d - 12, 0 = -5*d + o - j. Let n(y) = y**2 + 3*y - 1. Is n(d) a composite number?
True
Let w(n) = -2*n + 26. Let f be w(8). Is ((-8)/f)/((-2)/1255) composite?
True
Is 1/3 + (-22678)/(-51) composite?
True
Let m(a) = -413*a - 4. Let q be m(-2). Suppose 3*r + q = 4275. Is r a composite number?
False
Let h = -12583 + 20940. Is h composite?
True
Let q = 32 + -9. Let o = 31 - q. Is ((-209)/(-4))/(2/o) composite?
True
Suppose -166*q - 101545 = -171*q. Is q composite?
True
Suppose 0 = -2*q - 4*j + 8, -3*j - 4 = -q - 0*q. Let t(d) = -11*d - 9. Let u(m) = 10*m + 8. Let z(l) = q*u(l) + 3*t(l). Is z(6) composite?
False
Let d = -1055 + 662. Let x be 0/(-2) - (7 + d). Is x/5 + (-1)/5 prime?
False
Suppose -6*w + 15 = -15. Suppose w*z = -d + 2*d - 711, -679 = -d - 3*z. Is d a composite number?
False
Let h be (-1)/6 - (-124)/24. Suppose 5*c = -10*a + h*a + 335, c = 4*a - 248. Let w = a - 32. Is w a composite number?
False
Let b(g) = -871*g - 102. Is b(-9) a prime number?
False
Is 929872/8 - 25/(-5) composite?
False
Let p(i) be the first derivative of i**5/60 - i**4/3 + 11*i**3/6 - 5*i**2 - 13. Let q(g) be the second derivative of p(g). Is q(14) composite?
True
Is -6817*((-6)/(-14) - (-720)/(-504)) composite?
True
Suppose 1 = -5*u - 4. Let a = 40 - u. Suppose 5*c = a + 9. Is c prime?
False
Is (16017/(-15))/((-10)/50) prime?
False
Let t(w) = 2 - 4*w - w - 2*w + 6*w. Let q be t(8). Is 81/q*-96 + 1 a prime number?
True
Let s(w) be the third derivative of 83*w**4/24 + w**3/3 - 3*w**2. Is s(3) prime?
True
Let b be (-8)/(-3)*((-10)/(-4) - 1). Suppose -b*z = -8*z + 6260. Is z a prime number?
False
Let q be 2/10 + 3006/45. Suppose 2*k - q = -13. Suppose -n = -40 - k. Is n prime?
True
Let x(i) = 2*i**2 - 6*i + 9. Let v = -20 + 27. Is x(v) prime?
False
Is 6/(-10) - (-1284876)/135 composite?
True
Let p be (-151 - 5)/((-3)/314). Suppose 4*i - 4 = 0, -4*t + i + 3*i + p = 0. Is t prime?
False
Let n(m) = -1 + 1 + 2*m + 146*m**2 - 5 - 6. Is n(4) a prime number?
True
Let m = 2281 + -1418. Is m a composite number?
False
Suppose -180*c = -162*c - 2694402. Is c prime?
True
Suppose 2*y - 12772 = 3*t, 305*y - 3*t = 302*y + 19161. Is y a composite number?
False
Suppose 0 = c + 4*k - 1027, 4*c - 5518 = k - 1376. Suppose 4*o = d + 17 + 2, 0 = -4*d + 4. Suppose h - 1699 = -o*z - h, 3*z = 4*h + c. Is z a composite number?
True
Let f(l) = l**3 + 6*l**2 - l + 4. Let a(h) = h**3 - h**2 - 6*h + 6. Let w be a(3). Suppose w = -0*c + c - 3*s, -2*s = 8. Is f(c) prime?
False
Let w(h) = -2*h - 5. Let c be w(0). Is c/50*-4434 - 2/5 a composite number?
False
Let f = 1 - -11. Suppose -4*x + x - f = 0. Is 1/(x/(-324)) + 4 composite?
True
Let g = 20 + -20. Suppose 2*r - 142 - 362 = g. Is r + (-3)/1 - -2 composite?
False
Let t be 8/28 + (-309)/(-21). Suppose 2*l - 1214 = -l - 4*w, 3*w - t = 0. Suppose