number?
False
Suppose -32 = 178*r - 182*r. Is (-6 - -2617)*(-7 + r) prime?
False
Suppose t + 9 = 2*m, -2*m = -4*t - 20 - 22. Let r = t + 15. Is (r - 8) + 448 - -1 a composite number?
True
Suppose -28*x + 1079646 = -22*x - 693756. Is x prime?
True
Let u(c) = 98821*c**2 - 137*c + 277. Is u(2) composite?
False
Let o = -9947 + 30458. Suppose 167*l - 176*l = -o. Is l a composite number?
True
Let s(i) = -2*i - 2. Let h be s(-2). Suppose -h*l = 8, 2*l - 7*l - 11 = 3*f. Suppose f*o + 4*o - 4151 = 0. Is o composite?
False
Let g = 232499 - 69906. Is g a composite number?
False
Let c = 15 + -15. Suppose c = -0*k + k + j - 2198, -4*j = -2*k + 4420. Suppose -604 + k = 2*u. Is u prime?
False
Let m be 3 + 11/((-11)/6). Let z be -12*6/27*m. Suppose -4*v + z = 0, 4*x - v = -6*v + 3414. Is x prime?
False
Let s(o) = -14014*o**3 + 22*o + 83. Is s(-3) a composite number?
True
Suppose 13*q = -0*q + 54808. Suppose 0 = -3*z + q + 58907. Is z a composite number?
True
Let a = -71 + 75. Suppose -4*l - 1619 = -b - 3*l, a*b + 3*l - 6504 = 0. Is b a composite number?
True
Suppose -d - 85*j + 77667 = -87*j, 4*d + 2*j = 310628. Is d a prime number?
True
Suppose 0 = -4*r - r + 44390. Suppose -5*s + 270 = -5*o, 4*s - 226 = -12*o + 11*o. Is r/14 - 8/s composite?
True
Let u be (-182)/(-15) - 140/1050. Suppose -12*j + 10*j + 2570 = -3*d, 3*d = u. Is j a prime number?
True
Let s(n) = -432*n - 755. Is s(-13) prime?
True
Let k(o) = -1331*o**3 + 2*o**2 + 2. Let f be k(-3). Let a = f + -15538. Is a a composite number?
True
Suppose -166999 - 380732 = -9*b. Is b prime?
True
Suppose 0 = 4*k - 5 + 1, -9*k - 1328995 = -4*f. Is f prime?
True
Let u be (-4 + 7)/((-1)/23). Let n = 71 + u. Is n/(-3) - (5986/(-6) - 0) a composite number?
False
Let x = -110 + 120. Let k(h) = -h**3 + 13*h**2 - 4*h - 12. Let n be k(x). Let l = 171 + n. Is l prime?
True
Let w be 3 + (3 - (-2 + 36)). Let l(k) = -k**3 - 9*k**2 + 16*k - 47. Is l(w) composite?
False
Suppose 915895 = 26*s - 23*s - n, -4*n - 16 = 0. Is s composite?
False
Let q = 15 + -11. Suppose -3*m + 1518 = q*u, 3*u + u - 2522 = -5*m. Suppose -4470 = -4*f + m. Is f a prime number?
False
Let z = -28 + 2717. Suppose z + 154 = l. Is l a composite number?
False
Let f be 4 + (0 + -5 - -3). Suppose -f*w + 17499 = 5*n, w - 948 = -n + 2553. Is n a composite number?
False
Let f(y) = 1748*y + 467. Is f(79) a composite number?
False
Let u = -34 + 37. Suppose -404393 = u*p - 2*p - s, 5*s = 4*p + 1617575. Is p/(-90) - 4/18 a composite number?
False
Let k be -3 - (-2 + -2) - (1 - 2). Let y(p) = p**3 - p**2 - p. Let z be y(k). Suppose -239 = -z*o + 3*f, 0 = -5*o + o + f + 503. Is o composite?
False
Let v(p) = 1586*p**2 + 8*p + 9. Let m(w) = -2*w**2 + 10*w - 4. Let h be m(4). Is v(h) a prime number?
False
Let d(n) = 4168*n**2 + 96*n - 969. Is d(10) prime?
False
Let u = 969 + -968. Is 2881 - ((-6 - -7) + u) a composite number?
False
Let l(f) be the second derivative of 29/4*f**4 - 1/2*f**2 + 7/6*f**3 - 12*f + 0. Is l(-7) composite?
True
Suppose 40734 = 6*t - 1494. Let q = 11075 - t. Is q prime?
False
Is 7 + 2601634/42 - (-3)/9 a prime number?
False
Suppose 1780 - 25998 = 2*n. Let y = 17177 + n. Is 2 - 39/18 - y/(-24) a composite number?
False
Suppose -a + 3 = -p + 1, 0 = 4*p - 2*a + 6. Let b be (590/p)/(24/(-12)). Suppose -15*i + b = -10*i. Is i a prime number?
True
Suppose 10*g + 12 = -r + 5*g, 2*r - 5*g - 51 = 0. Suppose r*f = 8*f - 53185. Is (f/(-22))/(1/2) composite?
False
Let w = 1180 + -1177. Let q(p) = -p + 8. Let b be q(8). Suppose w*c + c - 2*u - 33250 = b, 4*u = 3*c - 24945. Is c prime?
True
Let c(k) = -k**3 + k**2 + 9*k - 5. Let o be c(3). Suppose o*t - 40 = -8. Suppose 0*z + t*z = 6224. Is z a prime number?
False
Let m(i) = -2*i**2 + 13*i - 10. Let p be m(5). Suppose 0 = 2*n + 4*k - 3439 - 2495, p*k - 8896 = -3*n. Is n a prime number?
True
Let h = 2246 - -135. Let y = h + -1475. Let i = y - 67. Is i composite?
False
Is (-128)/(-192)*46185/2 a prime number?
False
Suppose 164 - 1124 = 16*u. Is u/15 - (2 + -9809) composite?
False
Let f(p) = 11*p - 17 + 16 + 11*p**2 - 1 - 14. Is f(-6) prime?
False
Suppose -565*y + 563*y + 198198 = -4*r, 3*y - 297267 = r. Is y a composite number?
True
Suppose -3*w - 49088 = -4*d, d - 2*w + 12283 = 2*d. Is d/10*14/35 composite?
False
Let d(a) = -116*a + 3. Let s = -27 - -31. Suppose -k + 1 = z - 0, -12 = -s*k. Is d(z) composite?
True
Let r be 1*(1 + -4 - 0) - -2. Let h be (r - 6014/6) + 2/6. Let u = -712 - h. Is u composite?
True
Let m be (-8)/(-6) - 15776/6. Let z = -2891 + m. Is (-3 + z)/(-5 - -3) prime?
False
Suppose -4*d - 6*n = -4*n - 10, 0 = -3*d - 3*n. Suppose 3*t = -t, -d*v - t = -42465. Let m = v + -4384. Is m a prime number?
False
Suppose -61 = -2*s + 115. Suppose 12*v + s + 8 = 0. Let l(n) = -36*n - 35. Is l(v) prime?
False
Suppose 2*v + 5*u = 19, -5*v + 4*u + 0 - 2 = 0. Let z(l) = 4*l**3 + 3*l**2 + 0*l**v - 815*l + 816*l + 13. Is z(6) a composite number?
False
Let l = 122 - 79. Let q = -38 + l. Suppose -a + 201 = 4*p, -q*a + 2*p + 331 + 564 = 0. Is a a composite number?
False
Let g(i) = -2*i**3 + 4*i**2 - 6*i + 7. Let t be g(6). Let q = t - -476. Is q/((2/1)/2) a composite number?
True
Let g(y) = 520*y**2 - 10*y - 9. Let j(m) = -m**3 - 2*m**2 + 25*m + 11. Let x be j(-6). Is g(x) a composite number?
False
Let a(d) = 10696*d**3 + 36*d**2 - 109*d - 1. Is a(4) a prime number?
True
Let f be (-4 - -3)/((-2)/(-1254)). Suppose 1714 = -1220*b + 1221*b. Let t = b + f. Is t a prime number?
True
Let g = -57 + 61. Suppose 3*s + g*s = 6*s. Suppose -108 = -4*u - c - 31, u + c - 20 = s. Is u composite?
False
Let b(z) = 22*z**2 + 27*z + 58. Let f be b(18). Let w = f - -6169. Is w prime?
True
Let y be (-8 - (-1 - (1 - 3)))/1. Let k(g) = -4*g**3 + 2*g**2 - 21*g + 20. Is k(y) a composite number?
True
Let r(m) = 6*m**3 - 507*m**2 - 73*m + 287. Is r(88) a composite number?
False
Suppose 0 = 31*v - 264611 - 319987. Is ((-24)/48)/((-18861)/v + 1) a composite number?
True
Let i(g) = -3*g**3 - 20*g**2 + 36*g + 75. Let b(n) = n**3 + 7*n**2 - 12*n - 25. Let h(s) = 8*b(s) + 3*i(s). Is h(-14) prime?
False
Let h(y) = 392*y**3 - 11*y**2 + 12*y - 334. Is h(9) composite?
False
Suppose 4*n - 3728 + 207490 = 2*g, -5 = -5*n. Is g a composite number?
True
Let c(u) = 4006*u + 1579. Is c(27) a prime number?
True
Let u = 16139 + 20022. Suppose -4*a + n + u = 0, -n = 2*a - 16048 - 2037. Is a a prime number?
True
Suppose -k = 4*l - 16, -2*k - l + 11 = -0*l. Suppose 3*q = -4*w + 3445, -4608 = -k*q + 3*w - w. Is q prime?
True
Let s(n) = n**3 - 23*n**2 + 20*n + 59. Let u be s(-22). Is (15/(-12))/(-5) + u/(-12) composite?
False
Suppose 0*h - 2*h + 4 = 0, 2*h = 4*z + 84. Let f = 24 + z. Suppose 3*q - f*x - 4037 = 0, -2*x - 1 - 3 = 0. Is q a prime number?
False
Let y(h) = 35*h**2 - 27*h + 5. Is y(6) a composite number?
False
Let c = -33 - -36. Suppose c*z = 6*z - 6654. Let j = -1191 + z. Is j a prime number?
False
Let q = -133 + -893. Let h = -28 + q. Let z = -257 - h. Is z a prime number?
True
Suppose 10*f + 98707 = -5823. Let d = f + 15962. Is d prime?
False
Is (38015/(-25))/((-11)/385) a prime number?
False
Let m(x) be the third derivative of x**4/8 + 10283*x**3/6 + 37*x**2. Let j be m(0). Let t = j - 6886. Is t prime?
False
Suppose 0 = -4*o + 215 + 397. Is 25301/9 - -2 - 34/o a prime number?
False
Let h = -48072 - -81631. Is h a prime number?
False
Let o(l) = -3*l + 6. Let c be o(4). Let b(g) be the second derivative of -g**5/20 - g**4/12 + 4*g**3/3 - 5*g**2/2 + 8*g. Is b(c) a prime number?
True
Let b be 28/(-14) - (0 - 5). Suppose -3*w = -b*q + 2457, 3*q + 5*w + 776 = 3249. Is q prime?
True
Let y(o) = 62178*o + 91. Is y(2) composite?
False
Let i(z) = 29*z**2 + 165*z - 225. Is i(92) a composite number?
False
Suppose -3*p - 3 = 2*p + w, 0 = 2*w + 6. Is (980/420)/(1/57 - p) composite?
True
Let a be (1 + (-18)/(-4))*12/2. Let y = -26 + a. Suppose 0 = -z - y*i + 2*i + 304, -3*z = -4*i - 1007. Is z composite?
True
Suppose 0 = -f - 17 + 9. Let m(t) = -5*t + 1. Let n be m(f). Let i = n + -34. Is i prime?
True
Suppose 3072 = -4*r - 3*u + 199396, 0 = 4*r + 5*u - 196324. Is r composite?
False
Let w = 77043 + -24560. Is w a prime number?
False
Let m(h) = -4871*h - 3. Let j be m(-1). Let y = 10165 - j. Is y a composite number?
False
Suppose -137429 = -2*r + 3*l, 0 = 3*