00 at least t?
True
Suppose -15 = 3*m, 3*j + 3*m - 2 = -20. Let u be 15/(-20) + ((-4569)/(-12) - 2). Let h be -3 + 1 + u/207 - 0. Which is greater: j or h?
h
Let x(a) = 20*a**2 - 129*a + 785. Let k be x(6). Which is smaller: 734 or k?
k
Let i be (-2)/(-7) - 133/(-49). Suppose -3*a = 5*f + 245, i*a - 6*a - 196 = 4*f. Let k be (21/f)/(22/(-14) + 1). Which is bigger: k or 0.09?
k
Let o = -0.51 - 1.49. Let d = 0.043 + 0.092. Let f = d + 1.065. Is f < o?
False
Let u = 146 - 288. Let g be (u - (-8)/(-4)) + -4. Let k be (g/18)/(2/3) + -1. Which is smaller: k or -13?
k
Let p be (320/30 - 10)/(14/(-330)). Let x be ((-30)/4)/(5/10). Which is bigger: p or x?
x
Suppose t + 6 = 4*l, t - l + 6 = -5*l. Let i be ((-15)/(-180))/(t/(-4)). Let g = -5 - -4.8. Is i equal to g?
False
Let t = 375.4 + -375.45. Which is greater: t or 4/13?
4/13
Let l = -488 - -479. Let t be (2/(-453))/((-33)/l - 2). Is t >= 0?
False
Suppose -3*v + b - 148 = 0, -3*v - 191 = v + 5*b. Let f(h) = 2*h**3 + 43*h**2 + 59*h - 66. Let w be f(-20). Is v <= w?
True
Let d = 102/599 - 227622/28153. Which is bigger: -8 or d?
d
Let v be 22/(-8) + (-3)/(-12). Suppose 5*y = 5*h + 55, -4*h - 7*y - 45 = -10*y. Let k be (-4)/4 - 0/h. Is v less than k?
True
Let g be (30 + -36)*(-2)/3. Suppose -s - 67 = g*o + 7, -5*s = -o - 8. Is -23 at least as big as o?
False
Suppose 28 = 5*z - 2*a, -17*a + 18*a = z - 5. Let l be (8 - 3/3)*9. Let r be (-2)/z - (-2100)/l. Is r at most as big as -1?
False
Let f = -4865 - -9683/2. Let h = 8 + -7.9. Is h less than f?
False
Let p(h) = -h**3 - 18*h**2 - 13*h - 609. Let q be p(-19). Let d = 2779/27 - 103. Which is greater: q or d?
d
Let j = -90 + 459. Let f be (56/12)/(6/j). Is f < 288?
True
Suppose 0 = 5*o - 10*o - r + 6, -3*o + 5*r = 2. Is 4/3 at most o?
False
Let t be (-126)/(-70) - 2 - (-19793)/(-35). Which is bigger: -567 or t?
t
Let v = -50.013 - -0.013. Suppose 4*u = 2*b - 8, -2 + 12 = -4*u + 3*b. Let n be (0 + 3)/6 + u. Which is greater: n or v?
n
Let h(d) = -d**3 - 33*d**2 + 9*d + 164. Let i be h(-32). Is i > -1149?
True
Let k = 4176 - 4721. Which is smaller: k or -546?
-546
Let d = 0.565 - -479.835. Is d smaller than 1?
False
Let z be -1 + ((-55)/(-57) - 2) - -2. Suppose -4*w + 33 + 87 = 0. Let t = w + -30. Which is smaller: t or z?
z
Let c = 984 + -1375. Which is greater: c or -389?
-389
Suppose 5*i + 2*i + 14 = 0. Let m = -2 + 8. Let j be (-4)/m + -1 + 0. Is j <= i?
False
Let t = -75443/16766 - 2/8383. Let n be 2/((-36)/15 + 2). Which is bigger: n or t?
t
Let l be (-1)/(-16 + 841230/52578). Is 2922 at least as big as l?
True
Suppose 0 = -5*r + 284*y - 285*y + 11359, -5*y = -r + 2303. Which is bigger: r or 2275?
2275
Let m be 0 + 3 + -26763*(-28)/(-250068). Which is smaller: -1 or m?
-1
Let m be 1*7/(-105)*-2*(-1758)/(-4). Is 59 at least m?
True
Let t = -44508767/101 + 440685. Which is smaller: t or 5?
t
Let l = -12.4187 + 4.3987. Which is smaller: 0.7 or l?
l
Suppose 0 = 18*w - 12*w - 144. Let j be ((-3)/(18/w))/746. Is j at most 1?
True
Let z be (-13 - (-732)/60)*5. Is z < -4?
False
Let y = 135131/15 - 9017. Is y < -2?
True
Let h = 4897/2016 + -1/2016. Which is smaller: -0.038 or h?
-0.038
Let s = -46420 - -35009. Which is smaller: -11413 or s?
-11413
Suppose 12*j = 27*j + 27*j + 27*j. Are j and 60/91 non-equal?
True
Let w = 0.05 - -9.95. Let t = -19 - -12. Let n = w + t. Is 3 != n?
False
Let s = 988802/78183 + -1/4599. Is s < 14?
True
Let z = -454.94 - -452. Let n = 432.94 + z. Is n smaller than 2/3?
False
Let c = 2611 - 81015/31. Is -1 not equal to c?
True
Let i be 8/(-96) - (-203)/2436. Let m be ((-2)/1978)/(2/4). Which is smaller: i or m?
m
Suppose -6*q = -5*w - 8*q - 49, -2*w + 6*q = -28. Let c be ((-2)/2)/((-1)/(-9)). Which is bigger: c or w?
w
Let t = 13.735 + -14. Let j = t + -0.005. Suppose -14*l + 3 = -25. Which is smaller: l or j?
j
Let o = 732 - 2194/3. Let q = -0.0371 - 77.0629. Let c = -73 - q. Is c > o?
True
Suppose 3*q + 5*m - 78 = 0, -3*m - 33 = -2*q - 0*m. Let g be (-1)/3 - -1 - (-70)/q. Suppose g*l = 7*l + 5*s - 6, -4*s + 9 = 3*l. Which is greater: 2 or l?
l
Let v = -1070 + 1065.5. Let i = 208.56 + -204. Let g = v + i. Which is smaller: -0.2 or g?
-0.2
Suppose -11*k = -6*k - 200. Let n = -20/1121 - -223179/5605. Which is greater: k or n?
k
Let j(u) = -2*u**2 - 12 + 11 + 1 + 8*u + 11. Suppose 35 = 5*v + 5. Let i be j(v). Is i at least as big as -14?
True
Let f = -10177 + 10178. Which is bigger: -3/616 or f?
f
Let d(m) = m**2 + 3*m - 22. Let f be d(-6). Let z be (-4)/18 + f/(-18). Which is smaller: z or 1/21?
z
Let d be 1861*((1512/99)/(-14) - (-3)/33). Is d < -1866?
False
Let m = -231.501 - -232. Let j = m - 0.299. Is 7.5 at least as big as j?
True
Suppose -7*l - 9*l + 7824 = 0. Let f = 748 - 260. Which is greater: l or f?
l
Let k(f) = 2*f**3 + 2 - 692*f**2 - 21 + 634*f**2 + 61*f. Let p be k(28). Which is greater: p or 119?
p
Let b(n) = -12*n + 683. Let o be b(35). Which is smaller: 1312/5 or o?
1312/5
Let g = 55 - 45. Suppose -7*m - 59 = -g. Let r(a) = -a**3 - 9*a**2 - 13*a + 6. Let q be r(m). Which is smaller: 2/313 or q?
q
Let h = 281.1 - 92.6. Let m = h - 181. Is -2 greater than or equal to m?
False
Let o = 9844151/2807 + -3507. Which is bigger: 1 or o?
1
Suppose t = 1, 4*h - 45*t + 48*t = 867. Which is greater: 211 or h?
h
Suppose -201 + 521 = 5*g. Suppose -6*h - g = 20. Which is greater: h or -66/5?
-66/5
Suppose -3*k - 175 = 3*s + 8, 0 = 3*k + 4*s + 179. Let z = k + 79. Suppose z = 4*w - 5*h, -3*w = -7*w + h + 6. Which is smaller: w or 1/18?
1/18
Let w(m) = m**2 - 12*m + 2. Let k be w(12). Suppose 0 = 4*q - s, 0 = -5*q - k*s - 16 + 3. Which is smaller: q or -6/271?
q
Let l(r) = -r**2 - 12*r - 3184. Let m be l(0). Is -3185 not equal to m?
True
Let a = 47.7 - 2.7. Let o = a - 48.6. Which is smaller: -0.2 or o?
o
Let c be (0 - -8) + (-14 - -15). Let l = -141 - -146. Is l less than or equal to c?
True
Let q be (-1030 - -2 - 18)*-2. Does 2090 = q?
False
Let r = 1739 - 196505/113. Let h = -116 - -115. Let d be 5 - ((-96)/(-20) - h/5). Is d greater than r?
False
Let h(s) = -233*s**2 + 30*s + 65. Let j be h(3). Is -1939 <= j?
False
Let y = -269698 + 269754. Suppose 0*o = o - 61. Is y less than or equal to o?
True
Let l(t) = t**2 - 232*t + 459. Let q be l(2). Which is smaller: 1/1344 or q?
q
Let p(c) = -260 + 6*c**2 + 265 + 8*c + 2*c**2 + 2*c**3. Let y be p(-3). Which is greater: y or -44/23?
y
Suppose -2 = -n - 5*d - 11, -3*d = -4*n - 151. Let z = -29 - n. Let m be ((-2)/z)/(216/(-240)). Is m not equal to 0?
True
Suppose 0 = 4*m + 20, -2*m = j - 5*j + 10. Let t be (j/13)/((-2)/(-6)*3). Is 16 less than or equal to t?
False
Let w = -111 - -123. Let r be 584/w*(3 - 0). Are r and 146 unequal?
False
Suppose -4*k = -3*c + k - 7, 4*c - 6 = -k. Let b = 65.3301 - -0.0699. Let o = b + -46.4. Is c >= o?
False
Let m = -257417/10 - -25909. Is m <= 166?
False
Let l be 11/2 + 5670/(-1036). Which is bigger: l or -36?
l
Suppose 6*n - n = -200. Let k be (8/n)/(17/(-2)). Let c be -15 + 0 - (-97 - -83). Does k = c?
False
Let c(s) = -19*s - 132. Let l(f) = -f**2 + f - 7. Let x be l(0). Let y be c(x). Which is greater: y or 10/41?
y
Let s = -22.55 - -22.4457. Let n = s + -23.7157. Let h = -24 - n. Which is smaller: h or 2/3?
h
Suppose -4 = -2*x + 6. Let f = x - -2. Suppose b - 6 = -f. Which is smaller: 2/115 or b?
b
Let q = 3341 + -5124. Which is greater: -1784 or q?
q
Let p(x) = -x**3 + x**2 - 21. Let u = 2 - 2. Let s be p(u). Let k = 729 - 748. Is s bigger than k?
False
Suppose -a - 527 = -55*t + 59*t, 0 = -2*t + a - 259. Is t > -131?
False
Suppose 0 = 48*c - 81*c. Which is bigger: c or 6831?
6831
Let r(y) = 22*y**2 + 2*y + 4. Let c be r(-1). Let d be c/(-9)*1*(-420)/(-16). Is -70 equal to d?
True
Let c = -372.394 - -554.394. Let n = -0.2 - -0.1. Which is bigger: n or c?
c
Let y be -44 + -3 + (7 - 13/((-104)/(-16))). Which is bigger: 80 or y?
80
Let b(d) = -8*d - 702. Let z be b(-88). Which is smaller: z or 48/19?
z
Let a = 1230 - 2939. Are a and 1 equal?
False
Let z be 21/12*(60372/45)/13. Suppose 2*s - 2*a + a = 358, 0 = a - 2. Let c = s - z. Is c at most as big as -0.06?
True
Let i = 3583 - 3580. Which is smaller: i or 83/38?
83/38
Let j = -155 - -694. Suppose 43943*m = 43944*m + 3*o - 593, -2*o = -m + 503. Is m >= j?
True
Let x = -16303 - -16302.8. Is x less 