 derivative of s(h). Is n(5) prime?
True
Let c be (-3)/12 + (-69892)/(-16). Suppose 0 = 4*y - w - 647 - c, 3*y - 5*w = 3740. Is y prime?
False
Suppose -4*r - 52*r + 1038968 = 0. Is r composite?
False
Let h(r) = r**2 + r - 4. Let w be h(-5). Suppose -w*m = -6*m - 3050. Is m composite?
True
Suppose 139*d - 128*d - 472571 = 0. Is d prime?
True
Let f(u) = 4*u**2 + u + 6. Let g(h) = 9*h**2 + 3*h + 12. Let a(r) = 7*f(r) - 3*g(r). Let b be a(0). Is 26/b + (-1)/3 a composite number?
True
Let p be (3/6)/(1/(-934)). Let h = p - -1750. Is h prime?
True
Let v = 10 - 5. Suppose -2*a + 4 = -p, 2*p + p + v*a - 32 = 0. Suppose p*u - 436 = -4*t, 0*u + u - 5*t = 133. Is u a prime number?
True
Let f be 4/(-8) + (-90)/12. Is -485*(-3 + f/(-4)) composite?
True
Let a(p) = 22*p**3 - p**2 - p - 1. Let x = 45 - 42. Is a(x) a composite number?
True
Let t be 50/18 + (-4)/(-18). Suppose 7*d = -t*d + 1850. Is d a composite number?
True
Let i = 41 - 43. Is i/((-11760)/(-5884) - 2) a prime number?
True
Let y(g) = -g**2 + 3*g - 2. Let m = 9 + -6. Let s be y(m). Is 82 - 6/(-4)*s a composite number?
False
Suppose 2*n + 60 - 472 = 0. Let v = -8 + 13. Suppose -v*s = -q + n, 3*s - 636 = -3*q - 0*s. Is q composite?
False
Let s(m) = -6*m + 1. Let f be s(-1). Suppose -428 + 113 = -f*v. Is 16668/v - (-6)/10 a prime number?
False
Let v = 21100 + -10353. Is v prime?
False
Is (1 - -2805) + (48 - 41) a prime number?
False
Suppose 2*q + 5*y = -19 + 6, 4*q - 4*y = 44. Suppose 2*g - 3*r - 1 = -0*g, r + 7 = 2*g. Suppose -g*b - 65 = -q*b. Is b a composite number?
True
Suppose -4*r = g - 5*g - 1136, -3*r - 1101 = 4*g. Let t = 1180 + g. Is t a prime number?
False
Suppose 62 = -2*o - 52. Let d = o - -104. Suppose 3*y - 112 = d. Is y composite?
False
Suppose -2*g + g - 4 = 0, -4*g = 3*w + 31. Let b be (1/(-2))/(w/40). Suppose n - b*n + 105 = 0. Is n a prime number?
False
Suppose 8325 = -5*q - 4*f + 836, -3*q - 4493 = 2*f. Is 2/(1*(4488/q - -3)) composite?
True
Suppose -2*p = -5*n + 40, 3*p + 5 = 5*n + 8*p. Let g = 4 + -1342. Is (g/(-18))/(2/n) composite?
False
Let j be -2 + (3 - 4) + 7. Suppose j*w + 2*i = -2, i = -3*w - 0 - 3. Is (-2)/w - 216/(-6) a prime number?
True
Let k(w) = 2*w**2 + 50*w - 175. Is k(44) prime?
True
Is 14613/27 - (-18)/(-81) composite?
False
Let u(k) = -33*k + 125. Let t be u(7). Suppose -5*o = 3*q - 604, -3*o = 4*q - 0*o - 787. Let j = q + t. Is j a prime number?
False
Let o = 182659 + -52754. Is o composite?
True
Let c(h) = h**3 + 15*h**2 + 2*h + 24. Let y be c(-15). Is 1226/10 + y*5/(-75) prime?
False
Is (-20714)/(-8) + 15/(-60) a prime number?
False
Let j = 5183 + 980. Is j a composite number?
False
Let x(o) = -2*o + 1. Let j(w) = 43*w + 19. Let y(t) = j(t) + x(t). Is y(9) a composite number?
False
Suppose 4*u + 10599 = 5*w, w - 22*u - 2139 = -26*u. Is w prime?
False
Let d be 12/(-9) + 2420/(-12). Let p = 126 - d. Is p a composite number?
True
Let o = 7 - 1. Suppose 4*w - 9833 = -3*n, 0 = -4*n - 2*w + 3123 + 9991. Suppose -n - 459 = -o*m. Is m a prime number?
False
Suppose 5*a - 57 = -2*t, 2*a + 73 + 5 = 4*t. Is 7 + 7/(t/9) composite?
True
Suppose 10548 = b + 241. Is b prime?
False
Let v be 58/(-6) - 1/3. Let q(t) = 16*t**3 - 31*t**2 - 27*t - 26. Let u(x) = 7*x**3 - 15*x**2 - 13*x - 13. Let m(y) = 4*q(y) - 9*u(y). Is m(v) composite?
False
Suppose -r + 2*u + 30 = 0, -r = r - 2*u - 50. Let a = r + -13. Suppose -i - 1146 = -a*i. Is i composite?
False
Let a = 86 + -61. Suppose -25 = -5*u + 5*s, -4*u - 3*s + 8*s + a = 0. Suppose 2*f + 0*i + 3*i - 86 = 0, u = -4*f + 4*i + 132. Is f prime?
True
Let d(o) = 14. Let x(z) = -z + 13. Let h(i) = -4*d(i) + 5*x(i). Let l(y) = -2*y - 7. Let u be l(3). Is h(u) a prime number?
False
Let r = -12 + 15. Is (-57)/6*(r - 41) a prime number?
False
Let r(c) = 4*c**2 + 24*c + 67. Is r(-11) a composite number?
True
Suppose -2*n + 41268 = 2*l, 28666 = 2*l - 4*n - 12632. Is l prime?
True
Let v(r) = -2615*r + 171. Is v(-22) composite?
True
Let s(p) = -p - 9. Let o be s(-10). Let u(z) = 235*z**3 + z**2 - 4*z + 3. Is u(o) composite?
True
Let r = 612 - -1051. Is r a prime number?
True
Let k = 151 + -746. Let g = k - -1152. Is g a prime number?
True
Let b(n) = -6*n - 9*n - n - 5*n**2 - n**3 + 20 - 9*n**2. Is b(-15) a composite number?
True
Let q = 40 + -35. Suppose 1799 = 5*l - 3*f + 142, l = q*f + 349. Is l prime?
False
Let q be 1 - (7/4 + 3/(-4)). Suppose q = -5*j + 7*j - 2506. Is j a prime number?
False
Is (-8)/56*-7 - 7*-1894 a prime number?
True
Suppose -10*x - 11*x = -1001847. Is x composite?
True
Suppose -40*w = -44*w + 3004. Is w composite?
False
Suppose -w - 4*c - 24 = -6, 0 = -4*c + 12. Is (-50448)/w - 3/5 a prime number?
False
Suppose 28908 = 3*b + t, 16*b = 20*b + 5*t - 38533. Is b a prime number?
False
Let m(k) = 2*k**2 + 11*k + 11. Let g be m(-9). Let w = 52 - 9. Let t = g - w. Is t prime?
True
Is (-90)/54*217839/(-5) a prime number?
True
Let g(p) = -p**3 + 14*p**2 - 11*p + 3. Let n = -46 - -36. Is g(n) composite?
True
Suppose -4*q = -5*b + 49605, -5*b + 20637 = 3*q - 28933. Is b composite?
True
Suppose 0 = -5*k - 5*f - 4635, 3*k + 0*k - 5*f = -2757. Let h = 343 - 340. Is k/(-1) - h - 2 a prime number?
True
Suppose 16 - 18 = 2*c. Let l(q) = -q**3 + 2*q**2 + q. Let k be l(c). Suppose k*o + 2*h - 1084 = 96, -2959 = -5*o - 2*h. Is o a prime number?
True
Suppose -22*w + 274313 = -55665. Is w a prime number?
False
Suppose -27601 = -5*n - 2*n. Is n prime?
True
Let t(u) = -u**3 + 16*u**2 + 2*u - 24. Let h be t(16). Is 544/h + (-2 - 1) a composite number?
True
Let t = -6 - -8. Suppose -3*q + 5*q = 6, t*r = 4*q - 12. Suppose 2*b - 458 - 204 = r. Is b composite?
False
Let g(p) = p + 8 + 5*p**2 - 3*p + 1. Is g(-10) a prime number?
False
Let k(u) = 3*u**3 - u**2 + u - 1. Let r be k(1). Let x(t) = -2*t**2 - t + 130 - 5 + r. Is x(0) prime?
True
Suppose 12*d - 153 = 9*d. Is d composite?
True
Let d be (-11220)/(-18)*(-12)/(-10). Suppose -2*a + d = m, -2*a + m = 5*m - 742. Suppose 2*s - 287 = a. Is s a composite number?
False
Let w(n) = -44*n**2 - 10*n + 1. Let p be w(-5). Let h = -502 - p. Is h prime?
True
Suppose -4*i = -1 - 7. Suppose 0 = -l - 3 + 8, q = i*l + 5009. Is 8/20 + q/15 composite?
True
Let m(t) be the third derivative of 143*t**4/12 - 43*t**3/6 + 21*t**2 - 2. Is m(7) composite?
True
Let n = -78 - -68. Is (-5679)/(-15) - n/25 a composite number?
False
Suppose 24 = -2*g - 496. Let r = -512 - g. Let d = -119 - r. Is d prime?
False
Let q(j) = 2*j**2 - 4*j. Let i be q(4). Suppose 2*z - i = 6*z. Is 279*((-12)/9)/z prime?
False
Let k = -1303 - -4260. Is k prime?
True
Let n(c) = -c**3 + 7*c - 3. Let d be n(7). Is 0 + 1 - (-1 - 0) - d prime?
False
Let p be (-1 + 607/(-1))*1. Let y be (-6)/4*p/24. Let z = 59 - y. Is z a prime number?
False
Let v(x) = -5*x**3 - x - 1. Let j be v(-1). Suppose 0 = 3*f - j*f + 286. Is f composite?
True
Let d(p) = -15*p**3 + 14*p**2 - 15*p + 8. Let x(a) = -7*a**3 + 7*a**2 - 7*a + 3. Let z(j) = 3*d(j) - 7*x(j). Let q = -2 - -6. Is z(q) a composite number?
False
Let r be 1*-3 - (-4 - -2). Let k be (1 + 0/r)*1. Is 118 + -4 + 0 - k composite?
False
Let v(p) = -p**2 + 3*p + 1. Let j be v(3). Let q(m) = 134*m**2. Let s be q(j). Suppose y + y = s. Is y composite?
False
Suppose 0 = -5*c + 3*n + 386, -3*n + 115 + 131 = 3*c. Is c a composite number?
False
Suppose 0 = 2*x + 2*d - 1418, 1829 = 2*x + 4*d + 413. Let u(q) = -q**3 + 18*q**2 + 21*q + 37. Let m be u(19). Suppose -5*l - m + x = 0. Is l prime?
True
Let l(o) = -2*o**2 + 3*o - 18. Let w(h) = h**2 - 2*h + 9. Let v(d) = -2*l(d) - 5*w(d). Let k be v(6). Is 4/(-3) + (-6055)/k prime?
False
Suppose -15 = 4*b + b, 0 = -3*s + 3*b + 15. Let p(d) = d**2 - d + 1. Let h be p(s). Suppose 4*c - 82 = -o + 103, -o = -h*c + 137. Is c prime?
False
Suppose 2*r - 4*y - 5595 = 243, 4*r - 11679 = 5*y. Is r a prime number?
False
Suppose -5*z + 42 = 4*s, 0 = -4*s + z - 4*z + 38. Let t be 2/(-6) - (-294)/18. Is ((-933)/(-6))/(s/t) a composite number?
False
Suppose o + 2*n = 4*o - 20, 20 = 4*o - 4*n. Suppose 298 = -o*x + 12*x. Is x a composite number?
False
Suppose 123*b = 143*b - 566980. Is b prime?
True
Suppose -3*g = 5*l - 41552, 38*l + 2*g = 40*l - 16624. Is l prime?
True
Suppose v + 1666 = 15*v. Is v prime?
False
Let m(c) = -3*c - 1. Let f be 2/4*1*-4. Let a be m(f). Suppose -2*g - 3*g + 1264 = 