 a*t - 647. Is t composite?
True
Suppose -58762 = 51*m - 53*m. Is m a prime number?
False
Let x = -59 - -36. Let r = -17 - x. Suppose -k + r*k = 4*v - 720, -v = 2*k - 193. Is v a composite number?
True
Suppose -2*v + 5*w = -3236, -v + 5*v - 2*w = 6472. Is v prime?
False
Let i be (-2)/(-4) - 119/(-14). Suppose 6*g + 2559 = i*g. Is g a composite number?
False
Let a(m) = -m**3 + 5*m**2 - 4*m + 2. Let k be a(4). Suppose -k*p - 3*p = -10. Suppose -3*f = -2*b + 19, -2*f + 62 = 2*b + p*b. Is b composite?
True
Suppose o - 6*o = -860. Let m = -93 + o. Is m composite?
False
Suppose -3*i + 154 = -59. Suppose 2*t - d - 60 = 2*d, 5*d = -3*t + i. Let b = t - 14. Is b prime?
True
Suppose f - 3 = -4*q, -4*q + q - 2*f + 6 = 0. Suppose -t - 3*v + v + 479 = q, 2*t = v + 978. Is t a composite number?
False
Suppose -i = 4*i. Let g be 288/84 - (-4)/7. Suppose -a + g*a - 99 = i. Is a prime?
False
Suppose 5*v + 2*q - 94487 = 0, 15*q = 3*v + 11*q - 56713. Is v composite?
False
Suppose 0 = -9*v + 4*v + 3080. Let n = v - 353. Is n a prime number?
True
Suppose -4*l - 3*s = -117, -s - 2*s = -2*l + 81. Let c(i) = 3*i - 4*i + 0*i - 3 + 0 + l*i**2. Is c(2) prime?
True
Let q = 102 + -72. Let l = q + -45. Is (-5)/l - (-226)/6 a composite number?
True
Let r = -33578 + 53877. Is r composite?
True
Let g = 40127 - -35376. Is g prime?
True
Let x = -167 - -108. Let r = 38 - x. Is r a prime number?
True
Suppose -3 = -3*j + 6. Suppose -j*o - o - m + 6849 = 0, -2*o - 4*m = -3442. Is o prime?
False
Let z(k) = 11*k - 85. Let s be z(18). Let n(j) = -2*j**3 + 6*j**2 + 4*j + 2. Let l be n(5). Let t = s + l. Is t a composite number?
True
Let u be (-2)/2 - (0 + -2). Let j(o) = -2*o - 4 + 5 + 132*o**3 + 57*o**3 + o**2 + 68*o**3. Is j(u) composite?
False
Let s(w) = 2*w**3 - 5*w**2 - 3*w + 11. Let v = 19 + -11. Let k be s(v). Suppose -p + k = 5*x + 35, 3*x - 395 = -2*p. Is x composite?
False
Suppose p = -4*h + 14351 + 9419, -h + 5938 = -2*p. Is h a composite number?
True
Let a(y) = 31*y**2 + 3*y - 165. Is a(20) a prime number?
False
Let n = 545 - -308. Is n a composite number?
False
Let s = 1214 - 717. Is s a prime number?
False
Let t be ((-24)/6)/((-6)/3). Let s = 9 + -4. Suppose s*o = -3*j + 2758, 3*j - t = 1. Is o a prime number?
False
Suppose 13*v - 269048 - 180531 = 0. Is v a composite number?
False
Let w(s) = 84*s + 43. Let z = 95 + -76. Is w(z) prime?
False
Suppose 2*z = x + 2*x - 24, 4*z = 4*x - 40. Let p(t) = 28*t**2 + 6*t - 1. Is p(z) prime?
True
Let a = 14297 + -7668. Is a composite?
True
Suppose 3*z = 4*h - 1829, -z = -h + 2*z + 455. Let w be (-3)/(-1) + -10 + h. Suppose 2*s = 3*p + 113 + 189, -3*s + 4*p + w = 0. Is s a composite number?
True
Suppose 5*v - 2*i = -8, -2*v + i - 8 = -4. Suppose -5*m + 790 = -5*r, -2*m + 346 = 4*r - v*r. Is m a prime number?
True
Let d = 181286 + -129469. Is d a prime number?
True
Suppose 20*p - 25991 = -4*v + 21*p, 6484 = v - 3*p. Is v a prime number?
False
Let l be (-60)/50*(-10)/(-3). Let u(h) = -25*h**3 + h**2 - 4*h + 5. Is u(l) prime?
True
Suppose -5 = 3*p - 17, 40 = 4*k + 5*p. Suppose 1748 - 8183 = -3*a + 4*z, -4*a - k*z + 8611 = 0. Is a a composite number?
True
Let b = -54 + 51. Is (-1)/b + -2 + (-14388)/(-9) a prime number?
True
Let x = -17 - -19. Suppose -x*y = y - 12. Suppose 3*p = -0*p - 4*b + 1047, -2*b = -y*p + 1418. Is p a prime number?
True
Let f be -1*-3*(3 - 0). Suppose -716 = 5*p - f*p. Is p a prime number?
True
Let s(d) = d**2 + 4*d - 2. Let v be s(-4). Let x(f) = 75*f**2 + 2*f - 1. Is x(v) prime?
False
Suppose z + 0*u = -3*u + 1738, -2*u - 6966 = -4*z. Suppose -3*p + z = -4*k, -482 - 702 = -2*p - 2*k. Is p a prime number?
True
Let f(b) = 28*b + 34. Let v be f(14). Suppose -3*t = 3*t - v. Is t composite?
False
Let l(o) = 13*o**3 - 11*o**2 + 15*o + 5. Let j(x) = -7*x**3 + 6*x**2 - 8*x - 2. Let d(v) = -5*j(v) - 3*l(v). Is d(-4) a prime number?
False
Let w be (3/(-3) + 1)/(-1). Suppose -5*l = -w*l - 275. Suppose -l + 8 = -z. Is z composite?
False
Let l be 10/(-4)*4/(-5). Suppose -l*t = -a - 0*t - 7, 0 = -4*t + 20. Suppose -4*x - 816 = -4*u, -a*x + 0 = 3. Is u prime?
False
Suppose 5*s = -4*q - 0*q + 8818, -3*q - 5*s = -6616. Suppose -3*r + 5547 = q. Is r composite?
True
Is ((-2)/8)/((-19)/299668) a composite number?
False
Suppose -3*x = -q - 15, 15 = 3*x - q - 3*q. Let z = x + 36. Let c = z + 44. Is c a prime number?
False
Let p = -433 - -2187. Is p a prime number?
False
Let l(g) = -g**3 + 5*g**2 + 3*g + 2. Let o(k) = k**2 + 4*k + 4. Let m be o(-4). Suppose f - 1 + m = 0. Is l(f) prime?
False
Let f = -15 - -22. Suppose -9 = 2*c - w, -5*w + 8 + f = -4*c. Let h(b) = -8*b**3 - b**2 + 4*b. Is h(c) composite?
True
Let n(z) = -2*z**3 - 5*z**2 - 25*z - 7. Is n(-6) composite?
True
Let l(a) = -a**2 + 17*a + 1. Suppose -6 = -36*q + 35*q. Is l(q) composite?
False
Let w(s) = -s - 12. Let g be w(-14). Let h(r) = -r**2 + 3*r - 2. Let u be h(g). Suppose u = 4*c + x - 139, -3*c + 0*x = -3*x - 108. Is c prime?
False
Let f = 9 + 2. Suppose f*b = 9*b + 1082. Is b a prime number?
True
Let p(a) = -10*a**2 + 2*a + 2*a + 3*a**3 - 17 - 2*a**3. Is p(12) a composite number?
True
Let v(o) = -819*o**3 - 2*o**2 + o. Is v(-2) a composite number?
True
Let o be ((-21)/14)/((-1)/2). Suppose -o*r = r. Suppose r*x + x + 3 = 0, 2*t - 4*x - 646 = 0. Is t composite?
False
Let u = 20 - 15. Suppose -5*j + u = -5*h - 0, 3*j - 5*h = -3. Suppose -128 = -3*p + 5*g, -p - 2*p + j*g = -130. Is p prime?
False
Let x = 626 + 53. Is x a prime number?
False
Let u = -5 + 11. Suppose -7*y + u = -4*y. Suppose 36 = y*z - 16. Is z prime?
False
Let u(o) be the first derivative of o**3/3 + o**2/2 + 11*o - 1. Suppose -q - 4*b - 8 = 0, 0 = 2*q + 3*q - 2*b + 40. Is u(q) a prime number?
True
Let m(l) = -1 + 32*l**2 - 13*l + 53 - 25. Is m(6) a prime number?
False
Let c(t) = -2*t + 2. Let f be c(-1). Let r = 49 + f. Is r composite?
False
Suppose 0 = 2*a + 3*a + z + 4, -3*a = 2*z + 8. Suppose a = 36*r - 27*r - 1593. Is r composite?
True
Let z = -5447 - -8152. Is z prime?
False
Let u be 237/(-24) - 2 - (-4)/(-32). Let k = 115 + u. Is k a composite number?
False
Let l = -1836 + 8555. Is l composite?
False
Suppose -60*p = -61*p + 1865. Suppose q = -4*i + 373, -6*i + 3*i = 5*q - p. Is q a prime number?
True
Is 5/5*-1 - -6804 composite?
False
Let v be (-25 + 7)*(-1)/(-3). Is (2/v)/((-8)/(-82872)*-3) a composite number?
False
Suppose 3*q - 4*m - 18 = -0*m, 14 = q - 4*m. Let r be (-1 - -9) + q/1. Is 4/r + 2229/15 composite?
False
Suppose 0 = 5*c - 3*c - 10. Suppose 5*g - 355 = -c*x - 0*x, -8 = -2*x. Is g a composite number?
False
Let r be (5342 - -6)*(0 + 2). Is (r/(-20))/(4/(-10)) a composite number?
True
Suppose 0 = -19*c + 14*c + 790. Suppose -p + 5*o = -87, 84 + c = 3*p + 4*o. Is p a prime number?
False
Let i be (2/4)/(3/(-60)). Suppose 445 - 2701 = -47*n. Let x = i + n. Is x composite?
True
Suppose 0 = q + z - 3, 0 = -0*q - q - 3*z + 3. Suppose 1265 = 2*y + q*y. Is y composite?
True
Suppose -402 = -p + j, 3247 = 5*p + 4*j + 1219. Let r be -4 + 5/(10/(-282)). Let a = r + p. Is a prime?
False
Let i be (-10)/(-4)*(-24)/(-15). Suppose 0*h - 5042 = -i*h + 3*x, 5*h = 3*x + 6304. Is h a prime number?
False
Is (-1)/(3*1/(-4233)) composite?
True
Let o = 21 + -17. Let h be o - (4 - 2)*1. Suppose d - 416 = 3*b, -837 = -h*d - 0*d + b. Is d composite?
False
Suppose 0 = -m - f - 154, -4*f - 794 = 5*m - 5*f. Let v = m + 307. Is v composite?
False
Let n = -14 + 6. Let x(s) = -s**3 - 3*s**2 - 7*s - 12. Let m be x(n). Let k = 17 + m. Is k prime?
False
Let p = 2 - -2. Suppose -2*h = -10 + 2. Suppose -112 = -2*q - 2*i + 64, -p = h*i. Is q prime?
True
Suppose 0 = -4*d - 2*t + 1420, 0 = 5*d - 4*t + 8*t - 1772. Suppose 3*u = d + 5587. Is u prime?
False
Suppose 0 = -116*r + 113*r + 23991. Is r a composite number?
True
Is (-6)/(-15)*7715/2 prime?
True
Suppose 3501 = 2*a - 47663. Is a a prime number?
False
Let k = 13 + 1. Suppose 0 = -r - 0*r + 4*m + 333, -1008 = -3*r + 3*m. Suppose h + k - r = 0. Is h composite?
True
Let a(m) = m**3 - 27*m**2 + 16*m - 35. Is a(27) a composite number?
False
Let j be (24/(-30))/(2/45). Let x be (2/(-3))/(6/j). Suppose 2*o + 24 = i, -x*i - o = -2*o - 33. Is i a prime number?
False
Let p = -30 + 18. Let m be (-2)/3*90/p. Is -117*((-15)/9)/m a composite number?
True
Suppose 0 = -15*s + 9223 + 114