r than t?
False
Let g = 169.7 - 162. Let z = g - 28.8. Let t = 21 + z. Which is smaller: 2/53 or t?
t
Let q be (-86)/387 - (-50)/144. Let j = -4 - -7. Is j smaller than q?
False
Let z(a) = a + 9. Let o be z(-8). Let c = 23/28 - 5/4. Are c and o equal?
False
Let w = 101 + -107. Let i = -8 - w. Which is greater: i or -6/11?
-6/11
Suppose 4*p + v = -2, p - 5*p - 5*v = -6. Let l = p + 26. Is l smaller than 25?
False
Suppose 5*i + 33 = 8. Let r be i/(-25)*5 + 2/(-2). Which is smaller: -2/37 or r?
-2/37
Let d(c) = c - 3. Let w be d(5). Suppose -3*q = 5*g - 23, g = w*q - 1 + 3. Which is greater: 1/2 or q?
q
Let f(c) = 3*c - 9. Let k be f(7). Let p(t) = t**3 - t**2 - 3*t - 3. Let i be p(3). Let r = k - i. Which is greater: r or -1?
r
Let p(b) = 11*b**2 - 29*b + 18. Let v(t) = 6*t**2 - 15*t + 9. Let i(u) = 4*p(u) - 7*v(u). Let y be i(6). Let s = -5 + y. Is 9 at least s?
False
Let q = -0.04 + -0.03. Let g = -138 - -137.93. Let s = g - q. Is s less than or equal to -0.1?
False
Suppose 0 = -3*s + 6*s + 45. Let o be ((-6)/(-5))/(s/50). Suppose l + 7 = -4*f, -l = -0*l - 5. Is f less than o?
False
Let s(i) = -4*i - 48. Let c be s(-8). Let u(o) = -o**3 - 17*o**2 - 15*o + 20. Let b be u(c). Suppose 4*a - 45 = -a. Do b and a have the same value?
False
Let k = -72 + 75.2. Which is smaller: -3/4 or k?
-3/4
Suppose 6*u - u + 3*x = -54, -2*x = u + 15. Suppose 13 + 83 = -12*h. Which is greater: h or u?
h
Let f be (-1080)/(-3766) + 36/(-126). Which is smaller: 0 or f?
0
Let k be 4/(-6) - (10 - (-1068)/(-90)). Let g = -13 - -23. Let h be (-2)/g - 4/(-20). Which is bigger: k or h?
k
Suppose -5*r = -10 - 20. Suppose -r = -0*z - 2*z. Which is greater: 4 or z?
4
Let z(t) = t + 6. Let a be z(5). Suppose 0 = 13*g + 36*g + 84 + 63. Which is greater: a or g?
a
Let s(u) = u**3 + 11*u**2 - 14*u - 25. Let b be s(-12). Is -2 less than or equal to b?
True
Suppose 47 = -10*f - 83. Let t be ((-9)/((-18)/(-52)))/2. Is f at most t?
True
Let w be (-30)/(-3102)*(24/20 - 2). Is w bigger than -1?
True
Let p = -53 + 88. Let b be 6/112 + (-15)/p. Which is bigger: -1 or b?
b
Let m = 5920/9 - 658. Which is smaller: 0 or m?
m
Let b be 0 + -447*5/(-150). Let s = b - 31/2. Let h = 120 - 598/5. Which is greater: h or s?
h
Let l = 3187.09 - 3187. Let a = -4 + 1. Is l equal to a?
False
Let m = -33 + 32. Let q = -5 + 7. Let w be q/6 - (-46)/(-84). Which is smaller: w or m?
m
Let h = 148 - 2075/14. Which is smaller: h or 0?
h
Let i = 2074 - 4227/2. Is i >= -39?
False
Let p = -11 - -18. Suppose -y + 6 = -p*y. Which is smaller: 0 or y?
y
Suppose -13*d - 4186 = -611. Which is bigger: d or -276?
d
Let a(p) = p**3 - 23*p**2 - 27*p + 37. Let q be a(24). Are -203/6 and q equal?
False
Let y = -44 + 51. Let u be 6/(-4)*y*12/126. Which is greater: u or -1/100?
-1/100
Suppose 0*p + 2 = 2*p. Which is greater: p or 1/8?
p
Suppose 5*w + 5 = 0, -5*z + 3 = 4*w + 22. Let x be 3/15 + 0/z. Let c = -0.74 - -0.84. Is c bigger than x?
False
Let n be 6/(72/508)*-3. Let x be (-12)/(-30) + (-1 - n/45). Which is smaller: 2 or x?
2
Let g = -61.984 + 62. Let z = 0.006 - g. Which is smaller: -1/12 or z?
-1/12
Let x(f) = 9*f - 5. Let b be x(2). Let c = b - 25. Do c and -9 have the same value?
False
Let d = 2096/9 - 233. Which is greater: d or 1/5?
1/5
Suppose 2*i - 5*f - 18 = -0*i, 5*f + 20 = 0. Which is smaller: 2/87 or i?
i
Suppose -2*y = 4*f - 20, 0*f + 3*f + 5*y = 29. Let l be f/(3/(-4)) + 6. Let s be l/8 + 11/52. Is -1 at most s?
True
Let q = -960773/4245 + -4/1415. Is -225 bigger than q?
True
Suppose 17*o - 46*o = 2958. Which is greater: o or 0.2?
0.2
Let m be 86/(-10) + (-21)/(-35). Let w(z) = 18*z - 1. Let u be w(1). Let h be 3/6 - u/2. Is h smaller than m?
False
Let g be (80/100)/((-27)/(-105)). Which is smaller: g or 4?
g
Let j = 22 - -30. Suppose 2*c - c - f - 1 = 0, 0 = 2*f - 4*f. Is c less than j?
True
Suppose -11*b - 12 = -100. Let d = b - 9. Is d < 0.3?
True
Let g(s) = 2*s - 13. Let r be g(9). Suppose r*v = -53 + 38. Is v at least as big as -1?
False
Let g be (-1 - -1)/(-5) + 6/(-83). Let r = -397/6640 - g. Which is greater: r or -1?
r
Suppose -34*g - b - 2 = -33*g, 6 = -3*g + 3*b. Let n = -452 + 3603/8. Which is bigger: n or g?
n
Suppose -5*m - 4*s = -149, 0*m - m = -5*s - 53. Let j(f) = 13*f**2 - 2*f + 1. Let z be j(-2). Let h = m - z. Which is smaller: 1 or h?
h
Let a = -5.61 - -6.13. Does -2 = a?
False
Let w(x) = 3*x + 25. Let s(g) = 1. Let l(v) = 4*s(v) + w(v). Let r be l(-14). Do -10 and r have the same value?
False
Let y(s) = 4*s**2 - 21*s - 5. Let x be y(5). Let l(n) = n**3 + 10*n**2 - 2*n - 12. Let o be l(x). Which is bigger: o or 9?
9
Let w be 5*((-4)/(-20) - -4). Let o = w - -15. Which is bigger: 35 or o?
o
Suppose 11*j = 6*j - v - 33, 4*v + 18 = -j. Suppose -5*y + 4*l = 51 - 3, 2*y = -l - 14. Is j at least y?
True
Let m = 1.8 - -0.3. Let s = 2197/4354 - 10/2177. Is m greater than s?
True
Suppose -3*l = -4*w + 12, -2*w = -5*l - 7*w + 15. Let f = -2323/4 + 5705/12. Let j = f + 104. Which is smaller: j or l?
j
Let r = -75/91 - -17271/20293. Which is greater: 1 or r?
1
Suppose -5*h - 3*f - 25 = f, -h - 5 = -f. Let t be (-2)/(-10) + 1/h. Which is bigger: t or -6?
t
Let v = 26 + 1. Suppose v = -6*g - 27. Which is smaller: -28/3 or g?
-28/3
Let j(q) = q**3 - 2*q**2 - 8*q + 1. Let a be j(4). Which is smaller: a or 14/11?
a
Let u be (-6*2)/(2/(-4)). Let s be 1432/u - 1/(-3). Let a be (45/s)/((-54)/4). Which is smaller: a or -1?
-1
Let z = -4602 + 18233/4. Which is bigger: z or -45?
z
Let g(d) = -d - 45. Let f be g(-6). Are f and 5 unequal?
True
Let q = -261684/199 - -1315. Which is bigger: 1 or q?
1
Let t = -124 + 86. Which is greater: -36 or t?
-36
Let i = 40 + -14. Suppose -2*m + 22 = -2*a, 3*m = a + 11 + i. Which is smaller: m or 11?
11
Let n(j) = -j - 7. Let b be n(2). Is 0 at most as big as b?
False
Suppose a - 5 = 0, -3*a + 7*a - 325 = -5*r. Which is smaller: r or 1/3?
1/3
Let d = -1360 - -833. Which is greater: d or -526?
-526
Let r(k) = -9*k - 31. Let h be r(-8). Let p = 31 - h. Is p less than -14?
False
Let n = 81488/15 + -5430. Which is greater: n or 4?
4
Let j(g) = 3*g + 5. Let r be j(6). Suppose -5*v - 4*l = r, -l - 5 = v - 0*v. Let u be (-3)/6*(v - -6). Is -1 at least u?
True
Let g = 7.84 + -20.76. Let w = g + 0.92. Which is smaller: 1 or w?
w
Let w = -0.07 - -1.33. Is -0.1 at most as big as w?
True
Let f = -53.6 + 7.6. Let z = f - -46. Which is smaller: z or 33?
z
Let d = -458/3 + 2284/15. Which is smaller: 455 or d?
d
Let r(l) = l**3 - 6*l**2 + 2*l - 9. Let j(o) be the first derivative of -o**3/3 + 13*o**2/2 + 20*o + 7. Let u be j(14). Let h be r(u). Are h and 3 nonequal?
False
Let i(q) = 2*q**2 - q - 1. Let s be i(-3). Suppose o = -5*t + s, -3*o + 5*t = -3 + 23. Let y = 2007/110 + -204/11. Which is bigger: y or o?
o
Let u = 90138700/29 - 3109550. Let c = u - -1320. Let o = -839/783 + c. Is o != 1?
True
Let n be 2 + (-8)/30*1*42. Let b = -143/15 - n. Which is bigger: b or -5?
b
Let w be -8 - (-2 + 1)/(-1). Let r be 9/((-3)/(w/(-12))). Let m(k) = k**2 + 2*k - 4. Let t be m(1). Is r > t?
False
Let a(g) = -g**2 - 8*g - 1. Let p be a(-6). Let c = p - 7. Suppose -c*r - 8 = -q, -r = -5*q + q + 2. Which is greater: 13/5 or q?
13/5
Suppose -2*i = 5*u + 1265, -4*u - 642 = -2*i - 1916. Which is greater: -634 or i?
-634
Let g be (-6)/(-5)*3/(-12). Let o = 1915 - 1916. Are o and g unequal?
True
Let h(u) = -u**3 + 6*u**2 + u - 2. Let k be h(6). Let v = k + 15. Is v at least as big as 18?
True
Let r be (-442)/(-318) + (-20)/(-30) + -2. Suppose 2*l - 5*l = 0. Is l at least as big as r?
False
Let i = -28.4 - -28.6. Which is smaller: 12 or i?
i
Suppose 941 - 5281 = -14*b. Which is smaller: b or 1?
1
Suppose b - 2*v - 900 = 0, 5*v = 51 - 26. Is b greater than 909?
True
Let i = 1 - 4. Let g = -5.2 - i. Let w = -2.2 - g. Is w less than -3?
False
Let a(f) = f**3 - 9*f**2 + 6*f + 15. Let m be a(8). Let j = -2/6178781 - -87738690254/166827087. Let x = j - 526. Is x greater than or equal to m?
True
Let p(d) = d**2 + 11*d + 23. Let k be p(-7). Let r(s) = -s**2 - 3*s + 9. Let n be r(k). Is -9 < n?
True
Let u = 9.42 + -0.42. Let s = -8.7 + u. Is 1/4 < s?
True
Let u(t) = -2*t + 2. Let g be u(7). Let h = -12 - g. Let s be (1/(-12))/(5/(-8)). Which is bigger: h or s?
s
Let o = 4828/5 + -960. Which is smaller: o or 7?
o
Le