 4*t. Is t composite?
False
Suppose 7 = -5*o + 3*l + 32, -4*o - 2*l = 2. Suppose 0 = 4*v - 20, 1167 = o*u + 2*u - v. Is u a prime number?
True
Let q(u) = 2*u**2 + u - 2. Is q(4) prime?
False
Suppose 4*y + 3*s + 309 = 8*y, -3*y = s - 222. Is 10/y + 626/30 a prime number?
False
Let v(l) = l. Let j be v(17). Is (j - (-2)/(-1)) + 4 composite?
False
Let y = 4100 - 2359. Is y a composite number?
False
Suppose -i = 4*m - 3*m - 5583, -3*m - 5567 = -i. Is i composite?
True
Let n = 20 - -14. Suppose 2*p - n = 56. Is p/(-2)*(-8)/12 prime?
False
Suppose 0 = 2*f + 2*f - 2*k + 34, -2*f - 2*k = 26. Let g = 25 + f. Suppose -h = -3*a - 86, -2*a - 3*a - g = 0. Is h a composite number?
True
Let d(m) be the first derivative of 2*m**3/3 - 3*m**2 + m - 2. Let v(g) be the first derivative of d(g). Is v(4) composite?
True
Suppose -4*u = 19 - 123. Suppose 0 = 2*q + 3*q + 25. Let f = q + u. Is f a composite number?
True
Suppose 2*x = -2*x. Suppose -5*r - 3*w - 18 = 0, r - 5*w + 26 = -x*r. Let u = -2 - r. Is u a prime number?
False
Suppose -2*g - 18 = -160. Is g prime?
True
Suppose -6*v + 10*v - 4 = 0. Suppose 2*f - 117 = -v. Is f prime?
False
Let o be 118/((-24)/14 - -2). Let i = -282 + o. Is i a composite number?
False
Suppose -7*w + 3388 = -5355. Is w a prime number?
True
Let r = 13 + -7. Suppose r*d - 4*d - 250 = 0. Suppose -2*u - 3*w + d - 18 = 0, -3*w - 183 = -3*u. Is u composite?
True
Suppose -4*v + 2*v + 470 = 0. Is v prime?
False
Let t = 100 - 66. Is t prime?
False
Let x(u) = 3*u - 1. Let v be x(1). Suppose 46 = v*i - 280. Is i prime?
True
Let y(g) = -g**2 + 23*g - 17. Is y(19) a composite number?
False
Let q = 1227 + -728. Is q prime?
True
Let z(p) = p**3 - p**2 - 2*p + 53. Is z(0) a prime number?
True
Suppose -4211 = -5*n - 426. Is n a composite number?
False
Suppose -3*o + 15 = 3. Suppose -o*s - 4*i + 2696 = 0, 4*s - 619 - 2053 = 4*i. Is s composite?
True
Is (-5)/(-10)*502*2 composite?
True
Let u = -95 - -182. Suppose 0 = 3*p - 120 - u. Is p a prime number?
False
Suppose x - 174 + 1 = 0. Let k = 652 - x. Is k composite?
False
Let d be 3452/6 - 4/12. Suppose 3*m - m = 3*z - 345, 5*z - 4*m - d = 0. Is z a prime number?
False
Suppose -2*u = u - 3405. Is u composite?
True
Let u be (-2 - -3 - -1)*128. Let z = 77 + u. Suppose -3*r + 3*p + 94 + 239 = 0, p + z = 3*r. Is r composite?
True
Let h(d) = 11*d**2 - 5*d + 13. Is h(7) prime?
False
Let y be (8/(-2) - -4)*-1. Suppose -h - 4*h = -70. Let x = h - y. Is x a composite number?
True
Let r = 13 + -7. Is 1545/21 - r/(-14) composite?
True
Let f be (-2)/5*(1 - 6). Suppose 5*d - f*v = 6255, -6*d + 3739 = -3*d - 4*v. Is d prime?
False
Let n be (-1)/((-3)/78*1). Let t(k) = 2*k - 1. Let q be t(-1). Let l = q + n. Is l a composite number?
False
Suppose -10367 + 3872 = -3*g. Is g a composite number?
True
Let g(l) = l + 8. Let k be g(-6). Let d = k + 2. Suppose 7*a - d*j + 8 = 3*a, -j + 5 = 0. Is a prime?
True
Is ((-5747)/(-14))/(2/4) a composite number?
False
Suppose 3*s + 4*d = -20, -12 = 3*d + 3. Suppose s = 2*v - v - 278. Is v a prime number?
False
Suppose 0*s - 3*s + 241 = -4*c, -4*c + 8 = 0. Is s composite?
False
Let q be (0 - 0) + 17 + 0. Is (q - -5) + (-2)/(-2) prime?
True
Let o(n) = -n**3 + 2*n**2 - 4*n - 130. Let v(h) = -3*h**3 + 0*h**3 - 11*h + 5*h**2 - 79 - 310. Let y(u) = 8*o(u) - 3*v(u). Is y(0) composite?
False
Let n(l) = -l**3 + l**2 + 1. Let q(r) = 4*r**3 + 2*r**2 - 12*r - 4. Let h(u) = -3*n(u) - q(u). Is h(-9) composite?
True
Suppose 2*u + 0*u - 8 = 0. Suppose 3*x + x = 0. Suppose -7*g - 75 = -u*h - 2*g, -h + 5*g + 30 = x. Is h prime?
False
Let r = 182 - 118. Suppose -5*h + 175 + 0 = -5*m, m = -2*h + r. Is h prime?
False
Let b(n) be the second derivative of n**4/6 + 5*n**3/6 + n**2 + 2*n. Is b(5) composite?
True
Suppose j + 10 = -0*j. Let i(u) = u**2 + 7*u - 9. Let r be i(j). Is r/3 - (0 + 0) a composite number?
False
Let m(r) = 5*r**3 + 3*r - 8. Let n(u) = u**3 + u**2 + u - 1. Let j(s) = -m(s) + 6*n(s). Is j(-4) a prime number?
False
Let r = 307 + -168. Is r prime?
True
Suppose 275 = 3*b + 2*b. Is b prime?
False
Let s(l) = 18*l**3 - 5*l**2 + 3*l - 3. Let a = 9 + -6. Is s(a) composite?
True
Is 93 - ((-1)/2)/(1/4) composite?
True
Suppose 2*n - 11 = 3. Let z = n - 3. Let m = 30 + z. Is m prime?
False
Let v = 10 - -29. Is v a prime number?
False
Suppose -5*t + 1346 = -309. Is t prime?
True
Suppose -68 = -4*t + 356. Is t a prime number?
False
Suppose h - 3*u - 1 = 13, 0 = -5*h + 2*u + 5. Let s(b) = 15*b**2. Is s(h) a composite number?
True
Suppose 0 = -h + p + 266, 4*p - 636 = 5*h - 1963. Is h a prime number?
True
Suppose -3*x = -6*x + v - 18, 4*v - 2 = -2*x. Is (-5 - -70)*(-3)/x a prime number?
False
Is (-9 - -8)/(-2 + 1)*3899 composite?
True
Let d(u) = 966*u**2 + 1. Is d(1) a composite number?
False
Let h be -51 + (-6)/(-1 + 3). Let c = -16 - h. Is c a composite number?
True
Let q(c) = -16*c - 3. Let k be q(4). Let o = k - -120. Is o prime?
True
Let q be (6/4)/(3/4). Is (-190)/(4/(q - 4)) prime?
False
Let m(p) = 2*p - 9. Let g be m(10). Let r(x) = 3*x**2 + 12*x + 16. Is r(g) composite?
True
Let o = -489 - -1124. Is o a prime number?
False
Let o(u) = 6*u + 20. Let m(s) = -2*s - 7. Let w(q) = 17*m(q) + 6*o(q). Let c be w(-2). Is 21/4*(c - -7) composite?
True
Suppose 2*y + 3*b = 1, -5*b + 4 = 2*y + 1. Let m = 4 + y. Suppose 0*n + 57 = m*n. Is n a composite number?
False
Let y be (-2)/(-8)*-2*10. Let g = y + 16. Is g a prime number?
True
Suppose 4*g - 4*j = 0, 7*j - 3*j + 9 = g. Let k = g + 1. Let v = 4 + k. Is v prime?
True
Suppose -4 = v - 6. Suppose -2*l + 7*l = v*o - 46, -2*o + 3*l + 46 = 0. Is o a prime number?
True
Suppose -5*q + 4 = -2*o - 3, 5*o + q = 23. Suppose -o*h - 305 + 1045 = 0. Is h prime?
False
Suppose c - 1009 - 349 = 0. Let u = c - 915. Is u a composite number?
False
Let w(i) = 9*i**2 + 5*i - 5. Is w(9) a composite number?
False
Let l be ((-16)/24)/((-2)/12). Suppose -l*b - 10 + 62 = 0. Is b a composite number?
False
Let p(f) = 6*f**3 - 6*f**2 - 5*f + 4. Is p(5) a prime number?
False
Suppose -x + 0*s + 11 = 4*s, -5*x + 3*s + 9 = 0. Suppose -b - 38 = -3*b - 2*i, -57 = -x*b - 2*i. Suppose 0 = -5*u + 51 + b. Is u composite?
True
Suppose 0 = -0*l + 11*l - 2354. Is l a composite number?
True
Let c be (2 - 17)*(-14)/(-6). Is (-3)/(-2) + c/(-2) a composite number?
False
Suppose 11 = -5*v - 14. Suppose c + 0*i - 60 = -4*i, -120 = -2*c + 4*i. Let f = v + c. Is f a composite number?
True
Let m(v) = 360*v - 2. Let f(x) = 180*x - 1. Let y(j) = 7*f(j) - 4*m(j). Is y(-3) prime?
True
Let h(f) = 3*f**3 - 7*f**2 - 9*f + 12. Is h(7) prime?
False
Suppose -3*r = -0*n - n, 4*r = -2*n. Suppose -1245 = -r*b - 3*b. Is b a composite number?
True
Suppose 14 - 2 = -3*t. Is 30*-1*2/t composite?
True
Suppose -2*r - 2 = -6. Suppose 5*f - 31 = -4*t, -t + 4*f = r*t. Is (-412)/(-8) + (-2)/t prime?
False
Let a = 281 - 184. Is a prime?
True
Suppose 2*s + 3 = k, 3*k - 25 + 10 = 0. Suppose 0 = 2*o - s + 5. Is (110/2)/(-1 - o) a composite number?
True
Let k(i) = i - 13. Let f be k(9). Let b(z) = 4*z**2 + z - 2. Is b(f) a prime number?
False
Suppose -3*g = -5*g - 2*w + 894, -459 = -g - 4*w. Is g composite?
False
Suppose -2*v = 3*v - 75. Is v prime?
False
Let g(a) = 3*a**2 - 1. Let l be g(1). Suppose w = -0*w + l. Suppose 144 = w*y - 82. Is y composite?
False
Let k be 6/4*(0 + 22). Let d = k - 6. Suppose -3*q + 66 = -d. Is q a prime number?
True
Suppose -3*y + 5*h = 14, -y - y - 2*h = -12. Suppose 5*c - x - 140 = -4*x, -5*c + y*x = -115. Is c a composite number?
True
Let y(l) be the third derivative of 3*l**4/8 - l**3/2 + 3*l**2. Is y(2) prime?
False
Suppose -6*m + m + 2670 = 0. Is m/4 - (-6)/(-12) composite?
True
Let w = -11 - -16. Suppose -2*z = -3*i - 13, 0 = 3*i + 2*i + w. Suppose 30 = 2*s + z*u, -5*s = -3*u - 2*u - 145. Is s a prime number?
False
Let m(t) = t**2 + 6*t + 7. Let b be m(-5). Let o = b + 3. Suppose -452 = -o*y + y. Is y a prime number?
True
Let v(w) = 180*w + 1. Let j be v(1). Suppose b + 5*d - 245 = -4*b, -j = -4*b + d. Is b/4 - 5/10 composite?
False
Let j = 348 - 105. Suppose 3*m = -3*v + j, 0 = v - 2*v - 5*m + 97. Is v a composite number?
True
Let h be (-1)/2 - (-20)/8. Suppose -3*x - 181 = -3*b + h*x, -x = -5*b + 331. Suppose -i - b = -2*i. Is i a composite number?
False
Let l(s) = -s**3 + s**2 + 2*s + 2. Let