 - h = -4*c + i. Is c prime?
True
Let t be -2*(-2)/(-24) + (-161)/42. Is -5497*(t + 15/5) a composite number?
True
Let x = -1443 - -5410. Is x prime?
True
Let g be (-52)/(-20) + 16/40. Suppose 4*l - 13420 = 4*k, -g*l = 2*l - 4*k - 16779. Is l a composite number?
False
Let l(t) = 1873*t - 21. Let y be l(2). Let b = y + -1672. Is b composite?
False
Let h be (17/(153/(-18)))/((-4)/(-154)). Let x = h - -314. Is x prime?
False
Let o = 17 - 114. Let d = o + 93. Is (d + (-510)/(-9))/((-6)/(-9)) a composite number?
False
Suppose 4*c + 0*y = -2*y + 38, 0 = 4*y - 20. Suppose 6843 = c*p - 4*p. Is p a prime number?
True
Is ((-87)/(-9))/(201/1254843) prime?
False
Let f(q) = q**2 + 8*q - 1. Let n be f(-7). Is 2041 + n/(0 - 2) composite?
True
Suppose -p + 16 = -4*s, -4*s - 124 = 2*p - 6*p. Let r = p - 34. Suppose 2*o + 1796 = 4*z - r*o, -895 = -2*z + o. Is z composite?
True
Suppose 140929 = 3*y - 77075. Suppose -y = -4*q - 4*a, 6*a - 72674 = -4*q + 5*a. Is q a composite number?
False
Suppose 17927763 = 490*b - 469*b. Is b composite?
False
Let v(m) = 276*m**2 + 7*m. Let x(i) = -276*i**2 - 6*i + 1. Let l(y) = 2*v(y) + 3*x(y). Let o be l(3). Is 12/30 + o/(-5) a prime number?
True
Let y be (-3 - -1)/(223388/(-15956) - -14). Suppose c + 8974 = 3*c. Let b = y - c. Is b a composite number?
False
Suppose -12*c - 219 = -243. Is 4 - -5432 - (c - 1) composite?
True
Suppose 3*r = -5*x + 10*x - 1223, 0 = -3*x + 4*r + 736. Suppose 134317 = x*t - 227*t. Is t composite?
False
Suppose -b = -5*u + 15, -3*b + 6 = 5*u - 9. Suppose -g = 2*v + g - 6596, b = 2*g + 2. Is v a composite number?
False
Let a(m) = -m**3 + 4*m**2 + 6*m - 9. Let i be a(5). Let d(x) = 4*x**2 - 2*x - 9. Let w be d(i). Let u = w + 20. Is u a prime number?
True
Let g be 1 + 0 + (0 - -3). Let j be 3 - (-9 + g - -4). Suppose 2*p - 5*p = -j*i - 629, 0 = 4*p + 5*i - 787. Is p a prime number?
False
Suppose 0 = 5*u + 4*f - 290, -8*f - 196 = -4*u - 4*f. Suppose -801 = -57*p + u*p. Is p a composite number?
True
Let s = 11810 + 2621. Is s prime?
True
Let z(t) = 3*t - 55. Let a be z(19). Suppose -4*q = -a*d - 32, -2*q - 5*d + 16 = -d. Suppose -q*k + 1885 = -3*k. Is k prime?
False
Suppose -6623 = -s - 4*h, -3*s = 2*h - 8437 - 11452. Let k = s - 3030. Is k composite?
True
Let v(x) = -x**3 - 4*x**2 - 2*x + 5. Let l be v(-3). Is (2/12*l)/(65/3360045) a composite number?
False
Let x be -13*5/(-5)*-41. Let c(k) = -4*k**2 + 16*k - 26. Let u be c(-15). Let q = x - u. Is q composite?
True
Suppose 19 = 2*u + 15. Suppose -u*r + 2758 + 9304 = 0. Is r composite?
True
Let h be (-3)/(18/2) + 144/27. Suppose 3*q + 33*i - 36*i = 54792, 2*i = h*q - 91317. Is q a prime number?
False
Suppose 4*d = 5*a + 606459 + 236514, 4*a + 842976 = 4*d. Is d composite?
True
Let l be 6/5*90/(9/3). Let x = 34 - l. Let a(f) = 271*f**2 - f + 1. Is a(x) composite?
False
Let o(i) = -i**2 - 18*i + 2. Let j be o(-18). Suppose 0 = 13*s - 8*s - 1780. Suppose -j*u + 2*a = -174, 4*u + 2*a = 4*a + s. Is u a prime number?
False
Let c(d) = -d**2 - 13*d + 12. Let y(q) = -q**2 - 11*q - 13. Let p be y(-11). Let o be c(p). Suppose -7*l + o*l - 1825 = 0. Is l a prime number?
False
Let n be 28/(-112) + 9458/8. Suppose -65*u = -62*u - n. Is u prime?
False
Suppose -4*s = 0, f + 4*s + 59676 = -23739. Is 10/(-35) - f/35 a prime number?
True
Suppose -5*a - 3*s + 166 = 0, -5*a - 4*s + 40 = -4*a. Let z = a - -263. Is z prime?
False
Let p be (-25)/(-50) - 18373/(-2). Let x = p - 5984. Is x a composite number?
False
Let k(y) = -11*y + 67. Let q be k(6). Is (q + 27993)/(-10 - -12) composite?
False
Let y = -95525 - -143863. Is y a composite number?
True
Let d = -3980 + 6003. Suppose y = b - 0*b - d, 5*y + 2043 = b. Is b a prime number?
False
Suppose -5*i - 5*w + 80 + 30 = 0, -61 = -3*i + 2*w. Suppose -13 = -4*p - i. Is -4*(p/(-12))/(12/(-3618)) a composite number?
True
Suppose o - 45*g = -41*g + 564595, 3*g - 3 = 0. Is o prime?
False
Let b(k) = 28*k**2 + 8*k + 45. Let y be b(5). Suppose y = h - 2418. Is h a prime number?
True
Let r = 9133 + -5706. Is r prime?
False
Suppose 4*s + 5*h = 9*s - 682805, -4*s + 546242 = -3*h. Is s a prime number?
True
Let n(x) be the third derivative of 59*x**5/12 + x**4/6 - 5*x**3/2 + 79*x**2. Is n(4) a prime number?
True
Let x(h) = 1052*h**2 - 1283*h - 29. Is x(-18) prime?
False
Let v(b) = -b**3 - 5*b**2 - 88*b + 273. Is v(-55) a composite number?
True
Suppose -5*i + 721094 = 2*d, 245*i - 250*i + 2*d = -721086. Is i prime?
False
Let l be (6 - 12)*(-13)/(-2). Let i be (-4 + 0 + l)*7. Let k = i + 1712. Is k a prime number?
False
Let x = 226525 - 65024. Is x a composite number?
True
Let s(g) = g**3 - 10*g**2 + 10*g - 7. Let o be s(9). Let k(n) = 2 - 9 + o + 6 - n + 5*n**2. Is k(2) composite?
False
Suppose -4*j + 4*o = -114992, -16*j - o - 86250 = -19*j. Is j prime?
True
Suppose 1 = -4*z + 33. Let g = 916 + -332. Suppose z*k - g = 1440. Is k a prime number?
False
Suppose 201*n - 15282069 = -0*n + 26638893. Is n a prime number?
False
Suppose 19920 - 260735 = -5*k - 3*b, 0 = -2*k + 8*b + 96326. Is k composite?
False
Suppose -4*t + 59*t - 10046410 = 0. Is t a composite number?
True
Suppose -23*t + 27*t - 5*z = 262292, -t + 4*z + 65595 = 0. Is t a prime number?
True
Let g be (51964/(-10))/((-38)/95). Let t = g + -7536. Is t composite?
True
Suppose 5*f + 5*s = -60, -2*f - 62*s = -57*s + 39. Let a(p) = -3*p**3 - 7*p**2 + 6*p + 5. Is a(f) prime?
False
Suppose -8*v + 6*v = -8. Suppose 8*a - 7*a + v = 0. Let b(d) = 20*d**2 + 2*d - 11. Is b(a) prime?
False
Let c = 278 + -274. Is 2/(-6)*-15 + 7688/c prime?
False
Suppose 0 = -3*o + 15, -i + o = 3*i - 183. Let n = 186 - i. Is n a prime number?
True
Suppose 0 = -y + 3*g + 168, 3*y - 326 - 234 = -5*g. Suppose -5*j + 2*a = 304, y = -4*j + j + 2*a. Let c = -5 - j. Is c composite?
True
Suppose -h - 2*v - 10 - 18 = 0, -3*h + 4*v - 124 = 0. Let l(u) = -u**2 - 26*u + 313. Let d be l(-35). Is d/(-9) + (-24652)/h a composite number?
True
Is (-10 - 0)/((-5)/(-55) - 4902981/53923837) composite?
True
Let i be (-81)/(-15) + -2 + 52/20. Suppose 2*g = i, 3*c + 3*g - 834 = -g. Is c composite?
True
Let f = -356090 - -617367. Is f composite?
True
Let c(l) = 142*l**2 - 2*l - 1. Suppose -4*k = 12, 2*k = 2*p + 3*p - 31. Let m be ((-20)/p)/8*-4. Is c(m) a prime number?
True
Let h(k) = -k**3 - 2*k**2 - k - 4. Let l be h(-2). Let b(t) be the third derivative of 46*t**5/15 - 5*t**4/24 - t**3/2 + 8*t**2. Is b(l) prime?
True
Let v(k) = 653*k**3 - 3*k**2 + 3*k + 7. Let n be v(3). Let x = -10567 + n. Is x a composite number?
True
Let p be 16/(-72) + (-6240880)/(-45). Suppose 33*i - p = -5267. Is i composite?
True
Let z(m) = m**3 - 3*m**2 + 4*m - 1. Let r be (-3)/3 - 6/(-2). Let q be z(r). Suppose 0*s + 4*b = s - 82, b = q. Is s prime?
False
Let w = 15 + 5. Suppose 9*p = 4*p + w. Suppose -p*b + 12 = -8, 2*l - 5*b - 157 = 0. Is l prime?
False
Let y be (-1 - 1)*-317 - 1. Let a = 244 + 1674. Let c = a - y. Is c prime?
False
Suppose 0 = 5*v + 98*w - 99*w - 2084136, 1667303 = 4*v + 5*w. Is v composite?
True
Let y(t) = 3450*t + 21. Let g be y(-1). Let k = 7678 + g. Is k prime?
False
Let a(t) = 16165*t - 507. Is a(8) prime?
True
Let s(y) = -2*y**2 + 7*y + 1. Let i be s(4). Is (-1)/(i*8/238008) prime?
False
Let u = 33940 - -23043. Is u a composite number?
False
Suppose -48*l = -4*o - 51*l - 3, 4*o - l - 1 = 0. Suppose o = 4*s - 59147 - 59913. Is s a composite number?
True
Let z be 7 - 3/(0/(-3) - 1). Let q(v) = -97*v + 42. Let m(o) = 193*o - 81. Let b(u) = 3*m(u) + 5*q(u). Is b(z) a composite number?
False
Suppose -2*s + 72 = 2*r, 4*r - 70 = -7*s + 5*s. Suppose -s*t + 3522 = -31*t. Is t a composite number?
False
Suppose 18*q - 15*q - 92 = -2*m, 0 = -2*q + 4. Suppose 0 = -m*u + 22*u + 193893. Is u a composite number?
True
Suppose 58*v - 5993 = 57*v + 3*b, -5961 = -v - 5*b. Is v prime?
True
Let b = 264507 + -138440. Is b a composite number?
False
Suppose 0 = 52*x - 56*x. Suppose -4*c - 4*h = -19012, x*c - 4741 = -c - 4*h. Is c prime?
False
Is 2418 + -10 + 10 + -5 prime?
False
Let o = -2637 + 5356. Is o a composite number?
False
Suppose -g + 7496 = t - 14730, -88928 = -4*g + 4*t. Is g composite?
False
Suppose 4095400 = 91*m + 109*m. Is m a prime number?
True
Suppose 2*y - 2*m + 18 = 0, 4*y + 3*m + 43 = -0*y. Is (145/y + 3)*-362 prime?
False
Is (633410/(-16)