r?
True
Let w = 2 + 2. Suppose 2*d + 3 = 11. Suppose 2 = -d*u + 6, 0 = w*t - 3*u - 353. Is t prime?
True
Suppose 3*q = -k - 11, -q - 10 = q. Suppose 2*t + 3*m - 314 = 0, 26 = -3*t + m + 497. Is t + k + (3 - 3) composite?
True
Let s(v) be the second derivative of -v**4/12 + v**3/2 + v**2 - 5*v. Let g be s(3). Suppose 69 = 5*h + 2*u - 148, g*u = 5*h - 213. Is h composite?
False
Let p(z) = 19*z - 13. Let r be p(4). Let w = 98 + r. Is w a composite number?
True
Suppose -n + c = 2*n - 53, 3*n - 5*c = 37. Suppose 0*z - 3*z + 5*k = 16, -3*z + n = 2*k. Suppose -4*j + 85 = -z*j. Is j prime?
False
Let v be -1*(-7737)/(-6)*-2. Let x = v - 1218. Is x a prime number?
True
Suppose 3*k = -5*i + 87007, 5*i = -4*k + 41117 + 74899. Is k composite?
False
Suppose 3981 = 2*d - 2543. Let g = d - 2123. Is g composite?
True
Suppose -16360 = 7*x - 3*x. Is (x/(-25))/((-2)/(-5)) composite?
False
Suppose -5*l + 220353 = 2*j, 2*j - 10 = -2. Is l a prime number?
False
Is -7 - -3 - -742*(-2)/(-4) composite?
False
Let n = -21 - -24. Suppose -7*c = -n*c - 5*v - 1576, -2*c - 2*v = -770. Is c prime?
True
Let n = -44 - -46. Is n/(-20)*-2 + 45396/45 a prime number?
True
Suppose -4*y - 3*z = -5597, -591 = -y - z + 807. Is y a prime number?
False
Let c = -6485 + 22978. Is c a prime number?
True
Let o = 16052 - 10474. Is o composite?
True
Suppose -5*g - 2*h = -2*g - 747, 0 = -g - 4*h + 239. Is g composite?
False
Let k = -1077 + 2878. Is k composite?
False
Suppose -190*z + 447 = -189*z. Let v = z + -178. Is v composite?
False
Suppose 4*y + 5*h = 22, 17 = 3*y + 4*h - 0. Suppose 18 = -y*w + 4*o, -w + 3*o - 1 = -5*w. Is 2498/18 + w/(-9) a prime number?
True
Suppose 3*c - 3*f - 6 = 6*c, c + 5*f + 10 = 0. Let v(d) = -17*d**3 + 3*d**2 - 3. Let u be v(-3). Suppose c = -w + 4*w - u. Is w a prime number?
False
Let g = -22 + 24. Suppose g*j = -2*j + 1972. Is j a composite number?
True
Let y(d) = 4*d - 12. Let h be y(5). Is (4/h - (-1774)/12)*3 a composite number?
True
Let h(k) = -23*k**2 + 19*k - 6. Let j(r) = r**2 + r + 1. Let p(y) = -h(y) - j(y). Is p(-9) prime?
False
Suppose -j = 3*j - 1144. Suppose -4*w + 0*t - 2*t = -j, 3*w - 209 = 4*t. Is w a composite number?
False
Let t(i) = -i**3 - 21*i**2 - 7*i - 81. Is t(-22) prime?
True
Suppose -i + 6 = -2. Let z(r) = -125*r - 13. Let p(w) = w + 1. Let k(x) = -2*p(x) - z(x). Is k(i) a prime number?
False
Let x be 5/15 + 4/(-3). Let t(k) = -85*k. Let d be t(x). Suppose v - 72 = d. Is v a composite number?
False
Let d = 35928 + -20249. Is d a composite number?
False
Suppose -4 = r - 8. Suppose r*f = 7 + 1. Suppose -15 = -f*w + 123. Is w a composite number?
True
Let w be -1 + 0 + 0 + 2. Let q = 5 - w. Suppose p = -f + 2*f + 132, 20 = -q*f. Is p composite?
False
Let y(b) = 947*b - 9. Is y(4) prime?
True
Suppose -i = -4*w - 2145, -6990 = -2*i - 2*w - 2660. Is i a composite number?
False
Suppose 3*j = -0*j + 9. Let p = 27 + -11. Is p/12*j + 27 prime?
True
Is -3*13*(-89)/3 composite?
True
Let c(n) = 18*n**2 + 11*n + 26. Is c(19) prime?
True
Let a = 12 - 13. Let r = a + 4. Suppose r*o + 2*s - 358 = 199, -5*o = -s - 937. Is o prime?
False
Suppose 5*k = 2*u - 33, -k - 25 = 4*k. Suppose -20 = -x - u*x. Is (24/36)/(x/942) composite?
False
Let l = -44880 - -96383. Is l a composite number?
False
Suppose -179863 = -25*z + 197662. Is z composite?
False
Suppose -4203 = -2*x - r, -6*r = -x - 2*r + 2079. Suppose -5*n + 656 + x = 0. Is n a composite number?
True
Let w(c) = c**3 + 17*c**2 + 6*c - 33. Let y = 17 + -33. Is w(y) composite?
False
Let u = 314 + -137. Let r = 532 - u. Is r composite?
True
Let d(a) = -4*a**2. Let b be d(1). Let f(r) = r**2 + 6*r + 8. Let i be f(b). Suppose i = -5*g + 3*g + 5*x + 880, 0 = -2*x + 4. Is g a prime number?
False
Suppose 2*i - i = 4*v - 50853, -4*v + 2*i + 50854 = 0. Is v prime?
True
Suppose 2*b + 4*d = 7914, 8014 = 4*b + d - 7821. Suppose -15570 = -5*g + 5*q, -4*g + b = q - 8472. Is g prime?
True
Let s(u) = 2*u**3 + 69*u**2 + 4*u - 26. Is s(-29) prime?
True
Suppose 0 = 449*f - 444*f - 1675. Is f a composite number?
True
Let r be (-1)/(-3)*((-2 - -15) + 2). Suppose c - 2*c + 715 = -4*u, 5*c - r*u = 3590. Is c prime?
True
Let u = -586 - -3308. Is u prime?
False
Suppose -2*x = -x + 4. Let l be 7/x*(-6 + -50). Suppose -3*n + l = -193. Is n a prime number?
True
Suppose 2*x = -2*d + 4*x + 10688, 2*x = 2. Is d a composite number?
True
Let r = 32055 - 22442. Is r a composite number?
False
Let w be (1*2)/((-2)/(-4)). Let h = -1270 + 1905. Suppose -b + h = w*b. Is b a prime number?
True
Suppose 2*z - 5*w + 1032 = 2561, 3*w = 15. Let s = -554 + z. Is s a composite number?
False
Is ((-2911)/(-2))/(56/112) a prime number?
False
Let h(i) = -19*i**2 - 4*i - 4. Let d(z) = -20*z**2 - 3*z - 3. Let b(a) = -4*d(a) + 3*h(a). Let j(s) = -s**3 - s**2 - s + 1. Let r be j(0). Is b(r) composite?
False
Let w(m) = 419*m**2 + m - 61. Is w(7) prime?
True
Let g(t) = -105*t + 12. Let w be g(-10). Suppose -2*m - z - 3*z + w = 0, -3*m - 4*z + 1595 = 0. Is m prime?
False
Suppose 3*j - 9 = -4*w + w, -3*w + 1 = j. Let s(l) = 46*l - 5 + j + 36*l. Is s(11) a composite number?
True
Let j = -23 - -73. Suppose 0 = -r + j + 32. Is r composite?
True
Let h = 3738 + -1405. Is h prime?
True
Let d be (29 - 4/2) + -4. Let f = 71 + d. Is f prime?
False
Suppose -36183 = -5*d - 4598. Is d a composite number?
False
Suppose -19*x = -6*x - 26. Suppose d - 707 = x*t, 953 + 1159 = 3*d - 3*t. Is d composite?
False
Let b = -9 - -10. Suppose -4*k + 3*t = -5, -4*k + 0 = -t + b. Is 37/(3 + -1 + k) a prime number?
True
Suppose -5*d + 7 + 3 = 0. Suppose -5*z + 791 = -2*r, -5*r - 139 = -d*z + 169. Is z a composite number?
True
Let c(i) = 2*i - 9. Let w be c(6). Suppose 2*z + 3*r = 982, -5*z + r = -159 - 2296. Suppose -w*k + 306 = 5*u, 0 = -5*k + u - 3*u + z. Is k prime?
True
Let u = -111 + -396. Let o = u + 806. Is o a composite number?
True
Let t(u) = -u**3 - 9*u**2 + 3*u + 4. Let d be t(-9). Let j = 28 + d. Suppose 0 = 3*v + j*q - 281, 8*q - 3*q + 10 = 0. Is v prime?
True
Let o(z) = z + 21. Let r be o(-17). Suppose -a + 1585 = r*a. Is a a prime number?
True
Let a(r) = 1. Suppose -19 = 3*i - 4*o, -3*o + 8 = i - 3. Let b(h) = -h**2 + 12*h - 8. Let p(s) = i*b(s) + 4*a(s). Is p(-9) a composite number?
True
Let r(g) be the third derivative of 67*g**8/6720 + 5*g**4/24 - 4*g**2. Let l(q) be the second derivative of r(q). Is l(1) composite?
False
Let q be (258/(-4))/((-3)/(-8)). Let c = -105 + 426. Let d = c + q. Is d composite?
False
Let p(n) = -n**3 + 60*n**2 - 47*n + 119. Is p(53) composite?
False
Suppose -422308 = 85*c - 1318463. Is c prime?
False
Let i be (8 - 130696/(-48)) + 1/6. Suppose i - 50 = y. Is y composite?
True
Let a be (-2)/(-8) + 25238/8. Suppose 10*v + a = 15*v. Is v prime?
True
Suppose 0 = o + 3*v - 560 - 816, -5*o - 4*v = -6825. Is o prime?
True
Let b(j) = 0*j**2 - 6 - 7*j + 7*j**2 + 16 + j**3. Let f be b(-8). Suppose f*w = -w + 69. Is w prime?
True
Suppose 5*a + 48 = -2. Let q be ((-20)/25)/(2/a). Suppose -2*o + 3*f + 23 = -0*o, -o = f - q. Is o prime?
True
Let s = 791 + 2460. Is s composite?
False
Suppose 126*f = 123*f + 8583. Is f composite?
False
Let r(w) = 1255*w**3 + 3*w**2 - 6*w + 19. Is r(3) a composite number?
True
Is ((-7593)/2)/(54/(-36)) a composite number?
False
Suppose -4*n + 2*t + 8146 = 0, 0 = -5*n - 4*t - 3308 + 13523. Is n a prime number?
True
Let a(g) = -21 + 2 - 5*g**2 - 2*g**3 - 7*g - 2*g**3. Is a(-8) a prime number?
False
Let o be 26*9/3 + 1. Let l = o + -27. Let z = l - 31. Is z composite?
True
Let a(n) = 5*n**2 - 18*n - 50. Is a(-21) a prime number?
False
Let l(f) = -12*f + 3 + 2 + 0 - 94*f. Is l(-12) prime?
True
Suppose -131702 + 3708 = -2*l. Is l a prime number?
True
Let q(i) = -i**2 - 9*i - 12. Let j be q(-6). Let b = 14 - 5. Let y = b + j. Is y a prime number?
False
Let s = 1049 + -502. Let p = s - 147. Let o = p + -197. Is o a composite number?
True
Let h(r) = 4*r - 20. Let b be h(6). Suppose 5*o + b*u - 1655 = 0, 6*o + u = 4*o + 662. Is o a composite number?
False
Let p = -1283 - -2500. Is p prime?
True
Let q(j) = 804*j**2 + 8*j + 15. Is q(-2) prime?
False
Is (((-790)/(-6))/(-5))/(2/(-174)) prime?
False
Let i = -18 - -26. Suppose -5*d + i*d = 957. Is d prime?
False
Suppose q + 2*o - 3*o = 6, 0 = 3*q - 4*o - 17. Let a(y) = 22*y + 9. Is a(q) a comp