than 5?
True
Let g be -133 - (10/(-2))/(14/(-14)). Is g smaller than -137?
True
Suppose 5*i - 52781 = 4*f, i = -4*f - i - 52802. Let a = 66361/5 + f. Let l = 73 - a. Which is smaller: l or 1?
l
Suppose 3*o - 8*o = 0. Suppose -5*z - 52 + 182 = o. Let j = z + -29. Which is smaller: j or 2/5?
j
Suppose 0 = 4*i + 3*o + 27, 0*o - 11 = 2*i + o. Let h be ((-22)/33)/(10/i). Which is bigger: 6 or h?
6
Let w be 12/(-9)*(-3)/366*-3. Which is greater: w or 1?
1
Suppose -20*g - 1038 = -418. Do -26 and g have the same value?
False
Suppose -5*q + 3*a - 4*a = -5, -4*q = -5*a + 25. Let w = 25 - 25. Is q at most w?
True
Let m = -3/5 + -1/15. Let f = -0.37 + 3.47. Let b = 3 - f. Which is smaller: b or m?
m
Let h = 40/191 - -13774/1719. Are h and 8 unequal?
True
Let h be ((-2)/(-21))/((-40)/1020). Suppose -2*m = -4*t - 8, 5*t + 2*m + 2*m + 23 = 0. Which is smaller: h or t?
t
Let m(t) = -t**2 - t. Let i(f) = 5*f**2 + 17*f + 21. Let z(h) = i(h) + 6*m(h). Let a be z(-16). Let c = -2062/5 - a. Which is greater: c or -1?
-1
Let m = 20.28 - 24. Let o = m + -0.28. Is o greater than -3?
False
Let u = -0.722 - 59.278. Is 3/5 at least as big as u?
True
Let j be 119528/48840 + 2/2*-3. Let d = 4/555 + j. Are -2/7 and d non-equal?
True
Let n be (-8)/((-10)/4 + 2). Suppose 5*s = 4*f + 23, -2*s + 12 = 18*f - 21*f. Let q = n + s. Which is greater: 18 or q?
q
Let r be (128/20)/(-4)*-5. Let v be 5 + -2 + -8 + r. Which is greater: 19/5 or v?
19/5
Let n(r) = r**3 - 2*r**2 - 2*r. Let t be n(2). Let u be (-604)/(-16) + 3 - 1/t. Is u at most as big as -1?
False
Let a = 2/1919 + -4600/731139. Which is bigger: 0 or a?
0
Let y = 14 - 10. Suppose q + q = -y. Let z be 0 - ((-112)/(-52) + q). Are z and 1 equal?
False
Let w = 56 + -55. Let p = -6450/11 - -586. Which is smaller: p or w?
p
Let m = 2/85 - 354/595. Which is smaller: -6 or m?
-6
Suppose 38 = 4*f - 62. Suppose -4*g = g - 4*h + f, -5*g - 50 = h. Let q be 3/9 + 12/g. Which is greater: q or 6/13?
6/13
Suppose -129 = 4*v - 5*c, 5*v + 120 = -108*c + 106*c. Which is bigger: v or -31?
v
Let f = -52/3 - -17. Suppose 0 = 3*a + 3*p - 33, -5*a + 2*p = -0*a - 83. Let m be (-21)/a - -1 - 6/10. Which is smaller: f or m?
m
Let u(v) = 2*v**2 - 21*v + 9. Let o be u(10). Which is smaller: o or 1/149?
o
Suppose 0 = -2*j - 5 - 5, -g - j = 8. Suppose 14 - 4 = -5*c. Is c < g?
False
Let n = 5 + 4. Let k = -14 + n. Let m = -94.8 - -95. Which is smaller: k or m?
k
Let p be 14/(-8)*-18*(-38)/(-57). Let f be (-174)/p - (-14)/49. Is -6 less than or equal to f?
False
Suppose t - y = 4, 0 = 2*t + y + 4 - 12. Suppose 4 = 5*q - 6, 3*q = -t*n + 2. Let d = 315 + -4091/13. Is d greater than n?
True
Suppose -5*m + 34*h = 30*h - 21, -5*m + 2*h = -13. Is m less than -2/2609?
False
Let k be (25/3570)/(11/22). Is k less than or equal to 0?
False
Let r be (4 - 636/158)/2. Let w = r + 88/711. Let k be 2*4/2 - 3. Is w < k?
True
Let x = 26177/7 + -3755. Which is greater: 0.2 or x?
0.2
Let c = -0.2129 + 7.2129. Is c >= -21?
True
Let s be 6 + -11 + 4 + 626/(-12). Let a = s - -53. Let q(o) = -o**2 + 4*o - 4. Let y be q(3). Is y greater than or equal to a?
False
Let g = 2 - 3. Let w be -1 - (2 + (-73500)/(-115)). Let c = -642 - w. Which is greater: g or c?
c
Let h = 30 + -44. Let v be (-12)/24 + h/(-44). Let m be (-3)/5 - 42/105. Is m greater than or equal to v?
False
Let d be ((-2)/2*1)/((-27)/297). Which is smaller: d or -0.1?
-0.1
Let f be -12 + 0 + (-11 - -12). Let w be (-4)/(-2) + 66/f. Which is smaller: -1 or w?
w
Suppose 38 = 2*f + d, 0 = f + 3*d - 4*d - 13. Suppose -w = -20 + f. Let l(v) = -v - 2. Let c be l(-2). Which is greater: w or c?
w
Suppose -13*a + 15 = 2. Suppose 5*h = 3*f + 8 - a, 1 = f. Which is bigger: 9/13 or h?
h
Suppose 7 + 5 = 2*x. Suppose -4*c - 56 = -2*y, -2*c + 60 = -x*c + 3*y. Let s be ((-5)/(-10))/((-1)/24). Is c smaller than s?
False
Let i be 1/(-1) + (-3)/(-1). Suppose 14 + 28 = i*q. Let g = -15 + q. Is g not equal to 7?
True
Let g = -875 - -757. Which is bigger: -120 or g?
g
Let v = 70 + -102. Let b = -452.3 + 421. Let h = b - v. Is 2 < h?
False
Suppose y - 1 + 27 = 0. Is -27 less than or equal to y?
True
Let k be (8/3)/(7720/(-1104) - -7). Let m be (k/186 - 2)/((-7)/(-21)). Let i = -1.1 + 0.1. Are i and m non-equal?
True
Let h(i) = 3*i**3 + 21*i**2 + 20*i + 2. Let v be h(-6). Which is smaller: v or -13?
-13
Let g(i) = i**2 + 23*i + 90. Let u be g(-14). Is -30 at least u?
True
Let x = -43413/10 - -4341. Let z(i) = i**3 - 6*i**2 + 4*i + 6. Let t be z(5). Which is smaller: t or x?
x
Let l = 0.6 - 1. Let x = l + 0.2. Let y be (-2)/(-6) - 16/(-6). Are x and y unequal?
True
Let m = 0.8 - -0.2. Let x = 171.1 - 172. Let b = x + -9.1. Which is smaller: b or m?
b
Let h = 33 - 32. Let o(j) = 21*j. Let b be o(-5). Let i = -841/8 - b. Is i >= h?
False
Suppose 2*a + 2 + 6 = 0, -i + a + 6 = 0. Is i at most as big as 38?
True
Let w = 5 - 3. Let p = 659 + -3288/5. Which is smaller: w or p?
p
Let t be -1*9/81*1*-3. Which is smaller: 332 or t?
t
Let y = -1.105 + 1.095. Is 1/21 >= y?
True
Let p(n) = -29*n - 14. Let j be p(-1). Which is bigger: 16 or j?
16
Let l be (14 - 13)*(-5)/(-1). Let p(a) = 2*a**2 - 10*a. Let s be p(l). Let q be 1 + ((-16)/10 - -1). Which is bigger: s or q?
q
Let y be 2*3 + (11568/(-1444) - -2). Which is greater: 1 or y?
1
Let t = 51 + -51. Which is smaller: 41/3 or t?
t
Let u(t) = t**3 - 9*t**2 + 8*t - 3. Let q(y) = -y**2 - 9*y + 8. Let c(b) = -2*b + 7. Let s be c(8). Let r be q(s). Let j be u(r). Are j and -4 nonequal?
True
Suppose -2*q = -5*q + 18. Let b be 2/q - (-4)/(60/(-245)). Are -16 and b non-equal?
False
Suppose 2*g + 612 + 1160 = -5*w, 2671 = -3*g - w. Is g less than -890?
True
Let h be ((-3)/2*-66)/((-6)/(-4)). Let d be (-1)/(-3)*h/(-121). Let s = -33/2 + 97/6. Is s >= d?
False
Let c(b) = -4*b + 2. Let h be c(5). Let z = h + 7. Let x = -31 - z. Is -20 less than x?
False
Let a(j) = -84*j + 23. Let w be a(16). Let l = w + 191547/145. Which is smaller: 1 or l?
l
Let q = 383 + -384. Suppose 0 = 3*x - 15, 2*r + 0*r + 3*x - 23 = 0. Let o be (-15)/(-25)*(q - r). Is -3 not equal to o?
False
Let v be -1 + (2 + -3)*2 - -7. Let l be 10/25*5 + (3 - v). Which is greater: 5/4 or l?
5/4
Let q be (-8)/(-4)*3/6. Suppose 4*l - 5*o - 122 = 0, 0*l = 3*l - o - 86. Let p be l/198 - (-4)/18. Is q at most p?
False
Suppose -33 = 4*w - 165. Suppose -3*j + 3*b + w = 0, 3*j + 2*b = 7 + 6. Let n be (20 + -21)/((-2)/14). Does j = n?
True
Let h = -204 - -103.3. Is h < -0.1?
True
Let x = -1447 + 2145. Which is smaller: x or 699?
x
Suppose -31*v = -50*v + 4351. Which is smaller: v or 228?
228
Let q = -0.0979 + -11.0821. Let s = q + 11. Suppose 0*c - 4 = -4*c. Which is smaller: c or s?
s
Let p(k) = -4*k**2 - 25*k + 20. Let y be p(-7). Do y and -1/27 have different values?
True
Let l = -1041 + 195. Are l and -846 non-equal?
False
Let c = 643 - 5133/8. Which is smaller: -1 or c?
-1
Let x be 39/54 + (80/(-36) - -2). Which is smaller: x or 134?
x
Suppose -42*m + 135 = -47*m. Let x be ((-2)/92)/(m/162). Is 1 smaller than x?
False
Suppose -4*b - 5*z + 2*z = 0, -2*b - 2*z = 0. Let t = 5021 - 185781/37. Which is greater: t or b?
b
Suppose -11*t - 2124 = -20*t. Is t >= 238?
False
Suppose 0 = -j - 1 + 2. Suppose 3*t - 4*r - 10 = 0, -3*r - 13 = -3*t - 4. Which is smaller: j or t?
j
Let w(j) = -2*j**3 - j**2 + 13*j + 20. Let t be w(-5). Which is greater: t or 178?
t
Let i be (-12)/28*2760893/(-4). Let b = i - 295779. Let v = -125/4 + b. Which is bigger: 0.05 or v?
0.05
Let w = 52.4 + 160.6. Which is smaller: 0 or w?
0
Let q be (-15)/12*(-2)/5*2. Let o be q/((-3)/3) + (-3 - -3). Which is greater: 1/45 or o?
1/45
Suppose -20 = z - 5*j, -z - 4*j + 3*j + 4 = 0. Let d be (z + -1)*(-1 - 1). Suppose 0 = -d*h - 5*n - 29, 23 = -5*h + n - 9. Are -5 and h nonequal?
True
Let r(x) = -2*x**2 + 23*x - 16. Let q be r(11). Is q > -0.1?
False
Let g = -9 - -12. Suppose -7*k = -g*k. Suppose k*l - 2*l - 4 = 0. Which is greater: l or -6/7?
-6/7
Suppose 40*c - 44*c - 230 = 3*d, -d - 73 = 5*c. Is -77 not equal to d?
True
Let l = 1010.9 + -1011. Which is greater: l or -60?
l
Let t(p) = -p**2 - 17*p + 7. Let g be t(-12). Suppose 4*q - 239 = 4*a - g, 4*a + 2*q = -166. Is a >= 1?
False
Let k(l) = 4*l**3 + 21*l**2 - 14*l - 12. Let y(r) = 3*r**3 + 20*r**2 - 14*r - 13. Let j(m) = 4*k(m) - 5*y(m). Let s 