number?
True
Suppose 12 = -b + 3*b - 2*l, 0 = 5*b + 5*l. Suppose 3*s + 2 = -c + b, 5*s - 1 = -c. Let r = 10 - s. Is r a composite number?
True
Suppose 4*f = 0, -i - f = -609 + 29. Suppose 5*z - z - i = 0. Is z composite?
True
Let f be 3/((-6 - -3)/(-3)). Suppose -f*s + 3 = 6. Is (s - -12) + 8 + -6 prime?
True
Suppose 0 = -2*g + 2*v + 189 + 333, g + v = 253. Is g a composite number?
False
Let r(u) = 12*u + 2*u - 3*u - 6 + 2*u. Is r(4) a prime number?
False
Let h be 176 - -3*1/(-3). Suppose -t - 4*t + h = 0. Is t a composite number?
True
Suppose -3*m + 653 = 5*u - 0*u, 1095 = 5*m + 5*u. Is m a prime number?
False
Suppose 80*b + 230 = 82*b. Is b a prime number?
False
Suppose 3*u = -x + 595, 5*u = -5*x + 1638 + 1307. Is x a prime number?
False
Suppose 7*m = 4*m. Let h = -1 + m. Is (-14 - 0)/(h/1) composite?
True
Suppose 86 = 4*n - 2*c, 5*n - 5*c = -10*c + 70. Is n a composite number?
False
Let s be ((-4)/6)/(2/(-15)). Suppose 4*x = s*x - 10. Is x a composite number?
True
Let q = 570 - 211. Is q a prime number?
True
Let b = 6 + -4. Suppose b*w - 130 = -0*w. Is w composite?
True
Suppose 3126 = 7*q - q. Is q prime?
True
Let q be (0 + 8)/(-2) + 2. Let x = q + -1. Is ((-37)/1)/(x/3) a composite number?
False
Let q be 3/(-15) + 2373/15. Is q/2 - 3 - -1 a composite number?
True
Is (-51)/2*3*(-176)/72 a composite number?
True
Let v = 11 + -7. Let d = -6 + v. Let y(i) = -14*i - 3. Is y(d) a prime number?
False
Suppose u - 4*u + 3*m = -1923, 5*m = -2*u + 1282. Is u a composite number?
False
Let q(t) = 4*t - 3. Let l be q(3). Let x = l - 3. Suppose 17 = k - x. Is k prime?
True
Let i = 15 + -3. Suppose -3*a = 3*g - i, 0 = -4*a + 9*g - 4*g + 7. Suppose 2*s - 5*n = -a*n + 72, -4*s - 3*n + 109 = 0. Is s a prime number?
True
Let y(a) = 7*a**2 + 4*a - 5. Is y(4) a prime number?
False
Let d = 3 - 1. Let s(u) = -d*u**2 + 4*u**2 - u**2 + 5. Is s(-4) prime?
False
Suppose 3*h + 2*h = 100. Suppose 0*f - h = -5*f. Suppose s = -f*s - w + 210, s - 2*w - 53 = 0. Is s a composite number?
False
Suppose 7*p + 14 = -2*m + 3*p, 5*m + 35 = 4*p. Is 2/m - 149/(-7) composite?
True
Let h = -16 + 9. Let b be (-2)/h - 152/(-7). Let g = b - 11. Is g composite?
False
Let z = -920 - -1951. Is z a prime number?
True
Let f(j) = -j**3 + 3*j**2 + 2*j + 9. Let t be f(8). Let q = t + 428. Is q a prime number?
False
Suppose 3*f - 5*f + 10 = 0. Suppose -k = -f*k - 4. Is 4 + 93 - (-1 - k) a composite number?
False
Let d(z) = -z**3 + z**2 + 3*z - 7. Let r be d(5). Let f = 151 + r. Is f a prime number?
True
Let w(q) = -q**3 + 6*q**2 + 5*q + 9. Let s be w(7). Let p(m) = -10*m - 2. Let a be p(s). Is 5/5*(a + 1) a prime number?
False
Let y(s) = -s**2 - 2*s + 13*s + 2*s**2 + 13. Let x be y(-10). Suppose 2*k - x*k + 25 = 0. Is k a composite number?
True
Let a be (-2)/6 + (-140)/21. Let q = 6 + a. Let w(o) = 76*o**2 - o. Is w(q) prime?
False
Let i = 15 + -14. Is -3 + (-1 - i*-27) a composite number?
False
Let h(c) = -6*c - 3. Let z = 4 - 10. Is h(z) a composite number?
True
Let k be (1944/20)/(9/30). Suppose -k - 986 = -2*g. Is g composite?
True
Let n be (-3 + 8)*(0 - -1). Suppose 53 = i + n*p, 0*i - 5*i = -2*p - 265. Is i a composite number?
False
Suppose 1555 = 2*m - 75. Is m prime?
False
Is (838/5)/((-14)/(-35)) prime?
True
Suppose 2*r + r - 18 = 0. Is ((-314)/4)/((-3)/r) prime?
True
Let d = 76 + 43. Let t(j) = -4*j + 3. Let z be t(3). Is d - 0/(z/(-3)) prime?
False
Let v = 4 - 4. Let m be v/((0 - -2)*-1). Suppose 3*c - 18 = -m*c. Is c prime?
False
Let l be (0 + -3)/(1/(-18)). Suppose -4*y + 269 = 3*g - 2*y, 0 = 2*g + 2*y - 182. Let h = g - l. Is h a prime number?
False
Let h(n) = 67*n**3 + n**2 - 2*n + 1. Let b be -1*(-2)/4*2. Is h(b) prime?
True
Let f(v) = -v**3 - v + 1. Let c be f(-2). Suppose -2*p + 2*l + c = l, p - l - 6 = 0. Suppose p*n - n = 148. Is n composite?
False
Let c(w) = -4*w**3 + 11*w**2 - 21*w - 7. Is c(-9) a composite number?
False
Suppose 0 = -5*t, -5*l - 2 = 3*t - 7. Is l + (-3 - -372) + 1 a composite number?
True
Let i = 1 + -3. Let k(o) = 30*o + 2. Let w be k(i). Let c = w - -95. Is c prime?
True
Let g(z) = -4*z + 9*z**2 - 3*z**3 - 7 + 4*z**3 + 4*z + 4*z. Let a be g(-5). Let s = 150 - a. Is s composite?
True
Let o = -6 + 7. Suppose -11 + o = -2*h. Suppose h*f - 68 = 27. Is f composite?
False
Let n(t) = -2 + 2*t + t + t**3 - 6*t**2 + 0*t. Let x be n(4). Is -4*1/(8/x) a composite number?
False
Suppose -s = -4*s. Suppose s = 2*c + 2*c - 504. Suppose 4*g + 18 = -4*t + c, 0 = 3*t - 12. Is g prime?
True
Suppose 5 = 5*a - 585. Suppose 3*l + a = 5*l. Is l prime?
True
Let y(n) = 3 + 7 + n - 4. Let s be y(-6). Suppose -m - m + 134 = s. Is m a composite number?
False
Suppose 1987 - 640 = 3*d. Is d a composite number?
False
Suppose m + 63 = -0*v + 4*v, -1 = -m. Let i = v + 2. Let y = -7 + i. Is y a composite number?
False
Let w(n) = 2*n - 6. Let p be w(7). Suppose p = -f + 3*f. Is f composite?
True
Suppose 5*w + 0*x - 1961 = 3*x, -3*w - x = -1185. Is w a composite number?
True
Suppose 4*h - 3*r = -h + 22, 0 = -3*h + 5*r + 10. Suppose f + 0*f + h*t - 41 = 0, -5*t = -2*f + 22. Is f composite?
True
Suppose c - 222 = -3*w, -5*c + 79 = -2*w + 227. Is w a prime number?
False
Suppose 5*z = -0*z + 5845. Is z a prime number?
False
Suppose 2*c - 518 = 4*y, 5*c - 1004 = 3*y + 263. Is c prime?
True
Suppose -5*z + 368 + 162 = 0. Is z composite?
True
Let n = 3 + -2. Is 2/(-2) - (-129 + n) prime?
True
Suppose -f + 0*v + 633 = v, -v + 2520 = 4*f. Is f prime?
False
Suppose 0 = -5*r - i + 48, r = 3*i - 9 + 25. Suppose 350 = 4*j + r. Is j prime?
False
Suppose -4 = s + 4. Is (-4204)/s - 6/(-4) composite?
True
Is 2 + -1 - (-3851 - -5) prime?
True
Let o = -1 - -5. Suppose 3241 = -m - a + 4*a, -3*m = -o*a + 9728. Is m/(-16) - (-1)/4 composite?
True
Suppose -i - 2*a - 8 = -3*a, 0 = -3*i - 5*a - 40. Let w(h) = h**3 + 13*h**2 + 14*h - 3. Is w(i) a prime number?
True
Let d = 1129 + -120. Is d prime?
True
Is ((-8)/10)/((-3)/(-15)) + 705 a prime number?
True
Let d(f) = 4 - 34*f + 0 - 3. Is d(-1) a composite number?
True
Let y(w) = -w**2 + 24*w - 11. Is y(6) prime?
True
Let x(c) = -c - 8. Let p be x(-5). Let i = 6 + p. Suppose -m = 7*a - 2*a - 429, -i*m - 413 = -5*a. Is a a composite number?
True
Let u = 7 - 7. Suppose -4*p + 20 = u, 6*p - 3168 = -4*g + 2*p. Is g a prime number?
True
Let l(o) = 248*o + 1. Suppose 5*i - 33 + 8 = -4*a, -5*i + 4*a = 15. Is l(i) prime?
False
Let d(r) be the first derivative of -r**6/360 - 3*r**5/40 + 7*r**4/12 + 2*r**3/3 + 1. Let t(l) be the third derivative of d(l). Is t(-10) a composite number?
True
Suppose -3 = -2*m - 1. Is 1/(m/22 - 0) prime?
False
Let n = -79 + 131. Suppose -3*s = b - n, 2*b - 2*s + 4*s - 124 = 0. Is b a composite number?
False
Suppose 2*i - 6*i = 0. Let y = -2 - i. Let m(a) = -16*a + 1. Is m(y) prime?
False
Let q(d) = -d - 7. Let m be q(-4). Is 149*1/(-3)*m prime?
True
Let m(i) be the third derivative of -133*i**4/24 + i**3/2 + 2*i**2. Is m(-4) a prime number?
False
Suppose -3*w + 1 = -2*d, -5*d + 0*d = w - 23. Suppose -w*f - 20 = 4*k - 0*f, -4*k + 2*f = 0. Let n(c) = -21*c**3 - 4*c**2 - 4*c - 3. Is n(k) a prime number?
True
Let y(b) = -2*b - 4 - 2*b**3 - 3*b**3 + 2*b**3. Is y(-3) prime?
True
Let b be 48/12 + 4*-1. Suppose b = -5*l + 107 - 12. Is l prime?
True
Suppose j + 3*j - 29 = 3*o, j + 5*o + 10 = 0. Suppose j*d - 4*v - 1063 = 0, 3*d = -2*v + 875 - 246. Is d a prime number?
True
Suppose -3*f + 0 = -9, 4*u + 4*f = 1800. Is u composite?
True
Let g(h) = -3*h - 3. Let x be g(-2). Suppose -171 = -x*s - d + 95, -s + 94 = -5*d. Is s a prime number?
True
Suppose 0 = -4*i + k + 20, 2*i + 2*k = 6*i - 16. Suppose 3*z - 9 = i. Suppose 0 = -z*o + 5*w + 267 + 163, 379 = 4*o + 3*w. Is o a prime number?
False
Suppose -788 = -5*q + 1107. Is q composite?
False
Suppose 3*a - 3293 = -3*t + a, 2*t = -2*a + 2192. Is t a prime number?
False
Suppose y + 1855 = 5*q - 11963, 0 = 4*q - 5*y - 11046. Is 4/18 + q/36 composite?
True
Suppose 2*i - 103 = -l, -l = -6*l + 3*i + 463. Let o = 32 + l. Is o a prime number?
True
Let a = -177 + 302. Let o = a + -66. Suppose 0 = -2*s - x + o, x = 3*x + 6. Is s composite?
False
Let i(c) = 93*c - 20. Is i(7) prime?
True
Let l(d) = -d**3 + 5*d**2 - 9*d - 6. Let x be l(-9). Suppose 4*m - x = 59. Is m a composite number?
False
Suppose -29 - 207 = -4*q. Is 