23*m**2 + 3*m + 137*m**2 + 79*m**2 + 10 + 172*m**2. Let c be (-21)/(-6) - 1/2. Is o(c) prime?
True
Suppose 116129 = o - 3*t, 3*o = t + 437326 - 88987. Is o prime?
False
Suppose -65*l = 4*y - 59*l - 152336, -2*l = 3*y - 114247. Is y a prime number?
False
Let c(s) = 23*s**3 - 219*s**2 + 17*s - 105. Is c(32) a prime number?
True
Suppose 103*v - 76*v - 898749 = 0. Is v a composite number?
False
Suppose 10529 = -14*f + 153231. Is f composite?
False
Is ((-14102)/(-8))/((-21)/588 + 6/21) prime?
False
Let p(s) = s**2 + 3*s - 4. Let f be p(-7). Suppose 0 = -2*r - f + 12. Is 4/r + 9475/15 a prime number?
True
Is 3/(12/(-14))*(-5 - (-352215)/(-15)) composite?
True
Suppose 973063 = 28*y - 935725. Is y prime?
True
Let y be ((-40)/(-24))/((-2)/(-6)). Suppose 8313 = 2*r + y*w - 7198, 0 = -r - 2*w + 7755. Is r composite?
False
Suppose -j = -l + 69636, -j = -4*l + 147233 + 131302. Suppose -6*z + l = -57981. Is z a composite number?
False
Let d(q) be the first derivative of 284*q**3 + 5*q**2/2 + 4*q - 58. Is d(-1) prime?
False
Suppose -5*s = u - 6, -6*u = -u - 5. Let w(d) = -15 - 9*d - s - 26 + 5. Is w(-10) composite?
False
Let m(g) = -g**3 + 16*g**2 + 15*g + 49. Let y be m(17). Suppose y*j - 228460 = 5885. Is j a composite number?
True
Let x = -250 + 258. Suppose 0 = q + 5, -4*q - 24504 = 4*i - x*i. Is i a composite number?
False
Is -5*(-39608)/(-16)*(2 - 232/10) a prime number?
False
Let v(l) = 13*l**2 + 18*l - 36. Let j(w) = w**3 + 4*w**2 - 5*w - 5. Let n be j(-5). Let k be (-20 - n) + (-2 - 2). Is v(k) prime?
False
Let x(u) = -3*u + 46. Let v be 12 + 5/((-25)/(-10)). Let p be x(v). Suppose 0 = 5*q - 2*l + p*l - 2437, 4*q = -l + 1949. Is q prime?
True
Suppose -6*v + 9 = -9*v, -2*p - 5*v = -3. Let g(f) = 51*f**2 + 11*f + 17. Is g(p) a composite number?
True
Suppose 0 = 3*j + 2*m - 3124395, 1239*j = 1238*j + 2*m + 1041457. Is j prime?
False
Let a(n) = 2*n**2 + 10*n + 8. Let i be a(-6). Suppose 0 = -i*o + 2099 + 1941. Is o a prime number?
False
Let r be (0 - 9/(-18)) + 16426/(-4). Let i = 9075 + r. Is i prime?
True
Let i(z) = 381*z**2 + 37*z - 53. Is i(10) a composite number?
True
Is 4/(-17) + (-1835395522)/(-3502) a prime number?
True
Suppose 3*f + 11 + 55 = 4*o, o - 5*f = 25. Suppose -o*d + 62570 = -5*d. Is d prime?
True
Let x(h) = 2*h - 135*h**3 + 16 - 17 - 441*h**3. Is x(-2) prime?
True
Let u = -21 + 28. Is 901 - (-42)/(-49)*u prime?
False
Is 264279 - ((-16 - -3) + 5) prime?
False
Let a(p) = -p**3 - 10*p**2 - 27*p - 6. Let b be a(-5). Suppose -b*j + 11044 = -1840. Is j a prime number?
True
Let z = -40 + 38. Let x be (2 + (-3 - 0))*(5 + z). Is 895 + 4/24*x*-8 a composite number?
True
Suppose -2*a + 363 = y - 29, 4*y - 1577 = a. Suppose c - 27 = 2*w - 1, 44 = -4*w + 4*c. Let t = y + w. Is t a composite number?
False
Let g = 3640 - 1737. Let w = g + -504. Is w composite?
False
Is (1446/24)/((-29)/(-133516)) prime?
False
Suppose -4*q - 54020 = -4*k, -3*q + 0*q - 67519 = -5*k. Suppose -5*m + 84427 - k = 0. Suppose -9145 = -10*g + m. Is g composite?
False
Let t be (-2)/(-1) - (-1 - -12 - 11). Suppose t*x - 1253 = 5*o - 8*o, o = 2*x - 1265. Is x composite?
False
Is (10 + -2 - ((-1116)/(-54))/2)*-877029 prime?
False
Let w(d) be the first derivative of 8*d**3/3 + 3*d**2/2 + 18*d + 34. Is w(13) a composite number?
False
Let g(f) = 5*f + 11. Let b be g(-2). Let m(p) = -6 + 4 - 8*p - b + 22*p**2 - 11 - p**3. Is m(9) composite?
False
Let d = 129 - 130. Let s(x) = -1878*x**3 - x**2 - 1379*x**3 + 648*x**3 - x. Is s(d) a prime number?
True
Let a(y) = -92069*y + 3945. Is a(-13) prime?
False
Suppose -20*u + 1812187 + 580873 = 0. Is u prime?
True
Suppose 15*d = -3*y + 19*d + 549162, 3*d = -2*y + 366125. Is y a prime number?
False
Let d = -806 + 23095. Is d prime?
False
Let n = 446 + 1363. Suppose -3*s + 4702 = t - n, -t + 4342 = 2*s. Suppose -6601 = -10*d + s. Is d composite?
False
Suppose 4*g = 5*c - 195, -5*c + 0*g - 4*g = -195. Suppose 1551 = -36*i + c*i. Is i a prime number?
False
Suppose -774*t + 2927535 = -759*t. Is t prime?
False
Suppose -2164365 = -3*m - 3*h, 100*h + 721443 = m + 98*h. Is m a prime number?
True
Suppose 0 = 951*z - 955*z + 1842172. Is z composite?
False
Let m(a) = -721*a + 38. Let p be m(5). Let g = -1926 - p. Is g composite?
True
Let k(a) = -65*a + 8. Let i(m) = -1. Let y(f) = 6*i(f) + k(f). Let t be 5/(-15) + 2/(-3). Is y(t) prime?
True
Let s be (-3 + 2)*-891 + 3. Suppose -s = -4*m + 222. Let y = 770 - m. Is y composite?
False
Let v(t) = -24698*t + 4809. Is v(-49) a prime number?
False
Suppose -4*r + k = -16, -5*r - 5*k = -6*r + 4. Suppose -r*d + 0*a + 38429 = 5*a, -3*d = 4*a - 28823. Is d a prime number?
True
Suppose w - 3*a - 224196 = 350990, -5*w + 2875947 = 2*a. Is w composite?
True
Let h(x) = -2*x**2 - 62*x + 277. Let i be h(-46). Let p = 11 - i. Is p composite?
True
Suppose 0 = 4*q + 7*q - 2255. Let x be (-48)/168 - (-44)/7. Is 0/(-1) + (q - (-10 + x)) a prime number?
False
Let o(k) = 576*k - 36. Suppose -2*d = 3*d + 5*w + 105, 24 = -d - 2*w. Let h be o(d). Is 9/(-63) + h/(-14) composite?
False
Let p be (-35 - -32) + 1*1621. Suppose 18*j = p + 3656. Is j a composite number?
False
Let l(c) = c + 10. Let w be l(-4). Let p be (10/w)/(8/24). Suppose -2*z + p*a = -7*z + 2435, -4*a = -5*z + 2417. Is z prime?
False
Suppose 100*a = 103*a + 3, 5*a = 3*p - 24374. Suppose 20*m = p + 5337. Is m a composite number?
False
Let a be (7/3 - 2) + 665/21. Let m = a - -637. Is m composite?
True
Let n be (-2)/6 + 13836/9. Let s = 5586 - n. Is s a prime number?
True
Suppose -j + 125810 = 4*j. Let u = j - 12555. Is u prime?
False
Suppose -5936468 = 467*k - 535*k. Is k composite?
True
Let k(u) = -u**3 - 4*u**2 - 7*u - 3. Let d be k(-2). Suppose -d*m - 2893 = -14*m. Is m a prime number?
True
Let g = -29059 + 160880. Is g a composite number?
True
Suppose 1367*q = -2*x + 1365*q + 663562, 4*q + 331781 = x. Is x composite?
False
Let q(g) = 196*g**2 - 11*g - 16. Is q(9) prime?
True
Suppose -3*q = -k + 224411, -47*k + 46*k + 5*q = -224419. Is k prime?
False
Let a = -34532 - -5042. Is a*(-20)/104 - (-2)/(-13) prime?
False
Suppose -190*q + 1547677 + 4728209 = -40660004. Is q a composite number?
False
Suppose 1289310 = 46*j - 871459 - 542145. Is j prime?
False
Suppose 4*w = -r + 3670, -7354 = -2*r + 2*w - 3*w. Let v = r + -777. Suppose 4*x + v = 7*x. Is x a composite number?
False
Let h be 450/200 + 1/(-2 + -2). Suppose -h*j - 4*v = -4638, 5*v - 4643 = 3*j - 5*j. Is j a composite number?
False
Let b be 1 - (-7)/(42/9552). Suppose -3*l - l + b = n, 5*l + 4*n = 2005. Is l a prime number?
True
Let z(d) = 271*d**2 - 33*d - 11. Is z(-15) composite?
True
Let r(u) = 3*u**3 - 16*u - 1 - 129*u**2 + 134*u**2 + 0 + 0*u**3. Is r(8) prime?
False
Let i = 2820 - 5075. Let c = -894 - i. Is c prime?
True
Let w = 151374 + -29851. Is w a prime number?
True
Let s(q) = 2*q + 1. Let v be s(2). Suppose -v*n + 4*d + 1071 = 2*d, 864 = 4*n - 4*d. Suppose n = g - 52. Is g a composite number?
True
Let w = 33 - 25. Let h be (9/4)/(3/w). Suppose 640 + 1118 = h*u. Is u a prime number?
True
Suppose -21*c - 71887 = -3*y - 17*c, -3*y = 4*c - 71927. Is y a prime number?
False
Suppose -14785 = -62*s + 57*s + 4*x, 0 = -5*s - 4*x + 14745. Is s a composite number?
False
Suppose -438851 = -l + 4*u, -l + 6*u + 157328 = -281531. Is l prime?
False
Let t = 24039 + -16174. Suppose 3*d = -5*u + d + 39303, -u + 4*d = -t. Is u composite?
True
Let d(k) = 5758*k**2 + 198*k + 1465. Is d(-7) prime?
True
Let v be 2 - 15/8 - 36/32. Is 8/((-2)/v) - (-3 + -6346) a prime number?
True
Let g be ((-12)/(-2))/((-6)/(-4)) + -1. Suppose -2663 = -g*h + 202. Is h a composite number?
True
Suppose 55416735 = 260*z - 75660445. Is z a prime number?
True
Let t(o) = -o**3 - 4*o**2 + 62*o - 10. Let p be t(-10). Is (6 + p/(-12))*446 a prime number?
False
Is 0 - -468348 - (36 - (29 + 0)) a prime number?
False
Suppose -9*q = -3 - 6. Suppose 2*t - w - 4106 = -413, w - q = 0. Is t composite?
False
Suppose 18*x - 8414949 - 570989 = -8*x. Is x composite?
True
Let h be (((-8)/5)/2)/(34/(-260525)). Suppose -27*y + 22*y + h = 0. Suppose 2*t + 299 = 3*t - 4*r, -r - y = -4*t. Is t a composite number?
False
Suppose -4*a - 20 - 4 = 0. Let b(w) = -84*w**2 + 68*w + 18. Let d be b(-12). Is ((-2)/a)/((-14)/d) prime?
True
Let j(t) = -14*t + 41*t**2 - 33 - 12*t**