*b + 62 + 62 = h. Which is bigger: b or 30?
b
Suppose 194 = -5*y - 1. Let j = y + 37. Which is greater: j or -3?
j
Suppose -25*s + 16 - 16 = 0. Is -19/65 <= s?
True
Suppose 0 = -10*r + 5*r - 30. Suppose -5*j = -h - 0*j + 10, 3*h + 5*j + 70 = 0. Let v = h + 10. Which is greater: v or r?
v
Let t = 0.1 - -8.9. Let p = 1.366 - 1.366. Which is smaller: t or p?
p
Suppose -2*i = h - 9, 2*i + 5 + 6 = -5*h. Let w be 3/(i + -3 + -6). Which is smaller: 6 or w?
w
Let v be ((-2)/6 + -1)/(-10). Suppose 2*z + 8 = -0*z. Which is smaller: z or v?
z
Let z = -44 + 20. Let a = 14 + 19. Let c = z + a. Which is bigger: -1 or c?
c
Let i be (-108)/18 - 1*-4. Are -47 and i non-equal?
True
Suppose p + 26 = 5*o, 3 - 2 = -p. Suppose 0 = -5*r + o, 0*r = i - 2*r - 9. Suppose 0 = -4*k - 3*s + 13, 4*s - i = 1. Which is bigger: k or -1?
k
Let r = 219 - 242. Which is greater: -114/5 or r?
-114/5
Let t be 3/(-18) - 17/204. Let c be 4 + -2 - (-7 + 2). Suppose -4*d - c = -3. Is d smaller than t?
True
Let m(g) = -3*g - 9. Let z be m(7). Suppose 0*p - 77 = 3*b + 2*p, 3*p - 102 = 3*b. Which is bigger: b or z?
b
Let o = 1407 + -39399/28. Suppose 0 = 2*l - 2. Which is smaller: l or o?
o
Let i = 0.04 + -3.04. Let a = 524 - 537. Is a < i?
True
Let s be (-45)/(-2)*416/(-1014). Which is greater: s or -9?
-9
Let i = -4/61 - -595/10004. Is -3 smaller than i?
True
Let m = 2 - 5. Suppose 4*b - 21 = -5. Suppose b*o + 19 = 35. Which is bigger: m or o?
o
Suppose -4*v + 5*v = -4*i + 97, 0 = -i - 5*v + 10. Is i bigger than 73/3?
True
Let w = 16 + -6. Is w less than or equal to 8?
False
Let x be (-128)/(-22) - 8/(-44). Suppose m + x = 3. Let i be m + 1*(1 - 2). Is 2 greater than or equal to i?
True
Let y be -4*(2/(-8) + 1). Let l be 3*(-28 - -27)/(1 - 0). Is y equal to l?
True
Let n be (-29)/(348/(-120))*(-1)/162. Is n at most as big as -1?
False
Suppose -35*m - 344 + 1324 = 0. Suppose 0 = b - 19 - 10. Are b and m nonequal?
True
Let v = 1697/13 + -131. Let i be (1/3)/((1 + -2)/(-3)). Which is smaller: v or i?
v
Let p(z) = z**2 + 3*z - 29. Suppose -4*h - 6 = 6*m - 4*m, -36 = -3*m + 3*h. Let c be p(m). Which is greater: 42 or c?
42
Let c = -41.968 - -42. Let h = -0.532 + c. Is 0.2 >= h?
True
Let j(d) = -3*d + 2. Let a = -15 - -14. Let o be j(a). Let q be ((-6)/(-15))/((-1)/o). Which is smaller: -4/7 or q?
q
Let x be (5 + (-3 - 79))/(5/(-15)). Is x at most 232?
True
Let g = 1.571 + -4.571. Are 1/440 and g unequal?
True
Let o = 13 + -11. Suppose -2*z - 14 = a + 3, 22 = -o*z - 2*a. Let b = -1 + -6. Which is smaller: b or z?
b
Suppose 0 = -4*p - 3*d - 12, -3*d + 12 = -2*p - 6*d. Let i = 655 + -16377/25. Is i less than p?
True
Let p be (6/12)/((-2)/4). Let m be ((-1)/3 - (-39)/135)*-3. Is m not equal to p?
True
Suppose 0 = -n + 5*c - 16, -5*n - 3*c = -4*c - 16. Suppose -n*q = -9 - 11. Suppose j = 4*y - 29 - 84, -3*y + q*j + 89 = 0. Which is smaller: 1 or y?
1
Let h be 1184/(-584) - 1*-2. Let b = h - 59/511. Let w(m) = -m**2 + 3*m + 3. Let v be w(4). Is v greater than b?
False
Let h = 6.02 - 6. Let s = 0.02 - h. Let j = s + -3. Is -2/13 >= j?
True
Suppose -v + 6 = -0. Let u = -4 - -34. Let c = u + -25. Which is greater: c or v?
v
Let h(o) = -o**2 - 2*o + 47. Let a be h(-8). Let f = -96/11 - -436/55. Which is bigger: f or a?
f
Let o(d) = -d**3 + 2*d**2 + 5*d - 7. Let y be o(3). Let n(q) = -q**2 + 2*q - 3. Let j be n(2). Let h = y - j. Is 15/7 <= h?
False
Let n = 564 - 393. Let a be (-12)/n*3/6. Let s be (-2)/(4/(-6)) + -3. Which is smaller: a or s?
a
Let f be ((-66316)/56)/(-59) + -20. Let b(a) = -a**3 + 5*a**2 - a + 5. Let m be b(5). Let p be (m - 0)/(-2 + 0). Is p at most f?
True
Let i be (-4)/(-1)*2/44. Suppose -2*j = -0*j + 4, -2*j - 28 = -2*l. Let y(p) = -p**2 + 13*p - 12. Let w be y(l). Is w <= i?
True
Let b = -682333/108 - -6318. Which is smaller: -1 or b?
-1
Let x(y) = -14*y + 54. Let n be x(13). Let l = 127 + n. Which is smaller: -4/19 or l?
l
Let a be (2/30)/((-3)/(-2)). Let b = 1969 - 1968. Which is greater: b or a?
b
Let g be (70/100)/((-6)/15) - -2. Which is smaller: -0.24 or g?
-0.24
Let s = 1/10 + 3/10. Which is greater: 25 or s?
25
Let v be 54 - -1 - (12 + -13). Let j = v + -59. Is 2 < j?
False
Let f = 0.1672 - 0.1957. Is -0.1 smaller than f?
True
Suppose -14*v - 24 = -11*v. Let c be (-10)/(-11) + v/8. Do 0.4 and c have different values?
True
Let n be 6/2*72/54. Suppose -3 = -2*o + 1. Suppose -2*p + o = -n*p. Is p greater than -1/6?
False
Let a be 15/(-6)*2/(-4). Let y be (-1968)/56 + 3/21. Let h = -34 - y. Which is smaller: a or h?
h
Let y be (-20)/21 + (-10)/(-15). Suppose 4*j + 3 = -5*p - 2, -j + 3*p = -20. Suppose 4*w = -4*o - 4, -w + 1 = -j*o - 2*w. Is o less than y?
False
Let l be (9 - 8)/(2/4). Let t be (2 - -6)/(-4 + l) + 0. Which is greater: 3 or t?
3
Let h = -1499084 - -2044750695/1364. Let f be 5 + 315/308 - 6. Let c = h - f. Which is smaller: c or -1?
-1
Suppose 4*l = h + 45, -5*h = -3*l - 3*h + 40. Suppose -p = p - l. Suppose s + 3*s + 24 = p*k, s = -k + 3. Which is greater: s or 1/42?
1/42
Suppose -8*s = -0*s - 120. Let p be (-12)/s - 56/(-20). Are p and 1 equal?
False
Let g = -13 - -23. Suppose z - 3*v = -z + 12, z - 4 = 2*v. Which is smaller: g or z?
g
Let b be ((0 - 0)*1)/1. Suppose b = -2*f - 1 - 3. Let m = 115 + -579/5. Which is bigger: m or f?
m
Suppose 28 = -307*v + 311*v. Which is smaller: v or 6?
6
Suppose -d + 4*d = 18. Let m(t) = -t**3 + 7*t**2 - 7*t. Let j be m(d). Let x be (81/(-24))/(j/(-8)). Which is greater: -4 or x?
-4
Suppose 52 + 60 = -14*j. Suppose -2*m - x = -5*m - 15, 0 = -5*x + 15. Let a = m - j. Is a at most 3?
False
Suppose 4*h + 22 = 70. Suppose 4*o = -h, -3*o = -5*q + o + 12. Is q not equal to 3/13?
True
Let l be 295/75 - (-8)/120. Are l and 2 nonequal?
True
Let g be 8/(-10) - (-444)/(-20). Let q = g + 41. Suppose 6 = 5*l - 3*p - 14, 2*l + 4*p = -q. Is -4 < l?
True
Suppose 5*o + 2*l = -1860, 7 = -4*o - l - 1484. Which is smaller: o or -375?
-375
Let t = 2.3714 + 0.6286. Let n = -7 - -4. Let b = n + 3.2. Which is smaller: b or t?
b
Suppose 3*q + 12 = 60. Suppose -3*h - 32 - q = 0. Let r = 1 + -1. Which is smaller: r or h?
h
Suppose 0 = 109*y - 110*y - 32. Which is greater: y or -157/5?
-157/5
Let q(y) = -y**2 - 43*y + 42. Let s be q(-44). Is s greater than -4.2?
True
Suppose u - 24 = -3*m, -84 + 12 = -3*u + 3*m. Let c = -21 + u. Let s = -4 + 6. Which is greater: s or c?
c
Let h(d) = -d**2 - 8*d - 4. Let m be h(-7). Let c be (m/(-2)*1)/9. Let k be (2/8)/((-3)/36*-6). Is k < c?
False
Let u = -31 - -32. Let l be 13/(-12) - u/4. Let i = 0.3 + 1.7. Is l != i?
True
Let t = -45 - -72. Which is smaller: t or -4?
-4
Suppose -9*y = -1 - 8. Is y >= 1/61?
True
Let j be (4/(-146))/(0 + -1). Let n be 1 - 5*4/20. Which is smaller: n or j?
n
Suppose 0 = -j + 5*j + 40. Let k(w) = w - 18. Let x be k(10). Let b be x/10 + 180/(-25). Which is smaller: j or b?
j
Let h = -20.8 - -22.8. Is 105 equal to h?
False
Let h(j) = -j**3 + 14*j**2 + 14*j + 8. Let p be h(15). Let l(c) = -c**2 - 9*c - 15. Let z be l(p). Is z not equal to -1/10?
True
Let j be (700/(-250))/((-1)/110). Is 307 at most j?
True
Suppose 0 = -10*v + 14*v. Suppose 0 = j - v - 3. Let n = 65/4 + -249/20. Which is smaller: j or n?
j
Let k be 5 - ((-328)/12)/((-42)/(-9)). Is k bigger than 12?
False
Let u(g) = 2*g**3 - g**2 + 2*g + 4. Let o be u(-2). Let h = 20 + o. Suppose q + 4*x + 11 = h, -8*q + 3*q - 3*x = 55. Are q and -11 equal?
True
Let d = 0.33 + 1.77. Let y = d - 0.1. Which is bigger: y or -6?
y
Let w(d) = 0*d - 14*d**2 - d**3 - 8*d + d - 14 - 7*d. Let h be w(-13). Let v = 60/13 - 1354/299. Is v > h?
True
Let z = -1.4 - -1.1. Let k = -13.3 - z. Is -2 < k?
False
Let y(c) = -2*c + 12. Let x be y(-1). Let b(o) = o**3 - 13*o**2 - 13*o - 27. Let m be b(x). Let g = -32 + 20. Which is smaller: m or g?
m
Let w be (-6)/(-30) + -6 - -6. Is 0.19 < w?
True
Suppose 4*d = -0*d. Let f be (2 + d)/(8/156). Let o = 19 - f. Are o and -20 equal?
True
Let g(w) = -w - 7. Let t be g(-9). Let r = 17 + -6. Is t at least r?
False
Suppose 0 = -2*l + 9 + 5. Let g(p) = -p + 16. Let w be g(l). Let x = 15 - w. Which is bigger: 8 or x?
8
Suppose -2*g = -r + 23, 0 = 14*g - 16*g - 4*r - 38. Which is bigger: -26 or g?
g
Suppose -2*g - 5*v = -45, -22 + 1 = -2*g + 3*v. Suppose -23*j + g = -20*j. Suppose 0 = c - 5*h + 3*h + 12, 0 = j*c - 2*h