- 2*z**2 + z. Let t be w(1). Let l(d) = -d - 8. Let i be l(t). Suppose -7*u + i*u = 5*q - 495, -2*u + 301 = 3*q. Is q prime?
True
Let p(u) = u**3 + 5*u**2 - 2*u. Let c be p(7). Suppose 0 = 5*t - 0*h - h - c, 3*h = 3. Is t a composite number?
True
Let y(g) = -3*g - 4. Let j be y(-3). Let z(v) = 91*v**3 - 2*v**2 + 3*v - 7. Let a(c) = -46*c**3 + c**2 - c + 3. Let k(p) = j*a(p) + 2*z(p). Is k(-1) composite?
True
Suppose j = -0*j + 5. Suppose -j*m = -2*m - 873. Is m composite?
True
Suppose 86*z = -4*x + 87*z + 149104, -3*z = x - 37289. Is x a prime number?
True
Let l = 31341 - -3256. Is l a composite number?
True
Let m(h) = -h**3 + 13*h**2 - 3*h + 5. Let b = -11 - -23. Let w = b - 0. Is m(w) composite?
False
Let l(b) = 718*b**3 - 3*b**2 - 6*b + 1. Let u be l(-2). Let z = u - -9114. Is z a composite number?
False
Let h(i) be the first derivative of -36*i**2 + 5*i + 6. Is h(-3) a prime number?
False
Let p(a) = -4*a**2 + 4*a - 18. Let k be p(6). Let z = -29 - k. Is z a prime number?
True
Is 4*(-6 + 7) - (-696 - 1) a composite number?
False
Suppose 0*d - 2*d + 1650 = -4*p, 5*p = -3*d + 2453. Is d a prime number?
True
Suppose -2970 = 9*q - 11*q. Suppose -q = 3*v + 720. Let z = -362 - v. Is z prime?
True
Suppose -21182 - 16300 = -6*r. Is r a composite number?
False
Let m be 14/(-10) - 14/(-35). Let w(q) = -3*q**2 - q - 1. Let u be w(m). Is (-1)/(u/(-12)) - -189 a prime number?
False
Let u = -604 + 9931. Is u a prime number?
False
Suppose -5*i + 4*h + 9 = -32, 3*i - 4*h = 31. Suppose i*m = -4*r + 3*m + 118, 3*m + 3 = 0. Suppose -5 = k - r. Is k a prime number?
False
Suppose -q - 4*v = -4*q + 26009, 5*q = 4*v + 43335. Is q prime?
True
Let x = 626 - -128. Let w = x - 423. Is w composite?
False
Suppose 15806 + 4398 = 4*b. Is b a prime number?
True
Let j = 191 - 4. Is (0 - -2) + 2 + j composite?
False
Let w(p) = 106*p**2 - 6*p + 37. Let j be w(5). Suppose -3*n + 19 = 4. Suppose 0 = -3*q + 2*s + j, 6*q - 3538 = 2*q + n*s. Is q a prime number?
True
Suppose -5*b = 4*s + 23429, -5*s = b + 9108 + 20173. Is s/(-5 + 1) - -1 prime?
False
Suppose 6*h - 32 = 2*h. Suppose -a = -5*d + 11, a + a = -5*d + h. Suppose 2*y = -4*j + 208, -100 = d*j - 4*j - 3*y. Is j a composite number?
False
Suppose 0 = 642*s - 651*s + 71937. Is s a composite number?
False
Let q(h) = h**3 + 3*h**2 - h + 1. Let y be q(-3). Let v be -1 - (0 + (-1 - y)). Is ((-2)/v)/(2/(-88)) prime?
False
Suppose 18995 = 6*y - 7543. Is y a composite number?
False
Let i(u) = 37*u + 24. Let c = 14 - 9. Is i(c) a composite number?
True
Let l = -22284 + 42881. Is l prime?
False
Let o = 28508 - -7721. Is o prime?
True
Let m(u) = -4*u**3 + 5*u**2 - u + 5. Let k(l) = -l**3 + 4*l**2 - 5. Let p be k(4). Is m(p) prime?
False
Let t be (-4)/(0 + 1) - -11624. Let w be 2/(3 + t/(-3876)). Suppose 0 = -3*u - 4*f + w, 0 = u - 3*f + 188 - 498. Is u composite?
True
Suppose -30*n + 265231 - 29221 = 0. Is n prime?
True
Let j(h) = h**2 + 6. Let g be (-92)/28 + (-4)/(-14). Let a(k) = 3*k + 4. Let f be a(g). Is j(f) a prime number?
True
Suppose 5157 = 4*p + o, -5*p - 428 = -2*o - 6884. Let d = p - 613. Is d a prime number?
True
Let n(y) = 16*y. Let s be n(-1). Let j be (308/s)/(2/8). Let v = j - -222. Is v composite?
True
Suppose -16*t = -10*t - 462. Suppose -5*j + t + 78 = 0. Is j composite?
False
Is (-4610)/(-4) + (-7)/(-14)*-3 composite?
False
Let y be 1582 + (-2 + 3)*0. Let n = -999 + y. Is n a composite number?
True
Suppose 220*z - 580926 = 214*z. Is z a prime number?
True
Suppose 0 = 3*h + 4*r - 41869, -2*r - 9349 = 4*h - 65161. Is h a prime number?
False
Suppose -5*q = -13 - 12, 0 = -4*z - 4*q + 40. Suppose -z*x + o + 5374 = -2*o, 2*x + 4*o = 2134. Is x a composite number?
True
Let v be (-213)/9 - (-3)/(-9). Let b be (-102)/v + (-3)/(-4). Suppose 2*u - b*u = -93. Is u a prime number?
True
Let m(j) = 3*j**3 - 5*j**2 - 2*j - 2. Let i be m(5). Let y be (2 - i)*(0 - -1). Let h = -113 - y. Is h a prime number?
False
Let x = -4460 + 7089. Is x composite?
True
Let k(u) be the third derivative of u**4/24 + 2*u**3 + 2*u**2. Let r be k(-9). Is r/2 - (-379)/2 a prime number?
True
Let d be 14/4*(-40)/(-14). Let f = d - 10. Suppose w + x = 2 + 15, 4*w + 5*x - 66 = f. Is w composite?
False
Let k(x) = -2*x**2 + 22*x + 39. Let i be k(-16). Let w = i - -1510. Is w a prime number?
False
Let a be 67522/10 + (-13)/65. Suppose 0 = 2*j + 5*x - 0*x - 3361, -4*x = 4*j - a. Is j composite?
False
Is (-62)/248 - (-121317)/4 a composite number?
True
Let f(t) = t + 8. Let v be 1/(-2)*(-10 - -2). Let u be f(v). Is u/4*49 - 2 composite?
True
Is ((-797334)/36)/(-17)*6 a prime number?
True
Let z(a) = -a**2 - 16*a - 4. Let o(c) be the first derivative of c**4/4 - c**3 - c**2 + c - 8. Let b be o(2). Is z(b) composite?
False
Suppose 2*r - 13671 = -5*r. Suppose r = -6*a + 5259. Is a prime?
False
Let w(m) = m**3 - 7*m**2 + m + 1563. Is w(0) composite?
True
Let o(x) = -x**2 - 3*x. Let d be o(-3). Let y be d - (-175 + -4) - -1. Let k = y - -57. Is k a composite number?
True
Let x be (-10)/2*(-8)/20. Suppose -a + 2178 = 5*g, 0 = -a - x*a + 5*g + 6554. Is a a composite number?
True
Let u(m) = -m**2 - 6*m + 24. Let v be u(-7). Suppose -14*s = -v*s + 669. Is s a prime number?
True
Let u = 26 + -41. Let n = u + -247. Let w = n + 557. Is w prime?
False
Let u = 1005 - 486. Is u a prime number?
False
Let q = -1689 + 30058. Is q prime?
False
Suppose 0 = 5*g - 5*m - 23225, -3*g + m + 5212 = -8731. Is g a prime number?
True
Let v = 13 - 11. Suppose 0 = -v*m - 3*w - 196, 0*m = -4*m + 4*w - 352. Let y = 183 + m. Is y a composite number?
True
Let x be (5/(-15))/((-1)/6). Suppose -6*p = -2*p - x*w - 90, -3*p + 100 = 5*w. Suppose 5*v = 3*l - 116, -l = 5*v - p - 7. Is l prime?
True
Is 43387 - (-5 + 12 + -11) prime?
True
Suppose 312 = -3*d + 4*d. Suppose -4*w + 2*z = -16, -3*z + 5*z = 4. Suppose -133 = -w*i + d. Is i a prime number?
True
Let x(g) = -553*g - 534. Is x(-25) a prime number?
True
Let k(m) = -8052*m - 62. Is k(-7) a composite number?
True
Let q = -29 + 18. Let d = -7 - q. Is 1 - (d - 2) - -708 composite?
True
Suppose -8*l + 3 = -7*l. Let v be 9/l - (-429 + 2). Let x = -207 + v. Is x prime?
True
Let g(f) = f + 22 - f**3 - 2*f - 23. Let z be g(-2). Is 1385/45 + 2/z a composite number?
False
Let y(r) = -409*r**3 + r**2 + 6*r - 7. Is y(-3) a composite number?
False
Let n(d) = -6570*d + 51. Is n(-2) prime?
False
Let l be ((-240)/(-56))/(3/(-21)). Let h = 35 + l. Is 1534/h + 1/5 a composite number?
False
Let m = 5 + -2. Suppose m*x = -x + 92. Is x composite?
False
Suppose 12*d - 17*d - 15 = 0. Is 1/d*-2 + (-17635)/(-3) prime?
True
Suppose -4*s = -5*r - 100, 5*s + 0*s = 3*r + 73. Let m be (r/56)/(1/7). Is ((-430)/(-40))/(m/(-24)) a composite number?
True
Suppose 2*l = -0*l - 4*x, -3*l = -4*x - 20. Suppose -b = l*b - 3715. Is b a prime number?
True
Let y = 122 + 607. Let n = 1147 - y. Suppose -636 = -3*z + 3*i, -2*z - 3*i - i + n = 0. Is z prime?
True
Suppose 2*c = 4*c + 3*i - 7411, -i = 1. Is c a prime number?
False
Suppose 34*i - 580925 = 9*i. Is i composite?
True
Let c = 517 + -869. Let u = 186 - c. Is u a composite number?
True
Let x = -10 - -2. Let w = x - -12. Suppose -3*o = w*o - 273. Is o composite?
True
Let r = 145 + -150. Let w(u) = -10*u**3 - 5*u - 4. Is w(r) composite?
True
Let x = -30 - -33. Let d(t) = 4*t**x + t**2 + 5 + 9*t - 14*t + 6*t. Is d(5) composite?
True
Suppose 17*k - 17770 - 4041 = 0. Is k a composite number?
False
Let k(b) = -757*b - 3. Let d(l) = 70400*l + 280. Let m(q) = 3*d(q) + 280*k(q). Let n be m(-6). Is n/100 + 4/10 composite?
True
Let p(d) = 68*d**2 + 2*d - 17. Is p(4) prime?
False
Is (14/(-28))/((-2)/524) a composite number?
False
Let y(l) = 96*l**3 + 20*l**2 - 9*l + 11. Is y(8) a prime number?
False
Suppose 3*f + 0*f + 12 = -n, -f = -2*n - 10. Let x(u) = -3*u + 1 + 0 - 119*u - 31*u. Is x(n) composite?
False
Suppose 375*a - 384*a + 518274 = 0. Is a composite?
True
Let v(c) = 163*c**2 - 7*c + 17. Is v(5) a prime number?
True
Suppose 4*o + 8 = 4*u, -4*u + 3*o = -15 + 5. Let w be (u/6)/((-8)/(-17580)). Suppose 3*f + 1946 = 6*b - 2*b, 3*b - w = 5*f. Is b prime?
False
Let f(k) be the third derivative of k**5/20 - 7*k**4/12 + 11*k**3/6 + 16*k**2. Is f(-10) prime?
False
Let f(w) = 91*w**2 - 5*w + 4. Let x be f(3). Suppose x = -b + 2781. Is b a prime n