ite?
False
Suppose -5362 = -6*t + 3452. Suppose 0 = 6*m - 289 - t. Is m prime?
True
Let g = -17 - -14. Let z(k) = -30*k**3 + 2*k**2 - 5*k - 2. Let o be z(g). Suppose -o + 211 = -2*h + 5*b, -4*b = -5*h + 1541. Is h prime?
False
Let j = -740 - -1153. Is j composite?
True
Let p = -21 + 13. Is 4*(-2)/p*85 composite?
True
Let q be (30/45)/((-2)/(-39)). Let i = -11 + q. Is (-596 + i)/(-3) + 1 a composite number?
False
Is -13907*(1 + -8)*(-46)/(-322) a composite number?
False
Suppose 4*h + 3*u = -0*h + 21, -3*h + 6 = -u. Suppose 0 = 4*s - 2436 + 928. Suppose 0 = h*b - 2*j - s, -28 - 101 = -b - j. Is b a composite number?
False
Suppose -2*n - 1208 - 273 = -3*u, -u + 3*n + 489 = 0. Suppose -m - 3*q = -211, -3*m - q = -106 - u. Is m composite?
False
Let h = 953 - 502. Let f = h - 260. Is f prime?
True
Suppose -4*g - 3*n + 270969 = 70999, -4*g + 199958 = -3*n. Is g prime?
True
Suppose 2*w = -5*b - 0*w + 5, 5*b - 10 = -3*w. Let f be 2*b*6/(-4). Suppose 0*d - t - 466 = -d, 2*d = f*t + 931. Is d a prime number?
True
Suppose -5*y + 13 = -47. Let h = 21 - y. Let f = h - -4. Is f prime?
True
Let g(h) be the second derivative of h**4/12 - 4*h**3/3 + 2*h**2 - 2*h. Suppose 0 = -4*d + 6*d + 14. Is g(d) a composite number?
False
Suppose 4*n - 4 = 3*r - r, 5*r = 5*n - 5. Let t(s) = s**2 - s - 3. Let a be t(3). Suppose a*y - 2*g - 635 = r, 2*g - g = 2*y - 423. Is y composite?
False
Is 4/6 + 6360/72 prime?
True
Let l = -24215 + 50370. Is l prime?
False
Suppose 2*d - 20 = -t - 61, 0 = -5*d - 4*t - 98. Let l = -42 - d. Let a = l - -57. Is a composite?
False
Is 3 + -7 + 75 - -6 prime?
False
Let s = -202 - -1109. Is s prime?
True
Suppose -2*a = -0*a - 8. Suppose a*w + 4*d - 3 = -15, -2*d - 2 = 4*w. Suppose 2*u + 5*j = 6*u - 1575, -w*j - 1578 = -4*u. Is u a composite number?
True
Suppose -3*g - 33 = 27. Is (0 + (0 - -989))/(g - -21) a composite number?
True
Suppose -279*z + 284*z = 44810. Is z a composite number?
True
Let f(v) = -308*v + 26. Suppose 5*s = 5*w - 4*w - 31, -5*s - 32 = -2*w. Is f(s) a composite number?
True
Let i(c) = -21*c + 17. Let w = 27 + -15. Let x(p) = -3*p + 18. Let h be x(w). Is i(h) composite?
True
Suppose -o + 6*f = 3*f + 6, 4*f = -5*o + 46. Suppose -16910 = -o*a - 4*a. Is a composite?
True
Let t = 127 - 56. Suppose -t*k - 2135 = -76*k. Is k a prime number?
False
Let y = 27 - 35. Is (-6760)/(-32) + 2/y composite?
False
Let v be 6/(-9)*21/(-2). Let l be 2*2/((-8)/(-506)). Suppose -v*f + l = -1308. Is f composite?
False
Suppose -23567 = -8*m + 3449. Is m a composite number?
True
Let k(l) = -l - 1. Let r(o) = -3*o**2 + 11*o - 4. Let d(m) = -4*k(m) - r(m). Is d(6) a composite number?
True
Let c = -60 - -45. Let z = c - -252. Is z prime?
False
Let b = -285 + 290. Let r(o) = 15*o**3 - 21*o**2 - 3*o - 15. Let z(i) = -7*i**3 + 10*i**2 + i + 7. Let d(q) = -3*r(q) - 7*z(q). Is d(b) a composite number?
False
Let k be 440/242 - (-4)/22. Suppose -2*n + 1162 = k*f, n + 4*f - 198 = 395. Is n composite?
False
Let h = -6 - -3. Is h + (-3 - -3) - -682 a composite number?
True
Is 1705455/90 - (-5)/(-2) prime?
True
Suppose -7*s + 16*x = 17*x - 140124, s = 5*x + 19992. Is s composite?
True
Let a(u) = 13*u**2 + 7*u + 6. Let v be a(-5). Suppose 14*t - 371 - 1183 = 0. Let s = v + t. Is s prime?
False
Let i(c) = -1 + 4 - 2*c - 5 - 30*c**2 + 41*c**2. Is i(-7) composite?
True
Let x(i) = -i**2 + 13*i - 1. Let v be x(9). Suppose -c - v = 5. Let j = c - -99. Is j a prime number?
True
Is (24/10 + -3)*(2 - 44017) a composite number?
True
Let g = -232 - -158. Let l = 17 - g. Suppose 8*z - l = 7*z. Is z a prime number?
False
Let h be (6/9)/(5/(45/2)). Suppose h*w + 166 = 5077. Is w a composite number?
False
Is (-44709*18/(-27))/2 a prime number?
False
Suppose 925 = -m + 2*m + 3*y, 0 = -3*m + 4*y + 2801. Suppose 1511 = 6*r - m. Is r a composite number?
True
Suppose -31*i + 2802 = -34*i. Let m = i + 1723. Is m a composite number?
True
Let y(w) = 61*w**2 - 8*w + 1. Is y(-6) composite?
True
Let b(k) be the first derivative of -52*k**4 - k**3/3 + 3*k**2/2 + 3*k + 13. Is b(-2) composite?
False
Suppose -u = 2*t - 0*u - 6633, 3*t + 2*u - 9952 = 0. Is t composite?
True
Suppose 36*m = 34*m - 4. Is (0 + m - -4)*(-106)/(-4) composite?
False
Let c(o) = 106*o - 6 + 67*o - 12. Is c(4) composite?
True
Suppose 0 = 5*v - 25, -5 = 4*c + v - 82. Is (-32)/144 + 2128/c prime?
False
Suppose 3*r + 698 = 5*n + 1756, 5*n - 366 = -r. Suppose 0 = -y - 105 + r. Is y a composite number?
False
Let n(t) = 5*t + 4. Let m(l) = 4*l + 5. Let y(c) = -4*m(c) + 3*n(c). Let b be y(-13). Suppose -2*w - 114 = -b*w. Is w composite?
True
Suppose -21*f + 19*f = -2504. Suppose -3*l + 1607 = -f. Is l a prime number?
True
Is ((-4111)/(-2))/((165/22)/15) a composite number?
False
Let n = 2 - 70. Let p be (3 - (-3052)/6) + (-4)/(-3). Let w = n + p. Is w prime?
False
Let q be (-1)/(-4) - (-22)/8. Suppose 12 = q*k, 1 = 5*h + 4*k - 0. Is h/1 + (-118)/(-1) a prime number?
False
Let c(w) = -w**3 - 6*w**2 + 17*w + 10. Let v be c(-8). Let q(u) = -2 + 2 + 166*u - 1. Is q(v) a prime number?
True
Let m = -33 + 55. Suppose 5*c - m = -2. Suppose 1075 = l + c*l. Is l a composite number?
True
Let k(d) be the second derivative of d**3/6 - 9*d**2 + 6*d. Let a be k(21). Is (0 - a) + 6280/5 prime?
False
Suppose 0 = -2*h - 6*t + 2*t + 222, 3*t + 111 = h. Let x = 500 + h. Is x a composite number?
True
Let j be ((-12)/(-4) - 2)*0. Suppose 5*o - p = 60, p + j = -5. Let m = o + 100. Is m prime?
False
Suppose 2*n + 14 = 46. Suppose 3*v + 0 = g - 17, v = -4*g + n. Let o(r) = 7*r**2 - 2*r - 1. Is o(v) composite?
True
Let y(z) be the third derivative of 53*z**5/60 - z**4/12 - z**3/3 - 5*z**2. Let k = -12 - -15. Is y(k) a composite number?
True
Let c be 1 + 1805/5*1. Let n be (6 + -3)/((-2)/166). Let t = c + n. Is t prime?
True
Is (1050084/372)/3 + (-2)/(-31) composite?
False
Let t be (6 + -4)/(2/(8/2)). Is t/(-16) - (-6063)/12 a prime number?
False
Let z = -31 - -34. Suppose -5*m = -z*t + 629, -4*t = -0*t + m - 808. Is t a prime number?
False
Suppose 0 = -0*a + 2*a + 2. Let h be (a - -2)*(2687 - 12). Is 3 - h/(-5) - -3 prime?
True
Let y(d) = d - 9. Let o be y(11). Is -2*((-75)/o)/3 a prime number?
False
Let j(i) = 103*i**2 + i - 5. Let k be (-1 - 0)*(14 + -11). Is j(k) composite?
False
Suppose -5*p = -p. Let k(d) = d**3 - 4*d**2 - 17*d + 34. Let j be k(6). Suppose 0 = -j*t - n + 149, p*t + 4*t + 3*n - 151 = 0. Is t composite?
False
Suppose l - 3*k - 4 - 7 = 0, 4*l + k - 5 = 0. Suppose 0*c - 2*c + l*b + 148 = 0, -2*c - 2*b + 136 = 0. Is c prime?
True
Suppose 4*h = -0*h. Suppose i + 5*w - 79 = h, -2 = -5*w - 17. Is i composite?
True
Let v(k) = k**3 + 17*k**2 - 16*k - 22. Let y be v(-11). Let g be -2*6/4 + y. Let n = 408 + g. Is n prime?
False
Let h = 1 + 23. Let a = -15 + h. Is 14 - 4 - a/(-3) a composite number?
False
Suppose -5*d = -h + 36, 0 = -5*d - 4*h - h - 60. Let l(g) = 11*g**2 + g - 23. Is l(d) composite?
False
Let c(y) = -y**2 - 6*y - 3. Let w(r) = r**3 - 6*r**2 - r + 1. Let v be w(6). Let j be c(v). Suppose -j*g = -o - g + 211, 5*o - 1055 = -2*g. Is o composite?
False
Let x = -22 + 22. Suppose -n - 2 = 0, 2*m - 514 = -x*m + 3*n. Is m a prime number?
False
Let b = 5984 + -814. Let z = b + -1649. Is z composite?
True
Suppose 7*r - r - 24546 = 0. Is r composite?
False
Suppose 20*u - 19*u = 4481. Is u prime?
True
Suppose 5*p = 108 + 22. Let d = 5 - -124. Let n = d - p. Is n prime?
True
Suppose -5*h = 5*n - 675, -2*n = 2*h - 3*n - 258. Suppose 5*f - 25 = 0, p - 4*f = 6 + 6. Let c = h + p. Is c a prime number?
True
Let w = -1234 - -6381. Is w composite?
False
Suppose -15 = 3*h, -12*h = 4*q - 10*h - 702. Is q a prime number?
False
Let y(w) = -2*w**2 - 5*w + 7*w**2 + 4*w - w - 1. Let d be y(-1). Suppose -2*f + d*u - 2*u = -1126, -3*f - u + 1654 = 0. Is f prime?
False
Is (-13)/((-260)/(-15))*4768/(-12) prime?
False
Suppose -5*u + n + 120750 = 0, -5*u - n + 120745 = -3*n. Is u a composite number?
False
Let q = -132 - -227. Suppose a + 2162 = 4*n, 438 = n - 4*a - q. Is n a composite number?
False
Suppose f - 5 = -1. Let s(r) = -r + 10. Let o be s(7). Suppose -f*g + o*i = -260, -i = 3*g - 2*i - 195. Is g a composite number?
True
Suppose 0 = 2*k + 4, -2*l + 4*k + k - 12 = 0. Let j = l + 14. Suppose -2*v = -3*v - 2*w + j, -2*w - 11 = -v. Is v a prime number?