- 5*x = 6710. Is m prime?
False
Suppose -460*m = -458*m - 285394. Is m composite?
False
Suppose 266*q - 301*q = -7092575. Is q a composite number?
True
Suppose 4*g - 688738 = 5*y, -y = g - 97925 - 74246. Is g prime?
False
Let r(t) = -11*t + 32. Let q(p) = -34*p + 95. Suppose 2*j + 9 = 15. Let f(g) = j*q(g) - 8*r(g). Is f(-7) a prime number?
True
Let a(n) = -n**2 + 21*n + 48. Let q be a(23). Let l be (14326/57)/(q/3). Suppose 0 = 2*o - 3*k - l - 443, -4*o - 3*k = -1622. Is o a prime number?
False
Suppose 16000*c = 16054*c - 29084454. Is c a composite number?
True
Let n(h) = 55*h**3 - 9*h**2 + 60*h + 1. Let y be (-2)/(-11) + 960/165. Is n(y) prime?
False
Let x = 268856 + 14919. Suppose 21*w = 26*w - x. Is w prime?
False
Is ((-614729)/6)/(230/(-1380)) composite?
False
Let f(t) = -12*t + 90. Let k be f(7). Suppose -4*h + k*h = 4294. Is h prime?
False
Let v be (-4 - 14)*(-2)/4. Suppose -3*g + v = 3*z, -5*g - 5*z = -3*g - 6. Suppose -3*i + 841 = 5*f, -g*i - i = -f + 159. Is f a prime number?
True
Suppose 0 = 5*g - f - 2371939, -15*g = -2*f + 1333324 - 8449147. Is g a composite number?
False
Suppose 4*o + 11976 = 2*u + 2*u, -u + 2974 = 3*o. Let l = -1352 + u. Is l a composite number?
False
Let d = -423 - -428. Suppose -4*v + 2*p + 13498 = 0, -d*p + 17 = -8. Is v composite?
True
Let x be (3*9/4)/((-59)/(-20532)). Let p = 892 + 1413. Suppose -3*l + 2*s = -4690 - p, -5*s - x = -l. Is l composite?
True
Suppose 0*x + 4*x + 3*y = 321, -86 = -x + 5*y. Let w be 34/9 + 18/x. Let z(b) = 123*b - 13. Is z(w) a prime number?
True
Let o(v) = 263*v**2 - 7*v + 39. Is o(-43) composite?
True
Suppose 34*w - 39 = -5*o + 31*w, -3 = -o + w. Suppose -o*r + 5396 = -10288. Is r a prime number?
False
Let b(w) be the third derivative of -7*w**4/24 - w**3 - w**2. Let r be b(-2). Suppose 605 = r*k - 123. Is k a prime number?
False
Let l be (-4 - -22)/((-9)/246). Let b = l - -278. Let r = b - -425. Is r composite?
False
Suppose -5*h = -4*k + 11540, 4*k = 2*h - 3*h + 11540. Suppose 5*p - 4*y = k, -5*y - 289 = -p + 309. Is p a composite number?
True
Is (-2)/((8/335398)/(-2)) prime?
False
Suppose -40 = 133*m - 135*m. Suppose -r - m + 30 = 0. Suppose r*n - 19*n = -16407. Is n a prime number?
True
Let w(f) = 1035*f + 198. Let r be w(-5). Let v = -2084 + 10554. Let b = v + r. Is b composite?
True
Suppose 19*n + 56624 + 216539 = 0. Is (-3 - (1 + -3))*n a composite number?
True
Let y = -3974 - 1870. Let w be (2/(-6))/((-6)/y)*9. Let d = -1709 - w. Is d composite?
False
Suppose -18*s + 19*s - 7 = 0. Suppose -o = -2*z - s - 1, 0 = -4*o - z + 5. Suppose 0 = -o*p + 5*p - 435. Is p a prime number?
False
Suppose 0 = 22*v - 626891 - 1285956 - 871979. Is v a prime number?
True
Let d(b) = -119 + 187 - 22*b + 157*b**2 + 0*b - 100. Is d(-11) composite?
False
Let p = 994168 + -558827. Is p a composite number?
True
Let f be 8 + (27/(-3) - -6). Suppose -11149 = -f*k + 12516. Is k a prime number?
True
Let i = 6608 - -79815. Is i a composite number?
False
Is (-6)/((-4)/(-997323*(-4)/18)) a composite number?
False
Let d be (1 - -681)*(-44)/8. Let t = d + 20810. Is t a composite number?
True
Let x = 769 - 769. Let r = 2813 + x. Is r a prime number?
False
Let k be (-492)/(-9)*843/4. Let z = k + -8132. Is z a prime number?
True
Is -1*((5 - 16) + -27228) composite?
False
Suppose 27*f + 16992 = 35*f. Suppose -8*y + f + 908 = 0. Is y a prime number?
True
Let v be (-9)/6*(-52912)/6. Suppose 2*m + 44019 = 5*d + 10949, 0 = 2*d - 2*m - v. Is d a composite number?
True
Let b = -17 + 19. Suppose -b*h + 28037 = 3*h - 2*i, 4*h - 22423 = -5*i. Suppose 0 = -s - 8*s + h. Is s prime?
False
Let i(r) = -3*r**2 + 10*r + 16. Let o be i(5). Let y(d) = -3*d**3 + 13*d**2 + 11*d + 2. Is y(o) prime?
False
Let l = -29279 - -53053. Is l a prime number?
False
Let d(s) = -s**2 + 30*s - 178. Let p be d(18). Suppose 0 = -f + 4*w + 13347, 0 = -p*f + 33*f + 3*w + 66820. Is f composite?
False
Suppose -40327 = -6*a + 2*a + n, -4*n + 20168 = 2*a. Suppose -a + 737 = -21*j. Is j prime?
False
Let l(d) = 6*d + 1. Let j be l(1). Suppose j*t - 1025 = 312. Is (15/(-5))/(-3)*t composite?
False
Suppose 2*a + 279843 = h, 5*a = -3*h + 975018 - 135467. Is h a composite number?
False
Let d be (-40)/140 - 15367/(-7). Suppose 4155 = 10*x - d. Is x prime?
False
Let z(d) be the first derivative of -51*d**4/4 + 4*d**3/3 + d**2 - 6*d - 24. Let k be z(-5). Suppose -12*g - k = -15*g. Is g a prime number?
True
Suppose 0 = 3*x - 3*t - 15, -5*x - t = -0*x - 49. Suppose 4*f + f - 2*a - 31 = 0, 3*a = -x. Suppose 3*m = s - 536, -20 = -f*m - 5. Is s prime?
False
Suppose 4*f = 5*r - 1800411, -166*f + 163*f = -5*r + 1800412. Is r prime?
False
Suppose 5*j = 3*s - 52, -7*j - 60 = -3*s - 4*j. Suppose 0 = 10*z - 2*z - s. Suppose 3*b + y - 6731 = z*y, -5*y - 4491 = -2*b. Is b a composite number?
False
Let j = 42 - 40. Suppose -3*l = -3*m + 18, j*m + 4*l + 16 + 2 = 0. Is ((-1596)/9)/(m/(-3)) + 3 prime?
False
Is -2*(9/12 + -2)*974 a composite number?
True
Suppose 122*j + 1642404 - 5610788 = 10735910. Is j a composite number?
True
Let d = 48 - 46. Let y = 67 + -67. Suppose 4*t = -2*v + 4610, y = -2*t - d*v + 2309 - 1. Is t a prime number?
True
Suppose 1138 = 2*q + 2*t, -2*q + 5*t + 1138 = -0*t. Let i = -63 - 7. Let r = i + q. Is r a composite number?
False
Suppose 11*u = 10 + 1. Let z(w) = 88*w + 1. Let o be z(-2). Is (-6)/(30/o) - u prime?
False
Let s(y) = -37*y**2 - 8*y - 9*y + 27*y. Let q be s(4). Let i = 1231 + q. Is i a composite number?
True
Let z = 4670 - 4351. Is z a prime number?
False
Let h(c) = -161*c**2 + 59*c + 5. Let r be h(14). Let j = -15822 - r. Is j a composite number?
True
Suppose 3*s - 707 = -740. Let l be 39/(((-4)/2)/(-4)). Let o = l - s. Is o composite?
False
Let s = 230108 + -162661. Is s a prime number?
True
Suppose 0 = 14*r - 9*r - 25. Suppose s + 2048 = r*i, 3*i = -i - 4*s + 1624. Is i composite?
False
Suppose 2*t - 3*p = 2, 2*p = 4*t + p - 4. Suppose w = -4*j - t, -3 = w + 2*w. Suppose j = -114*l + 116*l - 11290. Is l a prime number?
False
Suppose -4*i - 3*w + 612242 = 0, -4*w = -5*w + 2. Is i prime?
True
Let h(u) = -214*u**2 - 4*u + 12. Let r be h(2). Let i = r + 1863. Is i composite?
True
Suppose 14*p + 17638 = 86924. Let f = p - 2506. Is f composite?
True
Let f(c) be the first derivative of -c**2/2 + 12*c + 16. Let q be f(8). Is ((379 + 0)*(-3 + q))/1 prime?
True
Suppose 3907 = -2*t - 7715. Let s = t + 11038. Is s a composite number?
False
Let m be 93/12 + 2 + (-14)/8. Let k be (4/m*-3)/(6/(-16)). Suppose -1554 = -k*a + 2. Is a composite?
False
Let k = 1559 - 314. Is k - (-3)/(6/(-4)) prime?
False
Let g(q) be the third derivative of -q**5/30 + 3*q**4/8 - 19*q**2. Let n be g(4). Let o(s) = 32*s**2 - 3*s + 3. Is o(n) composite?
False
Suppose 0 = -4*o - 3*r + 1286170, 52*r - 57*r + 321517 = o. Is o a composite number?
False
Let p(s) = 508*s**3 + 9*s**2 + 39*s. Let q be p(-9). Is ((-2)/(-4))/(-1 + q/(-369948)) composite?
False
Let g = -249 - -250. Let j(t) = 12038*t**3 - 5*t**2 + 2*t + 2. Is j(g) prime?
True
Let v be (-164)/28 + (-1)/7. Let d be ((-24)/v + (0 - 4))/(-2). Is 907 + (-1)/(-4)*d a prime number?
True
Suppose 0 = -3*l + 13437 + 5802. Let m = -2586 + l. Is m a prime number?
False
Let v(g) = 14*g**2 + 86*g + 429. Is v(64) a prime number?
True
Let t(j) = 31 - j**3 - j**2 + 21 + j - j + j. Let k be t(0). Is 1266/10 - (-3 - k/(-20)) a prime number?
True
Let c be ((-13659)/(-348))/((-1)/(-28)). Is (6 - c/(-4))/(1/4) a composite number?
False
Let x = -49161 - -85580. Is x composite?
True
Let b(l) = l**2 + l - 7. Suppose 29 = 14*u - 27. Suppose 0 = -0*w - u*w + 2*p - 32, w - 4*p = -1. Is b(w) a prime number?
False
Is -4 + 14 + -10 + 18337 composite?
True
Let d(b) = 30*b - 18*b + 19 - 6 + 47*b**2 - 14*b. Is d(6) a composite number?
False
Let w(y) = -y**3 + 66*y**2 + 1074*y + 15. Is w(72) a composite number?
True
Let g be 0*4/(-8)*1. Let r be 8/(-12)*(-3)/((-4)/(-4)). Suppose -2*q - r*q = -2*o - 7136, g = 2*q + 4*o - 3558. Is q a prime number?
True
Let i = -24 - -29. Suppose 3*g - 14 = -i. Suppose 0*y - g*y - 5*v = -3384, 9 = 3*v. Is y composite?
False
Suppose 141 = 16*q + 109. Is ((1/(-1))/q)/((-11)/1204874) composite?
False
Suppose -9*m - 140051 = -12*m - p, 6*m + 3*p = 280098. Is m a composite number?
True
Let v(y) be the second derivative of 