prime?
True
Suppose -5318667 = -5*w - 870402. Is w a prime number?
False
Let f(l) = -11*l - 32. Let t be f(-4). Is 635 - t*4/12 prime?
True
Let t(i) = i**2 + 20*i - 3. Let q be t(-20). Let n = q - -8. Suppose -n*c + 849 = -11876. Is c composite?
True
Let w be 99/(-66) - 35*2/4. Suppose -4*a - 5*r + r + 492 = 0, 0 = a + 5*r - 127. Let i = w + a. Is i prime?
True
Let t be 13009/(-6 + (-51)/(-9)). Is 3*(-2 + 4)*t/(-18) a prime number?
True
Let k(g) = g**2 + 14*g + 26. Let c be k(-12). Suppose 4*w + 16 = 4*i, -3*w - 30 = i - c. Is ((96/20)/w)/((-1)/1585) prime?
False
Suppose -13*u = -9*u + q - 2857338, -3*u - 3*q + 2142999 = 0. Is u prime?
False
Let q be -25 - (17 - 35) - 5/(-1). Let p(z) = -3*z**2 + 23*z**2 + 5*z + 2*z + 11. Is p(q) prime?
False
Let f be ((-4)/(-12) - (-33)/9) + -1. Let h(u) = 2*u - 2. Let r be h(f). Suppose -5*v - 749 = -r*d, 0 = -d + 3*d - 4*v - 370. Is d composite?
False
Let y be (1/(10/2115))/(1/(-1374)). Let h be (y/12)/(-9) + (-2)/(-8). Suppose 4*x - 19117 = -5*t, 5*t - 5*x = 16399 + h. Is t prime?
True
Suppose -4*j - 5*a + 40207 = 0, -j - j + a + 20121 = 0. Let r = j - 6831. Is r a composite number?
True
Let v be -3*7/(-42)*(-2)/1. Let t be (231/(-55))/(v/5). Suppose -t*x = -14*x - 4067. Is x a composite number?
True
Let p be (-3)/(-2) - 9/(-18). Suppose 2*t = 6 - p, -5*t = -2*y + 40132. Is y composite?
False
Let n(j) = 69*j**2 - 60*j - 1192. Is n(-15) composite?
False
Suppose -23*q + 4390083 = -5556934. Is q composite?
False
Let s(k) = 252*k**2 + 7*k - 5. Let a be s(5). Suppose -22*f = -28*f + a. Is (81/15 - 6)/((-1)/f) prime?
False
Suppose -781210 = -5*o + v + 3*v, 2*o = -5*v + 312484. Is o composite?
True
Let f(t) = 26810*t + 3229. Is f(9) a prime number?
False
Suppose 544*w + 676093 = 555*w. Is w a composite number?
False
Let f be 25 - 24 - (-1 + -1). Suppose -2*y - f*y = 0. Suppose 4*j - 3*j - 719 = y. Is j composite?
False
Suppose 26*h - 4643289 = -37*h. Is h a prime number?
False
Let w(n) = 15*n**3 + 8*n**2 + 107*n - 1189. Is w(10) prime?
False
Suppose 4*s - f + 18283 = 0, -3*s - 18274 = s + 2*f. Let i = 691 - s. Is i prime?
True
Suppose -3*f + 0*f - 2*u = -41, 3*u = 3*f - 51. Suppose 4*w = 5*z - 185427, 6 = f*w - 12*w. Is z a prime number?
True
Let z = 19 - 14. Suppose -z*h + 3*h = k - 123, -2*h + 118 = -4*k. Suppose 44 = 3*j - h. Is j a prime number?
False
Let a(q) be the third derivative of -q**4/8 + 167*q**3/6 - 13*q**2. Is a(0) a composite number?
False
Suppose s = -0*s, -2*o = -2*s - 102. Let q = -40 + o. Suppose -q = a - 85. Is a a composite number?
True
Suppose 5756 = 4*i + 4*n, i = 3*i - 4*n - 2884. Let d be (2 - -1) + (-5)/(-9 - -4). Suppose i + 92 = d*c. Is c a composite number?
False
Let i(d) = 4328*d**2 - 2*d + 1. Let t(f) = 4329*f**2 - 2*f. Let w(c) = 3*i(c) - 2*t(c). Is w(1) a composite number?
False
Suppose 15 = -4*u - 1. Is (u - -3)/((14/(-874))/7) composite?
True
Let c(l) = 18804*l**2 + 61*l + 63. Is c(-1) a composite number?
True
Suppose 0 = -x + 109 + 622. Let p = -160 + x. Is p composite?
False
Let z(k) = k**3 + k**2 - k + 200. Suppose 4 = 3*n - p, 4*n + 3*p = -11 - 1. Let o be z(n). Let d = o + -42. Is d prime?
False
Suppose -461193 - 839003 = -106*i. Is i a prime number?
False
Let r(t) = 104*t**2 + 22*t - 63. Is r(32) a composite number?
False
Let g = -135 - -136. Is -123*g*((-202)/6 + 4) a composite number?
True
Let t(r) = 131*r**2 - 11*r + 32. Let z be t(-15). Suppose z = -11*g + 134535. Is g a prime number?
True
Let h(p) = -148*p - 162. Let a be h(-17). Let m = -493 + a. Is m composite?
False
Let z(u) = -41*u**2 - u + 13. Let w(t) = -2*t**2 - 2 + 5 - 8*t**2. Let c(f) = -9*w(f) + 2*z(f). Is c(-5) prime?
False
Let f be ((-63)/(-2))/(-3)*(-9 + 7). Let i(j) = 2*j**2 + 38*j - 2. Is i(f) prime?
False
Let a = -602 - -604. Is (82120/(-16))/5*(-4)/a a prime number?
True
Suppose -36 = m + 2. Let i = 36 + m. Let g(r) = -108*r - 5. Is g(i) prime?
True
Let j = 70 - 77. Let g(i) = -4*i**2 - 29*i - 3. Let l be g(j). Is l/(-5) - 33156/(-20) prime?
True
Let g(o) = o - 8. Let x be g(7). Let w be (-1670)/(-20) - x/(-2). Suppose 13*y - 14*y + w = 0. Is y a composite number?
False
Let j be 0 - 0 - 0/(-1). Suppose -10*q + 0*q + 9*q + 12 = 0. Suppose -q*l + l + 59191 = j. Is l a composite number?
False
Suppose 7*q + 30 = 17*q. Is q/6*(9956 - -5 - 3) a prime number?
False
Let p = 105 - 105. Let f be p + 0 - (123 + -11). Let u = 169 + f. Is u a composite number?
True
Suppose -188*p - x + 509367 = -184*p, 0 = 4*p - x - 509377. Is p composite?
False
Suppose 2*h = 2*a + 14, -2*h + 16 + 13 = -5*a. Suppose 3*t - 4*t + 3 = -l, -4*l + h*t = 18. Let c(k) = -75*k + 29. Is c(l) composite?
False
Suppose 4*a = -10*p + 13*p - 32, 2*p = 3*a + 20. Is -1*596/p*-4 a composite number?
False
Suppose w + 0*t = -2*t + 4, 0 = 3*t + 3. Suppose w*u - 5*u = 7314. Is 0 + -1 - 0 - u/(-3) composite?
False
Let j be -1*((-12)/(-4) + 2) - -1. Is 0 + j/26 + 740619/143 a prime number?
True
Let n = -1339 + 1601. Is n a composite number?
True
Let h = 407 - -2543. Suppose -272*f + 16567 = -400137. Let a = h - f. Is a a composite number?
True
Suppose 5*h - 5*n = 1252895, 22*n + 501150 = 2*h + 18*n. Is h a prime number?
True
Suppose -3*i + 2*i = w - 3, 0 = w + 2*i - 4. Let p = -3341 - -3340. Is p/(w/(-2)) - -334 a composite number?
True
Let o be 10/(-25) - (-4)/10. Suppose o = z - 3, -2*z + 12 = n - 1. Suppose 3*y - n*y = -1484. Is y composite?
True
Let l(p) = 7*p**3 + 42*p**2 + 121*p - 1273. Is l(36) a prime number?
True
Let l(p) = -9780*p - 149. Is l(-5) composite?
False
Let j(g) = 3200*g - 6. Let n be j(1). Let r = n - 1615. Is r prime?
True
Suppose 4*o - 4*s + s + 27979 = 0, 5*o = -3*s - 34940. Let j = o + 11538. Is j prime?
True
Let d = 70760 - -11937. Is d prime?
False
Suppose 4*o - 72*l + 69*l = 1170301, 877722 = 3*o - l. Is o a prime number?
True
Is -8007*1456/(-39) - -9 a prime number?
True
Suppose -b = 4*t + 365, 20*b + 4*t = 17*b - 1071. Is ((-7 + 5)*1)/(2/b) a composite number?
False
Let y = 6904 + -3741. Is y prime?
True
Suppose -2*n = -3*x + 25101, 0 = -2*x - 2*n + 24466 - 7742. Suppose -3*m + 5*l = -80473, m - x = -5*l + 18446. Is m a prime number?
True
Suppose 4*o - 1582 - 2050 = 0. Let p = -119 + o. Is p prime?
False
Let z(a) = -a**2 + 2*a. Let y be z(2). Suppose y = 4*o - 2*o - 474. Is o prime?
False
Let o(z) = 4*z**2 - 2*z - 3. Let d(k) = 22*k - 3. Let t be d(-2). Let i = t + 60. Is o(i) a composite number?
False
Suppose 3*p - 3 = 3. Suppose 12 = p*k - f, 5*k - 4*f - 40 = f. Is 2*770/4 - k a prime number?
False
Let l = -22919 - -68736. Is l a prime number?
True
Let q be 10 + 4 - -2*2. Suppose -5*d = 20, 4*l - 2*d - 10 = q. Suppose -a + 387 = 3*v, -l*v - 1517 = -4*a - 3. Is a composite?
True
Suppose -3*j - 2*i = -2*j - 6, -3*j + 4*i - 2 = 0. Suppose -j*b - 2*m + 6914 = 624, b + 5*m - 3129 = 0. Is b prime?
False
Let s = 858 + -484. Suppose -14*x - 8 = -18*x. Suppose 0 = -0*t + x*t - s. Is t composite?
True
Let a(y) = -809*y**2 + 2*y + 7. Let q be a(3). Let k = q + 10195. Is k a composite number?
False
Is (70771 - (1 + -13))*(7 + -6) composite?
False
Is ((-480147)/6)/((-1)/(-2)*-1) a prime number?
True
Is -13 - -2 - (-145362)/21 prime?
True
Suppose z = 610 + 62. Suppose 673*q = z*q + 1811. Is q a composite number?
False
Suppose -5*p - 99 = -4*m, -3*m + 4*p - 9*p = -118. Suppose 0 = -25*k + m*k - 123378. Is k composite?
False
Suppose 3*u + 165 = -2*u. Let n = u + 35. Let a(l) = 647*l - 9. Is a(n) prime?
False
Suppose -5*p = 3*p - 1712. Suppose -6*d = -2*d + 3*v - 881, -d - 2*v = -p. Let o = 435 - d. Is o a composite number?
False
Suppose 4*z + 5*m = 6*m + 28, 4*m = -5*z + 14. Let s be (15/z)/((-1)/4). Is ((-275)/s)/((-2)/(-4)) prime?
False
Suppose -5*w - 13*x = -18*x - 263965, 4*w = -2*x + 211184. Is w composite?
True
Suppose 0*w = -4*w - 5*r + 1, 0 = -5*w + 4*r - 9. Is 403/62*(w - (1 - 300)) prime?
False
Let n = 224 + -231. Is 1/n - (1727154/(-63) + 2) a composite number?
True
Is 1569194/(5 - 3) + (-60)/(-10) + 0 prime?
True
Let l(x) = 12*x**2 - 4*x + 2. Let m be l(2). Suppose -648*p + 646*p + 4 = 0. Is 1 + -6 + p + m composite?
True
Let h = 4688 - 11037. Is h*(2 + (-7 - -4)) a prime number?
False
Is (-54)/648 - (-6)/72*18291733 a composite number?
True
Suppose -5*l - b = -25, 3*l - 15 = 4*b - 0. Suppose 0 = -5*q - i + 543, -l*i = 