s h a prime number?
True
Suppose 12 = -10*a + 62. Suppose 0 = 3*x + 3*m - 3, -a*m = -8*m + 3. Suppose -12*q + 16*q - 1324 = x. Is q a composite number?
False
Let p(r) = -r**3 + 14*r**2 + 19*r + 2. Let f be p(7). Suppose 5*z + f = 2973. Is z a prime number?
True
Let n(v) = -21*v**3 + v**2 - 7*v - 6. Let s be (-4)/(-18) - 494/117. Is n(s) a prime number?
False
Suppose -165*g + 635*g - 15858006 = -223456. Is g a composite number?
True
Let v(f) = 3594*f - 1063. Is v(23) composite?
True
Is 2 + 17/(-51) + (-182062)/(-3) a prime number?
True
Let l = 86799 + -56110. Is l composite?
False
Suppose 182540 - 739034 = -6*u. Is u a prime number?
False
Let p = 1126 + -437. Let x = -330 + p. Is x composite?
False
Let t(o) = -2*o - 12. Let n be t(-7). Let s be (-1 - 1) + (n - -197). Suppose -3*i + 585 = -4*z, -5*z = -3*i - s + 785. Is i a prime number?
True
Is (-42)/105*(-2 - 1788393/6) a composite number?
False
Let g be (6 + -1)*(8 - (-833)/(-85)). Is 680/72 + g - (-357737)/9 a prime number?
True
Suppose 2*p - 5 = m - 0, 5*p - 16 = -m. Suppose 5*g - 31442 + 8587 = 2*x, 0 = 5*g + p*x - 22880. Is g a composite number?
True
Let d(u) = 3554*u + 3883. Is d(14) a prime number?
True
Let x(z) = 7*z + 21. Let o be x(-7). Let q = o - -31. Suppose q*i - 2814 = 969. Is i composite?
True
Let h = -3050 - -9115. Is h a prime number?
False
Suppose -4*i - 114681 = -17*h + 14*h, 2*h + 5*i = 76408. Is h a composite number?
False
Is (34403/(-4))/((-215)/(-20) - 11) prime?
True
Is (1027644/10 + 8)/(2 - (-8)/(-5)) composite?
False
Suppose p - 22 = -3*a + 4*a, 2*a + 4*p + 32 = 0. Is (-1 - -196) + a/5 a composite number?
False
Suppose 41*g - 51*g = 13610. Is g*(10/5)/(-2) a prime number?
True
Let k = 40549 - 6119. Suppose -9*i - 5*d + 17203 = -7*i, -4*i - 2*d + k = 0. Is i prime?
True
Let z be 1/(-3 - 0) - 141094/114. Let m = z - -3651. Is m a composite number?
True
Suppose 0 = 39*j - 37*j - 4, -2*z - 3*j = -1360. Is z composite?
False
Suppose 4*a + 3301 = 5*o, 4*o - a + 303 = 2946. Let d = 1140 - o. Is d a prime number?
True
Let p(s) = s**2 + 5*s - 1. Let m be p(-6). Suppose 0 = -m*h + 3018 + 4237. Suppose 0 = -2*d + h + 35. Is d composite?
False
Suppose 3*i = 2*n + 63910, 0 = -5*i + 5*n - 11933 + 118458. Let o = i - 8791. Is o a prime number?
False
Is (((-6)/21)/((-44)/(-4543)))/((-2)/17396) a prime number?
False
Let j(b) = 102*b**2 + 29*b + 66. Suppose -45*q = 119 + 196. Is j(q) a prime number?
True
Suppose 0 = 27*u - 397610 - 646399. Is u prime?
False
Let w = -1268 + 2099. Let x = 802 + w. Is x composite?
True
Suppose -160*d + 835044 + 1378876 = 0. Is d prime?
False
Suppose -2*z + 3*z + 184792 = 9*z. Is z a prime number?
True
Suppose 18*t = 17*t + 4*x + 161923, -3*t - x = -485691. Is t composite?
True
Suppose 0 = 2*f - 7 + 1. Suppose 3*y = -k, 0 = -f*k - 0*k - 3*y. Suppose -2*r - 7*q + 3*q + 990 = 0, k = 3*r + 2*q - 1477. Is r a composite number?
False
Let v be (133/(-15) - 7/(-35))*-3. Is (-42064)/(-12) - (-4 - v/(-6)) a composite number?
True
Let n(y) = 28*y**2 - 20*y + 167. Is n(-14) a prime number?
False
Is 99736 + (-36)/(-20)*5 a composite number?
True
Let d = 3101136 - 1644827. Is d a composite number?
True
Suppose 48 + 117 = 11*q. Suppose -q*w = -11*w - 90884. Suppose -6*v = -w + 59. Is v a composite number?
True
Suppose 3*f + 27360 = o - 94615, 4*o - 488035 = -3*f. Is o composite?
True
Let o be -3 + (-3)/((4 + -2)/(-2)). Let k(n) = -n**3 - 2*n**2 - n - 6. Let q be k(o). Is (-2289)/q + (20/8 - 2) a prime number?
False
Is (498 - 497)*1*470593 composite?
False
Let q = -104642 - -164383. Is q a composite number?
True
Suppose -6*f - 13330 + 78412 = 0. Is f prime?
True
Let y(x) = 775*x - 42. Let g be y(-15). Let a = g - -26444. Is a a prime number?
False
Let p be ((-17)/3 - -5)/(4/(-6)). Let n be -3*37498/(-6) + p + -2. Suppose 9*c - n = -2125. Is c prime?
True
Let j = -323 + 327. Suppose -5*y = -3*y + f - 1915, j*y - 5*f - 3837 = 0. Is y composite?
True
Suppose 38*k - 3995353 = 15*k. Is k composite?
True
Let h(a) = -1148*a + 519. Is h(-25) a prime number?
False
Suppose 0 = 482*r + 108*r + 129572039 - 473209869. Is r a composite number?
True
Suppose 4*c - 5*a - 31 = -2, -14 = c + 3*a. Is c + 16/(16/6981) prime?
False
Let b be (-70)/(-28)*177*472/10. Suppose -2*z + 8349 = 5*x, 11*x - b = -5*z + 12*x. Is z prime?
True
Suppose -2*l + 0*l - 5 = 3*y, 4*y - 5*l = 1. Let n be 15 + -9 + y + -3. Suppose -a + n*a = 673. Is a a prime number?
True
Let j = 248597 - -39896. Is j prime?
True
Suppose 0 = -2*c - 3*c + 3*b + 22446, 5*b + 22450 = 5*c. Let s = c - 2242. Is s a composite number?
True
Let b = -7882 - -13882. Suppose 3*l + l - b = 0. Let r = -1033 + l. Is r composite?
False
Suppose -6*v + 181155 = -31467. Suppose 4*m - v = -3*h + 45623, 0 = -2*m + 2*h + 40516. Is -2 + m/54 - 4/18 a prime number?
True
Suppose -24 = -3*q + q. Let x(m) = -15*m + m + 5*m + q*m**2 + 7*m - 15. Is x(-7) a prime number?
True
Let x(z) = 2*z**2 - 6*z + 1. Let f(p) = p**3 + 4*p**2 - 2*p - 11. Let i be f(-3). Let k be x(i). Suppose 0 = -8*h + k*h - 2327. Is h a composite number?
True
Let i be (-175 - -4)/(-2*(-1)/(-70)). Let k = 18874 - i. Is k a composite number?
False
Is 1*(77189 - ((-7)/5 - 201/335)) composite?
False
Let p be -90*345/12*-2. Let f = p - -1367. Is f prime?
False
Suppose -7*i + 29 = 43. Is (5424/120)/(i/(-145)) a composite number?
True
Suppose 3*c + 5*c = 80. Suppose -c*w + 7*w = -3054. Let r = 1763 - w. Is r a composite number?
True
Let f(t) = -t**3 + 7*t**2 + 10*t - 13. Let l be f(8). Suppose l*p + 2104 = 5*p. Suppose -12*d + 8*d + p = 0. Is d composite?
False
Let l be (3 - 9)/((-8)/(-4620)). Let v = 8752 + l. Is v a composite number?
True
Let i be (-3)/(-6) - (-7)/(-2). Suppose -42 = 637*m - 635*m. Is i/(m/(-2))*-259 composite?
True
Let z(y) = -7*y - 68. Let q be z(-12). Let r = 207 - q. Is r a composite number?
False
Let q(r) = -5 + 975*r**2 + 1 + 100*r - 110*r. Is q(3) a prime number?
True
Suppose -3072 = -4*d - 4*p, 72*p - 71*p = -5*d + 3852. Is d composite?
True
Suppose 0 = u + 938 + 1758. Is (-8)/32*u/2 a prime number?
True
Is 11 + -6 + 21/(168/7018384) a prime number?
False
Let o be (88/(-24) + -1)/(4/6). Let c(m) = -126*m - 13. Is c(o) prime?
False
Let o be -1917*((-2)/(-10))/(6/(-10)). Let p = o + 802. Is p a prime number?
False
Let a be (-26 - 10084) + 2*4. Is (a/3)/(20/(-90)) composite?
True
Suppose 5*n - r - 12427745 = 13787402, 2*n - 2*r - 10486062 = 0. Is n prime?
False
Let v(q) = 2*q**3 - 30*q**2 + 15*q - 36. Let g be v(16). Suppose 6*p - g = 22. Is p prime?
False
Suppose 2*b = 7*b - 28870. Suppose -b = -5*l + n + 9617, 0 = -2*l - 2*n + 6166. Suppose -2*x + 2057 = -3*u, -2*x + 5*x + 2*u = l. Is x composite?
True
Let h(x) = -40*x**3 + x**2 + x + 3. Let f be h(-3). Let n(w) = w**2 + 2*w - 4. Let g be n(-4). Suppose -4386 = -l - 3*l - z, -l - g*z = -f. Is l prime?
True
Suppose -2*d + 234362 = -4*m, 6*d - 4*d - 2*m = 234372. Is d a prime number?
True
Suppose -8062 - 843 = -5*y. Let d = y - -2660. Is d prime?
True
Suppose 2045513 - 10649519 = -102*g. Is g a prime number?
False
Is 2336090/((-9)/(-72) - (-75)/40) composite?
True
Let g(r) = -r**3 - 10*r**2 - 11*r - 13. Suppose 9*o - 41 + 122 = 0. Let f be g(o). Suppose -9*v = 3*k - f*v - 4025, 2*k = 2*v + 2674. Is k composite?
True
Let y(t) = 17219*t - 2406. Is y(17) a prime number?
True
Let k be (2 - -10930)*(-4)/(-48)*6. Suppose -61*x = -55*x - k. Is x a composite number?
False
Suppose -3*j - 5*s - 75 = -22, 3*j = 3*s - 45. Is 7959 + (j/(-8))/1 prime?
False
Let y(q) = -1135 + 1104 - 7*q - 11*q. Let n be y(-2). Suppose -v = -4*c + 2256, 2*c - n*v - 1709 = -c. Is c composite?
False
Suppose -57*k + 717519 = -46*k. Suppose -40*i = -169349 + k. Is i prime?
False
Let g = 709 - 705. Is 4396/1 - (1 + g) a composite number?
False
Let n be 440478/18*21/9. Is (4*n/56)/((-6)/(-4)) a composite number?
False
Let d = 29607 - -86670. Suppose 21608 = -41*n + d. Is n a prime number?
True
Let w = -10414 + 18203. Is w a composite number?
False
Suppose -153848540 = -354*l + 61837253 + 55572725. Is l composite?
True
Is 58835 + (32/(-10) - (-25)/(1250/(-40))) a prime number?
True
Let t(x) = -x**2 - 6*x + 13. Let q be t(-7). Let d be q/(-9) - (-34)/6. Suppose y - 1172 = -3*o, -d*o + y + 206 = -1734. Is o composite?
False
Let r be (-21)/(-15) - (-3)/5. 