 c = 5*a - 275, o*c = c. Is a composite?
True
Suppose 3*r - 17594 + 3011 = 0. Is r prime?
True
Let u(c) = -c + 1. Let b be u(3). Is (-44)/(-1) - 4/b prime?
False
Let s(f) = 237*f - 1. Is s(4) prime?
True
Let a(t) = -87*t. Let u be a(-1). Let m(p) = -p**3 - 7*p**2 - 7*p - 4. Let i be m(-6). Suppose i*x - x - u = 0. Is x composite?
True
Let c(y) be the first derivative of -2*y**2 + 2/3*y**3 - 1 + 3*y. Is c(2) a prime number?
True
Suppose -7*k - 2390 = -9*k. Is k composite?
True
Suppose 86 = 3*o + 4*f + f, 0 = -3*o + f + 116. Is o a prime number?
True
Let m(f) = 4*f**2 + 10*f + 8. Let v be m(-6). Suppose 419 = 4*g + a + 40, g - v = -3*a. Is g composite?
True
Let m = -1 - -3. Suppose 2*g = -m*g. Suppose 5*d + 0*w - 5*w - 240 = g, 197 = 4*d - 5*w. Is d a prime number?
True
Suppose -70 = -0*h - 5*h. Let x = h - -141. Is x prime?
False
Suppose 0 = 4*b + 528 - 2584. Suppose 5*t - 3306 - b = 0. Suppose 0 = 8*m - 4*m - t. Is m composite?
False
Suppose 2*k = -5*b + 1373, 3*b + k - 807 = 4*k. Suppose 0 = d + 2*d - b. Is d a composite number?
True
Suppose -10820 = -24*u + 4*u. Is u a composite number?
False
Let w = -1199 - -2106. Is w composite?
False
Suppose 3*v - 48 = -3*a, v + v = -a + 37. Suppose -4*y + 4 = i - 0, 0 = 3*i + 3*y - v. Let j(l) = 3*l**2 - 1. Is j(i) composite?
False
Is 958 + (-7)/(14/6) composite?
True
Suppose 5 = -4*i + 9. Let k(f) be the first derivative of 17*f**2 + f + 1. Is k(i) a composite number?
True
Let m be ((-6)/4)/((-6)/3960). Suppose 2*y + 0*s + 2*s = m, -505 = -y + 4*s. Suppose y = 3*p - 4*u, 95 = p + 5*u - 77. Is p a composite number?
False
Let n be -8 + 11 + 0 + -3. Suppose 5*l + 224 - 2259 = n. Is l prime?
False
Let f(x) be the third derivative of -x**4/12 - 2*x**3/3 + 3*x**2. Let s be f(-4). Suppose 4*k - 208 = s*n, 5*k = 4*k + 4*n + 49. Is k a prime number?
True
Suppose -2*g - 1 = -5. Suppose c - 99 = -2*c - g*o, c - 33 = o. Is c composite?
True
Let q = 1178 - 759. Is q a composite number?
False
Is 2/(-10) - (-7 - (-11122)/(-10)) composite?
True
Suppose 0 = -4*h + 7*h + 516. Let r = h + 269. Is r composite?
False
Suppose 5*r = 3*x + r - 7, 0 = 3*r + 3. Let v be (0 - 1)*-20*x. Suppose 0 = 5*m - v, 3*b - 32 = b + 3*m. Is b prime?
False
Let s be 39/1 + (2 - 2). Suppose 3*h + 3*t - 84 = 2*t, -2*h + t + 56 = 0. Suppose h = j - s. Is j a composite number?
False
Let r be (16/12)/(6/(-27)). Is (-1 + r/(-8))*-1436 composite?
False
Let v = -220 - -383. Suppose -24 = 3*r - 2*s - 185, 3*r - s = v. Is r composite?
True
Let h = -153 - -230. Is h a prime number?
False
Let b = 16 + -9. Let i = -4 + b. Is i a prime number?
True
Let f(s) = -s**2 + 3*s + 5*s + 5 - s**3 + 9*s**2. Let q be f(9). Is (-8)/q + (0 - -21) a composite number?
False
Let c(b) be the second derivative of 13*b**3/6 - 2*b**2 - 2*b. Let m(f) = f - 2. Let k be m(5). Is c(k) prime?
False
Let b = -13 + 16. Suppose -197 - 199 = -4*z. Suppose z = b*r - 234. Is r composite?
True
Let r(p) = 33*p**3 - 4*p**2 + p + 1. Is r(4) a composite number?
False
Let w be (1 + 4/(-2))*91. Let q be (-617)/(-3) - (-2)/6. Let r = q + w. Is r composite?
True
Let i = 4 - 30. Let r = 49 + i. Is r prime?
True
Let d be 1 + (0 - -1*2). Suppose 60 = -l + d. Let t = l - -122. Is t a prime number?
False
Let t(f) = 62*f**2 + 3*f - 1. Let u be t(2). Suppose -3*o + 191 + u = 0. Suppose -y + o = y. Is y a composite number?
True
Let d(p) = -p**3 - 4*p**2 + 8*p + 6. Let v be d(-6). Let s = -2 - v. Is 472/s*(-5 + 1) prime?
True
Let x(r) = 3*r**2 - 4*r - 2. Let a be x(-5). Let y be 21/(-2 - 10/(-8)). Let v = y + a. Is v a composite number?
True
Let r = -333 + 689. Suppose -r = 4*a - 8*a. Is a a composite number?
False
Let a be ((-6)/2 - -4)*11. Let b = a + -17. Let s = 31 - b. Is s a prime number?
True
Suppose 0*y - y + 2*d = -24, 5*y - 102 = d. Let u = y + -1. Is u a prime number?
True
Suppose 2*y = -4*m + 374, -3*y + 5*m = -y - 392. Is y a composite number?
False
Let a = 2934 + 1009. Is a a prime number?
True
Let c(n) = n + 2. Let u be c(6). Let o(p) = p**3 - 7*p**2 - 13*p + 12. Let d be o(u). Let y = -14 - d. Is y composite?
True
Suppose 4*r = -r + 1105. Is r a prime number?
False
Let t(x) = -6*x - 6. Let g(s) = s**2 - 7*s - 7. Let m(y) = 5*g(y) - 6*t(y). Let i(u) = -u**3 - 3*u**2 + 6*u + 6. Let b be i(-4). Is m(b) a composite number?
False
Suppose 0 = -3*y + y + 4162. Is y composite?
False
Let g = 9 + -5. Let v(u) = u**3 - g*u + 11 + u + 11*u**2 + 14*u. Is v(-8) composite?
True
Is (2886/18)/((-2)/(-6)) prime?
False
Suppose -f + 19827 = 8*f. Is f composite?
False
Let l = 1032 + -635. Is l a composite number?
False
Let o(p) = 149*p. Let q be 1*(0 - 2 - -3). Is o(q) a composite number?
False
Suppose 0 = -0*q + 3*q - l, -q - 3*l + 10 = 0. Let v(b) = 2*b. Let p be v(q). Is 288/p + 0 + -1 composite?
True
Let w be 1/1 + 0 + 55. Suppose 2*t = -3*n + 6*n + w, 2*t = -5*n + 40. Is t prime?
False
Is 2/(-8) - (-957)/4 prime?
True
Suppose 5*n = -10, 2*o + 2*n - 20 = -2*o. Suppose -o*u + 10 = -u. Let a(l) = 16*l - 1. Is a(u) a prime number?
True
Suppose -5*v + 143 = 5*g - 7, 0 = 3*g. Suppose v = n - 9. Is n a composite number?
True
Let j(x) = -57*x**3 - 2*x**2 - 2*x. Is j(-1) composite?
True
Let b = 93 - -64. Is b a composite number?
False
Let v(d) = 4*d**3 + 1 - 100*d**3 - 36*d**3 - 3*d**2 + d**2. Is v(-1) prime?
True
Let u be (0/(-1 - -4))/1. Suppose n - 3 - 16 = u. Is n a composite number?
False
Suppose 0 = -3*b - 7 + 16. Suppose -f + 7 = -2*d, b*f + 2*d - 4*d = 9. Let j(c) = 133*c**2 - c + 1. Is j(f) composite?
True
Let w = 47 - 28. Is w a composite number?
False
Suppose 52 = 5*z - 138. Is z composite?
True
Suppose -a = a - 508. Suppose -3*r + a = -r. Is r composite?
False
Suppose z - 4*z = -3, 0 = -2*m - 4*z + 178. Suppose 5*h - m - 18 = 0. Is h a prime number?
False
Let n = 35 - 5. Let s = n - -23. Is s a composite number?
False
Let w be -3*(14/6 + -3). Suppose 377 = -v + w*v. Is v prime?
False
Suppose -2107 - 1521 = -4*k. Is k prime?
True
Let d be 2/(5/(-2) - -3). Suppose -d*w = -2*u - 184, 2*u - 3 = 1. Is w prime?
True
Suppose -4*y - 2390 = -6*y - 2*w, -y + 2*w + 1183 = 0. Is y a composite number?
True
Suppose -t = -5, 2189 + 14002 = 4*r - t. Is r composite?
False
Let n(q) = q**3 - 11*q**2 + 3. Let i be n(11). Suppose -5*z - 20 = 5*f, f = i*f + 2. Is 1/(z*3/(-1179)) a prime number?
True
Suppose 0*d + 8 = 2*d. Suppose 0*u - 34 = -b + 3*u, -d*b + 4*u + 112 = 0. Is b composite?
True
Let g(v) = v**3 + v**2 + 191. Suppose -6 = -b - b. Suppose -3*o = m, b*m = 4*o + o. Is g(o) composite?
False
Suppose -3*x = -0*x. Let v(q) = q**2 + 111. Is v(x) composite?
True
Let d = 3 - 6. Let x be 29/d + 1/(-3). Is (-104)/x - (-2)/(-5) a composite number?
True
Let a = -5 + 10. Let l = 9 - 4. Suppose l*q + a*m - 190 = 0, -4*q = 2*m - 0*m - 146. Is q a prime number?
False
Let i(b) = b**3 - 21*b**2 + 21*b + 31. Is i(22) a prime number?
True
Suppose -1570 = 41*o - 51*o. Is o prime?
True
Suppose 2*z - 3 = 5*l + 2, 5*l = -5*z - 40. Let d = 1 + l. Is -2 - (-27 - (-4 - d)) prime?
True
Let u = -26 + 36. Let o(g) = g - 186. Let d be o(0). Is (-4)/(-10) - d/u a prime number?
True
Suppose 0 = 4*x - x + 5*i - 776, i = -3*x + 772. Is x prime?
True
Let f be 12/(-8) - (-1)/(-2). Let y be (6 + -3)*f*1. Let d(c) = -c**3 - 6*c**2 - 2*c + 2. Is d(y) prime?
False
Let b be (14/35)/((-1)/(-5)). Is (21 - b)/((-1)/(-13)) a prime number?
False
Suppose -3*h = u - 73, 2*h = -0*u - 4*u + 312. Is u a prime number?
True
Let j(k) = 12*k**2 - 2*k - 3. Let d be j(-2). Suppose -l + 4*b = -212, -2*b = 5 - 1. Suppose -d + l = 5*f. Is f a composite number?
False
Suppose -2*s = 2*v - 2, 5*v + 21 = 3*s + 2. Suppose 2*c - 150 = -2*k, -k + 100 = -c + 21. Suppose 5*a = m + 429, 0 = -s*a + 2*a - 2*m + k. Is a composite?
True
Suppose -67 - 269 = -2*i. Suppose -2*y = -164 - i. Is y a prime number?
False
Suppose -4*n = -v - 13, 5 + 3 = 5*n - 4*v. Suppose -34 = n*y - 182. Is y composite?
False
Suppose -5 = -b - 3. Suppose b*l - 2*n = 174, 2*n = 3*l + 118 - 377. Is l a composite number?
True
Let p be 2 + (-5 + -1)/3. Suppose -2*o - 2*z + 8 = p, 2*o - 2 - 6 = -5*z. Is 2/o + 138/4 composite?
True
Suppose 5*s - 13 = 12, -3*k - 4*s = -35. Suppose -2*r = -k*b - 87, -3*r + b + 83 = 3*b. Is r composite?
False
Let t(g) = g**3 - 3*g**2 - 5. Let a be t(5). Suppose -p + 6*p + a = 0. Let