a prime number?
False
Let n = -137708 + 224677. Is n composite?
False
Suppose -4082 = 4*v - 1394. Let s = 499 - v. Is s a prime number?
True
Let c = -44 + 46. Let l be ((-5)/5 - -4) + (-3954)/c. Let d = 2135 - l. Is d a prime number?
False
Suppose -2*m = 2*u + 304814 - 1397158, 0 = -4*m + 3*u + 2184695. Is m a prime number?
True
Let q(a) = -7*a**3 - 17*a**2 - 15*a + 20. Let m(c) = -9*c**3 - 17*c**2 - 15*c + 21. Let v(r) = 2*m(r) - 3*q(r). Is v(11) composite?
False
Is 1188086/6 - -2 - 72/(-108) a prime number?
True
Suppose 0 = -4*j - 3*a + 93269 - 13731, -a - 19895 = -j. Is j a prime number?
True
Suppose -8*s + 124855 = -7*s + 4*v, -4*s = v - 499390. Is s a composite number?
False
Suppose -4*p + 0 = -8. Is (-177*68/(-12))/p*2 prime?
False
Let v(x) = -83*x. Let b be v(1). Let m = b + 31. Let w = m + 257. Is w composite?
True
Let k = 53 - 47. Let c be 42/9*9/k. Suppose 138 = 13*s - c*s. Is s a prime number?
True
Suppose -26590481 + 6065993 = -24*l. Is l a composite number?
False
Suppose -3*y = 3*i - 199782, 0 = 32*y - 26*y + 3*i - 399543. Is y prime?
True
Let s be ((-3)/(-3) + 0)/((-1)/(-6)). Let l(x) be the third derivative of 2*x**5/15 + x**4/6 + 7*x**3/6 + 2*x**2. Is l(s) composite?
True
Suppose 0 - 15 = -5*s. Suppose -k + 4*k = 5*f + 14, f = -s*k + 26. Suppose 0*z - 10184 = -k*z. Is z composite?
True
Suppose 5*g - 20528 = -3*k + 13427, 3*k - 5*g - 33935 = 0. Suppose -7*b + k = -3938. Is b composite?
False
Let b be (-9)/6 + 1 - (-232141)/(-14). Is 1 - (-33)/(-27) - b/18 composite?
True
Suppose 1091641 = -59*q + 3276470. Is q composite?
True
Suppose 5*z - 2*t - 9 = 2, z + t = 5. Suppose 7*w - 5*w - 9133 = -5*b, 2*b = -z*w + 13683. Is w a composite number?
True
Let i(a) = 82060*a - 1377. Is i(5) composite?
False
Let t = -95 + 108. Suppose 5*d + 4*b - 1 = -4, 4*b = 5*d - t. Is (-1)/(3124/(-3122) + d) composite?
True
Suppose -692*w - 36108 = -696*w. Is w + 5 + -4 - -1 a prime number?
True
Suppose j + 4*b = 11859, 0 = -4*j - 114*b + 115*b + 47453. Is j composite?
False
Suppose 608 = -15*b + 83. Let t(h) = -405*h - 128. Is t(b) a composite number?
True
Let l be (22/(-7) - 1)/(78/(-546)). Suppose l*r - 19*r = 58490. Is r prime?
True
Let s = -336 + 346. Suppose 40*f = -s*f + 733450. Is f prime?
True
Suppose -101*y + 1285372 = -57*y. Is y prime?
False
Let w = -110792 + 461943. Is w a composite number?
False
Suppose -671097 = -3*k + b, 4*k - 130*b + 133*b = 894796. Is k prime?
False
Let m = 34407 - -3386. Is m prime?
False
Suppose -4*j - 3*f + 60937 = 0, 3*j - 61999 = 4*f - 16340. Is j a composite number?
True
Suppose -3*d = -5*z - 50, -5*d + 54 + 48 = z. Suppose 5*a + 0*i + 5*i - d = 0, 0 = -3*i - 3. Is 1*122 + (-20)/a a composite number?
True
Suppose 17*j + 109844 = 18*j. Let u = 207352 - j. Is (-2)/(-6) + u/57 a composite number?
True
Is (-4 - -2 - -1)/((-28)/1926764) a composite number?
False
Let k(f) = 29*f - f**2 + 2*f**2 - 7 - 2*f**2. Let y be (-10218)/(-442) - 1/(17/2). Is k(y) composite?
False
Suppose -733*a - 15 = -738*a, 2*r = -2*a + 362320. Is r prime?
True
Let d = -1 + 4. Suppose -3 = -4*z + d*z. Suppose -z*u - 1778 = -5*u. Is u composite?
True
Let u(b) = 469*b + 104. Let d(w) = -117*w - 26. Let r(m) = 9*d(m) + 2*u(m). Is r(-9) a prime number?
True
Suppose -330 = -l - 335. Let z(r) = 619*r**2 + 28*r + 168. Is z(l) composite?
True
Suppose n + 1112 = 5*m + 97, -4*m = -n - 812. Suppose 0 = 4*o - 3*o + 2*t - 110, -2*o + 240 = -t. Let c = m - o. Is c a composite number?
True
Suppose 2*m = -3*m + 20. Suppose m*l = 5*h - 15589, 3*h + 2*l = -3*l + 9346. Is 17/(-68) + h/4 a composite number?
True
Suppose 355152 = -13*v + 1237085. Is v a composite number?
True
Let d(z) = -2*z - 79*z - 12 - 71*z + 11*z. Let i be d(-6). Suppose 5*r - 631 = i. Is r composite?
False
Suppose -172 = -3*m + 47. Suppose 6*g + 23 = -m. Is -2*2/g + (-4655)/(-20) a prime number?
True
Is (-8 - 31851568/40)*(100/15)/(-4) composite?
True
Let b = 9431 + -4033. Is b a composite number?
True
Suppose 11*o - 3231865 = -24*o. Is o a prime number?
False
Let l(s) = 8*s**3 - 8*s**2 - 3*s - 4*s + 10 + 2*s. Suppose -3*d = -4*d + 5. Is l(d) a prime number?
False
Is (409/2*(-542)/3)/(3/(-9)) composite?
True
Let l = -31 + 32. Let g = -485 + 5330. Is g/38 + l/(-2) a composite number?
False
Let u = 4628297 + -2183254. Is u a composite number?
False
Let j be (-4)/18 - (-1339)/(-9). Suppose 11*f + 2112 = 15*f. Let w = j + f. Is w prime?
True
Let r(l) be the second derivative of -l**5/20 - l**4/12 - 8*l**3/3 - 4*l**2 - 32*l. Let d be r(-6). Suppose d = 5*b - b. Is b prime?
True
Let y = 1006 + -492. Let x = y + 2185. Is x a prime number?
True
Let n = 8839 + 10732. Is n composite?
False
Let s = 3747 - 2179. Let b = 2611 + s. Let c = -2290 + b. Is c a prime number?
True
Let y = -177 + 182. Suppose j = -8*n + 5*n + 1750, 5*j - 8770 = y*n. Is j prime?
True
Is 95968008/288 + (-7)/(-4)*24/56 a prime number?
False
Is (-2)/(-2)*(512/4 + 21) a composite number?
False
Let f be 3*((-52)/(-6) - 4). Let q be 3*f/6 + -1 + 1. Suppose q*r = 2192 + 741. Is r prime?
True
Let i be 2/(1*-3 + 33/9). Suppose -4*k + 16 = -0, -i*b - k + 52 = 0. Suppose -20*u + 2676 = -b*u. Is u a composite number?
True
Let y = -80 + 36. Let h be y + (2 + -2)/3. Let c = -7 - h. Is c a prime number?
True
Let o = -117676 + 248670. Is o a prime number?
False
Let f(d) = -16*d + 12 - 79*d**2 + 866*d**2 + 6. Is f(-3) prime?
False
Let q = 15008 + -8392. Let o = q + -2633. Is o a prime number?
False
Suppose -5 = -7*a - 26. Let l be 3/2*(a - 11). Is (-312)/l - ((-2)/(-2))/(-7) a prime number?
False
Suppose -5*p = 2*u - 907079, 6*u = 5*p + 250795 + 2470342. Is u composite?
False
Suppose 5*z + 13 = -2*f - 7, -5*f - 29 = 2*z. Suppose 2*y = 171 - 165. Is z/y - (0 - (-32)/(-3)) a prime number?
False
Suppose -5*i + 104506 = -j, 3*i - 8*j = -7*j + 62704. Is i composite?
True
Let z be (3/4)/((-9)/(-24)). Suppose -z*d + 3*d + 405 = q, 2*q - 814 = 4*d. Suppose 1350 = 3*w - a + q, -5*w + 5*a = -1595. Is w a prime number?
False
Suppose l - 3*v = -4*v - 3, -12 = -4*l + 4*v. Suppose -4*g + 18*g - 287784 = l. Suppose 0 = 8*k + 6044 - g. Is k prime?
False
Let p = -537 - -463. Let q = -424 + 1267. Let f = q - p. Is f prime?
False
Is (-2058)/441 + 19023260/12 a prime number?
False
Let x(k) = k**2 + 10*k - 8. Let s be x(-11). Suppose -12*z + 18 - 6 = 0. Is s + (3 - z)*1303 a composite number?
False
Let d be 2/4*(-1 - (-24 + 5)). Suppose d*j = 6*j + 1437. Is j a composite number?
False
Suppose 26*s = 2*s + 1536. Let f = s - -2759. Is f a prime number?
False
Let b be ((-27)/(-2))/(4 - 21/6). Let n = b + -31. Let z(m) = 2*m**2 - m + 1. Is z(n) a prime number?
True
Suppose -2*w = 15*l - 20*l + 12, -l = -4*w + 12. Is (-25518)/w*(-16)/24 prime?
True
Let b(y) = -y**2 + 303. Let s be b(0). Suppose w - s = 1162. Suppose 3*o = 2*o + w. Is o a prime number?
False
Let l(q) be the first derivative of -q**4/2 + 8*q**3 - 13*q**2/2 + 23*q + 71. Is l(10) prime?
True
Let n(t) = 9*t**3 + 26*t**2 + 73*t + 53. Is n(21) composite?
False
Let h(u) = -759*u - 2. Let o be h(-2). Suppose -141*d = -122*d + 14858. Let w = o + d. Is w prime?
False
Suppose -2464*b = -2414*b - 2522750. Is b a prime number?
False
Let t(z) = 1752*z + 15. Let n(u) = u - 2. Let o(w) = -3*n(w) + t(w). Is o(4) composite?
True
Let p(t) = -4 + 9 + 2*t - 7*t. Let m be p(1). Suppose -67*z + 65*z + 406 = m. Is z a prime number?
False
Suppose 16 = -4*h + 8*h. Let y be -3 + (h/18 - 21210/(-54)). Let k = -101 + y. Is k a prime number?
False
Let a = 3625 + 6102. Is a composite?
True
Let i be (1 - 9/3)*(-4 - 1457). Suppose 11*m = i + 126427. Is m composite?
True
Is 6/(-16 + (-59280100)/(-3704998)) prime?
True
Let u = 87 - -69. Let x = -259 + u. Is (x - 3)*1/(4 - 5) a composite number?
True
Suppose -3*n + 87317 = -49366. Is n prime?
False
Let j = 806 + -1681. Let n be (-4)/6 + j/(-21). Let c = n + -22. Is c prime?
True
Suppose 0 = -2*k - 3*y + 1127869, 5*y - 9 = -4. Is k composite?
False
Suppose -49*u + 41*u - 72296 = 0. Let f = 20310 - u. Is f a composite number?
False
Suppose 2*g + 0*g - 49 = 5*i, 5*i = -g - 43. Let c(f) = -3*f**3 - 8*f**2 - 9*f - 2. Let v be c(i). Suppose 3*x + 109 = v. Is x a prime number?
True
Let x(f) = -40*f**2 - 1. Let d be x(1). Suppose 6*t + 292 = 5*p + 735, 2*t - 2*p - 146 = 0. Let z = t + d. Is z com