)/1170)/((-4)/10). Let r be (-30)/(-56) + (-1)/4. Is r at most as big as o?
False
Let f(x) = -2*x - 11. Let i be f(13). Let w be (-2 - (1 - 2))*i. Suppose -w + 1 = -4*z. Is z less than 10?
True
Let v = -15 + 4. Let r be 11/(33/(-4))*-9. Let w = r + v. Which is smaller: -2/27 or w?
-2/27
Let b = 19 + -48. Let h = -29 - b. Is 1/6 less than h?
False
Let n = -1326 - -1325.5. Is 4 < n?
False
Suppose 16 = -j + 37. Suppose -h = -4*a + 84, -2*a - a - 3*h + 63 = 0. Is a bigger than j?
False
Let h = 23164/37 + -626. Is 0 smaller than h?
True
Suppose 5*z = -5*h + 4*h - 23, 5*z = -5*h - 15. Let y be ((3 + -6)/(-18))/(1/h). Is y not equal to 3/2?
True
Let m be (-22)/(-10) + (-10)/50. Let b(c) = 25*c + 3. Let t be b(m). Suppose 5*z - 8 = -t. Which is smaller: z or 0?
z
Let v be (143 - 1)*(-29)/58. Is -68 less than v?
False
Let u be (-1)/3 + 2 + (-40)/24. Which is smaller: u or 1/261?
u
Let v be 10/50 + 14/(-20). Is 37 greater than or equal to v?
True
Let m = 48.9 + -64. Let s = m + 8.8. Which is smaller: 1 or s?
s
Suppose 6 - 8 = 2*r. Let l be (-3)/5 + r/(-2). Which is smaller: 0 or l?
l
Let h be (-1)/(-4) + 1/(-4). Suppose -c - 2 + 4 = h. Suppose 2*b + c*b - 8 = 0. Is 10/7 <= b?
True
Suppose 4287 = 75*f - 5313. Is 127 < f?
True
Let q = 3517/105 + -241/7. Suppose -7*g + 15*g = -5*g. Which is bigger: g or q?
g
Let i = 2/6157 - -1539244/18471. Let b = -84 + i. Let p = -0.12 + 0.22. Which is smaller: p or b?
b
Let m(a) = -26*a + 129. Let x be m(-8). Is 337 at most as big as x?
True
Let z be 2 - 5*(-6)/(-12). Which is smaller: 5 or z?
z
Let k be (-22)/(-4) + (-3)/(-6). Let f be ((-8)/k)/((-2)/27). Is 19 smaller than f?
False
Let h be (168/(-20))/(12/30). Suppose -4*x = -5*l + 63, -1 + 4 = x - 5*l. Which is greater: x or h?
h
Suppose 0 = -4*k - 0*k + 4*r + 32, 9 = 3*k + 2*r. Suppose k*w = -4*x - 10, 2*w = -3*x + 4*x + 9. Let y be 7 + -3 + -5 - w. Does -13/3 = y?
False
Let b be (-1 - -4)*-1 - (-13)/13. Let n be -1*(b + -1 + 4). Which is smaller: 7/15 or n?
n
Let c = -22.06 - -22. Let r = 0.2 + 0.8. Which is greater: c or r?
r
Let r = 0.058 - -0.342. Let n = 0.14 + -0.14. Which is bigger: n or r?
r
Let z be (-2)/(-7) + (-8)/35. Let j = 1209 - 1209. Which is smaller: z or j?
j
Let x be 2/1 - (-3)/((-3)/(-2)). Let s = -203408/2955 - 31/985. Let b = s - -221/3. Does x = b?
False
Suppose 2*s = -5*j + 9 - 4, 4*s - 3 = -3*j. Suppose 2*c = -j - 35. Is -55/3 less than c?
True
Let t = 505.167 - 505. Are -1 and t equal?
False
Suppose -4*p - 24 + 32 = 0. Suppose p*v - 40 = 5*h + v, h - 18 = -5*v. Is h > -7?
False
Suppose m + 4*m = -3*t - 36, 0 = 2*m - 2*t + 8. Let f(d) = d**2 + 7*d + 12. Let v be f(-8). Let c = 16 - v. Does c = m?
False
Suppose 2*g + 14 = 2*o, -3*o + 9 = -0*o. Suppose -5*s + 7 + 3 = 0. Let b be ((-3)/s)/((-15)/(-40)). Do g and b have the same value?
True
Let v = -2077 + 2068. Suppose -j - 5*d = -2, -3*d = 5*j - 2*d + 38. Which is smaller: j or v?
v
Let h be (3 - 5)*-4 - -1. Let g = h + -7. Suppose -b = b - g. Which is bigger: b or 4/3?
4/3
Let j = -155 + 181. Let d = 59 + -35. Is d not equal to j?
True
Let d = -30 + 30. Suppose d = -2*f + y - 4*y - 12, 30 = -5*f - y. Let c be (6/(-81))/((-1)/f). Which is bigger: 1 or c?
1
Let l be (-4 + 16)*1/2. Suppose 10 = t - 5*r, t + 3*r + l = 4*r. Let g = -1 + t. Which is greater: -10 or g?
-10
Let z = -79 + 78.83. Is z > -2/15?
False
Suppose -37*c = -4*c - 495. Is -1/7 at least as big as c?
False
Suppose 0*a + a = -21. Let d(q) = -q**2 + 20*q - 17. Let w be d(18). Let n = a + w. Is n != -7/5?
True
Suppose 0 = i - t + 2, 3*i = 6*i - 4*t + 9. Let k be -2 + (-2 - 4227/48). Let a = k - -92. Which is greater: a or i?
i
Let n = -459 + 25244/55. Let h = -5 - -5. Which is greater: n or h?
h
Let k(t) = -4*t + 7. Suppose 0 = 3*h - 4*i + 8, -7*i = -3*i - 20. Suppose -25 = -5*l + h*u - 5*u, 4*l = -u + 21. Let j be k(l). Is -6 < j?
False
Let i(r) = -5*r**2 + 2 + 2*r - 4*r**2 + 3 + 8*r**2. Let a be i(0). Suppose -7*l = -a*l. Which is smaller: l or 2/3?
l
Let x be ((-542)/(-8))/(126/(-12)). Let f = 540/17 - 2611/102. Let h = f + x. Which is greater: h or -0.1?
-0.1
Let z = 45 + -242. Which is smaller: z or -198?
-198
Let m = 3.03 + -2.5. Let n = m + -0.49. Is 3 smaller than n?
False
Let a be (3/(-6))/(2/(-8)) + 2. Suppose 3*o = y - 13, 2*o = a*y + y - 13. Does -2/9 = y?
False
Let i(w) = -8*w**2 - 10*w + 23. Let m be i(-9). Is 2 bigger than m?
True
Suppose h + 1 + 6 = 0. Let f(k) = -k**3 + 10*k**2 - 6*k + 21. Let p be f(9). Suppose 0 = o + 54 - p. Is h at least as big as o?
False
Let v(l) = l**3 - 6*l**2 + 6*l + 5. Let a be (-2)/(-9) - 301/(-63). Let t be v(a). Suppose -11*n = -t*n - 1. Is n at most 4/3?
True
Let c be 114/(-4) - 303/202. Let u(q) = q**2 + 2*q - 1. Let k be u(-2). Does k = c?
False
Let z be 54/135 - (33/15 - 2). Let n = -2.9 - -3. Which is smaller: n or z?
n
Suppose 12 = -4*a, -h + 49*a = 51*a + 26. Which is greater: 3/7 or h?
3/7
Let s be (30/9)/(7/126). Let q be ((-3)/s)/(-1 + 57/45). Is -1 equal to q?
False
Let m(s) be the first derivative of -s**3/3 + 5*s**2 - 16*s + 12. Let z be m(8). Which is bigger: z or 1?
1
Let f = 84.1 + -83.816. Which is greater: -0.2 or f?
f
Let b be -1 + (-6)/(-8) + (-2331)/(-12). Let h be ((-3)/b)/(-2 - 18/(-12)). Which is greater: 0 or h?
h
Let g = -304 - -642. Which is bigger: -1 or g?
g
Let w(a) = 7*a**3 + 6*a**2 + 6*a - 9. Let t be w(-3). Which is smaller: -647/4 or t?
t
Suppose 4*c + 0 = -16, -2*c = 5*h - 32. Suppose 0 = 3*n + 5*z - 27 - h, 3*n - z - 29 = 0. Let p be (2 + -4)*n/(-4). Is 3 >= p?
False
Let s = 8246.4548 + -8276.7. Let b = 0.3052 + s. Let w = 30 + b. Which is smaller: 0 or w?
0
Suppose -v = l, 0 = -2*v + 5*l - l + 24. Suppose v*i - 6*i = -4. Let p be (-57)/12 + 2 + i. Which is greater: p or 0?
0
Let a be (81/(-18) - -5)*2. Is a at most as big as -1/212?
False
Suppose -4*p = -3*p - 2*p. Suppose m = -j - 7, p = -3*m + 4*j - 21 - 0. Is m != -4?
True
Let i be 28 - ((-14)/(-49) + (-38)/(-14)). Suppose -8*p + 255 = -i. Which is smaller: 36 or p?
p
Let z(x) = 4*x - 9. Let j be z(6). Suppose 2*h - p + 253 = 0, 4*p + j = p. Let s = 2449/19 + h. Which is smaller: 0 or s?
s
Suppose -o - 3*b - 50 = 0, -4*o - 84*b + 79*b = 193. Which is bigger: -53 or o?
o
Let v = 1107 + -1083. Let c(b) = 6*b**2 + 2*b. Let s be c(2). Let u = 52 - s. Are u and v equal?
True
Let u = 0.005 - 0.036. Let t = 0.001 + u. Is t bigger than -1/13?
True
Let h be ((-1055)/70)/(9/2). Let x = 34/9 + h. Let q = 0.2 - 0.2. Is q < x?
True
Let x = 158/23 - -728/115. Which is smaller: x or -1?
-1
Let o be (-6 - -6) + (62 - 3). Suppose 11 - o = -3*t. Are 16 and t unequal?
False
Let i(k) = k - 5. Let y be i(-6). Which is smaller: y or -144/13?
-144/13
Let p be 4/14*15/120*1. Which is greater: p or 4/5?
4/5
Suppose 3*f = 9*f + 96. Let t be (-9)/((-45)/(-100)) + (0 - -4). Is t <= f?
True
Let s be 2/6 - (-7 + (-19112)/(-24)). Which is bigger: s or -790?
s
Let f = -2/169103 + 620100733/2705648. Let q = -161 + -68. Let x = f + q. Is -1 bigger than x?
False
Let m = 652/2107 - 22/49. Are 3 and m non-equal?
True
Let v(g) = -g**3 + 11*g**2 - 19*g. Let z be v(9). Which is smaller: z or -11?
-11
Let n be (-10)/(-55) - 0 - 106/(-22). Suppose n*f - 2 = 48. Which is bigger: f or -2/5?
f
Suppose -7*l + 12 = -23. Suppose 3*t - 4*r - 13 + 1 = 0, -2*t + 15 = -l*r. Which is smaller: t or -21?
-21
Let f(u) = u**2 - 6*u + 2. Let r be f(6). Let h be (r/(-6))/(5/15). Is h smaller than 2/5?
True
Let h = -610 + 3655/6. Let d = -223/4 + 56. Which is bigger: d or h?
d
Let t = 301.02 - 301. Which is bigger: t or 8?
8
Let n be 3/(-2*(-12)/16). Let m(y) = y**3 - 9*y**2 + 9*y - 8. Let v be m(8). Suppose 4*i - 4 = -v. Does i = n?
False
Suppose 9*w - 42 + 6 = 0. Let u be 249/51 + 4/34. Is w bigger than u?
False
Suppose -6*h - 26 = -2*k, -h = 2*k - 3*k + 5. Which is smaller: k or 31/23?
k
Suppose -30 = -5*i + 2*i. Let v(u) = -7*u - 4*u + i*u. Let h be v(-1). Which is smaller: 3/10 or h?
3/10
Let w = 1661 + -1242. Is w < 421?
True
Suppose 5 = 3*q - 0*n - n, 4*n + 6 = 5*q. Suppose -q*x = x - 39. Suppose 31 = -3*v + x. Which is greater: -5 or v?
-5
Let q = 131 - 131.15. Is q less than -2?
False
Let y = 187 + -100. Suppose y*d - 83*d = 4. Which is greater: 3/49 or d?
d
Let j = -66/571 + -22286/24553. Let s = j - -928/1075. Which is bigger: 1 or s?
1
Le