s t a prime number?
True
Is (29381/22 + -4)*214 a composite number?
True
Is (35396/(-4))/((128/44 + -3)*1) a composite number?
True
Suppose -i = -6*i - 80. Let a(k) = 7*k**3 + 39*k**2 + 37*k + 61. Let v(g) = 10*g**3 + 58*g**2 + 55*g + 90. Let h(m) = -7*a(m) + 5*v(m). Is h(i) prime?
True
Let n = 5474 - -6180. Let d = 21315 - n. Is d prime?
True
Let p = 15582 + -11126. Let y = p - 2939. Is y composite?
True
Is 7/9*(-5)/35 - 523702/(-9) a composite number?
False
Suppose -5*f - 11 + 21 = 0. Suppose f*y = 1027 + 5271. Let m = y - 1888. Is m composite?
True
Suppose 8*k = 16*k - 456. Let s(a) = 2*a**2 - 69*a - k*a**3 + 363*a**3 + 68*a. Is s(1) a prime number?
True
Suppose 7*u - 4*m = 8*u - 17673, -3*m = -2*u + 35302. Is u composite?
False
Suppose 0 = 15*i - 52*i + 74. Suppose -6*p + 3*p + 2033 = 5*s, -p - i*s = -679. Is p a prime number?
False
Let c = 1689 - -1147. Is (3/2)/(6/c) a composite number?
False
Let c be (-3206)/(-3) + 0 - 28/42. Suppose 5*h = -3*i + 8641 - c, -5*h + 7589 = -i. Is h a composite number?
True
Let j(f) = 4*f**3 + 6*f**2 + 4*f + 31. Let s be j(9). Let n = 10230 - s. Is n composite?
False
Let z = 414037 - 288278. Is z prime?
False
Suppose -4*z = 20, 3*u - 3329183 + 1216940 = -3*z. Is u prime?
False
Suppose 5*n - 15*n + 2815542 = 8*n. Is n a prime number?
True
Suppose -5*g - 3*d = -3, -4*g - g = -2*d - 23. Suppose -9699 = -g*u - 1122. Is u a composite number?
True
Let y(o) = 20*o**2 - 7*o - 5. Let q be y(-6). Let c be (2/(-6))/(199/597). Let k = q - c. Is k a prime number?
False
Suppose 108*h - 7*h - 61552851 = 37898516. Is h a prime number?
True
Let k(o) = o**3 - 30*o**2 - o + 46. Let l be k(30). Let p(g) = 359*g - 13. Is p(l) prime?
False
Let z(s) = s**3 + 5*s**2 - 8*s - 10. Let a be z(-6). Suppose -176 = 4*v + a*t - 990, 201 = v - 2*t. Is v + -1 + -6 + 7 composite?
True
Suppose -3*y = -3*l + 1556052, 3*l = -10*y + 9*y + 1556072. Is l composite?
False
Let c be ((-5)/(-3))/(59/177). Suppose -3*x = -5*n + 4*n + 8054, -c = -5*x. Is n composite?
True
Let d be (-1086)/((-40)/(-12) + -4). Let y be (-2)/(-1 - (-634)/638). Suppose -4*h = -d - y. Is h a composite number?
False
Let v = 331 - -1715. Suppose 3*h - 29*d = -30*d + v, h = -d + 680. Is h prime?
True
Let b = 7307 - -210. Is b a prime number?
True
Let f be (1*(0 + -18) - -3)*-58. Let c = 4577 + f. Is c prime?
False
Let q = -3396 + 1069. Let f = q + 5116. Suppose 3*b = -5*o + f, 4*b - 5*o = -2*o + 3680. Is b composite?
True
Let i(c) be the first derivative of -16 + 0*c**3 + 13/2*c**2 - 1/2*c**4 + 9*c. Is i(-8) a composite number?
False
Suppose 4184 = -p + 3*p. Let t = p - 947. Suppose -369 = -b + 5*z, 0*z = -3*b - 4*z + t. Is b a composite number?
False
Let s(g) be the third derivative of -371*g**4/12 + 11*g**3/6 + 17*g**2. Is s(-6) prime?
True
Is 2/(-7) - (-41875107)/1596 - 3/12 prime?
True
Suppose 24*w + 65125 = -w. Let l = -1824 - w. Is l a composite number?
True
Let r(m) = 4*m**2 - 2*m**2 - 7*m**3 + 21 + 3*m - 56 - 11*m**2 + 27. Is r(-13) prime?
False
Let h be (32/(-3))/(4/102). Let f = 8454 - h. Is f composite?
True
Let r be 18102 - 3*((-8)/(-6) + -1). Let l = 28398 - r. Is l composite?
True
Let w be ((2 - 3) + -5)*(-5 - -2). Let a(p) = -3*p + 6 + 54*p**2 - w - 2. Is a(7) prime?
False
Let w(s) = 18*s**3 + s**2 - 2*s + 2. Let u = 35 + -30. Suppose 4*o + 4*r - 24 = 8, 0 = u*o - 5*r + 10. Is w(o) a composite number?
False
Suppose -4*t + 5*a = -221541, -3*t + 16*a - 17*a = -166132. Is t a composite number?
True
Suppose -3*w - 10321 = 5*o, 2*w - 5*o = -3*w - 17255. Let b(l) = 838*l - 38. Let i be b(6). Let f = w + i. Is f prime?
True
Suppose -z = -4*q + 1907951, -4*q = 4*z - 2340031 + 432095. Is q a prime number?
False
Suppose -17*m - 38 = -36*m. Suppose -m*v = -5*w + 475, 20*w = 15*w - 4*v + 505. Is w prime?
True
Suppose 68*y = 28*y - 46*y + 5902438. Is y a composite number?
False
Suppose -785 = -z + 2*f, -3*z = -0*z + 4*f - 2395. Suppose 0 = -w - 5*q + z, 0 = 2*w + q - 5*q - 1544. Is w a prime number?
False
Suppose -4*w + 30101 = -54*t + 49*t, -5*t + 15 = 0. Is w prime?
True
Suppose n - 59437 = -2*n - 2*s, -3*n + 2*s = -59441. Is n a prime number?
True
Suppose 0 = 5*l, 2*l - 161869 = 321*g - 322*g. Is g composite?
False
Let w(g) = 13*g - 108. Let r be w(12). Is (-2 + 1193)*r/72 composite?
True
Suppose 0 = -1664*k + 1688*k - 18672. Is k a composite number?
True
Let c be 12/15*(-14 - 1)/3. Let v(k) = 647*k**2 - 5*k - 1. Let s(o) = -o**2 - o. Let j(f) = c*s(f) + v(f). Is j(1) prime?
False
Suppose -c - 13*y = -14*y - 13, 2*y = -3*c + 29. Suppose -6*v = -c*v + 14605. Is v composite?
True
Let d(b) = 443*b**2 - 3*b - 1. Let q be d(-1). Suppose n + 2*r = 225, r = n + n - q. Is n a composite number?
False
Suppose 127093 = 2*r + 3*t + 418036, -5*t = r + 145482. Is (-3)/(-30) + r/(-30) a prime number?
False
Let f(a) = 1031*a**2 + 25*a - 283. Is f(10) a prime number?
True
Let s = 280739 - 148326. Is s a prime number?
False
Let n = 3694 - 2259. Let c = 7904 - n. Is c a prime number?
True
Suppose -9*l - 4*h = -4*l - 25, -5*l = 3*h - 25. Suppose 4*f + y - 2073 = 0, 0*y + 1526 = 3*f - l*y. Is f prime?
False
Is 117602 + (25 + -17 - 21) composite?
True
Let r = 623481 - 308600. Is r prime?
False
Suppose -5*q = -3*h + h + 4, -h = -4*q - 2. Is (58/(-87))/((-4)/4038 - q) a composite number?
False
Let o = 174389 + -96448. Is o a composite number?
True
Let l be (3/1)/((-3)/(-634)). Let r = -6939 - -6942. Suppose 5*w + d - l = 0, -w - 31 = r*d - 155. Is w composite?
False
Let a(j) = 13*j**3 - 10*j**2 - j + 4. Let w be a(5). Suppose -2*r + 348 = -w. Suppose 3*k - 2*p = 1330, 4*p = 4*k - r - 907. Is k prime?
False
Is (-15185*(-4)/(-20))/((-2)/22) a prime number?
False
Suppose 0 = -207*k + 1197016 + 930737. Is k composite?
True
Let v(c) = 378*c - 5. Let a(d) = 2*d + 14. Let x be a(-5). Let o be v(x). Suppose -5*l + o = k, -3*l + 0*k + 909 = 3*k. Is l prime?
False
Let z be 40 + -36 + 6*2. Suppose -z*r + 20*r = 4668. Is r prime?
False
Let d(b) = -b**3 - 4*b**2 - 4*b - 7. Let r(a) = -10*a + 56. Let c be r(6). Let f be d(c). Suppose -2*i - 4683 = -f*i. Is i a prime number?
False
Suppose m - 4*u = -55 - 3, 5*m - u + 290 = 0. Let s = -76 - m. Let h = 437 + s. Is h a prime number?
True
Suppose -5*h = -2*b - 2*b + 2, 5*h + 5*b = -20. Is (h + 1)/(25/(-751175)) prime?
True
Let l(r) = -24*r + 4. Let b be l(-4). Let c = 514 - 409. Suppose -c*x + b*x = -19605. Is x prime?
False
Let m(c) = 15*c - 10. Let h(q) = q. Let j(t) = 12*h(t) + 3*m(t). Let u be j(-5). Let z = -121 - u. Is z a prime number?
False
Suppose -i = -u + 5, 0*u + 8 = 2*u. Is 1/2*(i - -3243) a composite number?
False
Is (-7097740)/(-25) - (88/30 - 21/9) a prime number?
True
Let k = -2381 - 12291. Let f = k - -28929. Is f a composite number?
True
Is 1/(1*(-8)/18 - (-4275411)/9619614) a composite number?
True
Let s(c) = 2*c**3 - 4*c**2 - 2*c + 17. Suppose 0 = 4*w - 2*f - 4, -3*w = -4*w + f + 3. Let y(a) = 9*a**2 + a - 1. Let k be y(w). Is s(k) composite?
True
Let v(d) = 2*d**3 - 41*d**2 - 19*d - 36. Let x be v(21). Suppose 7*w - 4*z = x*w + 8707, 4*w + z = 34879. Is w prime?
True
Let z(s) = 423*s - 109. Suppose 8*b + 9 - 57 = 0. Is z(b) a prime number?
False
Is 2/(1*18) - 146853974/(-2007) prime?
False
Let b = -111 + 103. Let l(y) = y + 11. Let t be l(b). Suppose t*p = -3 - 3, 4*p - 3056 = -4*h. Is h a composite number?
True
Let l be 25*(2/(-1) - 48/(-20)). Let p(g) = l - g + 2*g + 0*g + 58*g**2 - 2*g. Is p(-3) a prime number?
False
Suppose h = -7*x + 6*x, -3*h = -x. Suppose j + 7*j - 90488 = x. Is j prime?
True
Suppose 10323 = 3*y + 5*n, 13732 = 19*y - 15*y - 4*n. Suppose 0 = 4*o + 260 - y. Is o a composite number?
True
Suppose -3*o - 158853 = -m, 569*m + 158853 = 570*m + 5*o. Is m a composite number?
True
Let z(j) = -4137*j + 1939. Is z(-20) a composite number?
True
Let d be 15/(-10)*1*34. Suppose 54 = 6*f - 7*f. Let g = d - f. Is g a composite number?
False
Let i(n) be the first derivative of 7*n**2/2 - 26*n - 337. Let y = -3 + 18. Is i(y) prime?
True
Suppose -2407204 - 12069148 = -13*i - 51*i. Is i prime?
False
Let q(o) = 1638*o**2 - 32*o + 41. Is q(-9) composite?
True
Suppose 5*m - 2*m - 8718 = 0. Is 22 - 22 - 2/(-2)*m composite?
True
Let w = 439418 + -267499. Is w a composite number?
True
Let w = 105 - 77. Let p be (-180)/14 + (-4)/w. Is 490 - (