0*x + 2367 = 4*x - 3*o. Is x composite?
True
Let m(t) = -2138*t - 55. Let o be m(-5). Suppose 0 = j + 2197 - 8721. Let n = o - j. Is n prime?
True
Let r(q) = q**3 + 6*q**2 - 17*q - 3. Let k be r(-8). Suppose 0 = k*t + 71 - 1. Is 2/((8/t)/(-4)) composite?
True
Suppose -2056*u + 2089*u = 20725221. Is u prime?
True
Let n = 45559 + -32108. Is n prime?
True
Let n = 2702 - 1917. Let l(f) = -8*f**3 + f**2 + 2*f + 3. Let u be l(3). Let q = n + u. Is q prime?
True
Is 30/25 + (-37246911)/(-65) - (-4)/10 a prime number?
True
Let z = -65292 - -107495. Is z a prime number?
False
Let s(p) = -10*p - 86. Let c be s(-9). Suppose 0 = 5*l - 5*k - 101389 - 66631, -c*l = -2*k - 134406. Is l a composite number?
False
Is 3/5 - (-18793056)/240 prime?
False
Let f = -111 + 116. Suppose -3*v = 3*a - 7647, v - 6*v - 12705 = -f*a. Is a prime?
False
Suppose -4*w + 108692 - 11260 = 0. Suppose -t - 208 + 5083 = -4*a, 3*a + w = 5*t. Is t prime?
True
Suppose 201208054 = 345*l - 7552481. Is l composite?
True
Let o(a) be the first derivative of 5033*a**2/2 - 19*a - 48. Is o(10) prime?
True
Let x(f) = 8*f**2 + 3*f + 2. Let t be x(-1). Suppose 305 = -t*w + 12*w. Is w - 3*(-12)/(-9) composite?
True
Let f = 140 - 156. Is (0 + (-1)/2)/(f/78496) a composite number?
True
Let q(j) be the first derivative of 4*j**3/3 - j**2/2 + 1. Let y be (3 + 1)*(-11 - (-148)/16). Is q(y) a composite number?
True
Suppose 36390729 = 329*p - 10276934. Is p composite?
True
Let z(q) be the second derivative of 407*q**5/20 - q. Suppose 0 = -0*c + 5*c + 2*d - 3, d + 1 = 0. Is z(c) a prime number?
False
Let n = -34 - -45. Suppose -1635 = -16*h + n*h. Suppose 997 = 3*s - 5*f, s - h = -0*s + 3*f. Is s prime?
False
Let v = 488832 - 142925. Is v prime?
True
Let k be ((-112)/(-280))/((3/(-35))/(-3)). Let p(h) = -34 - 987*h**3 - h**2 + 988*h**3 - 11*h - k*h**2. Is p(16) a composite number?
True
Let i(m) be the first derivative of -4943*m**2/2 - 24*m - 40. Is i(-5) prime?
True
Let q be 1600 - ((-1 - 2) + 0). Suppose k - 346 = q. Suppose -23*x = -22*x - k. Is x a composite number?
False
Let c = -2587 + -10932. Let u = -8378 - c. Is u a composite number?
True
Let j(a) = -38 - a**3 + 11*a - 123 + 28 + 30*a**2. Is j(24) a composite number?
True
Let a = 914819 + -511566. Is a a composite number?
False
Is 280659/((-2)/((-240)/72)) composite?
True
Let q(s) = -s**3 + 11*s**2 - s + 10. Let n be q(11). Let c(w) = 791*w**3 + 2*w**2 - 1. Let y be c(n). Is (4 - (-18)/(-4))*y composite?
True
Suppose -5 - 1 = -6*k. Let g be (k/3)/((-1)/6). Is ((-19563)/3)/(2/(g + 0)) prime?
True
Suppose -2 = y, 4*y - 20676 - 38367 = -l. Is l a prime number?
True
Let u be 4/(-2) - 112/(-7). Let w(p) = 215*p - 68. Is w(u) composite?
True
Is (-56408)/(-3) + 34/102 composite?
False
Let o(s) = s**3 + 20*s**2 - 46*s - 50. Let a be o(-22). Is (3 - 0)/a*(1 + -1615) a prime number?
False
Suppose 0 = 24*m - 25*m - p + 7, 2*m = -5*p + 29. Suppose 0 = 5*g - 2*t + 4*t - 5789, 2318 = m*g + 2*t. Is g prime?
False
Suppose -364*v - 5*s = -360*v - 91443, -5*v = -3*s - 114350. Is v prime?
False
Suppose 2*z = -2*m + 560, 2*m + 2 = -5*z + 1399. Suppose z + 1806 = -5*f - i, -5*i - 25 = 0. Is -6 + 5 + -2 - (0 + f) composite?
True
Let g be 84/(-63)*(-3)/2. Suppose -o + 12*v - 14*v + 1309 = 0, -g*v + 3947 = 3*o. Is o a prime number?
True
Suppose 5 = -6*t - 49. Let a be t/3 - (3 - -587). Let n = a - -1354. Is n a composite number?
False
Let o = 61 + -41. Let p be 2768 + ((-6)/(-8))/((-5)/o). Suppose -4*k - k + p = 0. Is k a prime number?
False
Let i be 162/24 - 7 - 67/4. Let j(g) = -30*g + 42*g**2 - 18 + 5*g - 43*g**2. Is j(i) composite?
True
Let i(s) = -s**2 + 34*s + 66553. Is i(0) a prime number?
True
Let h = -352 + 345. Is (-8)/(-10) + ((-18054)/(-45) - h) composite?
False
Suppose -27 = -39*t + 51. Let f(d) = 2017*d**2 - d + 3. Is f(t) prime?
True
Let t = -528 + 533. Suppose 2*o - t*v - 1474 = 0, 4*o - 8*o = -4*v - 2948. Is o a composite number?
True
Is (-36759)/(-1 + 6/(-12)) prime?
False
Suppose 0 = -m + 2*k + k + 12, m = -k. Suppose 2*z + f = 1815, 2 + 1 = m*f. Is z composite?
False
Let m = 38 + -38. Suppose 3*k = -5*w - 0*k + 53178, m = -k + 1. Suppose 14*o - w = 11*o. Is o composite?
True
Suppose -v - 109964 = -3*j, 4*j + 5*v - 146597 = 2*v. Is j composite?
False
Is 5 - (-138)/(-24) - (-1256952)/32 a composite number?
True
Suppose -16*u - 170 = -11*u. Let q = 33 + u. Is q - 13/(65/(-960)) a composite number?
False
Let s be (12/16*-2)/((-3)/8). Suppose -10 = n + 5*r, -n - s*r - 8 = n. Suppose 5*y + 436 = 2*g - 532, n = g + 4*y - 471. Is g prime?
True
Suppose 2*x + 3*w = -24 + 317, 2*x - 5*w = 269. Let c be 500/8 + 6/(-4). Let l = x + c. Is l a prime number?
False
Suppose -9*g + 19*g - 1220 = 0. Let p = -94 + g. Let m = 39 - p. Is m a composite number?
False
Let r = -2230 + 4927. Let d = -1926 + r. Is d composite?
True
Let f be ((-1)/3 - 0)*519/(-173). Is (-7 + f + 2257)*1 composite?
False
Suppose 10*j - j = 27. Let d(z) = 11*z**2 - 4 - z**j - 1155*z + 1159*z + 1. Is d(7) a composite number?
True
Suppose 0 = 3*j - 2*j + w - 3, 2*w - 6 = -5*j. Suppose -3*u = -4*q - 544, 5*q - 684 = -4*u - j*q. Suppose 3*a - 1982 = -2*b, 1806 = 2*b + 2*a - u. Is b prime?
True
Let d be 7 - 3 - (-1 + 3 + 0). Suppose d*u - 5444 = -3*o, u = -o + 4*u + 1800. Suppose 2*w - o = -470. Is w prime?
False
Suppose 1610802 = 11*g + 8*r - 7*r, -g + 146432 = r. Is g prime?
True
Suppose -7*c = -42 + 28. Suppose -c*g = -4*n - 4972 - 1482, 3*g + n = 9660. Is g a prime number?
True
Let c = 943570 - 399401. Is c composite?
True
Let k(y) = 24*y**2 - 66*y - 8447. Is k(-93) a composite number?
False
Let k(d) = 32*d**3 + 44*d**2 - 107*d + 38. Is k(11) composite?
True
Let u(z) = -93*z**3 - z**2 + 5*z - 2. Let m be u(3). Let c = -990 - m. Let f = 1836 + c. Is f a prime number?
False
Suppose -4*t = 4*c - 395356, -3*c + 296492 = -4*t + 2*t. Is c a composite number?
True
Suppose 5*k - 59 = -19. Let x(h) = -3*h**2 + 72*h**3 - 5*h**2 - 70*h**3 + 2 - 15*h + 3. Is x(k) a prime number?
True
Suppose 30480*h - 30421*h = 24185221. Is h a prime number?
False
Suppose 15*o = 15263 + 96712. Suppose -15*f + 76790 = -o. Is f a composite number?
True
Let l(s) be the third derivative of 3*s**5/10 + 11*s**4/24 + 29*s**3/2 + 181*s**2. Is l(-20) prime?
False
Let p(t) = 8*t + 21. Let i be p(11). Let l be i*((-1)/3 - (-28)/12). Let w = l + -55. Is w composite?
False
Suppose 126 - 36 = -3*a. Let m = a + 43. Suppose -12*n - 611 = -m*n. Is n a prime number?
False
Let b(c) = -1023*c**3 - 2*c**2 - 80*c - 444. Is b(-5) a composite number?
False
Is ((-1)/(-2))/(5*1/2776130) a prime number?
False
Let a(t) = 24862*t - 1051. Is a(2) prime?
True
Let r(j) = -2*j**3 + 135*j**2 + 96*j - 104. Is r(-41) a composite number?
True
Let x(g) = 2*g - 35 + 48 + 3*g. Let n be x(-2). Suppose 449 = q - n*r, -2*r + 4*r = 3*q - 1347. Is q a composite number?
False
Let p = 30252 + -42904. Let q = -2874 - p. Is q a composite number?
True
Suppose d - 39 + 50 = 0. Is (d - -3770) + (-5)/1 a prime number?
False
Let h = -66674 + 207057. Is h composite?
True
Let t = 69627 + 8846. Is t prime?
False
Suppose -241*y - 16731332 = -309*y. Is y composite?
False
Let n(c) = 39*c**2 - 9*c - 34. Let q be n(-5). Suppose 14*m - 16*m + q = 0. Is m prime?
False
Let a be 0*(-2)/(-6)*(-1)/1. Suppose a = 2*h - 2*y, -3*h - 2*y - 9 = -29. Suppose 0 = -l + 4*c + 319 + 314, h = c. Is l prime?
False
Let o be 4*-1 - (13 + -11 - 2). Let c(z) = 2411*z**2 - 18*z - 63. Is c(o) prime?
False
Is 84031*(13 - 17 - -5) a prime number?
False
Let o = 6935 + 5346. Is o a prime number?
True
Suppose 1 = -o, 0*o - 2*o + 38 = -4*f. Let i be ((-4)/(-5))/((-2)/f). Suppose 3*g = 4*x + 1057, -1400 = -i*g - 0*x + 3*x. Is g composite?
False
Let f = -1163 - -3794. Let v = 3728 - f. Is v prime?
True
Suppose -3*q + 4*t = 13670, 0 = 7*q - 6*q - 4*t + 4546. Let s = q - -7861. Is s composite?
False
Suppose 3286 = 5*w + 2*z, 2*w - 2*z - 767 = 539. Let d = -175 + w. Is d a composite number?
True
Let m = -17809 - -38862. Is m a composite number?
True
Let b(g) = 5549*g - 2997. Is b(10) a composite number?
True
Let z be -59 - ((-1)/(-2))/((-11)/66). Is (-140364)/z + (-14)/4 a composite number?
False
Suppose -j + 594 = -0*z + 2*z, 5*z = -4*j + 1479. Suppose -c + z = -304. Let k = 2634 - c. Is k prime?
False
Suppose 0 = 4*y