 34/39?
34/39
Suppose 2*i = -d + 186, -5*d = 4*i + i - 935. Suppose d*m - 191*m = 0. Let q be (2 - (-33)/(-17))/1. Which is smaller: q or m?
m
Let r = -10 + -32. Let a = -9 - r. Let l = 32.99 - a. Which is smaller: l or -1?
-1
Let n(g) be the first derivative of -g**4 - 7*g**3 - 5*g**2 - 14*g + 130. Let o be n(-6). Is 154 > o?
False
Let i = -3787 - -3572.9. Let w = -214 - i. Is -17 at most as big as w?
True
Let i = 553/11100 - -1/5550. Which is smaller: i or -338?
-338
Let g be -4 + -3 - (1 + -7). Let x be 1824/(-336) - 6*g. Is x at most 2?
True
Let c = -1206 + 66332/55. Suppose 528*h - 585*h = 57. Which is bigger: c or h?
c
Let w be 376/(-3 + 7) + (7 - (-1 - -2)). Are w and 103 non-equal?
True
Suppose 4*t = -81*w + 84*w - 7, -2*t - 4*w = 20. Which is smaller: t or -19/3?
-19/3
Let j = -11.272 - -17.272. Is 55/6 at most j?
False
Let q be ((-1192)/230 - (14 + (-71)/5)) + 5. Let d be -2 - -1 - 3/(-3). Is d at most as big as q?
True
Let z be (1159/57 - 20) + 344/(-6). Is -56 <= z?
False
Suppose 3*p + 4785 = -5*i, 1901*i - 1896*i - 5*p = -4825. Is -955 > i?
True
Let l = 530.3 - 494. Let w = l + -38. Let s = w - -1.72. Is s greater than or equal to 1/2?
False
Let x(d) = -15*d + 108. Let o be x(0). Let v = o - 157. Which is bigger: -45 or v?
-45
Suppose 0 = -6*q + 109 + 119 - 282. Which is bigger: -561/65 or q?
-561/65
Let j = 16385 - 16319. Let q = -0.101 - 65.899. Let c = j + q. Is -24 >= c?
False
Suppose 23 = 5*n + 13. Let s be (1 - 2)/(n + -3 + 2). Is -1/222 greater than s?
True
Let o be (7 + -9)/(1/1). Let q be o*(-1)/12 - 4650/(-180). Which is greater: q or -1?
q
Let k = -678 + 460. Suppose -248*z = 53*z - 83*z + 47524. Are z and k equal?
True
Suppose 63*u - 8280 = -91*u + 94*u. Let s be (3 - 2*-70) + -3. Is u less than or equal to s?
True
Let w = 29 - 10. Let v = 18.4 - w. Let q = 1/189 - -559/1512. Which is greater: v or q?
q
Let q = -21.87 + 22.07. Which is smaller: -5128 or q?
-5128
Suppose -5*l - 5*x + 15 = 0, 6 = -2*l + 3*x + x. Let o = 14479/50 + -579/2. Which is bigger: o or l?
l
Let n(d) = 3*d + 25. Suppose -2*l + 3*t + 20 = -55, -3*l - 3*t = -120. Let x be 68/(-11) - (1 + l/(-33)). Let z be n(x). Which is smaller: 3 or z?
3
Suppose -2*v - 4*l - 229 = 3*v, 0 = -4*l - 4. Let f = -48 - v. Let m be f - ((-14)/24 + -2). Is m smaller than 1?
True
Let t = -6407 + 6347.83. Which is bigger: t or -1?
-1
Let j = 553.591 - 0.591. Let n = -555 + j. Is n smaller than -20?
False
Let d = 6919 + -6918.61. Let b be (-10)/(-4) - (-7)/(-14). Do b and d have different values?
True
Let m = 1243186/42011 + -1271/43. Is 0 less than or equal to m?
True
Suppose u = 4*d - 2 - 4, 0 = u - 2. Suppose 0 = -b - 2, -d*v - b - 68 = -12. Let q be 159/(-2)*(-4)/(-12). Is v less than q?
True
Let u = 324.6 - 303.6. Is u >= 56?
False
Let x = -0.14 + 4.54. Let n = x + 25.6. Let a = -29.8 + n. Is a not equal to 2?
True
Suppose -2*u = 2*i - 192, -3*i + 196 = -u + 3*u. Suppose 3*b - 104 + u = 0. Let t be -2*(-69)/(-60)*-2. Which is smaller: t or b?
b
Suppose 3*x - 4*b + 4 = 20, 3*x + 3*b = -12. Does -2/373 = x?
False
Suppose 19*y - 14 = 18*y. Suppose -4*z - 146 = -y. Let d = 29 + z. Is d not equal to 4?
True
Let a be 12577/44044 + -26 + 3060/119. Which is smaller: 1 or a?
a
Let f be (-12)/(-18) + (-2775)/(-9). Let o = -2475/8 + f. Let g = -5/8 - o. Which is smaller: g or 0?
g
Let i be 152/(-95) - 193676/(-35). Which is smaller: 5533 or i?
i
Let q = -54 - -106. Suppose -5 = -3*d - 0*k + 4*k, 8 = 2*k. Suppose 8*o - 52 = d*o. Is o < q?
False
Let w = -3065 - -3028. Which is bigger: w or -0.44?
-0.44
Let w be 0*(10 + (-377)/39). Which is bigger: w or -7/817?
w
Let y = -566 - -474. Suppose -5*u - 3*m = 462, 3*u + 0*m + 3*m = -282. Is u equal to y?
False
Suppose -4*w = i - 9498, 5*w + i - 542 - 11329 = 0. Which is smaller: 4 or w?
4
Suppose 5*w - 13 = 307. Let a = w - 63. Let q = 1/3 + -1/12. Which is smaller: q or a?
q
Let x = -692.1107 - -693. Let c = 0.1107 + x. Let z be 1/2*6/7. Is c <= z?
False
Suppose 3*h + 28526 = -r, 142*r + 20 = 138*r. Is h at least as big as -9508?
True
Let o be -1 - (-2)/4 - 109380/8. Let x = o + 20454809/1496. Let q = 11977/13464 - x. Is q greater than 1?
False
Suppose -1 = 3*r - j, -2*r + 121 - 131 = -2*j. Which is greater: 936 or r?
936
Suppose 25 = 5*l, -x - 5*l + 18 = -16. Suppose -9 = x*r - 0. Let h = 1213 - 98255/81. Which is smaller: r or h?
r
Let d be 146*(-7)/(-28)*36. Which is bigger: d or 1313?
d
Let w = 1681 + -1761. Which is bigger: -82 or w?
w
Suppose -4*i = 3*w - 17, 14*w + 18 = 3*i + 18*w. Let r = 3 - 3. Let s = 1 + r. Is i < s?
False
Let z(o) = -2*o**3 + 11*o**2 - 7*o + 2. Let f be z(3). Let g be (53/(-212))/(1/(-102)). Is g at least as big as f?
False
Let v = 4475 + -4460. Are v and 116 equal?
False
Suppose y - 10 = -y. Suppose y*g + 48 = -27. Is g < -4?
True
Suppose 35 - 39 = 4*t. Let h be ((0 - 2) + 3)*t. Let j be 9 - (-8 + 3 - h). Which is bigger: 12 or j?
j
Let x = -110 + 113.4. Let k = x + 12.6. Which is bigger: k or 2?
k
Let l be 10241/(-304) + ((-54)/12 - 1/(-2)). Which is smaller: -39 or l?
-39
Suppose -135 = 3*y - 48*y. Suppose 2*r + 156 = -y*t, -289 - 83 = 5*r + 3*t. Which is greater: -69 or r?
-69
Let h = 80 + -135. Let i = -54 - h. Let r be (-25)/35 - (4 - i). Is r less than or equal to -4?
False
Let z be 6/63*(-3)/251. Let d = z + -12267/28112. Are d and 0 equal?
False
Let i = -9.89 - -1.19. Let j = i + 13.8. Let q = j - 6.1. Which is bigger: -0.09 or q?
-0.09
Let t(d) = d**3 + 8*d**2 + 6*d - 8. Let s be t(-7). Let u = -6753/10 - -114671/170. Are s and u nonequal?
True
Let h = 1445/2902 - -3/1451. Let y = -2 - -9. Is h at most as big as y?
True
Suppose 2*y = 3*y. Suppose p - 14 = 2*v + 6*p, y = -5*p - 10. Which is bigger: -36/11 or v?
v
Suppose -127*f = -126*f + 5*j - 187, f + j - 175 = 0. Is 174 at least f?
True
Let c be 2885180/803 + (-39)/(-6 + -7). Let h = c - 3596. Is h >= 1?
False
Let o = -100106 + 100108. Suppose 59 = 3*l + 5*a, 34 + 12 = 2*l + 5*a. Suppose 3*c = 5*i + 2*c + 25, -5*c + l = 3*i. Which is smaller: i or o?
i
Let t = 796/39 - 1309942/64181. Are t and 1 unequal?
True
Let v = 5898/19 + -15116536/48697. Which is greater: 1 or v?
1
Suppose 2*d + 5 - 19 = -2*v, 0 = 3*d + 2*v - 17. Let m be (d/(-54))/(5/183) + 2. Is m equal to -1/4?
False
Let s = -1.240085 + 0.040085. Let f = -0.5 + -1.5. Which is smaller: s or f?
f
Let m = -24 + 79. Let j be (11/m)/(2/20). Let h be ((-3)/10)/(-9*j/24). Which is smaller: h or -3?
-3
Let t = -3033589165/56339052 - 6/670703. Let g = -2606/13 - -7629/52. Let a = t - g. Which is bigger: a or -0.1?
a
Let q be (8/(-682))/((-126)/693). Suppose 0 = -5*k - 4*l + 16, l - 2 = 3*l. Suppose -g = k*g. Which is smaller: g or q?
g
Let q(h) = -h**2 - 5*h - 4. Let l be q(-4). Let r = 54 - -63. Let b = 118 - r. Which is smaller: l or b?
l
Suppose 0 = 8*z + z - 2952. Let p = -436 + z. Which is smaller: -109 or p?
-109
Let f(h) = -135*h + 7284. Let g be f(67). Are -1 and g equal?
False
Let j = -426/323 + 1444957/2584. Let z = -1123/2 + j. Is -4 >= z?
False
Suppose 3*a + 4*d - d - 18 = 0, 0 = -a - 4*d + 3. Let y(k) = k**3 - 9*k**2 + 12*k. Let g be y(a). Does -9 = g?
False
Let g(n) = -n**3 - 2*n**2 + 4*n + 4. Suppose -4*r = -3*h, 5*r + 0*h = h - 11. Let f be g(r). Let c = 547717/183 - 2993. Do f and c have different values?
True
Let w = 586790/2211 - 46/737. Which is smaller: 265 or w?
265
Let x = -9923 + 9631. Is -10 greater than or equal to x?
True
Let p(i) = -i**3 - 5*i**2 - i + 8. Let h be p(-5). Suppose 0 = 9*r - h - 5. Suppose 3*k + 2*k - s + 13 = 0, r*k + 19 = 5*s. Which is smaller: k or -20/13?
k
Suppose -j - 9 = 3*w, 2*j + 4*w = 3*j - 5. Let p = -17615 - -17617.7. Which is greater: p or j?
p
Suppose -q + 150 = -4*g, -5*q - 3*g + 718 = -7*g. Let v = q - 165. Is -89/4 smaller than v?
False
Let m(k) = 3*k**2 - 6*k - 9. Let d be m(-5). Let n be d/(-40)*(-10)/(-3). Let f be 2 - ((-22)/(-6) + -2). Is n less than or equal to f?
True
Let u = 57 + 687. Let j = -439 + u. Let f = j + -3967/13. Which is smaller: f or 0?
f
Suppose -4*a + 1070 = -o, 4*o = 3*o - 2. Let m = a - 6941/26. Is -4 smaller than m?
True
Let j = 2384 + -5199. Is j less than -2815?
False
Let d = 78 - 80. Let v be d/5*(-1 + -9). Suppose 0 = -n - v, -2*n - 1 = -4*y - 113. Which is bigger: -29 or y?
-29
Let y = -423.88975 - 0.110