a. Is h prime?
True
Suppose -1113004 = -4*v + 4*x, 4*x = -2*x - 2*x. Is v a composite number?
True
Let g = 10146 - 6035. Is g prime?
True
Suppose -56909 - 258446 = -54*n - 5*n. Is n composite?
True
Let a = -727 - -2265. Suppose -a = -7*c + 219. Is c a prime number?
True
Let y(o) = 3 - 3*o**2 - 11 - o**2 + 220*o**3 - 88*o**3. Let z be y(6). Suppose -z = -7*a - a. Is a a composite number?
True
Suppose -137*z = -138*z + 25859. Is z composite?
True
Let z be (-4)/10 - 2/(-5). Let r be 126 + -118 + 7*1. Suppose r*o - 6*o - 2367 = z. Is o a composite number?
False
Let h(k) = 5*k + 17. Let u be h(12). Let j = 59 - u. Is -4 - (1 - j)*-71 prime?
False
Let h(s) be the second derivative of 15*s**3 - 8*s**2 - 38*s. Let f be h(26). Suppose -8*u = -4*u - f. Is u composite?
True
Let s be (-60976)/12 - 3/(-9). Let r = s + 7331. Suppose r = 5*m - 5*o, -3*o + 1104 = 3*m - 240. Is m a composite number?
False
Let g = -7 + 6. Let p be g/2*(-4 - -2). Is 15/(-5)*p - -2114 prime?
True
Suppose -15*h = -2*h - 23296. Suppose -4*s + h = -4*r, -4*s + 875 = -r - 908. Is s a prime number?
False
Let r(h) = 5*h + 11*h**2 - 4*h**3 + 12*h - 33 - 41*h + 7*h. Let p(f) = 2*f**3 - 5*f**2 + 9*f + 17. Let w(j) = -7*p(j) - 4*r(j). Is w(7) prime?
True
Let q = -18074 - -11743. Let j = 2592 - q. Is j prime?
True
Let m(j) = -j**2 - 29*j - 63. Let u be m(-20). Let x = u + -225. Let c = 209 - x. Is c prime?
True
Let w = -7 + 5. Suppose -x = 4*s - 30, -5*s = 3 + 7. Is x/(-14) - w/(-7) - -1364 a composite number?
False
Is 101593254/552 - (-6)/(-8) prime?
False
Let f = 301473 - 127672. Is f prime?
False
Let u(m) = -3*m**3 - 46*m**2 - 133*m - 17. Let k be u(-12). Let b(i) = -2*i**2 - 5*i - 2. Let g be b(-6). Let r = k + g. Is r composite?
True
Let o be 5/(45/6)*156/(-8). Let n(c) = 1337*c - 1365*c - 12 - c**2 - 6. Is n(o) prime?
False
Suppose 0 = -4*l - 5*m + 305861, -6*l + 10*l - m = 305879. Is l a composite number?
True
Suppose 28*n + 1211380 = 11*n + 165*n. Is n a prime number?
False
Let d be (0 + -1)*(-1)/1*1. Let q be (-4 + 3260/(-2))/(-3 + d). Suppose p - q = 460. Is p a composite number?
False
Let x = -172 - -269. Suppose 0 = v - d + 419, 118*d - 113*d - 25 = 0. Let g = x - v. Is g a composite number?
True
Let f be ((-5)/2)/(-1*(-2)/(-8)). Suppose -r - 2*q - f = 0, 5*r = -0*r + 3*q + 15. Suppose k - 1733 = -r*k. Is k prime?
True
Let c be ((-21)/(-42))/((2 + -4)/(-48)). Suppose c*i + 1916 = 16*i. Suppose 23 + i = 2*b. Is b prime?
True
Suppose -519*m = -524*m + 24175. Is m a composite number?
True
Let w(k) = -k**2 + 17*k - 55. Let x be w(13). Is -1 + 0 - (-3459 + -2 - x) a composite number?
False
Suppose -165*l + 7893207 = -182388. Is l a prime number?
False
Let b be ((-19)/5 - (-24)/8)*-5. Suppose b*l = f - 2266, -2*f - l = 3*f - 11393. Suppose y - f = -y. Is y a composite number?
True
Let o(b) = -6*b + 5. Let j(r) = -5*r + 5. Let l(a) = -5*j(a) + 4*o(a). Let i be l(-11). Is (-18508)/i - 2/(-8) a prime number?
False
Suppose 2*n - n = 5*h + 4829, 5*n - 4*h = 24166. Suppose 5*u = 9051 + n. Is u a composite number?
False
Suppose -1 + 5 = 2*b. Suppose -11*d + 15*d - 2*v + 172202 = 0, 0 = 3*d - v + 129149. Is d/(-12)*(b - (-3)/(-6)) prime?
True
Suppose -7*s - 50*s + 3809937 = 0. Is s prime?
True
Suppose -29 - 43 = -6*r. Suppose r - 4 = -4*g, -2*c = -3*g - 462. Let b = c - 95. Is b prime?
False
Let t = 93 + -73. Let q(i) = 76*i + 15. Is q(t) prime?
False
Let k(b) = 2376*b**2 - 25*b - 484. Is k(-15) a composite number?
False
Suppose 0 = -2*m + 67 + 1. Let k = 258 + -94. Suppose 2*l - k + m = 0. Is l a composite number?
True
Suppose 916*n - 917*n = -5*m + 497792, -99538 = -m + 7*n. Is m a prime number?
True
Let m(s) = 20*s - 9. Let a be 7*((-8)/21 - (-14)/21). Suppose 4*u + 3*k - 19 = 0, -a*u - u - 3*k + 12 = 0. Is m(u) prime?
True
Let d = 222 + -20. Let f = d - 114. Let u = 499 + f. Is u composite?
False
Suppose 0 = -3*r - 12, -3687 + 10449 = 2*v + 4*r. Is v prime?
True
Suppose 365 + 1411 = 4*g + 3*q, 3*g + 5*q = 1343. Let t(l) = 11*l**2 + 245*l + 34. Let b be t(-23). Let w = g + b. Is w a prime number?
True
Let d(q) = 68*q**2 + 139*q + 523. Is d(46) prime?
False
Let q = -4 - -7. Suppose -6*m + 15 = -q*m. Suppose 4*k + u = -0*u + 224, 0 = -3*k - m*u + 185. Is k a composite number?
True
Let n = 438 + -436. Is 1 + n + 25780/2 prime?
True
Is (-129194)/(-5) + 3 - (-132)/(-165) a composite number?
False
Let k(b) = -3994*b + 929. Is k(-52) a composite number?
True
Let p be 108/90*(-70)/(-4). Is 2510 + -2*p/6 prime?
True
Is (-7 - (-1 - 4))*-3613 a prime number?
False
Let k be (-21)/(-3) - 14 - 1101. Let o = 1641 + k. Is o prime?
False
Let o be (9/(-4))/((-13)/52). Suppose -203626 = -25*b - o*b. Is b composite?
True
Let a(j) = 4786*j**2 - 1053*j - 6. Is a(-13) composite?
False
Is -4*(9526938/(-504) - 2/21) composite?
False
Suppose 4*o = 8 + 12. Suppose 2*v + 2*g - 3809 = -g, o*v - 2*g - 9475 = 0. Suppose 0*r = -7*r + v. Is r prime?
True
Suppose 33*y = -23 - 43. Let c(a) = -8304*a - 11. Is c(y) a composite number?
True
Let n(l) = 633*l**2 + 9*l - 18. Let v be n(2). Let x be (-4351)/(-3) + (-1 - (-20)/12). Let c = v - x. Is c composite?
True
Let k(d) = -11*d**2 + 12 - 12*d - 11*d + 10*d**2. Let i be k(-20). Let x = 538 - i. Is x a prime number?
False
Let i be -1*(-6)/(3 + -9). Is 28 + -30 + i + 2102 a prime number?
True
Suppose 4*g - 11 + 83 = 0. Is (-2061)/g + 5/10 a composite number?
True
Let g(v) = 16917*v**2 + 33*v + 91. Is g(-3) a prime number?
False
Suppose -4*t - 1104583 = -1438*n + 1435*n, 2*n + 3*t = 736366. Is n prime?
True
Suppose 73*c + 1900570 = 5*u + 78*c, 5*c = 4*u - 1520411. Is u a composite number?
True
Let w(x) = 2284*x - 1. Let b be w(3). Suppose -3*i = -6*a + 8*a + 3, i = 4*a - 15. Suppose 5*d - b = -a*o, 4 = -4*d - 4. Is o a prime number?
True
Let d be -34*(3 + 10/(-4)). Let r(x) = 73*x**2 + 23*x + 37. Is r(d) prime?
True
Suppose -3*j = -24 + 6. Let r(c) = 14*c**2 - 6*c + 13. Let t(m) = 27*m**2 - 10*m + 26. Let k(g) = -5*r(g) + 3*t(g). Is k(j) composite?
False
Is 1151138/38 - ((-7488)/342 - -22) prime?
True
Suppose 5*a = -274*d + 273*d + 123062, 5*d + 24576 = a. Is a a composite number?
False
Let v(m) = -m**2 - 15*m - 41. Let b be v(-11). Let a(g) = 9*g - 8 - b - 17*g**2 + 31*g - g**3. Is a(-20) composite?
False
Suppose 0 = 5*o + 4*g - 612211, -3*o + 14*g + 367331 = 12*g. Is o a prime number?
True
Suppose -5*q + q + 19752 = 0. Let j = -4505 - -2646. Let x = q + j. Is x composite?
False
Let l(j) = -2*j**3 + 12*j**2 + 25*j + 80. Is l(-6) a prime number?
False
Let h = 26 - 26. Suppose -o - 5*q + 477 = h, -5*o = 5*q - 2*q - 2341. Is o a composite number?
False
Suppose -18*g = -15*g, 2*g = -5*o + 13120. Let p = 1459 + o. Is p prime?
False
Let j(k) = k**3 - 4*k + 2. Let z(m) = m**3 + m**2 - 3*m + 2. Let g(f) = 3*j(f) - 4*z(f). Let a be g(-11). Let t = a - 468. Is t prime?
False
Suppose z + 14*p - 12*p - 47861 = 0, -3*z + 143592 = -3*p. Is z prime?
False
Let d be 24478 + -4 - (2 + 0 + 2). Suppose 2*o = o - 5, -5*g = -3*o - d. Is g composite?
True
Let w = -43060 - -120866. Is w prime?
False
Let y(m) = -m**2 + 22*m - 49. Let g be y(3). Suppose g*o - 26*o = -52398. Is o a composite number?
True
Let w(b) = 2*b**3 - 56*b**2 + 3*b + 12. Let z be w(28). Is z/128 - 1785/(-4) a prime number?
False
Let m(v) = v + 4. Let n be m(-4). Suppose -16*i - 3*i + 2641 = n. Is i a prime number?
True
Let s(p) = -78*p + 29. Let q(b) = -156*b + 58. Let k(l) = 2*q(l) - 5*s(l). Let n be (2/(-6))/((-1)/27). Is k(n) prime?
True
Suppose 4*b - b - 12 = 3*o, o + 1 = 0. Suppose -6*n + 10123 = b*g - 4*n, -g = 5*n - 3396. Is g composite?
False
Suppose -37*a + 3090936 = -874391. Is a composite?
False
Let x = -17 - -17. Suppose 4*f - 175 + 19 = x. Suppose -f*b + 1361 = -38*b. Is b prime?
True
Suppose -19 = -3*l - 4*h, 3*l + 3 + 2 = 2*h. Let k be 174*l/((-12)/(-8)). Suppose n - k = -n. Is n composite?
True
Let h(t) = -10*t**2 - t**3 + 18*t - 11*t**2 - 5 + 2*t**3. Let d be ((-882)/(-63))/(2 - 4/3). Is h(d) prime?
True
Let a(p) = 21*p**2 - 100*p - 165. Let i(s) = 4*s**2 - 20*s - 33. Let u(t) = -2*a(t) + 11*i(t). Is u(30) prime?
False
Suppose 684*z = 535*z + 95264789. Is z prime?
True
Let x = 5 - -3. Let i = 16342 + -16342. Suppose 2*f - 2*t - 3314 = i, 0 = -4*f - x*t + 3*t + 6628. Is f composite?
False
Let b be (-46)/((8/(-12