. Let u(o) = 2*o - 7. Let v be u(5). Let g be y(v). Let n = g - -1900. Is n composite?
False
Suppose 1 - 4 = -3*b, x - 419 = -2*b. Suppose p + 15818 = 5*r, r + 5*p + x - 3565 = 0. Is r prime?
True
Let q be ((-20)/6)/(16/(-24)). Suppose q*j = -20, -2*h - 514 = -4*h + 3*j. Is h composite?
False
Suppose 2*o - 124 = -4*l + 8*l, 288 = 5*o + l. Suppose 5*i = -0*i - 2*v - 19, -3*i = 4*v + 3. Let p = o + i. Is p a composite number?
False
Let d(f) = 113*f**2 + 7*f - 1. Let o be d(-5). Suppose -3*w + 844 = -o. Is w composite?
True
Let t(o) = 59*o - 25. Let m(f) = -f + 10. Let a be m(2). Is t(a) composite?
True
Let b = -170 + 165. Is -1*(-1372 + b + (3 - -1)) a composite number?
False
Suppose 19*y + 630 = 21*y. Let t = y - 188. Is t composite?
False
Is (19/2 + -4)*26 a composite number?
True
Suppose u - 3289 = b + 3599, -3*u = b - 20664. Is (2/6)/(28/u) a composite number?
True
Suppose -2*g + 2*l + 1080 = 0, -3*g - 3*l = -8*l - 1616. Suppose 4*a = t - 6*t + 716, 3*a + 5*t = g. Let y = a - -623. Is y a composite number?
False
Let u be 4/(-20) + 342/10. Suppose -1329 = 31*x - u*x. Is x a prime number?
True
Let z be 1/2*12 + -1. Suppose 0 = 4*w - w - 6. Suppose -z*b + 0*b = 4*r - 15, -5*r - 11 = w*b. Is b a composite number?
False
Let u(f) = 2*f - 4. Let m be u(4). Suppose m*h = -h + 1455. Is h prime?
False
Suppose -6*l = -4*l - 2*k - 66, 0 = -2*l - 4*k + 90. Is l prime?
True
Suppose -15*f = -12*f + 3*w - 42588, -5*w = 3*f - 42598. Is f a composite number?
True
Suppose -2*q - 4*o - 7 = 3, 0 = -5*q + 4*o - 95. Let g(x) = -x**3 - 13*x**2 - 22*x + 3. Let t be g(q). Let b = t + -488. Is b a prime number?
False
Let x(g) = g**3 - 4*g**2 + 3*g - 5. Let v be x(4). Suppose 3*h - 2*a + v*a - 27 = 0, 0 = h + 2*a - 8. Is 2026/h - (-2)/7 a prime number?
False
Suppose 17*d - 4 = 15*d. Suppose -4*f - 4 = -4*j - 8, 3*j = d*f - 2. Is f + (0 - -3) + 195 a prime number?
True
Is (1150399/122)/(1/2) a prime number?
True
Let w(p) = p + 1. Let k be w(-3). Suppose 4*s - 2*s = i + 1, -3*i + 5*s = 2. Is (k + i)/(4/(-596)) a composite number?
False
Suppose -407*g + 44844 = -395*g. Is g composite?
True
Suppose 2*w - 3*b = 4, -3*b = 4*w - w + 24. Let x = -2 - w. Suppose -x*d = -3*h - 0*d + 875, 2*d - 1176 = -4*h. Is h prime?
True
Let c = 3 + 5. Let d be ((-56)/2)/(c/44). Let s = 365 + d. Is s prime?
True
Suppose 2*l + 431 - 2213 = 0. Suppose l = v + 3*v + 5*g, 0 = 5*v + g - 1119. Suppose 2*m = 74 + v. Is m a composite number?
False
Let p = -130 - -87. Let o = p + 22. Is o*-83*1/3 a composite number?
True
Suppose v - 626 = -q, -4*v + 5*q + 727 + 1777 = 0. Let f = v - 403. Is f a composite number?
False
Let k(r) = 59*r**3 + 15*r**2 + 31*r + 43. Is k(12) composite?
False
Suppose -6*h + h - b + 27 = 0, 2*h + 2*b = 6. Suppose 0*c - h = -3*c. Suppose 4*f = -c*f + 474. Is f composite?
False
Let r(x) = -x**2 - 6*x. Let y be ((-9)/(-2))/(6/(-8)). Let b be r(y). Suppose b = -5*v + 6*v - 509. Is v prime?
True
Let s(i) = -8*i - 277*i**3 + 4*i + i - 1 + i**2 + 2*i. Is s(-1) composite?
True
Let z(a) = 160452*a**2 + 23*a - 22. Is z(1) a prime number?
True
Let x = 801 + -471. Suppose -5*v + 695 = -x. Let m = 54 + v. Is m a composite number?
True
Let o(j) = 13*j**2 + 15*j + 151. Is o(-62) prime?
True
Suppose 4*o = 4*w - 16, 3*o - 14 = -o - 2*w. Let k(s) = 40*s**3 - s**2 - 2*s + 2. Is k(o) a composite number?
True
Suppose -62*l + 11710 = -60*l. Is l composite?
True
Let r be 7/(-126)*-6 - 10/3. Is (-9669)/(-7) + r + (-19)/(-7) prime?
True
Let r(a) = 313*a + 11. Is r(6) a composite number?
False
Let c(q) = -q**2 + 5*q + 4. Let i be c(5). Suppose 0 = -4*s - 5*l + 991 + 1526, -643 = -s - i*l. Is s a prime number?
False
Is (-1962)/((-30)/5) + -4 prime?
False
Let d = -6 + 10. Suppose -4 + 8 = d*k. Let n(p) = 109*p. Is n(k) composite?
False
Suppose -4*u + 59 = -u - m, u - 25 = 3*m. Is (2/3)/(u/12027) prime?
False
Suppose -w = -2, -4*k - 2699 = -4*w + 3561. Is k/(-2) + (-5)/10 prime?
False
Let m(f) = 10350*f**2 - 6*f - 1. Is m(-2) a prime number?
True
Let l(a) = 4*a**3 + 24*a**2 - 116*a + 23. Is l(12) a composite number?
False
Let s(l) = -8*l**2 - 1 - 2*l**2 - 5 - 4. Let d be s(7). Let z = d + 802. Is z a composite number?
True
Suppose 5*z - w - 10 - 20 = 0, 0 = -2*z + 4*w + 30. Suppose 0*g - 13 = -4*g + z*q, -3*g + 3*q + 9 = 0. Suppose g*o = 309 + 169. Is o a composite number?
False
Let w(n) = -110*n**3 + n**2 + 3*n - 5. Let j be w(2). Let y = -580 - j. Is y composite?
True
Suppose 3*b = -k - 7, 2*k + 0*b + b = 6. Suppose 4*w - m - 9 = 0, k*w + 2*m - 5 = -3*m. Suppose -3*f = -2*r + 34 + 31, w*f = 3*r - 100. Is r composite?
True
Let p(n) = n**3 - 3*n**2 + n - 1. Suppose -25 = -3*q - 4*w, -5*q = -2*w + 1 - 8. Let m be p(q). Suppose -m*c - 122 = -648. Is c prime?
True
Let c be (-3316*7)/4*(-12)/14. Suppose 8837 = 7*w - c. Is w a composite number?
False
Suppose -15 = -2*h + 7. Suppose -9*v - 114 = -h*v. Is v a composite number?
True
Let b be (2/(-3))/((-2)/108). Let f be (-1420)/(-6) + 12/b. Suppose 194 = z - f. Is z a composite number?
False
Let i(q) = q**2 + 6*q + 3. Suppose -y - 3 = -30. Let w = 13 - y. Is i(w) a prime number?
False
Let u be (1*-1)/((-5)/15). Let i(b) = b + 6. Let k be i(-6). Suppose u*g - 136 = -9*z + 4*z, k = 5*g - 2*z - 237. Is g composite?
False
Let z(u) = 2*u**2 + u - 5. Let y be z(-3). Suppose y*q - 19971 = q. Is q a prime number?
False
Let p(b) = b**3 + 10*b**2 + 14*b - 11. Let v be p(-8). Suppose u = -v*x + 9866, -4*x + 2*u + 4923 = -2967. Is x prime?
True
Let k be 157/(-3) + 1/3. Let f be (3 + (-1 - 85))*1. Let s = k - f. Is s prime?
True
Let w(f) = 45*f**3 - 3*f**2 + 12*f - 23. Is w(3) a composite number?
False
Suppose -159437 = -3*z + a, 30*z = 35*z + 2*a - 265743. Is z prime?
True
Let c(g) = g + 1. Let o be c(3). Suppose -2*j + o*t + 386 = 0, 5*j - 4*t = 327 + 656. Is j composite?
False
Let s be -2*(-3 + 14/4) - -1. Suppose s = 3*q - 3*x - 231, 2*x + 0*x = 0. Is q a composite number?
True
Suppose 127779 - 302571 = -8*t. Is t prime?
False
Suppose 0 = 89*h - 78*h - 44539. Is h a prime number?
True
Suppose -3*m - 11 = -2*q, 5*q = 4*m - 6*m - 20. Is (q + 1)/((-1)/797) prime?
True
Let r = -23 - -10. Let m be (-3)/2 + r/2. Let f(s) = 7*s**2 - 7*s - 3. Is f(m) composite?
True
Let p = 6726 - 2305. Is p a composite number?
False
Let t = 11 - 7. Let o(c) = 0*c**2 + t*c**2 - 10*c - 4*c**2 + 3*c**2 + 11. Is o(6) a composite number?
False
Let k = 621 + 26. Is k a composite number?
False
Let f(k) = 769*k**2 + k. Let b be f(1). Let r = 1747 - b. Suppose 3*v - 2*l = r, v + 3*l - 309 = 7*l. Is v composite?
True
Suppose 621*o - 614*o = 150269. Is o prime?
True
Let r(c) be the third derivative of c**7/1260 - c**6/240 - 7*c**5/120 - c**4/24 - 4*c**2. Let x(m) be the second derivative of r(m). Is x(10) prime?
True
Let m be 51666/(-4)*(-30)/15. Is (2 - 3)/(m/6459 + -4) a prime number?
True
Suppose 0 = -2*r - 2*r + 5*s - 39, 3*s = 4*r + 49. Let w(h) = -6*h + 25. Is w(r) composite?
True
Is 80/20 + 61*19 prime?
True
Suppose 12 = 3*w - 3. Suppose -766 = w*h - 4751. Is h prime?
True
Let m(j) = 4*j**2 + 26*j - 57. Is m(-34) a prime number?
False
Suppose 4*t - 3*t + 6001 = 2*o, -o + 5*t + 2987 = 0. Let u = -881 + o. Suppose 980 = 5*h + 3*i - 1662, 5*i + u = 4*h. Is h a prime number?
False
Suppose 8744 = -4*a + 4*v + 48776, 0 = 5*a + 3*v - 50032. Is a composite?
False
Let b(t) be the second derivative of 127*t**4/12 + t**3/6 - 3*t**2/2 - t. Let q(j) = j**3 + 11*j**2 + 10*j - 2. Let o be q(-10). Is b(o) a composite number?
False
Let g be (0 - 2)*3/2. Is (-7893)/(-27) - (g - (-14)/6) composite?
False
Let n be 6/4 - (-23)/(-2). Let p = n - -13. Suppose d - 1265 = -5*s, 3*s - 7*s + p*d + 1012 = 0. Is s composite?
True
Let c(r) = -2*r**3 - 3*r - 4*r**2 + 112 - 218 + 107. Let x be 45/(-12) + 2/(-8). Is c(x) a composite number?
True
Let r(f) = 277*f**2 + 2*f - 27. Is r(-4) a prime number?
True
Suppose -5*m - 2*v = -64, -5*v - 31 - 12 = -2*m. Let l(s) = -s**2 + 19*s + 7. Is l(m) composite?
True
Let k = 2321 - -6398. Is k a composite number?
False
Suppose 3014 = -7*w + 24525. Is w a prime number?
False
Let o(a) = 468*a**2 - 2*a + 1. Let q = -4 - -33. Let l = 30 - q. Is o(l) prime?
True
Let n(d) = -d**3 - 4*d**2 + 6*d + 5. Suppose 2*c + 30 = -4*y, 9 = -c - 5*y - 21. Let b be n(c). Suppose b = 4*i - 293 - 183. Is i co