 3*i. Suppose -c + 32 = -4*d, -c - 40 = 5*d - y*c. Which is smaller: d or -4?
d
Let z be (12/(-15))/(2/15). Let a be z/2*5/55. Let c(u) = -5*u - 81. Let h be c(-16). Which is greater: h or a?
a
Let b = 997471/19980 + -34/4995. Let i = 50 - b. Are i and 0 equal?
False
Suppose 12*w - 253 = -85. Is w > 7?
True
Let w = 119 + -118.42. Is w greater than 3?
False
Suppose -4*d + 2*n = -9*d - 285, -4*d + 2*n = 210. Is d <= -55?
True
Suppose 4*n = -5*j + 11, -6*n = -3*n - j - 13. Suppose g - 2 = -g - d, -n*g + 4 = d. Is 2/123 <= g?
True
Let i = 15 + -14. Let y = -0.27 + -1.83. Is i at most y?
False
Let g be ((-9)/(-2))/1*-2. Let m = g - -18. Let q be (105/m)/(-5) + -2. Are -4 and q equal?
False
Suppose -3*l + 65 = -5*f, -3*f = -l - 8*f - 5. Suppose -5*p = -l, -2*p = -5*c + 3 - 24. Is -4 not equal to c?
True
Let o(b) = 38*b + 9. Let x be o(2). Let z = x - 84. Let q = 2 - 3. Which is smaller: z or q?
q
Suppose -281 = 6*j + 97. Is j less than or equal to -59?
True
Let j = -30.81 - -31. Let x = 0.3 - j. Let u = x - 0.05. Which is smaller: u or 0?
0
Let v = 370 - 378. Is v at most -1?
True
Let h be 6 - (-5)/10*0. Which is smaller: h or 12?
h
Let a = 362 - 361.99. Which is greater: a or 1/10?
1/10
Let d(m) = -107*m + 211. Let c be d(13). Which is smaller: -1179 or c?
c
Let s = -62.122 + 0.122. Let u = 216 - 280.7. Let w = s - u. Which is smaller: -1/2 or w?
-1/2
Let m be (-2)/(1 - 0) + 7. Suppose -4*h - 16 = 4*b, -2*b - 1 = -m*h - 0*b. Do h and -25 have the same value?
False
Let x = 2345 - 2381.9. Which is bigger: x or -1/4?
-1/4
Let q = -0.2 + -0.3. Let k = -63.5 + 64. Let i = k - q. Which is smaller: -0.3 or i?
-0.3
Let y = 3 + 0. Let x = 1.998 + 0.002. Which is bigger: x or y?
y
Suppose 9*v - 1557 - 522 = 0. Let u be (2/3)/(v/(-63)). Is 0 at most u?
False
Let d be (10/(-3))/((-1)/(-12)). Let x be d/(-70) - (-2)/7. Which is greater: x or 2/3?
x
Suppose 0*m - 3*m - 9 = -2*d, -5*d - 2*m = 6. Do 2/605 and d have different values?
True
Suppose -2*u = u - 3. Let b = 44 + -39. Suppose -3*w + 20 = 5*d, b*d = 2*d + w + 12. Which is smaller: u or d?
u
Let b = -2 - -2. Let p be 2/(-10) + (-1930)/(-25). Let r be 4/(-22) - (-630)/p. Is r at most b?
False
Let l = 22.658 + -2.658. Which is smaller: -7/5 or l?
-7/5
Let p = -349 - -211. Is -136 > p?
True
Suppose 0 = -138*v + 136*v - 5*h - 17, 4*h + 13 = -v. Are 1/532 and v equal?
False
Let q(i) = -5*i**3 - 11*i**2 - 4*i - 4. Let t be q(-2). Is 8/9 greater than t?
True
Let c = -29.053 + 0.053. Let h = -41 - c. Let u = h + 15. Which is smaller: u or -0.1?
-0.1
Let i = -570 + 615.3. Let a = -46 + i. Which is smaller: 2 or a?
a
Let o be 24*(-56)/36*3. Let r = 92 + o. Which is smaller: r or -22?
-22
Let w be (-34)/(-4) - (-6)/12. Let r be (1 - 1)/(w/(-9)). Which is greater: r or 1/7?
1/7
Suppose 3*d - 3 = 0, -4*d + 7*d = 3*c. Let a be 2/1*(-13 - (c - -1)). Is -30 at most as big as a?
True
Suppose 127*f + 5225 = 108*f. Which is bigger: f or -276?
f
Let b = -2112756689/44317562925 + 2/8350775. Let r = b - -7/87. Which is greater: r or 0?
r
Suppose 12*y + 10 = 7*y. Let l be (y - -4) + 2*-1. Suppose -5*z + l*c + 96 = -2*c, 0 = 4*z - 4*c - 84. Is z < 0?
False
Suppose 2*z + g = 4, z - 4*g + 16 = 3*z. Suppose -9*q + 5*q - 8 = z. Let o = 105 + -528/5. Which is smaller: o or q?
q
Let o be 0 + 2/2 + 11. Suppose 4*a - 9 = -0*a + f, 0 = 5*a - 2*f - o. Is a equal to 3/2?
False
Let k(f) = f**3 - 23*f**2 + 118*f + 31. Let n be k(15). Let m = 211/1545 + -2/15. Is m at most as big as n?
True
Let k = 204 - 1204. Is -998 bigger than k?
True
Let m(y) = -y + 2. Let a be 84/(-2)*7/(-14). Suppose -5*r = -2*x + a, -4*r = -3*x + x + 18. Let t be m(x). Which is smaller: t or 0.4?
t
Let j = 0.3354 - 0.0054. Which is smaller: -3/2 or j?
-3/2
Suppose -77*w + 156 = -89*w. Which is smaller: w or -12?
w
Let i be 32/(-6)*(-1)/(-4). Let w = 0.03 + -0.43. Let g = w + -1.6. Which is smaller: g or i?
g
Let k(x) = -2*x + 12. Suppose -g + 0*g + 4 = 0. Suppose -10 = -5*s, -i - 2*i - g*s = -26. Let p be k(i). Which is smaller: p or 3?
p
Suppose 3*g - x + 9 = 2*x, 4*g + 3 = -5*x. Let a be (-4)/(-5) + (-2301)/195. Which is smaller: g or a?
a
Let t = -1793.326 - -1792. Which is bigger: t or -2/5?
-2/5
Let w be ((-21592)/608)/(1/4). Let o = -142 - w. Is 0 != o?
True
Let g be (-57)/(-90) - (-66)/(-495). Which is greater: g or -6/5?
g
Let i = -8 - -8.3. Let t = -141.1 - -151. Let d = -6.9 + t. Do i and d have different values?
True
Let v(g) = -2*g + 10. Let y be v(4). Suppose 5*a + k = -320, -45 = -y*a + 2*k - 185. Which is smaller: -67 or a?
-67
Let o(a) be the first derivative of -5*a**4/4 - 2*a**3/3 - a**2/2 - 3. Let c be o(-1). Suppose -i + c = 2. Which is greater: i or -2/15?
i
Let h be ((-16)/(-24))/((-44)/30230). Let y = 458 + h. Let v = 9/55 + y. Are 0 and v unequal?
True
Suppose -67*u - 2*z = -62*u + 15, 20 = -4*z. Which is greater: u or 1/911?
1/911
Suppose -62*t = -54*t + 16. Is -14/17 at least as big as t?
True
Let i = 150 + -217. Let p = i - -66.5. Which is greater: p or -0.04?
-0.04
Suppose -7*b = -3*b - 8. Suppose 0 = -3*w - b*w - 15. Let z = -3 - -4. Is z at least as big as w?
True
Let a = -0.1 - -2.1. Let p = -1.043 - -1. Let g = p + -4.957. Is a <= g?
False
Let c(w) = -2*w**3 - 50*w**2 - 47*w + 18. Let l be c(-24). Suppose -5*v - 2*j - 12 = 0, v = 4*j - 2*j. Let p be (v/6)/((-4)/(-6)). Which is greater: p or l?
p
Let l = -0.1294 + -0.0706. Which is greater: 95 or l?
95
Suppose -3*z - z = -108. Let o = 79/3 - z. Is -2 less than or equal to o?
True
Let w = 1130.9816 - 1131. Is w > 1?
False
Let r(s) = 4*s + 24. Let j be r(-7). Is j < -7?
False
Let x be 0/(((-36)/(-3))/(-4)). Let r be 0 - (3/(-1))/((-24)/(-16)). Are x and r equal?
False
Let h = 4726 - 4728. Let i = 67/8 + -683/72. Which is bigger: h or i?
i
Let f = 48 - 42. Suppose 5*w - f = -1. Let h = 18 - 181/10. Is h bigger than w?
False
Let i = 6 + -2. Suppose -16 = -i*v - k, 2*v - 3*v = 2*k - 4. Suppose 0 = n + v*n - 15. Does n = 10/3?
False
Suppose -2*w + 3*j + 60 = 0, -j + 1 = -3. Let f be (36 + -1)*w/(-90). Is f bigger than -15?
True
Let s = 44.76 - 0.76. Let q = s + -50. Let a be ((-2)/3)/(4/(-6)). Are a and q equal?
False
Let r = -690/179 - 295509/2327. Let c = 131 + r. Let w be (1 - 1)/(1 + 1). Are c and w non-equal?
True
Let i = -84 - -88. Suppose 45*x = 44*x - i. Is x bigger than -13/3?
True
Let x be (-26)/3*(-1 + 4). Is x at most -79/3?
False
Suppose 4 + 9 = 5*b - 2*u, -5*b - 3*u + 18 = 0. Is b >= 2/7?
True
Suppose 0*l + 3*n = l - 23, l + 7 = -3*n. Let a = -212/185 - 2/37. Which is greater: a or l?
l
Suppose -3*x - 5*h + 65 = -3*h, 2*x + 3*h - 35 = 0. Let w be 5/x - (-3 + 76/30). Which is greater: -0.31 or w?
w
Let d = 463 - 660. Let a be (-7)/35 - d/35. Which is bigger: a or 6?
6
Let d(t) = -t**2 - t. Let a(p) = -5*p**2 - 25*p + 18. Let n(k) = -a(k) + 6*d(k). Let i be n(17). Suppose 4*b = 3*b + 15. Which is bigger: i or b?
i
Let x be (4/14)/((-64)/17376). Which is greater: x or -78?
x
Suppose -22 = -24*g + 35*g. Is 1.59 > g?
True
Let q(o) = 2*o**2 + 4*o + 36. Let i be q(0). Which is bigger: 38 or i?
38
Let u be (-2)/3 + 2/(-6). Let p(o) = -1 - 2 + 1 + 1 - o. Let w be p(u). Is w equal to -1/7?
False
Let d = 45 + -37. Suppose -d*c = -3*c. Which is smaller: 7/6 or c?
c
Let g = -1720 - -1746. Let a be 23/1 + 2 - 2. Do a and g have the same value?
False
Let s = -1 - -3. Let i = s - 3. Let k = 892 + -890. Is i less than or equal to k?
True
Let w = -8 + 141. Let v = -1730/13 + w. Suppose 0 = 4*m - 3*s - 6, -2*m - 4*s - 8 = 2*m. Which is greater: v or m?
m
Let h be ((-10)/(-4))/((-54)/(-4) + -11). Suppose -5*p + 8 = 5*b - b, -p - 3*b = -6. Is h > p?
True
Let h be -19 - -19 - (1 - 1). Suppose 3 = 3*w - 15. Suppose h = -11*p + 10*p - w. Is p >= -7?
True
Let x = -11.6 - -8.6. Let p = -1/497 + -283/497. Which is greater: x or p?
p
Let g(v) = -v**3 - 3*v**2 + 3*v - 5. Let c be g(-4). Let f = 41 - 125. Let p be (4/(-3))/(f/18). Which is greater: p or c?
p
Let c = -0.14 + -0.66. Let g = c + 1.04. Let a = -1.3 + 1.3. Which is smaller: g or a?
a
Let m(p) = p**3 - 2*p**2 + 2. Let u be m(3). Let i be -1*(33/18)/u. Let o = 6 - 25/4. Is o != i?
True
Let o = 300 + -185. Which is smaller: o or 114?
114
Let y = -56/61 + -1545/244. Which is bigger: y or -7?
-7
Let o be 4 + 3/(-1)*(-12222)/(-9126). Which is bigger: