se -7592 = -r + 6*d - 3*d, 2*d = -4*r + 30410. Is r a composite number?
True
Let y = -173 + 104. Let p = y - -11. Let t = p - -207. Is t composite?
False
Let i(s) = 2*s - 16. Let q be i(9). Is q/9 - 25358/(-18) prime?
True
Suppose 0 = -3*v + 4*v - 2. Suppose -s - 2*s = -a + 12, v*a + 11 = -s. Let n(u) = -73*u**3 - u**2 + 3*u - 4. Is n(a) composite?
False
Suppose -5*s - 14180 = -7*v + 2*v, 5*s = -25. Is v composite?
True
Suppose l = -0*k + 3*k - 16, -4*k + 25 = -5*l. Suppose k*o = 6*o - 49. Suppose 5*g - 3*g + i = 123, g - o = 2*i. Is g a composite number?
False
Let g be (-22539)/(-15) + 3 + 2/5. Suppose g = 6*i - 480. Is i prime?
True
Suppose 2777 + 84763 = 60*f. Is f a prime number?
True
Let p = 1987 - 1086. Is p a composite number?
True
Let y = -1101 - -2812. Is y prime?
False
Let w be 3380/180 - (-2)/9. Suppose 0 = -4*g + c - w, -3*g = g - 3*c + 9. Is 58 - (g/3 - -5) prime?
False
Suppose -2*r + 7*r - 288 = -2*a, 5*r - 291 = a. Is r a prime number?
False
Let r(m) be the first derivative of 1 - 4*m + 215/2*m**2. Is r(3) a composite number?
False
Let f(h) = -3*h**3 - h**2 - 21*h + 8. Is f(-15) a prime number?
True
Let q = -22448 + 33099. Is q a prime number?
True
Let g(o) = 95*o**2 + 1. Let i be g(-1). Let u be (-2)/4*(11 - 1). Let n = u + i. Is n composite?
True
Let g be ((-3046)/(-4))/((-4)/(-8)). Let z = -702 + g. Is z composite?
False
Let r(m) = m**3 - 2*m**2 - 13*m - 9. Let a be r(10). Let x(p) = -172*p + 4. Let y be x(-3). Let u = y + a. Is u prime?
True
Let w(h) = 11*h + 14. Let p be w(-7). Is (2799/(-27))/(3/p) prime?
False
Suppose 13 = -5*t - 2. Is t*(-1 - 176/3) a prime number?
True
Let c(n) = -31*n**2 - 7*n + 4. Let a be c(-5). Let l be a/(-12)*(4 + -1). Suppose -2*m + 318 = -l. Is m a prime number?
True
Let p = -40 + 45. Suppose p*m = -2*m + 1099. Is m a prime number?
True
Is 1319*((-2)/(-3) + (-3)/(-9)) a composite number?
False
Let b be 12522*(2/(-7))/((-24)/42). Suppose -3*y = 3*c - 7812, 4*y = -2*c + b - 1063. Is c prime?
True
Suppose 729 = 17*h - 18838. Is h a composite number?
False
Suppose -3*b - 1035 = 2*b. Let s = b + 524. Is s composite?
False
Suppose -5*b + 3*b + 824 = -3*c, -2*c + 5*b = 531. Let r = c - -609. Is r composite?
False
Let l = -559 - -267. Let m = 2091 + l. Is m a prime number?
False
Let j = 10016 - 5227. Is j composite?
False
Let z = -1258 - -3167. Is z a composite number?
True
Let o be 7976 - 25/((-20)/4). Let d = o + -5402. Is d a composite number?
False
Suppose 0 = -26*u + 258340 + 257370. Is u composite?
True
Is (-7959 - 7)*(-1)/((-6)/(-3)) prime?
False
Suppose -s = s - 48. Suppose -4*q = w + 7, 2*q = 3*w - q - s. Suppose -2*a = -w*y + 2059, 5*y + 4*a - 2068 = 3*a. Is y prime?
False
Let z(a) be the third derivative of -65*a**4/24 - a**3 - 19*a**2. Let r = -7 - -2. Is z(r) composite?
True
Let a(p) = 22*p**3 - p**2 + 6*p - 3. Let c be a(4). Let l = -736 + c. Is l a composite number?
False
Let u(x) = x - 16. Let f be u(8). Let v = f + 10. Is v/(-7) - 6695/(-35) prime?
True
Suppose 77 = 5*b - 4*b - 3*k, -b - 5*k = -109. Suppose -12 = c - b. Is c composite?
True
Let z be ((-85)/15)/(2/(-78)). Suppose 633 = 3*v + 3*n, -z = 2*v - 3*v + 4*n. Suppose v = 4*q - 175. Is q composite?
False
Let w be 4/(2 + -1)*2923/2. Suppose 2*o - t + w = 5*o, 1944 = o + 5*t. Is o composite?
False
Let x = -15 + 21. Let g = 13 - x. Is g a prime number?
True
Is -6*(-3666)/9 + (-2 - 1) a composite number?
False
Let b(t) = 10*t - 9. Let h(z) = -10*z + 7. Let y(u) = 3*b(u) + 4*h(u). Let i = -11 - -6. Is y(i) prime?
False
Let r be 4 - (-1)/2*2. Suppose j - r*j + 40 = 0. Suppose 0*v + 2*v = j, 29 = x + 4*v. Is x prime?
False
Let b(n) = -96*n + 11. Let a be b(-4). Let l = -192 + a. Is l a composite number?
True
Suppose 4*p + q - 17 = -0*p, -3*p - 3*q + 24 = 0. Suppose 867 = -p*z + 2655. Suppose 8*g - z = 4*g. Is g a composite number?
False
Let q(d) = -474*d + 14. Let b be q(-8). Suppose 15*f = 4*f + b. Is f a prime number?
False
Let h be (-32)/(4/1) + 2. Let s(f) = 14*f**2 + 3*f - 5. Is s(h) a composite number?
True
Let l(o) be the second derivative of -o**5/10 - o**4/12 + o**3/6 + o**2 + 3*o. Let x be l(2). Is -10*4/(x/6) composite?
True
Let r(b) = -4*b - 13*b**2 - 16*b**2 + 12*b**2. Let y be r(3). Let m = y - -284. Is m a composite number?
True
Let x(z) = -z**3 + 4*z**2 + 5*z - 1. Suppose -5*b + 1 = -34. Let o = -3 + b. Is x(o) prime?
True
Let o = -34 - -42. Suppose -2*w + 94 = -3*u, 3*u - 4*w - 64 + 168 = 0. Is ((-18)/o)/(7/u) composite?
True
Let v(z) be the first derivative of 5*z**3 - z**2/2 + 17*z - 3. Is v(7) prime?
False
Suppose 3*c + 4573 = 5*j, -2*j - 2*c = j - 2740. Suppose 5*f - 905 = 5*t, 2*t = 5*f - 0*t - j. Suppose f = 4*g + 4*h, h - 41 - 51 = -2*g. Is g composite?
True
Let r(l) = -2*l + 14. Let z be r(6). Suppose 5*u = 3*y + 6901, -4*u + 2750 = -z*u + 4*y. Is u a prime number?
False
Let y(t) = -t**3 + 4*t**2 + 7*t + 6. Let a be y(-4). Suppose -h + 937 = 2*d, 4*h - h - 476 = -d. Suppose 3*o - d = a. Is o a prime number?
True
Suppose -17*l + 20*l - 15 = 0. Suppose -8*v + 8 = -4*v. Suppose -l*k - 1 = -y, 3*k = -v*y - k + 16. Is y prime?
False
Let n(f) = 44*f**2 - 4*f - 7. Let h(r) = -4*r**3 + 2*r**2 + 3*r + 2. Let s be h(-1). Is n(s) a prime number?
False
Let b = -3165 + 5067. Suppose 0 = 5*v + 4*d - 1894, -b = -5*v + d - 3*d. Is v a prime number?
False
Let f be 12/20 + 6562/5. Let d = f + -478. Is d a prime number?
False
Let n(s) = -2*s - 1. Let p = 2 - 1. Let w be n(p). Is 14/(-4)*(-5 - w) a prime number?
True
Is (-6219)/(-5) + (-88)/110 a composite number?
True
Suppose -17*d = -7026 - 6251. Is d a composite number?
True
Let y(t) = -t**2 + 2*t - 1. Let a be y(1). Let j = a + 0. Is -1*(-1 - 193 - j) a composite number?
True
Suppose -2*k + 4 = 0, 4*i - k - 1167 - 803 = 0. Is i a composite number?
True
Let q be (-17601)/(-21) - 2/14. Is 1 + (-7)/((-7)/q) composite?
False
Let w be (-3)/5 + 530/50. Is (-8778)/(-30) - (-4)/w a composite number?
False
Suppose u = 4*y + 21, 10 + 1 = -4*u - 3*y. Is u/(3 - 1446/483) composite?
True
Suppose 16*m - 46795 = 10117. Is m prime?
True
Suppose 4*u = -3*v - 101, 79 = -3*u + v - 0*v. Let k = -23 - u. Suppose 18 - 183 = -3*l - k*p, -4*p = 0. Is l a prime number?
False
Suppose 12*q + 9058 = 19*q. Is q prime?
False
Suppose 0 = -26*o + 28*o - 458. Let s = o - 152. Is s a prime number?
False
Let p be (2 + 0)/(5/(-80)). Let w = 36 + p. Suppose 0 = 4*d, 3*r - 5*d + w*d - 1266 = 0. Is r a prime number?
False
Let k = 9 - 0. Let w = -89 - -92. Suppose w*h = -0*h + k. Is h composite?
False
Suppose 0 = 3*w - 0*w - 18. Let r be -206*(-4 - (-33)/w). Let n = -188 - r. Is n a prime number?
False
Let l be (-6)/15 - (-1236)/15. Suppose 0 = -2*u + l + 362. Suppose 4*p = -3*m + u, -2*p - 222 = -3*m + p. Is m prime?
False
Let j = -10 + 14. Suppose 0 = -j*w + 538 + 306. Is w a prime number?
True
Is 10*(-8)/(-320)*34036 a prime number?
False
Let m be (4/5)/((-8)/(-20)). Let k(j) = 3 + m*j - j**3 + 0 + 7*j**2 - 3*j. Is k(6) prime?
False
Let u(f) = 9*f**3 + 2*f**2 + 3*f - 3. Suppose -2 = -n - 0*n. Let b be u(n). Suppose 4*z - 478 = v, 4*v - 385 = -4*z + b. Is z prime?
False
Let t(p) = -74*p**3 - p**2 + 8*p + 14. Is t(-3) prime?
True
Let o(t) = t**2 - 1. Let g(f) = -1. Let s(j) = -g(j) + 4*o(j). Is s(10) prime?
True
Let m(i) = -1568*i - 1. Let q be m(9). Suppose -3*o + 2*k = 9, 5*k - 18 + 5 = -2*o. Is o/(-6) + q/(-66) composite?
True
Is 21035/15 - (2/6 + -1) composite?
True
Let y(o) = o + 7*o**2 - 8*o + 2*o - 6 + 14*o**2. Let n be y(-4). Suppose -4*i + 4*c + n = -2*i, -3*i - 4*c = -535. Is i prime?
False
Let o = -871 + 2922. Is o a composite number?
True
Suppose -2*o = 3*r + 2, 0 = o - r - 4 - 0. Let j = o - -9. Is j a composite number?
False
Let y(z) = -z**3 + 4*z**3 + 13*z**2 - 2*z**2 - 2*z**3 + 6*z + 4. Let w be y(-10). Suppose -2*v + w = 3*p, 5*v - 101 = p - 4*p. Is v composite?
False
Let l(g) = g + 1. Let h be l(12). Suppose -h*d + 1147 = -400. Is d prime?
False
Let k(b) = 27*b - 1. Let z be k(13). Suppose -3*d + 3*l + z = -2*l, -5*l - 20 = 0. Suppose 3*c = -2*c - 5, -5*c + d = 5*j. Is j prime?
True
Let i be (-2)/5 + (-440)/(-100). Suppose -y + 129 = i*h, -2*h = 14 - 6. Is y a composite number?
True
Let j(a) = -765*a - 1. Let s be j(3). Let v = s - -1374. Let c = 1423 + v. Is c a composite number?
True
Suppose