ose -i*a - 57 + 277 = 0. Is a composite?
True
Suppose 0 = -6*v + 9 + 15. Let y(d) = 113*d - 3. Is y(v) prime?
True
Let k(w) = w**3 - w + 37. Suppose -20 = -5*m + 5*s, 0*m - 3*s = 5*m + 12. Let i be k(m). Suppose -i = -z - 0*z. Is z a composite number?
False
Let l(h) = -h**2 + 8*h - 9. Let u be l(6). Let w(c) = 39*c - 2. Let n(j) = 38*j - 1. Let f(k) = u*n(k) - 4*w(k). Is f(-7) composite?
True
Is ((-60)/(-16))/(11/44) a composite number?
True
Let n = -13 - -18. Let v = n + -2. Suppose k = -2*j + 796, -2*j - v*k + 784 + 16 = 0. Is j a composite number?
False
Is 4/24*-1 + 46903/6 prime?
True
Let k(t) = t**2 + 3*t + 1285. Let h be k(0). Let d = h - -526. Is d composite?
False
Let r be (52/8)/(-1)*2. Let d(q) = -q**3 - 8*q**2 + 5*q + 51. Is d(r) a prime number?
False
Suppose -3 = 8*g - 9*g. Suppose g*v - 1219 - 2762 = 0. Suppose 7724 + v = 3*k. Is k prime?
False
Suppose -3*k + 121 = -2*s, -4*k - 2*s = -k - 125. Suppose -f + h - 5 = 0, -16 = 4*f + 5*h - k. Let g(r) = r + 31. Is g(f) prime?
True
Let w be -3 + 1/(-1 - -2). Let z be -4 - w/2*8. Suppose -z*j - 2*t + 2877 = -3*t, -5*t = 2*j - 1433. Is j a composite number?
False
Suppose 4*m - 2 - 11 = 5*x, x + 2 = m. Is m*(-1 + (-62)/6) a prime number?
False
Let n(p) = 717*p**2 - 20*p - 44. Is n(-3) composite?
False
Suppose -d - o = -8, 0 = d - 3*d - 5*o + 28. Suppose -87 = -d*y + 33. Suppose -876 = -4*w + 2*k - y, -4*w = -k - 845. Is w a composite number?
False
Let f be ((-36)/15 - -2)*-5. Suppose 8 + 0 = f*x, 5*x - 16 = 4*t. Is (t/3)/((-6)/(-2934)) prime?
True
Is (6/2)/(-3)*(-9 - 8030) a prime number?
True
Let m = 1664 - 867. Is m composite?
False
Let s(q) = -5*q**3 + q**2 + 2*q - 2. Is s(-4) composite?
True
Let y = 11 - 6. Let q(r) = -2*r + 12. Let x be q(y). Suppose -3*w + 469 = -2*t, 3*w - x*w = -5*t + 162. Is w composite?
False
Let w(m) = 31*m - 14. Let t be 2*3 + (-19)/(-19). Let s be t - (2 + -2)*1. Is w(s) a prime number?
False
Is 67269/(4 - (-8)/(-8)) a prime number?
False
Let n(i) = i**3 + 4*i**2. Let k be n(-4). Suppose -2*y = -k*y - 64. Suppose -y = -2*d - 2*z, -5*d + 50 = 3*z - 26. Is d prime?
False
Suppose 5*t - 696 = 3*t + 4*h, -4*t + 1422 = -2*h. Let y = t + 561. Is y a prime number?
True
Suppose -6*r - 6900 = -18816. Suppose 8*o + r = 14*o. Is o a prime number?
True
Let c = 81 + -83. Is -322*(5/c + 2) a composite number?
True
Let f be 4/4 + -1 - -3. Is ((-12072)/(-4) - 3) + 6/f prime?
False
Let k(a) = 405*a**2 + 2*a + 2. Let l be ((-8)/12)/(8/36). Is k(l) a composite number?
True
Let g = 212 + 111. Suppose -u - 5*b + g = 122, 4*b - 581 = -3*u. Is u prime?
True
Suppose -3*m - 17923 = -61990. Is m a composite number?
True
Let x(n) = n**3 + 45*n**2 - 84*n + 147. Is x(-46) composite?
True
Let q = -51 + 97. Suppose 38*v + 492 = 42*v. Let k = v - q. Is k composite?
True
Suppose -9*l + 14*l - 60 = 0. Suppose -4*r + l = 2*r. Suppose 3*v + 2668 = 7*v - 4*f, v - 667 = -r*f. Is v a composite number?
True
Is (213/15)/((-1)/(-35)) a composite number?
True
Let d = 1052 - 1482. Let w = 87 - d. Is w prime?
False
Let o be 1/(-5) + (-42)/(-10). Let c(l) = -l**2 + 2*l - 6. Let f be c(o). Let h = f + 28. Is h a prime number?
False
Let v be 168/126 - (1025/(-3) + 1). Suppose v = 4*z - s, 0*z = 3*z + 3*s - 264. Is z a composite number?
True
Let d = -814 - -415. Let o = -108 - d. Is o prime?
False
Let j(s) = 4550*s - 5. Let d be j(-3). Let p = -47909 - d. Is p/(-55) + 1/5 prime?
False
Suppose 22*n + 8 = 26*n. Suppose -n*z + 369 = -3529. Is z a composite number?
False
Let r(b) = -2*b**2 + 28*b - 32. Let q be r(13). Is q/(-21) + (-14654)/(-14) composite?
True
Let o(v) = -v**3 - 3*v**2 - 12*v - 17. Let q be o(-17). Suppose 12*g - 2259 = q. Is g a prime number?
True
Let x(s) = 3*s. Let f be x(1). Suppose 4*r - 24 = f*o - 2*o, 5*r = 5*o + 45. Is ((-762)/o)/((-1)/(-2)) prime?
False
Suppose -2*u = 1 + 17. Suppose -6*q = -2*q - 1008. Is ((-11)/4)/(u/q) composite?
True
Let k = -8252 + 16873. Is k prime?
False
Let x = 81 + 120. Suppose -12*m = -t - 14*m + x, -3*t + m + 638 = 0. Is t a prime number?
True
Suppose 1347 = -d + 4*g, -5*g = -0*d + 5*d + 6735. Let i = 787 + d. Let p = i + 975. Is p composite?
True
Let b be 0/(-13)*(-2)/4. Suppose 791 = 3*w - 544. Suppose b*c = c - w. Is c a prime number?
False
Let i(x) = -x**3 + 7*x**2 + 2*x - 7. Is i(7) a prime number?
True
Let p = -6468 - -13529. Is p a prime number?
False
Let b = 1078 + -1705. Let v = b + 1168. Is v prime?
True
Is 6185/3 - (-4)/36*3 a composite number?
True
Let o(w) be the first derivative of 27*w**4 + 2*w**3/3 - w - 9. Is o(1) a composite number?
False
Let c(j) = 0 - 1 - 2 + 64*j - 1. Let q be c(12). Suppose 0*r - q = -4*r. Is r a prime number?
True
Let k(h) = -30779*h + 2. Is k(-1) a composite number?
False
Let r = -2120 - -3159. Is r prime?
True
Suppose 3*f - 3 = 2*f. Suppose 0 = -4*h + f*h + 1004. Suppose -3*y = y - h. Is y a composite number?
False
Suppose 23965 = 5*l - 5*q, -4776 = 2*l + 3*q - 14352. Is l prime?
False
Suppose h + 258 = 3*h - 5*p, -616 = -5*h - 2*p. Suppose -q = 2*z - 1349, -3373 = -5*z - 2*q - 0*q. Suppose -4*i - i + j + z = 0, i + 2*j = h. Is i prime?
False
Let r(v) = -675*v + 137. Is r(-14) composite?
False
Suppose 16*w + 1050 - 6218 = 0. Let q be (-2008)/28 + (-2)/7. Let f = w + q. Is f prime?
True
Let g be ((12/(-4))/1)/(-1). Suppose m + s - 714 = 0, m + 2*s = -g*m + 2852. Is ((-6)/(-24))/(2/m) a composite number?
False
Is (45/18)/((-10)/(-184568)) a composite number?
True
Suppose 3*l = 205 + 716. Is l composite?
False
Let i be (-2)/6 + ((-91136)/(-12))/8. Suppose 12*h - i = 11*h. Is h prime?
False
Suppose 0*u - 2*u - 5*n + 14556 = 0, 0 = 2*u + 3*n - 14560. Is u a composite number?
False
Let h(i) = -7*i + 5. Let n be h(4). Let y = n - -24. Is y/(-4 + 3585/895) prime?
True
Let q = 252 - -221. Let w = -252 + q. Is w a composite number?
True
Let u = -5633 + 8124. Is u prime?
False
Suppose h - 11*g + 6*g + 1042 = 0, -2*h = 4*g + 2126. Let m = h - -1770. Is m a prime number?
False
Let b(j) be the third derivative of -103*j**6/60 - j**5/20 + j**4/6 - j**3/2 + 7*j**2. Let w be b(2). Is (w/(-20))/(2/8) a composite number?
False
Suppose 3*x + 4*s + 0*s - 3581 = 0, 0 = 3*x - 3*s - 3546. Is x prime?
True
Let b(p) = -4 - 4*p + 7 - 2*p**2 - 2*p**3 + 0*p. Let s be b(-4). Suppose -2*n + s = -n. Is n prime?
False
Suppose -741 = 6*b + 7*b. Suppose 5*n - 36 = -3*a, -5*n + 4*n + 24 = -5*a. Is (b + -1)*n/(-6) a prime number?
False
Let m be 2/(-11) - ((-399)/77)/1. Suppose 0 = -m*l - l + 354. Is l composite?
False
Suppose 43062 + 108 = 6*l. Is l composite?
True
Let f be 292/18 + (-10)/45. Suppose 20*g - 3912 = f*g. Let l = g - 671. Is l a prime number?
True
Let z = -77143 + 114540. Is z prime?
True
Let o = -23 - -24. Suppose -x - 1 - 4 = 0, 3*x + o = -k. Is (-34 - 0)/(k/(-77)) prime?
False
Let l(d) = 2*d - 4. Let f be l(4). Let q be (-91695)/(-105) + f/(-14). Suppose 7*k - q - 548 = 0. Is k composite?
True
Suppose 0 = -2*y - 4*l + 3520, -5*y + 29*l - 25*l = -8814. Is y prime?
False
Suppose 25*y - 380 = 21*y. Let b = y + 99. Is b prime?
False
Let f be 7328/(-40) - (-4)/(-5). Let p = -53 - f. Is p prime?
True
Let o(d) = d**2 + 3. Let h be o(-3). Suppose h = 2*p + 48. Is 0 - ((2 - -1) + p) prime?
False
Let w(s) = -65*s + 3 + 1 + 55*s + 3*s**2. Is w(11) a composite number?
False
Let r(s) = 2*s**3 - s**2 - 12*s - 10. Let q(n) = -n**3 - 1. Suppose -10 = i - 3*i, -a + 3*i - 16 = 0. Let p(d) = a*q(d) - r(d). Is p(-8) prime?
True
Let j = -7 - -11. Suppose 0 = -3*o, 2 = -x + 2*x + 5*o. Suppose -x*w + 193 = -3*l, 6*w - 3*w = j*l + 289. Is w composite?
True
Let a(g) = -367*g - 372. Is a(-25) a prime number?
True
Let a(o) = -o + o**2 + 52*o**3 + o**3 - 2*o**2 + 2. Let d be 1/(6/18*3). Is a(d) a composite number?
False
Let h = 158 + 8381. Is h a prime number?
True
Let a be 9/(114/19*(-2)/8). Let t(d) be the third derivative of -13*d**4/24 - 7*d**3/6 - 2*d**2. Is t(a) composite?
False
Suppose -4 = 5*u - 24. Suppose -2 = -3*c + u. Suppose 7*i + 8 = c*a + 4*i, 4*i - 36 = -4*a. Is a composite?
False
Let y(z) = -4*z**3 - 10*z + 2. Let c be y(-5). Let s = -251 + c. Is s a composite number?
True
Let v(q) = -2*q**2 + 6*q + 2. Let b be v(3). Suppose -5*z = -b*f - 2801, z - 553 = -3*f + f. Is z a prime number?
False
Let o = -4 - -6. Suppose 0 = -o*v - 8. Is 12/v + 1*33