 -6*s + 10*s - 372 = 0. Let w be 2/7 - s/(-42). Suppose 0 = -t + 4*n - 8, -5*n + 35 = 5*t - 0*n. Which is bigger: w or t?
t
Let j be (-2 + 1)*(3 - 8). Let v(i) = i**3 + 4*i + i**3 + 3 - i**3 - j*i**2 - i. Let m be v(4). Is -3/7 less than or equal to m?
False
Let g = 33.81 + 0.19. Let h = 106 - 73. Let n = h - g. Is 6/7 at most n?
False
Suppose -8 = a - 5*o + 2, a - 4*o = -8. Suppose 27*j - 31*j + 88 = a. Is j less than 62/3?
False
Let a(p) = -21*p - 20. Let h be a(5). Let d be 5/63*5*(-5)/h. Which is bigger: 1 or d?
1
Suppose -5*k - 4*d - 2 = -18, -2*d + 8 = -3*k. Suppose 0*c + 5*c + 25 = k. Let v be (-12 - -6)*c/3. Are 10 and v equal?
True
Let a be 15 - ((-7)/42 + 26/12). Is a at least 4?
True
Let g be (-8*4/(-200))/(-3 - -2). Let n = g - -14/25. Is -19 at most as big as n?
True
Let v(a) = -5*a**3 + 3*a**2 - a + 6. Let q be v(-3). Suppose q*p = 169*p + 18. Is 12 less than p?
False
Suppose -2*t + g = 7, 5*t - 4*g = -21 - 4. Is t less than 1/1429?
True
Let y be (-1)/(-2) - 25/2. Let m = 206 - 218. Are y and m nonequal?
False
Let z = -1111 - -1095. Which is smaller: z or 3?
z
Suppose 0 = -2*a - b - 193, -3*a + b + 4*b - 257 = 0. Let c be -1 + ((-156)/80)/(a/48). Which is smaller: 0 or c?
c
Let d = 16 + -15.59. Does d = 1/4?
False
Let b = 325 - 332. Which is smaller: 0.7 or b?
b
Let u = -0.09 + -0.16. Let s = -14.25 - u. Let b = s - -27. Is -1 greater than b?
False
Let r(n) = n + 1. Let u be r(-1). Suppose u = -7*w + 2*w. Which is greater: w or -2/7?
w
Let b be 668/40*1*14. Let v = b + -233. Which is smaller: 1 or v?
v
Suppose -d + 343 = -5*q, 10*d - 5*d = q + 59. Which is greater: q or 1?
1
Let h = 0.3 + 3.7. Let a = h + -6. Let i = 0.55 - 0.35. Is i greater than or equal to a?
True
Let d(x) = -x**2 + 9*x - 11. Let n be d(7). Let q be 6*2/n - -1. Is q bigger than 0.3?
True
Let p = -37 - -32. Which is smaller: -19/5 or p?
p
Let a(z) = 39*z**3 - 2*z**2 + 14*z - 5. Let w be a(2). Is 328 <= w?
False
Let j be (173/(-346))/(797/(-1)). Which is smaller: j or 0?
0
Let r(v) = 28*v**2 - 1. Let t be r(-1). Suppose -5*h = -2*h + t. Is -10 >= h?
False
Suppose -190 = 5*h - 4*z, -4*z = -2*h + 6*h + 188. Is -42 equal to h?
True
Let o = 670 + -1231. Is o <= -561?
True
Suppose -4*r - r = -3*u + 93, -4*u = -r - 124. Suppose -5*s = -0*c + c + 76, u = -2*s - c. Is -44/3 < s?
False
Suppose -3*k + 3*x - 3972 = 0, 4*k - 510 = 5*x - 5805. Which is smaller: -1324 or k?
k
Let u be 76/10 + 9/(-15). Suppose u = n + 3. Let b = n + -4. Which is greater: -2/5 or b?
b
Let d(m) = 2*m**3 - 6*m**2 + 6*m. Let b be d(2). Let w(x) = x. Let h be w(5). Suppose 0 = h*k - 3*k - 10. Is b less than or equal to k?
True
Let x be (((-288)/(-165))/2)/(6/(-15)). Let b = 22 - 24. Are x and b unequal?
True
Let k be (17 - 7)*(-2)/(-4). Suppose 4*s = z - k*z, 0 = -4*s. Suppose -5*i - 17 - 23 = z. Are -13/2 and i unequal?
True
Let v be ((-10)/(-4))/5 - (-5409)/(-10842). Is 0 at most as big as v?
True
Let o = 91 - 101. Let k be 2/(-20) + (-1)/o. Which is bigger: 3/7 or k?
3/7
Let s(k) = 6*k**3 - 2*k**2 + k + 1. Suppose c - 2*b - 2*b = -19, -24 = -4*c - 4*b. Let j be s(c). Do -2 and j have different values?
True
Let b(w) = -7*w**2 + 61*w - 2. Let c be b(11). Which is greater: c or -179?
c
Let x(o) = -o**3 + o**2 - o + 19. Let f be x(0). Suppose -3*a = 19*r - 23*r - 74, -2*a = -3*r - 51. Is a != f?
True
Let n = 204 - 2648/13. Let k(q) = q**3 - 5*q**2 + 5*q - 5. Let w be k(4). Are n and w equal?
False
Let u be 21 - -3 - 0*4/(-8). Is 33 at least as big as u?
True
Let a be (-8)/(-59)*(-75)/(-12) - 1. Is a at most as big as 1?
True
Let w = -1130 + 1131. Which is smaller: w or 45.1?
w
Let l be (-2)/(-3) - (-4 - 50935/10335). Let k = 124/13 - l. Which is smaller: k or 0?
k
Suppose 18*o = 4*o + 434. Do 12 and o have the same value?
False
Let m be 14278/(-44) + (-9 - -1). Which is smaller: -332 or m?
m
Let m = 13 - 33. Let a = -18 - m. Suppose 17 - 1 = -a*z. Which is greater: z or 0?
0
Suppose -4*y - t = -3*t + 52, 5*t = 3*y + 53. Let p be y/(-5) + 20/(-5). Is p less than -1?
True
Let i be (1 + 5 + 63)/((-3)/4). Let t = 92 + i. Let h be 1/(-3) + (-4)/6. Which is smaller: t or h?
h
Let i be (1*(-1030)/15)/((-1)/3). Let q = -2875/14 + i. Which is bigger: 1 or q?
1
Let v = 9289/57 - 163. Which is smaller: v or 1?
v
Suppose -7 - 8 = 15*q. Is -15/26 <= q?
False
Let l(a) = -a**3 + 9*a**2 - 9*a - 7. Let r be l(5). Let k be ((-4)/(2 + r/(-27)))/(-2). Which is smaller: k or 4?
4
Let q = 6047 - 5339499/883. Do -1 and q have the same value?
False
Suppose 0 = 3*d + 2*p - 4 + 2, d + 2*p + 6 = 0. Let l be (4 - (d - (-4 + 3)))*1. Which is smaller: -2/29 or l?
l
Let w(r) = r**3 - 2*r**2 - 9*r + 19. Let t be w(3). Is t less than 2/189?
False
Let b = 266 + -267. Let g = 0 + -1. Is b > g?
False
Let x(o) = o**2 + o + 1. Let q be x(5). Let b = 34 - q. Suppose -f = -b*f, -3*s = -4*f. Is s less than or equal to -1/50?
False
Let l(x) = -2*x**3 + x**2 + 1. Let g be 2/(2 + -3) - 10/(-5). Let k be l(g). Is k > 0.18?
True
Let x(w) = w**3 + 2*w**2 + w - 11. Let d be x(0). Suppose -4*i + 2*i - 14 = 0. Let g = i - d. Which is bigger: g or 3?
g
Suppose -4*a + 18 = -10*j + 5*j, -3*a + 8 = -j. Let v = 34 - 24. Suppose -8*o = -v*o. Which is greater: j or o?
o
Let f = 818 - 816. Which is smaller: 28 or f?
f
Suppose -12 = -5*x + 393. Let s = -82 + x. Which is greater: -2 or s?
s
Let l be (-38)/6 + 2/(-3). Let o = 60/13 - 315/26. Is o less than or equal to l?
True
Let n be ((-18)/16)/(1 + (-14)/8). Which is smaller: -1/9 or n?
-1/9
Let d = 37 - 152. Let p = 6084 + -6200. Which is smaller: d or p?
p
Let h be (4/(-6))/(-2)*(-3)/(-17). Is 1 not equal to h?
True
Suppose -4*t - 4 = 3*g, 5*t + 0*t + 5 = 4*g. Which is smaller: t or 2/221?
t
Let l = 0.1745 - -28.5055. Let h = -0.68 + l. Let b = -35 + h. Is -1 bigger than b?
True
Suppose -4*o + 2*f = 4, 3*f = o + f + 4. Let w be o + 3*6/5. Which is smaller: 4 or w?
w
Let q be ((-3)/(-4 - -7) - 0)*-342. Let p be ((-2)/(-3) + 0)/((-12)/q). Is -19 at least p?
True
Let c(x) = x**2 - 7*x + 6. Let m be c(6). Let w be ((-81)/10 - (-6)/(-5))/(1/(-2)). Which is bigger: w or m?
w
Let d be 29926/408 - (-7)/(-28). Let z = d + 4/17. Let c = -74 + z. Which is smaller: 2/5 or c?
c
Let u(z) = -z - 5. Let f be u(-12). Is -1.1 greater than f?
False
Suppose 4*j - 3*x = 2*j + 85, 3*x - 29 = -j. Let w = 1984 - 1945. Which is bigger: w or j?
w
Suppose 900*i - 909*i = 0. Which is bigger: 5/339 or i?
5/339
Let s(v) = 4*v - 21. Let k be s(6). Let x be 9/k + 301/(-105). Which is bigger: 5 or x?
5
Suppose v + 4 = 2*v, 0 = 3*y + 4*v - 64. Let u = y - 6. Let f be 8/(-20) + 6/u. Is f at most 0?
False
Suppose 12*w - 36 - 216 = 0. Suppose -22*t - 62 = -w*t. Is t bigger than -61?
False
Let y be (-85)/1870 - 135/(-2002). Which is smaller: y or 7?
y
Suppose -i = i - 34. Let b(a) = -3*a - 5*a - 3*a + 8*a + i. Let j be b(7). Is j at least -4?
True
Let l = -0.47 - -0.47. Are -12/11 and l equal?
False
Let i be 3/2 + (-1 - 0). Let d(c) = c - 3. Let n be d(3). Suppose n = -13*r + 3*r + 10. Which is greater: r or i?
r
Let l be ((-4)/24)/(5/190). Let s = 30 - 37. Is s at most as big as l?
True
Let m = -1091 + 1160. Do m and 13 have different values?
True
Let b = 622.8 + -623. Which is smaller: 4.7 or b?
b
Let h = 0.15 - 6.85. Let r = -2.3 + h. Let b = r + 9.2. Is -0.3 <= b?
True
Let v = 12.9 - 4.9. Let f = -8.1 + v. Which is greater: f or 6?
6
Suppose -f = -0*f. Let a(u) = -u**3 + 3*u + 1. Let k be a(-2). Let r be (-3 + k)/(2 + -3). Is f equal to r?
True
Let v(g) = 3*g**2 + 15*g - 1. Let m be v(-5). Which is smaller: m or 7/48?
m
Let l be 2 + (92/26)/(-2). Suppose 6*g - 28 - 14 = 0. Suppose 0 = 4*p - g*p. Which is smaller: l or p?
p
Let x be (-126)/(-18) + (-4237)/605. Does -1 = x?
False
Suppose 0 = 4*b - 5*p + 10, p + 3*p - 8 = 0. Suppose 6*d + 5*y = 3*d - 164, 4*d - 3*y + 209 = b. Which is bigger: -0.1 or d?
-0.1
Suppose b + 10 = 3*w - 21, -4*b = -3*w + 97. Let u = 18 + b. Which is smaller: -3 or u?
u
Suppose -2*u - 958 = -3*w, -3*w + 3*u = 98 - 1052. Is 324 > w?
True
Let g be 72/54*(-6 + 0). Let z(a) = a**3 + 7*a**2 - a + 19. Let k be z(g). Is -37 at most k?
True
Let k(x) = x**2 + 8*x - 1. Let r be k(-10). Suppose -2*g - 7 = -r. Let z = 13/2 - g. Is 2 greater than z?
True
Let h = -291 + 350. Is 58 > h?
False
Let t = 0.036 + 125.964. Let f =