r than j?
True
Let q be (6/8)/((-84)/10416). Is -95 smaller than q?
True
Let v = 26 + 10. Let l = 36 - v. Is l <= -2.1?
False
Let l = -80.1 - -81.2. Which is smaller: -0.7 or l?
-0.7
Let k = 161 + -160. Let l = -153 - -155.34. Let p = 0.14 - l. Are p and k unequal?
True
Let h(l) = 3*l**2 + 21*l + 9. Let v(p) = -p**2 - 7*p - 3. Let m(a) = -6*h(a) - 17*v(a). Let w be m(-7). Which is smaller: -6 or w?
-6
Suppose -g - 81 = -4*g. Let f be ((-3)/g)/(5/15). Let a = -0.9 - -0.4. Which is smaller: a or f?
a
Let y be 4/(-22) - (-6)/33. Suppose 3*g + c - 17 = -2*g, y = 3*g - c - 7. Suppose 0*s + g*s = -3*i + 39, 0 = 3*s - 15. Is 8 less than or equal to i?
True
Let y = -1618 - -1429. Which is smaller: y or -375/2?
y
Let m be (-3144)/168 + 2/(-7). Is -21 != m?
True
Let k = 321 + -163069/508. Which is smaller: -1 or k?
-1
Suppose 17*r + 113 = 28. Which is greater: r or -22?
r
Let k = -2585 + 465299/180. Is 0 at least k?
True
Suppose -272 = 325*h - 333*h. Is 0.3 > h?
False
Let j = -183 + 323. Let v = j + -127. Let i = 1 - 1.1. Do i and v have different values?
True
Let a be 3/((-24)/73) + (-27)/(-216). Which is smaller: a or -100/11?
-100/11
Let a = -228 - -148.7. Let y = a - -84. Which is bigger: -0.1 or y?
y
Let n = 500 + -500. Which is smaller: 1/13 or n?
n
Let f = 28025/568 + -395/8. Do -1 and f have different values?
True
Suppose -3*d + 234 = -5*d. Let q be 204/10*(-130)/d. Let i = q + -23. Which is bigger: -1 or i?
i
Suppose 20*v = 25*v - 4320. Let a = v - 25063/29. Which is smaller: a or 1?
a
Suppose -32*g - 115 = 109. Let q be (3/(-6) - 0)*14. Is q bigger than g?
False
Let g = 77.9 + -77.9. Let k = 1 + -1/2. Is k less than or equal to g?
False
Let k = 3234 + -475396/147. Let j = 205 + -206. Is j != k?
True
Suppose 0 = 2*i + 3*r + 95, 2*r = 4*i + 6*r + 180. Let c be (-8)/2*10/i. Is c at most as big as 1/7?
False
Suppose 5*n - f = 2*n + 67, 3*f + 3 = 0. Suppose -3*y - 5*g = n, 4*y + 5*g = 2*y - 23. Which is smaller: 2 or y?
y
Let w = 89 + -90. Which is smaller: -108 or w?
-108
Suppose -q + 5*v - 192 = 0, -5*q + 3*v - 847 - 91 = 0. Is q < -1/3?
True
Suppose 3*q = -5*u - 18, -21*q = -2*u - 24*q. Which is smaller: -32/5 or u?
-32/5
Suppose -221 = -4*u + 3*u. Is u at least as big as 222?
False
Suppose 13*q - 12*q = -53. Suppose -5*g + z - 328 = -65, 4*g + 5*z + 193 = 0. Which is smaller: g or q?
q
Let k be 140/(-4536)*(-3)/5. Which is greater: -1 or k?
k
Let u = -1268/5625 - -2/625. Let a = -4030 + 4034. Which is bigger: a or u?
a
Let n be (-192)/13*1 - -6. Which is bigger: n or -10?
n
Suppose 8*y = 30*y - 44. Let r be (-3*y)/(-3 - 10/1). Suppose 4*c + 2*v = -6, -4*c - 5*v - 10 = c. Which is bigger: r or c?
r
Let z be 364/(-5) + 1/(-5). Let l = 40 + z. Do -33 and l have the same value?
True
Let u(o) = o**3 - 12*o**2 + 19*o + 12. Let m be u(10). Let q(j) = 2*j - 2*j + 4 - j**2. Let k be q(m). Is k bigger than -1/12?
True
Let a(w) be the first derivative of 7*w**2 + w + 11. Let j be a(-1). Do -13 and j have the same value?
True
Let f be 10/(-3)*(-67 - -16). Let n be ((-20)/(-25))/(4/f). Let k be (-6)/2*n/561. Which is smaller: 5 or k?
k
Let d be (1 - 1 - (-3 - 2)) + -184. Is -1254/7 at least as big as d?
False
Let v be (-1 - 14/(-10)) + (-12240)/225. Which is bigger: -49 or v?
-49
Let p be (-1)/(1/(-12)*2). Suppose p*k - 72 = 4*k. Let d be k/80 + 2/(-8). Are -1 and d non-equal?
True
Let t = 209.9 - 210. Is t >= 9/17?
False
Let a = -1005/69053894 - 582618003328867/207161682. Let u = -2811670 - a. Let m = u - 713. Which is bigger: m or -1?
m
Let w be (-1)/(-3) - (-50)/(-132). Let s(k) = 75*k - 3. Let d be s(-1). Let j = d + 77. Is w at least as big as j?
True
Let k be (-10)/35 - 16/28. Suppose x = -y - 23, 3*y + y = 2*x - 68. Let j = y + 19. Which is bigger: j or k?
j
Suppose -2*p + 13 = o - 22, 2*o + 5*p - 73 = 0. Suppose 4*a + 11 + o = 0. Let k = -11 - a. Is k at most -1?
True
Let w = 1 + 0. Let z = 3 - w. Let m(f) = 2*f + 24. Let p be m(-11). Is z smaller than p?
False
Let q = 8/35 + -51/70. Are q and 85 nonequal?
True
Let f be -1 - (-3 - 45/(-24)). Let l = f + -21/8. Let a = -61 + 58. Which is smaller: a or l?
a
Let h = 1005/101 - 184709/404. Are -447 and h unequal?
True
Suppose 4*g + 406 = 3*v, -5*g + 6*g - 289 = -2*v. Which is greater: v or 144?
144
Let c(i) = -i**2 - 12*i + 8. Let l be c(-9). Let z = l - 41. Which is greater: z or -14/3?
-14/3
Let z be (-15)/105*18/4. Which is bigger: z or 0?
0
Let h(t) = -t**3 + 10*t**2 - 10*t + 13. Let a be h(9). Suppose 4*w = -5*p - 76, 40 = -4*w + a*p - 0*p. Let z be (-26)/42 + (-4)/w. Is 0.06 bigger than z?
True
Let g(p) = -15*p**2 - 172*p + 21. Let u be g(-10). Which is smaller: 242 or u?
u
Suppose 0*s - s + 18 = 0. Suppose -3*j = -3*r - s - 3, -j + 3*r + 17 = 0. Let c = 2.9 + -3. Which is smaller: c or j?
c
Let p = -30 + 33. Let r be 1/3 + (-1)/p. Which is smaller: -1/6 or r?
-1/6
Suppose z - 28 = -31, 5 = -2*l + 3*z. Is l smaller than -24?
False
Suppose 3*b = 3*h - 333, 0*h - 5*b = -h + 111. Let w be (-1)/((-6)/(-176)) - 74/h. Is -32 bigger than w?
False
Let u = 5 + 1. Suppose u = -2*k - 0*k + 2*v, k - 9 = -3*v. Which is bigger: 1/11 or k?
1/11
Let b = 4 + -4. Suppose 20 = -2*j + c, 0*j - 2*j - 3*c - 20 = b. Which is smaller: -11 or j?
-11
Let o be (-136)/(-16) - ((-9)/6 - -3). Suppose 5*j + 28 = -o. Which is smaller: -9 or j?
-9
Let m = -0.7 + 6.7. Let c = 5.2 - -1. Let a = c - m. Is a <= -2?
False
Let h be -2 - (-1)/(2/12). Let c = 0 + h. Let u be 14/(-8) - c/16. Which is smaller: u or -4/7?
u
Let c = 190 + -33. Which is greater: c or 156?
c
Let u be -3*65*2/18. Let m(o) = 2*o**3 + 111*o**2 - 52*o + 203. Let h be m(-56). Which is bigger: u or h?
h
Let n be 0 - (-4)/14 - 0. Let s = 84 - 81. Suppose 6 = s*q - 0. Is q at least as big as n?
True
Let l(x) = -5*x**2 + 4*x - 3. Let q be l(2). Which is bigger: -6 or q?
-6
Let h be 0/(4*1 + (-35)/7). Let i = -1/223 - 319/28321. Which is smaller: i or h?
i
Let f = 3029 - 2983.43. Let o = -0.43 - f. Are o and 1/2 nonequal?
True
Let u be 1/4*(14 - 4). Which is bigger: u or 2?
u
Suppose -5*n = -2*t, 4*t = 5*t + 3*n. Is t less than -6/89?
False
Let q(j) = -2*j**2 + 9*j - 19. Let a be q(5). Let u(n) = -n**3 - 7*n**2 - n + 7. Let l be u(-6). Which is smaller: l or a?
a
Suppose 5*j + 20 = 4*n + 7, -n - 5 = -4*j. Let f be ((-1)/n)/(32/(-112)). Are 2 and f unequal?
True
Let h be (-6)/28*-2*7. Do 60/29 and h have the same value?
False
Let p = -77 - -80. Let m be -5*(p/15 + -3). Which is greater: m or 12?
m
Let t = 264/13 - 55782/2743. Do t and 1 have the same value?
False
Let a = 45 + -40. Suppose f - 2 = -g, 0*g + 2*f + 3 = a*g. Which is bigger: g or 0?
g
Let d = -5.3 + 5.4. Let m = -0.75 - -32.75. Which is smaller: m or d?
d
Let a = 94 - 12. Let y = -82 + a. Is -7 <= y?
True
Let x(s) be the third derivative of s**6/120 - 3*s**5/20 - s**4/24 + s**3/2 - 5*s**2. Let m be x(9). Let o be -3 + ((-63)/m - 3). Which is bigger: 4 or o?
o
Let v be 2 + 22/12 - 0. Let z = v + -25/6. Let f = 10 + -7. Is z not equal to f?
True
Suppose -5*h + 35 = 5*g, -g + 0 = -3. Suppose -21 = k - h*p, -5*p = 2*k - 3*p + 32. Which is greater: -18 or k?
k
Let a = -162 - -155.3. Let n = 496.7 - 494. Let s = n + a. Is -2 <= s?
False
Suppose -3*u = -g, 2*u - g = 7*u. Let c(x) = -3*x + 4 + 3*x - 2*x**2 + 3*x**2. Let d be c(u). Which is bigger: d or 16/3?
16/3
Let g = 1660 - 1777. Which is greater: -128 or g?
g
Let x be ((-33)/352)/((-10)/4). Which is bigger: x or 0?
x
Let n be (-7)/63 - (-20)/18. Let w be (9/((-135)/(-50)))/(52/(-6)). Which is greater: w or n?
n
Let f = -1348 + 939. Let z be (-2)/(-3) - 3695/9. Let a = z - f. Which is smaller: a or -1?
-1
Let t be (-3)/18 - (-22)/24. Suppose 4 + 4 = -4*i, -2*l = -5*i - 12. Which is smaller: t or l?
t
Let n be (2/(-7) + (-52)/(-84))*-6. Which is smaller: n or -113?
-113
Suppose -4*g + 12 = -3*o - 0*o, 0 = -5*g. Let n(j) = 2*j + 6. Let z be n(7). Suppose 5*b + 2*m = -2*m - 22, 4*b + 2*m = -z. Which is bigger: o or b?
o
Let m(i) = -i**3 - 7*i**2 - 11*i - 3. Let n be m(-5). Let w = 6.1 + 6.9. Which is bigger: n or w?
w
Suppose 4*x + 17 = 6*x - 5*h, 5*h + 20 = 5*x. Does -1/813 = x?
False
Let s(y) = y**2 - 6*y - 1. Let o be s(6). Let h be 1*(-1)/(-2 - o). Let v = 5/441 + -6/49. Is h smaller than v?
False
Let b = 0.4 - 0.3. Let s = b - 0. Suppose -5*n + 4*d + 63 =