03. Is q composite?
True
Let c(u) = -3*u**2 - 4 + 0 - 9*u**2 + 0. Let g be c(2). Let w = 75 - g. Is w composite?
False
Suppose 0 = -l - s + 544, -l + 535 = 12*s - 14*s. Is l a composite number?
False
Let u = 23 - 23. Suppose u*n + 6*n - 18 = 0. Let i = n + 4. Is i a composite number?
False
Let v(b) = 5*b - 1. Let s be v(1). Suppose 5*a - 57 = s*w, -4*w - 4 = -3*a + 35. Is ((-6)/a)/(4/(-342)) composite?
True
Is ((-709492)/(-112))/(2/8) a composite number?
False
Let w = -4 - 1. Let d(a) = 15*a - 4. Let h be d(w). Let u = 218 + h. Is u composite?
False
Suppose 3*s - 4*b + 1 = 0, -3*s - 4*b + 18 = -13. Suppose -12*g = -s*g - 5579. Is g a composite number?
False
Suppose 0 = 3*i - 5*k + 40, 4*i + 9 = 3*k - 37. Is 1240/100*i/(-4) a composite number?
False
Suppose 6 = 2*z - 4*f, -4*z + f = -2*f - 2. Let m(p) = -8*p**2 + 3*p - 2. Let j be m(4). Is z*j/(-4)*-2 a composite number?
False
Let b(w) = w - 5. Let x be b(4). Let g = x - -3. Is -5 + g + 378 - 4 a composite number?
True
Is -4*((-1)/5 + 829386/(-120)) a composite number?
False
Let x(g) be the first derivative of -g**4/4 + 19*g**3/3 + 9*g**2/2 + 9*g - 2. Is x(14) a composite number?
True
Let f(x) = 65*x**2 - 52*x - 148. Is f(-13) a prime number?
False
Let v be (-2)/(-2 - 0/(-3)). Let d(f) = v - f + 2*f + 4*f - 2*f. Is d(6) composite?
False
Let i(n) = -19*n + 131. Is i(-14) a composite number?
False
Suppose 0 = -4*n + g + 11 + 17, 5*g + 20 = 0. Suppose -n*u + 1525 = -857. Is u a composite number?
False
Suppose 0 = -5*w - q + 5800, -2*w + 0*w + 2297 = 5*q. Suppose -2*u + w = u - 3*j, -4*u + 1552 = -2*j. Is u prime?
True
Let n be (-1)/(-2) + 18/12. Let b be 3 - n - 1 - -137. Let m = 402 - b. Is m prime?
False
Let r(k) = 67*k**2 - 14*k + 4. Let m(y) = -34*y**2 + 7*y - 2. Let g(p) = 7*m(p) + 4*r(p). Let n be g(5). Suppose -n = -v + 40. Is v prime?
True
Let c(z) = -2*z - 4. Let u be c(14). Is 2605/8 - 12/u prime?
False
Suppose 268789 = 5*q - 91326. Is q prime?
False
Suppose 6 = -4*b + 2*q + 20, 3*q + 1 = 2*b. Suppose -2*p = 0, 4*p + b = 3*o - 1. Suppose 3*h - 2*x - 130 = 37, 98 = o*h - 4*x. Is h composite?
False
Let u(r) = -82*r + 1. Let a be u(-2). Suppose -i - 704 = a. Is (-3)/(-18) + i/(-6) a prime number?
False
Suppose 4*f = -9 + 1. Is -1538*(2/2)/f a prime number?
True
Suppose 0 = 2*y - 5*y + 37257. Is y a composite number?
True
Let j(b) = 6*b**2 - 88*b + 55. Is j(24) composite?
False
Let u(b) = -5*b**3 + 4*b**2 - 2*b - 6. Let f be u(-3). Suppose c + 14 - f = 0. Is c a composite number?
False
Let a be ((-5)/(-2) + 1)/(1/2338). Suppose -4*g - u + 10920 = -0*g, 0 = 3*g - u - a. Is g a composite number?
False
Suppose 4*s - 5*d = 37879 + 25972, 3*s - 2*d - 47883 = 0. Is s composite?
False
Let m(r) = 4*r**2 + 10*r + 31. Let g be m(-25). Suppose 4*b - 10271 = j + g, 9407 = 3*b + j. Is b composite?
False
Suppose -4*j + 440 = 2*v, -580 = -4*v - 2*j + 294. Let y = -69 + v. Is y a prime number?
True
Suppose -16*v - 15*v + 86707 = 0. Is v prime?
True
Let s(z) = -61*z - 24. Let q be s(-11). Suppose r = -5*v + 687, 2*r - 707 - q = -5*v. Is r composite?
True
Suppose -y - y + 5*l + 19 = 0, 0 = -2*l + 6. Let b be (-14 + y)*1438/(-3). Let i = -1011 - b. Is i prime?
False
Let l be ((-3)/(-6))/((-5)/(-30)). Let w(a) = 3*a**l - 4*a**3 - 9*a + 16*a**2 - 3*a - 2*a - 8. Is w(15) composite?
False
Suppose 2*c = 7*v - 3*v - 10, -15 = -4*v + c. Suppose v*z = -488 - 72. Let l = -54 - z. Is l a composite number?
True
Suppose -23628 - 9980 = -8*i. Is i a composite number?
False
Let a(x) = 56*x**2 - 17*x - 7. Is a(-6) a prime number?
True
Let b be -3*4/30*-50. Suppose 2*q = -2*q - 4*p + b, -2*q = 4*p - 16. Suppose -q*r + 3*w + 338 = 0, 0*r + 2*r + 5*w = 306. Is r a prime number?
True
Let h = 15 + -11. Suppose 0*q - h*q + 184 = 0. Is q a prime number?
False
Let l(p) = -2*p - 10. Let x be l(-3). Is (539 - x - 1) + 3 a composite number?
True
Suppose 0 = -15*a + 8*a + 21. Suppose -a*c - 87 = -846. Is c a composite number?
True
Let j be (-1)/(-4) + (-141)/(-12). Let k be (j/10)/((-9)/30). Is k + 4 - (-40 + 2) composite?
True
Let g(h) = -2*h - 7. Let r be g(-6). Is (419/r)/((-10)/(-50)) a prime number?
True
Is 2/12 - (-40370)/60 composite?
False
Suppose 11 = 9*r - 5*r + 3*u, r = 5*u - 3. Is (-1 - 2356)*(-5 - -3)/r a prime number?
True
Suppose 4*f - 18 = -5*i + 2*f, 3 = i + f. Suppose t - i*g - 767 = -4*t, -2*g = t - 145. Let x = 220 + t. Is x prime?
False
Let y(v) = -v**2 + 9*v + 14. Let m be y(10). Suppose -m*c = -f + 1045, 2*c = 6 + 2. Is f composite?
False
Let r be (-3 + 1)/(11/(-330)). Is -2*(-18)/r - (-7524)/10 a composite number?
True
Suppose 25451 = 9*r + 5327. Suppose -r = -2*z - h, z + 2*z = 4*h + 3343. Is z composite?
False
Suppose -5*f - 70865 = -10*f. Is f composite?
False
Let p(l) = -l**2 - 10*l + 8. Let r be p(-10). Suppose -306 = -r*s - 26. Let w = 258 + s. Is w a prime number?
True
Let a(j) = -2*j**2 - 12*j + 1. Let x be a(-7). Let o(f) = -67*f - 9. Let m be o(x). Is (30/(-20))/((-3)/m) composite?
False
Let f(a) = -1858*a - 223. Is f(-15) composite?
False
Suppose 38 = 2*y - 2. Suppose 17*i = y*i - 549. Is i a prime number?
False
Let d(k) = 9*k**3 + 2*k**2 - 4*k + 5. Suppose -74*p = -76*p + 4. Is d(p) composite?
True
Suppose -5*i + 6000 = -j, -2*i + 3*j + 761 = -1652. Is i a prime number?
False
Let n = 38 - 46. Is ((-2940)/16 + -2)/(2/n) composite?
False
Let u(p) = -6*p - 13. Let z be u(-3). Suppose -4*n - z*b + 200 = 0, 0*b + 3*b = -n + 43. Is n composite?
True
Suppose -5*l - 700 = -10*l. Suppose 9*a - 1543 = l. Is a a composite number?
True
Let c(a) = -a**2 - 9*a - 10. Let b be c(-7). Suppose -b*h + 14 = 5*u, -u = 5*h - 11 - 17. Suppose -h*d + 325 = -d. Is d composite?
True
Let p(x) = -2*x**2 + 8*x**3 - 14*x**3 - 5 + 7*x**3 - 5*x. Is p(9) composite?
True
Let f(h) be the third derivative of -h**5/60 + 31*h**4/24 - 17*h**3/6 - 12*h**2. Is f(12) composite?
False
Let n = -49 - -25. Let x = n + 113. Is x a composite number?
False
Let q be (4 + 4/6)*-3. Let z = -11 - q. Suppose -z*u + 2*h + 2859 = -0*h, 2*u - 3*h - 1906 = 0. Is u prime?
True
Suppose 0 = -3*n - 0*v - v + 379, -3*n = 4*v - 364. Suppose 2*w - n = 10886. Is w a composite number?
False
Suppose 6*c = -0*c + 12. Suppose c*k - s = 284, 2*s + 3*s = -5*k + 710. Let w = 405 - k. Is w a composite number?
False
Let i = -1782 - -1840. Is i composite?
True
Let l = -20 - -29. Suppose 4*f - 2*p = 828, -6*f = -l*f - 4*p + 643. Is f prime?
False
Suppose 4*d - 13431 = -k, -5*k + 64660 = 2*d - 2549. Is k composite?
True
Let q be 4 + 3 + 26/1. Is (0 + 19)*(q - 2) a composite number?
True
Let q(f) = 56*f - 32. Let b be q(6). Suppose -15 = -3*l, d - 5*l - b = -6*l. Is d composite?
True
Is 4/(-3) + (267836/6 - 5) a prime number?
True
Suppose 2*f + x - 4195 = 0, 4*x = -11 - 1. Is f composite?
False
Let f = 2 - -1. Suppose 0 = f*r - 2469 - 1992. Suppose 412 - r = -5*y. Is y prime?
False
Let j = 12963 + -3301. Is j a prime number?
False
Suppose 5*j = q + 6, 2*j + 6 = -q + 14. Is j/(-1)*113/(-2) a prime number?
True
Suppose -30*c - 9044 = -23654. Is c composite?
False
Let h = 3046 + -5453. Let c = h + 4048. Suppose -x - i + 749 = 0, -5*i - c = -3*x + 638. Is x a composite number?
True
Suppose 0 = 4*q - 2994 - 7994. Is q composite?
True
Let v = -17 - -23. Let n(c) = -3*c**2 + 8*c + v - 2*c + 10*c**2. Is n(5) a prime number?
True
Suppose -4*o - 109446 - 20743 = -3*i, -25 = -5*o. Is i prime?
True
Suppose -59*y + 850548 = 112163. Is y prime?
False
Suppose 4732 = 4*k - 788. Suppose -7*n = -12*n + k. Let j = -73 + n. Is j prime?
False
Let h be 1032/52 + (-2)/(-13). Suppose -4*u + a - 58 = 6*a, -4*a = u + h. Is 539 + u/(-4) - 1 a composite number?
False
Let f be (-268)/(-20) - (-2)/(-5). Let h(j) = -62 + 63 - j**3 + f*j**2 - 2*j + 5*j. Is h(10) a prime number?
True
Let g(q) = -4*q - 11. Let w be g(-2). Is ((-5739)/w)/(2/6*3) prime?
True
Let n = -1228 + 1747. Is n a composite number?
True
Suppose -10914 = -22*u + 20. Is u composite?
True
Let o = -15 - -22. Let u = 4 + o. Suppose u*c - 15*c = -1228. Is c a composite number?
False
Let l be -8*1 - -4 - 4. Is l/(-28) + 1139/(-7)*-1 a prime number?
True
Let x = -3 - 1. Let s(v) = 2*v**3 - 4*v**2. Let m(l) = -5*l**3 + 8*l**2 - 1. Let y(a) = -3*m(a) - 7*s(a). Is y(x) composite?
False
Let o(i) = 2*i + 17. Let r be o(-7). Suppose 5*b = -x + r*b + 