 a composite number?
True
Suppose 5*p + 29518 = 4*g, 0 = 5*g + 37*p - 42*p - 36900. Is g prime?
False
Let f be (-404)/(-4) + -2 - 0. Suppose 0*j = 3*j - f. Is j prime?
False
Let f(t) = 332*t**2 + 24*t + 51. Is f(-18) a composite number?
True
Let a = 74 + -41. Let v = -29 + a. Suppose -5*t - 139 = -2*q - 2*t, 0 = -5*q + v*t + 365. Is q a composite number?
True
Suppose 4*t = -21*b + 26*b - 51303, -2*t - 4 = 0. Is b prime?
True
Let w = 78267 - 17440. Is w composite?
True
Let r = -19 - -52. Let p = -7 + 3. Let t = r - p. Is t composite?
False
Let v be (-2)/(-3) + 4048/48. Suppose -g - 44 = -2*n, 0 = -2*g + n - v + 9. Is 8/g - 5458/(-18) composite?
True
Suppose 4*c + 6906 - 2289 = a, 4623 = a + 2*c. Is a prime?
True
Let o = -17572 + 38109. Is o prime?
False
Let i = 41138 + 37101. Is i composite?
True
Let t(x) = -9*x - 3. Let j be t(1). Let q = 71 - j. Let d = q - 16. Is d composite?
False
Suppose -5*x - z + 5*z - 6037 = 0, 3*z - 9 = 0. Let u = -510 - x. Suppose 3*y - u = -2*y. Is y composite?
False
Suppose 0*v = -5*v + 30. Let c be 0 + -3 + 0 + v. Is 575/c - 6/9 composite?
False
Let u(w) = 40*w**2 - 6*w + 1. Let o(x) = x. Let c(z) = 4*o(z) + u(z). Let v be c(-3). Let g = -144 + v. Is g prime?
True
Suppose 5*t + 5*s - 30600 = 0, -s - 24478 = -4*t - 3*s. Is t composite?
True
Suppose 3*m + 4*y - 9*y = 13999, 2*m + 5*y = 9366. Is m prime?
True
Let b(t) be the third derivative of 7*t**5/30 + t**3/6 + 13*t**2. Suppose -2*w - 10 = 2*z - 2, 0 = 4*w - 5*z + 7. Is b(w) a prime number?
True
Let w(h) = -13 + 146*h + 0 + 2. Is w(5) a prime number?
True
Let d(g) = 31*g**3 + 4*g**2 - 7*g - 1. Let j be d(3). Suppose 4*q = -4*w + 1960, -4*q + 1111 = 2*w - j. Is q composite?
False
Suppose -44479 = -5*y - k - 3747, 8162 = y - 5*k. Is y a composite number?
False
Let y = -6 + 12. Suppose 348 = -y*l + 4026. Is l a composite number?
False
Let c be (12/(-10))/(2/(-15)). Is ((-1626)/c)/(8/(-12)) composite?
False
Let o be (-32)/(-20)*2/(4/(-130)). Is 4/(-26) - 111608/o a composite number?
True
Let a be 40/260 - (-28)/(-13). Let j = 4 + a. Suppose -264 = -j*f + y, -5*f + 649 = 4*y - y. Is f prime?
True
Suppose -13*w + 16*w - 8331 = 0. Is w prime?
True
Let w = 13 - 13. Suppose w = -2*m - 1 - 1, 3*m = -h - 8. Let c = h + 51. Is c composite?
True
Let l = -29 - -30. Is (-462)/(-3) - (l + -2) composite?
True
Suppose 0 = -12*t + 21*t - 278253. Is t prime?
False
Let l(w) be the second derivative of 3*w**4/4 + w**3 - w**2 + 22*w. Is l(7) a prime number?
False
Let w = 239 - 117. Suppose 0 = -i + w + 629. Is i a prime number?
True
Suppose 1272*d = 1267*d + 1675. Is d a composite number?
True
Let y(d) = -280*d + 3. Suppose 5*t - 13 = -m, t + 3*t = 4*m + 20. Is y(m) composite?
False
Suppose 1756 = -3*b + 5*j + 24082, -2*j - 37229 = -5*b. Is b a composite number?
True
Suppose 0 = -4*y - 359 - 213. Let k(t) = -61*t**2 - 2*t + 3. Let u be k(-3). Let i = y - u. Is i composite?
False
Let v be (-3)/21 + 0 + 40/35. Is (2646/v + 8)*(-1 - -2) prime?
False
Suppose 0 = -9*j - 164425 + 1044094. Is j a composite number?
True
Let t(p) = 247*p**2 - 15*p + 4. Let k be t(6). Suppose -5879 = -2*h - 5*l, -6*h + k = -3*h + 5*l. Is h prime?
True
Suppose 0*h + 2*h - 92 = v, -5*v + h - 496 = 0. Is ((-127)/5)/(20/v) a composite number?
False
Let o(k) = k**3 + 19*k**2 - 1. Let h(n) = 21*n**2 + 29*n - 1. Let z(g) = -5*g**2 - 7*g. Let u(q) = 2*h(q) + 9*z(q). Let a be u(-3). Is o(a) composite?
True
Is (-3*1 + 83/(-2))*-34 a prime number?
False
Is (1 - 204/180) + 334367/15 composite?
False
Suppose 3*u - 4648 = -4*k, k + 3*u - 723 = 448. Let f = 2220 - k. Is f prime?
True
Let m(k) = -k**3 + 6*k**2 - 3*k - 1. Let g be m(4). Let j = g + 37. Let c = j - 10. Is c a prime number?
False
Suppose 5*q - 4*q + 498 = -3*u, -5*q - 5*u - 2540 = 0. Let d = q + 944. Is d a composite number?
False
Let l(u) = -u**3 - 7*u**2 + 6*u - 5. Let v(d) = -d**3 + 15*d**2 - 2*d + 22. Suppose -f - 2*f + 45 = 0. Let t be v(f). Is l(t) composite?
False
Let x = 186703 + -106394. Is x prime?
True
Let a = 33733 - 19807. Suppose m = a - 4279. Is m composite?
True
Is (22587*((-10)/(-3))/5)/2 prime?
True
Let d(z) = -2*z**3 - 2*z**2 + 2*z + 35341. Is d(0) prime?
False
Suppose -4*b + 617 + 787 = 5*s, 565 = 2*s + 5*b. Let j = s - 157. Is j composite?
True
Let p = -22 + -3. Let v = p + 62. Is v composite?
False
Let j be (-3)/(12/4)*1423. Let n = 4362 + j. Is n composite?
False
Let z(g) = 31*g - 26. Let x(i) = -1. Let l(a) = -2*x(a) - z(a). Is l(-5) a prime number?
False
Let v = -4991 - -11155. Suppose 5*t + 1744 - v = -5*d, 2*t = 3*d + 1793. Is t prime?
False
Let x(l) = -759*l + 175. Is x(-8) prime?
True
Let a be ((-7)/(-14))/(2/(-7172))*-1. Suppose -3*h = -4*h + a. Is h a composite number?
True
Is (9/(-12)*-353)/(4/16) a composite number?
True
Suppose 83*a = 79*a + 16772. Is a a prime number?
False
Let p(r) = -r**3 + 8*r**2 - 7*r + 5. Let n be p(7). Suppose -n*o + 654 = -8*o. Let d = o + 347. Is d a composite number?
True
Let i(a) = -a**3 + 4*a**2 + 4*a + 8. Let x be i(5). Suppose 0 = -5*m - x*m + 2392. Is m prime?
False
Suppose 0 = -4*n - 4*t + 61048, -4*t + 1 + 11 = 0. Is n a prime number?
True
Let g = -56 + 59. Suppose -g*w + 1473 = -4*p, -6*w + 3*p + 1957 = -2*w. Is w a composite number?
False
Let m = 405 + -42. Let i(o) = -3*o**3 - o**2 + 3*o + 2. Let c be i(-2). Let w = m + c. Is w prime?
True
Let y be 22 + -3 + (-2 - -3). Suppose y = -5*t, 0*f - 5*t = f - 74. Is f a prime number?
False
Suppose 21585 = 7*z - 24678. Is z a composite number?
True
Is 12948/20 - 12/30 composite?
False
Suppose -4 = -3*r + 11. Suppose 2*o - 4*v = 550, 938 + 423 = r*o + 4*v. Suppose -3*i + o = -0*i. Is i composite?
True
Let y = -1710 - -11575. Is y composite?
True
Suppose -3*r + r = 2*n - 47910, -r = -3*n + 71857. Is n prime?
False
Suppose 0 = -2*a + 128 - 20. Suppose -a + 665 = k. Is k a prime number?
False
Let u be (-2)/9 + (-10920)/189. Is (u/(-4))/(1/26) a prime number?
False
Suppose -12*r + 10*r = 3*h - 25513, 20 = 4*r. Is h a prime number?
True
Suppose 6 = -3*x + 5*x. Suppose 3*k - 657 = -x*v - 0*v, 4*v = -12. Suppose -3*r - 2*h + k = r, -2*r + 96 = -2*h. Is r composite?
False
Let u be 1/(-2)*200/(-5). Is (-213)/((-4)/(u/3)) prime?
False
Let j(v) = 44*v**2 - 6*v + 9. Let w be j(-9). Let s = w + -1714. Is s composite?
False
Let i be (18 - 0)*((-1071)/(-14) - 6). Let o = i - 888. Is o composite?
True
Let g = -294 - -488. Suppose 6 = 4*m - 2*m. Suppose -m*n = -n - g. Is n a prime number?
True
Let b be (6 + -2)*(-181)/(-2). Suppose -7*z + 5*c - 920 = -2*z, 0 = 2*z + 4*c + b. Let u = -74 - z. Is u prime?
True
Let w = -1376 - -2510. Let j be 5 + 2/1*-1. Suppose 5*s - w = -3*r, -2*r = j*r + s - 1868. Is r a composite number?
False
Suppose 0 = -2*d - 8*d + 364370. Is d composite?
True
Suppose 3*b = -2*p - 26, -p - 4*b - 14 = -2*b. Is (8/(-20))/(p/4775) a composite number?
False
Suppose -153*g - 14894 = -175*g. Is g a prime number?
True
Is -8*(-3)/6*18947/4 a prime number?
True
Let d = 165 - -584. Let w = d + 306. Is w a composite number?
True
Suppose 0 = -h - 2*j - 4, 10 = 4*h - 2*h - 5*j. Suppose 2*x - 4199 = -2*n - n, h = -5*n + 3*x + 6992. Is n composite?
False
Let k = 36068 - 7287. Is k composite?
True
Suppose -4*u - a + 96 + 4128 = 0, 4*u = a + 4216. Is u composite?
True
Is 31454/(-8)*5*20/(-25) composite?
False
Let w be (-24)/16*2*8. Let l = 23 + w. Is 3/(l + -2) + 24 a composite number?
False
Is (1/8*-13042)/(2/(-56)) composite?
True
Suppose 0 = 11*h - 51 + 7. Is 4337*h/24 + 1/6 prime?
False
Let u = 1407 + 62. Is u a composite number?
True
Suppose -4*t + 533 = -0*u + u, 685 = 5*t - 5*u. Suppose 5*j + s - 2*s - 210 = 0, -s = 3*j - t. Let r = 42 + j. Is r prime?
False
Suppose 1268 + 532 = 5*o - 2*v, 3*o - v - 1079 = 0. Is o a prime number?
False
Suppose 3*f + 21 + 222 = 0. Let c = 148 + f. Is c composite?
False
Let g = 4214 - 2965. Is g prime?
True
Suppose -5*x + 5214 = -4*h - 36, h = 5*x - 5265. Suppose -3*j = -x + 61. Is j prime?
True
Let u = 1906 - 924. Is u*-2*3/(-12) a composite number?
False
Let r = -2746 + 6089. Is r prime?
True
Suppose 4*r - 474 - 310 = 0. Suppose 0 = -5*n + n + r. Is n a composite number?
True
Suppose 4*c = 20*c - 49424. Is c prime?
True
Let d(i) = 3*i**3 - 2*i**2 - 8*i + 4. Let j be d(7). Suppose -2*t = 3*z - 4*z + 887, -j = -z + 4*t. Is 