507. Is l prime?
True
Is (75314/8 - 2)*(1 + 3) a composite number?
False
Suppose 3*u - 1720 = -u. Suppose 5*z - 2*d - u = 211, -3*d - 9 = 0. Is z prime?
True
Suppose o = -6 + 12. Let x(w) = 3*w**3 - w**2 + 14*w - 9. Is x(o) composite?
True
Is ((-15)/5 - 1) + 19935/3 a composite number?
True
Let l be (1151/(-5)*1)/(27/(-135)). Let h be (1 - 2*1) + 11. Suppose l = 11*d - h*d. Is d composite?
False
Suppose 3*y - 5*g = -0*g + 17, 2*y - 33 = -g. Let w be (30/7)/(3/y). Suppose -333 = w*k - 23*k. Is k prime?
False
Suppose -3*o - 2756 = -4*u, u + 8*o = 12*o + 689. Is u prime?
False
Let p = 2 + 0. Let x be 9/24*4*p. Suppose x*d - 21 = 2*d. Is d prime?
False
Suppose 3*w - 86 = 10. Let h = 101 + w. Is h composite?
True
Let f(y) = -34*y**2 + 4*y - 4. Let b be f(2). Is ((-97)/2)/(22/b) prime?
False
Is (60/(-210))/(6/(-90867)) a composite number?
False
Let d = 828 + 1454. Suppose -4*w + 20 = 0, 0 = 4*r + 4*w - 1670 - d. Is r a prime number?
True
Let d(q) be the third derivative of -q**6/120 - q**5/10 + q**4/12 - q**3/6 - 2*q**2. Is d(-10) prime?
True
Is 8/20 + (-6 - 13313/(-5)) prime?
True
Let b = -5 - -2. Is 1/b - (-100)/3 a composite number?
True
Suppose -2*g = g + 3. Let v(r) = -1050*r + 2. Let a be v(g). Suppose -l + a = 3*l. Is l a composite number?
False
Suppose -132*y = -134*y + 39434. Is y composite?
False
Suppose 0 = -4*f - 2*d - 12, -d - 2 = -0*f + f. Let i be 318/(2/(-8)*f). Let w = i - 163. Is w composite?
True
Suppose 4*o = 2*w + 56, w - 4*w - 3*o = 84. Let u be w/3*(-1 - 2). Let q = 43 - u. Is q a prime number?
False
Let i(b) = b**2 + b - 3. Let o be i(0). Is 1726/(-18)*o - (-2)/(-3) prime?
False
Suppose -4*y + 90 + 2 = 0. Suppose 21*r + 790 = y*r. Is r a prime number?
False
Let u(z) be the second derivative of -2*z**5/5 - z**4/12 - z**3/6 - 7*z**2/2 - z. Suppose 27 = -70*s + 61*s. Is u(s) prime?
False
Let q(d) = 1932*d**2 + 1644*d**2 - 513*d**2 + 1720*d**2 - 9 - 9*d. Is q(-1) composite?
False
Suppose 18*r - 20876 = 14*r. Is r prime?
False
Let q be (4 - (1 + 2) - 0) + 8126. Suppose 3*b - q = 7314. Is b a composite number?
False
Let j = -19 - -26. Suppose -j = -z - 4. Suppose -4*o + 78 = -2*h - z*h, -3*o + 68 = h. Is o a composite number?
True
Let b(s) = 34794*s**2 - 49*s - 48. Is b(-1) a prime number?
False
Let k = 915 - -11744. Is k composite?
False
Let h(l) = 371*l - 23. Is h(6) composite?
False
Let i(h) = -h**2 + 2*h + 7. Let v be i(5). Let c(y) = y**3 + 15*y**2 + 12*y + 19. Is c(v) a composite number?
True
Suppose 2*m + 28 = 4*a, -32 = 3*m - 0*a - a. Let x = m - -13. Is x*4/12 - -92 prime?
False
Let x(g) = 2*g**2 + 11*g + 9. Suppose 11 = -3*p - 13. Is x(p) composite?
True
Let v(h) be the first derivative of h**3/3 - 5*h**2 + 13*h - 2. Let t be v(9). Suppose t*r - 189 - 407 = 0. Is r prime?
True
Let a be (-2)/(-8) - 33/4. Let b(d) = d**3 + 11*d**2 + 9*d - 3. Let u be b(a). Suppose 0 = 5*j - u - 58. Is j a prime number?
False
Let y(m) be the first derivative of m**6/360 - m**5/120 - m**4/24 - 4*m**3/3 - 1. Let k(g) be the third derivative of y(g). Is k(-7) a composite number?
True
Suppose -5 = -5*n - 3*u - 4, 0 = 5*n + 2*u - 4. Suppose 0 = -n*v + v. Suppose -5*d + 0*c - c + 3110 = 0, 2*d + 5*c - 1221 = v. Is d a prime number?
False
Suppose -258*x + 10132 = -254*x. Is x a prime number?
False
Let p = 61 - 55. Suppose -g = -61 + p. Is g prime?
False
Let p be 112/(-24)*6/4. Let g(b) = -7*b - 2. Is g(p) prime?
True
Suppose 198 = -0*m + 2*m. Suppose k = u + 196, 0*k - 2*k - 3*u + 392 = 0. Let w = k - m. Is w composite?
False
Is ((-23924)/2)/(-6 - (-3 - 1)) a prime number?
True
Let m(x) = x**3 + 15*x**2 + 3*x - 4. Suppose 3*z = -32 + 2. Let t be m(z). Let d = t + -57. Is d prime?
True
Let g be (-6)/(-15) - (1 + 46/(-10)). Is ((-778)/4)/(g/(-40)) a composite number?
True
Suppose -34471 = -9*r + 25928. Is r prime?
False
Suppose -6 + 24 = 2*a + 3*w, -2*a + w = -18. Let u be (a/12)/((-4)/(-16)). Suppose u*s = 6, -3*s + 2*s - 119 = -y. Is y a prime number?
False
Suppose -5*d + 6*d - 8 = -2*o, 3*d = -3*o + 15. Suppose -d*k + 14377 = 3*s, -k = 4*s - 7*s + 14362. Is s a composite number?
False
Suppose 0 = v - 0*v + 3*d - 15, 5*v - 5*d = 15. Is 1244/v*3/2 a prime number?
True
Let v = -63852 - -90409. Is v a prime number?
True
Suppose 5*a - 385 = -0*a. Suppose g - a = -3. Suppose -8*l + 10*l = g. Is l prime?
True
Let l be (-16 + 12)/((-5 - -1)/2). Is l/4*4 - -139 a prime number?
False
Suppose -2*f - 3*v = 12, -f - f = -v - 4. Suppose 0 = 5*p - f - 840. Suppose 5*z - 4*a + 9*a = 255, 4*z - p = 5*a. Is z composite?
False
Let z(u) = 44*u**2 - 3*u - 3. Let r be z(2). Let x = r + -80. Is x a composite number?
True
Let y be ((-2)/(-5))/(2/10). Suppose 5*d = 10, 4*d - y*d = -3*o + 13. Suppose q = -2*g + 189, -o*q = 2*g - 563 - 8. Is q prime?
True
Suppose -4*t - 29 = -1. Let v(g) = 5*g**2 - g - 5. Let u be v(t). Let c = u - 24. Is c a prime number?
True
Let v = -21 + 25. Is 6567/v - (-13)/52 a prime number?
False
Suppose -7*y = 5*i - 2*y + 50, 3*i + 40 = -5*y. Is (i - (-94140)/16) + (-1)/(-4) prime?
True
Let n(p) = 2*p**3 + 48649. Is n(0) a composite number?
False
Let r be (2/2)/(7 - 8). Let m(t) be the first derivative of -53*t**2/2 + 2. Is m(r) a composite number?
False
Let o be (-2 + 3 - 2) + -2. Let b = o - -7. Suppose -1 = 2*r + 1, b*r = -4*t + 36. Is t a prime number?
False
Is (23/69)/(0 - (-2)/33486) a prime number?
True
Let j(w) = 8*w - 72. Let s be j(9). Suppose 4*t + 3*n - 1018 = 0, s = 3*t - 8*t + 3*n + 1259. Is t prime?
False
Let z(l) = -2*l**3 - 33*l**2 - 6*l + 16. Is z(-23) prime?
False
Suppose 4*b + b = 4980. Let x = -703 + b. Is x prime?
True
Let b be 6 + (-3 - (-1 - -2)). Let c(q) = -139*q - 67*q - 5 - b. Is c(-3) a prime number?
False
Suppose -5*y + 818 + 682 = 0. Suppose 2*i + 3*z - y = 3765, 0 = -3*i - 5*z + 6098. Is i composite?
True
Let p(h) = 9*h + 21. Let o be p(-9). Suppose 0 = 5*v + 530 - 15. Let z = o - v. Is z prime?
True
Let f(t) = t**3 + 5*t**2 + 8*t + 10. Let z be f(-4). Is z/(-4)*(-6 - -44) composite?
True
Is (-2238)/4*(-4012)/102 a composite number?
True
Suppose -1 = -3*s + 8, 0 = -4*k - 3*s + 59813. Is k a prime number?
True
Let x = -69 - -89. Let d = 94 - x. Is d a composite number?
True
Let n(c) = 11*c**3 - 2*c**2 + 11*c - 18. Is n(4) composite?
True
Suppose -8418 = 2*g - 25844. Is g composite?
False
Let w = 30 - 30. Suppose -4*x = -2*l - x + 29, 5*l - 3*x - 86 = w. Is l composite?
False
Let z(f) = f + 1. Let a be z(4). Suppose -262 = -4*m + 2*i, 2*i - 142 = -a*m + 199. Let s = m + -16. Is s a composite number?
True
Is 66/99*(-6219)/(-6) a composite number?
False
Let a be -4 + ((-20)/5 - -10). Let g(p) = -8*p - 5 + 7*p**2 + 3*p**2 - 7*p**a. Is g(6) prime?
False
Suppose -7*z - 56 = -0*z. Let t be z/(-10)*(-1656 + 1). Is (t/6)/(2/(-3)) a prime number?
True
Let x(f) = f**2 + 1. Let i(c) = -7*c**2 + 2*c - 16. Let n(t) = -i(t) - 2*x(t). Is n(-11) a composite number?
False
Let o = -5025 - 800. Let j = 10902 + o. Is j prime?
True
Suppose 3*u = -4*a + 14407, 27*a - 26*a = u - 4800. Is u prime?
True
Is (2153272/220)/(4/10) a prime number?
True
Suppose -2*i = -3*o + 631, 3*o + 3*i - 1058 = -2*o. Is 10/(-5)*o/(-2) a prime number?
True
Let l = 368 + -2370. Let x = -833 - l. Is x prime?
False
Let v(s) = 6*s - 892. Let h(j) = -11*j + 1783. Let z(b) = 3*h(b) + 5*v(b). Is z(0) a composite number?
True
Let z be (9/6 + -1)/(1/6). Suppose -z*j - 3*j = -294. Is j a prime number?
False
Suppose -6*v + 5*j = -10*v + 3536, -4383 = -5*v + 3*j. Is v prime?
False
Let n = -8 - -11. Let q = 3 - n. Is (q + -82)/((-2)/11) a prime number?
False
Suppose -x = -4*t - 8, x = -3*t - 1 + 2. Is x - (-3 - (-3 - -18)) a composite number?
True
Suppose -4*u = -5*x + 33, -x + 4 + 3 = -u. Let o(v) = -6*v - 3. Let s be o(-3). Suppose 6*z = -2*j + 2*z + 32, x*j = 3*z + s. Is j a composite number?
True
Suppose 9*g - 2745 = 58581. Is g prime?
False
Suppose 771 = c - 5*t, -4*c - t + 2313 = -c. Is c a prime number?
False
Let g(i) = i**3 + 19*i**2 + 2*i - 6. Let n be g(-17). Suppose 0 = 3*x + 2*q - 1631, -n = -x + 2*q - 5. Is x composite?
False
Let v = -6816 - -10403. Is v prime?
False
Let n = 203138 - 135219. Is n a composite number?
True
Suppose 0 = 4*v + 2*n - 22, -2*v - 4 = -2*n - 0*n. Suppose -5*t + 19 + 0 = -v*h, -5 = -t + h. Suppose -701 = -t*z - 115. Is z a composite n