 1)*(12 + -1773) a prime number?
False
Suppose 76*h = -2*q + 71*h + 9134, -h = 4*q - 18250. Is q composite?
True
Let o be (-1 - 0 - 0)/((-20)/60). Let k be 36/42*14/o. Suppose 0 = -k*h - 20, 4*s = -0*s - 5*h + 1011. Is s a prime number?
False
Suppose -n + 26873 = 37*v - 34*v, 3*n + v = 80635. Is n a composite number?
False
Suppose 0 = 2*g + 3*v - 39, 50 = 3*g - 2*v - 41. Suppose -32*c + g*c = -25895. Is c prime?
True
Let p = -185 - -514. Suppose -3*j = -p - 616. Suppose 0 = -3*g + m + 881 + 79, 0 = -g + 2*m + j. Is g prime?
False
Suppose -10*h = -104870 - 12960. Suppose 4*w = -4*k + 32956, 2*w - h - 4725 = 4*k. Suppose u - w = -1795. Is u prime?
True
Suppose -5*t = -117536 + 7941. Is t a prime number?
False
Let w(m) = 2873*m - 1927. Is w(48) a prime number?
True
Suppose 0*y + 3*y = -2*y. Suppose 0 = 5*a - m - 732 + 5943, 2*a + 3*m + 2098 = y. Let v = a - -1722. Is v a prime number?
False
Let x be (0 + -12)/((18/(-4))/(-3)). Let t(j) = -j**3 + j**2 + 14*j + 15. Let h be t(x). Let v = 998 - h. Is v prime?
False
Suppose 50207974 + 36518560 = 166*s. Is s prime?
True
Let y be (-1)/4 - (-187)/44. Suppose -y*g = z - 770, -3*z + 2*g = -3*g - 2293. Suppose -4*d = 2*n - 378, 3*n - 2*d - z = -n. Is n a composite number?
False
Let s be (-1)/(-1) + 3 - 12805/1. Let g = s - -21765. Let b = g + -2515. Is b prime?
True
Let r(a) = -2*a + 19. Let n be r(4). Let d = -6 + n. Suppose 0 = -d*c + k + k + 7831, -5*c - k = -7822. Is c a prime number?
False
Let g(f) = -f**3 + 9*f**2 + 10*f + 2. Let s be g(10). Suppose -1334 = -3*j + j + s*d, -4*j + 2686 = 5*d. Is j prime?
False
Suppose -401075 = -5*h - 4*m, 18*h - 160418 = 16*h - 4*m. Is h a prime number?
False
Let g(a) = -a**2 + 29*a - 58. Let j be g(26). Let v(r) = -r**2 + 46*r + 67. Is v(j) composite?
False
Let t(r) = -55827*r + 13. Is t(-2) prime?
True
Let v = 30 + -8. Let y be 4/v + -3 + (-375)/(-55). Suppose -2*i + i = n - 126, y*i = -5*n + 503. Is i prime?
True
Let y(c) = c**3 + 16*c**2 - 17*c + 2. Let o = -74 - -57. Let g be y(o). Let h(z) = 286*z**2 + 4*z - 7. Is h(g) a composite number?
True
Let i(r) = 117*r**2 - 35*r - 486. Is i(-13) a composite number?
True
Is (-319543)/(-49) - (16/56 + 0) prime?
True
Suppose 17*v + 29*v = -184. Is (-10778)/v*(-62)/(-31) prime?
False
Let b(c) = 21799*c - 2384. Is b(27) a composite number?
False
Let c = -48213 + 272984. Is c a prime number?
True
Let x(b) = 17*b**3 + 10*b**2 - 21*b + 37. Suppose -4 = 3*j - 4*j, 0 = -2*p - 2*j + 20. Is x(p) composite?
False
Suppose -s + 14 = -a, -5*s + 2*a + 2*a = -66. Suppose 0 = -2*v + s, 0 = -4*j + 5*v + 32 + 39. Suppose 2575 = -19*t + j*t. Is t a prime number?
False
Suppose 11*f - 19*f + 24 = 0, 5*w - 750643 = 4*f. Is w composite?
False
Let o(d) = -1023*d + 1936. Is o(-21) prime?
False
Let i(j) = -11*j - 3 + 21*j - 7*j. Let h be i(3). Suppose -4*l = 20, 0 = -4*g - h*l + l + 531. Is g prime?
True
Is ((-341349)/(-6) + 1)*4/10 prime?
False
Let a be 3 + 9085/(-25) + 4/10. Let d = 451 - a. Suppose d = 8*q - 1485. Is q a prime number?
False
Suppose 3*d + r - 62173 = 0, -5*d + 156993 = -r + 53382. Suppose -4*o + 65208 = 2*a, -4428 = o - 3*a - d. Is o a prime number?
True
Is (1 + -4 + 4)*-82794*1/(-2) a prime number?
False
Let b be ((-6)/(-9))/(58/(-15) - -4). Suppose b*d - 6*d = -1361. Is d a composite number?
False
Let u(p) = -p**3 + 5*p**2 - 3*p - 3. Let m be u(3). Let q be 4/(-6) + (-68)/m. Let v = 431 + q. Is v composite?
False
Suppose -18*d + 22*d + 4 = 0. Let x be (-25 - d)/((-10)/(-205)) + 4. Is ((-62)/4)/((-484)/x - 1) prime?
False
Let s be -12 - -13 - (-2 + -11152). Let a = s + 3412. Is a composite?
True
Let p(j) = -j + 6. Let x be p(10). Let d be (x - -3)/(3/(-447) - 0). Suppose 0 = -5*t + 3*c + 766, t = -c + 3*c + d. Is t composite?
True
Suppose 3*a + 0*a = 5*p - 50, -2*a = 10. Suppose 2130 + 23406 = p*b. Suppose 4*c - 2108 - b = 0. Is c composite?
False
Let s(h) = -180*h - 89. Let d(w) = -21*w**2 - 21*w - 21. Let u be d(-1). Is s(u) composite?
False
Let k = -171745 - -299094. Is k composite?
True
Suppose 4*c = 4*r - r + 10, -2*c - 3*r + 14 = 0. Suppose 24*g - c*g - 329900 = 0. Is g prime?
False
Let n(q) = -5540*q**3 + 3*q**2 + 37*q + 71. Is n(-2) a composite number?
True
Let y(o) = 75315*o + 551. Is y(6) composite?
True
Is (15/(-9))/(-15*(-6)/(-39946230)) a composite number?
True
Is (-5148)/(-297)*48261/4 a composite number?
True
Let a = -599 - -2061. Let p = -669 + a. Suppose 27 = 4*g - p. Is g composite?
True
Let s be (-154)/3 - 10/15. Let x be s/(-234) + 295/9. Let f = 280 - x. Is f a composite number?
True
Let a(x) = 2*x**2 - 7 + 4 - 20 + 6*x. Let f be a(-17). Is -1*(2 + f/(-3)) a prime number?
True
Is (-88552)/(-4)*(87/6 + -5) prime?
False
Suppose 0 = v + k + 3549, 5*v + 17777 = -k + 4*k. Let p = v + 5634. Is p composite?
False
Suppose 3*r + 5*j = 4255333, -4*j = 2*r - 6*r + 5673820. Is r composite?
True
Let v be (-40)/(-180) - 158/(-18). Let l(x) = x**3 + 9*x**2 + 11*x + 1. Let q be l(v). Suppose 5*c - 1157 = -5*k + q, c = 2*k - 1080. Is k a prime number?
True
Suppose 2*g - 316999 = -3*n, 0 = 2*g - 5*n - 235710 - 81233. Is g prime?
True
Let j be 3/4*2 - 5415/(-10). Suppose -104*u + j = -101*u. Is u prime?
True
Let i(v) = -3*v + 37. Let f be i(15). Is (-13250)/f - 24/(-32) prime?
True
Suppose -20 = 4*w, -13310 = 12*z - 7*z - 3*w. Is (-8)/3*60/(-40) - z a composite number?
True
Let m(q) = -5778*q + 1. Let h be m(-30). Suppose -37*l + h = -16876. Is l composite?
True
Let n(c) = 13*c - 129. Let s(j) = -3*j + 32. Let x(h) = 2*n(h) + 9*s(h). Let t be x(20). Suppose t*r - 16 = 564. Is r a prime number?
False
Suppose 0 = -5*m + 3*m. Let n(l) = 0*l**2 + l**2 - 23*l + 24*l + 31. Is n(m) prime?
True
Let s be (-6)/8*(1 + -5). Suppose 20069 = s*b - 24028. Is b composite?
False
Suppose -5*v + 686025 = 251610. Is v prime?
False
Let k be ((-6)/(-9) + -1)/(8/(-96)). Suppose 5*r - 1511 = -k*x, -3*r + x - 487 = -1380. Is r a prime number?
False
Let c = 100257 + 35302. Is c prime?
True
Suppose 5*y + 35 = 8*p - 6*p, y = -p. Suppose -3*x + 3845 = -2*d, p*d = 7*x - 12*x + 6450. Is x a composite number?
True
Let l(i) = 737*i**3 - i**2 + 3*i - 2. Let y be (-3)/(-6)*-2*(1 + -2). Is l(y) prime?
False
Let o = 2 - 3. Let v be 1194/24 + o/(-4). Let q = v + 43. Is q a prime number?
False
Suppose -3*v - 57 = -22*v. Suppose -b = -f + 7928, 10*b + 23804 = v*f + 11*b. Is f a prime number?
True
Let f = 208673 - 143106. Is f prime?
False
Let n(j) = 214*j - 35. Let g(p) = -427*p + 68. Let t(f) = -3*g(f) - 5*n(f). Let y(d) = d**2 - 5*d + 4. Let i be y(6). Is t(i) a prime number?
True
Suppose 104248 = 3*p + 2*g + 20937, -p + 3*g + 27785 = 0. Is p a prime number?
True
Suppose -5*c = 5*w - 1301470, -295*c + 299*c = -w + 1041173. Is c composite?
True
Let w = -14451 + 24165. Let t = -6637 + w. Is t composite?
True
Let i(x) = -x**3 + 22*x**2 + 24*x - 19. Suppose 0 = -5*l - 2*v - v + 124, -3*v = -9. Let z be i(l). Suppose 3 = -z*r + 3239. Is r prime?
True
Let j(q) = 448*q**3 + 6*q**2 - 7*q - 4. Let f be j(3). Let n = -1548 + f. Is n prime?
False
Suppose -d = 11*d - 36. Suppose -4*i = -d*t - 8597, i - 486 = -t + 1672. Is i a composite number?
False
Let a(w) = 3*w + 26. Let b be a(-7). Suppose -b*s + 7 = 4*o + 2, -4*s - 17 = -o. Suppose -4*t - m + 596 = 0, o*m + 447 = 3*t + 3*m. Is t a composite number?
False
Let y(w) = 1046*w**3 + 3*w**2 + 3*w - 2. Let n be y(2). Let q = n - 4866. Suppose -m + q = m. Is m a composite number?
False
Suppose x + 85 - 2 = 0. Let g be 45*x/(-3)*2 + 0. Is (-1)/(-2) - g/(-4) a composite number?
True
Suppose 2*w = 63 - 13. Suppose 4*y + 3*b = 11033, 5*b + 0*b + w = 0. Is y prime?
False
Let h(d) = 23*d**2 + 45*d + 621. Is h(-76) composite?
True
Suppose 0 = -3*j + 6, -10*j = -4*z - 14*j + 120. Suppose 4*u = 3*g + 39922, -z*u + g + 49897 = -23*u. Is u composite?
True
Let a = -40 - -55. Suppose 14 = 3*o - 3*l + 5*l, 3*o = -3*l + a. Suppose 4*k - m - 359 = -4*m, 0 = -4*k - o*m + 360. Is k prime?
True
Suppose 2*j + 20180 = 3*j. Let i = 30147 - j. Is i a prime number?
True
Suppose 0 = -3*i + 6, 26*i - 272940 = -4*d + 22*i. Is d composite?
True
Suppose -4*n + 294776 = 12*o - 9*o, 0 = -o - 4. Is n prime?
False
Let b = 37207 - 10194. Suppose -2*r + b = 5*a, 0 = -r + a + 20303 - 6807. Is r a composite number?
False
Let f(r) = 19 - 8 - 24*r**3 + 2*r - 10 +