 o(-7) prime?
True
Let x(w) = 832*w - 12. Let l be x(7). Let q = -4096 + l. Suppose -2817 = -4*c - 2*y + 4113, c - 5*y - q = 0. Is c a composite number?
True
Suppose -2*d + 22161 = 5*d - 2290. Is d a composite number?
True
Let w = 14139 + 3026. Is w composite?
True
Suppose -259331 = 232*y - 251*y. Is y a composite number?
False
Let n(a) = -192*a**3 + a**2 - 10*a - 55. Is n(-4) prime?
True
Let x = -28 + 33. Suppose 4*d - x*h - 3 = -4*h, -d + 12 = -4*h. Is 22 - (0 + (0 - d)) composite?
True
Suppose -8*n + 1269 = 10461. Let o be 2 - n - (4 + 0). Let p = o + -410. Is p composite?
True
Let z = -55948 - -100133. Is z a composite number?
True
Suppose 325423 = -25*h + 28*h + 2*u, -5*h + 542363 = -u. Is h composite?
True
Is 3/(-1) + (2 - -256)*(-9410)/(-15) a prime number?
False
Suppose -3*i - 12*q = -8*q - 65749, 3*i = q + 65729. Is i composite?
False
Let j = 85 + -39. Let n = 41 - j. Let g(v) = -129*v + 4. Is g(n) prime?
False
Suppose -100*x = 6860039 - 32445939. Is x prime?
True
Let v(a) = a**2 - 3. Let q(y) = -4. Let w(m) = -2*q(m) + 3*v(m). Let d be w(1). Suppose -d*x + 4*n + 106 = 0, 122 = -4*x + 6*x + 4*n. Is x prime?
False
Suppose -45*p + 34*p = -84938 - 1524879. Is p a composite number?
False
Suppose 968904 = 1405*f - 1333*f. Is f a prime number?
True
Let y = 180 - 303. Let i = -126 - y. Is (4/3)/(i*6/(-459)) prime?
False
Suppose 5*f + 18 = 5*z + 13, 2 = -4*f + 2*z. Suppose -5*l + 785 - 2935 = -4*h, f = -3*h - 5*l + 1595. Is h a prime number?
False
Let d(g) = 4*g**2 + 26*g - 13. Let x be d(-7). Is 1013 - -41 - x*5 composite?
False
Let c be 635141/195 + (-4)/30. Suppose -c = -5*h + 4*z + 10630, 5*h - 13903 = -4*z. Let t = h - 1530. Is t composite?
False
Let i = -93324 - -135217. Is i composite?
False
Suppose -3*p + 3581 = 2*x, -3*x + 6*x = 2*p - 2396. Suppose 4*w = -54 + 438. Let k = p - w. Is k a prime number?
False
Let f be -3 - 30/(-8) - (-1148539)/28. Suppose 14*i - f = -6*i. Is i composite?
True
Is -7 + 135/25 + (-426258)/(-30) a prime number?
True
Suppose -8*f - 3*f - 5027 = 0. Let v(t) = -317*t + 5. Let o be v(-3). Let y = f + o. Is y a composite number?
False
Suppose 0 = -5*n + 23725 + 82255. Suppose 4*t + 5*x - n = 3*x, 0 = 3*x - 6. Suppose -t = 12*k - 19110. Is k prime?
True
Suppose -63551 - 25319 = -5*s. Suppose 0 = 19*d - 21*d + s. Is d prime?
True
Suppose j = -0*j - 5. Let q be -11 - j/(10/(-4)). Is -1 + 445 - (2 - q)/(-5) a composite number?
True
Suppose -19210 = -2*d - 4*a, -2*d - a = 25*d - 259229. Is d prime?
True
Let d be 0/(-2 + -3 + 6). Let c(x) = x + 4*x**3 + 19 - 3*x**3 + 2*x**2 + 126 - 3*x**2. Is c(d) composite?
True
Let h(z) = 2442*z - 10. Let o be h(1). Suppose -3*x + o = 485. Is x a composite number?
True
Let n = -535 - -5. Let f = n - -3252. Is f a composite number?
True
Let r(w) = 4*w + 5. Let d be r(4). Let v(z) = -2*z**2 + 25*z - 75. Let o(p) = -p**2 + 12*p - 38. Let y(a) = -7*o(a) + 3*v(a). Is y(d) a composite number?
False
Suppose -254903 = 4*x - 3*w - 1694058, 0 = 2*x - w - 719579. Is x composite?
True
Is ((-40)/12 + 2)*(-23196855)/220 a prime number?
True
Let w = -23 - -21. Let i be (-57)/(-9) + w/6. Let z(l) = 3*l**3 - 5*l**2 - 8*l - 13. Is z(i) prime?
False
Let r = -159 + 163. Is 4/(-2) - (r - 10) - -12403 a composite number?
True
Suppose 12*y - 36 = 8*y. Suppose -5*n = -2*n - y. Suppose 7*i + n*i = 2570. Is i composite?
False
Suppose c + 3*t = 703, 4*t + 2 = -18. Suppose c*n - 714*n = 49444. Is n a prime number?
False
Suppose -12*g + 1014540 = -9*g + 3*n, 2*g + 4*n - 676366 = 0. Is g a prime number?
False
Let r(p) = -2*p + 102. Let v(t) = -t + 68. Let q(u) = 5*r(u) - 7*v(u). Let y be q(10). Suppose 700 + 336 = y*i. Is i prime?
False
Suppose -24*z = -11*z + 4*s - 659769, -3*s + 152244 = 3*z. Is z a prime number?
True
Let f = -127 - -130. Suppose -22339 - 5200 = -2*u - f*r, 27541 = 2*u + r. Is u a composite number?
True
Suppose -4*d - 18 = -38. Suppose -4*q - 10008 = -4*t, 3*t - d*q = -2563 + 10067. Is t composite?
False
Let f be 7/14*4 + 2. Let a(c) = -611*c - 1. Let j be a(1). Is (-1)/(-3 + f) - j/3 composite?
True
Let d(i) be the second derivative of -103/10*i**5 - 2/3*i**3 + 1/6*i**4 - 23*i + 0 - 7/2*i**2. Is d(-2) prime?
True
Suppose 0 = 2*l - 4*u - 10, 5*l - 9*l + 2*u = -20. Suppose -l*f + h = 1417 - 13685, -2*f = h - 4903. Is f prime?
False
Suppose 35*u - 31*u = 3*n - 401275, -4*u = 5*n - 668781. Is n composite?
True
Suppose -55 + 130 = 5*t. Suppose 0 = t*l + l - 13808. Suppose 9*x - l = 8*x. Is x composite?
False
Let u be 36/(-72) + 6798/4. Is (-2)/2 + u - (-15)/(-3) prime?
True
Let c(u) = 294*u**2 - 18*u + 41. Let m(r) = r**2 + 7*r - 15. Let y be m(-9). Is c(y) a composite number?
False
Suppose -56*b + 52*b + 5*k = -2864446, 0 = -3*b + k + 2148329. Is b prime?
False
Suppose -1 = 2*m - 3. Let y = m - -1. Suppose 2878 = 4*n - 3*c, 1438 = -y*n + 4*n - 2*c. Is n prime?
False
Let d be 1/(-1 - (-6)/9). Let x be 3/(d + (-1611)/(-534)). Let q = 417 - x. Is q a composite number?
False
Let j(v) = 223*v - 52. Let r(p) = 223*p - 58. Let o(l) = -3*j(l) + 2*r(l). Is o(-13) prime?
True
Suppose 0 = -73*m + 788265 + 1056518. Is m prime?
False
Suppose -t = -1030*o + 1028*o + 463010, 0 = -o - 2*t + 231495. Is o composite?
False
Suppose -20*n + 14*n = -49662. Suppose 33053 = 4*u - 5*y, u + 6*y - n = 10*y. Is u composite?
True
Suppose -9*w = -5*w - 13072. Let m = w - 1373. Is m a composite number?
True
Let c = -3 - -9. Suppose 4*u = c*u. Suppose u = -4*v - v + 715. Is v composite?
True
Let w = -1524 + 5981. Let m = w + 852. Is m prime?
True
Suppose 460*n - 423*n - 417101 = 0. Is n a prime number?
True
Suppose 20*q + 19*q = -8*q + 31591003. Is q a prime number?
False
Suppose -3*j + 2013 - 438 = 0. Let i = j + -257. Let k = 681 - i. Is k a prime number?
False
Let i be -1*(-5)/15 + 24/(-18). Is (i + (-31930)/(-12))*(2 - -4) a composite number?
False
Suppose -5*b = l - 17817, l + 270*b - 274*b = 17835. Is l a composite number?
False
Let q = 9 + 0. Let o(j) = 1 + q + 3*j**2 + 6 - 3*j + j. Is o(7) a prime number?
True
Suppose 13*s - 105 + 27 = 0. Is 78506/s + ((-12)/(-9))/2 composite?
True
Let a = -98 + 103. Suppose -a*f - 115902 = -3*h, 10*h - f + 115884 = 13*h. Is h a prime number?
True
Let i = -35 - -45. Suppose i*u + 119 = 319. Is ((-12)/u)/(1/5) + 1896 composite?
True
Suppose 552*l = 12912648 + 32760384. Is l a prime number?
False
Let m = 389 + -385. Let h(g) = 104*g**2 + 2*g - 15. Is h(m) prime?
True
Let a = 352 + -350. Suppose -8*y + 6*y - 12820 = -4*o, -a*y + 16025 = 5*o. Is o a composite number?
True
Let k(s) = 59*s**2 - 13*s + 9. Let g be k(-6). Suppose -6*x = -2*x - 12. Suppose 0*c - g = -x*c. Is c prime?
False
Let u(k) = -1604*k - 1. Let o be u(1). Let x = o + 2334. Let j = 1144 - x. Is j a composite number?
True
Let b = 84428 + -43127. Let x = b - 20890. Is x a prime number?
True
Is 2/(-6)*-1 + 649169072/2091 a prime number?
True
Let z(n) = -8969*n**3 - 3*n**2 + 9*n + 44. Is z(-3) a composite number?
True
Let y = -7593 + 26020. Is y composite?
False
Let f be (-14)/35 - 276/(-15). Suppose t = -2*t + f. Is (4/t)/(30/17505) composite?
False
Suppose -5*f - 652 + 14382 = 0. Suppose 2*b + 0*b + 5*c - 1809 = 0, 0 = -3*b - c + f. Is b composite?
True
Suppose -9372 = -i + 5*w, 3*w + 15630 + 12402 = 3*i. Is i prime?
True
Let u be (-1 - (-1)/(-1)) + -2. Let n be 5 + u*4/(-16). Suppose -285 = 3*m - n*m. Is m prime?
False
Let z(q) = 15*q**2 - 31*q + 104. Let l be z(40). Let y = l + -13455. Is y composite?
True
Let c be -1047*-3*4/(-12). Let f = -612 - c. Suppose 5*m - 3610 = -f. Is m a composite number?
True
Let l = 2370279 - 1374598. Is l a composite number?
True
Let z(d) = d**2 + d. Let h(v) = -10*v**2 + 18*v - 6. Let g(k) = h(k) + 6*z(k). Let n be g(6). Let c(y) = -8*y**3 - 4*y**2 - 5. Is c(n) composite?
False
Let f(l) = -5*l**2 - 22*l - 13. Suppose -8*t + 7*t + 4 = 0. Let z(g) = -3*g**2 - 11*g - 7. Let b(q) = t*f(q) - 9*z(q). Is b(-12) a prime number?
True
Suppose 28*f + 323434 = 33214. Let h = 23888 + f. Is h composite?
False
Suppose 3*w + 971 - 345487 - 258811 = 0. Is w a composite number?
True
Suppose 5*f - 178112 = -k + 5*k, 5*f = k + 178118. Suppose -5*x = 3*i - 0*i - f, -2*i = -4*x + 28486. Is x a composite number?
True
Let k(b) = 60*b**2 - 9*b + 328. Is k(-17) a composite number?
True
Suppose 3*j - 4883 = 6523. 