. Let o = m + -29. Is o composite?
False
Let t(j) = -1104*j + 5. Is t(-1) composite?
False
Is ((-7)/42)/(1/(-12318)) a composite number?
False
Let q be (-6)/4*(-24)/18. Suppose -q*j + 73 = 3*g, 2*j + 17 = 4*g + 83. Is j a composite number?
True
Suppose 2*q = q - u + 53, -4*u = 5*q - 268. Suppose 20 - q = -4*l. Suppose 0 = -4*o + 397 - l. Is o composite?
False
Let w(o) be the first derivative of -55*o**2/2 - 2*o + 1. Let n(s) = s**3 - 8*s**2 + 10*s + 9. Let k be n(6). Is w(k) composite?
False
Let p(y) = -25*y + 4 - y - 3. Is p(-2) a prime number?
True
Suppose 3*z + 5*p - 377 = 271, 6 = 2*p. Is z prime?
True
Suppose a - 4*z - 1381 = 0, -3*a + 4734 = 2*z + 633. Is a composite?
True
Let b = 173 + -10. Is b composite?
False
Suppose -2*a - 6*q = -2*q + 12, 3*a + 4*q + 8 = 0. Is a composite?
True
Let o = -2 - -5. Suppose -o*a = q - 0*a - 115, 3*a = 2*q - 266. Suppose 0 = -0*z - z + q. Is z a composite number?
False
Let f be (-11)/(-4) + 2/8. Suppose f*d - 118 = 5*y, -d - 200 = -5*d - 4*y. Is d a prime number?
False
Let u(g) = g**3 + 6*g**2. Let m = -15 - -9. Let l be u(m). Suppose 0*o + 3*o - 129 = l. Is o a prime number?
True
Let g(i) = 2*i - 9. Let v be g(6). Suppose 0 = 6*r - v*r - 6. Suppose -3*x - u = -58, -r*x + 41 = -0*x + 3*u. Is x a prime number?
True
Let k(m) = 5*m**3 - 2*m**2 + 1. Let b be k(1). Suppose b*o = -0*o + 76. Is o composite?
False
Let k be 2/2*(0 + 0). Suppose i + k*i = 79. Suppose 0*y + 3*y = 2*p - i, 5*p = 4*y + 187. Is p composite?
True
Suppose -3*x - 8*j + 474 = -4*j, -5*j + 790 = 5*x. Is x a prime number?
False
Let d = -1085 - -1938. Is d composite?
False
Suppose 10 - 1274 = -4*u. Suppose 6*j = 2*j + u. Is j prime?
True
Let d = -136 + 267. Suppose f + d = g, -4*g + 528 = f - 6*f. Is g composite?
False
Suppose 0*a - 7 = -2*s - a, a - 9 = -3*s. Suppose 0 = -s*d - 2*d + 56. Is d a prime number?
False
Suppose 0 = 8*y - y - 1043. Is y a prime number?
True
Let v = 4 + -1. Suppose -5*f = 4*q - 601, -v*q - f + 146 = -302. Is q a composite number?
False
Suppose -7*q + 39024 = -3*q. Suppose q = 3*y + y. Suppose 5*p - 2011 = -4*w, -5*w + 59 = p - y. Is w composite?
False
Let x(w) = 2 - 1 + 0 - 3*w**3 + 4*w - w**2. Is x(-4) a prime number?
False
Is (-1 - 1)/2 - -1268 a composite number?
True
Suppose -2*q + 20 = -2*d, 0 = -3*q + 10 + 5. Let x = d + 38. Is x composite?
True
Suppose -3*m + 306 = x + 15, m - 849 = -3*x. Is x/20*2*5 a prime number?
False
Let i(z) = 29*z**2 + 13*z + 15. Let g(d) = 10*d**2 + 4*d + 5. Let c(r) = -8*g(r) + 3*i(r). Is c(-4) a composite number?
False
Let l be (-3 - -2)*(-20 + 5). Suppose 5*y = 2*j - 35, 0*j + 2*j + 5*y = -l. Suppose 10*b - 65 = j*b. Is b prime?
True
Let q be 1001/4 - (-2)/(-8). Let a = 461 - q. Is a composite?
False
Suppose 556 = 4*c + 1940. Let h be 5 + -2 + -1 - c. Is h/9*6/4 composite?
True
Suppose -3*i - 2*u = -7 + 3, i + 8 = 4*u. Let j = -2 - -6. Suppose -5*a + 3*m + 111 = 5*m, j*a + 3*m - 86 = i. Is a prime?
True
Suppose 4*i - 1155 + 247 = 0. Let r = i + -148. Is r a composite number?
False
Suppose -4*o = o - 145. Let r = -16 + o. Is r a prime number?
True
Let m(c) = -c**3 + c**2 + c + 6. Let i be m(0). Let t be 20/i*12/8. Suppose 0 = t*z + 16 - 86. Is z prime?
False
Is 2 - (4/16 - (-16404)/(-16)) a composite number?
True
Suppose 3*l + 4*c = 5*l - 10, 3 = -3*c. Suppose 4*x + l*m = 142, -6*m + 29 = x - 2*m. Is x prime?
True
Let d = -3 + 6. Let x = 41 - 20. Suppose -d*c + 0*c + x = 0. Is c a composite number?
False
Let t(y) be the third derivative of y**5/12 - y**4/4 + 3*y**3/2 - 4*y**2. Is t(4) prime?
False
Suppose -5*j + 36 = r, r + 44 = 5*j - 0*r. Let p = j - -11. Suppose 2*a - p = a. Is a composite?
False
Suppose 237 + 140 = 4*d - t, d - 96 = 2*t. Is d prime?
False
Suppose -5*s - 1036 + 15166 = 0. Let f = s - 1819. Is f a composite number?
True
Suppose -4*b - 1 + 9 = 0. Suppose 3*p = 2*t + 5*p - 116, -2*t - 3*p = -114. Suppose -b*a - 270 = -3*k - k, 0 = k - 3*a - t. Is k a composite number?
True
Suppose 4*u = u. Suppose -2*i = -m + 16, i = -m - u*i + 31. Suppose 0 = -4*h + 18 + m. Is h a prime number?
True
Let f(l) = 7*l**2 + 8*l - 6. Let p be f(5). Suppose -4*z + 243 = -p. Is z composite?
False
Let g(v) = 4*v - 1 + 2 - 2*v**3 - 8*v**3. Is g(-3) composite?
True
Let s = -1 - -1. Suppose 2*g + 5*i - 23 - 7 = 0, -4*g - i + 42 = s. Is g a prime number?
False
Let k(q) = 72*q + 2. Let a be k(5). Suppose -4*b + 26 + a = 0. Is b composite?
False
Let r(p) = -206*p - 3. Is r(-1) prime?
False
Let m be 3*-1*(-5)/3. Suppose m*p - 1366 = 279. Is p prime?
False
Let b(p) = 162*p - 2. Let h be b(-1). Let o = h - -873. Is o a composite number?
False
Suppose a - r + 2978 = 6*a, 0 = -4*a + 3*r + 2371. Suppose 2*o = -89 + a. Is o a prime number?
False
Suppose f - 11 = -5. Is (f - -42) + 0 + 1 composite?
True
Suppose -11*m + 9*m = -1954. Is m a composite number?
False
Let z = -3 + 7. Suppose -148 = -z*s - 0*s. Is s a prime number?
True
Suppose 539 = -4*n + 3179. Let b = -77 + n. Is b prime?
False
Let x = -537 - -2036. Is x prime?
True
Let x(d) = -149*d**2 - 3*d - 3. Let a(n) = 59153*n**2 + 1192*n + 1192. Let m(h) = -3*a(h) - 1192*x(h). Is m(1) a composite number?
False
Suppose p - 766 = -183. Is p prime?
False
Let n = -237 + 334. Is n a composite number?
False
Let m(j) = -4*j**3 + 4*j**2 - 5*j. Let c be ((-4)/5)/((-10)/25). Let g(x) = -3*x**3 + 3*x**2 - 4*x + 1. Let t(z) = c*m(z) - 3*g(z). Is t(4) a composite number?
False
Let v(h) = 7*h**3 + h**2 + 10*h + 2. Let g(m) = 13*m**3 + m**2 + 19*m + 4. Let w(k) = 6*g(k) - 11*v(k). Let l be w(4). Suppose l*x - 9 = 21. Is x composite?
True
Let l(n) = -n**3 + 8*n**2 - 8*n + 7. Let b = 4 - -2. Is l(b) a composite number?
False
Suppose -3*k + 30 = 2*k. Is -53*(k/(-2))/3 composite?
False
Let x(s) = 9*s**2 - 1. Let z be x(1). Let v = z - -35. Let j = -29 + v. Is j prime?
False
Let w be ((-1)/(-3))/((-6)/414). Let a(x) = 9*x**2 + 2. Let r be a(-2). Let y = w + r. Is y prime?
False
Let d(n) = n**3 - n + 53. Let s be -4*(5/2 + -3). Let l = s - 2. Is d(l) prime?
True
Is (-65)/(-13) - -3055*2 a composite number?
True
Let r(z) be the first derivative of 2*z**3/3 - 2*z**2 + 7*z + 5. Is r(5) a prime number?
True
Suppose 2*b - 4 = 0, -3*b + 112 = 5*z - 84. Let g be (-509)/(-7) - 2/(-7). Let h = g - z. Is h a prime number?
False
Let g = -46 + 88. Suppose 4*t = -m + 47, 2*m + t - 6*t = g. Is m prime?
True
Let g(f) = -9*f - 3. Suppose 13 = 5*r + t, -3*t + 11 - 4 = -r. Suppose -11 = r*x + 1. Is g(x) a composite number?
True
Let k(c) = 2*c**3 - 4*c**2 - 5*c - 6. Suppose 2*z - 50 = -18. Let s = z + -11. Is k(s) a composite number?
True
Let c be (-4)/((-1 + 2)/6). Is -3 - (c - (-2)/(-2)) a prime number?
False
Let y(i) = 180*i**2 + 6*i - 1. Is y(3) a prime number?
True
Let l(u) = 16*u**3 - 7*u**2 - 3*u - 9. Is l(5) prime?
True
Suppose 0 = -j + 4*d + 3 - 17, 22 = -3*j + 2*d. Let m be 1 - 3 - (-1 + j). Suppose -6*z + 47 = -m*z. Is z composite?
False
Suppose -3*h + 240 = -717. Is h prime?
False
Suppose -68 - 253 = -3*a - 3*b, 3*a = 3*b + 327. Let v = -3 + 7. Suppose a + 16 = v*d. Is d a composite number?
False
Let q = 88 + 213. Is q prime?
False
Let s(t) = 2*t**2 - 29*t + 26. Is s(21) a prime number?
False
Let r(m) = 76*m**2 - 7*m - 5. Let o be r(-4). Suppose o = -0*p + 3*p. Is p prime?
False
Suppose 0 = 2*u + 7 + 5. Is 9/u*-10*1 prime?
False
Suppose -17 = -w + 7. Suppose -4*s + 0 + w = 0. Is 6/s*257*1 composite?
False
Let d(y) = y**3 - 4*y - 1. Is d(6) prime?
True
Let j(t) = 4*t**2 + 27*t - 23. Is j(-20) composite?
True
Let x = -20 - -30. Let p = x - -25. Is p a prime number?
False
Let w(a) = 75*a**2 - 4*a + 2. Is w(-5) composite?
True
Let y(g) = -g**3 - 13*g**2 - 9*g + 10. Is y(-13) a composite number?
False
Suppose -x + 666 = -4*p, 0*p + 5*p = -3*x - 824. Is p*(-1 - 3/2) composite?
True
Let j = 695 + 622. Let r = -604 + j. Is r a prime number?
False
Let b(x) = x - 6. Let c be b(8). Is (-1)/c*182/(-1) prime?
False
Let n be ((1662/(-3))/2)/1. Suppose 4*z + 371 = -229. Let v = z - n. Is v prime?
True
Let u = 8 - 8. Let n be -1 - -74 - (u + -3). Let o = 187 - n. Is o prime?
False
Suppose 0*s = -12*s + 780. Is s a prime number?
False
Let q(i) = 12*i**2 - 6*i - 2. Is q(-4) a prime number?
False
Suppose w + 3*q = 633, 2*w - 1296 = 3*q + q. Suppose -3*k - 2*j = -0*k - 959, 0 = 2*k + 4*j - w. 