et g = 3 - u. Let j = 53.6 - 53.67. Is g at least as big as j?
True
Suppose -v + 5 = 5*y, 0 = -v + 4*y - 2*y + 40. Let m be (354/(-42))/(48/(-21) - -2). Which is smaller: v or m?
m
Suppose 1 = 5*s - 4*s. Let t be (4/4 - 3)*s. Which is greater: 0 or t?
0
Let y(g) = -g. Let r be y(0). Let k be (-136)/(-224)*(-14)/(-12). Let q = 4/3 - k. Is q not equal to r?
True
Suppose -46 = 8*a + 18. Let i(q) = 4*q - 3. Let x be i(2). Suppose -3*g + 4*o - 4 = 0, -g - 5*o + 7 = -x*g. Is g at least as big as a?
True
Let v = -8 + 8. Let m be 5/(2/4 + v). Suppose 2*n = 0, -m = -2*t - 5*n + 12. Which is bigger: t or 0?
t
Let a(o) = -2*o + 4. Let v be a(-3). Suppose b = 2*z + 3 - v, 0 = 4*b - 2*z + 22. Suppose -13 = 2*g + 5*q + 15, -5*g + 2*q = 12. Is g <= b?
False
Let g be (12/118)/(-7 + 9). Is 1 >= g?
True
Let j = 0.12 + -0.06. Let l = j - 4.06. Let f = 0.35 + -0.15. Is l less than f?
True
Let v = 42/109 - 1334/1199. Do -2 and v have the same value?
False
Let t(s) = -7*s**2 + 6*s - 8. Let o(f) = f**2 + f. Let k(v) = 6*o(v) + t(v). Let p be k(11). Suppose -4*h = -p*h + 10. Which is smaller: -8 or h?
h
Let y(x) = -2*x**2 - 26*x + 39. Let d be y(-16). Which is greater: d or -59?
d
Let c = -46 + 50. Which is greater: c or 2?
c
Let c(b) = -b**2 + 21*b - 21. Let k be c(20). Let n be 2 + 0 + k - 3 - 6. Which is greater: n or -2?
-2
Let u = -1512 + 2197. Which is smaller: 0 or u?
0
Let p(x) = -2847*x**2 + 14*x - 6. Let j be p(9). Let w = -2537460/11 - j. Let i = -191 - w. Which is bigger: -1 or i?
i
Let d = 1081 - 1074. Is 0 smaller than d?
True
Let p = 20 + -30. Let l(o) = o + 0*o + 3 + 2. Let h be l(-5). Which is smaller: h or p?
p
Let y be 26052/351 + 3/(54/(-4)). Let w = -1408/19 + y. Which is greater: w or 1.1?
1.1
Let o be (-5)/(-15) - (-33)/9 - 538. Which is bigger: o or -533?
-533
Suppose 4*a - 47 - 93 = 0. Let j = 36 - a. Which is smaller: j or 0?
0
Let o = -352 + 23. Does o = 1/3?
False
Let y = -187.88 + 200. Let w = 21.03 - y. Let g = -0.09 - w. Is g < -2?
True
Let p be 3/(1 + 3 - (-385)/(-88)). Is p > 23?
False
Let l = 27 - 26.76. Let m = -0.28 + l. Is m less than or equal to -8?
False
Let h be 3/((-362)/(-3)*117/52). Which is smaller: h or -1?
-1
Suppose -2*u + 3*y = 16, -2*u + y - 9 - 15 = 0. Let o = u - -15. Which is bigger: -3/13 or o?
o
Let f = -369 - -361. Are f and -12 non-equal?
True
Let y(z) = 10*z + 2. Let m be y(2). Let l(p) = p**3 + 4*p**2 - 11*p + 26. Let r be l(-6). Is m < r?
False
Let c = -97 + 90. Which is smaller: -1 or c?
c
Suppose -145*v + 9504 = -163*v. Is v not equal to -529?
True
Suppose 5*m - 5 = m - 5*t, 5*t = m - 20. Let z(k) = -2*k - 7. Let f be z(-7). Is m less than or equal to f?
True
Let x be (16/6 - 2) + (-1056)/18. Let o = x - -46. Is o smaller than -13?
False
Let x be (-3)/(1 - 1 - 1). Suppose -x*t - 43 = 47. Which is smaller: t or -31?
-31
Suppose 6*b - 2*b = -5*r + 11, -13 = -2*b - 5*r. Which is bigger: -6/77 or b?
-6/77
Suppose -147*k = -159*k. Let d(y) = 2*y. Let q be d(-3). Is q smaller than k?
True
Suppose -5*p + 3*r = -28 + 25, -3*p + 4*r = -4. Which is bigger: -6/41 or p?
p
Suppose 3*p + 24 = p + 5*w, -p - 2*w = 21. Let l be 100/p + (-4)/34. Let f = l - -6. Is -2 >= f?
False
Let p = -5636 - -61949/11. Which is greater: -4 or p?
-4
Let t be ((-8)/6)/(-2)*58707/66. Which is smaller: 592 or t?
592
Let g(t) = t**3 + 5*t**2 - 5*t - 11. Let k = -42 + 36. Let v be g(k). Is -19 bigger than v?
False
Suppose 0 = -3*z + 1 + 2. Let n(a) = 4*a - 12. Let t be n(4). Let l be (0 - t - (2 + 0))/(-7). Is l < z?
True
Let a(q) = -q + 1. Let v be a(0). Let d = 298/3003 + 2/91. Is v not equal to d?
True
Suppose -4*s - 89 = 4*f + 35, 147 = -5*s - 3*f. Which is bigger: -155/6 or s?
-155/6
Let y = 1712 + -1711. Is y greater than -646?
True
Let o = -3 - -8. Let q be ((-2)/10)/((-3)/o). Let g(i) = 2*i**2 - 51. Let v be g(-5). Is q > v?
True
Let r be (11/9 + -1)*(-42)/(-12). Is 0 equal to r?
False
Let p = -14 + 38/3. Let m be (-14)/6 + (-1)/(-3). Which is smaller: p or m?
m
Let q = 5825 + -366983/63. Which is smaller: q or 0?
q
Suppose 2*p = x - 28, -4*p - 46 = -5*x + 76. Let w = -30 + x. Let y be ((-7)/35)/(w/(-5)). Which is greater: y or 0?
0
Let a = 47 + -43. Let u be 120/(-273) - a/(-14). Is 1/7 != u?
True
Suppose -201 = -2*k + 5*p, -5*p - 480 = -3*k - 2*k. Which is smaller: k or 92?
92
Let t = 11089 + -21745527/1961. Which is smaller: -1 or t?
-1
Let f(k) = k**2 - k + 4. Let z(a) = -a + 1. Let s be z(1). Let i be f(s). Suppose 3*r - i*r + 28 = -4*q, 5*r + 7 = -q. Is q < -7?
False
Suppose 2*o - 5*k + 23 = 0, 0 = -2*o - k + 14 - 7. Let r be 156/28 - (40/(-28) + 1). Let h be (-72)/(-20) - (-5)/(75/r). Which is bigger: h or o?
h
Suppose 5*m = -5*c - 10, 0*c = 2*c - 2. Is -14 bigger than m?
False
Let k = -1 + 7. Let h(f) = -6 + f**2 + 88*f + 0 - 92*f - 1. Let w be h(k). Is -1 >= w?
False
Let f = -671/17 + 669675/16966. Which is greater: 1 or f?
1
Let a be (1 - 2) + 5/17. Let c(q) = -10*q**2 + 30*q. Let u be c(3). Which is greater: a or u?
u
Let l(n) = n + 5. Let r(z) = 2*z - 1. Let m(i) = i + 1. Let p(g) = 3*m(g) - r(g). Let x(u) = 3*l(u) - 2*p(u). Let c be x(-9). Which is smaller: c or -1?
c
Let x be -491 - (16 - -4)/5. Let r be 2/11 - (-1476)/x - -3. Do 2/7 and r have the same value?
False
Let o = 87 - 1129/13. Let j = 159/65 + o. Suppose 0 = 2*h - 3 - 1. Which is bigger: j or h?
j
Let h(v) = -12*v**2 + v - 1. Let d be h(1). Let q be 2 + d/4 - -4. Suppose 0 = -7*s + q*s - 4. Is -2/7 at most as big as s?
False
Let l = -9 + 13. Let r(p) = -p**3 + 5*p**2 - 4*p + 3. Let f be r(l). Suppose 2*y = 5*g + 44, f = g - 2*y + 15. Which is bigger: g or -17/2?
g
Let f(m) = m**3 + 11*m**2 + 5*m + 8. Let p be f(-6). Let l be -3 + (5/(-10) - p/4). Is -43 not equal to l?
False
Let b be -90*374/33 - (10 + -2). Are -1028 and b equal?
True
Let z be ((-22)/20)/((-4)/20*-2). Let k be -1 + 3/(-12)*-4. Suppose 27 = -5*a - 3*f, k = -2*a + 3*f - 6*f - 18. Is z > a?
True
Let q(v) = -v**3 - 4*v**2 - 8*v + 1. Let l be q(0). Which is bigger: l or 0.08?
l
Suppose -19*c - 7*c - 338 = 0. Is -17 <= c?
True
Let c be (-1)/(-2)*(3 - -1). Suppose c*u + u = 0. Is u < -1/11?
False
Let w = -683 - -698. Suppose 0 = -n - 3*r + 24, r = 2*n + 6*r - 45. Is n at least w?
True
Let y = 80 - 55. Suppose t = 6*t - y. Let j = 5 - t. Are -2 and j equal?
False
Let b(i) = -i**3 + 5*i**2 - i - 7. Let a be b(5). Let u be 6/2 + (-10 - 6). Is u less than a?
True
Let o be 9/(-6)*(-32)/(-12). Let l be (-30)/o*19/(-190). Let y = -807/7 + 115. Is l > y?
False
Suppose 13*h - 9*h = 160. Suppose 11*d - h = 3*d. Suppose d*g - 16 = 4. Is g != 2?
True
Let z(w) = w + 13. Let j = 99 - 111. Let l be z(j). Which is greater: 0.4 or l?
l
Let r(p) = p + 5. Let t be r(-7). Let h be (4*-2)/(-2) + t. Suppose 12*j + 52 = 25*j. Which is smaller: j or h?
h
Let i = 1.3 + -11.3. Let v = i - -18. Let b = -376 + 376.1. Are b and v non-equal?
True
Let x = 205 + -184. Is x at most as big as -2/15?
False
Let z(j) = j**3 - 4*j**2 - j. Let q be z(5). Let i = q + -8. Let y = -8 + i. Are -0.1 and y nonequal?
True
Let d = -2099.93 - -2100. Do 45 and d have the same value?
False
Suppose u + 7 = -3*p + 3, -4 = 2*p + 2*u. Which is greater: -3/736 or p?
-3/736
Let s = -546 + 452. Is s at least -97?
True
Suppose -9 - 3 = -6*n. Suppose 8 = -6*v + n*v. Is -3 > v?
False
Let u = 440 + -452. Is u equal to 5?
False
Let r be ((-2)/(-13))/((-126)/(-219)). Let t = r + -4/21. Let p be 96/(-168) - 8/(-14). Is t less than p?
False
Let k = -24 - -104. Let f = k + -130. Are f and -51 nonequal?
True
Let l be 69/9 + (-4)/6. Suppose -4*x - 6*d = -2*d + 24, 2*x + 27 = 3*d. Let u be (7 - 7) + x/(-3). Which is greater: l or u?
l
Suppose 2*w = 3*w. Let m be 2*1/(-18) - 2968/(-13833). Is m <= w?
False
Let u = -103.53 - 2.47. Let k = u - -56. Is -0.1 at most k?
False
Let y = 295/18 - 158/9. Which is greater: y or 0?
0
Let a = 838 - 852. Which is smaller: a or 0.11?
a
Let z = -251 + 239. Which is greater: z or -59/5?
-59/5
Let v(t) = -t**3 + 40*t**2 - 61*t - 40. Let o be v(39). Is -896 > o?
True
Let u = -603 + 577. Is -24 at most as big as u?
False
Let l(k) = -k**3 + 18*k**2 - 29*k - 14. Let f be l(10). Is f equal to 497?
False
Let y = -149/3 + -892/21. Is y > -91?
False
Let y be -4 - ((-243)/39 - -1). Let m(w) = -w**3 - 2*w**2 - 5*w - 9. Let j be m(-2). Which is