Is 83/332 + 17673/12 + -2 prime?
True
Suppose w - 77459 = 2*l, -167044 = -5*w - 5*l + 220296. Is w prime?
False
Is (-6)/(-8) + 65001090/456 a composite number?
False
Suppose -9*h + 12*h - j = -13812, -h = 4*j + 4604. Is (54/(-12))/3*h/6 prime?
True
Let g = -459 + 462. Suppose 4*n - 4*a = -6*a + 66926, -5*n = -g*a - 83630. Is n prime?
True
Suppose -g - 3*g - 3*r - 21 = 0, -5*r = -3*g + 6. Is g/2*(0 + (-39324)/18) a composite number?
True
Suppose 0 = -2*d + 4*b + 46926, d + 4*b - 20913 = 2538. Is d prime?
True
Let b(q) = 25250*q - 1751. Is b(23) prime?
True
Let b(u) = -2907*u + 166. Let m(f) = -5815*f + 329. Let o(a) = 7*b(a) - 3*m(a). Is o(-12) composite?
False
Let m(v) = -19*v + 74. Let w be m(4). Is 64765/5*(-1 - w) a prime number?
True
Let b be (-37591)/(-3) + 7/(-21). Suppose 5*o - j - 2*j - b = 0, -3*j - 15 = 0. Is o prime?
True
Suppose -4*z - 32 = t, -43*t + 44*t = -2*z - 16. Let r(d) = 3*d - 3. Let f be r(3). Is (f/z)/(-3) - 26121/(-12) prime?
False
Let c(n) = -n**2 + 4*n + 4. Let l be c(4). Suppose 0 = -29*z + 30*z - l. Suppose 3*u - 2*u = 4*m - 551, 0 = -4*m - z*u + 576. Is m composite?
False
Suppose d = 1, -4*j - 4*d = -10 + 34. Let g be (24/14 + -2)*j. Suppose 4*p - 613 = 4*s + 1327, 3*p - 1455 = -g*s. Is p prime?
False
Let o(g) = 10*g**2 - g + 10. Let l(s) = -4*s + 2. Let d be l(2). Let x be o(d). Suppose -129 = -u + x. Is u composite?
True
Suppose 0*c = -9*c - 18. Let a be -2 + -1355 + 1/c*2. Is (-2)/4*1*a a composite number?
True
Suppose -33*i = -37*i - 18*i + 942238. Is i prime?
True
Let c(g) be the third derivative of 2507*g**5/20 + 7*g**4/8 - 10*g**3/3 + 21*g**2 - 2. Is c(1) prime?
False
Let a(t) = -3933*t + 7. Let s be a(6). Let w = -13930 - s. Is w a composite number?
False
Let p = -119 - -118. Let l(h) = 477*h**2 - 6*h - 2. Is l(p) a composite number?
True
Is ((-918513)/297)/(3/(-33)) prime?
True
Let l be (-26 + -1)/(45/4800). Let o = -271 - l. Is o composite?
False
Let t(j) = 284*j**2 - 11*j - 290. Is t(23) composite?
True
Let u = 25 - 14. Suppose -3*x + 21 = -2*s, -2*s - 2*x + 3*x = u. Is 1 + (-384)/(-4)*(-8)/s a composite number?
False
Is (-72)/(-13 - -21) + 16*9865 composite?
False
Suppose 12*y = 8342 - 2558. Suppose -1915 = -4*v + 2*a - a, -3*a = v - y. Is v prime?
True
Suppose v + 5*s - 3*s = 12472, 24949 = 2*v - s. Suppose v = p + 5*c, 24978 = 2*p - c + 5*c. Is p a composite number?
True
Let o(m) = 348*m**2 - 3*m + 2. Let p = 388 + -387. Is o(p) a prime number?
True
Suppose 0 = -3*o - 0*o - 2*g + 8, -4*o - 4*g = -4. Is (-3)/o - (-35998)/4 composite?
False
Suppose -168*d - 12810304 = -471*d + 20620595. Is d composite?
True
Let l = 41 + -38. Suppose 8 = -o + 5*o, 4*o + 1195 = l*n. Suppose -557 = -2*q + n. Is q a composite number?
False
Suppose 3*p - 2*k - 4786 = 38920, -3*k = 4*p - 58252. Is p a prime number?
False
Let w(i) = -222*i + 67. Let o be w(-7). Let y = o + -224. Is y a composite number?
True
Let i = 151951 - -420220. Is i a prime number?
False
Let n = -716 + 716. Let g(h) be the first derivative of -h**4/4 - h**3/3 + h**2/2 + 211*h + 2. Is g(n) a composite number?
False
Suppose -4*g = 12, 16*q - 14*q + 5*g = 665. Let w(r) = r**3 - 7*r**2 + 9*r - 7. Let i be w(6). Suppose -15*f + q = -i*f. Is f a composite number?
True
Suppose -4*c - 4671 = -b, 2*c = -3*b - 1010 - 1315. Suppose 2*v + 4*w + 3048 = -2*v, -5*w = -4*v - 3012. Let j = v - c. Is j a composite number?
False
Is (121/242)/(1/(1500804 - 2)) a composite number?
False
Let t(g) = -g**2 - 37*g + 231. Let k be t(-42). Suppose 14*n = k*n - 188447. Is n a composite number?
False
Let j be 417*2/18 - 2/6. Suppose -38*i = -j*i + 69736. Is i a prime number?
False
Suppose -2*v - 4 = o, -v + 6 = 3*v - 5*o. Let w(p) = 3388*p**2 - p - 3. Is w(v) composite?
True
Let r = 35 + 31. Suppose x + 3 = -1, 4*o + x = -4. Suppose -2*m + o*m + r = 0. Is m a composite number?
True
Let y = 13333 + -9244. Let x = y + 5966. Is x composite?
True
Suppose 0 = 4*b - 2*b - 4672. Suppose -7*i = -3*i - b. Let u = i - 253. Is u a composite number?
False
Suppose -3*f = -3*a - 7*f + 6, 0 = 5*f + 15. Suppose -a*p + 1778 = p. Is p a composite number?
True
Let u be 1 + (-2068 + (-5 - 0))*-1. Let x = 3539 - u. Is x prime?
False
Let c(n) = -n + 1. Let l be c(-5). Let y(w) = -w**2 + 4*w + 14. Let p be y(l). Suppose 0 = -p*k + 4*z + 690, k + 4*z - 339 = 30. Is k a prime number?
True
Let x be 6/(5/20 + 5254/(-21064)). Suppose 8*z - 12*z + x = 0. Is z prime?
True
Suppose -4*x = -26*h + 27*h - 349778, 4*h - 24 = 0. Is x composite?
False
Suppose 4*u - f = 22, u - f - 3 = -2*f. Let m(a) = -3*a - u - 26*a + 5. Is m(-5) a composite number?
True
Let x(t) be the third derivative of t**6/120 + 4*t**5/15 + 19*t**4/24 - 5*t**3/2 + 5*t**2 - 3. Let z be x(-14). Suppose -z - 525 = -4*h. Is h composite?
True
Suppose -51*c + 49*c + 13256 = 0. Suppose -2*z + 4971 = 3*b, c = 4*b + z - 3*z. Is b a prime number?
True
Let f(d) = -d**2 + 1 + 0 + 4*d + 4*d. Let i = 1070 - 1064. Is f(i) a prime number?
True
Let v be 383955/(-209) + 1*(-12)/(-114). Let i be 524/(-3)*(-6)/4. Let x = i - v. Is x composite?
False
Let v = 1429762 - 680205. Is v composite?
False
Suppose 0 = 3*a + b + 5, -3*a + 31*b - 8 = 29*b. Is (-47)/141 - ((-48704)/6 + a) a composite number?
True
Suppose 0 = -24*m + 35*m - 33. Suppose -i - m*z - 65 = -3*i, 0 = -i + 2*z + 32. Is i composite?
True
Is 2 + ((-15)/6*4/(-10) - -1196794) prime?
False
Suppose -3827238 + 538034 - 75161 = -15*w. Is w composite?
False
Is (51/34)/(-9 + 3258402/362044) composite?
False
Let j be 202181/19 - ((-4)/19)/(-2). Let r = -5810 + j. Is r a prime number?
True
Suppose 0 = -6*d - 72 + 12. Let b = -7 - d. Suppose -4*j = -2*j + n - 642, -j + b*n + 307 = 0. Is j a prime number?
False
Let i(w) = -w**2 + 8*w. Let k be i(4). Suppose -4*t + 16 = 4*q, 0 = t + 4*t + q - k. Suppose -66 = -t*g - 9. Is g a composite number?
False
Let x = -43 - -102. Let l = x - 59. Suppose l = g - w - 2849 + 594, 0 = -5*g + w + 11259. Is g composite?
False
Let k be (12 - 17)*-1*1. Suppose -p = -0*n + n - 2273, k*p = -3*n + 6811. Suppose 2*c - 3*w - 4649 = 0, -c - 4*w + 20 = -n. Is c prime?
False
Is ((-14)/((-84)/611502))/1 prime?
True
Is 1 - ((-3)/(-2))/(-1) - (-5093361)/26 prime?
False
Let f(o) = -18649*o + 4. Let u be f(1). Let j = -12766 - u. Is j a prime number?
True
Let l be (-8 + -4)/((-1)/12) - -2. Suppose -3*q - 1801 - l = 0. Let h = q - -1236. Is h prime?
True
Let c(a) = -a**3 - a. Let k(d) = -72*d**3 + 2*d**2 + d + 2. Let t(z) = -2*c(z) + k(z). Is t(-4) a composite number?
True
Suppose 2*l + 136892 = 3*p - 389923, -l - 526809 = -3*p. Is p a prime number?
True
Let o(y) = 2*y**2 + 5*y - 18. Let x(s) = 5*s**2 + 16*s - 55. Let c(m) = -8*o(m) + 3*x(m). Let a be c(5). Is ((-10)/15)/((-4)/a) - -212 a composite number?
False
Suppose 4*q - 12 = 0, 0 = -3*j - 2*j + q + 7. Suppose 10 = o + j. Suppose 0 = -11*g + o*g + 4611. Is g a composite number?
True
Suppose 0 = 5*o - v - 351241, -5*v + 176562 + 104396 = 4*o. Is o a prime number?
False
Let y(g) = -18*g - 19*g + 7 - 25*g. Let o be y(-8). Suppose -2*d = -2, -4*d + 5*d - o = -2*k. Is k a prime number?
True
Let k = -815 + 817. Is ((-3)/9*-5847)/(k/2) a prime number?
True
Suppose 16*x + 39420 = 22*x. Let o = 3563 + x. Is o composite?
False
Is ((-479568)/(-20) - (-24)/12)/((-2)/(-5)) a composite number?
False
Let m(g) = 3*g + 89. Let v be m(-30). Is v*(39151/(-34) + (-2)/(-4)) composite?
False
Suppose 3*g + 1971 = -2*f, 2*g = 3*g + f + 658. Let z = g + 692. Is z a prime number?
True
Let j = 666155 + -378870. Is j prime?
False
Suppose -2*q + 161314 = 2*d, -2*q - 4*d + 140805 = -20521. Is q composite?
False
Suppose -73*s + 11384970 + 23587943 = 0. Is s a composite number?
False
Let u(i) = 10*i**2 + 7*i - 33. Let h be u(-9). Let x = h - -527. Is x a composite number?
True
Let c(w) = 3*w - 7 - 9*w + 75*w**2 + w**3 - 71*w**2. Let x be c(-5). Let v(a) = -143*a**3 + 2*a**2 + 3*a + 5. Is v(x) a composite number?
False
Let i(y) = 4*y**2 - 12*y - 31. Let l(z) = z**2 - 2. Let p(x) = -i(x) + 5*l(x). Is p(26) a prime number?
True
Suppose 50 = 18*w - 40. Is -4 + (w + -11)*(-340)/8 prime?
True
Suppose -5*q + 0*g - 4*g + 14 = 0, -q = -3*g + 1. Suppose u = q*u - 26. Suppose 22*p + 356 = u*p. Is p prime?
True
Suppose 0 = -2*q - 2*q - 12. Let u(h) be the third derivative of -617*h**