 v be p(6). Is x(v) prime?
True
Let l = -18 + 26. Let x = 105 - l. Is x prime?
True
Suppose 41 = 2*s - 5*p - 170, 0 = -p - 5. Is s a prime number?
False
Suppose -2*c + 14 + 4 = 0. Let g be (-6)/(-9) - 6/c. Suppose -k = -g*k - 53. Is k composite?
False
Let b = 350 - 171. Is b composite?
False
Suppose 0 = 3*i - 5*w - 8, w = -3*w + 8. Suppose k = -4*q + 9, k = -4*q - 2*k + 19. Is ((-2)/i)/(q/(-57)) a composite number?
False
Let p(l) = l + 3. Let z be p(-4). Let g be 0 - -2 - (-1 - z). Is (-1251)/(-6) + 1/g a prime number?
False
Let y(h) = 9*h**2 + 5. Let m be y(4). Suppose -7*c = -8*c + m. Is c a composite number?
False
Suppose 3*k - n = -4, 3 + 13 = 4*n. Is 3 + 20/(k - -1) prime?
True
Let k(z) = z**3 - 6*z**2 + z - 2. Let j be k(6). Is j/6 - (-139)/3 a composite number?
False
Is (-5)/(2 - 36/8) + 1085 a composite number?
False
Let s = 103 + 1654. Is s a prime number?
False
Let m(n) = 5*n**2 - 4*n + 6. Is m(7) a composite number?
False
Let y(p) = -p**3 + 2*p**2 - 2*p - 1. Let a be y(2). Let g(n) = -n**2 - 6*n + 2. Is g(a) a composite number?
False
Let j be ((-7)/5)/((-4)/20). Suppose 22 = -3*l + j, 0 = -c - 5*l. Is c prime?
False
Let l(f) = 6*f - 7. Let j be l(6). Let u = 22 + j. Is u a composite number?
True
Let w = -439 + 830. Is w a composite number?
True
Let u = 96 - 53. Is u + (1 - -2) + 3 a prime number?
False
Suppose -5*w - 1086 = 4*q - 5*q, -5*q = -3*w - 5320. Is q composite?
False
Suppose -4*l = -2*x - 2, 3*l - 2*l = 5*x - 4. Let d be ((-3)/(-6))/x*-2. Is d/5 + (-582)/(-10) composite?
True
Suppose 2*b = -0*b - 5*h - 2, -3*h = 6. Let y = b + -13. Let u(w) = -w - 2. Is u(y) a prime number?
True
Let r = 6 + -10. Let q = r - -4. Suppose q*j = 5*j - 395. Is j composite?
False
Let r(o) = 23*o + 1. Let i(j) = -70*j - 3. Let n(h) = -3*i(h) - 8*r(h). Let k be (8/(-6))/((-4)/9). Is n(k) composite?
False
Suppose 5*q - 2*i - 2*i - 158 = 0, -3*q - i = -88. Suppose 4 + 26 = -2*y - 5*t, 31 = -3*y - 4*t. Let j = q + y. Is j a composite number?
True
Let m = 1154 - -183. Is m composite?
True
Let u = -7 - -17. Let z(g) = g**3 - 9*g**2 - 11*g + 14. Let n be z(u). Suppose n*h - 389 = 431. Is h composite?
True
Let g be 72/32 - (-3)/4. Suppose -452 = -c - g*c. Is c prime?
True
Let b = -1118 - -2827. Is b a composite number?
False
Let p(u) = 19*u**3 - 3*u**2 + u + 3. Is p(2) a prime number?
False
Suppose -2*d - 3 = -5*d - 3*a, d - 5*a + 29 = 0. Let s(v) = -v**2 - 4*v - 2. Let l be s(d). Is l/(-8) - (-54)/8 a prime number?
True
Suppose -r = 3*a - 5, -3*r - 27 = -5*a - 0. Suppose 3*k - k - 667 = -a*u, 0 = 3*k - 5*u - 1010. Is k a prime number?
False
Suppose -4*x + 1 = -19. Suppose -x*l + 232 = -l + 3*z, 5*l - 5*z - 255 = 0. Is l a composite number?
True
Let m = 7 + -4. Suppose 2*h = m*h. Suppose h = -0*d + d - 77. Is d composite?
True
Suppose 0 = 3*i - 0*i - 267. Is i composite?
False
Let j(y) = 2*y - 8*y - 73 + 72. Suppose -2*c + 4*c + 8 = 0. Is j(c) prime?
True
Let h(a) be the first derivative of 2 + 0*a + 0*a**2 - 1/3*a**3 - 5*a**4. Is h(-1) a composite number?
False
Suppose -5*p = -8*p + 192. Let k = p + 265. Is k a composite number?
True
Let g(x) = -x**3 - 2*x**2 + x + 1068. Let w be g(0). Suppose 2*z - 6*z = -w. Is z a composite number?
True
Suppose 3*z - 3*s - 1278 = 0, -4*z + 3*s - 309 = -2009. Is z a prime number?
False
Let n = 169 + -78. Let c = 174 - n. Is c a composite number?
False
Let n(i) = -350*i + 1. Is n(-2) a composite number?
False
Suppose 7*a + 2380 = 2*a. Let h = 8 - 6. Is (-1)/(h/a*2) composite?
True
Let z(y) = -10*y + 1. Suppose h + h = -2*q - 20, h = -2*q - 15. Is z(q) a composite number?
True
Let w(k) = 91*k**2 + k - 1. Suppose 2 - 3 = -f. Is w(f) prime?
False
Let a = -4 - -6. Suppose -3*h = -3*p + 8*p - 266, a*p - h - 113 = 0. Is p prime?
False
Let b = 1 + 1. Is (-22)/(-8)*10*b prime?
False
Let r(y) be the third derivative of 13*y**6/120 + y**5/20 - y**4/12 + y**2. Let w be r(2). Is w/3 - 4/12 composite?
False
Is 3/2*(5 + 353) prime?
False
Suppose -4*v = 5*x - 77 - 86, -2*x - 198 = -4*v. Suppose 153 = 3*j + 2*k, 3*j - 2*k - v = 106. Is j a composite number?
True
Is (-1173)/(-4) + (-14)/56 a composite number?
False
Let r(b) = b**3 - 5*b**2 + 4*b + 3. Let i be ((-6)/(-9))/(2/15). Is r(i) a composite number?
False
Let t be -1 - (0/2)/(-3). Let y(n) = 4*n**2 + n. Let x be y(t). Suppose 3*f + x*c = 30, -2*c = -5*f + c + 42. Is f composite?
True
Let d(s) = -17*s**3 + 3*s**2 + 7*s. Let b(u) = 8*u**3 - 2*u**2 - 4*u. Let g(x) = 5*b(x) + 3*d(x). Let q be g(1). Is (-1 - 2)*q/3 composite?
False
Suppose 0 - 372 = 3*w. Let q = 247 - 70. Let l = w + q. Is l prime?
True
Let c = -13 + 8. Let v(k) = k + 5. Let u be v(c). Is (-1 + u)*-1 - -112 a composite number?
False
Let i = 25 + -18. Suppose -2*m - 10 = 3*m. Is m/(-7) + 89/i a prime number?
True
Suppose 2*d + 568 + 8 = 0. Let f = -179 - d. Is f composite?
False
Suppose 2*f + 2 - 10 = 0. Suppose 7*o - f*o - 165 = 0. Is o composite?
True
Suppose 4*y + 3*w - 16 = 0, 0*y - 3*y = -w + 1. Is y*32 - (-1 - 1) a composite number?
True
Suppose 1468 = 3*d - 1274. Suppose 3*b - 916 = -b + 4*o, -d = -4*b + 5*o. Suppose y + 2*y = b. Is y composite?
True
Let k = 0 + 31. Suppose -5*l + k + 15 = -f, f + 36 = 4*l. Is l a prime number?
False
Suppose -5 = 3*y + 2*y. Let w(h) = h**2 - 2*h - 1. Let j be w(y). Suppose 57 = j*c + c. Is c a composite number?
False
Suppose 0 = 4*n - 5*c - 2967, -3*c - 750 = 4*n - 3725. Is n a prime number?
True
Let d be 2/7 + 2285/(-35). Let t be (-2)/(-13) + (-185)/d. Suppose -t*m = 2*m - 115. Is m a prime number?
True
Let a(j) be the first derivative of -j**6/120 - 3*j**5/20 + 5*j**4/24 + j**3/2 - 3*j**2/2 - 3. Let x(y) be the second derivative of a(y). Is x(-10) prime?
True
Let t(u) = u + 1. Let r be t(2). Suppose -95 = -2*v - g - 0*g, -4*v - r*g = -187. Is v + (-2)/(-2) - 1 a prime number?
False
Suppose -47 = -4*j - b + 46, -3*j + 64 = -5*b. Let y = j + -2. Is y a prime number?
False
Let p be -2 + (-1 - 0 - -3). Suppose 3*v - f - 776 = p, -1018 = -4*v - f - f. Is v a prime number?
True
Let c(k) = 2*k**2 - 6*k - 6. Let t(x) = -4*x**2 + 12*x + 13. Let u(o) = -7*c(o) - 3*t(o). Let s be u(-6). Let a = s - -158. Is a a prime number?
True
Is ((-10)/3)/((-12)/198) prime?
False
Let i be 3/((-6)/(-4)) - 5. Let p be 76/i*(-1 - -4). Let n = p + 127. Is n a prime number?
False
Suppose 2 = 3*p - 4*p. Let o be p/4 - 14/(-4). Suppose 0 = -4*s - i + 137, -s = 2*s + o*i - 96. Is s prime?
False
Is 1/(4*-1) + 15093/36 a composite number?
False
Suppose 2*v = -3*q + 1493, 0*v + 741 = v - 4*q. Is v prime?
False
Let z(i) = -i**3 - 5*i**2 + 4*i - 7. Let o be z(-6). Suppose -o*u = -5 - 5. Suppose -2*g + 8 = -b - 30, 55 = 3*g - u*b. Is g a prime number?
False
Let f(b) = b**2 - 5*b + 3. Let z be f(6). Suppose 30 = 2*h - 5*c, -c - 60 = -4*h + c. Suppose z*p = 4*p + 5*a + h, 2*a - 8 = 0. Is p composite?
False
Suppose 4*q - 793 - 723 = 0. Is q a composite number?
False
Let c be (-25)/(2 + (-22)/10). Let z = -42 + c. Is z a prime number?
True
Let p(l) = 6*l**2 - 6*l - 1. Suppose -4*r - 50 + 134 = 0. Suppose 4*s - r = o, 0 = -0*s + s + 2*o - 3. Is p(s) a prime number?
False
Let g be (-81)/(-12) - (-1)/4. Let r(p) be the first derivative of -p**4/4 + 8*p**3/3 - p**2 + 4*p + 10. Is r(g) prime?
False
Let o = -161 - -105. Let l = -33 - o. Let k = l + -10. Is k a prime number?
True
Let x(w) = w**2 - 3*w + 3. Let g be x(2). Is 6/2*(g + 0) prime?
True
Let l be (40/(-90))/(2/(-9)). Suppose l*t + 5*w - 241 = 0, -3*t - 4*w = -300 - 65. Is t a composite number?
True
Suppose -2*t - 76 = 2*q + 8, -4*q = t + 159. Let m(h) = -13*h**3 - 3*h**2 - h + 2. Let l be m(-2). Let x = l + q. Is x a prime number?
False
Let n be (4/8)/(2/8). Suppose -7*u + n*u = 5. Is (-1594)/(-8) + u/4 a composite number?
False
Let j be 367/(-3)*(-4 + 1). Suppose 5*s + 8*d - 3*d - 470 = 0, 4*s + d = j. Is s prime?
False
Is (-2878)/(-22) + (-12)/(-66) a prime number?
True
Let h = 266 - 177. Let z = h + -64. Is z a prime number?
False
Suppose 0 = 5*k - 4*k - 4. Suppose 60 + 176 = k*b. Is b prime?
True
Let k = 10 - 7. Suppose 0*m - 273 = -k*m. Is m a composite number?
True
Suppose p = -7 + 14. Suppose -p*z = -3*z - 948. Is z composite?
True
Suppose 2*i + l = 37, 3*l = 3*i + 4*l - 58. Let k = i - -32. Is k a composite number?
False
Suppose 5 = -m, -3*d + m + 2*m 