prime number?
False
Let i(d) = -330*d - 117. Let m be i(7). Let b = 4786 + m. Is b a composite number?
True
Suppose -3*w - 4*u = -1177531, -1063*u + 1962519 = 5*w - 1061*u. Is w prime?
False
Suppose 4*t + 7*u = 2*u + 3069849, 0 = -5*t - 3*u + 3837334. Is t a composite number?
False
Suppose -4*y - 3*i - 11259 = -177838, -2*i + 10 = 0. Is y a composite number?
False
Let t(w) = -109776*w + 441. Is t(-1) a composite number?
True
Suppose -5*c = -6*c + 35. Suppose 31435 = -30*z + c*z. Is z a composite number?
False
Let q(o) = 109*o**2 + 7*o - 2. Let c be q(-14). Let g be c/30*15/6. Suppose 0 = 32*f - 36*f + g. Is f a composite number?
False
Let g(r) = 74*r**3 - 3*r**2 + r + 11. Suppose 0 = -104*o + 97*o + 28. Is g(o) prime?
True
Let x(q) = -2*q**2 - 33*q + 63. Let l be x(-18). Is ((1 - 8) + l)*(-9166)/(-4) a composite number?
False
Let y = -4482 + 50743. Is y a composite number?
False
Let q(b) = -382*b + 131. Let v(r) = -3*r**2 - 19*r - 15. Let m be v(-7). Is q(m) a prime number?
False
Let w(l) be the first derivative of 1319*l**2/2 + 106*l + 80. Is w(5) composite?
False
Let m(l) = 20*l - 5. Let j be m(0). Is 67*53 + (-30)/j composite?
False
Suppose 12 = 2*j + 2*t - 4*t, t - 10 = -3*j. Let q be (-1)/j + 7087/76. Suppose -3*f = -990 + q. Is f prime?
False
Let i(w) = -61*w**3 - 14*w**2 - 23*w + 21. Let k(r) = -41*r**3 - 9*r**2 - 15*r + 14. Let x(s) = 5*i(s) - 8*k(s). Suppose 18*o - 12 = 14*o. Is x(o) composite?
False
Is 2/(-7) + (-48213822)/(-168) + 35/(-20) composite?
True
Suppose 4*q + 0*p + 25 = 3*p, -4*p - 10 = -q. Let w be (-3 - -1)/((-5)/q). Is (-6)/(-15) - w/((-60)/(-15639)) composite?
True
Let p = -17 + 23. Suppose -p*j - 9206 = -48566. Suppose 0 = -8*g - 888 + j. Is g prime?
True
Let j(y) = 37*y**2 + 190*y + 13. Let r be j(-11). Let n = r + 19841. Is n a composite number?
True
Suppose 442600 = 5*h - 5*d, -5*h = 5*d + 264399 - 706929. Is h prime?
True
Let k be (-2)/(1/(-1 + 0)). Let c be ((-30)/45)/(k/(-15)). Suppose -c*o = -r - 0*r - 9209, 4*o = r + 7368. Is o a composite number?
True
Suppose 6*m + 0*m = 36. Let w be (-14)/(-8)*(m + -10). Is 1270/2*(-6 - w) composite?
True
Let n = 3395 + -1176. Let b = n - 858. Is b composite?
False
Let d(i) = -19*i + 5. Let s be d(2). Is 2*s*97/(-6) prime?
False
Is (-15 + 14)*(-1)/((-1)/1)*-51542 a prime number?
False
Suppose -79*i = -83*i. Suppose i = s - 3499 - 2946. Is s prime?
False
Let f(p) = -3*p - 72. Let v be f(11). Let d = -95 - v. Let b(q) = 295*q - 29. Is b(d) prime?
False
Let q = -12 + 14. Suppose 2101 = q*g - g. Let h = 468 + g. Is h prime?
False
Is 94439/3 - 32/72*-3 a composite number?
False
Let c be (9/(-2))/(((-65)/30)/13). Suppose -5*r = -8 - c. Suppose -2566 = -r*z + 9747. Is z prime?
True
Suppose -5*c = 10, 20*k - 2*c + 248399 = 23*k. Is k prime?
False
Let o be 17144/64 - (-3)/24. Let s = -15 + o. Is s a composite number?
True
Let f = 22886 + 48855. Is f composite?
False
Suppose 0 = -38*y + 41*y + 5*s - 1354551, -4*y = 4*s - 1806068. Is y a composite number?
True
Let r be ((-180)/8)/(-9) - (-1)/2. Suppose -a + 2*w = 2, 0*a - 2*w + 10 = r*a. Suppose a*q + 2*q - 132 = 0. Is q prime?
False
Let t = 20 + -11. Suppose -t*n = -5*n - 3256. Suppose -n = -2*x - 4*p - 0*p, -4*p + 1620 = 4*x. Is x a prime number?
False
Let z = -723379 + 1364640. Is z prime?
True
Suppose 0 = -62*k + 72*k + 260. Is 13/(k/(-3376)) + 5 prime?
True
Let m(l) = 102 - 203 + 94 + 624*l. Let q be m(14). Suppose -2*p - q = -6*p + 5*d, -4*d = 4. Is p a prime number?
False
Let i = 11146 + -6329. Let t = i - -1372. Is t prime?
False
Let i = -379 - -397. Suppose 20*p = i*p - k + 30024, -3*k + 75059 = 5*p. Is p a composite number?
False
Suppose 0 = -5*c - 5*n + 1303015, 5*c - 3*n = 9*c - 1042406. Is c composite?
True
Is (9 - -23342) + (2 - 2) a prime number?
False
Let a = 93665 - 66864. Is a prime?
True
Let d = -819543 - -1517870. Is d composite?
True
Let c be 7 - (0 - (-3)/2*2). Let i(b) = 2*b**3 + 6*b**2 + 6*b - 7. Let a(j) = j**2 + 1. Let w(y) = c*a(y) - i(y). Is w(-8) a composite number?
True
Let o be (-1)/(-2*(-1)/(-8)). Suppose 4*v = -o*h + 58288, 2*h + 2*v = -2*h + 58292. Suppose 15*n - 9*n = h. Is n a prime number?
False
Suppose 0 = -2*h + a + 6 + 11, h + 3*a + 9 = 0. Is (-4)/h - ((-816459)/9)/7 composite?
False
Suppose 166*a - 168*a + 8850 = 0. Let l = -742 + a. Is l prime?
False
Let k = 16261 - 7397. Suppose 4 = 4*y, 4*y - k = -3*t - t. Is t prime?
False
Suppose -5*a + 10*a = -9*a + 216146. Is a composite?
False
Let r(m) = 2*m**2 + 11*m - 17. Let x be ((-30)/(-24))/((-2)/24). Let n be r(x). Suppose -6*a = -6502 + n. Is a a composite number?
False
Let o = 108 - 103. Suppose 304 = -o*l + 1979. Suppose z - l = 203. Is z a prime number?
False
Let n(f) = -1924*f - 3. Let i be n(-2). Suppose 0 = 44*m - 3311 - 913. Is i/8 - (-36)/m a prime number?
False
Let k be 138/23*1*-661. Let i = -2245 - k. Is i a prime number?
True
Suppose 155296 = 8*q - 7*q - a, -q + 155266 = 5*a. Is q a composite number?
False
Let i be (-6)/(-22) - (-180)/66. Suppose s = -2*s - 3*h + 10293, -i*h - 3439 = -s. Is s a composite number?
False
Let x(k) = -38*k**3 - 6*k**2 + 3*k - 5. Let w be x(-6). Let g = 11788 - w. Suppose -3*q = -a - 11485, 0 = q - 0*q - 5*a - g. Is q composite?
True
Suppose -3*s - 29 = -194. Let j be (-11)/s + -2 + 641/5. Suppose -3*g + 303 = -j. Is g composite?
True
Suppose 16613 = 12*j - 3043. Let d = -862 + j. Suppose -7*r + d = -3*r. Is r a composite number?
True
Let p(a) = a**2 + 4*a - 15. Let j(q) = -9*q**2 - 2*q - 1. Let y be j(-1). Let l be p(y). Suppose 3 = 4*n - l, -5*s = n - 580. Is s a composite number?
True
Suppose 7*f + 3*h + 42 = 4*f, -2*f = -3*h + 33. Is (-4 + (-271)/3)*f a prime number?
False
Let b be (-4 - -3)*2/2. Let n = -510 - -507. Is (b + 3)*(2 + n) + 1179 prime?
False
Let w(x) = 36*x**2 - 1. Let i be w(1). Let h be 19/((i/(-50))/(-7)). Suppose b - h = 207. Is b a composite number?
False
Let i = 639 - 611. Suppose -i*d + 189804 = -16*d. Is d a composite number?
False
Let g(m) = -m**3 - 6*m**2 - 2*m + 18. Let x be g(-5). Suppose -3*w + x*z - 5265 = -21039, 0 = 2*w + 2*z - 10512. Is w composite?
True
Let d(i) = 15017*i**2 - 722*i - 2168. Is d(-3) a prime number?
True
Suppose -5*j + 4*h = -6701, 15*j + 4*h - 2658 = 13*j. Let x = j + -430. Is x prime?
True
Let c be (-43)/(-15) - (-42)/315. Suppose r = -4*v + 12606, -c*v + 5*r + 15745 = 2*v. Is v a prime number?
False
Suppose -32*t = 9*t - 0*t - 13010735. Is t a composite number?
True
Let f(q) = 3*q**2 + 15*q - 25. Let h be f(-9). Let l = 831 + h. Is l a composite number?
True
Let j(p) = 6870*p**2 - 19*p + 87. Is j(4) a prime number?
False
Suppose 6*v = -0*v. Suppose v = 10*w + 6016 - 17206. Is (7/1 - 5) + w a composite number?
True
Let v(k) = k - 2. Let w be v(10). Let l be 40/w*(-1)/1. Is 1 + l + 1 + 1152 composite?
True
Let l = 22560 - -28799. Let x = -35476 + l. Is x composite?
True
Let v be ((2886/(-5))/1)/((-93)/310). Suppose 2*p - 962 = 5*q, -3*q + v = 4*p + 2*q. Is p composite?
True
Let j(q) = 394*q**2 - 244*q + 13. Is j(-9) composite?
False
Is (-75390696)/(-504) + (-2)/(-7) a prime number?
False
Let s be 15*(-3 - -1)*(-2)/4. Let y be (-40)/(-12)*36/s. Let h(a) = 46*a - 9. Is h(y) a composite number?
False
Is -3 + 7207/4 + 66/264 prime?
False
Let a(i) = -i**3 - 4*i**2 - 4*i - 3. Let s be a(-2). Let q(x) = -x**2 - 23*x + 1134. Let o be q(24). Is (o - 5)*(9534 - s/(-3)) a prime number?
True
Suppose -24*d = -26*d + 10. Suppose 0 = d*t - 18798 - 22187. Is t a composite number?
True
Let f = 91857 - 23590. Is f a prime number?
False
Let f be ((-369)/(-12) - (-8)/(-2))*-4. Let h = -114 - f. Is h/((-14)/66) + 5 a prime number?
False
Suppose -4*h = -308504 - 5100. Is h prime?
True
Suppose 15*r - 7*r - 24 = 0. Suppose 4*j - 81659 = -r*y, 5*j + 3*y - 40837 = 3*j. Is j a composite number?
False
Let v be 2/(((-12)/3)/(-4)). Suppose 5145 = v*j + 5*j. Let c = j - -580. Is c a composite number?
True
Suppose 14*u - 69*u + 447086 = -5524979. Is u composite?
True
Let k = 107 - 108. Let n be ((-1 - -5)/(-4))/(k/6). Suppose -1618 = n*u - 7060. Is u a prime number?
True
Let o(z) = 5*z**3 - 16*z**2 - 31*z + 28. Let v be o(-16). Is ((-14)/(-8))/((-7)/v) a prime number?
False
Suppose -1289*k + 6501801 = -1220*k. Is k composite?
False
Let l be ((-78)/(-9))/(-2)*-3. Suppose l*s = 14*s 