et b = 499 + j. Is b a composite number?
True
Suppose 4*i - 222 - 362 = 0. Let m = 633 - i. Is m a composite number?
False
Suppose y - 4*y + 2*d = -759, -5*d + 989 = 4*y. Suppose 0 = -3*s + 3*l + 522, 0 = s + 3*l - 41 - 113. Let g = y - s. Is g a composite number?
True
Let x(f) = 79*f**3 - 2*f**2 + 3*f - 3. Let k be 4 - (2/1 + 0). Let s be x(k). Suppose 2*c = -3*g + s, -c + 4*c - 953 = -2*g. Is c a prime number?
False
Suppose -400 = k - 5*g - 1211, 0 = -4*k + 2*g + 3298. Suppose 2*u = -5*j + 2049, u + 3*u - k = -2*j. Is j prime?
True
Suppose 55967 = 41*q + 19108. Is q composite?
True
Let a(x) = 40*x**3 - 14*x**2 - 11*x + 98. Is a(11) a prime number?
False
Is (-254)/10*(-680)/8 a prime number?
False
Suppose -4*m + 113 = 3*o, -4*o = m - 5*m + 92. Let u = 28 - m. Let h = u - -63. Is h a composite number?
True
Let w(a) = a**3 + 7*a**2 + 8*a + 2. Let p be w(-6). Let y(u) = u - 10 + 0*u - 3*u. Is y(p) a composite number?
True
Suppose -3185 = s + 2*y - 11970, -s + 8803 = -4*y. Is s a prime number?
False
Let l(f) = 3*f**2 - f + 2. Let n be l(1). Let q be (-34)/(-1) + n + -2. Suppose 4*y - 82 = -2*h, 2*h - q = y + 31. Is h prime?
False
Let z = -9 - -4. Let a be (-111)/(-30)*-8*z. Suppose -2*u = -6*u + a. Is u prime?
True
Let h = -7 - -9. Suppose h*n + 9 = -n. Let d = 26 + n. Is d a prime number?
True
Let b = -37 + 51. Is 1115/7 + (-4)/b prime?
False
Let v be 0*(5/(-5))/(-2). Suppose v*k - 58 = -k. Is k composite?
True
Is ((-8)/((-24)/5865) - 2) + -4 a composite number?
False
Suppose 4*q + q - 710 = 0. Suppose -1582 = -d - q. Let f = -695 + d. Is f composite?
True
Suppose -3*n = 3, -x - 3*n - 2 = -3. Suppose 0*o - l + 4771 = x*o, -5*l - 1198 = -o. Is o a composite number?
False
Is 6*(80630/60 - 4) prime?
True
Let z(o) = -11*o**2 - 26*o + 41. Let u = -8 - -14. Let r(v) = 4*v**2 + 9*v - 14. Let n(g) = u*z(g) + 17*r(g). Is n(-7) a composite number?
False
Let g = 17654 - 5457. Is g a prime number?
True
Suppose -4*m - 5658 = -1274. Let z = -647 - m. Is z a prime number?
True
Let a(o) be the third derivative of o**5/60 - 2*o**3/3 + 2*o**2. Let u be a(2). Suppose 4*s - 3*s - 134 = u. Is s composite?
True
Suppose 5*p = -0*h - h + 75, 2*h - 158 = -2*p. Is (-1 - -29)*3260/h prime?
False
Suppose 189*y = 195*y - 30414. Is y a prime number?
False
Let z(a) be the first derivative of a**4/2 - 4*a**3/3 + 5*a**2 - 19*a - 16. Is z(6) composite?
True
Let p = 15 - 13. Is (4064/(-48))/(p/(-3)) prime?
True
Let v(r) = -2*r**3 - 3*r**2 - 7*r + 12. Let p(u) = 2*u**3 + 2*u**2 + 8*u - 13. Let b(s) = 5*p(s) + 6*v(s). Let q be b(-6). Suppose 3*i - 68 = q. Is i prime?
False
Let i = -7 + 11. Suppose -2*a - r + 1951 = 0, -6*r = -i*a - 4*r + 3890. Is a a prime number?
False
Let d(o) = 10*o - 12. Let v be d(5). Suppose f = -v + 196. Is f a composite number?
True
Is 231597/57 - 14/133 composite?
True
Suppose 12*c - 273 + 93 = 0. Suppose -18*j = -c*j - 201. Is j prime?
True
Suppose 0 = -0*s - 5*s + 5. Is (17 + 6)*(0 + s) composite?
False
Let a = 43 - -344. Is ((-7)/(-6)*4)/(6/a) composite?
True
Let g be (-121)/(-66) + 2/12. Suppose 0 = -g*c - c. Suppose -2*f + 10 = c, 9 - 679 = -5*w - 5*f. Is w prime?
False
Suppose 4516 + 2670 = 2*l. Is l a composite number?
False
Let k(i) = i**3 + i**2 - 4*i - 3. Let w be k(-2). Suppose 3*c - 3 = -3*t - 0*c, t + 3*c + w = 0. Is 787/(1/(-1) + t) prime?
True
Suppose -25 = -5*u - z - 4, 0 = 2*u + z - 9. Suppose -u*x = 580 + 100. Let l = 583 + x. Is l a composite number?
True
Suppose 4275 - 27291 = -3*w. Suppose 5*u = 2023 + w. Is u composite?
True
Suppose 0 = -2*z + 3*z - 3. Suppose -z*a - 5 = -23. Is 45/(-30)*(-1096)/a a prime number?
False
Suppose 5*a - 66 = -3*w + 62, -a - w = -24. Suppose -4*o + 88 = a. Is 6/o - (-2718)/30 a composite number?
True
Let w be 2 + -8 + -4 + 8. Is ((-3)/(6/92))/w a prime number?
True
Let j(f) = 85*f**2 - 28*f - 257. Is j(-8) prime?
True
Let n(f) = -4*f**2 + f - 9. Let t be (-14)/21 - 44/6. Let i be n(t). Let z = 428 + i. Is z a prime number?
False
Suppose -24 = 3*w - 33. Suppose -w*i + 0*i + 5*y + 3000 = 0, i - 4*y - 1007 = 0. Is i composite?
True
Suppose 5*w - 11*k + 10*k = 79717, -2*w + 5*k + 31896 = 0. Is w a prime number?
False
Let d = 2 - -7. Let m(s) = -d*s - 7*s**2 + 3*s**2 + 10 - 6*s**3 - 4. Is m(-5) a composite number?
False
Suppose 83*j - 299235 = 68*j. Is j composite?
False
Let d = -25 + 29. Suppose d*m + 21 - 85 = 0. Is (0 + -46)*(-8)/m composite?
False
Let j(i) = 3*i**3 - 2*i**2 - 1. Let s be j(-2). Let m be ((-425)/(-3))/((-11)/s). Suppose -3*r - m = -8*r. Is r prime?
False
Let r(i) be the first derivative of i**4/4 - i**3/3 + 5*i**2 - i + 6. Is r(8) a prime number?
False
Suppose -4*o + 176819 = -5*i, 6*o - i + 88399 = 8*o. Is o a prime number?
True
Let g = -9 - -13. Suppose g*i = 6 + 14. Suppose 2*n = 4*n - 4, 3215 = i*u + 5*n. Is u prime?
True
Let a(i) = 9200*i**2 + 10. Let q be a(3). Suppose -9*j = -2987 - q. Is j a prime number?
True
Let d be (5*-6)/(-6)*1/1. Suppose 2*k = 4*i + k - 6049, 0 = -d*k - 25. Is i composite?
False
Let z be 2/1*(-20)/(-8). Suppose 3*b = -z*d + 19, 5*d + 0*b - 5*b = -5. Suppose -n + 7*l + 335 = 3*l, d*n = 3*l + 650. Is n composite?
True
Let t = 8548 + -4848. Let h = -2331 + t. Is h a prime number?
False
Let j = 39573 - 8935. Is j a composite number?
True
Let j be 9/(-3) + (-1 - 1). Is (-844)/(-3)*(1 - j/10) composite?
True
Suppose 25720 + 11608 = 16*y. Is y prime?
True
Suppose -862*m = -854*m - 49720. Suppose 5*v + 4*z = 12, 3*v + 5*z = -0 + 2. Suppose v*p + p = m. Is p prime?
False
Let g(u) = -u**2 + 11*u - 7. Let q be g(10). Suppose 0 = 6*a - q*a - 291. Is a a composite number?
False
Suppose 13224 - 122450 = -26*n. Is n prime?
True
Let q(d) be the first derivative of -d**4/4 + 2*d**3 + d**2 - 9*d - 5. Let i be q(6). Suppose -3*z - 5*c + 623 = 0, -i*z + 7*z - 824 = -5*c. Is z prime?
False
Suppose -2*x - 3*x = 3*g - 41431, -g = 3*x - 24857. Is x a prime number?
False
Let d = 3 - 1. Suppose w - d*w = 0. Suppose -2*u + 5*u - 201 = w. Is u composite?
False
Let y(o) = o**3 - 5*o**2 + 4*o. Let u be y(4). Suppose u = -6*m + m + 425. Is m composite?
True
Suppose 10*m + 56157 = 339647. Is m a composite number?
False
Let q(n) = 35*n - 46. Let x(l) = -35*l + 47. Let m(z) = 5*q(z) + 4*x(z). Is m(17) a composite number?
True
Let u = 13 + 31. Let j = u - -263. Is j a prime number?
True
Suppose -4*p + 3*j = -3427, p + 2*j = -3*j + 851. Suppose b + 2*u = -0*u - 7, -11 = -2*b + u. Suppose 2*k - 4*y - 594 = -0*y, -p = -b*k - y. Is k composite?
True
Let t(k) = -k**2 - 23*k - 48. Let g be t(-20). Suppose -19*j + g*j = -8911. Is j prime?
False
Let o be (10/(-15))/(2/(-1878)). Let j be 38/16 - (-60)/(-160). Suppose -5*h + 780 = -5*i, 0*i = -4*h + j*i + o. Is h prime?
True
Let i be (2/4)/((2*-2)/(-48)). Suppose 0 = 3*p - 15, -x + 1253 = 2*p - i*p. Is x prime?
False
Is (-67*89)/((15 - 4)/(-11)) a prime number?
False
Let k be (-26)/(-10) - (-3)/(-5). Suppose -k*l + l + 2*w + 112 = 0, -4*l = -5*w - 457. Is l composite?
True
Let w(d) = 40*d - 1. Let j be w(1). Is 19669/j + (-4)/(-6) a composite number?
True
Suppose -5*q + 9193 = -15812. Is q prime?
False
Let g be (-1)/((-4)/8) + -3. Let b(a) = -1. Let c(j) = 159*j - 2. Let y(d) = 4*b(d) - c(d). Is y(g) a prime number?
True
Let p be (-9933)/(-165) + 2/(-10). Let r = p - -1907. Is r a prime number?
False
Suppose -63*r = -48*r - 40605. Is r a composite number?
False
Let o(v) = v**3 + 14*v**2 - 12*v - 6. Let c be o(9). Let i = c + -981. Is 2/3 - i/(-9) prime?
False
Suppose 626 - 176 = 5*u. Let k = -23 - -34. Suppose -k + u = b. Is b a prime number?
True
Suppose -2*g = 2*m + 2, 4*g - 5*m + 3*m = 14. Let w(t) = 24*t - 16. Let p be w(5). Suppose g*c + 3*c - j = 532, -c - j = -p. Is c a composite number?
True
Let g(p) = p**3 - 12*p**2 - 37*p + 13. Let f(x) = 9*x**2 + 11*x + 2. Let w be f(-2). Is g(w) a prime number?
False
Suppose -11702 = -9*k + 1861. Is k a prime number?
False
Let m be 0 + -87 + (-1 - 2). Let x = -56 - -37. Let v = x - m. Is v a composite number?
False
Suppose -2*n + q - 24 = -6*n, 5*n + 3*q = 30. Suppose -3032 - 3130 = -n*b. Is b composite?
True
Suppose -7*k = -21*k + 2954. Is k composite?
False
Suppose -q - 113 = -2*f, -62 = -f + 4*q - 23. Is f prime?
True
Let v(m) = 13753*m**3 - m**2 + m - 2. Is v(1) prime?
True
Suppose j = 6*h - 2*h - 674