53. Is m composite?
False
Suppose x + 2 = 0, 4*b = -5*x + 57 + 709. Is b composite?
True
Let a = -974 - -1445. Is a a composite number?
True
Let v be (6/(-12))/((-1)/(-2)). Is (-1 - v - -1)*43 prime?
True
Let u = 595 + -182. Is u a composite number?
True
Let t(f) = 37*f**2 - 2*f + 1. Let w be t(2). Suppose 6*q - w = 5*q. Is q a composite number?
True
Suppose -4 - 2 = -3*d. Suppose -6*t = -d*t - 28. Let s(j) = j**3 - 6*j**2 + 4*j. Is s(t) prime?
False
Suppose -5*x + 3329 = -4*l, 0*x + 3365 = 5*x + 5*l. Is x prime?
False
Suppose -11*u = -7*u - 4556. Is u prime?
False
Let l be (1/2 - 0)*-6. Let i(v) = -5*v**3 + 3*v**2 - 3. Is i(l) composite?
True
Let x = 12 + 10. Suppose 2*f + 25 = 3*k, -x = -7*k + 4*k + 5*f. Suppose 82 = o - k. Is o a composite number?
True
Suppose -5*g - 39 + 304 = 5*w, 265 = 5*g + 2*w. Let b = 498 + g. Is b a composite number?
True
Let v = 451 + -260. Is v a composite number?
False
Let j(g) = 28*g + 43. Is j(6) a composite number?
False
Let k = -83 - -402. Is k a composite number?
True
Let x(a) be the second derivative of a**4/12 + a**3/3 - 5*a**2/2 - 6*a. Is x(-8) a composite number?
False
Is ((-9752)/(-2) + -2)*(-1)/(-2) a composite number?
False
Let y(f) = f**3 - 7*f**2 - 8*f + 1. Let o be y(7). Let n = -46 + o. Let j = n + 168. Is j prime?
True
Let x(s) = -96*s - 13. Is x(-1) composite?
False
Let a = 360 - -701. Is a prime?
True
Let f = 1800 - 1270. Let d = f - 371. Is d composite?
True
Suppose 0 = -0*z + 4*z - 144. Let c = z - 17. Is c prime?
True
Is 7/(-196)*-38996 - (-2)/7 a prime number?
False
Suppose 2*b = -3*b + 4*l, -5*b + 2*l = -10. Is (94/b)/((-2)/(-4)) prime?
True
Suppose 4*t + 18 = 634. Suppose 4*x - t = 4*k + 90, 4*x - 234 = -k. Let l = -12 + x. Is l a composite number?
False
Is (-3 - 80)*(1/(-1))/1 a composite number?
False
Let t(y) = y**3 - 4*y + 2*y - 7*y**2 + 3*y**2 + y. Let d be t(2). Let m = d - -23. Is m prime?
True
Let o(b) = 86*b**2 + b + 1. Let l be o(2). Suppose 4*f - 5*m - l = 0, -183 = -2*f + m - 2. Is f a composite number?
True
Is (7/4)/(3/60) prime?
False
Let b(t) = -3*t**2 - 32*t + 27. Let f(o) = -o**2 - 11*o + 9. Let h(m) = 6*b(m) - 17*f(m). Is h(-6) composite?
False
Let a(w) = -w**3 - 5*w**2 - 5*w + 3. Let k be a(-4). Let n(y) = y**2 - 3. Is n(k) prime?
False
Let v = -191 + 670. Is v a composite number?
False
Let n(w) = 2*w - 5. Let j be n(4). Let u(k) = k**2 - 2*k - 1. Let g be u(j). Is (-31 - -2 - g)*-1 a prime number?
True
Suppose 195 - 617 = -2*w. Is w composite?
False
Suppose 0 = p + 2*c + 8, 12 = -4*p - 0*p - 4*c. Is 1/(-2) - (-787)/p prime?
False
Let l be 8118/42 + (-4)/14. Suppose -153 = -4*j + 303. Let c = l - j. Is c prime?
True
Let x(v) = v**2 + 9*v + 4. Let h(q) = -q**3 + q - 9. Let w be h(0). Let a be x(w). Let r(o) = 4*o**3 - 7*o**2 + 6*o - 5. Is r(a) prime?
True
Suppose 0 = -5*k + 25, 4*u = 8*k - 7*k + 28175. Is u composite?
True
Let y be (-1)/(10/4 - 3). Is ((-1)/2)/(y/(-124)) a composite number?
False
Let f = 1060 + 1729. Is f composite?
False
Suppose -a + 1845 = o - 5*a, 2*a = -4*o + 7470. Is o a composite number?
True
Let t = -3 + 5. Suppose t*c - 172 = -58. Is c a composite number?
True
Suppose -8072 = -32*f + 28*f. Is f a composite number?
True
Suppose -2*d - 2 = -2*q, -2*d - 3*q - 39 = 2*d. Suppose -48 + 6 = -2*z. Is 100/7 + d/z a prime number?
False
Suppose 2719 = -2*i + 6421. Is i a composite number?
True
Is -1 - 1722/(-9) - 2/(-3) composite?
False
Suppose 2*g - 3*g + 725 = 0. Suppose -v - 4*v + g = 0. Is v prime?
False
Is (15/(-9))/(-5) + 4792/6 composite?
True
Let g be (-4)/(-1 + -1) - -2. Suppose g*z + 5*l - 823 = -296, 2*l = -z + 131. Is z composite?
True
Let r = -146 - -511. Is r a composite number?
True
Let b be ((-111)/5)/(2/(-70)). Suppose -5*v + 2*v = -b. Is v prime?
False
Let h = -88 - -629. Is h composite?
False
Suppose 2*o - 8 = -2*o. Suppose 2*d - 4*h - 102 = 0, -h = -0*h - o. Is d a composite number?
True
Suppose -5*i = 62 - 252. Let l = i + 68. Is l a composite number?
True
Let s(v) = -v - 1. Let j(k) = -k**2 + 6*k + 5. Let l(f) = -j(f) + 2*s(f). Is l(-6) a prime number?
False
Suppose 3*b + 670 = 5*u - 0*b, 0 = 4*u + 3*b - 563. Suppose -3*g + 2*c = -0*g - u, 6 = 3*c. Suppose -171 = -3*j + 4*k, k = -j - k + g. Is j prime?
True
Suppose 0 = 2*u + 3*u. Let l = 5 + u. Suppose 0 = l*x - 52 + 7. Is x prime?
False
Let r(v) = -v**2 + 9*v. Let u be r(9). Suppose u = -3*d + 2*d + 55. Is d composite?
True
Let z(u) = -16*u - 2. Let h be z(-5). Is (0 - -2) + -1 + h a composite number?
False
Let c(l) = 5*l - 2. Suppose -25 = -3*k - 2*k. Suppose -14 = -k*z + 21. Is c(z) composite?
True
Suppose 23*x + 1491 = 26*x. Is x a composite number?
True
Suppose -4*r = -j + 525, -1062 = -0*j - 2*j + 5*r. Is j prime?
True
Let k(y) = -23*y - 2. Let d(p) = -p - 12. Let s be d(-9). Is k(s) prime?
True
Let b = 2867 + -1896. Is b prime?
True
Let v(u) = 2*u**3 - 3*u**2 + 5 - 2 - 1 + u. Let b be v(2). Suppose 0 = y - 3 + b, -5*s + 40 = -y. Is s a composite number?
False
Let q = -206 + 417. Is q composite?
False
Let y(c) = 27*c**2 - 4*c - 3. Is y(-2) a composite number?
False
Let m be (-2 + 7 + -1)*-1. Let w = 7 + m. Suppose -j = -w - 12. Is j a composite number?
True
Suppose -2*g + 12 = 5*i, -5*g - 8 = 4*i - 21. Suppose 2*f + 3*f = 25. Suppose f*w - 93 = i*w. Is w composite?
False
Suppose 2*z - 4*w + 13 = -w, -4*w = -3*z - 20. Let b be (z/12)/(4/(-126)). Is (-38)/3*b/(-14) prime?
True
Let w(m) = 16 - m + 19 - 12. Suppose -4 = 3*s + y, 4*s - 2*y + 7*y + 20 = 0. Is w(s) prime?
True
Let b(d) be the third derivative of -d**6/120 + d**5/6 - 5*d**4/24 - 7*d**3/6 - 4*d**2. Let h be b(6). Suppose 32 = -3*f + h. Is f composite?
True
Suppose -3 = -5*y + 2. Let w be (4/(-1))/((-2)/8). Is (-7 + y)*(-8)/w a composite number?
False
Suppose -254 = -15*t + 13*t. Is t a composite number?
False
Let j(l) = 13*l**2 + l + 5. Is j(9) a prime number?
False
Let m be (6/(-4))/(-3)*-2. Is (2/m)/(2/(-35)) a composite number?
True
Let u(x) = -2*x**2 + 3*x - 2. Let r be u(2). Is (r/(-3))/(2/3) prime?
True
Suppose -7*f = -5*f - 2846. Is f prime?
True
Suppose -273 = -j + 34. Is j composite?
False
Let t = 528 - 343. Is t a composite number?
True
Let n(s) = 10*s**2 - 3. Let z(t) = 3*t - 1. Let o be z(3). Suppose 7*h = -2*v + 4*h - 21, 4*v - 4*h = o. Is n(v) a composite number?
True
Let s(g) = 3*g**2 + 3*g - 3. Let m(l) = -l**2 + 6*l - 2. Let d be m(5). Suppose d*w + 16 = -w. Is s(w) a prime number?
False
Suppose -2*b + 6*b = -712. Let r = -110 - b. Suppose 3*x - 73 = r. Is x composite?
False
Suppose -3*d - n = -62 - 532, -d = 3*n - 190. Is d prime?
True
Is (-3 - -599)*(-1)/(-4) a composite number?
False
Let f be 40/(-70) + (-186)/(-7). Let b = f - -71. Is b a prime number?
True
Let j(n) = 4*n + 1. Is j(9) a prime number?
True
Let l(j) = -438*j + 15. Is l(-6) composite?
True
Let r = -16 - -11. Let y = -5 - r. Suppose -4*p - 2*z + 130 = y, 0 = 4*p + 4*z - z - 125. Is p prime?
False
Let j(t) = t**3 + 8*t**2 + 4. Let z be j(-8). Let l = z - -1. Is (6 + -1)*(10 - l) a composite number?
True
Is 2 + 0 + (2570 - (-21)/3) a prime number?
True
Let g = 1 + 1. Suppose g*d - 98 - 18 = 0. Is d prime?
False
Let n = 2233 - 544. Is n composite?
True
Let a be 0*(1 + (-4 - -2)). Suppose -2*r + 0*r + 4 = a. Suppose -33 = -3*p - r*u, p + 4*u + 11 - 32 = 0. Is p prime?
False
Let z(v) = v**2 + 6*v + 15. Is z(-10) composite?
True
Suppose -d = -32 - 34. Suppose u = 3*u - d. Is u composite?
True
Let p(o) = 2*o**2 - 2. Suppose 5*a = -4 - 31. Let q = a - -5. Is p(q) prime?
False
Suppose -5*i + 3*i + 422 = 0. Is i a composite number?
False
Let j = 0 - -2. Let m be 2*(-1 - -2)*j. Is (-14)/(5/((-130)/m)) a prime number?
False
Suppose 5*l - 6 = -0*r - 3*r, 5*l = -5*r + 10. Let u(m) = -3*m - 1. Let w be u(-1). Suppose -i - p = -38, l*i - 3*i - w*p = -113. Is i a composite number?
False
Suppose 2*f - 4 = f. Suppose 2*c = m + f, m = -4*c - 2*m + 8. Suppose -3*b + 51 = c*n - n, b - 283 = -5*n. Is n composite?
True
Let n be (1 - (-1)/(-3))*6. Suppose -n*x - y = -6*y + 188, -5*x = y + 235. Is (-1 + 0)*(-2 + x) composite?
True
Let b(v) = v**2 + 0*v**2 - 19*v + 14*v - 17. Is b(12) a prime number?
True
Let b(n) = -1064*n**2 + 1. Let r be b(-1). Let u = r - -1532. Is u a prime number?
False
Suppose -2*i + 1752 = 2*m, -2*m + 4*i = 5*i - 1753. Is m prime?
True
