5*g - 36 = -11. Is 786/10 - 2/g prime?
True
Suppose 305 = -3*w - 295. Let o = 5 - w. Is o composite?
True
Let i(c) = c**2 + 1. Let x be i(1). Suppose 335 - 36 = 2*q + 3*m, -2*m = -x*q + 324. Is q a composite number?
False
Suppose -d = -3*t + 2, 2*t + d + 3 = -4. Let f = 3 - t. Suppose -3*x + 126 = f*h, 5*h + 0*h - 169 = 2*x. Is h a prime number?
False
Let u be 1*(1 - 0) + 1. Let w be u/8 + (-635)/(-4). Is (w/6)/((-2)/(-4)) composite?
False
Let d = -10 + 14. Suppose 12 = -3*o + 5*o. Let n = o + d. Is n prime?
False
Let z(v) = -v + 9. Let f be z(-9). Let m = f + -7. Is m composite?
False
Suppose v - 3*w = 110, -v + 4*w + 100 = 6*w. Let t = 16 - 33. Let n = v - t. Is n a composite number?
True
Let h be ((-33)/6)/(1/(-6)). Suppose -4*r + h = -3*r. Is r composite?
True
Suppose 2*z - 197 = 2*o + 993, -4*z = 3*o - 2352. Is z a composite number?
True
Let i be 8/(-5) + 8/(-20). Let j be 6/i*(-1)/3. Is 1 + j - 4 - -131 a prime number?
False
Let y = 67 + -100. Is y*4/(-6)*1 a composite number?
True
Suppose 0 = -c + 3*c + i + 235, -4*c - 4*i = 472. Let m be (0 - c)*2/6. Let p = -4 + m. Is p a composite number?
True
Suppose 0 = -5*r + 2*o + 10485, -r + 3*r + 4*o = 4218. Is r a composite number?
False
Let p be (-1 + 1)*(-3)/3. Let y(v) = v**2 - v + 16. Let d be y(p). Let q = 18 + d. Is q prime?
False
Suppose 9 = 4*q + y, q + 4*y + 6 = 6*q. Suppose -5*r + 14 = -0*j + 2*j, 0 = -j + 5*r - 8. Suppose -4*v - j*l = l - 31, l - 15 = -q*v. Is v prime?
True
Is 53*15 - ((-28)/4 - -5) a composite number?
False
Suppose 2*z + z + 6 = 0, -2*z = -i + 88. Let j = i + -36. Let y = j - 29. Is y composite?
False
Suppose 2*i - 434 - 4 = 0. Let a = i + -113. Is a composite?
True
Let y = -3 + 2. Let o be ((-6)/(-4))/(y/(-2)). Suppose 4*x + 0*x - 89 = -3*v, o*v + 3 = 0. Is x prime?
True
Let n be ((-3 - -1) + -10)/(-2). Let q(g) = 45*g - 5. Let x be q(n). Suppose -8*v + x = -3*v. Is v a composite number?
False
Suppose -8 = 2*d, 0*i - 2*i = 5*d - 486. Is i a composite number?
True
Suppose -x - 115 = -6*x. Suppose -2*h - 3*u + 7 = -6*h, 5*h = -2*u - 26. Is (x/2)/(h/(-40)) a composite number?
True
Let k = -89 + 272. Is k prime?
False
Suppose -3*j + 1272 = j - i, -i = -5*j + 1589. Is j prime?
True
Let t be 58/(-8) - 2/(-8). Let v(a) = a**2 + 4*a - 1. Let c be v(t). Let z = c - 5. Is z a prime number?
False
Is -1 + -10 - -5 - -4235 prime?
True
Let d(h) = 441*h + 5. Is d(2) a composite number?
False
Let s = 2 + 0. Suppose -s*k = -5 - 129. Is k a prime number?
True
Let h(u) = -u**2 - 5*u + 3. Let j be h(-5). Is 3 - -157 - j/3 prime?
False
Suppose 4*h - 8*h = -29144. Is h a composite number?
True
Suppose 0*l = -4*o + l + 13, -2*o + 29 = -5*l. Suppose -4*p + 246 = 2*r, -o*p - 4*r = r - 143. Is p a prime number?
True
Let u be (-4)/(-1)*(-99)/(-4). Suppose -w + 2*w = u. Suppose 5*m + 24 - w = 0. Is m a composite number?
True
Let a(x) = 2*x**2 - 5*x + 9. Let u = 9 - 1. Is a(u) prime?
True
Is 3837/12 - 6/8 prime?
False
Let x be 1 + (-114 - 0) + 1. Let c = x - -161. Is c composite?
True
Suppose 0 = -2*d - d + 6. Suppose 4*p - 456 = -d*n, 0*n - 123 = -p + 4*n. Is p prime?
False
Let z(l) = -l**2 - 7*l - 4. Let w be z(-5). Suppose w*b = 2*b. Suppose -k = -5, b = -5*x + k + 137 + 28. Is x a composite number?
True
Let i(l) be the second derivative of l**4/12 + 2*l**3/3 - 3*l**2/2 + l. Let b be i(-5). Suppose 2*o - 79 = 2*d - 7*d, 4*o = -b*d + 150. Is o a prime number?
True
Let b be 4/((2/(-24))/(-1)). Suppose -3*h - b = -5*h. Suppose s - 5*s + h = 0. Is s a prime number?
False
Is ((-8)/(-12))/(1*4/5442) composite?
False
Let a(q) = q**2 + 4*q - 7. Let v be a(-5). Let g be ((-1)/v)/(2/(-4)). Is ((-395)/10)/(g/2) a prime number?
True
Let m = 19 + -13. Suppose s + 2*r = -m, 4*s + 3*r - 1 = -5. Is 7/((4/6)/s) a prime number?
False
Let n = 1078 + -627. Is n a composite number?
True
Suppose 60 = -s + 5*s. Let d = 58 - s. Is d composite?
False
Suppose -4*a + 2*i + 22504 = 0, 16889 = -a + 4*a + 4*i. Is a prime?
False
Let h(f) = -f + 1. Let j(t) = 2*t - 126. Let p(a) = -3*h(a) - j(a). Is p(0) prime?
False
Let o(p) = -2*p**3 + 9*p**2 - 4*p - 4. Is o(-7) a prime number?
True
Suppose 5*p - 9 = 1. Suppose -s - 2*z = p*s - 115, 2*z = 2*s - 70. Is s a composite number?
False
Suppose k = -2*v + 40, 232 = 5*k + 4*v - 2*v. Let p = 5 + k. Suppose 2*j = -3*z - 0*z + p, -j = 5*z - 79. Is z a composite number?
True
Suppose 5*l = 1964 + 521. Is l a prime number?
False
Let l be (-9584)/12*6/(-4). Is l/6 + (-6)/9 a composite number?
False
Suppose -968 = -4*b - 0*b + 5*n, 1008 = 4*b + 5*n. Is b a composite number?
True
Let w(v) = 2*v**2 + 5*v + 2. Let t be w(-3). Suppose 164 = t*u - q, -94 = -2*u - u + 5*q. Is u a prime number?
False
Let x(c) = 10 - 3 - c + 2*c. Suppose 4*l = 2*l + 4, -5*d - 3*l = -36. Is x(d) a composite number?
False
Suppose 4*s = -4*j + 1284, -j = -4*j - 2*s + 959. Is j composite?
False
Let t be -1 + -1 - (-44)/11. Suppose r + 3*r + 5*b - 301 = 0, t*b - 73 = -r. Is r composite?
False
Suppose 0 = 2*j - 6 - 14. Let p = j + -16. Is ((-4)/(-6))/(p/(-531)) a prime number?
True
Suppose -4*c - 2*g = -1920, 0 = 2*c + 2*c + 3*g - 1922. Is c a composite number?
False
Suppose -14*i = -3*i - 4961. Is i a prime number?
False
Let l(y) = 1173*y**3 + y**2 - 3*y + 3. Is l(1) composite?
True
Let q(d) = 4*d - 1. Let o be q(1). Is -69*(8/o - 3) prime?
True
Suppose -c + 0 - 2 = 0. Is (0 - -2) + c - -85 a prime number?
False
Let u(o) = 8*o**2 + o. Let p be u(-1). Let g(h) = -3*h + 6*h - h**3 + 2*h + 7*h**2 - 9. Is g(p) composite?
True
Let r(u) = 3*u**2 - 9*u + 7. Is r(-9) composite?
False
Suppose 4*f = 4*u - 56, 5*f + 20 = 3*u - 14. Let m be (-816)/u + (-4)/6. Let g = m - -83. Is g prime?
True
Suppose -4*z = -2928 - 2092. Is z composite?
True
Let t = 3 + -3. Let g be -6*1*(t + -1). Is (g/5)/((-7)/(-35)) a composite number?
True
Let u = -4 - -6. Let z be 0/(-1)*1/u. Suppose 5*a + 4*d - 333 = z, a + d + 2*d - 71 = 0. Is a prime?
False
Let w(x) = -25*x + 10. Is w(-7) a composite number?
True
Let q = -4 + 4. Let a be 3*(q + 4/6). Let k(s) = 11*s**2 + 2. Is k(a) composite?
True
Suppose -32 - 51 = -s. Is s a prime number?
True
Let p(w) = -w**3 - 16*w**2 + 8*w + 34. Is p(-17) composite?
True
Suppose 5*a - 301 = 1134. Is a composite?
True
Let f = 6 - 9. Let q be -1 - (f + 0) - -1. Suppose 226 = q*k - 329. Is k a prime number?
False
Let i = -1179 - -2188. Is i composite?
False
Suppose -2*a + 423 = -79. Is a prime?
True
Let w = -3 + 790. Is w a prime number?
True
Let d = 1291 + -884. Is d a prime number?
False
Suppose 0 = 2*k + 5 - 235. Is k a composite number?
True
Suppose b + b - 440 = 0. Let i be b/(-3)*9/(-6). Suppose v + 4*v - i = 0. Is v a prime number?
False
Let t = 0 + 1. Is 22*t + 3/(-3) a prime number?
False
Suppose -5*u - 268 = -4*h + 2*h, 6 = 3*u. Is h prime?
True
Let l(q) = q**2 + 3*q - 3. Is l(7) prime?
True
Suppose 3*f = -2 - 7. Let g(a) = -163*a**2 + a + 2. Let y(u) = -81*u**2 + u + 1. Let k(s) = f*g(s) + 5*y(s). Is k(1) a composite number?
True
Suppose 3*r - 4*u + 2 = 0, 2*u + 8 = 6*u. Let x(t) = 23*t**2 - t - 1. Is x(r) prime?
True
Suppose -t + 2 - 3 = 0. Let r be (t + -1)*(-12)/(-8). Is 248/3 + (-1)/r a composite number?
False
Suppose 0 = -3*h + 5*u + 618, -4*h = -4*u - 319 - 513. Is h a prime number?
True
Suppose 3212 = 2*r + 130. Is r a prime number?
False
Let a = -7354 - -19539. Is a a composite number?
True
Suppose 4*n - 139 = 225. Is n prime?
False
Let d = -7 - -7. Let y(u) = -u + 69. Is y(d) prime?
False
Suppose 3*x - x - 68 = 0. Is (0 + x)*35/10 composite?
True
Suppose u = 6*u + 3*p - 32, 0 = 2*u - 2*p. Suppose -x = u*x - 655. Is x a composite number?
False
Let y be 3/(-2)*8/(-3). Suppose y + 11 = 5*z. Is z/21 - (-1560)/7 a composite number?
False
Suppose -n = -6*n + 10. Suppose -w = n*w + 24. Is (-14)/(-8) + (-2)/w a composite number?
False
Let x = -3409 - -6308. Is x a prime number?
False
Let y = 3 - 4. Let c(g) = -150*g - 1. Is c(y) prime?
True
Suppose 5*u = -5*f + 1495, 5*u = -4*f + 3*u + 1186. Suppose -l = 5*w - f, 0 = -4*w + l - 5*l + 232. Is w prime?
True
Let m(q) = -q**3 + 2*q**2 + 5*q - 4. Suppose -2 = 4*w - 14. Let v be m(w). Suppose -x + 90 = v*x + 5*t, -t - 178 = -5*x. Is x a composite number?
True
Let c(y) = y**2 - 2*y + 1. Let i be c(2). Suppose -5*v + i = 16. Let s(h) = 15*h**2 + 3*h + 1. Is 