73717) prime?
True
Suppose -k - 2*g + 3301 + 15760 = 0, 3*g + 3 = 0. Is k composite?
True
Let v(q) = 533*q**2 - 5*q - 326. Is v(48) prime?
False
Let o(g) = -g**3 + 6*g**2 - 15*g - 1. Let a be o(5). Let w = 1688 + a. Is w a prime number?
True
Let t = -171 + 171. Suppose 8382 = 6*s - t*s. Is s a prime number?
False
Suppose 6*k - 5*x = 3*k + 90257, -2 = -x. Is k a composite number?
False
Suppose -52*h + 2270238 = -2581726. Is h prime?
True
Let l be 14/6 - (-11)/(-33). Let y(d) = 30*d**2 - 20*d**l - 2*d**3 + d**3 + 11. Is y(8) a prime number?
True
Is -1*(42048315/(-315) + 4/(-14)) a prime number?
False
Suppose 3*k = -4*m + 4475753, k + 4093347 = 4*m - 382378. Is m a composite number?
True
Let i(v) = -v**3 + 4*v**2 - 6*v + 9. Let w be i(2). Suppose -w*s + 2*j = -j - 2611, 0 = j - 3. Suppose 6*y - 9*y = 2*q - s, -q - 5 = 0. Is y a composite number?
True
Let a(g) = -5*g**3 + 3*g**2 + 4*g + 11. Let h(b) = -b**3 + b**2 + b. Let m(k) = a(k) - 4*h(k). Suppose 7*u + 62 + 1 = 0. Is m(u) composite?
False
Suppose 0 = 5*d - 4*w - 1362599, 1362600 = 5*d + 31*w - 36*w. Is d a composite number?
True
Is (746304 - (-1 - -3))*(-9)/(-6 - 12) composite?
False
Let t(f) = -2*f**3 + f**2 + 88*f + 746443. Is t(0) prime?
False
Let j(o) = -o**2 + 2*o + 10. Let p be j(6). Let y be (2/3)/(p/63). Is (-10)/(8/156*y) a prime number?
False
Let g(i) = 83*i - 414*i - 14 + 31*i - 311*i. Is g(-5) a prime number?
True
Let i(f) = 5013*f**2 + 308*f - 1177. Is i(4) a prime number?
True
Let o be (13/5)/(2/10). Let c(q) = q**3 - 12*q**2 - 12*q - 11. Let b be c(o). Suppose -2*j = 4*z - 220, 0*z - 5*j = b*z - 126. Is z composite?
False
Let g(a) = -7*a + 21. Let d be g(7). Let x = -32 - d. Is 4539 - (-5)/(5/x) composite?
True
Suppose -16*x = 61*x - 15841926 + 975767. Is x a composite number?
True
Let w(r) = -13*r + 1. Let u be w(5). Let a = 1994 + -1812. Let j = u + a. Is j composite?
True
Let g(l) = l. Let i be g(-5). Let r = i + 10. Suppose -r*t + 3*k + 1447 = 0, -3*k + 8 = -5*k. Is t composite?
True
Suppose 3*d + 68 = -1348. Is (-126)/56*d + 2/(-2) composite?
False
Suppose -53775 - 53817 = -6*a. Suppose -7*s - a = -4*s + 5*f, -s - 2*f = 5978. Let d = 10383 + s. Is d prime?
True
Let b(g) = 419*g**2 + 21*g + 47. Is b(20) a composite number?
False
Let r be (1 - 10/4) + 215073/6. Let i be r/9*3/2. Is (-28)/14 - (-1 + 2 - i) a composite number?
True
Let i(f) = 58482*f + 2231. Is i(21) prime?
False
Suppose -55*g + 53*g = f - 32210, -g = -4*f - 16114. Is g a composite number?
True
Suppose -4*d = 2*o - 8, o + o + 8 = 0. Let u(t) = 941*t + 27. Is u(d) prime?
False
Let u be ((8 - 5) + -7)/(-2). Suppose -u*t - 4*q + 4598 = 0, -3*q + 9229 = 4*t - 6*q. Is t a prime number?
False
Let o(s) = -19*s + 57. Let f be o(3). Suppose -p - 692 + 2323 = f. Is p prime?
False
Suppose 0 = -8*c - 4*c - 2311104. Is 6/(-15) + (c/(-20))/4 prime?
False
Suppose -i = 5*v, 3*v = -v. Suppose i = 4*j + 265 - 961. Suppose 0*c = -2*c + j. Is c a prime number?
False
Let o(x) be the third derivative of 0*x + 4/15*x**5 - 1/24*x**4 + 0 + 14*x**2 - 1/2*x**3. Is o(2) composite?
False
Suppose 2*j + 12 = -j. Let x(w) = -15*w - 50*w - 7 + 10. Is x(j) composite?
False
Suppose -345622 = -14*l - 111528. Suppose l = -7*d + 95632. Is d a prime number?
True
Suppose 0 = 14*u - 3 - 25. Is (26656 - u)*(-25)/(-50) a composite number?
False
Suppose q = 3*q - 72. Let g = q + 1. Suppose 42*t - 1535 = g*t. Is t composite?
False
Let n = 44 + -31. Let p(j) = j**2 - 13*j + 5. Let l be p(n). Suppose -r + 1 = 0, l*r + 3393 = 5*d + 283. Is d prime?
False
Let q(b) = 2*b**3 + 8*b**2 + 5*b + 8. Let s be q(-8). Suppose -7*l + 4*l + 6903 = 6*l. Let g = s + l. Is g composite?
False
Let y be (6/(-2))/(-3) + (6 - 3). Let r(u) = 3*u**2 - u**2 + 6*u - 2*u**2 - 5 + 5*u**3 - y*u**2. Is r(6) composite?
False
Let o = -1047 + 1947. Let d(h) = h - 1. Let j be d(1). Suppose j*z - z - 3*i = -898, z = -5*i + o. Is z prime?
False
Let o be (-4 - (-72)/9)/(6/327). Suppose -213*j + o*j - 95965 = 0. Is j prime?
False
Suppose 3*r - j = 4*j - 13, -j = -5*r + 15. Suppose -r*t + 27 = 4*y + 3, 2 = -t + 3*y. Suppose 447 = t*z + g, 0 = -2*z + 3*g - g + 216. Is z prime?
False
Let b(o) = -2*o**2 - 28*o - 34. Let p be b(-12). Suppose 0 = -3*h, 4*x + 12*h - p*h = 472. Is x a prime number?
False
Let y(f) = 297*f**3 - 8*f**2 + 75*f + 25. Is y(8) prime?
False
Suppose 0 = -171*r + 158*r + 1169623. Is r a composite number?
True
Let n = -195934 + 353655. Is n composite?
False
Let r = -1490 + 2976. Suppose -2*o - 5*b = -2382, -r - 2097 = -3*o - 5*b. Is o a prime number?
True
Suppose -5*x + 2*x = 5*f - 31, -2*x - 4*f + 24 = 0. Suppose -x*n + n + 2*v + 11853 = 0, 3*n = -v + 35552. Is n prime?
False
Let b be 3/(6/(-6194)) - 2. Let m = b - -11566. Is m composite?
False
Let f be (2 - 1) + 6 + -12 + 10. Suppose -5*d - f*b = 1975, 4*d - 3*b = 9*d + 1969. Let w = d - -2215. Is w prime?
True
Suppose 3*m = -3*u - 60 + 5484, 0 = -m + 3*u + 1788. Let s = m - 406. Is s a composite number?
True
Let a be (-19 - 1)*(-2 + (-18)/(-12)). Let m(v) = -v**3 + 13*v**2 - 7*v + 8. Let z be m(a). Let j = z + 73. Is j a composite number?
False
Let k be (-40)/12*6/4 + 9. Suppose -22*f = -5*r - 19*f + 33755, -f = k*r - 27004. Is r composite?
True
Let o(w) = -10*w - 35. Let b be o(-4). Suppose 3*q - 1141 = -5*g, -2*q + q - b*g = -377. Is q a prime number?
False
Let n(m) = 889*m**3 - 69*m**2 + 366*m + 5. Is n(5) a composite number?
True
Suppose 2*v = 2*n - 3*v + 58, n - 3*v + 28 = 0. Let y(u) = -743*u - 195. Is y(n) a composite number?
True
Let j(w) = 123*w**2 + 61*w + 57. Let n(r) = -63*r**2 - 30*r - 29. Let q(o) = 3*j(o) + 5*n(o). Is q(-11) a prime number?
True
Let r(u) = -478*u**3 - 4*u - 2. Let w be r(-1). Let p = 2 - -3. Suppose 3*z + 0*z + p*n = 462, -n - w = -3*z. Is z composite?
True
Let w = 55 + -53. Suppose 5*r = -2*o - 241, w*o + 2*r - r + 229 = 0. Let k = 126 - o. Is k composite?
False
Let b be (12/18)/(2/48). Suppose w + b = 18. Suppose -2*v - v - r = -44, 4*r = -w*v + 46. Is v composite?
False
Let l(m) = -m**3 + 10*m**2 + 2*m - 11. Let t be l(10). Let v(p) = -p**3 + 32*p**2 + 6*p - 11. Let i be v(7). Suppose 0 = -t*a + 13*a - i. Is a a prime number?
False
Let z = -50 - -44. Let y = 10 + z. Suppose -1053 = -5*u - 2*w - 36, 0 = -y*u - w + 813. Is u composite?
True
Let x = 77956 + -55523. Is x a composite number?
False
Let q(v) = 91794*v**2 + 7*v - 27. Is q(2) a composite number?
False
Suppose 2*h - 45 + 33 = 0. Suppose h*b = -q + 4*b + 42, -b + 93 = 2*q. Suppose 6*i = -q + 510. Is i a composite number?
True
Suppose 0 = -44*h - 33*h + 7673897. Is h a composite number?
False
Suppose -2*d + 1354 = -2*t, 511 = 2*d + 3*t - 823. Suppose c - 37392 - d = 4*p, p = 2. Suppose 0 = -7*l - 13888 + c. Is l composite?
True
Suppose -8*z - 287816 = -n - 13*z, 3*z - 287826 = -n. Is n a composite number?
True
Let v(z) = -14*z**2 + 7 + 2*z**3 + 4*z + 4*z + 5*z**2 - z**3. Let k be v(8). Suppose -f + 41 = k. Is f prime?
False
Suppose -k + 555646 = -p + 118607, 3*k - 20*p - 1311219 = 0. Is k a composite number?
False
Is ((-426)/(-3))/((-248)/155)*-4 prime?
False
Suppose 3*c + 4*t = 328321, -12*t + 8*t = -3*c + 328385. Is c a prime number?
True
Let g(t) = 140*t**2 + 279*t - 768. Is g(-83) a composite number?
True
Suppose 144*j = 145*j + 8. Let q(s) = -107*s + 22. Is q(j) prime?
False
Suppose 4*o - 23399 + 267 = 0. Let w = o - -2608. Is w a composite number?
True
Let f be (-7 - -17)*1*4. Suppose -a + f = -9*a. Is (-3)/(((-5)/(-223))/a) composite?
True
Let a(m) = -19*m - 34. Let s be a(-2). Suppose s*u - 13577 + 4623 = -2*d, -u + 2246 = 3*d. Is u composite?
False
Let f(g) = -43530*g + 929. Is f(-3) a prime number?
True
Let m be ((-11)/3 - -4)/(2/54). Suppose m*d - 233126 = -52271. Is d a composite number?
True
Let x(j) = -82*j - 123. Suppose -21*y - y - 286 = 0. Is x(y) a prime number?
False
Suppose 0 = 5*l + 3*r + 87375 - 221876, -4*l = 3*r - 107602. Is l prime?
False
Suppose -3*y + 0 - 6 = 0, -3*y = -3*j + 6. Let r be (3 - j)/(-2 + 1) + 5. Suppose 2*n = -r*b - 40 + 164, 283 = 4*n - 3*b. Is n a composite number?
False
Suppose -484*w - 2*g = -479*w - 250543, 4*g = 4*w - 200468. Is w prime?
True
Let t = -173 + 174. Is 14495 + t*(-4 - -8)/(-2) a composite number?
True
Suppose 15*u - 31 - 14 = 0. Let b(x) = 1784*x + 119. Is b(u) a prime nu