omposite number?
True
Let m(h) = 1697*h - 1897. Is m(10) composite?
False
Let n = 202210 - -86971. Is n a composite number?
False
Let v be (6 - (6 - 4/(-12)))*-15. Is 23687 - 16/(20/v) composite?
True
Suppose -3*q + 1 = 7. Let m be ((18/(-48))/(4/(-32)))/((-15)/(-17490)). Is m/12*(0 - q) prime?
False
Let k(c) = c**3 + 8*c**2 - 10*c + 2. Let g be k(-9). Let v(s) = s**2 - 15*s + 43. Let l be v(g). Is l/(-3)*-3*-295 prime?
False
Let g(x) = 22 - 57*x - 1 - 8. Let b be (-13 + 5)*(-6)/(-8). Is g(b) a prime number?
False
Suppose -218*a + 189*a + 3917005 = -6224208. Is a a composite number?
False
Let i = 217 + -217. Suppose i = b - 231 - 30526. Is b composite?
False
Let q(o) be the first derivative of 3*o**4 - 7*o**3/3 - 5*o**2 - 12*o - 105. Is q(9) a composite number?
True
Let o be 11 + (-3)/(-2)*24/(-9). Let t(m) = 203*m**2 + 1 - o*m + 11 - 3. Is t(2) composite?
True
Let k(v) = 65729*v + 2521. Is k(2) composite?
False
Is (46 + -12)/(8/43532) prime?
False
Let v(z) = 232*z - 6. Let q be v(8). Suppose -t - 203 = 264. Let r = q - t. Is r prime?
False
Suppose h = -4*q + 25678, 9*h = 6*h - 5*q + 76999. Is h prime?
False
Is ((-115253227)/3688)/((-2)/16) a prime number?
True
Let h be (1 - 1) + (99/(-9))/(-11). Let g = -20 - -24. Is h/(g/(-444)*-3) a composite number?
False
Suppose -d + 6653 = 26*w - 30*w, -2*d = 4*w - 13378. Is d a prime number?
False
Suppose 17*b - 1260624 = -381503. Is b prime?
True
Let o(z) = 589*z**2 - 2*z + 5. Let m be o(1). Suppose -6*i - 2*b + 188 = -4*i, 0 = -3*i + 3*b + 258. Suppose -m = -h - i. Is h prime?
False
Let x(k) = 10*k**2 + 48*k - 639. Is x(61) a composite number?
False
Let k(x) = -5845*x**2 - 12*x - 10. Let w(b) = -b - 3. Let c(q) = -k(q) + 4*w(q). Is c(3) a prime number?
True
Let c(o) = -6*o**2 - 21*o - 4. Let f be c(15). Let b = f + 514. Let u = -776 - b. Is u a prime number?
True
Suppose 14 = 6*f - 10. Suppose f*u + 3 = s, -3*u - 22 - 42 = -4*s. Suppose 4*l - 3*i - 283 = s, 4*i = 4*l - 304. Is l composite?
True
Is (15/(-9))/(675055/168765 - 4) prime?
False
Let x(u) = 2198*u + 1. Let m be x(1). Let y be 1 + -8 + 7*-9339*8/(-168). Let q = y - m. Is q a prime number?
True
Is ((-25124115)/150)/(2/(-20)) a composite number?
False
Let l(r) = -r**3 - 9*r - 12. Suppose 3*v + t = 266, -87 = -v - t - t. Let i = -94 + v. Is l(i) a composite number?
True
Let k(y) = 101*y**2 + 3*y + 8. Let z be k(-5). Let c = z + 25579. Is c a composite number?
False
Let v be 36936/14 + ((-66)/(-14) - 5). Suppose -6*m - 670 + v = 0. Let j = 225 + m. Is j a composite number?
True
Let m(t) = -7*t - 34. Let l be m(-10). Let d(o) = -2*o + 107*o - l*o - 17. Is d(8) prime?
False
Is (-1749712)/(-32) - (-117)/26 composite?
True
Suppose j - 221 = -225. Is (-10262 + -3)*(j - 26/(-10)) prime?
False
Let m = 64 - 59. Suppose -5*g + g - b = -24, 0 = -g - m*b + 25. Suppose -u + 4*u = g*v + 10484, 10483 = 3*u - 4*v. Is u a prime number?
False
Let b = 83 - 89. Let l(o) = o**3 + 7*o**2 - 11. Let k be l(b). Is (-15)/k - 2113/(-5) prime?
False
Let y(s) = s**3 - 14*s**2 + 13*s + 3. Let c be y(13). Suppose 8*u = c*u + 94865. Is u a prime number?
True
Let h be (6/27)/(86/1935). Let x be (5/2)/((-2)/(-4)). Suppose -x*y = -y - 4*c - 848, h*c = -5. Is y a prime number?
True
Suppose 3*x - 86 = 2*x. Suppose 11*g + 592 = 75. Let y = x + g. Is y a composite number?
True
Is 2182904/((-22)/33*-12) prime?
True
Let u be 3/12 - (-69)/12. Let t be (-9)/u - 790/4. Let m = t - -398. Is m a prime number?
True
Let d(a) = 3*a**3 + a**2 - 2*a + 1. Let z be d(1). Suppose z*v - 88677 = -6*v. Is v a composite number?
True
Let x be (-95793)/9 + (-7)/21. Let p = -132 + x. Is (-10)/(-4)*p/(-60) a prime number?
True
Let a(o) = 87*o**2 - 55*o + 13. Is a(3) a prime number?
True
Let k = -5 + -62. Let h(o) = o**3 - 12*o**2 + 17*o + 29. Let z be h(10). Is z + (3 - 5*k) composite?
False
Suppose -1341071 = 12*f + 18*f - 3838361. Is f a prime number?
True
Let y be ((-24)/64)/(1/(-24)). Is (1218/y)/((-3)/(-261)) - -3 composite?
False
Suppose 554085 = k + 20*k. Suppose 4*z - k = -221. Is z composite?
True
Let g(q) = -q**3 - 11*q**2 + 13*q + 12. Let y(d) = -d**3 - 11*d**2 + 13*d + 11. Let w(l) = -3*g(l) + 4*y(l). Let m = 660 + -673. Is w(m) a composite number?
True
Suppose -897891 = 86*s - 9230689. Is s prime?
True
Let u = 0 + 0. Suppose -4*j - 4*j + 16 = u. Suppose 5*q - 634 = j*k + 1239, 4*q - k = 1496. Is q prime?
True
Suppose -u - u - 92 = 0. Let m = u - 156. Let r = 1284 + m. Is r a prime number?
False
Let u be (4/(-7))/((-8)/112). Suppose 12*v + u = 16*v. Suppose -33 = -k + 2*a, -2*a + 60 = v*k - 0*a. Is k a composite number?
False
Suppose -4*k = 5*a - 278, 5*k = -a + 51 + 13. Is 662946/a - ((-6)/27 - 0) composite?
False
Let z(y) = 995*y**2 - 3*y + 81. Is z(-8) prime?
False
Let a = -453381 + 644662. Is a a composite number?
False
Let k = -73 + 82. Suppose -2*c = 3*g - 2716, 4*c + 3*g + 6811 = k*c. Is c prime?
True
Let b = 141 - 138. Suppose -b*m = -3*x - 4140, -2*m - 4*x - 2762 = -4*m. Is m a prime number?
False
Let y = 65 + -62. Let c be y*2*34/(-12)*-21. Suppose -q = -c - 162. Is q composite?
True
Is 6/4 - (-40304246)/68 a composite number?
True
Let c(r) = 32*r + 21. Let u be -1 + (-2 + -2 - -8). Suppose -l + 6 = 3*w - 3, 9 = -u*l. Is c(w) prime?
True
Let v(p) = -3*p**2 + 9*p + 1069. Let y(t) = 4*t**2 - 9*t - 1070. Let l(u) = 3*v(u) + 2*y(u). Is l(0) a composite number?
True
Let i(o) = 9*o**3 - 35*o**2 - 20*o + 55. Let j(g) = -4*g**3 + 17*g**2 + 10*g - 28. Let s(z) = 3*i(z) + 7*j(z). Let v be -3*(-8 + (7 - 11/3)). Is s(v) prime?
True
Let g = -299 - -395. Is 15/(-6)*g/(-40) prime?
False
Suppose 5 = 3*f - j, -j - 5 - 2 = -4*f. Suppose -f*t = -2*w - 12, 7*w = -4*t + 3*w + 16. Suppose -t*p - 38 = 5*u - 268, -5*p = 3*u - 232. Is p a prime number?
True
Suppose 62*p - 67*p + 3*o + 376871 = 0, 5*p - 376863 = -o. Is p composite?
True
Let o(u) = 186838*u**2 - 101*u - 304. Is o(-3) a prime number?
True
Let i(j) = -j**2 + 8*j - 8. Suppose -5*r - 7 = 3, 0 = 2*d + 4*r - 4. Let g be i(d). Suppose 5*k - g*o - 707 = 1886, -2069 = -4*k + 5*o. Is k a composite number?
False
Suppose -4*k = 2*q - 1910, -2182 = -3*q - 3*k + 689. Is q prime?
False
Let q(r) = 2002*r - 615. Is q(8) prime?
True
Let d(o) be the first derivative of -47*o**4/24 - 8*o**3/3 + 6*o**2 + 13. Let c(n) be the second derivative of d(n). Is c(-9) prime?
False
Suppose -o + 5*g = -22, 3*g + 22 = -4*o - 5. Is -1 - (52/o)/(12/1422) a composite number?
False
Let j = 14 - 23. Let i be (-2)/9 - 20/j. Let o(v) = 118*v**2 - 5*v + 5. Is o(i) a composite number?
False
Suppose 47152035 = -536*m + 599*m. Is m composite?
True
Let y(i) = 182*i**2 - 22*i - 105. Is y(-17) composite?
True
Suppose -226166621 = -454*t + 88528473. Is t composite?
True
Let k(z) = -3*z - 4. Let o(p) = p + 1. Let v(j) = 3*k(j) + 6*o(j). Let w be v(-3). Suppose -95 = -w*s + 76. Is s a prime number?
False
Suppose -3*c + u = -2642341, -12*u + 2642353 = 3*c - 7*u. Is c composite?
True
Let z(q) = q**3 + 5*q**2 + 7*q + 76. Let x be z(-6). Is x*5/(-10)*489 a composite number?
True
Suppose 150 = 3*t + 2*c, -225 = -5*t + 4*c + c. Suppose -n + t = -55. Suppose 4*o = 331 - n. Is o a prime number?
False
Let c(r) = r**3 - 4*r**2 + 24*r + 2. Let o(b) = -2*b**3 + 5*b**2 - 49*b - 5. Let q(a) = -13*c(a) - 6*o(a). Let v be (-88)/(-4) + -1*1. Is q(v) prime?
True
Let p(w) = 3*w**3 + 12*w**2 + w + 7. Let x(d) = 7*d**3 + 25*d**2 + 2*d + 13. Let u(n) = 5*p(n) - 2*x(n). Let r be u(-10). Is ((-52)/(-8))/(r/(-118)) prime?
False
Suppose 0*h = y + 2*h - 31364, h = 5*y - 156875. Suppose -3*a - 19143 = -3*n, -5*n + y + 559 = 2*a. Is n prime?
False
Let d = -94 - -106. Suppose 4*a + 2*r = d, 2 = -3*a + r + 6. Is 3 - (a/4 - 1005/2) prime?
False
Suppose -49*z - 2*x - 1681779 = -54*z, 5*x + 1345447 = 4*z. Is z composite?
False
Suppose -g - 4*q = -118, -222 = -2*g - q - 0*q. Let i = g - 85. Suppose -4*j + 5*y = -2133 - 1878, 5*y = i. Is j prime?
True
Suppose -77565 = -18*p + 248847. Suppose -q - 4613 = -p. Is q a prime number?
False
Suppose 610*w = 633*w - 130387. Is w a prime number?
True
Suppose 3*h + 7 = -2*b + 6*b, -4*h + b = -8. Let g(m) = 63*m**2 + 24*m**2 + 2 + 107*m**2 - 12 + 5*m. Is g(h) a composite number?
True
Let l be (-1)/(2/(11 - 3)). Is l/(-30) + 279801/405 a composite number?
False
Suppose -3722*g + 3698*g 