*m - 1. Let j(i) = 8*i - 1. Let t(b) = -6*j(b) + 5*n(b). Let g be t(-1). Suppose g*x - 72 - 52 = 0. Is x prime?
True
Suppose 6*d = 21*d - 39705. Is d prime?
True
Suppose 0 = 103*j - 107*j + 65020. Is j a prime number?
False
Let d be 44/5 - 6/(-30). Let n be (6/(-4))/(d/24). Let z(j) = -57*j - 5. Is z(n) a prime number?
True
Let z = 6032 + 771. Is z prime?
True
Let l(z) = -15*z - 5. Let w be l(-6). Let g(n) = 3 + w*n + 209*n + 164*n. Is g(4) prime?
False
Suppose -4*p + p + g = -15127, -5*p - 4*g = -25206. Is p a prime number?
False
Suppose -4*j - 4*p - 16 = 0, -2*j = j + p + 12. Let c be (-3)/(1/(j/6)). Is (c - 3)/((-2)/28) a prime number?
False
Let s be (32/(-40))/((-4)/(-70)). Is 2 + (-934)/s - (-22)/77 a composite number?
True
Suppose 5*y + 13*y - 336942 = 0. Is y a prime number?
True
Let s(c) = 35*c - 6. Let a be s(2). Let m = 45 + a. Is m prime?
True
Let m(l) = -2849*l - 46. Is m(-3) prime?
True
Suppose 0 = 4*k - 358 - 214. Let p = 846 - k. Is p composite?
True
Let m(t) = 2*t**2 - t + 2. Let q be m(0). Suppose 0 = q*a + 2*a - 1708. Is a composite?
True
Suppose -3*o + 16 = -11. Let n(p) = 57*p - 14. Is n(o) composite?
False
Let o(q) = -114*q - 53. Is o(-10) composite?
False
Let a = -14 - -12. Let k be a/7 - (-210)/49. Suppose 5*w = -k*u + 919, 2*w - 2*u - 2*u = 390. Is w prime?
False
Suppose -41*b + 424644 = -566285. Is b a prime number?
True
Let h = -3 - -6. Let i be (6/4)/((-2)/(-284)). Suppose h*u - i = 396. Is u a composite number?
True
Let d(w) = w + 10. Let p be d(-6). Suppose -5*o = -p*c - 975, -o = -5*o + 5*c + 789. Is o prime?
True
Let x(k) = 5978*k**2 - 7*k - 4. Is x(-1) prime?
True
Suppose -5 = 6*m - m. Let o = m + 4. Suppose 2*r - o*r = -15. Is r composite?
True
Let a(i) = i**2 - i - 1. Let c be a(-2). Suppose 6*n - c*n = 355. Is n a composite number?
True
Let i be 18762/1 + (-15)/5. Is 4/(-22) - i/(-143) composite?
False
Let y be 5990/20*(-4)/2. Let i = y + 870. Is i a composite number?
False
Let u = -11 - -13. Suppose 0 = -u*f + 555 + 841. Suppose 3*s - 7 - f = 0. Is s prime?
False
Let p(v) = -v + 3. Let t be p(1). Suppose -4*g = u - 2228, 4*u + 2764 = 5*g - 0*u. Suppose -g = -t*h + 1070. Is h prime?
False
Let a(j) = 42*j**2 + 49*j - 20. Is a(-5) a prime number?
False
Suppose 0 = -3*w - 10 - 2. Is 4487 + 1 + w + 3 a prime number?
False
Let u(g) = -g**3 + 11*g**2 - 10*g + 2. Let n be u(10). Suppose 53 = -5*q + 3*l, n*l = 3*q - 2*q + 12. Is -13 + 17 - (q - -1) prime?
True
Suppose q - 3*i - 10 - 13 = 0, q + 4*i + 12 = 0. Suppose -9 = -l - q*l. Is l + -1 - -1058 - 3 prime?
False
Is ((-12548)/6)/((-60)/(-18))*-5 a composite number?
False
Let h be 2/(-8) - 17/(-4). Is ((-9)/(18/h))/(-1) composite?
False
Let f be (-59865)/21 - (-4)/(-14). Let z = f - -5099. Suppose 5*l = 1587 + z. Is l a prime number?
False
Let n = 4909 + 2364. Is n a composite number?
True
Suppose 4*g - 3*f + 1 = -0, -3*g = 5*f - 21. Suppose 3*i - 891 = g*i + 5*q, -4*q = -3*i + 2673. Is (-1)/(i/446 + -2) composite?
True
Let g be (4/(-8))/((-1)/(-324)). Let r be 2 - 4/(8/g). Suppose 2*w - 3*w + r = 0. Is w prime?
True
Suppose -6*r - 5 = -r, -2*r + 83153 = v. Is v a composite number?
True
Let p(x) = -106*x - 10. Let r(t) = -t + 1. Let j(d) = p(d) + 12*r(d). Let h be j(-1). Suppose 173 + h = k. Is k a prime number?
True
Let l(n) = n**3 + 9*n**2 + 9*n + 8. Let s be l(-8). Suppose s*p = p - 2*c + 16, -2*p + c - 35 = 0. Let h = p + 51. Is h a prime number?
False
Let x(l) = 89*l**2 + 4*l + 4. Is x(5) a prime number?
False
Let c(w) = 1244*w + 29. Is c(6) a prime number?
False
Let d = 3894 - -515. Is d a composite number?
False
Suppose 4*z + 3*v - 1247 = 0, -5*z + 230 = -2*v - 1346. Suppose -8 = -7*b + z. Is b prime?
False
Let t be (-2 + 3 + 0)*10. Suppose 2*r - 7 = -3*z, -2*r - 4*z = r - t. Suppose -d - r*d = -267. Is d composite?
False
Suppose 5*v + 2 = -4*u, -4*v + 0*v + u - 10 = 0. Is (-258)/8*-2 - v/4 a composite number?
True
Suppose 3*r = -0*r + 15. Let g be 1 + 55 + 12/(-3). Suppose -143 = f - 3*f + 3*b, f = -r*b + g. Is f prime?
True
Suppose 0 = 51*g - 61*g + 86410. Is g prime?
True
Is -4*(-864965)/260 - 12/78 prime?
False
Suppose -6*f + 5*k + 29747 = -2*f, 0 = -4*f + k + 29751. Is f a prime number?
False
Suppose -2*n = -35 - 5. Suppose m - 114 = n. Is m a prime number?
False
Let w(d) = 0 + 0*d + 2 - 3*d + 2*d. Let l be w(-3). Suppose 5*t = l*s - 1655, 0*t = 4*s - t - 1336. Is s prime?
False
Let f be 23/(-4) - 4/16. Let a(z) = -14*z**3 + 2*z**2 + 7 + 12*z**3 - 11*z**2 - z - 4*z. Is a(f) prime?
False
Let g(b) = b**2 - 2*b - 20. Let l = -61 - -46. Is g(l) composite?
True
Is (-1783)/((6/4)/((-6)/4)) composite?
False
Let h be ((-12)/(-5))/(16/40). Let j be (2/h)/(2/12). Suppose -7*v = -j*v - 1435. Is v a composite number?
True
Suppose 2*m + 45075 = w, -5*w - 4*m + 0*m + 225403 = 0. Is w a composite number?
True
Is (-10)/(60/(-108042)) - (-12)/2 a composite number?
False
Suppose 30*d - 439348 = -26818. Is d prime?
True
Let k(f) = -f**3 - 16*f**2 + 17*f - 25. Is k(-23) a prime number?
False
Suppose -12 = -4*h - 3*q, 0 = -h - 0*h + q - 4. Let r be -6 + 7 + (h - -2077). Suppose -5*b = -r - 137. Is b composite?
False
Is 4*7/(-140) + 54566/5 prime?
False
Let n(j) = 375*j**2 + 53*j - 355. Is n(7) a composite number?
True
Let v(o) = 238*o + 417. Is v(17) a prime number?
True
Suppose 0 = 5*x - 4*t - 30, 0*t - 5 = t. Suppose 4*r + 0*r = -s + 1601, 5*s - 5*r - 7930 = 0. Suppose -x*c = -c - 2*l - 325, 0 = -5*c + l + s. Is c composite?
False
Suppose -16 = -6*n + 2*n. Suppose 0 = -3*o + 6*o - n*x - 17, -5*o - 5*x + 5 = 0. Suppose u + 113 = o*f, 3*f - 2*f = 3*u + 35. Is f prime?
False
Let f = -2625 + 7516. Is f a composite number?
True
Suppose 0 = 2*u + 4*v, -3*v + 4 = -3*u + 5*u. Let s = -14 + 10. Is ((-2)/s)/(u/10832) a composite number?
False
Suppose -7*s - 14830 = -4*x - 10*s, x - 2*s = 3713. Is x composite?
False
Suppose 2*o = -p + 8644 - 145, 4*o = -4*p + 33992. Is p a prime number?
False
Let y(t) = 3*t**3 - 11*t**2 - 25*t + 7. Let z be 51/5 + 6/(-30). Is y(z) prime?
True
Suppose -4*j - 5*k = -7*k - 31236, -2*j + 15630 = -4*k. Is j a composite number?
True
Suppose -11*b - 279 = -12*b. Suppose 0 = -3*u + t + b, 2*t + 2*t - 294 = -3*u. Is u prime?
False
Suppose -14*j = j - 30. Suppose 2292 = 10*z + j*z. Is z a prime number?
True
Let p(l) = -1109*l - 1053. Is p(-59) composite?
True
Suppose 0 = 201*b - 189*b - 355812. Is b composite?
True
Let u = 116 - 114. Suppose -o = -4*y + 3*o + 4156, u*y = -4*o + 2102. Is y composite?
True
Let y = 6806 + 4136. Is y a composite number?
True
Let d = 34642 + -14723. Is d composite?
False
Let i be 1/(-3)*-5*3. Let m(b) be the second derivative of 31*b**3/6 + 4*b**2 - 2*b - 11. Is m(i) prime?
True
Suppose 5*n + 7528 = 3*k, -3*k + 4*n + 6440 = -1083. Is k prime?
False
Suppose 4*g - 10494 = g. Let o = g + 1207. Is o a composite number?
True
Let t = -40 + 43. Suppose j = t*j - 254. Is j a composite number?
False
Let s(a) = -a**3 - 10*a**2 - 2*a - 17. Let k be s(-10). Is 3025/k + (-4)/(-6) prime?
True
Let i = 6 + -4. Suppose -4*n = 2*k - 650, -4*n + i*k = -n - 491. Is n a prime number?
True
Let h be ((-32)/(-3))/((-8)/(-12)). Is h/56 + (-5577)/(-7) composite?
False
Let x = -3387 + 6318. Is x composite?
True
Suppose z = -4*x + 545, -4*z - 2*x + 700 = -1438. Is z a prime number?
False
Suppose -22 = -3*w + 14. Let a = w + 28. Is (112/a)/(1/5) a composite number?
True
Let p be (-715)/(-2) - 3/2. Suppose -t + 515 + p = n, -3*t = -6. Is n a prime number?
False
Let i(r) = -30*r + 5. Let f be i(-6). Suppose 2*u = -18 - 186. Let n = u + f. Is n prime?
True
Suppose -6*t + t = 45870. Suppose 5*a = 2*n + 2*a - 4, -n - 5*a = -2. Is n/(-3) + t/(-18) a prime number?
True
Let t(a) = 16*a**2 - a + 3. Let j be t(2). Let h = 332 - j. Is h prime?
False
Let z be (-6)/8 + 9/12. Suppose z = d - 2*d + 458. Suppose 5*b = -20, -h = -5*b + 109 - d. Is h a prime number?
False
Is -1 + 43055/4 + 38/152 a prime number?
False
Suppose 8*y - 26106 - 138110 = 0. Is y composite?
True
Let d = 58472 - 26643. Is d composite?
True
Let i(x) = x + x + 14*x**2 - 6*x + 3*x**2. Let k be i(4). Suppose 0*r - k = -2*r - 5*t, -5*r + 617 = t. Is r prime?
False
Let n(w) = -4*w**3 - 20*w**2 - 27*w - 279. Is n(-22) prime?
False
Let g be (-4)/30 - 47/(-15). Is 1944/14 + g/21 prime?
True
Let b be -1 - (