b a prime number?
False
Suppose 5 = 5*x + 15. Is (x - 1) + 4/(-2)*-11 a composite number?
False
Suppose -7*c - 5*c + 1694436 = 0. Suppose 19*o = 24 + c. Is o a composite number?
False
Suppose 149*a - 130837068 = 141072287. Is a a prime number?
False
Let m(v) = v**3 - 56*v**2 + 40*v + 3809. Is m(82) a prime number?
True
Let i(f) = f**2 + f - 11. Let u be i(9). Suppose -28*t + 96 = -26*t. Let v = u + t. Is v a prime number?
True
Suppose -41*x - 24*x = 50*x - 15316045. Is x prime?
True
Let g(a) = -a**2 + 10*a - 32. Let n be g(10). Let v be -2 - -7 - n/(-16). Suppose -5*c + 3856 = v*c. Is c a prime number?
False
Let i be 2/(-3) + (-2)/(-3). Suppose -2*c + 16 = -2*y, 2*c - 3*y + 3 - 25 = 0. Suppose 6*r - c*r - 6532 = i. Is r a composite number?
True
Suppose 3*m + 5*q - 2868 = 0, 0*m - 3*q = 2*m - 1912. Let b = m - 463. Let r = b + -202. Is r composite?
True
Let l = -4 + 6. Suppose -5*v + l*v = -v. Suppose 0 = 3*t + 3, 2*t - 1063 = -v*y - 3*y. Is y a composite number?
True
Let w(q) = 31638*q**3 - 4*q**2 + 3*q + 1. Let i be w(1). Suppose -i = 982*t - 988*t. Is t prime?
True
Let k = -42 + 48. Suppose -k*o = 5*o - 17369. Suppose 0 = -5*n + 636 + o. Is n prime?
True
Let n(z) be the second derivative of 23*z + 3/2*z**4 + 0 + 7/2*z**3 + 29/2*z**2 - 1/20*z**5. Is n(19) prime?
True
Suppose 0 = -99*v - 49*v + 32645692. Is v composite?
False
Let f(w) = 5129*w - 1059. Is f(4) a prime number?
True
Let n(r) = -80*r**2 + 11*r - 2. Let i be n(-7). Let l = 1535 - i. Is l a composite number?
True
Let l be (-136740)/(-9)*(-72)/(-30). Let c = -24795 + l. Is c a prime number?
False
Let q = 11 + -6. Suppose 0 = 3*y + 2*y + b + 1350, 5*y = -q*b - 1370. Let i = 314 - y. Is i a composite number?
True
Let f(h) = 3*h**2 - h + 1. Suppose -5*i = -4*i - 12. Suppose -4*n + 2 = 18, i = k - 5*n. Is f(k) prime?
False
Let d = -46 - -24. Let a be (-5381)/(-11) - ((-26)/d - 1). Suppose -13*x - a = -16*x. Is x a composite number?
False
Let k = 267139 - 158512. Is k a prime number?
False
Is ((-47)/((-2256)/(-72)))/((-1)/248554) prime?
False
Let n(v) = 4*v**3 + 19*v - 3. Let b(y) = 6*y**3 + y**2 + 20*y - 4. Let z(l) = 4*b(l) - 5*n(l). Is z(6) a composite number?
True
Let w(t) = 9190*t - 731. Is w(5) prime?
False
Let y(w) = 102*w + 13. Let d(l) = -4*l**3 + 3*l**3 + 613*l - 16 - 631*l + 20*l**2. Let g be d(19). Is y(g) a prime number?
False
Let p = 58 - 18. Let r be 414/12*p/(-3). Is (23/(-5))/(4/r) composite?
True
Let z = -6 + 30. Suppose -12*d - 12 - z = 0. Is (-2)/(-6) + (-1)/d*884 composite?
True
Let d(s) = 16*s - 369. Let r be d(19). Let q = -17 - -305. Let w = r + q. Is w prime?
True
Let h(j) = 98*j + 20. Let b be h(12). Is ((-4)/(-8))/((-5978)/b + 5) a prime number?
False
Let y(l) = -4*l + 1400 + 2*l + 7134 - l**3 + 3690 + 10245. Is y(0) prime?
True
Suppose 988 = -3*q + 16*q. Suppose -q*v = -72*v - 12536. Is v a composite number?
True
Suppose 0 = -3*o - 5*l + 9, 2*l + 11 = 3*o + 2. Suppose o*k = 4554 - 42. Is k + 6 + -3*(-1)/3 a composite number?
False
Suppose -y + 2*s = -968, 5*s = -y + 1246 - 257. Is y composite?
True
Let n(i) = 430*i - 27. Let y(b) = b**2 - 3*b + 9. Let j be y(4). Suppose -6*g - 28 = -j*g. Is n(g) composite?
False
Suppose 0 = -4*u + 2 + 34. Suppose -8705 = -8*a + 503. Suppose -u*m + 748 + a = 0. Is m composite?
False
Suppose 2*o = y - 261, 44 = -o + 3*y - 79. Is (-1125230)/(-66) + (-8)/o a prime number?
False
Let l = -892 + 35853. Is l a composite number?
False
Let w be (-2019)/6*(-11 - 19). Suppose -w = -10*c - 1325. Is c prime?
True
Let z be (-18)/(-4)*((-4)/6 - 0). Let o be 0/3 + (2 - z). Suppose 2*v - o*v = -573. Is v prime?
True
Let f = -642224 - -2181783. Is f composite?
True
Is (0 + 1/4)/(380/58415120) composite?
False
Let u be (94 - 1)*9/27. Suppose -2*v + u = x + 4*x, -5 = -x. Suppose -v*w + 465 = -2*m - 0*m, 2*m + 155 = w. Is w a prime number?
False
Let m(f) be the first derivative of -13*f**4/4 + 2*f**3/3 - 11*f**2 - f + 339. Is m(-6) a composite number?
False
Let p(i) = 647*i + 663*i - 1398*i + 11. Suppose -1 = 2*o + 23. Is p(o) prime?
False
Let g = -110 - -116. Let y be g - 370/14 - (-4)/(-7). Is 11/77 - 9300/y composite?
False
Suppose 75*d + 1556446 = 7261921. Is d composite?
True
Let j = -4064 - -6704. Suppose -5362 = -u - 3*o, -4*u - 5*o = j - 24109. Is u prime?
False
Let p be (-644884)/(-11) + 324/(-33) + 10. Let r = p - 37715. Is r a prime number?
False
Is (-8)/(-32) + 497932/16 composite?
False
Suppose 3*o = 2*o + 1144. Suppose 6*p = 16826 + o. Suppose -c = -1, -2*q + 3*c + p + 1440 = 0. Is q composite?
True
Let z be -2 + 3 - 5 - -99984. Suppose -13*f + 8349 = -z. Is f a prime number?
False
Suppose -3*x - 2*d = 3*d + 23, 0 = -2*d - 2. Let q be x*6/(-36)*993. Suppose f + 0*n - q = 2*n, -3*f - 3*n + 3024 = 0. Is f a composite number?
True
Is 4937372/20 + (-610)/854 + (-39)/(-35) composite?
True
Let w(b) = -8*b - 35. Let s(p) = p**3 + 15*p**2 - 17*p - 23. Let v be s(-16). Let d = -22 - v. Is w(d) a composite number?
True
Suppose 0 = 4*n + 2*a - 6744, -a - 5048 = -0*n - 3*n. Suppose -7*y = -6*y - n. Let p = -1098 + y. Is p a composite number?
True
Let n(l) = -23*l**2 + 2*l. Let u be n(-2). Let t = -88 - u. Let f(v) = 700*v - 21. Is f(t) composite?
True
Let q(u) = -224*u + 136. Let b be q(5). Let c = b - -1406. Is c a prime number?
False
Suppose -k + 4*k + 1437 = 0. Let f = k + 1005. Is f a composite number?
True
Let h(x) be the first derivative of -x**4/2 + 2*x**3 + 2*x**2 + 25*x - 22. Is h(-6) prime?
False
Suppose -3*c + 4*m + m = -303, 0 = 5*c + 5*m - 465. Let h = -30 + 71. Let v = c - h. Is v a prime number?
False
Suppose -13*n + 497569 = -12*n - 4*g, -n + 5*g + 497563 = 0. Is n composite?
True
Is 4 + -19 - -18 - (-267094)/1 composite?
False
Let o(y) be the first derivative of -y**3/3 + 5*y**2 + 3*y - 15. Let i be o(10). Suppose i*f + 4874 = 2*a, 7*f = -2*a + 2*f + 4874. Is a a composite number?
False
Suppose 325*c - 51*c = 35808546 + 359728. Is c composite?
False
Let y be (1203 - 0) + (-11 - -17). Suppose -5221 = -4*q - y. Is q a prime number?
False
Let n(r) = -4*r - 5. Let k(q) = 4*q - 30. Let o be k(7). Let x be n(o). Suppose 2*p - 74 - 71 = -v, -x*v - 5*p = -437. Is v prime?
True
Let w(l) = 6*l**2 - 14*l - 25. Let p(c) = -c**2 + c + 1. Let u(t) = 5*p(t) + w(t). Let j be u(13). Let a = j - -5. Is a a composite number?
False
Suppose -14*g - 12*g + 26861530 = 8*g. Is g prime?
False
Let y be ((-74)/2)/(1/127). Let r = y - -2575. Let x = 4601 + r. Is x prime?
True
Let n be 15/9*(9/(-5) - -3). Is (-6)/(-2)*n + 473 a prime number?
True
Suppose 0 = 48*b - 147049 - 11426567. Is b composite?
False
Suppose -3*q - 25*c + 21*c = -19429, 0 = 3*q - 4*c - 19469. Is q prime?
False
Let q = -188 - -200. Let h(a) = 4*a**2 + 33*a - 49. Is h(q) a composite number?
True
Suppose 0 = -7*u + 77 - 42. Suppose 0 = 3*w - u*h - 19152, -2*h = -3*w + 16864 + 2297. Is w prime?
True
Let n be (-1 - -83)/(-1) + (-119 - -121). Is (-8207184)/(-912) + (2 - n/(-38)) prime?
True
Suppose -181*k - 25 = -186*k. Suppose k*m - 173 - 12 = 0. Suppose -69 = -2*s + m. Is s a prime number?
True
Let j be 6 - (4 - 3)*3. Suppose 1 = -j*d - 2. Is d + (-2 - (-1 + -160)) prime?
False
Suppose -2*j + 132 = -2*l, -5*j + 120 = -3*l - 214. Suppose 0 = 65*k - j*k + 2235. Is k prime?
False
Suppose 0 = 5*m - 3*n + 107, -5*m - 12*n = -16*n + 111. Is m/((-171)/(-54)) - -6629 a prime number?
False
Let g be (-35)/(-7) + 2/2 + 1. Let q(w) = 5*w**3 + 2*w**2 + 5*w + 10. Let a be q(g). Let u = 4317 - a. Is u a prime number?
True
Let k = -52092 + 154763. Is k a prime number?
False
Suppose 4*r - 19 + 11 = 0. Suppose 0 = 3*l + 4*w - 0*w - 13839, l + r*w - 4613 = 0. Let b = -412 + l. Is b prime?
True
Suppose 0 = -509*n + 504*n. Suppose -w + n*w = 2*y - 8477, 5*y - 5*w - 21170 = 0. Is y prime?
False
Let r(i) = -3*i - 3. Let p be r(-2). Suppose -v + 2*m + 3282 = -3*m, 5*v + p*m = 16382. Is v a composite number?
True
Suppose -14*i = -12*i + 16. Is (-90118)/(-98) - i/(-14) composite?
False
Suppose 2*k - q = 12, -2*k - 3*q - 8 = -4*k. Is (679868/12)/k - 6/9 prime?
True
Let u(w) = 262*w**2 - 3*w - 11. Let p be 5 - -1 - 3/(-6)*0. Suppose p*l - 5*l = -2. Is u(l) prime?
False
Suppose 3*q - 4*q + 36 = 0. Suppose 0 = a - f - q, 4*a - 64 - 80 = 3*f. Is ((-9)/(a/(-1273)))/((-2)/(-8)) prime?
False
Suppose 0 = -3*z + 10 + 5, -