a composite number?
False
Is (-3*1)/(16 + 230/(-14)) + 49492 prime?
True
Let a be (-8)/(2/8 - 17/36). Suppose a*b - 1440 = 27*b. Is (7 + b/(-24))*149*3 a composite number?
False
Let l(g) = -g**3 + 149*g**2 - 627*g - 551. Is l(144) composite?
False
Suppose -3*t - 4*c + 17376 = 1033, 4*t = c + 21816. Suppose -4*n - 7*o + 3*o = -5432, -4*n = -3*o - t. Is n prime?
True
Suppose n = t + 2*t - 2016929, 5*n = 3*t - 2016913. Is t prime?
True
Suppose 126840 = 2*t - 84446. Is t composite?
True
Let j be ((-4)/(-10))/((-68)/(-680)). Suppose -5*r = -5 - 15. Suppose -3*t = u - 145, 0 = j*u + r*t + t - 580. Is u a composite number?
True
Let o = 865011 - 150872. Is o composite?
False
Suppose -3*s = -4*g - 3587383, 41*s - 40*s + 2*g = 1195811. Is s a prime number?
True
Is (-3)/108*-12*(-1 - -478852) a prime number?
True
Suppose 192*t - 156*t = 788796. Is t a composite number?
False
Let o(d) be the first derivative of -137*d**2/2 + 90*d + 164. Is o(-7) prime?
True
Let d(r) = 8*r**2 - 216*r + 3227. Is d(-110) composite?
False
Let c(h) = -1420*h**3 - 2*h**2 - h + 1. Let f be c(-2). Suppose 0 = 9*w - 54786 - f. Is w composite?
False
Suppose 2*s - 10 - 4 = -p, 4*s + 4*p = 36. Let i(g) be the second derivative of g**5/4 + g**4/2 + g**3/6 + 7*g**2/2 - 9*g. Is i(s) prime?
True
Suppose -2*g = -20178 - 14722. Suppose -4*z - 5*t + 13969 = 0, -2*t - g = -5*z + 3*t. Is z a composite number?
False
Let p(g) = -150*g - 13. Let z be p(-4). Suppose -3*f - 5*o = -73, 7*f + o = 3*f + 103. Suppose f*d - 25*d = z. Is d prime?
True
Let q = -32 - 337. Let l be 60/3*(-115)/20. Let x = l - q. Is x composite?
True
Suppose -k = -2, -54 = -2*i + k + 2*k. Let w = -27 + i. Suppose 5*o = -2*b + 1221 + 292, w*o + 1553 = 2*b. Is b a prime number?
True
Let j(m) = -1617*m + 8606. Is j(-17) a composite number?
True
Suppose -3*f = -3*s + 960, 4*f + 322 = 5*s - 1276. Suppose 4*p + l + 526 = 0, -2*p + 2*l = 3*l + 264. Let h = s + p. Is h a composite number?
True
Let j(q) = 2*q**2 - 3*q - 5. Let a be j(3). Suppose 18150 = 5*g - 4*i + 2461, -12552 = -a*g + 4*i. Is g a prime number?
True
Is ((-1536616)/16)/(4/(-8)) a prime number?
False
Let j = 80 + 233. Let u = 564 - j. Is u a composite number?
False
Let u = -6 - -8. Suppose -u*o = -4*o + 1092. Let d = o + 397. Is d prime?
False
Let w(s) = 4*s - 26. Let k be w(7). Let r be k*-610*-1 - 1. Suppose r = 2*g + 2*t + t, 3*g + t - 1832 = 0. Is g composite?
True
Let f(n) = -11401*n - 1594. Is f(-23) prime?
True
Suppose 3*l + w = 553989, -1149880 = -5*l + 2*w - 226587. Is l prime?
False
Suppose -g - 7 = -4*v - 8, -5*g = -2*v - 23. Suppose -5*n = -3*f - 33176, g*n + 3*f - 41743 = -8549. Is n prime?
True
Suppose y - 242 = -5*i, 7*i = 6*i + 5*y + 38. Is (i/(-6) - -1) + 5438 prime?
True
Let s = 487451 - 344442. Is s composite?
True
Let n be (-4)/8*0 - (-2)/2. Let z be (-66)/n*(-2)/(-6). Is 4/z + (-57568)/(-88) - -1 composite?
True
Let y(o) = 1984*o**2 - 96*o + 1273. Is y(13) composite?
True
Suppose 3*d + 4*x = -8, 3*d - 3*x = -0*x - 15. Let l(q) = 4*q + 207*q**3 + 7 - 112*q**3 - 109*q**3 - 9*q**2. Is l(d) prime?
True
Suppose -7*g + 3*g = -2*f + 66, 2*g + 157 = 5*f. Let c = f + -17. Suppose -c*n - 92 = -18*n. Is n a prime number?
True
Let s(c) = -c**3 + 3*c**2 + 8*c. Let o = -18 - -23. Let j be s(o). Is (4/(-18) - (-1100)/(-72))*j prime?
False
Suppose -3*m = -15, -4*n + 0*m - 3*m = 5. Let l = -1683 - -1698. Is -6*n/l + 675 a composite number?
False
Suppose -k = -4*f + 497831, 248893 = 2*f + 113*k - 118*k. Is f a prime number?
True
Let y(x) = 3627*x**2 - 7*x + 19. Let t be y(2). Let m = t + -5746. Is m prime?
False
Let a(g) = 9936*g - 3967. Is a(26) composite?
False
Let v(w) = -81*w**2 - w - 1. Let t be v(6). Let r be (3/18*9)/((-12)/(-43056)). Let z = t + r. Is z prime?
True
Is (-626477)/((-6)/1 - (56/14 + -9)) a prime number?
True
Suppose -24*d + 20*d = -2*l + 97794, -4*l - 3*d + 195566 = 0. Is l a prime number?
False
Let i = -197318 + 337039. Is i a composite number?
False
Let j(k) = -740*k + 4*k**2 + 14 - 18*k**3 + 745*k - 16*k**3. Is j(-4) prime?
False
Suppose 0 = 27*c + 9*c - 347184. Is (c/(-2))/((4 - 4) + -2) a prime number?
True
Suppose 101459 = -20*y + 1999239. Is y a prime number?
True
Let w be (-4 - -2)/((-3)/(-18)). Let t(p) = -p**2 - 13*p - 10. Let n be t(w). Suppose 3*h = -n*m + 1076, 1977 - 370 = 3*m + h. Is m composite?
True
Is (-4152)/(-96)*1604 + -1 + -1 composite?
False
Is (-58)/464 - (154654020/32)/(-9) composite?
True
Suppose 14*h - 5*h - 10593 = 0. Suppose h = 4*t - 4*p - 719, -t + 459 = -4*p. Is t a composite number?
False
Let z be (-28)/(-8) + ((-2)/(-4) - 0). Let p(c) = -z + 4 - 5 + 6*c. Is p(7) prime?
True
Let k(s) = s**3 + 81*s**2 + 36*s + 39. Is k(-17) a composite number?
False
Suppose -37 = 13*o - 180. Suppose -o*p = 3*p - 8204. Suppose p = 4*b - 562. Is b composite?
True
Suppose 4*s = -4*v - 1922 + 14762, -4*v + 12845 = -s. Suppose 5*g + 10458 = 3*t, -2*t + 0*t = 8. Let z = v + g. Is z a composite number?
False
Let v(x) = -12*x**3 - 2*x**2 + 5*x - 5. Let y be v(4). Let l = -356 - 136. Let s = l - y. Is s a composite number?
False
Suppose -11*z + 20035 = -10*z + 4*b, -3*z = -2*b - 60119. Is z a prime number?
False
Suppose -s = -2*g + 13 - 14, -4*g + 5*s = 5. Suppose -3*i = -4*k - 2035, 3*i + 3*k - 2662 + 655 = g. Is i composite?
False
Let o(a) = 16*a**2 + 16*a + 0*a**2 + 9 + 0*a**3 + 10 + a**3. Let z be o(-15). Suppose 13887 = z*s + s - 2*p, -5*s + 13886 = -p. Is s composite?
False
Let c = -8664 + 33653. Is c a prime number?
True
Let d(c) be the first derivative of 28*c**3/3 - 17*c**2/2 + 84*c + 14. Is d(9) a prime number?
False
Let g(a) = -a**3 + 3*a**2 + 2*a - 6. Let y be g(3). Suppose 86 = 5*j - y*j - 2*t, -4*t = -4*j + 64. Suppose 296 = 2*p - j. Is p prime?
True
Suppose 11*r - 107996 = 74142. Suppose 0 = -2*z + 3*q + r, -2*z + q = -5*z + 24859. Is z composite?
True
Let f(z) = 1747*z**2 + z - 15. Let m be f(-5). Suppose -15*x + m = -57940. Is x a prime number?
False
Let a = 133 + -133. Suppose -5*c = 5*y - 4*y - 816, a = -5*c + 3*y + 812. Is c composite?
False
Let r(l) = -2*l**3 + 6*l**2 - l - 4. Let w be r(2). Suppose -t + w = -3. Is 0 + 291 + 20/t composite?
True
Let n be (-1)/(-1)*(-4 + (-64)/(-8)). Suppose -q + 2*q + 3*w - 1673 = 0, -5*q - n*w + 8365 = 0. Is q a prime number?
False
Suppose -8167 = -12*b - 115. Suppose -b*x - 14572 = -675*x. Is x composite?
False
Let z(i) be the second derivative of i**3/2 + 55*i**2/2 - 18*i. Let b be z(-17). Suppose b*o - 5*p - 2223 = 0, -3*o + p - 3*p = -1673. Is o a composite number?
False
Suppose 2*d = 10, 4*y + 3*d - 17 = 3*y. Suppose 118*n + 3*x + 25850 = 119*n, -y*n + 51673 = 3*x. Is n composite?
False
Let x(w) = 2*w**3 - 2*w**2 + w. Let m be x(2). Let a be ((-17292)/(-20))/(2/m). Suppose 3*d = 3*b - 3276, 4*b - 3*d + 8*d = a. Is b prime?
True
Let a(v) = 4*v - 2. Let f(k) = 4*k - 2. Let g(r) = 5*a(r) - 4*f(r). Let s be g(1). Suppose -s*b + 4*x = -382, 5*b + 3*x = 4*x + 955. Is b composite?
False
Is (22 - -4) + -20 + 3/((-6)/(-1984486)) prime?
True
Suppose -3*g + 1271856 = 3*n, 16*g = -5*n + 14*g + 2119787. Is n a composite number?
False
Suppose -2*r + 628422 = 2*f, 1571049 = 150*f - 145*f + 2*r. Is f prime?
False
Is 4 + 66/(-17) + (-8)/(2040/(-25084065)) prime?
True
Suppose 20*z - 1128591 = 999149. Is z prime?
False
Suppose 5*n = 2*n + 105. Suppose 37*b = 44*b. Suppose b = w - n - 24. Is w a composite number?
False
Let c(b) = -b**2 + 8*b + 8. Let j(w) = -2*w**2 + 15*w + 17. Let h(o) = -7*c(o) + 3*j(o). Let d be h(16). Suppose -d = u - 258. Is u a prime number?
False
Let m be (-13 - -8)/(2 + -3). Suppose 0 = -m*b + 3*b + 8. Suppose 2*s + 68 = 4*u, -3*u + b*s + 61 = -0*s. Is u a prime number?
False
Let a(l) = -l**3 + 11*l**2 + 2. Let w be a(11). Suppose -5444 = -4*y + 2*z, -3*y + w*z + 3145 = -938. Is y prime?
True
Suppose 15 = -2*x - x. Let w be ((-554)/4 + 4)*x*2. Suppose -4*t - s + w = 0, 0 = 4*t + 4*s - 1378 + 42. Is t composite?
False
Let c = 271 - 262. Suppose 589 = -c*x + 2416. Is x a composite number?
True
Suppose 26935 + 509 = 4*r. Suppose 9*t - r = 43350. Is t a composite number?
True
Let f be (6/18 - (-39)/(-9)) + 2. Is (-3 + ((-2001)/2)/3)*f composite?
False
Suppose 3 = -4*d + 19. Suppose 0 = d*f + 5*m - 681 - 264, -2*m = -5*f + 1140. Suppose -3*g = 8 - f. Is g composite?
True
