r?
True
Let r = -10 + 13. Suppose -x - 3*b + 20 = 3*x, -r*b = -x + 5. Suppose -5*p + u = -12580, -7*u + 12605 = x*p - 3*u. Is p a prime number?
False
Let l(g) = -g**3 - 2*g**2 - 4*g - 21. Let r be l(-3). Suppose r = -5*z + 99611 + 3494. Is z a prime number?
False
Suppose -2*a + 186092 = 2*k, 4*k - 189902 = -2*a + 182268. Is k a prime number?
False
Let h(n) = -n**3 - 12*n**2 - 8*n + 22. Suppose -6*j - 165 = -63. Is h(j) composite?
True
Suppose 50830 = 34*m - 21*m. Let h = 10689 - m. Is h composite?
False
Suppose 0 = 5*p + 4*y - 232, 8*p - 3*p + 5*y - 235 = 0. Suppose 5*x + 2*b + 4 = -p, -2*x = b + 19. Is (-14)/(((-4)/(-2))/(x - 469)) prime?
False
Let x(u) = 156*u**2 - 162*u + 4007. Is x(30) composite?
False
Suppose 0 = -2*t + 229 - 85. Is (-6)/(t/796)*-3 composite?
False
Suppose -33*d = -36*d + 130821. Is d a composite number?
False
Let j = 207 - 139. Suppose 0 = 6*h + j + 28. Let v(x) = x**3 + 18*x**2 + 8*x - 2. Is v(h) prime?
False
Let m(i) = -6333*i - 3361. Is m(-14) a composite number?
True
Suppose -26*y - 31*y = -55*y + 4*d - 112206, -2*d = 0. Is y composite?
True
Let u = -8398 + 57591. Suppose 7377 - u = -8*r. Is r a composite number?
False
Let s(q) = 26*q**2 + 35*q + 5. Is s(6) prime?
True
Suppose -5*i - 2*a = -62245, -4*a - 6045 + 55829 = 4*i. Is i a prime number?
True
Suppose -2*q = j + 89, 5*q = -0*j - 3*j - 222. Let y = q - -54. Suppose 14*f - y*f = 1055. Is f prime?
True
Is -1980728*((-120)/(-64) + -2 + 0) composite?
False
Suppose 0 = 13*y - 10*y - 225. Let l be 2043*(y/(-9) - 3) + -3. Let r = -16352 - l. Is r a composite number?
True
Let d be ((-3)/(3/61))/((-80)/44560). Suppose 19*x - 453250 = -d. Is x composite?
False
Let c = -770 + 1376. Suppose z + 215 = c. Is z composite?
True
Suppose 3*w + 3*c - 1506 = 0, -510 = -w - 5*c + 6*c. Let n be (-1)/3 - w/(-6). Suppose -n*f = -89*f + 3155. Is f composite?
False
Let n = -15877 + 25934. Is n composite?
True
Let q = -33 + 38. Suppose 3*k + 1143 = 5*f - 1056, 4*f + q*k = 1774. Suppose -3*s - 2*r + f = -2*s, 2225 = 5*s + 5*r. Is s composite?
False
Suppose 4*s - 6963 = 3*m - 64348, 2*s + 38256 = 2*m. Suppose -4*x + j + m = 0, x - j - 14344 = -2*x. Is x a composite number?
False
Suppose -20*u + 22*u - a - 399556 = 0, -5*u + 998875 = 5*a. Is u a composite number?
False
Let o be (2 - (7 - 4)) + 14. Suppose -4927 - 4446 = -o*b. Suppose -7*t - b = -14*t. Is t a composite number?
False
Is 173996/6*(291/776)/((-2)/(-8)) prime?
True
Suppose 0 = -2*l - 2*l + 80. Is (-15349)/(-3)*10/(l/6) composite?
False
Let r(m) = -m**3 + 3*m**2 - m + 4. Let k(j) = 3*j - 18. Let t be k(7). Let i be r(t). Let y(h) = 4254*h**3 - 3*h**2 + 3*h - 1. Is y(i) a prime number?
True
Let c(a) = 377*a**2 + 4*a + 8. Suppose 0*u + 5*u + 32 = 4*f, -4*f + 32 = -4*u. Let m = f + -11. Is c(m) prime?
True
Suppose m + 71 = -5*i + 2*m, -5*m = 4*i + 80. Let h = i + -6. Is (-23475)/(-9) + (-14)/h a prime number?
True
Let s(q) be the third derivative of q**6/15 - 2*q**5/15 - q**4/24 + q**3/3 - 13*q**2. Let w(c) be the first derivative of s(c). Is w(-11) composite?
False
Is (-1)/(-1*(-11 + 3)/(-218488)) a composite number?
True
Let c(w) = -w**2 - 2*w + 1. Let o(x) = -35*x**2 + 5*x - 5. Let z(l) = -3*c(l) - o(l). Let a = -3 - 0. Is z(a) prime?
False
Let u be ((-200)/32 + 7)*4. Suppose 0 = v + 2*k - 8045, -v - u*k = 2*k - 8054. Is v a prime number?
True
Let x(d) = -20040*d + 9263. Is x(-20) prime?
True
Let y be (3654/(-15))/(-2 + 1872/945). Suppose -4*f + r + 50443 = 0, 0 = -2*f - 5*r + y + 12438. Is f composite?
False
Let c = 1469681 - 759732. Is c prime?
False
Suppose 2*m = 44969 - 8228 + 105133. Is m prime?
True
Is (-2 - -149086) + 1155/(-77) composite?
False
Suppose 4*d + d - 4075 = -5*x, 12 = 3*d. Let o be ((-3)/(-9))/((-19177)/(-2397) - 8). Suppose -3*m + o = c, c + 3*c - x = -3*m. Is m a composite number?
True
Let a = 375 + -373. Is (-1 + -1)*((-126)/4 - a) a composite number?
False
Let b(y) = -10*y + 1685. Let g be b(0). Suppose 0 = 13*s + g - 26333. Let j = s + 715. Is j a prime number?
False
Suppose 23 - 11 = 4*h. Let g(b) = 55*b**3 - b**2 - 2 + 112*b**3 + 141*b**3 + 233*b**3 + h*b. Is g(1) a composite number?
False
Let k = 133 + -113. Suppose -s - 686147 = -k*s. Suppose 4*d = -3*v + s, 4*d + 0*d = 3*v + 36119. Is d composite?
False
Suppose 20 = 3*k + 2*k. Let c be 279/(k*2/40). Suppose x - 1384 = c. Is x composite?
True
Let j(y) = 3*y - 39. Suppose 9*x - 123 + 15 = 0. Let g be j(x). Is 1398 - ((4 - 2) + g) prime?
True
Suppose -2*d + 4*f = -65 + 23, -2*f = -5*d + 121. Suppose 0 = v - 4*h - 3 - 2, 2*v - h + d = 0. Let k(j) = 3*j**2 + j - 31. Is k(v) a composite number?
True
Suppose 3*y = 3*t + 53001, -556 = -3*t - 550. Is y composite?
False
Suppose 5*c - 50 = -5*o, 8*o - 3*o - 3*c = 18. Suppose -11 = -5*m - o. Is (-212329)/(-91) - (-4)/(-14)*m a prime number?
True
Let h = 58680 + -21835. Suppose -2135 = -10*w + h. Is w composite?
True
Suppose -12*j - 1621757 = -113*j. Is j a prime number?
True
Let b(l) be the first derivative of -3*l + 8*l + 23 + 18*l**2 + 2 + 0. Is b(8) composite?
False
Suppose -2*m - 4*r = -34, 5*r - 36 = -5*m + 34. Suppose 0 = -m*b + 5*b + 88986. Is b a composite number?
False
Let d be 1873 - (2 + 0) - (-4 + 4). Suppose 0 = 11*j + d + 758. Let r = 180 - j. Is r composite?
False
Let b = 4625 - -56806. Is b prime?
False
Let g(u) = u + 18. Let t be g(-16). Suppose -26 = -t*w + 5*l, -3*w + 14 = 4*l - 2. Let b(c) = 25*c + 11. Is b(w) a composite number?
False
Let d(b) = 72*b**2 + 14*b + 54. Let r be d(-15). Suppose -10*m + r = -1486. Is m prime?
True
Let c(k) = 634*k**2 + 57*k - 248. Is c(9) a prime number?
False
Let k(x) = 4*x**2 - 195*x - 486. Is k(-79) a prime number?
True
Let d = 851683 + -402854. Is d a prime number?
True
Let g(t) = -132*t**2 - 9*t - 7. Let a(m) = m**2 + m + 1. Let c(i) = -3*a(i) - g(i). Suppose 10*d + 92 = h + 76, -d - 25 = -4*h. Is c(d) a composite number?
False
Let n(x) = -3235*x - 3645. Is n(-34) a composite number?
True
Suppose -t - 638372 - 224196 = -5*w, -t = 3*w - 517536. Is w composite?
True
Suppose 162*c + 35854723 = 137197549. Is c composite?
True
Suppose -3 = 4*r - 23. Suppose -r = -6*k + 61. Suppose -16*n + 4790 = -k*n. Is n a prime number?
False
Let r(x) = -21*x - 98. Let w be r(-15). Suppose -4*y + 5907 = -w. Is y a prime number?
True
Let c = 188236 - 134159. Is c a prime number?
False
Let q be 1*3*(-12)/(-3). Suppose 5*t - 247 = -q. Suppose -51*u = -t*u - 1180. Is u a composite number?
True
Is 5602*15/12*(-19)/((-285)/18) a composite number?
True
Let c = 6 - -19. Suppose -c*t + 30*t = 10. Suppose -t*g - 4*a + 438 = 0, 4*a + 398 = g + g. Is g prime?
False
Suppose -2*w + 12 = 2*w, -5*b - 3*w + 869 = 0. Suppose 20*d = 24*d - b. Is d prime?
True
Let y(r) = 4*r**3 - 4*r**2 - 4*r + 11. Let f be 0 + -2 + 10 + -5. Let s be 9/f*4/6 - -1. Is y(s) a prime number?
True
Let d(i) = 14506*i + 15. Let h be d(1). Suppose -v + h = 12*v. Is v a prime number?
True
Let a(j) = j**3 - 19*j**2 + 16*j - 27. Let z be (-6)/((-36)/30) + (-1 - -15). Is a(z) a prime number?
True
Suppose -5*y + 44 = -0*y + 3*f, -4*y = -3*f - 19. Is (19 - (-20)/5)*y composite?
True
Let n = 66 - -254. Suppose n = -12*s + 6740. Is s composite?
True
Suppose 4*y + 2*n + 53494 = -11844, 0 = -4*y - 5*n - 65347. Let b = -11630 - y. Is b a prime number?
True
Let t(g) = g**2 + 3*g - 6. Let y be t(3). Let r(u) = -u**3 - 9 - 21*u**2 + 13*u**2 + y*u + 6*u**2. Is r(-10) composite?
True
Let i be 6*4/(-8) + -21. Let z = 2010 + i. Suppose 7*g - 10*g = -z. Is g composite?
True
Let f(c) be the second derivative of 143*c**4/6 - c**3/6 + c**2 - 24*c + 2. Is f(1) a composite number?
True
Let d(i) = 7*i**3 + 19*i**2 - 60*i + 49. Is d(14) composite?
True
Let v be 5/10*2 - 42. Let h = v + 119. Suppose 5*u = 2*u + 3*b + 174, -u + 5*b = -h. Is u composite?
False
Let s = 1824103 + -1178972. Is s prime?
True
Suppose -4*v = 114 - 2. Let m = v - -108. Suppose -3*y = m - 2717. Is y prime?
False
Let b(k) = -3*k + 31752. Let u be b(0). Let z = u - 20849. Is z a prime number?
True
Is ((-69188)/16 + (-25)/5)/((-1)/8) a composite number?
True
Let n be 2*(-2)/(16/11404). Let r = n + 8418. Is r prime?
False
Let k(j) = -5*j**3 + 65*j**2 + 36*j - 11. Let z be k(11). Suppose 3*i + 1 - 10 = -3*d, 3*d - 13 = -4*i. Suppose -z = -y - i*y. Is y composite?
True
Let c(k