4*b, -b + 5 = c. Let l = -83/53 - -15295/9699. Which is bigger: l or d?
d
Let s be (-3)/6*-14 - 12. Let r = -45 - -18. Which is bigger: r or s?
s
Let x be (-3 - (-3 + -1)) + -2. Let m(t) = -2*t**2 + 18*t + 22. Let p be m(10). Suppose -5*r + p*a - 21 = 0, 3 = -r + 3*a - 9. Which is smaller: x or r?
r
Suppose 0 = 3*s - 2*s - 6. Suppose -11 = 3*w + 1, b = 5*w + 41. Let x = -43/2 + b. Which is greater: s or x?
s
Let t = -0.08 - -0.16. Let f = -169 - -165.92. Let x = f + t. Is 4 bigger than x?
True
Suppose 7*i - 89 - 79 = 0. Let h(s) = 26*s**3 - s**2 + 2*s - 1. Suppose 14*n = 9 + 5. Let t be h(n). Which is smaller: i or t?
i
Let w(k) = 5*k**2 - 5*k + 6. Let v be w(2). Suppose 0 = v*i + 69 - 373. Is 102/5 != i?
True
Let k be 5*1*8/60. Let f = -65 - -64.463. Let q = -0.063 + f. Do k and q have the same value?
False
Let g(i) = 7*i + 30. Let u be g(4). Let k = 0.8 + -1. Is k >= u?
False
Let y = 5.577 + -42.477. Which is smaller: -1/4 or y?
y
Let l = -2.04 + -0.96. Let m = 2.26 - -0.04. Let g = -2.7 - m. Which is smaller: l or g?
g
Let r = -0.37834 + 0.35694. Which is bigger: 0.3 or r?
0.3
Suppose -149*m + 84 + 65 = 0. Is -1/1236 at most m?
True
Suppose -8*k = 5*m - 4*k - 120, 0 = -4*m - 3*k + 95. Suppose -m = -3*r + 4. Is r smaller than 11?
True
Let v be ((2 + -1)/1)/(-1). Let i be ((-240)/35 + 6)*-7. Let x be (19 - i)*v/(-6). Which is greater: x or 3?
3
Let o = -27/907 - 1325073/1814. Let h = 745 + o. Which is smaller: 0 or h?
0
Let j be 2 + (-5 - 9/(-2))*(4 - 4). Which is smaller: 31/50 or j?
31/50
Let h = -3 + 4. Let l(z) = 2*z**2 - 2*z + 1. Let w be l(h). Let d = 106180 - 106170. Is d at most as big as w?
False
Suppose 231 = 4*u - 65. Let k = -96 + u. Is -22 < k?
False
Suppose 18*r - 15861 + 3657 = 0. Let b = 900 - r. Is b > 224?
False
Let d be 4/(-34) - 120/136. Let k be d*20/(-410)*(1 - 0). Which is smaller: k or -1?
-1
Let j be (-2 + 2)*14/28. Is j <= 101/286?
True
Let y be (14/(-4))/((-2)/4). Suppose m = -2*s + 16, -19 = -3*s - 2*m + 4. Let o be (22/24 + (-1)/4)*s. Is o <= y?
True
Suppose -36*f - 12146 = 10750. Let c = -638 - f. Which is bigger: 1/52 or c?
1/52
Let f(c) = c + c - 2676 + 2658. Let z be f(8). Let b be 4/z - 3/69*-43. Are -1 and b non-equal?
True
Let f = -1629 - -1520.1. Let o = -109 - f. Which is bigger: o or 0.4?
0.4
Let b = 98 - 101. Suppose 13*u = 12*u. Let k be (-6 - 2) + 1*(1 - u). Which is greater: k or b?
b
Let j = 1 - 1.1. Let w = -1511 - -1466. Which is bigger: j or w?
j
Let q be (15/6)/(-1) - 13/(-39). Suppose 4*i + 22 = -3*a, 48*a = 52*a - 5*i - 12. Is a at most as big as q?
False
Let d = -228 - -230. Suppose -4*l + 3 = -j - 2, -d*j = 2*l. Is -2/107 bigger than j?
True
Let b(g) = 35*g**2 - 15*g - 6. Let a be b(-4). Let d = a + -662. Is -48 at least as big as d?
True
Let x be -6*(-4)/34*1. Suppose -15*v = -27*v + 24. Which is smaller: v or x?
x
Let r be (840/(-2))/((-38)/133). Let v be ((-2)/20)/(3/r*5). Let y = 534/55 + v. Which is smaller: y or -1?
-1
Let i = 6.224 - 14.782. Does i = 1?
False
Let m = 81414052/21 + -3875201. Let z = m + -5197/3. Let r = -74 - z. Do 5 and r have the same value?
False
Let a = -3.0415 + 7.0415. Which is greater: a or 889?
889
Let m = 0.0995 + 4.9005. Let i = -128.08 - -128. Which is smaller: m or i?
i
Let p = 67.5 + -67.5. Which is smaller: p or 2635?
p
Let y = -2941/4 + 2915/4. Suppose -4*r = -5*r - 6. Let p = r - 2. Which is greater: p or y?
y
Let n be 2/4 + 1585784/2320. Let q = 684 - n. Which is smaller: 1 or q?
q
Let h be (-7)/(-5) - 24/(-40). Let g be (-8)/h + 0 - -3. Let z = -41 + 285/7. Is z smaller than g?
False
Let n(s) = -s**3 + 6*s**2 + 2*s - 8. Let j be n(6). Suppose i - b - 24 = 0, -i - 3*b - 14 = -6. Is i >= j?
True
Suppose -2*v - 157 = 3*q, -22*q + 47 = -23*q - 2*v. Is q bigger than -64?
True
Let c = 18610/3 + -50600572/8157. Is 0 at most c?
True
Suppose 0 = 5*p - 4*j + 31, -5*j - 5 + 0 = 0. Suppose 3*c - 12 = -3*g, 4*c - 4 = -g + 3*g. Suppose 4 = r, -2*x + g*r - 9 = 5. Which is greater: x or p?
x
Let l(y) = -28*y + 191. Let i be l(7). Suppose 4*b + b + 15 = 0. Let f be ((0 - -1) + b)/(-2). Is i bigger than f?
False
Let m = -2 - -2. Let a be ((-103880)/(-2250))/(5 + 23/(-5)). Let j = a + -577/5. Which is smaller: j or m?
m
Let a = 1.8 + -1.9. Let r = -0.135 + -154.865. Let l = r - -142. Is a <= l?
False
Suppose -5*d = 5*j + 53 - 173, 4*j = d - 24. Let t(g) = -g**3 + 24*g**2 + g + 42. Let p be t(d). Suppose -9*c + p = -6*c. Is 23 at least c?
True
Let b = 19 - 19. Suppose m - 12 = -b. Suppose -j + f = -6, 2*j - 16 = -2*j - 4*f. Is j at least m?
False
Let r be (1 - 1)/(0 + 2). Let g(o) = -o**2 - 2. Let n be g(r). Let u = -4281/8 - -534. Which is smaller: u or n?
n
Suppose 530*l = 531*l + 5. Let g = 146 - l. Which is smaller: g or 152?
g
Let i = 15031 - 15037. Do i and -320 have the same value?
False
Let i = -24 + 24. Let j(z) = z - 7. Let c be 44/6 + 2/(-6). Let v be j(c). Is i <= v?
True
Let x = 1451 + -651. Let u = 640 - x. Which is smaller: -159 or u?
u
Let j = 7082.85 - 6928. Let o = j + -148. Let n = o - 6.8. Is 2/9 at least n?
True
Let p be (348/(-4466))/((-2034)/28). Which is bigger: p or 1?
1
Let b be (-32)/(-15) + 10/(-5) + (-10)/75. Is -12/341 smaller than b?
True
Suppose 73 + 68 = 3*a + 2*r, 2*a + 5*r - 105 = 0. Let u = 42 - a. Suppose -14 + 9 = 5*x. Is u greater than or equal to x?
False
Let t = 113.6 + -27.6. Let y = 77 - t. Let m = -2.2 + 2. Are y and m equal?
False
Let o(q) = 6*q**2 - 15*q - 18. Let r(c) = -5*c**2 + 15*c + 17. Let w(m) = -6*o(m) - 7*r(m). Let n be w(-14). Let x be ((-27)/3*3)/(-7). Is n smaller than x?
True
Let b = 6 - -112. Suppose -b + 98 = 2*d. Suppose 1 - 31 = 3*q. Is d smaller than q?
False
Let p(u) = 903*u + 366. Let h be p(3). Is h > 3075?
False
Let v(a) = -a + 6. Let q be v(6). Suppose 0 = 2*b - q*b + 2*g + 18, -2*b - 9 = -g. Let w(k) = -3*k + 8. Let y be w(6). Is y > b?
False
Suppose -137*b - 24 = -113*b. Suppose 4 + 6 = -5*n. Is n equal to b?
False
Let v(w) = -w**3 - 1. Let s(l) = 2*l**3 + 3*l**2 - 2*l - 3. Let m(x) = s(x) + v(x). Let t be m(-3). Suppose 352 = -191*z + 161. Is z equal to t?
False
Suppose -46*c = -46 - 460. Let l be (-34)/(-6) - c/(-33). Which is greater: 5 or l?
l
Suppose -24 = 23*k + 919. Is -44 less than or equal to k?
True
Let n = 2920 - 2923. Which is smaller: -152/41 or n?
-152/41
Suppose 0 = 9*g - g + 22*g. Suppose 26*f - 29*f + 927 = g. Which is bigger: f or 310?
310
Let t = -426087/41 + 10393. Which is bigger: t or 2?
2
Let c(u) = -25*u + 297. Let f be c(15). Is -543/7 <= f?
False
Suppose 33 = -15*v + 26*v. Suppose -269 = -3*a - 2*y, -v*a + 6*y + 253 = 4*y. Is a >= 2?
True
Suppose 4*o - 2 = z, 0*z = 2*z + 3*o + 4. Let i = -326 - -325. Which is smaller: i or z?
z
Let y = -43/206 - -11929/59122. Which is greater: 0.034 or y?
0.034
Suppose -12*m - 99 = -3*m. Let i(j) = -30*j - 13 + 13*j + 10*j - 64. Let p be i(m). Are 5 and p unequal?
True
Let c be -4*4/8 + 3. Let q be ((-525708)/(-18774) - 23) + -5. Is q smaller than c?
True
Let h = 81 - 71. Let s = 10.2 - h. Let u = -22.82 - -23. Does u = s?
False
Let a = 514.854 - 515. Let x = a + -2.154. Which is smaller: -1/9 or x?
x
Let o(k) = k**2 + 42*k + 65. Let y be o(-14). Let b = 5564/17 + y. Which is bigger: b or 1?
1
Let x be 7 + -3 + -2 + -6. Let k = 2687/7 - 387. Is k <= x?
False
Let k(g) = -5*g**2 + 58*g - 214. Let n(p) = 2*p**2 - 19*p + 71. Let a(j) = 3*k(j) + 8*n(j). Let z be a(-25). Which is bigger: z or 1/68?
z
Suppose 2*l + 40 = 5*y, -l + 3*l = y - 16. Let h be (621/(-8) - 3) + y/(-16). Is h less than -81?
False
Let g = 477 + -5221/11. Let c = g + -405/176. Which is greater: c or 1?
1
Let v = 90017/84042 - -2/6003. Let c be 1 - (0 - 2 - -3). Suppose 4*u - 4 - 4 = c. Which is bigger: u or v?
u
Let b = 7/286 - 12619/1430. Suppose 4*a + 0*n + 3*n = -11, 2*a + 51 = 5*n. Which is bigger: a or b?
a
Let t be (-3)/(-240)*15/(-66). Suppose -3*j + 3 = -3*w, j + 63 = 3*w + 64. Which is greater: t or j?
j
Let v = 278.4 + -275. Let z = -2.5 + 2.3. Are v and z non-equal?
True
Suppose 7 = p - 5. Suppose 48*n = 49*n - 2. Let l be p + 5/(-5) - n. Is l greater than 8?
True
Let x(q) = 26*q**3 + 4*q**2 + 38*q - 40. Let d be x(1). Let v be ((-1)/1 - -1) + 27. Which is smaller: d or v?
v
Suppose -3*g + 60*n = 63*n, -5*g = -5*n. Which is smaller: g or 1/8083?
g
Let i be (-8)/