pose -5*r + 875 = -5*k, 2*k = 7*k - 4*r + 876. Let b be ((-8)/k)/(((-15)/(-12))/(-5)). Which is smaller: x or b?
b
Let a be ((-3)/28)/(((-34569)/(-24))/(-23)). Does a = 1/4?
False
Let h = -30 + 32.5. Let f = -2.9 + h. Let n = -0.1 + 0.1. Is f != n?
True
Let c = -66.1 + 72. Let x = 12 + -6. Let u = c - x. Are 4 and u unequal?
True
Let c be 1/((-526)/(-262) + 0 + -2). Let g = 113 - c. Which is smaller: -15 or g?
g
Let u(l) = 47*l + 30. Let m be u(1). Is 77 <= m?
True
Let w = -1 + 7. Suppose -4*i + b = 34, -i + 55 = -w*i - 5*b. Let z be i/12 - (-108)/16. Which is bigger: 5 or z?
z
Let y = 0.461 - -0.039. Let p = 14.4 - 14. Is y >= p?
True
Let y(c) = -c**2 + 25*c + 818. Let r be y(0). Which is smaller: 819 or r?
r
Let u(c) = 2*c**2 + 4*c + 3. Let j(y) = y**3 - 8*y**2 - 11*y + 17. Let d be j(9). Let p be u(d). Which is bigger: 11/7 or p?
11/7
Let v = 1070 + -1071. Which is smaller: 16/35 or v?
v
Suppose 16*b - b + 15 = 0. Which is smaller: b or 1/272?
b
Let t be (-20)/(-14)*(-2)/35. Let x = 11/431 + -8297/21119. Let g = t - x. Which is greater: g or 0.4?
0.4
Let t = 89 - 11. Let l = t + -81. Are 4 and l unequal?
True
Let a = 2.4 + -8.4. Let m be (-2*(-3)/(-12))/(-1). Which is smaller: a or m?
a
Let n = -6527/6312 + -2/263. Let y = 181/184 + -14/23. Let b = n + y. Is b bigger than -2?
True
Suppose 2 = l + 8. Let i be (-1522)/l*6/8. Let z = 192 - i. Is 3 less than z?
False
Suppose 8 = -m - 2*k - k, -12 = m + k. Let s be ((-3)/(-6))/(m/8). Is s > 0?
False
Suppose 5*t = -11*t + 2560. Let a = 154 - t. Which is smaller: a or -1/3?
a
Suppose 2*c = 3*n - 0*c + 453, 5*c = -2*n - 321. Let p = -25247/165 - n. Which is bigger: p or -1?
p
Let w(c) = -c**2 + 4*c - 1. Let z be w(4). Suppose 2*b - 2*q + 528 = 0, 3*b - 4*q + 522 = b. Let p = b + 2934/11. Are z and p non-equal?
True
Let t(f) = -2*f**2 - 15*f - 27. Let l be t(-6). Let d be (-1)/(-22)*8/(-12)*l. Does d = 5?
False
Let d(r) = -r - 4. Let c be d(-7). Let l(t) = -6 - 8*t - 7 + 7 + 10*t. Let n be l(c). Which is smaller: n or -4/5?
-4/5
Let o = -412/4785 + 6/55. Which is bigger: -1 or o?
o
Let p(f) = -7*f - 2. Let t be p(-2). Suppose -89*d + 93*d = 4. Is t <= d?
False
Let b = 21.6 - -9.4. Which is greater: b or -1/3?
b
Suppose 10*l + 1030 - 1020 = 0. Do l and 13/114 have the same value?
False
Suppose 5*v = 3*y - 6, 0 = -5*v - 4*y + 2*y - 21. Let t be v/(-66)*-4 - 1050/33. Is t at most as big as -33?
False
Let l = -3.46 + -80.54. Which is smaller: l or 0.2?
l
Let p be (-12)/7*1134/(-12). Do p and 161 have the same value?
False
Let a be (-222)/(-12) - (-90)/36. Suppose 8 + 6 = -2*f. Let u be (-9)/a + (-3)/f. Is -3/4 greater than or equal to u?
False
Let t(r) = r**2 - 8*r - 1. Let w be t(8). Let b be (1 - w) + -5 - -15. Is 10 < b?
True
Let v = -31.989 + -0.011. Let p = v + 32.2. Are p and -9 equal?
False
Suppose 0*y + 5*z = -4*y + 314, -3*y + 3*z + 249 = 0. Let m = 487/6 - y. Do 0 and m have the same value?
False
Let v(f) = 8*f**2 + f + 1. Let n = 4 + -1. Suppose o + 4 = -n*o. Let c be v(o). Which is greater: c or 9?
9
Let x(f) = f + 3 - 5 - 5 - 4. Let v be x(15). Let j = 27 - 47/2. Is j >= v?
False
Let p(s) = 3*s - 29 + 78 - 45. Let c(o) = -o**2 + 6*o - 3. Let w be c(6). Let u be p(w). Is -5 less than u?
False
Let w = 147 + -123. Suppose 8 = -28*g + w*g. Which is greater: -20/13 or g?
-20/13
Let h = -318.034 - -318. Do h and 2 have the same value?
False
Let c = -1267 - -476. Is -1 < c?
False
Let x = 215 + -214. Which is greater: 1/163 or x?
x
Let z be ((-3)/(2 - -4))/(7/14). Which is bigger: z or -15?
z
Let v(l) = l + 6. Let q be v(-4). Let d be (-21)/9 + (-6)/9. Does d = q?
False
Suppose -2*n = 4*b + 750, -3*n + 5 - 2 = 0. Let w = 2070/11 + b. Let l be (-8)/(-6) + 2/(-6). Is w at least as big as l?
False
Let k = -0.282 + 0.052. Let o = -17.77 + k. Let z = -16 - o. Which is smaller: 0 or z?
0
Let p be (468/(-32))/(-13)*8/(-6). Are p and -1.8 unequal?
True
Let r = 7 + -4. Let q be 1/(12/(-40))*6/4. Let b be (-1)/q - (-5)/(50/28). Is r greater than b?
False
Let l = -10 + 7. Let z be l/(-2)*64/(-12). Is z at least as big as -10?
True
Suppose -d - 1 + 20 = 0. Let v be 2*(-2 - 2*-6). Let n = d - v. Which is greater: n or -9?
n
Suppose 9*r = 12*r. Let l = r - 12. Let w be (-2 - 0)*-2 + l. Which is greater: -11 or w?
w
Suppose -p - 6 - 3 = 0. Let v = p - -12. Is v > 9/4?
True
Let o be (-9)/2*28/(-21). Let u be (-4)/o*(-9)/8. Let l = -3 + 2.9. Which is smaller: u or l?
l
Let s be (((-6)/(-16))/1)/((-105)/(-4380)). Let i = -134/7 + s. Which is smaller: -5 or i?
-5
Let f = -68 - -63. Let m(v) = -v**3 - 7*v**2 - 7*v + 16. Let n be m(f). Which is bigger: 1/52 or n?
n
Let t = 33/101 + 11347/202. Is t != 57?
True
Suppose 23*d = 110 + 442. Suppose d*i - 18*i = 288. Is i <= 48?
True
Let a be (-3)/(-3) - (-5 + 10)*1. Let c be (-16)/(-12) + ((-62)/6 - a). Which is bigger: -60/11 or c?
c
Suppose 3*q + 19 = -2*x, 4*x - 2*q - 3*q = -5. Let b = -47 - -53. Suppose -l = -2*l - b. Which is greater: x or l?
x
Let w be 11 - 0 - (1 + 11). Is -1/80 smaller than w?
False
Let l be 165/60 + 1/4. Let a(t) = -2*t**3 - t**2 - t - 1. Let o be a(-1). Suppose 3*i = -3*u, 0 = l*i - 2*i + o. Is 3 greater than u?
True
Let t(x) = 2*x**3 - 7*x**2 - 51*x + 7. Let y be t(7). Which is bigger: y or -0.53?
-0.53
Let h = -0.007 - 19.993. Do -0.1 and h have different values?
True
Let v = -106 - -107.5. Let c = 8.5 + -12. Let g = v - c. Is 0.1 greater than g?
False
Let v(a) = -2*a**3 - 14*a**2 - 7*a + 12. Let m be v(-7). Which is bigger: m or 64?
64
Suppose -5*g + y = -255, 0*y - 213 = -4*g - y. Which is smaller: g or 55?
g
Let o be -4 - (-1 + 0 + -1). Let k(c) = -2*c - 12. Let w be k(-7). Suppose -4*h + 3*z - w = 0, 2*h = 3*z + 2 - 0. Is h >= o?
True
Let o = -0.4 + 0.25. Let y = 0.21 + o. Is y less than 2?
True
Suppose -2*s = 5*f + 71, -4*s + f = -17 + 148. Is s at most as big as -235/7?
False
Let k be -5*(-664)/6440 + 3/(-7). Suppose j - 2 = -4*a + 5, -2*j + 3*a = 8. Which is smaller: j or k?
j
Suppose -66 = 4*t - 2. Let q = t + 11. Let d be ((-30)/8)/3*(3 - -1). Is q greater than d?
False
Suppose o = -3*i - 4*o + 14, 0 = 5*i - 3*o - 12. Which is greater: i or 1?
i
Suppose -3 = -3*f + 2*f. Suppose 0 = f*j + 2*j + 45. Which is smaller: -5 or j?
j
Let x = 898 + -843. Do x and 2 have different values?
True
Let y = 6 + -6. Is 1/118 bigger than y?
True
Let d(y) = -y**2 - y. Let w be d(2). Let b = 5 + w. Let f be (3 - (-28)/(-6))/b. Which is smaller: f or 3?
f
Let k be 1/(-20) + (80/(-25))/16. Is 20/21 >= k?
True
Let b(h) = -h - 7. Let z be b(-12). Which is bigger: z or -22?
z
Let p(u) = -u**3 + u**2 - u - 3. Let a be p(0). Let n be ((a + 3)/(-4))/(-3). Which is bigger: n or 1/3?
1/3
Suppose -f + 57 = 55. Does 44/41 = f?
False
Let y(v) = -27*v - 7. Let a be y(12). Is a at least as big as -330?
False
Suppose -6*a + 4 = -a - p, -3*p - 12 = -3*a. Let k be (10 - 6) + 130/1. Let y be 3 + 2 - k/26. Which is bigger: y or a?
a
Let o = -17176/31 + 554. Is o at least 1?
False
Let v be -1 - (-2 - -1) - -2. Let z(y) = -v*y + 3*y - y**2 + 11*y. Let x be z(12). Do x and -1/5 have different values?
True
Let r = 10.28 - 10. Let y = r - 28.28. Let c = -26 - y. Is c > -9?
True
Let d = 183 - 3109/17. Are d and -3/4 non-equal?
True
Let k(b) = 3*b + 8. Let q be k(0). Let t be (-1 + 5)*(-10)/q. Let p = -10 - -5. Is p not equal to t?
False
Suppose 5 - 25 = -c. Suppose -6*i = -c - 4. Is 0 greater than i?
False
Let q = 22 + -22. Let i be 4/(-8)*-2*(-8 + 9). Is i at most as big as q?
False
Let r = 0.04 + 0.76. Let f = r - 0.56. Let d = 1.76 + f. Is d at least -2?
True
Let f = 52 + -209/4. Let c = -583 + 580.8. Which is smaller: f or c?
c
Let g be 22 - (-12 - -12)/(2/(-1)). Let d(n) = n**2 - 20*n + 17. Let v be d(g). Is 62 at least as big as v?
True
Let x be (-3)/(-1) + (-111)/27. Let u = -145 - -144.9. Which is bigger: u or x?
u
Let v(s) = -12*s - 643. Let g be v(-53). Let c(o) = o**3 - 4*o**2 - 7*o + 5. Let u be c(5). Is g bigger than u?
False
Suppose -3 = -3*m + 3, q - 4*m - 106 = 0. Let k be (-12)/66 - q/(-22). Suppose 2*r = j + 4, -j + 5*r - 21 + 2 = 0. Are j and k unequal?
True
Let l be (-1 - -6)/(-5)*1. Let y be (-4)/3*(-6)/4. Suppose y - 4 = c. Is l at most c?
False
Let o(t) = 2*t**2 - 2*t + 9. Let y be o(-4). Is 50 at least y?
True
Let c = -3 + 0. Let n(r) = -r**3 + 9*r**2 - 