omposite number?
True
Let s = -6 - -89. Let o = s - -602. Is o a composite number?
True
Suppose 0 = -4*z - 2*b + b + 68873, -z + 17222 = -b. Is z a composite number?
True
Let m = 37 - 27. Let p = m + -1. Is 4760/45 - (-2)/p composite?
True
Let c(y) = 165*y + 74. Let s(l) = 83*l + 37. Let r(x) = 6*c(x) - 13*s(x). Is r(-24) a composite number?
False
Suppose 0 = -5*k - 25, 4*c + 2*k + 3*k = -5. Suppose -3*d + 1168 = c*r - 699, 4*r + 4*d = 1500. Is r a prime number?
False
Let g be (-4)/(-8) - (-116)/(-8). Let o = g - -20. Is o/2 - 4*-21 composite?
True
Let d be (2/3)/(12/(-20718)). Let w = d + 1665. Is w prime?
False
Is 14279 - 4/(-6)*(22 - 19) a composite number?
False
Suppose 3*r = 5*c, -2*r = 4*c - 7*r. Suppose 4*v - 2228 = -c*v. Is v composite?
False
Let x = -14 + 16. Let n(k) = 6*k**2 - 4*k - 6*k**2 + k**x - 2. Is n(5) composite?
False
Let z(s) = 200*s**2 - 2*s - 4. Let v be z(-5). Suppose 0 = -6*t + v - 740. Suppose -5*l - 4*r = -0*r - t, -5*r - 675 = -5*l. Is l composite?
False
Suppose 3*q - 31 = 4*q. Let y = q - -22. Is 2/(-6) - 210/y prime?
True
Is (2/8)/((3/3)/36588) composite?
True
Let n = 215026 - 108309. Is n composite?
True
Suppose -54*g + 280663 = 17*g. Is g composite?
True
Suppose -2*f = c - 7351, -6*c + 9*c = 4*f - 14717. Is f a composite number?
False
Let t(g) be the first derivative of g**3/3 - 7*g**2/2 + 4*g - 3. Let q be t(7). Suppose 5*j = -3*o + 2*j + 648, -j = q*o - 849. Is o composite?
False
Is 263/(1/28*4) composite?
True
Let q = -11 + 2. Let c = -7 - q. Suppose -5*d = -c*s - d + 482, -s = 4*d - 229. Is s composite?
True
Let m(f) = -563*f**3 - 3*f - 3. Suppose -w + 5 = -6*w. Is m(w) a composite number?
False
Let n(y) = -17*y**2 - 3*y. Let v = -15 - -13. Let w be n(v). Let j = -25 - w. Is j composite?
False
Let x(r) = -r**3 - 6*r**2 + 7*r. Let n be x(-7). Let j be 0*(3 + n - 2). Suppose 4*o + j*u + 5*u - 1420 = 0, 0 = 4*u. Is o prime?
False
Let h be (4/(-6))/(4/(-36)). Suppose 3*g - h = 18. Is 2*(-4)/(g/(-83)) composite?
False
Suppose -5*n + 93 + 104 = -3*z, 0 = -4*n - 3*z + 136. Suppose 2*b + 2*m = 404, 5*m + 12 = n. Suppose 0 = -2*a + b + 57. Is a a prime number?
True
Let p(l) = -11*l + 8. Let u be p(-4). Suppose 333 = 5*o - u. Is o a composite number?
True
Let v = -93 + 65. Let j = 48 + v. Suppose n + j - 69 = 0. Is n prime?
False
Suppose -15*p = -17*p + 2622. Suppose 8*c = -p + 17335. Is c prime?
True
Suppose m - 113 - 284 = 0. Is m a prime number?
True
Suppose -2*s - 2*o + 2880 = 0, -2*o - 2 = -4. Is s composite?
False
Suppose -h - 2*u + 0*u = -20328, 2*u - 6 = 0. Suppose h = j - 3*j. Is j/(-63) - 2/7 prime?
False
Let j = 2540 - 1149. Suppose -3*t - b = -j, -4*t - 4*b + 2*b + 1852 = 0. Suppose f + t = 4*f. Is f composite?
True
Let x be 4/(-6) + (-19145)/(-21). Suppose -z - z = -3*i + x, 4*i + 4*z = 1228. Is i a composite number?
True
Let c(b) = -b**3 - b**2 - 5*b + 13. Let j = -25 - -19. Is c(j) composite?
False
Suppose 5*n + 328423 = p, 0 = -5*p - 10*n + 11*n + 1642163. Is p composite?
True
Let q = 36 - 38. Let n(z) = 290*z**2 - z + 3. Let f be n(q). Suppose f = -4*l + 5*l. Is l a composite number?
True
Suppose -2*a - r = 303, 3*r = a - 2*r + 168. Let g = 513 + -247. Let h = g - a. Is h a composite number?
False
Is (1 - 10)*245/(-105) a prime number?
False
Suppose l = 5*d - 7, 0 = -4*d - 0*l + 5*l - 7. Suppose -k - 210 = -a, -478 + 64 = -d*a + 4*k. Is a composite?
True
Suppose -4*t = -16, -2*j + 7*j - 16999 = 4*t. Is j a composite number?
True
Is 3/((-3)/(-25249))*(5 + -4) prime?
False
Let m(i) = 22*i + 1527 + 2*i**3 - 9*i**2 - 1538 - 9*i. Let n(f) = 9*f**3 - 2*f + 1. Let p be n(1). Is m(p) a prime number?
True
Let t be -2*51/(-12)*2. Suppose 5*h + 5 = -5*i, -h - 5*i + 0*i = t. Suppose -u + 303 = h*k, -2*k - 574 = -u - u. Is u a composite number?
True
Suppose 0 = 4*p + i - 3, 0 = -2*p + 5*i - 0*i - 15. Suppose p*t = -2*t + 4*b + 424, 3*b - 645 = -3*t. Is t a prime number?
False
Suppose 0*h + m + 9 = 5*h, -h = -2*m. Suppose x + h = 0, -3*x = 3*j - 8*j + 31. Suppose 0 = i - 28 + j. Is i composite?
False
Suppose 62*d = -3*s + 61*d + 134120, -4*s + 178800 = -4*d. Is s a composite number?
True
Suppose -4*g - 70 = 3*g. Let a(z) = z**2 + 9*z - 6. Let m be a(g). Suppose m*t + 3*w - 386 = 0, 293 = 6*t - 3*t + 4*w. Is t composite?
True
Suppose 0 = -7*z - z + 8392. Let u = 1918 - z. Is u composite?
True
Let d be ((0 - 0)*-1)/2. Let r(l) = -l**2 + 12*l + 30. Let g be r(-2). Suppose d*w = g*w - 818. Is w prime?
True
Suppose 0 = -z + 15 - 72. Is (z - 1)/((-10)/75*3) a prime number?
False
Suppose 0 = 4*b - 5*b + 502. Let f = 816 - b. Is f composite?
True
Let a = -508 - -342. Is (a/4)/(-1)*2*11 composite?
True
Let b(m) = -139*m**3 + 2*m**2 + 4*m + 2. Is b(-3) a prime number?
True
Suppose 0 = -20*u - 15911 + 683491. Is u composite?
True
Let t(w) = 14 - 3*w - w + 10*w - 7*w. Let d be t(12). Suppose 6*q + d*l = q + 747, -3*q = -5*l - 442. Is q a prime number?
True
Let k be -1 - (2 + -1)*(-2 - -1). Let j be 704 - 2/(-4)*2. Suppose k = 6*l - l - j. Is l prime?
False
Suppose 3*b + 4*t = 2970, 3*b = -0*b - 2*t + 2970. Suppose -5*i = -10*i + b. Suppose -92 - i = -5*m. Is m a prime number?
False
Let x = -29 - -33. Is (((-18)/x)/(-9))/((-2)/(-4044)) prime?
False
Let n(x) = x - 5. Let r be n(6). Let s be (3 - (10 + r))/(-2). Suppose s*i - 644 = -0*i. Is i prime?
False
Suppose -5*d = -4*w + 15243, -3*w - 2*d + 5*d = -11436. Is w a composite number?
True
Suppose -n - 138 = -0*n. Let p be (-4)/22 + n/(-33). Suppose -p*t + 725 + 1151 = 0. Is t prime?
False
Suppose 0 = -4*r - 4*c + 1432, -c = 5*r - 2*c - 1814. Is r composite?
True
Let i(l) be the third derivative of -l**6/60 - l**5/4 + 3*l**4/4 + l**3/3 + 2*l**2 + 1. Is i(-12) a composite number?
True
Let x = -1 - 0. Let s be 9/(-3) - 1/x. Is 210/9*(-3)/s a prime number?
False
Let m(j) = 2738*j + 239. Is m(16) composite?
True
Suppose -4*x + 15 = -1. Suppose -2*t + 40 + 2 = 2*a, t = -5*a + 17. Suppose -3 = -3*j, t + 105 = p - x*j. Is p a composite number?
False
Let x(v) = 7 - 4*v - 11 + 11*v**2 - 16. Is x(9) a composite number?
True
Let m(h) = 265*h**2 - 6*h - 32. Is m(-3) a prime number?
True
Is (5/3)/((-3)/(2 + -51635)) a prime number?
False
Let j be ((-32)/(-12))/(3*(-8)/(-89172)). Let b = j - 6745. Is b prime?
True
Suppose -5*m - 2*o + 2970 = -m, -2*m = 3*o - 1475. Suppose -2*j = 3*j - m. Is j composite?
False
Suppose -4*d = 3*v - 16168, -d + 7*v = 2*v - 4065. Is d prime?
False
Suppose 3224 = -4*w - 3848. Let f = w - -877. Is 1 - (f + -2 + 5) prime?
False
Let t be (-110 - 0)*27/6. Is -1 + 2 - -3 - t a composite number?
False
Suppose 34*z - 39896 = 26*z. Is z composite?
False
Let v(l) = 5 - 106*l + 4 - 47*l + 8*l. Is v(-8) a prime number?
False
Let u(t) = -58*t - 25. Let y(n) = 289*n + 126. Let j(x) = 11*u(x) + 2*y(x). Is j(-15) a composite number?
False
Let n(d) = d**2 + d + 1. Let c(a) = -636*a**2 - 6*a - 5. Let p(v) = -c(v) - 6*n(v). Is p(1) a composite number?
True
Let c(i) = -i**3 - 17*i**2 - 23*i + 7. Let d(x) = -x**3 - 9*x**2 + 13*x + 14. Let u be d(-10). Is c(u) prime?
False
Suppose -4*i - 3*g = -1183, -3*i + 5*g = -0*i - 880. Suppose -39 = 2*y + 2*n - i, 4 = 4*n. Is y prime?
True
Is -4*5/((-60)/8817) a prime number?
True
Suppose 2*x = -5*j + 2945 + 421, 2*j = -8. Is x prime?
True
Suppose -3498*v = -3495*v - 187377. Is v a composite number?
False
Let x(y) be the second derivative of y**5/20 + y**4/2 - y**3/2 - 3*y**2/2 - 2*y. Suppose -3*l = -6, 2*l + 2 = -5*t - 19. Is x(t) prime?
True
Let q be ((-8)/10)/(6 + 186/(-30)). Suppose -2*m + q*m = 3*t - 1993, m = -5*t + 3339. Is t a prime number?
False
Suppose -2*y - 10265 = -7*y. Suppose 3*b = -2*p + y, b = -0*p - p + 684. Suppose 0 = 5*r + 140 - b. Is r a composite number?
False
Suppose 12*q + 13 = 13*q. Let z = q + -11. Suppose -z*w + 7*w - 195 = 0. Is w prime?
False
Suppose -64 = -31*g + 23*g. Suppose t = -g*t + 28827. Is t a composite number?
False
Let k = -5 - 5. Let h = -7 - k. Suppose t = -3*t + 20, -2*t = h*p - 619. Is p prime?
False
Let b(v) = 47*v**2 - v + 1. Suppose 2*h + 0*h - 8 = 0. Suppose h*m = 11 - 19. Is b(m) prime?
True
Suppose 2*f - f = 3. Suppose -f*z + 5*z - h = 65, 0 = -h + 5. Let q = z + 12. Is q a prime number?
True
Suppose 2*k + 0*b - 4*b = 38, -3*b - 102 = -5*k. Suppose 0 = k*l - 25*l + 220. Suppose -w + 72 = -l. 