v - 2*f, 6*v = f + 119051. Is v a prime number?
True
Suppose 2*x = -2*h + 106972, 26*h - 2*x = 22*h + 213914. Is h prime?
False
Suppose 3*n - 3*a - 7976 = 2*a, 5*a - 5309 = -2*n. Let z = 69 - 69. Suppose -n - 778 = -5*f + 2*o, z = 2*f - o - 1373. Is f a prime number?
False
Suppose 2*f - 4*a = -450, f + 4*a = -39 - 216. Let u(g) = 12*g - 334. Let i be u(25). Let w = i - f. Is w a prime number?
False
Suppose 3*u + 27 = -3*q, -3*u - 12 - 21 = q. Let w(f) = -565*f - 13. Is w(u) a prime number?
False
Let n(j) = -j + j**3 - 4*j**2 + 0*j**3 + 3955 - 1052. Is n(0) a prime number?
True
Let o(c) = -232*c + 14. Let r be o(-3). Let n = -456 + r. Is n a composite number?
True
Let p = -207335 - -921798. Is p a prime number?
True
Suppose 15*g - 130 = 35. Suppose -13*p + 8698 = -g*p. Is p composite?
False
Suppose 0 = -7*p + 3*p + 8. Let b be (-16)/120 - p/(-15) - 3781. Is (b + -2)*3/(-9) a composite number?
True
Let j(x) = -225*x + 188. Let t be j(-14). Suppose 0 = -v - 2 + 2183. Let b = t - v. Is b prime?
False
Is (4 - 1)*(-136)/(-51) + 45585 composite?
True
Suppose 7*j - 54102 = j. Is j composite?
True
Let u(o) = 57*o**3 + 6*o**2 - o - 7. Let y be u(-2). Let m = y + 640. Is m a prime number?
False
Let u(a) = -14 - 101 + 0 + 12 - 539*a. Is u(-4) a prime number?
True
Let s = 75 - 71. Suppose 4 = o + s. Suppose -3*a - 4260 = -3*k + 14259, 4*a = o. Is k a prime number?
True
Suppose t - 1 = d, 3*t - 2*t - 13 = -5*d. Let g be (-6956)/(-10) - d/(-5). Let c = g + 61. Is c a composite number?
False
Let f(s) = s**3 - 13*s**2 + 2. Let g be f(13). Suppose g*r - r - 3 = 0. Let l(b) = b**2 + 3*b + 1. Is l(r) composite?
False
Suppose -31*n - 4188725 = -131*n - 1248825. Is n a prime number?
True
Suppose 564065 = 5*h + 4*z, -2*h - 2*z + 170855 = -54771. Is h composite?
True
Suppose 4*x - 5*s - 986021 = 1595246, 4*x = -3*s + 2581307. Is x prime?
False
Suppose -4*c + 28 = -4*o, -2*c = 2*c - 5*o - 33. Suppose 2*k = 7*x - c*x - 48, 5*x - 3*k - 47 = 0. Suppose -x*v + 7*v + 1137 = 0. Is v prime?
True
Suppose 3*y + 1821209 = 5*k, 5*k - 1019565 = -y + 801652. Is k prime?
False
Suppose -3*q + 9709 = 781. Let w(k) = 33*k - 1592. Let n be w(137). Let g = q + n. Is g prime?
False
Let z(u) = 4*u**2 - u + 2. Let x be z(1). Suppose x*w = -5*n + 9 + 6, 5*n = 3*w + 31. Is -4 + 241 - (-1 - w) - -1 a composite number?
True
Let c(z) = z - 2*z + 991*z**2 + 6 + 6*z. Let t be c(-1). Suppose 0 = -v + t - 289. Is v prime?
False
Let j(h) = -339*h**3 - 6*h**2 + 103*h + 641. Is j(-6) a composite number?
True
Let i(z) = 2*z**2 - 13*z - 4. Let a be i(7). Suppose a*t = -2*g + 17887, 5*g + 30508 - 6651 = 4*t. Is t a composite number?
True
Let m(j) = -10*j - 288. Let c be m(-29). Let a be -5*(1 + 32/(-20)). Suppose -b - 8852 = -4*h, b + 4426 = c*h - a*b. Is h prime?
True
Let k(r) be the third derivative of 18*r**2 - 1/3*r**5 + 0*r + 0 + 1/60*r**6 + 5/8*r**4 - 5/3*r**3. Is k(11) composite?
False
Suppose -55*n + 5141244 = -84*n + 31087399. Is n composite?
True
Let b = -720 + 783. Let x = -396 + 582. Let h = x - b. Is h prime?
False
Suppose 5*j = j + 12. Suppose -j*h = 2*h. Suppose h = k - 3*i - 15, 5*k = -2*i + 24 - 0. Is k a prime number?
False
Let x(r) = 8095*r - 4. Let i be x(1). Suppose 0 = 5*j - 3*b - i - 24603, 4*j + 2*b - 26142 = 0. Is j composite?
True
Let r = -1075 + 1078. Let h be (79*2)/((-6)/(-129)). Suppose -2*o - 1129 = -g, -h = -r*g + o + 3*o. Is g composite?
True
Is (-740)/(-592) + (-1013214)/(-8) composite?
False
Is 2955 - (-2 + 9 + -5)*1 a prime number?
True
Let f = -28 + 10. Let i = f - -21. Suppose -130 = -d + i*q, -141 - 109 = -2*d - 4*q. Is d composite?
False
Let l = -49 - 6. Is ((-22)/l)/((-4)/(-8530)) a prime number?
True
Let p be -73 + -3 - (-7 - -3). Let k be (1 - -22)*p/(-6). Let b = k - 98. Is b composite?
True
Is 1859133/(18 + 180/(-12)) a composite number?
False
Let k = -302009 - -674518. Is k composite?
True
Suppose -4*i - 16 = -12. Is i/2*(-3)/2*7628 composite?
True
Is (-54)/(-30) + (-551364)/90*-57 a prime number?
True
Suppose -7*v = -31569 - 11320. Suppose -6*i + 11*i = -3*l + v, -3*l + 2*i + 6113 = 0. Is l composite?
False
Let s(j) = -2*j**3 + 10*j**2 - 4*j + 6. Let v = -70 - -77. Let p be s(v). Let z = p - -853. Is z prime?
False
Let c(y) = 15*y**2 - 8*y - 46. Let h(o) = 31*o**2 - 17*o - 92. Let w(x) = -7*c(x) + 3*h(x). Let u be w(-7). Let k = -344 - u. Is k a composite number?
False
Let f(g) = 20*g**2 + 9*g - 9. Let u be f(6). Suppose -v = u + 79. Let r = 1733 + v. Is r a prime number?
False
Suppose 209*b + 59*b + 27*b - 12854035 = 0. Is b a composite number?
False
Suppose 4 = -2*m - 6, 3*l - 32 = 4*m. Suppose -4*q - 1 = -5*h + 11, -h + 4*q = l. Is (0 - 4)*(573/h)/(-3) prime?
True
Suppose -31*l + 573 = -34*l. Is -1 + -3 - l - -4 a prime number?
True
Suppose 8*g = 7*g - t + 2803, -2*g + 4*t + 5612 = 0. Let l = 5663 - g. Is l a prime number?
False
Let t(d) be the first derivative of d**2/2 - 7*d - 18. Let k be t(9). Is k/8 + 102180/48 a prime number?
True
Let l be ((-7)/(-2))/(9/(-18)). Let r(b) = -5*b**3 - 6*b**2 - 9*b + 10. Let p be r(l). Suppose 5*z - p = -h, 0 = -4*h - z + 2*z + 5871. Is h prime?
False
Let d(b) = 147*b + 70. Let n be d(5). Is n - 6/4*(-24)/9 composite?
False
Let y = 123218 + -63181. Is y composite?
False
Let y be 6/2 + (-2 - -5). Suppose -6*k - y*k - 48 = 0. Is 59/(5 + k - 0) a prime number?
True
Suppose 0 = 3*x - 5*u - 14, 9*x - 3*u = 4*x + 18. Let f(q) = q - 2 - 3 + 18*q**2 - 5*q**2. Is f(x) composite?
True
Let p = 66 - 45. Suppose 0 = f - p - 5. Suppose f*d = 31*d - 4045. Is d prime?
True
Let d = -697564 - -1200198. Is d/310 - (-4)/10*-1 a composite number?
False
Let w be -8*2/12 - (-160)/12. Suppose 120 = -6*j + w*j. Suppose -16*m + j*m - 10516 = 0. Is m prime?
False
Let f(b) = 28*b**3 - 2*b**2 + 5*b - 4. Suppose -9 = 3*w - 30. Let a be 2/(((-70)/(-15))/w). Is f(a) a prime number?
False
Let a be 90/(-180)*(-5 + 1). Suppose 3*j - 5 = -a*j, 4*j - 43199 = -5*b. Is b a composite number?
True
Suppose -2*z + 68421 + 194714 = 5*a, -263135 = -5*a + z. Is a a composite number?
False
Let l(j) = 16*j - 46. Let h be l(16). Suppose 7*q - 9*q = -h. Suppose 1660 = g + q. Is g a composite number?
True
Suppose -37*q = -131*q + 39060555 + 11959355. Is q composite?
True
Let v(r) = 2*r - 30. Suppose -5*g + 119 - 34 = 0. Let m be v(g). Suppose -8*o = -m*o + 2*s - 2678, -2*s = 6. Is o composite?
True
Suppose 21798806 + 9485713 = 25*h + 4126094. Is h a prime number?
False
Let g(k) = -7379*k + 1463. Is g(-6) a composite number?
False
Let o = -3293 - -445. Let j = 7907 + o. Is j composite?
False
Let l(y) = 1 - 416*y - 7 - 1. Let o be l(-4). Is o/5 + (32/20)/(-4) a prime number?
True
Suppose 9*o + 918336 = 41*o. Suppose o = 2*p + 3496. Is p prime?
True
Is 29487 - (-5 - -1 - 56/(-7)) prime?
True
Suppose 4*f = -61 + 773. Suppose 3*r = 5*d + 96, -2*d - f = -4*r - 50. Is (-1887)/(-2) + (-16)/r prime?
False
Let c(n) = 10*n - 25. Let t be c(7). Is 92265/t - 4/(-6) prime?
False
Suppose 10079*a - 10058*a - 323967 = 0. Is a composite?
False
Suppose 5*d - 4*g - 2473421 = 0, d = 5*g + 9841 + 484860. Is d a composite number?
True
Suppose 4*f - 9382 = -3*n + 922, 5*n - f - 17181 = 0. Let m be ((-1)/4)/((-3)/6)*n. Suppose 380 = 2*j - m. Is j composite?
False
Let c(u) = 86024*u**2 + 8*u - 9. Is c(1) a composite number?
True
Is ((-68620160)/15)/(-17) - (-1)/3 a composite number?
True
Let i be (1 + (-182)/21)*-3. Let m(q) = -q**2 - 6*q - 5. Let c be m(-5). Suppose -i*p + 20*p + 2301 = c. Is p prime?
False
Let o(v) = -140*v**2 + 58*v**2 - 92*v**2 + 6*v - 2. Let z be o(2). Let p = 2085 + z. Is p prime?
True
Suppose -237 = 3*p - 4*i, -3*i = -3*p + 2*i - 240. Let o = p - -79. Is ((-268)/o + 0)/(-1) a composite number?
False
Suppose 15*j - 18*j + 439527 = 2*l, -5*j = 5*l - 732535. Is j a prime number?
True
Let o = -1160641 - -2027660. Is o prime?
False
Suppose -4 + 76 = 6*p. Let z = p - 8. Suppose -z*n + 1088 = 4*a, 0 = 4*n - 2*n + a - 541. Is n prime?
True
Let m(d) = 3193*d**2 - 35*d + 341. Is m(8) a composite number?
True
Suppose 8*k = 11*k - 5538. Suppose -t = -k - 1275. Suppose 5*r - 3*q - t = 0, 398 + 2709 = 5*r + 4*q. Is r composite?
True
Let o be (-1)/(((-3)/(-4))/(27/(-18))). Suppose -v + 6*c - c = 15, o*v = c + 6. Suppose -g - 3*g + 4344 = 4*j, v*j = 2*g + 5437. Is j a composite num