-67411 - -349262. Is b composite?
True
Suppose 0 = -10*j + 30499 + 2971. Is j*1*(72/(-9) + 9) composite?
False
Is (149483 - -3)/2 - (-84)/(-14) prime?
False
Suppose -4*p = 3*n - 26, 3*p - 38 = -5*n - p. Suppose n*h - 28 = 20. Suppose -9*f = -h*f - 587. Is f composite?
False
Is ((61255/24)/(205/164))/(1/78) a composite number?
True
Let h(b) = -4688*b - 14299. Is h(-142) a composite number?
False
Let l(v) = 4*v - 70. Suppose 2*k + f - 39 = 0, -76 = -4*k - 3*f - f. Let n be l(k). Suppose 0 = 5*i - n*r + 9*r - 2497, -i - 3*r + 493 = 0. Is i a prime number?
True
Suppose 10*n - 3*n = -1991 + 106452. Is n a composite number?
False
Let x(k) = -1709*k**3 - 13*k**2 + 2*k + 3. Let a(z) = 3418*z**3 + 28*z**2 - 5*z - 7. Let h(f) = 6*a(f) + 13*x(f). Is h(-1) composite?
False
Suppose -27*c - 75 + 345 = 0. Suppose 2*y + 25*r = 21*r + 994, 0 = -2*r + c. Is y a composite number?
False
Suppose 8*r = 4*r + 8212. Suppose 4*i + 5*d - 1532 = r, 3*i + d - 2686 = 0. Is i a composite number?
True
Let i = -2924 - -6121. Is i composite?
True
Let v = 527626 + -247487. Is v composite?
False
Let v(q) = q**3 + 6*q**2 + 5*q - 6. Let w be v(-3). Is (-2 + w + -3)*3403 prime?
False
Is ((-3586)/(-4) - -1)*1296/540 + 7 a prime number?
True
Let r(a) = 129*a + 35. Suppose -f + 4*u + 0*u = -20, -f + 5*u = -20. Suppose 0 = -x + f - 2. Is r(x) a prime number?
True
Let z be (-13)/(-130) - 18/(-20). Is 3299 + z + (16 - 17) a prime number?
True
Let r(a) = a**3 + 10*a**2 + 8*a - 9. Let f(l) = -7*l**2 - l - 1. Let w be f(1). Let y be r(w). Suppose -4*g + 8 = d - 55, -4*d + 3*g + 233 = y. Is d composite?
False
Is 5 + 0/(-2) - (-2726668)/14 a composite number?
False
Suppose -23*b + 24*b - 3*o = 315632, -4*b - o = -1262567. Is b a prime number?
False
Let g(f) = f**3 + 177*f**2 + 36*f + 1163. Is g(-108) a composite number?
True
Suppose -22*f = -273628 - 2156866. Is f prime?
True
Suppose 418245 = -459*p + 474*p. Is p a composite number?
False
Let x be ((-68)/3)/(9/(-108)). Suppose -x + 3206 = 9*a. Is a composite?
True
Let t(a) = 24*a + a**2 - 16*a + 14 - 15*a. Let d be t(4). Suppose 108 + 110 = d*n. Is n prime?
True
Let o = -398 - -729. Let u = o + -212. Let k = 212 - u. Is k composite?
True
Let p be (2 - 2)/(6 + -3 - 2). Suppose p = -2*o - 4*y + 512, -5*y = -3*o + 249 + 508. Is (-1*3)/((-514)/o + 2) a prime number?
True
Suppose 0 = -13*a + 6*a - 17*a + 335928. Is a a prime number?
True
Suppose 9*o = 2*r + 4*o - 61, 3*r - o = 85. Suppose 1923 = r*g - 1185. Is g composite?
True
Let x be (-5 + (-4 + -4)/4)/(-1). Let n(m) = 47*m**2 - 14*m + 66. Is n(x) composite?
True
Suppose 3*p + 2*p + 5 = 0. Let i(a) = -14*a**2 - 8820*a**3 - 1 - 23*a**2 + 56*a**2 - 18*a**2 + a. Is i(p) composite?
False
Suppose v = 9 - 4. Suppose -2*j - 3401 - 1325 = -2*r, -v*j - 4714 = -2*r. Suppose 3*k = -3*l + 3453, 3388 = 5*l - 3*k - r. Is l a composite number?
False
Suppose 4*r + 14043 = h + 77241, 78992 = 5*r - 4*h. Suppose 0 = 4*m - 3*d - 12661, -9*m - 5*d + r = -4*m. Is m composite?
False
Suppose -o + 0*o = 4*q - 8, -2*q = 0. Let l(w) = 104*w + 121. Is l(o) a composite number?
False
Suppose 3273 + 2848287 = 42*v + 641982. Is v a composite number?
False
Let g = 44 - 38. Let z(x) = -221*x + 35. Let m be z(g). Let u = 1904 + m. Is u a prime number?
True
Let u be 2/3 + 130/30. Suppose 0 = -2*z + z + 4*h - 19, -u*h + 20 = 0. Is (-655)/(-5) + (-7 - z) a prime number?
True
Is (-5)/(70/(-262633)) + 15/10 a composite number?
True
Let y(d) = -4*d - 46. Let g be y(-12). Suppose g*v - 4083 = -v. Is v prime?
True
Let i(x) = -92*x**3 + 27*x - 24. Let b be i(-12). Suppose 0 = -32*d + b + 17660. Is d composite?
True
Suppose 6*d + 9088 + 21680 = 0. Let q = 7645 + d. Suppose 3*x = -0*x + q. Is x prime?
True
Let h = 3441 + -898. Let k = 4005 - h. Let c = -875 + k. Is c a composite number?
False
Let w(q) = -q**3 - 15*q**2 + 16*q + 1. Let u be w(-16). Let c be 0*(u + 5/(-10)). Suppose c*p = -p + 2777. Is p a composite number?
False
Let j be -12*((-33)/9 + 3). Suppose 3*c - j = -2. Suppose 0 = 4*s - c*y + 7*y - 3502, 880 = s - y. Is s prime?
False
Let c be (-2)/(3/(-192)*4). Suppose c*d - 35528 = 24*d. Is d a prime number?
True
Let g(b) be the third derivative of 0 + 0*b + 26*b**2 + 5/2*b**3 + 7/6*b**4. Is g(8) prime?
True
Let n(f) = -17*f + 105. Let r be n(6). Suppose 0 = i + 3*a - 1649, -i + r*a - 5*a + 1645 = 0. Is i prime?
True
Suppose 0 = 5*x - 496350 + 73895. Is x a prime number?
False
Suppose 10*x - 6 - 14 = 0. Suppose -5*r = 5*u - 14070, 0 = 4*r + 3*u + x*u - 11251. Is r composite?
False
Suppose 0 = 2*v + 2*o - 982690, -48*v - 2*o - 1474020 = -51*v. Is v prime?
False
Suppose 4*o - 567 = 261. Let p = 3854 - o. Is p prime?
False
Is (13 - 15)/(8/373764*1*-3) composite?
False
Suppose 8*l - 14 = 2. Suppose -l*o - t = 4*t - 417, -5*o + 1054 = t. Is o a prime number?
True
Suppose 19*l + 142*l = 10008565. Is l prime?
False
Let o(t) = 104*t + 1875. Let s be o(-18). Let n = -271 + -6. Is (n/(-2) + s)*34 prime?
False
Is ((-3196)/(-136))/((-13163)/(-13162) - 1) a composite number?
True
Suppose 0 = -w - 5*y, 3*y + 3 + 5 = w. Suppose -w*x + 41 = 86. Let o = 212 + x. Is o a composite number?
True
Let f = -527 + 530. Suppose 3385 = a + 4*v, -a + 6781 = a - f*v. Is a composite?
False
Let p = -37652 - -57941. Is p a prime number?
False
Let m = 73 + -76. Let w be (5/(-4))/(((-12)/1568)/m). Let g = w - -816. Is g a prime number?
False
Let j(o) = -75*o + 41. Let r(t) = 152*t - 83. Let u(i) = 7*j(i) + 3*r(i). Is u(-7) a prime number?
True
Suppose d - 9 = -3*x + 1, 16 = d - 3*x. Suppose -d*n + 242 = 3*q - 12*n, -q - 4*n + 99 = 0. Is q a prime number?
True
Suppose 0 = -8*a - a + 1243953. Is a prime?
False
Suppose -4*q + 24 = g, g - 3*q - 1 = -5. Is 5/(-10) - 1 - (-42868)/g a prime number?
False
Let j(k) = 4*k**3 - 9*k + 8. Let x be j(5). Suppose -4*s - 3*o = -910, -5*s + 1585 = -4*o + x. Let f = 737 - s. Is f composite?
True
Let q(t) be the third derivative of 206*t**5/15 - t**4/2 + 3*t**3/2 + 166*t**2. Is q(1) prime?
True
Let s be 13 + -20*4/16. Suppose -7285 = -q - 826. Suppose s*h = 5*h + q. Is h prime?
True
Let f(s) = -s + 1. Let y(d) = -225*d + 99. Let l(h) = 396*f(h) - 4*y(h). Let g be l(7). Suppose -5*j + 761 = b, 3*b + 1227 = 3*j + g. Is b a composite number?
True
Let n(k) be the first derivative of k**3/3 - 19*k**2/2 - 16*k + 15. Let t be n(20). Let y(j) = 134*j**2 + 4*j + 7. Is y(t) composite?
True
Suppose -3*w + 5*m = 0, -21*w + 20*w = -3*m. Let k be ((-2)/2)/(2/(-8)). Suppose w = 2*g + 5*a - 246, 4*g - k*a + 42 - 506 = 0. Is g a composite number?
True
Suppose -38 = -2*u - 4*y, y - 50 = -9*u + 4*u. Is -7 + 81/u - -2213 a composite number?
True
Suppose -k - 3*q = k - 74290, -5*q = k - 37159. Is k a composite number?
False
Let m be 1047*(-1 + 0)/(-4 - -3). Let v be (-3)/2 + m/6. Suppose v + 380 = o. Is o prime?
False
Let o(b) = b**2 - 5*b - 5. Let v = -19 + 25. Let n be o(v). Is 6/(-2) - (-163 - n) a composite number?
True
Suppose -4*t = -r + 103551, -r + 3*t = -0*r - 103549. Is r a prime number?
False
Suppose 0 = -54*b + 7404732 + 2257326. Is b prime?
False
Suppose g - 8*j + 647 = -10*j, 0 = 4*g + 3*j + 2568. Let s = g - -1370. Is s a prime number?
False
Suppose 37473105 = 252*q - 23508499 - 2804888. Is q prime?
False
Let f(w) = 13*w**2 - 123*w + 973. Is f(45) composite?
True
Let m be 12 - (-3 - (1 - 5)). Suppose m*j + 28*j = 316329. Is j composite?
False
Let y(k) = -5 + 3 - 6*k**2 - k**3 + 8*k - 9 - 2*k**2. Let o be y(-9). Is (758/4)/(o/(-4)) composite?
False
Suppose -4*s = z + 43, -7 - 30 = 4*s - z. Let u be 5/s*5*-8. Suppose u*k = 15*k + 745. Is k a composite number?
False
Suppose -4*b = -310 + 282. Let q(w) = 1366*w - 183. Is q(b) composite?
True
Is (6 - 4)*(28/(-8))/(-7)*18593 composite?
False
Suppose 4*g + 3*a - 7*a - 32 = 0, -5*a = g + 4. Is g/(-10) + 2148*(-85)/(-50) prime?
False
Suppose 3*z = 4*z + 5*u - 243, 5*u - 481 = -2*z. Let b be (-150)/375*((-1682)/4 + -2). Let p = b + z. Is p a prime number?
False
Suppose k + 69*v - 169763 = 72*v, 3*k - 509237 = -4*v. Is k prime?
True
Let l(b) = -2*b**3 + 2*b + 1292. Let s be l(0). Suppose s = 46*x - 44*x. Suppose 1918 + x = 4*f. Is f prime?
True
Suppose 34*z = 38*z + 48. Let m be z/(-2) + (-3)/(1 - -2). Suppose -m*h + 458 + 434 = -3*j, -4*j = -2*h + 354. Is h a composite number?
False
Suppose 