er?
True
Let u(l) = 93*l + 4. Suppose 4 = r - 2. Let s(n) = 93*n + 3. Let k(i) = r*s(i) - 5*u(i). Is k(1) a composite number?
True
Suppose g - 281896 - 27299 = -4*x, g - 309203 = -5*x. Is g composite?
True
Let b(t) = 1197*t**2 - t + 2. Let w be b(-10). Suppose 8*d - w = -8648. Is d a composite number?
False
Suppose 5*z = -3*h + 40, 0 = 3*z - 19 + 4. Let a(q) = 36*q**3 + 4*q - 3. Let n be a(3). Suppose -n = -4*x - h*x. Is x a prime number?
True
Suppose 5*s + 16911 = 87833 + 46643. Is s a composite number?
True
Let m = -1127 + 4023. Suppose 537 = -7*q + m. Is q composite?
False
Is 17022/(-4)*(-644)/42 a prime number?
False
Let h(o) = -o + 27. Let m be h(18). Suppose m*i + 253 = 10*i. Is i a composite number?
True
Suppose 208 = 6*s - 38. Let x = 45 - s. Suppose -2*w - 275 = -x*a - w, 4*w = -a + 73. Is a a composite number?
True
Let h be 10 + 406 - (-4)/2. Let r be ((-140)/(-80))/(1/156). Let j = h - r. Is j a composite number?
True
Let r(s) be the first derivative of 16*s**3/3 + 2*s**2 - 15*s + 78. Is r(-5) prime?
False
Suppose 0 = 5*c - l + 6*l - 368745, l - 295002 = -4*c. Is c a prime number?
True
Let f(n) = -12*n + 29. Let w(i) = -i. Let a(q) = -f(q) + w(q). Let h be a(3). Is (-19833)/(-15) + ((-95)/(-25) - h) a prime number?
False
Let m = 47 - -226. Let f = m - 74. Let n = f - 112. Is n a prime number?
False
Suppose 1789*v - 1785*v - 108 = 0. Is (223*1)/(v/189) composite?
True
Suppose -20467 = -15*z + 130133. Let m = -5634 + z. Is m composite?
True
Let g(m) = -37*m + 6 + 26 + 62*m - 1 - 27*m**2 + 3*m**3. Is g(24) a prime number?
False
Suppose 3*s = -0*n + n - 22850, 5*s = 3*n - 68538. Suppose 0 = -y + 14*y - n. Is y a composite number?
True
Let h(a) = 90*a + 23497. Is h(0) prime?
True
Let h = 213044 + -61575. Is h prime?
False
Is (-65696645)/(-55) - 438/(-803) a composite number?
True
Suppose -8244 = -4*c + 2*r, 4110 = -38*c + 40*c + 2*r. Is c a prime number?
False
Let i be (-4)/5*(-25)/10. Suppose -i*g - g + 414 = 0. Suppose -g - 45 = -w. Is w prime?
False
Is 1403762/4 + 538/1076 a composite number?
False
Let b(u) = 423*u + 36. Let i be b(-16). Let c = -3131 - i. Is c prime?
False
Let v = -4331 - -6664. Is v prime?
True
Let s(f) = 3*f**3 + 2*f + 153451. Is s(0) composite?
True
Let k be (-10)/10*(-6 - (-3 + 0)). Suppose -3*q + 4*c = k*c - 2023, 0 = 4*q + c - 2688. Is q a composite number?
False
Suppose 0 = -42*w - 9861 - 47511. Let n = w + 2907. Is n prime?
False
Let h(v) = 84*v**3 - 6*v**2 + 3*v + 8. Let n be h(5). Suppose 5*w + 14960 - 1955 = -4*r, -4*w + 3*r - n = 0. Let u = -1606 - w. Is u composite?
False
Suppose -5*w = 5*y - 0*w + 125, -27 = y + 3*w. Let v be y/8 - (-2 + 2). Is -1 + 0 + (v - -473) composite?
True
Suppose 0*k - 5*k - 8370 = 0. Is (14 - k) + 15/3 composite?
False
Suppose 26*c - 7866 = -2*x + 24*c, 0 = -5*x - 4*c + 19667. Is x prime?
False
Let w(m) = -m**2 + 16*m + 27. Let z be w(17). Is (-1182)/(-1) - (15 - z) composite?
True
Let o = 116785 + -35562. Is o prime?
True
Let g = 641327 - 104950. Is g composite?
False
Let q(p) = -p**2 + 2*p + 25. Let w be q(6). Is 25914 + -21 - -2*w a prime number?
False
Let m(p) = -562*p + 41. Suppose 8*j - 2 = 4*j + 5*q, -3*j - 3*q - 12 = 0. Is m(j) composite?
True
Let s(v) = -4*v**2 + 17*v + 4. Let b be (1/1)/((44/16)/11). Let i be s(b). Is 0 + -2 + 1902 - (-8)/i a composite number?
False
Let x(a) = -374*a - 585. Is x(-17) a composite number?
True
Let y(o) = 2*o**2 - 9*o - 1. Let t be y(5). Suppose t*k = -2*q + 24, -4*k = 2*q + 2*q - 32. Suppose 4 = 2*u, -q*j - 623 = -7*j + 5*u. Is j a composite number?
False
Let r(v) = -2*v - 6. Let k be r(-4). Suppose 4*l = 3*i - 38, 2*l - 3*i = -16 - 6. Is (l/(-2) + -35)/(-3 + k) prime?
True
Suppose -5*x + 724703 - 244047 = h, 3*x = -5*h + 2403302. Is h a composite number?
False
Let w(p) be the second derivative of -376*p**3 - 121*p**2/2 + 116*p. Is w(-5) a prime number?
True
Let n be (0 - -3)/(5 + (-2122)/424). Let a = -321 - n. Let s = 299 + a. Is s prime?
False
Let c = 323924 + -150633. Is c prime?
True
Suppose -3*v + 32367 = h - 32744, -2*v = h - 43408. Is v a composite number?
True
Suppose -24*a + 19*a + 32540 = 0. Let l = a + -4370. Is l a composite number?
True
Is 6213200/49 + 13/(-1) composite?
True
Let x(n) = -n**3 + 18*n**2 - 13*n - 7. Suppose -3*f + 2*f = -4*d + 5, 4*f = 12. Let o be d - -10 - 0/5. Is x(o) a composite number?
False
Let u = -228 - -106. Let w = -706 + u. Let s = 1405 + w. Is s a prime number?
True
Suppose -1056 = -3*f - 3876. Let q = f + 1347. Is q a prime number?
False
Let x be ((-1)/((-14)/972))/((-93)/(-2604)). Let b = x - 321. Is b a composite number?
True
Let b = 59977 - 28017. Suppose 4*y = -5*n + b, y + 10*n = 5*n + 8005. Is y a prime number?
False
Is (22/(-363) - (-302275794)/1386) + 12/14 a prime number?
False
Suppose -4*h - 2*l + 6 = -8, 3*l = -h - 9. Suppose x = -z - h, 2*x + 2*z + 28 = -2*x. Is ((-235)/(-4))/((-2)/x) a composite number?
True
Let s = -238 + 223. Is 5 + 78/s + (-88848)/(-15) a prime number?
True
Let f(h) = -8487*h - 227. Is f(-14) composite?
True
Let o = -1116 + -1380. Let b = o + 5070. Suppose i + i - 4*x - b = 0, 4*i + 5*x = 5122. Is i prime?
True
Let a(y) = 861*y - 37. Let s(j) = 12*j - 44. Let v be s(4). Is a(v) composite?
False
Let f be (21036/(-48))/(3/(-264)). Let x = f - 26339. Is x a prime number?
True
Suppose 4*s - 4*n - 377417 - 735223 = 0, -n - 1390780 = -5*s. Is s composite?
True
Suppose -117375057 = -184*j + 64707479. Is j composite?
False
Let h be (-4)/14 + (-4113)/(-63). Let a = -61 + h. Suppose y - 938 = 5*f, -3*y + 619 + 2252 = a*f. Is y a composite number?
False
Let k be 13 + -2 - (-16 - -15). Suppose 0 = -k*j + 6033 + 7731. Is j composite?
True
Let r = 344 - 341. Suppose -4*v = 20, -r*v + 1157 = j - v. Is j composite?
True
Let q be (-12)/9 + (-384)/(-72). Suppose -8924 = q*i - 8*i. Is i prime?
False
Suppose 11*r + 2970 - 22770 = 0. Suppose -256 = -j - 5*z + 78, z = 5*j - r. Is j a prime number?
True
Suppose -b + 475*w = 470*w - 434751, 0 = -3*b - 3*w + 1304325. Is b prime?
False
Let g(s) = -3 - s**3 + 9*s**2 + s - s**2 + 8*s**2 - 1. Let o be g(16). Suppose 4*t = o*t - 6152. Is t a prime number?
True
Suppose 9 - 7 = f - 3*q, -3*f - q = -16. Suppose 2*c = -f*m + 100175, -2*m + 3*c - c + 40070 = 0. Is m a prime number?
False
Let m = 3923 - 2794. Let q(t) = -81*t - 2. Let r be q(4). Let w = m + r. Is w prime?
False
Let k = -16 + 25. Let c(d) = 43*d - 4. Let y(h) = 174*h - 16. Let o(i) = 9*c(i) - 2*y(i). Is o(k) a prime number?
True
Suppose 20 = 2*j + 2*i, -5*j - 4*i = -57 + 10. Let b(q) = 262*q**2 - 12*q + 9. Is b(j) a prime number?
True
Suppose -2*j = 4*z + 49 + 43, j = -3*z - 50. Let l = -30 - j. Is 12/l*(-1)/(9/(-1266)) composite?
False
Let b = 76 - 69. Suppose 0 = -b*d + 4*d + 14292. Suppose 4*z = -2*z + d. Is z a prime number?
False
Let o(w) = -229*w + 3095. Is o(-108) a composite number?
False
Let k be 2/(-1) - 32/(-8). Suppose k*t + 924 = 5*t. Let y = -197 + t. Is y composite?
True
Suppose -2*l = -5*t + 3*l + 250, 4 = 2*l. Let b = t - 47. Suppose 0 = 4*m - k - 523, -2*m + b*k = k - 258. Is m a composite number?
False
Let i(l) = 24*l**3 + l**2 - 32*l + 86. Is i(7) a prime number?
False
Let q be -1 - -8 - (10 + (7 - 12)). Let j be 1/(3*3/18). Suppose -q*a + 857 + 307 = j*o, 2334 = 4*o - 2*a. Is o composite?
True
Let w = -6339 - -21836. Is w a composite number?
False
Is 1/22 - 329591790/(-2420) a composite number?
True
Let t = 671 - 673. Is 762/(6/t)*(-28)/8 composite?
True
Suppose 7*g + g = 0. Suppose 8 + 5 = 2*s + 5*a, -5*a + 5 = g. Is ((-2)/6)/(s/(-1524)) composite?
False
Suppose -2*k + 4 = u, 0*k + 4*u = 2*k + 16. Suppose 4*r - 9 - 17 = -5*v, -v + 2*r + 8 = k. Suppose -253 = -v*l + 533. Is l a composite number?
False
Is (-26135)/(-135)*159 - 32/144 prime?
True
Suppose -12 = 8*k - 92. Suppose -17171 - 12239 = -k*x. Is x a composite number?
True
Let x(c) = -c**2 + 12*c - 9. Let y be x(5). Suppose 74 + y = 4*r. Suppose -8781 = -r*v + 22*v. Is v a prime number?
True
Is -74*-2*(-331)/(-4) a prime number?
False
Suppose 5*t - 2*t - 118338 = 0. Let y = 2865 - 2861. Suppose 5*g - 7*g = y*r - t, 0 = 4*r + 5*g - 39437. Is r prime?
False
Suppose 3*r + 4*t = 24, -4*r = t - 4 - 28. Suppose 6*q - 32 = -r. Suppose 5*u - q*u - 4*c - 30 = 0, -66 = -u - 5*c. Is u composite?
True
Let t be 267