7, i - 7*o + 5*o = 1500. Suppose -4*v + 4*h + 3008 = 0, 3*v - 4*h - i = v. Is v composite?
False
Let w = -16 - -18. Let r(g) = -w + 12*g + 1 + 14*g. Is r(5) composite?
True
Suppose 333 = p + 3*p + 3*d, -410 = -5*p - 5*d. Is p composite?
True
Suppose 2*i + 7 = -4*l + 35, 0 = -3*l - 5*i + 14. Suppose l*o - 10 = 3*o, 4*o = -2*u + 9826. Is u a prime number?
True
Let a be (-4)/(-24) - (-3358)/12. Suppose y = -73 + a. Suppose 0*f = 3*f - y. Is f a prime number?
False
Let o be (2/(-4))/((-7)/1428). Suppose -4*h - o + 438 = -5*b, -3*b = -2*h + 166. Is h composite?
False
Suppose -3*q + 717 = -180. Suppose 2*x - 4*j - 1134 = 0, -q - 267 = -x + j. Is x prime?
False
Let i(o) = -60*o. Let l(h) = 61*h - 1. Let a(y) = -3*i(y) - 2*l(y). Let k be a(9). Suppose 2*n - k = -2*n. Is n prime?
True
Let l(f) = -9*f**2 + 2*f + 1. Let v be l(2). Let p = v + 63. Suppose 0 = 3*g + p - 419. Is g composite?
True
Suppose 7*d - 5083 = -10*d. Let r = d - -4422. Is r a prime number?
True
Suppose -4*l = 8, 5*l + 0 = q - 17. Suppose -5*c - o + 9510 = 0, 3*o - q*o + 20 = 0. Is c a prime number?
True
Let r be 1/2 + (-5236)/(-8). Suppose -4*k - 8 = -5*y, 0 = 3*k + 2*k + 10. Suppose y*c + c = r. Is c composite?
True
Suppose -3*u = 2*a - 12, -2*u = -3 - 5. Suppose a = 2*m + 3*m + 70. Let h = 133 + m. Is h a composite number?
True
Let w(z) be the first derivative of -z**3/3 - 5*z**2/2 + 13*z - 6. Let a be w(-7). Is a*((-168)/3 + 1) a prime number?
False
Is (-488229)/84*-4 + (-8 - -1) a composite number?
True
Let t(k) = 1. Let s(y) = -y - 4. Let q(z) = -s(z) - 3*t(z). Let r be q(2). Suppose 4*w - r*j = 1013, -88 = -5*w - 4*j + 1217. Is w composite?
False
Let k = -2 - -9. Let b be (12/(-7))/((-2)/k). Suppose -9*l = -b*l - 393. Is l a prime number?
True
Suppose 0 = -6*f + 138162 + 230904. Is f a prime number?
True
Suppose -6*v - 10628 = -2*v. Let g = v - -5178. Is g composite?
False
Let x(p) be the second derivative of -2*p + 0 + 1/6*p**3 + 1/2*p**2 - 5/6*p**4 - 1/20*p**5. Is x(-11) a composite number?
True
Suppose 0 = 4*u + 3*c + 7, 3*c = -7 + 4. Let q(w) = 996*w**2 - w - 2. Is q(u) prime?
False
Let v(u) = -7224*u - 305. Is v(-2) composite?
False
Let a(v) = 9*v**2 - 54*v + 6. Let p(i) = 5*i**2 - 27*i + 3. Let t(w) = 6*a(w) - 11*p(w). Is t(-19) a composite number?
True
Let g(f) = -380*f + 49. Is g(-5) prime?
True
Suppose -374 = -100*m + 98*m. Is m composite?
True
Let z(s) = -6*s**2 - s + 5*s - 7 - s**3 + 2. Is z(-8) a prime number?
False
Let z(f) = -f**3 - 4*f**2 - 2*f - 4. Let h be z(-4). Suppose h*b - 4 = 0, 3*j + 4*b + 1019 = 6*j. Is j composite?
True
Let z(b) = 5470*b**3 - b**2 + 3*b - 1. Is z(1) prime?
True
Let m(i) = 1385*i**2 + 11*i - 23. Is m(5) prime?
False
Suppose 0 = -5*w - 5*r + 25, 2*r - 10 = w - 5*w. Suppose -b + 1457 = -w*b. Suppose -4*f - f - 4*y + 1473 = 0, -5*f + b = -4*y. Is f prime?
True
Let d(x) = -19*x**3 + 8*x**2 + 6*x - 17. Let a(g) = -2*g. Let q be a(3). Is d(q) a prime number?
True
Let k be 3 - (-2)/(-4)*0. Suppose 0*a = k*a. Suppose a = -r + 2*h + 623, -5*r = -h - h - 3115. Is r a prime number?
False
Suppose 7*j + s = 3*j + 10583, -2627 = -j - 4*s. Is j a prime number?
True
Let u be (8 - ((-2)/(-2) + -1))/2. Suppose u*d - 2*f - 592 - 348 = 0, 0 = -3*d - 4*f + 705. Is d a prime number?
False
Let l = 3 + 0. Is (-34)/(-1*l - (-508)/172) a composite number?
True
Suppose -7*t - 2 = -8*t. Suppose 3*y = -t*y + 7295. Is y prime?
True
Let m(t) = -t**3 - 3*t**2 + t - 8. Suppose 5*b = 2*b - 12. Let q be m(b). Suppose 0*x + 2*x - q*c = 2, -3*c + 9 = 0. Is x prime?
True
Let g = -13 - -11. Is (0 - g)*2180/40 composite?
False
Let m(h) = -6446*h + 57. Is m(-2) a prime number?
False
Let f = -1856 + 4389. Is f composite?
True
Let n be (-12)/66 + 244/11. Suppose 0 = -5*g, -3*g = -f - n - 105. Let v = f - -350. Is v prime?
True
Let t be 20*(-3 - 85/(-25)). Suppose -2*y = -3*x + 3*y + 17, -3*x = 4*y - t. Suppose i - x*i = -1743. Is i composite?
True
Let p(d) be the second derivative of d**7/630 - d**6/180 + 7*d**5/120 + d**4/4 + 4*d. Let v(g) be the third derivative of p(g). Is v(-5) a composite number?
False
Let z(a) = -2*a + 6. Let f be z(-3). Let k be ((-17)/34)/((-2)/f). Suppose 3*u - 656 = u - k*m, 5*m = 4*u - 1334. Is u a composite number?
False
Let x = -80 - -84. Let o(s) = 119*s**2 + 2*s - 5. Is o(x) composite?
False
Suppose 15*d - 20*d - 133325 = 0. Is d/(-15) + (-6)/9 prime?
True
Suppose 25*y - 305504 = -56929. Is y a prime number?
False
Let v(s) be the first derivative of 0*s - 21/2*s**2 + 2. Is v(-1) a composite number?
True
Let a = 9708 + -4561. Is a composite?
False
Suppose 2*z - 8 = -2*k, -2*k = 2*z + z - 8. Suppose -3*u + 1026 = -z*u. Suppose -1343 = -4*d - a, -3*d - a = -4*d + u. Is d a prime number?
True
Let x = 9599 + -3862. Is x a prime number?
True
Let u(t) = t**3 + 10*t**2 - 15*t - 9. Let g be u(-11). Suppose 2*p - 25 - g = 0. Is 10/p*1986/2 prime?
True
Suppose -2*j + 3*y = -24089, 54*y = 5*j + 52*y - 60195. Is j prime?
True
Let t(z) = 10*z + 1439. Let d be 2/(2/3) + 6/(-2). Is t(d) a prime number?
True
Let d(n) = 10*n**2 + 4*n - 4*n - 4*n**2 + n. Let s be d(-2). Let k = -3 + s. Is k prime?
True
Let w(j) = 26*j**2 + 2*j - 13. Let k(o) = 4*o - 27. Let i be k(8). Is w(i) a prime number?
True
Suppose 343*y - 344*y = -5, -4*c + 208277 = 5*y. Is c composite?
True
Suppose -4*o + 0*o = -3340. Suppose d - 79 - 255 = -2*u, -5*u + o = d. Is u a composite number?
False
Let v(c) = 305*c + 44. Let w(i) = 3*i - 5. Let b be w(4). Is v(b) a prime number?
True
Let x(s) = s**2 - 7*s - 4. Let g be x(8). Suppose c + 839 = 4*v, 1161 - 316 = g*v + 5*c. Suppose -2*p - 151 = -u, -4*p + v + 382 = 4*u. Is u composite?
False
Suppose -354*o = -346*o - 87512. Is o composite?
False
Let k(u) = 0 + 9 - 125*u - 4 - 200*u. Is k(-8) a prime number?
False
Let i(g) = -293*g - 15. Suppose 32 = -3*c - 5*t, -5*c - t = 20 + 4. Is i(c) prime?
False
Let q be (40/(-15))/(2/(-720)). Suppose 3*r + q = 4269. Is r a composite number?
False
Suppose 2*a = -p + 5, -6 = -2*p + p - 3*a. Is ((-7)/14)/(p/(-6018)) a prime number?
False
Let d(r) = r**2 - 7*r + 2653. Is d(0) a composite number?
True
Let o be (-2 + (-1)/2)*-4. Let b(j) = 22*j**2 + 34*j - 19. Is b(o) prime?
True
Suppose 24*a = 29*a - 13285. Is a a composite number?
False
Let d(l) = -2*l**2 - 30*l + 10. Let u be d(-15). Let z(a) = 91*a - 11. Is z(u) prime?
False
Let h(y) = y**2 - 2. Let d be h(2). Suppose -d*u = -u - 790. Suppose -2*q + 315 = -3*w, -u = -0*q - 5*q + 5*w. Is q prime?
False
Let x(l) = 4*l - 2. Let n be x(-2). Let j = -10 - n. Suppose 2*h + 25 - 87 = j. Is h prime?
True
Let x = -849 - -1326. Suppose 16*m - x = 13*m. Is m prime?
False
Let x(d) be the second derivative of 2*d**3/3 - 2*d**2 - 4*d. Let h be x(4). Suppose q = -r + h, 0*r - 57 = -5*r - 2*q. Is r a composite number?
False
Let i(k) = -72*k**3 - k**2. Let q be i(1). Suppose 17*n - 1639 = 129. Let z = n + q. Is z a composite number?
False
Suppose -2*v - j - 611 = 716, 3*j = -4*v - 2653. Let t = v - -83. Let q = -294 - t. Is q prime?
False
Let n(s) = -581*s + 94. Is n(-9) a composite number?
False
Let r be -5 - (-2 + -2) - -205. Let x = 761 - r. Is x a prime number?
True
Let l be 3/(1 - -2)*0. Suppose 4*n - 2*h - 1953 = h, -5*n - h + 2465 = l. Suppose 6*p = 2250 - n. Is p composite?
False
Suppose -413 = 2*b + 165. Suppose -5*d = 15, -2*y + 3*y - d = 419. Let l = y + b. Is l a composite number?
False
Let q = 9829 - 6120. Is q a prime number?
True
Suppose 2*t = -4, u = 9*t - 6*t + 870. Suppose g - 2687 = -u. Is g composite?
False
Suppose 5*g - 2255 = -4*i, 0*g - 3*i = 2*g - 909. Is g composite?
True
Let q be 2 + -2*1 - (5 + -10). Suppose -4*a - 179 = -q*a. Is a a prime number?
True
Let o = 6557 + -3202. Suppose -3*f + 1250 = -o. Is f a composite number?
True
Let o be 192 - 2/(4/(-6)). Let n = 4 + 1. Suppose 0*u - o = -n*u. Is u a prime number?
False
Let r be (3/(-6))/((-1)/22). Suppose -3*t + r = -3*b - 7*t, -b + t = -8. Is b a composite number?
False
Let k(i) = -11*i + 379. Is k(0) a composite number?
False
Suppose -2*m + 4*v = -7*m + 2242, 4*m = v + 1781. Let w = 1037 + m. Is w composite?
False
Let n = 16815 + -9086. Is n a prime number?
False
Let t = 146 - 144. Suppose -x - 5*g + 19 = -20, 65 = t*x - 3*g. Is x a composite number?
True
Suppose v + v = -2. Let s(k) = -46*k**3 - 4