e 6 = -4*g + o, -9*o = -g - 2*o - 42. Is g bigger than 10/4761?
False
Let y = 13 + -45. Let g be (447/(-9) + -1)*360/y. Is 569 at most g?
True
Suppose t = -5*q - 755, 4*q + 145*t = 140*t - 604. Which is bigger: q or -901/6?
-901/6
Let z(v) = v - 231. Let j be z(-113). Does -343 = j?
False
Let k = -7600618416416725/150503457 + 8534717592/169. Let d = -137/339 - k. Which is smaller: 1 or d?
d
Let a be 8 - ((-1584)/(-186) - 0/(-3)). Is 0 < a?
False
Let v be (675/(-348))/((-9)/24). Which is smaller: v or 6?
v
Let y = 1.746 + -0.362. Let o = 12.676 + y. Let u = o - 0.06. Is u at most 2/5?
False
Let g be (-2 + 0 + 3)*(-1)/(14/103446). Is -7389 at most as big as g?
True
Let r = -63.8 + 67.4. Let a = 37 - 36. Which is smaller: r or a?
a
Let b(z) = 730*z**2 - 2*z. Let x be b(1). Suppose -5*v - 9*v = x. Are v and -2/7 unequal?
True
Suppose 22 = f + 4*t + 5, 0 = 5*f + t + 10. Let n be f/((-9)/12) + -2. Let d be (3/(2/n) + -11)/(-2). Do -2/3 and d have different values?
True
Let g = -43.185 + 39.085. Let f = 2.1 - 2. Which is smaller: g or f?
g
Let s = 96.68 - 1.68. Let w = -63 + s. Do 2 and w have the same value?
False
Let d be 4/66 - 8160/3960. Let i = -19/8 + 41/24. Is d greater than or equal to i?
False
Suppose -f - 339 = -5*y, -f - 7*y = -3*y + 384. Let c be (13/f)/(1/(-12)*-2). Suppose -j + 5*j = 0. Which is greater: c or j?
j
Let f be 8/186*(-3)/(-2). Let i = -124 + 189. Let j = 66 - i. Is j > f?
True
Let s = -2059/3 - -9711/14. Let i = s - 64/7. Suppose 3*h - 2*h + 4*o + 22 = 0, -4*h - o = 13. Which is smaller: i or h?
h
Suppose -1 = -23*o + 24*o. Let s be (o - (-9)/4)/(14/56). Suppose -3*w = -4*d + 13, d - s*w = -d + 17. Is d > -4/17?
True
Let g(j) = 69*j**2 - 715*j - 26. Let k be g(10). Is -250 != k?
True
Let w(f) = -67688 + 4*f + 67435 - 25*f. Let g be w(-12). Which is greater: -19/29 or g?
-19/29
Suppose 11*k + 5*q = 13*k - 143, 6*k + q = 509. Are k and 115 nonequal?
True
Suppose 0 = 32*f - 31*f - 4*m - 4301, -f + m + 4295 = 0. Is 4293 at most as big as f?
True
Suppose 0 = -28*g + 6533 - 401. Suppose -9*k = 5*p - 5*k + 402, -3*p - g = -5*k. Are p and -75 unequal?
True
Let m = 0.1 - 0.5. Let r = -406 + 599. Let v = 184 - r. Are m and v nonequal?
True
Let y = 11897 + -1701273/143. Is y at least as big as -2.1?
True
Let r be 1/(-2)*8/2. Let q = 104 - 97. Let m be (-10)/15 - (-5 + q). Which is smaller: r or m?
m
Let v = -238 - -243. Suppose -51 = 3*n - v*h - 37, n - 2*h = -6. Does 36/25 = n?
False
Let s be 3 - (-5 + 5957/745). Let t = 11953/8195 - s. Is t > 1?
True
Let p = -53046 + 208343/4. Let m = 954 + p. Let n = 24 - 31. Which is bigger: n or m?
m
Let r = 24103/94 + -184/47. Let v = -995/4 + r. Does v = -3?
False
Let d be 1/2 - (-234)/(-2140). Let u = -1/107 - d. Let w = -15742 + 15744. Is u not equal to w?
True
Let p = -2221.4 + 2221. Which is greater: p or -35?
p
Suppose -3*n = 3*o - n + 589, 0 = -4*o - n - 782. Which is smaller: o or -2138/11?
o
Suppose -3*q + 1525 = 4*p, 26*p - 2 = 27*p. Which is smaller: q or -3?
-3
Suppose 3*f = -11*f - 1470. Let b = 106 + f. Is 2/85 != b?
True
Suppose -3*v + 4*f + 8 = 0, -3*v + 99*f + 10 = 94*f. Which is smaller: v or 24/379?
v
Let h = -19 + 17. Let n = -24583/7 + 3510. Which is bigger: n or h?
n
Suppose 4*i = 3*i + 8. Suppose 0 = 4*x - i*x. Suppose 5*z + 3*p = 0, -4*z - 15*p = -12*p. Is z at most x?
True
Let p be (0 - 2) + -1 + 7. Suppose 4*z - 20 = -p*t, z - 5*t + 1 = -24. Let a = -0.5 + 4.5. Is a at most z?
False
Let z(x) = x**3 + 19*x**2 + 19*x + 17. Let i be z(-18). Let h be -15 + 15 + i*186. Is -186 < h?
False
Let m be (-6*(-4)/24)/(1/(-72)). Let c = m - -86. Is 116/9 greater than c?
False
Let l = 12260 + -12464. Which is greater: -203 or l?
-203
Let q = -52/33 + 10/11. Let l be ((-2)/(-5))/2 + 16306/(-107830). Are q and l equal?
False
Let u = 15 + 38. Suppose -5*x = 5*q - 445, -3*x + 0*q + 261 = -3*q. Suppose -x*t + 82*t = -324. Do u and t have the same value?
False
Suppose 30*d + 16 = 27*d + 4*s, -16 = -4*s. Which is bigger: -4/5901 or d?
d
Suppose 24 = -2*r - f, -r - 5*f = 2*r + 43. Let s be ((-48)/15)/(r/5). Suppose 14 = 3*c + 2*j, -20 = 2*c + 3*j - 41. Which is bigger: s or c?
s
Let m be ((-3)/(-9))/((18/(-5))/(130/(-275))). Is m < 0?
False
Suppose -25*u + 1252 = -123. Suppose 26*l + 487 = 1943. Is u equal to l?
False
Let b = -1891 - -1931. Is b < 559/14?
False
Let b = 354913/50 - 7098. Let x = 6/25 + b. Let s(m) = -10*m**2 + m + 1. Let f be s(-1). Which is greater: f or x?
x
Let u = 21111 - 21109. Which is smaller: u or -225?
-225
Suppose 5*k + 34 = -5*v + 9, 5*v + 21 = -k. Are k and -18/209 nonequal?
True
Suppose -3*v - 4 - 2 = 0, -2*v = 4*k - 124. Suppose 2*c + 22 = -n, 4*c = -0*n - n - k. Let m be (2/n*-2)/(2/(-42)). Which is greater: m or -1?
-1
Let f = -12050 - -47643/4. Which is smaller: f or -139?
f
Suppose 0 = -43*d + 38*d + 25, 2*h = d + 3. Suppose 13*n - 26 = 15*n - h*i, -4*i - 34 = 2*n. Which is smaller: -11 or n?
n
Let d = -1296/11 - -19726/165. Is d smaller than 1?
False
Suppose 6*o - 3*o = 9. Let v(a) = -3 - o + 4 - 2*a**2 + 19*a - 3. Let h be v(9). Which is smaller: h or 20/7?
20/7
Let d = 0.1758 + 3.9562. Let w = -0.668 - d. Which is greater: w or -0.02?
-0.02
Let k = -2369 + 2369.8. Is -2/765 smaller than k?
True
Suppose -6*i + 5*i - 34 = -y, -i = 2*y - 65. Suppose -12*p = -y*p - 84. Is -28/9 > p?
True
Let w be (2805/(-35))/((-88)/28 - -3). Which is smaller: 560 or w?
560
Let p = 20929 - 15173531/725. Which is greater: 1 or p?
1
Let c be 7 + (6739/(-2254) - (4 + -1)). Which is smaller: c or 0?
0
Let v = -14 - -13. Let r = -159607/1962 - 45/218. Let j = r + 8086/99. Do j and v have the same value?
False
Suppose 0 = 2*p + 2*f + 194 + 778, f - 2430 = 5*p. Let q be (p/216)/((-3)/(-2)). Which is bigger: q or -1?
-1
Let r be ((-3780)/(-144))/((-12)/(-320)). Is 701 less than or equal to r?
False
Let k be 1/(((-30)/(-5))/(-294)). Let u be 9 - (-462)/k - 145/(-371). Is 1 <= u?
False
Suppose -7*c - 12 = -9*c. Let t = 19.01 + -19.18. Is c != t?
True
Let z be ((-40)/(-15))/(21/18 + -2). Let y be (3 - 2)*(-4 - -1). Which is smaller: y or z?
z
Suppose -3*y + 2747 = 5*j, 2*j + 112*y - 1090 = 113*y. Is j greater than or equal to 543?
True
Let z(b) = -b**3 - 6*b**2 - 2*b + 5. Let u be z(-3). Let s be (4/8)/(10*4/u). Is 54 less than s?
False
Let z(q) = 422*q + 1495. Let n be z(5). Do 3604 and n have the same value?
False
Let k = 843375859769/1871653974710 - 1/240758165. Let q = k + -21/46. Which is bigger: q or 1?
1
Let j = -3328 - -3246. Which is smaller: 0.31 or j?
j
Suppose 322*g - 253*g + 122199 = 0. Which is bigger: -1772 or g?
g
Let i(n) = n**2 - 4*n - 1. Let o be i(-4). Suppose 0 = 5*l - 10*l + 235. Suppose 5*z - 148 - 22 = -2*q, 0 = z + 3*q - l. Is o smaller than z?
True
Let c be 16/176 - 2*(-13106)/(-289058). Do c and 0 have the same value?
False
Suppose 4*c - 5*m + 67 = 0, -89*m + 31 = -2*c - 84*m. Is c at least as big as -418/23?
True
Let s be 1392/(-42) + 33 - 97/6209*-9. Let z(t) = -t**3 + t**2 + 2*t - 1. Let y be z(2). Which is greater: y or s?
s
Let m(q) be the second derivative of -q**4/12 + 5*q**3/2 + 14*q**2 + 4*q. Let r be m(16). Let l be r/(-16)*8/(-6). Which is bigger: l or -1/24?
l
Let x = 279.3711 - 0.3711. Is 0.1 greater than x?
False
Let i = 118 - 115.6. Let l = 0.6 + i. Which is smaller: -2 or l?
-2
Suppose -31 = 27*b - 4. Let h = -41/1890 - 27/70. Is b >= h?
False
Let t = -187 + 83. Let i = t + 81. Which is greater: i or -20?
-20
Let d be 14/35*10/(-1 - 1). Let z = 125 - 197. Let w be (-3)/6*(z/(-44) + d). Which is smaller: 2/13 or w?
2/13
Let t = -3605 - -3603.4. Which is smaller: t or 4/3?
t
Let u = 0.86 - 0.726. Let c = -3777 - -3776.966. Let x = u + c. Is x >= -83?
True
Let x = -133 + 135. Suppose 0 = 5*y - 4*y + x, -2*s - 36 = -5*y. Are 2 and s non-equal?
True
Let y(s) = -s**3 + 28*s**2 - 63*s + 108. Let d be y(28). Let m be 2 - (-5)/(4120/d). Which is greater: 1 or m?
1
Let b = -319.7 + 320.7. Which is bigger: b or 44/15?
44/15
Let a = 4.85 - 53.85. Let c = 49.1 + a. Let b = 4.66 - 4. Which is bigger: b or c?
b
Suppose 0 = 19*d + 9*d - 25*d - 1308. Is 438 >= d?
True
Let l(v) = -3*v**2 - 23*v - 28. Let g be l(-8). Let s be 1/(9/(g/(-68))). Is s >= -2?
True
Let z = -100 + 8797/88. Let y(x) = x**3 + 20*x**2 + x + 20. Let t be y(-20). Is t smaller than z?
Fal