1 a prime number?
False
Is ((-19)/(-3) - 6) + (-10452)/(-18) prime?
False
Let w(z) = -46*z**3 - 5*z**2 - 3*z - 13. Is w(-4) a composite number?
True
Let v(n) = -n**3 + 8*n**2 - n + 5. Let z be v(8). Let i(b) = -3*b**3 - 3*b**2 + b. Is i(z) composite?
True
Let u(i) = -2*i - 5 - 449*i**2 - 360*i**2 + 13*i**2. Let m(t) = -398*t**2 - t - 3. Let r(p) = 5*m(p) - 3*u(p). Is r(-1) a composite number?
False
Suppose 0 = -o + 6 - 3. Let c(f) = 536*f - 7. Is c(o) a composite number?
False
Let d(h) = -2*h**2 + h. Let b be d(1). Let w be (-2 - b) + 209 + 3. Suppose -5*y - 180 = -j + w, j = -y + 415. Is j composite?
True
Let a = -25 + 832. Suppose a = r + 220. Is r composite?
False
Let d = -11 + 5. Let o(q) = 3*q**2 - 3*q + 5. Is o(d) a composite number?
False
Let r(t) be the third derivative of 7*t**5/15 + t**4/12 + t**3/3 + 14*t**2. Is r(2) composite?
True
Suppose -u = 4*d + 12662, -5*u - 15835 = 5*d - 0*d. Let y = d + 5216. Is y a prime number?
False
Let k be (-2 - -14)*(-10)/(-15). Let p be (4/k)/((-1)/14). Is (-976)/(-6) - p/21 composite?
False
Let o = 1 - -1. Suppose -31*p = -26*p - 20. Suppose -o*r + 177 = -c, r + 3*r = p*c + 352. Is r a prime number?
True
Let o = 584 + 95. Is o prime?
False
Let m be 0/(-6*4/(-8)). Suppose 1221 = -m*s + 3*s. Is s a composite number?
True
Suppose 3*p - 2*d - 16 = p, -3*p + 8 = d. Suppose -104*i + 90*i + 4144 = 0. Suppose p*v - i = -0*v. Is v a composite number?
True
Let o = -13 + 16. Suppose o*n - n = 164. Is n a composite number?
True
Suppose d + h = -5, 5*h - 17 = d - 0*d. Let i = -2 - d. Suppose -6*j + i*j + 106 = 0. Is j a composite number?
True
Let o(t) = -13*t**3 - 8*t**2 + 11*t + 11. Is o(-14) composite?
False
Suppose 14*y - 15*y = -144. Suppose 7*k - 1033 = -y. Is k composite?
False
Let m = 16148 + -9369. Is m prime?
True
Let k = -152 - 126. Let l = k + 532. Is l prime?
False
Suppose 3*r = 2*y + 22, -3*r - 2*y + 26 + 0 = 0. Suppose 0 = -r*t + 10*t - 1166. Is t a composite number?
True
Let p = -15 + 15. Suppose 0 = -4*c - p*y - 4*y + 3920, -y + 4884 = 5*c. Is c/6 + 4/12 a composite number?
False
Suppose -4*c - 2*l + 7718 = 0, c - 2791 + 857 = l. Is c prime?
True
Suppose 0 = x - 3 - 4. Let k = -328 + 400. Suppose -r + x = -k. Is r composite?
False
Is 10055*-4*8/(-32) a composite number?
True
Let g = 62183 - 22986. Is g a composite number?
True
Let n = -281 + 490. Is n composite?
True
Suppose 165990 = 8*t - 10114. Is t prime?
True
Let c be 1*24/15*10/4. Suppose 5*d + c*s - 2563 = 0, 2*s = 1 + 3. Is d a composite number?
True
Is 3*(1 + -2) - 1 - -4483 prime?
False
Let f(j) = -j**3 - j**2 + j + 5. Let n be f(0). Suppose h - n*h = -2*o - 26, -3*h = 2*o + 33. Let r = o + 62. Is r a composite number?
False
Let d = 562 + 4273. Let h = d + -3412. Is h a prime number?
True
Let l(p) = p - 10. Let t be l(7). Is (t - -2)*(-670 - 3) composite?
False
Let t(k) = k**2 + 5*k - 5 + 3*k**2 + 6*k - 5*k**2. Let p be t(10). Suppose -p*q - 3*y + 114 + 71 = 0, -3*q + 111 = -y. Is q a prime number?
True
Let x = 3084 - -650. Is x prime?
False
Let i = 1677 - 600. Is i a prime number?
False
Let b = 17482 + -11628. Is b prime?
False
Let q be 1*-4 - (3 + 1133). Let r = -697 - q. Is r a prime number?
True
Let c = -251 - -373. Is c composite?
True
Is 27/45 - 279910/(-25) a prime number?
True
Is 3/((-99)/(-26295)) - (-2)/11 a prime number?
True
Suppose m - 1 = 1. Let h be 0 + 16/(-4) + 4. Suppose -u = 4*x - 19, h = -2*u + m*x + 13 + 5. Is u a composite number?
False
Suppose 32*u - 72232 = 24*u. Is u a composite number?
False
Is (2 - (-270822)/21) + 12/(-42) composite?
True
Let d(h) = 5*h - 26. Is d(17) a prime number?
True
Suppose 0 = 5*d + b - 101811, -2*b + 4*b - 81444 = -4*d. Is d composite?
True
Let f(k) = -167*k**3 - 1171*k**3 + 0*k**2 - k**2. Is f(-1) composite?
True
Suppose -2*u = -4*u + 30. Let l(f) = -u*f - 1 - 7*f - 4 + 4. Is l(-6) a composite number?
False
Let i = -3 + -11. Let k be (-2)/i - (-162)/42. Suppose -k*v + 2*t + 598 = 0, -4*v - 3*t + 408 = -185. Is v composite?
False
Let p = 54 + 6. Suppose s = -p + 147. Is s a composite number?
True
Let z(k) = -k**2 - 2*k + 5. Let a be z(0). Suppose -y - 3*l + 857 = -6*l, a*y - 4261 = 3*l. Is y prime?
False
Suppose 7*a + 52*a - 18939 = 0. Is a a prime number?
False
Let t be ((-14)/(-6))/1*-3. Is ((-9)/18 - (-661)/(-2))*t prime?
False
Let j be (-18)/(-7) + (-8)/14. Suppose -3*g = -5*z - j*g + 263, -4*g = -z + 45. Is z prime?
True
Suppose h - 2*h + 1133 = 0. Let t = h - 291. Is t composite?
True
Is 3/(-7) - 380976/(-84) prime?
False
Let k(i) = -390*i - 31. Is k(-3) composite?
True
Suppose 0*f = 3*f - 6, -3*m = 3*f - 2814. Is (1 - -2) + -2 + m + -4 prime?
False
Let g be 16/6 - (-11)/(165/(-10)). Suppose g*s - 4858 = 324. Is s composite?
False
Let w(j) = j - 2. Let z be w(12). Let k be z*8 - (-14)/7. Is (-4)/6 + k/6 a prime number?
True
Suppose -4*r = 2*l - r - 27, 0 = 4*l + 4*r - 48. Let j = -7 - l. Is j/(-72) + (-3434)/(-18) a composite number?
False
Let i = 165 + -61. Let t be (52/(-2))/((-2)/13). Suppose 3*v - 5*u - t = 0, -2*v + 0*v = u - i. Is v composite?
False
Let i = -21 - -23. Suppose 5*x + 6*w = 3*w + 30, -i*x - 9 = -3*w. Suppose -259 = -2*y + 3*p, -x*p = -2*y - y + 390. Is y a composite number?
False
Let j(g) = -18*g**2 + 133*g**3 - 2*g + 13*g**2 + 7*g. Is j(3) a composite number?
True
Let t(w) = 13*w**2 - 78*w - 74. Is t(-22) prime?
False
Let b(w) = 17*w**2 + 16*w - 83. Is b(-20) a composite number?
False
Let k(o) = 856*o - 915. Is k(17) a composite number?
True
Let w(s) = -18*s - 13. Suppose 0 = 5*i + 429 + 1386. Let h be 3/(-4) + i/44. Is w(h) composite?
False
Let o(g) be the third derivative of g**5/15 - g**4/8 + g**3 + 2*g**2. Let y be (-44)/(-36) + -6 - (-2)/(-9). Is o(y) a prime number?
False
Let c(j) = 20*j**2 + 8*j - 5. Let w = 20 - 14. Is c(w) prime?
False
Let c(b) be the third derivative of b**7/1680 - 11*b**6/720 + b**5/30 - 6*b**2. Let k(n) be the third derivative of c(n). Is k(8) composite?
False
Suppose -2*n + 5*s + 484 = 0, -n + 0*s + 3*s + 241 = 0. Is (-30)/6 + n - 5 a composite number?
True
Is ((-4547)/3 - 0)/((-2)/6) a composite number?
False
Let h = 34 + -29. Suppose -4*f = -2*o - 591 - h, -o = 3*f - 447. Is f a composite number?
False
Suppose 5*m = 5*f + 40, -5*m - 3*f = -6 - 34. Let c = 12 - m. Suppose -c*y = -56 - 20. Is y prime?
True
Let b(x) = -176*x + 5. Let i(s) be the first derivative of -3*s**4/4 - s**2 + s + 4. Let h be i(1). Is b(h) composite?
False
Suppose -158056 = -4*y - 4*q, 3*y = 2*q + 132010 - 13473. Is y a prime number?
False
Let y be 7 + 2/(3 - 1). Let v(m) = 3*m**3 + 3*m**2 + 10*m - 10. Let f(l) = l**3 - l**2 + l. Let i(x) = 4*f(x) - v(x). Is i(y) a composite number?
True
Let r(w) = w**2 + 2*w + 6. Let d be r(0). Suppose 0 = 3*f + d, c - f = 2*c + 15. Let m = c + 38. Is m prime?
False
Suppose -4*r - 50 = z, -2*z + 0*r - 73 = -r. Let j = z + 204. Is j composite?
True
Let f = -670 - -974. Let k be (-4)/18 - f/(-72). Suppose g - 43 = -5*w, g + 3*w = k*w + 31. Is g a composite number?
True
Let b be 42/7*2/4. Suppose 2*d = b*t + 1615, 0 = d - 0*d - 5*t - 790. Is d composite?
True
Suppose 30 = 3*d - 3*c, -4*d + 2*c + 36 = -c. Let f(t) = 17*t + 122. Let s be f(-7). Suppose -s*k = -267 - d. Is k prime?
False
Let n be (-16)/24 + 437/3. Let r = n - -496. Is r prime?
True
Is 6*12/24 - (-3237 + 1) composite?
True
Suppose 2*l - 42282 = -2*w, -w = 2*l - 2*w - 42288. Is l composite?
False
Let q(o) = 59*o + 2811. Is q(0) prime?
False
Suppose -17 - 1 = -4*w - 2*l, 4*w = -l + 19. Let a be ((-12)/4)/((-2)/1014). Suppose 3*o = 4*f + 629, w*o - 4*f + 470 = a. Is o prime?
True
Let p = -2211 + 6322. Is p a composite number?
False
Let p be (-46)/(-10) - 2/(-5). Suppose 3*a = j - 946, -4*a - 1356 = -p*j + 3407. Is j prime?
False
Let y = 12 - 8. Suppose y*u - 2141 + 817 = 0. Is u a prime number?
True
Let y(a) = -219*a + 1. Let f(c) = 220*c - 1. Let i(d) = -3*f(d) - 4*y(d). Suppose 0 = 2*k + 2*k + 12, 5*m = -3*k - 4. Is i(m) a composite number?
True
Suppose 3*i + 138 + 144 = 0. Let z = i + 538. Suppose -11*r + z = -7*r. Is r a prime number?
False
Let m(w) = 4*w**2 - 39*w - 23. Suppose 40 = -3*q + 5*q. Is m(q) a composite number?
False
Let w(l) = -2*l + 6. Let d be w(3). Suppose -2*o + 3*o - 900 = d. Suppose 0 = 4*u + 4*t - 9*t - 1195, -3*u = -3*t - o. Is u prime?
