 b. Which is greater: d or -1.7?
d
Suppose -3*v + 3*g = 2*v - 45, 37 = v + 5*g. Let u be ((-3)/v)/(77/112). Is 0 at least as big as u?
True
Let b be -4 + 172/36 - 0. Let o be 2 + -6 - 36/(-9). Is b at least as big as o?
True
Let z = -722 - -731. Which is smaller: z or -19?
-19
Let r be ((-2)/3836)/(21/(-4)). Let c = r - 117991/342363. Let p = c + 1/17. Which is smaller: 1 or p?
p
Let d be ((-2)/3)/((-6)/(-291)). Let h = d - -32. Is -0.1 greater than h?
True
Suppose p = -4*p + 10. Suppose -p*y = -63 + 29. Which is smaller: 18 or y?
y
Let h = -99 + 96. Let c be 33/22*(1 - (-5)/h). Which is bigger: c or -6/31?
-6/31
Let f = -40.1 + 8.1. Which is smaller: f or 0.2?
f
Suppose 4*q = -5*h + 45 - 4, -10 = -2*h. Suppose q*v = -c + 6*c - 8, -2 = 2*c + v. Does -2/13 = c?
False
Let b(z) = 2*z**2 - z**2 + 0*z**2. Let q be b(2). Let c be q - 1/((-1)/(-3)). Which is smaller: -4 or c?
-4
Let l(u) = -u + 11. Let s be l(21). Is s less than or equal to -6?
True
Let i = 0 - 4. Let w = -29 - -27. Let y = i - w. Do -4 and y have different values?
True
Suppose 0*i - 5*i + 5*l - 350 = 0, -218 = 3*i - l. Let q = -5841 - -5768. Which is smaller: i or q?
i
Suppose -21*q - 10*q - 5394 = 0. Is q smaller than -175?
False
Suppose 4*i = -13*u + 12*u - 14, 3*i + 4 = -4*u. Suppose -f = -4 - 3. Is f < u?
False
Let m(t) = t**2 - 3. Let r be m(-3). Let s = 166 - 161. Which is smaller: r or s?
s
Let p = -5 + 10. Suppose 4*s - p*g - 20 = 0, -s - 3*g - 20 = -5*s. Let z be -6*6/4*26/(-39). Which is greater: z or s?
z
Let r = -31246751/42465885 - 100/36767. Let b = 25/33 + r. Which is smaller: b or -1?
-1
Let o be (203/287)/(5/88). Let m = -62/5 + o. Which is greater: 1 or m?
1
Suppose -2*i - 3*w = 80 - 89, 4*w - 12 = 0. Is -2/1079 equal to i?
False
Let c be 1362/10 + (-5)/75*12. Is 134 <= c?
True
Let r = 36 - 0. Suppose -c + r = 5*c. Is c less than 4?
False
Let a be (-916)/1128 - (-1)/3. Let o = 1/47 - a. Which is bigger: o or 0.7?
0.7
Let q(c) = -17*c - 6. Let j be q(-3). Suppose -b = -4*b + j. Which is smaller: 14 or b?
14
Let c = -45 + 36. Let q = 0.02 + 9.98. Let x = q + c. Is -2/27 at most x?
True
Let l(p) = p - 1. Let q be l(3). Let y be q*(4 - 8)/(-8). Is 1 <= y?
True
Let m(v) = -v**3 - 2*v**2 + 5*v + 3. Let q be m(-3). Let d be 4/(-14) + (-80)/(-35) - -403. Let w be (-18)/d*1*5. Do w and q have the same value?
False
Let m(y) = -2*y**2 - y. Let n be m(-2). Suppose 6*g = 9*g - 3. Suppose 15 = -4*o - g. Which is smaller: n or o?
n
Let h be 6 + -7 - (1 - (2 - -1)). Let s be (((-15)/(-160))/3)/h. Is s greater than or equal to 1?
False
Suppose -22*n = -32*n + 1080. Is 110 at most n?
False
Let d = 60 + -181/3. Is -5 <= d?
True
Suppose 63 - 747 = -9*f. Let y = f - 35. Is y >= 42?
False
Let l = -821/290 - -29/10. Suppose 4*g - 41 = o, 0 = 3*o + 3*g + 26 + 97. Let z = o - -40. Which is smaller: l or z?
z
Suppose -11*y + 7 = 700. Which is bigger: -64 or y?
y
Let z be 0*(-6)/(-12)*(-2)/(-4). Let r = 0 - -2. Let q be (1 - 1)/((-4)/r). Is z greater than or equal to q?
True
Let f(u) = -3*u - 7. Let o = 22 + -25. Let j be f(o). Suppose 3*x = j*x + 10. Which is smaller: 11 or x?
x
Suppose 3*p + 6 = q + 3*q, 0 = q + 5*p - 13. Let h be (q + 2)*6/(-10). Which is smaller: 0 or h?
h
Let o be 1*((-45)/(-9) - 1/(-1)). Let m be 56/8 + -5 - o/2. Which is smaller: m or -4/3?
-4/3
Let z be 3/(-2)*(-52)/6. Let d = z - 8. Suppose d*w - 2*w = -9. Which is smaller: w or -4?
-4
Suppose 3*j + 4*x = 12, -3*x + 23 = 5*j - j. Let w = j - 11. Let c be 30/28 + w + 2. Is 1 less than or equal to c?
False
Let l = 3/418 + 1585/12122. Is 1 >= l?
True
Suppose 38 - 107 = -3*a. Let m = a + -20. Suppose -o - o = 2*z - 26, m*z = 3*o + 21. Is z >= 9?
True
Let x = -187 + 194. Which is greater: x or 2?
x
Suppose 5*b = b + 8. Let p(d) = 4 + 0 + 0 - d**3 + 7*d**b + 6*d + 2*d**3. Let w be p(-6). Are 4 and w equal?
True
Let f = 258 + -260. Which is greater: f or -27/26?
-27/26
Let t(n) = -40*n + 441. Let s be t(11). Which is bigger: 14/129 or s?
s
Let h be (-2 - (-264)/131)/6. Let u = h - 89/655. Let x = 473 - 472. Is x bigger than u?
True
Suppose 5*k + 3 = 3*u - 1, -2*u = 5*k - 11. Which is greater: k or -1/179?
k
Let c(u) = -u**3 - 2*u**2 - u - 2. Let a be c(-2). Let b = 0.962 + -0.83. Let h = b + -1.132. Is a greater than h?
True
Let l = 14 + -4. Let h be 2/l - 1208/6440. Which is smaller: h or 1?
h
Let k = -0.22 - -0.3. Let u = -17.92 - -17.9. Let j = k - u. Is j equal to -4?
False
Let c = 10.25 - 0.95. Let k = -2.3 + c. Let z = k + -6.9. Is -1/2 greater than or equal to z?
False
Suppose 0 = -4*q + 20, -a - 2*a = -5*q + 13. Let y be 3/171 - -4 - a. Is -1 at least as big as y?
False
Suppose x = 2*a + 9, -3*x + 8*x = -a + 23. Suppose 2*v = -4*u - 10, v = -x*u - 0*v - 17. Is 2 smaller than u?
False
Let b be -9*312/666 - -4. Are -0.1 and b non-equal?
True
Let f = 3 - 2. Let t = -2.172 - -2.1. Which is bigger: t or f?
f
Let y = -391 - -291. Are y and 1/2 equal?
False
Let a = -2.65 - 135.35. Let n = a + 146. Which is smaller: n or 4?
4
Let y(l) = l + 37. Let b be y(-36). Suppose 0*d = 3*d. Suppose d = w - b + 10. Is w bigger than 0.2?
False
Let c = 1305 - 24802/19. Is c at most as big as 0?
True
Let i(c) = c - 2. Let p be i(-3). Let y = 21/4 + p. Which is smaller: 0.012 or y?
0.012
Suppose z - 17 = 4*b, 11 = 3*z - 3*b + b. Is 2/121 < z?
True
Let c be 6/4*12/(-54). Is c >= 2/55?
False
Let v = -0.18 + 0.09. Which is bigger: v or 4?
4
Let d = -1.1 + 0.86. Let b = 0.34 + d. Which is greater: b or 5?
5
Let c(l) = 3*l + 2. Let x be c(2). Let d(g) = g + 10. Let k be d(-7). Suppose x*t - k*t = -40. Which is greater: t or -15/2?
-15/2
Let q = -589 + 570. Let m be (1 + 8)*10/(-6). Which is greater: m or q?
m
Let s = -0.03 - 0.97. Let k = -10 - -9.2. Let j = k - s. Is j smaller than -2/5?
False
Let j = -3 + 6. Let t be 2*(-3)/(j + 0). Suppose 3*p + 7 = 2*a, 0*a - 5*p - 10 = -5*a. Is a < t?
False
Let i be (1/13)/((-5)/120). Let j = 7/39 + i. Let k be ((-36)/10)/3 + (-3)/(-15). Is j smaller than k?
True
Let m = 87 + -1832/21. Which is smaller: m or -1?
-1
Let b = -0.36 - -0.29. Let i = b - -1.07. Let t = 3 - 3. Are i and t non-equal?
True
Let g(m) = m**2 - 22*m + 27. Let f be g(21). Let b be (0 - (f/(-8) + -1))*2. Is 1 equal to b?
False
Let v be (5 - (-39)/(-9))/((-2)/(-102)). Let j = 34 - v. Is 1 <= j?
False
Let q be (-1326)/26 - (2 + (3 - 1)). Let v = q - -167/3. Is 0 > v?
False
Let v = -11995 - -5337773/445. Is v less than or equal to 1?
True
Let i be (140/(-30))/7 - (-380)/3. Is i smaller than 4?
False
Let m(a) = -a**2 + 11*a - 4. Let r be m(10). Let c(z) = z**3 - 8*z**2 + 11*z + 6. Let v be c(r). Let i be (-10)/28 - (-1)/(-2). Which is smaller: v or i?
i
Let v = -0.6 + 1.4. Let z = -1.4 - v. Let t = -4.2 - z. Which is smaller: -1/2 or t?
t
Let q be (-57)/21 - -3 - 1170/126. Is q at least -23/3?
False
Let v = 11/12 + -5/3. Let c = -29 + 29. Let i be ((-6)/(-4) - 1)*c. Is i > v?
True
Let k = 72 - 71. Is -1/102 greater than or equal to k?
False
Let h be -3 + (4/(-6) - (-51)/9). Suppose -5*l = -4*t + 246, 2*t = -h*l - 2*l - 176. Is l bigger than -46?
False
Let p = -576 - -629.6. Let a = 54 - p. Is -7 not equal to a?
True
Let p be -7 + (5 - (3 - -1)). Let o be 3 + (-7)/((-21)/p). Is 1/13 at least o?
False
Suppose -11*u - 4 = -15. Is u less than 2/75?
False
Let c be (-168)/35 + 16/20 + 172. Which is smaller: c or 0.1?
0.1
Let z = -570 + 585. Which is smaller: z or -9?
-9
Let s = 7027 - 7041.868. Let q = -0.132 + s. Let m = -0.7 - 0.3. Is q at least as big as m?
False
Let j = 7 - 3. Suppose j*i - i = 360. Let h be 2/8 + 10/i. Is h smaller than -0.1?
False
Let l = -231 - -231.1. Is l greater than 83?
False
Suppose -22*q = 14*q + 72. Is -39/14 at most q?
True
Let m = -116322419/206775 - 2/68925. Let h = -562 - m. Which is smaller: h or 2?
h
Suppose 8*u - 5*w - 15 = 10*u, -u - 13 = -3*w. Let g be 2/(u - 0)*7. Let r = -0.2 + 0.3. Does r = g?
False
Let n = 0.2 - 0.1. Let q be -3 + 2 - (-9 + -5). Are q and n equal?
False
Suppose -3*y = 3*b - 117, b - 3*b - y = -81. Suppose 8*w + m = 4*w - 21, -4*m + b = -5*w. Are w and -9 unequal?
True
Let w = 0.4 - 9.4. Let f = -14 + 14. Which is smaller: f or w?
w
Let d be ((-51)/1)/(-25 - -9 - -13). Which is smaller: d or -16?
-16
Let k be ((2 - 2) + -4)/(-4). Is k < 5/202?
False
Let s = -0.2 - -0.4. Suppose 0 =