1 a composite number?
True
Suppose 3*t = -2*t + 4745. Suppose 0 = 5*b - t + 159. Is b composite?
True
Let g = 524 - 30. Let w be ((-4)/(-3))/(1/3). Suppose -2*d + 248 = 2*c, -w*d - c - 2*c = -g. Is d prime?
False
Let c = -40 - -44. Suppose -3*v = 15, 4*r - 3441 - 863 = -c*v. Is r a prime number?
False
Suppose -5*d + d + 24 = 4*u, 3*d = u + 14. Let i be (-1624)/(-2) - u - 2. Suppose -3*z + 4*z - i = 0. Is z a prime number?
True
Suppose -4*w + 3*t + 44978 = 0, 4*w = -5*t + 25305 + 19689. Is w a prime number?
False
Let a(y) be the third derivative of -y**6/120 + y**5/5 - y**3/6 + 5*y**2. Let o be a(10). Suppose 0 = -5*p + 3*s + 1043, s = -p + 4*s + o. Is p prime?
True
Let q(f) = -2*f**3 - 4*f**2 - 3*f + 1. Let i be q(4). Let a be ((-12)/14)/(-2 + (-87)/(-42)). Let s = a - i. Is s a composite number?
False
Let v be 3/2*(-2)/(-1). Suppose x + 0*h + h - v = 0, -3*h - 5 = x. Is x a composite number?
False
Suppose 324549 = 11*o - 636158. Is o prime?
True
Suppose -22*k + 44 = -20*k. Suppose -25*o = -k*o - 1335. Is o a composite number?
True
Let p be -24*((-405)/4)/(-3) - 0. Let a = 1465 + p. Is a composite?
True
Suppose -4*l = -4*h + 552, 3*h = -4*l - 567 + 29. Suppose -c - 4*v - v = -167, 3*c + v - 473 = 0. Let s = c - l. Is s prime?
True
Suppose 3*t - 75 - 981 = -4*u, 5*t = 4*u + 1760. Let q = 605 - t. Is q a composite number?
True
Let g be (-3)/9 + (-49)/(-3). Suppose -4*k + 0*k = -g. Suppose -i + k*i = 531. Is i a prime number?
False
Is 698404*(-1 + -2 - (-130)/40) a composite number?
True
Let n(v) = -2*v**3 + 7*v**2 + 21*v - 29. Is n(-7) a prime number?
True
Suppose -28 = 4*x + 3*s - s, 5*x + s + 38 = 0. Let j(d) = -327*d + 1. Is j(x) composite?
False
Suppose -2*i - 50 = 54. Let s be (74/4)/((-8)/(-16)). Let v = s - i. Is v a composite number?
False
Suppose 4*r + 10 = 6*r. Let m = 163 - r. Is (m/(-8))/((-4)/112) a composite number?
True
Suppose -3*h + 3*u = -3, 2*u = -0*u + 8. Suppose h*v = 11*v - 14658. Is v a composite number?
True
Let n = 63 - 60. Suppose -6*j = -n*j - 201. Is j a composite number?
False
Suppose -19564 = -4*x - 7232. Is x a composite number?
False
Suppose -15 = -4*j + 3*p, -3*j - 5 - 15 = 4*p. Suppose j*x - x = 3, -5*y - 4*x + 6853 = 0. Is y prime?
True
Let z(s) = 93*s**2 + 2*s - 11. Let c(u) = 92*u**2 + u - 10. Let x(g) = -6*c(g) + 7*z(g). Let w be x(12). Is 8/(-14) + w/35 composite?
False
Let n be 2/8 + 1487/4. Suppose 282 + n = 3*l. Suppose -i + 4*w + 51 = 0, 4*i = -3*w + 62 + l. Is i prime?
True
Let l = 10145 + -5454. Is l prime?
True
Suppose -2*g - 3 = g. Let m(u) be the third derivative of 13*u**5/10 + u**4/8 + u**3/3 - 3*u**2 - 3. Is m(g) prime?
False
Suppose -186 = -122*h + 120*h. Is h prime?
False
Let s(q) be the third derivative of -11*q**4/12 + q**3/2 - q**2. Is s(-23) a composite number?
False
Suppose -4*w - 134 = j, -5*j + 0*j - 653 = 3*w. Let z be 4 + (j - (4 + 0)). Let t = z - -291. Is t composite?
True
Let q(f) = 13*f**2 - 8*f**2 + 2*f + 7*f**2 - 13 + 0. Is q(9) composite?
False
Let k(o) = o**3 + o**2 - o + 99. Let i be k(0). Suppose -3*j + i = -246. Suppose -2*h - j = -7*h. Is h prime?
True
Let q(x) = 35 - 9*x**2 + x**3 + 42 - 71. Let f be q(9). Suppose -f*t = -2*t - 1348. Is t composite?
False
Let f(r) = 2833*r**2 + 11*r - 19. Is f(2) a prime number?
False
Let p be (-1)/((-15)/10 - -1). Is ((-4198)/5)/((-68)/85)*p composite?
False
Suppose 0 = 4*o - 7809 - 8995. Is o composite?
False
Let z = -1146 + 3732. Suppose 0 = -n, 0 = -2*j + 2*n + z - 754. Suppose 0 = 4*b - j - 832. Is b prime?
False
Let l be 2360 - -2*(-1)/(-2). Suppose -k + l = 2*k. Is k a composite number?
False
Let k(f) = -f**2 - 12*f - 8. Let t(c) = -c**3 - 9*c**2 - 11. Let m be t(-9). Let l be k(m). Suppose 0 = -4*a + l*a + 35. Is a prime?
False
Suppose -10 = -2*w - 5*d + 13, -3*w - 5*d + 22 = 0. Let v be w - 2 - -8617 - 0. Is (-6)/45 + v/30 composite?
True
Let j = 6135 + -2642. Is j composite?
True
Suppose 4*h - 3*y = 453422, 4*h - 388975 = -4*y + 64461. Is h a composite number?
False
Let z be 9/(-2) - 2/4. Let u(g) = -g**2 + 37*g - 40. Let q be u(31). Let j = q + z. Is j composite?
True
Let y(q) = -q - 16 + 2*q + 205*q**2 - 3*q + 18. Is y(2) a prime number?
False
Let w be 9/15 + (-122)/(-5). Suppose -w*k = -26*k + 373. Is k a prime number?
True
Let p(d) = 11*d**3 - 5*d**2 + 3*d - 12. Let z be p(5). Suppose -4*t + z = -3*b, 3*t - 2*b - 674 = 267. Is t a prime number?
True
Let o(n) be the third derivative of 0*n + 0 + 13/8*n**4 + n**2 - 1/3*n**3. Is o(3) a composite number?
True
Suppose 0 = 11*m - 34*m + 1891083. Is m a composite number?
True
Let u(q) = 3*q**2 + 7*q + 13. Let s(v) = -7*v**2 - 13*v - 26. Let g(n) = 2*s(n) + 5*u(n). Let r be g(-8). Suppose 0 = r*f + 624 - 3829. Is f a composite number?
False
Let x(t) = -t**3 - t**2 - 13. Let b be x(0). Let v(m) = -m - 2. Let c be v(b). Suppose c*a = 14*a - 435. Is a a prime number?
False
Let h(x) be the third derivative of x**7/180 + x**6/80 + x**5/6 + x**2. Let d(r) be the third derivative of h(r). Is d(5) a composite number?
False
Let g(c) be the third derivative of -139*c**4/24 + 4*c**3/3 - 8*c**2. Is g(-9) composite?
False
Is (8/(-4) + 3)/((-5)/(-28970)) composite?
True
Suppose -z + 0 + 4 = -4*g, 4*z + 26 = 2*g. Let p(i) = 31*i**2 + 14*i + 17. Is p(z) a composite number?
False
Let v be 7815/12*-8*(-9)/6. Suppose 8*l - v = 5*l. Is l a composite number?
True
Let g = 10 + -5. Suppose -r + c - 1 = -9, 3*c = -g*r + 8. Suppose 8*f - 556 = r*f. Is f composite?
False
Let y(g) = -98*g - 2 - 6*g + 0. Let v be y(-2). Let s = v - -17. Is s a prime number?
True
Let g be (-21)/(-3 + 0) + -2. Suppose 0*j = 3*d - j - 1883, -3*d - g*j + 1853 = 0. Is d prime?
False
Suppose 2*t = -3*t. Suppose t = 4*y + 65 + 71. Let w = y + 71. Is w composite?
False
Let h be 146*9/6*4/6. Let y = 212 + h. Is y composite?
True
Let a(k) = -k**3 - k + 45. Let h be a(0). Let m be 145/h - 4/18. Is 3/2*1378/m a prime number?
False
Let d(g) = -46*g + 4. Let f(b) be the second derivative of 2*b**3/3 + 5*b**2/2 + 4*b. Let n be f(-2). Is d(n) composite?
True
Let u be (15 - 23)/((-1 + -1)/1). Is 2/(-4) - ((-4762)/u - -3) a prime number?
True
Suppose 2*w = -1 + 11. Suppose 2*o = 5*v - 2798, 4*o = w*v - 4*v - 556. Suppose 4*g = -g - m + v, m - 5 = 0. Is g a composite number?
True
Suppose 5*q = -5*d + 3230 + 1030, -3*d - 5*q + 2560 = 0. Let o = -64 - d. Is (-9)/(-12) + o/(-8) composite?
True
Suppose -14*j + 33724 = 3582. Is j a prime number?
True
Let q(j) = j**3 + 3*j**2 + 10*j + 3. Is q(7) prime?
True
Let u be -2*2/4*-4. Suppose 0 = -3*g + 7*g - u. Let o(p) = 409*p**2 - p - 1. Is o(g) a prime number?
False
Suppose 0 = -5*q + 89 - 29. Suppose -5*g = -g - q. Is (70 + g - 2)*1 composite?
False
Let r(t) = 6*t**3 - 5*t**2 + 7*t - 11. Let c be r(-5). Let n = 1652 + c. Is n a composite number?
True
Let o = 6 - 4. Suppose 72 = 2*r + z - 3*z, -o*r - 5*z = -79. Let y = r + -6. Is y composite?
False
Let h = -794 - -2541. Is h a prime number?
True
Let f(r) = 32*r - 283. Is f(42) a prime number?
True
Suppose 0 = 4*h - 5 - 15. Let k(c) = 13*c**2 - 5*c - 2. Let g be k(h). Suppose -3*q - g = -5*q. Is q composite?
False
Let d be 0 + 2 + 11/(-11). Let k be (-4)/4*d*-2. Suppose k*l - 4*z = 1001 + 561, -3*z - 1564 = -2*l. Is l composite?
True
Suppose 0 = 10*u - 9*u + 2*g - 20333, 0 = 3*u - 2*g - 60959. Is u prime?
True
Is (27 + -29)/(36191/36193 - 1) composite?
True
Suppose 2*l - 5*r = 9, 3*l + 4*r = -2*l + 6. Is 34/l + 2*(-1 - 0) a prime number?
False
Let y = -1788 - -871. Let k = 1470 + y. Is k a composite number?
True
Let a(u) be the third derivative of u**7/840 - u**5/40 + 5*u**4/24 - u**3/6 + 2*u**2. Let d(p) be the first derivative of a(p). Is d(6) a composite number?
True
Let a = 69 + -67. Suppose -4*v = -16, -4*q - a*v + 1304 = v. Is q composite?
True
Let w(d) = 74*d + 2 + 7 - 387*d. Is w(-8) a prime number?
False
Let y(l) = 19*l. Let j be y(1). Let q = 44 - 148. Let k = j - q. Is k composite?
True
Is 887920/40 + (-7 - 2) prime?
True
Is 25251/5 + 1 - (-41)/(-205) a composite number?
False
Let f(x) be the third derivative of -1/4*x**4 + 3*x**2 - 1/6*x**3 + 1/10*x**5 + 0 + 0*x - 1/120*x**6. Is f(-6) a composite number?
False
Let r(z) = 2*z**3 - 13*z**2 + 10*z - 1. Let x be r(6). Let b = 226 - x. Is b a prime number?
False
Suppose 0 = -6*p + 3*p + 390. Su