*l + 15201. Is l composite?
True
Suppose 4*r = 7*l + 543855, -163*r + 166*r - 4*l = 407885. Is r prime?
False
Let f(a) = -1. Let j(p) = p**2 - 7*p - 12. Let t(l) = -4*f(l) - j(l). Let c be t(9). Is (-130)/15*51/c prime?
False
Let u(b) = 60*b - 95 - 87 + 33. Is u(25) prime?
False
Let n = 977203 - 681792. Is n composite?
False
Suppose -5294627 = -170*z + 39*z. Is z a composite number?
True
Let c be 0*(-5 - -4)/(-2). Suppose 3*s - 3 = 0, 2*w + c*s - 4*s = 15430. Is w prime?
True
Suppose -s + 0*s + 8 = 0. Suppose -2*p - s = -18. Suppose -p*b - 961 = -6*b. Is b composite?
True
Suppose -f = 2*j + 14 - 13, -5 = 5*f. Suppose t = -0*t + 5. Suppose 0 = -j*g + g + 3, -3341 = -4*w - t*g. Is w composite?
False
Suppose 4*z + 5*f = 24, 0 = -13*z + 9*z + 5*f + 24. Let y be 6/12 - 24638/(-4). Suppose -z*l + y = -866. Is l prime?
True
Let u(q) = 172*q - 1136 + 884*q + 1027. Is u(5) a composite number?
False
Suppose 0 = -5*f + 22 - 12. Suppose 1 = v - f*l + 3, 3 = -v + 3*l. Suppose 5*s + 5*s - 770 = v. Is s composite?
True
Suppose 674514 + 92952 = 9*t. Suppose -12*g + 17662 = -t. Is g a prime number?
False
Suppose -50*p + 1011171 = -1104079. Is p a composite number?
True
Suppose -178*j + 179*j - 5*t = 43266, -3*t + 43258 = j. Is j a composite number?
False
Let t(u) = -2*u + 89. Let c be t(7). Suppose -65*l = -c*l + 64690. Is l a prime number?
True
Let g be 5 + 1 + 16 + -5 - 0. Is g + -11 + 17528 + -5 composite?
True
Suppose 5*j = 24 - 9. Let u be (-5 - (-1 - 1))*-1. Suppose -l = -3*p + 994, u*p + l - j*l = 995. Is p composite?
False
Suppose -m = -4*j - 0*m + 102, 0 = -j - m + 23. Is (7773/(-2))/(1 + j/(-10)) a composite number?
False
Suppose 4068622 = 30*b + 413752. Is b composite?
True
Let k(z) = -5*z**2 + 12*z + 9. Let i(h) = 5*h**2 - 11*h - 10. Let w(d) = -6*i(d) - 7*k(d). Let o = -101 + 111. Is w(o) a prime number?
True
Suppose -20*z = -17*z + 12873. Let t = -3063 - z. Is 0 - t/(-8)*2 a prime number?
True
Let m(s) = 6*s - 33. Let f be m(-5). Let j = 65 + f. Suppose j*a = 6*a - 18188. Is a composite?
False
Is ((-192)/12 - -17)/(1/139927) composite?
True
Let k(n) = 33*n**3 - 39*n**2 - 42*n - 161. Is k(19) a prime number?
False
Suppose 2157243 = 4702*i - 4669*i. Is i composite?
False
Let i = -20 + 25. Suppose -1316 = -3*m - i*o - 109, 5*m - o = 1965. Suppose c = m + 241. Is c prime?
False
Suppose -3*l - 12 = 2*b, -3*b = 2*l - 0*b + 13. Let k(u) = 343*u**2 + 7*u + 9. Is k(l) composite?
False
Let r(t) = 556*t**3 + t. Let y(h) = -h**3 - h**2 - h - 1. Let q(c) = -c**3 + 11*c**2 - 11*c + 12. Let s be q(10). Let v(z) = s*y(z) - r(z). Is v(-1) prime?
True
Let y(z) = 12*z - 9. Suppose -g - 13 = 5*i, 3*i + 56 = 3*g - i. Let x be y(g). Is (-24)/(-6) - x/(-3) composite?
True
Suppose -5*x + 3*v = -1654394, 611*v - 613*v = 2*x - 661780. Is x prime?
False
Let f(j) be the second derivative of -5*j**2 + 0 - 19/6*j**3 - j - 5/12*j**4 - 1/20*j**5. Is f(-9) a prime number?
False
Suppose 0 = -5*z - 4*t + 1140913, -5*z + 2*t + 1140915 = 7*t. Is z composite?
False
Let t(k) = 60*k**2 - 3*k - 6. Let o = 74 + -51. Let y be 4/14 - o/7*1. Is t(y) a composite number?
True
Let b = 573890 + -390951. Is b prime?
False
Let r be (12/(-16))/(3*2/(-16)). Let o(a) = 10 + 5*a - 4*a**2 + r*a**2 - 2*a**2 + 6*a**2. Is o(5) a composite number?
True
Let b(n) = -2*n**3 - 40*n**2 + 22*n + 43. Is b(-46) composite?
False
Let l(m) = -3*m**2 - 24*m - 13. Let t be l(-7). Let y(i) = -2*i**2 + 15*i + 10. Let b be y(t). Suppose 2 = 2*z, b*r + 0*r + 5*z = 1887. Is r composite?
False
Let b(d) = -d**2 + 10*d + 2. Let t be b(10). Suppose t = -n + 4, -5*n = 3*u - 16. Suppose 0 = -4*m - 2*j + 186, 0 = u*m + 2*j - 33 - 61. Is m composite?
True
Let j = -67 - -72. Suppose 5*d + 21 = -4, j*w = -4*d + 9360. Suppose -r - 5*o = -719, -3*o - 954 = -4*r + w. Is r a composite number?
False
Let y = 10 - 5. Suppose -4*n = y*k - k - 320, 164 = 2*k - 2*n. Suppose p + 191 = m, m + 4*p - k = 90. Is m prime?
False
Let y(g) = -8*g - 34. Let v be y(-5). Suppose v*b - 2*p + 1725 = b, 0 = -3*p. Let q = 686 + b. Is q a composite number?
True
Let s be 0/(-3 - (-6 - -1)). Suppose -4*o + s*w + 5*w = -3820, -4775 = -5*o + 3*w. Is o a composite number?
True
Let l be 340/(-3)*(1 + (4 - -1)). Suppose -4*a - 4464 = -188. Let q = l - a. Is q a prime number?
True
Let g(x) be the first derivative of -x**4/4 + 43*x**3/3 + 51*x**2/2 + 68*x - 83. Is g(37) a composite number?
False
Suppose -3*r - 54 = -0*r. Let b be r/(-4)*308/33. Suppose b = -v + 109. Is v a prime number?
True
Let l be 1050/(30/3) - (4 - -1). Let d = 44 - 27. Let y = l - d. Is y a prime number?
True
Suppose -5*u + 65821 = 4*i - 122176, 4*u - 187992 = -4*i. Is i a prime number?
True
Suppose 684 = 4*y - y - 5*g, -4*g - 228 = -y. Suppose -l + y + 353 = 0. Suppose 8*q - l = q. Is q composite?
False
Let v be (1 - (1 + -1)) + (-4 - 8). Let b(l) = 2*l + 22. Let d be b(v). Suppose 2*m - 1 - 77 = d. Is m prime?
False
Let k(b) = -2*b**2 - 4*b + 9. Let d be k(-3). Suppose -8*j = -d*j - 17935. Is j a composite number?
True
Let q = 17 - 12. Suppose 4*t + q*l + 4 = 77, 55 = 5*t - l. Suppose 3*r + t*r = 5715. Is r a composite number?
True
Suppose -j + 15555 = 4*b, j = -0*b + b + 15560. Is j a prime number?
True
Let t(j) = -25*j**2 + 46*j**2 + 8*j**2 - 48 + 6*j. Is t(-17) composite?
False
Let a = 816715 + 132198. Is a a composite number?
True
Let v(x) = 2*x**3 + x**2 - 1. Let g(b) = 8498*b**3 - b**2. Let j(t) = g(t) + 2*v(t). Is j(1) a prime number?
True
Suppose 0*s = -4*s - 5*d + 39, -4*d = -12. Suppose s*p + 27 - 9 = 0. Is p/(-5) - (-40942)/55 a prime number?
False
Suppose 137*x = 2418447 + 1845152 - 612412. Is x prime?
False
Let x be ((-110)/(-6))/(((-40)/(-1635))/8). Suppose -2062 - x = -7*j. Is j prime?
True
Let q = -89 - -92. Suppose q*a = -2*c - 10277, 9*c = 6*c - 4*a - 15415. Let u = 10382 + c. Is u composite?
True
Let k = 50838 - 5095. Is k prime?
False
Suppose 3*z - 24 = 3*g, -4*z - 4*g + 4 = 12. Suppose 228 = 3*v + 5*d - 29, 0 = z*d - 12. Is v a composite number?
False
Let f(g) = 4*g**2 + 41*g - 1417. Is f(62) a prime number?
False
Suppose 25*m - z = 26*m - 1169, 0 = 6*m + 3*z - 7008. Is m composite?
True
Let m be ((-4)/6)/(-6 - (-440)/75). Let l(g) = -9*g + 0 + 1 + 0*g + 216*g**2 + 5*g. Is l(m) a composite number?
False
Suppose -6*o + 252 + 6 = 0. Is 12983/8 - o/(-344) prime?
False
Suppose 9*x + 193987 = k + 8*x, -2*x + 4 = 0. Is k a composite number?
True
Let c(x) = -19*x**3 + x**2 + 2*x. Let d be c(-1). Suppose d*i = 14*i - 544. Let q = i + 957. Is q composite?
False
Let q(s) = -s**3 + 77*s**2 + 3*s + 25. Is q(54) composite?
True
Suppose -l = -3*h + 615146, 4*h - 71*l = -69*l + 820200. Is h composite?
True
Let c(u) = u**3 - u**2 - 4*u + 4. Let n be c(0). Suppose n*j - 19590 = 334. Is j a composite number?
True
Let n(p) = p**2 + 12*p - 35. Let f be n(-15). Let t(i) = 2*i**3 + 4*i**2 + 11*i + 17. Let b be t(f). Suppose -2*g + 4*c + 5048 = 0, 4*c - c = g - b. Is g prime?
False
Let o be (224/(-40))/14 + 47/5. Let t(d) = d**2 - 9*d - 10. Let h be t(10). Suppose 15*u - o*u - 66 = h. Is u prime?
True
Suppose 0 = 41*p - 49*p - 96. Let f(t) = 5*t**2 + 3*t - 43. Is f(p) a prime number?
True
Let w be (-30)/(-14) + (-21)/147. Suppose 2*j = 2*k - 6, 2*k + w*j = 3*k. Suppose 5*f = -5*i + 1875, -k*f + 11*f - 738 = -2*i. Is i composite?
False
Let z be (2/6)/(13/312). Let c = 0 + z. Is (c/(-16))/(2/(-596)) a prime number?
True
Let u(m) = -29*m**2 - 4*m + 121981. Is u(0) a composite number?
True
Let t(q) = -5120*q + 823. Is t(-3) prime?
True
Let f = -281 - -301. Suppose -w + f + 191 = 0. Is w prime?
True
Let g(t) = 12207*t**2 - 5*t - 4. Let u be g(-1). Suppose u + 8699 = 9*b. Is b a prime number?
False
Let y = 1049 + 850. Suppose -13*l = -6850 - y. Is l a composite number?
False
Let g be -1 - ((-8)/1 + 6). Suppose 3*b + 0*n + 13847 = -n, 2*b - 4*n + 9222 = 0. Is g/(5/b)*(0 - 1) composite?
True
Suppose 13*s + 52306 - 848205 = 0. Is s a prime number?
True
Suppose 0 = 3*l + 1162*m - 1165*m - 182592, 5*m = 4*l - 243461. Is l a composite number?
False
Is (-6*11/198)/((12/6738741)/(-4)) a prime number?
False
Let q(v) = -55*v**2 + 7*v + 5. Let a(r) = -276*r**2 + 36*r + 24. Let j = -39 - -28. Let d(h) = j*q(h) + 2*a(h). Is d(-3) a composite number?
True
Suppose 2*k + 84*p - 210032 = 81*p, -5*k - 5*p = -525075