s u composite?
True
Suppose -3*b - 12150132 = -9*w, 15*w - 13*w - 2700031 = b. Is w composite?
True
Let c = -89 + 92. Suppose 2*d = -c*j - 3*d - 3511, 0 = -3*d + 3. Is (-2 - -3)/((-4)/j) composite?
False
Suppose 629984 = 32*q - 294848. Is q a composite number?
False
Is (7578 - 56)*(-3 - (-73)/2) composite?
True
Let c(b) = 22*b**3 + 8*b**2 - 19*b + 72. Is c(5) a prime number?
True
Is (16/(-40))/((-24)/4399530) - 3/(-2) a prime number?
True
Suppose 48*i + 28 = 53*i - 4*q, 2*q = 4*i - 20. Let r(p) = 118*p**3 + 2*p**2 + 13*p + 3. Is r(i) composite?
False
Suppose -5*w = -3*a - 0*w + 26, -5*a - w = -34. Suppose 2*z = a*z + 105. Let o(c) = -145*c - 8. Is o(z) a composite number?
False
Suppose 0 = -44*p + 5*p + 78. Let d be (-4)/(-6)*-3 - -2. Suppose 0 = -3*n - p*h + 4919, -2*n + 8*h - 5*h + 3262 = d. Is n prime?
True
Suppose -1652*q = -1643*q - 253026. Is q a prime number?
False
Let h(g) = 322*g + 59. Suppose -30*a + 60 = -26*a. Is h(a) prime?
True
Suppose 2*g + 51*z - 46*z = 121503, g = 3*z + 60790. Is g a composite number?
True
Let p(i) = -2*i**2 + 2*i + 761. Let h(l) = l**3 - 9*l**2 + 8*l + 3043. Let y(g) = -2*h(g) + 9*p(g). Is y(0) prime?
False
Let i(k) = 75 + 1 + 22 - 9 - 1301*k. Is i(-10) a prime number?
True
Suppose 371*i + 840470 = 381*i. Is i composite?
False
Let w(y) = 202*y + y**2 - 3 - 205*y - 1267*y**3 + 81*y**3. Is w(-1) composite?
False
Let o = 12603 + 127840. Is o a prime number?
True
Let g(a) be the second derivative of -31*a**5/10 - a**4/4 + 7*a**3/6 + 11*a**2/2 + 46*a. Is g(-3) a composite number?
False
Suppose -12*j + 5 = -43. Is (((-1887)/(-4))/3)/(j/16) a prime number?
False
Suppose 1799*y = 1823*y - 1051368. Is y prime?
False
Is (-2)/7*-49 + 51497 a prime number?
True
Let n be 15/(-6) + (-5)/(-60)*6. Is (n + 175/14)*106/3 a prime number?
False
Suppose 2*p = -t + 4*p + 89, 0 = 4*t - 2*p - 356. Suppose -t*n + 83*n + 17526 = 0. Is n a composite number?
True
Let i = -761 + 766. Is ((-8)/(7 - i) - -5)*1591 prime?
False
Suppose -5*f - 4*t - 29 = 0, -5 = 5*t - 0. Let k = f - -25. Let l = 19 + k. Is l prime?
False
Let a(u) = -1905*u**2 - 10*u - 10. Let g be a(-1). Is (-3)/2 + g/(-6) + 1 composite?
False
Let p = -1126652 + 1623975. Is p a composite number?
False
Let f(x) = -6*x**3 + 4*x**2 + 9*x - 872. Let h(d) = -d**3 + d + 1. Let j(l) = -f(l) + 5*h(l). Let s(i) = -i**2 - i. Let w(r) = j(r) - 4*s(r). Is w(0) composite?
False
Let q = 424908 + -286241. Is q a prime number?
False
Let q(k) = -3*k + 2. Let w be q(0). Suppose -2*i + m = -2909, w*m + 5793 = 4*i + 5*m. Is i/15 - (-2)/10 prime?
True
Suppose -6*b + 11 = -7. Suppose 0 = -5*y - b*p - p + 81, -y - 3*p = -25. Suppose 0 = -k + y*k - 9132. Is k composite?
False
Let v = 173754 + -49327. Is v a composite number?
False
Let h(p) = 16377*p**2 + 164*p - 943. Is h(6) a prime number?
False
Suppose -44*b + 39*b + 795026 = -t, 5*b = 2*t + 795017. Is b a prime number?
False
Let j(o) = -10051*o + 10442. Is j(-29) prime?
False
Let a = 335046 - 64537. Is a prime?
True
Let m = 168 - 160. Is 4/(-1)*(6 - 4292/m) composite?
True
Let i = 39 - 33. Suppose -i*f - 1903 = -8317. Is f a composite number?
False
Is 119498 + -11 + -1 + 3 prime?
True
Suppose 0 = -4*g - 5*j + 10 - 7, -2*j = -4*g + 10. Suppose 0 = r + 2, -4*i - 4779 = -9*i + g*r. Is i composite?
True
Suppose 3*c - c = -2. Let p(i) = i**3 + 7*i**2 + 4*i + 32. Let z be p(-7). Is 1657 + z/2 + (-3 - c) a composite number?
False
Let r = -56 + -31. Is r*(8/68 - 965/255) a composite number?
True
Let j be (-7)/((-84)/(-54))*-2. Let d(v) = 43*v + 118. Is d(j) a prime number?
False
Suppose 0 = 5*k + 3*n + 419, 3*k - 2*n = -259 + 19. Let m(z) = -29*z**2 - 26*z + 1. Let a be m(-2). Let w = a - k. Is w composite?
False
Let c = 960086 - 517723. Is c a composite number?
False
Let m be (-2 - -2) + 3 - 19/(-1). Suppose -17*w + m*w - 2210 = 0. Let d = 3051 + w. Is d prime?
False
Let v(o) = 11546*o**2 - 1742*o + 1. Is v(-5) composite?
True
Let i(m) = 321*m**2 - 581*m + 1747. Is i(3) a composite number?
True
Let x(u) = u**2 - 2*u - 15. Let v be x(-3). Suppose -w + 4 = -v. Is (-2670)/(-21) - w/28 a prime number?
True
Suppose g = -2*z + 233282, -206*g - 116647 = -z - 208*g. Is z prime?
True
Let m(k) = 2*k + 29. Let d be m(-13). Suppose -d*p + 192 + 627 = 0. Let c = -158 + p. Is c prime?
False
Is 3282137/(-2456)*(-8 - 0) a composite number?
False
Is (20/(-20))/(-1)*(108496 - -1) a composite number?
False
Let z be ((-22)/(-6))/((-7)/378). Is (-49752)/z + (-9)/33 composite?
False
Let z(q) be the second derivative of 7*q**4/6 + 5*q**3/2 + q**2 - 17*q. Let k be z(-5). Let n = -60 + k. Is n a prime number?
False
Suppose -491 + 459 = -8*j. Suppose 5*o - 3*y = 19826, -j*o + 5*y + 7919 = -2*o. Is o composite?
False
Suppose 21*u = 24*u. Suppose -2*a + 0*a - 276 = u. Let x = a + 193. Is x a composite number?
True
Let g(i) = -7*i - 22. Let v be g(-7). Let l = -25 + v. Suppose 93 = r + l*r. Is r prime?
True
Let t be 678*1/(-6)*3. Let x = 540 + t. Is x - 4*(-2)/(-4) a composite number?
False
Let t be 3 + -4 + 46 - 4. Suppose 0 = t*j - 40*j. Suppose 5850 = 4*m - 5*l, j = -m - 3*m + 4*l + 5852. Is m prime?
False
Let u(a) be the second derivative of -40*a**3/3 - 31*a**2/2 + 2*a + 32. Is u(-6) composite?
False
Is -5*11/55*-54251 composite?
False
Let j(s) = 1604*s - 83. Let z be j(6). Let w = 19748 - z. Is w a composite number?
True
Let n(l) be the first derivative of l**4/4 + 2*l**3 + 2*l + 12. Let a be n(-6). Suppose 0 = -5*k - 5*f + 1285, f = a*k - f - 514. Is k a composite number?
False
Let p = 57 + -28. Suppose -5*t + 16 = -p. Let f(n) = 67*n - 22. Is f(t) a composite number?
True
Is (-622245)/6*((-246)/15 - -16) a prime number?
False
Let a(n) = 10*n**2 - 2*n + 13. Let z be a(-6). Let x be z/75 - 6/45. Suppose x*r - r = 5444. Is r prime?
True
Let g = -95829 + 162712. Is g a composite number?
False
Let a be 3/(-9)*15 - (1 + 2). Let j(s) = 1226*s**3 - 2*s**2 + 4*s - 2. Let z(b) = 3679*b**3 - 5*b**2 + 11*b - 6. Let p(c) = a*j(c) + 3*z(c). Is p(1) composite?
False
Let u(h) = 3435*h + 649. Is u(6) composite?
True
Suppose -2*o + 6*o + 52 = -4*h, 5*h = -4*o - 61. Let q(j) = -42*j + 3. Let n be q(h). Let f = -258 + n. Is f prime?
False
Suppose 4*c - 4*k = -22 + 54, -4*c - 4*k = 0. Let l be (19/(-4) + c)*-5588. Suppose -5*q = -7994 - l. Is q prime?
True
Suppose 13*v = 25 + 27. Is (1399 - -1) + (-12)/v a composite number?
True
Suppose -6 = 2*t, 5*t + 13 = -h + 2*t. Let a be h + (-1 - -2) - -1. Is (-1103)/a - (-36)/24 a prime number?
False
Let t = 4 - -1. Suppose -14 = j + t*u, 0 = 4*j - 0*j - 5*u + 156. Is 21*(j/3)/(-2) composite?
True
Suppose j - 8*j + 1365 = 0. Let o be 2 - j/(-6)*74. Suppose 5*i + 2*d + 3*d - 2375 = 0, -5*i + 3*d = -o. Is i prime?
True
Let l be 118/(-4)*6*-1. Let p be 5/(0 + -4 + 5). Suppose p*z = l + 1288. Is z composite?
False
Suppose -2*h = 2*h + 12. Is (h/3*(-5414 - 0))/2 a prime number?
True
Let k be 3/(-1)*(10 - 51876/27). Suppose -d = 2*b - 11483, -17*d = b - 18*d - k. Is b composite?
True
Let q(k) = -k**3 - 3*k**2 + k - 3. Let g = -51 + 47. Let i be q(g). Suppose -i*f + 2813 = -2416. Is f composite?
True
Let z = 17060 + -11888. Suppose 2*c + 10*c = z. Suppose 3*x + c = 4*x. Is x prime?
True
Suppose 0 = 48*s - 47*s - 35032. Suppose 0 = 43*d - 35*d - s. Is d prime?
False
Suppose -89*y + 93*y = -310668. Let i be (-12)/32 + y/(-8). Let c = i - 6305. Is c composite?
True
Let j(t) = -92774*t + 54. Let o be j(9). Is 3/5 + o/(-130) a prime number?
False
Let d(s) be the first derivative of 111*s**2/2 - 8*s + 47. Is d(25) a prime number?
True
Suppose 15813 = -r - 3*s, 2*s = 2*r + 28496 + 3138. Let o = 26843 + r. Is o a composite number?
False
Let f(a) = -a**3 - 11*a**2 - a - 7. Let p be f(-11). Let n be 2/p*(-5 - -3)*6. Is (-1121)/n - 2/(-12) a prime number?
False
Suppose y - 13 - 475 = l, -4*l = y - 483. Let v(z) = 6*z**2 + 3*z - 4. Let j be v(1). Suppose 0 = 6*n - j*n - y. Is n a composite number?
False
Suppose -30 = -26*j + 23*j. Suppose -3*u = -p - 18146, j*p = 3*u + 8*p - 18145. Is u composite?
True
Suppose -4*k + 612 = 3*z, 6*z - 2*z + 328 = 2*k. Is (-24)/k - (-250046)/26 a composite number?
True
Suppose 6 = 7*f - 4*f. Let t = -4 + f. Is (1887 - 2) + 2 - t a prime number?
True
Let n = -103 - -108. Is -2*(-2)/n + (-167726)/(-130) prime?
True
Let z(g) = -53 + 36*g +