e q(-4). Are -24 and g unequal?
True
Let k be 45/(-18)*(6 - -1). Let q = 28 - 94. Let m = q - -48. Are k and m equal?
False
Suppose 2*h + 2174 = -1326. Is -1753 bigger than h?
False
Suppose -38 = -2*h - 30. Suppose 3*k + h*y = 2*k - 12, k = y - 7. Is -34/5 greater than k?
True
Let j(p) = 12*p**2 - 4*p - 3. Let c be j(-4). Let g be -1 + (-1)/(5/c). Let w be (-3)/(-2)*12/g. Which is smaller: -1 or w?
-1
Let c = 32210460/46837 - 4814/7. Which is smaller: c or 0?
c
Suppose -1 = 9*w - 8*w. Let v be w/(-2)*(49 + (-1 - 0)). Let m be 6/(-21) - v/14. Is -14 smaller than m?
True
Let m be (-3)/(-6) + -2*162939/(-28). Suppose 4601 = -20*y - m. Does y = -812?
True
Let h be (-84)/168*(-681)/30. Is 10 < h?
True
Let w = 15/4 - 443/116. Let g = 13.2 + 1.8. Let f = -16 + g. Is w equal to f?
False
Suppose 0 = -43*d - 53522 - 110953. Let y be 25/(d/18) + 2/17. Let t = -7 + 13. Is y at most as big as t?
True
Let n(h) = h**3 + h**2 - 2. Let b be n(3). Let l = -41 + 54. Suppose -u + 14*u - l = 0. Which is smaller: b or u?
u
Let a(l) = 2*l**2 - 5*l + 35. Let q be a(10). Suppose 2*x = d + 69, 5*d + q = 5*x - 155. Which is greater: -63 or d?
-63
Let p(d) = d - 6. Let a be p(7). Suppose 0 = -262*h + 289*h - 27. Are a and h equal?
True
Let y = -12575 - -12575. Which is smaller: y or -2/1811?
-2/1811
Let h be 930/(-130) + 7 + (-36)/(-208)*-2. Which is smaller: -246 or h?
-246
Let l(h) = h**3 + 5*h**2 + 2*h - 1. Let p = -23 - -19. Let w be l(p). Suppose -w*z - 143 = 6*z. Are -10 and z non-equal?
True
Let y be (-189)/(-18) + -10 - 303/(-2). Let i = y + -121. Which is greater: i or 33?
33
Let m = 1.4709 + -1.581. Is m at most as big as 1?
True
Let m(n) = -21*n - 1109. Let o be m(-74). Which is smaller: 2226/5 or o?
o
Let s be (-1)/((105/115)/21). Are -11 and s equal?
False
Let a = 2278/2405 - 104/111. Which is smaller: -1 or a?
-1
Let t = -39 - -47. Let l be 2/4 - ((-484)/t)/1. Let a = l - 61. Is -2/73 < a?
True
Suppose 0 = -3*c + 4*c - 3*c. Suppose -5*w - 13*w - 234 = c. Which is smaller: -11 or w?
w
Let g = -34 + 97. Let y = g + -71. Let q = -24 - y. Is q at least -16?
True
Suppose 41*p - 9727 - 5484 = 0. Is 372 less than p?
False
Let o = 13.0493 + 1.0087. Let z = o + -14. Let y = z - 0.096. Which is smaller: -2/5 or y?
-2/5
Let r be 12/2*14/(-21) + 24. Let m be -236*(-7)/(8 + r). Which is greater: 54 or m?
m
Let m = -3340 + 3417. Is -2 > m?
False
Let z = 6954 - 49222/7. Are z and -77 equal?
False
Let i be (-1526)/(-1152)*3 - 4. Let v = i + 2213/192. Let x = v - 13. Is -1 at least x?
True
Suppose -5*d + 5*f + 42235 = 0, 4*d + 8*f - 43254 = -9466. Which is greater: 8448 or d?
8448
Suppose 5*k + 5*r = -0*r + 30, -4*k = -5*r - 24. Which is greater: k or 71/15?
k
Let l = 1042 - 532. Let b = l + -510. Which is bigger: -0.1 or b?
b
Suppose 24 = 38*f - 46*f. Let d be f - -4 - (-5 + 3). Which is smaller: d or 7?
d
Let p be 48504/(-336) - (1 + -20). Which is greater: p or -125?
-125
Let f = 22.2 - 21.993. Let d = f + -66.207. Is d less than or equal to -1?
True
Suppose 4*f + 822 + 1736 = -t, 3*t = f + 646. Let x be f/28*(-16)/10. Which is smaller: 38 or x?
x
Suppose 23664 = -6*z - 88092. Let h = z + 8214062/441. Is 1 at most as big as h?
False
Suppose 19*k - 117*k = 6 - 6. Do 59/117 and k have the same value?
False
Suppose -5*z = n + 3080, 41*z = 40*z + 4*n - 616. Let s = z + 501. Which is smaller: -113 or s?
s
Suppose 2*h - 16 = -x + 2*x, -3*x + 3*h = 42. Let o(p) = p**2 + 11*p - 13. Let n be o(x). Let w = -9749/16 - -609. Is n less than w?
True
Let x = 4172 - 7392. Which is smaller: -2 or x?
x
Let s = 84 + -53. Let k be -20 - 93/s*(-2)/6. Suppose -27 = 2*a + 9. Is a less than or equal to k?
False
Let r(g) = -9*g + 16. Let u be r(-6). Let f be (144/u + -2)*(2 + -1). Let n be 14/(-2) + 64 + -57. Which is smaller: n or f?
n
Suppose -660 = 27*g - 12*g. Let q be (-15)/(-50)*g/(-6). Let b be 2/(-3)*(-3)/(-8). Is q >= b?
True
Let i = 7 + -9. Let v = -2 - i. Let x = 5191/60 - 260/3. Which is smaller: x or v?
x
Let p = -0.05914 - 1426.94086. Do 1 and p have different values?
True
Let g = -284.97 + 286.8. Is -0.2 at most g?
True
Let q = -228 - -124. Let d = -104 - q. Let g(v) = -v - 2. Let l be g(-4). Which is smaller: l or d?
d
Suppose 0 = r + 4*h + 206, r - 12*h + 242 = -7*h. Which is bigger: -224 or r?
r
Suppose r + 47 - 61 = 0. Suppose 3*b - 5*z - r = b, -b - 4 = 3*z. Suppose -g = -b*g + 6*g. Is 3 not equal to g?
True
Suppose -6*v + 179 - 1089 = m, -2*m + 4 = 0. Is -1656/11 at most as big as v?
False
Suppose 30 = 3*u - w, -33 = -14*u + 12*u + 5*w. Let y be (-54)/u + 1 + (-1 - -15). Is 7/4 at least y?
False
Let c = 168 + -171. Let m = -68/11 + 1790/407. Is c smaller than m?
True
Let p be (-2 + 0 + 1)*22/(-88)*4. Let g(x) = 77*x**3 + x. Let a be g(1). Let q be -17*14/a - -3. Which is smaller: p or q?
q
Suppose -98 = 43*u - 365 - 77. Which is greater: -25 or u?
u
Let v = -977 - -38099/39. Let n(r) = -r**2 + 23*r + 109. Let x be n(-4). Which is bigger: x or v?
x
Suppose -5*v - 55 = -5*o, -v + o - 2*o = 9. Let a = -10 - v. Let x = 28.0269 - 0.0269. Does a = x?
False
Let y(i) = -8*i - 22. Let o be y(-4). Let g(w) = w**3 - 9*w**2 - 6*w + 34. Let n be g(o). Suppose 12*h + 374 = n. Which is smaller: -24 or h?
h
Let w = 0.44 - 1.482. Let x = -1.1 + 1.058. Let i = x - w. Are i and -16/5 unequal?
True
Let k = 2896/5 - 20284/35. Let a be -1 - (-54 - -19)/((-1)/(-2)). Let p = -68 + a. Which is smaller: k or p?
k
Let z be (-201)/(-15) - -1*(-4)/10. Let i = -11 + z. Suppose -i*k = -5*h + 21, -110 = 6*k - k - h. Does k = -23?
True
Let h = 83.39 + -83.5. Let c be (2/5)/(36/40*2). Which is smaller: h or c?
h
Let t be (420/56)/(-1 + 1 - 3/(-6)). Are t and 265/19 non-equal?
True
Let t be 4/30 + ((-6482)/10440 - 12/(-27)). Which is smaller: t or -1?
-1
Let v(y) = -143*y + 66. Let n be v(1). Which is smaller: n or -83?
-83
Let c be (-181)/(-560) - 4/14. Let l be (-4 + 4)/(4 - 2). Is c <= l?
False
Let j = 846.566 - 847. Let x = -0.455 - j. Which is smaller: -0.02 or x?
x
Suppose -4*i = -2*v - 2*v - 216, -154 = 3*v - i. Let s = -47 - v. Suppose -y + 7 = -3*f, -4*y + f - 1 = -s*y. Is -7 equal to y?
False
Suppose -4 = -f + 25. Suppose -32*v = -f*v + 66. Which is smaller: -23 or v?
-23
Let y(k) = 0*k + 2*k**2 + k + k**2 + 0*k. Let n be y(-1). Suppose 2*b + n*b + 116 = 0. Is b at least as big as -29?
True
Let m = -39.9 + 38. Let n be (-18)/(-15) + 864/30. Let x be ((-192)/(-336))/(n/21). Does x = m?
False
Let n(j) = 30*j - 180. Let h be n(6). Which is greater: h or -2/559?
h
Let f be 2/(-10) + (-12 - (-33332)/(-65)). Is f >= -524?
False
Let q(s) = 14*s**2 + 62*s - 230. Let l(b) = 7*b**2 + 31*b - 116. Let i(y) = 13*l(y) - 6*q(y). Let u be i(5). Is u >= 202?
True
Let v = 3666 + -3666. Which is bigger: 1588 or v?
1588
Let d = -37 - 119. Let c = d - -173. Which is smaller: c or 22?
c
Let f = -42540.94 - -43012. Let c = f - 364. Let r = c + -107. Is r > 2/5?
False
Suppose 3*h = 4*h + b - 13, 0 = -b + 5. Suppose -7*f = -h*f. Let x be (5 + -3)/(4/2). Which is bigger: f or x?
x
Suppose -5*q + 10 = 0, -7*h + 2*h - 4*q - 272 = 0. Let l = h - -58. Suppose l*k = 3*k. Is -2/169 > k?
False
Let t = 718 + -2871/4. Let c be -1*(-3 + 8 + -4). Is c equal to t?
False
Let h = 1.54 + -1.64. Let p = -69.1 - -65.4. Which is smaller: p or h?
p
Let u(c) = -6*c + 1. Let l be u(-6). Let a be l - -2*(-3)/6. Let j = a - 51. Is j != -15?
False
Let v = -126/25 + 1517/300. Suppose z = 3*a + 251, 227 + 193 = -5*a + 2*z. Let x = 82 + a. Is v smaller than x?
False
Let b be 996/108 - 9 - 40/18. Let v be ((-54)/(-12) - 4)*b. Which is greater: v or -1/4?
-1/4
Suppose 2 = -a - v - 0, 4*a = 2*v - 2. Let b be 6/14 + 2750/(-1386) + a. Which is smaller: b or -2?
b
Let n(l) = -40*l - 45. Let v(p) = -39*p - 46. Let s(j) = 5*n(j) - 6*v(j). Let c be s(7). Suppose -c = 7*i + 201. Is i greater than -71?
True
Let r = 48 - 46. Let a be ((-8)/(-18))/(-1*r/(-9)). Suppose 6 = a*n + 4*u, -u - 11 = -3*n - 2. Is n less than 6?
True
Let q(h) be the second derivative of h**4/12 - 4*h**3/3 - 19*h**2 + h. Let r = -548 - -555. Let o be q(r). Is -46 not equal to o?
True
Let t = -0.02865 + -6.37135. Is t less than or equal to 0.73?
True
Let g(c) = c - 14. Let f be g(-12). Suppose 322725*u = 322710*u - 435. Which is smaller: f or u?
u
Let i = 1370.008 - 1405. Let j = 35 + i