0 - -4) + -2 prime?
True
Let r(z) = 17939*z**2 + 5*z + 9. Let x be r(-2). Suppose 13150 = -15*k + x. Is k composite?
False
Let q be (-7)/(14/(-76)) - -6. Suppose -q*c + 50*c - 32286 = 0. Is c prime?
True
Suppose -2207*t = -2281*t + 212042782. Is t a prime number?
False
Suppose 4*x + 16 = 8*x. Suppose 0 = -x*c - 0*c + 888. Suppose 0*v = -2*v + c. Is v composite?
True
Let a(q) = 204*q**2 + 16*q + 49. Let i = 154 - 160. Is a(i) composite?
False
Let p(r) = 387*r**3 - 2*r**2 + 4*r - 3. Let y be p(2). Suppose -3*t + 4*t - 3*v - 839 = 0, -4*v + 4 = 0. Let m = t + y. Is m a prime number?
False
Suppose -1 - 5 = -2*t. Suppose -8*y + 212 = j - 5*y, 5*j + y - 1116 = 0. Suppose -t*f + 5053 + j = 0. Is f prime?
True
Let d(y) = -39*y + 16. Suppose 2*n - 5*q - 15 = -3*n, -2*q = n + 12. Let h = n + -3. Is d(h) prime?
True
Let f be ((-318)/(-18) + -4)*3. Suppose 0 = -f*r - 94072 + 454011. Is r a composite number?
False
Let b(l) = 716*l**2 - 13*l + 48. Is b(10) composite?
True
Let a be 4 - (471/1)/((-4)/272). Let s = 59799 - a. Is s a composite number?
False
Let z = -97224 + 171773. Is z a prime number?
False
Let i = -8 - -11. Suppose 3*l - i*x = -51, -3*x = -2*l + 2*x - 49. Is ((-22)/2)/(l/132) prime?
False
Let h = -299 - -304. Suppose -3*v - h*z = -7543, 3*z + 15 = 3. Is v a composite number?
False
Suppose -3*q + 4*m = -1940, 1832 + 792 = 4*q + 4*m. Let i = 1138 - q. Let n = i + 87. Is n a composite number?
True
Let j(x) = -x**3 - 6*x**2 + 3*x + 15. Let k be j(-6). Let d(o) = o**3 - 3*o**2 - 7*o + 7. Let z be d(5). Is (2 - k)*(7 + z) composite?
True
Suppose 3*l - 82950 = -4*j + 39237, -122182 = -4*j + 2*l. Let h be (-18)/(-45) + j/10. Let u = -2106 + h. Is u composite?
True
Let g(y) = -y**3 - y**2 - y + 5. Let r be g(-3). Let i be r/10 + (-92)/20 + 4. Suppose -2*f - 37784 = -4*p, p - i*p - 2*f + 9441 = 0. Is p a prime number?
False
Is ((-18044505)/(-99))/15 - 4/22 composite?
True
Suppose 4*q - 20 = 0, 2*x + 4*q = 14 + 90. Suppose -6*t = 96 + x. Let j = 60 + t. Is j a prime number?
True
Suppose 0 = -5*j + j. Suppose 4*o = 3*m - 1184, j*m + 4*m - 1570 = o. Let x = m + -75. Is x a composite number?
False
Suppose -3*c = -c, 5930 = -s + 2*c. Let r = s + 11149. Is r composite?
True
Let f(z) = -380*z**2 - 46*z + 141. Let x(p) = -127*p**2 - 16*p + 48. Let d(b) = -3*f(b) + 8*x(b). Is d(-8) a prime number?
True
Suppose t + 381815 = 4*y, 3*t + 392801 = 5*y - 84473. Is y prime?
False
Let r be ((-72)/20)/(-3 + 27/10). Suppose -76051 - 103025 = -r*j. Is j composite?
False
Suppose 21265038 = -64*b + 118*b. Is b a composite number?
False
Let z(k) = k**2 - 7*k - 4. Let p(g) = -4*g - 6. Let o be p(-3). Let u be z(o). Is 5 - 24872/(-20) - 4/u a composite number?
False
Let a = -3063 - -3857. Is a composite?
True
Let w = -162777 + 282044. Is w a prime number?
True
Let n(z) = z**2 - 12*z + 12. Let s be n(10). Is (6/s)/((-39)/71084) a prime number?
True
Suppose b - 3 = -4*k, b - 3*k - 10 = -0*b. Let x be -1*(-6)/(b + -4) + 19135. Suppose 2*r = 5*r - x. Is r a prime number?
True
Let o(a) = -88*a**3 - 6*a**2 - 21*a - 24. Let q be 1*(0 - (-10)/8*-4). Is o(q) a prime number?
False
Let w be 1/4 + 4334/8. Let a be (-8)/(-396)*11 - (-28587)/27. Let f = a - w. Is f a composite number?
True
Suppose 294739 = 4*k - 2*f + 44637, f + 250105 = 4*k. Is k a prime number?
False
Let n(l) = -2*l + 22. Let i(j) = 4*j - 43. Let a(h) = -2*i(h) - 5*n(h). Let m be a(12). Is m + 1 - ((-2)/(-2) + -201) prime?
False
Let n(v) = v**3 + 19*v**2 - 23*v + 19. Let o be n(-21). Let p = o - -654. Is p a composite number?
True
Suppose -800510 = -16*g - 140446. Is g composite?
True
Let x = -6238 - -7185. Suppose -5*o + 20 + 5 = 0. Suppose -x = -o*b + 1628. Is b composite?
True
Let q(l) = 5523*l - 1201. Is q(8) composite?
True
Let o = 41574 - 20581. Is o a composite number?
True
Suppose -17 = -2*v + 1. Suppose -1967 = -v*m + 634. Suppose 1607 - m = t. Is t composite?
True
Let g(j) = -1637*j - 16. Let k be g(-1). Let s = 156 + k. Is s composite?
False
Suppose o - 4*u - 412211 = 0, 34832 = -2*o - u + 859281. Is o composite?
True
Let m = -84 - -97. Suppose m*z = 7*z + 54. Is 1 - ((-10024)/z - (-22)/(-99)) a prime number?
False
Let i = 215329 - 128726. Is i a prime number?
False
Let n(f) = 34*f - 268. Let s be n(8). Suppose 2*q = -s*h + 3200 + 19350, q - 11271 = 2*h. Is q a composite number?
False
Let y(j) = j - 9. Let z be y(-8). Let k(b) = b**3 + 19*b**2 + 35*b + 22. Let h be k(z). Is h*-1*(-4 - (-358)/(-10)) prime?
True
Let j(b) = 11*b**2 + 15*b - 70. Let o be j(-15). Let l = -1501 + o. Is l composite?
True
Suppose -o + 48654 = -52*o. Let p = 9265 + o. Is p a composite number?
False
Is 19/(855/(-133902))*15/(-6) composite?
True
Let m(w) = -68*w**3 - w**2 + w + 1. Let u be m(-1). Let h = u + -64. Suppose -3*q - 125 = -4*q + h*a, -4*q - 5*a + 466 = 0. Is q a composite number?
True
Let z(a) = 2*a**3 - 63*a**2 + 201*a - 157. Is z(45) prime?
False
Let w = -93602 - -165165. Is w a prime number?
True
Let l(t) = 24*t**2 - 31*t + 8. Let d be l(15). Suppose -5*c - 12320 = -5*s - 0*c, d = 2*s - 5*c. Is s composite?
False
Let u(b) = 5*b**2 - b + 1. Let m be u(1). Let x be 2386*1/10 + (-3)/m. Is x/2 + 1/3*-3 a composite number?
True
Suppose -3*x = -6*x + u - 6, -2*x = -2*u + 4. Let j(v) = -366*v**3 - 2*v**2 - v - 1. Is j(x) composite?
True
Let c be 4/(96/194682) + (-9)/12. Suppose 4*t - 1633 = -d, 11*d = 6*d - 2*t + c. Is d prime?
True
Let q(d) = -9*d**2 - 60*d - 8. Let u be q(-6). Is 39012/(-9)*(-21)/u composite?
False
Suppose -3*k = -5*z + 9118, -2*z - k - k + 3660 = 0. Let u = 3265 - z. Is u prime?
True
Let x(k) be the first derivative of 28*k**3 - 7*k**2 - 57*k + 304. Is x(-14) a prime number?
True
Let s = 26 - 38. Let i be 1*s/(-66) + (-31)/(-11). Suppose -4*t + 0*t = i*u - 13793, 5*t - 10 = 0. Is u a prime number?
False
Let o(d) = -69*d**2 - 2*d - 1. Let l be o(-1). Let m = -71 - l. Is m/(-12) + -10502*(-2)/16 prime?
False
Suppose 93*c - 89*c - 8 = 0. Suppose -c*t - t = -13101. Is t composite?
True
Let r(c) = -3*c - 16. Let x be r(-6). Suppose -4*k = x*g - 1077 - 2419, 1748 = 2*k + 2*g. Suppose -5366 = -4*j - k. Is j prime?
True
Suppose -y + 7*t - 2*t - 17 = 0, -4*t = -16. Suppose 0*f + 11 = 3*x + f, 0 = -3*x + 4*f + 16. Suppose y*n + 162 = 3*i, 0 = -4*i + n + x*n + 217. Is i composite?
False
Let m = -5753 - -13047. Suppose 11*u = 4*u + m. Suppose -2*v = 2*j - u, 0 = -0*v + 5*v + 4*j - 2601. Is v a composite number?
True
Let m = -1521 - -4520. Is m prime?
True
Suppose -4*j - 58147 - 12684 = -v, v + 3*j = 70817. Is v a composite number?
False
Let s = -1021 + 632. Let g = s + 826. Is g a composite number?
True
Suppose 23*a = 14*a + 54. Let d be 3*139 - 10/(-5). Suppose a*y + d = 7*y. Is y composite?
False
Suppose 0 = -175*c + 170*c + v + 90000, 0 = -2*c + v + 36003. Is c composite?
True
Let y(z) = z + 19. Suppose -38*f = -37*f + 13. Let g be y(f). Suppose -10*l = g*l - 1808. Is l prime?
True
Suppose 5*n + 4*y - 298071 = 0, -2*n - 3*y = 21083 - 140317. Is n composite?
False
Suppose -2*y - 3*y + 410 = -5*u, 0 = 3*y - 5*u - 250. Is 6896/y*(2 - -3) a composite number?
False
Suppose 17469*h - 17452*h = 10608119. Is h composite?
False
Let p be 369*((-136)/(-12))/(1 - -1). Let t = p - -468. Is t a prime number?
False
Let v(o) = o**3 + 37*o**2 - 49*o - 275. Is v(32) composite?
False
Let j(h) = 2*h**3 - 29*h**2 + 80*h + 105. Is j(28) composite?
True
Let k = 1395085 - 635496. Is k a composite number?
False
Let t(b) = 28*b**2 - 5*b + 5. Let d(g) = -15*g**2 + 41 + 2*g - g**3 + 5*g + 0*g**3 - 4*g. Let j be d(-15). Is t(j) composite?
True
Let p(f) = 2353*f**3 - 6*f**2 + 6*f - 1. Let c be p(1). Let t = 3499 - c. Is t prime?
False
Let f = -68 + 26. Let g be 1625/1 - f/14. Suppose t = -3*t + g. Is t a prime number?
False
Let i be -3 + (-60)/(-18) - 106/(-6). Suppose -3*k - 7*s + i = -6*s, 2*k - 4*s - 26 = 0. Is 12/(-4) - k/((-28)/656) composite?
True
Let h be 75*(40/12 - 4). Is ((-156075)/h)/(7/2 - 2) composite?
False
Suppose 24*z - 240031 = 23*z + 230800. Is z a prime number?
True
Let s(o) = 19*o**2 - 144*o - 2535. Is s(-86) a composite number?
False
Suppose -4*u = s - 22589, 0 = 3*u + 315 - 297. Is s a prime number?
True
Suppose -2*l - 3*p = 6862, -4*l - 3*p = 8071 + 5659. Let u = 5847 + l. Is u a prime number?
False
Let g = 282229 - -6369