posite?
True
Let p = -73 - -46. Let a = p + 31. Is 1*-3*(a + (-438)/9) composite?
True
Suppose -10798*y + 55 = -10780*y + 19. Suppose b = -n + 9360 + 2216, 23136 = 2*b - 2*n. Suppose -2*u = y*u - b. Is u composite?
True
Let f(b) = b**2 - 16*b + 36. Let q be f(17). Suppose -q = -4*j - 45. Suppose j*y - z = 998, -3*y - 2*y - z = -2495. Is y a composite number?
False
Let a = 148483 - 18710. Is a a composite number?
True
Let r(m) = 9334*m**2 - 4*m - 107. Is r(-6) a composite number?
False
Suppose 0 = 2*a - 4*k - 616042, -a = 4*k - k - 308036. Is a prime?
True
Let v = 14515 - 9222. Suppose g = -0*g - v. Let t = -2772 - g. Is t composite?
False
Suppose -3*c + 2*q + 606839 = 0, 217*c + 3*q - 606819 = 214*c. Is c a prime number?
True
Let d be -2 + -3343 - 11/(33/6). Let b = 4710 + d. Is b a composite number?
True
Let s = -35 + 14. Let l = 423 - s. Suppose -5*h = h - l. Is h a composite number?
True
Let c(q) = 20*q**3 + 7*q**2 - 29. Let a be c(5). Let g = -1535 + a. Is g prime?
False
Let v(x) = -2*x + 17. Let w be (-52)/(-9) - ((-8)/36 + 0). Let k be v(w). Suppose 0 = -5*q, 4*n - 11044 = -k*q + q. Is n prime?
False
Let z(b) = -49*b - 179. Let n be z(-4). Suppose -10*p + n*p = 65443. Is p prime?
True
Suppose 3*w + 4*s - 107 = 64, -4*w + 209 = -s. Let g = w - 51. Suppose g*r - r = 5*i + 171, 3*r - 5*i = 553. Is r composite?
False
Suppose 16123987 = 85*x + 1400481 + 1747661. Is x prime?
True
Let n = -48901 + 512808. Is n prime?
True
Suppose -231*u + 11973160 = -191*u. Is u prime?
True
Suppose 2*g + 10 = 0, 3*j + 2*g = 4*j - 14509. Suppose -o = s - 2898, -2*o + 7*o = -2*s + j. Is o prime?
False
Let m = -16 - -20. Suppose m*l - 45188 = -4*v, -2*v = -46 + 40. Is l prime?
False
Is (-8)/(-16) + (29337075/10)/15 prime?
True
Suppose -5*g + 1062433 = 4*d, 394*g - 796826 = -3*d + 389*g. Is d composite?
False
Let j(i) = 180*i + 2149. Is j(95) composite?
False
Let n be 0/((-10)/(-1 + 6)). Suppose n = 4*p - 3*g - 22, -1 = -2*p - 3*g + 1. Suppose -m + h = 4*h - 1462, p*h - 4401 = -3*m. Is m composite?
False
Let y = 1397 + -2800. Let m = 1508 - y. Is m a prime number?
False
Let m = 16 - 169. Is (-114278)/(-18) + (-34)/m a prime number?
False
Let x = 29575 + -19386. Is x composite?
True
Let z = 48351 + -31034. Is z a prime number?
True
Suppose -k + 153686 = -3*a + 1162227, 3*k - 1344730 = -4*a. Is a prime?
True
Suppose 5*p = 3*f - 10, -5*f - 5*p = -6*p - 46. Suppose -f*o + 17789 = -8821. Is o prime?
False
Let c = -28 - -107. Suppose 2*p - c = 17. Suppose o = -a + 17 + p, -325 = -5*a + 5*o. Is a prime?
False
Suppose -32*x + 126*x = 1433994 - 363052. Is x a composite number?
False
Suppose -2*i - 193390 = -5*v, 3*i - 57036 = -3*v + 59019. Suppose 28*b - 20*b - v = 0. Is b a prime number?
False
Let u(i) = 46*i**2 - 6*i - 12. Let g be u(-15). Let t = -5401 + g. Is t prime?
False
Suppose 5*o - 47737 = -j, 334*o = j + 333*o - 47761. Is j prime?
False
Suppose -3*j = -l - 28575 + 7756, -3*l - 6929 = -j. Is j a prime number?
False
Suppose -a + 2*y - 6 = 0, -3*a = -0*a + 5*y - 37. Let o be (-9)/12 - 45/(-12). Suppose 0 = a*v + 5*d - 8192, 6*v = 4*v + o*d + 4118. Is v prime?
True
Let y(w) = -862*w**3 - 2*w**2 - 9*w - 7. Is y(-2) prime?
True
Let x(m) = -7 - 12*m - 2 + 4 + 0 + 10*m + 1802*m**2. Is x(-1) a prime number?
False
Let n = -28 + 1152. Is n/(390/50 + -7) a prime number?
False
Let q be 26/4 + 7/((-70)/15). Suppose -3*k - 2*b + 19428 + 27225 = 0, 0 = -q*b. Is k prime?
True
Suppose 63*a - 11*a - 5671588 = 0. Is a prime?
False
Suppose 3*f + v + 37 = 144, -3*v + 15 = 0. Let b(h) = f*h - 5 + 2*h**2 + 12*h**3 + 6 - 38*h. Is b(4) a prime number?
False
Let f(k) be the second derivative of 0*k**4 + k**2 + 7*k + 0 - 1/3*k**3 + 17/4*k**5. Is f(1) composite?
True
Suppose 2*l - l = 2*p - 75, -5*p + 5*l + 185 = 0. Suppose -37*w + p*w = 2169. Let c = 3146 - w. Is c a prime number?
True
Let s be (-1 - 3033/6) + (-3)/6. Let t be 0 - (817 + 2 + -5). Let h = s - t. Is h a prime number?
True
Let m = 16518 + -10927. Suppose -m = -6*b + 3907. Is b a prime number?
True
Let h(f) = f**3 - 4*f**2 - 23*f + 17. Let m be h(7). Suppose 385 = 3*z - 2*r, m*z - z - 4*r - 262 = 0. Is z composite?
False
Let u(j) = j**3 + 9*j**2 - 6*j + 43. Let o be u(-10). Suppose 0 = -o*p - t + 10397 + 2771, t + 17569 = 4*p. Is p a prime number?
True
Let s = 467824 - 266403. Is s a composite number?
True
Let m = 289425 - 196238. Is m a composite number?
False
Let f = -212732 - -393265. Is f composite?
False
Suppose -2*n = -25*y + 28*y + 2547, 0 = -5*n. Let m be (2 + 1075)*(-4)/(-3). Let l = y + m. Is l a prime number?
True
Suppose -2*j + 166 + 40 = f, -5*j - 1015 = -5*f. Suppose 2*z - 2*q = 338 + 864, 4*q - 1190 = -2*z. Let d = z + f. Is d a composite number?
True
Suppose -t + 8 = 2*h, -2*t = 3*t + h - 22. Suppose -1625 = -o + 4*d, -o - t*o = 2*d - 8191. Is o prime?
True
Let r = 9115 + -14549. Is (-4)/(-2)*r/(-76) a composite number?
True
Suppose -4*l + 935 = -321. Suppose 5*o = 5*i + 795, -28 = -2*o - 4*i + l. Let k = o + 90. Is k a prime number?
False
Suppose -7*m + 9684 = -45917. Let x = m + -4554. Is x prime?
True
Suppose 12*u = 21 + 3. Suppose 2*a - 19018 = -2*d, u*a - 4 = 4. Is d prime?
False
Let u(k) = 5*k + 13 - 17*k**2 + 2*k**2 + 0*k + 44*k**3 + 3*k**2 - 45*k**3. Suppose 56 + 4 = -4*w. Is u(w) composite?
False
Let h = -124487 + 411556. Is h a composite number?
True
Let r = -2779 + 7091. Suppose -2*i = -i - 3*a - 1442, r = 3*i + 5*a. Is i composite?
False
Let d be 2/(-8)*(-1 - 15). Suppose -3*x = -4*k + 2*k + d, 12 = 3*x. Suppose 3*g = -c + 4190, -3*c + 5 = -k*c. Is g a composite number?
True
Suppose -32091 = -19*b - 21622. Is b a composite number?
True
Suppose 3*m - 5*i = 2185, 3*m - 4*i = -9*i + 2165. Let r = m + 1280. Is r a composite number?
True
Is ((-1330368)/(-44))/6 + 15/(-55) a prime number?
True
Let q(m) = m**2 - 3*m + 11. Let c be q(4). Suppose 174 = -w - c. Let k = 300 + w. Is k a prime number?
False
Suppose 787*u - 745*u = 19159098. Is u prime?
False
Is ((-22)/(-4))/(21/1506708) - 6 - -1 prime?
False
Suppose 11214565 - 302252408 = -311*u - 0*u. Is u a composite number?
False
Let o(w) = -w + 11. Let i be o(7). Let h(x) = 1066 + x - 315 - i*x. Is h(0) composite?
False
Let u be -2 - 7/((-35)/750). Suppose 13*j + u = 15*j. Let g = 567 - j. Is g composite?
True
Let g(c) = c - 13. Let v be g(-19). Let k = 34 + v. Suppose 3*j + 1341 = k*n - 2*j, 4*j - 2023 = -3*n. Is n prime?
True
Let h = 1154988 + -817799. Is h a composite number?
False
Suppose -7*h - 16 = -44. Suppose -7320 + 1412 = -h*k. Is k composite?
True
Suppose p = 4*s - 9*s + 12, -3*p + 6 = 5*s. Let d(n) = 103*n - 10. Let m(x) = 206*x - 21. Let h(u) = 5*d(u) - 2*m(u). Is h(s) a prime number?
False
Let m(h) = 9096*h + 14. Let p be m(-4). Let l(w) = -76*w - 10. Let t be l(2). Is -4 + t/(-39) + p/(-26) prime?
True
Is (-4)/6 - 218710/(-6) a prime number?
True
Let m = -586507 + 888618. Is m a prime number?
True
Let l(t) = 22*t + 2*t + 33*t**2 - 810 + 764. Is l(9) composite?
False
Let v(z) = 95*z**2 + 8*z - 17. Let r(i) = i**3 + 4*i**2 + 3*i + 8. Let x be r(-4). Is v(x) a composite number?
False
Let x(z) = -433*z**2 + 9*z - 6. Let c be x(4). Is (c/(-8))/((-10)/(-40)) prime?
True
Let o(h) = 69145*h + 2749. Is o(9) prime?
False
Let u(a) = 84*a - 1825. Is u(81) prime?
False
Suppose 0 = -0*a + 5*a - 35. Suppose -327 - 37 = -a*l. Let k = 213 - l. Is k prime?
False
Suppose 32*i = 30*i + 71776. Suppose -181180 = -28*v - i. Is v composite?
False
Let q(l) = l**3 + 12*l**2 - 15*l - 14. Let u be q(-13). Let m(s) = 233*s - 7. Is m(u) composite?
False
Let m(x) = -3*x**3 - 3*x**2 + 3*x + 11. Let v be m(-2). Suppose v*s - 2568 = 9043. Is s prime?
True
Suppose -4*c - 73777 = -s - 366312, 5*c = 3*s + 365660. Is c a prime number?
False
Let d be 35/14*-2 - -160. Suppose 0 = d*q - 148*q - 98819. Is q a composite number?
True
Suppose 771 = -3*x - 0*x. Let k(b) = -b**3 + 16*b**2 - 21*b + 264. Let y be k(12). Let c = x + y. Is c composite?
False
Suppose -4*m = 3*t + 1, 2*t - 23*m = -18*m - 16. Let d(o) be the first derivative of -o**4/4 + o**3/3 - o**2/2 - o - 2. Is d(t) a prime number?
False
Suppose -f + 0*a + a = -35, f - 2*a = 34. Is (-18)/f - (-9750)/4 prime?
True
Let l(d) = 10*d + 22*d + 67 - 102 + 2*d. Is l(11) composite?
True
Suppose 2*k + b + 3 - 8 = 0, -1 = k - 3*b. S