 prime?
False
Is (1 + 0 + 0)/(1/1459) a prime number?
True
Is 13/(-57 - -5)*-285916 composite?
False
Suppose -16 = 3*l - 2*w, 4*w = 2*l + 14 + 10. Is (0 + -1)/(l/1588) a composite number?
True
Suppose -2*h + 6 = -2. Suppose -10 + 4 = -2*a, h*l = a + 2801. Let u = l + -498. Is u a prime number?
False
Let q = -9714 + 18133. Is q prime?
True
Suppose 0 = 3*q + 4*u - 28, -2*q = u - 9 - 3. Suppose 3*g - m - 2860 = 0, 5*g - 4770 = 5*m - q*m. Is g composite?
True
Let l(j) = 171*j**3 + j**2 + 3*j. Is l(5) a composite number?
True
Let u = 545 - -1892. Is u a composite number?
False
Let c(b) = b + 6. Let i be c(-4). Let p = i + 305. Is p prime?
True
Let x = -215 - 183. Let y = x - -919. Is y prime?
True
Is (4 - ((-27270)/(-2))/5)/(-1) prime?
False
Let o be 10057/8 + (-3)/24. Let i = o + 520. Is i a prime number?
True
Suppose 4*o - 3*t - 64710 = 0, 2*o + 46*t = 51*t + 32348. Is o a prime number?
False
Let f(u) = -2*u - 10. Let d be f(-6). Suppose -2*y - 170 + 538 = 0. Suppose -d*n = -y - 214. Is n a composite number?
False
Suppose -2305 + 25454 = 7*d. Is d prime?
True
Let h = 8684 + -5865. Is h a composite number?
False
Let c = 111 - 132. Let r(o) = 3*o**2 + 31*o - 37. Is r(c) prime?
False
Suppose 15*g - 16*g = -1. Is 4 + 876 + 3*g/(-3) a prime number?
False
Suppose 0 = 3*b - l - 2*l - 2088, -2063 = -3*b - 2*l. Is b prime?
True
Suppose 23672 - 6224 = 12*k. Is k a composite number?
True
Let f(g) = 9*g - 191. Let m be f(22). Let o(h) be the first derivative of 7*h**3 - 3*h**2 + 10*h - 1. Is o(m) a prime number?
True
Let t(j) = -39*j**2 + 6*j - 10. Let a(g) = -g + 1. Let v(k) = -6*a(k) - t(k). Is v(-5) a composite number?
True
Let n = 5 - 3. Let b(a) = 19*a - 27*a + 1 + 2*a**2 - 3*a**n + 5. Is b(-7) composite?
False
Let i = -14 + 18. Suppose -i*o + n + 7704 = 0, -o + 1907 = -10*n + 5*n. Is o composite?
True
Suppose -11*d = -8*d - 2895. Let v = -424 + d. Is v composite?
False
Suppose -4*a - 2*w + 131922 = 0, a - 33008 = 20*w - 15*w. Is a prime?
True
Let o = -944 + 652. Let t = o + 546. Is t prime?
False
Suppose -4*k + 6 = -2*k, 2*z + 5*k - 799 = 0. Let l = z + -25. Is l a composite number?
False
Let t be (4 + -1)*-1 + 23. Suppose 0 = -3*i + 7*i - t. Suppose -2*v + i*v + 5*q = 362, 0 = 3*v - 4*q - 407. Is v composite?
True
Suppose -2*b + 2*b + b = 0. Suppose b = 5*u - 5*c - 3131 - 5854, 3*c = 12. Is u a prime number?
True
Suppose -5*u + 75 = 2*n - n, -5*n + 11 = -u. Let o = u + -9. Suppose -o*m = 2*m - 1757. Is m prime?
True
Let y(k) = -1036*k + 115. Is y(-4) prime?
True
Let a = 17 - 9. Suppose a*l - 962 - 3366 = 0. Is l a composite number?
False
Suppose 299 - 83 = 6*v. Let r be (0 + -4)/2 + v. Let z = 60 + r. Is z a prime number?
False
Let z(p) = 3764*p**3 - 3*p**2 - 6*p + 8. Is z(1) a composite number?
True
Suppose 0 = -4*h - 20, 0 = -5*b - 0*h + 5*h + 10. Let t(j) = 23*j**2 + 3*j - 4. Let w(z) = 24*z**2 + 3*z - 5. Let s(n) = b*w(n) + 4*t(n). Is s(4) composite?
False
Suppose 1 = 6*x - 5*x. Is (739 + (-1 - -1))/x composite?
False
Suppose -2*s + 54 = -168. Is s prime?
False
Suppose 0 = -q - 5*x + 28142, 20910 + 91676 = 4*q + 2*x. Is q a composite number?
True
Suppose -l = 5*b - 20, 2*l = -3*b + 6 - 1. Suppose -o = -5*q - 843, -5*q + 0*q - b = 0. Suppose 4*h = -h + 3*m + 1061, -4*h + o = 3*m. Is h composite?
False
Is (-2 + 14/6)*(-22662)/(-6) a prime number?
True
Suppose -3*u = 8789 - 24353. Suppose 0 = -2*g + 6*g - u. Is g a composite number?
False
Let o(z) = 349*z**2 + 3*z - 83. Is o(-10) composite?
True
Let z = -21 + 13. Let m be 570 - 7/(14/z). Suppose 6*s - 4*s - m = 0. Is s composite?
True
Let o(h) = -h - 13. Let s be o(-12). Is s - ((0 - 4) + -484) prime?
True
Suppose -7*a + 2*a = 2*p - 3127, -626 = -a - p. Let t = a + -434. Is t prime?
True
Let i be (122/4)/(4/16). Let b = i - -429. Is b composite?
True
Let t = -17 - -22. Let l(x) = -41*x + 6. Let r be l(-6). Let k = r + t. Is k a prime number?
True
Let l(u) = 4*u**3 - 3*u + 194. Let x(f) = -f + 1. Let v be x(3). Let p(d) = -3*d**3 + 2*d - 193. Let g(c) = v*l(c) - 3*p(c). Is g(0) a composite number?
False
Let g(w) be the second derivative of w**4/4 - w**3/2 + w**2/2 + 2*w. Let v = -7 - -1. Is g(v) a composite number?
False
Let r = 55 - 268. Is (-10)/(4 + 858/r) a composite number?
True
Suppose 2*h + 16 = -0*h. Let q = -31 + h. Is (0 + 0)/2 - q composite?
True
Let s(x) = 0*x + 3 + 2*x + 4 - 5*x. Let n be s(-13). Is 132/8*n - -2 a composite number?
False
Let o(z) = -16*z + 1. Let u(h) = -h. Let q be u(-7). Let g = q + -11. Is o(g) composite?
True
Suppose -3*g + g + 8 = 0. Suppose -6*a + g*a + 6 = 0. Suppose 0 = 5*d + 2*x - 97, -5*x + 2 + a = 0. Is d a prime number?
True
Let v(z) be the second derivative of -z**5/20 - 5*z**4/12 - 4*z**3/3 - 5*z**2/2 + 2*z. Let s be (-1)/((-45)/(-21) - 2). Is v(s) a prime number?
True
Let n(l) = 1090*l**2 - 7*l - 14. Is n(7) a composite number?
True
Is ((-55054)/4)/(24/(-48)) a composite number?
False
Let v(f) = f**2 + 3*f + 6. Let z be v(-6). Suppose -b - 2*y + 47 = 2*b, 3*b - 19 = 5*y. Suppose b + z = r. Is r composite?
False
Let y(c) = -c**3 - 4*c**2 + 9*c + 8. Let n be y(-6). Let v = n - 28. Is v*(102/(-4) + -1) a prime number?
True
Suppose 868344 = -19*a + 43*a. Is a a prime number?
False
Suppose b - 16 = -3*b. Suppose -b*q - q = -13645. Is q a prime number?
True
Let s = 2514 - 475. Is s prime?
True
Let k(w) = -13*w - 4. Let v be k(-7). Let q = 31 + -44. Let x = q + v. Is x composite?
True
Let g be (-1)/(5/(-3014 - -4)). Suppose -5*l = -2*i + i - 1040, -g = -3*l + 5*i. Is l a prime number?
False
Suppose 4 = -2*s - 2*s, d = 4*s + 773. Is d a prime number?
True
Let w(c) = -1486*c + 229. Is w(-13) prime?
False
Let v(w) = 322*w - 54. Is v(4) composite?
True
Let g be (-2)/(-7) - 5184/(-84). Let d = 108 - g. Suppose -2*s + d = -s. Is s a prime number?
False
Suppose 2*o + 8 = 0, -2*o - 5493 = -5*l - 1055. Suppose 6*p - l = -124. Is p a prime number?
True
Let k(n) = 245*n + 7. Suppose z = -o + 3*o + 1, o - 22 = -4*z. Is k(o) a composite number?
True
Let n be ((-25)/10)/((-3)/6). Suppose -4*k + 3 = -k + 2*h, -5*k - 3*h + 6 = 0. Suppose k*q - l = -q + 703, -5*q = n*l - 910. Is q a prime number?
False
Suppose 11 = 4*q - 3*p, 3*q + 2*q - 14 = 4*p. Suppose -q*y + 4 = -y. Suppose 4*a = 4*k + 156, y*a - 144 = 3*k - 5*k. Is a prime?
True
Suppose 2*h - 4170 = 5*b - 61365, -4*b + 45784 = 4*h. Is b a prime number?
False
Suppose 195 = 2*h + 31. Let g = -45 + h. Is g composite?
False
Let i = 168 + 33. Suppose -194 - i = -u. Is u prime?
False
Let u(y) be the second derivative of y**5/20 - y**4/12 - y**3/3 - 369*y**2/2 - 4*y. Let a be u(0). Let z = a + 572. Is z composite?
True
Let g(h) = 15*h**2 + 17*h - 5. Let i be g(-7). Let n = i + -132. Is n prime?
True
Let s(a) = -3*a - 11. Let n be s(-5). Suppose n*m + 2150 = -m. Is (24/(-20))/(4/m) a prime number?
False
Suppose 26*g = 29*g - 4713. Is g composite?
False
Let z(x) = 11*x**3 + 29*x**2 + 13*x + 4. Let v(t) = 5*t**3 + 15*t**2 + 7*t + 2. Let y(l) = 13*v(l) - 6*z(l). Is y(17) composite?
True
Let w(m) = m**2 + 15*m + 18. Let j(y) = y**2 + 18*y + 18. Let d be j(-16). Let r be w(d). Suppose -l + 80 = -5*u + 1018, 3*u - 549 = -r*l. Is u prime?
False
Let v(c) = 16*c**2 - 4*c - 2. Suppose 0*g = 5*g + 40. Let t be v(g). Suppose -i = -0*i - a - 212, -t = -5*i - a. Is i a composite number?
False
Suppose -j + 4 = -2*l, 9*j - 4*j = 4*l + 14. Let g(w) = -521*w**2 - 2*w - 2. Let q(r) = 521*r**2 + r + 1. Let z(i) = 2*g(i) + 3*q(i). Is z(l) composite?
False
Let x = -24 - -32. Suppose 7*i + 251 = x*i. Is i a prime number?
True
Suppose -3*i + u + 34233 = 0, -2*i + 22822 = -4*u + 2*u. Is i a composite number?
False
Let y = -27 - -37. Let o be (-1)/(-2) + 3695/y. Let b = o + -179. Is b composite?
False
Let h be (-1 - 1)/((-6)/(-3)). Is (1 - (-804)/(-3))*h a composite number?
True
Let h = -100 + 195. Suppose h = 14*j - 9*j. Is j a prime number?
True
Let j be 0/((1 - 0) + -2). Suppose j = 2*n - 754 - 438. Suppose a - n = -3*a. Is a a composite number?
False
Is ((-1555)/10)/(((-3)/2)/3) composite?
False
Let i(f) = 81*f**2 + 2*f - 6. Let u(z) = 81*z**2 + z - 6. Let n(j) = 2*i(j) - 3*u(j). Let q(v) be the first derivative of n(v). Is q(-1) composite?
False
Suppose 12*v + 2164 = 11608. Is v a prime number?
True
Let x be (-2 - -3)*-2 + 7. Suppose 1370 = 7*a - x*