837. Is b composite?
True
Suppose 5*m = 2*g - 20, g - 4 = -3*g + m. Suppose -2*k + 5 + 1 = g. Suppose 230 = -k*j + 803. Is j prime?
True
Suppose 2*f - 54 = -20. Let l = -10 + f. Let d = l + 52. Is d composite?
False
Let c(v) = -30*v. Let q be c(-5). Suppose 2*y = 4*y - q. Suppose -h + y = 4*h. Is h composite?
True
Let f = -754 - -1301. Let t = f - -340. Is t prime?
True
Let a(j) = 80*j**2 + 7*j + 14. Let h(f) = -f + 2. Let o(i) = a(i) + 2*h(i). Is o(-7) a composite number?
True
Let q(t) = -t**3 + 14*t**2 + 12*t + 47. Let c be q(15). Is -5 + c + 1010/1 a composite number?
True
Is 3812*(-7 + 145/20) prime?
True
Let o be ((-2 - -2)/3)/1. Suppose o = 5*j - 597 - 358. Is j a composite number?
False
Let w = -30 + 34. Suppose -w = 4*l + 16. Is l/20 - 762/(-8) prime?
False
Let g(z) = -z**2 - z. Let f be g(-1). Let i be 4025 + 4/8*f. Suppose 4*k = 1323 + i. Is k prime?
False
Suppose 5*y - 3*k + 6*k = 45514, -y - k + 9104 = 0. Is y composite?
True
Suppose 0 = 4*d - 0*p + p - 2583, 2*d = -2*p + 1296. Is d/6*2 + 2 prime?
False
Suppose 27*h - 11*h = 4592. Is h a composite number?
True
Let a = -5268 + 7471. Is a a prime number?
True
Suppose -2*a - 1059 = -a. Let m = a - -1837. Is m prime?
False
Let w(u) = u + 5. Let n be w(8). Let c(i) be the first derivative of 2*i**3/3 - 5*i**2 - 5*i - 1. Is c(n) prime?
False
Is ((44/(-6))/2)/(22/(-18282)) a composite number?
True
Suppose x - 4329 = -8*x. Suppose 0 = 5*h - 4*h - x. Is h a composite number?
True
Suppose 4171*r - 4178*r + 556521 = 0. Is r composite?
True
Let c(f) = -f**2 + f. Let s(y) = -8*y**2 + 12*y + 1. Let l(x) = 6*c(x) - s(x). Suppose -20*t + 126 = -2*t. Is l(t) a composite number?
True
Suppose 3*t - 8617 - 21004 = -2*j, 0 = -5*t - 2*j + 49363. Is t prime?
True
Let t(k) = 162*k + 2. Let q be t(-5). Let z = 1767 + q. Is z a prime number?
False
Suppose 7*t + 65 + 12 = 0. Let u(h) = -329*h - 60. Is u(t) a prime number?
True
Let w be (-8158)/(-14) + 4/14. Is w - (-2 - (-3 - -5)) prime?
True
Suppose 4*b - 2*a = 12, 2*b - 2*a + 2 = -5*a. Suppose 4*p = 5*i - 231, -b*i - 29 + 143 = -2*p. Let r = 87 + p. Is r prime?
False
Suppose 0 = -10*j + 9*j + 1099. Suppose 2*t + j = 9*t. Is t prime?
True
Let q = 65 + -123. Let v be (-68)/12 + 6 - (-536)/(-6). Let s = q - v. Is s a prime number?
True
Let r be (-8)/(-28)*(-1 - -8). Suppose -z = -r*z - 3. Is 357/6 + z/2 prime?
False
Suppose 0 = 14*k - 30173 - 11925. Is k prime?
False
Let c = -10988 - -92493. Is c a prime number?
False
Suppose 29*g = 40*g - 140789. Is g a prime number?
True
Let i(s) = 36*s**3 - 19*s**2 - 21*s - 23. Is i(12) prime?
True
Let i(a) = -8565*a + 8. Is i(-3) a composite number?
False
Let m(x) = -x**3 - x**2 - 5*x + 6559. Is m(0) prime?
False
Let z be 5790*(6/(-4))/(-3). Suppose -5*h + 520 + z = 0. Is h a composite number?
False
Let g be 2/(-3 - -1) + 3971. Suppose g = 7*u - 5*u. Is u prime?
False
Suppose -5*g = -27*g + 646426. Is g a composite number?
False
Suppose -2*m - b + 15 = 0, -2*b + 0*b = -5*m + 51. Let l(h) = h**3 - 8*h**2 - 10*h - 13. Let u be l(m). Let w = 57 - u. Is w a composite number?
False
Let m be 1*-13*(-1 + 0). Suppose -m*v - 381 = -16*v. Is v a composite number?
False
Let o = 35178 - 16255. Is o composite?
True
Suppose -5*h - 4*a + 50 = -5*a, 20 = 2*h + 5*a. Suppose 3*n - 5 = h. Suppose 5*w - 57 = -s, w - s = 2*s + n. Is w a prime number?
True
Suppose -5*i + 729 = -4*d, 5*i - 7*d = -9*d + 753. Is i a prime number?
True
Let h(n) be the first derivative of -215*n**2/2 + 11*n - 16. Is h(-4) composite?
True
Let s = 953 + 1578. Is s composite?
False
Suppose -81*k + 20097 = -1516716. Is k prime?
True
Suppose 21*x - 465400 = -68521. Is x prime?
True
Suppose 7 = q - 8*d + 3*d, 5*q = 4*d + 77. Suppose 0 = 4*t + x + q, -3*x = 2*t + 12 - 1. Is -2*(-3 - (-434)/t) a prime number?
True
Suppose 10*x = -0*x - 40. Is 20/x - (-830 - -7) a prime number?
False
Suppose -28*y - 1631255 = -4189531. Is y composite?
False
Let z = -39 - -21. Let h = z - -100. Is h a composite number?
True
Suppose 4*g + 8 = 0, -5*p + 4*g = -0*g - 438. Suppose -1332 = -2*a - p. Is a a composite number?
True
Suppose 4*j - 4*s + 7*s = -24, 2*s = 2*j + 12. Let t = -15 - -6. Is (-2)/j + (-1266)/t composite?
True
Let m be (1 + 1)*(-4)/8 + 432. Suppose 0 = -d + 5*h + 218, -5*h = -3*d + d + m. Is d composite?
True
Let h(b) = -4*b + 27. Let f be h(6). Suppose -5*n = -f*k + 70 + 51, 2*k - 82 = 3*n. Is k a prime number?
True
Let z(b) = 540*b + 74. Is z(16) composite?
True
Let w(p) = 2*p**2 - p. Let j(v) = v - 7. Let l(u) = j(u) + w(u). Is l(7) a prime number?
False
Let k(t) = -t**3 + 8. Let v be k(0). Let g be -1 - -4 - 3304/v. Let s = -287 - g. Is s a composite number?
True
Suppose -3*x + x + 10 = 0. Let v = x - 3. Suppose -k = -5*t - v*k + 187, -5*k = 15. Is t a composite number?
True
Suppose -s = 8 - 6. Let r(c) = -4*c - 3. Let v be r(s). Suppose -4*z - 622 = -2*k, 1573 = v*k - z - 3*z. Is k composite?
False
Let l be (-3 - -6)*(-20)/6. Let j = l + 8. Is (3/j)/((-1)/82) prime?
False
Suppose z = 5*q + 2 + 14, z - 4 = 2*q. Let h(d) = -814*d + 17. Is h(q) composite?
True
Let p(l) = 304*l**2 - 10*l + 5. Is p(-10) prime?
False
Let y = 64 + -62. Is ((-12)/(-3))/y + 965 prime?
True
Let a(n) = -n**3 - n**2 - n + 491. Suppose 2*i = -2*i. Let u be a(i). Suppose 4*q - q + 15 = 0, 4*j - 3*q = u. Is j a composite number?
True
Let p(r) = -r**3 + 32*r**2 - 93*r - 43. Is p(28) composite?
True
Let f(z) = -158*z**3 - 5*z - 4. Let o be -4 - (0 + -2 + -1). Is f(o) prime?
False
Suppose -x + 3186 = t - 0*t, -6407 = -2*x + 5*t. Suppose 0 = 57*n - 56*n - x. Is n a composite number?
False
Is (10 - 9)/(1/499) a prime number?
True
Let d be (-12156)/(-12) - (0 - (-2 - 0)). Suppose -d = -4*b + 665. Is b a prime number?
True
Let u be -1 - (2*-4)/2. Suppose v + 5*d = 960 + 140, 3*v - 3342 = -d. Suppose -8*s = -u*s - v. Is s a composite number?
False
Let a(v) = v**3 - 5*v**2 - 7*v + 10. Let j = 9 - 4. Suppose 5*w + j*d = 3 + 7, 2*d + 10 = 0. Is a(w) prime?
True
Suppose 2*a - 24 = -5*m, a - 4*a + 27 = 3*m. Suppose -148*i = -141*i - 42. Suppose -127 = i*g - a*g. Is g composite?
False
Let t = 4255 - 1752. Is t a prime number?
True
Suppose -99*c + 107*c - 16760 = 0. Is c a prime number?
False
Suppose -8 + 1 = -g. Let i(z) be the third derivative of z**6/60 - 11*z**5/60 + z**4/4 + z**3/3 - 8*z**2. Is i(g) a composite number?
False
Let w(v) = -9*v**2 - 11*v + 5. Let x(i) = 10*i**2 + 10*i - 6. Let n(d) = 2*w(d) + 3*x(d). Let q be n(-7). Suppose -3*z + q = -31. Is z composite?
True
Suppose -3*y = -4*y + 15. Suppose 0*t + 529 = 3*v - t, 0 = -3*t + y. Is v a prime number?
False
Suppose 103*i = 108*i - 23145. Is i composite?
True
Let x(d) = -389*d**2 + 2*d - 5. Let n(m) = -778*m**2 + 3*m - 10. Let v(z) = 3*n(z) - 7*x(z). Is v(1) a composite number?
False
Suppose 5*y + 12*p - 10*p - 29033 = 0, -2*y + p = -11615. Is y prime?
True
Let g(s) = 2*s**3 - 5*s**2 - 12*s + 5. Suppose -5*k + 13 = -27. Is g(k) a prime number?
True
Let s(y) = 2342*y**2 - y - 1. Suppose -2*a - a = -3*c - 15, -2*c - a + 2 = 0. Is s(c) prime?
False
Suppose o - 91 = 5*q, -3*q - o - 4*o - 49 = 0. Let u = q - -6. Let m = u + 18. Is m prime?
False
Let b(p) = p**2 - 4*p + 2. Let o be b(5). Suppose -o*u + 2748 = -u. Let l = u + -247. Is l a prime number?
True
Suppose -15*r - 267 = -18*r. Is r a prime number?
True
Let h(i) = 4710*i**3 + 2*i**2 + 3*i - 4. Let n be h(1). Suppose z - 8*z + n = 0. Is z a prime number?
True
Let r(t) = 28*t + 1. Let j be r(-6). Let i = j + 546. Is i composite?
False
Let z = 23 - 3. Let i = -12 + z. Let t(v) = 91*v + 17. Is t(i) a prime number?
False
Let w be (-49218)/(-351) + ((-14)/(-18) - 1). Let b be (16/(-10))/((-4)/10). Suppose -b*o = -632 + w. Is o a prime number?
False
Let v = -491 - -1370. Is v prime?
False
Suppose 0 = -2*n - 6*n + 124728. Is n a composite number?
True
Let v(z) = -7*z**2 - 7*z - 7 + 14*z + 9*z + 3*z**3. Is v(6) a composite number?
True
Suppose -5*i = -4*i - 12. Let n(r) = -3*r**2 + 14*r + 136 - 267 + 126 + r**3 - 8*r**2. Is n(i) prime?
True
Suppose 30*f = 129546 + 333264. Is f a prime number?
True
Let d(a) be the first derivative of 89*a**3/3 - 2*a**2 - 4*a - 12. Is d(-1) a prime number?
True
Let d(c) = -31*c + 145. Is d(-54) prime?
False
Suppose 3*i - 100 = -4*r, 9*r - 4*r = 5*i - 155. Is ((-538)/3)/((i/(-