e number?
True
Suppose n = -3*r + 21738, 3*r - 2*r + 5*n = 7246. Is r prime?
False
Suppose 3*l = 9*l - 9894. Suppose 0 = 7*z - 8*z + l. Is z a composite number?
True
Let h = -7789 + 11618. Is h a prime number?
False
Let f = 58 - 72. Let k(q) = q**3 + 17*q**2 - 11*q - 25. Is k(f) composite?
True
Let o(x) = 631*x - 50. Is o(3) a composite number?
True
Let d(b) = -b**3 - b**2 - 118. Let g be d(0). Let p = -4 - g. Suppose 0 = -c - 2*z + 30, 2*c + z - p = -3*c. Is c composite?
True
Suppose -j + 4*j + 824 = 4*i, 4*i - 4*j = 820. Is i a composite number?
True
Let g = -3073 + 1839. Let m = -663 - g. Is m a composite number?
False
Suppose -1925 = 5*c + 5*k, -c = -5*c - 2*k - 1534. Let y = -272 - c. Suppose -j = j - y. Is j a prime number?
False
Let c = -3068 - -5410. Is c composite?
True
Suppose 0 = m + 1, 5*n + 4*m = 3*n. Is 367 + (3/1 - 7)/n prime?
False
Suppose -3*d = -i - 11242, 8 = 5*i - 17. Is d a composite number?
True
Let a(f) = -10182*f**3 + 2*f**2 - 2*f - 3. Is a(-1) a prime number?
False
Suppose -u + 9741 = 2*w, 4*u - w - 40023 = -1068. Is u a prime number?
True
Let c(z) = 2*z**3 - 18*z**2 - 87. Is c(16) prime?
False
Let m be 3/(-6) - (-35)/10. Suppose -2*j + m*j - 815 = 0. Is j composite?
True
Suppose -7*o - 954395 = -12*o + 5*f, -2*o + 3*f + 381758 = 0. Is o a composite number?
True
Let o = -9 - -38. Let v = o - 19. Let h = v + 4. Is h a composite number?
True
Is (10 - 2 - 6)*19421 composite?
True
Suppose 16*s - 58185 - 27031 = 0. Is s a composite number?
True
Is 5058 + (4 + -3)/((-1)/(-1)) a prime number?
True
Let g = 3309 + -562. Is g composite?
True
Let g be (-33)/((-2)/354*3). Suppose 4*h + w - g = 0, -138 - 344 = -h - 5*w. Is h prime?
True
Suppose 57*i - 39*i = 13518. Is i prime?
True
Let o = 4020 + 233. Is o composite?
False
Let w = 1285 - 424. Let k = -598 + w. Is k a composite number?
False
Suppose 3*n + 1820 = -1249. Let m = n + 1733. Suppose m = 5*v + o, 2*v + o - 276 = -o. Is v a prime number?
False
Suppose -10*k + 423 = -5417. Let q = -253 + k. Is q composite?
False
Is (5366/5)/((-66)/10 + 7) a composite number?
False
Suppose -h - 4 = 0, 5*g - 29040 = g + 3*h. Suppose -2*p - t + 4838 = 0, 0 = 3*p - 3*t + 4*t - g. Is p composite?
True
Let d(n) = -n**3 - 9*n**2 + 10*n + 17. Let g be d(-10). Suppose -g*u - 14020 = -21*u. Is u a prime number?
False
Let c = 9149 - 5608. Suppose c = 8*h - 2195. Is h a prime number?
False
Suppose 2*x + 160 = 5*a, 5*a + 3*x - 125 = -2*x. Let k = a + -15. Is k a composite number?
True
Let w(x) = 3678*x**2 - 15*x + 19. Is w(2) a composite number?
True
Suppose -40*u + 35*u = -14605. Is u a prime number?
False
Let n(v) = -v**3 - 5*v**2 + 4*v - 8. Let o be n(-6). Suppose 0 + o = x. Suppose -3*k - 2*f = 3*f - 926, -2*k + x*f = -610. Is k a composite number?
False
Suppose 2*h - 3*g = 5*h - 3573, -3*h - 4*g + 3575 = 0. Is h a prime number?
False
Suppose 3*g - 6*g = -m - 2, 4 = 4*g - m. Suppose -3*n - 2*h + 2853 = 0, -2*h + 3*h + 946 = n. Suppose 4*u + 327 = v + 2*u, g*u - n = -3*v. Is v a prime number?
False
Let f(g) = -13*g + 15. Suppose 3*m = 0, 2*z - m = -6 - 10. Let y be f(z). Let c = y - -407. Is c a prime number?
False
Let m = 1931 + 14616. Is m a prime number?
True
Let r be 4*(-5)/(-10) + 2903. Suppose -4*k = k - r. Is k prime?
False
Is (6/21)/(6*1/396354) composite?
True
Suppose 3*x - 3*d = 4107, 0 = -13*d + 14*d. Is x composite?
True
Let h(y) = 12*y - 2. Suppose 5 = r, 0 = -7*i + 3*i - 3*r + 51. Let l be h(i). Suppose -2*p = 4*g - l, 2*p = -5*g + 6*p + 113. Is g composite?
True
Is (-36)/12 + 9180 - -6 prime?
False
Let a(b) = b**3 - 3*b**2 - 9*b - 3. Let q be a(9). Let f = q - 139. Let v = -136 + f. Is v a composite number?
False
Suppose 4*r - 4*o = -26 - 38, 89 = -5*r - 4*o. Is (r/3)/(5/(-465)) prime?
False
Is 85/(-34)*231688/(-20) prime?
True
Suppose -9 = -3*b + 3. Suppose b*f = 551 - 63. Is f prime?
False
Suppose -7*g = -12*g + 30. Is (-5 - -1)*(g - 9080/32) composite?
True
Let g = -28127 + 40354. Is g a prime number?
True
Is (1060/(-60) + 16)*70647/(-5) prime?
True
Suppose -o + 3*o - 28 = 0. Suppose -8 = 3*d - 4*m + 7, -o = -d - 5*m. Is d/(-4 + 369/93) composite?
False
Suppose -g = -134 - 103. Let l = g + 1456. Is l prime?
True
Let y(v) = 9*v + 52. Let i be y(-5). Is (-3296)/(-40) + 2 + i/(-5) a composite number?
False
Let h(o) = o + 4. Suppose -3*k + 46 = 70. Let r be h(k). Is 326*(r - (-9)/2) a prime number?
True
Let n = -20 - -16. Let a be n*(-4)/(-16)*-5. Let s = 60 - a. Is s a composite number?
True
Is (-22743 + 8)*(0 + -1) prime?
False
Let j be 0 + (-71688)/(-64) - (-1)/(-8). Let n = j + 1639. Is n a prime number?
False
Let q(w) = w**3 + 16*w**2 - 13*w + 22. Let j be q(-14). Let t = j - 169. Is t composite?
True
Let t = -149 + 229. Suppose -d - 134 = 2*a - 7, 3*d + 353 = a. Let x = t - d. Is x a prime number?
True
Let r be -8 - -6 - (0 + (-2 - 4982)). Suppose 8*v = -1150 + r. Is v composite?
False
Suppose -2*c + 786 = -4*n, 5*c - 4*n - 586 = 1367. Is c a composite number?
False
Suppose -4*n - 3*c = -8783, 9*n - 3*c - 8777 = 5*n. Is n prime?
False
Let i = 161234 + -87855. Is i a composite number?
False
Let l(c) = -c**3 - 17*c**2 - 10*c. Let u be l(-12). Let f = 1582 + -689. Let m = u + f. Is m a composite number?
False
Suppose -3*d - 3*t = -13209, 12*t - 6 = 14*t. Is d composite?
True
Let d = 163 - -44. Suppose d = -o + 1622. Is o a composite number?
True
Suppose 66502 = 5*k - 3*p, -22*p + 20*p - 66503 = -5*k. Is k a prime number?
False
Suppose 2 = 7*y - 19. Let s(t) = 3*t - 7. Let u be s(y). Suppose -4*d - 6*l + l + 2937 = 0, 2*l - u = 0. Is d a prime number?
True
Let s(y) = 19*y**2 - 9*y + 16. Let q be s(5). Suppose 0 = 5*u - 5, -6*u = 3*a - u + 13. Is (-1)/3 - q/a composite?
True
Suppose 0*y + 9 = -y. Let k be 53580/(-54) - 2/y. Let r = k + 1729. Is r a prime number?
False
Suppose 3022 = 3*t + n, t + 2*t - 3012 = -3*n. Is t a prime number?
True
Let o(b) = b + 1. Let r be o(-1). Let c be r + 70 - (-5 - -1). Let n = 505 - c. Is n composite?
False
Let y(j) = 44*j**2 - 11*j - 16. Is y(-7) a composite number?
True
Let s(b) = -b**2 - 13*b + 50. Let p be s(-16). Suppose -3*v - 14 = -p, -7497 = -3*k - 3*v. Is k a composite number?
False
Suppose -23*j + 2272 = -25*j. Let c = -429 - j. Is c a prime number?
False
Suppose 5*f - 2*f = -3. Let o(g) = -17*g - 4. Let m(h) = -1. Let c(n) = -6*m(n) + o(n). Is c(f) prime?
True
Let h = -1915 + 7511. Suppose -v + h = 3*v. Is v a prime number?
True
Let h be 168/12*(-2)/4. Let w(a) = -a**3 - 4*a**2 - 9*a + 1. Is w(h) composite?
False
Let o(w) = -9*w**3 + w**2 - 6*w + 5. Let h be o(2). Let f = h + 1190. Is f a prime number?
False
Let p be 14/70 - (-8)/10. Let l(z) = 250*z**3 + z**2 - z + 1. Is l(p) prime?
True
Suppose -1024 = 11*k - 15*k. Let c = k - 133. Is c a composite number?
True
Let l(o) = 4*o - 10. Let r be -8*(-2 - 65/(-40)). Let t be l(r). Suppose t*i = -i - 4*s + 319, 2*i - 226 = 4*s. Is i a prime number?
True
Let i be (-16)/(-5) - 22/110. Let l be 0 + (-11)/(-2)*124. Suppose 3367 - l = i*j. Is j a composite number?
True
Let l be -1*5853/(-3) + (5 - 8). Let c = l - 719. Is c prime?
True
Suppose 14*t - 15*t + 4*a = -2145, -2181 = -t - 5*a. Is t a composite number?
False
Is 5 - ((-10635)/3 + -4) a prime number?
False
Suppose -2*t = 4*w - 0*t + 6206, -3*w - 4*t = 4667. Let b = w - -3794. Is b composite?
True
Let m be ((-1)/(-3))/((-11)/(-165)). Suppose -2*n + 2230 = c, -5*n + 2*n + 3345 = m*c. Is n a composite number?
True
Let h be 1/(-2) - (-50)/4. Suppose 8 = 5*s - h. Suppose 5*d - 2103 = -s*x, 5*x - 2699 + 68 = -4*d. Is x prime?
False
Let p = 9955 + -6242. Is p a prime number?
False
Let k = -33 + 23. Is (-22061)/(-65) + 4/k a prime number?
False
Suppose 5*c - 1 = -21. Let g(d) = -9*d - 14. Is g(c) a prime number?
False
Let z be (-27 + -1)*((-39)/(-6) + -7). Suppose 7*a = z*a - 8771. Is a a prime number?
False
Let h = 75 - 72. Suppose 0 = h*f - 2*r - 1453 - 948, 4*f - 3183 = -r. Is f a prime number?
True
Suppose 2*q + 5004 = 3*j - 2301, j - 2449 = -4*q. Is j prime?
True
Suppose 7*v + 7 = 6*v. Let h(r) = 4*r + 4*r + 4*r**2 + 6*r + 1 - 4*r. Is h(v) composite?
False
Suppose 9*s = 2674 - 577. Is s prime?
True
Let h(b) be the first derivative of b**5/5 - b**4/3 + 2*b**3/3 - b**2 - 4*b - 3. Let g(s) be the first derivative of h(s). Is g(2) a prime number?
