2*z = -0*z - 2. Is j less than h?
False
Let q = 574 - 564. Let p be q/112 + 2*3/(-16). Which is smaller: -156/5 or p?
-156/5
Let d(z) = z**3 - 16*z**2 - 95*z + 48. Let m be d(-7). Let c(o) = -9*o**2 - 2*o + 13. Let v be c(-7). Is m at least v?
True
Suppose 23 = 3*x - 4*d, 4*x + 0*x - 24 = 4*d. Let v = 21818/1003755 - -2/16455. Which is bigger: x or v?
x
Let z(r) = r + 4. Let n(h) = -h - 9. Let f(i) = -3*n(i) - 5*z(i). Let x be f(4). Let d = 2378/2869 + -16/19. Is d at least x?
True
Suppose -457*s = -0*s - 522351. Which is smaller: 1132 or s?
1132
Let k = -6.5 - 1. Let h = k + 7.5. Let p(z) = z**2 - 4*z + 4. Let x be p(4). Is x at least as big as h?
True
Let j = 653 - 453. Let y = -201 + j. Which is bigger: y or -0.07?
-0.07
Suppose 4*a - 37 = -4*n + 11, -2*n = 4*a - 42. Let u be 3/a + 175/(-399). Which is bigger: -12 or u?
u
Suppose -3*o = 2*y - 8 + 1, 0 = -2*y - o - 3. Let q be 4/64*4/(1*y). Let n(c) = c**2 + 2*c - 1. Let b be n(-2). Which is greater: q or b?
q
Suppose -5*d - 7280 = -3*d + 8*s, s - 18074 = 5*d. Which is greater: d or -3617?
d
Let q(y) = y**2 - 2*y - 20. Let v be q(0). Let o be 3/((-16)/80 + (-19)/v). Is -0.7 >= o?
False
Suppose -2*k + 5*c = -19 - 14, 0 = 5*k + 5*c - 30. Suppose -4*n = -6*u + 7*u + 12, 4*u + k = -3*n. Which is smaller: u or -8/45?
-8/45
Suppose 44*x + 4404 + 71 = -57. Let u be (-4352)/42 + 6/21. Which is smaller: u or x?
u
Let p be 1/(-20)*6 - 352833/1090. Are p and -333 non-equal?
True
Let m(g) = -g + 64. Let t be m(43). Suppose t = p + 3*v, 5*p - 4*v - 76 = 10. Are p and 18 nonequal?
False
Suppose -5*r = -6*r - 262. Let i(t) = -407*t - 12472. Let x be i(-30). Are x and r unequal?
False
Suppose 0 = -4*y + i + 18, y + 13 = 3*i + 34. Which is smaller: 81/37 or y?
81/37
Let q = 473 - 444. Suppose 0 = q*z - 41*z - 348. Which is smaller: z or -32?
-32
Let t be ((-6)/3081)/((-13)/65*-10). Is t != 1?
True
Let c be 0*2/(-1 - -3) - 0. Suppose c = -3*x + 99 - 324. Let l be -3*((-140)/x + -2). Are l and 2/5 equal?
True
Suppose 8 = 2*o - 2*t, -2*o + 4*t = -3*o + 9. Suppose 5*i = -0*i - 5*h + 5, h = o*i + 1. Is i equal to -1/114?
False
Let d = 15 - 11. Let v be 1 - (-18)/d*(-4)/6. Suppose 43*y - 37*y = 48. Are v and y unequal?
True
Let f(q) = 2*q**2 + 3*q - 4. Let g = -38 + 35. Let u be f(g). Suppose -7*j + 2 = -u. Is j less than 1?
False
Suppose 3*o + 5*v + 10 = 0, 3*o = -2*v + 4*v - 38. Let m(j) = 5*j**3 - 9*j**2 - 8*j + 1. Let h be m(1). Which is smaller: o or h?
h
Suppose 3*r - 3*p = -7 - 20, 5*p - 15 = 0. Let a = -26 - r. Let y(u) = -6*u**2 - u + 1. Let q be y(-2). Is q equal to a?
False
Let i = 4008 - 4237. Which is greater: i or -230?
i
Let r(g) = 3*g - 56. Let v be r(17). Let u be v/(2 + 99/(-49)). Let k = 1712/7 - u. Is k equal to -2?
False
Let i be ((-20)/(-24) - (-686)/(-6))/(165/(-20)). Is 14 > i?
True
Let f = -2.29 + -5.76. Let w = -7.95 - f. Is -366 equal to w?
False
Let o(d) = -118*d - 112. Let v be o(41). Which is bigger: v or -14854/3?
v
Suppose 6*h - 15*h + 129195 = 0. Let u = -8368963/583 + h. Is u <= 0?
False
Let m be ((-40)/16*1)/((-1)/2). Suppose -3*i - 75 = 2*v, 42*v = 41*v - m*i - 55. Suppose 0 = 3*k - 3*c - 0*c + 72, 2*k + 43 = 3*c. Which is greater: k or v?
k
Suppose -15*u = -37*u - 142890. Is -6494 at most as big as u?
False
Let i = 164.28 - 163.28. Is 9004 >= i?
True
Suppose 0 = -17*d + 23*d - 109620. Let z be (-2751)/d + (-2)/(-15). Let h = 0 + -1. Which is smaller: h or z?
h
Let o = -46 - -55. Let b(q) = -q + 11. Let t be b(o). Suppose 2*r - t*c = 16, -1 = -2*r - 2*c + 7. Is 29/4 at least r?
True
Let m be -132 + ((-2)/1)/2. Suppose -32189 = 414*i + 23287. Which is bigger: i or m?
m
Let m = 8129 - 89082/11. Is m at most 30?
False
Let a(g) = -g**2 - g + 1. Let x(p) = -3*p**2 - 2*p + 20. Let s(j) = -4*a(j) + x(j). Let d be s(-6). Let z = 42 - d. Which is smaller: 4 or z?
z
Let l = -2333/8 - -11667/40. Let a be (1/(-3))/(-1)*3. Which is bigger: l or a?
a
Suppose -2*m - 2*m - 127 = g, -91 = 3*m + 5*g. Let d be (2 + (-55)/30)*84/m. Let v = -6 + 5. Is v at most as big as d?
True
Let a = -18964 - -94463/5. Which is smaller: a or -72?
-72
Let m(d) = -d**2 - 8*d - 8. Suppose -4 - 3 = r. Let h be m(r). Let z = -262/13 + 44776/2223. Which is bigger: h or z?
z
Let i(b) = -41*b**2 + 737*b + 8. Let z be i(18). Is z greater than -20?
True
Suppose 2*o = -3*q + 100, 3*q + 66 = -8*o + 322. Suppose -2*u + v + 20 = -34, -u - 2*v = -22. Is o equal to u?
True
Let w(d) = d**2 - 11*d - 179. Let c be w(20). Let a(t) = 36*t**3 + t**2 - 2*t. Let n be a(c). Is 6 at most n?
True
Let u(r) = -r**3 + 6*r**2 - 6*r + 9. Let w(i) = -i**3 + 7*i**2 - 8*i - 5. Let o be w(5). Let l be u(o). Let h be 80/14 - 16/l. Which is smaller: 3 or h?
h
Let i = 68866/17 + -4051. Suppose -2*p + 0*p = 0. Which is smaller: i or p?
i
Let f(l) = 11*l - 8. Let n be f(1). Let o be 1 + -40 + n - (-1 + 3). Let p = 47 + -84. Is p at least o?
True
Let k be -135*((-70)/(-10))/(-7). Is 137 at least k?
True
Let h = -2621 - -26209/10. Which is bigger: -260 or h?
h
Let f be ((-351)/162 + 2 + (-2)/4)*84. Let p = -1.1 - -1. Which is smaller: p or f?
f
Let w be 6/16 - ((-284449)/110)/(12/(-15)). Is w smaller than -3230?
True
Let z be 404/(-3) + (-36)/(-135)*-5. Let h be (8/(-2))/(z/34). Is h smaller than 23/10?
True
Let r be (-12)/(-21) + ((-429846)/14)/(-3). Is 10234 equal to r?
False
Let m = -930 + 431. Which is smaller: m or 8?
m
Suppose -10 = -4*u - 2*q, 13*q = u + 17*q + 15. Let s(p) = p**3 - 3*p**2 - 10*p + 7. Let x be s(u). Is x bigger than -30?
True
Let r be (-7)/(7/5086) + (-60)/(-15). Let z = 1682139/331 + r. Do z and -1 have different values?
True
Let k = -859/6 + 599/6. Is k at most as big as -43?
True
Suppose -3*c + h + 7 = 0, 0 = 5*h + 1 + 4. Suppose 5*j - 3*s = 58, c*j + 2*j - 39 = -5*s. Let l(g) = -20*g - 330. Let u be l(-17). Which is greater: u or j?
j
Let j = -36 + 46. Let a = j + -9. Let g = a + -0.8. Is g at least as big as -0.1?
True
Let o = -382 + 1053. Is o != 671?
False
Let j be -11 + 11 - (-77 + 0). Suppose 12 = -j*h + 73*h. Is h != 13?
True
Let k = 6898 + -6880. Is 21 bigger than k?
True
Let i be (2/(-8))/(-8 + (-66)/96*-12). Which is smaller: i or 2/233?
i
Let o(f) = 2*f - 5. Let i be o(3). Let l = i - 1. Let m be -12 + 10 - (-29)/10. Is m < l?
False
Let y(f) = 1395*f + 34904. Let o be y(-25). Let p be 58/(3/(3/2)). Is o >= p?
True
Let h be -5 + 9/3 - (-1 + -1). Suppose 0 = 2*a + 4*y + 86, 0 = -h*a + 4*a + 4*y + 184. Is -48 at most a?
False
Let c(o) = o**3 + 70*o**2 - 623*o + 78. Let w be c(-78). Which is smaller: w or 14/149?
w
Let f(n) = -49*n**2 + 2*n + 1. Let o be f(2). Let d be 571/o + 3 + 0. Let b be (2*8/(-24))/((-2)/3). Which is smaller: b or d?
d
Suppose 0 = 3*b - 39 + 42, -5*k - 4*b = -11. Which is greater: k or 77/20?
77/20
Let c be ((-177)/(-9) - 3)*(459/34 - -3). Is c smaller than 3022/11?
False
Suppose -5*s + 2*t = -70, -2*t + 30 = 3*s + 4. Let c(n) = n**3 + 2*n**2 - 2*n + 187. Let w be c(0). Let v = w - 176. Which is smaller: s or v?
v
Let o be (3/(3/(-1)))/((-5)/15). Suppose -o*a + a = 70. Let k = 53 + a. Are k and 17 unequal?
True
Let d = -135063 - -135063.1. Let x be (-66)/8 - 2/8. Is d at least as big as x?
True
Let h = 144.87 - 75.3. Which is greater: h or -0.1?
h
Suppose 3*g - 38 = g. Let z(r) = 2*r**2 - 9*r + 1. Let m be z(4). Let i be ((-60)/14)/(m/14). Do i and g have the same value?
False
Suppose 0 = 5*b + 4*r + 36, -3*r - 16 = -5*b + 6*b. Let w(x) = -6*x**2 - 15*x - 20. Let d be w(b). Is d greater than or equal to -56?
True
Let a = -147 - -1031/7. Let u = -0.627 + 24.627. Is u smaller than a?
False
Let q(n) = -2*n - 25. Suppose -6*l + 2*l - 58 = 3*o, -5*l = 20. Let h be q(o). Suppose -3*t + 6 = h*t. Which is greater: t or 2/83?
t
Let g = 29012 - 29005. Which is smaller: -113 or g?
-113
Let c = -8322 - -8317. Are c and -221/60 equal?
False
Let p = 390 + -414.9. Let u = -25 - p. Let r be (-62 - -2)*(-57)/95 - -4. Is r less than u?
False
Suppose -35 - 205 = -5*l. Let x be ((-2)/l)/(12/9). Suppose 0 = -4*u - 1 + 5. Which is smaller: x or u?
x
Suppose 26*m - 10*m + 48 = 0. Let h be 11/(-22)*(5 + m). Is 2/111 less than or equal to h?
False
Let k = -11.4 + 80.4. Let m = 1960 - 1961. Is m > k?
False
Let s = 6 + -6.52. Let l = 33.52 + s. Let j = l - 31.8. Is j greater than -0.3?
True
Let k = -39 - -168. Let l be 1