et t = 9 + c. Is t a composite number?
True
Let y = 409 + -403. Is 314629/21 - ((-4)/y + 0) prime?
True
Let p(v) = -870*v**3 + 3*v**2 - 179*v - 1331. Is p(-8) a composite number?
True
Suppose -4*w = 4*z - 4, 0 = -4*z + 2*w - 3 - 11. Let b = z + 95. Let s = -54 + b. Is s prime?
False
Let u(x) = 3*x + 29. Let y be u(-7). Suppose 9*n = 13*n - y. Suppose -5*b + n*d = -7709, -4*d + 1534 = b - 7*d. Is b prime?
True
Suppose -352*n = -190*n - 7139502. Is n a prime number?
True
Suppose -3*u - 9026 + 1872 = -m, 2*u = -8. Is m composite?
True
Let r(m) = 195*m**3 - 4*m**2 - 1. Let t be (-20)/70 - (-1 + (-27)/21). Is r(t) composite?
False
Suppose -6414*m + 6400*m + 4466 = 0. Is m a composite number?
True
Suppose m - 4*z = 120323, -21*z - 12 = -19*z. Is m a composite number?
False
Is 15 + ((-298277)/(-7) - 15) composite?
False
Let a(z) = 3 - 2*z + 2 - 4*z + 3*z. Let v be a(-3). Suppose v*t - 13*t = 7655. Is t prime?
False
Let u = -3515 - -5268. Let o = 3630 + u. Is o a composite number?
True
Let j be 2 - (9/3 - -116). Let c be 6/(-4) + -2*j/12. Suppose -98 = -c*p + 16*p. Is p a prime number?
False
Let y be 10/3*(-7 + 37). Let w = 217 - y. Suppose 6*g - 3*g - 2*z - w = 0, -4*z = -g + 39. Is g a prime number?
False
Let u(l) = 2*l**2 + 6*l + 25. Let v be u(5). Is (-16758)/(-15) - 7/v*3 a prime number?
True
Let i = 143022 - 40625. Is i composite?
False
Let a be (6 - 3)/(6*(-3)/(-138)). Suppose 344 = -19*l + a*l. Let n = l - 3. Is n composite?
False
Suppose b - 2*h + 3917 = 0, -2*b - 5*h - 7012 - 858 = 0. Let g = b + 9774. Is g composite?
False
Let m(p) = -3924*p**3 + p**2 + 2*p. Let y be m(-1). Suppose -18*b + 64459 = -y. Is b prime?
False
Let u(s) = 6*s**2 + 5*s + 46. Is u(-25) prime?
True
Let b = -6302 - -16437. Let q = b - -2518. Is q a prime number?
True
Suppose 12*z + 19*d = 17*d + 517400, z - 3*d = 43123. Is z prime?
True
Suppose 5*w + 484692 = 3*c, 0 = c - 51*w + 46*w - 161554. Is c a prime number?
True
Suppose -2*k = -0*d - 2*d - 24, 3*d + 57 = -4*k. Let q be (-1 - -96)*(-24)/d. Suppose 3*n = 11*n - q. Is n a prime number?
True
Suppose -3*y = -3, 0 = 5*l + 2*y - 16 - 31. Let m(o) = -14 + 4*o**2 + 11*o**2 - 9*o + 3*o + 2*o**3. Is m(l) prime?
False
Let l(a) = -1. Let h(y) = -7*y - y**3 - 8*y - 10 + 2 + 16*y**2. Let v(s) = -h(s) - 3*l(s). Is v(15) a composite number?
False
Let r be ((-5)/(-30)*9)/(6/16). Suppose r*g + 66 = -7*g. Let l(b) = -116*b + 13. Is l(g) prime?
True
Let m = 44 + -31. Suppose m*o + 16 = 5*o. Is ((-5)/o - 2) + 615/6 a composite number?
False
Let x(n) = -n**2 - 9*n - 1. Let i be x(-8). Suppose -6*t = -i*t + 27941. Is t a prime number?
True
Suppose k - 2*k + 4 = -2*o, 5*k = 3*o + 20. Suppose -6*d + 47 - 23 = 0. Suppose 4*t = -4*c + 2684, k*t + d*c = 2*t + 1346. Is t a composite number?
True
Suppose -18*k - 15 = -105. Let c(m) = 52*m - 114. Is c(k) composite?
True
Suppose -12*a = -119495 - 67321. Suppose 0 = 2*n - 2*y - 7780, -4*n - 5*y + a = -y. Is n a prime number?
False
Is ((-810)/(-2025))/((-4)/(-170110)) prime?
True
Suppose 27*g = -7*g - 136. Is ((3 + g)/(-3))/((-3)/(-279621)) a prime number?
True
Suppose -15*w - 67 = 23. Is (2 + w - -11583)/1 a prime number?
True
Let t(d) = -1056*d + 21. Let z be t(-3). Suppose 7*o - 3440 - z = 0. Is o prime?
True
Let u be (-14 - -15)*(-30)/(-2)*1. Suppose 9*b - u*b + 18822 = 0. Is b prime?
True
Let r be (33564/20)/(21/70). Suppose -r = -2*i + 4*l, 4*i + 2715 = 2*l + 13903. Is i a composite number?
False
Let a(p) = 394 + 1740*p - 159 - 194. Is a(5) prime?
True
Let x(h) = 4*h**2 + 4*h - 3. Let d be x(1). Suppose 2*a - 2*i = -14, i + 2*i = -d*a + 5. Is 202/(-4)*a - -2 a prime number?
True
Let a be (-276)/(-30) - 9 - (-27979)/5. Suppose 0 = -3*y - p + 2629, -p + 1209 - a = -5*y. Is y composite?
False
Suppose -4*z = -n + 130021, -130009 = 3*z + z - 5*n. Is 516/(-60) - -9 - z/10 prime?
True
Let y(c) be the first derivative of c**4/4 + 7*c**3/3 - c**2 - 10*c + 10. Let p be y(-7). Suppose -p*r - 4204 = -5*q + q, -3*q = -5*r - 3157. Is q prime?
True
Let g = -114426 + 200728. Is g composite?
True
Suppose r - 24 = -r. Suppose 0 = 4*c - r, -t + 74588 = 3*t - 4*c. Suppose 5*h - 15*h = -t. Is h composite?
True
Let f be 2/((-20)/(-6)) + (-109445)/1325. Let x = 453 + f. Is x prime?
False
Suppose -13*g = -40*g + 162. Let l(f) = -5 - 1 + 81*f + 2. Is l(g) prime?
False
Suppose 34*c - 1006442 = 275052. Is c a composite number?
False
Suppose 3*p + 2*l - 68 - 6 = 0, l - 24 = -p. Let a = -21 + p. Suppose a*m - 1294 = -o, -2*o + 5*m = -2258 - 405. Is o prime?
True
Suppose 2483008 + 84633827 = 196*r - r. Is r prime?
True
Let o = 6238 - 27. Is o prime?
True
Let x be ((-285)/(-76))/(3/36760). Suppose 7*q - x - 58623 = 0. Is q a composite number?
False
Suppose 3*s - 54300 = -11406. Let g = 14971 + -6530. Let r = s - g. Is r a composite number?
False
Let l(n) = n**2 - 33*n - 590. Let b be l(46). Let s(r) = -24*r**2 - 3*r - 4. Let v(c) = 48*c**2 + 6*c + 7. Let f(a) = 5*s(a) + 3*v(a). Is f(b) composite?
True
Suppose 1525881 = 23*w - 1758404. Is w a prime number?
False
Let p(t) = 773907*t**2 - 3*t - 95. Is p(-2) composite?
False
Suppose 14*n - 9*n = 40. Let p be 15/20 + 22506/n. Let u = p + -1753. Is u a prime number?
True
Let f be 208/7 + -1 - (-4)/14. Is f/(-145) + (-40432)/(-10) a composite number?
True
Suppose 0*j = 7*j - 6454. Suppose -t + 458 + j = i, 0 = -t - 5*i + 1368. Let y = -964 + t. Is y a prime number?
True
Let k = 2235 - 566. Suppose -6*z - k = -18163. Is z prime?
True
Suppose 4*x - 634544 = p + 1091036, -2588390 = -6*x + 4*p. Is x a composite number?
True
Suppose 9907 - 30985 = -3*p + m, -21084 = -3*p + 3*m. Suppose p = 5*g - 4*f, -5*f = 2*g - 0*g - 2843. Is g composite?
False
Suppose 7*a - 14*a + 105 = 0. Suppose -a*h = 4*h - 15181. Is h composite?
True
Suppose 8*c + 20 = 52. Suppose 5*m - 2907 = -c*r, 0 = 5*m - 4*r - 150 - 2773. Is m a composite number?
True
Suppose -4*u + 15824 = -3*o, -15792 = -4*u + 45*o - 50*o. Is u composite?
True
Let y(d) = 25*d**2 + 5*d + 29. Let t be 38/4 + 54/108. Is y(t) a prime number?
True
Suppose i - 4*h - 126 = 0, 5*i - h - 458 - 77 = 0. Suppose 0 = -2*d + 2124 - i. Is d prime?
True
Suppose -20*v + 15*v = 23*v. Let a(d) = d + 5. Let i be a(-3). Suppose i*b - 4*b = c - 4638, 4*b - 2*c - 9260 = v. Is b a prime number?
False
Let k = -29 - -38. Let x be (4180/(-15) + 2)*(-72)/10. Is x/k + 3/(-9) prime?
False
Suppose q - 10 = -2*v, -2*q + 5*v = 4 + 12. Suppose -3*p = -4*g + 44263, -g = -q*g - 5*p + 11060. Is g composite?
True
Suppose 4*j + 24915 = 5*o, o - 2*j - 2219 = 2758. Is o composite?
False
Let j(p) = -4 - p - 13*p**2 - 2*p - 6*p + 7*p. Let i be j(9). Let k = -564 - i. Is k a composite number?
True
Let m = 88014 + -54067. Is m prime?
False
Let y = 1 - -8. Suppose 0 = -7*b + y*b - 1468. Suppose p = 3*o + b, 2*p + 2*p + 5*o = 2987. Is p composite?
False
Let h(m) be the second derivative of -1/2*m**2 + 0 - 1/6*m**3 - 14*m + 5/12*m**4. Is h(-9) prime?
False
Let s(w) = -10*w + 4. Let r be s(0). Suppose 1216 = h + 4*b + 116, r*h - 4451 = b. Suppose -2*x + 1458 = -h. Is x composite?
True
Suppose 0*x + 1965 = 5*x. Suppose 6*h + 5*t + 485 = h, -4*h + t = x. Let d = h + 264. Is d a composite number?
True
Let b = -34768 - -12016. Let t = -14207 - b. Is t composite?
True
Let l(g) = g**3 + 19*g**2 + 9*g + 17. Suppose -4 - 13 = -3*t + 2*f, 4*t - 3*f = 23. Suppose 0*p - 30 = p - 3*c, -t*c + 74 = -3*p. Is l(p) a prime number?
True
Let z = -52 + 51. Let u be z - 237/(-15) - (-4)/(-5). Is 149*3 - (10 - u) prime?
False
Suppose 12 = -4*d, w - 5*w + d - 57 = 0. Let b be -4*w/20 + 0. Is (10 + -6)*5*23 - b a prime number?
True
Let m(a) = 49*a - 2. Let c(x) = 2*x. Let j(d) = -4*c(d) - m(d). Is j(-5) a prime number?
False
Suppose 5*c + 3*c = 42*c - 826778. Is c a composite number?
False
Let g be 9*(-6)/(-36)*2. Suppose 0 = g*x - 3*h - 6936, -3*h = -x - h + 2315. Is x a prime number?
True
Let q be (-6)/14 + 286/14. Let s be q/(-90) + (-17752)/(-18). Suppose 2*u + 395 = -3*y + 2352, -3*y + s = u. Is u a composite number?
False
Suppose -h - 3796 = -5*c + 6954, 5*c - 10725 = -4*h. Is c a prime number?
False
Let m = 111419 + 32612. Is m composite?
False
Let o = -184 - -189. Suppose 4*l = 10*q - 13*q + 10490, q = o*l - 13103. Is l composite?
False
Let k = 1940 - 1937. Let t = 1368 - 838. Suppose -b + t = 3