 = h - 14 - 5. Suppose -7*j + 2*j - 4*l = l - 75, 0 = -4*l. Does h = j?
False
Let z = 0 - 0.05. Let a = -12 + 7. Let n = a - -3. Is z at least as big as n?
True
Let y = -2.9 - 0.1. Let f = 0 - -2. Is y <= f?
True
Let p(g) = 5*g**2 - 66*g + 13. Let b be p(13). Which is bigger: b or -51/7?
b
Let b = -7 - -11. Suppose -3*i + b = -5. Let o be 0/(i/3 - 0). Is -0.07 less than o?
True
Let b be 1*(-4)/(5*(-20)/(-75)). Is -55/23 bigger than b?
True
Let o = 1789 - 184269/103. Which is greater: o or -1?
o
Let a = 17.3 + -1.3. Let s = 0.02 - -7.98. Let h = s - a. Is 0.1 at least as big as h?
True
Let a be ((-6)/9)/(2/(-549)). Let b = a - 3106/17. Which is smaller: 0 or b?
0
Let b be 2 + -83*(3 - 4). Suppose 4*s + 5*p - b = -s, p = 2*s - 31. Suppose -4*g - s = -4. Which is greater: -2 or g?
-2
Suppose 4*t + 10 = -t. Let m be -1 + 3/2 - 11/2. Which is smaller: t or m?
m
Let l(x) = -x**3 + 2*x**2 + 29*x - 21. Let s be l(-5). Is 38/5 at most s?
True
Let v be 12 + (-2 - 5) + 13/(-3). Is -13 bigger than v?
False
Let j = -222.2 - -222. Which is bigger: j or 55?
55
Suppose -4*f + 3*i - 11 = 0, 2*i = i + 1. Which is bigger: f or -24/7?
f
Suppose 3*t = 5*a - 12, a = 4*t + t + 20. Let r = 34 + -239. Let h be 5 - (2 + r/(-75)). Which is smaller: h or a?
a
Let f = 294/65 + -34687/7670. Which is smaller: f or 0?
0
Let c = -2/3915 + 136/61857. Which is greater: c or 0?
c
Let c(p) = -p**2 + p. Let b be c(0). Suppose -5*v - v = b. Is v equal to 0.1?
False
Let y(n) be the first derivative of 3*n**2/2 - 11*n - 4. Let a be y(4). Is a at least as big as 4?
False
Let v = 131611/19 - 6924. Which is bigger: 4 or v?
4
Let u be 1/2*2 - -28. Let g be (-52)/13*((-33)/4 + 1). Is u >= g?
True
Let y = 7 + -6.8. Is y smaller than 29.1?
True
Let p(q) = -15*q + 4. Let h be p(-2). Let l = h - 43. Let w(m) = m + 5. Let u be w(-5). Are u and l equal?
False
Suppose 5*g + 3*y + 674 = 0, y - 662 = 5*g - 0*y. Is -133 less than or equal to g?
True
Let b = -6 - -6.3. Let d = 627.03 - 627. Which is smaller: d or b?
d
Suppose 0 = 5*j + 5*q + 30, 3*j - 9 - 13 = 5*q. Are j and 2/61 equal?
False
Suppose -4*i = 5*t + 4, 5*t = 5*i - 5 + 10. Is -13/62 at least as big as t?
False
Suppose 5*l + 8*c = 9*c + 314, 4*l + 4*c - 256 = 0. Suppose 0*r + r = 64. Is l > r?
False
Let z = -27.68 + 35.2. Let u = 7.6 - z. Are 2/5 and u unequal?
True
Let l = -49.7 + 5.7. Let c = -43.7 - l. Is c equal to 2/11?
False
Let a be (-1)/(2 - 315/119). Is 3 less than a?
False
Let f(w) = 4*w + 8. Let k be f(-3). Let a = -26 + k. Which is bigger: -28 or a?
-28
Suppose 31 = 3*b + 478. Let z = b - -1045/7. Let m = -1/6703 + 60335/53624. Is m greater than z?
True
Suppose 0 = 5*x - 4 - 6. Suppose 17 = x*d - 3*q, -3*d - 4*q - 2 = 15. Which is greater: d or -2/71?
d
Suppose 4*a + 2*a - 36 = 0. Suppose -a*t = 4*t - 30. Which is bigger: t or 24/7?
24/7
Let j = -6/2345 + 1566478/7035. Which is bigger: j or 222?
j
Let r = 1295 + -1295. Do r and 24/47 have the same value?
False
Let m = 82.9 + -82.7. Which is smaller: -105 or m?
-105
Let h(p) = -4*p**2 - 19*p - 11. Suppose 5*v + 45 = -z - 0*z, 5*v = 2*z - 30. Let j be h(v). Is j at most as big as -116?
False
Let a be 34/(-2) - (-3 - -5). Let c be a/2*38/19. Are -17 and c non-equal?
True
Let u = 49.949 + -50. Let v = u - -8.051. Suppose 0 = -2*s + 3*s. Which is smaller: s or v?
s
Let b(p) = -p**3 - 14*p**2 - 16*p - 18. Let w be b(-13). Let y = -21 + w. Does -2/23 = y?
False
Let m be 0*(0 + (-1)/(-1)). Let y be -5*3/((-12)/(-32)). Let l be (-6)/8*y/(-405). Is m greater than l?
True
Let t = -578138/5 - -115209. Let g = t + 417. Let x be (0 - 1)*(2 + -1). Is x not equal to g?
True
Let r be (-230)/(-14)*(-32)/(-100). Let g = r + -48/7. Is g not equal to -2?
True
Suppose -6*w = -3*w - 5*q - 79, 4*q - 107 = -5*w. Which is smaller: w or 13?
13
Let m be ((-28)/(-12))/(1/9). Suppose 2*w - y + 7 = 0, -5*y + m = 3*w - 6*w. Let i = w - -4/3. Which is smaller: -1/4 or i?
i
Let a be 0/(-3) + (-8)/(-4). Let i be -4*(-2)/8*(a - 1). Is 2 at most i?
False
Let i be 0 - 1 - 8/30. Let a = 8/5 + i. Let t(o) = -o**2 + 5*o + 24. Let h be t(8). Is a bigger than h?
True
Suppose 472 = -9*h + 112. Is h <= 13?
True
Let i = -836 - -917.2. Let v = i + -81. Which is smaller: v or 0?
0
Let y be 4*1 - -8*12/(-32). Suppose -5*c - 315 = -3*q, -q - 4*q = 2*c + 126. Let o be -3*(-3)/c*3. Is o at most y?
True
Suppose 12 = 3*s, 1 = 3*c + s - 3. Let g = -7848/11 - -712. Which is bigger: g or c?
c
Let a = -33 + 31. Let x = -10 + 11. Let n = x + a. Which is bigger: 1/4 or n?
1/4
Let h = -3 + -5. Let j = 743/9 + -803/9. Which is greater: j or h?
j
Let f(u) = -3*u - 3. Suppose -2*t = k - 4, -t = 3*k - 0*t + 13. Let h be f(k). Let d be (-1)/h - (-4)/10. Are 2/7 and d unequal?
True
Let j = -10143447599/1141 - -8889962. Let p = -3/163 + j. Let s = 67/70 + p. Which is smaller: 1 or s?
s
Let u = -12494/51 - -245. Are u and -1 non-equal?
True
Suppose 5*o + 0*o = -0*o. Which is bigger: o or -13/20?
o
Let b be 1 - 8 - (-14 - -11). Is 34 greater than or equal to b?
True
Let t = 38 + -30. Let d = t + -5. Suppose -l = -1 + d. Is l < -1?
True
Let t be (8/24)/(-1 + 256/258). Let d = t - -43. Which is greater: -2/3 or d?
d
Let w(l) = l - 1. Let o be w(9). Suppose -10*n = -2*n - o. Do 4/7 and n have different values?
True
Let r(o) = -o**3 + 5*o**2 + 3. Let v be r(5). Let h be (-4 - 27/(-6))*0. Suppose h = -t - v*t. Which is bigger: t or 1?
1
Let w(s) = s**3 + 8*s**2 - 38*s - 14. Let p be w(-11). Which is greater: 24 or p?
p
Let t(u) = -u**3 + 6*u**2 - 2*u - 11. Let s be t(5). Suppose 3*y + 2*d = s - 3, 4*d = -3*y - 7. Let q be (-32)/(-11) - 9/y. Do q and -1 have different values?
True
Suppose -9*j - 335 = -4*j. Is j equal to -67?
True
Suppose -2*u = -0*u + b - 3, 0 = -3*b + 9. Suppose -24 = 4*d + 2*n - 5*n, 2*d + 3*n - 6 = 0. Which is bigger: u or d?
u
Let t be 3 + -3 - (-5 - 0). Suppose -4*i = -t*i + 1. Let l = -451.3 + 451. Which is bigger: l or i?
i
Let a = -3.35 + 3.18. Which is smaller: -37 or a?
-37
Let z be (4824/(-27))/((-14)/21). Is z less than or equal to 266?
False
Suppose 37*j - 46*j = 36. Is -26/5 > j?
False
Let m be (-1)/(4 + (-51)/12). Suppose -m*l - 78 = 2*l. Is l greater than -41/3?
True
Let h = 1.72 - 1.52. Let u = -449/6 + 75. Which is bigger: h or u?
h
Let u be ((-1)/6)/(1/4). Let h = -255 - -253. Is u smaller than h?
False
Let k(l) = -l**2 - 12*l + 17. Let v be k(15). Let p be v/44 - ((-6)/(-33) + 0). Suppose 5*a + 2 = -43. Is a < p?
False
Let h(l) = 2*l**2 - 6*l**2 + l + 4*l**2 + 6 - 5*l**2. Let f be h(-2). Let i be (4/f*-4)/(-1). Which is bigger: i or -7/5?
i
Let y be (-7)/((-112)/(-732)) - 8. Which is smaller: y or -53?
y
Let f = -14 + 27. Suppose p - f = -16. Which is smaller: -4 or p?
-4
Let v be 1/2 + (-1)/2. Let a be (-931)/5301 + ((-12)/(-54))/2. Is a <= v?
True
Suppose g - f = 2, 3 = 3*g + 3*f - 15. Suppose -3*s + s + 5*c = 9, -5*c = g*s - 27. Which is smaller: s or 2?
2
Suppose -438 = -5*v + 3*p, -4*v + 62 = p - 302. Are 90 and v equal?
True
Let f be 1/(2 - (142/8 - 4)). Which is greater: f or 2?
2
Let l = -36 - -36. Let q(k) = k**2 - 2*k + 8. Let a be q(l). Which is smaller: 9 or a?
a
Suppose 9*k = 4*k + 135. Which is greater: -0.01 or k?
k
Let o(t) = -41*t + 232. Let a be o(5). Which is smaller: 3 or a?
3
Suppose -5*t - 4*g + 2*g + 725 = 0, -5*g = -4*t + 580. Let w = 124 - t. Suppose 0 = 4*x - k + 85, -k + 85 = -5*x - 4*k. Is w smaller than x?
True
Let a(i) = i**3 - 17*i**2 + 18*i + 38. Let t be a(16). Is t at most 70?
True
Let f = 93 + -92.963. Let s = f + 0.053. Let n = 1 + -2. Which is greater: n or s?
s
Let u be ((-6)/8)/((-8)/32). Suppose 0 = -4*i - 3*l + 4, 4*l - 4 - 6 = -u*i. Is -3 less than i?
True
Suppose -268 = b + 197. Let d be (-6)/(-24)*-4*(-20476)/44. Let r = d + b. Is r at least as big as -1?
True
Let z(q) = -10*q - 64. Let t be z(-6). Let b be (t/430)/((-15)/225). Is b >= 1?
False
Let f(z) = -z**3 - 3*z**2 + 4*z - 1. Let d be f(-4). Let a = -450 + 421. Which is smaller: d or a?
a
Suppose 3*x = -3*u - 2*x - 19, -36 = 4*u - 4*x. Let w be u/20 - (-27)/5. Which is smaller: w or -1?
-1
Let l = 1 - 3. Let h(j) = 2*j**2 + 16*j + 30. Let n be h(-5). Let y be n - (2/l + -4). Which is greater: y or 6?
6
Let v(x) = -3*x - 7. Let m be v(-5). Suppose 4*h = m, -3*u + 7 = -0*h - h. Which is smaller: 4 or u?
u
Let z 