34499. Which is bigger: s or j?
j
Let w = 0.562 - 27.762. Let t = 46.2 - 60. Let i = w + t. Which is smaller: 1/3 or i?
i
Suppose -25 = 19*t - 18*t. Let w be (-10)/(-6)*(-45)/t. Let r(n) = -n**2 + 3*n + 1. Let u be r(w). Is u greater than -1/8?
True
Suppose 5*d + 5*y = -3865, 2*d - 3*y = -505 - 1016. Let u = d + 795. Which is bigger: u or -1/2?
u
Suppose 0 = -2*d - 5*y - 7, 7 = -5*y - 8. Let p be 79 + -85 + 22/d. Which is smaller: p or 72?
p
Let h = 1434 + -472. Suppose 9*o + 154 = -h. Is -0.1 bigger than o?
True
Suppose -3*d = -10 - 2. Suppose -d*b = 2*b - 228. Let t = b - 33. Which is greater: 0 or t?
t
Let k(i) = -i**3 + 14*i**2 + 7*i + 9. Let b be k(13). Are -3 and b unequal?
True
Let g = -102 + 105. Let u(n) = -n + 7. Let c = 23 - 23. Let p be u(c). Which is greater: p or g?
p
Let a = 2635 + -2636. Which is smaller: 1/3530 or a?
a
Let c(m) = 4*m**3 + m**2 + m - 1. Let i be c(1). Suppose -i*d + 2*d - 4*y = -1, 2*y = -2*d + 2. Let n be (-10)/35 - 60/(-14). Is d not equal to n?
True
Suppose -z = -2*w - 3, -2*z = -4*w + w - 3. Let m be 2 + (26/(-13))/(2/8). Let y be (-1)/(-3)*w/m*24. Is 5 at least as big as y?
True
Let p(o) = -o**2 + 393*o + 3766. Let c be p(-9). Suppose 410 = 5*m - 325. Is c >= m?
True
Suppose 6*f = 10*f + 8. Let u be 35*1/f*2184/10. Let t be 224/u - ((-2)/(-13))/(-1). Which is greater: t or 0?
t
Suppose 13528 = 72*n + 196408. Which is greater: -5077/2 or n?
-5077/2
Let m = -1651 + 886. Let g = -695 - m. Which is smaller: 68 or g?
68
Let c = 17 + -1. Let p = -14 + c. Suppose 0 = -p*z + 2*k, 0 = 4*z - 5*z - 3*k. Which is greater: -4 or z?
z
Let r(q) = q - 5. Suppose -3*i - 4*b + 38 = 0, 2*i - 5*b = -3*i + 40. Suppose 40 = 4*g - 2*w, 4*w - i = -g + 8*w. Let c be r(g). Is 8 >= c?
True
Let z(a) = a**2 - 32*a + 158. Let l be z(26). Let s be (-30)/(-10) - (19 + l). Which is smaller: -14 or s?
s
Let t = -505 - -602. Let w be (5/(-2) - -1) + (-6501)/(-66). Is w bigger than t?
False
Suppose 99*x - 1705 + 132 - 1397 = 0. Let p(j) = 3*j**2 - 5*j. Let k be p(4). Which is smaller: k or x?
k
Let r = -3505/2726 + 58/47. Let d be (-2)/7 - (-25)/(-35). Which is smaller: r or d?
d
Let k = -35 + 21. Let s = 23.0435 + 0.9565. Let m = k - s. Is m > -0.1?
False
Let n = -558 - -30. Let l = n + 523. Let t = 5 + -1. Which is bigger: t or l?
t
Suppose 8*p - 964 = -1970 + 958. Let k(g) = -g**2 + 11*g - 14. Let t be k(10). Is t != p?
True
Let l(x) = -6*x**3 + 61*x**2 - 19*x + 1. Let t be l(8). Is t at least 2039/3?
True
Let j(h) = h**3 + 58*h**2 + 519*h + 28. Let w be j(-11). Is w != 436?
True
Let p = -39 + 50. Let k = p + -10. Let o be 31 - 28 - (1 - -1). Are o and k unequal?
False
Let q = -54.86 - -55.09. Is 11 equal to q?
False
Let j = 506 - 508.28. Let m = j - -3.18. Are 10 and m unequal?
True
Suppose 7 + 14 = 21*m. Let u(a) = -64*a**2 - 4*a + 4. Let g be u(m). Is g < -67?
False
Let f(w) = -2*w**2 + 33*w - 19. Let z be f(14). Which is greater: z or 457/9?
z
Let v be (-21 - -25)*-6*10/8. Which is greater: v or -31?
v
Let h be 31/124 - (-4)/(-16). Let d be (1224/(-410) - -2) + 1. Which is smaller: d or h?
h
Suppose -k = -3*n - 3409, 12*n - 3*k + 1522 = -12110. Is -1134 greater than or equal to n?
True
Suppose -14*i - 833 = 567. Let q = i + 91. Let d be q/(-6) - 1/(42/291). Is -5 greater than d?
True
Let y be 1*(-180)/(16/(-4)). Suppose 9*t = -36 - y. Which is greater: -11 or t?
t
Let x(d) = d**3 + 8*d**2 + 8*d + 18. Let t be x(-8). Let g = t - -42. Let v be 0/g + (-8)/(-6). Which is bigger: -2/3 or v?
v
Let n = -2696/15 - -6920617/38505. Do n and 1 have the same value?
False
Let w(x) = 281*x + 2346. Let c be w(-13). Which is smaller: c or -1308?
-1308
Let k = 8065 + -3872. Is 4193 >= k?
True
Let s = -6445 + 5652. Do 5 and s have the same value?
False
Let p = -4036/399 + 544/57. Is 145 bigger than p?
True
Suppose 26*z - 19*z - 630 = 0. Let f = 241 + -240.9. Is f less than z?
True
Suppose a + 2*u - 1 = 0, -37*u = 5*a - 35*u - 37. Let k be a/(441/28)*-1. Which is smaller: k or -9/7?
-9/7
Let b(z) = 2839*z - 2745. Let k be b(4). Is 8609 at most k?
True
Suppose 54 = 2*v - 56. Let k be (-10)/v - (-2032)/44. Let l = 42 - k. Is -26/5 smaller than l?
True
Let o = -279 - -379. Let j be 30/o + 5694/20. Is j equal to 285?
True
Suppose -36 = 2*f - q, 5*q = -4*f + 2*q - 82. Let k(i) = i + 5. Let o be k(0). Suppose 101 = -o*y - u, 5*y - u + 119 = 20. Is y != f?
True
Suppose -1126*o + 755205 = -367*o. Do 997 and o have different values?
True
Let b be ((-270)/4)/9*1384/10. Let v be (b/15)/((-16)/20 + 2). Is v at most as big as -58?
False
Let m be (4136971/(-2))/(15735639*12/(-65272)). Let p = m - -4/300681. Let c = p - 715. Is 0 greater than or equal to c?
False
Let x = -141.06 + 0.56. Let a = x + 140. Let g = 15 + -10. Is a equal to g?
False
Let r = 2697 + -2694.2. Let i = 6 - 2. Are r and i nonequal?
True
Let q(x) = 27*x**2 + 48*x - 133. Let z be q(-15). Which is bigger: z or 5223?
5223
Let v = -563 - -985. Let b = 421 - v. Are -3/19 and b nonequal?
True
Let k(c) = c**2 - 35*c - 37. Let i be k(36). Which is bigger: -3/5020 or i?
-3/5020
Let j be ((-3)/(-27))/((-1)/(-15)). Suppose -5*v + 23 = 17*k - 18*k, 3*k = 2*v - 4. Suppose -4*m + z + 4*z + 18 = 0, 0 = v*m - 2*z - 14. Is j at least m?
False
Let m = 2025 - 2017. Which is smaller: m or 4/177?
4/177
Suppose 0 = -3*a + 4*a + 3*f + 11, 13 = -a - 4*f. Let k be 28/6 + 4/(-3) + a. Which is smaller: k or -8?
-8
Let t(j) = j**3 + 7*j**2 + 11*j. Let n be t(-4). Let z be 10/3*n*12/220. Is z at least 2?
False
Let d = 69.26 - 70. Let b = -551.9 - -551. Let p = b - d. Which is greater: p or 0?
0
Let w = -238 + 354. Let v be -1 + 11 - (184 + -178). Let c be (v - w/28)*-3. Is c at least as big as 0?
True
Let p = 73 + -64. Suppose 0 = 4*g + p - 13. Suppose t - 3 = 0, -5*x + 0*t = -3*t - g. Which is smaller: 7/10 or x?
7/10
Suppose -s = 6*y - 5*y - 723, -y + 4*s + 703 = 0. Suppose 15*g - y = -149. Which is smaller: 0.2 or g?
0.2
Let x be 10 + 0 + 196/(-20). Which is smaller: -130 or x?
-130
Let w = -3.65228 + -0.34772. Which is smaller: w or 1471?
w
Suppose 0 = 26*w + 1162 - 1370. Is w >= 388/43?
False
Let y(i) be the third derivative of 7*i**4/8 - 169*i**3/6 - 3*i**2 + 65. Let x be y(8). Which is greater: 2/77 or x?
2/77
Let k(x) = x**2 + 6*x - 40. Let f be (20/(-6))/(8/24). Let i be k(f). Which is greater: i or 2/19?
2/19
Let f = 27 - 25. Let g be (3/(-6) - -2)*f. Suppose -17 = h - 4*b, 3 = -g*h - 5*b + 20. Is h <= -2?
False
Let m be 1 - (-1090)/8 - 69/(-92). Suppose 3990*l = 3997*l - 959. Which is greater: l or m?
m
Let n(s) = 7*s**2 + 121*s - 2074. Let j be n(20). Is j != 3146?
False
Let r be (-1 - 18/(-21)) + (-612)/(-119). Suppose 10 = r*v + 2*x, 10 = -3*x + 5*x. Which is bigger: 29/3 or v?
29/3
Suppose -3*j = -5*o + 26 - 1, 25 = -5*j. Suppose -3*h + 5*a = -25, 4 = o*a + 14. Which is smaller: 288 or h?
h
Let c(i) = -4*i**3 - 10*i**2 + 11*i - 3. Let s(m) = 3*m**3 + 9*m**2 - 10*m + 4. Let b(t) = 4*c(t) + 5*s(t). Let o be b(4). Which is smaller: o or 8/31?
o
Let h be (-2)/4 + 4/14. Let j be (-562 + 576)*(-2)/4. Is h not equal to j?
True
Let v be -314*(60/(-10) - -8). Is -629 greater than v?
False
Let h = 533.9 + 4.1. Let v = 536 - h. Let c = -0.02 + -0.78. Are c and v unequal?
True
Let m = -22 + 19. Let a(f) = -2*f**2 + 4*f - 4. Let x(y) = 5*y**2 - 9*y + 8. Let o(q) = m*x(q) - 7*a(q). Let j be o(0). Is -0.1 bigger than j?
False
Let r = -10095 + 6915074/685. Suppose 0*i + 2 = -4*p + 2*i, -3*p - 3*i + 12 = 0. Is p not equal to r?
True
Suppose 15377 = -25*b + 47727. Let z be b/3846 - 23/69. Which is smaller: z or 0?
0
Let d = -47367643 - -3126202463/66. Let f = -939 - d. Do f and 0 have different values?
True
Let y be (1 - 0) + 2 - (-27)/324*-72. Is -155/81 greater than y?
True
Let x(n) = -n**3 - 11*n**2 + 5. Let g(q) = -2*q**2 + 3*q + 16. Let o be g(-3). Let d be x(o). Suppose -3*j + 4*a = -d + 10, -j + 5 = -3*a. Is j < -8?
False
Let i = -3074860/85897 - -1754/49. Which is smaller: -1 or i?
-1
Suppose 15*x = -0*x + 7*x. Is -2/38471 less than or equal to x?
True
Suppose -1452 = -4*u + 2*i, -2*i - 66 = -u + 300. Let b = -521 + u. Is -158 at most b?
False
Let j(i) = -i**3 + 2*i**2 + 4*i - 1. Let n be j(3). Suppose -4*a - 5 = n*f - 19, 5*f = -a + 26. Suppose -7*x + 12 = f*x. Is x < 17/7?
True
Let c(q) = -q - 1. Suppose 0 = 2*v +