*(-367)/(-6) a prime number?
False
Suppose -2*v = 2*j - 633260, 4*j - 4*v - v - 1266529 = 0. Is j prime?
False
Let c(i) = -i**3 + 19*i**2 + 25*i - 43. Let g(t) = t**3 - 14*t**2 + 27*t - 18. Let r be g(12). Is c(r) composite?
True
Suppose -4*a - 7828 = 4*x, -4*x - 7031 = 2*a + 791. Let r = x + 4695. Is r a composite number?
False
Is (32 + -1)/((-13)/(-1157)) a composite number?
True
Let m(r) = 2*r**2 + 24*r + 3. Let x be m(-12). Suppose 0 = x*k - 1 + 1. Suppose 8*g - 11246 + 3382 = k. Is g a prime number?
True
Suppose -25863 = -v - 3*u, -38*v - u = -42*v + 103478. Is v a composite number?
True
Let u(z) = 116*z**2 - 441*z - 34. Is u(35) a composite number?
False
Suppose 9*q = 10*q - 34. Let l = q + -61. Is (-786)/l*-3*(-2 + -1) prime?
False
Suppose 10*h - 13*h - 19458 = 0. Let t = -4523 - h. Is t a prime number?
False
Suppose -4 = -18*k + 32. Is (-51916)/12*(-5 + k) prime?
True
Let y = 15629 - -10400. Is y prime?
True
Let c be ((-140967)/(-108) - (-3)/4)/2. Let f = 897 - 547. Let g = c + f. Is g a prime number?
False
Let v = -140592 + 269101. Is v prime?
True
Let f = -158945 + 227152. Is f composite?
False
Let k(z) be the first derivative of 5*z**4/2 - z**3 - 4*z - 76. Suppose 0 = -12*y + 3*y + 27. Is k(y) composite?
False
Suppose 4*u - 16 = 40. Let n = 49 - 38. Suppose -u*c = -n*c - 1677. Is c a prime number?
False
Let g(l) = 4304*l**3 + 17*l**2 + 87*l - 663. Is g(7) prime?
True
Let i = -108 - -110. Suppose -5*o + 2*r + 34529 = 0, -i*o + 11771 + 2045 = -3*r. Is o a composite number?
True
Suppose 4*w - 66 = -58, -2*y = w - 71324. Is y a composite number?
True
Suppose 235 = 3*k - 2*z, -2*k - 21 + 179 = -z. Suppose k = 6*c - 3*c. Suppose 23*w + 124 = c*w. Is w composite?
False
Let f = -8 - -1. Let p(k) = 4*k + 47. Let d be p(f). Suppose 4*s - d*s = -36795. Is s prime?
False
Let j(w) = w**3 + 7*w**2 + 4*w + 29. Let n be j(-7). Is (-16541)/(-17) - (n + 1)*-2 a prime number?
True
Suppose -3*u = -3*m + 12, -3*u = 3*m - 0*m + 24. Let t = u + 10. Suppose -t*o + 43 = -10553. Is o a composite number?
True
Let q = -12 - -17. Suppose -20 = 3*c - 3*n + 5*n, -5*n + 25 = -q*c. Is (-2)/3*9495/c prime?
False
Let f(j) = -5*j - j**2 + 5*j + 8*j - 10. Let d be f(3). Suppose 0*w - 583 = -w - d*c, 10 = 5*c. Is w a prime number?
False
Let h = 875 + 383. Suppose 6*x - 414 = -i + 3*x, 2*i - 2*x - 844 = 0. Let a = h - i. Is a a prime number?
False
Suppose -3*u = -4*o + 366319, -5*u - 157070 - 117672 = -3*o. Is o composite?
True
Let g = 44 - 41. Let z(c) = -g*c + 49 - 58 + 131*c**2 + c. Is z(-4) a prime number?
False
Suppose 4*w + 2*g - 22 = 0, -3*w + g + 3 = -21. Let i(s) = s**3 + 3*s**2 + 6*s - 1. Let v be i(w). Let x = -148 + v. Is x a prime number?
True
Suppose -115*c + 647864 = -111*c + 3*x, 3*c + 5*x = 485887. Is c prime?
True
Let i be 2 - 7/(7/6) - 401. Is 27/(i/(-6)) + 76383/5 a composite number?
False
Let j = 44552 + -541. Is j prime?
False
Let c(a) = -12*a + 11. Let f be c(8). Let s be 3/9*3 + f + -1. Is 17/s + 956/5 a prime number?
True
Suppose 5*m = -5*a, 2*a - 6*a + 6 = m. Let q be m - ((-656)/2 + 2 + 0). Let l = -73 + q. Is l a prime number?
True
Suppose -1 = -c + 3*o + 1, 4*o = 3*c + 14. Let u be (3 - -1)*(9 - (-190)/(-20)). Is (u/3)/(c/3885) a prime number?
False
Let k(w) = -w**3 + 5*w**2 + 4*w - 15. Let n be k(5). Suppose q - 3 = -0*q. Suppose 5*s - 22 = -z, n*s - 133 = -z - q*z. Is z a composite number?
False
Let v = 6814 + -34184. Let m = v - -47691. Is m prime?
False
Suppose 5*n + 3 = w, w - n + 5 = -2*w. Is (-3)/w*14920/30 composite?
True
Suppose 0 = 3*i, -126080 - 61178 = -2*q - 4*i. Is q prime?
True
Suppose -21*f - 190614 + 1723803 = 0. Is f prime?
True
Let j(z) be the second derivative of z**7/90 - z**6/360 + z**5/120 + 11*z**4/6 + 23*z. Let r(l) be the third derivative of j(l). Is r(5) a prime number?
True
Let p(n) = 7761*n - 163. Is p(4) a prime number?
True
Suppose 21628900 = 75*x + 53*x - 28*x. Is x composite?
False
Let b(z) = -2*z - 20. Let m(l) = -l - 10. Let h(d) = -6*b(d) + 11*m(d). Let j be h(-5). Suppose -343 + 1518 = j*p. Is p composite?
True
Let q = -80727 - -164390. Is q a prime number?
True
Suppose b - 12321 = 2*s, 4*b - 2*s + 4583 - 53879 = 0. Suppose -2*m - b = -z - 4*m, -4*z + 49316 = 4*m. Is z a prime number?
False
Let r = 905 + -179. Suppose -k + 6866 - r = 0. Suppose 15890 = 2*a - k. Is a prime?
False
Let d(z) = z**2 - 6*z - 64. Let t be d(12). Let c be 1*1535 + (t - 1)/(-7). Suppose -h + 25 = -c. Is h prime?
True
Let p = -781 - -28764. Is p prime?
True
Let l = 16958 - -10775. Is l prime?
True
Let m be 0 - 1 - (-9 + 6)*3. Is 3719 - m - 8*-1 a prime number?
True
Let u(y) = 2*y - 5. Let s(z) = -4*z**3 + z - 2. Let a be s(1). Let t be u(a). Let g(o) = -124*o + 7. Is g(t) a prime number?
True
Let k(h) = h**3 - 10*h**2 + 10*h - 6. Let t be k(9). Suppose -t*w - 1116 = -o, 3*w = -0*w + 15. Let v = -344 + o. Is v prime?
True
Let u be (-9852)/(-10)*(-10)/(-2). Let s = u + -2267. Is s prime?
True
Let s(m) = -m**2 + 7*m + 93. Let h be s(-7). Is h/(5 + 11676/(-3891) + -2) a composite number?
True
Is -35665*(-136)/(-8)*-2 + (-3)/1 a prime number?
False
Let m = 21177 - 10266. Is m a prime number?
False
Let u be (0 + 1)*(300 + 5). Let r = -621 + 624. Suppose s + 0*v - u = 2*v, r*v - 3 = 0. Is s prime?
True
Let w = -3381 + 5759. Suppose -4*r - i = -6*r + w, -3*r + 2*i = -3569. Is r a composite number?
False
Let y(o) = 865*o + 76. Let w be ((-2)/(-6))/((-2990)/273 - -11). Is y(w) composite?
False
Suppose -5*m - 10 = -35. Suppose 0 = -w + m*w + 844. Is (0 - w) + (-3 - -3)/(-5) a prime number?
True
Suppose -2*d = 2*k - 6*d - 9438, k + 4*d = 4731. Suppose -y - 3*v = -k, 2*v - 12026 = -4*y + 6906. Is y a composite number?
True
Let g = 34 - 30. Suppose g*s = 5*s - 3. Let t(b) = 18*b - 3. Is t(s) a composite number?
True
Let f(p) = 275*p - 14. Let r(w) = -w + 23. Let v be r(8). Let i = v - 10. Is f(i) a prime number?
True
Let v be (6/(-7))/((-11)/(-308)). Let r = -21 - v. Suppose -5*z + g = -0*z - 114, r*z + g = 70. Is z a composite number?
False
Let d = 12574 + 81733. Is d a prime number?
True
Is -4*(1 - 0) - ((-128)/8 - 85559) composite?
False
Let t(z) = z - 4*z + 7*z**2 - 4642 + 4717. Is t(11) a composite number?
True
Let q(d) = -10586*d**3 - d + 2. Is q(-1) prime?
True
Let v(u) = -3508*u**2 - 8 + 12801*u**2 - 27 - 35*u. Is v(-1) prime?
True
Suppose 17*w - 95918 = 35695 + 154174. Is w prime?
True
Suppose 3*w = z + 12, 4*z + 17 = 4*w + 1. Let g be ((-18)/(-30))/(w/3380). Let i = g + -200. Is i a composite number?
False
Let b be (2/7)/(-5 + 288/56). Suppose -j - 5 = 0, -b*t - 2*t = -2*j - 85262. Is t composite?
False
Suppose p - 9 = 10*p. Let v(k) = -12*k**3 + k + 1. Let y be v(p). Is 2/(y/(-9))*11334/(-9) a composite number?
False
Suppose -125*o + 7678415 = -7150154 - 6776556. Is o composite?
True
Let b(d) = 21865*d - 2489. Is b(18) prime?
False
Is (16855*6/(-20))/((-9)/102) a composite number?
True
Let k(p) = -p**2 + p - 5. Let x(b) = b**2 - 10*b + 28. Let w be x(5). Let a be k(w). Let l(r) = -r**3 - 4*r**2 + 10*r - 16. Is l(a) a composite number?
True
Suppose -h = -2*u - 3*h - 6, -4*u + 5*h + 24 = 0. Let p(v) = 336*v**2 - 3*v + 3. Let k be p(u). Let j = k - 110. Is j a composite number?
True
Suppose 155810 = 2*b - 75332. Is b prime?
True
Let u(t) = 142*t - 43. Let s be u(17). Suppose -3*w + s + 9604 = 5*a, 5*a - 11975 = w. Is a a composite number?
True
Let j = 76058 - 52621. Suppose 0 = -3*o - 1279 + j. Is (-1)/((-3)/o) + -3 a prime number?
True
Suppose -3*l - 4*z + 21 = 0, l - 6 = -0*l - z. Suppose 4*u = -l*a + 6955, -9*u = 2*a - 8*u - 4635. Is a prime?
False
Let t be ((-15)/(-9) + -2)*-21. Suppose -4*d + 1 = -t. Suppose -10 = u + u, -q = d*u - 4. Is q prime?
False
Suppose -2*d = 2*u - 86636, 128*u - 4*d + 129959 = 131*u. Is u a composite number?
False
Suppose -15 = -5*a, 0 = -3*m - a + 9847 - 139. Is m a prime number?
False
Suppose 0 = -8*a + 4*a + 6596. Suppose -o + 4*o = -h + a, 4*o - 2*h - 2212 = 0. Suppose 5*b - o - 819 = 0. Is b a prime number?
False
Let r(s) = -s**2 + 12*s + 85. Let u be r(17). Suppose 5*k + 6*m - 12571 = 3*m, u = k - m - 2511. Is k composite?
True
Is 12991070/36 + -2*(-5)/(-180) a composite number?
False
Suppose 30694 + 1461 = -5*f. Let x = 10504 + f. Is x composite?
False
Is ((-156)/416 + 61910/16)/((-1)/(-1)) a com