 number?
True
Is (495528/330)/((-4)/(-10)) prime?
False
Let r be 65/55 + (-2)/11. Let m be ((-6)/7)/(r/(-7)). Is m/(-21) + (-891)/(-7) a composite number?
False
Suppose -10*m + 20*m = 10870. Is m a prime number?
True
Let m = 89 + -51. Let c = m + -34. Suppose 2*g + 3*z = 163, c*z - 5*z = -4*g + 305. Is g a prime number?
False
Let l be -3*(167/3 - 3). Let a(k) = k**3 + 2*k**2 + k + 11. Let g be a(-8). Let b = l - g. Is b a composite number?
False
Let r(s) be the first derivative of 3*s**4/2 + 2*s**2 + s + 4. Let q be r(3). Let h = -60 + q. Is h a composite number?
True
Suppose 4*v = 2*w + 498, 3*v - 5*w + 126 = 482. Is v composite?
False
Suppose -6*y + 22802 + 6316 = 0. Is y composite?
True
Suppose 3*z + 420 = -2*z. Let m be z/(-10)*30/1. Let d = 365 - m. Is d prime?
True
Suppose 55 = 4*i + 7*i. Suppose -a = -i*m - 359, m = -4*a + 1918 - 482. Is a a composite number?
False
Let c(z) = -3*z**2 - 14*z - 31. Let t be c(-16). Let k = 314 - t. Is k a prime number?
False
Suppose 2*f + 4*w + 22 = 0, -3*f - 20 = 2*f + 3*w. Let r = 38 + f. Is r a prime number?
True
Suppose 0 = -8*f + 11*f + 87. Let g = 198 + f. Suppose 451 + g = 4*h. Is h prime?
False
Suppose -4 + 0 = -v. Suppose n + v*q - 41 = 24, 0 = 4*n - 2*q - 206. Is n a prime number?
True
Suppose -3*h + 2414 = -2*l, -2*h + 3*l - 2424 = -5*h. Suppose t + u = -u + 810, 3*u = -t + h. Is t a prime number?
False
Let t = 14638 + 18753. Is t a prime number?
True
Let n(t) = 12*t**2 + 17*t + 29. Is n(-6) composite?
False
Let z(k) = 3*k**3 - 5*k**2 - 5*k + 19. Let r be z(-9). Let x = 3569 + r. Is x prime?
False
Let m(i) = -2 + 19*i**2 - 4 + 1 + i + 4*i**2. Is m(3) composite?
True
Let q be -1*9/6*(-4)/3. Suppose 32 = 5*b + 2*a - 47, b = -4*a + 5. Suppose -29 - b = -q*t. Is t a composite number?
False
Let i = 2445 - 652. Is i a prime number?
False
Suppose -2*o - 26 = 12. Let l = 21 + o. Suppose l*x = x + 559. Is x a prime number?
False
Suppose 0*w - w + 22 = 0. Let m be 2/(-4) - (-2013)/w. Let b = 140 - m. Is b a composite number?
True
Suppose 3 = -3*z + 12. Suppose -t - 4572 = -z*s + 3324, 0 = -4*t + 12. Is s prime?
True
Is 3/(-15) - (-1026428)/65 prime?
True
Suppose -4242 = -4*i + 2*i. Let k = i - 872. Is k composite?
False
Suppose 9 = -4*b - 15. Is 4/(12/(-1481))*b/2 a composite number?
False
Let d be (30/3)/(-40) + 18/8. Suppose -15 = d*y - 5, 0 = 3*b + 5*y - 2564. Is b prime?
True
Suppose -16*k + 19972 + 9484 = 0. Is k a prime number?
False
Suppose 5*r - 5*k = 53400, 5*r - 24086 = 4*k + 29315. Is r prime?
False
Let l(z) = -z**3 - 11*z**2 - z - 8. Let r be l(-11). Suppose -3*f = -5*o + 942 - 153, 813 = -r*f - 3*o. Is (-12)/20*(f - -3) prime?
False
Let f(q) = -q**3 + 15*q**2 + 8*q + 9. Suppose 14 = -5*a + 7*a. Is f(a) composite?
False
Suppose 27 = 2*s - 5*x, 3*x + 6 = -2*s + 25. Let a(b) = 2*b**3 + 5*b**2 + 13*b - 21. Is a(s) a composite number?
False
Let m be -3 - (-9 + 4/4). Suppose m + 29 = x. Suppose -x = 2*r - 104. Is r prime?
False
Suppose -3 = -3*a + 9. Suppose -a*l + l = -1893. Is l a composite number?
False
Let n(x) be the first derivative of -x**3/3 + 3*x**2 - 3*x - 4. Let r be n(7). Let y = 41 + r. Is y composite?
False
Let v(j) = -j**2 - j. Let y(l) = -l**3 - 2*l**2 + 3*l + 13. Let f(i) = 5*v(i) + y(i). Let x be f(-6). Let c(h) = -h**3 - 9*h**2 + 2*h + 3. Is c(x) prime?
True
Suppose -46*j + 1062 = 2*w - 51*j, 0 = -4*w + 4*j + 2148. Is w composite?
False
Let c(w) be the first derivative of w**4/4 + 2*w**3 - 2*w**2 - 2*w - 12. Let l be (-1 - 1*-4)/(-1). Is c(l) prime?
True
Suppose 3*b - 4050 = -2*b. Suppose -b = -z - z + 4*t, 0 = -2*z - 3*t + 838. Is z composite?
True
Let m(b) = 60*b**3 + 12*b**2 - 6*b + 23. Is m(6) prime?
False
Suppose -4*h - 4*q + 73744 = 0, 0*q - 18448 = -h - 5*q. Is h composite?
False
Let m(k) = 4*k**2 + 8*k - 29. Let w be (2/1)/(14/49). Is m(w) a composite number?
False
Let t be -10 + 6 - -21*2*-64. Let v = 6339 + t. Is v a prime number?
False
Suppose -z + 27 = 2*z - 3*c, 5*c = -25. Suppose 2947 = z*y - 3*l, -3*y - l + 224 + 1970 = 0. Is y a composite number?
False
Let w(l) = -91*l + 1. Suppose 0 = -4*d + 4*h - 5*h - 18, h = -3*d - 14. Is w(d) composite?
True
Let i(b) = b - 1. Let k(q) = 153*q - 5. Let z(v) = 6*i(v) - k(v). Is z(-2) a composite number?
False
Let z(t) = 2*t + 9. Let n be z(8). Let i = n + -25. Suppose -3*r + 6*r - 807 = i. Is r prime?
True
Let y be 14*(-3 - -5)/4. Suppose 0 = y*t - 2 - 96. Is t prime?
False
Suppose 12148 - 1615 = 3*f. Is f a prime number?
True
Suppose 3*u + 4 = 4. Suppose 4*l + 29 - 793 = u. Is l a composite number?
False
Let v(i) = i**3 - 4*i**2 + 3*i + 2. Let b be v(3). Suppose 2*p + b*z = 1688, -4*p = -z - 841 - 2510. Is p prime?
True
Let x(l) = 2*l**3 + 7*l**2 + 5*l - 15. Suppose -w + 4*f - 13 = 0, 0 = -2*w - 3*w - 5*f + 60. Is x(w) a composite number?
False
Let p be 6 - (-1 - 2/2 - -1). Suppose p*s - 3*s - 12 = 0, -2*s + 4773 = 3*c. Is c a composite number?
True
Let t be 8 - -11 - (-6)/2. Let k = t + -27. Is 2032/(-40)*k/2 a composite number?
False
Suppose 0 = 96*a - 820074 + 98442. Is a a prime number?
True
Let c(k) = -k**3 + 12*k**2 - 15*k - 4. Let t(z) = z**2 - 11*z + 8. Let m be t(11). Let j be c(m). Let l = -5 + j. Is l composite?
False
Suppose -3*u - 143 = 5*q - 7444, -4870 = -2*u - 2*q. Is u a composite number?
False
Let t(n) = 4*n**3 - 9*n**2 + 2*n - 5. Let s be t(6). Let d be s + (-3 - -4)*-2. Suppose -418 = -5*u + u - 2*v, -5*u + d = -5*v. Is u a composite number?
True
Let s = -3194 - -6865. Is s prime?
True
Let i(v) = -v**2 + 5*v + 39. Let j be i(9). Suppose 4*g = 4, -2*s - 6*g + 2877 = -j*g. Is s a composite number?
True
Let d(w) = -6*w - 22. Let i be d(-5). Suppose -i*s + 638 = -6*s. Is s a prime number?
False
Let d(i) = 10*i**2 + 24*i + 5. Let u be d(-2). Let w = -3 - -2. Is (32 + w)*(-3)/u composite?
False
Is (-2)/(22/(-11) + (-836)/(-419)) a composite number?
False
Suppose -18 = -4*c + 3*g, g - 11 = -3*c + 2*g. Suppose s = c, 7*t - 3*t - 5*s - 3973 = 0. Is t prime?
True
Let o = -131 - -707. Suppose 0 = -2*n - 2*n + o. Suppose -61 = -j + n. Is j prime?
False
Let y(t) = t**2 - 2. Let h be y(2). Suppose 0*p = p + h, 4*p - 2 = 5*f. Is (-2 - f)/1 + 51 prime?
False
Suppose -4*g = -3*p - 2*g + 21, 2*p = -2*g + 4. Let j = -22 - -24. Suppose 0 = -j*m - 4*c - 0*c + 1594, -p*c + 812 = m. Is m a prime number?
True
Let j be -30*(40/12)/(-5). Let r = j - 16. Is r/26 - (-45395)/91 a prime number?
True
Is -10 - (-3111)/(-8 + 11) prime?
False
Suppose 0*y - 4*h - 8 = 2*y, -2*y - 6 = 2*h. Let x be 1488 - (0/(-4) + y). Suppose 0 = -3*l + 8*l - x. Is l a composite number?
True
Suppose 4*m + 15924 = f + 5365, 0 = -4*f - 5*m + 42236. Is f prime?
True
Let f = -1807 + 910. Let q = f - -5326. Suppose -3*v + c = -c - q, 5904 = 4*v - 4*c. Is v a prime number?
False
Suppose 1863 + 1613 = 4*y. Is y a composite number?
True
Suppose -3*u - 46691 = -4*u + 4*f, -4*u - 4*f + 186744 = 0. Is u prime?
True
Suppose o - 6 = -0. Let z(g) = g - 3. Let m be z(o). Suppose -3*t = -m, 719 = 5*y + 6*t - 2*t. Is y a prime number?
False
Let y be (-86)/(-4) + 16/(-32). Suppose 6 = -5*d + y. Is ((-1)/d)/((-5)/7305) a composite number?
False
Let q(g) = 3*g**2 + 2*g - 12. Let d be q(3). Is (-332)/(-7) - 9/d prime?
True
Suppose -6*r + 14*r = 0. Suppose 0*x - x + 1337 = r. Is x composite?
True
Let w(i) be the second derivative of i**5/20 - 11*i**4/12 + 3*i**3/2 + i**2/2 + 3*i. Let v(n) = -n**2. Let j(l) = 2*v(l) - w(l). Is j(7) a composite number?
True
Let t(d) be the second derivative of 1/2*d**2 + 5*d + 31/2*d**3 + 0. Is t(8) a prime number?
False
Suppose -5*l + 15 = -4*l. Let o be (956/(-6))/((-10)/l). Suppose -2*k + o = -3*y, 4*k - 535 = 4*y - 59. Is k prime?
False
Let a(l) = 11*l**3 - 7*l**2 + 3. Let h(m) = m**2 - 3*m - 22. Let k be h(7). Is a(k) a composite number?
True
Suppose 0 = -19*g + 7739 - 196. Is g a composite number?
False
Suppose m - 3 = -4. Let r(p) = -253*p - 2. Is r(m) composite?
False
Is (-6)/(-33) + (2 - 347082/(-66)) prime?
True
Let r = 111194 + -77787. Is r prime?
False
Suppose t = 4*s - 3262, 4*t = -3*s + 1851 + 586. Is s a prime number?
False
Is (917984/(-144)*-9)/(1 - -1) a composite number?
False
Suppose 2*y = -14 - 4. Let s(o) = -44*o - 31. Is s(y) a composite number?
True
Let v = 3171 + 12398. Is v prime?
True
Let l = -52 - -55. Is l - -124 - 