e -11312 = -s*l + 2*t, -16616 - 11700 = -5*l - 4*t. Suppose -3*y + l = y. Is y a composite number?
True
Suppose 2*l - 4*d + 0*d = 2412, -4*d = 3*l - 3608. Suppose v = -3*q + 3*v + l, 3*q - 5*v = 1219. Suppose 4*o - q = 3*y + 556, 3*y - 705 = -3*o. Is o composite?
True
Let c = -35 - -43. Let w = -6 + c. Is w/(-5) + 15594/10 a prime number?
True
Let w = -8594 - -99781. Is w prime?
False
Suppose 14 = -15*n + n. Is 2*((n - -2) + (-2982)/(-12)) prime?
True
Suppose 0*r + 3*r + g = 253, 5*r - 427 = -3*g. Suppose -6*q + r + 31 = 0. Suppose -18*v = -q*v + 205. Is v a composite number?
True
Suppose 0 = 3*d + a - 104219, -26*a + 28*a = 2*d - 69474. Is d a prime number?
True
Let q(l) be the third derivative of 11*l**6/180 - l**5/120 + l**4/3 + 7*l**3/2 - 2*l**2. Let z(w) be the first derivative of q(w). Is z(5) a composite number?
True
Let m(p) = 898*p**2 + 18*p + 13. Is m(6) prime?
False
Suppose 0*m + m + 4 = -2*f, 0 = -m + 4*f - 16. Let j be 76/16 - 2/m. Suppose -4*b - 2*g + 731 = -3*b, 0 = -3*b - j*g + 2197. Is b a composite number?
False
Suppose -4*x + 2*i - 1006767 = -3204461, 5*i = -x + 549396. Is x a prime number?
True
Let p be 15/10*2/(1 - 0). Suppose 851 = f + p*u, 5*u - 3157 = -3*f - 588. Is f composite?
False
Suppose 6695 = 4*n + x, n = 8*x - 3*x + 1679. Let g = n + -923. Is g composite?
False
Let l = 83 + -75. Let t be 24290/(-16) + 1/l. Let c = 2521 + t. Is c composite?
True
Let z = -1939 + 833. Let x = z - -5727. Is x prime?
True
Let m = 55703 + -32146. Is m composite?
False
Suppose 0 = -0*z - 3*z + 33. Suppose i + 0*i - 4*t + z = 0, -7 = 5*i + 4*t. Is 7384/10 + i/(-5) a composite number?
False
Let i(s) = 53*s**3 - 56*s**2 - 36*s + 68. Is i(25) composite?
False
Suppose -12*m - 10 = -34. Suppose -z - 2 = 0, 8265 = -26*j + 27*j + m*z. Is j a prime number?
True
Let y(d) = 3107*d - 10. Let a be y(-1). Is a*((-2)/9)/((-54)/(-81)) a prime number?
True
Suppose 0 = -46*a + 51*a - 10. Suppose 0 = -a*i + 8*i - 36. Suppose 0 = 3*q + 15, i*q + 2240 = 5*m + 3*q. Is m a prime number?
False
Let x(z) = 48*z**2 - 2*z - 21. Suppose -w + 13 = 3*y - 4, 2*w = -8. Is x(y) a prime number?
False
Let v(x) = 36*x**2 + 3*x - x + 1 - 6 - 16. Is v(7) composite?
True
Let v = 200297 + 30264. Is v a prime number?
True
Suppose 9*l - 10*l + 30345 = -5*n, -l + 30353 = -3*n. Is l a prime number?
False
Is ((-71865)/135)/(1/(-3)) composite?
False
Let n be 1484/308 + 2/11. Let b(g) = 310*g**2 + 9*g - 32. Is b(n) prime?
False
Is 1836876/20 + -1 + (-3)/(-15) a prime number?
False
Let g(s) = -10922*s**3 + 77*s**2 + 144*s - 13. Is g(-2) prime?
True
Let m = 42 - 39. Suppose -m*y + 469 = -1604. Is y a composite number?
False
Let c(w) = 195841*w - 782. Is c(3) composite?
False
Let u = 175926 - -44312. Is u a composite number?
True
Is (2 - 60/16) + (-1528392)/(-96) composite?
False
Let c(w) = -w**2 + 7*w. Let r be c(7). Suppose r = g + 3, -4*o + 4067 = -g - 0*g. Suppose -7*k - k + o = 0. Is k a prime number?
True
Let f = 90 - 87. Suppose 0 = f*z - 0*z - 15, -z - 33 = -2*v. Suppose v*l - 8425 = 14*l. Is l prime?
False
Is (-1 + 306/(-12))*(-1743 - 11) prime?
False
Let u(j) = -7*j**2 - j - 2. Let d be u(-2). Let h(i) = -47*i**2 + 1692*i + 51. Let a be h(36). Let p = a - d. Is p a prime number?
True
Let o = -12 + 16. Suppose -19 = -5*f + o*s, -5*s = -f + 6 + 2. Is (21 - 4)*f/(6/74) composite?
True
Let k = 88772 + -41121. Is k prime?
False
Let n = -161 + 82. Let r be -4*1 + (1 - n). Suppose -5*h + h = -r. Is h a prime number?
True
Let v(a) = 1704*a**2 + 23*a + 156. Is v(-5) a prime number?
True
Let q(x) = -91*x**3 - 12*x**2 - 93*x + 7. Is q(-9) prime?
False
Is (-36)/81 - -44906*(-100)/(-72) prime?
False
Is (-10)/65 - (-61122187)/481 composite?
True
Is 241304 - (12 + -4 + 5) a prime number?
True
Suppose 0 = -2*u - 5*z, -3*z = 3*u + u. Let m be (-4 - u) + (-48)/(-8). Suppose -m*q - 4*p + 6828 = 0, -p + 13662 = 4*q + 4*p. Is q prime?
False
Suppose -4*f = 4*p - 57392, f + 3*f - 57384 = -2*p. Let w = 14661 + f. Is w composite?
True
Is (-419*2/3)/((-1222)/111813) composite?
True
Suppose 3*b = 151*m - 154*m + 1614873, -b = 6. Is m a prime number?
True
Let m be 142312/60 + 4/30. Let r = m + 209. Is r prime?
False
Let o(t) be the first derivative of 44*t**3/3 - 3*t**2/2 + 12*t - 15. Let v be (-4*42/(-96))/(1/4). Is o(v) composite?
True
Let z(t) = 34*t - 13 - 30*t + 2*t. Let m be (30/8)/((-3)/(-12)). Is z(m) a prime number?
False
Let u = 309 - 307. Let i(d) be the first derivative of 232*d**3 + 3*d**2/2 - d - 2. Is i(u) a composite number?
False
Let l(a) = 6508*a + 1601. Is l(17) prime?
True
Let j(n) = -288*n - 103. Suppose -8*g - 54 - 42 = 0. Is j(g) prime?
False
Let l = -28 - -12. Let f = l - -19. Suppose 3*d - 834 = f*i - 3057, -2960 = -4*i + 3*d. Is i prime?
False
Suppose -4*s + 0*s = -3180. Suppose 3*h - 3*o = s, 2*o - 4*o + 1060 = 4*h. Is h prime?
False
Suppose 3*o - 361863 = 3*v, -199261 = -2*o - 2*v + 41965. Is o a prime number?
False
Let v be ((-220)/(-6) - 1)/(5/15). Let h = 113 - v. Suppose -3370 = -h*r + 2360. Is r a composite number?
True
Let d(v) = -166*v**2 - 30*v + 185. Let c(l) = -331*l**2 - 59*l + 371. Let q(b) = 4*c(b) - 9*d(b). Is q(7) composite?
False
Suppose -4*g - g - 2*q + 20 = 0, 3*q + 12 = 3*g. Let y be (g/(-6))/(-2) - 24731/(-21). Let j = -217 + y. Is j a composite number?
True
Suppose y - 2*r + 1702559 = 6*y, 1021539 = 3*y + 3*r. Is y prime?
False
Suppose -7*p + 31*p - 717552 = 0. Let y = -13403 + p. Is y a prime number?
False
Suppose 0 = -5*j + 5*z + 80495, -2*z + 48317 = -132*j + 135*j. Is j a prime number?
True
Let j = -2190 - -3048. Let i be 3 + -2*1 + 3. Suppose -j = i*z - 5426. Is z composite?
True
Let b(q) = -17*q**2 - 6*q + 11. Let k be b(2). Is ((-4839)/9)/(-4 - k/18) a composite number?
True
Suppose 4*v = -2*m + 123938, -2*m + 30989 = -v + 2*v. Is v composite?
False
Is (-26981)/10*-85 + 2/4 composite?
True
Let x = 487 - 463. Is 6/x + 28155/4 a composite number?
False
Let a be (0 - (1 - -518))*-2. Let o(d) = 32*d - 189. Let r be o(6). Suppose 3543 = r*q + a. Is q composite?
True
Let p(k) = -k**2 + 8*k - 12. Let t be p(3). Suppose 2*g + 0*q - 47 = -5*q, -3*q + 48 = t*g. Suppose -11659 - 2190 = -g*f. Is f prime?
True
Suppose 1888 = 7*s - 10*s - 2*d, -1878 = 3*s - 3*d. Is (s/(-10))/((-8)/(-860)) a composite number?
True
Let c(u) = -39*u - 16. Suppose 0 = w + 4*j - 21 + 6, j - 3 = -w. Let n(f) = 6*f - 1. Let p be n(w). Is c(p) a composite number?
False
Suppose 0*v = -3*v. Suppose i - u = v, -4*u + 24 = 3*i - u. Suppose 2*g - i*g = -1918. Is g composite?
True
Let y be (0 - 4)*-14 - 0. Let n be (-6636)/y*(-22)/3. Suppose c - n = 230. Is c composite?
True
Let x(f) = 4401*f**2 - 2*f + 2. Suppose 0*z - 12 = 6*z. Let y be x(z). Suppose 0 = 2*b + 4*b - y. Is b a prime number?
False
Let v = -144 - -148. Suppose v*o - y - 2975 = 0, -14*y + 19*y = -15. Is o a prime number?
True
Let a = 699 + -697. Suppose a*w + p - 10208 = 11931, -4*p = -w + 11083. Is w prime?
True
Is 4*(-1)/(4/(-248935)) a prime number?
False
Let z(b) = -b**3 - 6*b**2 + 6*b - 5. Let x be z(-5). Let t = x + -6. Let n = t - -181. Is n a composite number?
True
Let g be 1*-2*(114/12 - 1). Let z be (-12017)/g + (-4)/(-34). Suppose 4*r + z - 6631 = 0. Is r a prime number?
True
Suppose -4*h + 4*o = -268484, 0 = 3*h - 7*h - 4*o + 268452. Is h a composite number?
True
Let w be 4/(16/458)*70 + -3. Let i = w + -1849. Is i composite?
False
Let j(n) = -4*n**2 - 9*n - 2. Let h be j(-5). Let a = 57 + h. Suppose a = 3*i + 11 - 1088. Is i a prime number?
True
Suppose 2*j - 428 = -4*l, -14 = 5*j - 4*l - 1070. Let c(t) = 29*t**3 + 6*t - 5. Let z be c(1). Is (j/5)/(12/z) a composite number?
True
Let q = -2901 - -2373. Let t(a) = -21*a**2 - 5. Let l be t(-6). Let x = q - l. Is x a prime number?
True
Let q be ((-168)/(-16) + 2)*386. Suppose 5*n + q = k, -4*k + 23*n + 19336 = 21*n. Is k a prime number?
False
Suppose -3*s = 6*z - z - 52199, 5*z - 69592 = -4*s. Suppose 4*w - s = 39579. Is w a prime number?
True
Let u(k) = 11064*k + 3783. Is u(31) a prime number?
False
Suppose -15*q + 2415137 = -197398. Is q a prime number?
True
Suppose -6*k + 117245 = 29381. Let b = -4983 + k. Is b prime?
True
Suppose -5*p - 3*d = -15102272 + 2766175, -9868864 = -4*p + d. Is p a prime number?
True
Let q = -296 - -289. Is 2/q + 42988/28 a prime numb