et j = 147/374 - -3/187. Is j bigger than -1?
True
Let r be (14/(-385))/((-34)/(-10)). Which is smaller: -1 or r?
-1
Let u be -1 + (-1 - 1) + 1. Let k be 33/u*8/12. Is -12 greater than k?
False
Let l = -73.3 + 62.3. Which is smaller: -0.09 or l?
l
Let s(y) = -y**3 - 5*y**2 - 4*y - 17. Let d be s(-5). Suppose 30 = 7*n + d*n. Let r(o) = o**2 + 7*o + 9. Let h be r(-6). Is n equal to h?
True
Let i(x) = 7*x - 6. Let f be i(2). Suppose 2*g = f - 0. Is 4 at most g?
True
Let g = 150 + -161. Is g less than or equal to -3?
True
Let g be ((-54)/30)/(-2 - -33). Which is bigger: g or 1?
1
Let v(r) = -r**2 + 8*r - 14. Let f be (-204)/(-33) + 10/(-55). Let k be v(f). Which is smaller: -9/10 or k?
k
Let t = 13.93 + -14. Let o = -4 + 5. Is o > t?
True
Suppose -5*c + 5*s = 10 - 0, 5*c = -4*s + 17. Let d be c/2 - 1/2. Let z be 2 - ((-175)/80 - -4). Do z and d have the same value?
False
Suppose 0 = 133*i - 119*i - 56. Which is bigger: 108/29 or i?
i
Let o = 24 - 26.84. Let m = 0.84 + o. Is m < -0.7?
True
Suppose -r - 2 = -3*r. Let w(o) = -o + 1. Let k be w(2). Let d be r*(5 + k)/1. Which is smaller: 5 or d?
d
Let z(v) = 7*v + 21. Let t be z(-1). Which is smaller: t or 10?
10
Let v(t) = 10*t - 70. Let u be v(7). Let w = 11/2 - 6. Which is greater: w or u?
u
Let m = 30 - 27. Let g be -3 - (-1 + m)*-1. Is -3 bigger than g?
False
Let y(m) = 8*m**2 + 2*m - 40 - m**3 + 3*m + 3*m + 46. Let x be y(9). Let f be (-3 - (-5 - x))*1. Which is bigger: -0.5 or f?
-0.5
Suppose 0 = -3*l - 5*r - 23, -4*l + 4*r - 3*r = 0. Let k = -44 + 175/4. Is l > k?
False
Let f = -183879434/492855 + -26/44805. Let i = f - -372. Which is smaller: i or 0?
i
Suppose 0 = -2*y - 2*k + 2 + 2, -k = 5. Suppose -34 = -5*n + 16. Let h = n - y. Which is greater: -0.4 or h?
h
Let q(m) = m**2 - 16*m + 116. Let h be q(8). Which is smaller: h or 37?
37
Let w(z) = 18*z + 29*z - 51*z + 17 - 2*z**2. Let y be w(5). Do y and -52 have the same value?
False
Let y(o) = 4*o - 1. Let s(u) = -17*u + 5. Let l(j) = -2*s(j) - 9*y(j). Let k be l(-3). Let n be (-2)/(k/1 - 3). Is n <= -1?
True
Let d(t) = -t**2 - 6*t - 5. Let l be d(-4). Suppose -i = 0, 4*p + 4*i = 3 + 1. Let x(s) = 5*s. Let f be x(p). Which is smaller: f or l?
l
Let l = 26 - 15. Let g = -8 + l. Suppose g*j = 6*j - 27. Are 10 and j non-equal?
True
Let l = 671 + -43617/65. Let b be -3 - (-2 + -2 + (-16)/(-8)). Is b at least as big as l?
False
Suppose -7*n + n = -12. Suppose -n*l = 2 - 26. Is l bigger than 13?
False
Let o = 2.82 + 1.13. Let r = 0.03 - -0.02. Let q = o + r. Which is greater: q or -2?
q
Let a = 1/1315 + -32882/9205. Which is smaller: -4 or a?
-4
Let r(m) = m**2 + 20*m. Let n be r(-21). Let g be ((-1)/(-2))/(2/84). Is g less than or equal to n?
True
Let z = 13 + -25. Let s = -12.1 + 12.1. Which is smaller: z or s?
z
Let y(n) = 6*n - 63. Let m be y(10). Let t(a) = a**3 - 5*a**2 - a + 4. Let p be t(5). Let h = p - 2. Is h greater than or equal to m?
True
Let x = -230 + 243. Which is bigger: 2/3 or x?
x
Let c(m) = -6*m - 10. Let d be c(-7). Let s be 6/(-27) + d/(-18). Let t be 2/(-2) - 3/(-1 - -2). Is s >= t?
True
Let l be 4*(-1)/2*-10*1. Let c be ((-6)/105)/(4/l). Which is greater: c or -1?
c
Suppose 2 = -5*p - 3*g + 6, -p + 4*g + 10 = 0. Let s(w) = -w**3 + 2*w**2 - 2. Let x be s(p). Let q be 8/10*(-50)/130. Which is smaller: q or x?
x
Let s be 77/56 + 50/16 + -3. Does s = 3?
False
Suppose 5*r = -3*a + 3, a + 2*a = r - 15. Let l be ((-70)/30)/(r/27). Which is smaller: l or -22?
-22
Let a = -45/22 + 203/110. Is 0.6 > a?
True
Let m = -266 + 265. Are m and -8/107 equal?
False
Let u = -244 - -474. Suppose 14*m = 4*m - u. Which is bigger: 3 or m?
3
Let g = -238.9 + 180. Is 0.1 <= g?
False
Let h = 12.82 + -0.42. Let n = 12 - h. Is n > 12?
False
Suppose k - 25 = -5*p, 7*p = 2*p - 5*k + 5. Let b(u) = 58*u**2 - 3 + u**3 - 58*u**2. Let c be b(2). Is c less than p?
True
Suppose 5*i - 85 = 3*p - 2, -4*p = -2*i + 92. Let r be 4/48 - -2*3/36. Which is smaller: p or r?
p
Let p be 6/((-18)/15) + (-190)/(-30). Which is smaller: p or -11?
-11
Suppose 5*b + 3*v + 3 = 0, 4*b - 3*v + 7*v = -4. Is b equal to -4/527?
False
Let g be (6/(-42))/((-5 - -9)/(-8)). Which is greater: g or -730?
g
Let v be 1/8*4 + 3/2. Is v != 1/9?
True
Suppose -2407*y = -2411*y + 4. Which is smaller: y or 1/1101?
1/1101
Let t = 674 - 861. Which is smaller: t or -190?
-190
Let a be (-145)/435 + (-4)/6. Which is smaller: a or -14.83?
-14.83
Let f = 48 + -48.2. Let n = 0.07 + -0.37. Let t = n - f. Which is smaller: t or 5?
t
Suppose 3*f - g - 19 = 0, -11 = -3*f + 2*g + 6. Suppose -n - t + 7 = 0, 3*n = f*t - 3*t + 21. Suppose -n*r = -3*r. Which is smaller: r or 7?
r
Let q(i) = -3*i**3 + 5*i**2 - 25*i - 8. Let k be q(5). Which is bigger: -385 or k?
k
Let p = -12 - -14. Suppose -p*t - 16 = -k - 0*t, 4*k - 64 = -t. Let u be (-5)/(-6*12/k). Which is greater: 0 or u?
u
Suppose 15*y + 0*y = 45. Let m be y - 3/((-9)/(-12)). Is m greater than -1?
False
Let q be ((-6)/18)/((-1)/18). Suppose -2*m + d - 5*d = -q, d = -1. Which is greater: 34/9 or m?
m
Let h = -111187 + 1447422/13. Let r be 34*((-14)/(-4) - -1). Let k = r - h. Which is greater: k or 1?
1
Let t(m) = -m - 14. Let w be t(0). Suppose 38 = -3*d - f, -3*f + 11 = -2*d - 7. Is w smaller than d?
True
Let l be (-1 + 10/4)*(-448)/(-2898). Is -1 <= l?
True
Let g(l) = 79*l + 203. Let d be g(-20). Which is greater: d or -1378?
d
Let v(j) = -j**2 - j - 33. Let y be v(0). Let d be 6/(2/(-11) + 60/y). Let p(a) = a**3 + 3*a**2 - 2*a + 3. Let h be p(-4). Which is greater: d or h?
d
Let s be -2*7/(7/4). Let o = s + 46. Which is smaller: o or 37?
37
Let k be 36/10 + (-2)/(-5). Suppose -4*g + 3*g + 15 = 0. Let h be (-28)/(-70)*g/k. Which is smaller: -1/5 or h?
-1/5
Let i(t) = t**3 - 10*t**2 + 14*t - 45. Let o be i(9). Let m = -16/21 - -2/21. Which is smaller: m or o?
m
Let q = 74 + -75. Which is greater: -2/9 or q?
-2/9
Let b = -57 + 71. Let f be (-5004)/126 + (-4)/b. Is -41 less than or equal to f?
True
Let a = 148 + -91. Is a less than 3?
False
Let d be (-3)/166*(12 + -14). Is d equal to 1?
False
Let t(l) = 2*l**2 + 12 - 3 - 3*l**2 - 12*l + 11. Let r be t(-14). Which is smaller: -13/2 or r?
r
Let v be (-6)/14 + (-377)/2093. Is 2 <= v?
False
Let p(r) = r**3 - r**2 - 5*r + 3. Let z be p(3). Suppose -2*l - 3*n = -9, -z*n + n + 21 = 4*l. Let w be 4/(-2)*l/42. Is w less than or equal to 1?
True
Suppose 7*p - l - 252 = 4*p, -176 = -2*p - 2*l. Let x be p/(-100) + (-2)/(-8). Let w = -4 - -3. Do w and x have the same value?
False
Let q = -58 - -61. Suppose 7*w = q*w + 184. Is 46 < w?
False
Let h = -0.593 - 5.407. Which is greater: h or -7/2?
-7/2
Let t = -7.5 + -1.5. Let d = 11.4 + -1.4. Let y = d + t. Which is greater: y or -1?
y
Let r = -25 - -27. Are r and 9 nonequal?
True
Let m = -3/128 - 187/2944. Which is smaller: m or -18?
-18
Let i be ((-6)/(-2))/(15/(-20)). Let o(k) = -k - 4. Let g be o(i). Suppose -2*m + u + 12 = -0*u, g = -5*m + 5*u + 20. Is m bigger than 7?
True
Suppose -8*v = -54 - 2. Suppose -v*s - 21 = -0*s. Which is greater: -11/5 or s?
-11/5
Let l = -603289597 + 19246144719761/31902. Let i = l + 2/1227. Is i smaller than 0?
True
Suppose 8 = -2*j + 3*t, j + 5*t = 4*j + 10. Let x be j/(-15)*(-15)/(-2575). Is 0 at least as big as x?
False
Let i(w) = -w**3 + 7*w**2 - 5*w - 6. Let r be i(5). Let l = -359 - -377. Is l greater than or equal to r?
False
Let o be 5/(-15)*156/34. Let v = 219/68 - o. Suppose 65*a - 112 = 37*a. Which is bigger: v or a?
v
Let x = -1.6 + 1.66. Let g = 3.7 - 3.5. Which is smaller: g or x?
x
Let o = 11204611 - 9131756468/815. Let w = -6/163 + o. Is 1 at most as big as w?
True
Let t be ((-4)/(-64)*6)/((-48)/14048). Is -111 at most as big as t?
True
Let o(q) = -q**3 - 11*q**2 - 11*q - 3. Let d be o(-7). Is d at least -120?
False
Let n = 13 - 25. Let k = 859.5 + -859. Is n equal to k?
False
Let i = -3.33 - -6.33. Which is smaller: 20 or i?
i
Let j = -0.1 + 0. Let c be 2/(-1)*-2*(-1)/20. Is c greater than j?
False
Let w = -20.74 + 9.74. Are 1.8 and w nonequal?
True
Suppose -5*l + 0*b + 8 = b, 5*b = 4*l - 18. Suppose -n - l = -1. Is -2/7 at least n?
True
Let s be ((-1)/9)/((-615)/(-45) + -14). Which is smaller: s or 67?
s
Let f(s) = -s + 4. Let m(r) = -2*r + 12. Let x(t) = 11*f(t) - 4*m(t). Let y be x(-2). Suppose 0*w = y*w + 2*k + 14, -3*w