 a composite number?
True
Suppose 0 = j - o - 154, -2*o = j - 2*j + 152. Let q = j - -10. Suppose -3*u = -u - q. Is u prime?
True
Suppose 8*t = -10*t + 134456 + 464170. Is t prime?
False
Let g be (-4)/12 - (-2)/6. Let h be 2 + -7 + (-9)/(-1). Suppose -h*t + 356 = r - t, g = 4*t - 4. Is r composite?
False
Let n = 23 - 19. Suppose -5*z + 6 = -3*s, 3*s + n*z = -2*s - 10. Is 1154 + 0/s + -3 prime?
True
Let m(z) = -586*z**3 + 5*z**2 + 2*z - 8. Let d = 25 + -31. Let q(g) = -586*g**3 + 4*g**2 + 2*g - 7. Let l(p) = d*q(p) + 5*m(p). Is l(1) composite?
False
Let l be 23 + -21 - (3 - 0)*-172. Let h = 525 + l. Is h a composite number?
True
Is 11 - 5 - (-32307 + 0) a composite number?
True
Let w(a) = 148*a - 177. Is w(32) prime?
False
Suppose -10 = -3*a - c, 3*c = -2*a - c - 10. Suppose -10835 = -a*v + 1935. Is v prime?
False
Let n(j) = -6*j - 78. Let b be n(-12). Is -3 + ((-6)/(b/5) - -3657) prime?
True
Let f(u) = -5*u - 2. Let s be f(-2). Let q(t) be the second derivative of t**5/10 - 2*t**4/3 - t**3/6 + 29*t**2/2 + 1427*t. Is q(s) a prime number?
False
Suppose -3*w - 352303 = -2*m, 0 = -4*w - 1462 + 1466. Is m composite?
False
Suppose -18*g = -7*g - 701151. Is g composite?
True
Let q(h) = 7*h - 25. Let x be q(4). Suppose -r + 2545 = 4*m, 4*r - 5134 = 2*r + x*m. Suppose -4*v + 3195 = -r. Is v a composite number?
False
Suppose -5*l + 18 = 2*n, -n + 0 = -l - 2. Let g be 12/4*(982/6 - l). Suppose -4*h - g = -1657. Is h a prime number?
True
Suppose -u - 4*z = -0*z - 30, -5*u = 4*z - 102. Suppose u*f - 20*f = 4. Is (f/(-3))/((-10)/(-1995)) a prime number?
False
Let j(f) = -f + 12. Let q be j(9). Suppose 8*u = -q*u + 11759. Is u a prime number?
True
Suppose -3*r + 4*a + 41 = 3*a, -49 = -2*r + 5*a. Suppose -4*x = 0, 4*k + x + r = -0. Is -1*(-4317)/k*-1 composite?
False
Suppose 16*w - 138531 + 33603 = 0. Let n = -5 + 11. Suppose -n*z + w = 36. Is z prime?
True
Let u(b) = 1. Let v(o) = 159*o + 17. Let q(a) = 6*u(a) - v(a). Let m = -55 - -49. Is q(m) a composite number?
True
Let g = 11554 + 422. Suppose g = 22*s - 10*s. Is s composite?
True
Let r(h) = 45*h**2 + 110*h - 1777. Is r(60) composite?
False
Is (174/(-4))/(15918/(-636) - -25) prime?
False
Suppose -d + 2*r = 1208, d + 1134 + 79 = r. Let n = d - -8480. Is n prime?
False
Let n(y) be the second derivative of -843*y**5/10 - y**4/6 - y**3/6 - 52*y. Is n(-1) a prime number?
False
Suppose -150*j - 3066819 = -409*j. Is j a prime number?
False
Is 123691*(4 - 15/4)/((-4)/(-16)) prime?
False
Let t = -731 - -1059. Let k = 21 - 13. Is ((t/3)/4)/(k/60) a composite number?
True
Let l = 4588 - -23563. Is l composite?
False
Let l(k) = 4*k**2 - 11*k - 113. Let w be l(16). Let d be 8/(-12) + 710/3. Let g = w - d. Is g prime?
True
Suppose 2*b + 4*b - 116670 = 0. Suppose 5*w = -5*l + b, w - l - 3889 = l. Is w prime?
True
Let i be (-72)/(-15) - 7 - 6/(-5). Is (-24)/(-108) - i/((-27)/(-186645)) composite?
True
Let u be (-51)/(-7) - (-2)/(-7). Let x be 7 + (-515)/206*16/10. Suppose h + 936 = 4*f, -u*h = x*f - 3*h - 721. Is f a composite number?
True
Let k be (-34)/(-17)*(-13362)/(-4). Suppose -8*o = -11*o + k. Is o composite?
True
Let f(c) = c**3 - 18*c**2 - c + 21. Let p be f(18). Let x be (-1727)/5 + -5 - p/5. Let n = 626 - x. Is n composite?
False
Let i be (75/((-3)/1))/(2/(-54)). Suppose 3*c + 0*l = -3*l + i, 2*c - 2*l - 442 = 0. Is (c - -19)*(-1)/(-2) a composite number?
True
Let r = 617 + -619. Is r/(-11) - 1113/(-231) - -6348 a prime number?
True
Let g(b) = b**3 + 8*b**2 - 3*b - 19. Let j be g(-8). Is (-9476)/(-2) - (5 + j + -13) prime?
False
Suppose y + 20772 = r - 8827, -3*r = 2*y - 88757. Is r composite?
True
Let j = -866603 - -1598643. Is (-6)/5 - j/(-200) composite?
False
Let s be (-528)/10*(-170)/(-4). Let m = s + 3581. Let g = m + -420. Is g a composite number?
True
Let l be (-34)/(-8) - (6 + (-432)/64). Suppose -3*d + 9342 = -0*u - 5*u, l*d = 5*u + 15560. Is d a prime number?
True
Let r(i) be the third derivative of -i**6/40 - i**5/12 + i**4/12 + 2*i**3/3 - i**2. Let y be r(-6). Suppose -6*t - y = -10*t. Is t composite?
True
Let v(s) = 2147*s - 5. Let d(q) = 1. Let h(r) = 6*d(r) - v(r). Let n be h(-1). Suppose -5*j + j + n = 2*c, -j = -4*c + 4271. Is c a prime number?
True
Let v(t) = 548*t - 15. Let f be v(15). Suppose -5*o + m + f = 0, -4*o + 3*o - 4*m = -1620. Let a = o - 991. Is a prime?
False
Let l(s) = -s**3 + 59*s**2 - 12*s + 569. Is l(44) prime?
False
Is (9109/(-6))/(68/(-408)) prime?
True
Suppose n - 2*n + 10 = 0. Let g be 342/(-15)*(-25)/n. Suppose g = 2*m + m. Is m a prime number?
True
Let d(m) = 2*m**2 - 4*m. Let r be d(4). Let g = r - 19. Is (-2 - (-1424)/(-6))*g a prime number?
False
Let d = 54 - 23. Let z = 94 - d. Is (1 - 4)/(z/(-3738)) prime?
False
Suppose -4*x + 5 = 33, -5*p + 759828 = x. Is p prime?
True
Let r = -292 - -296. Suppose 2*z - 4*p - 27522 = 0, 0 - r = -4*p. Is z prime?
True
Let z(o) be the third derivative of o**6/8 - o**5/15 + 7*o**4/24 + o**3/3 + 12*o**2. Let m be z(6). Let r = -1573 + m. Is r prime?
True
Let q = -220148 + 535497. Is q composite?
False
Let d be (1 + 0)/(6/(-30)). Let i(y) = -4*y**2 - y - 15. Let w(g) = -9*g**2 - 2*g - 30. Let r(j) = 5*i(j) - 3*w(j). Is r(d) a prime number?
False
Let f(x) = x**2 - 7*x. Let u be f(5). Let b be -4*(-5)/u + (6 - 1). Suppose -272 = -4*q - 0*m + m, b*m + 333 = 5*q. Is q composite?
True
Suppose -3787362 = -147*c + 3602769. Is c prime?
True
Is (2/(-9) - (-30)/(-108))*1077892/(-2) composite?
False
Suppose 255 + 835 = -5*p. Let c = 664 + p. Let o = 629 - c. Is o composite?
True
Let g(y) be the second derivative of -y**5/20 - y**4/6 + y**3 - 23*y. Let v be g(-4). Suppose 2682 = t + v*t. Is t composite?
True
Let j be 3/(9/(-102))*14/(-28). Suppose -18*k + j*k = -991. Is k a prime number?
True
Suppose 17*w - 12493689 = -25*w + 3*w. Is w a composite number?
True
Let z(f) = 5052*f**2 + 11*f + 10. Let b be z(-1). Suppose -973 = 2*l - b. Is l a prime number?
True
Let s = 21581 + -12865. Suppose -x + s = 5*n + 2681, 0 = 5*n - x - 6035. Is n a composite number?
True
Let n(z) = -z + 15*z + 16*z - z**2 + 8 - 10*z**3 - 14*z + 10. Is n(-7) composite?
True
Let n = 88 + -38. Let j = -1897 - -1916. Suppose -l = -n - j. Is l a composite number?
True
Let b(h) = h**3 - 5*h**2 + 4*h. Let d be b(4). Is (5489/(-22))/((d + -2)/52) prime?
False
Suppose 114*d = 107*d + 154378. Is d composite?
True
Let t = 186 - 116. Let i be (-160)/(-70) + (-5)/(t/4). Suppose 3*z - 7113 = 4*f, 2*f = -i*z - f + 4742. Is z a prime number?
True
Let c be (16/(-3) + 6)*6393. Let b = c - 3003. Is b composite?
False
Let v = 359233 - 79554. Is v a composite number?
False
Let j(b) = 329*b + 148. Let c be j(9). Suppose 1048 = w + a, -c = -3*w - 7*a + 11*a. Is w a composite number?
True
Let f = -56 - -52. Let s be (2/(f/2))/((-1)/19). Suppose -s*k = -15*k - 3284. Is k a composite number?
False
Let w = -27576 + 47855. Is w prime?
False
Suppose 3053836 + 17939558 = 83*i + 3390671. Is i composite?
False
Let p(y) = -y**3 - 23*y**2 + 20*y - 3. Let x be p(-25). Let a = x - -459. Let b = a + -235. Is b composite?
False
Let g(k) = -63826*k + 93. Is g(-1) a composite number?
True
Let q = -159 - -11936. Is q prime?
True
Let y(m) = 11*m**2 - 46*m + 491. Is y(-70) composite?
True
Let v(c) = -51*c - 21. Let x be v(5). Let o = -193 - x. Is o a prime number?
True
Let u(z) = 10*z**2 - 15*z - 458. Is u(35) composite?
True
Suppose 5*o + 0*o = 10. Let u(v) = 523*v**3 + 3*v**2 - 9*v + 6. Let n be u(2). Suppose n = o*f + 2*l, 8404 - 2107 = 3*f - 4*l. Is f a composite number?
True
Suppose -2*w = -3*m - 13299, m = -0*w - w + 6657. Let l = -1871 + w. Is l a composite number?
False
Suppose 30065 = 10*d - 3*d. Suppose 0 = 18*v - 17*v - d. Suppose -v = 7*c - 16006. Is c composite?
True
Suppose 2*x - 12 = -x - 5*m, 3*m - 8 = -2*x. Suppose -x*c + 5*h = 20, h - 6*h - 40 = 2*c. Is ((-585)/c)/9*38 a composite number?
True
Suppose 2*d = 5*y + 145618, -5*d - 8*y = -9*y - 364045. Is d a prime number?
False
Is -4 - (-70426*(-5)/(-10) - -8) a composite number?
False
Suppose w = -5*k + 3826, 4*w - 11217 = -2*k + 4159. Let f = 6299 - w. Is f a prime number?
False
Let j = -65380 + 175697. Is j a composite number?
True
Let x be (-1 + 15/20)/((-5)/60). Suppose 28529 = x*k + 4*r + 5674, k = 2*r + 7605. Is k composite?
True
Suppose -