/3. Suppose 2*w = 6*w - 4. Which is smaller: x or w?
x
Let b = -10/9 - -4/9. Suppose 0 = -1292*f + 1285*f - 7. Is f less than b?
True
Let a be 9904/4950 - 44/(-3 - -25). Is 1 less than or equal to a?
False
Let o = -30.03 + 0.03. Let h = -30 - o. Let j = -3 - -2. Which is bigger: h or j?
h
Let q(a) = -a**2 - 16*a - 15. Let i be q(-15). Let h be ((-66)/20)/(9/(-417)). Let k = 153 - h. Is i < k?
True
Let k be 18/(-27)*2/(-14). Let n = -3/7 + k. Which is smaller: -0.058 or n?
n
Let p be (-1 - (-12)/(-6))*1. Which is smaller: p or -10?
-10
Let v = 436 + -413. Which is smaller: 24 or v?
v
Suppose -1 - 1 = s - h, -6 = -s - h. Let w be (5 + -2 - 2) + -2 + s. Which is greater: w or 15/13?
15/13
Let u be (-234)/(-15) - 9/15. Suppose 3*g - w + 5 = -20, -3*w - u = 0. Let v = -15 - g. Do -5 and v have different values?
False
Suppose 14 = 4*a + 2. Suppose 0 = -2*o + 1 + 1. Suppose i + o = a. Is i greater than -1/4?
True
Suppose -w + 6 = 4*y, w + 0*y = -2*y + 2. Let x = 1 + w. Let l(g) = -13*g + 11. Let v be l(1). Which is greater: x or v?
x
Let u be 154/(-51) - (-24)/8. Let s = -116 - -115. Which is bigger: u or s?
u
Let v = 376 - 376. Which is smaller: v or 18/13?
v
Suppose 0 = m + 3*k + 16 - 60, -116 = -4*m + 3*k. Suppose 0*v - m = -2*v. Let t = v + -17. Which is bigger: 3/7 or t?
3/7
Suppose 12*t = 15*t + 30. Which is bigger: -9 or t?
-9
Let j = 0.4 - -1.6. Let h be -3 + 0/(-1) + 8. Suppose -h*c = -t + 29, -t = 4*t - 3*c - 35. Which is smaller: t or j?
j
Let d(b) = -b**3 - 24*b**2 + 25*b + 35. Let a be d(-25). Let y be 1708/48 + 3*1/(-12). Which is greater: y or a?
y
Let x be 45*(50/15 - 4). Let h be (-5)/2*(-21)/x. Which is greater: -1 or h?
-1
Let o = 185 + -149. Is 33 greater than o?
False
Suppose -45*g - 15 = -48*g. Suppose 3 = o + 4*k + g, 0 = -4*k. Let f(x) = x**3 + 6*x**2 + 5*x - 1. Let p be f(-5). Is o not equal to p?
True
Let j be (-1760)/825*(-10)/4. Which is bigger: j or 23?
23
Let l = -125 - -125.9. Which is bigger: 0 or l?
l
Suppose 0 = -2*m + 4 - 12. Let d(h) = h**2 + 9. Let l be d(m). Let p = l + -74/3. Is -3 at least p?
False
Suppose 4*y = 5*q - 85, 4*q + 8 + 2 = -2*y. Which is greater: y or -4?
-4
Suppose -36 - 28 = -8*q. Suppose -q = -2*w - 6*w. Which is smaller: w or 3?
w
Let v = 0.11 - 0.02. Let u = -39 + 47. Let h = u - 8. Is v at least h?
True
Let p(a) = -a - 1. Let h be p(-5). Let j(g) = -g**2 + 19*g - 16. Let n be j(18). Suppose 0 = h*w - n - 2. Which is greater: w or 3/2?
3/2
Let s(j) = j**3 - 6*j**2 + 8*j - 6. Let q be s(5). Let c be -753*(q/24)/(-3). Let d = 94 - c. Is -1 <= d?
True
Let v(b) = b**2 + 3*b - 10. Let o be v(6). Let z be 2/7 - o/56. Which is smaller: -2 or z?
-2
Let t = 706 + -689. Is t smaller than 13?
False
Suppose 4*g + 4 = 2*d, -3*g - 2*g - 2*d + 13 = 0. Let j = 1275/2 - 14023/22. Which is smaller: g or j?
j
Let b = 13/11 - 12/11. Suppose -4*a + 13 = 3*m, 0 = 4*a - 0*m - 3*m + 5. Which is smaller: a or b?
b
Let t = 20.8 + 0.2. Let s = t + 2. Are s and 1 nonequal?
True
Let i be 13 - (-16)/(-4) - -2. Let w be 2/i - 5094/792. Which is smaller: -7 or w?
-7
Let b = -231/94 - 2/47. Which is smaller: -3 or b?
-3
Let n = 19.58 - 7.58. Are -3/2 and n unequal?
True
Let b = 12093/62000 + -3/2000. Suppose -t + 5*t + 4 = 0. Which is greater: b or t?
b
Let q be (-4)/2*(-3)/18. Let f be (0 + 38*-1)/(-2). Let p = 20 - f. Are q and p equal?
False
Let o be ((-20)/6)/((-2)/18). Suppose -r + 4*t = -9, -r - o = r + 4*t. Suppose 2*n + 20 = 4*g, -6*n - 5*g + 14 = -3*n. Which is smaller: n or r?
r
Let g be (-101)/(-6) + (-1)/(-6). Let j = 1248 + -1230. Which is smaller: g or j?
g
Let i(h) = 2*h**3 - 13*h**2 - 5*h - 8. Let d be i(7). Suppose 2*r - 3*y + 74 = 6*r, 0 = 3*y + d. Is 19 < r?
True
Suppose -5*y + 0 - 17 = -m, -2*y = 6. Suppose 0 = -t - m*w - 3, 3*t - w - 2 + 4 = 0. Is t at most as big as 2/7?
True
Let z be -7*9/(-4725)*(-6)/33. Are -0.2 and z equal?
False
Suppose -3*p - 1183 = 4*j, -8*p - 2015 = -3*p - 2*j. Are -401 and p non-equal?
False
Let z(v) = 4*v + 260. Let l be z(18). Is 331 <= l?
True
Let c = 4 + -8. Let j be ((1 - -2) + -4)*c. Suppose 0 = -4*y - 4*b + 4, -27 = -2*y - 6*b + 9*b. Is j smaller than y?
True
Let x = 4.091 - 0.091. Is x greater than 50?
False
Let b = -11 + -7. Let v(o) = -o**3 - 9*o**2 - 4*o + 15. Let x be v(-8). Is b at least x?
False
Let t = 23 - 18. Let u be ((-2)/32)/(t/10). Which is smaller: u or -1?
-1
Let f be 20*(9 + (-147)/35). Which is smaller: 93 or f?
93
Let m = 523 - 525. Do m and -67 have different values?
True
Let d(v) = -v**3 + 7*v**2 - 6*v. Let j be d(4). Let b be (-24)/(-486)*9/j. Which is greater: b or 0?
b
Suppose -25 - 123 = -2*n. Let h = -815/11 + n. Is 0 smaller than h?
False
Suppose -29*y = -1372 - 1731. Is 107 bigger than y?
False
Let k be -5*((-78)/(-40) + 9/(-12)). Let z be ((-2)/k*1)/(2/(-6)). Is z < -1/11?
True
Suppose 0 = -32*g + 36*g + 3*u - 136, -u = -3*g + 115. Let d(l) = -l + 1. Let b be d(-4). Suppose b*o = 3*w + 50, 3*o + 11 - g = w. Is o less than 9?
True
Let h = -67 + 98. Let a = h + -23. Which is smaller: -1 or a?
-1
Let f(l) = 3*l**2 - 5*l + 6. Let u(k) = 4*k**2 - 5*k + 6. Let q(g) = -3*f(g) + 2*u(g). Let h be q(6). Let v be (-104)/h - 6/9. Which is smaller: v or 10?
v
Let m = -133 + 135.8. Which is greater: -0.08 or m?
m
Let a be (6*(-4)/(-12) - -29) + 4. Suppose 46 = 11*v + a. Is v < 5/8?
False
Let k(h) = 79*h + 24. Let z be k(3). Are 260 and z unequal?
True
Let d = 0.95 - 1. Let h = 7 + -6.95. Let l = h + d. Which is smaller: l or -2?
-2
Let x = 213 + -227. Is -23 greater than x?
False
Let j = -739 - -39. Do -700 and j have the same value?
True
Let w = -388 - -141. Does -248 = w?
False
Let v = -2.34 - -1.9. Let d = 0.44 + v. Which is greater: 2 or d?
2
Suppose 15*w + 8*w - 46 = 0. Is w greater than or equal to 7/3?
False
Let g be -2 - -3 - (336/4 + -4). Let d = -79 - g. Is 9/19 > d?
True
Suppose 252 = -4*d + 10*d. Suppose 0*p - 37 = -3*i + 2*p, -d = -4*i - p. Which is bigger: 32/3 or i?
i
Let a be ((-24)/(-5))/(1/(-10)). Let l be 4*3*4/a. Which is smaller: l or 0.7?
l
Let v be 198/4*120/18. Let d = 1001/3 - v. Let s = d + -2. Which is greater: s or 2?
2
Let o(i) = -2*i + 38. Let x be o(0). Which is greater: x or 118/3?
118/3
Suppose 5*w = 2 + 3. Let m be (-1 + -1)/(w - -21). Which is bigger: 0 or m?
0
Let q be (-4)/22 - (-672)/2970. Let i = q + 41/90. Which is bigger: i or 2?
2
Suppose 5*z = 411*i - 413*i - 2, -5*z = 4*i + 24. Let p be 2/(-9) + 0 + 0. Which is smaller: i or p?
i
Let i be ((-7)/315*3)/((-2)/(-4)). Is i greater than -0.72?
True
Let h = -57 + 66. Do h and 5 have the same value?
False
Let v be -1 + 2*214/4. Let p = 748/7 - v. Let z = 1529 - 1527. Is p less than z?
True
Suppose 2*d = -14*d - 2448. Let c = d + 1373/9. Does -0.4 = c?
False
Let p = -11 - -13. Suppose 5*y - p*y = 15. Suppose -2*x - y*s = 6 - 2, -6 = 3*x - s. Is -2 at most as big as x?
True
Let w(c) = 17*c + 112. Let y be w(6). Which is smaller: 215 or y?
y
Let c(a) = a**2 - a - 4. Let l be c(3). Suppose 0 = -2*i, 6*d + 3*i = l*d - 8. Let m be -2*(5/2 - 1). Which is greater: d or m?
d
Suppose 4*q + 2*y - 202 = 0, -5*y = 7*q - 2*q - 240. Which is greater: 213/4 or q?
213/4
Let l be (-2)/(-2 + (-30)/(-16)). Suppose 5*v = -4*q + 3*v - l, 0 = -4*q + 3*v - 26. Let b be (-2)/(-4*(-3)/24). Is b < q?
False
Let m be 7/(-2)*(-1 + -1). Suppose 3*b + 2*o - 13 = 0, -b + 2*o = -4 + 5. Let f = -1 + b. Is m != f?
True
Let w = -820 - -822. Suppose -3*o = -20 - 1. Is o < w?
False
Let k be 1/((-1)/(-22)*2). Suppose 15*c = -78886 + 79006. Is k bigger than c?
True
Let n = 1.85 - 2.74. Let l = -0.11 + n. Which is bigger: l or -1/3?
-1/3
Let m be (-6)/22*(-2 + 1). Let t = 477 - 477.1. Which is smaller: m or t?
t
Let y be (-1 + 264)/(12/8) - -4. Which is smaller: y or 180?
y
Suppose 0 = -70*y + 99*y - 29. Are -2/2737 and y unequal?
True
Let r(s) = 2*s**2 + 17*s + 7. Suppose -2*c + 24 = -4*p, 4*c - 12 = 4*p - c. Let u be r(p). Which is smaller: 2 or u?
u
Suppose -j = 17 + 4. Let v = -22 - j. Which is smaller: v or 8?
v
Let s be (8/6)/(2/6). Let t = -257 - -8737/34. Let d = 9/17 + t. Which is smaller: s or d?
d
Let g be 44/248 - (-5 + 1)/(-8). Is 0 at most as big as g?
False
Let i = -27 - -29. Let h be ((-4)/(-6))/i + (-100)/30. Is -1 equal to h?
False
Let k = -6659.17 - -6617. Let p = 198 + -156. Let m = p + 