. Is d(l) prime?
True
Suppose 12*v - 57958 = 35846. Is v composite?
False
Suppose -2*k + 9414 = 2*l, 2*k = k + 2*l + 4719. Is k a prime number?
False
Suppose 15958 + 37725 = 7*p. Is p prime?
True
Suppose a - 7 = 13. Let m(p) = -p**3 - 21*p**2 - 37*p + 29. Let h be m(-19). Let r = a - h. Is r prime?
False
Let u be (-5)/(-25) - 27/(-15). Suppose 2*s - 2 - u = 0. Suppose 0 = 6*m - s*m - 60. Is m a prime number?
False
Suppose 14*j - 91477 = -3*j. Is j composite?
False
Let x = -84 + 311. Let j = x + -66. Is j a prime number?
False
Let r(z) = -4*z**3 + 12*z**2 - 11*z + 20. Is r(-13) composite?
False
Let a = -33 + 36. Suppose 0*r - a*r = -2631. Is r a prime number?
True
Suppose -2*b - 4*l + 15974 = 0, 4*b - 6*l + 3*l = 31915. Is 4/18 + b/9 prime?
True
Suppose -3*x - 338 + 112 = 2*j, 3*j - 57 = x. Suppose -y + 4*l - 89 = 0, -3*y - 3*l + l = 337. Let k = x - y. Is k a composite number?
False
Is (-13 - (-640)/50) + 964232/10 a prime number?
False
Suppose 2*x = -j + 2*j - 8261, -x + 8273 = j. Is j composite?
False
Suppose 0 = 3*s - 2*z - 37889, -z - 2*z - 37887 = -3*s. Is s composite?
True
Let y(a) = 31*a**2 + 6*a + 14. Suppose 49 = 5*o - 2*m, -2*o - m = -4*o + 20. Is y(o) a prime number?
True
Let n(q) = 7*q**3 - 157*q**2 + 59*q - 54. Is n(29) composite?
False
Is (-96814)/(-6)*(9 - 0) a prime number?
False
Let s(n) = -n**2 + 8*n - 3. Let g be s(8). Let x be 93*(-1 - 12/g). Suppose -5*c - 89 = -x. Is c a prime number?
False
Let f(l) = -l**2 - 5*l - 1. Let w be f(-4). Suppose w*o = -2*o + 15. Suppose -4*j + 1351 = o*q, -5*j + 1741 = -3*q + 59. Is j a prime number?
True
Suppose -x - 10832 = -n, -54160 = -5*n - 0*x - 3*x. Suppose -23017 - n = -9*u. Is u composite?
False
Let w(l) = -238*l**3 + 10*l**2 - 5*l + 4. Is w(-5) a prime number?
True
Suppose -4*z - 18*m + 15949 = -21*m, 4*z - 15984 = -4*m. Is z composite?
True
Let n = -696 - -4975. Is n a prime number?
False
Suppose h - i - 19 - 3 = 0, -2*i = -h + 26. Suppose -h*c = -22*c + 19444. Is c prime?
True
Suppose -15681 = 139*b - 142*b. Is b composite?
False
Is (-49351)/(-7) - 12/(-14) composite?
True
Let f = 7721 - 4500. Is f a composite number?
False
Let w = -65 + 103. Suppose -5*z = -w + 8. Let i = z + 13. Is i a composite number?
False
Let j = -259 + 527. Let b(w) = w**2 + 2*w - 1. Let c be b(1). Suppose 0 = c*o + 2*o - j. Is o prime?
True
Let m(t) = -t**2 - 20*t - 23. Let j be m(-19). Let u(i) = -191*i + 35. Is u(j) prime?
False
Let f(r) = -229*r**3 + 2*r**2 - r - 1. Let n(m) = -m**3 + 2*m**2 - 4*m + 6. Let u be n(2). Is f(u) composite?
True
Suppose 31*d - 26*d = 35. Suppose d*m = 2344 + 2073. Is m composite?
False
Let z(j) = 190*j**3 + j**2 - 1. Let h be 6/9 - 1/(-3). Let y be z(h). Suppose -v = 4*v - y. Is v prime?
False
Suppose y - 1022 = 5*m, -y = 2*m + 193 - 1236. Is y composite?
True
Let v(i) = 30*i**3 + 9*i**2 + 5*i - 1. Let o(d) = -15*d**3 - 5*d**2 - 3*d. Let q(j) = 7*o(j) + 4*v(j). Is q(3) composite?
True
Suppose -4*s = -15 - 37. Suppose -s*p + 14*p - 789 = 0. Is p a prime number?
False
Let p = -54 + 36. Suppose 0 = -3*m - 2*b - 7961, 3*m - 5*b - 2735 + 10731 = 0. Is 4/p - m/9 prime?
False
Let v(d) = 98*d**2 - 4*d - 41. Is v(-6) a composite number?
False
Let h = -484 + 231. Let u = 323 + -753. Let p = h - u. Is p a composite number?
True
Let v(x) = -2*x**2 + 11*x + 14. Let p be v(6). Suppose 2929 = p*l - 127. Is l composite?
True
Let g be (-1 + 8)*(20 - 19). Let o(n) = 303*n - 16. Is o(g) prime?
False
Let n = -14 - -29. Suppose -3*x + n = 3*m - 8*m, 2*x = -m + 10. Suppose x*g - 5*w - 3749 - 996 = 0, -5*g + 4773 = 2*w. Is g a prime number?
True
Suppose 18 = 4*o - 2. Let p be -250*2/(o - 3). Let n = -155 - p. Is n composite?
True
Let q = 8298 - 4912. Is q a composite number?
True
Let o = -22952 - -36349. Is o a prime number?
True
Suppose 172950 = 51*i - 577617. Is i a composite number?
False
Suppose -17790 = -0*w - 2*w - 4*s, 35552 = 4*w + s. Is w a composite number?
False
Let n(c) = 8*c**3 + 3*c**2 + 5*c + 23. Let o(z) = 9*z**3 + 3*z**2 + 4*z + 25. Let d(w) = -6*n(w) + 5*o(w). Let y = 7 - 13. Is d(y) prime?
True
Is ((-28)/(-24))/(11/194898) a prime number?
False
Is ((-4 - -10749)/7)/1 a prime number?
False
Let m(c) = -c**2 - 5*c - 12. Let s be m(-4). Is 555 + (s + 4 - -3) a composite number?
True
Let r(c) = 4*c**3 + 11*c**2 + 20*c - 44. Is r(9) composite?
False
Let n(h) = h**3 + 2*h**2 + 2. Let s be n(-2). Suppose q - t - 13 = -s*t, 3*t = 3. Suppose 6*z - 3*z + 3*c - q = 0, -4*z + 28 = -2*c. Is z a composite number?
True
Let q = 1181 + 320. Is q prime?
False
Suppose 0 = 5*x - 5*n + n - 653, -5*n + 15 = 0. Let f = -74 + x. Is f a prime number?
True
Suppose -1 = 2*r - 17. Let g = 11 - r. Suppose v + v - 105 = w, -3*w = -g*v + 156. Is v a composite number?
False
Is 230*6 - 5 - (1 - -1) a prime number?
True
Suppose 0*s + 130 = 3*s - 4*z, z + 182 = 4*s. Let w = 269 - s. Is w composite?
False
Let m = -7 + 11. Let n be 6/(-4)*((-55)/15 + 1). Suppose -n*x = 5*f - 157, -4*x + 27 - 167 = -m*f. Is f a prime number?
False
Suppose -3*w = 3*x - 1512, -3*x = 4*w + w - 1522. Let h be (-8145)/(-30) - (-2)/4. Suppose -h = -3*z + x. Is z a prime number?
True
Suppose 0 = 5*z + 4*t - 11701 + 848, -t - 3 = 0. Is z prime?
False
Suppose 225*t - 209*t = 209584. Is t composite?
False
Let m(z) = -2*z - 12. Let x be m(-8). Suppose -x*j = j + 395. Let v = 60 - j. Is v a prime number?
True
Let p(g) = -195*g - 6. Let c(h) = -390*h - 13. Let b(y) = -2*c(y) + 5*p(y). Is b(-5) a prime number?
True
Suppose 6*k = 2*k - 12. Let c be (34/2 - k) + -2. Suppose -15*v + c*v = 381. Is v a prime number?
True
Let z = 21 - 19. Suppose z*o = 2*j + 259 + 261, 0 = -3*j + 15. Is o composite?
True
Suppose -v = 6*k - 9*k + 153, -4*v - 12 = 0. Suppose k = 2*u + 3*a, u = 3*a + 5 + 2. Is u a composite number?
False
Suppose 3*s = i + 4*s - 6, -3 = 3*i - 4*s. Suppose -i*b + 912 = -b. Suppose -3*a + 3*y + 327 = -b, 5*y = 20. Is a a composite number?
True
Suppose -39949 = -z - 170*t + 167*t, 4*t + 119899 = 3*z. Is z a prime number?
False
Let u = 170 + -154. Let h be 0 - -1 - (1 + 10). Let k = u - h. Is k a composite number?
True
Let k(d) = 86*d**2 + 16*d + 43. Is k(-3) prime?
True
Is (-163287)/(-39) + (-30)/(-195) composite?
True
Let u be 1/(-2) + (-1251)/(-6). Let x = u + 123. Is x composite?
False
Suppose u - 3285 = -4*d - 414, 3*d - 2142 = -3*u. Is d a prime number?
True
Suppose -108891 - 18334 = -25*o. Is o a prime number?
False
Let y be (-4)/2 + 2/1. Let f(a) = -a**3 + a**2 - 2*a + 127. Is f(y) composite?
False
Suppose 0 = 4*m + 4. Is 32 + (1 - (1 - m)) composite?
False
Let z = -3 + -1. Let i = 1 + z. Let t(g) = 3*g**2 - 4*g - 2. Is t(i) prime?
True
Let q = 12 - 9. Suppose -9 = -q*j + 6. Suppose j*c + 548 = 3793. Is c a prime number?
False
Let o = -37456 - -59829. Is o composite?
True
Let k(h) = -110*h**2 + 6*h - 21. Let b be k(3). Is b/((-4)/14 + 228/(-84)) composite?
False
Let f be 10/(-40) + 29/4. Suppose 6*u = f*u - 4357. Is (-22)/55 - u/(-5) a composite number?
True
Suppose -n + 51 = 2*n - 4*r, -n = -5*r - 28. Let x(v) = v**3 - v**2 - 26*v - 17. Is x(n) a composite number?
True
Let i = -30 + 179. Let d = i - 90. Is d a prime number?
True
Let b(z) = 6*z - 1 + 5*z**2 + z**2 + 0*z**2. Suppose 0 = 19*t + 23 + 72. Is b(t) a prime number?
False
Is ((-42545)/20)/(3 - (-91)/(-28)) a composite number?
True
Let w(b) = 3*b + 23. Let m be w(-6). Suppose m*z = 3*h + 1322, 5*h = -z + 39 + 231. Is z a composite number?
True
Let v = -52 - -56. Suppose -4*n = -4*i - 0*i + 6052, 0 = v*i - 5*n - 6054. Is i composite?
False
Let k = -6 - -11. Suppose 3*x = -3, k*x + 25 = 5*u - 0. Suppose -1199 = -5*s - u*o, -4*o - 713 = 4*s - 7*s. Is s composite?
False
Let i be (-1 + 6/4)*214. Let w = 186 - i. Is w composite?
False
Let x = -7 + 7. Let a be -1 - (x - 7) - 2. Suppose -34 - 213 = -2*t - 3*s, -499 = -a*t - 5*s. Is t composite?
False
Suppose 2*i = -4*m + 232, 3*m - 4*i + i - 192 = 0. Suppose m = 2*a - 94. Is a a composite number?
True
Let n(h) = -h + 15. Suppose 0 = -5*w + 125 - 50. Let j be n(w). Suppose j = 4*z + z - 335. Is z a prime number?
True
Suppose f = -4*h - 12, 0 = 3*f + 5*h + 16 - 1. Suppose f = -4*w - i + 3231, -5*i - 3657 = -4*w - 396. Is w a prime number?
True
Let g(a) = -a**3 + 10*a**2 + 11*a + 6. Let b be g(11). Is 1/((b - 2)/892) prime?
True
Suppo