- b - 211, g = -3*b - 81. Let r be 4/2 + g/30. Is 0 at most as big as r?
False
Suppose -26*g + 34 = 22*g - 14*g. Is 176/71 greater than or equal to g?
True
Let y = -124 - -109. Let q be y/(-45) + 223049/246. Let j = q + -907. Which is greater: j or -1?
j
Suppose 150 = -5*z - 0*t + 3*t, 3*t - 42 = z. Let l = -1205 - -1231. Let n = z + l. Is n >= -5/7?
False
Suppose -c - c = -j - 64, -5*j - 96 = -3*c. Let g = -27 + c. Let s be (-198)/(-14) - g/35. Is 14 smaller than s?
False
Let v = 5214 + -3913. Which is smaller: v or 2603/2?
v
Let v = -2 - -1.9. Let x = -839.23 - -855. Let s = -15 + x. Which is greater: v or s?
s
Let n = -19 - -22. Suppose n*d + 4*j = 204, -3*d + 5*j - 129 = -5*d. Suppose -19*z = -20*z - d. Are -72 and z equal?
True
Let w = -19546 + 27965. Is 8418 equal to w?
False
Let d = 10288/3 - 3435. Which is bigger: d or 0?
0
Let w(o) = o**3 + 4*o**2 + 9*o. Let l be w(-4). Let m be (-2)/(l/3) - (-5553)/54. Let n = m - 120. Which is smaller: n or -18?
-18
Let x(d) = 73*d**2 + 129*d - 541. Let j be x(4). Which is smaller: -1 or j?
-1
Let t = -748 + 779. Is t smaller than 1.9?
False
Let x = -3024 + 3024.157. Which is greater: -0.1 or x?
x
Let q be 9/(-6) - (-126)/(-12). Let p be q/6*(-2)/4. Let j = 66845/63 + -1061. Which is smaller: p or j?
j
Let i be (60 + 18/6)*(-1)/2. Let t = 31 + i. Suppose -2*l = 3*l - 30. Is l != t?
True
Let u = 364 - 175. Let x = -181 + u. Are x and 7 unequal?
True
Let h be 0 + 165/25*-6. Let c be (2/(-3))/((-11088)/(-1107) + -10). Which is bigger: c or h?
h
Let b = -1.1283 - -0.1283. Let i = -6 - -31. Is i < b?
False
Let r = -4044 + 3651731/903. Let s = r + 1549/903. Let l = -3 + 5. Which is greater: l or s?
l
Let a = 38 + -37. Let z be 1/((-222)/35) + (-6)/(-36). Is z at most a?
True
Let s = 21983/33 - 666. Let w be 8/4 - (-3)/1. Suppose 0 = 5*z - 5*g + 15, -2*g = -w*z - 6*g + 3. Which is smaller: s or z?
z
Suppose 826*r - 8 = 828*r. Let k be 176/22 - (-118)/r. Is k smaller than -22?
False
Let x be (-6)/9*(378/28)/(-9). Is 1/2991 at least as big as x?
False
Suppose 3*m + 22 = 4*a + 6*m, 4*m + 29 = 3*a. Let b be 9/(-4) - -1 - 12/(-8)*5. Which is greater: b or a?
a
Let r = 4397/47925 + 3/3550. Which is smaller: r or 1?
r
Suppose 0 = -16*x - 145*x + 385595. Is 2393 at most as big as x?
True
Let c = -102.78 - -853.78. Which is greater: c or 0?
c
Let q = 48579 - 96915107/1995. Which is smaller: q or 1?
q
Let j be (-153)/(-6)*(124825/435 - -1). Let a = 7342 - j. Is -1 equal to a?
False
Let g = -2.3 - -96.3. Let k = g + -71. Let m = -28 + k. Which is bigger: m or 0.1?
0.1
Let p(t) = 16*t**2 + 9*t - 13. Let v be p(-4). Suppose 22*y = -y - v. Is y at least 4?
False
Let c = 27 - 24.7. Let s = 2.45 - c. Suppose 2*v - b = -0*b - 3, -3*v = -3*b + 6. Is s at least v?
True
Let u = -8 + 10. Let f = 172 - 168. Suppose -f*p + 51 + 17 = 0. Which is bigger: u or p?
p
Let k be 72*(2 - (-2)/(-2 + 6 + -8)). Is k greater than or equal to 1194/11?
False
Let h(f) = 1 - 8367*f + 26*f**2 + 17 + 8341*f + f**3. Let z be h(-27). Which is smaller: -52/5 or z?
-52/5
Suppose -f + 5*f = 56. Let w = -83599/3 + 27867. Which is smaller: w or f?
w
Let k = 861 + -893. Let x be (4 - 7)*(-3 + k). Is 104 at most as big as x?
True
Let a(s) = 2*s**3 + 15*s**2 + 4*s - 22. Let x be a(-7). Is x >= -77.7?
True
Suppose -12*s - 35 = -47. Is s at most as big as -15/143?
False
Let a = 203.2 - 204.2. Let f(j) = 2*j**3 - 2*j**2 - 2*j + 2. Let l be f(2). Suppose l*h + 8 = 5*h. Which is bigger: h or a?
a
Let t be (380/627)/(7922/51). Which is smaller: 1 or t?
t
Suppose k = 2*h + 10, -7*k = -6*k + 4*h + 2. Let u be 1*10/k + 27 + -25. Suppose n = -3*n + 12. Is u > n?
True
Suppose 0 = -u + c - 3, 0*u - 5*u - 4*c = -30. Suppose -u*s - 4 = -4*s. Suppose -3*q - 6*z + 7*z + 25 = 0, -s*q - 4*z - 2 = 0. Which is bigger: q or 1?
q
Let t be 9 + -5 + (-2)/1 - -1. Let j be (t/(-9) + 1)*(-270)/(-12). Let g be ((-12)/(-18))/(j/(-9) - -1). Are -1 and g non-equal?
False
Let s be (-20)/130 - (-4)/26. Let g be (-3170 + 2)/(-4) + -6. Let u be (-3 - -5)*-6*(-1)/g. Which is greater: s or u?
u
Let k be -15*818/(-74700) - (-1)/(-6). Which is smaller: k or 1?
k
Let t be 5/4*(-124)/(-155). Is t less than 3/10508?
False
Let h be -5 - ((-3 - 11/(-4)) + 977957/(-206460)). Which is smaller: h or 1?
h
Suppose 0 = -2*g - 12*g + 12936. Let v be ((-12)/14)/(11/g). Is -72 > v?
False
Let y = 190 + -27. Suppose -2794*d - n - 322 = -2796*d, 648 = 4*d - n. Is y smaller than d?
False
Let f be (-127)/(-2)*(-7 - -5)*-1. Suppose 0 = -u + 5*q - f, -6 = -5*q - 16. Is u greater than -135?
False
Let d be 0 + -12 - (1 + (-2)/(-1)). Let m be (3 - d/(-6))/((-77)/14). Which is bigger: m or 4/3?
4/3
Suppose -2*z + 5*w + 23 = 4*w, 4*w = -z - 11. Let y be (-85)/(-1020)*1/5*z. Which is greater: y or -1/15?
y
Let t = -54523 - -17610915/323. Is t smaller than 1?
True
Let u = -27 + 32. Suppose u*t + 20 = 0, -j = -0*t - 3*t - 9. Let p be 0 - j - (9 + -2). Is -4 smaller than p?
False
Let i(y) = 90*y**3 - 5*y**2 + 13*y + 27. Let g be i(4). Is g greater than 5759?
False
Suppose -2*w - 4 = -0*w. Let q be 2/21*(-4 - 11/(66/96)). Is q bigger than w?
True
Let d be 5 + (7 - 8) - (1 + -39). Let o be 139/(-6) + (91/d - 2). Is -1/6 at most as big as o?
False
Suppose -6 = 24*m - 18*m. Let o be (-9)/(-233)*8/(-24). Let i = o - -559/7223. Which is smaller: m or i?
m
Let x = 72011/1723760 + -32/743. Does 0 = x?
False
Let p(a) = 12*a - 4. Let t be p(12). Let r = t + -146. Is -78/17 bigger than r?
True
Let x be 410/30 - (4 + 10). Which is greater: x or 0.0146?
0.0146
Let z(v) = -4*v**3 - 12*v**2 + 18*v + 7. Let q be z(-4). Let n(a) = 156*a**2 + 2*a + 1. Let u be n(3). Let b = 31047/22 - u. Do b and q have different values?
True
Let w = 101/146 - 213/730. Which is smaller: 11534 or w?
w
Let s(g) = 4*g + 261 - 94 + 2*g - 5*g. Let m be s(-16). Is m equal to 152?
False
Let l = 79 - 78. Let f be l/(-7)*(-154)/(-12). Let z be 3/(-6)*(-30)/(-5). Does z = f?
False
Suppose 61*v + 17*v - 9*v = 6210. Let u = 1538 - 4340/3. Which is smaller: v or u?
v
Let v(t) = -t**2 + t - 1. Let y(f) = f**2 + 5*f - 15. Let n(z) = -5*v(z) + y(z). Let j be n(4). Let i = j + -155. Is i >= -70?
True
Let o(t) = t + 26. Let w be o(-13). Suppose -5*j - 88 = -w*j. Suppose -j = -d + 15. Does 26 = d?
True
Let b(j) = -j**2 - 15*j + 20. Let d be b(-16). Suppose d*k - 4*m + 5*m = -1, -2*k - 1 = m. Which is smaller: 2/255 or k?
k
Let a be 777/(-246) - 54/108. Is -4 >= a?
False
Suppose -34 = 2*s + 5*r + 7, 5*s - r + 143 = 0. Let j = 2885/2 + -1442. Which is smaller: s or j?
s
Let k = 102 - 37. Suppose 33*m - 4*h - 4 = 36*m, 5*m - h = 1. Suppose m = 5*x - 4*l - 340 - 1, -3*l - 12 = 0. Is k at most x?
True
Let x = 3111 + -2837.1. Let d = 275 - x. Let r = 2 + -1.8. Do r and d have different values?
True
Let x be ((-2)/(-4))/(17636/(-32) - 1/4). Which is smaller: x or -1?
-1
Let n = 498.7 - 497.1468. Let d = 0.0668 + n. Do 0 and d have the same value?
False
Suppose 0 = -3*w + 32 + 406. Let c = -10132 - -10278. Is w less than c?
False
Let k(q) = 101*q + 14. Let z be k(2). Let m be (-2)/4 - 84/z*-3. Which is smaller: -0.97 or m?
-0.97
Let k be (-29 - -538)/((-5)/5). Which is smaller: k or -6624/13?
-6624/13
Suppose 5*u + 2*u = 0. Suppose -4*s - 7 + 43 = u. Suppose s*n - 3 + 21 = 0. Which is greater: n or -7/12?
-7/12
Let n be (1266/180 + -7)*30. Is -1/1732 < n?
True
Let q = -1078 + 1076. Is q greater than -1?
False
Let y(k) = -8*k**2 + 21*k - 3. Let i be y(7). Which is smaller: i or -247?
i
Let b = 1291/7 + -184. Let o = 29183.4 - 29183. Is o greater than b?
False
Let t be ((-6174)/15)/(-3) - (-2)/(-10). Are 94 and t nonequal?
True
Let u = 15 + -34. Let b = -29 - u. Let j = 49684 - 49684.05. Which is smaller: j or b?
b
Let d(s) = -6*s - 18. Suppose -b + x - 4 = 0, 3*x = -3*b + b - 33. Let t be d(b). Let k be (-5)/5 + 64/t. Which is bigger: k or 1?
1
Let b(s) = -13*s**3 + 2*s**2 + 2*s. Let a be b(-1). Suppose 0 = 2*x - x - 14. Is x at most a?
False
Let w = 533 - 314. Let n = w - 219.17. Which is smaller: -4 or n?
-4
Let q be ((-3)/(-1))/(3/2). Let x = 3/2996 + 185707/44940. Let d = 24/5 - x. Do d and q have different values?
True
Let p(z) = z**3 - 3*z**2 + 3*z + 1. Let i be -4 - ((4 - 1) + -10). Let t be p(i). Which is smaller: t or 108/11?
108/11
Let g = -412.14 + 411. Let c = 1.74 + g.